39.549 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (+ (+ (+ (+ e d) c) b) a) 0.034 * * [simplify]: iteration 0 : 185 enodes (cost 9 ) 0.034 * * [simplify]: iteration 1 : 185 enodes (cost 9 ) 0.034 * [simplify]: Simplified to: (+ e (+ d (+ c (+ b a)))) 0.043 * * [progress]: iteration 1 / 4 0.043 * * * [progress]: picking best candidate 0.050 * * * * [pick]: Picked # 0.050 * * * [progress]: localizing error 0.057 * * * [progress]: generating rewritten candidates 0.057 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.065 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 0.070 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.082 * * * [progress]: generating series expansions 0.082 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.082 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.082 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.082 * [taylor]: Taking taylor expansion of d in a 0.082 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.082 * [taylor]: Taking taylor expansion of a in a 0.082 * [taylor]: Taking taylor expansion of (+ b c) in a 0.082 * [taylor]: Taking taylor expansion of b in a 0.082 * [taylor]: Taking taylor expansion of c in a 0.082 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.082 * [taylor]: Taking taylor expansion of d in b 0.082 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.082 * [taylor]: Taking taylor expansion of a in b 0.082 * [taylor]: Taking taylor expansion of (+ b c) in b 0.082 * [taylor]: Taking taylor expansion of b in b 0.082 * [taylor]: Taking taylor expansion of c in b 0.083 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.083 * [taylor]: Taking taylor expansion of d in c 0.083 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.083 * [taylor]: Taking taylor expansion of a in c 0.083 * [taylor]: Taking taylor expansion of (+ b c) in c 0.083 * [taylor]: Taking taylor expansion of b in c 0.083 * [taylor]: Taking taylor expansion of c in c 0.083 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.083 * [taylor]: Taking taylor expansion of d in d 0.083 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.083 * [taylor]: Taking taylor expansion of a in d 0.083 * [taylor]: Taking taylor expansion of (+ b c) in d 0.083 * [taylor]: Taking taylor expansion of b in d 0.083 * [taylor]: Taking taylor expansion of c in d 0.083 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.083 * [taylor]: Taking taylor expansion of d in d 0.083 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.083 * [taylor]: Taking taylor expansion of a in d 0.083 * [taylor]: Taking taylor expansion of (+ b c) in d 0.083 * [taylor]: Taking taylor expansion of b in d 0.083 * [taylor]: Taking taylor expansion of c in d 0.083 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.083 * [taylor]: Taking taylor expansion of a in c 0.083 * [taylor]: Taking taylor expansion of (+ c b) in c 0.083 * [taylor]: Taking taylor expansion of c in c 0.083 * [taylor]: Taking taylor expansion of b in c 0.083 * [taylor]: Taking taylor expansion of (+ a b) in b 0.083 * [taylor]: Taking taylor expansion of a in b 0.083 * [taylor]: Taking taylor expansion of b in b 0.083 * [taylor]: Taking taylor expansion of a in a 0.083 * [taylor]: Taking taylor expansion of 1 in c 0.083 * [taylor]: Taking taylor expansion of 1 in b 0.083 * [taylor]: Taking taylor expansion of 1 in a 0.084 * [taylor]: Taking taylor expansion of 1 in b 0.084 * [taylor]: Taking taylor expansion of 1 in a 0.084 * [taylor]: Taking taylor expansion of 1 in a 0.084 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.084 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.084 * [taylor]: Taking taylor expansion of a in a 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.084 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.084 * [taylor]: Taking taylor expansion of c in a 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.084 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.084 * [taylor]: Taking taylor expansion of d in a 0.084 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.084 * [taylor]: Taking taylor expansion of b in a 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.084 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.084 * [taylor]: Taking taylor expansion of a in b 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.084 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.084 * [taylor]: Taking taylor expansion of c in b 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.084 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.084 * [taylor]: Taking taylor expansion of d in b 0.084 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.084 * [taylor]: Taking taylor expansion of b in b 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.084 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.084 * [taylor]: Taking taylor expansion of a in c 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.084 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.084 * [taylor]: Taking taylor expansion of c in c 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.085 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.085 * [taylor]: Taking taylor expansion of d in c 0.085 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.085 * [taylor]: Taking taylor expansion of b in c 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.085 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.085 * [taylor]: Taking taylor expansion of a in d 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.085 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.085 * [taylor]: Taking taylor expansion of c in d 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.085 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.085 * [taylor]: Taking taylor expansion of d in d 0.085 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.085 * [taylor]: Taking taylor expansion of b in d 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.085 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.085 * [taylor]: Taking taylor expansion of a in d 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.085 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.085 * [taylor]: Taking taylor expansion of c in d 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.085 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.085 * [taylor]: Taking taylor expansion of d in d 0.085 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.085 * [taylor]: Taking taylor expansion of b in d 0.085 * [taylor]: Taking taylor expansion of 1 in c 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.085 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.085 * [taylor]: Taking taylor expansion of b in c 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.085 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.085 * [taylor]: Taking taylor expansion of c in c 0.085 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.085 * [taylor]: Taking taylor expansion of a in c 0.085 * [taylor]: Taking taylor expansion of 1 in b 0.086 * [taylor]: Taking taylor expansion of 1 in b 0.086 * [taylor]: Taking taylor expansion of 0 in c 0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.086 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.086 * [taylor]: Taking taylor expansion of a in b 0.086 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.086 * [taylor]: Taking taylor expansion of b in b 0.086 * [taylor]: Taking taylor expansion of 1 in a 0.086 * [taylor]: Taking taylor expansion of 0 in b 0.086 * [taylor]: Taking taylor expansion of 1 in a 0.086 * [taylor]: Taking taylor expansion of 1 in a 0.086 * [taylor]: Taking taylor expansion of 0 in c 0.086 * [taylor]: Taking taylor expansion of 0 in b 0.086 * [taylor]: Taking taylor expansion of 0 in b 0.087 * [taylor]: Taking taylor expansion of 0 in b 0.087 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.087 * [taylor]: Taking taylor expansion of a in a 0.087 * [taylor]: Taking taylor expansion of 0 in a 0.087 * [taylor]: Taking taylor expansion of 0 in a 0.087 * [taylor]: Taking taylor expansion of 0 in a 0.087 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d c b a) around 0 0.087 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.087 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.087 * [taylor]: Taking taylor expansion of a in a 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.087 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.087 * [taylor]: Taking taylor expansion of c in a 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.087 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.087 * [taylor]: Taking taylor expansion of d in a 0.087 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.087 * [taylor]: Taking taylor expansion of b in a 0.087 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.087 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.087 * [taylor]: Taking taylor expansion of a in b 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.087 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.087 * [taylor]: Taking taylor expansion of c in b 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.087 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.088 * [taylor]: Taking taylor expansion of d in b 0.088 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.088 * [taylor]: Taking taylor expansion of b in b 0.088 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.088 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.088 * [taylor]: Taking taylor expansion of a in c 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.088 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.088 * [taylor]: Taking taylor expansion of c in c 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.088 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.088 * [taylor]: Taking taylor expansion of d in c 0.088 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.088 * [taylor]: Taking taylor expansion of b in c 0.088 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.088 * [taylor]: Taking taylor expansion of a in d 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.088 * [taylor]: Taking taylor expansion of c in d 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.088 * [taylor]: Taking taylor expansion of d in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.088 * [taylor]: Taking taylor expansion of b in d 0.088 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.088 * [taylor]: Taking taylor expansion of a in d 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.088 * [taylor]: Taking taylor expansion of c in d 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.088 * [taylor]: Taking taylor expansion of d in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.088 * [taylor]: Taking taylor expansion of b in d 0.088 * [taylor]: Taking taylor expansion of (neg 1) in c 0.088 * [taylor]: Taking taylor expansion of 1 in c 0.089 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.089 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.089 * [taylor]: Taking taylor expansion of b in c 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.089 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.089 * [taylor]: Taking taylor expansion of c in c 0.089 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.089 * [taylor]: Taking taylor expansion of a in c 0.089 * [taylor]: Taking taylor expansion of (neg 1) in b 0.089 * [taylor]: Taking taylor expansion of 1 in b 0.089 * [taylor]: Taking taylor expansion of (neg 1) in b 0.089 * [taylor]: Taking taylor expansion of 1 in b 0.089 * [taylor]: Taking taylor expansion of 0 in c 0.089 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.089 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.089 * [taylor]: Taking taylor expansion of a in b 0.089 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.089 * [taylor]: Taking taylor expansion of b in b 0.089 * [taylor]: Taking taylor expansion of (neg 1) in a 0.089 * [taylor]: Taking taylor expansion of 1 in a 0.089 * [taylor]: Taking taylor expansion of 0 in b 0.090 * [taylor]: Taking taylor expansion of (neg 1) in a 0.090 * [taylor]: Taking taylor expansion of 1 in a 0.090 * [taylor]: Taking taylor expansion of (neg 1) in a 0.090 * [taylor]: Taking taylor expansion of 1 in a 0.090 * [taylor]: Taking taylor expansion of 0 in c 0.090 * [taylor]: Taking taylor expansion of 0 in b 0.090 * [taylor]: Taking taylor expansion of 0 in b 0.090 * [taylor]: Taking taylor expansion of 0 in b 0.090 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.090 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.090 * [taylor]: Taking taylor expansion of a in a 0.090 * [taylor]: Taking taylor expansion of 0 in a 0.090 * [taylor]: Taking taylor expansion of 0 in a 0.090 * [taylor]: Taking taylor expansion of 0 in a 0.091 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 0.091 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.091 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.091 * [taylor]: Taking taylor expansion of a in a 0.091 * [taylor]: Taking taylor expansion of (+ b c) in a 0.091 * [taylor]: Taking taylor expansion of b in a 0.091 * [taylor]: Taking taylor expansion of c in a 0.091 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.091 * [taylor]: Taking taylor expansion of a in b 0.091 * [taylor]: Taking taylor expansion of (+ b c) in b 0.091 * [taylor]: Taking taylor expansion of b in b 0.091 * [taylor]: Taking taylor expansion of c in b 0.091 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.091 * [taylor]: Taking taylor expansion of a in c 0.091 * [taylor]: Taking taylor expansion of (+ b c) in c 0.091 * [taylor]: Taking taylor expansion of b in c 0.091 * [taylor]: Taking taylor expansion of c in c 0.091 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.091 * [taylor]: Taking taylor expansion of a in c 0.091 * [taylor]: Taking taylor expansion of (+ b c) in c 0.091 * [taylor]: Taking taylor expansion of b in c 0.091 * [taylor]: Taking taylor expansion of c in c 0.091 * [taylor]: Taking taylor expansion of (+ a b) in b 0.091 * [taylor]: Taking taylor expansion of a in b 0.091 * [taylor]: Taking taylor expansion of b in b 0.091 * [taylor]: Taking taylor expansion of a in a 0.091 * [taylor]: Taking taylor expansion of 1 in b 0.091 * [taylor]: Taking taylor expansion of 1 in a 0.091 * [taylor]: Taking taylor expansion of 1 in a 0.091 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.091 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.091 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.091 * [taylor]: Taking taylor expansion of b in a 0.091 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.092 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.092 * [taylor]: Taking taylor expansion of c in a 0.092 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.092 * [taylor]: Taking taylor expansion of a in a 0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.092 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.092 * [taylor]: Taking taylor expansion of b in b 0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.092 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.092 * [taylor]: Taking taylor expansion of c in b 0.092 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.092 * [taylor]: Taking taylor expansion of a in b 0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.092 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.092 * [taylor]: Taking taylor expansion of b in c 0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.092 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.092 * [taylor]: Taking taylor expansion of c in c 0.092 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.092 * [taylor]: Taking taylor expansion of a in c 0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.092 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.092 * [taylor]: Taking taylor expansion of b in c 0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.092 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.092 * [taylor]: Taking taylor expansion of c in c 0.092 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.092 * [taylor]: Taking taylor expansion of a in c 0.092 * [taylor]: Taking taylor expansion of 1 in b 0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.092 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.092 * [taylor]: Taking taylor expansion of a in b 0.092 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.092 * [taylor]: Taking taylor expansion of b in b 0.092 * [taylor]: Taking taylor expansion of 1 in a 0.092 * [taylor]: Taking taylor expansion of 1 in a 0.093 * [taylor]: Taking taylor expansion of 0 in b 0.093 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.093 * [taylor]: Taking taylor expansion of a in a 0.093 * [taylor]: Taking taylor expansion of 0 in a 0.093 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.093 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.093 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.093 * [taylor]: Taking taylor expansion of b in a 0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.093 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.093 * [taylor]: Taking taylor expansion of c in a 0.093 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.093 * [taylor]: Taking taylor expansion of a in a 0.093 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.093 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.093 * [taylor]: Taking taylor expansion of b in b 0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.093 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.093 * [taylor]: Taking taylor expansion of c in b 0.093 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.094 * [taylor]: Taking taylor expansion of a in b 0.094 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.094 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.094 * [taylor]: Taking taylor expansion of b in c 0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.094 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.094 * [taylor]: Taking taylor expansion of c in c 0.094 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.094 * [taylor]: Taking taylor expansion of a in c 0.094 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.094 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.094 * [taylor]: Taking taylor expansion of b in c 0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.094 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.094 * [taylor]: Taking taylor expansion of c in c 0.094 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.094 * [taylor]: Taking taylor expansion of a in c 0.094 * [taylor]: Taking taylor expansion of (neg 1) in b 0.094 * [taylor]: Taking taylor expansion of 1 in b 0.094 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.094 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.094 * [taylor]: Taking taylor expansion of a in b 0.094 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.094 * [taylor]: Taking taylor expansion of b in b 0.094 * [taylor]: Taking taylor expansion of (neg 1) in a 0.094 * [taylor]: Taking taylor expansion of 1 in a 0.094 * [taylor]: Taking taylor expansion of (neg 1) in a 0.094 * [taylor]: Taking taylor expansion of 1 in a 0.094 * [taylor]: Taking taylor expansion of 0 in b 0.095 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.095 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.095 * [taylor]: Taking taylor expansion of a in a 0.095 * [taylor]: Taking taylor expansion of 0 in a 0.095 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.095 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 0.095 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.095 * [taylor]: Taking taylor expansion of d in a 0.095 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.095 * [taylor]: Taking taylor expansion of e in a 0.095 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.095 * [taylor]: Taking taylor expansion of b in a 0.095 * [taylor]: Taking taylor expansion of (+ a c) in a 0.095 * [taylor]: Taking taylor expansion of a in a 0.095 * [taylor]: Taking taylor expansion of c in a 0.095 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.095 * [taylor]: Taking taylor expansion of d in b 0.095 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.095 * [taylor]: Taking taylor expansion of e in b 0.095 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.095 * [taylor]: Taking taylor expansion of b in b 0.095 * [taylor]: Taking taylor expansion of (+ a c) in b 0.095 * [taylor]: Taking taylor expansion of a in b 0.095 * [taylor]: Taking taylor expansion of c in b 0.095 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.095 * [taylor]: Taking taylor expansion of d in c 0.095 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.095 * [taylor]: Taking taylor expansion of e in c 0.095 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.095 * [taylor]: Taking taylor expansion of b in c 0.095 * [taylor]: Taking taylor expansion of (+ a c) in c 0.095 * [taylor]: Taking taylor expansion of a in c 0.095 * [taylor]: Taking taylor expansion of c in c 0.095 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.095 * [taylor]: Taking taylor expansion of d in d 0.095 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.096 * [taylor]: Taking taylor expansion of e in d 0.096 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.096 * [taylor]: Taking taylor expansion of b in d 0.096 * [taylor]: Taking taylor expansion of (+ a c) in d 0.096 * [taylor]: Taking taylor expansion of a in d 0.096 * [taylor]: Taking taylor expansion of c in d 0.096 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.096 * [taylor]: Taking taylor expansion of d in e 0.096 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.096 * [taylor]: Taking taylor expansion of e in e 0.096 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.096 * [taylor]: Taking taylor expansion of b in e 0.096 * [taylor]: Taking taylor expansion of (+ a c) in e 0.096 * [taylor]: Taking taylor expansion of a in e 0.096 * [taylor]: Taking taylor expansion of c in e 0.096 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.096 * [taylor]: Taking taylor expansion of d in e 0.096 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.096 * [taylor]: Taking taylor expansion of e in e 0.096 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.096 * [taylor]: Taking taylor expansion of b in e 0.096 * [taylor]: Taking taylor expansion of (+ a c) in e 0.096 * [taylor]: Taking taylor expansion of a in e 0.096 * [taylor]: Taking taylor expansion of c in e 0.096 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.096 * [taylor]: Taking taylor expansion of d in d 0.096 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.096 * [taylor]: Taking taylor expansion of a in d 0.096 * [taylor]: Taking taylor expansion of (+ b c) in d 0.096 * [taylor]: Taking taylor expansion of b in d 0.096 * [taylor]: Taking taylor expansion of c in d 0.096 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.096 * [taylor]: Taking taylor expansion of a in c 0.096 * [taylor]: Taking taylor expansion of (+ c b) in c 0.096 * [taylor]: Taking taylor expansion of c in c 0.096 * [taylor]: Taking taylor expansion of b in c 0.096 * [taylor]: Taking taylor expansion of (+ a b) in b 0.096 * [taylor]: Taking taylor expansion of a in b 0.096 * [taylor]: Taking taylor expansion of b in b 0.096 * [taylor]: Taking taylor expansion of a in a 0.096 * [taylor]: Taking taylor expansion of 1 in d 0.096 * [taylor]: Taking taylor expansion of 1 in c 0.096 * [taylor]: Taking taylor expansion of 1 in b 0.096 * [taylor]: Taking taylor expansion of 1 in a 0.097 * [taylor]: Taking taylor expansion of 1 in c 0.097 * [taylor]: Taking taylor expansion of 1 in b 0.097 * [taylor]: Taking taylor expansion of 1 in a 0.097 * [taylor]: Taking taylor expansion of 1 in b 0.097 * [taylor]: Taking taylor expansion of 1 in a 0.097 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in (e d c b a) around 0 0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a 0.097 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.097 * [taylor]: Taking taylor expansion of b in a 0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.097 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.097 * [taylor]: Taking taylor expansion of d in a 0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a 0.097 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.097 * [taylor]: Taking taylor expansion of c in a 0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a 0.097 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.097 * [taylor]: Taking taylor expansion of a in a 0.097 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.097 * [taylor]: Taking taylor expansion of e in a 0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b 0.097 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.097 * [taylor]: Taking taylor expansion of b in b 0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.097 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.097 * [taylor]: Taking taylor expansion of d in b 0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b 0.097 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.097 * [taylor]: Taking taylor expansion of c in b 0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.097 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.097 * [taylor]: Taking taylor expansion of a in b 0.098 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.098 * [taylor]: Taking taylor expansion of e in b 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.098 * [taylor]: Taking taylor expansion of b in c 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.098 * [taylor]: Taking taylor expansion of d in c 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.098 * [taylor]: Taking taylor expansion of c in c 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.098 * [taylor]: Taking taylor expansion of a in c 0.098 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.098 * [taylor]: Taking taylor expansion of e in c 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.098 * [taylor]: Taking taylor expansion of b in d 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d 0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.098 * [taylor]: Taking taylor expansion of d in d 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d 0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.098 * [taylor]: Taking taylor expansion of c in d 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d 0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.098 * [taylor]: Taking taylor expansion of a in d 0.098 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.098 * [taylor]: Taking taylor expansion of e in d 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.098 * [taylor]: Taking taylor expansion of b in e 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.098 * [taylor]: Taking taylor expansion of d in e 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.098 * [taylor]: Taking taylor expansion of c in e 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.098 * [taylor]: Taking taylor expansion of a in e 0.098 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.098 * [taylor]: Taking taylor expansion of e in e 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.098 * [taylor]: Taking taylor expansion of b in e 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.099 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.099 * [taylor]: Taking taylor expansion of d in e 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.099 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.099 * [taylor]: Taking taylor expansion of c in e 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.099 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.099 * [taylor]: Taking taylor expansion of a in e 0.099 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.099 * [taylor]: Taking taylor expansion of e in e 0.099 * [taylor]: Taking taylor expansion of 1 in d 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.099 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.099 * [taylor]: Taking taylor expansion of a in d 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.099 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.099 * [taylor]: Taking taylor expansion of c in d 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.099 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.099 * [taylor]: Taking taylor expansion of d in d 0.099 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.099 * [taylor]: Taking taylor expansion of b in d 0.099 * [taylor]: Taking taylor expansion of 1 in c 0.099 * [taylor]: Taking taylor expansion of 1 in c 0.100 * [taylor]: Taking taylor expansion of 0 in d 0.100 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.100 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.100 * [taylor]: Taking taylor expansion of b in c 0.100 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.100 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.100 * [taylor]: Taking taylor expansion of c in c 0.100 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.100 * [taylor]: Taking taylor expansion of a in c 0.100 * [taylor]: Taking taylor expansion of 1 in b 0.100 * [taylor]: Taking taylor expansion of 0 in c 0.100 * [taylor]: Taking taylor expansion of 1 in b 0.100 * [taylor]: Taking taylor expansion of 1 in b 0.100 * [taylor]: Taking taylor expansion of 0 in d 0.100 * [taylor]: Taking taylor expansion of 0 in c 0.101 * [taylor]: Taking taylor expansion of 0 in c 0.101 * [taylor]: Taking taylor expansion of 0 in c 0.101 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.101 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.101 * [taylor]: Taking taylor expansion of a in b 0.101 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.101 * [taylor]: Taking taylor expansion of b in b 0.101 * [taylor]: Taking taylor expansion of 1 in a 0.101 * [taylor]: Taking taylor expansion of 0 in b 0.101 * [taylor]: Taking taylor expansion of 0 in b 0.101 * [taylor]: Taking taylor expansion of 0 in b 0.101 * [taylor]: Taking taylor expansion of 1 in a 0.101 * [taylor]: Taking taylor expansion of 1 in a 0.101 * [taylor]: Taking taylor expansion of 1 in a 0.102 * [taylor]: Taking taylor expansion of 0 in d 0.102 * [taylor]: Taking taylor expansion of 0 in c 0.102 * [taylor]: Taking taylor expansion of 0 in c 0.102 * [taylor]: Taking taylor expansion of 0 in c 0.102 * [taylor]: Taking taylor expansion of 0 in c 0.102 * [taylor]: Taking taylor expansion of 0 in b 0.102 * [taylor]: Taking taylor expansion of 0 in b 0.102 * [taylor]: Taking taylor expansion of 0 in b 0.102 * [taylor]: Taking taylor expansion of 0 in b 0.102 * [taylor]: Taking taylor expansion of 0 in b 0.102 * [taylor]: Taking taylor expansion of 0 in b 0.102 * [taylor]: Taking taylor expansion of 0 in b 0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.102 * [taylor]: Taking taylor expansion of a in a 0.102 * [taylor]: Taking taylor expansion of 0 in a 0.102 * [taylor]: Taking taylor expansion of 0 in a 0.102 * [taylor]: Taking taylor expansion of 0 in a 0.102 * [taylor]: Taking taylor expansion of 0 in a 0.102 * [taylor]: Taking taylor expansion of 0 in a 0.103 * [taylor]: Taking taylor expansion of 0 in a 0.103 * [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.103 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in a 0.103 * [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 (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in b 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.104 * [taylor]: Taking taylor expansion of c in b 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.104 * [taylor]: Taking taylor expansion of a in b 0.104 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.104 * [taylor]: Taking taylor expansion of e in b 0.104 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in c 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.104 * [taylor]: Taking taylor expansion of b in c 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.104 * [taylor]: Taking taylor expansion of d in c 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.104 * [taylor]: Taking taylor expansion of c in c 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.104 * [taylor]: Taking taylor expansion of a in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.104 * [taylor]: Taking taylor expansion of e in c 0.104 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in d 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.104 * [taylor]: Taking taylor expansion of b in d 0.104 * [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 (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 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.105 * [taylor]: Taking taylor expansion of a in e 0.105 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.105 * [taylor]: Taking taylor expansion of e in e 0.105 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.105 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.105 * [taylor]: Taking taylor expansion of b in e 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.105 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.105 * [taylor]: Taking taylor expansion of d in e 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.105 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.105 * [taylor]: Taking taylor expansion of c in e 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.105 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.105 * [taylor]: Taking taylor expansion of a in e 0.105 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.105 * [taylor]: Taking taylor expansion of e in e 0.105 * [taylor]: Taking taylor expansion of (neg 1) in d 0.105 * [taylor]: Taking taylor expansion of 1 in d 0.105 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in d 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 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 d) (+ (/ 1 c) (/ 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.106 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d 0.106 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.106 * [taylor]: Taking taylor expansion of c in d 0.106 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.106 * [taylor]: Taking taylor expansion of b in d 0.106 * [taylor]: Taking taylor expansion of (neg 1) in c 0.106 * [taylor]: Taking taylor expansion of 1 in c 0.106 * [taylor]: Taking taylor expansion of (neg 1) in c 0.106 * [taylor]: Taking taylor expansion of 1 in c 0.106 * [taylor]: Taking taylor expansion of 0 in d 0.106 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.106 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.106 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.106 * [taylor]: Taking taylor expansion of b in c 0.106 * [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 (neg 1) in b 0.106 * [taylor]: Taking taylor expansion of 1 in b 0.106 * [taylor]: Taking taylor expansion of 0 in c 0.107 * [taylor]: Taking taylor expansion of (neg 1) in b 0.107 * [taylor]: Taking taylor expansion of 1 in b 0.107 * [taylor]: Taking taylor expansion of (neg 1) in b 0.107 * [taylor]: Taking taylor expansion of 1 in b 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.107 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.107 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.107 * [taylor]: Taking taylor expansion of a in b 0.107 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.107 * [taylor]: Taking taylor expansion of b in b 0.107 * [taylor]: Taking taylor expansion of (neg 1) in a 0.107 * [taylor]: Taking taylor expansion of 1 in a 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 (neg 1) in a 0.108 * [taylor]: Taking taylor expansion of 1 in a 0.108 * [taylor]: Taking taylor expansion of (neg 1) in a 0.108 * [taylor]: Taking taylor expansion of 1 in a 0.108 * [taylor]: Taking taylor expansion of (neg 1) in a 0.108 * [taylor]: Taking taylor expansion of 1 in a 0.108 * [taylor]: Taking taylor expansion of 0 in d 0.108 * [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 c 0.109 * [taylor]: Taking taylor expansion of 0 in c 0.109 * [taylor]: Taking taylor expansion of 0 in b 0.109 * [taylor]: Taking taylor expansion of 0 in b 0.109 * [taylor]: Taking taylor expansion of 0 in b 0.109 * [taylor]: Taking taylor expansion of 0 in b 0.109 * [taylor]: Taking taylor expansion of 0 in b 0.109 * [taylor]: Taking taylor expansion of 0 in b 0.109 * [taylor]: Taking taylor expansion of 0 in b 0.109 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) 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 0 in a 0.109 * [taylor]: Taking taylor expansion of 0 in a 0.109 * [taylor]: Taking taylor expansion of 0 in a 0.109 * [taylor]: Taking taylor expansion of 0 in a 0.109 * [taylor]: Taking taylor expansion of 0 in a 0.109 * [taylor]: Taking taylor expansion of 0 in a 0.110 * * * [progress]: simplifying candidates 0.110 * [simplify]: Simplifying using # : (* (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) (* (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) (+ d (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) 0.140 * * [simplify]: iteration 0 : 4837 enodes (cost 545 ) 0.140 * * [simplify]: iteration 1 : 4837 enodes (cost 545 ) 0.142 * [simplify]: Simplified to: (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) (exp (+ d (+ c (+ b (+ a e))))) (exp (+ d (+ c (+ b (+ a e))))) (exp (+ d (+ c (+ b (+ a e))))) (exp (+ d (+ c (+ b (+ a e))))) (log (+ d (+ c (+ b (+ a e))))) (exp (+ d (+ c (+ b (+ a e))))) (* (cbrt (+ d (+ c (+ b (+ a e))))) (cbrt (+ d (+ c (+ b (+ a e)))))) (cbrt (+ d (+ c (+ b (+ a e))))) (pow (+ d (+ c (+ b (+ a e)))) 3) (sqrt (+ d (+ c (+ b (+ a e))))) (sqrt (+ d (+ c (+ b (+ a e))))) (+ (pow (+ d (+ c (+ b a))) 3) (pow e 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)))) (+ d (+ c (+ b (+ a e)))) (+ d (+ c (+ b (+ a e)))) (+ d (+ c (+ b (+ a e)))) (+ d (+ c (+ b (+ a e)))) (+ d e) (+ d (+ c b)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ d (+ c e)) (+ c (+ b a)) (+ c (+ b a)) 0.143 * * * [progress]: adding candidates to table 0.196 * * [progress]: iteration 2 / 4 0.196 * * * [progress]: picking best candidate 0.214 * * * * [pick]: Picked # 0.214 * * * [progress]: localizing error 0.221 * * * [progress]: generating rewritten candidates 0.221 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.232 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.238 * * * [progress]: generating series expansions 0.238 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.238 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (d e c b a) around 0 0.239 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.239 * [taylor]: Taking taylor expansion of d in a 0.239 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.239 * [taylor]: Taking taylor expansion of e in a 0.239 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.239 * [taylor]: Taking taylor expansion of b in a 0.239 * [taylor]: Taking taylor expansion of (+ a c) in a 0.239 * [taylor]: Taking taylor expansion of a in a 0.239 * [taylor]: Taking taylor expansion of c in a 0.239 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.239 * [taylor]: Taking taylor expansion of d in b 0.239 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.239 * [taylor]: Taking taylor expansion of e in b 0.239 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.239 * [taylor]: Taking taylor expansion of b in b 0.239 * [taylor]: Taking taylor expansion of (+ a c) in b 0.239 * [taylor]: Taking taylor expansion of a in b 0.239 * [taylor]: Taking taylor expansion of c in b 0.239 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.239 * [taylor]: Taking taylor expansion of d in c 0.239 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.239 * [taylor]: Taking taylor expansion of e in c 0.239 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.239 * [taylor]: Taking taylor expansion of b in c 0.239 * [taylor]: Taking taylor expansion of (+ a c) in c 0.239 * [taylor]: Taking taylor expansion of a in c 0.239 * [taylor]: Taking taylor expansion of c in c 0.239 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.239 * [taylor]: Taking taylor expansion of d in e 0.239 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.239 * [taylor]: Taking taylor expansion of e in e 0.239 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.239 * [taylor]: Taking taylor expansion of b in e 0.239 * [taylor]: Taking taylor expansion of (+ a c) in e 0.239 * [taylor]: Taking taylor expansion of a in e 0.239 * [taylor]: Taking taylor expansion of c in e 0.239 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.239 * [taylor]: Taking taylor expansion of d in d 0.239 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.239 * [taylor]: Taking taylor expansion of e in d 0.239 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.239 * [taylor]: Taking taylor expansion of b in d 0.239 * [taylor]: Taking taylor expansion of (+ a c) in d 0.239 * [taylor]: Taking taylor expansion of a in d 0.239 * [taylor]: Taking taylor expansion of c in d 0.239 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.239 * [taylor]: Taking taylor expansion of d in d 0.239 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.239 * [taylor]: Taking taylor expansion of e in d 0.239 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.239 * [taylor]: Taking taylor expansion of b in d 0.239 * [taylor]: Taking taylor expansion of (+ a c) in d 0.239 * [taylor]: Taking taylor expansion of a in d 0.239 * [taylor]: Taking taylor expansion of c in d 0.240 * [taylor]: Taking taylor expansion of (+ e (+ a (+ c b))) in e 0.240 * [taylor]: Taking taylor expansion of e in e 0.240 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in e 0.240 * [taylor]: Taking taylor expansion of a in e 0.240 * [taylor]: Taking taylor expansion of (+ c b) in e 0.240 * [taylor]: Taking taylor expansion of c in e 0.240 * [taylor]: Taking taylor expansion of b in e 0.240 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.240 * [taylor]: Taking taylor expansion of a in c 0.240 * [taylor]: Taking taylor expansion of (+ c b) in c 0.240 * [taylor]: Taking taylor expansion of c in c 0.240 * [taylor]: Taking taylor expansion of b in c 0.240 * [taylor]: Taking taylor expansion of (+ a b) in b 0.240 * [taylor]: Taking taylor expansion of a in b 0.240 * [taylor]: Taking taylor expansion of b in b 0.240 * [taylor]: Taking taylor expansion of a in a 0.240 * [taylor]: Taking taylor expansion of 1 in e 0.240 * [taylor]: Taking taylor expansion of 1 in c 0.240 * [taylor]: Taking taylor expansion of 1 in b 0.240 * [taylor]: Taking taylor expansion of 1 in a 0.240 * [taylor]: Taking taylor expansion of 1 in c 0.240 * [taylor]: Taking taylor expansion of 1 in b 0.240 * [taylor]: Taking taylor expansion of 1 in a 0.240 * [taylor]: Taking taylor expansion of 1 in b 0.240 * [taylor]: Taking taylor expansion of 1 in a 0.240 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in (d e c b a) around 0 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in a 0.241 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.241 * [taylor]: Taking taylor expansion of a in a 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in a 0.241 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.241 * [taylor]: Taking taylor expansion of c in a 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in a 0.241 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.241 * [taylor]: Taking taylor expansion of b in a 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 0.241 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.241 * [taylor]: Taking taylor expansion of d in a 0.241 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.241 * [taylor]: Taking taylor expansion of e in a 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in b 0.241 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.241 * [taylor]: Taking taylor expansion of a in b 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in b 0.241 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.241 * [taylor]: Taking taylor expansion of c in b 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in b 0.241 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.241 * [taylor]: Taking taylor expansion of b in b 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 0.241 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.241 * [taylor]: Taking taylor expansion of d in b 0.241 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.241 * [taylor]: Taking taylor expansion of e in b 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in c 0.241 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.241 * [taylor]: Taking taylor expansion of a in c 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in c 0.241 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.241 * [taylor]: Taking taylor expansion of c in c 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in c 0.241 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.241 * [taylor]: Taking taylor expansion of b in c 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.241 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.241 * [taylor]: Taking taylor expansion of d in c 0.241 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.241 * [taylor]: Taking taylor expansion of e in c 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 0.241 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.241 * [taylor]: Taking taylor expansion of a in e 0.241 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 0.241 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.242 * [taylor]: Taking taylor expansion of c in e 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 0.242 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.242 * [taylor]: Taking taylor expansion of b in e 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.242 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.242 * [taylor]: Taking taylor expansion of d in e 0.242 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.242 * [taylor]: Taking taylor expansion of e in e 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.242 * [taylor]: Taking taylor expansion of a in d 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.242 * [taylor]: Taking taylor expansion of c in d 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.242 * [taylor]: Taking taylor expansion of b in d 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.242 * [taylor]: Taking taylor expansion of d in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.242 * [taylor]: Taking taylor expansion of e in d 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.242 * [taylor]: Taking taylor expansion of a in d 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.242 * [taylor]: Taking taylor expansion of c in d 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.242 * [taylor]: Taking taylor expansion of b in d 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.242 * [taylor]: Taking taylor expansion of d in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.242 * [taylor]: Taking taylor expansion of e in d 0.242 * [taylor]: Taking taylor expansion of 1 in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 b) (/ 1 a)))) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.243 * [taylor]: Taking taylor expansion of e in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 a))) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.243 * [taylor]: Taking taylor expansion of c in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.243 * [taylor]: Taking taylor expansion of b in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.243 * [taylor]: Taking taylor expansion of a in e 0.243 * [taylor]: Taking taylor expansion of 1 in c 0.243 * [taylor]: Taking taylor expansion of 1 in c 0.243 * [taylor]: Taking taylor expansion of 0 in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.243 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.243 * [taylor]: Taking taylor expansion of a in c 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.243 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.243 * [taylor]: Taking taylor expansion of c in c 0.243 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.244 * [taylor]: Taking taylor expansion of b in c 0.244 * [taylor]: Taking taylor expansion of 1 in b 0.244 * [taylor]: Taking taylor expansion of 0 in c 0.244 * [taylor]: Taking taylor expansion of 1 in b 0.244 * [taylor]: Taking taylor expansion of 1 in b 0.244 * [taylor]: Taking taylor expansion of 0 in e 0.244 * [taylor]: Taking taylor expansion of 0 in c 0.244 * [taylor]: Taking taylor expansion of 0 in c 0.244 * [taylor]: Taking taylor expansion of 0 in c 0.244 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.244 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.244 * [taylor]: Taking taylor expansion of b in b 0.244 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.244 * [taylor]: Taking taylor expansion of a in b 0.244 * [taylor]: Taking taylor expansion of 1 in a 0.244 * [taylor]: Taking taylor expansion of 0 in b 0.245 * [taylor]: Taking taylor expansion of 0 in b 0.245 * [taylor]: Taking taylor expansion of 0 in b 0.245 * [taylor]: Taking taylor expansion of 1 in a 0.245 * [taylor]: Taking taylor expansion of 1 in a 0.245 * [taylor]: Taking taylor expansion of 1 in a 0.245 * [taylor]: Taking taylor expansion of 0 in e 0.245 * [taylor]: Taking taylor expansion of 0 in c 0.245 * [taylor]: Taking taylor expansion of 0 in c 0.245 * [taylor]: Taking taylor expansion of 0 in c 0.245 * [taylor]: Taking taylor expansion of 0 in c 0.245 * [taylor]: Taking taylor expansion of 0 in b 0.245 * [taylor]: Taking taylor expansion of 0 in b 0.245 * [taylor]: Taking taylor expansion of 0 in b 0.246 * [taylor]: Taking taylor expansion of 0 in b 0.246 * [taylor]: Taking taylor expansion of 0 in b 0.246 * [taylor]: Taking taylor expansion of 0 in b 0.246 * [taylor]: Taking taylor expansion of 0 in b 0.246 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.246 * [taylor]: Taking taylor expansion of a in a 0.246 * [taylor]: Taking taylor expansion of 0 in a 0.246 * [taylor]: Taking taylor expansion of 0 in a 0.246 * [taylor]: Taking taylor expansion of 0 in a 0.246 * [taylor]: Taking taylor expansion of 0 in a 0.246 * [taylor]: Taking taylor expansion of 0 in a 0.246 * [taylor]: Taking taylor expansion of 0 in a 0.246 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in (d e c b a) around 0 0.246 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in a 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in a 0.247 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.247 * [taylor]: Taking taylor expansion of a in a 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in a 0.247 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.247 * [taylor]: Taking taylor expansion of c in a 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in a 0.247 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.247 * [taylor]: Taking taylor expansion of b in a 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 0.247 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.247 * [taylor]: Taking taylor expansion of d in a 0.247 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.247 * [taylor]: Taking taylor expansion of e in a 0.247 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in b 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in b 0.247 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.247 * [taylor]: Taking taylor expansion of a in b 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in b 0.247 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.247 * [taylor]: Taking taylor expansion of c in b 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in b 0.247 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.247 * [taylor]: Taking taylor expansion of b in b 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 0.247 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.247 * [taylor]: Taking taylor expansion of d in b 0.247 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.247 * [taylor]: Taking taylor expansion of e in b 0.247 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in c 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in c 0.247 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.247 * [taylor]: Taking taylor expansion of a in c 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in c 0.247 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.247 * [taylor]: Taking taylor expansion of c in c 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in c 0.247 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.247 * [taylor]: Taking taylor expansion of b in c 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.247 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.247 * [taylor]: Taking taylor expansion of d in c 0.247 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.247 * [taylor]: Taking taylor expansion of e in c 0.247 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in e 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 0.247 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.247 * [taylor]: Taking taylor expansion of a in e 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 0.248 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.248 * [taylor]: Taking taylor expansion of c in e 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 0.248 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.248 * [taylor]: Taking taylor expansion of b in e 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.248 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.248 * [taylor]: Taking taylor expansion of d in e 0.248 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.248 * [taylor]: Taking taylor expansion of e in e 0.248 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in d 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.248 * [taylor]: Taking taylor expansion of a in d 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.248 * [taylor]: Taking taylor expansion of c in d 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.248 * [taylor]: Taking taylor expansion of b in d 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.248 * [taylor]: Taking taylor expansion of d in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.248 * [taylor]: Taking taylor expansion of e in d 0.248 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in d 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.248 * [taylor]: Taking taylor expansion of a in d 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.248 * [taylor]: Taking taylor expansion of c in d 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.248 * [taylor]: Taking taylor expansion of b in d 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.248 * [taylor]: Taking taylor expansion of d in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.248 * [taylor]: Taking taylor expansion of e in d 0.248 * [taylor]: Taking taylor expansion of (neg 1) in e 0.248 * [taylor]: Taking taylor expansion of 1 in e 0.249 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))))) in e 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in e 0.249 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.249 * [taylor]: Taking taylor expansion of e in e 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in e 0.249 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.249 * [taylor]: Taking taylor expansion of b in e 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in e 0.249 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.249 * [taylor]: Taking taylor expansion of c in e 0.249 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.249 * [taylor]: Taking taylor expansion of a in e 0.249 * [taylor]: Taking taylor expansion of (neg 1) in c 0.249 * [taylor]: Taking taylor expansion of 1 in c 0.249 * [taylor]: Taking taylor expansion of (neg 1) in c 0.249 * [taylor]: Taking taylor expansion of 1 in c 0.249 * [taylor]: Taking taylor expansion of 0 in e 0.250 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c 0.250 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.250 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.250 * [taylor]: Taking taylor expansion of a in c 0.250 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.250 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.250 * [taylor]: Taking taylor expansion of c in c 0.250 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.250 * [taylor]: Taking taylor expansion of b in c 0.250 * [taylor]: Taking taylor expansion of (neg 1) in b 0.250 * [taylor]: Taking taylor expansion of 1 in b 0.250 * [taylor]: Taking taylor expansion of 0 in c 0.250 * [taylor]: Taking taylor expansion of (neg 1) in b 0.250 * [taylor]: Taking taylor expansion of 1 in b 0.250 * [taylor]: Taking taylor expansion of (neg 1) in b 0.250 * [taylor]: Taking taylor expansion of 1 in b 0.251 * [taylor]: Taking taylor expansion of 0 in e 0.251 * [taylor]: Taking taylor expansion of 0 in c 0.251 * [taylor]: Taking taylor expansion of 0 in c 0.251 * [taylor]: Taking taylor expansion of 0 in c 0.251 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b 0.251 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.251 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.251 * [taylor]: Taking taylor expansion of b in b 0.251 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.251 * [taylor]: Taking taylor expansion of a in b 0.251 * [taylor]: Taking taylor expansion of (neg 1) in a 0.251 * [taylor]: Taking taylor expansion of 1 in a 0.251 * [taylor]: Taking taylor expansion of 0 in b 0.251 * [taylor]: Taking taylor expansion of 0 in b 0.251 * [taylor]: Taking taylor expansion of 0 in b 0.251 * [taylor]: Taking taylor expansion of (neg 1) in a 0.251 * [taylor]: Taking taylor expansion of 1 in a 0.251 * [taylor]: Taking taylor expansion of (neg 1) in a 0.251 * [taylor]: Taking taylor expansion of 1 in a 0.251 * [taylor]: Taking taylor expansion of (neg 1) in a 0.251 * [taylor]: Taking taylor expansion of 1 in a 0.252 * [taylor]: Taking taylor expansion of 0 in e 0.252 * [taylor]: Taking taylor expansion of 0 in c 0.252 * [taylor]: Taking taylor expansion of 0 in c 0.252 * [taylor]: Taking taylor expansion of 0 in c 0.252 * [taylor]: Taking taylor expansion of 0 in c 0.252 * [taylor]: Taking taylor expansion of 0 in b 0.252 * [taylor]: Taking taylor expansion of 0 in b 0.252 * [taylor]: Taking taylor expansion of 0 in b 0.252 * [taylor]: Taking taylor expansion of 0 in b 0.252 * [taylor]: Taking taylor expansion of 0 in b 0.253 * [taylor]: Taking taylor expansion of 0 in b 0.253 * [taylor]: Taking taylor expansion of 0 in b 0.253 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.253 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.253 * [taylor]: Taking taylor expansion of a in a 0.253 * [taylor]: Taking taylor expansion of 0 in a 0.253 * [taylor]: Taking taylor expansion of 0 in a 0.253 * [taylor]: Taking taylor expansion of 0 in a 0.253 * [taylor]: Taking taylor expansion of 0 in a 0.253 * [taylor]: Taking taylor expansion of 0 in a 0.253 * [taylor]: Taking taylor expansion of 0 in a 0.253 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.253 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.253 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.253 * [taylor]: Taking taylor expansion of a in a 0.253 * [taylor]: Taking taylor expansion of (+ b c) in a 0.253 * [taylor]: Taking taylor expansion of b in a 0.253 * [taylor]: Taking taylor expansion of c in a 0.253 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.253 * [taylor]: Taking taylor expansion of a in b 0.253 * [taylor]: Taking taylor expansion of (+ b c) in b 0.253 * [taylor]: Taking taylor expansion of b in b 0.253 * [taylor]: Taking taylor expansion of c in b 0.253 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.254 * [taylor]: Taking taylor expansion of a in c 0.254 * [taylor]: Taking taylor expansion of (+ b c) in c 0.254 * [taylor]: Taking taylor expansion of b in c 0.254 * [taylor]: Taking taylor expansion of c in c 0.254 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.254 * [taylor]: Taking taylor expansion of a in c 0.254 * [taylor]: Taking taylor expansion of (+ b c) in c 0.254 * [taylor]: Taking taylor expansion of b in c 0.254 * [taylor]: Taking taylor expansion of c in c 0.254 * [taylor]: Taking taylor expansion of (+ a b) in b 0.254 * [taylor]: Taking taylor expansion of a in b 0.254 * [taylor]: Taking taylor expansion of b in b 0.254 * [taylor]: Taking taylor expansion of a in a 0.254 * [taylor]: Taking taylor expansion of 1 in b 0.254 * [taylor]: Taking taylor expansion of 1 in a 0.254 * [taylor]: Taking taylor expansion of 1 in a 0.254 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.254 * [taylor]: Taking taylor expansion of b in a 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.254 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.254 * [taylor]: Taking taylor expansion of c in a 0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.254 * [taylor]: Taking taylor expansion of a in a 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.254 * [taylor]: Taking taylor expansion of b in b 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.254 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.254 * [taylor]: Taking taylor expansion of c in b 0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.254 * [taylor]: Taking taylor expansion of a in b 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.254 * [taylor]: Taking taylor expansion of b in c 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.255 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.255 * [taylor]: Taking taylor expansion of c in c 0.255 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.255 * [taylor]: Taking taylor expansion of a in c 0.255 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.255 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.255 * [taylor]: Taking taylor expansion of b in c 0.255 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.255 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.255 * [taylor]: Taking taylor expansion of c in c 0.255 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.255 * [taylor]: Taking taylor expansion of a in c 0.255 * [taylor]: Taking taylor expansion of 1 in b 0.255 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.255 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.255 * [taylor]: Taking taylor expansion of a in b 0.255 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.255 * [taylor]: Taking taylor expansion of b in b 0.255 * [taylor]: Taking taylor expansion of 1 in a 0.255 * [taylor]: Taking taylor expansion of 1 in a 0.255 * [taylor]: Taking taylor expansion of 0 in b 0.255 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.255 * [taylor]: Taking taylor expansion of a in a 0.255 * [taylor]: Taking taylor expansion of 0 in a 0.256 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.256 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.256 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.256 * [taylor]: Taking taylor expansion of b in a 0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.256 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.256 * [taylor]: Taking taylor expansion of c in a 0.256 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.256 * [taylor]: Taking taylor expansion of a in a 0.256 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.256 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.256 * [taylor]: Taking taylor expansion of b in b 0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.256 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.256 * [taylor]: Taking taylor expansion of c in b 0.256 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.256 * [taylor]: Taking taylor expansion of a in b 0.256 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.256 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.256 * [taylor]: Taking taylor expansion of b in c 0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.256 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.256 * [taylor]: Taking taylor expansion of c in c 0.256 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.256 * [taylor]: Taking taylor expansion of a in c 0.256 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.256 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.256 * [taylor]: Taking taylor expansion of b in c 0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.256 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.256 * [taylor]: Taking taylor expansion of c in c 0.256 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.256 * [taylor]: Taking taylor expansion of a in c 0.256 * [taylor]: Taking taylor expansion of (neg 1) in b 0.256 * [taylor]: Taking taylor expansion of 1 in b 0.257 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.257 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.257 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.257 * [taylor]: Taking taylor expansion of a in b 0.257 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.257 * [taylor]: Taking taylor expansion of b in b 0.257 * [taylor]: Taking taylor expansion of (neg 1) in a 0.257 * [taylor]: Taking taylor expansion of 1 in a 0.257 * [taylor]: Taking taylor expansion of (neg 1) in a 0.257 * [taylor]: Taking taylor expansion of 1 in a 0.257 * [taylor]: Taking taylor expansion of 0 in b 0.257 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.257 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.257 * [taylor]: Taking taylor expansion of a in a 0.257 * [taylor]: Taking taylor expansion of 0 in a 0.257 * * * [progress]: simplifying candidates 0.258 * [simplify]: Simplifying using # : (* (* (exp d) (exp e)) (* (exp c) (* (exp b) (exp a)))) (* (* (exp d) (exp e)) (* (exp c) (exp (+ b a)))) (* (* (exp d) (exp e)) (exp (+ c (+ b a)))) (* (exp (+ d e)) (* (exp c) (* (exp b) (exp a)))) (* (exp (+ d e)) (* (exp c) (exp (+ b a)))) (* (exp (+ d e)) (exp (+ 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)))) (* (* (+ (+ d e) (+ c (+ b a))) (+ (+ d e) (+ c (+ b a)))) (+ (+ d e) (+ c (+ b a)))) (sqrt (+ (+ d e) (+ c (+ b a)))) (sqrt (+ (+ d e) (+ c (+ b a)))) (+ (* (+ (pow d 3) (pow e 3)) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (* (+ (* d d) (- (* e e) (* d e))) (+ (pow c 3) (pow (+ b a) 3)))) (* (+ (* d d) (- (* e e) (* d e))) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (+ (* (+ (pow d 3) (pow e 3)) (- c (+ b a))) (* (+ (* d d) (- (* e e) (* d e))) (- (* c c) (* (+ b a) (+ b a))))) (* (+ (* d d) (- (* e e) (* d e))) (- c (+ b a))) (+ (* (- (* d d) (* e e)) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (* (- d e) (+ (pow c 3) (pow (+ b a) 3)))) (* (- d e) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (+ (* (- (* d d) (* e e)) (- c (+ b a))) (* (- d e) (- (* c c) (* (+ b a) (+ b a))))) (* (- d e) (- c (+ b a))) (+ (pow (+ d e) 3) (pow (+ c (+ b a)) 3)) (+ (* (+ d e) (+ d e)) (- (* (+ c (+ b a)) (+ c (+ b a))) (* (+ d e) (+ c (+ b a))))) (- (* (+ d e) (+ d e)) (* (+ c (+ b a)) (+ c (+ b a)))) (- (+ d e) (+ c (+ b a))) (+ (+ d e) (+ c (+ b a))) (+ (+ d e) (+ c (+ b a))) (+ (+ d e) (+ c (+ b a))) (+ (+ d e) (+ c (+ b a))) (+ (+ d e) (+ c (+ b a))) (+ (+ d e) (+ c (+ b a))) (+ (+ d e) c) (+ e (+ 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.283 * * [simplify]: iteration 0 : 4768 enodes (cost 599 ) 0.283 * * [simplify]: iteration 1 : 4768 enodes (cost 599 ) 0.285 * [simplify]: Simplified to: (exp (+ d (+ e (+ c (+ b a))))) (exp (+ d (+ e (+ c (+ b a))))) (exp (+ d (+ e (+ c (+ b a))))) (exp (+ d (+ e (+ c (+ b a))))) (exp (+ d (+ e (+ 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 3) (pow e 3)) (+ (* c c) (* (+ b a) (+ b (- a c))))) (* (+ (* d d) (* e (- e d))) (+ (pow c 3) (pow (+ b a) 3)))) (* (+ (* c c) (* (+ b a) (+ b (- a c)))) (+ (* d d) (* e (- e d)))) (* (- c (+ b a)) (+ (+ (pow d 3) (pow e 3)) (* (+ c (+ b a)) (+ (* d d) (* e (- e d)))))) (* (+ (* d d) (* e (- e d))) (- c (+ b a))) (* (- d e) (+ (* (+ d e) (+ (* c c) (* (+ b a) (+ b (- a c))))) (+ (pow c 3) (pow (+ b a) 3)))) (* (+ (* c c) (* (+ b a) (+ b (- a c)))) (- d e)) (* (- c (+ b a)) (* (- d e) (+ d (+ e (+ c (+ b a)))))) (* (- c (+ b a)) (- d e)) (+ (pow (+ d e) 3) (pow (+ c (+ b a)) 3)) (+ (* (+ d e) (+ d e)) (* (+ c (+ b a)) (+ c (+ b (- a (+ d e)))))) (- (* (+ d e) (+ d e)) (* (+ c (+ b a)) (+ c (+ b a)))) (+ d (- e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e c)) (+ e (+ 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) (+ d (+ e c)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) 0.285 * * * [progress]: adding candidates to table 0.325 * * [progress]: iteration 3 / 4 0.325 * * * [progress]: picking best candidate 0.338 * * * * [pick]: Picked # 0.338 * * * [progress]: localizing error 0.344 * * * [progress]: generating rewritten candidates 0.345 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 0.352 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.362 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.371 * * * [progress]: generating series expansions 0.371 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 0.371 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.371 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.371 * [taylor]: Taking taylor expansion of a in a 0.371 * [taylor]: Taking taylor expansion of (+ b c) in a 0.371 * [taylor]: Taking taylor expansion of b in a 0.371 * [taylor]: Taking taylor expansion of c in a 0.371 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.371 * [taylor]: Taking taylor expansion of a in b 0.371 * [taylor]: Taking taylor expansion of (+ b c) in b 0.371 * [taylor]: Taking taylor expansion of b in b 0.371 * [taylor]: Taking taylor expansion of c in b 0.371 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.371 * [taylor]: Taking taylor expansion of a in c 0.371 * [taylor]: Taking taylor expansion of (+ b c) in c 0.371 * [taylor]: Taking taylor expansion of b in c 0.371 * [taylor]: Taking taylor expansion of c in c 0.371 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.371 * [taylor]: Taking taylor expansion of a in c 0.371 * [taylor]: Taking taylor expansion of (+ b c) in c 0.371 * [taylor]: Taking taylor expansion of b in c 0.371 * [taylor]: Taking taylor expansion of c in c 0.371 * [taylor]: Taking taylor expansion of (+ a b) in b 0.371 * [taylor]: Taking taylor expansion of a in b 0.371 * [taylor]: Taking taylor expansion of b in b 0.372 * [taylor]: Taking taylor expansion of a in a 0.372 * [taylor]: Taking taylor expansion of 1 in b 0.372 * [taylor]: Taking taylor expansion of 1 in a 0.372 * [taylor]: Taking taylor expansion of 1 in a 0.372 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.372 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.372 * [taylor]: Taking taylor expansion of b in a 0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.372 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.372 * [taylor]: Taking taylor expansion of c in a 0.372 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.372 * [taylor]: Taking taylor expansion of a in a 0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.372 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.372 * [taylor]: Taking taylor expansion of b in b 0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.372 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.372 * [taylor]: Taking taylor expansion of c in b 0.372 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.372 * [taylor]: Taking taylor expansion of a in b 0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.372 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.372 * [taylor]: Taking taylor expansion of b in c 0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.372 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.372 * [taylor]: Taking taylor expansion of c in c 0.372 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.372 * [taylor]: Taking taylor expansion of a in c 0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.372 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.372 * [taylor]: Taking taylor expansion of b in c 0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.372 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.372 * [taylor]: Taking taylor expansion of c in c 0.373 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.373 * [taylor]: Taking taylor expansion of a in c 0.373 * [taylor]: Taking taylor expansion of 1 in b 0.373 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.373 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.373 * [taylor]: Taking taylor expansion of a in b 0.373 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.373 * [taylor]: Taking taylor expansion of b in b 0.373 * [taylor]: Taking taylor expansion of 1 in a 0.373 * [taylor]: Taking taylor expansion of 1 in a 0.373 * [taylor]: Taking taylor expansion of 0 in b 0.373 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.373 * [taylor]: Taking taylor expansion of a in a 0.373 * [taylor]: Taking taylor expansion of 0 in a 0.373 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.373 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.373 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.373 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.373 * [taylor]: Taking taylor expansion of b in a 0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.374 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.374 * [taylor]: Taking taylor expansion of c in a 0.374 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.374 * [taylor]: Taking taylor expansion of a in a 0.374 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.374 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.374 * [taylor]: Taking taylor expansion of b in b 0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.374 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.374 * [taylor]: Taking taylor expansion of c in b 0.374 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.374 * [taylor]: Taking taylor expansion of a in b 0.374 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.374 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.374 * [taylor]: Taking taylor expansion of b in c 0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.374 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.374 * [taylor]: Taking taylor expansion of c in c 0.374 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.374 * [taylor]: Taking taylor expansion of a in c 0.374 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.374 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.374 * [taylor]: Taking taylor expansion of b in c 0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.374 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.374 * [taylor]: Taking taylor expansion of c in c 0.374 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.374 * [taylor]: Taking taylor expansion of a in c 0.374 * [taylor]: Taking taylor expansion of (neg 1) in b 0.374 * [taylor]: Taking taylor expansion of 1 in b 0.374 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.374 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.374 * [taylor]: Taking taylor expansion of a in b 0.374 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.375 * [taylor]: Taking taylor expansion of b in b 0.375 * [taylor]: Taking taylor expansion of (neg 1) in a 0.375 * [taylor]: Taking taylor expansion of 1 in a 0.375 * [taylor]: Taking taylor expansion of (neg 1) in a 0.375 * [taylor]: Taking taylor expansion of 1 in a 0.375 * [taylor]: Taking taylor expansion of 0 in b 0.375 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.375 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.375 * [taylor]: Taking taylor expansion of a in a 0.375 * [taylor]: Taking taylor expansion of 0 in a 0.375 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.375 * [approximate]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in (d e c b a) around 0 0.375 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in a 0.375 * [taylor]: Taking taylor expansion of d in a 0.375 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in a 0.375 * [taylor]: Taking taylor expansion of e in a 0.375 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.375 * [taylor]: Taking taylor expansion of a in a 0.375 * [taylor]: Taking taylor expansion of (+ b c) in a 0.375 * [taylor]: Taking taylor expansion of b in a 0.375 * [taylor]: Taking taylor expansion of c in a 0.375 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in b 0.375 * [taylor]: Taking taylor expansion of d in b 0.375 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in b 0.375 * [taylor]: Taking taylor expansion of e in b 0.376 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.376 * [taylor]: Taking taylor expansion of a in b 0.376 * [taylor]: Taking taylor expansion of (+ b c) in b 0.376 * [taylor]: Taking taylor expansion of b in b 0.376 * [taylor]: Taking taylor expansion of c in b 0.376 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in c 0.376 * [taylor]: Taking taylor expansion of d in c 0.376 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in c 0.376 * [taylor]: Taking taylor expansion of e in c 0.376 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.376 * [taylor]: Taking taylor expansion of a in c 0.376 * [taylor]: Taking taylor expansion of (+ b c) in c 0.376 * [taylor]: Taking taylor expansion of b in c 0.376 * [taylor]: Taking taylor expansion of c in c 0.376 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in e 0.376 * [taylor]: Taking taylor expansion of d in e 0.376 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in e 0.376 * [taylor]: Taking taylor expansion of e in e 0.376 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in e 0.376 * [taylor]: Taking taylor expansion of a in e 0.376 * [taylor]: Taking taylor expansion of (+ b c) in e 0.376 * [taylor]: Taking taylor expansion of b in e 0.376 * [taylor]: Taking taylor expansion of c in e 0.376 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in d 0.376 * [taylor]: Taking taylor expansion of d in d 0.376 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in d 0.376 * [taylor]: Taking taylor expansion of e in d 0.376 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.376 * [taylor]: Taking taylor expansion of a in d 0.376 * [taylor]: Taking taylor expansion of (+ b c) in d 0.376 * [taylor]: Taking taylor expansion of b in d 0.376 * [taylor]: Taking taylor expansion of c in d 0.376 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in d 0.376 * [taylor]: Taking taylor expansion of d in d 0.376 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in d 0.376 * [taylor]: Taking taylor expansion of e in d 0.376 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.376 * [taylor]: Taking taylor expansion of a in d 0.376 * [taylor]: Taking taylor expansion of (+ b c) in d 0.376 * [taylor]: Taking taylor expansion of b in d 0.376 * [taylor]: Taking taylor expansion of c in d 0.376 * [taylor]: Taking taylor expansion of (+ e (+ a (+ c b))) in e 0.376 * [taylor]: Taking taylor expansion of e in e 0.376 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in e 0.376 * [taylor]: Taking taylor expansion of a in e 0.376 * [taylor]: Taking taylor expansion of (+ c b) in e 0.376 * [taylor]: Taking taylor expansion of c in e 0.376 * [taylor]: Taking taylor expansion of b in e 0.376 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.376 * [taylor]: Taking taylor expansion of a in c 0.376 * [taylor]: Taking taylor expansion of (+ c b) in c 0.376 * [taylor]: Taking taylor expansion of c in c 0.376 * [taylor]: Taking taylor expansion of b in c 0.377 * [taylor]: Taking taylor expansion of (+ a b) in b 0.377 * [taylor]: Taking taylor expansion of a in b 0.377 * [taylor]: Taking taylor expansion of b in b 0.377 * [taylor]: Taking taylor expansion of a in a 0.377 * [taylor]: Taking taylor expansion of 1 in e 0.377 * [taylor]: Taking taylor expansion of 1 in c 0.377 * [taylor]: Taking taylor expansion of 1 in b 0.377 * [taylor]: Taking taylor expansion of 1 in a 0.377 * [taylor]: Taking taylor expansion of 1 in c 0.377 * [taylor]: Taking taylor expansion of 1 in b 0.377 * [taylor]: Taking taylor expansion of 1 in a 0.377 * [taylor]: Taking taylor expansion of 1 in b 0.377 * [taylor]: Taking taylor expansion of 1 in a 0.377 * [approximate]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (d e c b a) around 0 0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a 0.377 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.377 * [taylor]: Taking taylor expansion of e in a 0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a 0.377 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.377 * [taylor]: Taking taylor expansion of b in a 0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a 0.377 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.377 * [taylor]: Taking taylor expansion of c in a 0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a 0.377 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.377 * [taylor]: Taking taylor expansion of d in a 0.377 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.377 * [taylor]: Taking taylor expansion of a in a 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b 0.378 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.378 * [taylor]: Taking taylor expansion of e in b 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 0.378 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.378 * [taylor]: Taking taylor expansion of b in b 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 0.378 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.378 * [taylor]: Taking taylor expansion of c in b 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 0.378 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.378 * [taylor]: Taking taylor expansion of d in b 0.378 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.378 * [taylor]: Taking taylor expansion of a in b 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c 0.378 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.378 * [taylor]: Taking taylor expansion of e in c 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c 0.378 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.378 * [taylor]: Taking taylor expansion of b in c 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c 0.378 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.378 * [taylor]: Taking taylor expansion of c in c 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c 0.378 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.378 * [taylor]: Taking taylor expansion of d in c 0.378 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.378 * [taylor]: Taking taylor expansion of a in c 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in e 0.378 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.378 * [taylor]: Taking taylor expansion of e in e 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in e 0.378 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.378 * [taylor]: Taking taylor expansion of b in e 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in e 0.378 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.378 * [taylor]: Taking taylor expansion of c in e 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in e 0.378 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.378 * [taylor]: Taking taylor expansion of d in e 0.378 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.378 * [taylor]: Taking taylor expansion of a in e 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 0.378 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.378 * [taylor]: Taking taylor expansion of e in d 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 0.378 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.378 * [taylor]: Taking taylor expansion of b in d 0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 0.379 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.379 * [taylor]: Taking taylor expansion of c in d 0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 0.379 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.379 * [taylor]: Taking taylor expansion of d in d 0.379 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.379 * [taylor]: Taking taylor expansion of a in d 0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 0.379 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.379 * [taylor]: Taking taylor expansion of e in d 0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 0.379 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.379 * [taylor]: Taking taylor expansion of b in d 0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 0.379 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.379 * [taylor]: Taking taylor expansion of c in d 0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 0.379 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.379 * [taylor]: Taking taylor expansion of d in d 0.379 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.379 * [taylor]: Taking taylor expansion of a in d 0.379 * [taylor]: Taking taylor expansion of 1 in e 0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in e 0.379 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.379 * [taylor]: Taking taylor expansion of a in e 0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in e 0.379 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.379 * [taylor]: Taking taylor expansion of c in e 0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e 0.379 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.379 * [taylor]: Taking taylor expansion of b in e 0.379 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.379 * [taylor]: Taking taylor expansion of e in e 0.380 * [taylor]: Taking taylor expansion of 1 in c 0.380 * [taylor]: Taking taylor expansion of 1 in c 0.380 * [taylor]: Taking taylor expansion of 0 in e 0.380 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.380 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.380 * [taylor]: Taking taylor expansion of b in c 0.380 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.380 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.380 * [taylor]: Taking taylor expansion of c in c 0.380 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.380 * [taylor]: Taking taylor expansion of a in c 0.380 * [taylor]: Taking taylor expansion of 1 in b 0.380 * [taylor]: Taking taylor expansion of 0 in c 0.380 * [taylor]: Taking taylor expansion of 1 in b 0.380 * [taylor]: Taking taylor expansion of 1 in b 0.381 * [taylor]: Taking taylor expansion of 0 in e 0.381 * [taylor]: Taking taylor expansion of 0 in c 0.381 * [taylor]: Taking taylor expansion of 0 in c 0.381 * [taylor]: Taking taylor expansion of 0 in c 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.381 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.381 * [taylor]: Taking taylor expansion of a in b 0.381 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.381 * [taylor]: Taking taylor expansion of b in b 0.381 * [taylor]: Taking taylor expansion of 1 in a 0.381 * [taylor]: Taking taylor expansion of 0 in b 0.381 * [taylor]: Taking taylor expansion of 0 in b 0.381 * [taylor]: Taking taylor expansion of 0 in b 0.381 * [taylor]: Taking taylor expansion of 1 in a 0.381 * [taylor]: Taking taylor expansion of 1 in a 0.381 * [taylor]: Taking taylor expansion of 1 in a 0.382 * [taylor]: Taking taylor expansion of 0 in e 0.382 * [taylor]: Taking taylor expansion of 0 in c 0.382 * [taylor]: Taking taylor expansion of 0 in c 0.382 * [taylor]: Taking taylor expansion of 0 in c 0.382 * [taylor]: Taking taylor expansion of 0 in c 0.382 * [taylor]: Taking taylor expansion of 0 in b 0.382 * [taylor]: Taking taylor expansion of 0 in b 0.382 * [taylor]: Taking taylor expansion of 0 in b 0.382 * [taylor]: Taking taylor expansion of 0 in b 0.382 * [taylor]: Taking taylor expansion of 0 in b 0.382 * [taylor]: Taking taylor expansion of 0 in b 0.382 * [taylor]: Taking taylor expansion of 0 in b 0.382 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.382 * [taylor]: Taking taylor expansion of a in a 0.382 * [taylor]: Taking taylor expansion of 0 in a 0.382 * [taylor]: Taking taylor expansion of 0 in a 0.383 * [taylor]: Taking taylor expansion of 0 in a 0.383 * [taylor]: Taking taylor expansion of 0 in a 0.383 * [taylor]: Taking taylor expansion of 0 in a 0.383 * [taylor]: Taking taylor expansion of 0 in a 0.383 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))))) in (d e c b a) around 0 0.383 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))))) in a 0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a 0.383 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.383 * [taylor]: Taking taylor expansion of e in a 0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a 0.383 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.383 * [taylor]: Taking taylor expansion of b in a 0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a 0.383 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.383 * [taylor]: Taking taylor expansion of c in a 0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a 0.383 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.383 * [taylor]: Taking taylor expansion of d in a 0.383 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.383 * [taylor]: Taking taylor expansion of a in a 0.383 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))))) in b 0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b 0.383 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.383 * [taylor]: Taking taylor expansion of e in b 0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b 0.384 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.384 * [taylor]: Taking taylor expansion of b in b 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b 0.384 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.384 * [taylor]: Taking taylor expansion of c in b 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b 0.384 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.384 * [taylor]: Taking taylor expansion of d in b 0.384 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.384 * [taylor]: Taking taylor expansion of a in b 0.384 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))))) in c 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c 0.384 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.384 * [taylor]: Taking taylor expansion of e in c 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c 0.384 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.384 * [taylor]: Taking taylor expansion of b in c 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c 0.384 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.384 * [taylor]: Taking taylor expansion of c in c 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c 0.384 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.384 * [taylor]: Taking taylor expansion of d in c 0.384 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.384 * [taylor]: Taking taylor expansion of a in c 0.384 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))))) in e 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in e 0.384 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.384 * [taylor]: Taking taylor expansion of e in e 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in e 0.384 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.384 * [taylor]: Taking taylor expansion of b in e 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in e 0.384 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.384 * [taylor]: Taking taylor expansion of c in e 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in e 0.384 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.384 * [taylor]: Taking taylor expansion of d in e 0.384 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.384 * [taylor]: Taking taylor expansion of a in e 0.384 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))))) in d 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 0.384 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.384 * [taylor]: Taking taylor expansion of e in d 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 0.384 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.384 * [taylor]: Taking taylor expansion of b in d 0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 0.385 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.385 * [taylor]: Taking taylor expansion of c in d 0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 0.385 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.385 * [taylor]: Taking taylor expansion of d in d 0.385 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.385 * [taylor]: Taking taylor expansion of a in d 0.385 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))))) in d 0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 0.385 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.385 * [taylor]: Taking taylor expansion of e in d 0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 0.385 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.385 * [taylor]: Taking taylor expansion of b in d 0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 0.385 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.385 * [taylor]: Taking taylor expansion of c in d 0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 0.385 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.385 * [taylor]: Taking taylor expansion of d in d 0.385 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.385 * [taylor]: Taking taylor expansion of a in d 0.385 * [taylor]: Taking taylor expansion of (neg 1) in e 0.385 * [taylor]: Taking taylor expansion of 1 in e 0.385 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 e))))) in e 0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) (+ (/ 1 c) (/ 1 e)))) in e 0.385 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.385 * [taylor]: Taking taylor expansion of a in e 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 e))) in e 0.386 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.386 * [taylor]: Taking taylor expansion of b in e 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.386 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.386 * [taylor]: Taking taylor expansion of c in e 0.386 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.386 * [taylor]: Taking taylor expansion of e in e 0.386 * [taylor]: Taking taylor expansion of (neg 1) in c 0.386 * [taylor]: Taking taylor expansion of 1 in c 0.386 * [taylor]: Taking taylor expansion of (neg 1) in c 0.386 * [taylor]: Taking taylor expansion of 1 in c 0.386 * [taylor]: Taking taylor expansion of 0 in e 0.386 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.386 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.386 * [taylor]: Taking taylor expansion of b in c 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.386 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.386 * [taylor]: Taking taylor expansion of c in c 0.386 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.386 * [taylor]: Taking taylor expansion of a in c 0.386 * [taylor]: Taking taylor expansion of (neg 1) in b 0.386 * [taylor]: Taking taylor expansion of 1 in b 0.387 * [taylor]: Taking taylor expansion of 0 in c 0.387 * [taylor]: Taking taylor expansion of (neg 1) in b 0.387 * [taylor]: Taking taylor expansion of 1 in b 0.387 * [taylor]: Taking taylor expansion of (neg 1) in b 0.387 * [taylor]: Taking taylor expansion of 1 in b 0.387 * [taylor]: Taking taylor expansion of 0 in e 0.387 * [taylor]: Taking taylor expansion of 0 in c 0.387 * [taylor]: Taking taylor expansion of 0 in c 0.387 * [taylor]: Taking taylor expansion of 0 in c 0.387 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.387 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.387 * [taylor]: Taking taylor expansion of a in b 0.387 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.387 * [taylor]: Taking taylor expansion of b in b 0.388 * [taylor]: Taking taylor expansion of (neg 1) in a 0.388 * [taylor]: Taking taylor expansion of 1 in a 0.388 * [taylor]: Taking taylor expansion of 0 in b 0.388 * [taylor]: Taking taylor expansion of 0 in b 0.388 * [taylor]: Taking taylor expansion of 0 in b 0.388 * [taylor]: Taking taylor expansion of (neg 1) in a 0.388 * [taylor]: Taking taylor expansion of 1 in a 0.388 * [taylor]: Taking taylor expansion of (neg 1) in a 0.388 * [taylor]: Taking taylor expansion of 1 in a 0.388 * [taylor]: Taking taylor expansion of (neg 1) in a 0.388 * [taylor]: Taking taylor expansion of 1 in a 0.388 * [taylor]: Taking taylor expansion of 0 in e 0.388 * [taylor]: Taking taylor expansion of 0 in c 0.388 * [taylor]: Taking taylor expansion of 0 in c 0.388 * [taylor]: Taking taylor expansion of 0 in c 0.389 * [taylor]: Taking taylor expansion of 0 in c 0.389 * [taylor]: Taking taylor expansion of 0 in b 0.389 * [taylor]: Taking taylor expansion of 0 in b 0.389 * [taylor]: Taking taylor expansion of 0 in b 0.389 * [taylor]: Taking taylor expansion of 0 in b 0.389 * [taylor]: Taking taylor expansion of 0 in b 0.389 * [taylor]: Taking taylor expansion of 0 in b 0.389 * [taylor]: Taking taylor expansion of 0 in b 0.389 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.389 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.389 * [taylor]: Taking taylor expansion of a in a 0.389 * [taylor]: Taking taylor expansion of 0 in a 0.389 * [taylor]: Taking taylor expansion of 0 in a 0.389 * [taylor]: Taking taylor expansion of 0 in a 0.389 * [taylor]: Taking taylor expansion of 0 in a 0.389 * [taylor]: Taking taylor expansion of 0 in a 0.389 * [taylor]: Taking taylor expansion of 0 in a 0.390 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.390 * [approximate]: Taking taylor expansion of (+ e (+ b (+ a c))) in (e c b a) around 0 0.390 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.390 * [taylor]: Taking taylor expansion of e in a 0.390 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.390 * [taylor]: Taking taylor expansion of b in a 0.390 * [taylor]: Taking taylor expansion of (+ a c) in a 0.390 * [taylor]: Taking taylor expansion of a in a 0.390 * [taylor]: Taking taylor expansion of c in a 0.390 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.390 * [taylor]: Taking taylor expansion of e in b 0.390 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.390 * [taylor]: Taking taylor expansion of b in b 0.390 * [taylor]: Taking taylor expansion of (+ a c) in b 0.390 * [taylor]: Taking taylor expansion of a in b 0.390 * [taylor]: Taking taylor expansion of c in b 0.390 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.390 * [taylor]: Taking taylor expansion of e in c 0.390 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.390 * [taylor]: Taking taylor expansion of b in c 0.390 * [taylor]: Taking taylor expansion of (+ a c) in c 0.390 * [taylor]: Taking taylor expansion of a in c 0.390 * [taylor]: Taking taylor expansion of c in c 0.390 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.390 * [taylor]: Taking taylor expansion of e in e 0.390 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.390 * [taylor]: Taking taylor expansion of b in e 0.390 * [taylor]: Taking taylor expansion of (+ a c) in e 0.390 * [taylor]: Taking taylor expansion of a in e 0.390 * [taylor]: Taking taylor expansion of c in e 0.390 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.390 * [taylor]: Taking taylor expansion of e in e 0.390 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.390 * [taylor]: Taking taylor expansion of b in e 0.390 * [taylor]: Taking taylor expansion of (+ a c) in e 0.390 * [taylor]: Taking taylor expansion of a in e 0.390 * [taylor]: Taking taylor expansion of c in e 0.390 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.390 * [taylor]: Taking taylor expansion of a in c 0.390 * [taylor]: Taking taylor expansion of (+ c b) in c 0.390 * [taylor]: Taking taylor expansion of c in c 0.390 * [taylor]: Taking taylor expansion of b in c 0.390 * [taylor]: Taking taylor expansion of (+ a b) in b 0.390 * [taylor]: Taking taylor expansion of a in b 0.390 * [taylor]: Taking taylor expansion of b in b 0.390 * [taylor]: Taking taylor expansion of a in a 0.391 * [taylor]: Taking taylor expansion of 1 in c 0.391 * [taylor]: Taking taylor expansion of 1 in b 0.391 * [taylor]: Taking taylor expansion of 1 in a 0.391 * [taylor]: Taking taylor expansion of 1 in b 0.391 * [taylor]: Taking taylor expansion of 1 in a 0.391 * [taylor]: Taking taylor expansion of 1 in a 0.391 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in (e c b a) around 0 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in a 0.391 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.391 * [taylor]: Taking taylor expansion of a in a 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in a 0.391 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.391 * [taylor]: Taking taylor expansion of c in a 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in a 0.391 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.391 * [taylor]: Taking taylor expansion of b in a 0.391 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.391 * [taylor]: Taking taylor expansion of e in a 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in b 0.391 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.391 * [taylor]: Taking taylor expansion of a in b 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in b 0.391 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.391 * [taylor]: Taking taylor expansion of c in b 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in b 0.391 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.391 * [taylor]: Taking taylor expansion of b in b 0.391 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.391 * [taylor]: Taking taylor expansion of e in b 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in c 0.391 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.391 * [taylor]: Taking taylor expansion of a in c 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in c 0.391 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.391 * [taylor]: Taking taylor expansion of c in c 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in c 0.392 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.392 * [taylor]: Taking taylor expansion of b in c 0.392 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.392 * [taylor]: Taking taylor expansion of e in c 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in e 0.392 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.392 * [taylor]: Taking taylor expansion of a in e 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in e 0.392 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.392 * [taylor]: Taking taylor expansion of c in e 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e 0.392 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.392 * [taylor]: Taking taylor expansion of b in e 0.392 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.392 * [taylor]: Taking taylor expansion of e in e 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in e 0.392 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.392 * [taylor]: Taking taylor expansion of a in e 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in e 0.392 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.392 * [taylor]: Taking taylor expansion of c in e 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e 0.392 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.392 * [taylor]: Taking taylor expansion of b in e 0.392 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.392 * [taylor]: Taking taylor expansion of e in e 0.392 * [taylor]: Taking taylor expansion of 1 in c 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.392 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.392 * [taylor]: Taking taylor expansion of b in c 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.392 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.392 * [taylor]: Taking taylor expansion of c in c 0.392 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.392 * [taylor]: Taking taylor expansion of a in c 0.393 * [taylor]: Taking taylor expansion of 1 in b 0.393 * [taylor]: Taking taylor expansion of 1 in b 0.393 * [taylor]: Taking taylor expansion of 0 in c 0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.393 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.393 * [taylor]: Taking taylor expansion of a in b 0.393 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.393 * [taylor]: Taking taylor expansion of b in b 0.393 * [taylor]: Taking taylor expansion of 1 in a 0.393 * [taylor]: Taking taylor expansion of 0 in b 0.393 * [taylor]: Taking taylor expansion of 1 in a 0.393 * [taylor]: Taking taylor expansion of 1 in a 0.393 * [taylor]: Taking taylor expansion of 0 in c 0.393 * [taylor]: Taking taylor expansion of 0 in b 0.393 * [taylor]: Taking taylor expansion of 0 in b 0.393 * [taylor]: Taking taylor expansion of 0 in b 0.394 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.394 * [taylor]: Taking taylor expansion of a in a 0.394 * [taylor]: Taking taylor expansion of 0 in a 0.394 * [taylor]: Taking taylor expansion of 0 in a 0.394 * [taylor]: Taking taylor expansion of 0 in a 0.394 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in (e c b a) around 0 0.394 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in a 0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in a 0.394 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.394 * [taylor]: Taking taylor expansion of a in a 0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in a 0.394 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.394 * [taylor]: Taking taylor expansion of c in a 0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in a 0.394 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.394 * [taylor]: Taking taylor expansion of b in a 0.394 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.394 * [taylor]: Taking taylor expansion of e in a 0.394 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in b 0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in b 0.394 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.394 * [taylor]: Taking taylor expansion of a in b 0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in b 0.394 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.394 * [taylor]: Taking taylor expansion of c in b 0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in b 0.394 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.394 * [taylor]: Taking taylor expansion of b in b 0.395 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.395 * [taylor]: Taking taylor expansion of e in b 0.395 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in c 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in c 0.395 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.395 * [taylor]: Taking taylor expansion of a in c 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in c 0.395 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.395 * [taylor]: Taking taylor expansion of c in c 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in c 0.395 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.395 * [taylor]: Taking taylor expansion of b in c 0.395 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.395 * [taylor]: Taking taylor expansion of e in c 0.395 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in e 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in e 0.395 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.395 * [taylor]: Taking taylor expansion of a in e 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in e 0.395 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.395 * [taylor]: Taking taylor expansion of c in e 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e 0.395 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.395 * [taylor]: Taking taylor expansion of b in e 0.395 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.395 * [taylor]: Taking taylor expansion of e in e 0.395 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in e 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in e 0.395 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.395 * [taylor]: Taking taylor expansion of a in e 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in e 0.395 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.395 * [taylor]: Taking taylor expansion of c in e 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e 0.395 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.395 * [taylor]: Taking taylor expansion of b in e 0.395 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.395 * [taylor]: Taking taylor expansion of e in e 0.395 * [taylor]: Taking taylor expansion of (neg 1) in c 0.395 * [taylor]: Taking taylor expansion of 1 in c 0.396 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.396 * [taylor]: Taking taylor expansion of b in c 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.396 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.396 * [taylor]: Taking taylor expansion of c in c 0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.396 * [taylor]: Taking taylor expansion of a in c 0.396 * [taylor]: Taking taylor expansion of (neg 1) in b 0.396 * [taylor]: Taking taylor expansion of 1 in b 0.396 * [taylor]: Taking taylor expansion of (neg 1) in b 0.396 * [taylor]: Taking taylor expansion of 1 in b 0.396 * [taylor]: Taking taylor expansion of 0 in c 0.396 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.396 * [taylor]: Taking taylor expansion of a in b 0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.396 * [taylor]: Taking taylor expansion of b in b 0.396 * [taylor]: Taking taylor expansion of (neg 1) in a 0.396 * [taylor]: Taking taylor expansion of 1 in a 0.396 * [taylor]: Taking taylor expansion of 0 in b 0.396 * [taylor]: Taking taylor expansion of (neg 1) in a 0.396 * [taylor]: Taking taylor expansion of 1 in a 0.397 * [taylor]: Taking taylor expansion of (neg 1) in a 0.397 * [taylor]: Taking taylor expansion of 1 in a 0.397 * [taylor]: Taking taylor expansion of 0 in c 0.397 * [taylor]: Taking taylor expansion of 0 in b 0.397 * [taylor]: Taking taylor expansion of 0 in b 0.397 * [taylor]: Taking taylor expansion of 0 in b 0.397 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.397 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.397 * [taylor]: Taking taylor expansion of a in a 0.397 * [taylor]: Taking taylor expansion of 0 in a 0.397 * [taylor]: Taking taylor expansion of 0 in a 0.397 * [taylor]: Taking taylor expansion of 0 in a 0.398 * * * [progress]: simplifying candidates 0.398 * [simplify]: Simplifying using # : (* (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) (* (exp d) (* (exp e) (* (exp c) (* (exp b) (exp a))))) (* (exp d) (* (exp e) (* (exp c) (exp (+ b a))))) (* (exp d) (* (exp e) (exp (+ c (+ b a))))) (* (exp d) (exp (+ 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))))) (* (* (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a))))) (+ d (+ e (+ c (+ b a))))) (sqrt (+ d (+ e (+ c (+ b a))))) (sqrt (+ d (+ e (+ c (+ b a))))) (+ (pow d 3) (pow (+ e (+ c (+ b a))) 3)) (+ (* d d) (- (* (+ e (+ c (+ b a))) (+ e (+ c (+ b a)))) (* d (+ e (+ c (+ b a)))))) (- (* d d) (* (+ e (+ c (+ b a))) (+ e (+ c (+ b a))))) (- d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d e) (* (exp e) (* (exp c) (* (exp b) (exp a)))) (* (exp e) (* (exp c) (exp (+ b a)))) (* (exp e) (exp (+ c (+ b a)))) (log (+ e (+ c (+ b a)))) (exp (+ e (+ c (+ b a)))) (* (cbrt (+ e (+ c (+ b a)))) (cbrt (+ e (+ c (+ b a))))) (cbrt (+ e (+ c (+ b a)))) (* (* (+ e (+ c (+ b a))) (+ e (+ c (+ b a)))) (+ e (+ c (+ b a)))) (sqrt (+ e (+ c (+ b a)))) (sqrt (+ e (+ c (+ b a)))) (+ (pow e 3) (pow (+ c (+ b a)) 3)) (+ (* e e) (- (* (+ c (+ b a)) (+ c (+ b a))) (* e (+ c (+ b a))))) (- (* e e) (* (+ c (+ b a)) (+ c (+ b a)))) (- e (+ c (+ b a))) (+ e (+ c (+ b a))) (+ e (+ c (+ b a))) (+ e (+ c (+ b a))) (+ e c) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ e (+ b c)) (+ a (+ b c)) (+ a (+ b c)) 0.428 * * [simplify]: iteration 0 : 4837 enodes (cost 545 ) 0.428 * * [simplify]: iteration 1 : 4837 enodes (cost 545 ) 0.430 * [simplify]: Simplified to: (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) (exp (+ c (+ (+ b a) (+ d e)))) (exp (+ c (+ (+ b a) (+ d e)))) (exp (+ c (+ (+ b a) (+ d e)))) (exp (+ c (+ (+ b a) (+ d e)))) (log (+ c (+ (+ b a) (+ d e)))) (exp (+ c (+ (+ b a) (+ d e)))) (* (cbrt (+ c (+ (+ b a) (+ d e)))) (cbrt (+ c (+ (+ b a) (+ d e))))) (cbrt (+ c (+ (+ b a) (+ d e)))) (pow (+ c (+ (+ b a) (+ d e))) 3) (sqrt (+ c (+ (+ b a) (+ d e)))) (sqrt (+ c (+ (+ b a) (+ d e)))) (+ (pow d 3) (pow (+ c (+ b (+ a e))) 3)) (+ (* d d) (* (+ c (+ b (+ a e))) (+ c (+ (+ b a) (- e d))))) (- (* d d) (* (+ c (+ b (+ a e))) (+ c (+ b (+ a e))))) (- d (+ c (+ b (+ a e)))) (+ c (+ (+ b a) (+ d e))) (+ c (+ (+ b a) (+ d e))) (+ c (+ (+ b a) (+ d e))) (+ c (+ (+ b a) (+ d e))) (+ d e) (exp (+ c (+ b (+ a e)))) (exp (+ c (+ b (+ a e)))) (exp (+ c (+ b (+ a e)))) (log (+ c (+ b (+ a e)))) (exp (+ c (+ b (+ a e)))) (* (cbrt (+ c (+ b (+ a e)))) (cbrt (+ c (+ b (+ a e))))) (cbrt (+ c (+ b (+ a e)))) (pow (+ c (+ b (+ a e))) 3) (sqrt (+ c (+ b (+ a e)))) (sqrt (+ c (+ b (+ a e)))) (+ (pow (+ c (+ b a)) 3) (pow e 3)) (+ (* e e) (* (+ c (+ b a)) (+ c (+ b (- a e))))) (- (* e e) (* (+ c (+ b a)) (+ c (+ b a)))) (- e (+ c (+ b a))) (+ c (+ b (+ a e))) (+ c (+ b (+ a e))) (+ c (+ b (+ a e))) (+ c e) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ d e)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b e)) (+ c (+ b a)) (+ c (+ b a)) 0.430 * * * [progress]: adding candidates to table 0.483 * * [progress]: iteration 4 / 4 0.483 * * * [progress]: picking best candidate 0.501 * * * * [pick]: Picked # 0.501 * * * [progress]: localizing error 0.512 * * * [progress]: generating rewritten candidates 0.512 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.532 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.542 * * * [progress]: generating series expansions 0.542 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.542 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (d e c b a) around 0 0.542 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.542 * [taylor]: Taking taylor expansion of d in a 0.542 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.542 * [taylor]: Taking taylor expansion of e in a 0.542 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.542 * [taylor]: Taking taylor expansion of b in a 0.542 * [taylor]: Taking taylor expansion of (+ a c) in a 0.542 * [taylor]: Taking taylor expansion of a in a 0.542 * [taylor]: Taking taylor expansion of c in a 0.542 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.542 * [taylor]: Taking taylor expansion of d in b 0.542 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.542 * [taylor]: Taking taylor expansion of e in b 0.542 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.542 * [taylor]: Taking taylor expansion of b in b 0.542 * [taylor]: Taking taylor expansion of (+ a c) in b 0.542 * [taylor]: Taking taylor expansion of a in b 0.543 * [taylor]: Taking taylor expansion of c in b 0.543 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.543 * [taylor]: Taking taylor expansion of d in c 0.543 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.543 * [taylor]: Taking taylor expansion of e in c 0.543 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.543 * [taylor]: Taking taylor expansion of b in c 0.543 * [taylor]: Taking taylor expansion of (+ a c) in c 0.543 * [taylor]: Taking taylor expansion of a in c 0.543 * [taylor]: Taking taylor expansion of c in c 0.543 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.543 * [taylor]: Taking taylor expansion of d in e 0.543 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.543 * [taylor]: Taking taylor expansion of e in e 0.543 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.543 * [taylor]: Taking taylor expansion of b in e 0.543 * [taylor]: Taking taylor expansion of (+ a c) in e 0.543 * [taylor]: Taking taylor expansion of a in e 0.543 * [taylor]: Taking taylor expansion of c in e 0.543 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.543 * [taylor]: Taking taylor expansion of d in d 0.543 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.543 * [taylor]: Taking taylor expansion of e in d 0.543 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.543 * [taylor]: Taking taylor expansion of b in d 0.543 * [taylor]: Taking taylor expansion of (+ a c) in d 0.543 * [taylor]: Taking taylor expansion of a in d 0.543 * [taylor]: Taking taylor expansion of c in d 0.543 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.543 * [taylor]: Taking taylor expansion of d in d 0.543 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.543 * [taylor]: Taking taylor expansion of e in d 0.543 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.543 * [taylor]: Taking taylor expansion of b in d 0.543 * [taylor]: Taking taylor expansion of (+ a c) in d 0.543 * [taylor]: Taking taylor expansion of a in d 0.543 * [taylor]: Taking taylor expansion of c in d 0.543 * [taylor]: Taking taylor expansion of (+ e (+ a (+ c b))) in e 0.543 * [taylor]: Taking taylor expansion of e in e 0.543 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in e 0.543 * [taylor]: Taking taylor expansion of a in e 0.543 * [taylor]: Taking taylor expansion of (+ c b) in e 0.543 * [taylor]: Taking taylor expansion of c in e 0.543 * [taylor]: Taking taylor expansion of b in e 0.543 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.543 * [taylor]: Taking taylor expansion of a in c 0.543 * [taylor]: Taking taylor expansion of (+ c b) in c 0.543 * [taylor]: Taking taylor expansion of c in c 0.543 * [taylor]: Taking taylor expansion of b in c 0.544 * [taylor]: Taking taylor expansion of (+ a b) in b 0.544 * [taylor]: Taking taylor expansion of a in b 0.544 * [taylor]: Taking taylor expansion of b in b 0.544 * [taylor]: Taking taylor expansion of a in a 0.544 * [taylor]: Taking taylor expansion of 1 in e 0.544 * [taylor]: Taking taylor expansion of 1 in c 0.544 * [taylor]: Taking taylor expansion of 1 in b 0.544 * [taylor]: Taking taylor expansion of 1 in a 0.544 * [taylor]: Taking taylor expansion of 1 in c 0.544 * [taylor]: Taking taylor expansion of 1 in b 0.544 * [taylor]: Taking taylor expansion of 1 in a 0.544 * [taylor]: Taking taylor expansion of 1 in b 0.544 * [taylor]: Taking taylor expansion of 1 in a 0.544 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in (d e c b a) around 0 0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in a 0.544 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.544 * [taylor]: Taking taylor expansion of b in a 0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in a 0.544 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.544 * [taylor]: Taking taylor expansion of c in a 0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in a 0.544 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.544 * [taylor]: Taking taylor expansion of a in a 0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 0.544 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.544 * [taylor]: Taking taylor expansion of d in a 0.544 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.544 * [taylor]: Taking taylor expansion of e in a 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.545 * [taylor]: Taking taylor expansion of b in b 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.545 * [taylor]: Taking taylor expansion of c in b 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.545 * [taylor]: Taking taylor expansion of a in b 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.545 * [taylor]: Taking taylor expansion of d in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.545 * [taylor]: Taking taylor expansion of e in b 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in c 0.545 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.545 * [taylor]: Taking taylor expansion of b in c 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in c 0.545 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.545 * [taylor]: Taking taylor expansion of c in c 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in c 0.545 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.545 * [taylor]: Taking taylor expansion of a in c 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.545 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.545 * [taylor]: Taking taylor expansion of d in c 0.545 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.545 * [taylor]: Taking taylor expansion of e in c 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in e 0.545 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.545 * [taylor]: Taking taylor expansion of b in e 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in e 0.545 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.545 * [taylor]: Taking taylor expansion of c in e 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in e 0.545 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.545 * [taylor]: Taking taylor expansion of a in e 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.545 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.545 * [taylor]: Taking taylor expansion of d in e 0.545 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.545 * [taylor]: Taking taylor expansion of e in e 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in d 0.545 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.545 * [taylor]: Taking taylor expansion of b in d 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in d 0.545 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.545 * [taylor]: Taking taylor expansion of c in d 0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in d 0.546 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.546 * [taylor]: Taking taylor expansion of a in d 0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.546 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.546 * [taylor]: Taking taylor expansion of d in d 0.546 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.546 * [taylor]: Taking taylor expansion of e in d 0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in d 0.546 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.546 * [taylor]: Taking taylor expansion of b in d 0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in d 0.546 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.546 * [taylor]: Taking taylor expansion of c in d 0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in d 0.546 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.546 * [taylor]: Taking taylor expansion of a in d 0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.546 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.546 * [taylor]: Taking taylor expansion of d in d 0.546 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.546 * [taylor]: Taking taylor expansion of e in d 0.546 * [taylor]: Taking taylor expansion of 1 in e 0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 a) (/ 1 b)))) in e 0.546 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.546 * [taylor]: Taking taylor expansion of e in e 0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 b))) in e 0.546 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.546 * [taylor]: Taking taylor expansion of c in e 0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in e 0.546 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.546 * [taylor]: Taking taylor expansion of a in e 0.546 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.547 * [taylor]: Taking taylor expansion of b in e 0.547 * [taylor]: Taking taylor expansion of 1 in c 0.547 * [taylor]: Taking taylor expansion of 1 in c 0.547 * [taylor]: Taking taylor expansion of 0 in e 0.547 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.547 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.547 * [taylor]: Taking taylor expansion of b in c 0.547 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.547 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.547 * [taylor]: Taking taylor expansion of c in c 0.547 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.547 * [taylor]: Taking taylor expansion of a in c 0.547 * [taylor]: Taking taylor expansion of 1 in b 0.547 * [taylor]: Taking taylor expansion of 0 in c 0.547 * [taylor]: Taking taylor expansion of 1 in b 0.547 * [taylor]: Taking taylor expansion of 1 in b 0.548 * [taylor]: Taking taylor expansion of 0 in e 0.548 * [taylor]: Taking taylor expansion of 0 in c 0.548 * [taylor]: Taking taylor expansion of 0 in c 0.548 * [taylor]: Taking taylor expansion of 0 in c 0.548 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.548 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.548 * [taylor]: Taking taylor expansion of a in b 0.548 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.548 * [taylor]: Taking taylor expansion of b in b 0.548 * [taylor]: Taking taylor expansion of 1 in a 0.548 * [taylor]: Taking taylor expansion of 0 in b 0.548 * [taylor]: Taking taylor expansion of 0 in b 0.548 * [taylor]: Taking taylor expansion of 0 in b 0.548 * [taylor]: Taking taylor expansion of 1 in a 0.548 * [taylor]: Taking taylor expansion of 1 in a 0.548 * [taylor]: Taking taylor expansion of 1 in a 0.549 * [taylor]: Taking taylor expansion of 0 in e 0.549 * [taylor]: Taking taylor expansion of 0 in c 0.549 * [taylor]: Taking taylor expansion of 0 in c 0.549 * [taylor]: Taking taylor expansion of 0 in c 0.549 * [taylor]: Taking taylor expansion of 0 in c 0.549 * [taylor]: Taking taylor expansion of 0 in b 0.549 * [taylor]: Taking taylor expansion of 0 in b 0.549 * [taylor]: Taking taylor expansion of 0 in b 0.549 * [taylor]: Taking taylor expansion of 0 in b 0.549 * [taylor]: Taking taylor expansion of 0 in b 0.549 * [taylor]: Taking taylor expansion of 0 in b 0.549 * [taylor]: Taking taylor expansion of 0 in b 0.549 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.549 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of 0 in a 0.550 * [taylor]: Taking taylor expansion of 0 in a 0.550 * [taylor]: Taking taylor expansion of 0 in a 0.550 * [taylor]: Taking taylor expansion of 0 in a 0.550 * [taylor]: Taking taylor expansion of 0 in a 0.550 * [taylor]: Taking taylor expansion of 0 in a 0.550 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))))) in (d e c b a) around 0 0.550 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))))) in a 0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.550 * [taylor]: Taking taylor expansion of b in a 0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.550 * [taylor]: Taking taylor expansion of c in a 0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.550 * [taylor]: Taking taylor expansion of d in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.550 * [taylor]: Taking taylor expansion of e in a 0.550 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))))) in b 0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in b 0.550 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.550 * [taylor]: Taking taylor expansion of b in b 0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in b 0.551 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.551 * [taylor]: Taking taylor expansion of c in b 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in b 0.551 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.551 * [taylor]: Taking taylor expansion of a in b 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 0.551 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.551 * [taylor]: Taking taylor expansion of d in b 0.551 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.551 * [taylor]: Taking taylor expansion of e in b 0.551 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))))) in c 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in c 0.551 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.551 * [taylor]: Taking taylor expansion of b in c 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in c 0.551 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.551 * [taylor]: Taking taylor expansion of c in c 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in c 0.551 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.551 * [taylor]: Taking taylor expansion of a in c 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.551 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.551 * [taylor]: Taking taylor expansion of d in c 0.551 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.551 * [taylor]: Taking taylor expansion of e in c 0.551 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))))) in e 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in e 0.551 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.551 * [taylor]: Taking taylor expansion of b in e 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in e 0.551 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.551 * [taylor]: Taking taylor expansion of c in e 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in e 0.551 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.551 * [taylor]: Taking taylor expansion of a in e 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.551 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.551 * [taylor]: Taking taylor expansion of d in e 0.551 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.551 * [taylor]: Taking taylor expansion of e in e 0.551 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))))) in d 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in d 0.551 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.551 * [taylor]: Taking taylor expansion of b in d 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in d 0.551 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.551 * [taylor]: Taking taylor expansion of c in d 0.551 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in d 0.551 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.552 * [taylor]: Taking taylor expansion of a in d 0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.552 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.552 * [taylor]: Taking taylor expansion of d in d 0.552 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.552 * [taylor]: Taking taylor expansion of e in d 0.552 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))))) in d 0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))))) in d 0.552 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.552 * [taylor]: Taking taylor expansion of b in d 0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (+ (/ 1 d) (/ 1 e)))) in d 0.552 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.552 * [taylor]: Taking taylor expansion of c in d 0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (/ 1 e))) in d 0.552 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.552 * [taylor]: Taking taylor expansion of a in d 0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.552 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.552 * [taylor]: Taking taylor expansion of d in d 0.552 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.552 * [taylor]: Taking taylor expansion of e in d 0.552 * [taylor]: Taking taylor expansion of (neg 1) in e 0.552 * [taylor]: Taking taylor expansion of 1 in e 0.552 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 e) (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))))) in e 0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in e 0.552 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.552 * [taylor]: Taking taylor expansion of e in e 0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in e 0.553 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.553 * [taylor]: Taking taylor expansion of a in e 0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in e 0.553 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.553 * [taylor]: Taking taylor expansion of c in e 0.553 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.553 * [taylor]: Taking taylor expansion of b in e 0.553 * [taylor]: Taking taylor expansion of (neg 1) in c 0.553 * [taylor]: Taking taylor expansion of 1 in c 0.553 * [taylor]: Taking taylor expansion of (neg 1) in c 0.553 * [taylor]: Taking taylor expansion of 1 in c 0.553 * [taylor]: Taking taylor expansion of 0 in e 0.553 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.553 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.553 * [taylor]: Taking taylor expansion of b in c 0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.553 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.553 * [taylor]: Taking taylor expansion of c in c 0.553 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.553 * [taylor]: Taking taylor expansion of a in c 0.553 * [taylor]: Taking taylor expansion of (neg 1) in b 0.554 * [taylor]: Taking taylor expansion of 1 in b 0.554 * [taylor]: Taking taylor expansion of 0 in c 0.554 * [taylor]: Taking taylor expansion of (neg 1) in b 0.554 * [taylor]: Taking taylor expansion of 1 in b 0.554 * [taylor]: Taking taylor expansion of (neg 1) in b 0.554 * [taylor]: Taking taylor expansion of 1 in b 0.554 * [taylor]: Taking taylor expansion of 0 in e 0.554 * [taylor]: Taking taylor expansion of 0 in c 0.554 * [taylor]: Taking taylor expansion of 0 in c 0.554 * [taylor]: Taking taylor expansion of 0 in c 0.554 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.554 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.554 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.554 * [taylor]: Taking taylor expansion of a in b 0.554 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.554 * [taylor]: Taking taylor expansion of b in b 0.555 * [taylor]: Taking taylor expansion of (neg 1) in a 0.555 * [taylor]: Taking taylor expansion of 1 in a 0.555 * [taylor]: Taking taylor expansion of 0 in b 0.555 * [taylor]: Taking taylor expansion of 0 in b 0.555 * [taylor]: Taking taylor expansion of 0 in b 0.555 * [taylor]: Taking taylor expansion of (neg 1) in a 0.555 * [taylor]: Taking taylor expansion of 1 in a 0.555 * [taylor]: Taking taylor expansion of (neg 1) in a 0.555 * [taylor]: Taking taylor expansion of 1 in a 0.555 * [taylor]: Taking taylor expansion of (neg 1) in a 0.555 * [taylor]: Taking taylor expansion of 1 in a 0.555 * [taylor]: Taking taylor expansion of 0 in e 0.555 * [taylor]: Taking taylor expansion of 0 in c 0.555 * [taylor]: Taking taylor expansion of 0 in c 0.556 * [taylor]: Taking taylor expansion of 0 in c 0.556 * [taylor]: Taking taylor expansion of 0 in c 0.556 * [taylor]: Taking taylor expansion of 0 in b 0.556 * [taylor]: Taking taylor expansion of 0 in b 0.556 * [taylor]: Taking taylor expansion of 0 in b 0.556 * [taylor]: Taking taylor expansion of 0 in b 0.556 * [taylor]: Taking taylor expansion of 0 in b 0.556 * [taylor]: Taking taylor expansion of 0 in b 0.556 * [taylor]: Taking taylor expansion of 0 in b 0.556 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.556 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.556 * [taylor]: Taking taylor expansion of a in a 0.556 * [taylor]: Taking taylor expansion of 0 in a 0.556 * [taylor]: Taking taylor expansion of 0 in a 0.556 * [taylor]: Taking taylor expansion of 0 in a 0.556 * [taylor]: Taking taylor expansion of 0 in a 0.556 * [taylor]: Taking taylor expansion of 0 in a 0.556 * [taylor]: Taking taylor expansion of 0 in a 0.557 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.557 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.557 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.557 * [taylor]: Taking taylor expansion of a in a 0.557 * [taylor]: Taking taylor expansion of (+ b c) in a 0.557 * [taylor]: Taking taylor expansion of b in a 0.557 * [taylor]: Taking taylor expansion of c in a 0.557 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.557 * [taylor]: Taking taylor expansion of a in b 0.557 * [taylor]: Taking taylor expansion of (+ b c) in b 0.557 * [taylor]: Taking taylor expansion of b in b 0.557 * [taylor]: Taking taylor expansion of c in b 0.557 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.557 * [taylor]: Taking taylor expansion of a in c 0.557 * [taylor]: Taking taylor expansion of (+ b c) in c 0.557 * [taylor]: Taking taylor expansion of b in c 0.557 * [taylor]: Taking taylor expansion of c in c 0.557 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.557 * [taylor]: Taking taylor expansion of a in c 0.557 * [taylor]: Taking taylor expansion of (+ b c) in c 0.557 * [taylor]: Taking taylor expansion of b in c 0.557 * [taylor]: Taking taylor expansion of c in c 0.557 * [taylor]: Taking taylor expansion of (+ a b) in b 0.557 * [taylor]: Taking taylor expansion of a in b 0.557 * [taylor]: Taking taylor expansion of b in b 0.557 * [taylor]: Taking taylor expansion of a in a 0.557 * [taylor]: Taking taylor expansion of 1 in b 0.557 * [taylor]: Taking taylor expansion of 1 in a 0.557 * [taylor]: Taking taylor expansion of 1 in a 0.557 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in (c b a) around 0 0.557 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in a 0.557 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.557 * [taylor]: Taking taylor expansion of a in a 0.557 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a 0.557 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.558 * [taylor]: Taking taylor expansion of c in a 0.558 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.558 * [taylor]: Taking taylor expansion of b in a 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in b 0.558 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.558 * [taylor]: Taking taylor expansion of a in b 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b 0.558 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.558 * [taylor]: Taking taylor expansion of c in b 0.558 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.558 * [taylor]: Taking taylor expansion of b in b 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.558 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.558 * [taylor]: Taking taylor expansion of a in c 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.558 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.558 * [taylor]: Taking taylor expansion of c in c 0.558 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.558 * [taylor]: Taking taylor expansion of b in c 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.558 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.558 * [taylor]: Taking taylor expansion of a in c 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.558 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.558 * [taylor]: Taking taylor expansion of c in c 0.558 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.558 * [taylor]: Taking taylor expansion of b in c 0.558 * [taylor]: Taking taylor expansion of 1 in b 0.560 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.560 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.560 * [taylor]: Taking taylor expansion of b in b 0.560 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.560 * [taylor]: Taking taylor expansion of a in b 0.560 * [taylor]: Taking taylor expansion of 1 in a 0.560 * [taylor]: Taking taylor expansion of 1 in a 0.560 * [taylor]: Taking taylor expansion of 0 in b 0.560 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.560 * [taylor]: Taking taylor expansion of a in a 0.560 * [taylor]: Taking taylor expansion of 0 in a 0.561 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in (c b a) around 0 0.561 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in a 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in a 0.561 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.561 * [taylor]: Taking taylor expansion of a in a 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a 0.561 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.561 * [taylor]: Taking taylor expansion of c in a 0.561 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.561 * [taylor]: Taking taylor expansion of b in a 0.561 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in b 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in b 0.561 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.561 * [taylor]: Taking taylor expansion of a in b 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b 0.561 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.561 * [taylor]: Taking taylor expansion of c in b 0.561 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.561 * [taylor]: Taking taylor expansion of b in b 0.561 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.561 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.561 * [taylor]: Taking taylor expansion of a in c 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.561 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.561 * [taylor]: Taking taylor expansion of c in c 0.561 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.561 * [taylor]: Taking taylor expansion of b in c 0.561 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.561 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.561 * [taylor]: Taking taylor expansion of a in c 0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.561 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.561 * [taylor]: Taking taylor expansion of c in c 0.561 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.561 * [taylor]: Taking taylor expansion of b in c 0.561 * [taylor]: Taking taylor expansion of (neg 1) in b 0.561 * [taylor]: Taking taylor expansion of 1 in b 0.562 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b 0.562 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.562 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.562 * [taylor]: Taking taylor expansion of b in b 0.562 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.562 * [taylor]: Taking taylor expansion of a in b 0.562 * [taylor]: Taking taylor expansion of (neg 1) in a 0.562 * [taylor]: Taking taylor expansion of 1 in a 0.562 * [taylor]: Taking taylor expansion of (neg 1) in a 0.562 * [taylor]: Taking taylor expansion of 1 in a 0.562 * [taylor]: Taking taylor expansion of 0 in b 0.562 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.562 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.562 * [taylor]: Taking taylor expansion of a in a 0.562 * [taylor]: Taking taylor expansion of 0 in a 0.562 * * * [progress]: simplifying candidates 0.563 * [simplify]: Simplifying using # : (* (* (exp d) (exp e)) (* (* (exp c) (exp b)) (exp a))) (* (* (exp d) (exp e)) (* (exp (+ c b)) (exp a))) (* (* (exp d) (exp e)) (exp (+ (+ c b) a))) (* (exp (+ d e)) (* (* (exp c) (exp b)) (exp a))) (* (exp (+ d e)) (* (exp (+ c b)) (exp a))) (* (exp (+ d e)) (exp (+ (+ 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))) (* (* (+ (+ d e) (+ (+ c b) a)) (+ (+ d e) (+ (+ c b) a))) (+ (+ d e) (+ (+ c b) a))) (sqrt (+ (+ d e) (+ (+ c b) a))) (sqrt (+ (+ d e) (+ (+ c b) a))) (+ (* (+ (pow d 3) (pow e 3)) (+ (* (+ c b) (+ c b)) (- (* a a) (* (+ c b) a)))) (* (+ (* d d) (- (* e e) (* d e))) (+ (pow (+ c b) 3) (pow a 3)))) (* (+ (* d d) (- (* e e) (* d e))) (+ (* (+ c b) (+ c b)) (- (* a a) (* (+ c b) a)))) (+ (* (+ (pow d 3) (pow e 3)) (- (+ c b) a)) (* (+ (* d d) (- (* e e) (* d e))) (- (* (+ c b) (+ c b)) (* a a)))) (* (+ (* d d) (- (* e e) (* d e))) (- (+ c b) a)) (+ (* (- (* d d) (* e e)) (+ (* (+ c b) (+ c b)) (- (* a a) (* (+ c b) a)))) (* (- d e) (+ (pow (+ c b) 3) (pow a 3)))) (* (- d e) (+ (* (+ c b) (+ c b)) (- (* a a) (* (+ c b) a)))) (+ (* (- (* d d) (* e e)) (- (+ c b) a)) (* (- d e) (- (* (+ c b) (+ c b)) (* a a)))) (* (- d e) (- (+ c b) a)) (+ (pow (+ d e) 3) (pow (+ (+ c b) a) 3)) (+ (* (+ d e) (+ d e)) (- (* (+ (+ c b) a) (+ (+ c b) a)) (* (+ d e) (+ (+ c b) a)))) (- (* (+ d e) (+ d e)) (* (+ (+ c b) a) (+ (+ c b) a))) (- (+ d e) (+ (+ c b) a)) (+ (+ d e) (+ (+ c b) a)) (+ (+ d e) (+ (+ c b) a)) (+ (+ d e) (+ (+ c b) a)) (+ (+ d e) (+ (+ c b) a)) (+ (+ d e) (+ (+ c b) a)) (+ (+ d e) (+ (+ c b) a)) (+ (+ d e) (+ c b)) (+ e (+ (+ c b) a)) (* (* (exp c) (exp b)) (exp a)) (* (exp (+ c b)) (exp 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 b) 3) (pow a 3)) (+ (* (+ c b) (+ c b)) (- (* a a) (* (+ c b) a))) (- (* (+ c b) (+ c b)) (* a a)) (- (+ c b) a) (+ (+ c b) a) (+ (+ c b) a) (+ b a) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) 0.598 * * [simplify]: iteration 0 : 4672 enodes (cost 601 ) 0.598 * * [simplify]: iteration 1 : 4672 enodes (cost 601 ) 0.600 * [simplify]: Simplified to: (exp (+ d (+ e (+ c (+ b a))))) (exp (+ d (+ e (+ c (+ b a))))) (exp (+ d (+ e (+ c (+ b a))))) (exp (+ d (+ e (+ c (+ b a))))) (exp (+ d (+ e (+ 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 3) (pow e 3)) (+ (* a a) (* (+ c b) (+ c (- b a))))) (* (+ (* d d) (* e (- e d))) (+ (pow (+ c b) 3) (pow a 3)))) (* (+ (* a a) (* (+ c b) (+ c (- b a)))) (+ (* d d) (* e (- e d)))) (* (+ c (- b a)) (+ (+ (pow d 3) (pow e 3)) (* (+ c (+ b a)) (+ (* d d) (* e (- e d)))))) (* (+ (* d d) (* e (- e d))) (+ c (- b a))) (* (- d e) (+ (* (+ d e) (+ (* a a) (* (+ c b) (+ c (- b a))))) (+ (pow (+ c b) 3) (pow a 3)))) (* (+ (* a a) (* (+ c b) (+ c (- b a)))) (- d e)) (* (* (+ c (- b a)) (- d e)) (+ d (+ e (+ c (+ b a))))) (* (+ c (- b a)) (- d e)) (+ (pow (+ d e) 3) (pow (+ c (+ b a)) 3)) (+ (* (+ d e) (+ d e)) (* (+ c (+ b a)) (+ c (+ b (- a (+ d e)))))) (- (* (+ d e) (+ d e)) (* (+ c (+ b a)) (+ c (+ b a)))) (+ d (- e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c (+ b a)))) (+ d (+ e (+ c b))) (+ e (+ 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 b) 3) (pow a 3)) (+ (* a a) (* (+ c b) (+ c (- b a)))) (- (* (+ c b) (+ c b)) (* a a)) (+ c (- b a)) (+ c (+ b a)) (+ c (+ b a)) (+ b a) (+ d (+ e c)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) 0.600 * * * [progress]: adding candidates to table 0.634 * [progress]: [Phase 3 of 3] Extracting. 0.634 * * [regime]: Finding splitpoints for: (# # # # #) 0.635 * * * [regime-changes]: Trying 9 branch expressions: ((+ e d) (+ (+ e d) c) (+ (+ (+ e d) c) b) (+ (+ (+ (+ e d) c) b) a) e d c b a) 0.635 * * * * [regimes]: Trying to branch on (+ e d) from (# # # # #) 0.705 * * * * [regimes]: Trying to branch on (+ (+ e d) c) from (# # # # #) 0.767 * * * * [regimes]: Trying to branch on (+ (+ (+ e d) c) b) from (# # # # #) 0.827 * * * * [regimes]: Trying to branch on (+ (+ (+ (+ e d) c) b) a) from (# # # # #) 0.888 * * * * [regimes]: Trying to branch on e from (# # # # #) 0.947 * * * * [regimes]: Trying to branch on d from (# # # # #) 1.008 * * * * [regimes]: Trying to branch on c from (# # # # #) 1.067 * * * * [regimes]: Trying to branch on b from (# # # # #) 1.126 * * * * [regimes]: Trying to branch on a from (# # # # #) 1.186 * * * [regime]: Found split indices: #