0.026 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (+ e d) c) b) a)
0.032 * * [simplify]: iteration  0 :  185  enodes  (cost  9 )
0.032 * * [simplify]: iteration  1 :  185  enodes  (cost  9 )
0.032 * [simplify]: Simplified to:
   (+ e (+ d (+ c (+ b a))))
0.040 * * [progress]: iteration 1 / 4
0.040 * * * [progress]: picking best candidate
0.046 * * * * [pick]: Picked  #<alt (λ (a b c d e) (+ e (+ d (+ c (+ b a)))))>
0.046 * * * [progress]: localizing error
0.052 * * * [progress]: generating rewritten candidates
0.052 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.062 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.070 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
0.077 * * * [progress]: generating series expansions
0.077 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.077 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0
0.077 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a
0.077 * [taylor]: Taking taylor expansion of d in a
0.077 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a
0.077 * [taylor]: Taking taylor expansion of e in a
0.077 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a
0.077 * [taylor]: Taking taylor expansion of b in a
0.077 * [taylor]: Taking taylor expansion of (+ a c) in a
0.077 * [taylor]: Taking taylor expansion of a in a
0.077 * [taylor]: Taking taylor expansion of c in a
0.077 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b
0.077 * [taylor]: Taking taylor expansion of d in b
0.077 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b
0.077 * [taylor]: Taking taylor expansion of e in b
0.077 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b
0.077 * [taylor]: Taking taylor expansion of b in b
0.077 * [taylor]: Taking taylor expansion of (+ a c) in b
0.077 * [taylor]: Taking taylor expansion of a in b
0.077 * [taylor]: Taking taylor expansion of c in b
0.077 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c
0.077 * [taylor]: Taking taylor expansion of d in c
0.078 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c
0.078 * [taylor]: Taking taylor expansion of e in c
0.078 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c
0.078 * [taylor]: Taking taylor expansion of b in c
0.078 * [taylor]: Taking taylor expansion of (+ a c) in c
0.078 * [taylor]: Taking taylor expansion of a in c
0.078 * [taylor]: Taking taylor expansion of c in c
0.078 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d
0.078 * [taylor]: Taking taylor expansion of d in d
0.078 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d
0.078 * [taylor]: Taking taylor expansion of e in d
0.078 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d
0.078 * [taylor]: Taking taylor expansion of b in d
0.078 * [taylor]: Taking taylor expansion of (+ a c) in d
0.078 * [taylor]: Taking taylor expansion of a in d
0.078 * [taylor]: Taking taylor expansion of c in d
0.078 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e
0.078 * [taylor]: Taking taylor expansion of d in e
0.078 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e
0.078 * [taylor]: Taking taylor expansion of e in e
0.078 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e
0.078 * [taylor]: Taking taylor expansion of b in e
0.078 * [taylor]: Taking taylor expansion of (+ a c) in e
0.078 * [taylor]: Taking taylor expansion of a in e
0.078 * [taylor]: Taking taylor expansion of c in e
0.078 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e
0.078 * [taylor]: Taking taylor expansion of d in e
0.078 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e
0.078 * [taylor]: Taking taylor expansion of e in e
0.078 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e
0.078 * [taylor]: Taking taylor expansion of b in e
0.078 * [taylor]: Taking taylor expansion of (+ a c) in e
0.078 * [taylor]: Taking taylor expansion of a in e
0.078 * [taylor]: Taking taylor expansion of c in e
0.078 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.078 * [taylor]: Taking taylor expansion of d in d
0.078 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.078 * [taylor]: Taking taylor expansion of a in d
0.078 * [taylor]: Taking taylor expansion of (+ b c) in d
0.078 * [taylor]: Taking taylor expansion of b in d
0.078 * [taylor]: Taking taylor expansion of c in d
0.078 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c
0.078 * [taylor]: Taking taylor expansion of a in c
0.078 * [taylor]: Taking taylor expansion of (+ c b) in c
0.078 * [taylor]: Taking taylor expansion of c in c
0.078 * [taylor]: Taking taylor expansion of b in c
0.078 * [taylor]: Taking taylor expansion of (+ a b) in b
0.079 * [taylor]: Taking taylor expansion of a in b
0.079 * [taylor]: Taking taylor expansion of b in b
0.079 * [taylor]: Taking taylor expansion of a in a
0.079 * [taylor]: Taking taylor expansion of 1 in d
0.079 * [taylor]: Taking taylor expansion of 1 in c
0.079 * [taylor]: Taking taylor expansion of 1 in b
0.079 * [taylor]: Taking taylor expansion of 1 in a
0.079 * [taylor]: Taking taylor expansion of 1 in c
0.079 * [taylor]: Taking taylor expansion of 1 in b
0.079 * [taylor]: Taking taylor expansion of 1 in a
0.079 * [taylor]: Taking taylor expansion of 1 in b
0.079 * [taylor]: Taking taylor expansion of 1 in a
0.079 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in (e d c b a) around 0
0.079 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a
0.080 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.080 * [taylor]: Taking taylor expansion of b in a
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a
0.080 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.080 * [taylor]: Taking taylor expansion of d in a
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a
0.080 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.080 * [taylor]: Taking taylor expansion of c in a
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a
0.080 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.080 * [taylor]: Taking taylor expansion of a in a
0.080 * [taylor]: Taking taylor expansion of (/ 1 e) in a
0.080 * [taylor]: Taking taylor expansion of e in a
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b
0.080 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.080 * [taylor]: Taking taylor expansion of b in b
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b
0.080 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.080 * [taylor]: Taking taylor expansion of d in b
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b
0.080 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.080 * [taylor]: Taking taylor expansion of c in b
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b
0.080 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.080 * [taylor]: Taking taylor expansion of a in b
0.080 * [taylor]: Taking taylor expansion of (/ 1 e) in b
0.080 * [taylor]: Taking taylor expansion of e in b
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c
0.080 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.080 * [taylor]: Taking taylor expansion of b in c
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c
0.080 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.080 * [taylor]: Taking taylor expansion of d in c
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c
0.080 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.080 * [taylor]: Taking taylor expansion of c in c
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c
0.080 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.080 * [taylor]: Taking taylor expansion of a in c
0.080 * [taylor]: Taking taylor expansion of (/ 1 e) in c
0.080 * [taylor]: Taking taylor expansion of e in c
0.080 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d
0.080 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.080 * [taylor]: Taking taylor expansion of b in d
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d
0.081 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.081 * [taylor]: Taking taylor expansion of d in d
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d
0.081 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.081 * [taylor]: Taking taylor expansion of c in d
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d
0.081 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.081 * [taylor]: Taking taylor expansion of a in d
0.081 * [taylor]: Taking taylor expansion of (/ 1 e) in d
0.081 * [taylor]: Taking taylor expansion of e in d
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e
0.081 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.081 * [taylor]: Taking taylor expansion of b in e
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e
0.081 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.081 * [taylor]: Taking taylor expansion of d in e
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e
0.081 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.081 * [taylor]: Taking taylor expansion of c in e
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e
0.081 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.081 * [taylor]: Taking taylor expansion of a in e
0.081 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.081 * [taylor]: Taking taylor expansion of e in e
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e
0.081 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.081 * [taylor]: Taking taylor expansion of b in e
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e
0.081 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.081 * [taylor]: Taking taylor expansion of d in e
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e
0.081 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.081 * [taylor]: Taking taylor expansion of c in e
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e
0.081 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.081 * [taylor]: Taking taylor expansion of a in e
0.081 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.081 * [taylor]: Taking taylor expansion of e in e
0.082 * [taylor]: Taking taylor expansion of 1 in d
0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
0.082 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.082 * [taylor]: Taking taylor expansion of a in d
0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.082 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.082 * [taylor]: Taking taylor expansion of c in d
0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.082 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.082 * [taylor]: Taking taylor expansion of d in d
0.082 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.082 * [taylor]: Taking taylor expansion of b in d
0.082 * [taylor]: Taking taylor expansion of 1 in c
0.082 * [taylor]: Taking taylor expansion of 1 in c
0.082 * [taylor]: Taking taylor expansion of 0 in d
0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.083 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.083 * [taylor]: Taking taylor expansion of b in c
0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.083 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.083 * [taylor]: Taking taylor expansion of c in c
0.083 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.083 * [taylor]: Taking taylor expansion of a in c
0.083 * [taylor]: Taking taylor expansion of 1 in b
0.083 * [taylor]: Taking taylor expansion of 0 in c
0.083 * [taylor]: Taking taylor expansion of 1 in b
0.083 * [taylor]: Taking taylor expansion of 1 in b
0.083 * [taylor]: Taking taylor expansion of 0 in d
0.083 * [taylor]: Taking taylor expansion of 0 in c
0.083 * [taylor]: Taking taylor expansion of 0 in c
0.083 * [taylor]: Taking taylor expansion of 0 in c
0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.084 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.084 * [taylor]: Taking taylor expansion of a in b
0.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 in a
0.084 * [taylor]: Taking taylor expansion of 0 in b
0.084 * [taylor]: Taking taylor expansion of 0 in b
0.084 * [taylor]: Taking taylor expansion of 0 in b
0.084 * [taylor]: Taking taylor expansion of 1 in a
0.084 * [taylor]: Taking taylor expansion of 1 in a
0.084 * [taylor]: Taking taylor expansion of 1 in a
0.084 * [taylor]: Taking taylor expansion of 0 in d
0.084 * [taylor]: Taking taylor expansion of 0 in c
0.084 * [taylor]: Taking taylor expansion of 0 in c
0.085 * [taylor]: Taking taylor expansion of 0 in c
0.085 * [taylor]: Taking taylor expansion of 0 in c
0.085 * [taylor]: Taking taylor expansion of 0 in b
0.085 * [taylor]: Taking taylor expansion of 0 in b
0.085 * [taylor]: Taking taylor expansion of 0 in b
0.085 * [taylor]: Taking taylor expansion of 0 in b
0.085 * [taylor]: Taking taylor expansion of 0 in b
0.085 * [taylor]: Taking taylor expansion of 0 in b
0.085 * [taylor]: Taking taylor expansion of 0 in b
0.085 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.085 * [taylor]: Taking taylor expansion of a in a
0.085 * [taylor]: Taking taylor expansion of 0 in a
0.085 * [taylor]: Taking taylor expansion of 0 in a
0.085 * [taylor]: Taking taylor expansion of 0 in a
0.085 * [taylor]: Taking taylor expansion of 0 in a
0.085 * [taylor]: Taking taylor expansion of 0 in a
0.085 * [taylor]: Taking taylor expansion of 0 in a
0.086 * [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.086 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in a
0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a
0.086 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.086 * [taylor]: Taking taylor expansion of b in a
0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a
0.086 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.086 * [taylor]: Taking taylor expansion of d in a
0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a
0.086 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.086 * [taylor]: Taking taylor expansion of c in a
0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a
0.086 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.086 * [taylor]: Taking taylor expansion of a in a
0.086 * [taylor]: Taking taylor expansion of (/ 1 e) in a
0.086 * [taylor]: Taking taylor expansion of e in a
0.086 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in b
0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) 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 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b
0.086 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.086 * [taylor]: Taking taylor expansion of d in b
0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b
0.086 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.086 * [taylor]: Taking taylor expansion of c in b
0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) 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 e) in b
0.086 * [taylor]: Taking taylor expansion of e in b
0.086 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in c
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c
0.087 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.087 * [taylor]: Taking taylor expansion of b in c
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c
0.087 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.087 * [taylor]: Taking taylor expansion of d in c
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c
0.087 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.087 * [taylor]: Taking taylor expansion of c in c
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c
0.087 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.087 * [taylor]: Taking taylor expansion of a in c
0.087 * [taylor]: Taking taylor expansion of (/ 1 e) in c
0.087 * [taylor]: Taking taylor expansion of e in c
0.087 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in d
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d
0.087 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.087 * [taylor]: Taking taylor expansion of b in d
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d
0.087 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.087 * [taylor]: Taking taylor expansion of d in d
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d
0.087 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.087 * [taylor]: Taking taylor expansion of c in d
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d
0.087 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.087 * [taylor]: Taking taylor expansion of a in d
0.087 * [taylor]: Taking taylor expansion of (/ 1 e) in d
0.087 * [taylor]: Taking taylor expansion of e in d
0.087 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e
0.087 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.087 * [taylor]: Taking taylor expansion of b in e
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e
0.087 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.087 * [taylor]: Taking taylor expansion of d in e
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e
0.087 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.087 * [taylor]: Taking taylor expansion of c in e
0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e
0.087 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.087 * [taylor]: Taking taylor expansion of a in e
0.087 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.087 * [taylor]: Taking taylor expansion of e in e
0.088 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e
0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e
0.088 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.088 * [taylor]: Taking taylor expansion of b in e
0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e
0.088 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.088 * [taylor]: Taking taylor expansion of d in e
0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e
0.088 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.088 * [taylor]: Taking taylor expansion of c in e
0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e
0.088 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.088 * [taylor]: Taking taylor expansion of a in e
0.088 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.088 * [taylor]: Taking taylor expansion of e in e
0.088 * [taylor]: Taking taylor expansion of (neg 1) in d
0.088 * [taylor]: Taking taylor expansion of 1 in d
0.088 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in d
0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 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 d) (+ (/ 1 c) (/ 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 c) (/ 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.089 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.089 * [taylor]: Taking taylor expansion of b in d
0.089 * [taylor]: Taking taylor expansion of (neg 1) in c
0.089 * [taylor]: Taking taylor expansion of 1 in c
0.089 * [taylor]: Taking taylor expansion of (neg 1) in c
0.089 * [taylor]: Taking taylor expansion of 1 in c
0.089 * [taylor]: Taking taylor expansion of 0 in d
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 0 in c
0.089 * [taylor]: Taking taylor expansion of (neg 1) in b
0.090 * [taylor]: Taking taylor expansion of 1 in b
0.090 * [taylor]: Taking taylor expansion of (neg 1) in b
0.090 * [taylor]: Taking taylor expansion of 1 in b
0.090 * [taylor]: Taking taylor expansion of 0 in d
0.090 * [taylor]: Taking taylor expansion of 0 in c
0.090 * [taylor]: Taking taylor expansion of 0 in c
0.090 * [taylor]: Taking taylor expansion of 0 in c
0.090 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b
0.090 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.090 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.090 * [taylor]: Taking taylor expansion of a in b
0.090 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.090 * [taylor]: Taking taylor expansion of b in b
0.090 * [taylor]: Taking taylor expansion of (neg 1) in a
0.090 * [taylor]: Taking taylor expansion of 1 in a
0.091 * [taylor]: Taking taylor expansion of 0 in b
0.091 * [taylor]: Taking taylor expansion of 0 in b
0.091 * [taylor]: Taking taylor expansion of 0 in b
0.091 * [taylor]: Taking taylor expansion of (neg 1) in a
0.091 * [taylor]: Taking taylor expansion of 1 in a
0.091 * [taylor]: Taking taylor expansion of (neg 1) in a
0.091 * [taylor]: Taking taylor expansion of 1 in a
0.091 * [taylor]: Taking taylor expansion of (neg 1) in a
0.091 * [taylor]: Taking taylor expansion of 1 in a
0.091 * [taylor]: Taking taylor expansion of 0 in d
0.091 * [taylor]: Taking taylor expansion of 0 in c
0.091 * [taylor]: Taking taylor expansion of 0 in c
0.091 * [taylor]: Taking taylor expansion of 0 in c
0.092 * [taylor]: Taking taylor expansion of 0 in c
0.092 * [taylor]: Taking taylor expansion of 0 in b
0.092 * [taylor]: Taking taylor expansion of 0 in b
0.092 * [taylor]: Taking taylor expansion of 0 in b
0.092 * [taylor]: Taking taylor expansion of 0 in b
0.092 * [taylor]: Taking taylor expansion of 0 in b
0.092 * [taylor]: Taking taylor expansion of 0 in b
0.092 * [taylor]: Taking taylor expansion of 0 in b
0.092 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
0.092 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.092 * [taylor]: Taking taylor expansion of a in a
0.092 * [taylor]: Taking taylor expansion of 0 in a
0.092 * [taylor]: Taking taylor expansion of 0 in a
0.092 * [taylor]: Taking taylor expansion of 0 in a
0.092 * [taylor]: Taking taylor expansion of 0 in a
0.092 * [taylor]: Taking taylor expansion of 0 in a
0.092 * [taylor]: Taking taylor expansion of 0 in a
0.093 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.093 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0
0.093 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.093 * [taylor]: Taking taylor expansion of d in a
0.093 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.093 * [taylor]: Taking taylor expansion of a in a
0.093 * [taylor]: Taking taylor expansion of (+ b c) in a
0.093 * [taylor]: Taking taylor expansion of b in a
0.093 * [taylor]: Taking taylor expansion of c in a
0.093 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
0.093 * [taylor]: Taking taylor expansion of d in b
0.093 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
0.093 * [taylor]: Taking taylor expansion of a in b
0.093 * [taylor]: Taking taylor expansion of (+ b c) in b
0.093 * [taylor]: Taking taylor expansion of b in b
0.093 * [taylor]: Taking taylor expansion of c in b
0.093 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
0.093 * [taylor]: Taking taylor expansion of d in c
0.093 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.093 * [taylor]: Taking taylor expansion of a in c
0.093 * [taylor]: Taking taylor expansion of (+ b c) in c
0.093 * [taylor]: Taking taylor expansion of b in c
0.093 * [taylor]: Taking taylor expansion of c in c
0.093 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.093 * [taylor]: Taking taylor expansion of d in d
0.093 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.093 * [taylor]: Taking taylor expansion of a in d
0.093 * [taylor]: Taking taylor expansion of (+ b c) in d
0.093 * [taylor]: Taking taylor expansion of b in d
0.093 * [taylor]: Taking taylor expansion of c in d
0.093 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.093 * [taylor]: Taking taylor expansion of d in d
0.093 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.093 * [taylor]: Taking taylor expansion of a in d
0.093 * [taylor]: Taking taylor expansion of (+ b c) in d
0.093 * [taylor]: Taking taylor expansion of b in d
0.093 * [taylor]: Taking taylor expansion of c in d
0.093 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c
0.093 * [taylor]: Taking taylor expansion of a in c
0.093 * [taylor]: Taking taylor expansion of (+ c b) in c
0.093 * [taylor]: Taking taylor expansion of c in c
0.093 * [taylor]: Taking taylor expansion of b in c
0.094 * [taylor]: Taking taylor expansion of (+ a b) in b
0.094 * [taylor]: Taking taylor expansion of a in b
0.094 * [taylor]: Taking taylor expansion of b in b
0.094 * [taylor]: Taking taylor expansion of a in a
0.094 * [taylor]: Taking taylor expansion of 1 in c
0.094 * [taylor]: Taking taylor expansion of 1 in b
0.094 * [taylor]: Taking taylor expansion of 1 in a
0.094 * [taylor]: Taking taylor expansion of 1 in b
0.094 * [taylor]: Taking taylor expansion of 1 in a
0.094 * [taylor]: Taking taylor expansion of 1 in a
0.094 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a
0.094 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.094 * [taylor]: Taking taylor expansion of a in a
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a
0.094 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.094 * [taylor]: Taking taylor expansion of c in a
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a
0.094 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.094 * [taylor]: Taking taylor expansion of d in a
0.094 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.094 * [taylor]: Taking taylor expansion of b in a
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 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 c) (+ (/ 1 d) (/ 1 b))) in b
0.094 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.094 * [taylor]: Taking taylor expansion of c in b
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.094 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.094 * [taylor]: Taking taylor expansion of d in b
0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.095 * [taylor]: Taking taylor expansion of b in b
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c
0.095 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.095 * [taylor]: Taking taylor expansion of a in c
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
0.095 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.095 * [taylor]: Taking taylor expansion of c in c
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.095 * [taylor]: Taking taylor expansion of d in c
0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.095 * [taylor]: Taking taylor expansion of b in c
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.095 * [taylor]: Taking taylor expansion of a in d
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.095 * [taylor]: Taking taylor expansion of c in d
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.095 * [taylor]: Taking taylor expansion of d in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.095 * [taylor]: Taking taylor expansion of b in d
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.095 * [taylor]: Taking taylor expansion of a in d
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.095 * [taylor]: Taking taylor expansion of c in d
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.095 * [taylor]: Taking taylor expansion of d in d
0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.095 * [taylor]: Taking taylor expansion of b in d
0.095 * [taylor]: Taking taylor expansion of 1 in c
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.096 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.096 * [taylor]: Taking taylor expansion of b in c
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.096 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.096 * [taylor]: Taking taylor expansion of c in c
0.096 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.096 * [taylor]: Taking taylor expansion of a in c
0.096 * [taylor]: Taking taylor expansion of 1 in b
0.096 * [taylor]: Taking taylor expansion of 1 in b
0.096 * [taylor]: Taking taylor expansion of 0 in c
0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.096 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.096 * [taylor]: Taking taylor expansion of a in b
0.096 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.096 * [taylor]: Taking taylor expansion of b in b
0.096 * [taylor]: Taking taylor expansion of 1 in a
0.096 * [taylor]: Taking taylor expansion of 0 in b
0.096 * [taylor]: Taking taylor expansion of 1 in a
0.096 * [taylor]: Taking taylor expansion of 1 in a
0.097 * [taylor]: Taking taylor expansion of 0 in c
0.097 * [taylor]: Taking taylor expansion of 0 in b
0.097 * [taylor]: Taking taylor expansion of 0 in b
0.097 * [taylor]: Taking taylor expansion of 0 in b
0.097 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.097 * [taylor]: Taking taylor expansion of a in a
0.097 * [taylor]: Taking taylor expansion of 0 in a
0.097 * [taylor]: Taking taylor expansion of 0 in a
0.097 * [taylor]: Taking taylor expansion of 0 in a
0.097 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d c b a) around 0
0.097 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a
0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a
0.097 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.097 * [taylor]: Taking taylor expansion of a in a
0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) 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 d) (/ 1 b)) 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 b) in a
0.098 * [taylor]: Taking taylor expansion of b in a
0.098 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.098 * [taylor]: Taking taylor expansion of a in b
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.098 * [taylor]: Taking taylor expansion of c in b
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.098 * [taylor]: Taking taylor expansion of d in b
0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.098 * [taylor]: Taking taylor expansion of b in b
0.098 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c
0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.098 * [taylor]: Taking taylor expansion of a in c
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.098 * [taylor]: Taking taylor expansion of c in c
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.098 * [taylor]: Taking taylor expansion of d in c
0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.098 * [taylor]: Taking taylor expansion of b in c
0.098 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.098 * [taylor]: Taking taylor expansion of a in d
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.098 * [taylor]: Taking taylor expansion of c in d
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.098 * [taylor]: Taking taylor expansion of d in d
0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.098 * [taylor]: Taking taylor expansion of b in d
0.098 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.098 * [taylor]: Taking taylor expansion of a in d
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.098 * [taylor]: Taking taylor expansion of c in d
0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.099 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.099 * [taylor]: Taking taylor expansion of d in d
0.099 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.099 * [taylor]: Taking taylor expansion of b in d
0.099 * [taylor]: Taking taylor expansion of (neg 1) in c
0.099 * [taylor]: Taking taylor expansion of 1 in c
0.099 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c
0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.099 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.099 * [taylor]: Taking taylor expansion of b in c
0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.099 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.099 * [taylor]: Taking taylor expansion of c in c
0.099 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.099 * [taylor]: Taking taylor expansion of a in c
0.099 * [taylor]: Taking taylor expansion of (neg 1) in b
0.099 * [taylor]: Taking taylor expansion of 1 in b
0.099 * [taylor]: Taking taylor expansion of (neg 1) in b
0.099 * [taylor]: Taking taylor expansion of 1 in b
0.099 * [taylor]: Taking taylor expansion of 0 in c
0.100 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b
0.100 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.100 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.100 * [taylor]: Taking taylor expansion of a in b
0.100 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.100 * [taylor]: Taking taylor expansion of b in b
0.100 * [taylor]: Taking taylor expansion of (neg 1) in a
0.100 * [taylor]: Taking taylor expansion of 1 in a
0.100 * [taylor]: Taking taylor expansion of 0 in b
0.100 * [taylor]: Taking taylor expansion of (neg 1) in a
0.100 * [taylor]: Taking taylor expansion of 1 in a
0.100 * [taylor]: Taking taylor expansion of (neg 1) in a
0.100 * [taylor]: Taking taylor expansion of 1 in a
0.100 * [taylor]: Taking taylor expansion of 0 in c
0.100 * [taylor]: Taking taylor expansion of 0 in b
0.100 * [taylor]: Taking taylor expansion of 0 in b
0.100 * [taylor]: Taking taylor expansion of 0 in b
0.100 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
0.100 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.100 * [taylor]: Taking taylor expansion of a in a
0.101 * [taylor]: Taking taylor expansion of 0 in a
0.101 * [taylor]: Taking taylor expansion of 0 in a
0.101 * [taylor]: Taking taylor expansion of 0 in a
0.101 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
0.101 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0
0.101 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.101 * [taylor]: Taking taylor expansion of a in a
0.101 * [taylor]: Taking taylor expansion of (+ b c) in a
0.101 * [taylor]: Taking taylor expansion of b in a
0.101 * [taylor]: Taking taylor expansion of c in a
0.101 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
0.101 * [taylor]: Taking taylor expansion of a in b
0.101 * [taylor]: Taking taylor expansion of (+ b c) in b
0.101 * [taylor]: Taking taylor expansion of b in b
0.101 * [taylor]: Taking taylor expansion of c in b
0.101 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.101 * [taylor]: Taking taylor expansion of a in c
0.101 * [taylor]: Taking taylor expansion of (+ b c) in c
0.101 * [taylor]: Taking taylor expansion of b in c
0.101 * [taylor]: Taking taylor expansion of c in c
0.101 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.101 * [taylor]: Taking taylor expansion of a in c
0.101 * [taylor]: Taking taylor expansion of (+ b c) in c
0.101 * [taylor]: Taking taylor expansion of b in c
0.101 * [taylor]: Taking taylor expansion of c in c
0.101 * [taylor]: Taking taylor expansion of (+ a b) in b
0.101 * [taylor]: Taking taylor expansion of a in b
0.101 * [taylor]: Taking taylor expansion of b in b
0.101 * [taylor]: Taking taylor expansion of a in a
0.101 * [taylor]: Taking taylor expansion of 1 in b
0.102 * [taylor]: Taking taylor expansion of 1 in a
0.102 * [taylor]: Taking taylor expansion of 1 in a
0.102 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a
0.102 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.102 * [taylor]: Taking taylor expansion of b in a
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.102 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.102 * [taylor]: Taking taylor expansion of c in a
0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.102 * [taylor]: Taking taylor expansion of a in a
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b
0.102 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.102 * [taylor]: Taking taylor expansion of b in b
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.102 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.102 * [taylor]: Taking taylor expansion of c in b
0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.102 * [taylor]: Taking taylor expansion of a in b
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.102 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.102 * [taylor]: Taking taylor expansion of b in c
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.102 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.102 * [taylor]: Taking taylor expansion of c in c
0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.102 * [taylor]: Taking taylor expansion of a in c
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.102 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.102 * [taylor]: Taking taylor expansion of b in c
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.102 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.102 * [taylor]: Taking taylor expansion of c in c
0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.102 * [taylor]: Taking taylor expansion of a in c
0.103 * [taylor]: Taking taylor expansion of 1 in b
0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.103 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.103 * [taylor]: Taking taylor expansion of a in b
0.103 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.103 * [taylor]: Taking taylor expansion of b in b
0.103 * [taylor]: Taking taylor expansion of 1 in a
0.103 * [taylor]: Taking taylor expansion of 1 in a
0.103 * [taylor]: Taking taylor expansion of 0 in b
0.103 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.103 * [taylor]: Taking taylor expansion of a in a
0.103 * [taylor]: Taking taylor expansion of 0 in a
0.103 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0
0.103 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a
0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a
0.103 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.103 * [taylor]: Taking taylor expansion of b in a
0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.103 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.103 * [taylor]: Taking taylor expansion of c in a
0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.104 * [taylor]: Taking taylor expansion of a in a
0.104 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b
0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.104 * [taylor]: Taking taylor expansion of b in b
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.104 * [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) in b
0.104 * [taylor]: Taking taylor expansion of a in b
0.104 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.104 * [taylor]: Taking taylor expansion of b in c
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.104 * [taylor]: Taking taylor expansion of c in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.104 * [taylor]: Taking taylor expansion of a in c
0.104 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.104 * [taylor]: Taking taylor expansion of b in c
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.104 * [taylor]: Taking taylor expansion of c in c
0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.104 * [taylor]: Taking taylor expansion of a in c
0.104 * [taylor]: Taking taylor expansion of (neg 1) in b
0.104 * [taylor]: Taking taylor expansion of 1 in b
0.104 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.104 * [taylor]: Taking taylor expansion of a in b
0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.104 * [taylor]: Taking taylor expansion of b in b
0.105 * [taylor]: Taking taylor expansion of (neg 1) in a
0.105 * [taylor]: Taking taylor expansion of 1 in a
0.105 * [taylor]: Taking taylor expansion of (neg 1) in a
0.105 * [taylor]: Taking taylor expansion of 1 in a
0.105 * [taylor]: Taking taylor expansion of 0 in b
0.105 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
0.105 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.105 * [taylor]: Taking taylor expansion of a in a
0.105 * [taylor]: Taking taylor expansion of 0 in a
0.105 * * * [progress]: simplifying candidates
0.106 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp e) (* (exp d) (* (exp c) (* (exp b) (exp a)))))
  (* (exp e) (* (exp d) (* (exp c) (exp (+ b a)))))
  (* (exp e) (* (exp d) (exp (+ c (+ b a)))))
  (* (exp e) (exp (+ d (+ c (+ b a)))))
  (log (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (* (cbrt (+ e (+ d (+ c (+ b a))))) (cbrt (+ e (+ d (+ c (+ b a))))))
  (cbrt (+ e (+ d (+ c (+ b a)))))
  (* (* (+ e (+ d (+ c (+ b a)))) (+ e (+ d (+ c (+ b a))))) (+ e (+ d (+ c (+ b a)))))
  (sqrt (+ e (+ d (+ c (+ b a)))))
  (sqrt (+ e (+ d (+ c (+ b a)))))
  (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3))
  (+ (* e e) (- (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))) (* e (+ d (+ c (+ b a))))))
  (- (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))))
  (- e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e d)
  (* (exp d) (* (exp c) (* (exp b) (exp a))))
  (* (exp d) (* (exp c) (exp (+ b a))))
  (* (exp d) (exp (+ c (+ b a))))
  (log (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a)))))
  (cbrt (+ d (+ c (+ b a))))
  (* (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))) (+ d (+ c (+ b a))))
  (sqrt (+ d (+ c (+ b a))))
  (sqrt (+ d (+ c (+ b a))))
  (+ (pow d 3) (pow (+ c (+ b a)) 3))
  (+ (* d d) (- (* (+ c (+ b a)) (+ c (+ b a))) (* d (+ c (+ b a)))))
  (- (* d d) (* (+ c (+ b a)) (+ c (+ b a))))
  (- d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d c)
  (* (exp c) (* (exp b) (exp a)))
  (* (exp c) (exp (+ b a)))
  (log (+ c (+ b a)))
  (exp (+ c (+ b a)))
  (* (cbrt (+ c (+ b a))) (cbrt (+ c (+ b a))))
  (cbrt (+ c (+ b a)))
  (* (* (+ c (+ b a)) (+ c (+ b a))) (+ c (+ b a)))
  (sqrt (+ c (+ b a)))
  (sqrt (+ c (+ b a)))
  (+ (pow c 3) (pow (+ b a) 3))
  (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))
  (- (* c c) (* (+ b a) (+ b a)))
  (- c (+ b a))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ c b)
  (+ d (+ e c))
  (+ a (+ b c))
  (+ a (+ b c))
  (+ d (+ b c))
  (+ a (+ b c))
  (+ a (+ b c))
  (+ a (+ b c))
  (+ a (+ b c))
  (+ a (+ b c))
0.136 * * [simplify]: iteration  0 :  4837  enodes  (cost  545 )
0.136 * * [simplify]: iteration  1 :  4837  enodes  (cost  545 )
0.139 * [simplify]: Simplified to:
   (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (log (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (* (cbrt (+ e (+ d (+ c (+ b a))))) (cbrt (+ e (+ d (+ c (+ b a))))))
  (cbrt (+ e (+ d (+ c (+ b a)))))
  (pow (+ e (+ d (+ c (+ b a)))) 3)
  (sqrt (+ e (+ d (+ c (+ b a)))))
  (sqrt (+ e (+ d (+ c (+ b a)))))
  (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3))
  (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e))))))
  (- (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))))
  (- e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e d)
  (exp (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (log (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a)))))
  (cbrt (+ d (+ c (+ b a))))
  (pow (+ d (+ c (+ b a))) 3)
  (sqrt (+ d (+ c (+ b a))))
  (sqrt (+ d (+ c (+ b a))))
  (+ (pow d 3) (pow (+ c (+ b a)) 3))
  (+ (* d d) (* (+ c (+ b a)) (+ c (+ b (- a d)))))
  (- (* d d) (* (+ c (+ b a)) (+ c (+ b a))))
  (- d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d c)
  (exp (+ c (+ b a)))
  (exp (+ c (+ b a)))
  (log (+ c (+ b a)))
  (exp (+ c (+ b a)))
  (* (cbrt (+ c (+ b a))) (cbrt (+ c (+ b a))))
  (cbrt (+ c (+ b a)))
  (pow (+ c (+ b a)) 3)
  (sqrt (+ c (+ b a)))
  (sqrt (+ c (+ b a)))
  (+ (pow c 3) (pow (+ b a) 3))
  (+ (* c c) (* (+ b a) (+ b (- a c))))
  (- (* c c) (* (+ b a) (+ b a)))
  (- c (+ b a))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ c b)
  (+ e (+ d c))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ d (+ c b))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ c (+ b a))
0.139 * * * [progress]: adding candidates to table
0.213 * * [progress]: iteration 2 / 4
0.213 * * * [progress]: picking best candidate
0.241 * * * * [pick]: Picked  #<alt (λ (a b c d e) (+ e (+ (+ d c) (+ b a))))>
0.241 * * * [progress]: localizing error
0.247 * * * [progress]: generating rewritten candidates
0.247 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.259 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.268 * * * [progress]: generating series expansions
0.269 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.269 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0
0.269 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a
0.269 * [taylor]: Taking taylor expansion of d in a
0.269 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a
0.269 * [taylor]: Taking taylor expansion of e in a
0.269 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a
0.269 * [taylor]: Taking taylor expansion of b in a
0.269 * [taylor]: Taking taylor expansion of (+ a c) in a
0.269 * [taylor]: Taking taylor expansion of a in a
0.269 * [taylor]: Taking taylor expansion of c in a
0.269 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b
0.269 * [taylor]: Taking taylor expansion of d in b
0.269 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b
0.269 * [taylor]: Taking taylor expansion of e in b
0.269 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b
0.269 * [taylor]: Taking taylor expansion of b in b
0.269 * [taylor]: Taking taylor expansion of (+ a c) in b
0.269 * [taylor]: Taking taylor expansion of a in b
0.269 * [taylor]: Taking taylor expansion of c in b
0.269 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c
0.269 * [taylor]: Taking taylor expansion of d in c
0.269 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c
0.269 * [taylor]: Taking taylor expansion of e in c
0.269 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c
0.269 * [taylor]: Taking taylor expansion of b in c
0.269 * [taylor]: Taking taylor expansion of (+ a c) in c
0.269 * [taylor]: Taking taylor expansion of a in c
0.269 * [taylor]: Taking taylor expansion of c in c
0.269 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d
0.269 * [taylor]: Taking taylor expansion of d in d
0.269 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d
0.269 * [taylor]: Taking taylor expansion of e in d
0.269 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d
0.269 * [taylor]: Taking taylor expansion of b in d
0.269 * [taylor]: Taking taylor expansion of (+ a c) in d
0.269 * [taylor]: Taking taylor expansion of a in d
0.269 * [taylor]: Taking taylor expansion of c in d
0.269 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e
0.269 * [taylor]: Taking taylor expansion of d in e
0.269 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e
0.269 * [taylor]: Taking taylor expansion of e in e
0.269 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e
0.269 * [taylor]: Taking taylor expansion of b in e
0.269 * [taylor]: Taking taylor expansion of (+ a c) in e
0.269 * [taylor]: Taking taylor expansion of a in e
0.269 * [taylor]: Taking taylor expansion of c in e
0.270 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e
0.270 * [taylor]: Taking taylor expansion of d in e
0.270 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e
0.270 * [taylor]: Taking taylor expansion of e in e
0.270 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e
0.270 * [taylor]: Taking taylor expansion of b in e
0.270 * [taylor]: Taking taylor expansion of (+ a c) in e
0.270 * [taylor]: Taking taylor expansion of a in e
0.270 * [taylor]: Taking taylor expansion of c in e
0.270 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.270 * [taylor]: Taking taylor expansion of d in d
0.270 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.270 * [taylor]: Taking taylor expansion of a in d
0.270 * [taylor]: Taking taylor expansion of (+ b c) in d
0.270 * [taylor]: Taking taylor expansion of b in d
0.270 * [taylor]: Taking taylor expansion of c in d
0.270 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c
0.270 * [taylor]: Taking taylor expansion of a in c
0.270 * [taylor]: Taking taylor expansion of (+ c b) in c
0.270 * [taylor]: Taking taylor expansion of c in c
0.270 * [taylor]: Taking taylor expansion of b in c
0.270 * [taylor]: Taking taylor expansion of (+ a b) in b
0.270 * [taylor]: Taking taylor expansion of a in b
0.270 * [taylor]: Taking taylor expansion of b in b
0.270 * [taylor]: Taking taylor expansion of a in a
0.270 * [taylor]: Taking taylor expansion of 1 in d
0.270 * [taylor]: Taking taylor expansion of 1 in c
0.270 * [taylor]: Taking taylor expansion of 1 in b
0.270 * [taylor]: Taking taylor expansion of 1 in a
0.270 * [taylor]: Taking taylor expansion of 1 in c
0.270 * [taylor]: Taking taylor expansion of 1 in b
0.270 * [taylor]: Taking taylor expansion of 1 in a
0.270 * [taylor]: Taking taylor expansion of 1 in b
0.270 * [taylor]: Taking taylor expansion of 1 in a
0.271 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in (e d c b a) around 0
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in a
0.271 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.271 * [taylor]: Taking taylor expansion of a in a
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in a
0.271 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.271 * [taylor]: Taking taylor expansion of c in a
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in a
0.271 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.271 * [taylor]: Taking taylor expansion of d in a
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in a
0.271 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.271 * [taylor]: Taking taylor expansion of b in a
0.271 * [taylor]: Taking taylor expansion of (/ 1 e) in a
0.271 * [taylor]: Taking taylor expansion of e in a
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in b
0.271 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.271 * [taylor]: Taking taylor expansion of a in b
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in b
0.271 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.271 * [taylor]: Taking taylor expansion of c in b
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in b
0.271 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.271 * [taylor]: Taking taylor expansion of d in b
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in b
0.271 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.271 * [taylor]: Taking taylor expansion of b in b
0.271 * [taylor]: Taking taylor expansion of (/ 1 e) in b
0.271 * [taylor]: Taking taylor expansion of e in b
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in c
0.271 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.271 * [taylor]: Taking taylor expansion of a in c
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in c
0.272 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.272 * [taylor]: Taking taylor expansion of c in c
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in c
0.272 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.272 * [taylor]: Taking taylor expansion of d in c
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in c
0.272 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.272 * [taylor]: Taking taylor expansion of b in c
0.272 * [taylor]: Taking taylor expansion of (/ 1 e) in c
0.272 * [taylor]: Taking taylor expansion of e in c
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in d
0.272 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.272 * [taylor]: Taking taylor expansion of a in d
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in d
0.272 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.272 * [taylor]: Taking taylor expansion of c in d
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in d
0.272 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.272 * [taylor]: Taking taylor expansion of d in d
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in d
0.272 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.272 * [taylor]: Taking taylor expansion of b in d
0.272 * [taylor]: Taking taylor expansion of (/ 1 e) in d
0.272 * [taylor]: Taking taylor expansion of e in d
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in e
0.272 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.272 * [taylor]: Taking taylor expansion of a in e
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in e
0.272 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.272 * [taylor]: Taking taylor expansion of c in e
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in e
0.272 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.272 * [taylor]: Taking taylor expansion of d in e
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e
0.272 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.272 * [taylor]: Taking taylor expansion of b in e
0.272 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.272 * [taylor]: Taking taylor expansion of e in e
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in e
0.272 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.272 * [taylor]: Taking taylor expansion of a in e
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in e
0.272 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.272 * [taylor]: Taking taylor expansion of c in e
0.273 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in e
0.273 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.273 * [taylor]: Taking taylor expansion of d in e
0.273 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e
0.273 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.273 * [taylor]: Taking taylor expansion of b in e
0.273 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.273 * [taylor]: Taking taylor expansion of e in e
0.273 * [taylor]: Taking taylor expansion of 1 in d
0.273 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.273 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.273 * [taylor]: Taking taylor expansion of b in d
0.273 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.273 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.273 * [taylor]: Taking taylor expansion of d in d
0.273 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.273 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.273 * [taylor]: Taking taylor expansion of c in d
0.273 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.273 * [taylor]: Taking taylor expansion of a in d
0.273 * [taylor]: Taking taylor expansion of 1 in c
0.273 * [taylor]: Taking taylor expansion of 1 in c
0.274 * [taylor]: Taking taylor expansion of 0 in d
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.274 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.274 * [taylor]: Taking taylor expansion of a in c
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.274 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.274 * [taylor]: Taking taylor expansion of c in c
0.274 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.274 * [taylor]: Taking taylor expansion of b in c
0.274 * [taylor]: Taking taylor expansion of 1 in b
0.274 * [taylor]: Taking taylor expansion of 0 in c
0.274 * [taylor]: Taking taylor expansion of 1 in b
0.274 * [taylor]: Taking taylor expansion of 1 in b
0.274 * [taylor]: Taking taylor expansion of 0 in d
0.274 * [taylor]: Taking taylor expansion of 0 in c
0.275 * [taylor]: Taking taylor expansion of 0 in c
0.275 * [taylor]: Taking taylor expansion of 0 in c
0.275 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.275 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.275 * [taylor]: Taking taylor expansion of b in b
0.275 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.275 * [taylor]: Taking taylor expansion of a in b
0.275 * [taylor]: Taking taylor expansion of 1 in a
0.275 * [taylor]: Taking taylor expansion of 0 in b
0.275 * [taylor]: Taking taylor expansion of 0 in b
0.275 * [taylor]: Taking taylor expansion of 0 in b
0.275 * [taylor]: Taking taylor expansion of 1 in a
0.275 * [taylor]: Taking taylor expansion of 1 in a
0.275 * [taylor]: Taking taylor expansion of 1 in a
0.275 * [taylor]: Taking taylor expansion of 0 in d
0.276 * [taylor]: Taking taylor expansion of 0 in c
0.276 * [taylor]: Taking taylor expansion of 0 in c
0.276 * [taylor]: Taking taylor expansion of 0 in c
0.276 * [taylor]: Taking taylor expansion of 0 in c
0.276 * [taylor]: Taking taylor expansion of 0 in b
0.276 * [taylor]: Taking taylor expansion of 0 in b
0.276 * [taylor]: Taking taylor expansion of 0 in b
0.276 * [taylor]: Taking taylor expansion of 0 in b
0.276 * [taylor]: Taking taylor expansion of 0 in b
0.276 * [taylor]: Taking taylor expansion of 0 in b
0.276 * [taylor]: Taking taylor expansion of 0 in b
0.276 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.276 * [taylor]: Taking taylor expansion of a in a
0.276 * [taylor]: Taking taylor expansion of 0 in a
0.276 * [taylor]: Taking taylor expansion of 0 in a
0.276 * [taylor]: Taking taylor expansion of 0 in a
0.276 * [taylor]: Taking taylor expansion of 0 in a
0.276 * [taylor]: Taking taylor expansion of 0 in a
0.276 * [taylor]: Taking taylor expansion of 0 in a
0.277 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))))) in (e d c b a) around 0
0.277 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))))) in a
0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in a
0.277 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.277 * [taylor]: Taking taylor expansion of a in a
0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in a
0.277 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.277 * [taylor]: Taking taylor expansion of c in a
0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in a
0.277 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.277 * [taylor]: Taking taylor expansion of d in a
0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in a
0.277 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.277 * [taylor]: Taking taylor expansion of b in a
0.277 * [taylor]: Taking taylor expansion of (/ 1 e) in a
0.277 * [taylor]: Taking taylor expansion of e in a
0.277 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))))) in b
0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in b
0.277 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.277 * [taylor]: Taking taylor expansion of a in b
0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in b
0.277 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.277 * [taylor]: Taking taylor expansion of c in b
0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in b
0.277 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.278 * [taylor]: Taking taylor expansion of d in b
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in b
0.278 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.278 * [taylor]: Taking taylor expansion of b in b
0.278 * [taylor]: Taking taylor expansion of (/ 1 e) in b
0.278 * [taylor]: Taking taylor expansion of e in b
0.278 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))))) in c
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in c
0.278 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.278 * [taylor]: Taking taylor expansion of a in c
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in c
0.278 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.278 * [taylor]: Taking taylor expansion of c in c
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in c
0.278 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.278 * [taylor]: Taking taylor expansion of d in c
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in c
0.278 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.278 * [taylor]: Taking taylor expansion of b in c
0.278 * [taylor]: Taking taylor expansion of (/ 1 e) in c
0.278 * [taylor]: Taking taylor expansion of e in c
0.278 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))))) in d
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in d
0.278 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.278 * [taylor]: Taking taylor expansion of a in d
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in d
0.278 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.278 * [taylor]: Taking taylor expansion of c in d
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in d
0.278 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.278 * [taylor]: Taking taylor expansion of d in d
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in d
0.278 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.278 * [taylor]: Taking taylor expansion of b in d
0.278 * [taylor]: Taking taylor expansion of (/ 1 e) in d
0.278 * [taylor]: Taking taylor expansion of e in d
0.278 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))))) in e
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in e
0.278 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.278 * [taylor]: Taking taylor expansion of a in e
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in e
0.278 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.278 * [taylor]: Taking taylor expansion of c in e
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in e
0.278 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.279 * [taylor]: Taking taylor expansion of d in e
0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e
0.279 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.279 * [taylor]: Taking taylor expansion of b in e
0.279 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.279 * [taylor]: Taking taylor expansion of e in e
0.279 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))))) in e
0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))))) in e
0.279 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.279 * [taylor]: Taking taylor expansion of a in e
0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 b) (/ 1 e)))) in e
0.279 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.279 * [taylor]: Taking taylor expansion of c in e
0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 b) (/ 1 e))) in e
0.279 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.279 * [taylor]: Taking taylor expansion of d in e
0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e
0.279 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.279 * [taylor]: Taking taylor expansion of b in e
0.279 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.279 * [taylor]: Taking taylor expansion of e in e
0.279 * [taylor]: Taking taylor expansion of (neg 1) in d
0.279 * [taylor]: Taking taylor expansion of 1 in d
0.279 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d
0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.279 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.279 * [taylor]: Taking taylor expansion of b in d
0.280 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.280 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.280 * [taylor]: Taking taylor expansion of c in d
0.280 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.280 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.280 * [taylor]: Taking taylor expansion of d in d
0.280 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.280 * [taylor]: Taking taylor expansion of a in d
0.280 * [taylor]: Taking taylor expansion of (neg 1) in c
0.280 * [taylor]: Taking taylor expansion of 1 in c
0.280 * [taylor]: Taking taylor expansion of (neg 1) in c
0.280 * [taylor]: Taking taylor expansion of 1 in c
0.280 * [taylor]: Taking taylor expansion of 0 in d
0.280 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c
0.280 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.280 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.280 * [taylor]: Taking taylor expansion of a in c
0.280 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.280 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.280 * [taylor]: Taking taylor expansion of c in c
0.280 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.280 * [taylor]: Taking taylor expansion of b in c
0.281 * [taylor]: Taking taylor expansion of (neg 1) in b
0.281 * [taylor]: Taking taylor expansion of 1 in b
0.281 * [taylor]: Taking taylor expansion of 0 in c
0.281 * [taylor]: Taking taylor expansion of (neg 1) in b
0.281 * [taylor]: Taking taylor expansion of 1 in b
0.281 * [taylor]: Taking taylor expansion of (neg 1) in b
0.281 * [taylor]: Taking taylor expansion of 1 in b
0.281 * [taylor]: Taking taylor expansion of 0 in d
0.281 * [taylor]: Taking taylor expansion of 0 in c
0.281 * [taylor]: Taking taylor expansion of 0 in c
0.281 * [taylor]: Taking taylor expansion of 0 in c
0.281 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b
0.281 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.281 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.281 * [taylor]: Taking taylor expansion of b in b
0.282 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.282 * [taylor]: Taking taylor expansion of a in b
0.282 * [taylor]: Taking taylor expansion of (neg 1) in a
0.282 * [taylor]: Taking taylor expansion of 1 in a
0.282 * [taylor]: Taking taylor expansion of 0 in b
0.282 * [taylor]: Taking taylor expansion of 0 in b
0.282 * [taylor]: Taking taylor expansion of 0 in b
0.282 * [taylor]: Taking taylor expansion of (neg 1) in a
0.282 * [taylor]: Taking taylor expansion of 1 in a
0.282 * [taylor]: Taking taylor expansion of (neg 1) in a
0.282 * [taylor]: Taking taylor expansion of 1 in a
0.282 * [taylor]: Taking taylor expansion of (neg 1) in a
0.282 * [taylor]: Taking taylor expansion of 1 in a
0.282 * [taylor]: Taking taylor expansion of 0 in d
0.282 * [taylor]: Taking taylor expansion of 0 in c
0.282 * [taylor]: Taking taylor expansion of 0 in c
0.283 * [taylor]: Taking taylor expansion of 0 in c
0.283 * [taylor]: Taking taylor expansion of 0 in c
0.283 * [taylor]: Taking taylor expansion of 0 in b
0.283 * [taylor]: Taking taylor expansion of 0 in b
0.283 * [taylor]: Taking taylor expansion of 0 in b
0.283 * [taylor]: Taking taylor expansion of 0 in b
0.283 * [taylor]: Taking taylor expansion of 0 in b
0.283 * [taylor]: Taking taylor expansion of 0 in b
0.283 * [taylor]: Taking taylor expansion of 0 in b
0.283 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
0.283 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.283 * [taylor]: Taking taylor expansion of a in a
0.283 * [taylor]: Taking taylor expansion of 0 in a
0.283 * [taylor]: Taking taylor expansion of 0 in a
0.283 * [taylor]: Taking taylor expansion of 0 in a
0.283 * [taylor]: Taking taylor expansion of 0 in a
0.283 * [taylor]: Taking taylor expansion of 0 in a
0.283 * [taylor]: Taking taylor expansion of 0 in a
0.284 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.284 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0
0.284 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.284 * [taylor]: Taking taylor expansion of d in a
0.284 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.284 * [taylor]: Taking taylor expansion of a in a
0.284 * [taylor]: Taking taylor expansion of (+ b c) in a
0.284 * [taylor]: Taking taylor expansion of b in a
0.284 * [taylor]: Taking taylor expansion of c in a
0.284 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
0.284 * [taylor]: Taking taylor expansion of d in b
0.284 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
0.284 * [taylor]: Taking taylor expansion of a in b
0.284 * [taylor]: Taking taylor expansion of (+ b c) in b
0.284 * [taylor]: Taking taylor expansion of b in b
0.284 * [taylor]: Taking taylor expansion of c in b
0.284 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
0.284 * [taylor]: Taking taylor expansion of d in c
0.284 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.284 * [taylor]: Taking taylor expansion of a in c
0.284 * [taylor]: Taking taylor expansion of (+ b c) in c
0.284 * [taylor]: Taking taylor expansion of b in c
0.284 * [taylor]: Taking taylor expansion of c in c
0.284 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.284 * [taylor]: Taking taylor expansion of d in d
0.284 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.284 * [taylor]: Taking taylor expansion of a in d
0.284 * [taylor]: Taking taylor expansion of (+ b c) in d
0.284 * [taylor]: Taking taylor expansion of b in d
0.284 * [taylor]: Taking taylor expansion of c in d
0.284 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.284 * [taylor]: Taking taylor expansion of d in d
0.284 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.284 * [taylor]: Taking taylor expansion of a in d
0.284 * [taylor]: Taking taylor expansion of (+ b c) in d
0.284 * [taylor]: Taking taylor expansion of b in d
0.284 * [taylor]: Taking taylor expansion of c in d
0.285 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c
0.285 * [taylor]: Taking taylor expansion of a in c
0.285 * [taylor]: Taking taylor expansion of (+ c b) in c
0.285 * [taylor]: Taking taylor expansion of c in c
0.285 * [taylor]: Taking taylor expansion of b in c
0.285 * [taylor]: Taking taylor expansion of (+ a b) in b
0.285 * [taylor]: Taking taylor expansion of a in b
0.285 * [taylor]: Taking taylor expansion of b in b
0.285 * [taylor]: Taking taylor expansion of a in a
0.285 * [taylor]: Taking taylor expansion of 1 in c
0.285 * [taylor]: Taking taylor expansion of 1 in b
0.285 * [taylor]: Taking taylor expansion of 1 in a
0.285 * [taylor]: Taking taylor expansion of 1 in b
0.285 * [taylor]: Taking taylor expansion of 1 in a
0.285 * [taylor]: Taking taylor expansion of 1 in a
0.285 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (d c b a) around 0
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
0.285 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.285 * [taylor]: Taking taylor expansion of b in a
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
0.285 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.285 * [taylor]: Taking taylor expansion of d in a
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.285 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.285 * [taylor]: Taking taylor expansion of c in a
0.285 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.285 * [taylor]: Taking taylor expansion of a in a
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.285 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.285 * [taylor]: Taking taylor expansion of b in b
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.285 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.286 * [taylor]: Taking taylor expansion of d in b
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.286 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.286 * [taylor]: Taking taylor expansion of c in b
0.286 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.286 * [taylor]: Taking taylor expansion of a in b
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
0.286 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.286 * [taylor]: Taking taylor expansion of b in c
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
0.286 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.286 * [taylor]: Taking taylor expansion of d in c
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.286 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.286 * [taylor]: Taking taylor expansion of c in c
0.286 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.286 * [taylor]: Taking taylor expansion of a in c
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.286 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.286 * [taylor]: Taking taylor expansion of b in d
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.286 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.286 * [taylor]: Taking taylor expansion of d in d
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.286 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.286 * [taylor]: Taking taylor expansion of c in d
0.286 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.286 * [taylor]: Taking taylor expansion of a in d
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.286 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.286 * [taylor]: Taking taylor expansion of b in d
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.286 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.286 * [taylor]: Taking taylor expansion of d in d
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.286 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.286 * [taylor]: Taking taylor expansion of c in d
0.286 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.286 * [taylor]: Taking taylor expansion of a in d
0.286 * [taylor]: Taking taylor expansion of 1 in c
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.287 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.287 * [taylor]: Taking taylor expansion of a in c
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.287 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.287 * [taylor]: Taking taylor expansion of c in c
0.287 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.287 * [taylor]: Taking taylor expansion of b in c
0.287 * [taylor]: Taking taylor expansion of 1 in b
0.287 * [taylor]: Taking taylor expansion of 1 in b
0.287 * [taylor]: Taking taylor expansion of 0 in c
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.288 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.288 * [taylor]: Taking taylor expansion of b in b
0.288 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.288 * [taylor]: Taking taylor expansion of a in b
0.288 * [taylor]: Taking taylor expansion of 1 in a
0.288 * [taylor]: Taking taylor expansion of 0 in b
0.288 * [taylor]: Taking taylor expansion of 1 in a
0.288 * [taylor]: Taking taylor expansion of 1 in a
0.288 * [taylor]: Taking taylor expansion of 0 in c
0.288 * [taylor]: Taking taylor expansion of 0 in b
0.288 * [taylor]: Taking taylor expansion of 0 in b
0.288 * [taylor]: Taking taylor expansion of 0 in b
0.288 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.288 * [taylor]: Taking taylor expansion of a in a
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.289 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (d c b a) around 0
0.289 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a
0.289 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.289 * [taylor]: Taking taylor expansion of b in a
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a
0.289 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.289 * [taylor]: Taking taylor expansion of d in a
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a
0.289 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.289 * [taylor]: Taking taylor expansion of c in a
0.289 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.289 * [taylor]: Taking taylor expansion of a in a
0.289 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b
0.289 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.289 * [taylor]: Taking taylor expansion of b in b
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b
0.289 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.289 * [taylor]: Taking taylor expansion of d in b
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b
0.289 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.289 * [taylor]: Taking taylor expansion of c in b
0.289 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.289 * [taylor]: Taking taylor expansion of a in b
0.289 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c
0.289 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.289 * [taylor]: Taking taylor expansion of b in c
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c
0.289 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.290 * [taylor]: Taking taylor expansion of d in c
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.290 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.290 * [taylor]: Taking taylor expansion of c in c
0.290 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.290 * [taylor]: Taking taylor expansion of a in c
0.290 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.290 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.290 * [taylor]: Taking taylor expansion of b in d
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.290 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.290 * [taylor]: Taking taylor expansion of d in d
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.290 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.290 * [taylor]: Taking taylor expansion of c in d
0.290 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.290 * [taylor]: Taking taylor expansion of a in d
0.290 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.290 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.290 * [taylor]: Taking taylor expansion of b in d
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.290 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.290 * [taylor]: Taking taylor expansion of d in d
0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.290 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.290 * [taylor]: Taking taylor expansion of c in d
0.290 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.290 * [taylor]: Taking taylor expansion of a in d
0.290 * [taylor]: Taking taylor expansion of (neg 1) in c
0.290 * [taylor]: Taking taylor expansion of 1 in c
0.291 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c
0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.291 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.291 * [taylor]: Taking taylor expansion of a in c
0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.291 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.291 * [taylor]: Taking taylor expansion of c in c
0.291 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.291 * [taylor]: Taking taylor expansion of b in c
0.291 * [taylor]: Taking taylor expansion of (neg 1) in b
0.291 * [taylor]: Taking taylor expansion of 1 in b
0.291 * [taylor]: Taking taylor expansion of (neg 1) in b
0.291 * [taylor]: Taking taylor expansion of 1 in b
0.291 * [taylor]: Taking taylor expansion of 0 in c
0.291 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b
0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.291 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.291 * [taylor]: Taking taylor expansion of b in b
0.291 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.291 * [taylor]: Taking taylor expansion of a in b
0.292 * [taylor]: Taking taylor expansion of (neg 1) in a
0.292 * [taylor]: Taking taylor expansion of 1 in a
0.292 * [taylor]: Taking taylor expansion of 0 in b
0.292 * [taylor]: Taking taylor expansion of (neg 1) in a
0.292 * [taylor]: Taking taylor expansion of 1 in a
0.292 * [taylor]: Taking taylor expansion of (neg 1) in a
0.292 * [taylor]: Taking taylor expansion of 1 in a
0.292 * [taylor]: Taking taylor expansion of 0 in c
0.292 * [taylor]: Taking taylor expansion of 0 in b
0.292 * [taylor]: Taking taylor expansion of 0 in b
0.292 * [taylor]: Taking taylor expansion of 0 in b
0.292 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
0.292 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.292 * [taylor]: Taking taylor expansion of a in a
0.292 * [taylor]: Taking taylor expansion of 0 in a
0.292 * [taylor]: Taking taylor expansion of 0 in a
0.293 * [taylor]: Taking taylor expansion of 0 in a
0.293 * * * [progress]: simplifying candidates
0.293 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp e) (* (* (exp d) (exp c)) (* (exp b) (exp a))))
  (* (exp e) (* (* (exp d) (exp c)) (exp (+ b a))))
  (* (exp e) (* (exp (+ d c)) (* (exp b) (exp a))))
  (* (exp e) (* (exp (+ d c)) (exp (+ 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 c) (+ b a)))
  (+ e (+ d c))
  (* (* (exp d) (exp c)) (* (exp b) (exp a)))
  (* (* (exp d) (exp c)) (exp (+ b a)))
  (* (exp (+ d c)) (* (exp b) (exp a)))
  (* (exp (+ d c)) (exp (+ 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 3)) (+ (* b b) (- (* a a) (* b a)))) (* (+ (* d d) (- (* c c) (* d c))) (+ (pow b 3) (pow a 3))))
  (* (+ (* d d) (- (* c c) (* d c))) (+ (* b b) (- (* a a) (* b a))))
  (+ (* (+ (pow d 3) (pow c 3)) (- b a)) (* (+ (* d d) (- (* c c) (* d c))) (- (* b b) (* a a))))
  (* (+ (* d d) (- (* c c) (* d c))) (- b a))
  (+ (* (- (* d d) (* c c)) (+ (* b b) (- (* a a) (* b a)))) (* (- d c) (+ (pow b 3) (pow a 3))))
  (* (- d c) (+ (* b b) (- (* a a) (* b a))))
  (+ (* (- (* d d) (* c c)) (- b a)) (* (- d c) (- (* b b) (* a a))))
  (* (- d c) (- b a))
  (+ (pow (+ d c) 3) (pow (+ b a) 3))
  (+ (* (+ d c) (+ d c)) (- (* (+ b a) (+ b a)) (* (+ d c) (+ b a))))
  (- (* (+ d c) (+ d c)) (* (+ b a) (+ b a)))
  (- (+ d c) (+ b a))
  (+ (+ d c) (+ b a))
  (+ (+ d c) (+ b a))
  (+ (+ d c) (+ b a))
  (+ (+ d c) (+ b a))
  (+ (+ d c) b)
  (+ c (+ b a))
  (+ d (+ e c))
  (+ a (+ b c))
  (+ a (+ b c))
  (+ d (+ b c))
  (+ a (+ b c))
  (+ a (+ b c))
0.329 * * [simplify]: iteration  0 :  4691  enodes  (cost  614 )
0.329 * * [simplify]: iteration  1 :  4691  enodes  (cost  614 )
0.332 * [simplify]: Simplified to:
   (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (log (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (* (cbrt (+ e (+ d (+ c (+ b a))))) (cbrt (+ e (+ d (+ c (+ b a))))))
  (cbrt (+ e (+ d (+ c (+ b a)))))
  (pow (+ e (+ d (+ c (+ b a)))) 3)
  (sqrt (+ e (+ d (+ c (+ b a)))))
  (sqrt (+ e (+ d (+ c (+ b a)))))
  (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3))
  (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e))))))
  (- (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))))
  (- e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d c))
  (exp (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (log (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a)))))
  (cbrt (+ d (+ c (+ b a))))
  (pow (+ d (+ c (+ b a))) 3)
  (sqrt (+ d (+ c (+ b a))))
  (sqrt (+ d (+ c (+ b a))))
  (+ (* (+ (pow d 3) (pow c 3)) (+ (* b b) (* a (- a b)))) (* (+ (* d d) (* c (- c d))) (+ (pow b 3) (pow a 3))))
  (* (+ (* b b) (* a (- a b))) (+ (* d d) (* c (- c d))))
  (* (- b a) (+ (+ (pow d 3) (pow c 3)) (* (+ b a) (+ (* d d) (* c (- c d))))))
  (* (+ (* d d) (* c (- c d))) (- b a))
  (* (- d c) (+ (* (+ d c) (+ (* b b) (* a (- a b)))) (+ (pow b 3) (pow a 3))))
  (* (+ (* b b) (* a (- a b))) (- d c))
  (* (* (- b a) (- d c)) (+ d (+ c (+ b a))))
  (* (- b a) (- d c))
  (+ (pow (+ d c) 3) (pow (+ b a) 3))
  (+ (* (+ d c) (+ d c)) (* (+ b a) (+ b (- a (+ d c)))))
  (- (* (+ d c) (+ d c)) (* (+ b a) (+ b a)))
  (+ d (- c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c b))
  (+ c (+ b a))
  (+ e (+ d c))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ d (+ c b))
  (+ c (+ b a))
  (+ c (+ b a))
0.332 * * * [progress]: adding candidates to table
0.387 * * [progress]: iteration 3 / 4
0.387 * * * [progress]: picking best candidate
0.408 * * * * [pick]: Picked  #<alt (λ (a b c d e) (+ e (+ (+ d (+ c b)) a)))>
0.408 * * * [progress]: localizing error
0.415 * * * [progress]: generating rewritten candidates
0.415 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.426 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.434 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
0.441 * * * [progress]: generating series expansions
0.441 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.441 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0
0.441 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a
0.441 * [taylor]: Taking taylor expansion of d in a
0.441 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a
0.441 * [taylor]: Taking taylor expansion of e in a
0.441 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a
0.441 * [taylor]: Taking taylor expansion of b in a
0.441 * [taylor]: Taking taylor expansion of (+ a c) in a
0.441 * [taylor]: Taking taylor expansion of a in a
0.441 * [taylor]: Taking taylor expansion of c in a
0.441 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b
0.441 * [taylor]: Taking taylor expansion of d in b
0.441 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b
0.441 * [taylor]: Taking taylor expansion of e in b
0.441 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b
0.441 * [taylor]: Taking taylor expansion of b in b
0.441 * [taylor]: Taking taylor expansion of (+ a c) in b
0.441 * [taylor]: Taking taylor expansion of a in b
0.441 * [taylor]: Taking taylor expansion of c in b
0.441 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c
0.441 * [taylor]: Taking taylor expansion of d in c
0.441 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c
0.441 * [taylor]: Taking taylor expansion of e in c
0.441 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c
0.441 * [taylor]: Taking taylor expansion of b in c
0.441 * [taylor]: Taking taylor expansion of (+ a c) in c
0.441 * [taylor]: Taking taylor expansion of a in c
0.441 * [taylor]: Taking taylor expansion of c in c
0.441 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d
0.442 * [taylor]: Taking taylor expansion of d in d
0.442 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d
0.442 * [taylor]: Taking taylor expansion of e in d
0.442 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d
0.442 * [taylor]: Taking taylor expansion of b in d
0.442 * [taylor]: Taking taylor expansion of (+ a c) in d
0.442 * [taylor]: Taking taylor expansion of a in d
0.442 * [taylor]: Taking taylor expansion of c in d
0.442 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e
0.442 * [taylor]: Taking taylor expansion of d in e
0.442 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e
0.442 * [taylor]: Taking taylor expansion of e in e
0.442 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e
0.442 * [taylor]: Taking taylor expansion of b in e
0.442 * [taylor]: Taking taylor expansion of (+ a c) in e
0.442 * [taylor]: Taking taylor expansion of a in e
0.442 * [taylor]: Taking taylor expansion of c in e
0.442 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e
0.442 * [taylor]: Taking taylor expansion of d in e
0.442 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e
0.442 * [taylor]: Taking taylor expansion of e in e
0.442 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e
0.442 * [taylor]: Taking taylor expansion of b in e
0.442 * [taylor]: Taking taylor expansion of (+ a c) in e
0.442 * [taylor]: Taking taylor expansion of a in e
0.442 * [taylor]: Taking taylor expansion of c in e
0.442 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.442 * [taylor]: Taking taylor expansion of d in d
0.442 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.442 * [taylor]: Taking taylor expansion of a in d
0.442 * [taylor]: Taking taylor expansion of (+ b c) in d
0.442 * [taylor]: Taking taylor expansion of b in d
0.442 * [taylor]: Taking taylor expansion of c in d
0.442 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c
0.442 * [taylor]: Taking taylor expansion of a in c
0.442 * [taylor]: Taking taylor expansion of (+ c b) in c
0.442 * [taylor]: Taking taylor expansion of c in c
0.442 * [taylor]: Taking taylor expansion of b in c
0.442 * [taylor]: Taking taylor expansion of (+ a b) in b
0.442 * [taylor]: Taking taylor expansion of a in b
0.442 * [taylor]: Taking taylor expansion of b in b
0.442 * [taylor]: Taking taylor expansion of a in a
0.442 * [taylor]: Taking taylor expansion of 1 in d
0.443 * [taylor]: Taking taylor expansion of 1 in c
0.443 * [taylor]: Taking taylor expansion of 1 in b
0.443 * [taylor]: Taking taylor expansion of 1 in a
0.443 * [taylor]: Taking taylor expansion of 1 in c
0.443 * [taylor]: Taking taylor expansion of 1 in b
0.443 * [taylor]: Taking taylor expansion of 1 in a
0.443 * [taylor]: Taking taylor expansion of 1 in b
0.443 * [taylor]: Taking taylor expansion of 1 in a
0.443 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in (e d c b a) around 0
0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.443 * [taylor]: Taking taylor expansion of b in a
0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.443 * [taylor]: Taking taylor expansion of c in a
0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.443 * [taylor]: Taking taylor expansion of d in a
0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.443 * [taylor]: Taking taylor expansion of a in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 e) in a
0.443 * [taylor]: Taking taylor expansion of e in a
0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in b
0.443 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.443 * [taylor]: Taking taylor expansion of b in b
0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in b
0.443 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.444 * [taylor]: Taking taylor expansion of c in b
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in b
0.444 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.444 * [taylor]: Taking taylor expansion of d in b
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b
0.444 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.444 * [taylor]: Taking taylor expansion of a in b
0.444 * [taylor]: Taking taylor expansion of (/ 1 e) in b
0.444 * [taylor]: Taking taylor expansion of e in b
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in c
0.444 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.444 * [taylor]: Taking taylor expansion of b in c
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in c
0.444 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.444 * [taylor]: Taking taylor expansion of c in c
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in c
0.444 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.444 * [taylor]: Taking taylor expansion of d in c
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c
0.444 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.444 * [taylor]: Taking taylor expansion of a in c
0.444 * [taylor]: Taking taylor expansion of (/ 1 e) in c
0.444 * [taylor]: Taking taylor expansion of e in c
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in d
0.444 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.444 * [taylor]: Taking taylor expansion of b in d
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in d
0.444 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.444 * [taylor]: Taking taylor expansion of c in d
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in d
0.444 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.444 * [taylor]: Taking taylor expansion of d in d
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d
0.444 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.444 * [taylor]: Taking taylor expansion of a in d
0.444 * [taylor]: Taking taylor expansion of (/ 1 e) in d
0.444 * [taylor]: Taking taylor expansion of e in d
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in e
0.444 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.444 * [taylor]: Taking taylor expansion of b in e
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in e
0.444 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.444 * [taylor]: Taking taylor expansion of c in e
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in e
0.445 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.445 * [taylor]: Taking taylor expansion of d in e
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e
0.445 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.445 * [taylor]: Taking taylor expansion of a in e
0.445 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.445 * [taylor]: Taking taylor expansion of e in e
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in e
0.445 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.445 * [taylor]: Taking taylor expansion of b in e
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in e
0.445 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.445 * [taylor]: Taking taylor expansion of c in e
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in e
0.445 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.445 * [taylor]: Taking taylor expansion of d in e
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e
0.445 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.445 * [taylor]: Taking taylor expansion of a in e
0.445 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.445 * [taylor]: Taking taylor expansion of e in e
0.445 * [taylor]: Taking taylor expansion of 1 in d
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d
0.445 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.445 * [taylor]: Taking taylor expansion of a in d
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.445 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.445 * [taylor]: Taking taylor expansion of d in d
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.445 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.445 * [taylor]: Taking taylor expansion of c in d
0.446 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.446 * [taylor]: Taking taylor expansion of b in d
0.446 * [taylor]: Taking taylor expansion of 1 in c
0.446 * [taylor]: Taking taylor expansion of 1 in c
0.446 * [taylor]: Taking taylor expansion of 0 in d
0.446 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.446 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.446 * [taylor]: Taking taylor expansion of b in c
0.446 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.446 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.446 * [taylor]: Taking taylor expansion of c in c
0.446 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.446 * [taylor]: Taking taylor expansion of a in c
0.446 * [taylor]: Taking taylor expansion of 1 in b
0.446 * [taylor]: Taking taylor expansion of 0 in c
0.446 * [taylor]: Taking taylor expansion of 1 in b
0.446 * [taylor]: Taking taylor expansion of 1 in b
0.447 * [taylor]: Taking taylor expansion of 0 in d
0.447 * [taylor]: Taking taylor expansion of 0 in c
0.447 * [taylor]: Taking taylor expansion of 0 in c
0.447 * [taylor]: Taking taylor expansion of 0 in c
0.447 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.447 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.447 * [taylor]: Taking taylor expansion of a in b
0.447 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.447 * [taylor]: Taking taylor expansion of b in b
0.447 * [taylor]: Taking taylor expansion of 1 in a
0.447 * [taylor]: Taking taylor expansion of 0 in b
0.447 * [taylor]: Taking taylor expansion of 0 in b
0.447 * [taylor]: Taking taylor expansion of 0 in b
0.447 * [taylor]: Taking taylor expansion of 1 in a
0.447 * [taylor]: Taking taylor expansion of 1 in a
0.447 * [taylor]: Taking taylor expansion of 1 in a
0.448 * [taylor]: Taking taylor expansion of 0 in d
0.448 * [taylor]: Taking taylor expansion of 0 in c
0.448 * [taylor]: Taking taylor expansion of 0 in c
0.448 * [taylor]: Taking taylor expansion of 0 in c
0.448 * [taylor]: Taking taylor expansion of 0 in c
0.448 * [taylor]: Taking taylor expansion of 0 in b
0.448 * [taylor]: Taking taylor expansion of 0 in b
0.448 * [taylor]: Taking taylor expansion of 0 in b
0.448 * [taylor]: Taking taylor expansion of 0 in b
0.448 * [taylor]: Taking taylor expansion of 0 in b
0.448 * [taylor]: Taking taylor expansion of 0 in b
0.448 * [taylor]: Taking taylor expansion of 0 in b
0.449 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.449 * [taylor]: Taking taylor expansion of a in a
0.449 * [taylor]: Taking taylor expansion of 0 in a
0.449 * [taylor]: Taking taylor expansion of 0 in a
0.449 * [taylor]: Taking taylor expansion of 0 in a
0.449 * [taylor]: Taking taylor expansion of 0 in a
0.449 * [taylor]: Taking taylor expansion of 0 in a
0.449 * [taylor]: Taking taylor expansion of 0 in a
0.449 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))))) in (e d c b a) around 0
0.449 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))))) in a
0.449 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in a
0.449 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.449 * [taylor]: Taking taylor expansion of b in a
0.449 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in a
0.449 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.449 * [taylor]: Taking taylor expansion of c in a
0.449 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in a
0.449 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.449 * [taylor]: Taking taylor expansion of d in a
0.449 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a
0.449 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.450 * [taylor]: Taking taylor expansion of a in a
0.450 * [taylor]: Taking taylor expansion of (/ 1 e) in a
0.450 * [taylor]: Taking taylor expansion of e in a
0.450 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))))) in b
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in b
0.450 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.450 * [taylor]: Taking taylor expansion of b in b
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in b
0.450 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.450 * [taylor]: Taking taylor expansion of c in b
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in b
0.450 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.450 * [taylor]: Taking taylor expansion of d in b
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b
0.450 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.450 * [taylor]: Taking taylor expansion of a in b
0.450 * [taylor]: Taking taylor expansion of (/ 1 e) in b
0.450 * [taylor]: Taking taylor expansion of e in b
0.450 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))))) in c
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in c
0.450 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.450 * [taylor]: Taking taylor expansion of b in c
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in c
0.450 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.450 * [taylor]: Taking taylor expansion of c in c
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in c
0.450 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.450 * [taylor]: Taking taylor expansion of d in c
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c
0.450 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.450 * [taylor]: Taking taylor expansion of a in c
0.450 * [taylor]: Taking taylor expansion of (/ 1 e) in c
0.450 * [taylor]: Taking taylor expansion of e in c
0.450 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))))) in d
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in d
0.450 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.450 * [taylor]: Taking taylor expansion of b in d
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in d
0.450 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.450 * [taylor]: Taking taylor expansion of c in d
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in d
0.450 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.450 * [taylor]: Taking taylor expansion of d in d
0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d
0.450 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.451 * [taylor]: Taking taylor expansion of a in d
0.451 * [taylor]: Taking taylor expansion of (/ 1 e) in d
0.451 * [taylor]: Taking taylor expansion of e in d
0.451 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))))) in e
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in e
0.451 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.451 * [taylor]: Taking taylor expansion of b in e
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in e
0.451 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.451 * [taylor]: Taking taylor expansion of c in e
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in e
0.451 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.451 * [taylor]: Taking taylor expansion of d in e
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e
0.451 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.451 * [taylor]: Taking taylor expansion of a in e
0.451 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.451 * [taylor]: Taking taylor expansion of e in e
0.451 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))))) in e
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))))) in e
0.451 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.451 * [taylor]: Taking taylor expansion of b in e
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (+ (/ 1 a) (/ 1 e)))) in e
0.451 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.451 * [taylor]: Taking taylor expansion of c in e
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 a) (/ 1 e))) in e
0.451 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.451 * [taylor]: Taking taylor expansion of d in e
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e
0.451 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.451 * [taylor]: Taking taylor expansion of a in e
0.451 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.451 * [taylor]: Taking taylor expansion of e in e
0.451 * [taylor]: Taking taylor expansion of (neg 1) in d
0.451 * [taylor]: Taking taylor expansion of 1 in d
0.452 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d
0.452 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
0.452 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.452 * [taylor]: Taking taylor expansion of a in d
0.452 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.452 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.452 * [taylor]: Taking taylor expansion of c in d
0.452 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.452 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.452 * [taylor]: Taking taylor expansion of d in d
0.452 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.452 * [taylor]: Taking taylor expansion of b in d
0.452 * [taylor]: Taking taylor expansion of (neg 1) in c
0.452 * [taylor]: Taking taylor expansion of 1 in c
0.452 * [taylor]: Taking taylor expansion of (neg 1) in c
0.452 * [taylor]: Taking taylor expansion of 1 in c
0.452 * [taylor]: Taking taylor expansion of 0 in d
0.453 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c
0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.453 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.453 * [taylor]: Taking taylor expansion of b in c
0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.453 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.453 * [taylor]: Taking taylor expansion of c in c
0.453 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.453 * [taylor]: Taking taylor expansion of a in c
0.453 * [taylor]: Taking taylor expansion of (neg 1) in b
0.453 * [taylor]: Taking taylor expansion of 1 in b
0.453 * [taylor]: Taking taylor expansion of 0 in c
0.453 * [taylor]: Taking taylor expansion of (neg 1) in b
0.453 * [taylor]: Taking taylor expansion of 1 in b
0.453 * [taylor]: Taking taylor expansion of (neg 1) in b
0.453 * [taylor]: Taking taylor expansion of 1 in b
0.453 * [taylor]: Taking taylor expansion of 0 in d
0.453 * [taylor]: Taking taylor expansion of 0 in c
0.453 * [taylor]: Taking taylor expansion of 0 in c
0.454 * [taylor]: Taking taylor expansion of 0 in c
0.454 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b
0.454 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.454 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.454 * [taylor]: Taking taylor expansion of a in b
0.454 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.454 * [taylor]: Taking taylor expansion of b in b
0.454 * [taylor]: Taking taylor expansion of (neg 1) in a
0.454 * [taylor]: Taking taylor expansion of 1 in a
0.454 * [taylor]: Taking taylor expansion of 0 in b
0.454 * [taylor]: Taking taylor expansion of 0 in b
0.454 * [taylor]: Taking taylor expansion of 0 in b
0.454 * [taylor]: Taking taylor expansion of (neg 1) in a
0.454 * [taylor]: Taking taylor expansion of 1 in a
0.454 * [taylor]: Taking taylor expansion of (neg 1) in a
0.454 * [taylor]: Taking taylor expansion of 1 in a
0.454 * [taylor]: Taking taylor expansion of (neg 1) in a
0.454 * [taylor]: Taking taylor expansion of 1 in a
0.455 * [taylor]: Taking taylor expansion of 0 in d
0.455 * [taylor]: Taking taylor expansion of 0 in c
0.455 * [taylor]: Taking taylor expansion of 0 in c
0.455 * [taylor]: Taking taylor expansion of 0 in c
0.455 * [taylor]: Taking taylor expansion of 0 in c
0.455 * [taylor]: Taking taylor expansion of 0 in b
0.455 * [taylor]: Taking taylor expansion of 0 in b
0.455 * [taylor]: Taking taylor expansion of 0 in b
0.455 * [taylor]: Taking taylor expansion of 0 in b
0.455 * [taylor]: Taking taylor expansion of 0 in b
0.455 * [taylor]: Taking taylor expansion of 0 in b
0.455 * [taylor]: Taking taylor expansion of 0 in b
0.455 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
0.455 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.455 * [taylor]: Taking taylor expansion of a in a
0.455 * [taylor]: Taking taylor expansion of 0 in a
0.456 * [taylor]: Taking taylor expansion of 0 in a
0.456 * [taylor]: Taking taylor expansion of 0 in a
0.456 * [taylor]: Taking taylor expansion of 0 in a
0.456 * [taylor]: Taking taylor expansion of 0 in a
0.456 * [taylor]: Taking taylor expansion of 0 in a
0.456 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.456 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0
0.456 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.456 * [taylor]: Taking taylor expansion of d in a
0.456 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.456 * [taylor]: Taking taylor expansion of a in a
0.456 * [taylor]: Taking taylor expansion of (+ b c) in a
0.456 * [taylor]: Taking taylor expansion of b in a
0.456 * [taylor]: Taking taylor expansion of c in a
0.456 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
0.456 * [taylor]: Taking taylor expansion of d in b
0.456 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
0.456 * [taylor]: Taking taylor expansion of a in b
0.456 * [taylor]: Taking taylor expansion of (+ b c) in b
0.456 * [taylor]: Taking taylor expansion of b in b
0.456 * [taylor]: Taking taylor expansion of c in b
0.456 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
0.456 * [taylor]: Taking taylor expansion of d in c
0.456 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.456 * [taylor]: Taking taylor expansion of a in c
0.456 * [taylor]: Taking taylor expansion of (+ b c) in c
0.456 * [taylor]: Taking taylor expansion of b in c
0.456 * [taylor]: Taking taylor expansion of c in c
0.456 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.456 * [taylor]: Taking taylor expansion of d in d
0.456 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.456 * [taylor]: Taking taylor expansion of a in d
0.456 * [taylor]: Taking taylor expansion of (+ b c) in d
0.457 * [taylor]: Taking taylor expansion of b in d
0.457 * [taylor]: Taking taylor expansion of c in d
0.457 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.457 * [taylor]: Taking taylor expansion of d in d
0.457 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.457 * [taylor]: Taking taylor expansion of a in d
0.457 * [taylor]: Taking taylor expansion of (+ b c) in d
0.457 * [taylor]: Taking taylor expansion of b in d
0.457 * [taylor]: Taking taylor expansion of c in d
0.457 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c
0.457 * [taylor]: Taking taylor expansion of a in c
0.457 * [taylor]: Taking taylor expansion of (+ c b) in c
0.457 * [taylor]: Taking taylor expansion of c in c
0.457 * [taylor]: Taking taylor expansion of b in c
0.457 * [taylor]: Taking taylor expansion of (+ a b) in b
0.457 * [taylor]: Taking taylor expansion of a in b
0.457 * [taylor]: Taking taylor expansion of b in b
0.457 * [taylor]: Taking taylor expansion of a in a
0.457 * [taylor]: Taking taylor expansion of 1 in c
0.457 * [taylor]: Taking taylor expansion of 1 in b
0.457 * [taylor]: Taking taylor expansion of 1 in a
0.457 * [taylor]: Taking taylor expansion of 1 in b
0.457 * [taylor]: Taking taylor expansion of 1 in a
0.457 * [taylor]: Taking taylor expansion of 1 in a
0.457 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in (d c b a) around 0
0.457 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in a
0.457 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.457 * [taylor]: Taking taylor expansion of a in a
0.457 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.457 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.458 * [taylor]: Taking taylor expansion of d in a
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.458 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.458 * [taylor]: Taking taylor expansion of c in a
0.458 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.458 * [taylor]: Taking taylor expansion of b in a
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in b
0.458 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.458 * [taylor]: Taking taylor expansion of a in b
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.458 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.458 * [taylor]: Taking taylor expansion of d in b
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.458 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.458 * [taylor]: Taking taylor expansion of c in b
0.458 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.458 * [taylor]: Taking taylor expansion of b in b
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in c
0.458 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.458 * [taylor]: Taking taylor expansion of a in c
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.458 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.458 * [taylor]: Taking taylor expansion of d in c
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.458 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.458 * [taylor]: Taking taylor expansion of c in c
0.458 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.458 * [taylor]: Taking taylor expansion of b in c
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d
0.458 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.458 * [taylor]: Taking taylor expansion of a in d
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.458 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.458 * [taylor]: Taking taylor expansion of d in d
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.458 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.458 * [taylor]: Taking taylor expansion of c in d
0.458 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.458 * [taylor]: Taking taylor expansion of b in d
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d
0.458 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.458 * [taylor]: Taking taylor expansion of a in d
0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.458 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.458 * [taylor]: Taking taylor expansion of d in d
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.459 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.459 * [taylor]: Taking taylor expansion of c in d
0.459 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.459 * [taylor]: Taking taylor expansion of b in d
0.459 * [taylor]: Taking taylor expansion of 1 in c
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.459 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.459 * [taylor]: Taking taylor expansion of b in c
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.459 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.459 * [taylor]: Taking taylor expansion of c in c
0.459 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.459 * [taylor]: Taking taylor expansion of a in c
0.459 * [taylor]: Taking taylor expansion of 1 in b
0.459 * [taylor]: Taking taylor expansion of 1 in b
0.459 * [taylor]: Taking taylor expansion of 0 in c
0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.459 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.459 * [taylor]: Taking taylor expansion of a in b
0.459 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.459 * [taylor]: Taking taylor expansion of b in b
0.460 * [taylor]: Taking taylor expansion of 1 in a
0.460 * [taylor]: Taking taylor expansion of 0 in b
0.460 * [taylor]: Taking taylor expansion of 1 in a
0.460 * [taylor]: Taking taylor expansion of 1 in a
0.460 * [taylor]: Taking taylor expansion of 0 in c
0.460 * [taylor]: Taking taylor expansion of 0 in b
0.460 * [taylor]: Taking taylor expansion of 0 in b
0.460 * [taylor]: Taking taylor expansion of 0 in b
0.460 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.460 * [taylor]: Taking taylor expansion of a in a
0.460 * [taylor]: Taking taylor expansion of 0 in a
0.460 * [taylor]: Taking taylor expansion of 0 in a
0.460 * [taylor]: Taking taylor expansion of 0 in a
0.461 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in (d c b a) around 0
0.461 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in a
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in a
0.461 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.461 * [taylor]: Taking taylor expansion of a in a
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in a
0.461 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.461 * [taylor]: Taking taylor expansion of d in a
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.461 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.461 * [taylor]: Taking taylor expansion of c in a
0.461 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.461 * [taylor]: Taking taylor expansion of b in a
0.461 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in b
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in b
0.461 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.461 * [taylor]: Taking taylor expansion of a in b
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in b
0.461 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.461 * [taylor]: Taking taylor expansion of d in b
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.461 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.461 * [taylor]: Taking taylor expansion of c in b
0.461 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.461 * [taylor]: Taking taylor expansion of b in b
0.461 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in c
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in c
0.461 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.461 * [taylor]: Taking taylor expansion of a in c
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in c
0.461 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.461 * [taylor]: Taking taylor expansion of d in c
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.461 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.461 * [taylor]: Taking taylor expansion of c in c
0.461 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.461 * [taylor]: Taking taylor expansion of b in c
0.461 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in d
0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d
0.461 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.461 * [taylor]: Taking taylor expansion of a in d
0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.462 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.462 * [taylor]: Taking taylor expansion of d in d
0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.462 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.462 * [taylor]: Taking taylor expansion of c in d
0.462 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.462 * [taylor]: Taking taylor expansion of b in d
0.462 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in d
0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d
0.462 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.462 * [taylor]: Taking taylor expansion of a in d
0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d
0.462 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.462 * [taylor]: Taking taylor expansion of d in d
0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d
0.462 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.462 * [taylor]: Taking taylor expansion of c in d
0.462 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.462 * [taylor]: Taking taylor expansion of b in d
0.462 * [taylor]: Taking taylor expansion of (neg 1) in c
0.462 * [taylor]: Taking taylor expansion of 1 in c
0.462 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c
0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c
0.462 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.462 * [taylor]: Taking taylor expansion of b in c
0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c
0.462 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.462 * [taylor]: Taking taylor expansion of c in c
0.462 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.462 * [taylor]: Taking taylor expansion of a in c
0.463 * [taylor]: Taking taylor expansion of (neg 1) in b
0.463 * [taylor]: Taking taylor expansion of 1 in b
0.463 * [taylor]: Taking taylor expansion of (neg 1) in b
0.463 * [taylor]: Taking taylor expansion of 1 in b
0.463 * [taylor]: Taking taylor expansion of 0 in c
0.463 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b
0.463 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.463 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.463 * [taylor]: Taking taylor expansion of a in b
0.463 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.463 * [taylor]: Taking taylor expansion of b in b
0.463 * [taylor]: Taking taylor expansion of (neg 1) in a
0.463 * [taylor]: Taking taylor expansion of 1 in a
0.463 * [taylor]: Taking taylor expansion of 0 in b
0.463 * [taylor]: Taking taylor expansion of (neg 1) in a
0.463 * [taylor]: Taking taylor expansion of 1 in a
0.463 * [taylor]: Taking taylor expansion of (neg 1) in a
0.463 * [taylor]: Taking taylor expansion of 1 in a
0.463 * [taylor]: Taking taylor expansion of 0 in c
0.464 * [taylor]: Taking taylor expansion of 0 in b
0.464 * [taylor]: Taking taylor expansion of 0 in b
0.464 * [taylor]: Taking taylor expansion of 0 in b
0.464 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
0.464 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.464 * [taylor]: Taking taylor expansion of a in a
0.464 * [taylor]: Taking taylor expansion of 0 in a
0.464 * [taylor]: Taking taylor expansion of 0 in a
0.464 * [taylor]: Taking taylor expansion of 0 in a
0.464 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
0.464 * [approximate]: Taking taylor expansion of (+ d (+ b c)) in (d c b) around 0
0.464 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b
0.464 * [taylor]: Taking taylor expansion of d in b
0.464 * [taylor]: Taking taylor expansion of (+ b c) in b
0.464 * [taylor]: Taking taylor expansion of b in b
0.464 * [taylor]: Taking taylor expansion of c in b
0.464 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c
0.464 * [taylor]: Taking taylor expansion of d in c
0.464 * [taylor]: Taking taylor expansion of (+ b c) in c
0.464 * [taylor]: Taking taylor expansion of b in c
0.464 * [taylor]: Taking taylor expansion of c in c
0.464 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
0.464 * [taylor]: Taking taylor expansion of d in d
0.465 * [taylor]: Taking taylor expansion of (+ b c) in d
0.465 * [taylor]: Taking taylor expansion of b in d
0.465 * [taylor]: Taking taylor expansion of c in d
0.465 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d
0.465 * [taylor]: Taking taylor expansion of d in d
0.465 * [taylor]: Taking taylor expansion of (+ b c) in d
0.465 * [taylor]: Taking taylor expansion of b in d
0.465 * [taylor]: Taking taylor expansion of c in d
0.465 * [taylor]: Taking taylor expansion of (+ c b) in c
0.465 * [taylor]: Taking taylor expansion of c in c
0.465 * [taylor]: Taking taylor expansion of b in c
0.465 * [taylor]: Taking taylor expansion of b in b
0.465 * [taylor]: Taking taylor expansion of 1 in c
0.465 * [taylor]: Taking taylor expansion of 1 in b
0.465 * [taylor]: Taking taylor expansion of 1 in b
0.465 * [approximate]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in (d c b) around 0
0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.465 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.465 * [taylor]: Taking taylor expansion of c in b
0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.465 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.465 * [taylor]: Taking taylor expansion of d in b
0.465 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.465 * [taylor]: Taking taylor expansion of b in b
0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
0.465 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.465 * [taylor]: Taking taylor expansion of c in c
0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
0.465 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.465 * [taylor]: Taking taylor expansion of d in c
0.465 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.465 * [taylor]: Taking taylor expansion of b in c
0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.465 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.465 * [taylor]: Taking taylor expansion of c in d
0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.466 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.466 * [taylor]: Taking taylor expansion of d in d
0.466 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.466 * [taylor]: Taking taylor expansion of b in d
0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.466 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.466 * [taylor]: Taking taylor expansion of c in d
0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.466 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.466 * [taylor]: Taking taylor expansion of d in d
0.466 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.466 * [taylor]: Taking taylor expansion of b in d
0.466 * [taylor]: Taking taylor expansion of 1 in c
0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.466 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.466 * [taylor]: Taking taylor expansion of c in c
0.466 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.466 * [taylor]: Taking taylor expansion of b in c
0.466 * [taylor]: Taking taylor expansion of 1 in b
0.466 * [taylor]: Taking taylor expansion of 1 in b
0.466 * [taylor]: Taking taylor expansion of 0 in c
0.466 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.466 * [taylor]: Taking taylor expansion of b in b
0.466 * [taylor]: Taking taylor expansion of 0 in b
0.467 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b) around 0
0.467 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b
0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b
0.467 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.467 * [taylor]: Taking taylor expansion of c in b
0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b
0.467 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.467 * [taylor]: Taking taylor expansion of d in b
0.467 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.467 * [taylor]: Taking taylor expansion of b in b
0.467 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c
0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c
0.467 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.467 * [taylor]: Taking taylor expansion of c in c
0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c
0.467 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.467 * [taylor]: Taking taylor expansion of d in c
0.467 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.467 * [taylor]: Taking taylor expansion of b in c
0.467 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.467 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.467 * [taylor]: Taking taylor expansion of c in d
0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.467 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.467 * [taylor]: Taking taylor expansion of d in d
0.467 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.467 * [taylor]: Taking taylor expansion of b in d
0.467 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d
0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d
0.467 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.467 * [taylor]: Taking taylor expansion of c in d
0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d
0.467 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.467 * [taylor]: Taking taylor expansion of d in d
0.467 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.467 * [taylor]: Taking taylor expansion of b in d
0.468 * [taylor]: Taking taylor expansion of (neg 1) in c
0.468 * [taylor]: Taking taylor expansion of 1 in c
0.468 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 c) (/ 1 b))) in c
0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.468 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.468 * [taylor]: Taking taylor expansion of c in c
0.468 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.468 * [taylor]: Taking taylor expansion of b in c
0.468 * [taylor]: Taking taylor expansion of (neg 1) in b
0.468 * [taylor]: Taking taylor expansion of 1 in b
0.468 * [taylor]: Taking taylor expansion of (neg 1) in b
0.468 * [taylor]: Taking taylor expansion of 1 in b
0.468 * [taylor]: Taking taylor expansion of 0 in c
0.468 * [taylor]: Taking taylor expansion of (neg (/ 1 b)) in b
0.468 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.468 * [taylor]: Taking taylor expansion of b in b
0.468 * [taylor]: Taking taylor expansion of 0 in b
0.468 * * * [progress]: simplifying candidates
0.469 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp e) (* (* (exp d) (* (exp c) (exp b))) (exp a)))
  (* (exp e) (* (* (exp d) (exp (+ c b))) (exp a)))
  (* (exp e) (* (exp (+ d (+ c b))) (exp 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 (+ c b)))
  (* (* (exp d) (* (exp c) (exp b))) (exp a))
  (* (* (exp d) (exp (+ c b))) (exp a))
  (* (exp (+ d (+ c b))) (exp 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 (+ c b)) 3) (pow a 3))
  (+ (* (+ d (+ c b)) (+ d (+ c b))) (- (* a a) (* (+ d (+ c b)) a)))
  (- (* (+ d (+ c b)) (+ d (+ c b))) (* a a))
  (- (+ d (+ c b)) a)
  (+ (+ d (+ c b)) a)
  (+ (+ d (+ c b)) a)
  (+ (+ d (+ c b)) a)
  (+ (+ c b) a)
  (* (exp d) (* (exp c) (exp b)))
  (* (exp d) (exp (+ c b)))
  (log (+ d (+ c b)))
  (exp (+ d (+ c b)))
  (* (cbrt (+ d (+ c b))) (cbrt (+ d (+ c b))))
  (cbrt (+ d (+ c b)))
  (* (* (+ d (+ c b)) (+ d (+ c b))) (+ d (+ c b)))
  (sqrt (+ d (+ c b)))
  (sqrt (+ d (+ c b)))
  (+ (pow d 3) (pow (+ c b) 3))
  (+ (* d d) (- (* (+ c b) (+ c b)) (* d (+ c b))))
  (- (* d d) (* (+ c b) (+ c b)))
  (- d (+ c b))
  (+ d (+ c b))
  (+ d (+ c b))
  (+ d c)
  (+ d (+ e c))
  (+ a (+ b c))
  (+ a (+ b c))
  (+ d (+ b c))
  (+ a (+ b c))
  (+ a (+ b c))
  (+ d (+ b c))
  (+ d (+ b c))
  (+ d (+ b c))
0.490 * * [simplify]: iteration  0 :  5488  enodes  (cost  551 )
0.492 * [simplify]: Simplified to:
   (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (log (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (* (cbrt (+ e (+ d (+ c (+ b a))))) (cbrt (+ e (+ d (+ c (+ b a))))))
  (cbrt (+ e (+ d (+ c (+ b a)))))
  (pow (+ e (+ d (+ c (+ b a)))) 3)
  (sqrt (+ e (+ d (+ c (+ b a)))))
  (sqrt (+ e (+ d (+ c (+ b a)))))
  (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3))
  (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e))))))
  (- (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))))
  (- e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c b)))
  (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 (+ c b)) 3) (pow a 3))
  (+ (* a a) (* (+ d (+ c b)) (+ d (+ c (- b a)))))
  (- (* (+ d (+ c b)) (+ d (+ c b))) (* a a))
  (+ d (+ c (- b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ c (+ b a))
  (exp (+ d (+ c b)))
  (exp (+ d (+ c b)))
  (log (+ d (+ c b)))
  (exp (+ d (+ c b)))
  (* (cbrt (+ d (+ c b))) (cbrt (+ d (+ c b))))
  (cbrt (+ d (+ c b)))
  (pow (+ d (+ c b)) 3)
  (sqrt (+ d (+ c b)))
  (sqrt (+ d (+ c b)))
  (+ (pow d 3) (pow (+ c b) 3))
  (+ (* d d) (* (+ c b) (+ c (- b d))))
  (- (* d d) (* (+ c b) (+ c b)))
  (- d (+ c b))
  (+ d (+ c b))
  (+ d (+ c b))
  (+ d c)
  (+ e (+ d c))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ d (+ c b))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ d (+ c b))
  (+ d (+ c b))
  (+ d (+ c b))
0.492 * * * [progress]: adding candidates to table
0.554 * * [progress]: iteration 4 / 4
0.554 * * * [progress]: picking best candidate
0.573 * * * * [pick]: Picked  #<alt (λ (a b c d e) (+ e (+ d (+ (+ c b) a))))>
0.573 * * * [progress]: localizing error
0.579 * * * [progress]: generating rewritten candidates
0.579 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.589 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.596 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
0.603 * * * [progress]: generating series expansions
0.603 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.604 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0
0.604 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a
0.604 * [taylor]: Taking taylor expansion of d in a
0.604 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a
0.604 * [taylor]: Taking taylor expansion of e in a
0.604 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a
0.604 * [taylor]: Taking taylor expansion of b in a
0.604 * [taylor]: Taking taylor expansion of (+ a c) in a
0.604 * [taylor]: Taking taylor expansion of a in a
0.604 * [taylor]: Taking taylor expansion of c in a
0.604 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b
0.604 * [taylor]: Taking taylor expansion of d in b
0.604 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b
0.604 * [taylor]: Taking taylor expansion of e in b
0.604 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b
0.604 * [taylor]: Taking taylor expansion of b in b
0.604 * [taylor]: Taking taylor expansion of (+ a c) in b
0.604 * [taylor]: Taking taylor expansion of a in b
0.604 * [taylor]: Taking taylor expansion of c in b
0.604 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c
0.604 * [taylor]: Taking taylor expansion of d in c
0.604 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c
0.604 * [taylor]: Taking taylor expansion of e in c
0.604 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c
0.604 * [taylor]: Taking taylor expansion of b in c
0.604 * [taylor]: Taking taylor expansion of (+ a c) in c
0.604 * [taylor]: Taking taylor expansion of a in c
0.604 * [taylor]: Taking taylor expansion of c in c
0.604 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d
0.604 * [taylor]: Taking taylor expansion of d in d
0.604 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d
0.604 * [taylor]: Taking taylor expansion of e in d
0.604 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d
0.604 * [taylor]: Taking taylor expansion of b in d
0.604 * [taylor]: Taking taylor expansion of (+ a c) in d
0.604 * [taylor]: Taking taylor expansion of a in d
0.604 * [taylor]: Taking taylor expansion of c in d
0.604 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e
0.604 * [taylor]: Taking taylor expansion of d in e
0.604 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e
0.604 * [taylor]: Taking taylor expansion of e in e
0.604 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e
0.604 * [taylor]: Taking taylor expansion of b in e
0.604 * [taylor]: Taking taylor expansion of (+ a c) in e
0.604 * [taylor]: Taking taylor expansion of a in e
0.604 * [taylor]: Taking taylor expansion of c in e
0.604 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e
0.604 * [taylor]: Taking taylor expansion of d in e
0.604 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e
0.604 * [taylor]: Taking taylor expansion of e in e
0.604 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e
0.604 * [taylor]: Taking taylor expansion of b in e
0.604 * [taylor]: Taking taylor expansion of (+ a c) in e
0.604 * [taylor]: Taking taylor expansion of a in e
0.604 * [taylor]: Taking taylor expansion of c in e
0.605 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.605 * [taylor]: Taking taylor expansion of d in d
0.605 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.605 * [taylor]: Taking taylor expansion of a in d
0.605 * [taylor]: Taking taylor expansion of (+ b c) in d
0.605 * [taylor]: Taking taylor expansion of b in d
0.605 * [taylor]: Taking taylor expansion of c in d
0.605 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c
0.605 * [taylor]: Taking taylor expansion of a in c
0.605 * [taylor]: Taking taylor expansion of (+ c b) in c
0.605 * [taylor]: Taking taylor expansion of c in c
0.605 * [taylor]: Taking taylor expansion of b in c
0.605 * [taylor]: Taking taylor expansion of (+ a b) in b
0.605 * [taylor]: Taking taylor expansion of a in b
0.605 * [taylor]: Taking taylor expansion of b in b
0.605 * [taylor]: Taking taylor expansion of a in a
0.605 * [taylor]: Taking taylor expansion of 1 in d
0.605 * [taylor]: Taking taylor expansion of 1 in c
0.605 * [taylor]: Taking taylor expansion of 1 in b
0.605 * [taylor]: Taking taylor expansion of 1 in a
0.605 * [taylor]: Taking taylor expansion of 1 in c
0.605 * [taylor]: Taking taylor expansion of 1 in b
0.605 * [taylor]: Taking taylor expansion of 1 in a
0.605 * [taylor]: Taking taylor expansion of 1 in b
0.605 * [taylor]: Taking taylor expansion of 1 in a
0.606 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in (e d c b a) around 0
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in a
0.606 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.606 * [taylor]: Taking taylor expansion of a in a
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in a
0.606 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.606 * [taylor]: Taking taylor expansion of d in a
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in a
0.606 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.606 * [taylor]: Taking taylor expansion of c in a
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in a
0.606 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.606 * [taylor]: Taking taylor expansion of b in a
0.606 * [taylor]: Taking taylor expansion of (/ 1 e) in a
0.606 * [taylor]: Taking taylor expansion of e in a
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in b
0.606 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.606 * [taylor]: Taking taylor expansion of a in b
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in b
0.606 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.606 * [taylor]: Taking taylor expansion of d in b
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in b
0.606 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.606 * [taylor]: Taking taylor expansion of c in b
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in b
0.606 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.606 * [taylor]: Taking taylor expansion of b in b
0.606 * [taylor]: Taking taylor expansion of (/ 1 e) in b
0.606 * [taylor]: Taking taylor expansion of e in b
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in c
0.606 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.606 * [taylor]: Taking taylor expansion of a in c
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in c
0.606 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.606 * [taylor]: Taking taylor expansion of d in c
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in c
0.606 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.606 * [taylor]: Taking taylor expansion of c in c
0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in c
0.606 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.606 * [taylor]: Taking taylor expansion of b in c
0.607 * [taylor]: Taking taylor expansion of (/ 1 e) in c
0.607 * [taylor]: Taking taylor expansion of e in c
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in d
0.607 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.607 * [taylor]: Taking taylor expansion of a in d
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in d
0.607 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.607 * [taylor]: Taking taylor expansion of d in d
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in d
0.607 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.607 * [taylor]: Taking taylor expansion of c in d
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in d
0.607 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.607 * [taylor]: Taking taylor expansion of b in d
0.607 * [taylor]: Taking taylor expansion of (/ 1 e) in d
0.607 * [taylor]: Taking taylor expansion of e in d
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in e
0.607 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.607 * [taylor]: Taking taylor expansion of a in e
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in e
0.607 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.607 * [taylor]: Taking taylor expansion of d in e
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in e
0.607 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.607 * [taylor]: Taking taylor expansion of c in e
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e
0.607 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.607 * [taylor]: Taking taylor expansion of b in e
0.607 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.607 * [taylor]: Taking taylor expansion of e in e
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in e
0.607 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.607 * [taylor]: Taking taylor expansion of a in e
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in e
0.607 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.607 * [taylor]: Taking taylor expansion of d in e
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in e
0.607 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.607 * [taylor]: Taking taylor expansion of c in e
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e
0.607 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.607 * [taylor]: Taking taylor expansion of b in e
0.607 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.607 * [taylor]: Taking taylor expansion of e in e
0.608 * [taylor]: Taking taylor expansion of 1 in d
0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.608 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.608 * [taylor]: Taking taylor expansion of b in d
0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.608 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.608 * [taylor]: Taking taylor expansion of c in d
0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.608 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.608 * [taylor]: Taking taylor expansion of d in d
0.608 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.608 * [taylor]: Taking taylor expansion of a in d
0.608 * [taylor]: Taking taylor expansion of 1 in c
0.608 * [taylor]: Taking taylor expansion of 1 in c
0.608 * [taylor]: Taking taylor expansion of 0 in d
0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.609 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.609 * [taylor]: Taking taylor expansion of a in c
0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.609 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.609 * [taylor]: Taking taylor expansion of c in c
0.609 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.609 * [taylor]: Taking taylor expansion of b in c
0.609 * [taylor]: Taking taylor expansion of 1 in b
0.609 * [taylor]: Taking taylor expansion of 0 in c
0.609 * [taylor]: Taking taylor expansion of 1 in b
0.609 * [taylor]: Taking taylor expansion of 1 in b
0.609 * [taylor]: Taking taylor expansion of 0 in d
0.609 * [taylor]: Taking taylor expansion of 0 in c
0.609 * [taylor]: Taking taylor expansion of 0 in c
0.609 * [taylor]: Taking taylor expansion of 0 in c
0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.610 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.610 * [taylor]: Taking taylor expansion of b in b
0.610 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.610 * [taylor]: Taking taylor expansion of a in b
0.610 * [taylor]: Taking taylor expansion of 1 in a
0.610 * [taylor]: Taking taylor expansion of 0 in b
0.610 * [taylor]: Taking taylor expansion of 0 in b
0.610 * [taylor]: Taking taylor expansion of 0 in b
0.610 * [taylor]: Taking taylor expansion of 1 in a
0.610 * [taylor]: Taking taylor expansion of 1 in a
0.610 * [taylor]: Taking taylor expansion of 1 in a
0.610 * [taylor]: Taking taylor expansion of 0 in d
0.610 * [taylor]: Taking taylor expansion of 0 in c
0.610 * [taylor]: Taking taylor expansion of 0 in c
0.611 * [taylor]: Taking taylor expansion of 0 in c
0.611 * [taylor]: Taking taylor expansion of 0 in c
0.611 * [taylor]: Taking taylor expansion of 0 in b
0.611 * [taylor]: Taking taylor expansion of 0 in b
0.611 * [taylor]: Taking taylor expansion of 0 in b
0.611 * [taylor]: Taking taylor expansion of 0 in b
0.611 * [taylor]: Taking taylor expansion of 0 in b
0.611 * [taylor]: Taking taylor expansion of 0 in b
0.611 * [taylor]: Taking taylor expansion of 0 in b
0.611 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.611 * [taylor]: Taking taylor expansion of a in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.611 * [taylor]: Taking taylor expansion of 0 in a
0.612 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))))) in (e d c b a) around 0
0.612 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))))) in a
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in a
0.612 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.612 * [taylor]: Taking taylor expansion of a in a
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in a
0.612 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.612 * [taylor]: Taking taylor expansion of d in a
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in a
0.612 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.612 * [taylor]: Taking taylor expansion of c in a
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in a
0.612 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.612 * [taylor]: Taking taylor expansion of b in a
0.612 * [taylor]: Taking taylor expansion of (/ 1 e) in a
0.612 * [taylor]: Taking taylor expansion of e in a
0.612 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))))) in b
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in b
0.612 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.612 * [taylor]: Taking taylor expansion of a in b
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in b
0.612 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.612 * [taylor]: Taking taylor expansion of d in b
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in b
0.612 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.612 * [taylor]: Taking taylor expansion of c in b
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in b
0.612 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.612 * [taylor]: Taking taylor expansion of b in b
0.612 * [taylor]: Taking taylor expansion of (/ 1 e) in b
0.612 * [taylor]: Taking taylor expansion of e in b
0.612 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))))) in c
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in c
0.612 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.612 * [taylor]: Taking taylor expansion of a in c
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in c
0.613 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.613 * [taylor]: Taking taylor expansion of d in c
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in c
0.613 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.613 * [taylor]: Taking taylor expansion of c in c
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in c
0.613 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.613 * [taylor]: Taking taylor expansion of b in c
0.613 * [taylor]: Taking taylor expansion of (/ 1 e) in c
0.613 * [taylor]: Taking taylor expansion of e in c
0.613 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))))) in d
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in d
0.613 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.613 * [taylor]: Taking taylor expansion of a in d
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in d
0.613 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.613 * [taylor]: Taking taylor expansion of d in d
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in d
0.613 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.613 * [taylor]: Taking taylor expansion of c in d
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in d
0.613 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.613 * [taylor]: Taking taylor expansion of b in d
0.613 * [taylor]: Taking taylor expansion of (/ 1 e) in d
0.613 * [taylor]: Taking taylor expansion of e in d
0.613 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))))) in e
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in e
0.613 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.613 * [taylor]: Taking taylor expansion of a in e
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in e
0.613 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.613 * [taylor]: Taking taylor expansion of d in e
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in e
0.613 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.613 * [taylor]: Taking taylor expansion of c in e
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e
0.613 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.613 * [taylor]: Taking taylor expansion of b in e
0.613 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.613 * [taylor]: Taking taylor expansion of e in e
0.613 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))))) in e
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))))) in e
0.613 * [taylor]: Taking taylor expansion of (/ 1 a) in e
0.613 * [taylor]: Taking taylor expansion of a in e
0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 b) (/ 1 e)))) in e
0.614 * [taylor]: Taking taylor expansion of (/ 1 d) in e
0.614 * [taylor]: Taking taylor expansion of d in e
0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (/ 1 e))) in e
0.614 * [taylor]: Taking taylor expansion of (/ 1 c) in e
0.614 * [taylor]: Taking taylor expansion of c in e
0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 e)) in e
0.614 * [taylor]: Taking taylor expansion of (/ 1 b) in e
0.614 * [taylor]: Taking taylor expansion of b in e
0.614 * [taylor]: Taking taylor expansion of (/ 1 e) in e
0.614 * [taylor]: Taking taylor expansion of e in e
0.614 * [taylor]: Taking taylor expansion of (neg 1) in d
0.614 * [taylor]: Taking taylor expansion of 1 in d
0.614 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d
0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d
0.614 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.614 * [taylor]: Taking taylor expansion of b in d
0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d
0.614 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.614 * [taylor]: Taking taylor expansion of d in d
0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d
0.614 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.614 * [taylor]: Taking taylor expansion of c in d
0.614 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.614 * [taylor]: Taking taylor expansion of a in d
0.615 * [taylor]: Taking taylor expansion of (neg 1) in c
0.615 * [taylor]: Taking taylor expansion of 1 in c
0.615 * [taylor]: Taking taylor expansion of (neg 1) in c
0.615 * [taylor]: Taking taylor expansion of 1 in c
0.615 * [taylor]: Taking taylor expansion of 0 in d
0.615 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c
0.615 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.615 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.615 * [taylor]: Taking taylor expansion of a in c
0.615 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.615 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.615 * [taylor]: Taking taylor expansion of c in c
0.615 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.615 * [taylor]: Taking taylor expansion of b in c
0.615 * [taylor]: Taking taylor expansion of (neg 1) in b
0.615 * [taylor]: Taking taylor expansion of 1 in b
0.615 * [taylor]: Taking taylor expansion of 0 in c
0.615 * [taylor]: Taking taylor expansion of (neg 1) in b
0.615 * [taylor]: Taking taylor expansion of 1 in b
0.615 * [taylor]: Taking taylor expansion of (neg 1) in b
0.615 * [taylor]: Taking taylor expansion of 1 in b
0.616 * [taylor]: Taking taylor expansion of 0 in d
0.616 * [taylor]: Taking taylor expansion of 0 in c
0.616 * [taylor]: Taking taylor expansion of 0 in c
0.616 * [taylor]: Taking taylor expansion of 0 in c
0.616 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b
0.616 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.616 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.616 * [taylor]: Taking taylor expansion of b in b
0.616 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.616 * [taylor]: Taking taylor expansion of a in b
0.616 * [taylor]: Taking taylor expansion of (neg 1) in a
0.616 * [taylor]: Taking taylor expansion of 1 in a
0.616 * [taylor]: Taking taylor expansion of 0 in b
0.616 * [taylor]: Taking taylor expansion of 0 in b
0.616 * [taylor]: Taking taylor expansion of 0 in b
0.617 * [taylor]: Taking taylor expansion of (neg 1) in a
0.617 * [taylor]: Taking taylor expansion of 1 in a
0.617 * [taylor]: Taking taylor expansion of (neg 1) in a
0.617 * [taylor]: Taking taylor expansion of 1 in a
0.617 * [taylor]: Taking taylor expansion of (neg 1) in a
0.617 * [taylor]: Taking taylor expansion of 1 in a
0.617 * [taylor]: Taking taylor expansion of 0 in d
0.617 * [taylor]: Taking taylor expansion of 0 in c
0.617 * [taylor]: Taking taylor expansion of 0 in c
0.617 * [taylor]: Taking taylor expansion of 0 in c
0.617 * [taylor]: Taking taylor expansion of 0 in c
0.617 * [taylor]: Taking taylor expansion of 0 in b
0.617 * [taylor]: Taking taylor expansion of 0 in b
0.618 * [taylor]: Taking taylor expansion of 0 in b
0.618 * [taylor]: Taking taylor expansion of 0 in b
0.618 * [taylor]: Taking taylor expansion of 0 in b
0.618 * [taylor]: Taking taylor expansion of 0 in b
0.618 * [taylor]: Taking taylor expansion of 0 in b
0.618 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
0.618 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.618 * [taylor]: Taking taylor expansion of a in a
0.618 * [taylor]: Taking taylor expansion of 0 in a
0.618 * [taylor]: Taking taylor expansion of 0 in a
0.618 * [taylor]: Taking taylor expansion of 0 in a
0.618 * [taylor]: Taking taylor expansion of 0 in a
0.618 * [taylor]: Taking taylor expansion of 0 in a
0.618 * [taylor]: Taking taylor expansion of 0 in a
0.618 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.619 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0
0.619 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a
0.619 * [taylor]: Taking taylor expansion of d in a
0.619 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.619 * [taylor]: Taking taylor expansion of a in a
0.619 * [taylor]: Taking taylor expansion of (+ b c) in a
0.619 * [taylor]: Taking taylor expansion of b in a
0.619 * [taylor]: Taking taylor expansion of c in a
0.619 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b
0.619 * [taylor]: Taking taylor expansion of d in b
0.619 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
0.619 * [taylor]: Taking taylor expansion of a in b
0.619 * [taylor]: Taking taylor expansion of (+ b c) in b
0.619 * [taylor]: Taking taylor expansion of b in b
0.619 * [taylor]: Taking taylor expansion of c in b
0.619 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c
0.619 * [taylor]: Taking taylor expansion of d in c
0.619 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.619 * [taylor]: Taking taylor expansion of a in c
0.619 * [taylor]: Taking taylor expansion of (+ b c) in c
0.619 * [taylor]: Taking taylor expansion of b in c
0.619 * [taylor]: Taking taylor expansion of c in c
0.619 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.619 * [taylor]: Taking taylor expansion of d in d
0.619 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.619 * [taylor]: Taking taylor expansion of a in d
0.619 * [taylor]: Taking taylor expansion of (+ b c) in d
0.619 * [taylor]: Taking taylor expansion of b in d
0.619 * [taylor]: Taking taylor expansion of c in d
0.619 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d
0.619 * [taylor]: Taking taylor expansion of d in d
0.619 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d
0.619 * [taylor]: Taking taylor expansion of a in d
0.619 * [taylor]: Taking taylor expansion of (+ b c) in d
0.619 * [taylor]: Taking taylor expansion of b in d
0.619 * [taylor]: Taking taylor expansion of c in d
0.619 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c
0.619 * [taylor]: Taking taylor expansion of a in c
0.619 * [taylor]: Taking taylor expansion of (+ c b) in c
0.619 * [taylor]: Taking taylor expansion of c in c
0.619 * [taylor]: Taking taylor expansion of b in c
0.619 * [taylor]: Taking taylor expansion of (+ a b) in b
0.619 * [taylor]: Taking taylor expansion of a in b
0.619 * [taylor]: Taking taylor expansion of b in b
0.619 * [taylor]: Taking taylor expansion of a in a
0.620 * [taylor]: Taking taylor expansion of 1 in c
0.620 * [taylor]: Taking taylor expansion of 1 in b
0.620 * [taylor]: Taking taylor expansion of 1 in a
0.620 * [taylor]: Taking taylor expansion of 1 in b
0.620 * [taylor]: Taking taylor expansion of 1 in a
0.620 * [taylor]: Taking taylor expansion of 1 in a
0.620 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in (d c b a) around 0
0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.620 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.620 * [taylor]: Taking taylor expansion of b in a
0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.620 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.620 * [taylor]: Taking taylor expansion of c in a
0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.620 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.620 * [taylor]: Taking taylor expansion of d in a
0.620 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.620 * [taylor]: Taking taylor expansion of a in a
0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
0.620 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.620 * [taylor]: Taking taylor expansion of b in b
0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
0.620 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.620 * [taylor]: Taking taylor expansion of c in b
0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
0.620 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.620 * [taylor]: Taking taylor expansion of d in b
0.620 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.620 * [taylor]: Taking taylor expansion of a in b
0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
0.620 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.620 * [taylor]: Taking taylor expansion of b in c
0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
0.621 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.621 * [taylor]: Taking taylor expansion of c in c
0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
0.621 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.621 * [taylor]: Taking taylor expansion of d in c
0.621 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.621 * [taylor]: Taking taylor expansion of a in c
0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.621 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.621 * [taylor]: Taking taylor expansion of b in d
0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.621 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.621 * [taylor]: Taking taylor expansion of c in d
0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.621 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.621 * [taylor]: Taking taylor expansion of d in d
0.621 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.621 * [taylor]: Taking taylor expansion of a in d
0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.621 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.621 * [taylor]: Taking taylor expansion of b in d
0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.621 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.621 * [taylor]: Taking taylor expansion of c in d
0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.621 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.621 * [taylor]: Taking taylor expansion of d in d
0.621 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.621 * [taylor]: Taking taylor expansion of a in d
0.621 * [taylor]: Taking taylor expansion of 1 in c
0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.621 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.621 * [taylor]: Taking taylor expansion of a in c
0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.621 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.621 * [taylor]: Taking taylor expansion of c in c
0.622 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.622 * [taylor]: Taking taylor expansion of b in c
0.622 * [taylor]: Taking taylor expansion of 1 in b
0.622 * [taylor]: Taking taylor expansion of 1 in b
0.622 * [taylor]: Taking taylor expansion of 0 in c
0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.622 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.622 * [taylor]: Taking taylor expansion of b in b
0.622 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.622 * [taylor]: Taking taylor expansion of a in b
0.622 * [taylor]: Taking taylor expansion of 1 in a
0.622 * [taylor]: Taking taylor expansion of 0 in b
0.622 * [taylor]: Taking taylor expansion of 1 in a
0.622 * [taylor]: Taking taylor expansion of 1 in a
0.622 * [taylor]: Taking taylor expansion of 0 in c
0.622 * [taylor]: Taking taylor expansion of 0 in b
0.623 * [taylor]: Taking taylor expansion of 0 in b
0.623 * [taylor]: Taking taylor expansion of 0 in b
0.623 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.623 * [taylor]: Taking taylor expansion of a in a
0.623 * [taylor]: Taking taylor expansion of 0 in a
0.623 * [taylor]: Taking taylor expansion of 0 in a
0.623 * [taylor]: Taking taylor expansion of 0 in a
0.623 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in (d c b a) around 0
0.623 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in a
0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in a
0.623 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.623 * [taylor]: Taking taylor expansion of b in a
0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in a
0.623 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.623 * [taylor]: Taking taylor expansion of c in a
0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in a
0.623 * [taylor]: Taking taylor expansion of (/ 1 d) in a
0.623 * [taylor]: Taking taylor expansion of d in a
0.623 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.623 * [taylor]: Taking taylor expansion of a in a
0.623 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in b
0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in b
0.623 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.623 * [taylor]: Taking taylor expansion of b in b
0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in b
0.624 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.624 * [taylor]: Taking taylor expansion of c in b
0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in b
0.624 * [taylor]: Taking taylor expansion of (/ 1 d) in b
0.624 * [taylor]: Taking taylor expansion of d in b
0.624 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.624 * [taylor]: Taking taylor expansion of a in b
0.624 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in c
0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in c
0.624 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.624 * [taylor]: Taking taylor expansion of b in c
0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in c
0.624 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.624 * [taylor]: Taking taylor expansion of c in c
0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in c
0.624 * [taylor]: Taking taylor expansion of (/ 1 d) in c
0.624 * [taylor]: Taking taylor expansion of d in c
0.624 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.624 * [taylor]: Taking taylor expansion of a in c
0.624 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d
0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.624 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.624 * [taylor]: Taking taylor expansion of b in d
0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.624 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.624 * [taylor]: Taking taylor expansion of c in d
0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.624 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.624 * [taylor]: Taking taylor expansion of d in d
0.624 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.624 * [taylor]: Taking taylor expansion of a in d
0.624 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d
0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d
0.624 * [taylor]: Taking taylor expansion of (/ 1 b) in d
0.624 * [taylor]: Taking taylor expansion of b in d
0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d
0.624 * [taylor]: Taking taylor expansion of (/ 1 c) in d
0.624 * [taylor]: Taking taylor expansion of c in d
0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d
0.624 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.624 * [taylor]: Taking taylor expansion of d in d
0.624 * [taylor]: Taking taylor expansion of (/ 1 a) in d
0.624 * [taylor]: Taking taylor expansion of a in d
0.625 * [taylor]: Taking taylor expansion of (neg 1) in c
0.625 * [taylor]: Taking taylor expansion of 1 in c
0.625 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c
0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.625 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.625 * [taylor]: Taking taylor expansion of a in c
0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.625 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.625 * [taylor]: Taking taylor expansion of c in c
0.625 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.625 * [taylor]: Taking taylor expansion of b in c
0.625 * [taylor]: Taking taylor expansion of (neg 1) in b
0.625 * [taylor]: Taking taylor expansion of 1 in b
0.625 * [taylor]: Taking taylor expansion of (neg 1) in b
0.625 * [taylor]: Taking taylor expansion of 1 in b
0.625 * [taylor]: Taking taylor expansion of 0 in c
0.625 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b
0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.625 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.625 * [taylor]: Taking taylor expansion of b in b
0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.626 * [taylor]: Taking taylor expansion of a in b
0.626 * [taylor]: Taking taylor expansion of (neg 1) in a
0.626 * [taylor]: Taking taylor expansion of 1 in a
0.626 * [taylor]: Taking taylor expansion of 0 in b
0.626 * [taylor]: Taking taylor expansion of (neg 1) in a
0.626 * [taylor]: Taking taylor expansion of 1 in a
0.626 * [taylor]: Taking taylor expansion of (neg 1) in a
0.626 * [taylor]: Taking taylor expansion of 1 in a
0.626 * [taylor]: Taking taylor expansion of 0 in c
0.626 * [taylor]: Taking taylor expansion of 0 in b
0.626 * [taylor]: Taking taylor expansion of 0 in b
0.626 * [taylor]: Taking taylor expansion of 0 in b
0.626 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.626 * [taylor]: Taking taylor expansion of a in a
0.626 * [taylor]: Taking taylor expansion of 0 in a
0.626 * [taylor]: Taking taylor expansion of 0 in a
0.626 * [taylor]: Taking taylor expansion of 0 in a
0.627 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
0.627 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0
0.627 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a
0.627 * [taylor]: Taking taylor expansion of a in a
0.627 * [taylor]: Taking taylor expansion of (+ b c) in a
0.627 * [taylor]: Taking taylor expansion of b in a
0.627 * [taylor]: Taking taylor expansion of c in a
0.627 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b
0.627 * [taylor]: Taking taylor expansion of a in b
0.627 * [taylor]: Taking taylor expansion of (+ b c) in b
0.627 * [taylor]: Taking taylor expansion of b in b
0.627 * [taylor]: Taking taylor expansion of c in b
0.627 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.627 * [taylor]: Taking taylor expansion of a in c
0.627 * [taylor]: Taking taylor expansion of (+ b c) in c
0.627 * [taylor]: Taking taylor expansion of b in c
0.627 * [taylor]: Taking taylor expansion of c in c
0.627 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c
0.627 * [taylor]: Taking taylor expansion of a in c
0.627 * [taylor]: Taking taylor expansion of (+ b c) in c
0.627 * [taylor]: Taking taylor expansion of b in c
0.627 * [taylor]: Taking taylor expansion of c in c
0.627 * [taylor]: Taking taylor expansion of (+ a b) in b
0.627 * [taylor]: Taking taylor expansion of a in b
0.627 * [taylor]: Taking taylor expansion of b in b
0.627 * [taylor]: Taking taylor expansion of a in a
0.627 * [taylor]: Taking taylor expansion of 1 in b
0.627 * [taylor]: Taking taylor expansion of 1 in a
0.627 * [taylor]: Taking taylor expansion of 1 in a
0.628 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in (c b a) around 0
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in a
0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.628 * [taylor]: Taking taylor expansion of a in a
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.628 * [taylor]: Taking taylor expansion of c in a
0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.628 * [taylor]: Taking taylor expansion of b in a
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in b
0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.628 * [taylor]: Taking taylor expansion of a in b
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.628 * [taylor]: Taking taylor expansion of c in b
0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.628 * [taylor]: Taking taylor expansion of b in b
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.628 * [taylor]: Taking taylor expansion of a in c
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.628 * [taylor]: Taking taylor expansion of c in c
0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.628 * [taylor]: Taking taylor expansion of b in c
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.628 * [taylor]: Taking taylor expansion of a in c
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.628 * [taylor]: Taking taylor expansion of c in c
0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.628 * [taylor]: Taking taylor expansion of b in c
0.628 * [taylor]: Taking taylor expansion of 1 in b
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.628 * [taylor]: Taking taylor expansion of b in b
0.629 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.629 * [taylor]: Taking taylor expansion of a in b
0.629 * [taylor]: Taking taylor expansion of 1 in a
0.629 * [taylor]: Taking taylor expansion of 1 in a
0.629 * [taylor]: Taking taylor expansion of 0 in b
0.629 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.629 * [taylor]: Taking taylor expansion of a in a
0.629 * [taylor]: Taking taylor expansion of 0 in a
0.629 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in (c b a) around 0
0.629 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in a
0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in a
0.629 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.629 * [taylor]: Taking taylor expansion of a in a
0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in a
0.629 * [taylor]: Taking taylor expansion of (/ 1 c) in a
0.629 * [taylor]: Taking taylor expansion of c in a
0.629 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.629 * [taylor]: Taking taylor expansion of b in a
0.629 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in b
0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in b
0.629 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.629 * [taylor]: Taking taylor expansion of a in b
0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b
0.629 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.629 * [taylor]: Taking taylor expansion of c in b
0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.630 * [taylor]: Taking taylor expansion of b in b
0.630 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c
0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.630 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.630 * [taylor]: Taking taylor expansion of a in c
0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.630 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.630 * [taylor]: Taking taylor expansion of c in c
0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.630 * [taylor]: Taking taylor expansion of b in c
0.630 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c
0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c
0.630 * [taylor]: Taking taylor expansion of (/ 1 a) in c
0.630 * [taylor]: Taking taylor expansion of a in c
0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c
0.630 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.630 * [taylor]: Taking taylor expansion of c in c
0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.630 * [taylor]: Taking taylor expansion of b in c
0.630 * [taylor]: Taking taylor expansion of (neg 1) in b
0.630 * [taylor]: Taking taylor expansion of 1 in b
0.630 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b
0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.630 * [taylor]: Taking taylor expansion of b in b
0.630 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.630 * [taylor]: Taking taylor expansion of a in b
0.630 * [taylor]: Taking taylor expansion of (neg 1) in a
0.630 * [taylor]: Taking taylor expansion of 1 in a
0.630 * [taylor]: Taking taylor expansion of (neg 1) in a
0.630 * [taylor]: Taking taylor expansion of 1 in a
0.631 * [taylor]: Taking taylor expansion of 0 in b
0.631 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a
0.631 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.631 * [taylor]: Taking taylor expansion of a in a
0.631 * [taylor]: Taking taylor expansion of 0 in a
0.631 * * * [progress]: simplifying candidates
0.632 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp e) (* (exp d) (* (* (exp c) (exp b)) (exp a))))
  (* (exp e) (* (exp d) (* (exp (+ c b)) (exp a))))
  (* (exp e) (* (exp d) (exp (+ (+ c b) a))))
  (* (exp e) (exp (+ d (+ (+ c b) a))))
  (log (+ e (+ d (+ (+ c b) a))))
  (exp (+ e (+ d (+ (+ c b) a))))
  (* (cbrt (+ e (+ d (+ (+ c b) a)))) (cbrt (+ e (+ d (+ (+ c b) a)))))
  (cbrt (+ e (+ d (+ (+ c b) a))))
  (* (* (+ e (+ d (+ (+ c b) a))) (+ e (+ d (+ (+ c b) a)))) (+ e (+ d (+ (+ c b) a))))
  (sqrt (+ e (+ d (+ (+ c b) a))))
  (sqrt (+ e (+ d (+ (+ c b) a))))
  (+ (pow e 3) (pow (+ d (+ (+ c b) a)) 3))
  (+ (* e e) (- (* (+ d (+ (+ c b) a)) (+ d (+ (+ c b) a))) (* e (+ d (+ (+ c b) a)))))
  (- (* e e) (* (+ d (+ (+ c b) a)) (+ d (+ (+ c b) a))))
  (- e (+ d (+ (+ c b) a)))
  (+ e (+ d (+ (+ c b) a)))
  (+ e (+ d (+ (+ c b) a)))
  (+ e (+ d (+ (+ c b) a)))
  (+ e (+ d (+ (+ c b) a)))
  (+ e d)
  (* (exp d) (* (* (exp c) (exp b)) (exp a)))
  (* (exp d) (* (exp (+ c b)) (exp 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 b))
  (* (* (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))
  (+ d (+ b c))
  (+ a (+ b c))
  (+ a (+ b c))
  (+ a (+ b c))
  (+ a (+ b c))
  (+ a (+ b c))
0.661 * * [simplify]: iteration  0 :  4815  enodes  (cost  547 )
0.661 * * [simplify]: iteration  1 :  4815  enodes  (cost  547 )
0.664 * [simplify]: Simplified to:
   (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (log (+ e (+ d (+ c (+ b a)))))
  (exp (+ e (+ d (+ c (+ b a)))))
  (* (cbrt (+ e (+ d (+ c (+ b a))))) (cbrt (+ e (+ d (+ c (+ b a))))))
  (cbrt (+ e (+ d (+ c (+ b a)))))
  (pow (+ e (+ d (+ c (+ b a)))) 3)
  (sqrt (+ e (+ d (+ c (+ b a)))))
  (sqrt (+ e (+ d (+ c (+ b a)))))
  (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3))
  (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e))))))
  (- (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))))
  (- e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e (+ d (+ c (+ b a))))
  (+ e d)
  (exp (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (log (+ d (+ c (+ b a))))
  (exp (+ d (+ c (+ b a))))
  (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a)))))
  (cbrt (+ d (+ c (+ b a))))
  (pow (+ d (+ c (+ b a))) 3)
  (sqrt (+ d (+ c (+ b a))))
  (sqrt (+ d (+ c (+ b a))))
  (+ (pow d 3) (pow (+ c (+ b a)) 3))
  (+ (* d d) (* (+ c (+ b a)) (+ c (+ b (- a d)))))
  (- (* d d) (* (+ c (+ b a)) (+ c (+ b a))))
  (- d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c (+ b a)))
  (+ d (+ c b))
  (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)
  (+ e (+ d c))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ d (+ c b))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ c (+ b a))
  (+ c (+ b a))
0.664 * * * [progress]: adding candidates to table
0.725 * [progress]: [Phase 3 of 3] Extracting.
0.725 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c d e) (+ (+ e (+ d c)) (+ b a)))> #<alt (λ (a b c d e) (+ e (+ (+ d (+ c b)) a)))> #<alt (λ (a b c d e) (exp (log (+ e (+ d (+ c (+ b a)))))))> #<alt (λ (a b c d e) (/ (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3)) (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e))))))))> #<alt (λ (a b c d e) (+ e (+ d (+ (+ c b) a))))> #<alt (λ (a b c d e) (+ (+ e (+ d (+ c b))) a))>)
0.726 * * * [regime-changes]: Trying 5 branch expressions: (e d c b a)
0.726 * * * * [regimes]: Trying to branch on e from (#<alt (λ (a b c d e) (+ (+ e (+ d c)) (+ b a)))> #<alt (λ (a b c d e) (+ e (+ (+ d (+ c b)) a)))> #<alt (λ (a b c d e) (exp (log (+ e (+ d (+ c (+ b a)))))))> #<alt (λ (a b c d e) (/ (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3)) (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e))))))))> #<alt (λ (a b c d e) (+ e (+ d (+ (+ c b) a))))> #<alt (λ (a b c d e) (+ (+ e (+ d (+ c b))) a))>)
0.794 * * * * [regimes]: Trying to branch on d from (#<alt (λ (a b c d e) (+ (+ e (+ d c)) (+ b a)))> #<alt (λ (a b c d e) (+ e (+ (+ d (+ c b)) a)))> #<alt (λ (a b c d e) (exp (log (+ e (+ d (+ c (+ b a)))))))> #<alt (λ (a b c d e) (/ (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3)) (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e))))))))> #<alt (λ (a b c d e) (+ e (+ d (+ (+ c b) a))))> #<alt (λ (a b c d e) (+ (+ e (+ d (+ c b))) a))>)
0.860 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c d e) (+ (+ e (+ d c)) (+ b a)))> #<alt (λ (a b c d e) (+ e (+ (+ d (+ c b)) a)))> #<alt (λ (a b c d e) (exp (log (+ e (+ d (+ c (+ b a)))))))> #<alt (λ (a b c d e) (/ (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3)) (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e))))))))> #<alt (λ (a b c d e) (+ e (+ d (+ (+ c b) a))))> #<alt (λ (a b c d e) (+ (+ e (+ d (+ c b))) a))>)
0.926 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c d e) (+ (+ e (+ d c)) (+ b a)))> #<alt (λ (a b c d e) (+ e (+ (+ d (+ c b)) a)))> #<alt (λ (a b c d e) (exp (log (+ e (+ d (+ c (+ b a)))))))> #<alt (λ (a b c d e) (/ (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3)) (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e))))))))> #<alt (λ (a b c d e) (+ e (+ d (+ (+ c b) a))))> #<alt (λ (a b c d e) (+ (+ e (+ d (+ c b))) a))>)
0.994 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c d e) (+ (+ e (+ d c)) (+ b a)))> #<alt (λ (a b c d e) (+ e (+ (+ d (+ c b)) a)))> #<alt (λ (a b c d e) (exp (log (+ e (+ d (+ c (+ b a)))))))> #<alt (λ (a b c d e) (/ (+ (pow e 3) (pow (+ d (+ c (+ b a))) 3)) (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e))))))))> #<alt (λ (a b c d e) (+ e (+ d (+ (+ c b) a))))> #<alt (λ (a b c d e) (+ (+ e (+ d (+ c b))) a))>)
1.060 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.060 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ e (+ (+ d (+ c b)) a))
1.061 * * [simplify]: iteration  0 :  13  enodes  (cost  9 )
1.061 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
1.061 * [simplify]: Simplified to:
   (+ e (+ (+ d (+ c b)) a))
2.570 * [regime-testing]: End program error score: 0.25003125390673836
2.683 * [regime-testing]: Target error score: 0.23215401925240656