42.694 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.063 * * * [progress]: [2/2] Setting up program.
0.067 * [progress]: [Phase 2 of 3] Improving.
0.067 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
0.068 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.072 * * [simplify]: iteration  1 :  66  enodes  (cost  29 )
0.080 * * [simplify]: iteration  2 :  197  enodes  (cost  29 )
0.131 * * [simplify]: iteration  3 :  567  enodes  (cost  29 )
0.321 * * [simplify]: iteration  4 :  1191  enodes  (cost  29 )
0.866 * * [simplify]: iteration  5 :  1736  enodes  (cost  29 )
1.810 * * [simplify]: iteration  6 :  2389  enodes  (cost  29 )
3.333 * * [simplify]: iteration  7 :  3715  enodes  (cost  29 )
7.263 * * [simplify]: iteration  8 :  4758  enodes  (cost  29 )
15.454 * * [simplify]: iteration  done :  4758  enodes  (cost  29 )
15.454 * [simplify]: Simplified to:
   (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k)))
15.460 * * [progress]: iteration 1 / 4
15.460 * * * [progress]: picking best candidate
15.463 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))>
15.464 * * * [progress]: localizing error
15.485 * * * [progress]: generating rewritten candidates
15.485 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
15.509 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
15.596 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
15.604 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
15.612 * * * [progress]: generating series expansions
15.613 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
15.613 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
15.613 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
15.613 * [taylor]: Taking taylor expansion of 18.0 in z
15.613 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.613 * [taylor]: Taking taylor expansion of x in z
15.613 * [taylor]: Taking taylor expansion of (* z y) in z
15.613 * [taylor]: Taking taylor expansion of z in z
15.613 * [taylor]: Taking taylor expansion of y in z
15.613 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
15.613 * [taylor]: Taking taylor expansion of 18.0 in y
15.613 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.613 * [taylor]: Taking taylor expansion of x in y
15.613 * [taylor]: Taking taylor expansion of (* z y) in y
15.613 * [taylor]: Taking taylor expansion of z in y
15.613 * [taylor]: Taking taylor expansion of y in y
15.613 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
15.613 * [taylor]: Taking taylor expansion of 18.0 in x
15.613 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.613 * [taylor]: Taking taylor expansion of x in x
15.613 * [taylor]: Taking taylor expansion of (* z y) in x
15.613 * [taylor]: Taking taylor expansion of z in x
15.613 * [taylor]: Taking taylor expansion of y in x
15.613 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
15.613 * [taylor]: Taking taylor expansion of 18.0 in x
15.613 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.613 * [taylor]: Taking taylor expansion of x in x
15.613 * [taylor]: Taking taylor expansion of (* z y) in x
15.613 * [taylor]: Taking taylor expansion of z in x
15.613 * [taylor]: Taking taylor expansion of y in x
15.614 * [taylor]: Taking taylor expansion of 0 in y
15.614 * [taylor]: Taking taylor expansion of 0 in z
15.615 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
15.615 * [taylor]: Taking taylor expansion of 18.0 in y
15.615 * [taylor]: Taking taylor expansion of (* z y) in y
15.615 * [taylor]: Taking taylor expansion of z in y
15.615 * [taylor]: Taking taylor expansion of y in y
15.615 * [taylor]: Taking taylor expansion of 0 in z
15.615 * [taylor]: Taking taylor expansion of 0 in z
15.616 * [taylor]: Taking taylor expansion of 0 in y
15.616 * [taylor]: Taking taylor expansion of 0 in z
15.617 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
15.617 * [taylor]: Taking taylor expansion of 18.0 in z
15.617 * [taylor]: Taking taylor expansion of z in z
15.617 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
15.617 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
15.618 * [taylor]: Taking taylor expansion of 18.0 in z
15.618 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.618 * [taylor]: Taking taylor expansion of x in z
15.618 * [taylor]: Taking taylor expansion of (* z y) in z
15.618 * [taylor]: Taking taylor expansion of z in z
15.618 * [taylor]: Taking taylor expansion of y in z
15.618 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
15.618 * [taylor]: Taking taylor expansion of 18.0 in y
15.618 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.618 * [taylor]: Taking taylor expansion of x in y
15.618 * [taylor]: Taking taylor expansion of (* z y) in y
15.618 * [taylor]: Taking taylor expansion of z in y
15.618 * [taylor]: Taking taylor expansion of y in y
15.619 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
15.619 * [taylor]: Taking taylor expansion of 18.0 in x
15.619 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.619 * [taylor]: Taking taylor expansion of x in x
15.619 * [taylor]: Taking taylor expansion of (* z y) in x
15.619 * [taylor]: Taking taylor expansion of z in x
15.619 * [taylor]: Taking taylor expansion of y in x
15.619 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
15.619 * [taylor]: Taking taylor expansion of 18.0 in x
15.619 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.619 * [taylor]: Taking taylor expansion of x in x
15.619 * [taylor]: Taking taylor expansion of (* z y) in x
15.619 * [taylor]: Taking taylor expansion of z in x
15.619 * [taylor]: Taking taylor expansion of y in x
15.620 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
15.620 * [taylor]: Taking taylor expansion of 18.0 in y
15.620 * [taylor]: Taking taylor expansion of (* z y) in y
15.620 * [taylor]: Taking taylor expansion of z in y
15.620 * [taylor]: Taking taylor expansion of y in y
15.620 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
15.620 * [taylor]: Taking taylor expansion of 18.0 in z
15.620 * [taylor]: Taking taylor expansion of z in z
15.622 * [taylor]: Taking taylor expansion of 0 in y
15.622 * [taylor]: Taking taylor expansion of 0 in z
15.624 * [taylor]: Taking taylor expansion of 0 in y
15.624 * [taylor]: Taking taylor expansion of 0 in z
15.625 * [taylor]: Taking taylor expansion of 0 in z
15.627 * [taylor]: Taking taylor expansion of 0 in y
15.627 * [taylor]: Taking taylor expansion of 0 in z
15.627 * [taylor]: Taking taylor expansion of 0 in z
15.628 * [taylor]: Taking taylor expansion of 0 in z
15.628 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
15.628 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
15.628 * [taylor]: Taking taylor expansion of -18.0 in z
15.628 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.628 * [taylor]: Taking taylor expansion of x in z
15.628 * [taylor]: Taking taylor expansion of (* z y) in z
15.628 * [taylor]: Taking taylor expansion of z in z
15.628 * [taylor]: Taking taylor expansion of y in z
15.629 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
15.629 * [taylor]: Taking taylor expansion of -18.0 in y
15.629 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.629 * [taylor]: Taking taylor expansion of x in y
15.629 * [taylor]: Taking taylor expansion of (* z y) in y
15.629 * [taylor]: Taking taylor expansion of z in y
15.629 * [taylor]: Taking taylor expansion of y in y
15.629 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
15.629 * [taylor]: Taking taylor expansion of -18.0 in x
15.629 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.629 * [taylor]: Taking taylor expansion of x in x
15.630 * [taylor]: Taking taylor expansion of (* z y) in x
15.630 * [taylor]: Taking taylor expansion of z in x
15.630 * [taylor]: Taking taylor expansion of y in x
15.630 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
15.630 * [taylor]: Taking taylor expansion of -18.0 in x
15.630 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.630 * [taylor]: Taking taylor expansion of x in x
15.630 * [taylor]: Taking taylor expansion of (* z y) in x
15.630 * [taylor]: Taking taylor expansion of z in x
15.630 * [taylor]: Taking taylor expansion of y in x
15.630 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
15.630 * [taylor]: Taking taylor expansion of -18.0 in y
15.631 * [taylor]: Taking taylor expansion of (* z y) in y
15.631 * [taylor]: Taking taylor expansion of z in y
15.631 * [taylor]: Taking taylor expansion of y in y
15.631 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
15.631 * [taylor]: Taking taylor expansion of -18.0 in z
15.631 * [taylor]: Taking taylor expansion of z in z
15.632 * [taylor]: Taking taylor expansion of 0 in y
15.633 * [taylor]: Taking taylor expansion of 0 in z
15.634 * [taylor]: Taking taylor expansion of 0 in y
15.634 * [taylor]: Taking taylor expansion of 0 in z
15.635 * [taylor]: Taking taylor expansion of 0 in z
15.638 * [taylor]: Taking taylor expansion of 0 in y
15.638 * [taylor]: Taking taylor expansion of 0 in z
15.638 * [taylor]: Taking taylor expansion of 0 in z
15.638 * [taylor]: Taking taylor expansion of 0 in z
15.639 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
15.639 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0
15.639 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a
15.639 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a
15.639 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a
15.639 * [taylor]: Taking taylor expansion of 18.0 in a
15.639 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
15.639 * [taylor]: Taking taylor expansion of x in a
15.639 * [taylor]: Taking taylor expansion of (* z y) in a
15.639 * [taylor]: Taking taylor expansion of z in a
15.639 * [taylor]: Taking taylor expansion of y in a
15.639 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
15.639 * [taylor]: Taking taylor expansion of 4.0 in a
15.639 * [taylor]: Taking taylor expansion of a in a
15.639 * [taylor]: Taking taylor expansion of t in a
15.639 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z
15.639 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z
15.639 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
15.639 * [taylor]: Taking taylor expansion of 18.0 in z
15.639 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.639 * [taylor]: Taking taylor expansion of x in z
15.639 * [taylor]: Taking taylor expansion of (* z y) in z
15.639 * [taylor]: Taking taylor expansion of z in z
15.639 * [taylor]: Taking taylor expansion of y in z
15.639 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
15.639 * [taylor]: Taking taylor expansion of 4.0 in z
15.639 * [taylor]: Taking taylor expansion of a in z
15.639 * [taylor]: Taking taylor expansion of t in z
15.639 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y
15.639 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y
15.639 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
15.639 * [taylor]: Taking taylor expansion of 18.0 in y
15.639 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.639 * [taylor]: Taking taylor expansion of x in y
15.639 * [taylor]: Taking taylor expansion of (* z y) in y
15.639 * [taylor]: Taking taylor expansion of z in y
15.639 * [taylor]: Taking taylor expansion of y in y
15.639 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
15.639 * [taylor]: Taking taylor expansion of 4.0 in y
15.639 * [taylor]: Taking taylor expansion of a in y
15.639 * [taylor]: Taking taylor expansion of t in y
15.640 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x
15.640 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
15.640 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
15.640 * [taylor]: Taking taylor expansion of 18.0 in x
15.640 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.640 * [taylor]: Taking taylor expansion of x in x
15.640 * [taylor]: Taking taylor expansion of (* z y) in x
15.640 * [taylor]: Taking taylor expansion of z in x
15.640 * [taylor]: Taking taylor expansion of y in x
15.640 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
15.640 * [taylor]: Taking taylor expansion of 4.0 in x
15.640 * [taylor]: Taking taylor expansion of a in x
15.640 * [taylor]: Taking taylor expansion of t in x
15.640 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
15.640 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
15.640 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
15.640 * [taylor]: Taking taylor expansion of 18.0 in t
15.640 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
15.640 * [taylor]: Taking taylor expansion of x in t
15.640 * [taylor]: Taking taylor expansion of (* z y) in t
15.640 * [taylor]: Taking taylor expansion of z in t
15.640 * [taylor]: Taking taylor expansion of y in t
15.640 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
15.640 * [taylor]: Taking taylor expansion of 4.0 in t
15.640 * [taylor]: Taking taylor expansion of a in t
15.640 * [taylor]: Taking taylor expansion of t in t
15.640 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
15.640 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
15.640 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
15.640 * [taylor]: Taking taylor expansion of 18.0 in t
15.640 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
15.640 * [taylor]: Taking taylor expansion of x in t
15.640 * [taylor]: Taking taylor expansion of (* z y) in t
15.640 * [taylor]: Taking taylor expansion of z in t
15.640 * [taylor]: Taking taylor expansion of y in t
15.640 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
15.640 * [taylor]: Taking taylor expansion of 4.0 in t
15.640 * [taylor]: Taking taylor expansion of a in t
15.640 * [taylor]: Taking taylor expansion of t in t
15.640 * [taylor]: Taking taylor expansion of 0 in x
15.640 * [taylor]: Taking taylor expansion of 0 in y
15.641 * [taylor]: Taking taylor expansion of 0 in z
15.641 * [taylor]: Taking taylor expansion of 0 in a
15.642 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
15.642 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
15.642 * [taylor]: Taking taylor expansion of 18.0 in x
15.642 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.642 * [taylor]: Taking taylor expansion of x in x
15.642 * [taylor]: Taking taylor expansion of (* z y) in x
15.642 * [taylor]: Taking taylor expansion of z in x
15.642 * [taylor]: Taking taylor expansion of y in x
15.642 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
15.642 * [taylor]: Taking taylor expansion of 4.0 in x
15.642 * [taylor]: Taking taylor expansion of a in x
15.643 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y
15.643 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
15.643 * [taylor]: Taking taylor expansion of 4.0 in y
15.643 * [taylor]: Taking taylor expansion of a in y
15.643 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z
15.643 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
15.643 * [taylor]: Taking taylor expansion of 4.0 in z
15.643 * [taylor]: Taking taylor expansion of a in z
15.643 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a
15.643 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
15.643 * [taylor]: Taking taylor expansion of 4.0 in a
15.643 * [taylor]: Taking taylor expansion of a in a
15.643 * [taylor]: Taking taylor expansion of 0 in y
15.643 * [taylor]: Taking taylor expansion of 0 in z
15.644 * [taylor]: Taking taylor expansion of 0 in a
15.644 * [taylor]: Taking taylor expansion of 0 in z
15.644 * [taylor]: Taking taylor expansion of 0 in a
15.644 * [taylor]: Taking taylor expansion of 0 in a
15.644 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0
15.644 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a
15.644 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a
15.644 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
15.644 * [taylor]: Taking taylor expansion of 18.0 in a
15.644 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
15.644 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
15.644 * [taylor]: Taking taylor expansion of x in a
15.644 * [taylor]: Taking taylor expansion of (* z y) in a
15.644 * [taylor]: Taking taylor expansion of z in a
15.644 * [taylor]: Taking taylor expansion of y in a
15.644 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
15.644 * [taylor]: Taking taylor expansion of 4.0 in a
15.644 * [taylor]: Taking taylor expansion of (/ 1 a) in a
15.644 * [taylor]: Taking taylor expansion of a in a
15.644 * [taylor]: Taking taylor expansion of t in a
15.646 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z
15.646 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z
15.646 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
15.646 * [taylor]: Taking taylor expansion of 18.0 in z
15.646 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
15.646 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.646 * [taylor]: Taking taylor expansion of x in z
15.646 * [taylor]: Taking taylor expansion of (* z y) in z
15.646 * [taylor]: Taking taylor expansion of z in z
15.646 * [taylor]: Taking taylor expansion of y in z
15.647 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
15.647 * [taylor]: Taking taylor expansion of 4.0 in z
15.647 * [taylor]: Taking taylor expansion of (/ 1 a) in z
15.647 * [taylor]: Taking taylor expansion of a in z
15.647 * [taylor]: Taking taylor expansion of t in z
15.647 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y
15.647 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y
15.647 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
15.647 * [taylor]: Taking taylor expansion of 18.0 in y
15.647 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
15.647 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.647 * [taylor]: Taking taylor expansion of x in y
15.647 * [taylor]: Taking taylor expansion of (* z y) in y
15.647 * [taylor]: Taking taylor expansion of z in y
15.647 * [taylor]: Taking taylor expansion of y in y
15.648 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
15.648 * [taylor]: Taking taylor expansion of 4.0 in y
15.648 * [taylor]: Taking taylor expansion of (/ 1 a) in y
15.648 * [taylor]: Taking taylor expansion of a in y
15.648 * [taylor]: Taking taylor expansion of t in y
15.648 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x
15.648 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
15.648 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
15.648 * [taylor]: Taking taylor expansion of 18.0 in x
15.648 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
15.648 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.648 * [taylor]: Taking taylor expansion of x in x
15.648 * [taylor]: Taking taylor expansion of (* z y) in x
15.648 * [taylor]: Taking taylor expansion of z in x
15.648 * [taylor]: Taking taylor expansion of y in x
15.649 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
15.649 * [taylor]: Taking taylor expansion of 4.0 in x
15.649 * [taylor]: Taking taylor expansion of (/ 1 a) in x
15.649 * [taylor]: Taking taylor expansion of a in x
15.649 * [taylor]: Taking taylor expansion of t in x
15.649 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
15.649 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
15.649 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
15.649 * [taylor]: Taking taylor expansion of 18.0 in t
15.649 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
15.649 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
15.649 * [taylor]: Taking taylor expansion of x in t
15.649 * [taylor]: Taking taylor expansion of (* z y) in t
15.649 * [taylor]: Taking taylor expansion of z in t
15.649 * [taylor]: Taking taylor expansion of y in t
15.649 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
15.649 * [taylor]: Taking taylor expansion of 4.0 in t
15.649 * [taylor]: Taking taylor expansion of (/ 1 a) in t
15.649 * [taylor]: Taking taylor expansion of a in t
15.649 * [taylor]: Taking taylor expansion of t in t
15.649 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
15.650 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
15.650 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
15.650 * [taylor]: Taking taylor expansion of 18.0 in t
15.650 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
15.650 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
15.650 * [taylor]: Taking taylor expansion of x in t
15.650 * [taylor]: Taking taylor expansion of (* z y) in t
15.650 * [taylor]: Taking taylor expansion of z in t
15.650 * [taylor]: Taking taylor expansion of y in t
15.650 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
15.650 * [taylor]: Taking taylor expansion of 4.0 in t
15.650 * [taylor]: Taking taylor expansion of (/ 1 a) in t
15.650 * [taylor]: Taking taylor expansion of a in t
15.650 * [taylor]: Taking taylor expansion of t in t
15.650 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
15.650 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
15.650 * [taylor]: Taking taylor expansion of 18.0 in x
15.650 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
15.650 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.650 * [taylor]: Taking taylor expansion of x in x
15.650 * [taylor]: Taking taylor expansion of (* z y) in x
15.650 * [taylor]: Taking taylor expansion of z in x
15.650 * [taylor]: Taking taylor expansion of y in x
15.651 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
15.651 * [taylor]: Taking taylor expansion of 4.0 in x
15.651 * [taylor]: Taking taylor expansion of (/ 1 a) in x
15.651 * [taylor]: Taking taylor expansion of a in x
15.651 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y
15.651 * [taylor]: Taking taylor expansion of 18.0 in y
15.651 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
15.651 * [taylor]: Taking taylor expansion of (* z y) in y
15.651 * [taylor]: Taking taylor expansion of z in y
15.651 * [taylor]: Taking taylor expansion of y in y
15.651 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
15.651 * [taylor]: Taking taylor expansion of 18.0 in z
15.652 * [taylor]: Taking taylor expansion of z in z
15.652 * [taylor]: Taking taylor expansion of 18.0 in a
15.654 * [taylor]: Taking taylor expansion of 0 in x
15.655 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
15.655 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
15.655 * [taylor]: Taking taylor expansion of 4.0 in y
15.655 * [taylor]: Taking taylor expansion of (/ 1 a) in y
15.655 * [taylor]: Taking taylor expansion of a in y
15.656 * [taylor]: Taking taylor expansion of 0 in z
15.657 * [taylor]: Taking taylor expansion of 0 in a
15.660 * [taylor]: Taking taylor expansion of 0 in x
15.660 * [taylor]: Taking taylor expansion of 0 in y
15.663 * [taylor]: Taking taylor expansion of 0 in y
15.663 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
15.663 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
15.663 * [taylor]: Taking taylor expansion of 4.0 in z
15.663 * [taylor]: Taking taylor expansion of (/ 1 a) in z
15.663 * [taylor]: Taking taylor expansion of a in z
15.664 * [taylor]: Taking taylor expansion of 0 in z
15.664 * [taylor]: Taking taylor expansion of 0 in a
15.665 * [taylor]: Taking taylor expansion of 0 in a
15.669 * [taylor]: Taking taylor expansion of 0 in x
15.669 * [taylor]: Taking taylor expansion of 0 in y
15.669 * [taylor]: Taking taylor expansion of 0 in y
15.673 * [taylor]: Taking taylor expansion of 0 in y
15.673 * [taylor]: Taking taylor expansion of 0 in z
15.673 * [taylor]: Taking taylor expansion of 0 in z
15.673 * [taylor]: Taking taylor expansion of 0 in z
15.678 * [taylor]: Taking taylor expansion of 0 in z
15.678 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
15.678 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
15.678 * [taylor]: Taking taylor expansion of 4.0 in a
15.678 * [taylor]: Taking taylor expansion of (/ 1 a) in a
15.678 * [taylor]: Taking taylor expansion of a in a
15.679 * [taylor]: Taking taylor expansion of 0 in a
15.679 * [taylor]: Taking taylor expansion of 0 in a
15.679 * [taylor]: Taking taylor expansion of 0 in a
15.685 * [taylor]: Taking taylor expansion of 0 in x
15.685 * [taylor]: Taking taylor expansion of 0 in y
15.685 * [taylor]: Taking taylor expansion of 0 in y
15.685 * [taylor]: Taking taylor expansion of 0 in y
15.690 * [taylor]: Taking taylor expansion of 0 in y
15.690 * [taylor]: Taking taylor expansion of 0 in z
15.690 * [taylor]: Taking taylor expansion of 0 in z
15.690 * [taylor]: Taking taylor expansion of 0 in z
15.691 * [taylor]: Taking taylor expansion of 0 in z
15.691 * [taylor]: Taking taylor expansion of 0 in z
15.691 * [taylor]: Taking taylor expansion of 0 in z
15.693 * [taylor]: Taking taylor expansion of 0 in z
15.693 * [taylor]: Taking taylor expansion of 0 in a
15.693 * [taylor]: Taking taylor expansion of 0 in a
15.693 * [taylor]: Taking taylor expansion of 0 in a
15.693 * [taylor]: Taking taylor expansion of 0 in a
15.694 * [taylor]: Taking taylor expansion of 0 in a
15.694 * [taylor]: Taking taylor expansion of 0 in a
15.694 * [taylor]: Taking taylor expansion of 0 in a
15.695 * [taylor]: Taking taylor expansion of 0 in a
15.697 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in (t x y z a) around 0
15.697 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a
15.697 * [taylor]: Taking taylor expansion of -1 in a
15.697 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a
15.697 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a
15.697 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
15.697 * [taylor]: Taking taylor expansion of 4.0 in a
15.697 * [taylor]: Taking taylor expansion of (/ 1 a) in a
15.697 * [taylor]: Taking taylor expansion of a in a
15.697 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
15.697 * [taylor]: Taking taylor expansion of 18.0 in a
15.697 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
15.697 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
15.697 * [taylor]: Taking taylor expansion of x in a
15.697 * [taylor]: Taking taylor expansion of (* z y) in a
15.697 * [taylor]: Taking taylor expansion of z in a
15.697 * [taylor]: Taking taylor expansion of y in a
15.697 * [taylor]: Taking taylor expansion of t in a
15.698 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z
15.698 * [taylor]: Taking taylor expansion of -1 in z
15.698 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z
15.698 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z
15.698 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
15.698 * [taylor]: Taking taylor expansion of 4.0 in z
15.698 * [taylor]: Taking taylor expansion of (/ 1 a) in z
15.699 * [taylor]: Taking taylor expansion of a in z
15.699 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
15.699 * [taylor]: Taking taylor expansion of 18.0 in z
15.699 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
15.699 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.699 * [taylor]: Taking taylor expansion of x in z
15.699 * [taylor]: Taking taylor expansion of (* z y) in z
15.699 * [taylor]: Taking taylor expansion of z in z
15.699 * [taylor]: Taking taylor expansion of y in z
15.699 * [taylor]: Taking taylor expansion of t in z
15.699 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y
15.700 * [taylor]: Taking taylor expansion of -1 in y
15.700 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y
15.700 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y
15.700 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
15.700 * [taylor]: Taking taylor expansion of 4.0 in y
15.700 * [taylor]: Taking taylor expansion of (/ 1 a) in y
15.700 * [taylor]: Taking taylor expansion of a in y
15.700 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
15.700 * [taylor]: Taking taylor expansion of 18.0 in y
15.700 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
15.700 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.700 * [taylor]: Taking taylor expansion of x in y
15.700 * [taylor]: Taking taylor expansion of (* z y) in y
15.700 * [taylor]: Taking taylor expansion of z in y
15.700 * [taylor]: Taking taylor expansion of y in y
15.700 * [taylor]: Taking taylor expansion of t in y
15.701 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x
15.701 * [taylor]: Taking taylor expansion of -1 in x
15.701 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x
15.701 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
15.701 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
15.701 * [taylor]: Taking taylor expansion of 4.0 in x
15.701 * [taylor]: Taking taylor expansion of (/ 1 a) in x
15.701 * [taylor]: Taking taylor expansion of a in x
15.701 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
15.701 * [taylor]: Taking taylor expansion of 18.0 in x
15.701 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
15.701 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.701 * [taylor]: Taking taylor expansion of x in x
15.701 * [taylor]: Taking taylor expansion of (* z y) in x
15.701 * [taylor]: Taking taylor expansion of z in x
15.701 * [taylor]: Taking taylor expansion of y in x
15.701 * [taylor]: Taking taylor expansion of t in x
15.701 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
15.702 * [taylor]: Taking taylor expansion of -1 in t
15.702 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
15.702 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
15.702 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
15.702 * [taylor]: Taking taylor expansion of 4.0 in t
15.702 * [taylor]: Taking taylor expansion of (/ 1 a) in t
15.702 * [taylor]: Taking taylor expansion of a in t
15.702 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
15.702 * [taylor]: Taking taylor expansion of 18.0 in t
15.702 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
15.702 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
15.702 * [taylor]: Taking taylor expansion of x in t
15.702 * [taylor]: Taking taylor expansion of (* z y) in t
15.702 * [taylor]: Taking taylor expansion of z in t
15.702 * [taylor]: Taking taylor expansion of y in t
15.702 * [taylor]: Taking taylor expansion of t in t
15.702 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
15.702 * [taylor]: Taking taylor expansion of -1 in t
15.702 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
15.702 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
15.702 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
15.702 * [taylor]: Taking taylor expansion of 4.0 in t
15.702 * [taylor]: Taking taylor expansion of (/ 1 a) in t
15.702 * [taylor]: Taking taylor expansion of a in t
15.702 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
15.702 * [taylor]: Taking taylor expansion of 18.0 in t
15.702 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
15.702 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
15.702 * [taylor]: Taking taylor expansion of x in t
15.702 * [taylor]: Taking taylor expansion of (* z y) in t
15.702 * [taylor]: Taking taylor expansion of z in t
15.702 * [taylor]: Taking taylor expansion of y in t
15.703 * [taylor]: Taking taylor expansion of t in t
15.703 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x
15.703 * [taylor]: Taking taylor expansion of -1 in x
15.703 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
15.703 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
15.703 * [taylor]: Taking taylor expansion of 4.0 in x
15.703 * [taylor]: Taking taylor expansion of (/ 1 a) in x
15.703 * [taylor]: Taking taylor expansion of a in x
15.703 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
15.703 * [taylor]: Taking taylor expansion of 18.0 in x
15.703 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
15.703 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.703 * [taylor]: Taking taylor expansion of x in x
15.703 * [taylor]: Taking taylor expansion of (* z y) in x
15.703 * [taylor]: Taking taylor expansion of z in x
15.703 * [taylor]: Taking taylor expansion of y in x
15.704 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
15.704 * [taylor]: Taking taylor expansion of 18.0 in y
15.704 * [taylor]: Taking taylor expansion of (* z y) in y
15.704 * [taylor]: Taking taylor expansion of z in y
15.704 * [taylor]: Taking taylor expansion of y in y
15.704 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
15.704 * [taylor]: Taking taylor expansion of 18.0 in z
15.704 * [taylor]: Taking taylor expansion of z in z
15.705 * [taylor]: Taking taylor expansion of 18.0 in a
15.707 * [taylor]: Taking taylor expansion of 0 in x
15.709 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
15.709 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
15.709 * [taylor]: Taking taylor expansion of 4.0 in y
15.709 * [taylor]: Taking taylor expansion of (/ 1 a) in y
15.709 * [taylor]: Taking taylor expansion of a in y
15.710 * [taylor]: Taking taylor expansion of 0 in z
15.710 * [taylor]: Taking taylor expansion of 0 in a
15.714 * [taylor]: Taking taylor expansion of 0 in x
15.714 * [taylor]: Taking taylor expansion of 0 in y
15.718 * [taylor]: Taking taylor expansion of 0 in y
15.718 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
15.718 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
15.718 * [taylor]: Taking taylor expansion of 4.0 in z
15.718 * [taylor]: Taking taylor expansion of (/ 1 a) in z
15.718 * [taylor]: Taking taylor expansion of a in z
15.718 * [taylor]: Taking taylor expansion of 0 in z
15.718 * [taylor]: Taking taylor expansion of 0 in a
15.719 * [taylor]: Taking taylor expansion of 0 in a
15.724 * [taylor]: Taking taylor expansion of 0 in x
15.725 * [taylor]: Taking taylor expansion of 0 in y
15.725 * [taylor]: Taking taylor expansion of 0 in y
15.729 * [taylor]: Taking taylor expansion of 0 in y
15.729 * [taylor]: Taking taylor expansion of 0 in z
15.729 * [taylor]: Taking taylor expansion of 0 in z
15.730 * [taylor]: Taking taylor expansion of 0 in z
15.730 * [taylor]: Taking taylor expansion of 0 in z
15.730 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
15.731 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
15.731 * [taylor]: Taking taylor expansion of 4.0 in a
15.731 * [taylor]: Taking taylor expansion of (/ 1 a) in a
15.731 * [taylor]: Taking taylor expansion of a in a
15.732 * [taylor]: Taking taylor expansion of 0 in a
15.732 * [taylor]: Taking taylor expansion of 0 in a
15.732 * [taylor]: Taking taylor expansion of 0 in a
15.739 * [taylor]: Taking taylor expansion of 0 in x
15.739 * [taylor]: Taking taylor expansion of 0 in y
15.740 * [taylor]: Taking taylor expansion of 0 in y
15.740 * [taylor]: Taking taylor expansion of 0 in y
15.745 * [taylor]: Taking taylor expansion of 0 in y
15.745 * [taylor]: Taking taylor expansion of 0 in z
15.745 * [taylor]: Taking taylor expansion of 0 in z
15.745 * [taylor]: Taking taylor expansion of 0 in z
15.745 * [taylor]: Taking taylor expansion of 0 in z
15.745 * [taylor]: Taking taylor expansion of 0 in z
15.746 * [taylor]: Taking taylor expansion of 0 in z
15.747 * [taylor]: Taking taylor expansion of 0 in z
15.747 * [taylor]: Taking taylor expansion of 0 in a
15.747 * [taylor]: Taking taylor expansion of 0 in a
15.747 * [taylor]: Taking taylor expansion of 0 in a
15.747 * [taylor]: Taking taylor expansion of 0 in a
15.748 * [taylor]: Taking taylor expansion of 0 in a
15.748 * [taylor]: Taking taylor expansion of 0 in a
15.748 * [taylor]: Taking taylor expansion of 0 in a
15.749 * [taylor]: Taking taylor expansion of 0 in a
15.751 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
15.751 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
15.751 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
15.751 * [taylor]: Taking taylor expansion of 27.0 in k
15.751 * [taylor]: Taking taylor expansion of (* k j) in k
15.751 * [taylor]: Taking taylor expansion of k in k
15.751 * [taylor]: Taking taylor expansion of j in k
15.751 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
15.751 * [taylor]: Taking taylor expansion of 27.0 in j
15.751 * [taylor]: Taking taylor expansion of (* k j) in j
15.751 * [taylor]: Taking taylor expansion of k in j
15.751 * [taylor]: Taking taylor expansion of j in j
15.751 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
15.751 * [taylor]: Taking taylor expansion of 27.0 in j
15.751 * [taylor]: Taking taylor expansion of (* k j) in j
15.751 * [taylor]: Taking taylor expansion of k in j
15.751 * [taylor]: Taking taylor expansion of j in j
15.751 * [taylor]: Taking taylor expansion of 0 in k
15.752 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
15.752 * [taylor]: Taking taylor expansion of 27.0 in k
15.752 * [taylor]: Taking taylor expansion of k in k
15.753 * [taylor]: Taking taylor expansion of 0 in k
15.755 * [taylor]: Taking taylor expansion of 0 in k
15.757 * [taylor]: Taking taylor expansion of 0 in k
15.757 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
15.757 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
15.757 * [taylor]: Taking taylor expansion of 27.0 in k
15.757 * [taylor]: Taking taylor expansion of (* k j) in k
15.757 * [taylor]: Taking taylor expansion of k in k
15.757 * [taylor]: Taking taylor expansion of j in k
15.758 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
15.758 * [taylor]: Taking taylor expansion of 27.0 in j
15.758 * [taylor]: Taking taylor expansion of (* k j) in j
15.758 * [taylor]: Taking taylor expansion of k in j
15.758 * [taylor]: Taking taylor expansion of j in j
15.758 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
15.758 * [taylor]: Taking taylor expansion of 27.0 in j
15.758 * [taylor]: Taking taylor expansion of (* k j) in j
15.758 * [taylor]: Taking taylor expansion of k in j
15.758 * [taylor]: Taking taylor expansion of j in j
15.759 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
15.759 * [taylor]: Taking taylor expansion of 27.0 in k
15.759 * [taylor]: Taking taylor expansion of k in k
15.759 * [taylor]: Taking taylor expansion of 0 in k
15.763 * [taylor]: Taking taylor expansion of 0 in k
15.764 * [taylor]: Taking taylor expansion of 0 in k
15.765 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
15.765 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
15.765 * [taylor]: Taking taylor expansion of 27.0 in k
15.765 * [taylor]: Taking taylor expansion of (* k j) in k
15.765 * [taylor]: Taking taylor expansion of k in k
15.765 * [taylor]: Taking taylor expansion of j in k
15.765 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
15.765 * [taylor]: Taking taylor expansion of 27.0 in j
15.765 * [taylor]: Taking taylor expansion of (* k j) in j
15.765 * [taylor]: Taking taylor expansion of k in j
15.765 * [taylor]: Taking taylor expansion of j in j
15.766 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
15.766 * [taylor]: Taking taylor expansion of 27.0 in j
15.766 * [taylor]: Taking taylor expansion of (* k j) in j
15.766 * [taylor]: Taking taylor expansion of k in j
15.766 * [taylor]: Taking taylor expansion of j in j
15.766 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
15.766 * [taylor]: Taking taylor expansion of 27.0 in k
15.766 * [taylor]: Taking taylor expansion of k in k
15.767 * [taylor]: Taking taylor expansion of 0 in k
15.768 * [taylor]: Taking taylor expansion of 0 in k
15.769 * [taylor]: Taking taylor expansion of 0 in k
15.770 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
15.770 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
15.770 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
15.770 * [taylor]: Taking taylor expansion of 18.0 in y
15.770 * [taylor]: Taking taylor expansion of (* x y) in y
15.770 * [taylor]: Taking taylor expansion of x in y
15.770 * [taylor]: Taking taylor expansion of y in y
15.770 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
15.770 * [taylor]: Taking taylor expansion of 18.0 in x
15.770 * [taylor]: Taking taylor expansion of (* x y) in x
15.770 * [taylor]: Taking taylor expansion of x in x
15.770 * [taylor]: Taking taylor expansion of y in x
15.770 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
15.770 * [taylor]: Taking taylor expansion of 18.0 in x
15.770 * [taylor]: Taking taylor expansion of (* x y) in x
15.770 * [taylor]: Taking taylor expansion of x in x
15.770 * [taylor]: Taking taylor expansion of y in x
15.770 * [taylor]: Taking taylor expansion of 0 in y
15.771 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
15.771 * [taylor]: Taking taylor expansion of 18.0 in y
15.771 * [taylor]: Taking taylor expansion of y in y
15.772 * [taylor]: Taking taylor expansion of 0 in y
15.775 * [taylor]: Taking taylor expansion of 0 in y
15.777 * [taylor]: Taking taylor expansion of 0 in y
15.777 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
15.777 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
15.777 * [taylor]: Taking taylor expansion of 18.0 in y
15.777 * [taylor]: Taking taylor expansion of (* x y) in y
15.777 * [taylor]: Taking taylor expansion of x in y
15.778 * [taylor]: Taking taylor expansion of y in y
15.778 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
15.778 * [taylor]: Taking taylor expansion of 18.0 in x
15.778 * [taylor]: Taking taylor expansion of (* x y) in x
15.778 * [taylor]: Taking taylor expansion of x in x
15.778 * [taylor]: Taking taylor expansion of y in x
15.778 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
15.778 * [taylor]: Taking taylor expansion of 18.0 in x
15.778 * [taylor]: Taking taylor expansion of (* x y) in x
15.778 * [taylor]: Taking taylor expansion of x in x
15.778 * [taylor]: Taking taylor expansion of y in x
15.779 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
15.779 * [taylor]: Taking taylor expansion of 18.0 in y
15.779 * [taylor]: Taking taylor expansion of y in y
15.780 * [taylor]: Taking taylor expansion of 0 in y
15.781 * [taylor]: Taking taylor expansion of 0 in y
15.783 * [taylor]: Taking taylor expansion of 0 in y
15.783 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
15.783 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
15.783 * [taylor]: Taking taylor expansion of 18.0 in y
15.783 * [taylor]: Taking taylor expansion of (* x y) in y
15.783 * [taylor]: Taking taylor expansion of x in y
15.784 * [taylor]: Taking taylor expansion of y in y
15.784 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
15.784 * [taylor]: Taking taylor expansion of 18.0 in x
15.784 * [taylor]: Taking taylor expansion of (* x y) in x
15.784 * [taylor]: Taking taylor expansion of x in x
15.784 * [taylor]: Taking taylor expansion of y in x
15.784 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
15.784 * [taylor]: Taking taylor expansion of 18.0 in x
15.784 * [taylor]: Taking taylor expansion of (* x y) in x
15.784 * [taylor]: Taking taylor expansion of x in x
15.784 * [taylor]: Taking taylor expansion of y in x
15.785 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
15.785 * [taylor]: Taking taylor expansion of 18.0 in y
15.785 * [taylor]: Taking taylor expansion of y in y
15.786 * [taylor]: Taking taylor expansion of 0 in y
15.787 * [taylor]: Taking taylor expansion of 0 in y
15.789 * [taylor]: Taking taylor expansion of 0 in y
15.789 * * * [progress]: simplifying candidates
15.791 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (+ (log t) (log (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (* (* t t) t) (* (* (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* (* (* x 18.0) y) z) (* a 4.0))) (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (* (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* t (* (* (* x 18.0) y) z))
  (* t (- (* a 4.0)))
  (* t (* (* (* x 18.0) y) z))
  (* t (- (* a 4.0)))
  (* (* (* (* x 18.0) y) z) t)
  (* (- (* a 4.0)) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (- (* a 4.0)) t)
  (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* t 1)
  (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0))))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (+ (+ (log j) (log 27.0)) (log k))
  (+ (log (* j 27.0)) (log k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
  (* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) 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 k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* (* j 27.0) 1)
  (* 27.0 k)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  0
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
15.794 * * [simplify]: iteration  0 :  158  enodes  (cost  1015 )
15.826 * * [simplify]: iteration  1 :  403  enodes  (cost  980 )
15.989 * * [simplify]: iteration  2 :  1682  enodes  (cost  822 )
16.498 * * [simplify]: iteration  done :  5001  enodes  (cost  822 )
16.499 * [simplify]: Simplified to:
   (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)
  (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  t
  (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0))))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (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) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* j 27.0)
  (* 27.0 k)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  0
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
16.499 * * * [progress]: adding candidates to table
16.783 * * [progress]: iteration 2 / 4
16.783 * * * [progress]: picking best candidate
16.821 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>
16.821 * * * [progress]: localizing error
16.846 * * * [progress]: generating rewritten candidates
16.846 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
16.868 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
16.956 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
16.962 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
16.971 * * * [progress]: generating series expansions
16.971 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
16.971 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
16.971 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
16.971 * [taylor]: Taking taylor expansion of 18.0 in z
16.971 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
16.971 * [taylor]: Taking taylor expansion of x in z
16.972 * [taylor]: Taking taylor expansion of (* z y) in z
16.972 * [taylor]: Taking taylor expansion of z in z
16.972 * [taylor]: Taking taylor expansion of y in z
16.972 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
16.972 * [taylor]: Taking taylor expansion of 18.0 in y
16.972 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
16.972 * [taylor]: Taking taylor expansion of x in y
16.972 * [taylor]: Taking taylor expansion of (* z y) in y
16.972 * [taylor]: Taking taylor expansion of z in y
16.972 * [taylor]: Taking taylor expansion of y in y
16.972 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
16.972 * [taylor]: Taking taylor expansion of 18.0 in x
16.972 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
16.972 * [taylor]: Taking taylor expansion of x in x
16.972 * [taylor]: Taking taylor expansion of (* z y) in x
16.972 * [taylor]: Taking taylor expansion of z in x
16.972 * [taylor]: Taking taylor expansion of y in x
16.972 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
16.972 * [taylor]: Taking taylor expansion of 18.0 in x
16.972 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
16.972 * [taylor]: Taking taylor expansion of x in x
16.972 * [taylor]: Taking taylor expansion of (* z y) in x
16.972 * [taylor]: Taking taylor expansion of z in x
16.972 * [taylor]: Taking taylor expansion of y in x
16.972 * [taylor]: Taking taylor expansion of 0 in y
16.973 * [taylor]: Taking taylor expansion of 0 in z
16.973 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
16.973 * [taylor]: Taking taylor expansion of 18.0 in y
16.973 * [taylor]: Taking taylor expansion of (* z y) in y
16.973 * [taylor]: Taking taylor expansion of z in y
16.973 * [taylor]: Taking taylor expansion of y in y
16.974 * [taylor]: Taking taylor expansion of 0 in z
16.974 * [taylor]: Taking taylor expansion of 0 in z
16.975 * [taylor]: Taking taylor expansion of 0 in y
16.975 * [taylor]: Taking taylor expansion of 0 in z
16.975 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
16.975 * [taylor]: Taking taylor expansion of 18.0 in z
16.976 * [taylor]: Taking taylor expansion of z in z
16.976 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
16.976 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
16.976 * [taylor]: Taking taylor expansion of 18.0 in z
16.976 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
16.976 * [taylor]: Taking taylor expansion of x in z
16.976 * [taylor]: Taking taylor expansion of (* z y) in z
16.976 * [taylor]: Taking taylor expansion of z in z
16.976 * [taylor]: Taking taylor expansion of y in z
16.977 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
16.977 * [taylor]: Taking taylor expansion of 18.0 in y
16.977 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
16.977 * [taylor]: Taking taylor expansion of x in y
16.977 * [taylor]: Taking taylor expansion of (* z y) in y
16.977 * [taylor]: Taking taylor expansion of z in y
16.977 * [taylor]: Taking taylor expansion of y in y
16.977 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
16.977 * [taylor]: Taking taylor expansion of 18.0 in x
16.977 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
16.977 * [taylor]: Taking taylor expansion of x in x
16.977 * [taylor]: Taking taylor expansion of (* z y) in x
16.977 * [taylor]: Taking taylor expansion of z in x
16.977 * [taylor]: Taking taylor expansion of y in x
16.978 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
16.978 * [taylor]: Taking taylor expansion of 18.0 in x
16.978 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
16.978 * [taylor]: Taking taylor expansion of x in x
16.978 * [taylor]: Taking taylor expansion of (* z y) in x
16.978 * [taylor]: Taking taylor expansion of z in x
16.978 * [taylor]: Taking taylor expansion of y in x
16.978 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
16.978 * [taylor]: Taking taylor expansion of 18.0 in y
16.978 * [taylor]: Taking taylor expansion of (* z y) in y
16.978 * [taylor]: Taking taylor expansion of z in y
16.978 * [taylor]: Taking taylor expansion of y in y
16.979 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
16.979 * [taylor]: Taking taylor expansion of 18.0 in z
16.979 * [taylor]: Taking taylor expansion of z in z
16.980 * [taylor]: Taking taylor expansion of 0 in y
16.981 * [taylor]: Taking taylor expansion of 0 in z
16.982 * [taylor]: Taking taylor expansion of 0 in y
16.982 * [taylor]: Taking taylor expansion of 0 in z
16.983 * [taylor]: Taking taylor expansion of 0 in z
16.985 * [taylor]: Taking taylor expansion of 0 in y
16.985 * [taylor]: Taking taylor expansion of 0 in z
16.986 * [taylor]: Taking taylor expansion of 0 in z
16.986 * [taylor]: Taking taylor expansion of 0 in z
16.986 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
16.986 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
16.986 * [taylor]: Taking taylor expansion of -18.0 in z
16.987 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
16.987 * [taylor]: Taking taylor expansion of x in z
16.987 * [taylor]: Taking taylor expansion of (* z y) in z
16.987 * [taylor]: Taking taylor expansion of z in z
16.987 * [taylor]: Taking taylor expansion of y in z
16.987 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
16.987 * [taylor]: Taking taylor expansion of -18.0 in y
16.987 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
16.987 * [taylor]: Taking taylor expansion of x in y
16.987 * [taylor]: Taking taylor expansion of (* z y) in y
16.987 * [taylor]: Taking taylor expansion of z in y
16.987 * [taylor]: Taking taylor expansion of y in y
16.988 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
16.988 * [taylor]: Taking taylor expansion of -18.0 in x
16.988 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
16.988 * [taylor]: Taking taylor expansion of x in x
16.988 * [taylor]: Taking taylor expansion of (* z y) in x
16.988 * [taylor]: Taking taylor expansion of z in x
16.988 * [taylor]: Taking taylor expansion of y in x
16.988 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
16.988 * [taylor]: Taking taylor expansion of -18.0 in x
16.988 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
16.988 * [taylor]: Taking taylor expansion of x in x
16.988 * [taylor]: Taking taylor expansion of (* z y) in x
16.988 * [taylor]: Taking taylor expansion of z in x
16.988 * [taylor]: Taking taylor expansion of y in x
16.989 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
16.989 * [taylor]: Taking taylor expansion of -18.0 in y
16.989 * [taylor]: Taking taylor expansion of (* z y) in y
16.989 * [taylor]: Taking taylor expansion of z in y
16.989 * [taylor]: Taking taylor expansion of y in y
16.989 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
16.989 * [taylor]: Taking taylor expansion of -18.0 in z
16.989 * [taylor]: Taking taylor expansion of z in z
16.991 * [taylor]: Taking taylor expansion of 0 in y
16.991 * [taylor]: Taking taylor expansion of 0 in z
16.993 * [taylor]: Taking taylor expansion of 0 in y
16.993 * [taylor]: Taking taylor expansion of 0 in z
16.993 * [taylor]: Taking taylor expansion of 0 in z
16.996 * [taylor]: Taking taylor expansion of 0 in y
16.996 * [taylor]: Taking taylor expansion of 0 in z
16.996 * [taylor]: Taking taylor expansion of 0 in z
16.997 * [taylor]: Taking taylor expansion of 0 in z
16.997 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
16.997 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0
16.997 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a
16.997 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a
16.997 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a
16.997 * [taylor]: Taking taylor expansion of 18.0 in a
16.997 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
16.997 * [taylor]: Taking taylor expansion of x in a
16.997 * [taylor]: Taking taylor expansion of (* z y) in a
16.997 * [taylor]: Taking taylor expansion of z in a
16.997 * [taylor]: Taking taylor expansion of y in a
16.997 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
16.997 * [taylor]: Taking taylor expansion of 4.0 in a
16.997 * [taylor]: Taking taylor expansion of a in a
16.997 * [taylor]: Taking taylor expansion of t in a
16.997 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z
16.997 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z
16.997 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
16.997 * [taylor]: Taking taylor expansion of 18.0 in z
16.997 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
16.997 * [taylor]: Taking taylor expansion of x in z
16.997 * [taylor]: Taking taylor expansion of (* z y) in z
16.997 * [taylor]: Taking taylor expansion of z in z
16.997 * [taylor]: Taking taylor expansion of y in z
16.997 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
16.997 * [taylor]: Taking taylor expansion of 4.0 in z
16.997 * [taylor]: Taking taylor expansion of a in z
16.997 * [taylor]: Taking taylor expansion of t in z
16.997 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y
16.998 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y
16.998 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
16.998 * [taylor]: Taking taylor expansion of 18.0 in y
16.998 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
16.998 * [taylor]: Taking taylor expansion of x in y
16.998 * [taylor]: Taking taylor expansion of (* z y) in y
16.998 * [taylor]: Taking taylor expansion of z in y
16.998 * [taylor]: Taking taylor expansion of y in y
16.998 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
16.998 * [taylor]: Taking taylor expansion of 4.0 in y
16.998 * [taylor]: Taking taylor expansion of a in y
16.998 * [taylor]: Taking taylor expansion of t in y
16.998 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x
16.998 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
16.998 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
16.998 * [taylor]: Taking taylor expansion of 18.0 in x
16.998 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
16.998 * [taylor]: Taking taylor expansion of x in x
16.998 * [taylor]: Taking taylor expansion of (* z y) in x
16.998 * [taylor]: Taking taylor expansion of z in x
16.998 * [taylor]: Taking taylor expansion of y in x
16.998 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
16.998 * [taylor]: Taking taylor expansion of 4.0 in x
16.998 * [taylor]: Taking taylor expansion of a in x
16.998 * [taylor]: Taking taylor expansion of t in x
16.998 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
16.998 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
16.998 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
16.998 * [taylor]: Taking taylor expansion of 18.0 in t
16.998 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
16.998 * [taylor]: Taking taylor expansion of x in t
16.998 * [taylor]: Taking taylor expansion of (* z y) in t
16.998 * [taylor]: Taking taylor expansion of z in t
16.998 * [taylor]: Taking taylor expansion of y in t
16.998 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
16.998 * [taylor]: Taking taylor expansion of 4.0 in t
16.998 * [taylor]: Taking taylor expansion of a in t
16.998 * [taylor]: Taking taylor expansion of t in t
16.998 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
16.998 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
16.998 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
16.998 * [taylor]: Taking taylor expansion of 18.0 in t
16.998 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
16.998 * [taylor]: Taking taylor expansion of x in t
16.998 * [taylor]: Taking taylor expansion of (* z y) in t
16.998 * [taylor]: Taking taylor expansion of z in t
16.998 * [taylor]: Taking taylor expansion of y in t
16.998 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
16.998 * [taylor]: Taking taylor expansion of 4.0 in t
16.998 * [taylor]: Taking taylor expansion of a in t
16.998 * [taylor]: Taking taylor expansion of t in t
16.999 * [taylor]: Taking taylor expansion of 0 in x
16.999 * [taylor]: Taking taylor expansion of 0 in y
16.999 * [taylor]: Taking taylor expansion of 0 in z
16.999 * [taylor]: Taking taylor expansion of 0 in a
17.000 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
17.000 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
17.000 * [taylor]: Taking taylor expansion of 18.0 in x
17.000 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.000 * [taylor]: Taking taylor expansion of x in x
17.000 * [taylor]: Taking taylor expansion of (* z y) in x
17.000 * [taylor]: Taking taylor expansion of z in x
17.000 * [taylor]: Taking taylor expansion of y in x
17.000 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
17.000 * [taylor]: Taking taylor expansion of 4.0 in x
17.000 * [taylor]: Taking taylor expansion of a in x
17.001 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y
17.001 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
17.001 * [taylor]: Taking taylor expansion of 4.0 in y
17.001 * [taylor]: Taking taylor expansion of a in y
17.001 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z
17.001 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
17.001 * [taylor]: Taking taylor expansion of 4.0 in z
17.001 * [taylor]: Taking taylor expansion of a in z
17.001 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a
17.001 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
17.001 * [taylor]: Taking taylor expansion of 4.0 in a
17.001 * [taylor]: Taking taylor expansion of a in a
17.002 * [taylor]: Taking taylor expansion of 0 in y
17.002 * [taylor]: Taking taylor expansion of 0 in z
17.002 * [taylor]: Taking taylor expansion of 0 in a
17.002 * [taylor]: Taking taylor expansion of 0 in z
17.002 * [taylor]: Taking taylor expansion of 0 in a
17.002 * [taylor]: Taking taylor expansion of 0 in a
17.002 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0
17.002 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a
17.002 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a
17.002 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
17.002 * [taylor]: Taking taylor expansion of 18.0 in a
17.002 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
17.002 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
17.002 * [taylor]: Taking taylor expansion of x in a
17.002 * [taylor]: Taking taylor expansion of (* z y) in a
17.002 * [taylor]: Taking taylor expansion of z in a
17.002 * [taylor]: Taking taylor expansion of y in a
17.002 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
17.002 * [taylor]: Taking taylor expansion of 4.0 in a
17.002 * [taylor]: Taking taylor expansion of (/ 1 a) in a
17.002 * [taylor]: Taking taylor expansion of a in a
17.003 * [taylor]: Taking taylor expansion of t in a
17.004 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z
17.004 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z
17.004 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
17.004 * [taylor]: Taking taylor expansion of 18.0 in z
17.004 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
17.004 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
17.004 * [taylor]: Taking taylor expansion of x in z
17.004 * [taylor]: Taking taylor expansion of (* z y) in z
17.004 * [taylor]: Taking taylor expansion of z in z
17.004 * [taylor]: Taking taylor expansion of y in z
17.005 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
17.005 * [taylor]: Taking taylor expansion of 4.0 in z
17.005 * [taylor]: Taking taylor expansion of (/ 1 a) in z
17.005 * [taylor]: Taking taylor expansion of a in z
17.005 * [taylor]: Taking taylor expansion of t in z
17.005 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y
17.005 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y
17.005 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
17.005 * [taylor]: Taking taylor expansion of 18.0 in y
17.005 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
17.005 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
17.005 * [taylor]: Taking taylor expansion of x in y
17.005 * [taylor]: Taking taylor expansion of (* z y) in y
17.005 * [taylor]: Taking taylor expansion of z in y
17.005 * [taylor]: Taking taylor expansion of y in y
17.006 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
17.006 * [taylor]: Taking taylor expansion of 4.0 in y
17.006 * [taylor]: Taking taylor expansion of (/ 1 a) in y
17.006 * [taylor]: Taking taylor expansion of a in y
17.006 * [taylor]: Taking taylor expansion of t in y
17.006 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x
17.006 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
17.006 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
17.006 * [taylor]: Taking taylor expansion of 18.0 in x
17.006 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
17.006 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.006 * [taylor]: Taking taylor expansion of x in x
17.006 * [taylor]: Taking taylor expansion of (* z y) in x
17.006 * [taylor]: Taking taylor expansion of z in x
17.006 * [taylor]: Taking taylor expansion of y in x
17.007 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
17.007 * [taylor]: Taking taylor expansion of 4.0 in x
17.007 * [taylor]: Taking taylor expansion of (/ 1 a) in x
17.007 * [taylor]: Taking taylor expansion of a in x
17.007 * [taylor]: Taking taylor expansion of t in x
17.007 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
17.007 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
17.007 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
17.007 * [taylor]: Taking taylor expansion of 18.0 in t
17.007 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
17.007 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
17.007 * [taylor]: Taking taylor expansion of x in t
17.007 * [taylor]: Taking taylor expansion of (* z y) in t
17.007 * [taylor]: Taking taylor expansion of z in t
17.007 * [taylor]: Taking taylor expansion of y in t
17.007 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
17.007 * [taylor]: Taking taylor expansion of 4.0 in t
17.007 * [taylor]: Taking taylor expansion of (/ 1 a) in t
17.007 * [taylor]: Taking taylor expansion of a in t
17.007 * [taylor]: Taking taylor expansion of t in t
17.008 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
17.008 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
17.008 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
17.008 * [taylor]: Taking taylor expansion of 18.0 in t
17.008 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
17.008 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
17.008 * [taylor]: Taking taylor expansion of x in t
17.008 * [taylor]: Taking taylor expansion of (* z y) in t
17.008 * [taylor]: Taking taylor expansion of z in t
17.008 * [taylor]: Taking taylor expansion of y in t
17.008 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
17.008 * [taylor]: Taking taylor expansion of 4.0 in t
17.008 * [taylor]: Taking taylor expansion of (/ 1 a) in t
17.008 * [taylor]: Taking taylor expansion of a in t
17.008 * [taylor]: Taking taylor expansion of t in t
17.008 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
17.009 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
17.009 * [taylor]: Taking taylor expansion of 18.0 in x
17.009 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
17.009 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.009 * [taylor]: Taking taylor expansion of x in x
17.009 * [taylor]: Taking taylor expansion of (* z y) in x
17.009 * [taylor]: Taking taylor expansion of z in x
17.009 * [taylor]: Taking taylor expansion of y in x
17.009 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
17.009 * [taylor]: Taking taylor expansion of 4.0 in x
17.009 * [taylor]: Taking taylor expansion of (/ 1 a) in x
17.009 * [taylor]: Taking taylor expansion of a in x
17.009 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y
17.009 * [taylor]: Taking taylor expansion of 18.0 in y
17.009 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
17.009 * [taylor]: Taking taylor expansion of (* z y) in y
17.009 * [taylor]: Taking taylor expansion of z in y
17.009 * [taylor]: Taking taylor expansion of y in y
17.010 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
17.010 * [taylor]: Taking taylor expansion of 18.0 in z
17.010 * [taylor]: Taking taylor expansion of z in z
17.010 * [taylor]: Taking taylor expansion of 18.0 in a
17.012 * [taylor]: Taking taylor expansion of 0 in x
17.014 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
17.014 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
17.014 * [taylor]: Taking taylor expansion of 4.0 in y
17.014 * [taylor]: Taking taylor expansion of (/ 1 a) in y
17.014 * [taylor]: Taking taylor expansion of a in y
17.015 * [taylor]: Taking taylor expansion of 0 in z
17.015 * [taylor]: Taking taylor expansion of 0 in a
17.018 * [taylor]: Taking taylor expansion of 0 in x
17.018 * [taylor]: Taking taylor expansion of 0 in y
17.021 * [taylor]: Taking taylor expansion of 0 in y
17.021 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
17.021 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
17.021 * [taylor]: Taking taylor expansion of 4.0 in z
17.021 * [taylor]: Taking taylor expansion of (/ 1 a) in z
17.021 * [taylor]: Taking taylor expansion of a in z
17.025 * [taylor]: Taking taylor expansion of 0 in z
17.025 * [taylor]: Taking taylor expansion of 0 in a
17.026 * [taylor]: Taking taylor expansion of 0 in a
17.030 * [taylor]: Taking taylor expansion of 0 in x
17.030 * [taylor]: Taking taylor expansion of 0 in y
17.030 * [taylor]: Taking taylor expansion of 0 in y
17.034 * [taylor]: Taking taylor expansion of 0 in y
17.034 * [taylor]: Taking taylor expansion of 0 in z
17.034 * [taylor]: Taking taylor expansion of 0 in z
17.035 * [taylor]: Taking taylor expansion of 0 in z
17.036 * [taylor]: Taking taylor expansion of 0 in z
17.036 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
17.036 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
17.036 * [taylor]: Taking taylor expansion of 4.0 in a
17.036 * [taylor]: Taking taylor expansion of (/ 1 a) in a
17.036 * [taylor]: Taking taylor expansion of a in a
17.037 * [taylor]: Taking taylor expansion of 0 in a
17.037 * [taylor]: Taking taylor expansion of 0 in a
17.038 * [taylor]: Taking taylor expansion of 0 in a
17.044 * [taylor]: Taking taylor expansion of 0 in x
17.044 * [taylor]: Taking taylor expansion of 0 in y
17.044 * [taylor]: Taking taylor expansion of 0 in y
17.044 * [taylor]: Taking taylor expansion of 0 in y
17.048 * [taylor]: Taking taylor expansion of 0 in y
17.048 * [taylor]: Taking taylor expansion of 0 in z
17.048 * [taylor]: Taking taylor expansion of 0 in z
17.048 * [taylor]: Taking taylor expansion of 0 in z
17.048 * [taylor]: Taking taylor expansion of 0 in z
17.048 * [taylor]: Taking taylor expansion of 0 in z
17.049 * [taylor]: Taking taylor expansion of 0 in z
17.051 * [taylor]: Taking taylor expansion of 0 in z
17.051 * [taylor]: Taking taylor expansion of 0 in a
17.051 * [taylor]: Taking taylor expansion of 0 in a
17.051 * [taylor]: Taking taylor expansion of 0 in a
17.051 * [taylor]: Taking taylor expansion of 0 in a
17.052 * [taylor]: Taking taylor expansion of 0 in a
17.052 * [taylor]: Taking taylor expansion of 0 in a
17.052 * [taylor]: Taking taylor expansion of 0 in a
17.052 * [taylor]: Taking taylor expansion of 0 in a
17.054 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in (t x y z a) around 0
17.054 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a
17.054 * [taylor]: Taking taylor expansion of -1 in a
17.054 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a
17.055 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a
17.055 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
17.055 * [taylor]: Taking taylor expansion of 4.0 in a
17.055 * [taylor]: Taking taylor expansion of (/ 1 a) in a
17.055 * [taylor]: Taking taylor expansion of a in a
17.055 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
17.055 * [taylor]: Taking taylor expansion of 18.0 in a
17.055 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
17.055 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
17.055 * [taylor]: Taking taylor expansion of x in a
17.055 * [taylor]: Taking taylor expansion of (* z y) in a
17.055 * [taylor]: Taking taylor expansion of z in a
17.055 * [taylor]: Taking taylor expansion of y in a
17.055 * [taylor]: Taking taylor expansion of t in a
17.056 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z
17.056 * [taylor]: Taking taylor expansion of -1 in z
17.056 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z
17.056 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z
17.056 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
17.056 * [taylor]: Taking taylor expansion of 4.0 in z
17.056 * [taylor]: Taking taylor expansion of (/ 1 a) in z
17.056 * [taylor]: Taking taylor expansion of a in z
17.056 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
17.056 * [taylor]: Taking taylor expansion of 18.0 in z
17.056 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
17.056 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
17.056 * [taylor]: Taking taylor expansion of x in z
17.056 * [taylor]: Taking taylor expansion of (* z y) in z
17.056 * [taylor]: Taking taylor expansion of z in z
17.056 * [taylor]: Taking taylor expansion of y in z
17.057 * [taylor]: Taking taylor expansion of t in z
17.057 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y
17.057 * [taylor]: Taking taylor expansion of -1 in y
17.057 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y
17.057 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y
17.057 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
17.057 * [taylor]: Taking taylor expansion of 4.0 in y
17.057 * [taylor]: Taking taylor expansion of (/ 1 a) in y
17.057 * [taylor]: Taking taylor expansion of a in y
17.057 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
17.057 * [taylor]: Taking taylor expansion of 18.0 in y
17.057 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
17.057 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
17.057 * [taylor]: Taking taylor expansion of x in y
17.057 * [taylor]: Taking taylor expansion of (* z y) in y
17.057 * [taylor]: Taking taylor expansion of z in y
17.057 * [taylor]: Taking taylor expansion of y in y
17.058 * [taylor]: Taking taylor expansion of t in y
17.058 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x
17.058 * [taylor]: Taking taylor expansion of -1 in x
17.058 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x
17.058 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
17.058 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
17.058 * [taylor]: Taking taylor expansion of 4.0 in x
17.058 * [taylor]: Taking taylor expansion of (/ 1 a) in x
17.058 * [taylor]: Taking taylor expansion of a in x
17.058 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
17.058 * [taylor]: Taking taylor expansion of 18.0 in x
17.058 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
17.059 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.059 * [taylor]: Taking taylor expansion of x in x
17.059 * [taylor]: Taking taylor expansion of (* z y) in x
17.059 * [taylor]: Taking taylor expansion of z in x
17.059 * [taylor]: Taking taylor expansion of y in x
17.059 * [taylor]: Taking taylor expansion of t in x
17.059 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
17.059 * [taylor]: Taking taylor expansion of -1 in t
17.059 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
17.059 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
17.059 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
17.059 * [taylor]: Taking taylor expansion of 4.0 in t
17.059 * [taylor]: Taking taylor expansion of (/ 1 a) in t
17.059 * [taylor]: Taking taylor expansion of a in t
17.059 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
17.059 * [taylor]: Taking taylor expansion of 18.0 in t
17.059 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
17.059 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
17.059 * [taylor]: Taking taylor expansion of x in t
17.059 * [taylor]: Taking taylor expansion of (* z y) in t
17.059 * [taylor]: Taking taylor expansion of z in t
17.059 * [taylor]: Taking taylor expansion of y in t
17.060 * [taylor]: Taking taylor expansion of t in t
17.060 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
17.060 * [taylor]: Taking taylor expansion of -1 in t
17.060 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
17.060 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
17.060 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
17.060 * [taylor]: Taking taylor expansion of 4.0 in t
17.060 * [taylor]: Taking taylor expansion of (/ 1 a) in t
17.060 * [taylor]: Taking taylor expansion of a in t
17.060 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
17.060 * [taylor]: Taking taylor expansion of 18.0 in t
17.060 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
17.060 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
17.060 * [taylor]: Taking taylor expansion of x in t
17.060 * [taylor]: Taking taylor expansion of (* z y) in t
17.060 * [taylor]: Taking taylor expansion of z in t
17.060 * [taylor]: Taking taylor expansion of y in t
17.060 * [taylor]: Taking taylor expansion of t in t
17.061 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x
17.061 * [taylor]: Taking taylor expansion of -1 in x
17.061 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
17.061 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
17.061 * [taylor]: Taking taylor expansion of 4.0 in x
17.061 * [taylor]: Taking taylor expansion of (/ 1 a) in x
17.061 * [taylor]: Taking taylor expansion of a in x
17.061 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
17.061 * [taylor]: Taking taylor expansion of 18.0 in x
17.061 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
17.061 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.061 * [taylor]: Taking taylor expansion of x in x
17.061 * [taylor]: Taking taylor expansion of (* z y) in x
17.061 * [taylor]: Taking taylor expansion of z in x
17.061 * [taylor]: Taking taylor expansion of y in x
17.062 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
17.062 * [taylor]: Taking taylor expansion of 18.0 in y
17.062 * [taylor]: Taking taylor expansion of (* z y) in y
17.062 * [taylor]: Taking taylor expansion of z in y
17.062 * [taylor]: Taking taylor expansion of y in y
17.062 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
17.062 * [taylor]: Taking taylor expansion of 18.0 in z
17.062 * [taylor]: Taking taylor expansion of z in z
17.062 * [taylor]: Taking taylor expansion of 18.0 in a
17.065 * [taylor]: Taking taylor expansion of 0 in x
17.066 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
17.067 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
17.067 * [taylor]: Taking taylor expansion of 4.0 in y
17.067 * [taylor]: Taking taylor expansion of (/ 1 a) in y
17.067 * [taylor]: Taking taylor expansion of a in y
17.067 * [taylor]: Taking taylor expansion of 0 in z
17.068 * [taylor]: Taking taylor expansion of 0 in a
17.072 * [taylor]: Taking taylor expansion of 0 in x
17.072 * [taylor]: Taking taylor expansion of 0 in y
17.075 * [taylor]: Taking taylor expansion of 0 in y
17.075 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
17.075 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
17.075 * [taylor]: Taking taylor expansion of 4.0 in z
17.075 * [taylor]: Taking taylor expansion of (/ 1 a) in z
17.075 * [taylor]: Taking taylor expansion of a in z
17.076 * [taylor]: Taking taylor expansion of 0 in z
17.076 * [taylor]: Taking taylor expansion of 0 in a
17.076 * [taylor]: Taking taylor expansion of 0 in a
17.081 * [taylor]: Taking taylor expansion of 0 in x
17.082 * [taylor]: Taking taylor expansion of 0 in y
17.082 * [taylor]: Taking taylor expansion of 0 in y
17.086 * [taylor]: Taking taylor expansion of 0 in y
17.086 * [taylor]: Taking taylor expansion of 0 in z
17.086 * [taylor]: Taking taylor expansion of 0 in z
17.087 * [taylor]: Taking taylor expansion of 0 in z
17.087 * [taylor]: Taking taylor expansion of 0 in z
17.087 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
17.087 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
17.087 * [taylor]: Taking taylor expansion of 4.0 in a
17.087 * [taylor]: Taking taylor expansion of (/ 1 a) in a
17.087 * [taylor]: Taking taylor expansion of a in a
17.088 * [taylor]: Taking taylor expansion of 0 in a
17.088 * [taylor]: Taking taylor expansion of 0 in a
17.089 * [taylor]: Taking taylor expansion of 0 in a
17.096 * [taylor]: Taking taylor expansion of 0 in x
17.096 * [taylor]: Taking taylor expansion of 0 in y
17.096 * [taylor]: Taking taylor expansion of 0 in y
17.096 * [taylor]: Taking taylor expansion of 0 in y
17.101 * [taylor]: Taking taylor expansion of 0 in y
17.102 * [taylor]: Taking taylor expansion of 0 in z
17.102 * [taylor]: Taking taylor expansion of 0 in z
17.102 * [taylor]: Taking taylor expansion of 0 in z
17.102 * [taylor]: Taking taylor expansion of 0 in z
17.102 * [taylor]: Taking taylor expansion of 0 in z
17.103 * [taylor]: Taking taylor expansion of 0 in z
17.104 * [taylor]: Taking taylor expansion of 0 in z
17.104 * [taylor]: Taking taylor expansion of 0 in a
17.104 * [taylor]: Taking taylor expansion of 0 in a
17.104 * [taylor]: Taking taylor expansion of 0 in a
17.104 * [taylor]: Taking taylor expansion of 0 in a
17.104 * [taylor]: Taking taylor expansion of 0 in a
17.104 * [taylor]: Taking taylor expansion of 0 in a
17.104 * [taylor]: Taking taylor expansion of 0 in a
17.105 * [taylor]: Taking taylor expansion of 0 in a
17.110 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
17.110 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
17.110 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
17.110 * [taylor]: Taking taylor expansion of 27.0 in k
17.110 * [taylor]: Taking taylor expansion of (* k j) in k
17.110 * [taylor]: Taking taylor expansion of k in k
17.110 * [taylor]: Taking taylor expansion of j in k
17.110 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
17.110 * [taylor]: Taking taylor expansion of 27.0 in j
17.110 * [taylor]: Taking taylor expansion of (* k j) in j
17.110 * [taylor]: Taking taylor expansion of k in j
17.110 * [taylor]: Taking taylor expansion of j in j
17.110 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
17.110 * [taylor]: Taking taylor expansion of 27.0 in j
17.110 * [taylor]: Taking taylor expansion of (* k j) in j
17.110 * [taylor]: Taking taylor expansion of k in j
17.110 * [taylor]: Taking taylor expansion of j in j
17.110 * [taylor]: Taking taylor expansion of 0 in k
17.111 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
17.111 * [taylor]: Taking taylor expansion of 27.0 in k
17.111 * [taylor]: Taking taylor expansion of k in k
17.112 * [taylor]: Taking taylor expansion of 0 in k
17.114 * [taylor]: Taking taylor expansion of 0 in k
17.116 * [taylor]: Taking taylor expansion of 0 in k
17.116 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
17.116 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
17.116 * [taylor]: Taking taylor expansion of 27.0 in k
17.116 * [taylor]: Taking taylor expansion of (* k j) in k
17.116 * [taylor]: Taking taylor expansion of k in k
17.116 * [taylor]: Taking taylor expansion of j in k
17.117 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
17.117 * [taylor]: Taking taylor expansion of 27.0 in j
17.117 * [taylor]: Taking taylor expansion of (* k j) in j
17.117 * [taylor]: Taking taylor expansion of k in j
17.117 * [taylor]: Taking taylor expansion of j in j
17.117 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
17.117 * [taylor]: Taking taylor expansion of 27.0 in j
17.117 * [taylor]: Taking taylor expansion of (* k j) in j
17.117 * [taylor]: Taking taylor expansion of k in j
17.117 * [taylor]: Taking taylor expansion of j in j
17.118 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
17.118 * [taylor]: Taking taylor expansion of 27.0 in k
17.118 * [taylor]: Taking taylor expansion of k in k
17.118 * [taylor]: Taking taylor expansion of 0 in k
17.120 * [taylor]: Taking taylor expansion of 0 in k
17.121 * [taylor]: Taking taylor expansion of 0 in k
17.122 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
17.122 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
17.122 * [taylor]: Taking taylor expansion of 27.0 in k
17.122 * [taylor]: Taking taylor expansion of (* k j) in k
17.122 * [taylor]: Taking taylor expansion of k in k
17.122 * [taylor]: Taking taylor expansion of j in k
17.122 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
17.122 * [taylor]: Taking taylor expansion of 27.0 in j
17.122 * [taylor]: Taking taylor expansion of (* k j) in j
17.122 * [taylor]: Taking taylor expansion of k in j
17.122 * [taylor]: Taking taylor expansion of j in j
17.122 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
17.122 * [taylor]: Taking taylor expansion of 27.0 in j
17.122 * [taylor]: Taking taylor expansion of (* k j) in j
17.122 * [taylor]: Taking taylor expansion of k in j
17.122 * [taylor]: Taking taylor expansion of j in j
17.123 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
17.123 * [taylor]: Taking taylor expansion of 27.0 in k
17.123 * [taylor]: Taking taylor expansion of k in k
17.124 * [taylor]: Taking taylor expansion of 0 in k
17.125 * [taylor]: Taking taylor expansion of 0 in k
17.126 * [taylor]: Taking taylor expansion of 0 in k
17.126 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
17.127 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
17.127 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
17.127 * [taylor]: Taking taylor expansion of 18.0 in y
17.127 * [taylor]: Taking taylor expansion of (* x y) in y
17.127 * [taylor]: Taking taylor expansion of x in y
17.127 * [taylor]: Taking taylor expansion of y in y
17.127 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
17.127 * [taylor]: Taking taylor expansion of 18.0 in x
17.127 * [taylor]: Taking taylor expansion of (* x y) in x
17.127 * [taylor]: Taking taylor expansion of x in x
17.127 * [taylor]: Taking taylor expansion of y in x
17.127 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
17.127 * [taylor]: Taking taylor expansion of 18.0 in x
17.127 * [taylor]: Taking taylor expansion of (* x y) in x
17.127 * [taylor]: Taking taylor expansion of x in x
17.127 * [taylor]: Taking taylor expansion of y in x
17.127 * [taylor]: Taking taylor expansion of 0 in y
17.128 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
17.128 * [taylor]: Taking taylor expansion of 18.0 in y
17.128 * [taylor]: Taking taylor expansion of y in y
17.129 * [taylor]: Taking taylor expansion of 0 in y
17.131 * [taylor]: Taking taylor expansion of 0 in y
17.134 * [taylor]: Taking taylor expansion of 0 in y
17.134 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
17.134 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
17.134 * [taylor]: Taking taylor expansion of 18.0 in y
17.134 * [taylor]: Taking taylor expansion of (* x y) in y
17.134 * [taylor]: Taking taylor expansion of x in y
17.134 * [taylor]: Taking taylor expansion of y in y
17.135 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
17.135 * [taylor]: Taking taylor expansion of 18.0 in x
17.135 * [taylor]: Taking taylor expansion of (* x y) in x
17.135 * [taylor]: Taking taylor expansion of x in x
17.135 * [taylor]: Taking taylor expansion of y in x
17.135 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
17.135 * [taylor]: Taking taylor expansion of 18.0 in x
17.135 * [taylor]: Taking taylor expansion of (* x y) in x
17.135 * [taylor]: Taking taylor expansion of x in x
17.135 * [taylor]: Taking taylor expansion of y in x
17.135 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
17.135 * [taylor]: Taking taylor expansion of 18.0 in y
17.135 * [taylor]: Taking taylor expansion of y in y
17.136 * [taylor]: Taking taylor expansion of 0 in y
17.138 * [taylor]: Taking taylor expansion of 0 in y
17.139 * [taylor]: Taking taylor expansion of 0 in y
17.140 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
17.140 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
17.140 * [taylor]: Taking taylor expansion of 18.0 in y
17.140 * [taylor]: Taking taylor expansion of (* x y) in y
17.140 * [taylor]: Taking taylor expansion of x in y
17.140 * [taylor]: Taking taylor expansion of y in y
17.140 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
17.140 * [taylor]: Taking taylor expansion of 18.0 in x
17.140 * [taylor]: Taking taylor expansion of (* x y) in x
17.140 * [taylor]: Taking taylor expansion of x in x
17.140 * [taylor]: Taking taylor expansion of y in x
17.141 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
17.141 * [taylor]: Taking taylor expansion of 18.0 in x
17.141 * [taylor]: Taking taylor expansion of (* x y) in x
17.141 * [taylor]: Taking taylor expansion of x in x
17.141 * [taylor]: Taking taylor expansion of y in x
17.141 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
17.141 * [taylor]: Taking taylor expansion of 18.0 in y
17.141 * [taylor]: Taking taylor expansion of y in y
17.142 * [taylor]: Taking taylor expansion of 0 in y
17.143 * [taylor]: Taking taylor expansion of 0 in y
17.145 * [taylor]: Taking taylor expansion of 0 in y
17.146 * * * [progress]: simplifying candidates
17.147 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (+ (log t) (log (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (* (* t t) t) (* (* (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* (* (* x 18.0) y) z) (* a 4.0))) (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (* (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* t (* (* (* x 18.0) y) z))
  (* t (- (* a 4.0)))
  (* t (* (* (* x 18.0) y) z))
  (* t (- (* a 4.0)))
  (* (* (* (* x 18.0) y) z) t)
  (* (- (* a 4.0)) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (- (* a 4.0)) t)
  (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* t 1)
  (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0))))
  (* 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))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  0
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
17.150 * * [simplify]: iteration  0 :  156  enodes  (cost  1012 )
17.182 * * [simplify]: iteration  1 :  395  enodes  (cost  979 )
17.339 * * [simplify]: iteration  2 :  1620  enodes  (cost  821 )
17.866 * * [simplify]: iteration  done :  5001  enodes  (cost  821 )
17.867 * [simplify]: Simplified to:
   (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)
  (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  t
  (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0))))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (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)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* y 18.0)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  0
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
17.867 * * * [progress]: adding candidates to table
18.155 * * [progress]: iteration 3 / 4
18.155 * * * [progress]: picking best candidate
18.189 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>
18.190 * * * [progress]: localizing error
18.211 * * * [progress]: generating rewritten candidates
18.211 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
18.231 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
18.302 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
18.308 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
18.318 * * * [progress]: generating series expansions
18.318 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
18.318 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
18.318 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
18.318 * [taylor]: Taking taylor expansion of 18.0 in z
18.318 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.318 * [taylor]: Taking taylor expansion of x in z
18.318 * [taylor]: Taking taylor expansion of (* z y) in z
18.318 * [taylor]: Taking taylor expansion of z in z
18.318 * [taylor]: Taking taylor expansion of y in z
18.318 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
18.318 * [taylor]: Taking taylor expansion of 18.0 in y
18.318 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.318 * [taylor]: Taking taylor expansion of x in y
18.318 * [taylor]: Taking taylor expansion of (* z y) in y
18.318 * [taylor]: Taking taylor expansion of z in y
18.318 * [taylor]: Taking taylor expansion of y in y
18.318 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
18.318 * [taylor]: Taking taylor expansion of 18.0 in x
18.318 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.318 * [taylor]: Taking taylor expansion of x in x
18.318 * [taylor]: Taking taylor expansion of (* z y) in x
18.319 * [taylor]: Taking taylor expansion of z in x
18.319 * [taylor]: Taking taylor expansion of y in x
18.319 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
18.319 * [taylor]: Taking taylor expansion of 18.0 in x
18.319 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.319 * [taylor]: Taking taylor expansion of x in x
18.319 * [taylor]: Taking taylor expansion of (* z y) in x
18.319 * [taylor]: Taking taylor expansion of z in x
18.319 * [taylor]: Taking taylor expansion of y in x
18.319 * [taylor]: Taking taylor expansion of 0 in y
18.319 * [taylor]: Taking taylor expansion of 0 in z
18.320 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
18.320 * [taylor]: Taking taylor expansion of 18.0 in y
18.320 * [taylor]: Taking taylor expansion of (* z y) in y
18.320 * [taylor]: Taking taylor expansion of z in y
18.320 * [taylor]: Taking taylor expansion of y in y
18.320 * [taylor]: Taking taylor expansion of 0 in z
18.320 * [taylor]: Taking taylor expansion of 0 in z
18.322 * [taylor]: Taking taylor expansion of 0 in y
18.322 * [taylor]: Taking taylor expansion of 0 in z
18.322 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
18.322 * [taylor]: Taking taylor expansion of 18.0 in z
18.322 * [taylor]: Taking taylor expansion of z in z
18.323 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
18.323 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
18.323 * [taylor]: Taking taylor expansion of 18.0 in z
18.323 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.323 * [taylor]: Taking taylor expansion of x in z
18.323 * [taylor]: Taking taylor expansion of (* z y) in z
18.323 * [taylor]: Taking taylor expansion of z in z
18.323 * [taylor]: Taking taylor expansion of y in z
18.323 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
18.323 * [taylor]: Taking taylor expansion of 18.0 in y
18.323 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.323 * [taylor]: Taking taylor expansion of x in y
18.323 * [taylor]: Taking taylor expansion of (* z y) in y
18.323 * [taylor]: Taking taylor expansion of z in y
18.323 * [taylor]: Taking taylor expansion of y in y
18.324 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
18.324 * [taylor]: Taking taylor expansion of 18.0 in x
18.324 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.324 * [taylor]: Taking taylor expansion of x in x
18.324 * [taylor]: Taking taylor expansion of (* z y) in x
18.324 * [taylor]: Taking taylor expansion of z in x
18.324 * [taylor]: Taking taylor expansion of y in x
18.325 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
18.325 * [taylor]: Taking taylor expansion of 18.0 in x
18.325 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.325 * [taylor]: Taking taylor expansion of x in x
18.325 * [taylor]: Taking taylor expansion of (* z y) in x
18.325 * [taylor]: Taking taylor expansion of z in x
18.325 * [taylor]: Taking taylor expansion of y in x
18.325 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
18.325 * [taylor]: Taking taylor expansion of 18.0 in y
18.325 * [taylor]: Taking taylor expansion of (* z y) in y
18.325 * [taylor]: Taking taylor expansion of z in y
18.325 * [taylor]: Taking taylor expansion of y in y
18.326 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
18.326 * [taylor]: Taking taylor expansion of 18.0 in z
18.326 * [taylor]: Taking taylor expansion of z in z
18.327 * [taylor]: Taking taylor expansion of 0 in y
18.327 * [taylor]: Taking taylor expansion of 0 in z
18.329 * [taylor]: Taking taylor expansion of 0 in y
18.329 * [taylor]: Taking taylor expansion of 0 in z
18.330 * [taylor]: Taking taylor expansion of 0 in z
18.332 * [taylor]: Taking taylor expansion of 0 in y
18.333 * [taylor]: Taking taylor expansion of 0 in z
18.333 * [taylor]: Taking taylor expansion of 0 in z
18.333 * [taylor]: Taking taylor expansion of 0 in z
18.334 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
18.334 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
18.334 * [taylor]: Taking taylor expansion of -18.0 in z
18.334 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.334 * [taylor]: Taking taylor expansion of x in z
18.334 * [taylor]: Taking taylor expansion of (* z y) in z
18.334 * [taylor]: Taking taylor expansion of z in z
18.334 * [taylor]: Taking taylor expansion of y in z
18.334 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
18.334 * [taylor]: Taking taylor expansion of -18.0 in y
18.334 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.334 * [taylor]: Taking taylor expansion of x in y
18.334 * [taylor]: Taking taylor expansion of (* z y) in y
18.334 * [taylor]: Taking taylor expansion of z in y
18.334 * [taylor]: Taking taylor expansion of y in y
18.335 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
18.335 * [taylor]: Taking taylor expansion of -18.0 in x
18.335 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.335 * [taylor]: Taking taylor expansion of x in x
18.335 * [taylor]: Taking taylor expansion of (* z y) in x
18.335 * [taylor]: Taking taylor expansion of z in x
18.335 * [taylor]: Taking taylor expansion of y in x
18.336 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
18.336 * [taylor]: Taking taylor expansion of -18.0 in x
18.336 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.336 * [taylor]: Taking taylor expansion of x in x
18.336 * [taylor]: Taking taylor expansion of (* z y) in x
18.336 * [taylor]: Taking taylor expansion of z in x
18.336 * [taylor]: Taking taylor expansion of y in x
18.336 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
18.336 * [taylor]: Taking taylor expansion of -18.0 in y
18.336 * [taylor]: Taking taylor expansion of (* z y) in y
18.336 * [taylor]: Taking taylor expansion of z in y
18.336 * [taylor]: Taking taylor expansion of y in y
18.336 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
18.336 * [taylor]: Taking taylor expansion of -18.0 in z
18.337 * [taylor]: Taking taylor expansion of z in z
18.338 * [taylor]: Taking taylor expansion of 0 in y
18.338 * [taylor]: Taking taylor expansion of 0 in z
18.340 * [taylor]: Taking taylor expansion of 0 in y
18.340 * [taylor]: Taking taylor expansion of 0 in z
18.341 * [taylor]: Taking taylor expansion of 0 in z
18.343 * [taylor]: Taking taylor expansion of 0 in y
18.344 * [taylor]: Taking taylor expansion of 0 in z
18.344 * [taylor]: Taking taylor expansion of 0 in z
18.344 * [taylor]: Taking taylor expansion of 0 in z
18.345 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
18.345 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0
18.345 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a
18.345 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a
18.345 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a
18.345 * [taylor]: Taking taylor expansion of 18.0 in a
18.345 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
18.345 * [taylor]: Taking taylor expansion of x in a
18.345 * [taylor]: Taking taylor expansion of (* z y) in a
18.345 * [taylor]: Taking taylor expansion of z in a
18.345 * [taylor]: Taking taylor expansion of y in a
18.345 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
18.345 * [taylor]: Taking taylor expansion of 4.0 in a
18.345 * [taylor]: Taking taylor expansion of a in a
18.345 * [taylor]: Taking taylor expansion of t in a
18.345 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z
18.345 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z
18.345 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
18.345 * [taylor]: Taking taylor expansion of 18.0 in z
18.345 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.345 * [taylor]: Taking taylor expansion of x in z
18.345 * [taylor]: Taking taylor expansion of (* z y) in z
18.345 * [taylor]: Taking taylor expansion of z in z
18.345 * [taylor]: Taking taylor expansion of y in z
18.345 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
18.345 * [taylor]: Taking taylor expansion of 4.0 in z
18.345 * [taylor]: Taking taylor expansion of a in z
18.345 * [taylor]: Taking taylor expansion of t in z
18.345 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y
18.345 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y
18.345 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
18.345 * [taylor]: Taking taylor expansion of 18.0 in y
18.345 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.345 * [taylor]: Taking taylor expansion of x in y
18.345 * [taylor]: Taking taylor expansion of (* z y) in y
18.345 * [taylor]: Taking taylor expansion of z in y
18.345 * [taylor]: Taking taylor expansion of y in y
18.345 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
18.345 * [taylor]: Taking taylor expansion of 4.0 in y
18.345 * [taylor]: Taking taylor expansion of a in y
18.345 * [taylor]: Taking taylor expansion of t in y
18.346 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x
18.346 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
18.346 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
18.346 * [taylor]: Taking taylor expansion of 18.0 in x
18.346 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.346 * [taylor]: Taking taylor expansion of x in x
18.346 * [taylor]: Taking taylor expansion of (* z y) in x
18.346 * [taylor]: Taking taylor expansion of z in x
18.346 * [taylor]: Taking taylor expansion of y in x
18.346 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
18.346 * [taylor]: Taking taylor expansion of 4.0 in x
18.346 * [taylor]: Taking taylor expansion of a in x
18.346 * [taylor]: Taking taylor expansion of t in x
18.346 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
18.346 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
18.346 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
18.346 * [taylor]: Taking taylor expansion of 18.0 in t
18.346 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
18.346 * [taylor]: Taking taylor expansion of x in t
18.346 * [taylor]: Taking taylor expansion of (* z y) in t
18.346 * [taylor]: Taking taylor expansion of z in t
18.346 * [taylor]: Taking taylor expansion of y in t
18.346 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
18.346 * [taylor]: Taking taylor expansion of 4.0 in t
18.346 * [taylor]: Taking taylor expansion of a in t
18.346 * [taylor]: Taking taylor expansion of t in t
18.346 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
18.346 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
18.346 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
18.346 * [taylor]: Taking taylor expansion of 18.0 in t
18.346 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
18.346 * [taylor]: Taking taylor expansion of x in t
18.346 * [taylor]: Taking taylor expansion of (* z y) in t
18.346 * [taylor]: Taking taylor expansion of z in t
18.346 * [taylor]: Taking taylor expansion of y in t
18.346 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
18.346 * [taylor]: Taking taylor expansion of 4.0 in t
18.346 * [taylor]: Taking taylor expansion of a in t
18.346 * [taylor]: Taking taylor expansion of t in t
18.346 * [taylor]: Taking taylor expansion of 0 in x
18.346 * [taylor]: Taking taylor expansion of 0 in y
18.347 * [taylor]: Taking taylor expansion of 0 in z
18.347 * [taylor]: Taking taylor expansion of 0 in a
18.348 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
18.348 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
18.348 * [taylor]: Taking taylor expansion of 18.0 in x
18.348 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.348 * [taylor]: Taking taylor expansion of x in x
18.348 * [taylor]: Taking taylor expansion of (* z y) in x
18.348 * [taylor]: Taking taylor expansion of z in x
18.348 * [taylor]: Taking taylor expansion of y in x
18.348 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
18.348 * [taylor]: Taking taylor expansion of 4.0 in x
18.348 * [taylor]: Taking taylor expansion of a in x
18.349 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y
18.349 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
18.349 * [taylor]: Taking taylor expansion of 4.0 in y
18.349 * [taylor]: Taking taylor expansion of a in y
18.349 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z
18.349 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
18.349 * [taylor]: Taking taylor expansion of 4.0 in z
18.349 * [taylor]: Taking taylor expansion of a in z
18.349 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a
18.349 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
18.349 * [taylor]: Taking taylor expansion of 4.0 in a
18.349 * [taylor]: Taking taylor expansion of a in a
18.349 * [taylor]: Taking taylor expansion of 0 in y
18.350 * [taylor]: Taking taylor expansion of 0 in z
18.350 * [taylor]: Taking taylor expansion of 0 in a
18.350 * [taylor]: Taking taylor expansion of 0 in z
18.350 * [taylor]: Taking taylor expansion of 0 in a
18.350 * [taylor]: Taking taylor expansion of 0 in a
18.350 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0
18.350 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a
18.350 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a
18.350 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
18.350 * [taylor]: Taking taylor expansion of 18.0 in a
18.350 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
18.350 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
18.350 * [taylor]: Taking taylor expansion of x in a
18.350 * [taylor]: Taking taylor expansion of (* z y) in a
18.350 * [taylor]: Taking taylor expansion of z in a
18.350 * [taylor]: Taking taylor expansion of y in a
18.350 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
18.350 * [taylor]: Taking taylor expansion of 4.0 in a
18.350 * [taylor]: Taking taylor expansion of (/ 1 a) in a
18.350 * [taylor]: Taking taylor expansion of a in a
18.350 * [taylor]: Taking taylor expansion of t in a
18.352 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z
18.352 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z
18.352 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
18.352 * [taylor]: Taking taylor expansion of 18.0 in z
18.352 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
18.352 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.352 * [taylor]: Taking taylor expansion of x in z
18.352 * [taylor]: Taking taylor expansion of (* z y) in z
18.352 * [taylor]: Taking taylor expansion of z in z
18.352 * [taylor]: Taking taylor expansion of y in z
18.352 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
18.353 * [taylor]: Taking taylor expansion of 4.0 in z
18.353 * [taylor]: Taking taylor expansion of (/ 1 a) in z
18.353 * [taylor]: Taking taylor expansion of a in z
18.353 * [taylor]: Taking taylor expansion of t in z
18.353 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y
18.353 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y
18.353 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
18.353 * [taylor]: Taking taylor expansion of 18.0 in y
18.353 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
18.353 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.353 * [taylor]: Taking taylor expansion of x in y
18.353 * [taylor]: Taking taylor expansion of (* z y) in y
18.353 * [taylor]: Taking taylor expansion of z in y
18.353 * [taylor]: Taking taylor expansion of y in y
18.353 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
18.354 * [taylor]: Taking taylor expansion of 4.0 in y
18.354 * [taylor]: Taking taylor expansion of (/ 1 a) in y
18.354 * [taylor]: Taking taylor expansion of a in y
18.354 * [taylor]: Taking taylor expansion of t in y
18.354 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x
18.354 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
18.354 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
18.354 * [taylor]: Taking taylor expansion of 18.0 in x
18.354 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
18.354 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.354 * [taylor]: Taking taylor expansion of x in x
18.354 * [taylor]: Taking taylor expansion of (* z y) in x
18.354 * [taylor]: Taking taylor expansion of z in x
18.354 * [taylor]: Taking taylor expansion of y in x
18.354 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
18.354 * [taylor]: Taking taylor expansion of 4.0 in x
18.354 * [taylor]: Taking taylor expansion of (/ 1 a) in x
18.354 * [taylor]: Taking taylor expansion of a in x
18.354 * [taylor]: Taking taylor expansion of t in x
18.355 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
18.355 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
18.355 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
18.355 * [taylor]: Taking taylor expansion of 18.0 in t
18.355 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
18.355 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
18.355 * [taylor]: Taking taylor expansion of x in t
18.355 * [taylor]: Taking taylor expansion of (* z y) in t
18.355 * [taylor]: Taking taylor expansion of z in t
18.355 * [taylor]: Taking taylor expansion of y in t
18.355 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
18.355 * [taylor]: Taking taylor expansion of 4.0 in t
18.355 * [taylor]: Taking taylor expansion of (/ 1 a) in t
18.355 * [taylor]: Taking taylor expansion of a in t
18.355 * [taylor]: Taking taylor expansion of t in t
18.355 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
18.355 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
18.355 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
18.355 * [taylor]: Taking taylor expansion of 18.0 in t
18.355 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
18.355 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
18.355 * [taylor]: Taking taylor expansion of x in t
18.355 * [taylor]: Taking taylor expansion of (* z y) in t
18.355 * [taylor]: Taking taylor expansion of z in t
18.355 * [taylor]: Taking taylor expansion of y in t
18.355 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
18.355 * [taylor]: Taking taylor expansion of 4.0 in t
18.355 * [taylor]: Taking taylor expansion of (/ 1 a) in t
18.355 * [taylor]: Taking taylor expansion of a in t
18.356 * [taylor]: Taking taylor expansion of t in t
18.356 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
18.356 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
18.356 * [taylor]: Taking taylor expansion of 18.0 in x
18.356 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
18.356 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.356 * [taylor]: Taking taylor expansion of x in x
18.356 * [taylor]: Taking taylor expansion of (* z y) in x
18.356 * [taylor]: Taking taylor expansion of z in x
18.356 * [taylor]: Taking taylor expansion of y in x
18.356 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
18.357 * [taylor]: Taking taylor expansion of 4.0 in x
18.357 * [taylor]: Taking taylor expansion of (/ 1 a) in x
18.357 * [taylor]: Taking taylor expansion of a in x
18.357 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y
18.357 * [taylor]: Taking taylor expansion of 18.0 in y
18.357 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
18.357 * [taylor]: Taking taylor expansion of (* z y) in y
18.357 * [taylor]: Taking taylor expansion of z in y
18.357 * [taylor]: Taking taylor expansion of y in y
18.357 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
18.357 * [taylor]: Taking taylor expansion of 18.0 in z
18.357 * [taylor]: Taking taylor expansion of z in z
18.357 * [taylor]: Taking taylor expansion of 18.0 in a
18.359 * [taylor]: Taking taylor expansion of 0 in x
18.361 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
18.361 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
18.361 * [taylor]: Taking taylor expansion of 4.0 in y
18.361 * [taylor]: Taking taylor expansion of (/ 1 a) in y
18.361 * [taylor]: Taking taylor expansion of a in y
18.362 * [taylor]: Taking taylor expansion of 0 in z
18.362 * [taylor]: Taking taylor expansion of 0 in a
18.365 * [taylor]: Taking taylor expansion of 0 in x
18.365 * [taylor]: Taking taylor expansion of 0 in y
18.368 * [taylor]: Taking taylor expansion of 0 in y
18.368 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
18.368 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
18.368 * [taylor]: Taking taylor expansion of 4.0 in z
18.368 * [taylor]: Taking taylor expansion of (/ 1 a) in z
18.368 * [taylor]: Taking taylor expansion of a in z
18.369 * [taylor]: Taking taylor expansion of 0 in z
18.369 * [taylor]: Taking taylor expansion of 0 in a
18.370 * [taylor]: Taking taylor expansion of 0 in a
18.374 * [taylor]: Taking taylor expansion of 0 in x
18.375 * [taylor]: Taking taylor expansion of 0 in y
18.375 * [taylor]: Taking taylor expansion of 0 in y
18.378 * [taylor]: Taking taylor expansion of 0 in y
18.378 * [taylor]: Taking taylor expansion of 0 in z
18.378 * [taylor]: Taking taylor expansion of 0 in z
18.379 * [taylor]: Taking taylor expansion of 0 in z
18.380 * [taylor]: Taking taylor expansion of 0 in z
18.380 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
18.380 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
18.380 * [taylor]: Taking taylor expansion of 4.0 in a
18.380 * [taylor]: Taking taylor expansion of (/ 1 a) in a
18.380 * [taylor]: Taking taylor expansion of a in a
18.381 * [taylor]: Taking taylor expansion of 0 in a
18.381 * [taylor]: Taking taylor expansion of 0 in a
18.382 * [taylor]: Taking taylor expansion of 0 in a
18.388 * [taylor]: Taking taylor expansion of 0 in x
18.388 * [taylor]: Taking taylor expansion of 0 in y
18.388 * [taylor]: Taking taylor expansion of 0 in y
18.388 * [taylor]: Taking taylor expansion of 0 in y
18.393 * [taylor]: Taking taylor expansion of 0 in y
18.393 * [taylor]: Taking taylor expansion of 0 in z
18.393 * [taylor]: Taking taylor expansion of 0 in z
18.393 * [taylor]: Taking taylor expansion of 0 in z
18.393 * [taylor]: Taking taylor expansion of 0 in z
18.393 * [taylor]: Taking taylor expansion of 0 in z
18.394 * [taylor]: Taking taylor expansion of 0 in z
18.399 * [taylor]: Taking taylor expansion of 0 in z
18.399 * [taylor]: Taking taylor expansion of 0 in a
18.399 * [taylor]: Taking taylor expansion of 0 in a
18.399 * [taylor]: Taking taylor expansion of 0 in a
18.399 * [taylor]: Taking taylor expansion of 0 in a
18.400 * [taylor]: Taking taylor expansion of 0 in a
18.400 * [taylor]: Taking taylor expansion of 0 in a
18.400 * [taylor]: Taking taylor expansion of 0 in a
18.400 * [taylor]: Taking taylor expansion of 0 in a
18.402 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in (t x y z a) around 0
18.402 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a
18.402 * [taylor]: Taking taylor expansion of -1 in a
18.402 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a
18.402 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a
18.402 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
18.402 * [taylor]: Taking taylor expansion of 4.0 in a
18.402 * [taylor]: Taking taylor expansion of (/ 1 a) in a
18.402 * [taylor]: Taking taylor expansion of a in a
18.403 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
18.403 * [taylor]: Taking taylor expansion of 18.0 in a
18.403 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
18.403 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
18.403 * [taylor]: Taking taylor expansion of x in a
18.403 * [taylor]: Taking taylor expansion of (* z y) in a
18.403 * [taylor]: Taking taylor expansion of z in a
18.403 * [taylor]: Taking taylor expansion of y in a
18.403 * [taylor]: Taking taylor expansion of t in a
18.404 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z
18.404 * [taylor]: Taking taylor expansion of -1 in z
18.404 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z
18.404 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z
18.404 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
18.404 * [taylor]: Taking taylor expansion of 4.0 in z
18.404 * [taylor]: Taking taylor expansion of (/ 1 a) in z
18.404 * [taylor]: Taking taylor expansion of a in z
18.404 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
18.404 * [taylor]: Taking taylor expansion of 18.0 in z
18.404 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
18.404 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.404 * [taylor]: Taking taylor expansion of x in z
18.404 * [taylor]: Taking taylor expansion of (* z y) in z
18.404 * [taylor]: Taking taylor expansion of z in z
18.404 * [taylor]: Taking taylor expansion of y in z
18.404 * [taylor]: Taking taylor expansion of t in z
18.405 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y
18.405 * [taylor]: Taking taylor expansion of -1 in y
18.405 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y
18.405 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y
18.405 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
18.405 * [taylor]: Taking taylor expansion of 4.0 in y
18.405 * [taylor]: Taking taylor expansion of (/ 1 a) in y
18.405 * [taylor]: Taking taylor expansion of a in y
18.405 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
18.405 * [taylor]: Taking taylor expansion of 18.0 in y
18.405 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
18.405 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.405 * [taylor]: Taking taylor expansion of x in y
18.405 * [taylor]: Taking taylor expansion of (* z y) in y
18.405 * [taylor]: Taking taylor expansion of z in y
18.405 * [taylor]: Taking taylor expansion of y in y
18.406 * [taylor]: Taking taylor expansion of t in y
18.406 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x
18.406 * [taylor]: Taking taylor expansion of -1 in x
18.406 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x
18.406 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
18.406 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
18.406 * [taylor]: Taking taylor expansion of 4.0 in x
18.406 * [taylor]: Taking taylor expansion of (/ 1 a) in x
18.406 * [taylor]: Taking taylor expansion of a in x
18.406 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
18.406 * [taylor]: Taking taylor expansion of 18.0 in x
18.406 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
18.406 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.406 * [taylor]: Taking taylor expansion of x in x
18.406 * [taylor]: Taking taylor expansion of (* z y) in x
18.406 * [taylor]: Taking taylor expansion of z in x
18.406 * [taylor]: Taking taylor expansion of y in x
18.407 * [taylor]: Taking taylor expansion of t in x
18.407 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
18.407 * [taylor]: Taking taylor expansion of -1 in t
18.407 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
18.407 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
18.407 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
18.407 * [taylor]: Taking taylor expansion of 4.0 in t
18.407 * [taylor]: Taking taylor expansion of (/ 1 a) in t
18.407 * [taylor]: Taking taylor expansion of a in t
18.407 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
18.407 * [taylor]: Taking taylor expansion of 18.0 in t
18.407 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
18.407 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
18.407 * [taylor]: Taking taylor expansion of x in t
18.407 * [taylor]: Taking taylor expansion of (* z y) in t
18.407 * [taylor]: Taking taylor expansion of z in t
18.407 * [taylor]: Taking taylor expansion of y in t
18.407 * [taylor]: Taking taylor expansion of t in t
18.408 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
18.408 * [taylor]: Taking taylor expansion of -1 in t
18.408 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
18.408 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
18.408 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
18.408 * [taylor]: Taking taylor expansion of 4.0 in t
18.408 * [taylor]: Taking taylor expansion of (/ 1 a) in t
18.408 * [taylor]: Taking taylor expansion of a in t
18.408 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
18.408 * [taylor]: Taking taylor expansion of 18.0 in t
18.408 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
18.408 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
18.408 * [taylor]: Taking taylor expansion of x in t
18.408 * [taylor]: Taking taylor expansion of (* z y) in t
18.408 * [taylor]: Taking taylor expansion of z in t
18.408 * [taylor]: Taking taylor expansion of y in t
18.408 * [taylor]: Taking taylor expansion of t in t
18.409 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x
18.409 * [taylor]: Taking taylor expansion of -1 in x
18.409 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
18.409 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
18.409 * [taylor]: Taking taylor expansion of 4.0 in x
18.409 * [taylor]: Taking taylor expansion of (/ 1 a) in x
18.409 * [taylor]: Taking taylor expansion of a in x
18.409 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
18.409 * [taylor]: Taking taylor expansion of 18.0 in x
18.409 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
18.409 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.409 * [taylor]: Taking taylor expansion of x in x
18.409 * [taylor]: Taking taylor expansion of (* z y) in x
18.409 * [taylor]: Taking taylor expansion of z in x
18.409 * [taylor]: Taking taylor expansion of y in x
18.410 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
18.410 * [taylor]: Taking taylor expansion of 18.0 in y
18.410 * [taylor]: Taking taylor expansion of (* z y) in y
18.410 * [taylor]: Taking taylor expansion of z in y
18.410 * [taylor]: Taking taylor expansion of y in y
18.410 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
18.410 * [taylor]: Taking taylor expansion of 18.0 in z
18.410 * [taylor]: Taking taylor expansion of z in z
18.410 * [taylor]: Taking taylor expansion of 18.0 in a
18.413 * [taylor]: Taking taylor expansion of 0 in x
18.414 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
18.414 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
18.414 * [taylor]: Taking taylor expansion of 4.0 in y
18.414 * [taylor]: Taking taylor expansion of (/ 1 a) in y
18.414 * [taylor]: Taking taylor expansion of a in y
18.415 * [taylor]: Taking taylor expansion of 0 in z
18.415 * [taylor]: Taking taylor expansion of 0 in a
18.419 * [taylor]: Taking taylor expansion of 0 in x
18.419 * [taylor]: Taking taylor expansion of 0 in y
18.422 * [taylor]: Taking taylor expansion of 0 in y
18.423 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
18.423 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
18.423 * [taylor]: Taking taylor expansion of 4.0 in z
18.423 * [taylor]: Taking taylor expansion of (/ 1 a) in z
18.423 * [taylor]: Taking taylor expansion of a in z
18.423 * [taylor]: Taking taylor expansion of 0 in z
18.423 * [taylor]: Taking taylor expansion of 0 in a
18.424 * [taylor]: Taking taylor expansion of 0 in a
18.429 * [taylor]: Taking taylor expansion of 0 in x
18.429 * [taylor]: Taking taylor expansion of 0 in y
18.429 * [taylor]: Taking taylor expansion of 0 in y
18.434 * [taylor]: Taking taylor expansion of 0 in y
18.434 * [taylor]: Taking taylor expansion of 0 in z
18.434 * [taylor]: Taking taylor expansion of 0 in z
18.435 * [taylor]: Taking taylor expansion of 0 in z
18.436 * [taylor]: Taking taylor expansion of 0 in z
18.436 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
18.436 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
18.436 * [taylor]: Taking taylor expansion of 4.0 in a
18.436 * [taylor]: Taking taylor expansion of (/ 1 a) in a
18.436 * [taylor]: Taking taylor expansion of a in a
18.437 * [taylor]: Taking taylor expansion of 0 in a
18.437 * [taylor]: Taking taylor expansion of 0 in a
18.438 * [taylor]: Taking taylor expansion of 0 in a
18.444 * [taylor]: Taking taylor expansion of 0 in x
18.445 * [taylor]: Taking taylor expansion of 0 in y
18.445 * [taylor]: Taking taylor expansion of 0 in y
18.445 * [taylor]: Taking taylor expansion of 0 in y
18.450 * [taylor]: Taking taylor expansion of 0 in y
18.450 * [taylor]: Taking taylor expansion of 0 in z
18.450 * [taylor]: Taking taylor expansion of 0 in z
18.450 * [taylor]: Taking taylor expansion of 0 in z
18.451 * [taylor]: Taking taylor expansion of 0 in z
18.451 * [taylor]: Taking taylor expansion of 0 in z
18.451 * [taylor]: Taking taylor expansion of 0 in z
18.452 * [taylor]: Taking taylor expansion of 0 in z
18.452 * [taylor]: Taking taylor expansion of 0 in a
18.452 * [taylor]: Taking taylor expansion of 0 in a
18.452 * [taylor]: Taking taylor expansion of 0 in a
18.452 * [taylor]: Taking taylor expansion of 0 in a
18.453 * [taylor]: Taking taylor expansion of 0 in a
18.453 * [taylor]: Taking taylor expansion of 0 in a
18.453 * [taylor]: Taking taylor expansion of 0 in a
18.454 * [taylor]: Taking taylor expansion of 0 in a
18.455 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
18.455 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
18.456 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
18.456 * [taylor]: Taking taylor expansion of 27.0 in k
18.456 * [taylor]: Taking taylor expansion of (* k j) in k
18.456 * [taylor]: Taking taylor expansion of k in k
18.456 * [taylor]: Taking taylor expansion of j in k
18.456 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
18.456 * [taylor]: Taking taylor expansion of 27.0 in j
18.456 * [taylor]: Taking taylor expansion of (* k j) in j
18.456 * [taylor]: Taking taylor expansion of k in j
18.456 * [taylor]: Taking taylor expansion of j in j
18.456 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
18.456 * [taylor]: Taking taylor expansion of 27.0 in j
18.456 * [taylor]: Taking taylor expansion of (* k j) in j
18.456 * [taylor]: Taking taylor expansion of k in j
18.456 * [taylor]: Taking taylor expansion of j in j
18.456 * [taylor]: Taking taylor expansion of 0 in k
18.457 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
18.457 * [taylor]: Taking taylor expansion of 27.0 in k
18.457 * [taylor]: Taking taylor expansion of k in k
18.458 * [taylor]: Taking taylor expansion of 0 in k
18.460 * [taylor]: Taking taylor expansion of 0 in k
18.462 * [taylor]: Taking taylor expansion of 0 in k
18.462 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
18.462 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
18.462 * [taylor]: Taking taylor expansion of 27.0 in k
18.462 * [taylor]: Taking taylor expansion of (* k j) in k
18.462 * [taylor]: Taking taylor expansion of k in k
18.462 * [taylor]: Taking taylor expansion of j in k
18.463 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
18.463 * [taylor]: Taking taylor expansion of 27.0 in j
18.463 * [taylor]: Taking taylor expansion of (* k j) in j
18.463 * [taylor]: Taking taylor expansion of k in j
18.463 * [taylor]: Taking taylor expansion of j in j
18.463 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
18.463 * [taylor]: Taking taylor expansion of 27.0 in j
18.463 * [taylor]: Taking taylor expansion of (* k j) in j
18.463 * [taylor]: Taking taylor expansion of k in j
18.463 * [taylor]: Taking taylor expansion of j in j
18.463 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
18.463 * [taylor]: Taking taylor expansion of 27.0 in k
18.463 * [taylor]: Taking taylor expansion of k in k
18.464 * [taylor]: Taking taylor expansion of 0 in k
18.465 * [taylor]: Taking taylor expansion of 0 in k
18.466 * [taylor]: Taking taylor expansion of 0 in k
18.467 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
18.467 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
18.467 * [taylor]: Taking taylor expansion of 27.0 in k
18.467 * [taylor]: Taking taylor expansion of (* k j) in k
18.467 * [taylor]: Taking taylor expansion of k in k
18.467 * [taylor]: Taking taylor expansion of j in k
18.468 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
18.468 * [taylor]: Taking taylor expansion of 27.0 in j
18.468 * [taylor]: Taking taylor expansion of (* k j) in j
18.468 * [taylor]: Taking taylor expansion of k in j
18.468 * [taylor]: Taking taylor expansion of j in j
18.468 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
18.468 * [taylor]: Taking taylor expansion of 27.0 in j
18.468 * [taylor]: Taking taylor expansion of (* k j) in j
18.468 * [taylor]: Taking taylor expansion of k in j
18.468 * [taylor]: Taking taylor expansion of j in j
18.468 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
18.468 * [taylor]: Taking taylor expansion of 27.0 in k
18.468 * [taylor]: Taking taylor expansion of k in k
18.469 * [taylor]: Taking taylor expansion of 0 in k
18.470 * [taylor]: Taking taylor expansion of 0 in k
18.471 * [taylor]: Taking taylor expansion of 0 in k
18.472 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
18.472 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
18.472 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
18.472 * [taylor]: Taking taylor expansion of 18.0 in y
18.472 * [taylor]: Taking taylor expansion of (* x y) in y
18.472 * [taylor]: Taking taylor expansion of x in y
18.472 * [taylor]: Taking taylor expansion of y in y
18.472 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
18.472 * [taylor]: Taking taylor expansion of 18.0 in x
18.472 * [taylor]: Taking taylor expansion of (* x y) in x
18.472 * [taylor]: Taking taylor expansion of x in x
18.472 * [taylor]: Taking taylor expansion of y in x
18.472 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
18.472 * [taylor]: Taking taylor expansion of 18.0 in x
18.472 * [taylor]: Taking taylor expansion of (* x y) in x
18.472 * [taylor]: Taking taylor expansion of x in x
18.472 * [taylor]: Taking taylor expansion of y in x
18.473 * [taylor]: Taking taylor expansion of 0 in y
18.473 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
18.473 * [taylor]: Taking taylor expansion of 18.0 in y
18.473 * [taylor]: Taking taylor expansion of y in y
18.475 * [taylor]: Taking taylor expansion of 0 in y
18.477 * [taylor]: Taking taylor expansion of 0 in y
18.480 * [taylor]: Taking taylor expansion of 0 in y
18.482 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
18.483 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
18.483 * [taylor]: Taking taylor expansion of 18.0 in y
18.483 * [taylor]: Taking taylor expansion of (* x y) in y
18.483 * [taylor]: Taking taylor expansion of x in y
18.483 * [taylor]: Taking taylor expansion of y in y
18.483 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
18.483 * [taylor]: Taking taylor expansion of 18.0 in x
18.483 * [taylor]: Taking taylor expansion of (* x y) in x
18.483 * [taylor]: Taking taylor expansion of x in x
18.483 * [taylor]: Taking taylor expansion of y in x
18.484 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
18.484 * [taylor]: Taking taylor expansion of 18.0 in x
18.484 * [taylor]: Taking taylor expansion of (* x y) in x
18.484 * [taylor]: Taking taylor expansion of x in x
18.484 * [taylor]: Taking taylor expansion of y in x
18.484 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
18.484 * [taylor]: Taking taylor expansion of 18.0 in y
18.484 * [taylor]: Taking taylor expansion of y in y
18.485 * [taylor]: Taking taylor expansion of 0 in y
18.486 * [taylor]: Taking taylor expansion of 0 in y
18.488 * [taylor]: Taking taylor expansion of 0 in y
18.489 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
18.489 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
18.489 * [taylor]: Taking taylor expansion of 18.0 in y
18.489 * [taylor]: Taking taylor expansion of (* x y) in y
18.489 * [taylor]: Taking taylor expansion of x in y
18.489 * [taylor]: Taking taylor expansion of y in y
18.489 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
18.489 * [taylor]: Taking taylor expansion of 18.0 in x
18.489 * [taylor]: Taking taylor expansion of (* x y) in x
18.489 * [taylor]: Taking taylor expansion of x in x
18.489 * [taylor]: Taking taylor expansion of y in x
18.490 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
18.490 * [taylor]: Taking taylor expansion of 18.0 in x
18.490 * [taylor]: Taking taylor expansion of (* x y) in x
18.490 * [taylor]: Taking taylor expansion of x in x
18.490 * [taylor]: Taking taylor expansion of y in x
18.490 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
18.490 * [taylor]: Taking taylor expansion of 18.0 in y
18.490 * [taylor]: Taking taylor expansion of y in y
18.491 * [taylor]: Taking taylor expansion of 0 in y
18.492 * [taylor]: Taking taylor expansion of 0 in y
18.494 * [taylor]: Taking taylor expansion of 0 in y
18.495 * * * [progress]: simplifying candidates
18.496 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x (* y 18.0)) z)
  (* (* x (* y 18.0)) z)
  (* (* x (* y 18.0)) z)
  (+ (+ (log x) (+ (log y) (log 18.0))) (log z))
  (+ (+ (log x) (log (* y 18.0))) (log z))
  (+ (log (* x (* y 18.0))) (log z))
  (log (* (* x (* y 18.0)) z))
  (exp (* (* x (* y 18.0)) z))
  (* (* (* (* x x) x) (* (* (* y y) y) (* (* 18.0 18.0) 18.0))) (* (* z z) z))
  (* (* (* (* x x) x) (* (* (* y 18.0) (* y 18.0)) (* y 18.0))) (* (* z z) z))
  (* (* (* (* x (* y 18.0)) (* x (* y 18.0))) (* x (* y 18.0))) (* (* z z) z))
  (* (cbrt (* (* x (* y 18.0)) z)) (cbrt (* (* x (* y 18.0)) z)))
  (cbrt (* (* x (* y 18.0)) z))
  (* (* (* (* x (* y 18.0)) z) (* (* x (* y 18.0)) z)) (* (* x (* y 18.0)) z))
  (sqrt (* (* x (* y 18.0)) z))
  (sqrt (* (* x (* y 18.0)) z))
  (* (* x (* y 18.0)) (* (cbrt z) (cbrt z)))
  (* (* x (* y 18.0)) (sqrt z))
  (* (* x (* y 18.0)) 1)
  (* (* y 18.0) z)
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (+ (log t) (log (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (log (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (exp (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (* (* t t) t) (* (* (- (* (* x (* y 18.0)) z) (* a 4.0)) (- (* (* x (* y 18.0)) z) (* a 4.0))) (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))) (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))))
  (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (* (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))) (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (sqrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (sqrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* t (* (* x (* y 18.0)) z))
  (* t (- (* a 4.0)))
  (* t (* (* x (* y 18.0)) z))
  (* t (- (* a 4.0)))
  (* (* (* x (* y 18.0)) z) t)
  (* (- (* a 4.0)) t)
  (* (* (* x (* y 18.0)) z) t)
  (* (- (* a 4.0)) t)
  (* t (* (cbrt (- (* (* x (* y 18.0)) z) (* a 4.0))) (cbrt (- (* (* x (* y 18.0)) z) (* a 4.0)))))
  (* t (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* t 1)
  (* (cbrt t) (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* (sqrt t) (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* t (- (pow (* (* x (* y 18.0)) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* x (* y 18.0)) z) (* (* x (* y 18.0)) z)) (* (* a 4.0) (* a 4.0))))
  (* 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))
  (* x (* y 18.0))
  (* x (* y 18.0))
  (+ (log x) (+ (log y) (log 18.0)))
  (+ (log x) (log (* y 18.0)))
  (log (* x (* y 18.0)))
  (exp (* x (* y 18.0)))
  (* (* (* x x) x) (* (* (* y y) y) (* (* 18.0 18.0) 18.0)))
  (* (* (* x x) x) (* (* (* y 18.0) (* y 18.0)) (* y 18.0)))
  (* (cbrt (* x (* y 18.0))) (cbrt (* x (* y 18.0))))
  (cbrt (* x (* y 18.0)))
  (* (* (* x (* y 18.0)) (* x (* y 18.0))) (* x (* y 18.0)))
  (sqrt (* x (* y 18.0)))
  (sqrt (* x (* y 18.0)))
  (* x y)
  (* (cbrt x) (* y 18.0))
  (* (sqrt x) (* y 18.0))
  (* x (* y 18.0))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  0
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
18.499 * * [simplify]: iteration  0 :  153  enodes  (cost  1011 )
18.526 * * [simplify]: iteration  1 :  394  enodes  (cost  980 )
18.634 * * [simplify]: iteration  2 :  1480  enodes  (cost  822 )
19.068 * * [simplify]: iteration  done :  5000  enodes  (cost  822 )
19.069 * [simplify]: Simplified to:
   (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (log (* (* x (* y 18.0)) z))
  (log (* (* x (* y 18.0)) z))
  (log (* (* x (* y 18.0)) z))
  (log (* (* x (* y 18.0)) z))
  (exp (* (* x (* y 18.0)) z))
  (pow (* (* x (* y 18.0)) z) 3)
  (pow (* (* x (* y 18.0)) z) 3)
  (pow (* (* x (* y 18.0)) z) 3)
  (* (cbrt (* (* x (* y 18.0)) z)) (cbrt (* (* x (* y 18.0)) z)))
  (cbrt (* (* x (* y 18.0)) z))
  (pow (* (* x (* y 18.0)) z) 3)
  (sqrt (* (* x (* y 18.0)) z))
  (sqrt (* (* x (* y 18.0)) z))
  (* (* x (* y 18.0)) (* (cbrt z) (cbrt z)))
  (* (* x (* y 18.0)) (sqrt z))
  (* 18.0 (* x y))
  (* (* y 18.0) z)
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (log (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (log (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (exp (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (pow (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) 3)
  (* (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))) (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))))
  (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (pow (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) 3)
  (sqrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (sqrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (* (* x (* y 18.0)) z) t)
  (* t (- (* a 4.0)))
  (* (* (* x (* y 18.0)) z) t)
  (* t (- (* a 4.0)))
  (* (* (* x (* y 18.0)) z) t)
  (* t (- (* a 4.0)))
  (* (* (* x (* y 18.0)) z) t)
  (* t (- (* a 4.0)))
  (* t (* (cbrt (- (* (* x (* y 18.0)) z) (* a 4.0))) (cbrt (- (* (* x (* y 18.0)) z) (* a 4.0)))))
  (* t (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  t
  (* (cbrt t) (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* (sqrt t) (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* t (- (pow (* (* x (* y 18.0)) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* x (* y 18.0)) z) (* (* x (* y 18.0)) z)) (* (* a 4.0) (* a 4.0))))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (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)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (log (* x (* y 18.0)))
  (log (* x (* y 18.0)))
  (log (* x (* y 18.0)))
  (exp (* x (* y 18.0)))
  (pow (* 18.0 (* x y)) 3)
  (pow (* 18.0 (* x y)) 3)
  (* (cbrt (* x (* y 18.0))) (cbrt (* x (* y 18.0))))
  (cbrt (* x (* y 18.0)))
  (pow (* 18.0 (* x y)) 3)
  (sqrt (* x (* y 18.0)))
  (sqrt (* x (* y 18.0)))
  (* x y)
  (* (cbrt x) (* y 18.0))
  (* (sqrt x) (* y 18.0))
  (* 18.0 (* x y))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  0
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
19.069 * * * [progress]: adding candidates to table
19.374 * * [progress]: iteration 4 / 4
19.374 * * * [progress]: picking best candidate
19.404 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>
19.404 * * * [progress]: localizing error
19.432 * * * [progress]: generating rewritten candidates
19.432 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
19.437 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
19.442 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
19.447 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
19.470 * * * [progress]: generating series expansions
19.470 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
19.470 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
19.470 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
19.470 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
19.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
19.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
19.470 * [taylor]: Taking taylor expansion of 1/3 in k
19.470 * [taylor]: Taking taylor expansion of (log (* k j)) in k
19.470 * [taylor]: Taking taylor expansion of (* k j) in k
19.471 * [taylor]: Taking taylor expansion of k in k
19.471 * [taylor]: Taking taylor expansion of j in k
19.472 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.472 * [taylor]: Taking taylor expansion of 27.0 in k
19.472 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
19.472 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
19.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
19.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
19.472 * [taylor]: Taking taylor expansion of 1/3 in j
19.472 * [taylor]: Taking taylor expansion of (log (* k j)) in j
19.472 * [taylor]: Taking taylor expansion of (* k j) in j
19.472 * [taylor]: Taking taylor expansion of k in j
19.472 * [taylor]: Taking taylor expansion of j in j
19.473 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.473 * [taylor]: Taking taylor expansion of 27.0 in j
19.474 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
19.474 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
19.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
19.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
19.474 * [taylor]: Taking taylor expansion of 1/3 in j
19.474 * [taylor]: Taking taylor expansion of (log (* k j)) in j
19.474 * [taylor]: Taking taylor expansion of (* k j) in j
19.474 * [taylor]: Taking taylor expansion of k in j
19.474 * [taylor]: Taking taylor expansion of j in j
19.475 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.475 * [taylor]: Taking taylor expansion of 27.0 in j
19.476 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
19.476 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.476 * [taylor]: Taking taylor expansion of 27.0 in k
19.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
19.476 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
19.476 * [taylor]: Taking taylor expansion of 1/3 in k
19.476 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
19.476 * [taylor]: Taking taylor expansion of (log k) in k
19.477 * [taylor]: Taking taylor expansion of k in k
19.477 * [taylor]: Taking taylor expansion of (log j) in k
19.477 * [taylor]: Taking taylor expansion of j in k
19.481 * [taylor]: Taking taylor expansion of 0 in k
19.487 * [taylor]: Taking taylor expansion of 0 in k
19.498 * [taylor]: Taking taylor expansion of 0 in k
19.499 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
19.499 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
19.499 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
19.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
19.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
19.499 * [taylor]: Taking taylor expansion of 1/3 in k
19.499 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
19.499 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
19.499 * [taylor]: Taking taylor expansion of (* k j) in k
19.499 * [taylor]: Taking taylor expansion of k in k
19.499 * [taylor]: Taking taylor expansion of j in k
19.500 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.500 * [taylor]: Taking taylor expansion of 27.0 in k
19.501 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.501 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.501 * [taylor]: Taking taylor expansion of 1/3 in j
19.501 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.501 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.501 * [taylor]: Taking taylor expansion of (* k j) in j
19.501 * [taylor]: Taking taylor expansion of k in j
19.501 * [taylor]: Taking taylor expansion of j in j
19.502 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.502 * [taylor]: Taking taylor expansion of 27.0 in j
19.502 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.502 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.502 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.502 * [taylor]: Taking taylor expansion of 1/3 in j
19.502 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.502 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.502 * [taylor]: Taking taylor expansion of (* k j) in j
19.502 * [taylor]: Taking taylor expansion of k in j
19.502 * [taylor]: Taking taylor expansion of j in j
19.503 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.503 * [taylor]: Taking taylor expansion of 27.0 in j
19.504 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
19.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
19.504 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
19.504 * [taylor]: Taking taylor expansion of 1/3 in k
19.504 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
19.504 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
19.504 * [taylor]: Taking taylor expansion of (/ 1 k) in k
19.504 * [taylor]: Taking taylor expansion of k in k
19.505 * [taylor]: Taking taylor expansion of (log j) in k
19.505 * [taylor]: Taking taylor expansion of j in k
19.505 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.505 * [taylor]: Taking taylor expansion of 27.0 in k
19.509 * [taylor]: Taking taylor expansion of 0 in k
19.517 * [taylor]: Taking taylor expansion of 0 in k
19.532 * [taylor]: Taking taylor expansion of 0 in k
19.532 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
19.532 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
19.532 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
19.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
19.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
19.533 * [taylor]: Taking taylor expansion of 1/3 in k
19.533 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
19.533 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
19.533 * [taylor]: Taking taylor expansion of (* k j) in k
19.533 * [taylor]: Taking taylor expansion of k in k
19.533 * [taylor]: Taking taylor expansion of j in k
19.533 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.533 * [taylor]: Taking taylor expansion of 27.0 in k
19.534 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.534 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.534 * [taylor]: Taking taylor expansion of 1/3 in j
19.534 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.534 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.534 * [taylor]: Taking taylor expansion of (* k j) in j
19.534 * [taylor]: Taking taylor expansion of k in j
19.534 * [taylor]: Taking taylor expansion of j in j
19.535 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.535 * [taylor]: Taking taylor expansion of 27.0 in j
19.536 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.536 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.536 * [taylor]: Taking taylor expansion of 1/3 in j
19.536 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.536 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.536 * [taylor]: Taking taylor expansion of (* k j) in j
19.536 * [taylor]: Taking taylor expansion of k in j
19.536 * [taylor]: Taking taylor expansion of j in j
19.537 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.537 * [taylor]: Taking taylor expansion of 27.0 in j
19.538 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
19.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
19.538 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
19.538 * [taylor]: Taking taylor expansion of 1/3 in k
19.538 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
19.538 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
19.538 * [taylor]: Taking taylor expansion of (/ 1 k) in k
19.538 * [taylor]: Taking taylor expansion of k in k
19.538 * [taylor]: Taking taylor expansion of (log j) in k
19.538 * [taylor]: Taking taylor expansion of j in k
19.539 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.539 * [taylor]: Taking taylor expansion of 27.0 in k
19.543 * [taylor]: Taking taylor expansion of 0 in k
19.551 * [taylor]: Taking taylor expansion of 0 in k
19.562 * [taylor]: Taking taylor expansion of 0 in k
19.563 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
19.563 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
19.563 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
19.563 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
19.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
19.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
19.563 * [taylor]: Taking taylor expansion of 1/3 in k
19.563 * [taylor]: Taking taylor expansion of (log (* k j)) in k
19.563 * [taylor]: Taking taylor expansion of (* k j) in k
19.563 * [taylor]: Taking taylor expansion of k in k
19.563 * [taylor]: Taking taylor expansion of j in k
19.564 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.564 * [taylor]: Taking taylor expansion of 27.0 in k
19.565 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
19.565 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
19.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
19.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
19.565 * [taylor]: Taking taylor expansion of 1/3 in j
19.565 * [taylor]: Taking taylor expansion of (log (* k j)) in j
19.565 * [taylor]: Taking taylor expansion of (* k j) in j
19.565 * [taylor]: Taking taylor expansion of k in j
19.565 * [taylor]: Taking taylor expansion of j in j
19.565 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.565 * [taylor]: Taking taylor expansion of 27.0 in j
19.566 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
19.566 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
19.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
19.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
19.566 * [taylor]: Taking taylor expansion of 1/3 in j
19.566 * [taylor]: Taking taylor expansion of (log (* k j)) in j
19.566 * [taylor]: Taking taylor expansion of (* k j) in j
19.566 * [taylor]: Taking taylor expansion of k in j
19.566 * [taylor]: Taking taylor expansion of j in j
19.567 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.567 * [taylor]: Taking taylor expansion of 27.0 in j
19.568 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
19.568 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.568 * [taylor]: Taking taylor expansion of 27.0 in k
19.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
19.569 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
19.569 * [taylor]: Taking taylor expansion of 1/3 in k
19.569 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
19.569 * [taylor]: Taking taylor expansion of (log k) in k
19.569 * [taylor]: Taking taylor expansion of k in k
19.569 * [taylor]: Taking taylor expansion of (log j) in k
19.569 * [taylor]: Taking taylor expansion of j in k
19.573 * [taylor]: Taking taylor expansion of 0 in k
19.579 * [taylor]: Taking taylor expansion of 0 in k
19.591 * [taylor]: Taking taylor expansion of 0 in k
19.591 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
19.591 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
19.592 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
19.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
19.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
19.592 * [taylor]: Taking taylor expansion of 1/3 in k
19.592 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
19.592 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
19.592 * [taylor]: Taking taylor expansion of (* k j) in k
19.592 * [taylor]: Taking taylor expansion of k in k
19.592 * [taylor]: Taking taylor expansion of j in k
19.592 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.593 * [taylor]: Taking taylor expansion of 27.0 in k
19.593 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.593 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.593 * [taylor]: Taking taylor expansion of 1/3 in j
19.593 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.593 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.593 * [taylor]: Taking taylor expansion of (* k j) in j
19.593 * [taylor]: Taking taylor expansion of k in j
19.593 * [taylor]: Taking taylor expansion of j in j
19.594 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.594 * [taylor]: Taking taylor expansion of 27.0 in j
19.595 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.595 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.595 * [taylor]: Taking taylor expansion of 1/3 in j
19.595 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.595 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.595 * [taylor]: Taking taylor expansion of (* k j) in j
19.595 * [taylor]: Taking taylor expansion of k in j
19.595 * [taylor]: Taking taylor expansion of j in j
19.596 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.596 * [taylor]: Taking taylor expansion of 27.0 in j
19.597 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
19.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
19.597 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
19.597 * [taylor]: Taking taylor expansion of 1/3 in k
19.597 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
19.597 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
19.597 * [taylor]: Taking taylor expansion of (/ 1 k) in k
19.597 * [taylor]: Taking taylor expansion of k in k
19.597 * [taylor]: Taking taylor expansion of (log j) in k
19.597 * [taylor]: Taking taylor expansion of j in k
19.598 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.598 * [taylor]: Taking taylor expansion of 27.0 in k
19.602 * [taylor]: Taking taylor expansion of 0 in k
19.616 * [taylor]: Taking taylor expansion of 0 in k
19.628 * [taylor]: Taking taylor expansion of 0 in k
19.628 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
19.628 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
19.628 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
19.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
19.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
19.628 * [taylor]: Taking taylor expansion of 1/3 in k
19.628 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
19.628 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
19.628 * [taylor]: Taking taylor expansion of (* k j) in k
19.628 * [taylor]: Taking taylor expansion of k in k
19.628 * [taylor]: Taking taylor expansion of j in k
19.629 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.629 * [taylor]: Taking taylor expansion of 27.0 in k
19.630 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.630 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.630 * [taylor]: Taking taylor expansion of 1/3 in j
19.630 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.630 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.630 * [taylor]: Taking taylor expansion of (* k j) in j
19.630 * [taylor]: Taking taylor expansion of k in j
19.630 * [taylor]: Taking taylor expansion of j in j
19.631 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.631 * [taylor]: Taking taylor expansion of 27.0 in j
19.632 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.632 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.632 * [taylor]: Taking taylor expansion of 1/3 in j
19.632 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.632 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.632 * [taylor]: Taking taylor expansion of (* k j) in j
19.632 * [taylor]: Taking taylor expansion of k in j
19.632 * [taylor]: Taking taylor expansion of j in j
19.633 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.633 * [taylor]: Taking taylor expansion of 27.0 in j
19.634 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
19.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
19.634 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
19.634 * [taylor]: Taking taylor expansion of 1/3 in k
19.634 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
19.634 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
19.634 * [taylor]: Taking taylor expansion of (/ 1 k) in k
19.634 * [taylor]: Taking taylor expansion of k in k
19.634 * [taylor]: Taking taylor expansion of (log j) in k
19.634 * [taylor]: Taking taylor expansion of j in k
19.635 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.635 * [taylor]: Taking taylor expansion of 27.0 in k
19.639 * [taylor]: Taking taylor expansion of 0 in k
19.647 * [taylor]: Taking taylor expansion of 0 in k
19.658 * [taylor]: Taking taylor expansion of 0 in k
19.659 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
19.659 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
19.659 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
19.659 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
19.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
19.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
19.659 * [taylor]: Taking taylor expansion of 1/3 in k
19.659 * [taylor]: Taking taylor expansion of (log (* k j)) in k
19.659 * [taylor]: Taking taylor expansion of (* k j) in k
19.659 * [taylor]: Taking taylor expansion of k in k
19.659 * [taylor]: Taking taylor expansion of j in k
19.660 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.660 * [taylor]: Taking taylor expansion of 27.0 in k
19.660 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
19.660 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
19.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
19.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
19.660 * [taylor]: Taking taylor expansion of 1/3 in j
19.660 * [taylor]: Taking taylor expansion of (log (* k j)) in j
19.660 * [taylor]: Taking taylor expansion of (* k j) in j
19.660 * [taylor]: Taking taylor expansion of k in j
19.660 * [taylor]: Taking taylor expansion of j in j
19.661 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.661 * [taylor]: Taking taylor expansion of 27.0 in j
19.662 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
19.662 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
19.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
19.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
19.662 * [taylor]: Taking taylor expansion of 1/3 in j
19.662 * [taylor]: Taking taylor expansion of (log (* k j)) in j
19.662 * [taylor]: Taking taylor expansion of (* k j) in j
19.662 * [taylor]: Taking taylor expansion of k in j
19.662 * [taylor]: Taking taylor expansion of j in j
19.663 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.663 * [taylor]: Taking taylor expansion of 27.0 in j
19.664 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
19.664 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.664 * [taylor]: Taking taylor expansion of 27.0 in k
19.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
19.665 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
19.665 * [taylor]: Taking taylor expansion of 1/3 in k
19.665 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
19.665 * [taylor]: Taking taylor expansion of (log k) in k
19.665 * [taylor]: Taking taylor expansion of k in k
19.665 * [taylor]: Taking taylor expansion of (log j) in k
19.665 * [taylor]: Taking taylor expansion of j in k
19.669 * [taylor]: Taking taylor expansion of 0 in k
19.676 * [taylor]: Taking taylor expansion of 0 in k
19.687 * [taylor]: Taking taylor expansion of 0 in k
19.688 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
19.688 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
19.688 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
19.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
19.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
19.688 * [taylor]: Taking taylor expansion of 1/3 in k
19.688 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
19.688 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
19.688 * [taylor]: Taking taylor expansion of (* k j) in k
19.688 * [taylor]: Taking taylor expansion of k in k
19.688 * [taylor]: Taking taylor expansion of j in k
19.689 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.689 * [taylor]: Taking taylor expansion of 27.0 in k
19.689 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.689 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.689 * [taylor]: Taking taylor expansion of 1/3 in j
19.689 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.689 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.689 * [taylor]: Taking taylor expansion of (* k j) in j
19.689 * [taylor]: Taking taylor expansion of k in j
19.689 * [taylor]: Taking taylor expansion of j in j
19.690 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.690 * [taylor]: Taking taylor expansion of 27.0 in j
19.691 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.691 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.691 * [taylor]: Taking taylor expansion of 1/3 in j
19.691 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.691 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.691 * [taylor]: Taking taylor expansion of (* k j) in j
19.691 * [taylor]: Taking taylor expansion of k in j
19.691 * [taylor]: Taking taylor expansion of j in j
19.692 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.692 * [taylor]: Taking taylor expansion of 27.0 in j
19.693 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
19.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
19.693 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
19.693 * [taylor]: Taking taylor expansion of 1/3 in k
19.693 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
19.693 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
19.693 * [taylor]: Taking taylor expansion of (/ 1 k) in k
19.693 * [taylor]: Taking taylor expansion of k in k
19.694 * [taylor]: Taking taylor expansion of (log j) in k
19.694 * [taylor]: Taking taylor expansion of j in k
19.694 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.694 * [taylor]: Taking taylor expansion of 27.0 in k
19.703 * [taylor]: Taking taylor expansion of 0 in k
19.711 * [taylor]: Taking taylor expansion of 0 in k
19.723 * [taylor]: Taking taylor expansion of 0 in k
19.723 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
19.723 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
19.723 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
19.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
19.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
19.723 * [taylor]: Taking taylor expansion of 1/3 in k
19.723 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
19.723 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
19.723 * [taylor]: Taking taylor expansion of (* k j) in k
19.723 * [taylor]: Taking taylor expansion of k in k
19.723 * [taylor]: Taking taylor expansion of j in k
19.724 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.724 * [taylor]: Taking taylor expansion of 27.0 in k
19.725 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.725 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.725 * [taylor]: Taking taylor expansion of 1/3 in j
19.725 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.725 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.725 * [taylor]: Taking taylor expansion of (* k j) in j
19.725 * [taylor]: Taking taylor expansion of k in j
19.725 * [taylor]: Taking taylor expansion of j in j
19.726 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.726 * [taylor]: Taking taylor expansion of 27.0 in j
19.727 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
19.727 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
19.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
19.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
19.727 * [taylor]: Taking taylor expansion of 1/3 in j
19.727 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
19.727 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
19.727 * [taylor]: Taking taylor expansion of (* k j) in j
19.727 * [taylor]: Taking taylor expansion of k in j
19.727 * [taylor]: Taking taylor expansion of j in j
19.728 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
19.728 * [taylor]: Taking taylor expansion of 27.0 in j
19.729 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
19.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
19.729 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
19.729 * [taylor]: Taking taylor expansion of 1/3 in k
19.729 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
19.729 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
19.729 * [taylor]: Taking taylor expansion of (/ 1 k) in k
19.729 * [taylor]: Taking taylor expansion of k in k
19.730 * [taylor]: Taking taylor expansion of (log j) in k
19.730 * [taylor]: Taking taylor expansion of j in k
19.730 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
19.730 * [taylor]: Taking taylor expansion of 27.0 in k
19.734 * [taylor]: Taking taylor expansion of 0 in k
19.742 * [taylor]: Taking taylor expansion of 0 in k
19.754 * [taylor]: Taking taylor expansion of 0 in k
19.755 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
19.755 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
19.755 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
19.755 * [taylor]: Taking taylor expansion of 18.0 in z
19.755 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
19.755 * [taylor]: Taking taylor expansion of x in z
19.755 * [taylor]: Taking taylor expansion of (* z y) in z
19.755 * [taylor]: Taking taylor expansion of z in z
19.755 * [taylor]: Taking taylor expansion of y in z
19.755 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
19.755 * [taylor]: Taking taylor expansion of 18.0 in y
19.755 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
19.755 * [taylor]: Taking taylor expansion of x in y
19.755 * [taylor]: Taking taylor expansion of (* z y) in y
19.755 * [taylor]: Taking taylor expansion of z in y
19.755 * [taylor]: Taking taylor expansion of y in y
19.755 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
19.755 * [taylor]: Taking taylor expansion of 18.0 in x
19.755 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
19.755 * [taylor]: Taking taylor expansion of x in x
19.755 * [taylor]: Taking taylor expansion of (* z y) in x
19.755 * [taylor]: Taking taylor expansion of z in x
19.755 * [taylor]: Taking taylor expansion of y in x
19.755 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
19.755 * [taylor]: Taking taylor expansion of 18.0 in x
19.755 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
19.755 * [taylor]: Taking taylor expansion of x in x
19.755 * [taylor]: Taking taylor expansion of (* z y) in x
19.755 * [taylor]: Taking taylor expansion of z in x
19.755 * [taylor]: Taking taylor expansion of y in x
19.756 * [taylor]: Taking taylor expansion of 0 in y
19.756 * [taylor]: Taking taylor expansion of 0 in z
19.756 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
19.756 * [taylor]: Taking taylor expansion of 18.0 in y
19.756 * [taylor]: Taking taylor expansion of (* z y) in y
19.756 * [taylor]: Taking taylor expansion of z in y
19.756 * [taylor]: Taking taylor expansion of y in y
19.757 * [taylor]: Taking taylor expansion of 0 in z
19.757 * [taylor]: Taking taylor expansion of 0 in z
19.758 * [taylor]: Taking taylor expansion of 0 in y
19.758 * [taylor]: Taking taylor expansion of 0 in z
19.759 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
19.759 * [taylor]: Taking taylor expansion of 18.0 in z
19.759 * [taylor]: Taking taylor expansion of z in z
19.759 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
19.759 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
19.759 * [taylor]: Taking taylor expansion of 18.0 in z
19.759 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
19.759 * [taylor]: Taking taylor expansion of x in z
19.759 * [taylor]: Taking taylor expansion of (* z y) in z
19.759 * [taylor]: Taking taylor expansion of z in z
19.759 * [taylor]: Taking taylor expansion of y in z
19.760 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
19.760 * [taylor]: Taking taylor expansion of 18.0 in y
19.760 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
19.760 * [taylor]: Taking taylor expansion of x in y
19.760 * [taylor]: Taking taylor expansion of (* z y) in y
19.760 * [taylor]: Taking taylor expansion of z in y
19.760 * [taylor]: Taking taylor expansion of y in y
19.760 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
19.760 * [taylor]: Taking taylor expansion of 18.0 in x
19.760 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
19.761 * [taylor]: Taking taylor expansion of x in x
19.761 * [taylor]: Taking taylor expansion of (* z y) in x
19.761 * [taylor]: Taking taylor expansion of z in x
19.761 * [taylor]: Taking taylor expansion of y in x
19.761 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
19.761 * [taylor]: Taking taylor expansion of 18.0 in x
19.761 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
19.761 * [taylor]: Taking taylor expansion of x in x
19.761 * [taylor]: Taking taylor expansion of (* z y) in x
19.761 * [taylor]: Taking taylor expansion of z in x
19.761 * [taylor]: Taking taylor expansion of y in x
19.762 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
19.762 * [taylor]: Taking taylor expansion of 18.0 in y
19.762 * [taylor]: Taking taylor expansion of (* z y) in y
19.762 * [taylor]: Taking taylor expansion of z in y
19.762 * [taylor]: Taking taylor expansion of y in y
19.762 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
19.762 * [taylor]: Taking taylor expansion of 18.0 in z
19.762 * [taylor]: Taking taylor expansion of z in z
19.763 * [taylor]: Taking taylor expansion of 0 in y
19.764 * [taylor]: Taking taylor expansion of 0 in z
19.766 * [taylor]: Taking taylor expansion of 0 in y
19.766 * [taylor]: Taking taylor expansion of 0 in z
19.766 * [taylor]: Taking taylor expansion of 0 in z
19.769 * [taylor]: Taking taylor expansion of 0 in y
19.769 * [taylor]: Taking taylor expansion of 0 in z
19.769 * [taylor]: Taking taylor expansion of 0 in z
19.769 * [taylor]: Taking taylor expansion of 0 in z
19.770 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
19.770 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
19.770 * [taylor]: Taking taylor expansion of -18.0 in z
19.770 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
19.770 * [taylor]: Taking taylor expansion of x in z
19.770 * [taylor]: Taking taylor expansion of (* z y) in z
19.770 * [taylor]: Taking taylor expansion of z in z
19.770 * [taylor]: Taking taylor expansion of y in z
19.770 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
19.770 * [taylor]: Taking taylor expansion of -18.0 in y
19.770 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
19.770 * [taylor]: Taking taylor expansion of x in y
19.770 * [taylor]: Taking taylor expansion of (* z y) in y
19.770 * [taylor]: Taking taylor expansion of z in y
19.770 * [taylor]: Taking taylor expansion of y in y
19.771 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
19.771 * [taylor]: Taking taylor expansion of -18.0 in x
19.771 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
19.771 * [taylor]: Taking taylor expansion of x in x
19.771 * [taylor]: Taking taylor expansion of (* z y) in x
19.771 * [taylor]: Taking taylor expansion of z in x
19.771 * [taylor]: Taking taylor expansion of y in x
19.772 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
19.772 * [taylor]: Taking taylor expansion of -18.0 in x
19.772 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
19.772 * [taylor]: Taking taylor expansion of x in x
19.772 * [taylor]: Taking taylor expansion of (* z y) in x
19.772 * [taylor]: Taking taylor expansion of z in x
19.772 * [taylor]: Taking taylor expansion of y in x
19.772 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
19.772 * [taylor]: Taking taylor expansion of -18.0 in y
19.772 * [taylor]: Taking taylor expansion of (* z y) in y
19.772 * [taylor]: Taking taylor expansion of z in y
19.772 * [taylor]: Taking taylor expansion of y in y
19.773 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
19.773 * [taylor]: Taking taylor expansion of -18.0 in z
19.773 * [taylor]: Taking taylor expansion of z in z
19.774 * [taylor]: Taking taylor expansion of 0 in y
19.774 * [taylor]: Taking taylor expansion of 0 in z
19.776 * [taylor]: Taking taylor expansion of 0 in y
19.776 * [taylor]: Taking taylor expansion of 0 in z
19.777 * [taylor]: Taking taylor expansion of 0 in z
19.779 * [taylor]: Taking taylor expansion of 0 in y
19.779 * [taylor]: Taking taylor expansion of 0 in z
19.779 * [taylor]: Taking taylor expansion of 0 in z
19.780 * [taylor]: Taking taylor expansion of 0 in z
19.780 * * * [progress]: simplifying candidates
19.782 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (* (* j 27.0) k)))
  (exp (cbrt (* (* j 27.0) k)))
  (cbrt (* j 27.0))
  (cbrt 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 27.0))
  (cbrt 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 27.0))
  (cbrt 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)))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j)))))
  (* (exp (* -1/3 (+ (log (/ 1 j)) (log (/ 1 k))))) (cbrt 27.0))
  (* (exp (* -1/3 (+ (log (/ -1 k)) (log (/ -1 j))))) (cbrt 27.0))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j)))))
  (* (exp (* -1/3 (+ (log (/ 1 j)) (log (/ 1 k))))) (cbrt 27.0))
  (* (exp (* -1/3 (+ (log (/ -1 k)) (log (/ -1 j))))) (cbrt 27.0))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j)))))
  (* (exp (* -1/3 (+ (log (/ 1 j)) (log (/ 1 k))))) (cbrt 27.0))
  (* (exp (* -1/3 (+ (log (/ -1 k)) (log (/ -1 j))))) (cbrt 27.0))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
19.785 * * [simplify]: iteration  0 :  97  enodes  (cost  595 )
19.805 * * [simplify]: iteration  1 :  234  enodes  (cost  581 )
19.867 * * [simplify]: iteration  2 :  840  enodes  (cost  486 )
20.662 * * [simplify]: iteration  3 :  4474  enodes  (cost  465 )
22.422 * * [simplify]: iteration  done :  5000  enodes  (cost  465 )
22.423 * [simplify]: Simplified to:
   (log (cbrt (* (* j 27.0) k)))
  (exp (cbrt (* (* j 27.0) k)))
  (cbrt (* j 27.0))
  (cbrt 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 27.0))
  (cbrt 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 27.0))
  (cbrt 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)))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (* (cbrt 27.0) (pow (/ -1 k) -1/3)) (pow (/ -1 j) -1/3))
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (* (cbrt 27.0) (pow (/ -1 k) -1/3)) (pow (/ -1 j) -1/3))
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (* (cbrt 27.0) (pow (/ -1 k) -1/3)) (pow (/ -1 j) -1/3))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
22.423 * * * [progress]: adding candidates to table
22.695 * [progress]: [Phase 3 of 3] Extracting.
22.695 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
22.704 * * * [regime-changes]: Trying 14 branch expressions: ((* j 27.0) (* (* j 27.0) k) (* b c) (* a 4.0) k j i c b a t z y x)
22.704 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
22.970 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))>)
23.019 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.078 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))>)
23.117 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.177 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.238 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.305 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.380 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.440 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.501 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.581 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.642 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.715 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.783 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.843 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
23.911 * * * [regime]: Found split indices: #<option (#s(si 3 74) #s(si 4 199) #s(si 6 255))>
23.912 * [binary-search]: Improving bounds with binary search for t and (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
24.044 * [regimes]: Found splitpoints: (#s(sp 3 t -3.1141079314986784e-44) #s(sp 4 t 1.1312232233938015e-68) #s(sp 6 t +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>)
24.044 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= t -3.1141079314986784e-44) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))) (if (<= t 1.1312232233938015e-68) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k))))))
24.046 * * [simplify]: iteration  0 :  52  enodes  (cost  104 )
24.047 * * [simplify]: iteration  1 :  77  enodes  (cost  103 )
24.050 * * [simplify]: iteration  2 :  87  enodes  (cost  103 )
24.052 * * [simplify]: iteration  3 :  90  enodes  (cost  103 )
24.054 * * [simplify]: iteration  done :  90  enodes  (cost  103 )
24.054 * [simplify]: Simplified to:
   (if (<= t -3.1141079314986784e-44) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))) (if (<= t 1.1312232233938015e-68) (- (+ (* t (- (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k))))))
26.457 * [regime-testing]: Baseline error score: 5.666987048812549
26.458 * [regime-testing]: Oracle error score: 2.1821441148475498
26.459 * [regime-testing]: End program error score: 4.674946315431575
26.503 * [regime-testing]: Target error score: 1.4646432777959317