0.058 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
2.421 * * * [progress]: [2/2] Setting up program.
2.428 * [progress]: [Phase 2 of 3] Improving.
2.428 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.687 * * [simplify]: iteration  0 :  3114  enodes  (cost  29 )
2.687 * * [simplify]: iteration  1 :  3114  enodes  (cost  29 )
2.688 * [simplify]: Simplified to:
   (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i))))))
2.699 * * [progress]: iteration 1 / 4
2.699 * * * [progress]: picking best candidate
2.711 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>
2.711 * * * [progress]: localizing error
2.731 * * * [progress]: generating rewritten candidates
2.731 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
2.736 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.745 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
2.752 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
2.759 * * * [progress]: generating series expansions
2.759 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
2.759 * [approximate]: Taking taylor expansion of (* t (* z y)) in (y z t) around 0
2.759 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.759 * [taylor]: Taking taylor expansion of t in t
2.759 * [taylor]: Taking taylor expansion of (* z y) in t
2.759 * [taylor]: Taking taylor expansion of z in t
2.759 * [taylor]: Taking taylor expansion of y in t
2.759 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.759 * [taylor]: Taking taylor expansion of t in z
2.759 * [taylor]: Taking taylor expansion of (* z y) in z
2.759 * [taylor]: Taking taylor expansion of z in z
2.759 * [taylor]: Taking taylor expansion of y in z
2.759 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.759 * [taylor]: Taking taylor expansion of t in y
2.759 * [taylor]: Taking taylor expansion of (* z y) in y
2.759 * [taylor]: Taking taylor expansion of z in y
2.759 * [taylor]: Taking taylor expansion of y in y
2.759 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.759 * [taylor]: Taking taylor expansion of t in y
2.759 * [taylor]: Taking taylor expansion of (* z y) in y
2.759 * [taylor]: Taking taylor expansion of z in y
2.759 * [taylor]: Taking taylor expansion of y in y
2.759 * [taylor]: Taking taylor expansion of 0 in z
2.759 * [taylor]: Taking taylor expansion of 0 in t
2.759 * [taylor]: Taking taylor expansion of (* t z) in z
2.759 * [taylor]: Taking taylor expansion of t in z
2.759 * [taylor]: Taking taylor expansion of z in z
2.759 * [taylor]: Taking taylor expansion of 0 in t
2.759 * [taylor]: Taking taylor expansion of 0 in t
2.760 * [taylor]: Taking taylor expansion of 0 in z
2.760 * [taylor]: Taking taylor expansion of 0 in t
2.760 * [taylor]: Taking taylor expansion of t in t
2.760 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (y z t) around 0
2.760 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
2.760 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.760 * [taylor]: Taking taylor expansion of t in t
2.760 * [taylor]: Taking taylor expansion of (* z y) in t
2.760 * [taylor]: Taking taylor expansion of z in t
2.760 * [taylor]: Taking taylor expansion of y in t
2.760 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
2.760 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.760 * [taylor]: Taking taylor expansion of t in z
2.760 * [taylor]: Taking taylor expansion of (* z y) in z
2.760 * [taylor]: Taking taylor expansion of z in z
2.760 * [taylor]: Taking taylor expansion of y in z
2.760 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.760 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.760 * [taylor]: Taking taylor expansion of t in y
2.760 * [taylor]: Taking taylor expansion of (* z y) in y
2.760 * [taylor]: Taking taylor expansion of z in y
2.760 * [taylor]: Taking taylor expansion of y in y
2.760 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.760 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.760 * [taylor]: Taking taylor expansion of t in y
2.760 * [taylor]: Taking taylor expansion of (* z y) in y
2.760 * [taylor]: Taking taylor expansion of z in y
2.760 * [taylor]: Taking taylor expansion of y in y
2.761 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.761 * [taylor]: Taking taylor expansion of (* t z) in z
2.761 * [taylor]: Taking taylor expansion of t in z
2.761 * [taylor]: Taking taylor expansion of z in z
2.761 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.761 * [taylor]: Taking taylor expansion of t in t
2.761 * [taylor]: Taking taylor expansion of 0 in z
2.761 * [taylor]: Taking taylor expansion of 0 in t
2.761 * [taylor]: Taking taylor expansion of 0 in z
2.761 * [taylor]: Taking taylor expansion of 0 in t
2.761 * [taylor]: Taking taylor expansion of 0 in t
2.762 * [taylor]: Taking taylor expansion of 0 in z
2.762 * [taylor]: Taking taylor expansion of 0 in t
2.762 * [taylor]: Taking taylor expansion of 0 in t
2.762 * [taylor]: Taking taylor expansion of 0 in t
2.762 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (y z t) around 0
2.762 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
2.762 * [taylor]: Taking taylor expansion of -1 in t
2.762 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.762 * [taylor]: Taking taylor expansion of t in t
2.762 * [taylor]: Taking taylor expansion of (* z y) in t
2.762 * [taylor]: Taking taylor expansion of z in t
2.762 * [taylor]: Taking taylor expansion of y in t
2.762 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
2.762 * [taylor]: Taking taylor expansion of -1 in z
2.762 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.762 * [taylor]: Taking taylor expansion of t in z
2.762 * [taylor]: Taking taylor expansion of (* z y) in z
2.762 * [taylor]: Taking taylor expansion of z in z
2.762 * [taylor]: Taking taylor expansion of y in z
2.763 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
2.763 * [taylor]: Taking taylor expansion of -1 in y
2.763 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.763 * [taylor]: Taking taylor expansion of t in y
2.763 * [taylor]: Taking taylor expansion of (* z y) in y
2.763 * [taylor]: Taking taylor expansion of z in y
2.763 * [taylor]: Taking taylor expansion of y in y
2.763 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
2.763 * [taylor]: Taking taylor expansion of -1 in y
2.763 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.763 * [taylor]: Taking taylor expansion of t in y
2.763 * [taylor]: Taking taylor expansion of (* z y) in y
2.763 * [taylor]: Taking taylor expansion of z in y
2.763 * [taylor]: Taking taylor expansion of y in y
2.763 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
2.763 * [taylor]: Taking taylor expansion of -1 in z
2.763 * [taylor]: Taking taylor expansion of (* t z) in z
2.763 * [taylor]: Taking taylor expansion of t in z
2.763 * [taylor]: Taking taylor expansion of z in z
2.763 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.763 * [taylor]: Taking taylor expansion of -1 in t
2.763 * [taylor]: Taking taylor expansion of t in t
2.763 * [taylor]: Taking taylor expansion of 0 in z
2.763 * [taylor]: Taking taylor expansion of 0 in t
2.764 * [taylor]: Taking taylor expansion of 0 in z
2.764 * [taylor]: Taking taylor expansion of 0 in t
2.764 * [taylor]: Taking taylor expansion of 0 in t
2.764 * [taylor]: Taking taylor expansion of 0 in z
2.764 * [taylor]: Taking taylor expansion of 0 in t
2.764 * [taylor]: Taking taylor expansion of 0 in t
2.764 * [taylor]: Taking taylor expansion of 0 in t
2.764 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.765 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.765 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
2.765 * [taylor]: Taking taylor expansion of 18.0 in t
2.765 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.765 * [taylor]: Taking taylor expansion of t in t
2.765 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.765 * [taylor]: Taking taylor expansion of x in t
2.765 * [taylor]: Taking taylor expansion of (* z y) in t
2.765 * [taylor]: Taking taylor expansion of z in t
2.765 * [taylor]: Taking taylor expansion of y in t
2.765 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
2.765 * [taylor]: Taking taylor expansion of 18.0 in z
2.765 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.765 * [taylor]: Taking taylor expansion of t in z
2.765 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.765 * [taylor]: Taking taylor expansion of x in z
2.765 * [taylor]: Taking taylor expansion of (* z y) in z
2.765 * [taylor]: Taking taylor expansion of z in z
2.765 * [taylor]: Taking taylor expansion of y in z
2.765 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
2.765 * [taylor]: Taking taylor expansion of 18.0 in y
2.765 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.765 * [taylor]: Taking taylor expansion of t in y
2.765 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.765 * [taylor]: Taking taylor expansion of x in y
2.765 * [taylor]: Taking taylor expansion of (* z y) in y
2.765 * [taylor]: Taking taylor expansion of z in y
2.765 * [taylor]: Taking taylor expansion of y in y
2.765 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
2.765 * [taylor]: Taking taylor expansion of 18.0 in x
2.765 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.765 * [taylor]: Taking taylor expansion of t in x
2.765 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.765 * [taylor]: Taking taylor expansion of x in x
2.765 * [taylor]: Taking taylor expansion of (* z y) in x
2.765 * [taylor]: Taking taylor expansion of z in x
2.765 * [taylor]: Taking taylor expansion of y in x
2.765 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
2.765 * [taylor]: Taking taylor expansion of 18.0 in x
2.765 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.765 * [taylor]: Taking taylor expansion of t in x
2.765 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.765 * [taylor]: Taking taylor expansion of x in x
2.765 * [taylor]: Taking taylor expansion of (* z y) in x
2.765 * [taylor]: Taking taylor expansion of z in x
2.765 * [taylor]: Taking taylor expansion of y in x
2.765 * [taylor]: Taking taylor expansion of 0 in y
2.765 * [taylor]: Taking taylor expansion of 0 in z
2.765 * [taylor]: Taking taylor expansion of 0 in t
2.766 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
2.766 * [taylor]: Taking taylor expansion of 18.0 in y
2.766 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.766 * [taylor]: Taking taylor expansion of t in y
2.766 * [taylor]: Taking taylor expansion of (* z y) in y
2.766 * [taylor]: Taking taylor expansion of z in y
2.766 * [taylor]: Taking taylor expansion of y in y
2.766 * [taylor]: Taking taylor expansion of 0 in z
2.766 * [taylor]: Taking taylor expansion of 0 in t
2.766 * [taylor]: Taking taylor expansion of 0 in z
2.766 * [taylor]: Taking taylor expansion of 0 in t
2.766 * [taylor]: Taking taylor expansion of 0 in t
2.766 * [taylor]: Taking taylor expansion of 0 in y
2.766 * [taylor]: Taking taylor expansion of 0 in z
2.766 * [taylor]: Taking taylor expansion of 0 in t
2.766 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.766 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
2.766 * [taylor]: Taking taylor expansion of 18.0 in t
2.766 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.766 * [taylor]: Taking taylor expansion of t in t
2.766 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.766 * [taylor]: Taking taylor expansion of x in t
2.766 * [taylor]: Taking taylor expansion of (* z y) in t
2.766 * [taylor]: Taking taylor expansion of z in t
2.766 * [taylor]: Taking taylor expansion of y in t
2.767 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
2.767 * [taylor]: Taking taylor expansion of 18.0 in z
2.767 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.767 * [taylor]: Taking taylor expansion of t in z
2.767 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.767 * [taylor]: Taking taylor expansion of x in z
2.767 * [taylor]: Taking taylor expansion of (* z y) in z
2.767 * [taylor]: Taking taylor expansion of z in z
2.767 * [taylor]: Taking taylor expansion of y in z
2.767 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
2.767 * [taylor]: Taking taylor expansion of 18.0 in y
2.767 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.767 * [taylor]: Taking taylor expansion of t in y
2.767 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.767 * [taylor]: Taking taylor expansion of x in y
2.767 * [taylor]: Taking taylor expansion of (* z y) in y
2.767 * [taylor]: Taking taylor expansion of z in y
2.767 * [taylor]: Taking taylor expansion of y in y
2.769 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.769 * [taylor]: Taking taylor expansion of 18.0 in x
2.769 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.769 * [taylor]: Taking taylor expansion of t in x
2.769 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.769 * [taylor]: Taking taylor expansion of x in x
2.769 * [taylor]: Taking taylor expansion of (* z y) in x
2.769 * [taylor]: Taking taylor expansion of z in x
2.769 * [taylor]: Taking taylor expansion of y in x
2.770 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.770 * [taylor]: Taking taylor expansion of 18.0 in x
2.770 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.770 * [taylor]: Taking taylor expansion of t in x
2.770 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.770 * [taylor]: Taking taylor expansion of x in x
2.770 * [taylor]: Taking taylor expansion of (* z y) in x
2.770 * [taylor]: Taking taylor expansion of z in x
2.770 * [taylor]: Taking taylor expansion of y in x
2.770 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.770 * [taylor]: Taking taylor expansion of 18.0 in y
2.770 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.770 * [taylor]: Taking taylor expansion of t in y
2.770 * [taylor]: Taking taylor expansion of (* z y) in y
2.770 * [taylor]: Taking taylor expansion of z in y
2.770 * [taylor]: Taking taylor expansion of y in y
2.770 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.770 * [taylor]: Taking taylor expansion of 18.0 in z
2.770 * [taylor]: Taking taylor expansion of (* t z) in z
2.770 * [taylor]: Taking taylor expansion of t in z
2.770 * [taylor]: Taking taylor expansion of z in z
2.770 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.770 * [taylor]: Taking taylor expansion of 18.0 in t
2.770 * [taylor]: Taking taylor expansion of t in t
2.771 * [taylor]: Taking taylor expansion of 0 in y
2.771 * [taylor]: Taking taylor expansion of 0 in z
2.771 * [taylor]: Taking taylor expansion of 0 in t
2.771 * [taylor]: Taking taylor expansion of 0 in y
2.771 * [taylor]: Taking taylor expansion of 0 in z
2.771 * [taylor]: Taking taylor expansion of 0 in z
2.771 * [taylor]: Taking taylor expansion of 0 in t
2.772 * [taylor]: Taking taylor expansion of 0 in t
2.772 * [taylor]: Taking taylor expansion of 0 in y
2.772 * [taylor]: Taking taylor expansion of 0 in z
2.772 * [taylor]: Taking taylor expansion of 0 in z
2.772 * [taylor]: Taking taylor expansion of 0 in z
2.772 * [taylor]: Taking taylor expansion of 0 in t
2.772 * [taylor]: Taking taylor expansion of 0 in t
2.772 * [taylor]: Taking taylor expansion of 0 in t
2.773 * [taylor]: Taking taylor expansion of 0 in t
2.773 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.773 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
2.773 * [taylor]: Taking taylor expansion of 18.0 in t
2.773 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.773 * [taylor]: Taking taylor expansion of t in t
2.773 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.773 * [taylor]: Taking taylor expansion of x in t
2.773 * [taylor]: Taking taylor expansion of (* z y) in t
2.773 * [taylor]: Taking taylor expansion of z in t
2.773 * [taylor]: Taking taylor expansion of y in t
2.773 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
2.773 * [taylor]: Taking taylor expansion of 18.0 in z
2.773 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.773 * [taylor]: Taking taylor expansion of t in z
2.773 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.773 * [taylor]: Taking taylor expansion of x in z
2.773 * [taylor]: Taking taylor expansion of (* z y) in z
2.773 * [taylor]: Taking taylor expansion of z in z
2.773 * [taylor]: Taking taylor expansion of y in z
2.774 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
2.774 * [taylor]: Taking taylor expansion of 18.0 in y
2.774 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.774 * [taylor]: Taking taylor expansion of t in y
2.774 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.774 * [taylor]: Taking taylor expansion of x in y
2.774 * [taylor]: Taking taylor expansion of (* z y) in y
2.774 * [taylor]: Taking taylor expansion of z in y
2.774 * [taylor]: Taking taylor expansion of y in y
2.774 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.774 * [taylor]: Taking taylor expansion of 18.0 in x
2.774 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.774 * [taylor]: Taking taylor expansion of t in x
2.774 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.774 * [taylor]: Taking taylor expansion of x in x
2.774 * [taylor]: Taking taylor expansion of (* z y) in x
2.774 * [taylor]: Taking taylor expansion of z in x
2.774 * [taylor]: Taking taylor expansion of y in x
2.774 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.774 * [taylor]: Taking taylor expansion of 18.0 in x
2.774 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.774 * [taylor]: Taking taylor expansion of t in x
2.774 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.774 * [taylor]: Taking taylor expansion of x in x
2.774 * [taylor]: Taking taylor expansion of (* z y) in x
2.774 * [taylor]: Taking taylor expansion of z in x
2.774 * [taylor]: Taking taylor expansion of y in x
2.775 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.775 * [taylor]: Taking taylor expansion of 18.0 in y
2.775 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.775 * [taylor]: Taking taylor expansion of t in y
2.775 * [taylor]: Taking taylor expansion of (* z y) in y
2.775 * [taylor]: Taking taylor expansion of z in y
2.775 * [taylor]: Taking taylor expansion of y in y
2.775 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.775 * [taylor]: Taking taylor expansion of 18.0 in z
2.775 * [taylor]: Taking taylor expansion of (* t z) in z
2.775 * [taylor]: Taking taylor expansion of t in z
2.775 * [taylor]: Taking taylor expansion of z in z
2.775 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.775 * [taylor]: Taking taylor expansion of 18.0 in t
2.775 * [taylor]: Taking taylor expansion of t in t
2.775 * [taylor]: Taking taylor expansion of 0 in y
2.775 * [taylor]: Taking taylor expansion of 0 in z
2.775 * [taylor]: Taking taylor expansion of 0 in t
2.776 * [taylor]: Taking taylor expansion of 0 in y
2.776 * [taylor]: Taking taylor expansion of 0 in z
2.776 * [taylor]: Taking taylor expansion of 0 in z
2.776 * [taylor]: Taking taylor expansion of 0 in t
2.776 * [taylor]: Taking taylor expansion of 0 in t
2.777 * [taylor]: Taking taylor expansion of 0 in y
2.777 * [taylor]: Taking taylor expansion of 0 in z
2.777 * [taylor]: Taking taylor expansion of 0 in z
2.777 * [taylor]: Taking taylor expansion of 0 in z
2.777 * [taylor]: Taking taylor expansion of 0 in t
2.777 * [taylor]: Taking taylor expansion of 0 in t
2.777 * [taylor]: Taking taylor expansion of 0 in t
2.777 * [taylor]: Taking taylor expansion of 0 in t
2.777 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
2.777 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* z y))) in (y z t) around 0
2.777 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in t
2.777 * [taylor]: Taking taylor expansion of 18.0 in t
2.777 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.777 * [taylor]: Taking taylor expansion of t in t
2.778 * [taylor]: Taking taylor expansion of (* z y) in t
2.778 * [taylor]: Taking taylor expansion of z in t
2.778 * [taylor]: Taking taylor expansion of y in t
2.778 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in z
2.778 * [taylor]: Taking taylor expansion of 18.0 in z
2.778 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.778 * [taylor]: Taking taylor expansion of t in z
2.778 * [taylor]: Taking taylor expansion of (* z y) in z
2.778 * [taylor]: Taking taylor expansion of z in z
2.778 * [taylor]: Taking taylor expansion of y in z
2.778 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
2.778 * [taylor]: Taking taylor expansion of 18.0 in y
2.778 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.778 * [taylor]: Taking taylor expansion of t in y
2.778 * [taylor]: Taking taylor expansion of (* z y) in y
2.778 * [taylor]: Taking taylor expansion of z in y
2.778 * [taylor]: Taking taylor expansion of y in y
2.778 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
2.778 * [taylor]: Taking taylor expansion of 18.0 in y
2.778 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.778 * [taylor]: Taking taylor expansion of t in y
2.778 * [taylor]: Taking taylor expansion of (* z y) in y
2.778 * [taylor]: Taking taylor expansion of z in y
2.778 * [taylor]: Taking taylor expansion of y in y
2.778 * [taylor]: Taking taylor expansion of 0 in z
2.778 * [taylor]: Taking taylor expansion of 0 in t
2.778 * [taylor]: Taking taylor expansion of (* 18.0 (* t z)) in z
2.778 * [taylor]: Taking taylor expansion of 18.0 in z
2.778 * [taylor]: Taking taylor expansion of (* t z) in z
2.778 * [taylor]: Taking taylor expansion of t in z
2.778 * [taylor]: Taking taylor expansion of z in z
2.778 * [taylor]: Taking taylor expansion of 0 in t
2.778 * [taylor]: Taking taylor expansion of 0 in t
2.778 * [taylor]: Taking taylor expansion of 0 in z
2.778 * [taylor]: Taking taylor expansion of 0 in t
2.778 * [taylor]: Taking taylor expansion of (* 18.0 t) in t
2.779 * [taylor]: Taking taylor expansion of 18.0 in t
2.779 * [taylor]: Taking taylor expansion of t in t
2.779 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in (y z t) around 0
2.779 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in t
2.779 * [taylor]: Taking taylor expansion of 18.0 in t
2.779 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.779 * [taylor]: Taking taylor expansion of t in t
2.779 * [taylor]: Taking taylor expansion of (* z y) in t
2.779 * [taylor]: Taking taylor expansion of z in t
2.779 * [taylor]: Taking taylor expansion of y in t
2.779 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in z
2.779 * [taylor]: Taking taylor expansion of 18.0 in z
2.779 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.779 * [taylor]: Taking taylor expansion of t in z
2.779 * [taylor]: Taking taylor expansion of (* z y) in z
2.779 * [taylor]: Taking taylor expansion of z in z
2.779 * [taylor]: Taking taylor expansion of y in z
2.779 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.779 * [taylor]: Taking taylor expansion of 18.0 in y
2.779 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.779 * [taylor]: Taking taylor expansion of t in y
2.779 * [taylor]: Taking taylor expansion of (* z y) in y
2.779 * [taylor]: Taking taylor expansion of z in y
2.779 * [taylor]: Taking taylor expansion of y in y
2.779 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.779 * [taylor]: Taking taylor expansion of 18.0 in y
2.779 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.779 * [taylor]: Taking taylor expansion of t in y
2.779 * [taylor]: Taking taylor expansion of (* z y) in y
2.779 * [taylor]: Taking taylor expansion of z in y
2.779 * [taylor]: Taking taylor expansion of y in y
2.780 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.780 * [taylor]: Taking taylor expansion of 18.0 in z
2.780 * [taylor]: Taking taylor expansion of (* t z) in z
2.780 * [taylor]: Taking taylor expansion of t in z
2.780 * [taylor]: Taking taylor expansion of z in z
2.780 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.780 * [taylor]: Taking taylor expansion of 18.0 in t
2.780 * [taylor]: Taking taylor expansion of t in t
2.780 * [taylor]: Taking taylor expansion of 0 in z
2.780 * [taylor]: Taking taylor expansion of 0 in t
2.780 * [taylor]: Taking taylor expansion of 0 in z
2.780 * [taylor]: Taking taylor expansion of 0 in t
2.780 * [taylor]: Taking taylor expansion of 0 in t
2.781 * [taylor]: Taking taylor expansion of 0 in z
2.781 * [taylor]: Taking taylor expansion of 0 in t
2.781 * [taylor]: Taking taylor expansion of 0 in t
2.781 * [taylor]: Taking taylor expansion of 0 in t
2.781 * [approximate]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in (y z t) around 0
2.781 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in t
2.781 * [taylor]: Taking taylor expansion of -18.0 in t
2.781 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.781 * [taylor]: Taking taylor expansion of t in t
2.781 * [taylor]: Taking taylor expansion of (* z y) in t
2.781 * [taylor]: Taking taylor expansion of z in t
2.781 * [taylor]: Taking taylor expansion of y in t
2.781 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in z
2.781 * [taylor]: Taking taylor expansion of -18.0 in z
2.781 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.781 * [taylor]: Taking taylor expansion of t in z
2.781 * [taylor]: Taking taylor expansion of (* z y) in z
2.781 * [taylor]: Taking taylor expansion of z in z
2.782 * [taylor]: Taking taylor expansion of y in z
2.782 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in y
2.782 * [taylor]: Taking taylor expansion of -18.0 in y
2.782 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.782 * [taylor]: Taking taylor expansion of t in y
2.782 * [taylor]: Taking taylor expansion of (* z y) in y
2.782 * [taylor]: Taking taylor expansion of z in y
2.782 * [taylor]: Taking taylor expansion of y in y
2.782 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in y
2.782 * [taylor]: Taking taylor expansion of -18.0 in y
2.782 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.782 * [taylor]: Taking taylor expansion of t in y
2.782 * [taylor]: Taking taylor expansion of (* z y) in y
2.782 * [taylor]: Taking taylor expansion of z in y
2.782 * [taylor]: Taking taylor expansion of y in y
2.782 * [taylor]: Taking taylor expansion of (/ -18.0 (* t z)) in z
2.782 * [taylor]: Taking taylor expansion of -18.0 in z
2.782 * [taylor]: Taking taylor expansion of (* t z) in z
2.782 * [taylor]: Taking taylor expansion of t in z
2.782 * [taylor]: Taking taylor expansion of z in z
2.782 * [taylor]: Taking taylor expansion of (/ -18.0 t) in t
2.782 * [taylor]: Taking taylor expansion of -18.0 in t
2.782 * [taylor]: Taking taylor expansion of t in t
2.782 * [taylor]: Taking taylor expansion of 0 in z
2.783 * [taylor]: Taking taylor expansion of 0 in t
2.783 * [taylor]: Taking taylor expansion of 0 in z
2.783 * [taylor]: Taking taylor expansion of 0 in t
2.783 * [taylor]: Taking taylor expansion of 0 in t
2.783 * [taylor]: Taking taylor expansion of 0 in z
2.783 * [taylor]: Taking taylor expansion of 0 in t
2.783 * [taylor]: Taking taylor expansion of 0 in t
2.783 * [taylor]: Taking taylor expansion of 0 in t
2.784 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
2.784 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
2.784 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
2.784 * [taylor]: Taking taylor expansion of 27.0 in k
2.784 * [taylor]: Taking taylor expansion of (* k j) in k
2.784 * [taylor]: Taking taylor expansion of k in k
2.784 * [taylor]: Taking taylor expansion of j in k
2.784 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
2.784 * [taylor]: Taking taylor expansion of 27.0 in j
2.784 * [taylor]: Taking taylor expansion of (* k j) in j
2.784 * [taylor]: Taking taylor expansion of k in j
2.784 * [taylor]: Taking taylor expansion of j in j
2.784 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
2.784 * [taylor]: Taking taylor expansion of 27.0 in j
2.784 * [taylor]: Taking taylor expansion of (* k j) in j
2.784 * [taylor]: Taking taylor expansion of k in j
2.784 * [taylor]: Taking taylor expansion of j in j
2.784 * [taylor]: Taking taylor expansion of 0 in k
2.784 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
2.784 * [taylor]: Taking taylor expansion of 27.0 in k
2.784 * [taylor]: Taking taylor expansion of k in k
2.784 * [taylor]: Taking taylor expansion of 0 in k
2.784 * [taylor]: Taking taylor expansion of 0 in k
2.785 * [taylor]: Taking taylor expansion of 0 in k
2.785 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
2.785 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
2.785 * [taylor]: Taking taylor expansion of 27.0 in k
2.785 * [taylor]: Taking taylor expansion of (* k j) in k
2.785 * [taylor]: Taking taylor expansion of k in k
2.785 * [taylor]: Taking taylor expansion of j in k
2.785 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.785 * [taylor]: Taking taylor expansion of 27.0 in j
2.785 * [taylor]: Taking taylor expansion of (* k j) in j
2.785 * [taylor]: Taking taylor expansion of k in j
2.785 * [taylor]: Taking taylor expansion of j in j
2.785 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.785 * [taylor]: Taking taylor expansion of 27.0 in j
2.785 * [taylor]: Taking taylor expansion of (* k j) in j
2.785 * [taylor]: Taking taylor expansion of k in j
2.785 * [taylor]: Taking taylor expansion of j in j
2.785 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
2.785 * [taylor]: Taking taylor expansion of 27.0 in k
2.785 * [taylor]: Taking taylor expansion of k in k
2.785 * [taylor]: Taking taylor expansion of 0 in k
2.785 * [taylor]: Taking taylor expansion of 0 in k
2.786 * [taylor]: Taking taylor expansion of 0 in k
2.786 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
2.786 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
2.786 * [taylor]: Taking taylor expansion of 27.0 in k
2.786 * [taylor]: Taking taylor expansion of (* k j) in k
2.786 * [taylor]: Taking taylor expansion of k in k
2.786 * [taylor]: Taking taylor expansion of j in k
2.786 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.786 * [taylor]: Taking taylor expansion of 27.0 in j
2.786 * [taylor]: Taking taylor expansion of (* k j) in j
2.786 * [taylor]: Taking taylor expansion of k in j
2.786 * [taylor]: Taking taylor expansion of j in j
2.786 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.786 * [taylor]: Taking taylor expansion of 27.0 in j
2.786 * [taylor]: Taking taylor expansion of (* k j) in j
2.786 * [taylor]: Taking taylor expansion of k in j
2.786 * [taylor]: Taking taylor expansion of j in j
2.786 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
2.786 * [taylor]: Taking taylor expansion of 27.0 in k
2.786 * [taylor]: Taking taylor expansion of k in k
2.786 * [taylor]: Taking taylor expansion of 0 in k
2.787 * [taylor]: Taking taylor expansion of 0 in k
2.787 * [taylor]: Taking taylor expansion of 0 in k
2.787 * * * [progress]: simplifying candidates
2.788 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (* z t))
  (* y (* z t))
  (+ (log y) (+ (log z) (log t)))
  (+ (log y) (log (* z t)))
  (log (* y (* z t)))
  (exp (* y (* z t)))
  (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (* (* (* y (* z t)) (* y (* z t))) (* y (* z t)))
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* (cbrt y) (* z t))
  (* (sqrt y) (* z t))
  (* y (* z t))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (+ (log x) (+ (log 18.0) (+ (log y) (+ (log z) (log t)))))
  (+ (log x) (+ (log 18.0) (+ (log y) (log (* z t)))))
  (+ (log x) (+ (log 18.0) (log (* y (* z t)))))
  (+ (log x) (log (* 18.0 (* y (* z t)))))
  (log (* x (* 18.0 (* y (* z t)))))
  (exp (* x (* 18.0 (* y (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y (* z t)) (* y (* z t))) (* y (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 (* y (* z t))) (* 18.0 (* y (* z t)))) (* 18.0 (* y (* z t)))))
  (* (cbrt (* x (* 18.0 (* y (* z t))))) (cbrt (* x (* 18.0 (* y (* z t))))))
  (cbrt (* x (* 18.0 (* y (* z t)))))
  (* (* (* x (* 18.0 (* y (* z t)))) (* x (* 18.0 (* y (* z t))))) (* x (* 18.0 (* y (* z t)))))
  (sqrt (* x (* 18.0 (* y (* z t)))))
  (sqrt (* x (* 18.0 (* y (* z t)))))
  (* x 18.0)
  (* (cbrt x) (* 18.0 (* y (* z t))))
  (* (sqrt x) (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* 18.0 (* y (* z t)))
  (* 18.0 (* y (* z t)))
  (* 18.0 (* y (* z t)))
  (+ (log 18.0) (+ (log y) (+ (log z) (log t))))
  (+ (log 18.0) (+ (log y) (log (* z t))))
  (+ (log 18.0) (log (* y (* z t))))
  (log (* 18.0 (* y (* z t))))
  (exp (* 18.0 (* y (* z t))))
  (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t))))
  (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t))))
  (* (* (* 18.0 18.0) 18.0) (* (* (* y (* z t)) (* y (* z t))) (* y (* z t))))
  (* (cbrt (* 18.0 (* y (* z t)))) (cbrt (* 18.0 (* y (* z t)))))
  (cbrt (* 18.0 (* y (* z t))))
  (* (* (* 18.0 (* y (* z t))) (* 18.0 (* y (* z t)))) (* 18.0 (* y (* z t))))
  (sqrt (* 18.0 (* y (* z t))))
  (sqrt (* 18.0 (* y (* z t))))
  (* 18.0 y)
  (* (cbrt 18.0) (* y (* z t)))
  (* (sqrt 18.0) (* y (* z t)))
  (* 18.0 (* y (* z t)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  0
  (* t (* z y))
  (* t (* z y))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* t (* z y)))
  (* 18.0 (* t (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
2.831 * * [simplify]: iteration  0 :  5545  enodes  (cost  670 )
2.834 * [simplify]: Simplified to:
   (* y (* z t))
  (* y (* z t))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (pow (exp y) (* z t))
  (pow (* y (* z t)) 3)
  (pow (* y (* z t)) 3)
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (pow (* y (* z t)) 3)
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* z (* t (cbrt y)))
  (* z (* t (sqrt y)))
  (* y (* z t))
  (* t (* (* y (* z x)) 18.0))
  (* t (* (* y (* z x)) 18.0))
  (* t (* (* y (* z x)) 18.0))
  (* t (* (* y (* z x)) 18.0))
  (log (* t (* (* y (* z x)) 18.0)))
  (log (* t (* (* y (* z x)) 18.0)))
  (log (* t (* (* y (* z x)) 18.0)))
  (log (* t (* (* y (* z x)) 18.0)))
  (log (* t (* (* y (* z x)) 18.0)))
  (pow (pow (exp y) (* z t)) (* x 18.0))
  (pow (* t (* (* y (* z x)) 18.0)) 3)
  (pow (* t (* (* y (* z x)) 18.0)) 3)
  (pow (* t (* (* y (* z x)) 18.0)) 3)
  (pow (* t (* (* y (* z x)) 18.0)) 3)
  (* (cbrt (* t (* (* y (* z x)) 18.0))) (cbrt (* t (* (* y (* z x)) 18.0))))
  (cbrt (* t (* (* y (* z x)) 18.0)))
  (pow (* t (* (* y (* z x)) 18.0)) 3)
  (sqrt (* t (* (* y (* z x)) 18.0)))
  (sqrt (* t (* (* y (* z x)) 18.0)))
  (* x 18.0)
  (* (* y (* z t)) (* 18.0 (cbrt x)))
  (* (* y (* z t)) (* 18.0 (sqrt x)))
  (* t (* (* y (* z x)) 18.0))
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (pow (pow (exp y) (* z t)) 18.0)
  (pow (* y (* 18.0 (* z t))) 3)
  (pow (* y (* 18.0 (* z t))) 3)
  (pow (* y (* 18.0 (* z t))) 3)
  (* (cbrt (* y (* 18.0 (* z t)))) (cbrt (* y (* 18.0 (* z t)))))
  (cbrt (* y (* 18.0 (* z t))))
  (pow (* y (* 18.0 (* z t))) 3)
  (sqrt (* y (* 18.0 (* z t))))
  (sqrt (* y (* 18.0 (* z t))))
  (* y 18.0)
  (* y (* (* z t) (cbrt 18.0)))
  (* y (* (* z t) (sqrt 18.0)))
  (* y (* 18.0 (* z t)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (pow (exp j) (* 27.0 k))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* 27.0 (* k (cbrt j)))
  (* 27.0 (* k (sqrt j)))
  (* j (* 27.0 k))
  0
  (* y (* z t))
  (* y (* z t))
  0
  (* t (* (* y (* z x)) 18.0))
  (* t (* (* y (* z x)) 18.0))
  0
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
2.835 * * * [progress]: adding candidates to table
2.995 * * [progress]: iteration 2 / 4
2.995 * * * [progress]: picking best candidate
3.041 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>
3.041 * * * [progress]: localizing error
3.061 * * * [progress]: generating rewritten candidates
3.061 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
3.068 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.077 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
3.081 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
3.088 * * * [progress]: generating series expansions
3.088 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
3.089 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* z y))) in (y z t) around 0
3.089 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in t
3.089 * [taylor]: Taking taylor expansion of 18.0 in t
3.089 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.089 * [taylor]: Taking taylor expansion of t in t
3.089 * [taylor]: Taking taylor expansion of (* z y) in t
3.089 * [taylor]: Taking taylor expansion of z in t
3.089 * [taylor]: Taking taylor expansion of y in t
3.089 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in z
3.089 * [taylor]: Taking taylor expansion of 18.0 in z
3.089 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.089 * [taylor]: Taking taylor expansion of t in z
3.089 * [taylor]: Taking taylor expansion of (* z y) in z
3.089 * [taylor]: Taking taylor expansion of z in z
3.089 * [taylor]: Taking taylor expansion of y in z
3.089 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
3.089 * [taylor]: Taking taylor expansion of 18.0 in y
3.089 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.089 * [taylor]: Taking taylor expansion of t in y
3.089 * [taylor]: Taking taylor expansion of (* z y) in y
3.089 * [taylor]: Taking taylor expansion of z in y
3.089 * [taylor]: Taking taylor expansion of y in y
3.089 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
3.089 * [taylor]: Taking taylor expansion of 18.0 in y
3.089 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.089 * [taylor]: Taking taylor expansion of t in y
3.089 * [taylor]: Taking taylor expansion of (* z y) in y
3.089 * [taylor]: Taking taylor expansion of z in y
3.089 * [taylor]: Taking taylor expansion of y in y
3.089 * [taylor]: Taking taylor expansion of 0 in z
3.089 * [taylor]: Taking taylor expansion of 0 in t
3.089 * [taylor]: Taking taylor expansion of (* 18.0 (* t z)) in z
3.089 * [taylor]: Taking taylor expansion of 18.0 in z
3.089 * [taylor]: Taking taylor expansion of (* t z) in z
3.089 * [taylor]: Taking taylor expansion of t in z
3.089 * [taylor]: Taking taylor expansion of z in z
3.089 * [taylor]: Taking taylor expansion of 0 in t
3.090 * [taylor]: Taking taylor expansion of 0 in t
3.090 * [taylor]: Taking taylor expansion of 0 in z
3.090 * [taylor]: Taking taylor expansion of 0 in t
3.090 * [taylor]: Taking taylor expansion of (* 18.0 t) in t
3.090 * [taylor]: Taking taylor expansion of 18.0 in t
3.090 * [taylor]: Taking taylor expansion of t in t
3.090 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in (y z t) around 0
3.090 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in t
3.090 * [taylor]: Taking taylor expansion of 18.0 in t
3.090 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.090 * [taylor]: Taking taylor expansion of t in t
3.090 * [taylor]: Taking taylor expansion of (* z y) in t
3.090 * [taylor]: Taking taylor expansion of z in t
3.090 * [taylor]: Taking taylor expansion of y in t
3.090 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in z
3.090 * [taylor]: Taking taylor expansion of 18.0 in z
3.090 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.090 * [taylor]: Taking taylor expansion of t in z
3.090 * [taylor]: Taking taylor expansion of (* z y) in z
3.090 * [taylor]: Taking taylor expansion of z in z
3.090 * [taylor]: Taking taylor expansion of y in z
3.090 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.090 * [taylor]: Taking taylor expansion of 18.0 in y
3.090 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.090 * [taylor]: Taking taylor expansion of t in y
3.090 * [taylor]: Taking taylor expansion of (* z y) in y
3.090 * [taylor]: Taking taylor expansion of z in y
3.090 * [taylor]: Taking taylor expansion of y in y
3.091 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.091 * [taylor]: Taking taylor expansion of 18.0 in y
3.091 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.091 * [taylor]: Taking taylor expansion of t in y
3.091 * [taylor]: Taking taylor expansion of (* z y) in y
3.091 * [taylor]: Taking taylor expansion of z in y
3.091 * [taylor]: Taking taylor expansion of y in y
3.091 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.091 * [taylor]: Taking taylor expansion of 18.0 in z
3.091 * [taylor]: Taking taylor expansion of (* t z) in z
3.091 * [taylor]: Taking taylor expansion of t in z
3.091 * [taylor]: Taking taylor expansion of z in z
3.091 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.091 * [taylor]: Taking taylor expansion of 18.0 in t
3.091 * [taylor]: Taking taylor expansion of t in t
3.091 * [taylor]: Taking taylor expansion of 0 in z
3.091 * [taylor]: Taking taylor expansion of 0 in t
3.092 * [taylor]: Taking taylor expansion of 0 in z
3.092 * [taylor]: Taking taylor expansion of 0 in t
3.092 * [taylor]: Taking taylor expansion of 0 in t
3.092 * [taylor]: Taking taylor expansion of 0 in z
3.092 * [taylor]: Taking taylor expansion of 0 in t
3.092 * [taylor]: Taking taylor expansion of 0 in t
3.092 * [taylor]: Taking taylor expansion of 0 in t
3.093 * [approximate]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in (y z t) around 0
3.093 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in t
3.093 * [taylor]: Taking taylor expansion of -18.0 in t
3.093 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.093 * [taylor]: Taking taylor expansion of t in t
3.093 * [taylor]: Taking taylor expansion of (* z y) in t
3.093 * [taylor]: Taking taylor expansion of z in t
3.093 * [taylor]: Taking taylor expansion of y in t
3.093 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in z
3.093 * [taylor]: Taking taylor expansion of -18.0 in z
3.094 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.094 * [taylor]: Taking taylor expansion of t in z
3.094 * [taylor]: Taking taylor expansion of (* z y) in z
3.094 * [taylor]: Taking taylor expansion of z in z
3.094 * [taylor]: Taking taylor expansion of y in z
3.094 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in y
3.094 * [taylor]: Taking taylor expansion of -18.0 in y
3.094 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.094 * [taylor]: Taking taylor expansion of t in y
3.094 * [taylor]: Taking taylor expansion of (* z y) in y
3.094 * [taylor]: Taking taylor expansion of z in y
3.094 * [taylor]: Taking taylor expansion of y in y
3.094 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in y
3.094 * [taylor]: Taking taylor expansion of -18.0 in y
3.094 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.094 * [taylor]: Taking taylor expansion of t in y
3.094 * [taylor]: Taking taylor expansion of (* z y) in y
3.094 * [taylor]: Taking taylor expansion of z in y
3.094 * [taylor]: Taking taylor expansion of y in y
3.095 * [taylor]: Taking taylor expansion of (/ -18.0 (* t z)) in z
3.095 * [taylor]: Taking taylor expansion of -18.0 in z
3.095 * [taylor]: Taking taylor expansion of (* t z) in z
3.095 * [taylor]: Taking taylor expansion of t in z
3.095 * [taylor]: Taking taylor expansion of z in z
3.095 * [taylor]: Taking taylor expansion of (/ -18.0 t) in t
3.095 * [taylor]: Taking taylor expansion of -18.0 in t
3.095 * [taylor]: Taking taylor expansion of t in t
3.095 * [taylor]: Taking taylor expansion of 0 in z
3.095 * [taylor]: Taking taylor expansion of 0 in t
3.096 * [taylor]: Taking taylor expansion of 0 in z
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.097 * [taylor]: Taking taylor expansion of 0 in z
3.097 * [taylor]: Taking taylor expansion of 0 in t
3.097 * [taylor]: Taking taylor expansion of 0 in t
3.097 * [taylor]: Taking taylor expansion of 0 in t
3.097 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.097 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.097 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
3.097 * [taylor]: Taking taylor expansion of 18.0 in t
3.098 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.098 * [taylor]: Taking taylor expansion of t in t
3.098 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.098 * [taylor]: Taking taylor expansion of x in t
3.098 * [taylor]: Taking taylor expansion of (* z y) in t
3.098 * [taylor]: Taking taylor expansion of z in t
3.098 * [taylor]: Taking taylor expansion of y in t
3.098 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
3.098 * [taylor]: Taking taylor expansion of 18.0 in z
3.098 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.098 * [taylor]: Taking taylor expansion of t in z
3.098 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.098 * [taylor]: Taking taylor expansion of x in z
3.098 * [taylor]: Taking taylor expansion of (* z y) in z
3.098 * [taylor]: Taking taylor expansion of z in z
3.098 * [taylor]: Taking taylor expansion of y in z
3.098 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
3.098 * [taylor]: Taking taylor expansion of 18.0 in y
3.098 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.098 * [taylor]: Taking taylor expansion of t in y
3.098 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.098 * [taylor]: Taking taylor expansion of x in y
3.098 * [taylor]: Taking taylor expansion of (* z y) in y
3.098 * [taylor]: Taking taylor expansion of z in y
3.098 * [taylor]: Taking taylor expansion of y in y
3.098 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.098 * [taylor]: Taking taylor expansion of 18.0 in x
3.098 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.098 * [taylor]: Taking taylor expansion of t in x
3.098 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.098 * [taylor]: Taking taylor expansion of x in x
3.098 * [taylor]: Taking taylor expansion of (* z y) in x
3.098 * [taylor]: Taking taylor expansion of z in x
3.098 * [taylor]: Taking taylor expansion of y in x
3.098 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.098 * [taylor]: Taking taylor expansion of 18.0 in x
3.099 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.099 * [taylor]: Taking taylor expansion of t in x
3.099 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.099 * [taylor]: Taking taylor expansion of x in x
3.099 * [taylor]: Taking taylor expansion of (* z y) in x
3.099 * [taylor]: Taking taylor expansion of z in x
3.099 * [taylor]: Taking taylor expansion of y in x
3.099 * [taylor]: Taking taylor expansion of 0 in y
3.099 * [taylor]: Taking taylor expansion of 0 in z
3.099 * [taylor]: Taking taylor expansion of 0 in t
3.099 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
3.099 * [taylor]: Taking taylor expansion of 18.0 in y
3.099 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.099 * [taylor]: Taking taylor expansion of t in y
3.099 * [taylor]: Taking taylor expansion of (* z y) in y
3.099 * [taylor]: Taking taylor expansion of z in y
3.099 * [taylor]: Taking taylor expansion of y in y
3.099 * [taylor]: Taking taylor expansion of 0 in z
3.099 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [taylor]: Taking taylor expansion of 0 in z
3.100 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [taylor]: Taking taylor expansion of 0 in y
3.100 * [taylor]: Taking taylor expansion of 0 in z
3.100 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.100 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.100 * [taylor]: Taking taylor expansion of 18.0 in t
3.100 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.100 * [taylor]: Taking taylor expansion of t in t
3.100 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.100 * [taylor]: Taking taylor expansion of x in t
3.100 * [taylor]: Taking taylor expansion of (* z y) in t
3.100 * [taylor]: Taking taylor expansion of z in t
3.101 * [taylor]: Taking taylor expansion of y in t
3.101 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.101 * [taylor]: Taking taylor expansion of 18.0 in z
3.101 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.101 * [taylor]: Taking taylor expansion of t in z
3.101 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.101 * [taylor]: Taking taylor expansion of x in z
3.101 * [taylor]: Taking taylor expansion of (* z y) in z
3.101 * [taylor]: Taking taylor expansion of z in z
3.101 * [taylor]: Taking taylor expansion of y in z
3.101 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.101 * [taylor]: Taking taylor expansion of 18.0 in y
3.101 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.101 * [taylor]: Taking taylor expansion of t in y
3.102 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.102 * [taylor]: Taking taylor expansion of x in y
3.102 * [taylor]: Taking taylor expansion of (* z y) in y
3.102 * [taylor]: Taking taylor expansion of z in y
3.102 * [taylor]: Taking taylor expansion of y in y
3.102 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.102 * [taylor]: Taking taylor expansion of 18.0 in x
3.102 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.102 * [taylor]: Taking taylor expansion of t in x
3.102 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.102 * [taylor]: Taking taylor expansion of x in x
3.102 * [taylor]: Taking taylor expansion of (* z y) in x
3.102 * [taylor]: Taking taylor expansion of z in x
3.102 * [taylor]: Taking taylor expansion of y in x
3.102 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.102 * [taylor]: Taking taylor expansion of 18.0 in x
3.103 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.103 * [taylor]: Taking taylor expansion of t in x
3.103 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.103 * [taylor]: Taking taylor expansion of x in x
3.103 * [taylor]: Taking taylor expansion of (* z y) in x
3.103 * [taylor]: Taking taylor expansion of z in x
3.103 * [taylor]: Taking taylor expansion of y in x
3.103 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.103 * [taylor]: Taking taylor expansion of 18.0 in y
3.103 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.103 * [taylor]: Taking taylor expansion of t in y
3.103 * [taylor]: Taking taylor expansion of (* z y) in y
3.103 * [taylor]: Taking taylor expansion of z in y
3.103 * [taylor]: Taking taylor expansion of y in y
3.103 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.103 * [taylor]: Taking taylor expansion of 18.0 in z
3.104 * [taylor]: Taking taylor expansion of (* t z) in z
3.104 * [taylor]: Taking taylor expansion of t in z
3.104 * [taylor]: Taking taylor expansion of z in z
3.104 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.104 * [taylor]: Taking taylor expansion of 18.0 in t
3.104 * [taylor]: Taking taylor expansion of t in t
3.104 * [taylor]: Taking taylor expansion of 0 in y
3.104 * [taylor]: Taking taylor expansion of 0 in z
3.105 * [taylor]: Taking taylor expansion of 0 in t
3.105 * [taylor]: Taking taylor expansion of 0 in y
3.105 * [taylor]: Taking taylor expansion of 0 in z
3.106 * [taylor]: Taking taylor expansion of 0 in z
3.106 * [taylor]: Taking taylor expansion of 0 in t
3.106 * [taylor]: Taking taylor expansion of 0 in t
3.107 * [taylor]: Taking taylor expansion of 0 in y
3.107 * [taylor]: Taking taylor expansion of 0 in z
3.107 * [taylor]: Taking taylor expansion of 0 in z
3.107 * [taylor]: Taking taylor expansion of 0 in z
3.107 * [taylor]: Taking taylor expansion of 0 in t
3.107 * [taylor]: Taking taylor expansion of 0 in t
3.107 * [taylor]: Taking taylor expansion of 0 in t
3.108 * [taylor]: Taking taylor expansion of 0 in t
3.111 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.111 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.111 * [taylor]: Taking taylor expansion of 18.0 in t
3.111 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.111 * [taylor]: Taking taylor expansion of t in t
3.111 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.111 * [taylor]: Taking taylor expansion of x in t
3.111 * [taylor]: Taking taylor expansion of (* z y) in t
3.111 * [taylor]: Taking taylor expansion of z in t
3.111 * [taylor]: Taking taylor expansion of y in t
3.111 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.111 * [taylor]: Taking taylor expansion of 18.0 in z
3.111 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.111 * [taylor]: Taking taylor expansion of t in z
3.111 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.111 * [taylor]: Taking taylor expansion of x in z
3.111 * [taylor]: Taking taylor expansion of (* z y) in z
3.111 * [taylor]: Taking taylor expansion of z in z
3.111 * [taylor]: Taking taylor expansion of y in z
3.112 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.112 * [taylor]: Taking taylor expansion of 18.0 in y
3.112 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.112 * [taylor]: Taking taylor expansion of t in y
3.112 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.112 * [taylor]: Taking taylor expansion of x in y
3.112 * [taylor]: Taking taylor expansion of (* z y) in y
3.112 * [taylor]: Taking taylor expansion of z in y
3.112 * [taylor]: Taking taylor expansion of y in y
3.112 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.112 * [taylor]: Taking taylor expansion of 18.0 in x
3.112 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.112 * [taylor]: Taking taylor expansion of t in x
3.112 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.112 * [taylor]: Taking taylor expansion of x in x
3.112 * [taylor]: Taking taylor expansion of (* z y) in x
3.113 * [taylor]: Taking taylor expansion of z in x
3.113 * [taylor]: Taking taylor expansion of y in x
3.113 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.113 * [taylor]: Taking taylor expansion of 18.0 in x
3.113 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.113 * [taylor]: Taking taylor expansion of t in x
3.113 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.113 * [taylor]: Taking taylor expansion of x in x
3.113 * [taylor]: Taking taylor expansion of (* z y) in x
3.113 * [taylor]: Taking taylor expansion of z in x
3.113 * [taylor]: Taking taylor expansion of y in x
3.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.114 * [taylor]: Taking taylor expansion of 18.0 in y
3.114 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.114 * [taylor]: Taking taylor expansion of t in y
3.114 * [taylor]: Taking taylor expansion of (* z y) in y
3.114 * [taylor]: Taking taylor expansion of z in y
3.114 * [taylor]: Taking taylor expansion of y in y
3.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.114 * [taylor]: Taking taylor expansion of 18.0 in z
3.114 * [taylor]: Taking taylor expansion of (* t z) in z
3.114 * [taylor]: Taking taylor expansion of t in z
3.114 * [taylor]: Taking taylor expansion of z in z
3.114 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.114 * [taylor]: Taking taylor expansion of 18.0 in t
3.114 * [taylor]: Taking taylor expansion of t in t
3.115 * [taylor]: Taking taylor expansion of 0 in y
3.115 * [taylor]: Taking taylor expansion of 0 in z
3.115 * [taylor]: Taking taylor expansion of 0 in t
3.116 * [taylor]: Taking taylor expansion of 0 in y
3.116 * [taylor]: Taking taylor expansion of 0 in z
3.116 * [taylor]: Taking taylor expansion of 0 in z
3.116 * [taylor]: Taking taylor expansion of 0 in t
3.116 * [taylor]: Taking taylor expansion of 0 in t
3.117 * [taylor]: Taking taylor expansion of 0 in y
3.117 * [taylor]: Taking taylor expansion of 0 in z
3.117 * [taylor]: Taking taylor expansion of 0 in z
3.118 * [taylor]: Taking taylor expansion of 0 in z
3.118 * [taylor]: Taking taylor expansion of 0 in t
3.118 * [taylor]: Taking taylor expansion of 0 in t
3.118 * [taylor]: Taking taylor expansion of 0 in t
3.118 * [taylor]: Taking taylor expansion of 0 in t
3.118 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
3.119 * [approximate]: Taking taylor expansion of (* 18.0 (* t z)) in (z t) around 0
3.119 * [taylor]: Taking taylor expansion of (* 18.0 (* t z)) in t
3.119 * [taylor]: Taking taylor expansion of 18.0 in t
3.119 * [taylor]: Taking taylor expansion of (* t z) in t
3.119 * [taylor]: Taking taylor expansion of t in t
3.119 * [taylor]: Taking taylor expansion of z in t
3.119 * [taylor]: Taking taylor expansion of (* 18.0 (* t z)) in z
3.119 * [taylor]: Taking taylor expansion of 18.0 in z
3.119 * [taylor]: Taking taylor expansion of (* t z) in z
3.119 * [taylor]: Taking taylor expansion of t in z
3.119 * [taylor]: Taking taylor expansion of z in z
3.119 * [taylor]: Taking taylor expansion of (* 18.0 (* t z)) in z
3.119 * [taylor]: Taking taylor expansion of 18.0 in z
3.119 * [taylor]: Taking taylor expansion of (* t z) in z
3.119 * [taylor]: Taking taylor expansion of t in z
3.119 * [taylor]: Taking taylor expansion of z in z
3.119 * [taylor]: Taking taylor expansion of 0 in t
3.119 * [taylor]: Taking taylor expansion of (* 18.0 t) in t
3.119 * [taylor]: Taking taylor expansion of 18.0 in t
3.119 * [taylor]: Taking taylor expansion of t in t
3.119 * [taylor]: Taking taylor expansion of 0 in t
3.120 * [taylor]: Taking taylor expansion of 0 in t
3.120 * [taylor]: Taking taylor expansion of 0 in t
3.120 * [approximate]: Taking taylor expansion of (/ 18.0 (* t z)) in (z t) around 0
3.120 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in t
3.120 * [taylor]: Taking taylor expansion of 18.0 in t
3.120 * [taylor]: Taking taylor expansion of (* t z) in t
3.120 * [taylor]: Taking taylor expansion of t in t
3.120 * [taylor]: Taking taylor expansion of z in t
3.120 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.120 * [taylor]: Taking taylor expansion of 18.0 in z
3.120 * [taylor]: Taking taylor expansion of (* t z) in z
3.121 * [taylor]: Taking taylor expansion of t in z
3.121 * [taylor]: Taking taylor expansion of z in z
3.121 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.121 * [taylor]: Taking taylor expansion of 18.0 in z
3.121 * [taylor]: Taking taylor expansion of (* t z) in z
3.121 * [taylor]: Taking taylor expansion of t in z
3.121 * [taylor]: Taking taylor expansion of z in z
3.121 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.121 * [taylor]: Taking taylor expansion of 18.0 in t
3.121 * [taylor]: Taking taylor expansion of t in t
3.121 * [taylor]: Taking taylor expansion of 0 in t
3.121 * [taylor]: Taking taylor expansion of 0 in t
3.122 * [taylor]: Taking taylor expansion of 0 in t
3.122 * [approximate]: Taking taylor expansion of (/ 18.0 (* t z)) in (z t) around 0
3.122 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in t
3.122 * [taylor]: Taking taylor expansion of 18.0 in t
3.122 * [taylor]: Taking taylor expansion of (* t z) in t
3.122 * [taylor]: Taking taylor expansion of t in t
3.122 * [taylor]: Taking taylor expansion of z in t
3.123 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.123 * [taylor]: Taking taylor expansion of 18.0 in z
3.123 * [taylor]: Taking taylor expansion of (* t z) in z
3.123 * [taylor]: Taking taylor expansion of t in z
3.123 * [taylor]: Taking taylor expansion of z in z
3.123 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.123 * [taylor]: Taking taylor expansion of 18.0 in z
3.123 * [taylor]: Taking taylor expansion of (* t z) in z
3.123 * [taylor]: Taking taylor expansion of t in z
3.123 * [taylor]: Taking taylor expansion of z in z
3.123 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.123 * [taylor]: Taking taylor expansion of 18.0 in t
3.123 * [taylor]: Taking taylor expansion of t in t
3.123 * [taylor]: Taking taylor expansion of 0 in t
3.124 * [taylor]: Taking taylor expansion of 0 in t
3.124 * [taylor]: Taking taylor expansion of 0 in t
3.124 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
3.124 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
3.124 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
3.124 * [taylor]: Taking taylor expansion of 27.0 in k
3.124 * [taylor]: Taking taylor expansion of (* k j) in k
3.124 * [taylor]: Taking taylor expansion of k in k
3.124 * [taylor]: Taking taylor expansion of j in k
3.125 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
3.125 * [taylor]: Taking taylor expansion of 27.0 in j
3.125 * [taylor]: Taking taylor expansion of (* k j) in j
3.125 * [taylor]: Taking taylor expansion of k in j
3.125 * [taylor]: Taking taylor expansion of j in j
3.125 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
3.125 * [taylor]: Taking taylor expansion of 27.0 in j
3.125 * [taylor]: Taking taylor expansion of (* k j) in j
3.125 * [taylor]: Taking taylor expansion of k in j
3.125 * [taylor]: Taking taylor expansion of j in j
3.125 * [taylor]: Taking taylor expansion of 0 in k
3.125 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
3.125 * [taylor]: Taking taylor expansion of 27.0 in k
3.125 * [taylor]: Taking taylor expansion of k in k
3.125 * [taylor]: Taking taylor expansion of 0 in k
3.125 * [taylor]: Taking taylor expansion of 0 in k
3.126 * [taylor]: Taking taylor expansion of 0 in k
3.126 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
3.126 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
3.126 * [taylor]: Taking taylor expansion of 27.0 in k
3.126 * [taylor]: Taking taylor expansion of (* k j) in k
3.126 * [taylor]: Taking taylor expansion of k in k
3.126 * [taylor]: Taking taylor expansion of j in k
3.126 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.126 * [taylor]: Taking taylor expansion of 27.0 in j
3.126 * [taylor]: Taking taylor expansion of (* k j) in j
3.126 * [taylor]: Taking taylor expansion of k in j
3.126 * [taylor]: Taking taylor expansion of j in j
3.126 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.126 * [taylor]: Taking taylor expansion of 27.0 in j
3.127 * [taylor]: Taking taylor expansion of (* k j) in j
3.127 * [taylor]: Taking taylor expansion of k in j
3.127 * [taylor]: Taking taylor expansion of j in j
3.127 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
3.127 * [taylor]: Taking taylor expansion of 27.0 in k
3.127 * [taylor]: Taking taylor expansion of k in k
3.127 * [taylor]: Taking taylor expansion of 0 in k
3.127 * [taylor]: Taking taylor expansion of 0 in k
3.128 * [taylor]: Taking taylor expansion of 0 in k
3.128 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
3.128 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
3.128 * [taylor]: Taking taylor expansion of 27.0 in k
3.128 * [taylor]: Taking taylor expansion of (* k j) in k
3.128 * [taylor]: Taking taylor expansion of k in k
3.128 * [taylor]: Taking taylor expansion of j in k
3.128 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.128 * [taylor]: Taking taylor expansion of 27.0 in j
3.128 * [taylor]: Taking taylor expansion of (* k j) in j
3.128 * [taylor]: Taking taylor expansion of k in j
3.128 * [taylor]: Taking taylor expansion of j in j
3.128 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.128 * [taylor]: Taking taylor expansion of 27.0 in j
3.129 * [taylor]: Taking taylor expansion of (* k j) in j
3.129 * [taylor]: Taking taylor expansion of k in j
3.129 * [taylor]: Taking taylor expansion of j in j
3.129 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
3.129 * [taylor]: Taking taylor expansion of 27.0 in k
3.129 * [taylor]: Taking taylor expansion of k in k
3.129 * [taylor]: Taking taylor expansion of 0 in k
3.129 * [taylor]: Taking taylor expansion of 0 in k
3.130 * [taylor]: Taking taylor expansion of 0 in k
3.130 * * * [progress]: simplifying candidates
3.132 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (+ (log y) (+ (log 18.0) (+ (log z) (log t))))
  (+ (log y) (+ (log 18.0) (log (* z t))))
  (+ (log y) (log (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (exp (* y (* 18.0 (* z t))))
  (* (* (* y y) y) (* (* (* 18.0 18.0) 18.0) (* (* (* z z) z) (* (* t t) t))))
  (* (* (* y y) y) (* (* (* 18.0 18.0) 18.0) (* (* (* z t) (* z t)) (* z t))))
  (* (* (* y y) y) (* (* (* 18.0 (* z t)) (* 18.0 (* z t))) (* 18.0 (* z t))))
  (* (cbrt (* y (* 18.0 (* z t)))) (cbrt (* y (* 18.0 (* z t)))))
  (cbrt (* y (* 18.0 (* z t))))
  (* (* (* y (* 18.0 (* z t))) (* y (* 18.0 (* z t)))) (* y (* 18.0 (* z t))))
  (sqrt (* y (* 18.0 (* z t))))
  (sqrt (* y (* 18.0 (* z t))))
  (* y 18.0)
  (* (cbrt y) (* 18.0 (* z t)))
  (* (sqrt y) (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (* x (* y (* 18.0 (* z t))))
  (* x (* y (* 18.0 (* z t))))
  (* x (* y (* 18.0 (* z t))))
  (* x (* y (* 18.0 (* z t))))
  (+ (log x) (+ (log y) (+ (log 18.0) (+ (log z) (log t)))))
  (+ (log x) (+ (log y) (+ (log 18.0) (log (* z t)))))
  (+ (log x) (+ (log y) (log (* 18.0 (* z t)))))
  (+ (log x) (log (* y (* 18.0 (* z t)))))
  (log (* x (* y (* 18.0 (* z t)))))
  (exp (* x (* y (* 18.0 (* z t)))))
  (* (* (* x x) x) (* (* (* y y) y) (* (* (* 18.0 18.0) 18.0) (* (* (* z z) z) (* (* t t) t)))))
  (* (* (* x x) x) (* (* (* y y) y) (* (* (* 18.0 18.0) 18.0) (* (* (* z t) (* z t)) (* z t)))))
  (* (* (* x x) x) (* (* (* y y) y) (* (* (* 18.0 (* z t)) (* 18.0 (* z t))) (* 18.0 (* z t)))))
  (* (* (* x x) x) (* (* (* y (* 18.0 (* z t))) (* y (* 18.0 (* z t)))) (* y (* 18.0 (* z t)))))
  (* (cbrt (* x (* y (* 18.0 (* z t))))) (cbrt (* x (* y (* 18.0 (* z t))))))
  (cbrt (* x (* y (* 18.0 (* z t)))))
  (* (* (* x (* y (* 18.0 (* z t)))) (* x (* y (* 18.0 (* z t))))) (* x (* y (* 18.0 (* z t)))))
  (sqrt (* x (* y (* 18.0 (* z t)))))
  (sqrt (* x (* y (* 18.0 (* z t)))))
  (* x y)
  (* (cbrt x) (* y (* 18.0 (* z t))))
  (* (sqrt x) (* y (* 18.0 (* z t))))
  (* x (* y (* 18.0 (* z t))))
  (* 18.0 (* z t))
  (* 18.0 (* z t))
  (+ (log 18.0) (+ (log z) (log t)))
  (+ (log 18.0) (log (* z t)))
  (log (* 18.0 (* z t)))
  (exp (* 18.0 (* z t)))
  (* (* (* 18.0 18.0) 18.0) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* 18.0 18.0) 18.0) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* 18.0 (* z t))) (cbrt (* 18.0 (* z t))))
  (cbrt (* 18.0 (* z t)))
  (* (* (* 18.0 (* z t)) (* 18.0 (* z t))) (* 18.0 (* z t)))
  (sqrt (* 18.0 (* z t)))
  (sqrt (* 18.0 (* z t)))
  (* 18.0 z)
  (* (cbrt 18.0) (* z t))
  (* (sqrt 18.0) (* z t))
  (* 18.0 (* z t))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  0
  (* 18.0 (* t (* z y)))
  (* 18.0 (* t (* z y)))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t z))
  (* 18.0 (* t z))
  (* 18.0 (* t z))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
3.172 * * [simplify]: iteration  0 :  5518  enodes  (cost  674 )
3.174 * [simplify]: Simplified to:
   (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (pow (pow (exp 18.0) (* z t)) y)
  (pow (* y (* 18.0 (* z t))) 3)
  (pow (* y (* 18.0 (* z t))) 3)
  (pow (* y (* 18.0 (* z t))) 3)
  (* (cbrt (* y (* 18.0 (* z t)))) (cbrt (* y (* 18.0 (* z t)))))
  (cbrt (* y (* 18.0 (* z t))))
  (pow (* y (* 18.0 (* z t))) 3)
  (sqrt (* y (* 18.0 (* z t))))
  (sqrt (* y (* 18.0 (* z t))))
  (* y 18.0)
  (* 18.0 (* (* z t) (cbrt y)))
  (* 18.0 (* (* z t) (sqrt y)))
  (* y (* 18.0 (* z t)))
  (* y (* (* 18.0 (* z t)) x))
  (* y (* (* 18.0 (* z t)) x))
  (* y (* (* 18.0 (* z t)) x))
  (* y (* (* 18.0 (* z t)) x))
  (log (* y (* (* 18.0 (* z t)) x)))
  (log (* y (* (* 18.0 (* z t)) x)))
  (log (* y (* (* 18.0 (* z t)) x)))
  (log (* y (* (* 18.0 (* z t)) x)))
  (log (* y (* (* 18.0 (* z t)) x)))
  (pow (pow (pow (exp 18.0) (* z t)) y) x)
  (pow (* y (* (* 18.0 (* z t)) x)) 3)
  (pow (* y (* (* 18.0 (* z t)) x)) 3)
  (pow (* y (* (* 18.0 (* z t)) x)) 3)
  (pow (* y (* (* 18.0 (* z t)) x)) 3)
  (* (cbrt (* y (* (* 18.0 (* z t)) x))) (cbrt (* y (* (* 18.0 (* z t)) x))))
  (cbrt (* y (* (* 18.0 (* z t)) x)))
  (pow (* y (* (* 18.0 (* z t)) x)) 3)
  (sqrt (* y (* (* 18.0 (* z t)) x)))
  (sqrt (* y (* (* 18.0 (* z t)) x)))
  (* y x)
  (* y (* (* 18.0 (* z t)) (cbrt x)))
  (* y (* (* 18.0 (* z t)) (sqrt x)))
  (* y (* (* 18.0 (* z t)) x))
  (* 18.0 (* z t))
  (* 18.0 (* z t))
  (log (* 18.0 (* z t)))
  (log (* 18.0 (* z t)))
  (log (* 18.0 (* z t)))
  (pow (exp 18.0) (* z t))
  (pow (* 18.0 (* z t)) 3)
  (pow (* 18.0 (* z t)) 3)
  (* (cbrt (* 18.0 (* z t))) (cbrt (* 18.0 (* z t))))
  (cbrt (* 18.0 (* z t)))
  (pow (* 18.0 (* z t)) 3)
  (sqrt (* 18.0 (* z t)))
  (sqrt (* 18.0 (* z t)))
  (* 18.0 z)
  (* z (* t (cbrt 18.0)))
  (* z (* t (sqrt 18.0)))
  (* 18.0 (* z t))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (pow (exp j) (* 27.0 k))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* 27.0 (* k (cbrt j)))
  (* 27.0 (* k (sqrt j)))
  (* j (* 27.0 k))
  0
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  0
  (* y (* (* 18.0 (* z t)) x))
  (* y (* (* 18.0 (* z t)) x))
  (* 18.0 (* z t))
  (* 18.0 (* z t))
  (* 18.0 (* z t))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
3.175 * * * [progress]: adding candidates to table
3.341 * * [progress]: iteration 3 / 4
3.341 * * * [progress]: picking best candidate
3.367 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))>
3.367 * * * [progress]: localizing error
3.392 * * * [progress]: generating rewritten candidates
3.392 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2)
3.398 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2)
3.401 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1)
3.405 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
3.410 * * * [progress]: generating series expansions
3.411 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2)
3.411 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
3.411 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
3.411 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
3.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
3.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
3.411 * [taylor]: Taking taylor expansion of 1/3 in k
3.411 * [taylor]: Taking taylor expansion of (log (* k j)) in k
3.411 * [taylor]: Taking taylor expansion of (* k j) in k
3.411 * [taylor]: Taking taylor expansion of k in k
3.411 * [taylor]: Taking taylor expansion of j in k
3.411 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.411 * [taylor]: Taking taylor expansion of 27.0 in k
3.411 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.411 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.411 * [taylor]: Taking taylor expansion of 1/3 in j
3.411 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.411 * [taylor]: Taking taylor expansion of (* k j) in j
3.411 * [taylor]: Taking taylor expansion of k in j
3.411 * [taylor]: Taking taylor expansion of j in j
3.411 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.411 * [taylor]: Taking taylor expansion of 27.0 in j
3.411 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.411 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.412 * [taylor]: Taking taylor expansion of 1/3 in j
3.412 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.412 * [taylor]: Taking taylor expansion of (* k j) in j
3.412 * [taylor]: Taking taylor expansion of k in j
3.412 * [taylor]: Taking taylor expansion of j in j
3.412 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.412 * [taylor]: Taking taylor expansion of 27.0 in j
3.412 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
3.412 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.412 * [taylor]: Taking taylor expansion of 27.0 in k
3.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
3.412 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
3.412 * [taylor]: Taking taylor expansion of 1/3 in k
3.412 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
3.412 * [taylor]: Taking taylor expansion of (log k) in k
3.412 * [taylor]: Taking taylor expansion of k in k
3.412 * [taylor]: Taking taylor expansion of (log j) in k
3.412 * [taylor]: Taking taylor expansion of j in k
3.413 * [taylor]: Taking taylor expansion of 0 in k
3.414 * [taylor]: Taking taylor expansion of 0 in k
3.416 * [taylor]: Taking taylor expansion of 0 in k
3.416 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.416 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.416 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.416 * [taylor]: Taking taylor expansion of 1/3 in k
3.416 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.416 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.416 * [taylor]: Taking taylor expansion of (* k j) in k
3.416 * [taylor]: Taking taylor expansion of k in k
3.416 * [taylor]: Taking taylor expansion of j in k
3.416 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.416 * [taylor]: Taking taylor expansion of 27.0 in k
3.416 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.416 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.416 * [taylor]: Taking taylor expansion of 1/3 in j
3.416 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.416 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.416 * [taylor]: Taking taylor expansion of (* k j) in j
3.416 * [taylor]: Taking taylor expansion of k in j
3.416 * [taylor]: Taking taylor expansion of j in j
3.417 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.417 * [taylor]: Taking taylor expansion of 27.0 in j
3.417 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.417 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.417 * [taylor]: Taking taylor expansion of 1/3 in j
3.417 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.417 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.417 * [taylor]: Taking taylor expansion of (* k j) in j
3.417 * [taylor]: Taking taylor expansion of k in j
3.417 * [taylor]: Taking taylor expansion of j in j
3.417 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.417 * [taylor]: Taking taylor expansion of 27.0 in j
3.417 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.417 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.417 * [taylor]: Taking taylor expansion of 1/3 in k
3.417 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.417 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.417 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.417 * [taylor]: Taking taylor expansion of k in k
3.417 * [taylor]: Taking taylor expansion of (log j) in k
3.418 * [taylor]: Taking taylor expansion of j in k
3.418 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.418 * [taylor]: Taking taylor expansion of 27.0 in k
3.418 * [taylor]: Taking taylor expansion of 0 in k
3.420 * [taylor]: Taking taylor expansion of 0 in k
3.421 * [taylor]: Taking taylor expansion of 0 in k
3.422 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.422 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.422 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.422 * [taylor]: Taking taylor expansion of 1/3 in k
3.422 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.422 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.422 * [taylor]: Taking taylor expansion of (* k j) in k
3.422 * [taylor]: Taking taylor expansion of k in k
3.422 * [taylor]: Taking taylor expansion of j in k
3.422 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.422 * [taylor]: Taking taylor expansion of 27.0 in k
3.422 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.422 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.422 * [taylor]: Taking taylor expansion of 1/3 in j
3.422 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.422 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.422 * [taylor]: Taking taylor expansion of (* k j) in j
3.422 * [taylor]: Taking taylor expansion of k in j
3.422 * [taylor]: Taking taylor expansion of j in j
3.422 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.422 * [taylor]: Taking taylor expansion of 27.0 in j
3.423 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.423 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.423 * [taylor]: Taking taylor expansion of 1/3 in j
3.423 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.423 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.423 * [taylor]: Taking taylor expansion of (* k j) in j
3.423 * [taylor]: Taking taylor expansion of k in j
3.423 * [taylor]: Taking taylor expansion of j in j
3.423 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.423 * [taylor]: Taking taylor expansion of 27.0 in j
3.423 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.423 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.423 * [taylor]: Taking taylor expansion of 1/3 in k
3.423 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.423 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.423 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.423 * [taylor]: Taking taylor expansion of k in k
3.423 * [taylor]: Taking taylor expansion of (log j) in k
3.424 * [taylor]: Taking taylor expansion of j in k
3.424 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.424 * [taylor]: Taking taylor expansion of 27.0 in k
3.424 * [taylor]: Taking taylor expansion of 0 in k
3.426 * [taylor]: Taking taylor expansion of 0 in k
3.427 * [taylor]: Taking taylor expansion of 0 in k
3.428 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2)
3.428 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
3.428 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
3.428 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
3.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
3.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
3.428 * [taylor]: Taking taylor expansion of 1/3 in k
3.428 * [taylor]: Taking taylor expansion of (log (* k j)) in k
3.428 * [taylor]: Taking taylor expansion of (* k j) in k
3.428 * [taylor]: Taking taylor expansion of k in k
3.428 * [taylor]: Taking taylor expansion of j in k
3.428 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.428 * [taylor]: Taking taylor expansion of 27.0 in k
3.428 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.428 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.428 * [taylor]: Taking taylor expansion of 1/3 in j
3.428 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.428 * [taylor]: Taking taylor expansion of (* k j) in j
3.428 * [taylor]: Taking taylor expansion of k in j
3.428 * [taylor]: Taking taylor expansion of j in j
3.428 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.428 * [taylor]: Taking taylor expansion of 27.0 in j
3.428 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.428 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.428 * [taylor]: Taking taylor expansion of 1/3 in j
3.429 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.429 * [taylor]: Taking taylor expansion of (* k j) in j
3.429 * [taylor]: Taking taylor expansion of k in j
3.429 * [taylor]: Taking taylor expansion of j in j
3.429 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.429 * [taylor]: Taking taylor expansion of 27.0 in j
3.429 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
3.429 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.429 * [taylor]: Taking taylor expansion of 27.0 in k
3.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
3.429 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
3.429 * [taylor]: Taking taylor expansion of 1/3 in k
3.429 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
3.429 * [taylor]: Taking taylor expansion of (log k) in k
3.429 * [taylor]: Taking taylor expansion of k in k
3.429 * [taylor]: Taking taylor expansion of (log j) in k
3.429 * [taylor]: Taking taylor expansion of j in k
3.430 * [taylor]: Taking taylor expansion of 0 in k
3.431 * [taylor]: Taking taylor expansion of 0 in k
3.432 * [taylor]: Taking taylor expansion of 0 in k
3.433 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.433 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.433 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.433 * [taylor]: Taking taylor expansion of 1/3 in k
3.433 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.433 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.433 * [taylor]: Taking taylor expansion of (* k j) in k
3.433 * [taylor]: Taking taylor expansion of k in k
3.433 * [taylor]: Taking taylor expansion of j in k
3.433 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.433 * [taylor]: Taking taylor expansion of 27.0 in k
3.433 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.433 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.433 * [taylor]: Taking taylor expansion of 1/3 in j
3.433 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.433 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.433 * [taylor]: Taking taylor expansion of (* k j) in j
3.433 * [taylor]: Taking taylor expansion of k in j
3.433 * [taylor]: Taking taylor expansion of j in j
3.433 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.434 * [taylor]: Taking taylor expansion of 27.0 in j
3.434 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.434 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.434 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.434 * [taylor]: Taking taylor expansion of 1/3 in j
3.434 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.434 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.434 * [taylor]: Taking taylor expansion of (* k j) in j
3.434 * [taylor]: Taking taylor expansion of k in j
3.434 * [taylor]: Taking taylor expansion of j in j
3.434 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.434 * [taylor]: Taking taylor expansion of 27.0 in j
3.434 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.434 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.434 * [taylor]: Taking taylor expansion of 1/3 in k
3.434 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.434 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.434 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.434 * [taylor]: Taking taylor expansion of k in k
3.434 * [taylor]: Taking taylor expansion of (log j) in k
3.434 * [taylor]: Taking taylor expansion of j in k
3.435 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.435 * [taylor]: Taking taylor expansion of 27.0 in k
3.435 * [taylor]: Taking taylor expansion of 0 in k
3.436 * [taylor]: Taking taylor expansion of 0 in k
3.438 * [taylor]: Taking taylor expansion of 0 in k
3.438 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.438 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.438 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.439 * [taylor]: Taking taylor expansion of 1/3 in k
3.439 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.439 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.439 * [taylor]: Taking taylor expansion of (* k j) in k
3.439 * [taylor]: Taking taylor expansion of k in k
3.439 * [taylor]: Taking taylor expansion of j in k
3.439 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.439 * [taylor]: Taking taylor expansion of 27.0 in k
3.439 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.439 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.439 * [taylor]: Taking taylor expansion of 1/3 in j
3.439 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.439 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.439 * [taylor]: Taking taylor expansion of (* k j) in j
3.439 * [taylor]: Taking taylor expansion of k in j
3.439 * [taylor]: Taking taylor expansion of j in j
3.439 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.439 * [taylor]: Taking taylor expansion of 27.0 in j
3.439 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.439 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.439 * [taylor]: Taking taylor expansion of 1/3 in j
3.439 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.439 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.439 * [taylor]: Taking taylor expansion of (* k j) in j
3.439 * [taylor]: Taking taylor expansion of k in j
3.440 * [taylor]: Taking taylor expansion of j in j
3.440 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.440 * [taylor]: Taking taylor expansion of 27.0 in j
3.440 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.440 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.440 * [taylor]: Taking taylor expansion of 1/3 in k
3.440 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.440 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.440 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.440 * [taylor]: Taking taylor expansion of k in k
3.440 * [taylor]: Taking taylor expansion of (log j) in k
3.440 * [taylor]: Taking taylor expansion of j in k
3.440 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.440 * [taylor]: Taking taylor expansion of 27.0 in k
3.441 * [taylor]: Taking taylor expansion of 0 in k
3.442 * [taylor]: Taking taylor expansion of 0 in k
3.444 * [taylor]: Taking taylor expansion of 0 in k
3.444 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1)
3.444 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
3.444 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
3.444 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
3.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
3.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
3.444 * [taylor]: Taking taylor expansion of 1/3 in k
3.444 * [taylor]: Taking taylor expansion of (log (* k j)) in k
3.444 * [taylor]: Taking taylor expansion of (* k j) in k
3.444 * [taylor]: Taking taylor expansion of k in k
3.444 * [taylor]: Taking taylor expansion of j in k
3.445 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.445 * [taylor]: Taking taylor expansion of 27.0 in k
3.445 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.445 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.445 * [taylor]: Taking taylor expansion of 1/3 in j
3.445 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.445 * [taylor]: Taking taylor expansion of (* k j) in j
3.445 * [taylor]: Taking taylor expansion of k in j
3.445 * [taylor]: Taking taylor expansion of j in j
3.445 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.445 * [taylor]: Taking taylor expansion of 27.0 in j
3.445 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.445 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.445 * [taylor]: Taking taylor expansion of 1/3 in j
3.445 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.445 * [taylor]: Taking taylor expansion of (* k j) in j
3.445 * [taylor]: Taking taylor expansion of k in j
3.445 * [taylor]: Taking taylor expansion of j in j
3.445 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.445 * [taylor]: Taking taylor expansion of 27.0 in j
3.445 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
3.445 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.446 * [taylor]: Taking taylor expansion of 27.0 in k
3.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
3.446 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
3.446 * [taylor]: Taking taylor expansion of 1/3 in k
3.446 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
3.446 * [taylor]: Taking taylor expansion of (log k) in k
3.446 * [taylor]: Taking taylor expansion of k in k
3.446 * [taylor]: Taking taylor expansion of (log j) in k
3.446 * [taylor]: Taking taylor expansion of j in k
3.446 * [taylor]: Taking taylor expansion of 0 in k
3.447 * [taylor]: Taking taylor expansion of 0 in k
3.449 * [taylor]: Taking taylor expansion of 0 in k
3.449 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.449 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.449 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.449 * [taylor]: Taking taylor expansion of 1/3 in k
3.449 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.449 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.449 * [taylor]: Taking taylor expansion of (* k j) in k
3.449 * [taylor]: Taking taylor expansion of k in k
3.449 * [taylor]: Taking taylor expansion of j in k
3.450 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.450 * [taylor]: Taking taylor expansion of 27.0 in k
3.450 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.450 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.450 * [taylor]: Taking taylor expansion of 1/3 in j
3.450 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.450 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.450 * [taylor]: Taking taylor expansion of (* k j) in j
3.450 * [taylor]: Taking taylor expansion of k in j
3.450 * [taylor]: Taking taylor expansion of j in j
3.450 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.450 * [taylor]: Taking taylor expansion of 27.0 in j
3.450 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.450 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.450 * [taylor]: Taking taylor expansion of 1/3 in j
3.450 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.450 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.450 * [taylor]: Taking taylor expansion of (* k j) in j
3.450 * [taylor]: Taking taylor expansion of k in j
3.450 * [taylor]: Taking taylor expansion of j in j
3.451 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.451 * [taylor]: Taking taylor expansion of 27.0 in j
3.451 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.451 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.451 * [taylor]: Taking taylor expansion of 1/3 in k
3.451 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.451 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.451 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.451 * [taylor]: Taking taylor expansion of k in k
3.451 * [taylor]: Taking taylor expansion of (log j) in k
3.451 * [taylor]: Taking taylor expansion of j in k
3.451 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.451 * [taylor]: Taking taylor expansion of 27.0 in k
3.452 * [taylor]: Taking taylor expansion of 0 in k
3.453 * [taylor]: Taking taylor expansion of 0 in k
3.455 * [taylor]: Taking taylor expansion of 0 in k
3.455 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.455 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.455 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.455 * [taylor]: Taking taylor expansion of 1/3 in k
3.455 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.455 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.455 * [taylor]: Taking taylor expansion of (* k j) in k
3.455 * [taylor]: Taking taylor expansion of k in k
3.455 * [taylor]: Taking taylor expansion of j in k
3.455 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.455 * [taylor]: Taking taylor expansion of 27.0 in k
3.455 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.456 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.456 * [taylor]: Taking taylor expansion of 1/3 in j
3.456 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.456 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.456 * [taylor]: Taking taylor expansion of (* k j) in j
3.456 * [taylor]: Taking taylor expansion of k in j
3.456 * [taylor]: Taking taylor expansion of j in j
3.456 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.456 * [taylor]: Taking taylor expansion of 27.0 in j
3.456 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.456 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.456 * [taylor]: Taking taylor expansion of 1/3 in j
3.456 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.456 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.456 * [taylor]: Taking taylor expansion of (* k j) in j
3.456 * [taylor]: Taking taylor expansion of k in j
3.456 * [taylor]: Taking taylor expansion of j in j
3.456 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.456 * [taylor]: Taking taylor expansion of 27.0 in j
3.457 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.457 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.457 * [taylor]: Taking taylor expansion of 1/3 in k
3.457 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.457 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.457 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.457 * [taylor]: Taking taylor expansion of k in k
3.457 * [taylor]: Taking taylor expansion of (log j) in k
3.457 * [taylor]: Taking taylor expansion of j in k
3.457 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.457 * [taylor]: Taking taylor expansion of 27.0 in k
3.458 * [taylor]: Taking taylor expansion of 0 in k
3.459 * [taylor]: Taking taylor expansion of 0 in k
3.461 * [taylor]: Taking taylor expansion of 0 in k
3.461 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
3.461 * [approximate]: Taking taylor expansion of (* t (* z y)) in (y z t) around 0
3.461 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.461 * [taylor]: Taking taylor expansion of t in t
3.461 * [taylor]: Taking taylor expansion of (* z y) in t
3.461 * [taylor]: Taking taylor expansion of z in t
3.461 * [taylor]: Taking taylor expansion of y in t
3.461 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.461 * [taylor]: Taking taylor expansion of t in z
3.461 * [taylor]: Taking taylor expansion of (* z y) in z
3.461 * [taylor]: Taking taylor expansion of z in z
3.461 * [taylor]: Taking taylor expansion of y in z
3.461 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.461 * [taylor]: Taking taylor expansion of t in y
3.461 * [taylor]: Taking taylor expansion of (* z y) in y
3.461 * [taylor]: Taking taylor expansion of z in y
3.461 * [taylor]: Taking taylor expansion of y in y
3.461 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.461 * [taylor]: Taking taylor expansion of t in y
3.461 * [taylor]: Taking taylor expansion of (* z y) in y
3.461 * [taylor]: Taking taylor expansion of z in y
3.461 * [taylor]: Taking taylor expansion of y in y
3.461 * [taylor]: Taking taylor expansion of 0 in z
3.461 * [taylor]: Taking taylor expansion of 0 in t
3.461 * [taylor]: Taking taylor expansion of (* t z) in z
3.461 * [taylor]: Taking taylor expansion of t in z
3.461 * [taylor]: Taking taylor expansion of z in z
3.461 * [taylor]: Taking taylor expansion of 0 in t
3.461 * [taylor]: Taking taylor expansion of 0 in t
3.461 * [taylor]: Taking taylor expansion of 0 in z
3.462 * [taylor]: Taking taylor expansion of 0 in t
3.462 * [taylor]: Taking taylor expansion of t in t
3.462 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (y z t) around 0
3.462 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.462 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.462 * [taylor]: Taking taylor expansion of t in t
3.462 * [taylor]: Taking taylor expansion of (* z y) in t
3.462 * [taylor]: Taking taylor expansion of z in t
3.462 * [taylor]: Taking taylor expansion of y in t
3.462 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
3.462 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.462 * [taylor]: Taking taylor expansion of t in z
3.462 * [taylor]: Taking taylor expansion of (* z y) in z
3.462 * [taylor]: Taking taylor expansion of z in z
3.462 * [taylor]: Taking taylor expansion of y in z
3.462 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.462 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.462 * [taylor]: Taking taylor expansion of t in y
3.462 * [taylor]: Taking taylor expansion of (* z y) in y
3.462 * [taylor]: Taking taylor expansion of z in y
3.462 * [taylor]: Taking taylor expansion of y in y
3.462 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.462 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.462 * [taylor]: Taking taylor expansion of t in y
3.462 * [taylor]: Taking taylor expansion of (* z y) in y
3.462 * [taylor]: Taking taylor expansion of z in y
3.462 * [taylor]: Taking taylor expansion of y in y
3.462 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.463 * [taylor]: Taking taylor expansion of (* t z) in z
3.463 * [taylor]: Taking taylor expansion of t in z
3.463 * [taylor]: Taking taylor expansion of z in z
3.463 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.463 * [taylor]: Taking taylor expansion of t in t
3.463 * [taylor]: Taking taylor expansion of 0 in z
3.463 * [taylor]: Taking taylor expansion of 0 in t
3.463 * [taylor]: Taking taylor expansion of 0 in z
3.463 * [taylor]: Taking taylor expansion of 0 in t
3.463 * [taylor]: Taking taylor expansion of 0 in t
3.464 * [taylor]: Taking taylor expansion of 0 in z
3.464 * [taylor]: Taking taylor expansion of 0 in t
3.464 * [taylor]: Taking taylor expansion of 0 in t
3.464 * [taylor]: Taking taylor expansion of 0 in t
3.464 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (y z t) around 0
3.464 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
3.464 * [taylor]: Taking taylor expansion of -1 in t
3.464 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.464 * [taylor]: Taking taylor expansion of t in t
3.464 * [taylor]: Taking taylor expansion of (* z y) in t
3.464 * [taylor]: Taking taylor expansion of z in t
3.464 * [taylor]: Taking taylor expansion of y in t
3.464 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
3.464 * [taylor]: Taking taylor expansion of -1 in z
3.464 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.464 * [taylor]: Taking taylor expansion of t in z
3.464 * [taylor]: Taking taylor expansion of (* z y) in z
3.464 * [taylor]: Taking taylor expansion of z in z
3.464 * [taylor]: Taking taylor expansion of y in z
3.464 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
3.464 * [taylor]: Taking taylor expansion of -1 in y
3.464 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.464 * [taylor]: Taking taylor expansion of t in y
3.464 * [taylor]: Taking taylor expansion of (* z y) in y
3.464 * [taylor]: Taking taylor expansion of z in y
3.464 * [taylor]: Taking taylor expansion of y in y
3.465 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
3.465 * [taylor]: Taking taylor expansion of -1 in y
3.465 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.465 * [taylor]: Taking taylor expansion of t in y
3.465 * [taylor]: Taking taylor expansion of (* z y) in y
3.465 * [taylor]: Taking taylor expansion of z in y
3.465 * [taylor]: Taking taylor expansion of y in y
3.465 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
3.465 * [taylor]: Taking taylor expansion of -1 in z
3.465 * [taylor]: Taking taylor expansion of (* t z) in z
3.465 * [taylor]: Taking taylor expansion of t in z
3.465 * [taylor]: Taking taylor expansion of z in z
3.465 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.465 * [taylor]: Taking taylor expansion of -1 in t
3.465 * [taylor]: Taking taylor expansion of t in t
3.465 * [taylor]: Taking taylor expansion of 0 in z
3.465 * [taylor]: Taking taylor expansion of 0 in t
3.466 * [taylor]: Taking taylor expansion of 0 in z
3.466 * [taylor]: Taking taylor expansion of 0 in t
3.466 * [taylor]: Taking taylor expansion of 0 in t
3.466 * [taylor]: Taking taylor expansion of 0 in z
3.466 * [taylor]: Taking taylor expansion of 0 in t
3.466 * [taylor]: Taking taylor expansion of 0 in t
3.466 * [taylor]: Taking taylor expansion of 0 in t
3.466 * * * [progress]: simplifying candidates
3.467 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (* y (* z t))
  (* y (* z t))
  (+ (log y) (+ (log z) (log t)))
  (+ (log y) (log (* z t)))
  (log (* y (* z t)))
  (exp (* y (* z t)))
  (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (* (* (* y (* z t)) (* y (* z t))) (* y (* z t)))
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* (cbrt y) (* z t))
  (* (sqrt y) (* z t))
  (* y (* z t))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log 1) (+ (log k) (log j))))))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ 1 j)) (log (/ 1 k)))))) (cbrt 27.0))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 j)) (log (/ -1 k)))))) (cbrt 27.0))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log 1) (+ (log k) (log j))))))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ 1 j)) (log (/ 1 k)))))) (cbrt 27.0))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 j)) (log (/ -1 k)))))) (cbrt 27.0))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log 1) (+ (log k) (log j))))))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ 1 j)) (log (/ 1 k)))))) (cbrt 27.0))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 j)) (log (/ -1 k)))))) (cbrt 27.0))
  0
  (* t (* z y))
  (* t (* z y))
3.591 * * [simplify]: iteration  0 :  4907  enodes  (cost  363 )
3.591 * * [simplify]: iteration  1 :  4907  enodes  (cost  363 )
3.593 * [simplify]: Simplified to:
   (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* j (* 27.0 k))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* j (* 27.0 k))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* j (* 27.0 k))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (* y (* z t))
  (* y (* z t))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (pow (exp y) (* z t))
  (pow (* y (* z t)) 3)
  (pow (* y (* z t)) 3)
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (pow (* y (* z t)) 3)
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* z (* t (cbrt y)))
  (* z (* t (sqrt y)))
  (* y (* z t))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  0
  (* y (* z t))
  (* y (* z t))
3.593 * * * [progress]: adding candidates to table
3.729 * * [progress]: iteration 4 / 4
3.729 * * * [progress]: picking best candidate
3.755 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))>
3.755 * * * [progress]: localizing error
3.786 * * * [progress]: generating rewritten candidates
3.786 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2)
3.789 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1)
3.793 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
3.798 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.808 * * * [progress]: generating series expansions
3.808 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2)
3.808 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
3.808 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
3.808 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
3.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
3.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
3.808 * [taylor]: Taking taylor expansion of 1/3 in k
3.808 * [taylor]: Taking taylor expansion of (log (* k j)) in k
3.809 * [taylor]: Taking taylor expansion of (* k j) in k
3.809 * [taylor]: Taking taylor expansion of k in k
3.809 * [taylor]: Taking taylor expansion of j in k
3.809 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.809 * [taylor]: Taking taylor expansion of 27.0 in k
3.809 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.809 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.809 * [taylor]: Taking taylor expansion of 1/3 in j
3.809 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.809 * [taylor]: Taking taylor expansion of (* k j) in j
3.809 * [taylor]: Taking taylor expansion of k in j
3.809 * [taylor]: Taking taylor expansion of j in j
3.809 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.809 * [taylor]: Taking taylor expansion of 27.0 in j
3.809 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.809 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.809 * [taylor]: Taking taylor expansion of 1/3 in j
3.809 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.809 * [taylor]: Taking taylor expansion of (* k j) in j
3.809 * [taylor]: Taking taylor expansion of k in j
3.809 * [taylor]: Taking taylor expansion of j in j
3.809 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.809 * [taylor]: Taking taylor expansion of 27.0 in j
3.810 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
3.810 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.810 * [taylor]: Taking taylor expansion of 27.0 in k
3.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
3.810 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
3.810 * [taylor]: Taking taylor expansion of 1/3 in k
3.810 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
3.810 * [taylor]: Taking taylor expansion of (log k) in k
3.810 * [taylor]: Taking taylor expansion of k in k
3.810 * [taylor]: Taking taylor expansion of (log j) in k
3.810 * [taylor]: Taking taylor expansion of j in k
3.811 * [taylor]: Taking taylor expansion of 0 in k
3.812 * [taylor]: Taking taylor expansion of 0 in k
3.813 * [taylor]: Taking taylor expansion of 0 in k
3.813 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.813 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.813 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.814 * [taylor]: Taking taylor expansion of 1/3 in k
3.814 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.814 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.814 * [taylor]: Taking taylor expansion of (* k j) in k
3.814 * [taylor]: Taking taylor expansion of k in k
3.814 * [taylor]: Taking taylor expansion of j in k
3.814 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.814 * [taylor]: Taking taylor expansion of 27.0 in k
3.814 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.814 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.814 * [taylor]: Taking taylor expansion of 1/3 in j
3.814 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.814 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.814 * [taylor]: Taking taylor expansion of (* k j) in j
3.814 * [taylor]: Taking taylor expansion of k in j
3.814 * [taylor]: Taking taylor expansion of j in j
3.814 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.814 * [taylor]: Taking taylor expansion of 27.0 in j
3.814 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.814 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.814 * [taylor]: Taking taylor expansion of 1/3 in j
3.814 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.814 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.814 * [taylor]: Taking taylor expansion of (* k j) in j
3.815 * [taylor]: Taking taylor expansion of k in j
3.815 * [taylor]: Taking taylor expansion of j in j
3.815 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.815 * [taylor]: Taking taylor expansion of 27.0 in j
3.815 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.815 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.815 * [taylor]: Taking taylor expansion of 1/3 in k
3.815 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.815 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.815 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.815 * [taylor]: Taking taylor expansion of k in k
3.815 * [taylor]: Taking taylor expansion of (log j) in k
3.815 * [taylor]: Taking taylor expansion of j in k
3.815 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.815 * [taylor]: Taking taylor expansion of 27.0 in k
3.816 * [taylor]: Taking taylor expansion of 0 in k
3.817 * [taylor]: Taking taylor expansion of 0 in k
3.819 * [taylor]: Taking taylor expansion of 0 in k
3.819 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.819 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.819 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.819 * [taylor]: Taking taylor expansion of 1/3 in k
3.819 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.819 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.819 * [taylor]: Taking taylor expansion of (* k j) in k
3.819 * [taylor]: Taking taylor expansion of k in k
3.819 * [taylor]: Taking taylor expansion of j in k
3.820 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.820 * [taylor]: Taking taylor expansion of 27.0 in k
3.820 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.820 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.820 * [taylor]: Taking taylor expansion of 1/3 in j
3.820 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.820 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.820 * [taylor]: Taking taylor expansion of (* k j) in j
3.820 * [taylor]: Taking taylor expansion of k in j
3.820 * [taylor]: Taking taylor expansion of j in j
3.820 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.820 * [taylor]: Taking taylor expansion of 27.0 in j
3.820 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.820 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.820 * [taylor]: Taking taylor expansion of 1/3 in j
3.820 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.820 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.820 * [taylor]: Taking taylor expansion of (* k j) in j
3.820 * [taylor]: Taking taylor expansion of k in j
3.820 * [taylor]: Taking taylor expansion of j in j
3.820 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.820 * [taylor]: Taking taylor expansion of 27.0 in j
3.821 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.821 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.821 * [taylor]: Taking taylor expansion of 1/3 in k
3.821 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.821 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.821 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.821 * [taylor]: Taking taylor expansion of k in k
3.821 * [taylor]: Taking taylor expansion of (log j) in k
3.821 * [taylor]: Taking taylor expansion of j in k
3.821 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.821 * [taylor]: Taking taylor expansion of 27.0 in k
3.822 * [taylor]: Taking taylor expansion of 0 in k
3.823 * [taylor]: Taking taylor expansion of 0 in k
3.825 * [taylor]: Taking taylor expansion of 0 in k
3.825 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1)
3.825 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
3.825 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
3.825 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
3.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
3.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
3.825 * [taylor]: Taking taylor expansion of 1/3 in k
3.825 * [taylor]: Taking taylor expansion of (log (* k j)) in k
3.825 * [taylor]: Taking taylor expansion of (* k j) in k
3.825 * [taylor]: Taking taylor expansion of k in k
3.825 * [taylor]: Taking taylor expansion of j in k
3.825 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.825 * [taylor]: Taking taylor expansion of 27.0 in k
3.825 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.825 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.825 * [taylor]: Taking taylor expansion of 1/3 in j
3.825 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.825 * [taylor]: Taking taylor expansion of (* k j) in j
3.825 * [taylor]: Taking taylor expansion of k in j
3.825 * [taylor]: Taking taylor expansion of j in j
3.826 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.826 * [taylor]: Taking taylor expansion of 27.0 in j
3.826 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.826 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.826 * [taylor]: Taking taylor expansion of 1/3 in j
3.826 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.826 * [taylor]: Taking taylor expansion of (* k j) in j
3.826 * [taylor]: Taking taylor expansion of k in j
3.826 * [taylor]: Taking taylor expansion of j in j
3.826 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.826 * [taylor]: Taking taylor expansion of 27.0 in j
3.826 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
3.826 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.826 * [taylor]: Taking taylor expansion of 27.0 in k
3.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
3.826 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
3.826 * [taylor]: Taking taylor expansion of 1/3 in k
3.826 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
3.826 * [taylor]: Taking taylor expansion of (log k) in k
3.826 * [taylor]: Taking taylor expansion of k in k
3.826 * [taylor]: Taking taylor expansion of (log j) in k
3.826 * [taylor]: Taking taylor expansion of j in k
3.827 * [taylor]: Taking taylor expansion of 0 in k
3.828 * [taylor]: Taking taylor expansion of 0 in k
3.830 * [taylor]: Taking taylor expansion of 0 in k
3.830 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.830 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.830 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.830 * [taylor]: Taking taylor expansion of 1/3 in k
3.830 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.830 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.830 * [taylor]: Taking taylor expansion of (* k j) in k
3.830 * [taylor]: Taking taylor expansion of k in k
3.830 * [taylor]: Taking taylor expansion of j in k
3.830 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.830 * [taylor]: Taking taylor expansion of 27.0 in k
3.830 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.830 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.830 * [taylor]: Taking taylor expansion of 1/3 in j
3.830 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.830 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.830 * [taylor]: Taking taylor expansion of (* k j) in j
3.830 * [taylor]: Taking taylor expansion of k in j
3.830 * [taylor]: Taking taylor expansion of j in j
3.831 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.831 * [taylor]: Taking taylor expansion of 27.0 in j
3.831 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.831 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.831 * [taylor]: Taking taylor expansion of 1/3 in j
3.831 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.831 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.831 * [taylor]: Taking taylor expansion of (* k j) in j
3.831 * [taylor]: Taking taylor expansion of k in j
3.831 * [taylor]: Taking taylor expansion of j in j
3.831 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.831 * [taylor]: Taking taylor expansion of 27.0 in j
3.831 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.831 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.831 * [taylor]: Taking taylor expansion of 1/3 in k
3.831 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.831 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.831 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.831 * [taylor]: Taking taylor expansion of k in k
3.832 * [taylor]: Taking taylor expansion of (log j) in k
3.832 * [taylor]: Taking taylor expansion of j in k
3.832 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.832 * [taylor]: Taking taylor expansion of 27.0 in k
3.832 * [taylor]: Taking taylor expansion of 0 in k
3.834 * [taylor]: Taking taylor expansion of 0 in k
3.835 * [taylor]: Taking taylor expansion of 0 in k
3.836 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.836 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.836 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.836 * [taylor]: Taking taylor expansion of 1/3 in k
3.836 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.836 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.836 * [taylor]: Taking taylor expansion of (* k j) in k
3.836 * [taylor]: Taking taylor expansion of k in k
3.836 * [taylor]: Taking taylor expansion of j in k
3.836 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.836 * [taylor]: Taking taylor expansion of 27.0 in k
3.836 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.836 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.836 * [taylor]: Taking taylor expansion of 1/3 in j
3.836 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.836 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.836 * [taylor]: Taking taylor expansion of (* k j) in j
3.836 * [taylor]: Taking taylor expansion of k in j
3.836 * [taylor]: Taking taylor expansion of j in j
3.841 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.841 * [taylor]: Taking taylor expansion of 27.0 in j
3.841 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.841 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.841 * [taylor]: Taking taylor expansion of 1/3 in j
3.841 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.841 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.841 * [taylor]: Taking taylor expansion of (* k j) in j
3.841 * [taylor]: Taking taylor expansion of k in j
3.841 * [taylor]: Taking taylor expansion of j in j
3.841 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.841 * [taylor]: Taking taylor expansion of 27.0 in j
3.841 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.841 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.841 * [taylor]: Taking taylor expansion of 1/3 in k
3.841 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.841 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.841 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.841 * [taylor]: Taking taylor expansion of k in k
3.841 * [taylor]: Taking taylor expansion of (log j) in k
3.841 * [taylor]: Taking taylor expansion of j in k
3.842 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.842 * [taylor]: Taking taylor expansion of 27.0 in k
3.843 * [taylor]: Taking taylor expansion of 0 in k
3.844 * [taylor]: Taking taylor expansion of 0 in k
3.846 * [taylor]: Taking taylor expansion of 0 in k
3.846 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
3.846 * [approximate]: Taking taylor expansion of (* t (* z y)) in (y z t) around 0
3.846 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.846 * [taylor]: Taking taylor expansion of t in t
3.846 * [taylor]: Taking taylor expansion of (* z y) in t
3.846 * [taylor]: Taking taylor expansion of z in t
3.846 * [taylor]: Taking taylor expansion of y in t
3.846 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.846 * [taylor]: Taking taylor expansion of t in z
3.846 * [taylor]: Taking taylor expansion of (* z y) in z
3.846 * [taylor]: Taking taylor expansion of z in z
3.846 * [taylor]: Taking taylor expansion of y in z
3.846 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.846 * [taylor]: Taking taylor expansion of t in y
3.846 * [taylor]: Taking taylor expansion of (* z y) in y
3.846 * [taylor]: Taking taylor expansion of z in y
3.846 * [taylor]: Taking taylor expansion of y in y
3.846 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.846 * [taylor]: Taking taylor expansion of t in y
3.846 * [taylor]: Taking taylor expansion of (* z y) in y
3.846 * [taylor]: Taking taylor expansion of z in y
3.846 * [taylor]: Taking taylor expansion of y in y
3.846 * [taylor]: Taking taylor expansion of 0 in z
3.846 * [taylor]: Taking taylor expansion of 0 in t
3.846 * [taylor]: Taking taylor expansion of (* t z) in z
3.846 * [taylor]: Taking taylor expansion of t in z
3.846 * [taylor]: Taking taylor expansion of z in z
3.846 * [taylor]: Taking taylor expansion of 0 in t
3.846 * [taylor]: Taking taylor expansion of 0 in t
3.847 * [taylor]: Taking taylor expansion of 0 in z
3.847 * [taylor]: Taking taylor expansion of 0 in t
3.847 * [taylor]: Taking taylor expansion of t in t
3.847 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (y z t) around 0
3.847 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.847 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.847 * [taylor]: Taking taylor expansion of t in t
3.847 * [taylor]: Taking taylor expansion of (* z y) in t
3.847 * [taylor]: Taking taylor expansion of z in t
3.847 * [taylor]: Taking taylor expansion of y in t
3.847 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
3.847 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.847 * [taylor]: Taking taylor expansion of t in z
3.847 * [taylor]: Taking taylor expansion of (* z y) in z
3.847 * [taylor]: Taking taylor expansion of z in z
3.847 * [taylor]: Taking taylor expansion of y in z
3.847 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.847 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.847 * [taylor]: Taking taylor expansion of t in y
3.847 * [taylor]: Taking taylor expansion of (* z y) in y
3.847 * [taylor]: Taking taylor expansion of z in y
3.847 * [taylor]: Taking taylor expansion of y in y
3.847 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.847 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.847 * [taylor]: Taking taylor expansion of t in y
3.847 * [taylor]: Taking taylor expansion of (* z y) in y
3.847 * [taylor]: Taking taylor expansion of z in y
3.847 * [taylor]: Taking taylor expansion of y in y
3.848 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.848 * [taylor]: Taking taylor expansion of (* t z) in z
3.848 * [taylor]: Taking taylor expansion of t in z
3.848 * [taylor]: Taking taylor expansion of z in z
3.848 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.848 * [taylor]: Taking taylor expansion of t in t
3.848 * [taylor]: Taking taylor expansion of 0 in z
3.848 * [taylor]: Taking taylor expansion of 0 in t
3.848 * [taylor]: Taking taylor expansion of 0 in z
3.848 * [taylor]: Taking taylor expansion of 0 in t
3.848 * [taylor]: Taking taylor expansion of 0 in t
3.849 * [taylor]: Taking taylor expansion of 0 in z
3.849 * [taylor]: Taking taylor expansion of 0 in t
3.849 * [taylor]: Taking taylor expansion of 0 in t
3.849 * [taylor]: Taking taylor expansion of 0 in t
3.849 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (y z t) around 0
3.849 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
3.849 * [taylor]: Taking taylor expansion of -1 in t
3.849 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.849 * [taylor]: Taking taylor expansion of t in t
3.849 * [taylor]: Taking taylor expansion of (* z y) in t
3.849 * [taylor]: Taking taylor expansion of z in t
3.849 * [taylor]: Taking taylor expansion of y in t
3.849 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
3.849 * [taylor]: Taking taylor expansion of -1 in z
3.849 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.849 * [taylor]: Taking taylor expansion of t in z
3.849 * [taylor]: Taking taylor expansion of (* z y) in z
3.849 * [taylor]: Taking taylor expansion of z in z
3.849 * [taylor]: Taking taylor expansion of y in z
3.849 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
3.849 * [taylor]: Taking taylor expansion of -1 in y
3.849 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.849 * [taylor]: Taking taylor expansion of t in y
3.849 * [taylor]: Taking taylor expansion of (* z y) in y
3.849 * [taylor]: Taking taylor expansion of z in y
3.850 * [taylor]: Taking taylor expansion of y in y
3.850 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
3.850 * [taylor]: Taking taylor expansion of -1 in y
3.850 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.850 * [taylor]: Taking taylor expansion of t in y
3.850 * [taylor]: Taking taylor expansion of (* z y) in y
3.850 * [taylor]: Taking taylor expansion of z in y
3.850 * [taylor]: Taking taylor expansion of y in y
3.850 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
3.850 * [taylor]: Taking taylor expansion of -1 in z
3.850 * [taylor]: Taking taylor expansion of (* t z) in z
3.850 * [taylor]: Taking taylor expansion of t in z
3.850 * [taylor]: Taking taylor expansion of z in z
3.850 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.850 * [taylor]: Taking taylor expansion of -1 in t
3.850 * [taylor]: Taking taylor expansion of t in t
3.850 * [taylor]: Taking taylor expansion of 0 in z
3.850 * [taylor]: Taking taylor expansion of 0 in t
3.851 * [taylor]: Taking taylor expansion of 0 in z
3.851 * [taylor]: Taking taylor expansion of 0 in t
3.851 * [taylor]: Taking taylor expansion of 0 in t
3.851 * [taylor]: Taking taylor expansion of 0 in z
3.851 * [taylor]: Taking taylor expansion of 0 in t
3.851 * [taylor]: Taking taylor expansion of 0 in t
3.851 * [taylor]: Taking taylor expansion of 0 in t
3.851 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.851 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.851 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
3.851 * [taylor]: Taking taylor expansion of 18.0 in t
3.851 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.852 * [taylor]: Taking taylor expansion of t in t
3.852 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.852 * [taylor]: Taking taylor expansion of x in t
3.852 * [taylor]: Taking taylor expansion of (* z y) in t
3.852 * [taylor]: Taking taylor expansion of z in t
3.852 * [taylor]: Taking taylor expansion of y in t
3.852 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
3.852 * [taylor]: Taking taylor expansion of 18.0 in z
3.852 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.852 * [taylor]: Taking taylor expansion of t in z
3.852 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.852 * [taylor]: Taking taylor expansion of x in z
3.852 * [taylor]: Taking taylor expansion of (* z y) in z
3.852 * [taylor]: Taking taylor expansion of z in z
3.852 * [taylor]: Taking taylor expansion of y in z
3.852 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
3.852 * [taylor]: Taking taylor expansion of 18.0 in y
3.852 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.852 * [taylor]: Taking taylor expansion of t in y
3.852 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.852 * [taylor]: Taking taylor expansion of x in y
3.852 * [taylor]: Taking taylor expansion of (* z y) in y
3.852 * [taylor]: Taking taylor expansion of z in y
3.852 * [taylor]: Taking taylor expansion of y in y
3.852 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.852 * [taylor]: Taking taylor expansion of 18.0 in x
3.852 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.852 * [taylor]: Taking taylor expansion of t in x
3.852 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.852 * [taylor]: Taking taylor expansion of x in x
3.852 * [taylor]: Taking taylor expansion of (* z y) in x
3.852 * [taylor]: Taking taylor expansion of z in x
3.852 * [taylor]: Taking taylor expansion of y in x
3.852 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.852 * [taylor]: Taking taylor expansion of 18.0 in x
3.852 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.852 * [taylor]: Taking taylor expansion of t in x
3.852 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.852 * [taylor]: Taking taylor expansion of x in x
3.852 * [taylor]: Taking taylor expansion of (* z y) in x
3.852 * [taylor]: Taking taylor expansion of z in x
3.852 * [taylor]: Taking taylor expansion of y in x
3.852 * [taylor]: Taking taylor expansion of 0 in y
3.852 * [taylor]: Taking taylor expansion of 0 in z
3.852 * [taylor]: Taking taylor expansion of 0 in t
3.852 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
3.853 * [taylor]: Taking taylor expansion of 18.0 in y
3.853 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.853 * [taylor]: Taking taylor expansion of t in y
3.853 * [taylor]: Taking taylor expansion of (* z y) in y
3.853 * [taylor]: Taking taylor expansion of z in y
3.853 * [taylor]: Taking taylor expansion of y in y
3.853 * [taylor]: Taking taylor expansion of 0 in z
3.853 * [taylor]: Taking taylor expansion of 0 in t
3.853 * [taylor]: Taking taylor expansion of 0 in z
3.853 * [taylor]: Taking taylor expansion of 0 in t
3.853 * [taylor]: Taking taylor expansion of 0 in t
3.853 * [taylor]: Taking taylor expansion of 0 in y
3.853 * [taylor]: Taking taylor expansion of 0 in z
3.853 * [taylor]: Taking taylor expansion of 0 in t
3.853 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.853 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.853 * [taylor]: Taking taylor expansion of 18.0 in t
3.853 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.853 * [taylor]: Taking taylor expansion of t in t
3.853 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.853 * [taylor]: Taking taylor expansion of x in t
3.853 * [taylor]: Taking taylor expansion of (* z y) in t
3.853 * [taylor]: Taking taylor expansion of z in t
3.853 * [taylor]: Taking taylor expansion of y in t
3.853 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.853 * [taylor]: Taking taylor expansion of 18.0 in z
3.853 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.854 * [taylor]: Taking taylor expansion of t in z
3.854 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.854 * [taylor]: Taking taylor expansion of x in z
3.854 * [taylor]: Taking taylor expansion of (* z y) in z
3.854 * [taylor]: Taking taylor expansion of z in z
3.854 * [taylor]: Taking taylor expansion of y in z
3.854 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.854 * [taylor]: Taking taylor expansion of 18.0 in y
3.854 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.854 * [taylor]: Taking taylor expansion of t in y
3.854 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.854 * [taylor]: Taking taylor expansion of x in y
3.854 * [taylor]: Taking taylor expansion of (* z y) in y
3.854 * [taylor]: Taking taylor expansion of z in y
3.854 * [taylor]: Taking taylor expansion of y in y
3.854 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.854 * [taylor]: Taking taylor expansion of 18.0 in x
3.854 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.854 * [taylor]: Taking taylor expansion of t in x
3.854 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.854 * [taylor]: Taking taylor expansion of x in x
3.854 * [taylor]: Taking taylor expansion of (* z y) in x
3.854 * [taylor]: Taking taylor expansion of z in x
3.854 * [taylor]: Taking taylor expansion of y in x
3.854 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.854 * [taylor]: Taking taylor expansion of 18.0 in x
3.854 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.854 * [taylor]: Taking taylor expansion of t in x
3.854 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.854 * [taylor]: Taking taylor expansion of x in x
3.854 * [taylor]: Taking taylor expansion of (* z y) in x
3.854 * [taylor]: Taking taylor expansion of z in x
3.855 * [taylor]: Taking taylor expansion of y in x
3.855 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.855 * [taylor]: Taking taylor expansion of 18.0 in y
3.855 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.855 * [taylor]: Taking taylor expansion of t in y
3.855 * [taylor]: Taking taylor expansion of (* z y) in y
3.855 * [taylor]: Taking taylor expansion of z in y
3.855 * [taylor]: Taking taylor expansion of y in y
3.855 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.855 * [taylor]: Taking taylor expansion of 18.0 in z
3.855 * [taylor]: Taking taylor expansion of (* t z) in z
3.855 * [taylor]: Taking taylor expansion of t in z
3.855 * [taylor]: Taking taylor expansion of z in z
3.855 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.855 * [taylor]: Taking taylor expansion of 18.0 in t
3.855 * [taylor]: Taking taylor expansion of t in t
3.855 * [taylor]: Taking taylor expansion of 0 in y
3.855 * [taylor]: Taking taylor expansion of 0 in z
3.856 * [taylor]: Taking taylor expansion of 0 in t
3.856 * [taylor]: Taking taylor expansion of 0 in y
3.856 * [taylor]: Taking taylor expansion of 0 in z
3.856 * [taylor]: Taking taylor expansion of 0 in z
3.856 * [taylor]: Taking taylor expansion of 0 in t
3.856 * [taylor]: Taking taylor expansion of 0 in t
3.857 * [taylor]: Taking taylor expansion of 0 in y
3.857 * [taylor]: Taking taylor expansion of 0 in z
3.857 * [taylor]: Taking taylor expansion of 0 in z
3.857 * [taylor]: Taking taylor expansion of 0 in z
3.857 * [taylor]: Taking taylor expansion of 0 in t
3.857 * [taylor]: Taking taylor expansion of 0 in t
3.857 * [taylor]: Taking taylor expansion of 0 in t
3.857 * [taylor]: Taking taylor expansion of 0 in t
3.858 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.858 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.858 * [taylor]: Taking taylor expansion of 18.0 in t
3.858 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.858 * [taylor]: Taking taylor expansion of t in t
3.858 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.858 * [taylor]: Taking taylor expansion of x in t
3.858 * [taylor]: Taking taylor expansion of (* z y) in t
3.858 * [taylor]: Taking taylor expansion of z in t
3.858 * [taylor]: Taking taylor expansion of y in t
3.858 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.858 * [taylor]: Taking taylor expansion of 18.0 in z
3.858 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.858 * [taylor]: Taking taylor expansion of t in z
3.858 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.858 * [taylor]: Taking taylor expansion of x in z
3.858 * [taylor]: Taking taylor expansion of (* z y) in z
3.858 * [taylor]: Taking taylor expansion of z in z
3.858 * [taylor]: Taking taylor expansion of y in z
3.858 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.858 * [taylor]: Taking taylor expansion of 18.0 in y
3.858 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.858 * [taylor]: Taking taylor expansion of t in y
3.858 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.858 * [taylor]: Taking taylor expansion of x in y
3.858 * [taylor]: Taking taylor expansion of (* z y) in y
3.858 * [taylor]: Taking taylor expansion of z in y
3.858 * [taylor]: Taking taylor expansion of y in y
3.859 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.859 * [taylor]: Taking taylor expansion of 18.0 in x
3.859 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.859 * [taylor]: Taking taylor expansion of t in x
3.859 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.859 * [taylor]: Taking taylor expansion of x in x
3.859 * [taylor]: Taking taylor expansion of (* z y) in x
3.859 * [taylor]: Taking taylor expansion of z in x
3.859 * [taylor]: Taking taylor expansion of y in x
3.859 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.859 * [taylor]: Taking taylor expansion of 18.0 in x
3.859 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.859 * [taylor]: Taking taylor expansion of t in x
3.859 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.859 * [taylor]: Taking taylor expansion of x in x
3.859 * [taylor]: Taking taylor expansion of (* z y) in x
3.859 * [taylor]: Taking taylor expansion of z in x
3.859 * [taylor]: Taking taylor expansion of y in x
3.859 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.859 * [taylor]: Taking taylor expansion of 18.0 in y
3.859 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.859 * [taylor]: Taking taylor expansion of t in y
3.859 * [taylor]: Taking taylor expansion of (* z y) in y
3.859 * [taylor]: Taking taylor expansion of z in y
3.859 * [taylor]: Taking taylor expansion of y in y
3.859 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.859 * [taylor]: Taking taylor expansion of 18.0 in z
3.859 * [taylor]: Taking taylor expansion of (* t z) in z
3.859 * [taylor]: Taking taylor expansion of t in z
3.859 * [taylor]: Taking taylor expansion of z in z
3.860 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.860 * [taylor]: Taking taylor expansion of 18.0 in t
3.860 * [taylor]: Taking taylor expansion of t in t
3.860 * [taylor]: Taking taylor expansion of 0 in y
3.860 * [taylor]: Taking taylor expansion of 0 in z
3.860 * [taylor]: Taking taylor expansion of 0 in t
3.860 * [taylor]: Taking taylor expansion of 0 in y
3.860 * [taylor]: Taking taylor expansion of 0 in z
3.861 * [taylor]: Taking taylor expansion of 0 in z
3.861 * [taylor]: Taking taylor expansion of 0 in t
3.861 * [taylor]: Taking taylor expansion of 0 in t
3.861 * [taylor]: Taking taylor expansion of 0 in y
3.861 * [taylor]: Taking taylor expansion of 0 in z
3.861 * [taylor]: Taking taylor expansion of 0 in z
3.861 * [taylor]: Taking taylor expansion of 0 in z
3.861 * [taylor]: Taking taylor expansion of 0 in t
3.862 * [taylor]: Taking taylor expansion of 0 in t
3.862 * [taylor]: Taking taylor expansion of 0 in t
3.862 * [taylor]: Taking taylor expansion of 0 in t
3.862 * * * [progress]: simplifying candidates
3.863 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (* y (* z t))
  (* y (* z t))
  (+ (log y) (+ (log z) (log t)))
  (+ (log y) (log (* z t)))
  (log (* y (* z t)))
  (exp (* y (* z t)))
  (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (* (* (* y (* z t)) (* y (* z t))) (* y (* z t)))
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* (cbrt y) (* z t))
  (* (sqrt y) (* z t))
  (* y (* z t))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (+ (log x) (+ (log 18.0) (+ (log y) (+ (log z) (log t)))))
  (+ (log x) (+ (log 18.0) (+ (log y) (log (* z t)))))
  (+ (log x) (+ (log 18.0) (log (* y (* z t)))))
  (+ (log x) (log (* 18.0 (* y (* z t)))))
  (log (* x (* 18.0 (* y (* z t)))))
  (exp (* x (* 18.0 (* y (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y (* z t)) (* y (* z t))) (* y (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 (* y (* z t))) (* 18.0 (* y (* z t)))) (* 18.0 (* y (* z t)))))
  (* (cbrt (* x (* 18.0 (* y (* z t))))) (cbrt (* x (* 18.0 (* y (* z t))))))
  (cbrt (* x (* 18.0 (* y (* z t)))))
  (* (* (* x (* 18.0 (* y (* z t)))) (* x (* 18.0 (* y (* z t))))) (* x (* 18.0 (* y (* z t)))))
  (sqrt (* x (* 18.0 (* y (* z t)))))
  (sqrt (* x (* 18.0 (* y (* z t)))))
  (* x 18.0)
  (* (cbrt x) (* 18.0 (* y (* z t))))
  (* (sqrt x) (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log 1) (+ (log k) (log j))))))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ 1 j)) (log (/ 1 k)))))) (cbrt 27.0))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 j)) (log (/ -1 k)))))) (cbrt 27.0))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log 1) (+ (log k) (log j))))))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ 1 j)) (log (/ 1 k)))))) (cbrt 27.0))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 j)) (log (/ -1 k)))))) (cbrt 27.0))
  0
  (* t (* z y))
  (* t (* z y))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
3.923 * * [simplify]: iteration  0 :  5108  enodes  (cost  534 )
3.925 * [simplify]: Simplified to:
   (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* j (* 27.0 k))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* j (* 27.0 k))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (* y (* z t))
  (* y (* z t))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (pow (exp y) (* z t))
  (pow (* y (* z t)) 3)
  (pow (* y (* z t)) 3)
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (pow (* y (* z t)) 3)
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* z (* t (cbrt y)))
  (* z (* t (sqrt y)))
  (* y (* z t))
  (* y (* (* z t) (* x 18.0)))
  (* y (* (* z t) (* x 18.0)))
  (* y (* (* z t) (* x 18.0)))
  (* y (* (* z t) (* x 18.0)))
  (log (* y (* (* z t) (* x 18.0))))
  (log (* y (* (* z t) (* x 18.0))))
  (log (* y (* (* z t) (* x 18.0))))
  (log (* y (* (* z t) (* x 18.0))))
  (log (* y (* (* z t) (* x 18.0))))
  (pow (pow (exp y) (* z t)) (* x 18.0))
  (pow (* y (* (* z t) (* x 18.0))) 3)
  (pow (* y (* (* z t) (* x 18.0))) 3)
  (pow (* y (* (* z t) (* x 18.0))) 3)
  (pow (* y (* (* z t) (* x 18.0))) 3)
  (* (cbrt (* y (* (* z t) (* x 18.0)))) (cbrt (* y (* (* z t) (* x 18.0)))))
  (cbrt (* y (* (* z t) (* x 18.0))))
  (pow (* y (* (* z t) (* x 18.0))) 3)
  (sqrt (* y (* (* z t) (* x 18.0))))
  (sqrt (* y (* (* z t) (* x 18.0))))
  (* x 18.0)
  (* y (* (* z t) (* 18.0 (cbrt x))))
  (* y (* (* z t) (* 18.0 (sqrt x))))
  (* y (* (* z t) (* x 18.0)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  0
  (* y (* z t))
  (* y (* z t))
  0
  (* y (* (* z t) (* x 18.0)))
  (* y (* (* z t) (* x 18.0)))
3.926 * * * [progress]: adding candidates to table
4.106 * [progress]: [Phase 3 of 3] Extracting.
4.106 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.111 * * * [regime-changes]: Trying 16 branch expressions: ((* j 27.0) (* (* j 27.0) k) (* b c) (* a 4.0) (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)) k j i c b a t z y x)
4.111 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.233 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.351 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.472 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.592 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.723 * * * * [regimes]: Trying to branch on (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.855 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.981 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.099 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.217 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.334 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.452 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.570 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.693 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.811 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.939 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
6.067 * * * [regime]: Found split indices: #<option (#s(si 4 53) #s(si 3 197) #s(si 4 255))>
6.067 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
6.137 * [regimes]: Found splitpoints: (#s(sp 4 x -7.14462332976739e-22) #s(sp 3 x 1.8467307309333337e-43) #s(sp 4 x +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
6.137 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -7.14462332976739e-22) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))) (if (<= x 1.8467307309333337e-43) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i))))))))
6.139 * * [simplify]: iteration  0 :  181  enodes  (cost  67 )
6.139 * * [simplify]: iteration  1 :  181  enodes  (cost  67 )
6.140 * [simplify]: Simplified to:
   (if (or (<= x -7.14462332976739e-22) (not (<= x 1.8467307309333337e-43))) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))) (+ (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i))))) (* t (* 18.0 (* y (* x z))))))
9.805 * [regime-testing]: End program error score: 1.6012074904420746
10.022 * [regime-testing]: Target error score: 1.6731201871995516