6.888 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.633 * * * [progress]: [2/2] Setting up program.
1.639 * [progress]: [Phase 2 of 3] Improving.
1.639 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
1.644 * * [simplify]: iteration  0 :  66  enodes  (cost  15 )
1.644 * * [simplify]: iteration  1 :  66  enodes  (cost  15 )
1.644 * [simplify]: Simplified to:
   (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
1.645 * * [progress]: iteration 1 / 4
1.645 * * * [progress]: picking best candidate
1.650 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)))>
1.650 * * * [progress]: localizing error
1.662 * * * [progress]: generating rewritten candidates
1.662 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1.669 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1.673 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.684 * * * [progress]: generating series expansions
1.684 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1.684 * [approximate]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in (x y z t a b) around 0
1.684 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in b
1.684 * [taylor]: Taking taylor expansion of (* t z) in b
1.684 * [taylor]: Taking taylor expansion of t in b
1.684 * [taylor]: Taking taylor expansion of z in b
1.684 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in b
1.684 * [taylor]: Taking taylor expansion of (* a b) in b
1.684 * [taylor]: Taking taylor expansion of a in b
1.684 * [taylor]: Taking taylor expansion of b in b
1.684 * [taylor]: Taking taylor expansion of (* x y) in b
1.684 * [taylor]: Taking taylor expansion of x in b
1.685 * [taylor]: Taking taylor expansion of y in b
1.685 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in a
1.685 * [taylor]: Taking taylor expansion of (* t z) in a
1.685 * [taylor]: Taking taylor expansion of t in a
1.685 * [taylor]: Taking taylor expansion of z in a
1.685 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in a
1.685 * [taylor]: Taking taylor expansion of (* a b) in a
1.685 * [taylor]: Taking taylor expansion of a in a
1.685 * [taylor]: Taking taylor expansion of b in a
1.685 * [taylor]: Taking taylor expansion of (* x y) in a
1.685 * [taylor]: Taking taylor expansion of x in a
1.685 * [taylor]: Taking taylor expansion of y in a
1.685 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in t
1.685 * [taylor]: Taking taylor expansion of (* t z) in t
1.685 * [taylor]: Taking taylor expansion of t in t
1.685 * [taylor]: Taking taylor expansion of z in t
1.685 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in t
1.685 * [taylor]: Taking taylor expansion of (* a b) in t
1.685 * [taylor]: Taking taylor expansion of a in t
1.685 * [taylor]: Taking taylor expansion of b in t
1.685 * [taylor]: Taking taylor expansion of (* x y) in t
1.685 * [taylor]: Taking taylor expansion of x in t
1.685 * [taylor]: Taking taylor expansion of y in t
1.685 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in z
1.685 * [taylor]: Taking taylor expansion of (* t z) in z
1.685 * [taylor]: Taking taylor expansion of t in z
1.685 * [taylor]: Taking taylor expansion of z in z
1.685 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in z
1.685 * [taylor]: Taking taylor expansion of (* a b) in z
1.685 * [taylor]: Taking taylor expansion of a in z
1.686 * [taylor]: Taking taylor expansion of b in z
1.686 * [taylor]: Taking taylor expansion of (* x y) in z
1.686 * [taylor]: Taking taylor expansion of x in z
1.686 * [taylor]: Taking taylor expansion of y in z
1.686 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in y
1.686 * [taylor]: Taking taylor expansion of (* t z) in y
1.686 * [taylor]: Taking taylor expansion of t in y
1.686 * [taylor]: Taking taylor expansion of z in y
1.686 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in y
1.686 * [taylor]: Taking taylor expansion of (* a b) in y
1.686 * [taylor]: Taking taylor expansion of a in y
1.686 * [taylor]: Taking taylor expansion of b in y
1.686 * [taylor]: Taking taylor expansion of (* x y) in y
1.686 * [taylor]: Taking taylor expansion of x in y
1.686 * [taylor]: Taking taylor expansion of y in y
1.686 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in x
1.686 * [taylor]: Taking taylor expansion of (* t z) in x
1.686 * [taylor]: Taking taylor expansion of t in x
1.686 * [taylor]: Taking taylor expansion of z in x
1.686 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in x
1.686 * [taylor]: Taking taylor expansion of (* a b) in x
1.686 * [taylor]: Taking taylor expansion of a in x
1.686 * [taylor]: Taking taylor expansion of b in x
1.686 * [taylor]: Taking taylor expansion of (* x y) in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.686 * [taylor]: Taking taylor expansion of y in x
1.686 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in x
1.686 * [taylor]: Taking taylor expansion of (* t z) in x
1.686 * [taylor]: Taking taylor expansion of t in x
1.686 * [taylor]: Taking taylor expansion of z in x
1.686 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in x
1.686 * [taylor]: Taking taylor expansion of (* a b) in x
1.686 * [taylor]: Taking taylor expansion of a in x
1.686 * [taylor]: Taking taylor expansion of b in x
1.686 * [taylor]: Taking taylor expansion of (* x y) in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.686 * [taylor]: Taking taylor expansion of y in x
1.686 * [taylor]: Taking taylor expansion of (+ (* t z) (* a b)) in y
1.686 * [taylor]: Taking taylor expansion of (* t z) in y
1.686 * [taylor]: Taking taylor expansion of t in y
1.686 * [taylor]: Taking taylor expansion of z in y
1.686 * [taylor]: Taking taylor expansion of (* a b) in y
1.686 * [taylor]: Taking taylor expansion of a in y
1.686 * [taylor]: Taking taylor expansion of b in y
1.687 * [taylor]: Taking taylor expansion of (+ (* t z) (* a b)) in z
1.687 * [taylor]: Taking taylor expansion of (* t z) in z
1.687 * [taylor]: Taking taylor expansion of t in z
1.687 * [taylor]: Taking taylor expansion of z in z
1.687 * [taylor]: Taking taylor expansion of (* a b) in z
1.687 * [taylor]: Taking taylor expansion of a in z
1.687 * [taylor]: Taking taylor expansion of b in z
1.882 * [taylor]: Taking taylor expansion of (* a b) in t
1.882 * [taylor]: Taking taylor expansion of a in t
1.882 * [taylor]: Taking taylor expansion of b in t
1.882 * [taylor]: Taking taylor expansion of (* a b) in a
1.882 * [taylor]: Taking taylor expansion of a in a
1.882 * [taylor]: Taking taylor expansion of b in a
1.882 * [taylor]: Taking taylor expansion of 0 in b
1.882 * [taylor]: Taking taylor expansion of y in y
1.882 * [taylor]: Taking taylor expansion of 0 in z
1.882 * [taylor]: Taking taylor expansion of 0 in t
1.883 * [taylor]: Taking taylor expansion of 0 in a
1.883 * [taylor]: Taking taylor expansion of 0 in b
1.883 * [taylor]: Taking taylor expansion of 0 in z
1.883 * [taylor]: Taking taylor expansion of 0 in t
1.883 * [taylor]: Taking taylor expansion of 0 in a
1.883 * [taylor]: Taking taylor expansion of 0 in b
1.883 * [taylor]: Taking taylor expansion of t in t
1.883 * [taylor]: Taking taylor expansion of 0 in a
1.883 * [taylor]: Taking taylor expansion of 0 in b
1.883 * [taylor]: Taking taylor expansion of 0 in a
1.883 * [taylor]: Taking taylor expansion of 0 in b
1.883 * [taylor]: Taking taylor expansion of b in b
1.883 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in (x y z t a b) around 0
1.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in b
1.883 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b
1.883 * [taylor]: Taking taylor expansion of (* t z) in b
1.883 * [taylor]: Taking taylor expansion of t in b
1.883 * [taylor]: Taking taylor expansion of z in b
1.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in b
1.883 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.884 * [taylor]: Taking taylor expansion of (* a b) in b
1.884 * [taylor]: Taking taylor expansion of a in b
1.884 * [taylor]: Taking taylor expansion of b in b
1.884 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b
1.884 * [taylor]: Taking taylor expansion of (* x y) in b
1.884 * [taylor]: Taking taylor expansion of x in b
1.884 * [taylor]: Taking taylor expansion of y in b
1.884 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in a
1.884 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.884 * [taylor]: Taking taylor expansion of (* t z) in a
1.884 * [taylor]: Taking taylor expansion of t in a
1.884 * [taylor]: Taking taylor expansion of z in a
1.884 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in a
1.884 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.884 * [taylor]: Taking taylor expansion of (* a b) in a
1.884 * [taylor]: Taking taylor expansion of a in a
1.884 * [taylor]: Taking taylor expansion of b in a
1.884 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.884 * [taylor]: Taking taylor expansion of (* x y) in a
1.884 * [taylor]: Taking taylor expansion of x in a
1.884 * [taylor]: Taking taylor expansion of y in a
1.884 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in t
1.884 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.884 * [taylor]: Taking taylor expansion of (* t z) in t
1.884 * [taylor]: Taking taylor expansion of t in t
1.884 * [taylor]: Taking taylor expansion of z in t
1.884 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in t
1.884 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.884 * [taylor]: Taking taylor expansion of (* a b) in t
1.884 * [taylor]: Taking taylor expansion of a in t
1.884 * [taylor]: Taking taylor expansion of b in t
1.884 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.884 * [taylor]: Taking taylor expansion of (* x y) in t
1.884 * [taylor]: Taking taylor expansion of x in t
1.884 * [taylor]: Taking taylor expansion of y in t
1.885 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in z
1.885 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.885 * [taylor]: Taking taylor expansion of (* t z) in z
1.885 * [taylor]: Taking taylor expansion of t in z
1.885 * [taylor]: Taking taylor expansion of z in z
1.885 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in z
1.885 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.885 * [taylor]: Taking taylor expansion of (* a b) in z
1.885 * [taylor]: Taking taylor expansion of a in z
1.885 * [taylor]: Taking taylor expansion of b in z
1.885 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.885 * [taylor]: Taking taylor expansion of (* x y) in z
1.885 * [taylor]: Taking taylor expansion of x in z
1.885 * [taylor]: Taking taylor expansion of y in z
1.885 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in y
1.885 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.885 * [taylor]: Taking taylor expansion of (* t z) in y
1.885 * [taylor]: Taking taylor expansion of t in y
1.885 * [taylor]: Taking taylor expansion of z in y
1.885 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in y
1.885 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.885 * [taylor]: Taking taylor expansion of (* a b) in y
1.885 * [taylor]: Taking taylor expansion of a in y
1.885 * [taylor]: Taking taylor expansion of b in y
1.885 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.885 * [taylor]: Taking taylor expansion of (* x y) in y
1.885 * [taylor]: Taking taylor expansion of x in y
1.885 * [taylor]: Taking taylor expansion of y in y
1.885 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x
1.885 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.885 * [taylor]: Taking taylor expansion of (* t z) in x
1.885 * [taylor]: Taking taylor expansion of t in x
1.885 * [taylor]: Taking taylor expansion of z in x
1.885 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x
1.885 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
1.885 * [taylor]: Taking taylor expansion of (* a b) in x
1.885 * [taylor]: Taking taylor expansion of a in x
1.886 * [taylor]: Taking taylor expansion of b in x
1.886 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.886 * [taylor]: Taking taylor expansion of (* x y) in x
1.886 * [taylor]: Taking taylor expansion of x in x
1.886 * [taylor]: Taking taylor expansion of y in x
1.886 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x
1.886 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.886 * [taylor]: Taking taylor expansion of (* t z) in x
1.886 * [taylor]: Taking taylor expansion of t in x
1.886 * [taylor]: Taking taylor expansion of z in x
1.886 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x
1.886 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
1.886 * [taylor]: Taking taylor expansion of (* a b) in x
1.886 * [taylor]: Taking taylor expansion of a in x
1.886 * [taylor]: Taking taylor expansion of b in x
1.886 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.886 * [taylor]: Taking taylor expansion of (* x y) in x
1.886 * [taylor]: Taking taylor expansion of x in x
1.886 * [taylor]: Taking taylor expansion of y in x
1.886 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.886 * [taylor]: Taking taylor expansion of y in y
1.886 * [taylor]: Taking taylor expansion of 1 in z
1.886 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in y
1.886 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.887 * [taylor]: Taking taylor expansion of (* t z) in y
1.887 * [taylor]: Taking taylor expansion of t in y
1.887 * [taylor]: Taking taylor expansion of z in y
1.887 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.887 * [taylor]: Taking taylor expansion of (* a b) in y
1.887 * [taylor]: Taking taylor expansion of a in y
1.887 * [taylor]: Taking taylor expansion of b in y
1.887 * [taylor]: Taking taylor expansion of 0 in z
1.887 * [taylor]: Taking taylor expansion of 1 in t
1.887 * [taylor]: Taking taylor expansion of 0 in y
1.887 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in z
1.887 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.887 * [taylor]: Taking taylor expansion of (* t z) in z
1.887 * [taylor]: Taking taylor expansion of t in z
1.887 * [taylor]: Taking taylor expansion of z in z
1.887 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.887 * [taylor]: Taking taylor expansion of (* a b) in z
1.887 * [taylor]: Taking taylor expansion of a in z
1.888 * [taylor]: Taking taylor expansion of b in z
1.888 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.888 * [taylor]: Taking taylor expansion of t in t
1.888 * [taylor]: Taking taylor expansion of 1 in a
1.888 * [taylor]: Taking taylor expansion of 0 in z
1.888 * [taylor]: Taking taylor expansion of 0 in t
1.888 * [taylor]: Taking taylor expansion of 0 in t
1.888 * [taylor]: Taking taylor expansion of 1 in a
1.888 * [taylor]: Taking taylor expansion of 0 in y
1.888 * [taylor]: Taking taylor expansion of 0 in z
1.889 * [taylor]: Taking taylor expansion of 0 in z
1.889 * [taylor]: Taking taylor expansion of 0 in z
1.889 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.889 * [taylor]: Taking taylor expansion of (* a b) in t
1.889 * [taylor]: Taking taylor expansion of a in t
1.889 * [taylor]: Taking taylor expansion of b in t
1.889 * [taylor]: Taking taylor expansion of 0 in t
1.889 * [taylor]: Taking taylor expansion of 0 in t
1.889 * [taylor]: Taking taylor expansion of 0 in t
1.889 * [taylor]: Taking taylor expansion of 0 in a
1.889 * [taylor]: Taking taylor expansion of 0 in a
1.889 * [taylor]: Taking taylor expansion of 0 in a
1.889 * [taylor]: Taking taylor expansion of 0 in a
1.889 * [taylor]: Taking taylor expansion of 1 in b
1.889 * [taylor]: Taking taylor expansion of 1 in b
1.890 * [taylor]: Taking taylor expansion of 0 in y
1.890 * [taylor]: Taking taylor expansion of 0 in z
1.890 * [taylor]: Taking taylor expansion of 0 in z
1.890 * [taylor]: Taking taylor expansion of 0 in z
1.891 * [taylor]: Taking taylor expansion of 0 in z
1.891 * [taylor]: Taking taylor expansion of 0 in t
1.891 * [taylor]: Taking taylor expansion of 0 in t
1.891 * [taylor]: Taking taylor expansion of 0 in t
1.891 * [taylor]: Taking taylor expansion of 0 in t
1.891 * [taylor]: Taking taylor expansion of 0 in t
1.891 * [taylor]: Taking taylor expansion of 0 in t
1.891 * [taylor]: Taking taylor expansion of 0 in t
1.891 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.891 * [taylor]: Taking taylor expansion of (* a b) in a
1.891 * [taylor]: Taking taylor expansion of a in a
1.891 * [taylor]: Taking taylor expansion of b in a
1.891 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.891 * [taylor]: Taking taylor expansion of b in b
1.891 * [taylor]: Taking taylor expansion of 0 in a
1.891 * [taylor]: Taking taylor expansion of 0 in a
1.891 * [taylor]: Taking taylor expansion of 0 in a
1.891 * [taylor]: Taking taylor expansion of 0 in a
1.891 * [taylor]: Taking taylor expansion of 0 in a
1.892 * [taylor]: Taking taylor expansion of 0 in a
1.892 * [taylor]: Taking taylor expansion of 0 in a
1.892 * [taylor]: Taking taylor expansion of 0 in b
1.892 * [taylor]: Taking taylor expansion of 0 in b
1.892 * [taylor]: Taking taylor expansion of 0 in b
1.892 * [taylor]: Taking taylor expansion of 0 in b
1.892 * [taylor]: Taking taylor expansion of 0 in b
1.892 * [taylor]: Taking taylor expansion of 0 in b
1.893 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in (x y z t a b) around 0
1.893 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in b
1.893 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b
1.893 * [taylor]: Taking taylor expansion of (* t z) in b
1.893 * [taylor]: Taking taylor expansion of t in b
1.893 * [taylor]: Taking taylor expansion of z in b
1.893 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in b
1.893 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.893 * [taylor]: Taking taylor expansion of (* a b) in b
1.893 * [taylor]: Taking taylor expansion of a in b
1.893 * [taylor]: Taking taylor expansion of b in b
1.893 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b
1.893 * [taylor]: Taking taylor expansion of (* x y) in b
1.893 * [taylor]: Taking taylor expansion of x in b
1.893 * [taylor]: Taking taylor expansion of y in b
1.893 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in a
1.893 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.893 * [taylor]: Taking taylor expansion of (* t z) in a
1.893 * [taylor]: Taking taylor expansion of t in a
1.893 * [taylor]: Taking taylor expansion of z in a
1.893 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in a
1.893 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.893 * [taylor]: Taking taylor expansion of (* a b) in a
1.893 * [taylor]: Taking taylor expansion of a in a
1.893 * [taylor]: Taking taylor expansion of b in a
1.893 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.894 * [taylor]: Taking taylor expansion of (* x y) in a
1.894 * [taylor]: Taking taylor expansion of x in a
1.894 * [taylor]: Taking taylor expansion of y in a
1.894 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in t
1.894 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.894 * [taylor]: Taking taylor expansion of (* t z) in t
1.894 * [taylor]: Taking taylor expansion of t in t
1.894 * [taylor]: Taking taylor expansion of z in t
1.894 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in t
1.894 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.894 * [taylor]: Taking taylor expansion of (* a b) in t
1.894 * [taylor]: Taking taylor expansion of a in t
1.894 * [taylor]: Taking taylor expansion of b in t
1.894 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.894 * [taylor]: Taking taylor expansion of (* x y) in t
1.894 * [taylor]: Taking taylor expansion of x in t
1.894 * [taylor]: Taking taylor expansion of y in t
1.894 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in z
1.894 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.894 * [taylor]: Taking taylor expansion of (* t z) in z
1.894 * [taylor]: Taking taylor expansion of t in z
1.894 * [taylor]: Taking taylor expansion of z in z
1.894 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in z
1.894 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.894 * [taylor]: Taking taylor expansion of (* a b) in z
1.894 * [taylor]: Taking taylor expansion of a in z
1.894 * [taylor]: Taking taylor expansion of b in z
1.894 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.894 * [taylor]: Taking taylor expansion of (* x y) in z
1.894 * [taylor]: Taking taylor expansion of x in z
1.894 * [taylor]: Taking taylor expansion of y in z
1.894 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in y
1.894 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.894 * [taylor]: Taking taylor expansion of (* t z) in y
1.894 * [taylor]: Taking taylor expansion of t in y
1.894 * [taylor]: Taking taylor expansion of z in y
1.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in y
1.895 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.895 * [taylor]: Taking taylor expansion of (* a b) in y
1.895 * [taylor]: Taking taylor expansion of a in y
1.895 * [taylor]: Taking taylor expansion of b in y
1.895 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.895 * [taylor]: Taking taylor expansion of (* x y) in y
1.895 * [taylor]: Taking taylor expansion of x in y
1.895 * [taylor]: Taking taylor expansion of y in y
1.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.895 * [taylor]: Taking taylor expansion of (* t z) in x
1.895 * [taylor]: Taking taylor expansion of t in x
1.895 * [taylor]: Taking taylor expansion of z in x
1.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
1.895 * [taylor]: Taking taylor expansion of (* a b) in x
1.895 * [taylor]: Taking taylor expansion of a in x
1.895 * [taylor]: Taking taylor expansion of b in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.895 * [taylor]: Taking taylor expansion of (* x y) in x
1.895 * [taylor]: Taking taylor expansion of x in x
1.895 * [taylor]: Taking taylor expansion of y in x
1.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.895 * [taylor]: Taking taylor expansion of (* t z) in x
1.895 * [taylor]: Taking taylor expansion of t in x
1.895 * [taylor]: Taking taylor expansion of z in x
1.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
1.895 * [taylor]: Taking taylor expansion of (* a b) in x
1.895 * [taylor]: Taking taylor expansion of a in x
1.895 * [taylor]: Taking taylor expansion of b in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.895 * [taylor]: Taking taylor expansion of (* x y) in x
1.895 * [taylor]: Taking taylor expansion of x in x
1.895 * [taylor]: Taking taylor expansion of y in x
1.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.896 * [taylor]: Taking taylor expansion of y in y
1.896 * [taylor]: Taking taylor expansion of 1 in z
1.896 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in y
1.896 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.896 * [taylor]: Taking taylor expansion of (* t z) in y
1.896 * [taylor]: Taking taylor expansion of t in y
1.896 * [taylor]: Taking taylor expansion of z in y
1.896 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.896 * [taylor]: Taking taylor expansion of (* a b) in y
1.896 * [taylor]: Taking taylor expansion of a in y
1.896 * [taylor]: Taking taylor expansion of b in y
1.896 * [taylor]: Taking taylor expansion of 0 in z
1.896 * [taylor]: Taking taylor expansion of 1 in t
1.897 * [taylor]: Taking taylor expansion of 0 in y
1.897 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in z
1.897 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.897 * [taylor]: Taking taylor expansion of (* t z) in z
1.897 * [taylor]: Taking taylor expansion of t in z
1.897 * [taylor]: Taking taylor expansion of z in z
1.897 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.897 * [taylor]: Taking taylor expansion of (* a b) in z
1.897 * [taylor]: Taking taylor expansion of a in z
1.897 * [taylor]: Taking taylor expansion of b in z
1.897 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.897 * [taylor]: Taking taylor expansion of t in t
1.897 * [taylor]: Taking taylor expansion of 1 in a
1.897 * [taylor]: Taking taylor expansion of 0 in z
1.897 * [taylor]: Taking taylor expansion of 0 in t
1.897 * [taylor]: Taking taylor expansion of 0 in t
1.897 * [taylor]: Taking taylor expansion of 1 in a
1.898 * [taylor]: Taking taylor expansion of 0 in y
1.898 * [taylor]: Taking taylor expansion of 0 in z
1.898 * [taylor]: Taking taylor expansion of 0 in z
1.898 * [taylor]: Taking taylor expansion of 0 in z
1.898 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.898 * [taylor]: Taking taylor expansion of (* a b) in t
1.898 * [taylor]: Taking taylor expansion of a in t
1.898 * [taylor]: Taking taylor expansion of b in t
1.898 * [taylor]: Taking taylor expansion of 0 in t
1.898 * [taylor]: Taking taylor expansion of 0 in t
1.898 * [taylor]: Taking taylor expansion of 0 in t
1.899 * [taylor]: Taking taylor expansion of 0 in a
1.899 * [taylor]: Taking taylor expansion of 0 in a
1.899 * [taylor]: Taking taylor expansion of 0 in a
1.899 * [taylor]: Taking taylor expansion of 0 in a
1.899 * [taylor]: Taking taylor expansion of 1 in b
1.899 * [taylor]: Taking taylor expansion of 1 in b
1.899 * [taylor]: Taking taylor expansion of 0 in y
1.899 * [taylor]: Taking taylor expansion of 0 in z
1.899 * [taylor]: Taking taylor expansion of 0 in z
1.900 * [taylor]: Taking taylor expansion of 0 in z
1.900 * [taylor]: Taking taylor expansion of 0 in z
1.900 * [taylor]: Taking taylor expansion of 0 in t
1.900 * [taylor]: Taking taylor expansion of 0 in t
1.900 * [taylor]: Taking taylor expansion of 0 in t
1.900 * [taylor]: Taking taylor expansion of 0 in t
1.900 * [taylor]: Taking taylor expansion of 0 in t
1.900 * [taylor]: Taking taylor expansion of 0 in t
1.900 * [taylor]: Taking taylor expansion of 0 in t
1.900 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.900 * [taylor]: Taking taylor expansion of (* a b) in a
1.900 * [taylor]: Taking taylor expansion of a in a
1.900 * [taylor]: Taking taylor expansion of b in a
1.901 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.901 * [taylor]: Taking taylor expansion of b in b
1.901 * [taylor]: Taking taylor expansion of 0 in a
1.901 * [taylor]: Taking taylor expansion of 0 in a
1.901 * [taylor]: Taking taylor expansion of 0 in a
1.901 * [taylor]: Taking taylor expansion of 0 in a
1.901 * [taylor]: Taking taylor expansion of 0 in a
1.901 * [taylor]: Taking taylor expansion of 0 in a
1.901 * [taylor]: Taking taylor expansion of 0 in a
1.901 * [taylor]: Taking taylor expansion of 0 in b
1.901 * [taylor]: Taking taylor expansion of 0 in b
1.901 * [taylor]: Taking taylor expansion of 0 in b
1.901 * [taylor]: Taking taylor expansion of 0 in b
1.901 * [taylor]: Taking taylor expansion of 0 in b
1.901 * [taylor]: Taking taylor expansion of 0 in b
1.902 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1.902 * [approximate]: Taking taylor expansion of (+ (* t z) (* x y)) in (x y z t) around 0
1.902 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
1.902 * [taylor]: Taking taylor expansion of (* t z) in t
1.902 * [taylor]: Taking taylor expansion of t in t
1.902 * [taylor]: Taking taylor expansion of z in t
1.902 * [taylor]: Taking taylor expansion of (* x y) in t
1.902 * [taylor]: Taking taylor expansion of x in t
1.902 * [taylor]: Taking taylor expansion of y in t
1.902 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
1.902 * [taylor]: Taking taylor expansion of (* t z) in z
1.902 * [taylor]: Taking taylor expansion of t in z
1.902 * [taylor]: Taking taylor expansion of z in z
1.902 * [taylor]: Taking taylor expansion of (* x y) in z
1.902 * [taylor]: Taking taylor expansion of x in z
1.902 * [taylor]: Taking taylor expansion of y in z
1.902 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
1.902 * [taylor]: Taking taylor expansion of (* t z) in y
1.903 * [taylor]: Taking taylor expansion of t in y
1.903 * [taylor]: Taking taylor expansion of z in y
1.903 * [taylor]: Taking taylor expansion of (* x y) in y
1.903 * [taylor]: Taking taylor expansion of x in y
1.903 * [taylor]: Taking taylor expansion of y in y
1.903 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
1.903 * [taylor]: Taking taylor expansion of (* t z) in x
1.903 * [taylor]: Taking taylor expansion of t in x
1.903 * [taylor]: Taking taylor expansion of z in x
1.903 * [taylor]: Taking taylor expansion of (* x y) in x
1.903 * [taylor]: Taking taylor expansion of x in x
1.903 * [taylor]: Taking taylor expansion of y in x
1.903 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
1.903 * [taylor]: Taking taylor expansion of (* t z) in x
1.903 * [taylor]: Taking taylor expansion of t in x
1.903 * [taylor]: Taking taylor expansion of z in x
1.903 * [taylor]: Taking taylor expansion of (* x y) in x
1.903 * [taylor]: Taking taylor expansion of x in x
1.903 * [taylor]: Taking taylor expansion of y in x
1.903 * [taylor]: Taking taylor expansion of (* t z) in y
1.903 * [taylor]: Taking taylor expansion of t in y
1.903 * [taylor]: Taking taylor expansion of z in y
1.903 * [taylor]: Taking taylor expansion of (* t z) in z
1.903 * [taylor]: Taking taylor expansion of t in z
1.903 * [taylor]: Taking taylor expansion of z in z
1.903 * [taylor]: Taking taylor expansion of 0 in t
1.903 * [taylor]: Taking taylor expansion of y in y
1.903 * [taylor]: Taking taylor expansion of 0 in z
1.903 * [taylor]: Taking taylor expansion of 0 in t
1.903 * [taylor]: Taking taylor expansion of 0 in z
1.903 * [taylor]: Taking taylor expansion of 0 in t
1.903 * [taylor]: Taking taylor expansion of t in t
1.904 * [taylor]: Taking taylor expansion of 0 in y
1.904 * [taylor]: Taking taylor expansion of 0 in z
1.904 * [taylor]: Taking taylor expansion of 0 in t
1.904 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0
1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
1.904 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.904 * [taylor]: Taking taylor expansion of (* t z) in t
1.904 * [taylor]: Taking taylor expansion of t in t
1.904 * [taylor]: Taking taylor expansion of z in t
1.904 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.904 * [taylor]: Taking taylor expansion of (* x y) in t
1.904 * [taylor]: Taking taylor expansion of x in t
1.904 * [taylor]: Taking taylor expansion of y in t
1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
1.904 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.904 * [taylor]: Taking taylor expansion of (* t z) in z
1.904 * [taylor]: Taking taylor expansion of t in z
1.904 * [taylor]: Taking taylor expansion of z in z
1.904 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.904 * [taylor]: Taking taylor expansion of (* x y) in z
1.904 * [taylor]: Taking taylor expansion of x in z
1.904 * [taylor]: Taking taylor expansion of y in z
1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
1.904 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.904 * [taylor]: Taking taylor expansion of (* t z) in y
1.904 * [taylor]: Taking taylor expansion of t in y
1.904 * [taylor]: Taking taylor expansion of z in y
1.904 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.904 * [taylor]: Taking taylor expansion of (* x y) in y
1.904 * [taylor]: Taking taylor expansion of x in y
1.904 * [taylor]: Taking taylor expansion of y in y
1.905 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
1.905 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.905 * [taylor]: Taking taylor expansion of (* t z) in x
1.905 * [taylor]: Taking taylor expansion of t in x
1.905 * [taylor]: Taking taylor expansion of z in x
1.905 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.905 * [taylor]: Taking taylor expansion of (* x y) in x
1.905 * [taylor]: Taking taylor expansion of x in x
1.905 * [taylor]: Taking taylor expansion of y in x
1.905 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
1.905 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.905 * [taylor]: Taking taylor expansion of (* t z) in x
1.905 * [taylor]: Taking taylor expansion of t in x
1.905 * [taylor]: Taking taylor expansion of z in x
1.905 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.905 * [taylor]: Taking taylor expansion of (* x y) in x
1.905 * [taylor]: Taking taylor expansion of x in x
1.905 * [taylor]: Taking taylor expansion of y in x
1.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.905 * [taylor]: Taking taylor expansion of y in y
1.905 * [taylor]: Taking taylor expansion of 1 in z
1.905 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.905 * [taylor]: Taking taylor expansion of (* t z) in y
1.905 * [taylor]: Taking taylor expansion of t in y
1.905 * [taylor]: Taking taylor expansion of z in y
1.905 * [taylor]: Taking taylor expansion of 0 in z
1.905 * [taylor]: Taking taylor expansion of 1 in t
1.906 * [taylor]: Taking taylor expansion of 0 in y
1.906 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.906 * [taylor]: Taking taylor expansion of (* t z) in z
1.906 * [taylor]: Taking taylor expansion of t in z
1.906 * [taylor]: Taking taylor expansion of z in z
1.906 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.906 * [taylor]: Taking taylor expansion of t in t
1.906 * [taylor]: Taking taylor expansion of 0 in z
1.906 * [taylor]: Taking taylor expansion of 0 in t
1.906 * [taylor]: Taking taylor expansion of 0 in t
1.906 * [taylor]: Taking taylor expansion of 0 in y
1.906 * [taylor]: Taking taylor expansion of 0 in z
1.907 * [taylor]: Taking taylor expansion of 0 in z
1.907 * [taylor]: Taking taylor expansion of 0 in z
1.907 * [taylor]: Taking taylor expansion of 0 in t
1.907 * [taylor]: Taking taylor expansion of 0 in t
1.907 * [taylor]: Taking taylor expansion of 0 in t
1.907 * [taylor]: Taking taylor expansion of 0 in t
1.907 * [taylor]: Taking taylor expansion of 0 in y
1.907 * [taylor]: Taking taylor expansion of 0 in z
1.907 * [taylor]: Taking taylor expansion of 0 in z
1.908 * [taylor]: Taking taylor expansion of 0 in z
1.908 * [taylor]: Taking taylor expansion of 0 in z
1.908 * [taylor]: Taking taylor expansion of 0 in t
1.908 * [taylor]: Taking taylor expansion of 0 in t
1.908 * [taylor]: Taking taylor expansion of 0 in t
1.908 * [taylor]: Taking taylor expansion of 0 in t
1.908 * [taylor]: Taking taylor expansion of 0 in t
1.908 * [taylor]: Taking taylor expansion of 0 in t
1.908 * [taylor]: Taking taylor expansion of 0 in t
1.908 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0
1.908 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
1.908 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.908 * [taylor]: Taking taylor expansion of (* t z) in t
1.908 * [taylor]: Taking taylor expansion of t in t
1.909 * [taylor]: Taking taylor expansion of z in t
1.909 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.909 * [taylor]: Taking taylor expansion of (* x y) in t
1.909 * [taylor]: Taking taylor expansion of x in t
1.909 * [taylor]: Taking taylor expansion of y in t
1.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
1.909 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.909 * [taylor]: Taking taylor expansion of (* t z) in z
1.909 * [taylor]: Taking taylor expansion of t in z
1.909 * [taylor]: Taking taylor expansion of z in z
1.909 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.909 * [taylor]: Taking taylor expansion of (* x y) in z
1.909 * [taylor]: Taking taylor expansion of x in z
1.909 * [taylor]: Taking taylor expansion of y in z
1.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
1.909 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.909 * [taylor]: Taking taylor expansion of (* t z) in y
1.909 * [taylor]: Taking taylor expansion of t in y
1.909 * [taylor]: Taking taylor expansion of z in y
1.909 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.909 * [taylor]: Taking taylor expansion of (* x y) in y
1.909 * [taylor]: Taking taylor expansion of x in y
1.909 * [taylor]: Taking taylor expansion of y in y
1.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
1.909 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.909 * [taylor]: Taking taylor expansion of (* t z) in x
1.909 * [taylor]: Taking taylor expansion of t in x
1.909 * [taylor]: Taking taylor expansion of z in x
1.909 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.909 * [taylor]: Taking taylor expansion of (* x y) in x
1.909 * [taylor]: Taking taylor expansion of x in x
1.909 * [taylor]: Taking taylor expansion of y in x
1.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
1.910 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.910 * [taylor]: Taking taylor expansion of (* t z) in x
1.910 * [taylor]: Taking taylor expansion of t in x
1.910 * [taylor]: Taking taylor expansion of z in x
1.910 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.910 * [taylor]: Taking taylor expansion of (* x y) in x
1.910 * [taylor]: Taking taylor expansion of x in x
1.910 * [taylor]: Taking taylor expansion of y in x
1.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.910 * [taylor]: Taking taylor expansion of y in y
1.910 * [taylor]: Taking taylor expansion of 1 in z
1.910 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.910 * [taylor]: Taking taylor expansion of (* t z) in y
1.910 * [taylor]: Taking taylor expansion of t in y
1.910 * [taylor]: Taking taylor expansion of z in y
1.910 * [taylor]: Taking taylor expansion of 0 in z
1.910 * [taylor]: Taking taylor expansion of 1 in t
1.910 * [taylor]: Taking taylor expansion of 0 in y
1.910 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.911 * [taylor]: Taking taylor expansion of (* t z) in z
1.911 * [taylor]: Taking taylor expansion of t in z
1.911 * [taylor]: Taking taylor expansion of z in z
1.911 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.911 * [taylor]: Taking taylor expansion of t in t
1.911 * [taylor]: Taking taylor expansion of 0 in z
1.911 * [taylor]: Taking taylor expansion of 0 in t
1.911 * [taylor]: Taking taylor expansion of 0 in t
1.911 * [taylor]: Taking taylor expansion of 0 in y
1.911 * [taylor]: Taking taylor expansion of 0 in z
1.911 * [taylor]: Taking taylor expansion of 0 in z
1.911 * [taylor]: Taking taylor expansion of 0 in z
1.912 * [taylor]: Taking taylor expansion of 0 in t
1.912 * [taylor]: Taking taylor expansion of 0 in t
1.912 * [taylor]: Taking taylor expansion of 0 in t
1.912 * [taylor]: Taking taylor expansion of 0 in t
1.912 * [taylor]: Taking taylor expansion of 0 in y
1.912 * [taylor]: Taking taylor expansion of 0 in z
1.912 * [taylor]: Taking taylor expansion of 0 in z
1.912 * [taylor]: Taking taylor expansion of 0 in z
1.912 * [taylor]: Taking taylor expansion of 0 in z
1.912 * [taylor]: Taking taylor expansion of 0 in t
1.913 * [taylor]: Taking taylor expansion of 0 in t
1.913 * [taylor]: Taking taylor expansion of 0 in t
1.913 * [taylor]: Taking taylor expansion of 0 in t
1.913 * [taylor]: Taking taylor expansion of 0 in t
1.913 * [taylor]: Taking taylor expansion of 0 in t
1.913 * [taylor]: Taking taylor expansion of 0 in t
1.913 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.913 * [approximate]: Taking taylor expansion of (+ (* t z) (+ (* a b) (+ (* x y) (* i c)))) in (x y z t a b c i) around 0
1.913 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (+ (* x y) (* i c)))) in i
1.913 * [taylor]: Taking taylor expansion of (* t z) in i
1.913 * [taylor]: Taking taylor expansion of t in i
1.913 * [taylor]: Taking taylor expansion of z in i
1.913 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* x y) (* i c))) in i
1.913 * [taylor]: Taking taylor expansion of (* a b) in i
1.913 * [taylor]: Taking taylor expansion of a in i
1.913 * [taylor]: Taking taylor expansion of b in i
1.913 * [taylor]: Taking taylor expansion of (+ (* x y) (* i c)) in i
1.913 * [taylor]: Taking taylor expansion of (* x y) in i
1.914 * [taylor]: Taking taylor expansion of x in i
1.914 * [taylor]: Taking taylor expansion of y in i
1.914 * [taylor]: Taking taylor expansion of (* i c) in i
1.914 * [taylor]: Taking taylor expansion of i in i
1.914 * [taylor]: Taking taylor expansion of c in i
1.914 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (+ (* x y) (* i c)))) in c
1.914 * [taylor]: Taking taylor expansion of (* t z) in c
1.914 * [taylor]: Taking taylor expansion of t in c
1.914 * [taylor]: Taking taylor expansion of z in c
1.914 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* x y) (* i c))) in c
1.914 * [taylor]: Taking taylor expansion of (* a b) in c
1.914 * [taylor]: Taking taylor expansion of a in c
1.914 * [taylor]: Taking taylor expansion of b in c
1.914 * [taylor]: Taking taylor expansion of (+ (* x y) (* i c)) in c
1.914 * [taylor]: Taking taylor expansion of (* x y) in c
1.914 * [taylor]: Taking taylor expansion of x in c
1.914 * [taylor]: Taking taylor expansion of y in c
1.914 * [taylor]: Taking taylor expansion of (* i c) in c
1.914 * [taylor]: Taking taylor expansion of i in c
1.914 * [taylor]: Taking taylor expansion of c in c
1.914 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (+ (* x y) (* i c)))) in b
1.914 * [taylor]: Taking taylor expansion of (* t z) in b
1.914 * [taylor]: Taking taylor expansion of t in b
1.914 * [taylor]: Taking taylor expansion of z in b
1.914 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* x y) (* i c))) in b
1.914 * [taylor]: Taking taylor expansion of (* a b) in b
1.914 * [taylor]: Taking taylor expansion of a in b
1.914 * [taylor]: Taking taylor expansion of b in b
1.914 * [taylor]: Taking taylor expansion of (+ (* x y) (* i c)) in b
1.914 * [taylor]: Taking taylor expansion of (* x y) in b
1.914 * [taylor]: Taking taylor expansion of x in b
1.914 * [taylor]: Taking taylor expansion of y in b
1.914 * [taylor]: Taking taylor expansion of (* i c) in b
1.914 * [taylor]: Taking taylor expansion of i in b
1.914 * [taylor]: Taking taylor expansion of c in b
1.914 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (+ (* x y) (* i c)))) in a
1.914 * [taylor]: Taking taylor expansion of (* t z) in a
1.914 * [taylor]: Taking taylor expansion of t in a
1.914 * [taylor]: Taking taylor expansion of z in a
1.914 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* x y) (* i c))) in a
1.914 * [taylor]: Taking taylor expansion of (* a b) in a
1.914 * [taylor]: Taking taylor expansion of a in a
1.914 * [taylor]: Taking taylor expansion of b in a
1.914 * [taylor]: Taking taylor expansion of (+ (* x y) (* i c)) in a
1.914 * [taylor]: Taking taylor expansion of (* x y) in a
1.914 * [taylor]: Taking taylor expansion of x in a
1.914 * [taylor]: Taking taylor expansion of y in a
1.914 * [taylor]: Taking taylor expansion of (* i c) in a
1.914 * [taylor]: Taking taylor expansion of i in a
1.914 * [taylor]: Taking taylor expansion of c in a
1.914 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (+ (* x y) (* i c)))) in t
1.914 * [taylor]: Taking taylor expansion of (* t z) in t
1.914 * [taylor]: Taking taylor expansion of t in t
1.914 * [taylor]: Taking taylor expansion of z in t
1.914 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* x y) (* i c))) in t
1.914 * [taylor]: Taking taylor expansion of (* a b) in t
1.914 * [taylor]: Taking taylor expansion of a in t
1.914 * [taylor]: Taking taylor expansion of b in t
1.915 * [taylor]: Taking taylor expansion of (+ (* x y) (* i c)) in t
1.915 * [taylor]: Taking taylor expansion of (* x y) in t
1.915 * [taylor]: Taking taylor expansion of x in t
1.915 * [taylor]: Taking taylor expansion of y in t
1.915 * [taylor]: Taking taylor expansion of (* i c) in t
1.915 * [taylor]: Taking taylor expansion of i in t
1.915 * [taylor]: Taking taylor expansion of c in t
1.915 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (+ (* x y) (* i c)))) in z
1.915 * [taylor]: Taking taylor expansion of (* t z) in z
1.915 * [taylor]: Taking taylor expansion of t in z
1.915 * [taylor]: Taking taylor expansion of z in z
1.915 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* x y) (* i c))) in z
1.915 * [taylor]: Taking taylor expansion of (* a b) in z
1.915 * [taylor]: Taking taylor expansion of a in z
1.915 * [taylor]: Taking taylor expansion of b in z
1.915 * [taylor]: Taking taylor expansion of (+ (* x y) (* i c)) in z
1.915 * [taylor]: Taking taylor expansion of (* x y) in z
1.915 * [taylor]: Taking taylor expansion of x in z
1.915 * [taylor]: Taking taylor expansion of y in z
1.915 * [taylor]: Taking taylor expansion of (* i c) in z
1.915 * [taylor]: Taking taylor expansion of i in z
1.915 * [taylor]: Taking taylor expansion of c in z
1.915 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (+ (* x y) (* i c)))) in y
1.915 * [taylor]: Taking taylor expansion of (* t z) in y
1.915 * [taylor]: Taking taylor expansion of t in y
1.915 * [taylor]: Taking taylor expansion of z in y
1.915 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* x y) (* i c))) in y
1.915 * [taylor]: Taking taylor expansion of (* a b) in y
1.915 * [taylor]: Taking taylor expansion of a in y
1.915 * [taylor]: Taking taylor expansion of b in y
1.915 * [taylor]: Taking taylor expansion of (+ (* x y) (* i c)) in y
1.915 * [taylor]: Taking taylor expansion of (* x y) in y
1.915 * [taylor]: Taking taylor expansion of x in y
1.915 * [taylor]: Taking taylor expansion of y in y
1.915 * [taylor]: Taking taylor expansion of (* i c) in y
1.915 * [taylor]: Taking taylor expansion of i in y
1.915 * [taylor]: Taking taylor expansion of c in y
1.915 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (+ (* x y) (* i c)))) in x
1.915 * [taylor]: Taking taylor expansion of (* t z) in x
1.915 * [taylor]: Taking taylor expansion of t in x
1.915 * [taylor]: Taking taylor expansion of z in x
1.915 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* x y) (* i c))) in x
1.915 * [taylor]: Taking taylor expansion of (* a b) in x
1.915 * [taylor]: Taking taylor expansion of a in x
1.915 * [taylor]: Taking taylor expansion of b in x
1.915 * [taylor]: Taking taylor expansion of (+ (* x y) (* i c)) in x
1.915 * [taylor]: Taking taylor expansion of (* x y) in x
1.915 * [taylor]: Taking taylor expansion of x in x
1.915 * [taylor]: Taking taylor expansion of y in x
1.915 * [taylor]: Taking taylor expansion of (* i c) in x
1.915 * [taylor]: Taking taylor expansion of i in x
1.915 * [taylor]: Taking taylor expansion of c in x
1.915 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (+ (* x y) (* i c)))) in x
1.915 * [taylor]: Taking taylor expansion of (* t z) in x
1.915 * [taylor]: Taking taylor expansion of t in x
1.915 * [taylor]: Taking taylor expansion of z in x
1.915 * [taylor]: Taking taylor expansion of (+ (* a b) (+ (* x y) (* i c))) in x
1.915 * [taylor]: Taking taylor expansion of (* a b) in x
1.915 * [taylor]: Taking taylor expansion of a in x
1.916 * [taylor]: Taking taylor expansion of b in x
1.916 * [taylor]: Taking taylor expansion of (+ (* x y) (* i c)) in x
1.916 * [taylor]: Taking taylor expansion of (* x y) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.916 * [taylor]: Taking taylor expansion of y in x
1.916 * [taylor]: Taking taylor expansion of (* i c) in x
1.916 * [taylor]: Taking taylor expansion of i in x
1.916 * [taylor]: Taking taylor expansion of c in x
1.916 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* i c))) in y
1.916 * [taylor]: Taking taylor expansion of (* t z) in y
1.916 * [taylor]: Taking taylor expansion of t in y
1.916 * [taylor]: Taking taylor expansion of z in y
1.916 * [taylor]: Taking taylor expansion of (+ (* a b) (* i c)) in y
1.916 * [taylor]: Taking taylor expansion of (* a b) in y
1.916 * [taylor]: Taking taylor expansion of a in y
1.916 * [taylor]: Taking taylor expansion of b in y
1.916 * [taylor]: Taking taylor expansion of (* i c) in y
1.916 * [taylor]: Taking taylor expansion of i in y
1.916 * [taylor]: Taking taylor expansion of c in y
1.916 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* i c))) in z
1.916 * [taylor]: Taking taylor expansion of (* t z) in z
1.916 * [taylor]: Taking taylor expansion of t in z
1.916 * [taylor]: Taking taylor expansion of z in z
1.916 * [taylor]: Taking taylor expansion of (+ (* a b) (* i c)) in z
1.916 * [taylor]: Taking taylor expansion of (* a b) in z
1.916 * [taylor]: Taking taylor expansion of a in z
1.916 * [taylor]: Taking taylor expansion of b in z
1.916 * [taylor]: Taking taylor expansion of (* i c) in z
1.916 * [taylor]: Taking taylor expansion of i in z
1.916 * [taylor]: Taking taylor expansion of c in z
1.917 * [taylor]: Taking taylor expansion of (+ (* i c) (* a b)) in t
1.917 * [taylor]: Taking taylor expansion of (* i c) in t
1.917 * [taylor]: Taking taylor expansion of i in t
1.917 * [taylor]: Taking taylor expansion of c in t
1.917 * [taylor]: Taking taylor expansion of (* a b) in t
1.917 * [taylor]: Taking taylor expansion of a in t
1.917 * [taylor]: Taking taylor expansion of b in t
1.917 * [taylor]: Taking taylor expansion of (+ (* a b) (* i c)) in a
1.917 * [taylor]: Taking taylor expansion of (* a b) in a
1.917 * [taylor]: Taking taylor expansion of a in a
1.917 * [taylor]: Taking taylor expansion of b in a
1.917 * [taylor]: Taking taylor expansion of (* i c) in a
1.917 * [taylor]: Taking taylor expansion of i in a
1.917 * [taylor]: Taking taylor expansion of c in a
1.917 * [taylor]: Taking taylor expansion of (* i c) in b
1.917 * [taylor]: Taking taylor expansion of i in b
1.917 * [taylor]: Taking taylor expansion of c in b
1.917 * [taylor]: Taking taylor expansion of (* i c) in c
1.917 * [taylor]: Taking taylor expansion of i in c
1.917 * [taylor]: Taking taylor expansion of c in c
1.917 * [taylor]: Taking taylor expansion of 0 in i
1.917 * [taylor]: Taking taylor expansion of y in y
1.917 * [taylor]: Taking taylor expansion of 0 in z
1.917 * [taylor]: Taking taylor expansion of 0 in t
1.917 * [taylor]: Taking taylor expansion of 0 in a
1.917 * [taylor]: Taking taylor expansion of 0 in b
1.917 * [taylor]: Taking taylor expansion of 0 in c
1.917 * [taylor]: Taking taylor expansion of 0 in i
1.918 * [taylor]: Taking taylor expansion of 0 in z
1.918 * [taylor]: Taking taylor expansion of 0 in t
1.918 * [taylor]: Taking taylor expansion of 0 in a
1.918 * [taylor]: Taking taylor expansion of 0 in b
1.918 * [taylor]: Taking taylor expansion of 0 in c
1.918 * [taylor]: Taking taylor expansion of 0 in i
1.918 * [taylor]: Taking taylor expansion of t in t
1.918 * [taylor]: Taking taylor expansion of 0 in a
1.918 * [taylor]: Taking taylor expansion of 0 in b
1.918 * [taylor]: Taking taylor expansion of 0 in c
1.918 * [taylor]: Taking taylor expansion of 0 in i
1.918 * [taylor]: Taking taylor expansion of 0 in a
1.918 * [taylor]: Taking taylor expansion of 0 in b
1.918 * [taylor]: Taking taylor expansion of 0 in c
1.918 * [taylor]: Taking taylor expansion of 0 in i
1.918 * [taylor]: Taking taylor expansion of b in b
1.918 * [taylor]: Taking taylor expansion of 0 in c
1.918 * [taylor]: Taking taylor expansion of 0 in i
1.919 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in (x y z t a b c i) around 0
1.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in i
1.919 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in i
1.919 * [taylor]: Taking taylor expansion of (* t z) in i
1.919 * [taylor]: Taking taylor expansion of t in i
1.919 * [taylor]: Taking taylor expansion of z in i
1.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in i
1.919 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in i
1.919 * [taylor]: Taking taylor expansion of (* a b) in i
1.919 * [taylor]: Taking taylor expansion of a in i
1.919 * [taylor]: Taking taylor expansion of b in i
1.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in i
1.919 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in i
1.919 * [taylor]: Taking taylor expansion of (* i c) in i
1.919 * [taylor]: Taking taylor expansion of i in i
1.919 * [taylor]: Taking taylor expansion of c in i
1.919 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in i
1.919 * [taylor]: Taking taylor expansion of (* x y) in i
1.919 * [taylor]: Taking taylor expansion of x in i
1.919 * [taylor]: Taking taylor expansion of y in i
1.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in c
1.919 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in c
1.919 * [taylor]: Taking taylor expansion of (* t z) in c
1.919 * [taylor]: Taking taylor expansion of t in c
1.919 * [taylor]: Taking taylor expansion of z in c
1.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in c
1.919 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
1.919 * [taylor]: Taking taylor expansion of (* a b) in c
1.919 * [taylor]: Taking taylor expansion of a in c
1.919 * [taylor]: Taking taylor expansion of b in c
1.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in c
1.919 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in c
1.919 * [taylor]: Taking taylor expansion of (* i c) in c
1.919 * [taylor]: Taking taylor expansion of i in c
1.919 * [taylor]: Taking taylor expansion of c in c
1.920 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in c
1.920 * [taylor]: Taking taylor expansion of (* x y) in c
1.920 * [taylor]: Taking taylor expansion of x in c
1.920 * [taylor]: Taking taylor expansion of y in c
1.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in b
1.920 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b
1.920 * [taylor]: Taking taylor expansion of (* t z) in b
1.920 * [taylor]: Taking taylor expansion of t in b
1.920 * [taylor]: Taking taylor expansion of z in b
1.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in b
1.920 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.920 * [taylor]: Taking taylor expansion of (* a b) in b
1.920 * [taylor]: Taking taylor expansion of a in b
1.920 * [taylor]: Taking taylor expansion of b in b
1.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in b
1.920 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in b
1.920 * [taylor]: Taking taylor expansion of (* i c) in b
1.920 * [taylor]: Taking taylor expansion of i in b
1.920 * [taylor]: Taking taylor expansion of c in b
1.920 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b
1.920 * [taylor]: Taking taylor expansion of (* x y) in b
1.920 * [taylor]: Taking taylor expansion of x in b
1.920 * [taylor]: Taking taylor expansion of y in b
1.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in a
1.920 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.920 * [taylor]: Taking taylor expansion of (* t z) in a
1.920 * [taylor]: Taking taylor expansion of t in a
1.920 * [taylor]: Taking taylor expansion of z in a
1.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in a
1.920 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.920 * [taylor]: Taking taylor expansion of (* a b) in a
1.920 * [taylor]: Taking taylor expansion of a in a
1.920 * [taylor]: Taking taylor expansion of b in a
1.920 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in a
1.920 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in a
1.920 * [taylor]: Taking taylor expansion of (* i c) in a
1.921 * [taylor]: Taking taylor expansion of i in a
1.921 * [taylor]: Taking taylor expansion of c in a
1.921 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.921 * [taylor]: Taking taylor expansion of (* x y) in a
1.921 * [taylor]: Taking taylor expansion of x in a
1.921 * [taylor]: Taking taylor expansion of y in a
1.921 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in t
1.921 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.921 * [taylor]: Taking taylor expansion of (* t z) in t
1.921 * [taylor]: Taking taylor expansion of t in t
1.921 * [taylor]: Taking taylor expansion of z in t
1.921 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in t
1.921 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.921 * [taylor]: Taking taylor expansion of (* a b) in t
1.921 * [taylor]: Taking taylor expansion of a in t
1.921 * [taylor]: Taking taylor expansion of b in t
1.921 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in t
1.921 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in t
1.921 * [taylor]: Taking taylor expansion of (* i c) in t
1.921 * [taylor]: Taking taylor expansion of i in t
1.921 * [taylor]: Taking taylor expansion of c in t
1.921 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.921 * [taylor]: Taking taylor expansion of (* x y) in t
1.921 * [taylor]: Taking taylor expansion of x in t
1.921 * [taylor]: Taking taylor expansion of y in t
1.921 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in z
1.921 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.921 * [taylor]: Taking taylor expansion of (* t z) in z
1.921 * [taylor]: Taking taylor expansion of t in z
1.921 * [taylor]: Taking taylor expansion of z in z
1.921 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in z
1.921 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.921 * [taylor]: Taking taylor expansion of (* a b) in z
1.921 * [taylor]: Taking taylor expansion of a in z
1.921 * [taylor]: Taking taylor expansion of b in z
1.922 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in z
1.922 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in z
1.922 * [taylor]: Taking taylor expansion of (* i c) in z
1.922 * [taylor]: Taking taylor expansion of i in z
1.922 * [taylor]: Taking taylor expansion of c in z
1.922 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.922 * [taylor]: Taking taylor expansion of (* x y) in z
1.922 * [taylor]: Taking taylor expansion of x in z
1.922 * [taylor]: Taking taylor expansion of y in z
1.922 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in y
1.922 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.922 * [taylor]: Taking taylor expansion of (* t z) in y
1.922 * [taylor]: Taking taylor expansion of t in y
1.922 * [taylor]: Taking taylor expansion of z in y
1.922 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in y
1.922 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.922 * [taylor]: Taking taylor expansion of (* a b) in y
1.922 * [taylor]: Taking taylor expansion of a in y
1.922 * [taylor]: Taking taylor expansion of b in y
1.922 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in y
1.922 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in y
1.922 * [taylor]: Taking taylor expansion of (* i c) in y
1.922 * [taylor]: Taking taylor expansion of i in y
1.922 * [taylor]: Taking taylor expansion of c in y
1.922 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.922 * [taylor]: Taking taylor expansion of (* x y) in y
1.922 * [taylor]: Taking taylor expansion of x in y
1.922 * [taylor]: Taking taylor expansion of y in y
1.922 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.923 * [taylor]: Taking taylor expansion of (* t z) in x
1.923 * [taylor]: Taking taylor expansion of t in x
1.923 * [taylor]: Taking taylor expansion of z in x
1.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
1.923 * [taylor]: Taking taylor expansion of (* a b) in x
1.923 * [taylor]: Taking taylor expansion of a in x
1.923 * [taylor]: Taking taylor expansion of b in x
1.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in x
1.923 * [taylor]: Taking taylor expansion of (* i c) in x
1.923 * [taylor]: Taking taylor expansion of i in x
1.923 * [taylor]: Taking taylor expansion of c in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.923 * [taylor]: Taking taylor expansion of (* x y) in x
1.923 * [taylor]: Taking taylor expansion of x in x
1.923 * [taylor]: Taking taylor expansion of y in x
1.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.923 * [taylor]: Taking taylor expansion of (* t z) in x
1.923 * [taylor]: Taking taylor expansion of t in x
1.923 * [taylor]: Taking taylor expansion of z in x
1.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
1.923 * [taylor]: Taking taylor expansion of (* a b) in x
1.923 * [taylor]: Taking taylor expansion of a in x
1.923 * [taylor]: Taking taylor expansion of b in x
1.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in x
1.923 * [taylor]: Taking taylor expansion of (* i c) in x
1.923 * [taylor]: Taking taylor expansion of i in x
1.923 * [taylor]: Taking taylor expansion of c in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.923 * [taylor]: Taking taylor expansion of (* x y) in x
1.923 * [taylor]: Taking taylor expansion of x in x
1.923 * [taylor]: Taking taylor expansion of y in x
1.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.924 * [taylor]: Taking taylor expansion of y in y
1.924 * [taylor]: Taking taylor expansion of 1 in z
1.924 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* i c)))) in y
1.924 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.924 * [taylor]: Taking taylor expansion of (* t z) in y
1.924 * [taylor]: Taking taylor expansion of t in y
1.924 * [taylor]: Taking taylor expansion of z in y
1.924 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* i c))) in y
1.924 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.924 * [taylor]: Taking taylor expansion of (* a b) in y
1.924 * [taylor]: Taking taylor expansion of a in y
1.924 * [taylor]: Taking taylor expansion of b in y
1.924 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in y
1.924 * [taylor]: Taking taylor expansion of (* i c) in y
1.924 * [taylor]: Taking taylor expansion of i in y
1.924 * [taylor]: Taking taylor expansion of c in y
1.924 * [taylor]: Taking taylor expansion of 0 in z
1.924 * [taylor]: Taking taylor expansion of 1 in t
1.925 * [taylor]: Taking taylor expansion of 0 in y
1.925 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* i c)))) in z
1.925 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.925 * [taylor]: Taking taylor expansion of (* t z) in z
1.925 * [taylor]: Taking taylor expansion of t in z
1.925 * [taylor]: Taking taylor expansion of z in z
1.925 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* i c))) in z
1.925 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.925 * [taylor]: Taking taylor expansion of (* a b) in z
1.925 * [taylor]: Taking taylor expansion of a in z
1.925 * [taylor]: Taking taylor expansion of b in z
1.925 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in z
1.925 * [taylor]: Taking taylor expansion of (* i c) in z
1.925 * [taylor]: Taking taylor expansion of i in z
1.926 * [taylor]: Taking taylor expansion of c in z
1.926 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.926 * [taylor]: Taking taylor expansion of t in t
1.926 * [taylor]: Taking taylor expansion of 1 in a
1.926 * [taylor]: Taking taylor expansion of 0 in z
1.926 * [taylor]: Taking taylor expansion of 0 in t
1.926 * [taylor]: Taking taylor expansion of 0 in t
1.926 * [taylor]: Taking taylor expansion of 1 in a
1.927 * [taylor]: Taking taylor expansion of 0 in y
1.927 * [taylor]: Taking taylor expansion of 0 in z
1.927 * [taylor]: Taking taylor expansion of 0 in z
1.927 * [taylor]: Taking taylor expansion of 0 in z
1.927 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* i c))) in t
1.927 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.927 * [taylor]: Taking taylor expansion of (* a b) in t
1.927 * [taylor]: Taking taylor expansion of a in t
1.927 * [taylor]: Taking taylor expansion of b in t
1.928 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in t
1.928 * [taylor]: Taking taylor expansion of (* i c) in t
1.928 * [taylor]: Taking taylor expansion of i in t
1.928 * [taylor]: Taking taylor expansion of c in t
1.928 * [taylor]: Taking taylor expansion of 0 in t
1.928 * [taylor]: Taking taylor expansion of 0 in t
1.928 * [taylor]: Taking taylor expansion of 0 in t
1.928 * [taylor]: Taking taylor expansion of 0 in a
1.928 * [taylor]: Taking taylor expansion of 0 in a
1.928 * [taylor]: Taking taylor expansion of 0 in a
1.928 * [taylor]: Taking taylor expansion of 0 in a
1.928 * [taylor]: Taking taylor expansion of 1 in b
1.928 * [taylor]: Taking taylor expansion of 1 in b
1.929 * [taylor]: Taking taylor expansion of 0 in y
1.929 * [taylor]: Taking taylor expansion of 0 in z
1.929 * [taylor]: Taking taylor expansion of 0 in z
1.930 * [taylor]: Taking taylor expansion of 0 in z
1.930 * [taylor]: Taking taylor expansion of 0 in z
1.930 * [taylor]: Taking taylor expansion of 0 in t
1.930 * [taylor]: Taking taylor expansion of 0 in t
1.930 * [taylor]: Taking taylor expansion of 0 in t
1.930 * [taylor]: Taking taylor expansion of 0 in t
1.930 * [taylor]: Taking taylor expansion of 0 in t
1.931 * [taylor]: Taking taylor expansion of 0 in t
1.931 * [taylor]: Taking taylor expansion of 0 in t
1.931 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* i c))) in a
1.931 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.931 * [taylor]: Taking taylor expansion of (* a b) in a
1.931 * [taylor]: Taking taylor expansion of a in a
1.931 * [taylor]: Taking taylor expansion of b in a
1.931 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in a
1.931 * [taylor]: Taking taylor expansion of (* i c) in a
1.931 * [taylor]: Taking taylor expansion of i in a
1.931 * [taylor]: Taking taylor expansion of c in a
1.931 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.931 * [taylor]: Taking taylor expansion of b in b
1.931 * [taylor]: Taking taylor expansion of 1 in c
1.931 * [taylor]: Taking taylor expansion of 0 in a
1.931 * [taylor]: Taking taylor expansion of 0 in a
1.931 * [taylor]: Taking taylor expansion of 0 in a
1.931 * [taylor]: Taking taylor expansion of 0 in a
1.931 * [taylor]: Taking taylor expansion of 0 in a
1.931 * [taylor]: Taking taylor expansion of 0 in a
1.931 * [taylor]: Taking taylor expansion of 0 in a
1.932 * [taylor]: Taking taylor expansion of 0 in b
1.932 * [taylor]: Taking taylor expansion of 0 in b
1.932 * [taylor]: Taking taylor expansion of 0 in b
1.932 * [taylor]: Taking taylor expansion of 0 in b
1.932 * [taylor]: Taking taylor expansion of 0 in b
1.932 * [taylor]: Taking taylor expansion of 0 in b
1.933 * [taylor]: Taking taylor expansion of 1 in c
1.933 * [taylor]: Taking taylor expansion of 1 in c
1.935 * [taylor]: Taking taylor expansion of 0 in y
1.935 * [taylor]: Taking taylor expansion of 0 in z
1.935 * [taylor]: Taking taylor expansion of 0 in z
1.935 * [taylor]: Taking taylor expansion of 0 in z
1.936 * [taylor]: Taking taylor expansion of 0 in z
1.936 * [taylor]: Taking taylor expansion of 0 in z
1.936 * [taylor]: Taking taylor expansion of 0 in t
1.936 * [taylor]: Taking taylor expansion of 0 in t
1.936 * [taylor]: Taking taylor expansion of 0 in t
1.936 * [taylor]: Taking taylor expansion of 0 in t
1.936 * [taylor]: Taking taylor expansion of 0 in t
1.936 * [taylor]: Taking taylor expansion of 0 in t
1.936 * [taylor]: Taking taylor expansion of 0 in t
1.937 * [taylor]: Taking taylor expansion of 0 in t
1.937 * [taylor]: Taking taylor expansion of 0 in t
1.937 * [taylor]: Taking taylor expansion of 0 in t
1.937 * [taylor]: Taking taylor expansion of 0 in t
1.937 * [taylor]: Taking taylor expansion of 0 in a
1.937 * [taylor]: Taking taylor expansion of 0 in a
1.937 * [taylor]: Taking taylor expansion of 0 in a
1.937 * [taylor]: Taking taylor expansion of 0 in a
1.937 * [taylor]: Taking taylor expansion of 0 in a
1.937 * [taylor]: Taking taylor expansion of 0 in a
1.937 * [taylor]: Taking taylor expansion of 0 in a
1.938 * [taylor]: Taking taylor expansion of 0 in a
1.938 * [taylor]: Taking taylor expansion of 0 in a
1.938 * [taylor]: Taking taylor expansion of 0 in a
1.938 * [taylor]: Taking taylor expansion of 0 in a
1.938 * [taylor]: Taking taylor expansion of 0 in a
1.938 * [taylor]: Taking taylor expansion of 0 in a
1.938 * [taylor]: Taking taylor expansion of 0 in a
1.938 * [taylor]: Taking taylor expansion of 0 in a
1.938 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in b
1.938 * [taylor]: Taking taylor expansion of (* i c) in b
1.938 * [taylor]: Taking taylor expansion of i in b
1.938 * [taylor]: Taking taylor expansion of c in b
1.938 * [taylor]: Taking taylor expansion of 0 in b
1.938 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in b
1.939 * [taylor]: Taking taylor expansion of 0 in c
1.940 * [taylor]: Taking taylor expansion of 0 in c
1.940 * [taylor]: Taking taylor expansion of 0 in c
1.940 * [taylor]: Taking taylor expansion of 0 in c
1.940 * [taylor]: Taking taylor expansion of 0 in c
1.940 * [taylor]: Taking taylor expansion of 0 in c
1.940 * [taylor]: Taking taylor expansion of 0 in c
1.940 * [taylor]: Taking taylor expansion of 0 in c
1.940 * [taylor]: Taking taylor expansion of 0 in c
1.941 * [taylor]: Taking taylor expansion of 1 in i
1.941 * [taylor]: Taking taylor expansion of 1 in i
1.941 * [taylor]: Taking taylor expansion of 1 in i
1.946 * [taylor]: Taking taylor expansion of 0 in y
1.946 * [taylor]: Taking taylor expansion of 0 in z
1.946 * [taylor]: Taking taylor expansion of 0 in z
1.946 * [taylor]: Taking taylor expansion of 0 in z
1.947 * [taylor]: Taking taylor expansion of 0 in z
1.947 * [taylor]: Taking taylor expansion of 0 in z
1.947 * [taylor]: Taking taylor expansion of 0 in z
1.947 * [taylor]: Taking taylor expansion of 0 in t
1.947 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.949 * [taylor]: Taking taylor expansion of 0 in t
1.949 * [taylor]: Taking taylor expansion of 0 in t
1.949 * [taylor]: Taking taylor expansion of 0 in t
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.949 * [taylor]: Taking taylor expansion of 0 in a
1.950 * [taylor]: Taking taylor expansion of 0 in a
1.950 * [taylor]: Taking taylor expansion of 0 in a
1.950 * [taylor]: Taking taylor expansion of 0 in a
1.950 * [taylor]: Taking taylor expansion of 0 in a
1.950 * [taylor]: Taking taylor expansion of 0 in a
1.950 * [taylor]: Taking taylor expansion of 0 in a
1.950 * [taylor]: Taking taylor expansion of 0 in a
1.950 * [taylor]: Taking taylor expansion of 0 in a
1.950 * [taylor]: Taking taylor expansion of 0 in a
1.950 * [taylor]: Taking taylor expansion of 0 in a
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.951 * [taylor]: Taking taylor expansion of 0 in b
1.952 * [taylor]: Taking taylor expansion of 0 in b
1.952 * [taylor]: Taking taylor expansion of 0 in b
1.952 * [taylor]: Taking taylor expansion of 0 in b
1.952 * [taylor]: Taking taylor expansion of 0 in b
1.952 * [taylor]: Taking taylor expansion of 0 in b
1.952 * [taylor]: Taking taylor expansion of 0 in b
1.952 * [taylor]: Taking taylor expansion of 0 in b
1.952 * [taylor]: Taking taylor expansion of 0 in b
1.953 * [taylor]: Taking taylor expansion of 0 in b
1.953 * [taylor]: Taking taylor expansion of 0 in b
1.953 * [taylor]: Taking taylor expansion of 0 in b
1.953 * [taylor]: Taking taylor expansion of 0 in b
1.953 * [taylor]: Taking taylor expansion of 0 in b
1.953 * [taylor]: Taking taylor expansion of 0 in b
1.953 * [taylor]: Taking taylor expansion of 0 in b
1.954 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in c
1.954 * [taylor]: Taking taylor expansion of (* i c) in c
1.954 * [taylor]: Taking taylor expansion of i in c
1.954 * [taylor]: Taking taylor expansion of c in c
1.954 * [taylor]: Taking taylor expansion of (/ 1 i) in i
1.954 * [taylor]: Taking taylor expansion of i in i
1.954 * [taylor]: Taking taylor expansion of 0 in c
1.954 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.955 * [taylor]: Taking taylor expansion of 0 in c
1.956 * [taylor]: Taking taylor expansion of 0 in c
1.956 * [taylor]: Taking taylor expansion of 0 in c
1.956 * [taylor]: Taking taylor expansion of 0 in c
1.956 * [taylor]: Taking taylor expansion of 0 in c
1.956 * [taylor]: Taking taylor expansion of 0 in c
1.956 * [taylor]: Taking taylor expansion of 0 in c
1.956 * [taylor]: Taking taylor expansion of 0 in c
1.957 * [taylor]: Taking taylor expansion of 0 in c
1.957 * [taylor]: Taking taylor expansion of 0 in c
1.959 * [taylor]: Taking taylor expansion of 0 in i
1.959 * [taylor]: Taking taylor expansion of 0 in i
1.959 * [taylor]: Taking taylor expansion of 0 in i
1.960 * [taylor]: Taking taylor expansion of 0 in i
1.960 * [taylor]: Taking taylor expansion of 0 in i
1.960 * [taylor]: Taking taylor expansion of 0 in i
1.960 * [taylor]: Taking taylor expansion of 0 in i
1.960 * [taylor]: Taking taylor expansion of 0 in i
1.960 * [taylor]: Taking taylor expansion of 0 in i
1.961 * [taylor]: Taking taylor expansion of 0 in i
1.962 * [taylor]: Taking taylor expansion of 0 in i
1.962 * [taylor]: Taking taylor expansion of 0 in i
1.970 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in (x y z t a b c i) around 0
1.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in i
1.970 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in i
1.970 * [taylor]: Taking taylor expansion of (* t z) in i
1.970 * [taylor]: Taking taylor expansion of t in i
1.970 * [taylor]: Taking taylor expansion of z in i
1.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in i
1.970 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in i
1.970 * [taylor]: Taking taylor expansion of (* a b) in i
1.970 * [taylor]: Taking taylor expansion of a in i
1.970 * [taylor]: Taking taylor expansion of b in i
1.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in i
1.970 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in i
1.970 * [taylor]: Taking taylor expansion of (* i c) in i
1.970 * [taylor]: Taking taylor expansion of i in i
1.970 * [taylor]: Taking taylor expansion of c in i
1.970 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in i
1.970 * [taylor]: Taking taylor expansion of (* x y) in i
1.970 * [taylor]: Taking taylor expansion of x in i
1.970 * [taylor]: Taking taylor expansion of y in i
1.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in c
1.970 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in c
1.970 * [taylor]: Taking taylor expansion of (* t z) in c
1.970 * [taylor]: Taking taylor expansion of t in c
1.970 * [taylor]: Taking taylor expansion of z in c
1.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in c
1.970 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c
1.970 * [taylor]: Taking taylor expansion of (* a b) in c
1.970 * [taylor]: Taking taylor expansion of a in c
1.970 * [taylor]: Taking taylor expansion of b in c
1.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in c
1.970 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in c
1.970 * [taylor]: Taking taylor expansion of (* i c) in c
1.970 * [taylor]: Taking taylor expansion of i in c
1.970 * [taylor]: Taking taylor expansion of c in c
1.971 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in c
1.971 * [taylor]: Taking taylor expansion of (* x y) in c
1.971 * [taylor]: Taking taylor expansion of x in c
1.971 * [taylor]: Taking taylor expansion of y in c
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in b
1.971 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b
1.971 * [taylor]: Taking taylor expansion of (* t z) in b
1.971 * [taylor]: Taking taylor expansion of t in b
1.971 * [taylor]: Taking taylor expansion of z in b
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in b
1.971 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
1.971 * [taylor]: Taking taylor expansion of (* a b) in b
1.971 * [taylor]: Taking taylor expansion of a in b
1.971 * [taylor]: Taking taylor expansion of b in b
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in b
1.971 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in b
1.971 * [taylor]: Taking taylor expansion of (* i c) in b
1.971 * [taylor]: Taking taylor expansion of i in b
1.971 * [taylor]: Taking taylor expansion of c in b
1.971 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b
1.971 * [taylor]: Taking taylor expansion of (* x y) in b
1.971 * [taylor]: Taking taylor expansion of x in b
1.971 * [taylor]: Taking taylor expansion of y in b
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in a
1.971 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
1.971 * [taylor]: Taking taylor expansion of (* t z) in a
1.971 * [taylor]: Taking taylor expansion of t in a
1.971 * [taylor]: Taking taylor expansion of z in a
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in a
1.971 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.971 * [taylor]: Taking taylor expansion of (* a b) in a
1.971 * [taylor]: Taking taylor expansion of a in a
1.971 * [taylor]: Taking taylor expansion of b in a
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in a
1.971 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in a
1.971 * [taylor]: Taking taylor expansion of (* i c) in a
1.972 * [taylor]: Taking taylor expansion of i in a
1.972 * [taylor]: Taking taylor expansion of c in a
1.972 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
1.972 * [taylor]: Taking taylor expansion of (* x y) in a
1.972 * [taylor]: Taking taylor expansion of x in a
1.972 * [taylor]: Taking taylor expansion of y in a
1.972 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in t
1.972 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.972 * [taylor]: Taking taylor expansion of (* t z) in t
1.972 * [taylor]: Taking taylor expansion of t in t
1.972 * [taylor]: Taking taylor expansion of z in t
1.972 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in t
1.972 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.972 * [taylor]: Taking taylor expansion of (* a b) in t
1.972 * [taylor]: Taking taylor expansion of a in t
1.972 * [taylor]: Taking taylor expansion of b in t
1.972 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in t
1.972 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in t
1.972 * [taylor]: Taking taylor expansion of (* i c) in t
1.972 * [taylor]: Taking taylor expansion of i in t
1.972 * [taylor]: Taking taylor expansion of c in t
1.972 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.972 * [taylor]: Taking taylor expansion of (* x y) in t
1.972 * [taylor]: Taking taylor expansion of x in t
1.972 * [taylor]: Taking taylor expansion of y in t
1.972 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in z
1.972 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.972 * [taylor]: Taking taylor expansion of (* t z) in z
1.972 * [taylor]: Taking taylor expansion of t in z
1.972 * [taylor]: Taking taylor expansion of z in z
1.973 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in z
1.973 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.973 * [taylor]: Taking taylor expansion of (* a b) in z
1.973 * [taylor]: Taking taylor expansion of a in z
1.973 * [taylor]: Taking taylor expansion of b in z
1.973 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in z
1.973 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in z
1.973 * [taylor]: Taking taylor expansion of (* i c) in z
1.973 * [taylor]: Taking taylor expansion of i in z
1.973 * [taylor]: Taking taylor expansion of c in z
1.973 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.973 * [taylor]: Taking taylor expansion of (* x y) in z
1.973 * [taylor]: Taking taylor expansion of x in z
1.973 * [taylor]: Taking taylor expansion of y in z
1.973 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in y
1.973 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.973 * [taylor]: Taking taylor expansion of (* t z) in y
1.973 * [taylor]: Taking taylor expansion of t in y
1.973 * [taylor]: Taking taylor expansion of z in y
1.973 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in y
1.973 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.973 * [taylor]: Taking taylor expansion of (* a b) in y
1.973 * [taylor]: Taking taylor expansion of a in y
1.973 * [taylor]: Taking taylor expansion of b in y
1.973 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in y
1.973 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in y
1.973 * [taylor]: Taking taylor expansion of (* i c) in y
1.973 * [taylor]: Taking taylor expansion of i in y
1.973 * [taylor]: Taking taylor expansion of c in y
1.973 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.973 * [taylor]: Taking taylor expansion of (* x y) in y
1.973 * [taylor]: Taking taylor expansion of x in y
1.973 * [taylor]: Taking taylor expansion of y in y
1.973 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in x
1.973 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.973 * [taylor]: Taking taylor expansion of (* t z) in x
1.974 * [taylor]: Taking taylor expansion of t in x
1.974 * [taylor]: Taking taylor expansion of z in x
1.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
1.974 * [taylor]: Taking taylor expansion of (* a b) in x
1.974 * [taylor]: Taking taylor expansion of a in x
1.974 * [taylor]: Taking taylor expansion of b in x
1.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in x
1.974 * [taylor]: Taking taylor expansion of (* i c) in x
1.974 * [taylor]: Taking taylor expansion of i in x
1.974 * [taylor]: Taking taylor expansion of c in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.974 * [taylor]: Taking taylor expansion of (* x y) in x
1.974 * [taylor]: Taking taylor expansion of x in x
1.974 * [taylor]: Taking taylor expansion of y in x
1.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y))))) in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.974 * [taylor]: Taking taylor expansion of (* t z) in x
1.974 * [taylor]: Taking taylor expansion of t in x
1.974 * [taylor]: Taking taylor expansion of z in x
1.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 (* i c)) (/ 1 (* x y)))) in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
1.974 * [taylor]: Taking taylor expansion of (* a b) in x
1.974 * [taylor]: Taking taylor expansion of a in x
1.974 * [taylor]: Taking taylor expansion of b in x
1.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (* i c)) (/ 1 (* x y))) in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in x
1.974 * [taylor]: Taking taylor expansion of (* i c) in x
1.974 * [taylor]: Taking taylor expansion of i in x
1.974 * [taylor]: Taking taylor expansion of c in x
1.974 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.974 * [taylor]: Taking taylor expansion of (* x y) in x
1.974 * [taylor]: Taking taylor expansion of x in x
1.974 * [taylor]: Taking taylor expansion of y in x
1.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.975 * [taylor]: Taking taylor expansion of y in y
1.975 * [taylor]: Taking taylor expansion of 1 in z
1.975 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* i c)))) in y
1.975 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.975 * [taylor]: Taking taylor expansion of (* t z) in y
1.975 * [taylor]: Taking taylor expansion of t in y
1.975 * [taylor]: Taking taylor expansion of z in y
1.975 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* i c))) in y
1.975 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
1.975 * [taylor]: Taking taylor expansion of (* a b) in y
1.975 * [taylor]: Taking taylor expansion of a in y
1.975 * [taylor]: Taking taylor expansion of b in y
1.975 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in y
1.975 * [taylor]: Taking taylor expansion of (* i c) in y
1.975 * [taylor]: Taking taylor expansion of i in y
1.975 * [taylor]: Taking taylor expansion of c in y
1.975 * [taylor]: Taking taylor expansion of 0 in z
1.975 * [taylor]: Taking taylor expansion of 1 in t
1.976 * [taylor]: Taking taylor expansion of 0 in y
1.976 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* i c)))) in z
1.976 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.976 * [taylor]: Taking taylor expansion of (* t z) in z
1.976 * [taylor]: Taking taylor expansion of t in z
1.976 * [taylor]: Taking taylor expansion of z in z
1.976 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* i c))) in z
1.976 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
1.976 * [taylor]: Taking taylor expansion of (* a b) in z
1.976 * [taylor]: Taking taylor expansion of a in z
1.976 * [taylor]: Taking taylor expansion of b in z
1.976 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in z
1.976 * [taylor]: Taking taylor expansion of (* i c) in z
1.976 * [taylor]: Taking taylor expansion of i in z
1.976 * [taylor]: Taking taylor expansion of c in z
1.977 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.977 * [taylor]: Taking taylor expansion of t in t
1.977 * [taylor]: Taking taylor expansion of 1 in a
1.977 * [taylor]: Taking taylor expansion of 0 in z
1.977 * [taylor]: Taking taylor expansion of 0 in t
1.977 * [taylor]: Taking taylor expansion of 0 in t
1.977 * [taylor]: Taking taylor expansion of 1 in a
1.978 * [taylor]: Taking taylor expansion of 0 in y
1.978 * [taylor]: Taking taylor expansion of 0 in z
1.978 * [taylor]: Taking taylor expansion of 0 in z
1.978 * [taylor]: Taking taylor expansion of 0 in z
1.978 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* i c))) in t
1.978 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
1.978 * [taylor]: Taking taylor expansion of (* a b) in t
1.978 * [taylor]: Taking taylor expansion of a in t
1.978 * [taylor]: Taking taylor expansion of b in t
1.978 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in t
1.979 * [taylor]: Taking taylor expansion of (* i c) in t
1.979 * [taylor]: Taking taylor expansion of i in t
1.979 * [taylor]: Taking taylor expansion of c in t
1.979 * [taylor]: Taking taylor expansion of 0 in t
1.979 * [taylor]: Taking taylor expansion of 0 in t
1.979 * [taylor]: Taking taylor expansion of 0 in t
1.979 * [taylor]: Taking taylor expansion of 0 in a
1.979 * [taylor]: Taking taylor expansion of 0 in a
1.979 * [taylor]: Taking taylor expansion of 0 in a
1.979 * [taylor]: Taking taylor expansion of 0 in a
1.979 * [taylor]: Taking taylor expansion of 1 in b
1.979 * [taylor]: Taking taylor expansion of 1 in b
1.980 * [taylor]: Taking taylor expansion of 0 in y
1.980 * [taylor]: Taking taylor expansion of 0 in z
1.980 * [taylor]: Taking taylor expansion of 0 in z
1.981 * [taylor]: Taking taylor expansion of 0 in z
1.981 * [taylor]: Taking taylor expansion of 0 in z
1.981 * [taylor]: Taking taylor expansion of 0 in t
1.981 * [taylor]: Taking taylor expansion of 0 in t
1.981 * [taylor]: Taking taylor expansion of 0 in t
1.981 * [taylor]: Taking taylor expansion of 0 in t
1.981 * [taylor]: Taking taylor expansion of 0 in t
1.981 * [taylor]: Taking taylor expansion of 0 in t
1.981 * [taylor]: Taking taylor expansion of 0 in t
1.982 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* i c))) in a
1.982 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
1.982 * [taylor]: Taking taylor expansion of (* a b) in a
1.982 * [taylor]: Taking taylor expansion of a in a
1.982 * [taylor]: Taking taylor expansion of b in a
1.982 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in a
1.982 * [taylor]: Taking taylor expansion of (* i c) in a
1.982 * [taylor]: Taking taylor expansion of i in a
1.982 * [taylor]: Taking taylor expansion of c in a
1.982 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.982 * [taylor]: Taking taylor expansion of b in b
1.982 * [taylor]: Taking taylor expansion of 1 in c
1.982 * [taylor]: Taking taylor expansion of 0 in a
1.982 * [taylor]: Taking taylor expansion of 0 in a
1.982 * [taylor]: Taking taylor expansion of 0 in a
1.982 * [taylor]: Taking taylor expansion of 0 in a
1.982 * [taylor]: Taking taylor expansion of 0 in a
1.982 * [taylor]: Taking taylor expansion of 0 in a
1.982 * [taylor]: Taking taylor expansion of 0 in a
1.983 * [taylor]: Taking taylor expansion of 0 in b
1.983 * [taylor]: Taking taylor expansion of 0 in b
1.983 * [taylor]: Taking taylor expansion of 0 in b
1.983 * [taylor]: Taking taylor expansion of 0 in b
1.983 * [taylor]: Taking taylor expansion of 0 in b
1.983 * [taylor]: Taking taylor expansion of 0 in b
1.983 * [taylor]: Taking taylor expansion of 1 in c
1.984 * [taylor]: Taking taylor expansion of 1 in c
1.986 * [taylor]: Taking taylor expansion of 0 in y
1.986 * [taylor]: Taking taylor expansion of 0 in z
1.986 * [taylor]: Taking taylor expansion of 0 in z
1.986 * [taylor]: Taking taylor expansion of 0 in z
1.986 * [taylor]: Taking taylor expansion of 0 in z
1.986 * [taylor]: Taking taylor expansion of 0 in z
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in t
1.987 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.988 * [taylor]: Taking taylor expansion of 0 in a
1.989 * [taylor]: Taking taylor expansion of 0 in a
1.989 * [taylor]: Taking taylor expansion of 0 in a
1.989 * [taylor]: Taking taylor expansion of 0 in a
1.989 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in b
1.989 * [taylor]: Taking taylor expansion of (* i c) in b
1.989 * [taylor]: Taking taylor expansion of i in b
1.989 * [taylor]: Taking taylor expansion of c in b
1.989 * [taylor]: Taking taylor expansion of 0 in b
1.989 * [taylor]: Taking taylor expansion of 0 in b
1.989 * [taylor]: Taking taylor expansion of 0 in b
1.989 * [taylor]: Taking taylor expansion of 0 in b
1.989 * [taylor]: Taking taylor expansion of 0 in b
1.989 * [taylor]: Taking taylor expansion of 0 in b
1.989 * [taylor]: Taking taylor expansion of 0 in b
1.990 * [taylor]: Taking taylor expansion of 0 in b
1.990 * [taylor]: Taking taylor expansion of 0 in b
1.990 * [taylor]: Taking taylor expansion of 0 in b
1.990 * [taylor]: Taking taylor expansion of 0 in b
1.990 * [taylor]: Taking taylor expansion of 0 in b
1.990 * [taylor]: Taking taylor expansion of 0 in b
1.990 * [taylor]: Taking taylor expansion of 0 in c
1.990 * [taylor]: Taking taylor expansion of 0 in c
1.990 * [taylor]: Taking taylor expansion of 0 in c
1.990 * [taylor]: Taking taylor expansion of 0 in c
1.990 * [taylor]: Taking taylor expansion of 0 in c
1.991 * [taylor]: Taking taylor expansion of 0 in c
1.991 * [taylor]: Taking taylor expansion of 0 in c
1.991 * [taylor]: Taking taylor expansion of 0 in c
1.991 * [taylor]: Taking taylor expansion of 0 in c
1.991 * [taylor]: Taking taylor expansion of 1 in i
1.992 * [taylor]: Taking taylor expansion of 1 in i
1.992 * [taylor]: Taking taylor expansion of 1 in i
1.997 * [taylor]: Taking taylor expansion of 0 in y
1.997 * [taylor]: Taking taylor expansion of 0 in z
1.997 * [taylor]: Taking taylor expansion of 0 in z
1.997 * [taylor]: Taking taylor expansion of 0 in z
1.997 * [taylor]: Taking taylor expansion of 0 in z
1.998 * [taylor]: Taking taylor expansion of 0 in z
1.998 * [taylor]: Taking taylor expansion of 0 in z
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of 0 in a
1.999 * [taylor]: Taking taylor expansion of 0 in a
1.999 * [taylor]: Taking taylor expansion of 0 in a
1.999 * [taylor]: Taking taylor expansion of 0 in a
1.999 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.000 * [taylor]: Taking taylor expansion of 0 in a
2.001 * [taylor]: Taking taylor expansion of 0 in a
2.001 * [taylor]: Taking taylor expansion of 0 in a
2.004 * [taylor]: Taking taylor expansion of 0 in a
2.004 * [taylor]: Taking taylor expansion of 0 in a
2.004 * [taylor]: Taking taylor expansion of 0 in a
2.004 * [taylor]: Taking taylor expansion of 0 in a
2.004 * [taylor]: Taking taylor expansion of 0 in a
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.005 * [taylor]: Taking taylor expansion of 0 in b
2.006 * [taylor]: Taking taylor expansion of 0 in b
2.006 * [taylor]: Taking taylor expansion of 0 in b
2.006 * [taylor]: Taking taylor expansion of 0 in b
2.006 * [taylor]: Taking taylor expansion of 0 in b
2.006 * [taylor]: Taking taylor expansion of 0 in b
2.006 * [taylor]: Taking taylor expansion of 0 in b
2.007 * [taylor]: Taking taylor expansion of 0 in b
2.007 * [taylor]: Taking taylor expansion of 0 in b
2.007 * [taylor]: Taking taylor expansion of 0 in b
2.007 * [taylor]: Taking taylor expansion of 0 in b
2.007 * [taylor]: Taking taylor expansion of 0 in b
2.007 * [taylor]: Taking taylor expansion of 0 in b
2.007 * [taylor]: Taking taylor expansion of 0 in b
2.007 * [taylor]: Taking taylor expansion of 0 in b
2.007 * [taylor]: Taking taylor expansion of 0 in b
2.009 * [taylor]: Taking taylor expansion of (/ 1 (* i c)) in c
2.009 * [taylor]: Taking taylor expansion of (* i c) in c
2.009 * [taylor]: Taking taylor expansion of i in c
2.009 * [taylor]: Taking taylor expansion of c in c
2.009 * [taylor]: Taking taylor expansion of (/ 1 i) in i
2.009 * [taylor]: Taking taylor expansion of i in i
2.009 * [taylor]: Taking taylor expansion of 0 in c
2.009 * [taylor]: Taking taylor expansion of 0 in c
2.009 * [taylor]: Taking taylor expansion of 0 in c
2.009 * [taylor]: Taking taylor expansion of 0 in c
2.009 * [taylor]: Taking taylor expansion of 0 in c
2.009 * [taylor]: Taking taylor expansion of 0 in c
2.009 * [taylor]: Taking taylor expansion of 0 in c
2.010 * [taylor]: Taking taylor expansion of 0 in c
2.010 * [taylor]: Taking taylor expansion of 0 in c
2.010 * [taylor]: Taking taylor expansion of 0 in c
2.010 * [taylor]: Taking taylor expansion of 0 in c
2.010 * [taylor]: Taking taylor expansion of 0 in c
2.010 * [taylor]: Taking taylor expansion of 0 in c
2.011 * [taylor]: Taking taylor expansion of 0 in c
2.011 * [taylor]: Taking taylor expansion of 0 in c
2.011 * [taylor]: Taking taylor expansion of 0 in c
2.011 * [taylor]: Taking taylor expansion of 0 in c
2.011 * [taylor]: Taking taylor expansion of 0 in c
2.011 * [taylor]: Taking taylor expansion of 0 in c
2.012 * [taylor]: Taking taylor expansion of 0 in c
2.012 * [taylor]: Taking taylor expansion of 0 in c
2.012 * [taylor]: Taking taylor expansion of 0 in c
2.015 * [taylor]: Taking taylor expansion of 0 in i
2.016 * [taylor]: Taking taylor expansion of 0 in i
2.016 * [taylor]: Taking taylor expansion of 0 in i
2.016 * [taylor]: Taking taylor expansion of 0 in i
2.016 * [taylor]: Taking taylor expansion of 0 in i
2.016 * [taylor]: Taking taylor expansion of 0 in i
2.016 * [taylor]: Taking taylor expansion of 0 in i
2.017 * [taylor]: Taking taylor expansion of 0 in i
2.017 * [taylor]: Taking taylor expansion of 0 in i
2.018 * [taylor]: Taking taylor expansion of 0 in i
2.019 * [taylor]: Taking taylor expansion of 0 in i
2.019 * [taylor]: Taking taylor expansion of 0 in i
2.029 * * * [progress]: simplifying candidates
2.030 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 (exp.f64 (*.f64 x y)) (exp.f64 (*.f64 z t))) (exp.f64 (*.f64 a b)))
  (*.f64 (exp.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (exp.f64 (*.f64 a b)))
  (log.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
  (exp.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
  (*.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))) (cbrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))
  (cbrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
  (*.f64 (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
  (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
  (sqrt.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))
  (+.f64 (pow.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 3) (pow.f64 (*.f64 a b) 3))
  (+.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 (*.f64 a b) (*.f64 a b)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))
  (-.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (*.f64 a b) (*.f64 a b)))
  (-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
  (+.f64 (*.f64 z t) (*.f64 a b))
  (*.f64 (exp.f64 (*.f64 x y)) (exp.f64 (*.f64 z t)))
  (log.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (exp.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
  (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (*.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t)))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))
  (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))
  (-.f64 (*.f64 x y) (*.f64 z t))
  (*.f64 (*.f64 (*.f64 (exp.f64 (*.f64 x y)) (exp.f64 (*.f64 z t))) (exp.f64 (*.f64 a b))) (exp.f64 (*.f64 c i)))
  (*.f64 (*.f64 (exp.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (exp.f64 (*.f64 a b))) (exp.f64 (*.f64 c i)))
  (*.f64 (exp.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))) (exp.f64 (*.f64 c i)))
  (log.f64 (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)))
  (exp.f64 (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)))
  (*.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))) (cbrt.f64 (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))))
  (cbrt.f64 (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)))
  (*.f64 (*.f64 (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)) (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))) (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)))
  (sqrt.f64 (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)))
  (sqrt.f64 (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i)))
  (+.f64 (pow.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) 3) (pow.f64 (*.f64 c i) 3))
  (+.f64 (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))) (-.f64 (*.f64 (*.f64 c i) (*.f64 c i)) (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))))
  (-.f64 (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))) (*.f64 (*.f64 c i) (*.f64 c i)))
  (-.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
  (+.f64 (*.f64 a b) (*.f64 c i))
  0
  (+.f64 (*.f64 t z) (+.f64 (*.f64 a b) (*.f64 x y)))
  (+.f64 (*.f64 t z) (+.f64 (*.f64 a b) (*.f64 x y)))
  0
  (+.f64 (*.f64 t z) (*.f64 x y))
  (+.f64 (*.f64 t z) (*.f64 x y))
  0
  (+.f64 (*.f64 t z) (+.f64 (*.f64 a b) (*.f64 i c)))
  (+.f64 (*.f64 t z) (+.f64 (*.f64 a b) (*.f64 i c)))
2.073 * * [simplify]: iteration  0 :  4895  enodes  (cost  677 )
2.073 * * [simplify]: iteration  1 :  4895  enodes  (cost  677 )
2.075 * [simplify]: Simplified to:
   (exp.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
  (exp.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
  (log.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
  (exp.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
  (cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
  (pow.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) 3)
  (sqrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
  (sqrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
  (+.f64 (pow.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 3) (pow.f64 (*.f64 a b) 3))
  (+.f64 (*.f64 (*.f64 a b) (*.f64 a b)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))))
  (-.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (*.f64 a b) (*.f64 a b)))
  (-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
  (+.f64 (*.f64 z t) (*.f64 a b))
  (exp.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (log.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (exp.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
  (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (pow.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 3)
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))
  (-.f64 (*.f64 x y) (*.f64 z t))
  (exp.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))
  (exp.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))
  (exp.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))
  (log.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))
  (exp.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))
  (*.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i))) (cbrt.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i))))
  (cbrt.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))
  (pow.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)) 3)
  (sqrt.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))
  (sqrt.f64 (+.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i)))
  (+.f64 (pow.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) 3) (pow.f64 (*.f64 c i) 3))
  (+.f64 (*.f64 (*.f64 c i) (*.f64 c i)) (*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i))))
  (-.f64 (*.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (*.f64 c i) (*.f64 c i)))
  (-.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i))
  (+.f64 (*.f64 a b) (*.f64 c i))
  0
  (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))
  (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))
  0
  (+.f64 (*.f64 x y) (*.f64 z t))
  (+.f64 (*.f64 x y) (*.f64 z t))
  0
  (+.f64 (*.f64 z t) (+.f64 (*.f64 a b) (*.f64 c i)))
  (+.f64 (*.f64 z t) (+.f64 (*.f64 a b) (*.f64 c i)))
2.076 * * * [progress]: adding candidates to table
2.117 * [progress]: [Phase 3 of 3] Extracting.
2.122 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
2.123 * * [simplify]: iteration  0 :  22  enodes  (cost  15 )
2.123 * * [simplify]: iteration  1 :  22  enodes  (cost  15 )
2.123 * [simplify]: Simplified to:
   (+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
3.951 * [regime-testing]: End program error score: 0.022374956860045