59.672 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
2.268 * * * [progress]: [2/2] Setting up program.
2.280 * [progress]: [Phase 2 of 3] Improving.
2.280 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
2.536 * * [simplify]: iteration  0 :  3114  enodes  (cost  29 )
2.536 * * [simplify]: iteration  1 :  3114  enodes  (cost  29 )
2.538 * [simplify]: Simplified to:
   (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i))))))
2.546 * * [progress]: iteration 1 / 4
2.546 * * * [progress]: picking best candidate
2.557 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>
2.557 * * * [progress]: localizing error
2.577 * * * [progress]: generating rewritten candidates
2.577 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
2.582 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.591 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
2.597 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
2.606 * * * [progress]: generating series expansions
2.606 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
2.606 * [approximate]: Taking taylor expansion of (* t (* z y)) in (y z t) around 0
2.606 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.606 * [taylor]: Taking taylor expansion of t in t
2.606 * [taylor]: Taking taylor expansion of (* z y) in t
2.606 * [taylor]: Taking taylor expansion of z in t
2.606 * [taylor]: Taking taylor expansion of y in t
2.606 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.606 * [taylor]: Taking taylor expansion of t in z
2.606 * [taylor]: Taking taylor expansion of (* z y) in z
2.606 * [taylor]: Taking taylor expansion of z in z
2.606 * [taylor]: Taking taylor expansion of y in z
2.606 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.606 * [taylor]: Taking taylor expansion of t in y
2.606 * [taylor]: Taking taylor expansion of (* z y) in y
2.606 * [taylor]: Taking taylor expansion of z in y
2.606 * [taylor]: Taking taylor expansion of y in y
2.606 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.606 * [taylor]: Taking taylor expansion of t in y
2.606 * [taylor]: Taking taylor expansion of (* z y) in y
2.606 * [taylor]: Taking taylor expansion of z in y
2.606 * [taylor]: Taking taylor expansion of y in y
2.606 * [taylor]: Taking taylor expansion of 0 in z
2.607 * [taylor]: Taking taylor expansion of 0 in t
2.607 * [taylor]: Taking taylor expansion of (* t z) in z
2.607 * [taylor]: Taking taylor expansion of t in z
2.607 * [taylor]: Taking taylor expansion of z in z
2.607 * [taylor]: Taking taylor expansion of 0 in t
2.607 * [taylor]: Taking taylor expansion of 0 in t
2.607 * [taylor]: Taking taylor expansion of 0 in z
2.607 * [taylor]: Taking taylor expansion of 0 in t
2.607 * [taylor]: Taking taylor expansion of t in t
2.607 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (y z t) around 0
2.607 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
2.607 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.607 * [taylor]: Taking taylor expansion of t in t
2.607 * [taylor]: Taking taylor expansion of (* z y) in t
2.607 * [taylor]: Taking taylor expansion of z in t
2.607 * [taylor]: Taking taylor expansion of y in t
2.607 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
2.607 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.607 * [taylor]: Taking taylor expansion of t in z
2.607 * [taylor]: Taking taylor expansion of (* z y) in z
2.607 * [taylor]: Taking taylor expansion of z in z
2.607 * [taylor]: Taking taylor expansion of y in z
2.607 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.607 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.607 * [taylor]: Taking taylor expansion of t in y
2.607 * [taylor]: Taking taylor expansion of (* z y) in y
2.607 * [taylor]: Taking taylor expansion of z in y
2.607 * [taylor]: Taking taylor expansion of y in y
2.608 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.608 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.608 * [taylor]: Taking taylor expansion of t in y
2.608 * [taylor]: Taking taylor expansion of (* z y) in y
2.608 * [taylor]: Taking taylor expansion of z in y
2.608 * [taylor]: Taking taylor expansion of y in y
2.608 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.608 * [taylor]: Taking taylor expansion of (* t z) in z
2.608 * [taylor]: Taking taylor expansion of t in z
2.608 * [taylor]: Taking taylor expansion of z in z
2.608 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.608 * [taylor]: Taking taylor expansion of t in t
2.608 * [taylor]: Taking taylor expansion of 0 in z
2.608 * [taylor]: Taking taylor expansion of 0 in t
2.608 * [taylor]: Taking taylor expansion of 0 in z
2.608 * [taylor]: Taking taylor expansion of 0 in t
2.608 * [taylor]: Taking taylor expansion of 0 in t
2.609 * [taylor]: Taking taylor expansion of 0 in z
2.609 * [taylor]: Taking taylor expansion of 0 in t
2.609 * [taylor]: Taking taylor expansion of 0 in t
2.609 * [taylor]: Taking taylor expansion of 0 in t
2.609 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (y z t) around 0
2.609 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
2.609 * [taylor]: Taking taylor expansion of -1 in t
2.609 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.609 * [taylor]: Taking taylor expansion of t in t
2.609 * [taylor]: Taking taylor expansion of (* z y) in t
2.609 * [taylor]: Taking taylor expansion of z in t
2.609 * [taylor]: Taking taylor expansion of y in t
2.609 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
2.609 * [taylor]: Taking taylor expansion of -1 in z
2.609 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.609 * [taylor]: Taking taylor expansion of t in z
2.609 * [taylor]: Taking taylor expansion of (* z y) in z
2.609 * [taylor]: Taking taylor expansion of z in z
2.609 * [taylor]: Taking taylor expansion of y in z
2.610 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
2.610 * [taylor]: Taking taylor expansion of -1 in y
2.610 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.610 * [taylor]: Taking taylor expansion of t in y
2.610 * [taylor]: Taking taylor expansion of (* z y) in y
2.610 * [taylor]: Taking taylor expansion of z in y
2.610 * [taylor]: Taking taylor expansion of y in y
2.610 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
2.610 * [taylor]: Taking taylor expansion of -1 in y
2.610 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.610 * [taylor]: Taking taylor expansion of t in y
2.610 * [taylor]: Taking taylor expansion of (* z y) in y
2.610 * [taylor]: Taking taylor expansion of z in y
2.610 * [taylor]: Taking taylor expansion of y in y
2.610 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
2.610 * [taylor]: Taking taylor expansion of -1 in z
2.610 * [taylor]: Taking taylor expansion of (* t z) in z
2.610 * [taylor]: Taking taylor expansion of t in z
2.610 * [taylor]: Taking taylor expansion of z in z
2.610 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.610 * [taylor]: Taking taylor expansion of -1 in t
2.610 * [taylor]: Taking taylor expansion of t in t
2.610 * [taylor]: Taking taylor expansion of 0 in z
2.610 * [taylor]: Taking taylor expansion of 0 in t
2.611 * [taylor]: Taking taylor expansion of 0 in z
2.611 * [taylor]: Taking taylor expansion of 0 in t
2.611 * [taylor]: Taking taylor expansion of 0 in t
2.611 * [taylor]: Taking taylor expansion of 0 in z
2.611 * [taylor]: Taking taylor expansion of 0 in t
2.611 * [taylor]: Taking taylor expansion of 0 in t
2.611 * [taylor]: Taking taylor expansion of 0 in t
2.611 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.611 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.612 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
2.612 * [taylor]: Taking taylor expansion of 18.0 in t
2.612 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.612 * [taylor]: Taking taylor expansion of t in t
2.612 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.612 * [taylor]: Taking taylor expansion of x in t
2.612 * [taylor]: Taking taylor expansion of (* z y) in t
2.612 * [taylor]: Taking taylor expansion of z in t
2.612 * [taylor]: Taking taylor expansion of y in t
2.612 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
2.612 * [taylor]: Taking taylor expansion of 18.0 in z
2.612 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.612 * [taylor]: Taking taylor expansion of t in z
2.612 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.612 * [taylor]: Taking taylor expansion of x in z
2.612 * [taylor]: Taking taylor expansion of (* z y) in z
2.612 * [taylor]: Taking taylor expansion of z in z
2.612 * [taylor]: Taking taylor expansion of y in z
2.612 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
2.612 * [taylor]: Taking taylor expansion of 18.0 in y
2.612 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.612 * [taylor]: Taking taylor expansion of t in y
2.612 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.612 * [taylor]: Taking taylor expansion of x in y
2.612 * [taylor]: Taking taylor expansion of (* z y) in y
2.612 * [taylor]: Taking taylor expansion of z in y
2.612 * [taylor]: Taking taylor expansion of y in y
2.612 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
2.612 * [taylor]: Taking taylor expansion of 18.0 in x
2.612 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.612 * [taylor]: Taking taylor expansion of t in x
2.612 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.612 * [taylor]: Taking taylor expansion of x in x
2.612 * [taylor]: Taking taylor expansion of (* z y) in x
2.612 * [taylor]: Taking taylor expansion of z in x
2.612 * [taylor]: Taking taylor expansion of y in x
2.612 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
2.612 * [taylor]: Taking taylor expansion of 18.0 in x
2.612 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.612 * [taylor]: Taking taylor expansion of t in x
2.612 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.612 * [taylor]: Taking taylor expansion of x in x
2.612 * [taylor]: Taking taylor expansion of (* z y) in x
2.612 * [taylor]: Taking taylor expansion of z in x
2.612 * [taylor]: Taking taylor expansion of y in x
2.612 * [taylor]: Taking taylor expansion of 0 in y
2.612 * [taylor]: Taking taylor expansion of 0 in z
2.612 * [taylor]: Taking taylor expansion of 0 in t
2.613 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
2.613 * [taylor]: Taking taylor expansion of 18.0 in y
2.613 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.613 * [taylor]: Taking taylor expansion of t in y
2.613 * [taylor]: Taking taylor expansion of (* z y) in y
2.613 * [taylor]: Taking taylor expansion of z in y
2.613 * [taylor]: Taking taylor expansion of y in y
2.613 * [taylor]: Taking taylor expansion of 0 in z
2.613 * [taylor]: Taking taylor expansion of 0 in t
2.613 * [taylor]: Taking taylor expansion of 0 in z
2.613 * [taylor]: Taking taylor expansion of 0 in t
2.613 * [taylor]: Taking taylor expansion of 0 in t
2.613 * [taylor]: Taking taylor expansion of 0 in y
2.613 * [taylor]: Taking taylor expansion of 0 in z
2.613 * [taylor]: Taking taylor expansion of 0 in t
2.613 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.613 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
2.613 * [taylor]: Taking taylor expansion of 18.0 in t
2.613 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.613 * [taylor]: Taking taylor expansion of t in t
2.613 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.613 * [taylor]: Taking taylor expansion of x in t
2.613 * [taylor]: Taking taylor expansion of (* z y) in t
2.613 * [taylor]: Taking taylor expansion of z in t
2.613 * [taylor]: Taking taylor expansion of y in t
2.613 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
2.613 * [taylor]: Taking taylor expansion of 18.0 in z
2.614 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.614 * [taylor]: Taking taylor expansion of t in z
2.614 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.614 * [taylor]: Taking taylor expansion of x in z
2.614 * [taylor]: Taking taylor expansion of (* z y) in z
2.614 * [taylor]: Taking taylor expansion of z in z
2.614 * [taylor]: Taking taylor expansion of y in z
2.614 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
2.614 * [taylor]: Taking taylor expansion of 18.0 in y
2.614 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.614 * [taylor]: Taking taylor expansion of t in y
2.614 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.614 * [taylor]: Taking taylor expansion of x in y
2.614 * [taylor]: Taking taylor expansion of (* z y) in y
2.614 * [taylor]: Taking taylor expansion of z in y
2.614 * [taylor]: Taking taylor expansion of y in y
2.614 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.614 * [taylor]: Taking taylor expansion of 18.0 in x
2.614 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.614 * [taylor]: Taking taylor expansion of t in x
2.614 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.614 * [taylor]: Taking taylor expansion of x in x
2.614 * [taylor]: Taking taylor expansion of (* z y) in x
2.614 * [taylor]: Taking taylor expansion of z in x
2.614 * [taylor]: Taking taylor expansion of y in x
2.614 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.614 * [taylor]: Taking taylor expansion of 18.0 in x
2.614 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.614 * [taylor]: Taking taylor expansion of t in x
2.614 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.614 * [taylor]: Taking taylor expansion of x in x
2.614 * [taylor]: Taking taylor expansion of (* z y) in x
2.614 * [taylor]: Taking taylor expansion of z in x
2.614 * [taylor]: Taking taylor expansion of y in x
2.615 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.615 * [taylor]: Taking taylor expansion of 18.0 in y
2.615 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.615 * [taylor]: Taking taylor expansion of t in y
2.615 * [taylor]: Taking taylor expansion of (* z y) in y
2.615 * [taylor]: Taking taylor expansion of z in y
2.615 * [taylor]: Taking taylor expansion of y in y
2.615 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.615 * [taylor]: Taking taylor expansion of 18.0 in z
2.615 * [taylor]: Taking taylor expansion of (* t z) in z
2.615 * [taylor]: Taking taylor expansion of t in z
2.615 * [taylor]: Taking taylor expansion of z in z
2.615 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.615 * [taylor]: Taking taylor expansion of 18.0 in t
2.615 * [taylor]: Taking taylor expansion of t in t
2.615 * [taylor]: Taking taylor expansion of 0 in y
2.615 * [taylor]: Taking taylor expansion of 0 in z
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.616 * [taylor]: Taking taylor expansion of 0 in y
2.616 * [taylor]: Taking taylor expansion of 0 in z
2.616 * [taylor]: Taking taylor expansion of 0 in z
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.616 * [taylor]: Taking taylor expansion of 0 in t
2.617 * [taylor]: Taking taylor expansion of 0 in y
2.617 * [taylor]: Taking taylor expansion of 0 in z
2.617 * [taylor]: Taking taylor expansion of 0 in z
2.617 * [taylor]: Taking taylor expansion of 0 in z
2.617 * [taylor]: Taking taylor expansion of 0 in t
2.617 * [taylor]: Taking taylor expansion of 0 in t
2.617 * [taylor]: Taking taylor expansion of 0 in t
2.617 * [taylor]: Taking taylor expansion of 0 in t
2.617 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.617 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
2.617 * [taylor]: Taking taylor expansion of 18.0 in t
2.617 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.618 * [taylor]: Taking taylor expansion of t in t
2.618 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.618 * [taylor]: Taking taylor expansion of x in t
2.618 * [taylor]: Taking taylor expansion of (* z y) in t
2.618 * [taylor]: Taking taylor expansion of z in t
2.618 * [taylor]: Taking taylor expansion of y in t
2.618 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
2.618 * [taylor]: Taking taylor expansion of 18.0 in z
2.618 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.618 * [taylor]: Taking taylor expansion of t in z
2.618 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.618 * [taylor]: Taking taylor expansion of x in z
2.618 * [taylor]: Taking taylor expansion of (* z y) in z
2.618 * [taylor]: Taking taylor expansion of z in z
2.618 * [taylor]: Taking taylor expansion of y in z
2.618 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
2.618 * [taylor]: Taking taylor expansion of 18.0 in y
2.618 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.618 * [taylor]: Taking taylor expansion of t in y
2.618 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.618 * [taylor]: Taking taylor expansion of x in y
2.618 * [taylor]: Taking taylor expansion of (* z y) in y
2.618 * [taylor]: Taking taylor expansion of z in y
2.618 * [taylor]: Taking taylor expansion of y in y
2.618 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.618 * [taylor]: Taking taylor expansion of 18.0 in x
2.618 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.618 * [taylor]: Taking taylor expansion of t in x
2.618 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.618 * [taylor]: Taking taylor expansion of x in x
2.618 * [taylor]: Taking taylor expansion of (* z y) in x
2.618 * [taylor]: Taking taylor expansion of z in x
2.618 * [taylor]: Taking taylor expansion of y in x
2.619 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.619 * [taylor]: Taking taylor expansion of 18.0 in x
2.619 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.619 * [taylor]: Taking taylor expansion of t in x
2.619 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.619 * [taylor]: Taking taylor expansion of x in x
2.619 * [taylor]: Taking taylor expansion of (* z y) in x
2.619 * [taylor]: Taking taylor expansion of z in x
2.619 * [taylor]: Taking taylor expansion of y in x
2.619 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.619 * [taylor]: Taking taylor expansion of 18.0 in y
2.619 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.619 * [taylor]: Taking taylor expansion of t in y
2.619 * [taylor]: Taking taylor expansion of (* z y) in y
2.619 * [taylor]: Taking taylor expansion of z in y
2.619 * [taylor]: Taking taylor expansion of y in y
2.619 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.619 * [taylor]: Taking taylor expansion of 18.0 in z
2.619 * [taylor]: Taking taylor expansion of (* t z) in z
2.619 * [taylor]: Taking taylor expansion of t in z
2.619 * [taylor]: Taking taylor expansion of z in z
2.619 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.619 * [taylor]: Taking taylor expansion of 18.0 in t
2.619 * [taylor]: Taking taylor expansion of t in t
2.620 * [taylor]: Taking taylor expansion of 0 in y
2.620 * [taylor]: Taking taylor expansion of 0 in z
2.620 * [taylor]: Taking taylor expansion of 0 in t
2.620 * [taylor]: Taking taylor expansion of 0 in y
2.620 * [taylor]: Taking taylor expansion of 0 in z
2.620 * [taylor]: Taking taylor expansion of 0 in z
2.620 * [taylor]: Taking taylor expansion of 0 in t
2.620 * [taylor]: Taking taylor expansion of 0 in t
2.621 * [taylor]: Taking taylor expansion of 0 in y
2.621 * [taylor]: Taking taylor expansion of 0 in z
2.621 * [taylor]: Taking taylor expansion of 0 in z
2.621 * [taylor]: Taking taylor expansion of 0 in z
2.621 * [taylor]: Taking taylor expansion of 0 in t
2.621 * [taylor]: Taking taylor expansion of 0 in t
2.621 * [taylor]: Taking taylor expansion of 0 in t
2.621 * [taylor]: Taking taylor expansion of 0 in t
2.622 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
2.622 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* z y))) in (y z t) around 0
2.622 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in t
2.622 * [taylor]: Taking taylor expansion of 18.0 in t
2.622 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.622 * [taylor]: Taking taylor expansion of t in t
2.622 * [taylor]: Taking taylor expansion of (* z y) in t
2.622 * [taylor]: Taking taylor expansion of z in t
2.622 * [taylor]: Taking taylor expansion of y in t
2.622 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in z
2.622 * [taylor]: Taking taylor expansion of 18.0 in z
2.622 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.622 * [taylor]: Taking taylor expansion of t in z
2.622 * [taylor]: Taking taylor expansion of (* z y) in z
2.622 * [taylor]: Taking taylor expansion of z in z
2.622 * [taylor]: Taking taylor expansion of y in z
2.622 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
2.622 * [taylor]: Taking taylor expansion of 18.0 in y
2.622 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.622 * [taylor]: Taking taylor expansion of t in y
2.622 * [taylor]: Taking taylor expansion of (* z y) in y
2.622 * [taylor]: Taking taylor expansion of z in y
2.622 * [taylor]: Taking taylor expansion of y in y
2.622 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
2.622 * [taylor]: Taking taylor expansion of 18.0 in y
2.622 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.622 * [taylor]: Taking taylor expansion of t in y
2.622 * [taylor]: Taking taylor expansion of (* z y) in y
2.622 * [taylor]: Taking taylor expansion of z in y
2.622 * [taylor]: Taking taylor expansion of y in y
2.622 * [taylor]: Taking taylor expansion of 0 in z
2.622 * [taylor]: Taking taylor expansion of 0 in t
2.622 * [taylor]: Taking taylor expansion of (* 18.0 (* t z)) in z
2.622 * [taylor]: Taking taylor expansion of 18.0 in z
2.622 * [taylor]: Taking taylor expansion of (* t z) in z
2.622 * [taylor]: Taking taylor expansion of t in z
2.622 * [taylor]: Taking taylor expansion of z in z
2.622 * [taylor]: Taking taylor expansion of 0 in t
2.622 * [taylor]: Taking taylor expansion of 0 in t
2.623 * [taylor]: Taking taylor expansion of 0 in z
2.623 * [taylor]: Taking taylor expansion of 0 in t
2.623 * [taylor]: Taking taylor expansion of (* 18.0 t) in t
2.623 * [taylor]: Taking taylor expansion of 18.0 in t
2.623 * [taylor]: Taking taylor expansion of t in t
2.623 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in (y z t) around 0
2.623 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in t
2.623 * [taylor]: Taking taylor expansion of 18.0 in t
2.623 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.623 * [taylor]: Taking taylor expansion of t in t
2.623 * [taylor]: Taking taylor expansion of (* z y) in t
2.623 * [taylor]: Taking taylor expansion of z in t
2.623 * [taylor]: Taking taylor expansion of y in t
2.623 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in z
2.623 * [taylor]: Taking taylor expansion of 18.0 in z
2.623 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.623 * [taylor]: Taking taylor expansion of t in z
2.623 * [taylor]: Taking taylor expansion of (* z y) in z
2.623 * [taylor]: Taking taylor expansion of z in z
2.623 * [taylor]: Taking taylor expansion of y in z
2.623 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.623 * [taylor]: Taking taylor expansion of 18.0 in y
2.623 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.623 * [taylor]: Taking taylor expansion of t in y
2.623 * [taylor]: Taking taylor expansion of (* z y) in y
2.623 * [taylor]: Taking taylor expansion of z in y
2.623 * [taylor]: Taking taylor expansion of y in y
2.623 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.623 * [taylor]: Taking taylor expansion of 18.0 in y
2.623 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.624 * [taylor]: Taking taylor expansion of t in y
2.624 * [taylor]: Taking taylor expansion of (* z y) in y
2.624 * [taylor]: Taking taylor expansion of z in y
2.624 * [taylor]: Taking taylor expansion of y in y
2.624 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.624 * [taylor]: Taking taylor expansion of 18.0 in z
2.624 * [taylor]: Taking taylor expansion of (* t z) in z
2.624 * [taylor]: Taking taylor expansion of t in z
2.624 * [taylor]: Taking taylor expansion of z in z
2.624 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.624 * [taylor]: Taking taylor expansion of 18.0 in t
2.624 * [taylor]: Taking taylor expansion of t in t
2.624 * [taylor]: Taking taylor expansion of 0 in z
2.624 * [taylor]: Taking taylor expansion of 0 in t
2.624 * [taylor]: Taking taylor expansion of 0 in z
2.624 * [taylor]: Taking taylor expansion of 0 in t
2.624 * [taylor]: Taking taylor expansion of 0 in t
2.625 * [taylor]: Taking taylor expansion of 0 in z
2.625 * [taylor]: Taking taylor expansion of 0 in t
2.625 * [taylor]: Taking taylor expansion of 0 in t
2.625 * [taylor]: Taking taylor expansion of 0 in t
2.625 * [approximate]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in (y z t) around 0
2.625 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in t
2.625 * [taylor]: Taking taylor expansion of -18.0 in t
2.625 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.625 * [taylor]: Taking taylor expansion of t in t
2.625 * [taylor]: Taking taylor expansion of (* z y) in t
2.625 * [taylor]: Taking taylor expansion of z in t
2.625 * [taylor]: Taking taylor expansion of y in t
2.625 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in z
2.625 * [taylor]: Taking taylor expansion of -18.0 in z
2.625 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.625 * [taylor]: Taking taylor expansion of t in z
2.626 * [taylor]: Taking taylor expansion of (* z y) in z
2.626 * [taylor]: Taking taylor expansion of z in z
2.626 * [taylor]: Taking taylor expansion of y in z
2.626 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in y
2.626 * [taylor]: Taking taylor expansion of -18.0 in y
2.626 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.626 * [taylor]: Taking taylor expansion of t in y
2.626 * [taylor]: Taking taylor expansion of (* z y) in y
2.626 * [taylor]: Taking taylor expansion of z in y
2.626 * [taylor]: Taking taylor expansion of y in y
2.626 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in y
2.626 * [taylor]: Taking taylor expansion of -18.0 in y
2.626 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.626 * [taylor]: Taking taylor expansion of t in y
2.626 * [taylor]: Taking taylor expansion of (* z y) in y
2.626 * [taylor]: Taking taylor expansion of z in y
2.626 * [taylor]: Taking taylor expansion of y in y
2.626 * [taylor]: Taking taylor expansion of (/ -18.0 (* t z)) in z
2.626 * [taylor]: Taking taylor expansion of -18.0 in z
2.626 * [taylor]: Taking taylor expansion of (* t z) in z
2.626 * [taylor]: Taking taylor expansion of t in z
2.626 * [taylor]: Taking taylor expansion of z in z
2.626 * [taylor]: Taking taylor expansion of (/ -18.0 t) in t
2.626 * [taylor]: Taking taylor expansion of -18.0 in t
2.626 * [taylor]: Taking taylor expansion of t in t
2.626 * [taylor]: Taking taylor expansion of 0 in z
2.626 * [taylor]: Taking taylor expansion of 0 in t
2.627 * [taylor]: Taking taylor expansion of 0 in z
2.627 * [taylor]: Taking taylor expansion of 0 in t
2.627 * [taylor]: Taking taylor expansion of 0 in t
2.627 * [taylor]: Taking taylor expansion of 0 in z
2.627 * [taylor]: Taking taylor expansion of 0 in t
2.627 * [taylor]: Taking taylor expansion of 0 in t
2.627 * [taylor]: Taking taylor expansion of 0 in t
2.628 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
2.628 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
2.628 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
2.628 * [taylor]: Taking taylor expansion of 27.0 in k
2.628 * [taylor]: Taking taylor expansion of (* k j) in k
2.628 * [taylor]: Taking taylor expansion of k in k
2.628 * [taylor]: Taking taylor expansion of j in k
2.628 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
2.628 * [taylor]: Taking taylor expansion of 27.0 in j
2.628 * [taylor]: Taking taylor expansion of (* k j) in j
2.628 * [taylor]: Taking taylor expansion of k in j
2.628 * [taylor]: Taking taylor expansion of j in j
2.628 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
2.628 * [taylor]: Taking taylor expansion of 27.0 in j
2.628 * [taylor]: Taking taylor expansion of (* k j) in j
2.628 * [taylor]: Taking taylor expansion of k in j
2.628 * [taylor]: Taking taylor expansion of j in j
2.628 * [taylor]: Taking taylor expansion of 0 in k
2.628 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
2.628 * [taylor]: Taking taylor expansion of 27.0 in k
2.628 * [taylor]: Taking taylor expansion of k in k
2.628 * [taylor]: Taking taylor expansion of 0 in k
2.628 * [taylor]: Taking taylor expansion of 0 in k
2.628 * [taylor]: Taking taylor expansion of 0 in k
2.628 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
2.629 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
2.629 * [taylor]: Taking taylor expansion of 27.0 in k
2.629 * [taylor]: Taking taylor expansion of (* k j) in k
2.629 * [taylor]: Taking taylor expansion of k in k
2.629 * [taylor]: Taking taylor expansion of j in k
2.629 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.629 * [taylor]: Taking taylor expansion of 27.0 in j
2.629 * [taylor]: Taking taylor expansion of (* k j) in j
2.629 * [taylor]: Taking taylor expansion of k in j
2.629 * [taylor]: Taking taylor expansion of j in j
2.629 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.629 * [taylor]: Taking taylor expansion of 27.0 in j
2.629 * [taylor]: Taking taylor expansion of (* k j) in j
2.629 * [taylor]: Taking taylor expansion of k in j
2.629 * [taylor]: Taking taylor expansion of j in j
2.629 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
2.629 * [taylor]: Taking taylor expansion of 27.0 in k
2.629 * [taylor]: Taking taylor expansion of k in k
2.629 * [taylor]: Taking taylor expansion of 0 in k
2.629 * [taylor]: Taking taylor expansion of 0 in k
2.629 * [taylor]: Taking taylor expansion of 0 in k
2.630 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
2.630 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
2.630 * [taylor]: Taking taylor expansion of 27.0 in k
2.630 * [taylor]: Taking taylor expansion of (* k j) in k
2.630 * [taylor]: Taking taylor expansion of k in k
2.630 * [taylor]: Taking taylor expansion of j in k
2.630 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.630 * [taylor]: Taking taylor expansion of 27.0 in j
2.630 * [taylor]: Taking taylor expansion of (* k j) in j
2.630 * [taylor]: Taking taylor expansion of k in j
2.630 * [taylor]: Taking taylor expansion of j in j
2.630 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.630 * [taylor]: Taking taylor expansion of 27.0 in j
2.630 * [taylor]: Taking taylor expansion of (* k j) in j
2.630 * [taylor]: Taking taylor expansion of k in j
2.630 * [taylor]: Taking taylor expansion of j in j
2.630 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
2.630 * [taylor]: Taking taylor expansion of 27.0 in k
2.630 * [taylor]: Taking taylor expansion of k in k
2.630 * [taylor]: Taking taylor expansion of 0 in k
2.630 * [taylor]: Taking taylor expansion of 0 in k
2.631 * [taylor]: Taking taylor expansion of 0 in k
2.631 * * * [progress]: simplifying candidates
2.632 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (* z t))
  (* y (* z t))
  (+ (log y) (+ (log z) (log t)))
  (+ (log y) (log (* z t)))
  (log (* y (* z t)))
  (exp (* y (* z t)))
  (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (* (* (* y (* z t)) (* y (* z t))) (* y (* z t)))
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* (cbrt y) (* z t))
  (* (sqrt y) (* z t))
  (* y (* z t))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (+ (log x) (+ (log 18.0) (+ (log y) (+ (log z) (log t)))))
  (+ (log x) (+ (log 18.0) (+ (log y) (log (* z t)))))
  (+ (log x) (+ (log 18.0) (log (* y (* z t)))))
  (+ (log x) (log (* 18.0 (* y (* z t)))))
  (log (* x (* 18.0 (* y (* z t)))))
  (exp (* x (* 18.0 (* y (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y (* z t)) (* y (* z t))) (* y (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 (* y (* z t))) (* 18.0 (* y (* z t)))) (* 18.0 (* y (* z t)))))
  (* (cbrt (* x (* 18.0 (* y (* z t))))) (cbrt (* x (* 18.0 (* y (* z t))))))
  (cbrt (* x (* 18.0 (* y (* z t)))))
  (* (* (* x (* 18.0 (* y (* z t)))) (* x (* 18.0 (* y (* z t))))) (* x (* 18.0 (* y (* z t)))))
  (sqrt (* x (* 18.0 (* y (* z t)))))
  (sqrt (* x (* 18.0 (* y (* z t)))))
  (* x 18.0)
  (* (cbrt x) (* 18.0 (* y (* z t))))
  (* (sqrt x) (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* 18.0 (* y (* z t)))
  (* 18.0 (* y (* z t)))
  (* 18.0 (* y (* z t)))
  (+ (log 18.0) (+ (log y) (+ (log z) (log t))))
  (+ (log 18.0) (+ (log y) (log (* z t))))
  (+ (log 18.0) (log (* y (* z t))))
  (log (* 18.0 (* y (* z t))))
  (exp (* 18.0 (* y (* z t))))
  (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t))))
  (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t))))
  (* (* (* 18.0 18.0) 18.0) (* (* (* y (* z t)) (* y (* z t))) (* y (* z t))))
  (* (cbrt (* 18.0 (* y (* z t)))) (cbrt (* 18.0 (* y (* z t)))))
  (cbrt (* 18.0 (* y (* z t))))
  (* (* (* 18.0 (* y (* z t))) (* 18.0 (* y (* z t)))) (* 18.0 (* y (* z t))))
  (sqrt (* 18.0 (* y (* z t))))
  (sqrt (* 18.0 (* y (* z t))))
  (* 18.0 y)
  (* (cbrt 18.0) (* y (* z t)))
  (* (sqrt 18.0) (* y (* z t)))
  (* 18.0 (* y (* z t)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  0
  (* t (* z y))
  (* t (* z y))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* t (* z y)))
  (* 18.0 (* t (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
2.675 * * [simplify]: iteration  0 :  5545  enodes  (cost  670 )
2.677 * [simplify]: Simplified to:
   (* y (* z t))
  (* y (* z t))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (pow (exp y) (* z t))
  (pow (* y (* z t)) 3)
  (pow (* y (* z t)) 3)
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (pow (* y (* z t)) 3)
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* z (* t (cbrt y)))
  (* z (* t (sqrt y)))
  (* y (* z t))
  (* t (* (* y (* z x)) 18.0))
  (* t (* (* y (* z x)) 18.0))
  (* t (* (* y (* z x)) 18.0))
  (* t (* (* y (* z x)) 18.0))
  (log (* t (* (* y (* z x)) 18.0)))
  (log (* t (* (* y (* z x)) 18.0)))
  (log (* t (* (* y (* z x)) 18.0)))
  (log (* t (* (* y (* z x)) 18.0)))
  (log (* t (* (* y (* z x)) 18.0)))
  (pow (pow (exp y) (* z t)) (* x 18.0))
  (pow (* t (* (* y (* z x)) 18.0)) 3)
  (pow (* t (* (* y (* z x)) 18.0)) 3)
  (pow (* t (* (* y (* z x)) 18.0)) 3)
  (pow (* t (* (* y (* z x)) 18.0)) 3)
  (* (cbrt (* t (* (* y (* z x)) 18.0))) (cbrt (* t (* (* y (* z x)) 18.0))))
  (cbrt (* t (* (* y (* z x)) 18.0)))
  (pow (* t (* (* y (* z x)) 18.0)) 3)
  (sqrt (* t (* (* y (* z x)) 18.0)))
  (sqrt (* t (* (* y (* z x)) 18.0)))
  (* x 18.0)
  (* (* y (* z t)) (* 18.0 (cbrt x)))
  (* (* y (* z t)) (* 18.0 (sqrt x)))
  (* t (* (* y (* z x)) 18.0))
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (pow (pow (exp y) (* z t)) 18.0)
  (pow (* y (* 18.0 (* z t))) 3)
  (pow (* y (* 18.0 (* z t))) 3)
  (pow (* y (* 18.0 (* z t))) 3)
  (* (cbrt (* y (* 18.0 (* z t)))) (cbrt (* y (* 18.0 (* z t)))))
  (cbrt (* y (* 18.0 (* z t))))
  (pow (* y (* 18.0 (* z t))) 3)
  (sqrt (* y (* 18.0 (* z t))))
  (sqrt (* y (* 18.0 (* z t))))
  (* y 18.0)
  (* y (* (* z t) (cbrt 18.0)))
  (* y (* (* z t) (sqrt 18.0)))
  (* y (* 18.0 (* z t)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (pow (exp j) (* 27.0 k))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* 27.0 (* k (cbrt j)))
  (* 27.0 (* k (sqrt j)))
  (* j (* 27.0 k))
  0
  (* y (* z t))
  (* y (* z t))
  0
  (* t (* (* y (* z x)) 18.0))
  (* t (* (* y (* z x)) 18.0))
  0
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
2.678 * * * [progress]: adding candidates to table
2.779 * * [progress]: iteration 2 / 4
2.780 * * * [progress]: picking best candidate
2.824 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>
2.824 * * * [progress]: localizing error
2.844 * * * [progress]: generating rewritten candidates
2.844 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
2.851 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.859 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
2.864 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
2.871 * * * [progress]: generating series expansions
2.871 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
2.871 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* z y))) in (y z t) around 0
2.871 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in t
2.871 * [taylor]: Taking taylor expansion of 18.0 in t
2.871 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.871 * [taylor]: Taking taylor expansion of t in t
2.871 * [taylor]: Taking taylor expansion of (* z y) in t
2.871 * [taylor]: Taking taylor expansion of z in t
2.871 * [taylor]: Taking taylor expansion of y in t
2.871 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in z
2.871 * [taylor]: Taking taylor expansion of 18.0 in z
2.871 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.871 * [taylor]: Taking taylor expansion of t in z
2.871 * [taylor]: Taking taylor expansion of (* z y) in z
2.871 * [taylor]: Taking taylor expansion of z in z
2.871 * [taylor]: Taking taylor expansion of y in z
2.871 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
2.871 * [taylor]: Taking taylor expansion of 18.0 in y
2.871 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.871 * [taylor]: Taking taylor expansion of t in y
2.871 * [taylor]: Taking taylor expansion of (* z y) in y
2.871 * [taylor]: Taking taylor expansion of z in y
2.871 * [taylor]: Taking taylor expansion of y in y
2.871 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
2.871 * [taylor]: Taking taylor expansion of 18.0 in y
2.871 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.871 * [taylor]: Taking taylor expansion of t in y
2.871 * [taylor]: Taking taylor expansion of (* z y) in y
2.871 * [taylor]: Taking taylor expansion of z in y
2.871 * [taylor]: Taking taylor expansion of y in y
2.871 * [taylor]: Taking taylor expansion of 0 in z
2.871 * [taylor]: Taking taylor expansion of 0 in t
2.871 * [taylor]: Taking taylor expansion of (* 18.0 (* t z)) in z
2.871 * [taylor]: Taking taylor expansion of 18.0 in z
2.871 * [taylor]: Taking taylor expansion of (* t z) in z
2.872 * [taylor]: Taking taylor expansion of t in z
2.872 * [taylor]: Taking taylor expansion of z in z
2.872 * [taylor]: Taking taylor expansion of 0 in t
2.872 * [taylor]: Taking taylor expansion of 0 in t
2.872 * [taylor]: Taking taylor expansion of 0 in z
2.872 * [taylor]: Taking taylor expansion of 0 in t
2.872 * [taylor]: Taking taylor expansion of (* 18.0 t) in t
2.872 * [taylor]: Taking taylor expansion of 18.0 in t
2.872 * [taylor]: Taking taylor expansion of t in t
2.872 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in (y z t) around 0
2.872 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in t
2.872 * [taylor]: Taking taylor expansion of 18.0 in t
2.872 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.872 * [taylor]: Taking taylor expansion of t in t
2.872 * [taylor]: Taking taylor expansion of (* z y) in t
2.872 * [taylor]: Taking taylor expansion of z in t
2.872 * [taylor]: Taking taylor expansion of y in t
2.872 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in z
2.872 * [taylor]: Taking taylor expansion of 18.0 in z
2.872 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.872 * [taylor]: Taking taylor expansion of t in z
2.872 * [taylor]: Taking taylor expansion of (* z y) in z
2.872 * [taylor]: Taking taylor expansion of z in z
2.872 * [taylor]: Taking taylor expansion of y in z
2.872 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.872 * [taylor]: Taking taylor expansion of 18.0 in y
2.872 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.872 * [taylor]: Taking taylor expansion of t in y
2.872 * [taylor]: Taking taylor expansion of (* z y) in y
2.872 * [taylor]: Taking taylor expansion of z in y
2.873 * [taylor]: Taking taylor expansion of y in y
2.873 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.873 * [taylor]: Taking taylor expansion of 18.0 in y
2.873 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.873 * [taylor]: Taking taylor expansion of t in y
2.873 * [taylor]: Taking taylor expansion of (* z y) in y
2.873 * [taylor]: Taking taylor expansion of z in y
2.873 * [taylor]: Taking taylor expansion of y in y
2.873 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.873 * [taylor]: Taking taylor expansion of 18.0 in z
2.873 * [taylor]: Taking taylor expansion of (* t z) in z
2.873 * [taylor]: Taking taylor expansion of t in z
2.873 * [taylor]: Taking taylor expansion of z in z
2.873 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.873 * [taylor]: Taking taylor expansion of 18.0 in t
2.873 * [taylor]: Taking taylor expansion of t in t
2.873 * [taylor]: Taking taylor expansion of 0 in z
2.873 * [taylor]: Taking taylor expansion of 0 in t
2.874 * [taylor]: Taking taylor expansion of 0 in z
2.874 * [taylor]: Taking taylor expansion of 0 in t
2.874 * [taylor]: Taking taylor expansion of 0 in t
2.874 * [taylor]: Taking taylor expansion of 0 in z
2.874 * [taylor]: Taking taylor expansion of 0 in t
2.874 * [taylor]: Taking taylor expansion of 0 in t
2.874 * [taylor]: Taking taylor expansion of 0 in t
2.874 * [approximate]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in (y z t) around 0
2.874 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in t
2.874 * [taylor]: Taking taylor expansion of -18.0 in t
2.874 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.874 * [taylor]: Taking taylor expansion of t in t
2.874 * [taylor]: Taking taylor expansion of (* z y) in t
2.874 * [taylor]: Taking taylor expansion of z in t
2.874 * [taylor]: Taking taylor expansion of y in t
2.875 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in z
2.875 * [taylor]: Taking taylor expansion of -18.0 in z
2.875 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.875 * [taylor]: Taking taylor expansion of t in z
2.875 * [taylor]: Taking taylor expansion of (* z y) in z
2.875 * [taylor]: Taking taylor expansion of z in z
2.875 * [taylor]: Taking taylor expansion of y in z
2.875 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in y
2.875 * [taylor]: Taking taylor expansion of -18.0 in y
2.875 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.875 * [taylor]: Taking taylor expansion of t in y
2.875 * [taylor]: Taking taylor expansion of (* z y) in y
2.875 * [taylor]: Taking taylor expansion of z in y
2.875 * [taylor]: Taking taylor expansion of y in y
2.875 * [taylor]: Taking taylor expansion of (/ -18.0 (* t (* z y))) in y
2.875 * [taylor]: Taking taylor expansion of -18.0 in y
2.875 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.875 * [taylor]: Taking taylor expansion of t in y
2.875 * [taylor]: Taking taylor expansion of (* z y) in y
2.875 * [taylor]: Taking taylor expansion of z in y
2.875 * [taylor]: Taking taylor expansion of y in y
2.875 * [taylor]: Taking taylor expansion of (/ -18.0 (* t z)) in z
2.875 * [taylor]: Taking taylor expansion of -18.0 in z
2.875 * [taylor]: Taking taylor expansion of (* t z) in z
2.875 * [taylor]: Taking taylor expansion of t in z
2.875 * [taylor]: Taking taylor expansion of z in z
2.875 * [taylor]: Taking taylor expansion of (/ -18.0 t) in t
2.875 * [taylor]: Taking taylor expansion of -18.0 in t
2.875 * [taylor]: Taking taylor expansion of t in t
2.876 * [taylor]: Taking taylor expansion of 0 in z
2.876 * [taylor]: Taking taylor expansion of 0 in t
2.876 * [taylor]: Taking taylor expansion of 0 in z
2.876 * [taylor]: Taking taylor expansion of 0 in t
2.876 * [taylor]: Taking taylor expansion of 0 in t
2.877 * [taylor]: Taking taylor expansion of 0 in z
2.877 * [taylor]: Taking taylor expansion of 0 in t
2.877 * [taylor]: Taking taylor expansion of 0 in t
2.877 * [taylor]: Taking taylor expansion of 0 in t
2.877 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.877 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.877 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
2.877 * [taylor]: Taking taylor expansion of 18.0 in t
2.877 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.877 * [taylor]: Taking taylor expansion of t in t
2.877 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.877 * [taylor]: Taking taylor expansion of x in t
2.877 * [taylor]: Taking taylor expansion of (* z y) in t
2.877 * [taylor]: Taking taylor expansion of z in t
2.877 * [taylor]: Taking taylor expansion of y in t
2.877 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
2.877 * [taylor]: Taking taylor expansion of 18.0 in z
2.877 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.877 * [taylor]: Taking taylor expansion of t in z
2.877 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.877 * [taylor]: Taking taylor expansion of x in z
2.877 * [taylor]: Taking taylor expansion of (* z y) in z
2.877 * [taylor]: Taking taylor expansion of z in z
2.877 * [taylor]: Taking taylor expansion of y in z
2.877 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
2.877 * [taylor]: Taking taylor expansion of 18.0 in y
2.877 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.877 * [taylor]: Taking taylor expansion of t in y
2.877 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.877 * [taylor]: Taking taylor expansion of x in y
2.877 * [taylor]: Taking taylor expansion of (* z y) in y
2.877 * [taylor]: Taking taylor expansion of z in y
2.877 * [taylor]: Taking taylor expansion of y in y
2.877 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
2.877 * [taylor]: Taking taylor expansion of 18.0 in x
2.877 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.877 * [taylor]: Taking taylor expansion of t in x
2.877 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.878 * [taylor]: Taking taylor expansion of x in x
2.878 * [taylor]: Taking taylor expansion of (* z y) in x
2.878 * [taylor]: Taking taylor expansion of z in x
2.878 * [taylor]: Taking taylor expansion of y in x
2.878 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
2.878 * [taylor]: Taking taylor expansion of 18.0 in x
2.878 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.878 * [taylor]: Taking taylor expansion of t in x
2.878 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.878 * [taylor]: Taking taylor expansion of x in x
2.878 * [taylor]: Taking taylor expansion of (* z y) in x
2.878 * [taylor]: Taking taylor expansion of z in x
2.878 * [taylor]: Taking taylor expansion of y in x
2.878 * [taylor]: Taking taylor expansion of 0 in y
2.878 * [taylor]: Taking taylor expansion of 0 in z
2.878 * [taylor]: Taking taylor expansion of 0 in t
2.878 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
2.878 * [taylor]: Taking taylor expansion of 18.0 in y
2.878 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.878 * [taylor]: Taking taylor expansion of t in y
2.878 * [taylor]: Taking taylor expansion of (* z y) in y
2.878 * [taylor]: Taking taylor expansion of z in y
2.878 * [taylor]: Taking taylor expansion of y in y
2.878 * [taylor]: Taking taylor expansion of 0 in z
2.878 * [taylor]: Taking taylor expansion of 0 in t
2.878 * [taylor]: Taking taylor expansion of 0 in z
2.878 * [taylor]: Taking taylor expansion of 0 in t
2.878 * [taylor]: Taking taylor expansion of 0 in t
2.878 * [taylor]: Taking taylor expansion of 0 in y
2.878 * [taylor]: Taking taylor expansion of 0 in z
2.878 * [taylor]: Taking taylor expansion of 0 in t
2.879 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.879 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
2.879 * [taylor]: Taking taylor expansion of 18.0 in t
2.879 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.879 * [taylor]: Taking taylor expansion of t in t
2.879 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.879 * [taylor]: Taking taylor expansion of x in t
2.879 * [taylor]: Taking taylor expansion of (* z y) in t
2.879 * [taylor]: Taking taylor expansion of z in t
2.879 * [taylor]: Taking taylor expansion of y in t
2.879 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
2.879 * [taylor]: Taking taylor expansion of 18.0 in z
2.879 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.879 * [taylor]: Taking taylor expansion of t in z
2.879 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.879 * [taylor]: Taking taylor expansion of x in z
2.879 * [taylor]: Taking taylor expansion of (* z y) in z
2.879 * [taylor]: Taking taylor expansion of z in z
2.879 * [taylor]: Taking taylor expansion of y in z
2.879 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
2.879 * [taylor]: Taking taylor expansion of 18.0 in y
2.879 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.879 * [taylor]: Taking taylor expansion of t in y
2.879 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.879 * [taylor]: Taking taylor expansion of x in y
2.879 * [taylor]: Taking taylor expansion of (* z y) in y
2.879 * [taylor]: Taking taylor expansion of z in y
2.879 * [taylor]: Taking taylor expansion of y in y
2.879 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.880 * [taylor]: Taking taylor expansion of 18.0 in x
2.880 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.880 * [taylor]: Taking taylor expansion of t in x
2.880 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.880 * [taylor]: Taking taylor expansion of x in x
2.880 * [taylor]: Taking taylor expansion of (* z y) in x
2.880 * [taylor]: Taking taylor expansion of z in x
2.880 * [taylor]: Taking taylor expansion of y in x
2.880 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.880 * [taylor]: Taking taylor expansion of 18.0 in x
2.880 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.880 * [taylor]: Taking taylor expansion of t in x
2.880 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.880 * [taylor]: Taking taylor expansion of x in x
2.880 * [taylor]: Taking taylor expansion of (* z y) in x
2.880 * [taylor]: Taking taylor expansion of z in x
2.880 * [taylor]: Taking taylor expansion of y in x
2.880 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.880 * [taylor]: Taking taylor expansion of 18.0 in y
2.880 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.880 * [taylor]: Taking taylor expansion of t in y
2.880 * [taylor]: Taking taylor expansion of (* z y) in y
2.880 * [taylor]: Taking taylor expansion of z in y
2.880 * [taylor]: Taking taylor expansion of y in y
2.880 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.880 * [taylor]: Taking taylor expansion of 18.0 in z
2.880 * [taylor]: Taking taylor expansion of (* t z) in z
2.880 * [taylor]: Taking taylor expansion of t in z
2.880 * [taylor]: Taking taylor expansion of z in z
2.880 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.880 * [taylor]: Taking taylor expansion of 18.0 in t
2.880 * [taylor]: Taking taylor expansion of t in t
2.881 * [taylor]: Taking taylor expansion of 0 in y
2.881 * [taylor]: Taking taylor expansion of 0 in z
2.881 * [taylor]: Taking taylor expansion of 0 in t
2.881 * [taylor]: Taking taylor expansion of 0 in y
2.881 * [taylor]: Taking taylor expansion of 0 in z
2.882 * [taylor]: Taking taylor expansion of 0 in z
2.882 * [taylor]: Taking taylor expansion of 0 in t
2.882 * [taylor]: Taking taylor expansion of 0 in t
2.882 * [taylor]: Taking taylor expansion of 0 in y
2.882 * [taylor]: Taking taylor expansion of 0 in z
2.882 * [taylor]: Taking taylor expansion of 0 in z
2.882 * [taylor]: Taking taylor expansion of 0 in z
2.882 * [taylor]: Taking taylor expansion of 0 in t
2.882 * [taylor]: Taking taylor expansion of 0 in t
2.882 * [taylor]: Taking taylor expansion of 0 in t
2.883 * [taylor]: Taking taylor expansion of 0 in t
2.885 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.885 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
2.885 * [taylor]: Taking taylor expansion of 18.0 in t
2.885 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.885 * [taylor]: Taking taylor expansion of t in t
2.885 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.885 * [taylor]: Taking taylor expansion of x in t
2.885 * [taylor]: Taking taylor expansion of (* z y) in t
2.885 * [taylor]: Taking taylor expansion of z in t
2.885 * [taylor]: Taking taylor expansion of y in t
2.885 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
2.885 * [taylor]: Taking taylor expansion of 18.0 in z
2.885 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.885 * [taylor]: Taking taylor expansion of t in z
2.885 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.885 * [taylor]: Taking taylor expansion of x in z
2.885 * [taylor]: Taking taylor expansion of (* z y) in z
2.885 * [taylor]: Taking taylor expansion of z in z
2.885 * [taylor]: Taking taylor expansion of y in z
2.885 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
2.885 * [taylor]: Taking taylor expansion of 18.0 in y
2.885 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.885 * [taylor]: Taking taylor expansion of t in y
2.885 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.885 * [taylor]: Taking taylor expansion of x in y
2.885 * [taylor]: Taking taylor expansion of (* z y) in y
2.885 * [taylor]: Taking taylor expansion of z in y
2.885 * [taylor]: Taking taylor expansion of y in y
2.886 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.886 * [taylor]: Taking taylor expansion of 18.0 in x
2.886 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.886 * [taylor]: Taking taylor expansion of t in x
2.886 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.886 * [taylor]: Taking taylor expansion of x in x
2.886 * [taylor]: Taking taylor expansion of (* z y) in x
2.886 * [taylor]: Taking taylor expansion of z in x
2.886 * [taylor]: Taking taylor expansion of y in x
2.886 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.886 * [taylor]: Taking taylor expansion of 18.0 in x
2.886 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.886 * [taylor]: Taking taylor expansion of t in x
2.886 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.886 * [taylor]: Taking taylor expansion of x in x
2.886 * [taylor]: Taking taylor expansion of (* z y) in x
2.886 * [taylor]: Taking taylor expansion of z in x
2.886 * [taylor]: Taking taylor expansion of y in x
2.886 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.886 * [taylor]: Taking taylor expansion of 18.0 in y
2.886 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.886 * [taylor]: Taking taylor expansion of t in y
2.886 * [taylor]: Taking taylor expansion of (* z y) in y
2.886 * [taylor]: Taking taylor expansion of z in y
2.886 * [taylor]: Taking taylor expansion of y in y
2.887 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.887 * [taylor]: Taking taylor expansion of 18.0 in z
2.887 * [taylor]: Taking taylor expansion of (* t z) in z
2.887 * [taylor]: Taking taylor expansion of t in z
2.887 * [taylor]: Taking taylor expansion of z in z
2.887 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.887 * [taylor]: Taking taylor expansion of 18.0 in t
2.887 * [taylor]: Taking taylor expansion of t in t
2.887 * [taylor]: Taking taylor expansion of 0 in y
2.887 * [taylor]: Taking taylor expansion of 0 in z
2.887 * [taylor]: Taking taylor expansion of 0 in t
2.887 * [taylor]: Taking taylor expansion of 0 in y
2.888 * [taylor]: Taking taylor expansion of 0 in z
2.888 * [taylor]: Taking taylor expansion of 0 in z
2.888 * [taylor]: Taking taylor expansion of 0 in t
2.888 * [taylor]: Taking taylor expansion of 0 in t
2.888 * [taylor]: Taking taylor expansion of 0 in y
2.888 * [taylor]: Taking taylor expansion of 0 in z
2.888 * [taylor]: Taking taylor expansion of 0 in z
2.889 * [taylor]: Taking taylor expansion of 0 in z
2.889 * [taylor]: Taking taylor expansion of 0 in t
2.889 * [taylor]: Taking taylor expansion of 0 in t
2.889 * [taylor]: Taking taylor expansion of 0 in t
2.889 * [taylor]: Taking taylor expansion of 0 in t
2.889 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
2.889 * [approximate]: Taking taylor expansion of (* 18.0 (* t z)) in (z t) around 0
2.889 * [taylor]: Taking taylor expansion of (* 18.0 (* t z)) in t
2.889 * [taylor]: Taking taylor expansion of 18.0 in t
2.889 * [taylor]: Taking taylor expansion of (* t z) in t
2.889 * [taylor]: Taking taylor expansion of t in t
2.889 * [taylor]: Taking taylor expansion of z in t
2.889 * [taylor]: Taking taylor expansion of (* 18.0 (* t z)) in z
2.889 * [taylor]: Taking taylor expansion of 18.0 in z
2.889 * [taylor]: Taking taylor expansion of (* t z) in z
2.889 * [taylor]: Taking taylor expansion of t in z
2.889 * [taylor]: Taking taylor expansion of z in z
2.889 * [taylor]: Taking taylor expansion of (* 18.0 (* t z)) in z
2.889 * [taylor]: Taking taylor expansion of 18.0 in z
2.889 * [taylor]: Taking taylor expansion of (* t z) in z
2.889 * [taylor]: Taking taylor expansion of t in z
2.889 * [taylor]: Taking taylor expansion of z in z
2.889 * [taylor]: Taking taylor expansion of 0 in t
2.889 * [taylor]: Taking taylor expansion of (* 18.0 t) in t
2.889 * [taylor]: Taking taylor expansion of 18.0 in t
2.889 * [taylor]: Taking taylor expansion of t in t
2.890 * [taylor]: Taking taylor expansion of 0 in t
2.890 * [taylor]: Taking taylor expansion of 0 in t
2.890 * [taylor]: Taking taylor expansion of 0 in t
2.890 * [approximate]: Taking taylor expansion of (/ 18.0 (* t z)) in (z t) around 0
2.890 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in t
2.890 * [taylor]: Taking taylor expansion of 18.0 in t
2.890 * [taylor]: Taking taylor expansion of (* t z) in t
2.890 * [taylor]: Taking taylor expansion of t in t
2.890 * [taylor]: Taking taylor expansion of z in t
2.890 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.890 * [taylor]: Taking taylor expansion of 18.0 in z
2.890 * [taylor]: Taking taylor expansion of (* t z) in z
2.890 * [taylor]: Taking taylor expansion of t in z
2.890 * [taylor]: Taking taylor expansion of z in z
2.890 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.890 * [taylor]: Taking taylor expansion of 18.0 in z
2.890 * [taylor]: Taking taylor expansion of (* t z) in z
2.890 * [taylor]: Taking taylor expansion of t in z
2.890 * [taylor]: Taking taylor expansion of z in z
2.890 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.890 * [taylor]: Taking taylor expansion of 18.0 in t
2.890 * [taylor]: Taking taylor expansion of t in t
2.891 * [taylor]: Taking taylor expansion of 0 in t
2.891 * [taylor]: Taking taylor expansion of 0 in t
2.891 * [taylor]: Taking taylor expansion of 0 in t
2.891 * [approximate]: Taking taylor expansion of (/ 18.0 (* t z)) in (z t) around 0
2.891 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in t
2.891 * [taylor]: Taking taylor expansion of 18.0 in t
2.891 * [taylor]: Taking taylor expansion of (* t z) in t
2.891 * [taylor]: Taking taylor expansion of t in t
2.891 * [taylor]: Taking taylor expansion of z in t
2.891 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.891 * [taylor]: Taking taylor expansion of 18.0 in z
2.891 * [taylor]: Taking taylor expansion of (* t z) in z
2.891 * [taylor]: Taking taylor expansion of t in z
2.891 * [taylor]: Taking taylor expansion of z in z
2.891 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.891 * [taylor]: Taking taylor expansion of 18.0 in z
2.891 * [taylor]: Taking taylor expansion of (* t z) in z
2.891 * [taylor]: Taking taylor expansion of t in z
2.891 * [taylor]: Taking taylor expansion of z in z
2.892 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.892 * [taylor]: Taking taylor expansion of 18.0 in t
2.892 * [taylor]: Taking taylor expansion of t in t
2.892 * [taylor]: Taking taylor expansion of 0 in t
2.892 * [taylor]: Taking taylor expansion of 0 in t
2.892 * [taylor]: Taking taylor expansion of 0 in t
2.892 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
2.892 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
2.892 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
2.892 * [taylor]: Taking taylor expansion of 27.0 in k
2.892 * [taylor]: Taking taylor expansion of (* k j) in k
2.892 * [taylor]: Taking taylor expansion of k in k
2.892 * [taylor]: Taking taylor expansion of j in k
2.892 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
2.892 * [taylor]: Taking taylor expansion of 27.0 in j
2.892 * [taylor]: Taking taylor expansion of (* k j) in j
2.892 * [taylor]: Taking taylor expansion of k in j
2.892 * [taylor]: Taking taylor expansion of j in j
2.892 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
2.892 * [taylor]: Taking taylor expansion of 27.0 in j
2.892 * [taylor]: Taking taylor expansion of (* k j) in j
2.892 * [taylor]: Taking taylor expansion of k in j
2.893 * [taylor]: Taking taylor expansion of j in j
2.893 * [taylor]: Taking taylor expansion of 0 in k
2.893 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
2.893 * [taylor]: Taking taylor expansion of 27.0 in k
2.893 * [taylor]: Taking taylor expansion of k in k
2.893 * [taylor]: Taking taylor expansion of 0 in k
2.893 * [taylor]: Taking taylor expansion of 0 in k
2.893 * [taylor]: Taking taylor expansion of 0 in k
2.893 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
2.893 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
2.893 * [taylor]: Taking taylor expansion of 27.0 in k
2.893 * [taylor]: Taking taylor expansion of (* k j) in k
2.893 * [taylor]: Taking taylor expansion of k in k
2.893 * [taylor]: Taking taylor expansion of j in k
2.893 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.893 * [taylor]: Taking taylor expansion of 27.0 in j
2.893 * [taylor]: Taking taylor expansion of (* k j) in j
2.893 * [taylor]: Taking taylor expansion of k in j
2.893 * [taylor]: Taking taylor expansion of j in j
2.893 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.893 * [taylor]: Taking taylor expansion of 27.0 in j
2.894 * [taylor]: Taking taylor expansion of (* k j) in j
2.894 * [taylor]: Taking taylor expansion of k in j
2.894 * [taylor]: Taking taylor expansion of j in j
2.894 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
2.894 * [taylor]: Taking taylor expansion of 27.0 in k
2.894 * [taylor]: Taking taylor expansion of k in k
2.894 * [taylor]: Taking taylor expansion of 0 in k
2.894 * [taylor]: Taking taylor expansion of 0 in k
2.894 * [taylor]: Taking taylor expansion of 0 in k
2.894 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
2.894 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
2.894 * [taylor]: Taking taylor expansion of 27.0 in k
2.894 * [taylor]: Taking taylor expansion of (* k j) in k
2.894 * [taylor]: Taking taylor expansion of k in k
2.894 * [taylor]: Taking taylor expansion of j in k
2.895 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.895 * [taylor]: Taking taylor expansion of 27.0 in j
2.895 * [taylor]: Taking taylor expansion of (* k j) in j
2.895 * [taylor]: Taking taylor expansion of k in j
2.895 * [taylor]: Taking taylor expansion of j in j
2.895 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
2.895 * [taylor]: Taking taylor expansion of 27.0 in j
2.895 * [taylor]: Taking taylor expansion of (* k j) in j
2.895 * [taylor]: Taking taylor expansion of k in j
2.895 * [taylor]: Taking taylor expansion of j in j
2.895 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
2.895 * [taylor]: Taking taylor expansion of 27.0 in k
2.895 * [taylor]: Taking taylor expansion of k in k
2.895 * [taylor]: Taking taylor expansion of 0 in k
2.895 * [taylor]: Taking taylor expansion of 0 in k
2.895 * [taylor]: Taking taylor expansion of 0 in k
2.895 * * * [progress]: simplifying candidates
2.897 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (+ (log y) (+ (log 18.0) (+ (log z) (log t))))
  (+ (log y) (+ (log 18.0) (log (* z t))))
  (+ (log y) (log (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (exp (* y (* 18.0 (* z t))))
  (* (* (* y y) y) (* (* (* 18.0 18.0) 18.0) (* (* (* z z) z) (* (* t t) t))))
  (* (* (* y y) y) (* (* (* 18.0 18.0) 18.0) (* (* (* z t) (* z t)) (* z t))))
  (* (* (* y y) y) (* (* (* 18.0 (* z t)) (* 18.0 (* z t))) (* 18.0 (* z t))))
  (* (cbrt (* y (* 18.0 (* z t)))) (cbrt (* y (* 18.0 (* z t)))))
  (cbrt (* y (* 18.0 (* z t))))
  (* (* (* y (* 18.0 (* z t))) (* y (* 18.0 (* z t)))) (* y (* 18.0 (* z t))))
  (sqrt (* y (* 18.0 (* z t))))
  (sqrt (* y (* 18.0 (* z t))))
  (* y 18.0)
  (* (cbrt y) (* 18.0 (* z t)))
  (* (sqrt y) (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (* x (* y (* 18.0 (* z t))))
  (* x (* y (* 18.0 (* z t))))
  (* x (* y (* 18.0 (* z t))))
  (* x (* y (* 18.0 (* z t))))
  (+ (log x) (+ (log y) (+ (log 18.0) (+ (log z) (log t)))))
  (+ (log x) (+ (log y) (+ (log 18.0) (log (* z t)))))
  (+ (log x) (+ (log y) (log (* 18.0 (* z t)))))
  (+ (log x) (log (* y (* 18.0 (* z t)))))
  (log (* x (* y (* 18.0 (* z t)))))
  (exp (* x (* y (* 18.0 (* z t)))))
  (* (* (* x x) x) (* (* (* y y) y) (* (* (* 18.0 18.0) 18.0) (* (* (* z z) z) (* (* t t) t)))))
  (* (* (* x x) x) (* (* (* y y) y) (* (* (* 18.0 18.0) 18.0) (* (* (* z t) (* z t)) (* z t)))))
  (* (* (* x x) x) (* (* (* y y) y) (* (* (* 18.0 (* z t)) (* 18.0 (* z t))) (* 18.0 (* z t)))))
  (* (* (* x x) x) (* (* (* y (* 18.0 (* z t))) (* y (* 18.0 (* z t)))) (* y (* 18.0 (* z t)))))
  (* (cbrt (* x (* y (* 18.0 (* z t))))) (cbrt (* x (* y (* 18.0 (* z t))))))
  (cbrt (* x (* y (* 18.0 (* z t)))))
  (* (* (* x (* y (* 18.0 (* z t)))) (* x (* y (* 18.0 (* z t))))) (* x (* y (* 18.0 (* z t)))))
  (sqrt (* x (* y (* 18.0 (* z t)))))
  (sqrt (* x (* y (* 18.0 (* z t)))))
  (* x y)
  (* (cbrt x) (* y (* 18.0 (* z t))))
  (* (sqrt x) (* y (* 18.0 (* z t))))
  (* x (* y (* 18.0 (* z t))))
  (* 18.0 (* z t))
  (* 18.0 (* z t))
  (+ (log 18.0) (+ (log z) (log t)))
  (+ (log 18.0) (log (* z t)))
  (log (* 18.0 (* z t)))
  (exp (* 18.0 (* z t)))
  (* (* (* 18.0 18.0) 18.0) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* 18.0 18.0) 18.0) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* 18.0 (* z t))) (cbrt (* 18.0 (* z t))))
  (cbrt (* 18.0 (* z t)))
  (* (* (* 18.0 (* z t)) (* 18.0 (* z t))) (* 18.0 (* z t)))
  (sqrt (* 18.0 (* z t)))
  (sqrt (* 18.0 (* z t)))
  (* 18.0 z)
  (* (cbrt 18.0) (* z t))
  (* (sqrt 18.0) (* z t))
  (* 18.0 (* z t))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  0
  (* 18.0 (* t (* z y)))
  (* 18.0 (* t (* z y)))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t z))
  (* 18.0 (* t z))
  (* 18.0 (* t z))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
2.933 * * [simplify]: iteration  0 :  5518  enodes  (cost  674 )
2.935 * [simplify]: Simplified to:
   (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (log (* y (* 18.0 (* z t))))
  (pow (pow (exp 18.0) (* z t)) y)
  (pow (* y (* 18.0 (* z t))) 3)
  (pow (* y (* 18.0 (* z t))) 3)
  (pow (* y (* 18.0 (* z t))) 3)
  (* (cbrt (* y (* 18.0 (* z t)))) (cbrt (* y (* 18.0 (* z t)))))
  (cbrt (* y (* 18.0 (* z t))))
  (pow (* y (* 18.0 (* z t))) 3)
  (sqrt (* y (* 18.0 (* z t))))
  (sqrt (* y (* 18.0 (* z t))))
  (* y 18.0)
  (* 18.0 (* (* z t) (cbrt y)))
  (* 18.0 (* (* z t) (sqrt y)))
  (* y (* 18.0 (* z t)))
  (* y (* (* 18.0 (* z t)) x))
  (* y (* (* 18.0 (* z t)) x))
  (* y (* (* 18.0 (* z t)) x))
  (* y (* (* 18.0 (* z t)) x))
  (log (* y (* (* 18.0 (* z t)) x)))
  (log (* y (* (* 18.0 (* z t)) x)))
  (log (* y (* (* 18.0 (* z t)) x)))
  (log (* y (* (* 18.0 (* z t)) x)))
  (log (* y (* (* 18.0 (* z t)) x)))
  (pow (pow (pow (exp 18.0) (* z t)) y) x)
  (pow (* y (* (* 18.0 (* z t)) x)) 3)
  (pow (* y (* (* 18.0 (* z t)) x)) 3)
  (pow (* y (* (* 18.0 (* z t)) x)) 3)
  (pow (* y (* (* 18.0 (* z t)) x)) 3)
  (* (cbrt (* y (* (* 18.0 (* z t)) x))) (cbrt (* y (* (* 18.0 (* z t)) x))))
  (cbrt (* y (* (* 18.0 (* z t)) x)))
  (pow (* y (* (* 18.0 (* z t)) x)) 3)
  (sqrt (* y (* (* 18.0 (* z t)) x)))
  (sqrt (* y (* (* 18.0 (* z t)) x)))
  (* y x)
  (* y (* (* 18.0 (* z t)) (cbrt x)))
  (* y (* (* 18.0 (* z t)) (sqrt x)))
  (* y (* (* 18.0 (* z t)) x))
  (* 18.0 (* z t))
  (* 18.0 (* z t))
  (log (* 18.0 (* z t)))
  (log (* 18.0 (* z t)))
  (log (* 18.0 (* z t)))
  (pow (exp 18.0) (* z t))
  (pow (* 18.0 (* z t)) 3)
  (pow (* 18.0 (* z t)) 3)
  (* (cbrt (* 18.0 (* z t))) (cbrt (* 18.0 (* z t))))
  (cbrt (* 18.0 (* z t)))
  (pow (* 18.0 (* z t)) 3)
  (sqrt (* 18.0 (* z t)))
  (sqrt (* 18.0 (* z t)))
  (* 18.0 z)
  (* z (* t (cbrt 18.0)))
  (* z (* t (sqrt 18.0)))
  (* 18.0 (* z t))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (pow (exp j) (* 27.0 k))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* 27.0 (* k (cbrt j)))
  (* 27.0 (* k (sqrt j)))
  (* j (* 27.0 k))
  0
  (* y (* 18.0 (* z t)))
  (* y (* 18.0 (* z t)))
  0
  (* y (* (* 18.0 (* z t)) x))
  (* y (* (* 18.0 (* z t)) x))
  (* 18.0 (* z t))
  (* 18.0 (* z t))
  (* 18.0 (* z t))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
2.936 * * * [progress]: adding candidates to table
3.017 * * [progress]: iteration 3 / 4
3.018 * * * [progress]: picking best candidate
3.044 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))>
3.045 * * * [progress]: localizing error
3.069 * * * [progress]: generating rewritten candidates
3.069 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2)
3.073 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2)
3.076 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1)
3.080 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
3.085 * * * [progress]: generating series expansions
3.085 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2)
3.086 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
3.086 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
3.086 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
3.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
3.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
3.086 * [taylor]: Taking taylor expansion of 1/3 in k
3.086 * [taylor]: Taking taylor expansion of (log (* k j)) in k
3.086 * [taylor]: Taking taylor expansion of (* k j) in k
3.086 * [taylor]: Taking taylor expansion of k in k
3.086 * [taylor]: Taking taylor expansion of j in k
3.086 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.086 * [taylor]: Taking taylor expansion of 27.0 in k
3.086 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.086 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.086 * [taylor]: Taking taylor expansion of 1/3 in j
3.086 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.086 * [taylor]: Taking taylor expansion of (* k j) in j
3.086 * [taylor]: Taking taylor expansion of k in j
3.086 * [taylor]: Taking taylor expansion of j in j
3.086 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.086 * [taylor]: Taking taylor expansion of 27.0 in j
3.086 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.086 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.086 * [taylor]: Taking taylor expansion of 1/3 in j
3.086 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.087 * [taylor]: Taking taylor expansion of (* k j) in j
3.087 * [taylor]: Taking taylor expansion of k in j
3.087 * [taylor]: Taking taylor expansion of j in j
3.087 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.087 * [taylor]: Taking taylor expansion of 27.0 in j
3.087 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
3.087 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.087 * [taylor]: Taking taylor expansion of 27.0 in k
3.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
3.087 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
3.087 * [taylor]: Taking taylor expansion of 1/3 in k
3.087 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
3.087 * [taylor]: Taking taylor expansion of (log k) in k
3.087 * [taylor]: Taking taylor expansion of k in k
3.087 * [taylor]: Taking taylor expansion of (log j) in k
3.087 * [taylor]: Taking taylor expansion of j in k
3.088 * [taylor]: Taking taylor expansion of 0 in k
3.089 * [taylor]: Taking taylor expansion of 0 in k
3.090 * [taylor]: Taking taylor expansion of 0 in k
3.091 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.091 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.091 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.091 * [taylor]: Taking taylor expansion of 1/3 in k
3.091 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.091 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.091 * [taylor]: Taking taylor expansion of (* k j) in k
3.091 * [taylor]: Taking taylor expansion of k in k
3.091 * [taylor]: Taking taylor expansion of j in k
3.091 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.091 * [taylor]: Taking taylor expansion of 27.0 in k
3.091 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.091 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.091 * [taylor]: Taking taylor expansion of 1/3 in j
3.091 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.091 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.091 * [taylor]: Taking taylor expansion of (* k j) in j
3.091 * [taylor]: Taking taylor expansion of k in j
3.091 * [taylor]: Taking taylor expansion of j in j
3.092 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.092 * [taylor]: Taking taylor expansion of 27.0 in j
3.092 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.092 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.092 * [taylor]: Taking taylor expansion of 1/3 in j
3.092 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.092 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.092 * [taylor]: Taking taylor expansion of (* k j) in j
3.092 * [taylor]: Taking taylor expansion of k in j
3.092 * [taylor]: Taking taylor expansion of j in j
3.092 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.092 * [taylor]: Taking taylor expansion of 27.0 in j
3.092 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.092 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.092 * [taylor]: Taking taylor expansion of 1/3 in k
3.092 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.092 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.092 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.092 * [taylor]: Taking taylor expansion of k in k
3.092 * [taylor]: Taking taylor expansion of (log j) in k
3.092 * [taylor]: Taking taylor expansion of j in k
3.093 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.093 * [taylor]: Taking taylor expansion of 27.0 in k
3.093 * [taylor]: Taking taylor expansion of 0 in k
3.094 * [taylor]: Taking taylor expansion of 0 in k
3.096 * [taylor]: Taking taylor expansion of 0 in k
3.096 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.096 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.096 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.096 * [taylor]: Taking taylor expansion of 1/3 in k
3.096 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.096 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.096 * [taylor]: Taking taylor expansion of (* k j) in k
3.096 * [taylor]: Taking taylor expansion of k in k
3.097 * [taylor]: Taking taylor expansion of j in k
3.097 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.097 * [taylor]: Taking taylor expansion of 27.0 in k
3.097 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.097 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.097 * [taylor]: Taking taylor expansion of 1/3 in j
3.097 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.097 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.097 * [taylor]: Taking taylor expansion of (* k j) in j
3.097 * [taylor]: Taking taylor expansion of k in j
3.097 * [taylor]: Taking taylor expansion of j in j
3.097 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.097 * [taylor]: Taking taylor expansion of 27.0 in j
3.097 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.097 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.097 * [taylor]: Taking taylor expansion of 1/3 in j
3.097 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.097 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.097 * [taylor]: Taking taylor expansion of (* k j) in j
3.097 * [taylor]: Taking taylor expansion of k in j
3.097 * [taylor]: Taking taylor expansion of j in j
3.098 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.098 * [taylor]: Taking taylor expansion of 27.0 in j
3.098 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.098 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.098 * [taylor]: Taking taylor expansion of 1/3 in k
3.098 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.098 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.098 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.098 * [taylor]: Taking taylor expansion of k in k
3.098 * [taylor]: Taking taylor expansion of (log j) in k
3.098 * [taylor]: Taking taylor expansion of j in k
3.098 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.098 * [taylor]: Taking taylor expansion of 27.0 in k
3.099 * [taylor]: Taking taylor expansion of 0 in k
3.100 * [taylor]: Taking taylor expansion of 0 in k
3.102 * [taylor]: Taking taylor expansion of 0 in k
3.102 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2)
3.102 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
3.102 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
3.102 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
3.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
3.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
3.102 * [taylor]: Taking taylor expansion of 1/3 in k
3.102 * [taylor]: Taking taylor expansion of (log (* k j)) in k
3.102 * [taylor]: Taking taylor expansion of (* k j) in k
3.102 * [taylor]: Taking taylor expansion of k in k
3.102 * [taylor]: Taking taylor expansion of j in k
3.102 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.102 * [taylor]: Taking taylor expansion of 27.0 in k
3.102 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.102 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.102 * [taylor]: Taking taylor expansion of 1/3 in j
3.103 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.103 * [taylor]: Taking taylor expansion of (* k j) in j
3.103 * [taylor]: Taking taylor expansion of k in j
3.103 * [taylor]: Taking taylor expansion of j in j
3.104 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.104 * [taylor]: Taking taylor expansion of 27.0 in j
3.104 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.104 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.104 * [taylor]: Taking taylor expansion of 1/3 in j
3.104 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.104 * [taylor]: Taking taylor expansion of (* k j) in j
3.104 * [taylor]: Taking taylor expansion of k in j
3.104 * [taylor]: Taking taylor expansion of j in j
3.105 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.105 * [taylor]: Taking taylor expansion of 27.0 in j
3.105 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
3.105 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.105 * [taylor]: Taking taylor expansion of 27.0 in k
3.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
3.105 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
3.105 * [taylor]: Taking taylor expansion of 1/3 in k
3.105 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
3.105 * [taylor]: Taking taylor expansion of (log k) in k
3.105 * [taylor]: Taking taylor expansion of k in k
3.105 * [taylor]: Taking taylor expansion of (log j) in k
3.105 * [taylor]: Taking taylor expansion of j in k
3.106 * [taylor]: Taking taylor expansion of 0 in k
3.107 * [taylor]: Taking taylor expansion of 0 in k
3.108 * [taylor]: Taking taylor expansion of 0 in k
3.109 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.109 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.109 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.109 * [taylor]: Taking taylor expansion of 1/3 in k
3.109 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.109 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.109 * [taylor]: Taking taylor expansion of (* k j) in k
3.109 * [taylor]: Taking taylor expansion of k in k
3.109 * [taylor]: Taking taylor expansion of j in k
3.109 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.109 * [taylor]: Taking taylor expansion of 27.0 in k
3.109 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.109 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.109 * [taylor]: Taking taylor expansion of 1/3 in j
3.109 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.109 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.109 * [taylor]: Taking taylor expansion of (* k j) in j
3.109 * [taylor]: Taking taylor expansion of k in j
3.109 * [taylor]: Taking taylor expansion of j in j
3.109 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.109 * [taylor]: Taking taylor expansion of 27.0 in j
3.110 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.110 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.110 * [taylor]: Taking taylor expansion of 1/3 in j
3.110 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.110 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.110 * [taylor]: Taking taylor expansion of (* k j) in j
3.110 * [taylor]: Taking taylor expansion of k in j
3.110 * [taylor]: Taking taylor expansion of j in j
3.110 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.110 * [taylor]: Taking taylor expansion of 27.0 in j
3.110 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.110 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.110 * [taylor]: Taking taylor expansion of 1/3 in k
3.110 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.110 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.110 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.110 * [taylor]: Taking taylor expansion of k in k
3.110 * [taylor]: Taking taylor expansion of (log j) in k
3.110 * [taylor]: Taking taylor expansion of j in k
3.110 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.110 * [taylor]: Taking taylor expansion of 27.0 in k
3.111 * [taylor]: Taking taylor expansion of 0 in k
3.112 * [taylor]: Taking taylor expansion of 0 in k
3.114 * [taylor]: Taking taylor expansion of 0 in k
3.114 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.114 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.114 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.115 * [taylor]: Taking taylor expansion of 1/3 in k
3.115 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.115 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.115 * [taylor]: Taking taylor expansion of (* k j) in k
3.115 * [taylor]: Taking taylor expansion of k in k
3.115 * [taylor]: Taking taylor expansion of j in k
3.115 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.115 * [taylor]: Taking taylor expansion of 27.0 in k
3.115 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.115 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.115 * [taylor]: Taking taylor expansion of 1/3 in j
3.115 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.115 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.115 * [taylor]: Taking taylor expansion of (* k j) in j
3.115 * [taylor]: Taking taylor expansion of k in j
3.115 * [taylor]: Taking taylor expansion of j in j
3.115 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.115 * [taylor]: Taking taylor expansion of 27.0 in j
3.115 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.115 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.115 * [taylor]: Taking taylor expansion of 1/3 in j
3.115 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.115 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.115 * [taylor]: Taking taylor expansion of (* k j) in j
3.115 * [taylor]: Taking taylor expansion of k in j
3.115 * [taylor]: Taking taylor expansion of j in j
3.116 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.116 * [taylor]: Taking taylor expansion of 27.0 in j
3.116 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.116 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.116 * [taylor]: Taking taylor expansion of 1/3 in k
3.116 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.116 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.116 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.116 * [taylor]: Taking taylor expansion of k in k
3.116 * [taylor]: Taking taylor expansion of (log j) in k
3.116 * [taylor]: Taking taylor expansion of j in k
3.116 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.116 * [taylor]: Taking taylor expansion of 27.0 in k
3.117 * [taylor]: Taking taylor expansion of 0 in k
3.118 * [taylor]: Taking taylor expansion of 0 in k
3.120 * [taylor]: Taking taylor expansion of 0 in k
3.120 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1)
3.120 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
3.120 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
3.120 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
3.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
3.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
3.120 * [taylor]: Taking taylor expansion of 1/3 in k
3.120 * [taylor]: Taking taylor expansion of (log (* k j)) in k
3.120 * [taylor]: Taking taylor expansion of (* k j) in k
3.120 * [taylor]: Taking taylor expansion of k in k
3.120 * [taylor]: Taking taylor expansion of j in k
3.120 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.120 * [taylor]: Taking taylor expansion of 27.0 in k
3.121 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.121 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.121 * [taylor]: Taking taylor expansion of 1/3 in j
3.121 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.121 * [taylor]: Taking taylor expansion of (* k j) in j
3.121 * [taylor]: Taking taylor expansion of k in j
3.121 * [taylor]: Taking taylor expansion of j in j
3.121 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.121 * [taylor]: Taking taylor expansion of 27.0 in j
3.121 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.121 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.121 * [taylor]: Taking taylor expansion of 1/3 in j
3.121 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.121 * [taylor]: Taking taylor expansion of (* k j) in j
3.121 * [taylor]: Taking taylor expansion of k in j
3.121 * [taylor]: Taking taylor expansion of j in j
3.121 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.121 * [taylor]: Taking taylor expansion of 27.0 in j
3.121 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
3.121 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.121 * [taylor]: Taking taylor expansion of 27.0 in k
3.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
3.121 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
3.121 * [taylor]: Taking taylor expansion of 1/3 in k
3.122 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
3.122 * [taylor]: Taking taylor expansion of (log k) in k
3.122 * [taylor]: Taking taylor expansion of k in k
3.122 * [taylor]: Taking taylor expansion of (log j) in k
3.122 * [taylor]: Taking taylor expansion of j in k
3.122 * [taylor]: Taking taylor expansion of 0 in k
3.123 * [taylor]: Taking taylor expansion of 0 in k
3.125 * [taylor]: Taking taylor expansion of 0 in k
3.125 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.125 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.125 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.125 * [taylor]: Taking taylor expansion of 1/3 in k
3.125 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.125 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.125 * [taylor]: Taking taylor expansion of (* k j) in k
3.125 * [taylor]: Taking taylor expansion of k in k
3.125 * [taylor]: Taking taylor expansion of j in k
3.126 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.126 * [taylor]: Taking taylor expansion of 27.0 in k
3.126 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.126 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.126 * [taylor]: Taking taylor expansion of 1/3 in j
3.126 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.126 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.126 * [taylor]: Taking taylor expansion of (* k j) in j
3.126 * [taylor]: Taking taylor expansion of k in j
3.126 * [taylor]: Taking taylor expansion of j in j
3.126 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.126 * [taylor]: Taking taylor expansion of 27.0 in j
3.126 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.126 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.126 * [taylor]: Taking taylor expansion of 1/3 in j
3.126 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.126 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.126 * [taylor]: Taking taylor expansion of (* k j) in j
3.126 * [taylor]: Taking taylor expansion of k in j
3.126 * [taylor]: Taking taylor expansion of j in j
3.126 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.126 * [taylor]: Taking taylor expansion of 27.0 in j
3.127 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.127 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.127 * [taylor]: Taking taylor expansion of 1/3 in k
3.127 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.127 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.127 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.127 * [taylor]: Taking taylor expansion of k in k
3.127 * [taylor]: Taking taylor expansion of (log j) in k
3.127 * [taylor]: Taking taylor expansion of j in k
3.127 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.127 * [taylor]: Taking taylor expansion of 27.0 in k
3.128 * [taylor]: Taking taylor expansion of 0 in k
3.129 * [taylor]: Taking taylor expansion of 0 in k
3.131 * [taylor]: Taking taylor expansion of 0 in k
3.131 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.131 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.131 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.131 * [taylor]: Taking taylor expansion of 1/3 in k
3.131 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.131 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.131 * [taylor]: Taking taylor expansion of (* k j) in k
3.131 * [taylor]: Taking taylor expansion of k in k
3.131 * [taylor]: Taking taylor expansion of j in k
3.131 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.131 * [taylor]: Taking taylor expansion of 27.0 in k
3.131 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.131 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.131 * [taylor]: Taking taylor expansion of 1/3 in j
3.131 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.131 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.131 * [taylor]: Taking taylor expansion of (* k j) in j
3.131 * [taylor]: Taking taylor expansion of k in j
3.131 * [taylor]: Taking taylor expansion of j in j
3.132 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.132 * [taylor]: Taking taylor expansion of 27.0 in j
3.132 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.132 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.132 * [taylor]: Taking taylor expansion of 1/3 in j
3.132 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.132 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.132 * [taylor]: Taking taylor expansion of (* k j) in j
3.132 * [taylor]: Taking taylor expansion of k in j
3.132 * [taylor]: Taking taylor expansion of j in j
3.132 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.132 * [taylor]: Taking taylor expansion of 27.0 in j
3.132 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.132 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.132 * [taylor]: Taking taylor expansion of 1/3 in k
3.132 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.132 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.132 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.132 * [taylor]: Taking taylor expansion of k in k
3.132 * [taylor]: Taking taylor expansion of (log j) in k
3.132 * [taylor]: Taking taylor expansion of j in k
3.133 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.133 * [taylor]: Taking taylor expansion of 27.0 in k
3.133 * [taylor]: Taking taylor expansion of 0 in k
3.135 * [taylor]: Taking taylor expansion of 0 in k
3.137 * [taylor]: Taking taylor expansion of 0 in k
3.137 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
3.137 * [approximate]: Taking taylor expansion of (* t (* z y)) in (y z t) around 0
3.137 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.137 * [taylor]: Taking taylor expansion of t in t
3.137 * [taylor]: Taking taylor expansion of (* z y) in t
3.137 * [taylor]: Taking taylor expansion of z in t
3.137 * [taylor]: Taking taylor expansion of y in t
3.137 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.137 * [taylor]: Taking taylor expansion of t in z
3.137 * [taylor]: Taking taylor expansion of (* z y) in z
3.137 * [taylor]: Taking taylor expansion of z in z
3.137 * [taylor]: Taking taylor expansion of y in z
3.137 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.137 * [taylor]: Taking taylor expansion of t in y
3.137 * [taylor]: Taking taylor expansion of (* z y) in y
3.137 * [taylor]: Taking taylor expansion of z in y
3.137 * [taylor]: Taking taylor expansion of y in y
3.137 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.137 * [taylor]: Taking taylor expansion of t in y
3.137 * [taylor]: Taking taylor expansion of (* z y) in y
3.137 * [taylor]: Taking taylor expansion of z in y
3.137 * [taylor]: Taking taylor expansion of y in y
3.137 * [taylor]: Taking taylor expansion of 0 in z
3.137 * [taylor]: Taking taylor expansion of 0 in t
3.137 * [taylor]: Taking taylor expansion of (* t z) in z
3.137 * [taylor]: Taking taylor expansion of t in z
3.137 * [taylor]: Taking taylor expansion of z in z
3.137 * [taylor]: Taking taylor expansion of 0 in t
3.137 * [taylor]: Taking taylor expansion of 0 in t
3.137 * [taylor]: Taking taylor expansion of 0 in z
3.137 * [taylor]: Taking taylor expansion of 0 in t
3.137 * [taylor]: Taking taylor expansion of t in t
3.138 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (y z t) around 0
3.138 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.138 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.138 * [taylor]: Taking taylor expansion of t in t
3.138 * [taylor]: Taking taylor expansion of (* z y) in t
3.138 * [taylor]: Taking taylor expansion of z in t
3.138 * [taylor]: Taking taylor expansion of y in t
3.138 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
3.138 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.138 * [taylor]: Taking taylor expansion of t in z
3.138 * [taylor]: Taking taylor expansion of (* z y) in z
3.138 * [taylor]: Taking taylor expansion of z in z
3.138 * [taylor]: Taking taylor expansion of y in z
3.138 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.138 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.138 * [taylor]: Taking taylor expansion of t in y
3.138 * [taylor]: Taking taylor expansion of (* z y) in y
3.138 * [taylor]: Taking taylor expansion of z in y
3.138 * [taylor]: Taking taylor expansion of y in y
3.138 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.138 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.138 * [taylor]: Taking taylor expansion of t in y
3.138 * [taylor]: Taking taylor expansion of (* z y) in y
3.138 * [taylor]: Taking taylor expansion of z in y
3.138 * [taylor]: Taking taylor expansion of y in y
3.138 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.138 * [taylor]: Taking taylor expansion of (* t z) in z
3.138 * [taylor]: Taking taylor expansion of t in z
3.138 * [taylor]: Taking taylor expansion of z in z
3.138 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.138 * [taylor]: Taking taylor expansion of t in t
3.139 * [taylor]: Taking taylor expansion of 0 in z
3.139 * [taylor]: Taking taylor expansion of 0 in t
3.139 * [taylor]: Taking taylor expansion of 0 in z
3.139 * [taylor]: Taking taylor expansion of 0 in t
3.139 * [taylor]: Taking taylor expansion of 0 in t
3.139 * [taylor]: Taking taylor expansion of 0 in z
3.139 * [taylor]: Taking taylor expansion of 0 in t
3.139 * [taylor]: Taking taylor expansion of 0 in t
3.139 * [taylor]: Taking taylor expansion of 0 in t
3.140 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (y z t) around 0
3.140 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
3.140 * [taylor]: Taking taylor expansion of -1 in t
3.140 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.140 * [taylor]: Taking taylor expansion of t in t
3.140 * [taylor]: Taking taylor expansion of (* z y) in t
3.140 * [taylor]: Taking taylor expansion of z in t
3.140 * [taylor]: Taking taylor expansion of y in t
3.140 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
3.140 * [taylor]: Taking taylor expansion of -1 in z
3.140 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.140 * [taylor]: Taking taylor expansion of t in z
3.140 * [taylor]: Taking taylor expansion of (* z y) in z
3.140 * [taylor]: Taking taylor expansion of z in z
3.140 * [taylor]: Taking taylor expansion of y in z
3.140 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
3.140 * [taylor]: Taking taylor expansion of -1 in y
3.140 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.140 * [taylor]: Taking taylor expansion of t in y
3.140 * [taylor]: Taking taylor expansion of (* z y) in y
3.140 * [taylor]: Taking taylor expansion of z in y
3.140 * [taylor]: Taking taylor expansion of y in y
3.140 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
3.140 * [taylor]: Taking taylor expansion of -1 in y
3.140 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.140 * [taylor]: Taking taylor expansion of t in y
3.140 * [taylor]: Taking taylor expansion of (* z y) in y
3.140 * [taylor]: Taking taylor expansion of z in y
3.140 * [taylor]: Taking taylor expansion of y in y
3.141 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
3.141 * [taylor]: Taking taylor expansion of -1 in z
3.141 * [taylor]: Taking taylor expansion of (* t z) in z
3.141 * [taylor]: Taking taylor expansion of t in z
3.141 * [taylor]: Taking taylor expansion of z in z
3.141 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.141 * [taylor]: Taking taylor expansion of -1 in t
3.141 * [taylor]: Taking taylor expansion of t in t
3.141 * [taylor]: Taking taylor expansion of 0 in z
3.141 * [taylor]: Taking taylor expansion of 0 in t
3.141 * [taylor]: Taking taylor expansion of 0 in z
3.141 * [taylor]: Taking taylor expansion of 0 in t
3.141 * [taylor]: Taking taylor expansion of 0 in t
3.142 * [taylor]: Taking taylor expansion of 0 in z
3.142 * [taylor]: Taking taylor expansion of 0 in t
3.142 * [taylor]: Taking taylor expansion of 0 in t
3.142 * [taylor]: Taking taylor expansion of 0 in t
3.142 * * * [progress]: simplifying candidates
3.143 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (* y (* z t))
  (* y (* z t))
  (+ (log y) (+ (log z) (log t)))
  (+ (log y) (log (* z t)))
  (log (* y (* z t)))
  (exp (* y (* z t)))
  (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (* (* (* y (* z t)) (* y (* z t))) (* y (* z t)))
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* (cbrt y) (* z t))
  (* (sqrt y) (* z t))
  (* y (* z t))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log 1) (+ (log k) (log j))))))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ 1 j)) (log (/ 1 k)))))) (cbrt 27.0))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 j)) (log (/ -1 k)))))) (cbrt 27.0))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log 1) (+ (log k) (log j))))))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ 1 j)) (log (/ 1 k)))))) (cbrt 27.0))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 j)) (log (/ -1 k)))))) (cbrt 27.0))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log 1) (+ (log k) (log j))))))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ 1 j)) (log (/ 1 k)))))) (cbrt 27.0))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 j)) (log (/ -1 k)))))) (cbrt 27.0))
  0
  (* t (* z y))
  (* t (* z y))
3.274 * * [simplify]: iteration  0 :  4907  enodes  (cost  363 )
3.274 * * [simplify]: iteration  1 :  4907  enodes  (cost  363 )
3.278 * [simplify]: Simplified to:
   (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* j (* 27.0 k))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* j (* 27.0 k))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* j (* 27.0 k))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (* y (* z t))
  (* y (* z t))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (pow (exp y) (* z t))
  (pow (* y (* z t)) 3)
  (pow (* y (* z t)) 3)
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (pow (* y (* z t)) 3)
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* z (* t (cbrt y)))
  (* z (* t (sqrt y)))
  (* y (* z t))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  0
  (* y (* z t))
  (* y (* z t))
3.278 * * * [progress]: adding candidates to table
3.380 * * [progress]: iteration 4 / 4
3.380 * * * [progress]: picking best candidate
3.407 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))>
3.407 * * * [progress]: localizing error
3.440 * * * [progress]: generating rewritten candidates
3.440 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2)
3.444 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1)
3.448 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
3.452 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.463 * * * [progress]: generating series expansions
3.463 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2)
3.463 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
3.463 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
3.463 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
3.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
3.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
3.463 * [taylor]: Taking taylor expansion of 1/3 in k
3.463 * [taylor]: Taking taylor expansion of (log (* k j)) in k
3.463 * [taylor]: Taking taylor expansion of (* k j) in k
3.463 * [taylor]: Taking taylor expansion of k in k
3.463 * [taylor]: Taking taylor expansion of j in k
3.463 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.463 * [taylor]: Taking taylor expansion of 27.0 in k
3.463 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.463 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.463 * [taylor]: Taking taylor expansion of 1/3 in j
3.464 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.464 * [taylor]: Taking taylor expansion of (* k j) in j
3.464 * [taylor]: Taking taylor expansion of k in j
3.464 * [taylor]: Taking taylor expansion of j in j
3.464 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.464 * [taylor]: Taking taylor expansion of 27.0 in j
3.464 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.464 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.464 * [taylor]: Taking taylor expansion of 1/3 in j
3.464 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.464 * [taylor]: Taking taylor expansion of (* k j) in j
3.464 * [taylor]: Taking taylor expansion of k in j
3.464 * [taylor]: Taking taylor expansion of j in j
3.464 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.464 * [taylor]: Taking taylor expansion of 27.0 in j
3.464 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
3.464 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.464 * [taylor]: Taking taylor expansion of 27.0 in k
3.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
3.464 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
3.464 * [taylor]: Taking taylor expansion of 1/3 in k
3.464 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
3.464 * [taylor]: Taking taylor expansion of (log k) in k
3.464 * [taylor]: Taking taylor expansion of k in k
3.465 * [taylor]: Taking taylor expansion of (log j) in k
3.465 * [taylor]: Taking taylor expansion of j in k
3.465 * [taylor]: Taking taylor expansion of 0 in k
3.467 * [taylor]: Taking taylor expansion of 0 in k
3.468 * [taylor]: Taking taylor expansion of 0 in k
3.468 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.468 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.468 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.468 * [taylor]: Taking taylor expansion of 1/3 in k
3.468 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.469 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.469 * [taylor]: Taking taylor expansion of (* k j) in k
3.469 * [taylor]: Taking taylor expansion of k in k
3.469 * [taylor]: Taking taylor expansion of j in k
3.469 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.469 * [taylor]: Taking taylor expansion of 27.0 in k
3.469 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.469 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.469 * [taylor]: Taking taylor expansion of 1/3 in j
3.469 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.469 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.469 * [taylor]: Taking taylor expansion of (* k j) in j
3.469 * [taylor]: Taking taylor expansion of k in j
3.469 * [taylor]: Taking taylor expansion of j in j
3.469 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.469 * [taylor]: Taking taylor expansion of 27.0 in j
3.469 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.469 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.469 * [taylor]: Taking taylor expansion of 1/3 in j
3.469 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.469 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.469 * [taylor]: Taking taylor expansion of (* k j) in j
3.469 * [taylor]: Taking taylor expansion of k in j
3.469 * [taylor]: Taking taylor expansion of j in j
3.470 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.470 * [taylor]: Taking taylor expansion of 27.0 in j
3.470 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.470 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.470 * [taylor]: Taking taylor expansion of 1/3 in k
3.470 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.470 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.470 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.470 * [taylor]: Taking taylor expansion of k in k
3.470 * [taylor]: Taking taylor expansion of (log j) in k
3.470 * [taylor]: Taking taylor expansion of j in k
3.470 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.470 * [taylor]: Taking taylor expansion of 27.0 in k
3.471 * [taylor]: Taking taylor expansion of 0 in k
3.472 * [taylor]: Taking taylor expansion of 0 in k
3.474 * [taylor]: Taking taylor expansion of 0 in k
3.474 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.474 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.474 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.474 * [taylor]: Taking taylor expansion of 1/3 in k
3.474 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.474 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.474 * [taylor]: Taking taylor expansion of (* k j) in k
3.474 * [taylor]: Taking taylor expansion of k in k
3.474 * [taylor]: Taking taylor expansion of j in k
3.475 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.475 * [taylor]: Taking taylor expansion of 27.0 in k
3.475 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.475 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.475 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.475 * [taylor]: Taking taylor expansion of 1/3 in j
3.475 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.475 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.475 * [taylor]: Taking taylor expansion of (* k j) in j
3.475 * [taylor]: Taking taylor expansion of k in j
3.475 * [taylor]: Taking taylor expansion of j in j
3.475 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.475 * [taylor]: Taking taylor expansion of 27.0 in j
3.475 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.475 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.475 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.475 * [taylor]: Taking taylor expansion of 1/3 in j
3.475 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.475 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.475 * [taylor]: Taking taylor expansion of (* k j) in j
3.476 * [taylor]: Taking taylor expansion of k in j
3.476 * [taylor]: Taking taylor expansion of j in j
3.476 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.476 * [taylor]: Taking taylor expansion of 27.0 in j
3.476 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.476 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.476 * [taylor]: Taking taylor expansion of 1/3 in k
3.476 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.476 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.476 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.476 * [taylor]: Taking taylor expansion of k in k
3.476 * [taylor]: Taking taylor expansion of (log j) in k
3.476 * [taylor]: Taking taylor expansion of j in k
3.476 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.476 * [taylor]: Taking taylor expansion of 27.0 in k
3.477 * [taylor]: Taking taylor expansion of 0 in k
3.478 * [taylor]: Taking taylor expansion of 0 in k
3.480 * [taylor]: Taking taylor expansion of 0 in k
3.480 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1)
3.480 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
3.480 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
3.480 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
3.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
3.480 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
3.480 * [taylor]: Taking taylor expansion of 1/3 in k
3.480 * [taylor]: Taking taylor expansion of (log (* k j)) in k
3.480 * [taylor]: Taking taylor expansion of (* k j) in k
3.480 * [taylor]: Taking taylor expansion of k in k
3.480 * [taylor]: Taking taylor expansion of j in k
3.481 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.481 * [taylor]: Taking taylor expansion of 27.0 in k
3.481 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.481 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.481 * [taylor]: Taking taylor expansion of 1/3 in j
3.481 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.481 * [taylor]: Taking taylor expansion of (* k j) in j
3.481 * [taylor]: Taking taylor expansion of k in j
3.481 * [taylor]: Taking taylor expansion of j in j
3.481 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.481 * [taylor]: Taking taylor expansion of 27.0 in j
3.481 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
3.481 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
3.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
3.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
3.481 * [taylor]: Taking taylor expansion of 1/3 in j
3.481 * [taylor]: Taking taylor expansion of (log (* k j)) in j
3.481 * [taylor]: Taking taylor expansion of (* k j) in j
3.481 * [taylor]: Taking taylor expansion of k in j
3.481 * [taylor]: Taking taylor expansion of j in j
3.481 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.481 * [taylor]: Taking taylor expansion of 27.0 in j
3.482 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
3.482 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.482 * [taylor]: Taking taylor expansion of 27.0 in k
3.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
3.482 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
3.482 * [taylor]: Taking taylor expansion of 1/3 in k
3.482 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
3.482 * [taylor]: Taking taylor expansion of (log k) in k
3.482 * [taylor]: Taking taylor expansion of k in k
3.482 * [taylor]: Taking taylor expansion of (log j) in k
3.482 * [taylor]: Taking taylor expansion of j in k
3.483 * [taylor]: Taking taylor expansion of 0 in k
3.484 * [taylor]: Taking taylor expansion of 0 in k
3.485 * [taylor]: Taking taylor expansion of 0 in k
3.485 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.485 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.485 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.485 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.486 * [taylor]: Taking taylor expansion of 1/3 in k
3.486 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.486 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.486 * [taylor]: Taking taylor expansion of (* k j) in k
3.486 * [taylor]: Taking taylor expansion of k in k
3.486 * [taylor]: Taking taylor expansion of j in k
3.486 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.486 * [taylor]: Taking taylor expansion of 27.0 in k
3.486 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.486 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.486 * [taylor]: Taking taylor expansion of 1/3 in j
3.486 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.486 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.486 * [taylor]: Taking taylor expansion of (* k j) in j
3.486 * [taylor]: Taking taylor expansion of k in j
3.486 * [taylor]: Taking taylor expansion of j in j
3.486 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.486 * [taylor]: Taking taylor expansion of 27.0 in j
3.486 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.486 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.486 * [taylor]: Taking taylor expansion of 1/3 in j
3.486 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.487 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.487 * [taylor]: Taking taylor expansion of (* k j) in j
3.487 * [taylor]: Taking taylor expansion of k in j
3.487 * [taylor]: Taking taylor expansion of j in j
3.487 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.487 * [taylor]: Taking taylor expansion of 27.0 in j
3.487 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.487 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.487 * [taylor]: Taking taylor expansion of 1/3 in k
3.487 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.487 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.487 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.487 * [taylor]: Taking taylor expansion of k in k
3.487 * [taylor]: Taking taylor expansion of (log j) in k
3.487 * [taylor]: Taking taylor expansion of j in k
3.487 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.487 * [taylor]: Taking taylor expansion of 27.0 in k
3.488 * [taylor]: Taking taylor expansion of 0 in k
3.490 * [taylor]: Taking taylor expansion of 0 in k
3.491 * [taylor]: Taking taylor expansion of 0 in k
3.492 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
3.492 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
3.492 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
3.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
3.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
3.492 * [taylor]: Taking taylor expansion of 1/3 in k
3.492 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
3.492 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
3.492 * [taylor]: Taking taylor expansion of (* k j) in k
3.492 * [taylor]: Taking taylor expansion of k in k
3.492 * [taylor]: Taking taylor expansion of j in k
3.492 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.492 * [taylor]: Taking taylor expansion of 27.0 in k
3.492 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.492 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.492 * [taylor]: Taking taylor expansion of 1/3 in j
3.492 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.492 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.492 * [taylor]: Taking taylor expansion of (* k j) in j
3.492 * [taylor]: Taking taylor expansion of k in j
3.492 * [taylor]: Taking taylor expansion of j in j
3.493 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.493 * [taylor]: Taking taylor expansion of 27.0 in j
3.493 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
3.493 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
3.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
3.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
3.493 * [taylor]: Taking taylor expansion of 1/3 in j
3.493 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
3.493 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
3.493 * [taylor]: Taking taylor expansion of (* k j) in j
3.493 * [taylor]: Taking taylor expansion of k in j
3.493 * [taylor]: Taking taylor expansion of j in j
3.493 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
3.493 * [taylor]: Taking taylor expansion of 27.0 in j
3.493 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
3.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
3.493 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
3.493 * [taylor]: Taking taylor expansion of 1/3 in k
3.493 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
3.493 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
3.493 * [taylor]: Taking taylor expansion of (/ 1 k) in k
3.493 * [taylor]: Taking taylor expansion of k in k
3.493 * [taylor]: Taking taylor expansion of (log j) in k
3.494 * [taylor]: Taking taylor expansion of j in k
3.494 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
3.494 * [taylor]: Taking taylor expansion of 27.0 in k
3.494 * [taylor]: Taking taylor expansion of 0 in k
3.496 * [taylor]: Taking taylor expansion of 0 in k
3.502 * [taylor]: Taking taylor expansion of 0 in k
3.502 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
3.502 * [approximate]: Taking taylor expansion of (* t (* z y)) in (y z t) around 0
3.502 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.502 * [taylor]: Taking taylor expansion of t in t
3.502 * [taylor]: Taking taylor expansion of (* z y) in t
3.502 * [taylor]: Taking taylor expansion of z in t
3.502 * [taylor]: Taking taylor expansion of y in t
3.502 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.502 * [taylor]: Taking taylor expansion of t in z
3.502 * [taylor]: Taking taylor expansion of (* z y) in z
3.502 * [taylor]: Taking taylor expansion of z in z
3.502 * [taylor]: Taking taylor expansion of y in z
3.502 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.502 * [taylor]: Taking taylor expansion of t in y
3.502 * [taylor]: Taking taylor expansion of (* z y) in y
3.502 * [taylor]: Taking taylor expansion of z in y
3.502 * [taylor]: Taking taylor expansion of y in y
3.502 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.502 * [taylor]: Taking taylor expansion of t in y
3.502 * [taylor]: Taking taylor expansion of (* z y) in y
3.502 * [taylor]: Taking taylor expansion of z in y
3.502 * [taylor]: Taking taylor expansion of y in y
3.502 * [taylor]: Taking taylor expansion of 0 in z
3.502 * [taylor]: Taking taylor expansion of 0 in t
3.503 * [taylor]: Taking taylor expansion of (* t z) in z
3.503 * [taylor]: Taking taylor expansion of t in z
3.503 * [taylor]: Taking taylor expansion of z in z
3.503 * [taylor]: Taking taylor expansion of 0 in t
3.503 * [taylor]: Taking taylor expansion of 0 in t
3.503 * [taylor]: Taking taylor expansion of 0 in z
3.503 * [taylor]: Taking taylor expansion of 0 in t
3.503 * [taylor]: Taking taylor expansion of t in t
3.503 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (y z t) around 0
3.503 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.503 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.503 * [taylor]: Taking taylor expansion of t in t
3.503 * [taylor]: Taking taylor expansion of (* z y) in t
3.503 * [taylor]: Taking taylor expansion of z in t
3.503 * [taylor]: Taking taylor expansion of y in t
3.503 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
3.503 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.503 * [taylor]: Taking taylor expansion of t in z
3.503 * [taylor]: Taking taylor expansion of (* z y) in z
3.503 * [taylor]: Taking taylor expansion of z in z
3.503 * [taylor]: Taking taylor expansion of y in z
3.503 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.503 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.503 * [taylor]: Taking taylor expansion of t in y
3.503 * [taylor]: Taking taylor expansion of (* z y) in y
3.503 * [taylor]: Taking taylor expansion of z in y
3.503 * [taylor]: Taking taylor expansion of y in y
3.503 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.504 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.504 * [taylor]: Taking taylor expansion of t in y
3.504 * [taylor]: Taking taylor expansion of (* z y) in y
3.504 * [taylor]: Taking taylor expansion of z in y
3.504 * [taylor]: Taking taylor expansion of y in y
3.504 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.504 * [taylor]: Taking taylor expansion of (* t z) in z
3.504 * [taylor]: Taking taylor expansion of t in z
3.504 * [taylor]: Taking taylor expansion of z in z
3.504 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.504 * [taylor]: Taking taylor expansion of t in t
3.504 * [taylor]: Taking taylor expansion of 0 in z
3.504 * [taylor]: Taking taylor expansion of 0 in t
3.504 * [taylor]: Taking taylor expansion of 0 in z
3.504 * [taylor]: Taking taylor expansion of 0 in t
3.504 * [taylor]: Taking taylor expansion of 0 in t
3.505 * [taylor]: Taking taylor expansion of 0 in z
3.505 * [taylor]: Taking taylor expansion of 0 in t
3.505 * [taylor]: Taking taylor expansion of 0 in t
3.505 * [taylor]: Taking taylor expansion of 0 in t
3.505 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (y z t) around 0
3.505 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
3.505 * [taylor]: Taking taylor expansion of -1 in t
3.505 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.505 * [taylor]: Taking taylor expansion of t in t
3.505 * [taylor]: Taking taylor expansion of (* z y) in t
3.505 * [taylor]: Taking taylor expansion of z in t
3.505 * [taylor]: Taking taylor expansion of y in t
3.505 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
3.505 * [taylor]: Taking taylor expansion of -1 in z
3.505 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.505 * [taylor]: Taking taylor expansion of t in z
3.505 * [taylor]: Taking taylor expansion of (* z y) in z
3.505 * [taylor]: Taking taylor expansion of z in z
3.505 * [taylor]: Taking taylor expansion of y in z
3.506 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
3.506 * [taylor]: Taking taylor expansion of -1 in y
3.506 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.506 * [taylor]: Taking taylor expansion of t in y
3.506 * [taylor]: Taking taylor expansion of (* z y) in y
3.506 * [taylor]: Taking taylor expansion of z in y
3.506 * [taylor]: Taking taylor expansion of y in y
3.506 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
3.506 * [taylor]: Taking taylor expansion of -1 in y
3.506 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.506 * [taylor]: Taking taylor expansion of t in y
3.506 * [taylor]: Taking taylor expansion of (* z y) in y
3.506 * [taylor]: Taking taylor expansion of z in y
3.506 * [taylor]: Taking taylor expansion of y in y
3.506 * [taylor]: Taking taylor expansion of (/ -1 (* t z)) in z
3.506 * [taylor]: Taking taylor expansion of -1 in z
3.506 * [taylor]: Taking taylor expansion of (* t z) in z
3.506 * [taylor]: Taking taylor expansion of t in z
3.506 * [taylor]: Taking taylor expansion of z in z
3.506 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.506 * [taylor]: Taking taylor expansion of -1 in t
3.506 * [taylor]: Taking taylor expansion of t in t
3.506 * [taylor]: Taking taylor expansion of 0 in z
3.506 * [taylor]: Taking taylor expansion of 0 in t
3.507 * [taylor]: Taking taylor expansion of 0 in z
3.507 * [taylor]: Taking taylor expansion of 0 in t
3.507 * [taylor]: Taking taylor expansion of 0 in t
3.507 * [taylor]: Taking taylor expansion of 0 in z
3.507 * [taylor]: Taking taylor expansion of 0 in t
3.507 * [taylor]: Taking taylor expansion of 0 in t
3.507 * [taylor]: Taking taylor expansion of 0 in t
3.507 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.508 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.508 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
3.508 * [taylor]: Taking taylor expansion of 18.0 in t
3.508 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.508 * [taylor]: Taking taylor expansion of t in t
3.508 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.508 * [taylor]: Taking taylor expansion of x in t
3.508 * [taylor]: Taking taylor expansion of (* z y) in t
3.508 * [taylor]: Taking taylor expansion of z in t
3.508 * [taylor]: Taking taylor expansion of y in t
3.508 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
3.508 * [taylor]: Taking taylor expansion of 18.0 in z
3.508 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.508 * [taylor]: Taking taylor expansion of t in z
3.508 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.508 * [taylor]: Taking taylor expansion of x in z
3.508 * [taylor]: Taking taylor expansion of (* z y) in z
3.508 * [taylor]: Taking taylor expansion of z in z
3.508 * [taylor]: Taking taylor expansion of y in z
3.508 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
3.508 * [taylor]: Taking taylor expansion of 18.0 in y
3.508 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.508 * [taylor]: Taking taylor expansion of t in y
3.508 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.508 * [taylor]: Taking taylor expansion of x in y
3.508 * [taylor]: Taking taylor expansion of (* z y) in y
3.508 * [taylor]: Taking taylor expansion of z in y
3.508 * [taylor]: Taking taylor expansion of y in y
3.508 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.508 * [taylor]: Taking taylor expansion of 18.0 in x
3.508 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.508 * [taylor]: Taking taylor expansion of t in x
3.508 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.508 * [taylor]: Taking taylor expansion of x in x
3.508 * [taylor]: Taking taylor expansion of (* z y) in x
3.508 * [taylor]: Taking taylor expansion of z in x
3.508 * [taylor]: Taking taylor expansion of y in x
3.508 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.508 * [taylor]: Taking taylor expansion of 18.0 in x
3.508 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.508 * [taylor]: Taking taylor expansion of t in x
3.508 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.508 * [taylor]: Taking taylor expansion of x in x
3.508 * [taylor]: Taking taylor expansion of (* z y) in x
3.508 * [taylor]: Taking taylor expansion of z in x
3.508 * [taylor]: Taking taylor expansion of y in x
3.508 * [taylor]: Taking taylor expansion of 0 in y
3.508 * [taylor]: Taking taylor expansion of 0 in z
3.508 * [taylor]: Taking taylor expansion of 0 in t
3.509 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
3.509 * [taylor]: Taking taylor expansion of 18.0 in y
3.509 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.509 * [taylor]: Taking taylor expansion of t in y
3.509 * [taylor]: Taking taylor expansion of (* z y) in y
3.509 * [taylor]: Taking taylor expansion of z in y
3.509 * [taylor]: Taking taylor expansion of y in y
3.509 * [taylor]: Taking taylor expansion of 0 in z
3.509 * [taylor]: Taking taylor expansion of 0 in t
3.509 * [taylor]: Taking taylor expansion of 0 in z
3.509 * [taylor]: Taking taylor expansion of 0 in t
3.509 * [taylor]: Taking taylor expansion of 0 in t
3.509 * [taylor]: Taking taylor expansion of 0 in y
3.509 * [taylor]: Taking taylor expansion of 0 in z
3.509 * [taylor]: Taking taylor expansion of 0 in t
3.509 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.509 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.509 * [taylor]: Taking taylor expansion of 18.0 in t
3.509 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.509 * [taylor]: Taking taylor expansion of t in t
3.509 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.509 * [taylor]: Taking taylor expansion of x in t
3.509 * [taylor]: Taking taylor expansion of (* z y) in t
3.509 * [taylor]: Taking taylor expansion of z in t
3.509 * [taylor]: Taking taylor expansion of y in t
3.510 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.510 * [taylor]: Taking taylor expansion of 18.0 in z
3.510 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.510 * [taylor]: Taking taylor expansion of t in z
3.510 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.510 * [taylor]: Taking taylor expansion of x in z
3.510 * [taylor]: Taking taylor expansion of (* z y) in z
3.510 * [taylor]: Taking taylor expansion of z in z
3.510 * [taylor]: Taking taylor expansion of y in z
3.510 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.510 * [taylor]: Taking taylor expansion of 18.0 in y
3.510 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.510 * [taylor]: Taking taylor expansion of t in y
3.510 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.510 * [taylor]: Taking taylor expansion of x in y
3.510 * [taylor]: Taking taylor expansion of (* z y) in y
3.510 * [taylor]: Taking taylor expansion of z in y
3.510 * [taylor]: Taking taylor expansion of y in y
3.510 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.510 * [taylor]: Taking taylor expansion of 18.0 in x
3.510 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.510 * [taylor]: Taking taylor expansion of t in x
3.510 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.510 * [taylor]: Taking taylor expansion of x in x
3.510 * [taylor]: Taking taylor expansion of (* z y) in x
3.510 * [taylor]: Taking taylor expansion of z in x
3.510 * [taylor]: Taking taylor expansion of y in x
3.510 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.511 * [taylor]: Taking taylor expansion of 18.0 in x
3.511 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.511 * [taylor]: Taking taylor expansion of t in x
3.511 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.511 * [taylor]: Taking taylor expansion of x in x
3.511 * [taylor]: Taking taylor expansion of (* z y) in x
3.511 * [taylor]: Taking taylor expansion of z in x
3.511 * [taylor]: Taking taylor expansion of y in x
3.511 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.511 * [taylor]: Taking taylor expansion of 18.0 in y
3.511 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.511 * [taylor]: Taking taylor expansion of t in y
3.511 * [taylor]: Taking taylor expansion of (* z y) in y
3.511 * [taylor]: Taking taylor expansion of z in y
3.511 * [taylor]: Taking taylor expansion of y in y
3.511 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.511 * [taylor]: Taking taylor expansion of 18.0 in z
3.511 * [taylor]: Taking taylor expansion of (* t z) in z
3.511 * [taylor]: Taking taylor expansion of t in z
3.511 * [taylor]: Taking taylor expansion of z in z
3.511 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.511 * [taylor]: Taking taylor expansion of 18.0 in t
3.511 * [taylor]: Taking taylor expansion of t in t
3.511 * [taylor]: Taking taylor expansion of 0 in y
3.512 * [taylor]: Taking taylor expansion of 0 in z
3.512 * [taylor]: Taking taylor expansion of 0 in t
3.512 * [taylor]: Taking taylor expansion of 0 in y
3.512 * [taylor]: Taking taylor expansion of 0 in z
3.512 * [taylor]: Taking taylor expansion of 0 in z
3.512 * [taylor]: Taking taylor expansion of 0 in t
3.512 * [taylor]: Taking taylor expansion of 0 in t
3.513 * [taylor]: Taking taylor expansion of 0 in y
3.513 * [taylor]: Taking taylor expansion of 0 in z
3.513 * [taylor]: Taking taylor expansion of 0 in z
3.513 * [taylor]: Taking taylor expansion of 0 in z
3.513 * [taylor]: Taking taylor expansion of 0 in t
3.513 * [taylor]: Taking taylor expansion of 0 in t
3.513 * [taylor]: Taking taylor expansion of 0 in t
3.513 * [taylor]: Taking taylor expansion of 0 in t
3.514 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.514 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.514 * [taylor]: Taking taylor expansion of 18.0 in t
3.514 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.514 * [taylor]: Taking taylor expansion of t in t
3.514 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.514 * [taylor]: Taking taylor expansion of x in t
3.514 * [taylor]: Taking taylor expansion of (* z y) in t
3.514 * [taylor]: Taking taylor expansion of z in t
3.514 * [taylor]: Taking taylor expansion of y in t
3.514 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.514 * [taylor]: Taking taylor expansion of 18.0 in z
3.514 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.514 * [taylor]: Taking taylor expansion of t in z
3.514 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.514 * [taylor]: Taking taylor expansion of x in z
3.514 * [taylor]: Taking taylor expansion of (* z y) in z
3.514 * [taylor]: Taking taylor expansion of z in z
3.514 * [taylor]: Taking taylor expansion of y in z
3.514 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.514 * [taylor]: Taking taylor expansion of 18.0 in y
3.514 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.514 * [taylor]: Taking taylor expansion of t in y
3.514 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.514 * [taylor]: Taking taylor expansion of x in y
3.514 * [taylor]: Taking taylor expansion of (* z y) in y
3.514 * [taylor]: Taking taylor expansion of z in y
3.514 * [taylor]: Taking taylor expansion of y in y
3.515 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.515 * [taylor]: Taking taylor expansion of 18.0 in x
3.515 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.515 * [taylor]: Taking taylor expansion of t in x
3.515 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.515 * [taylor]: Taking taylor expansion of x in x
3.515 * [taylor]: Taking taylor expansion of (* z y) in x
3.515 * [taylor]: Taking taylor expansion of z in x
3.515 * [taylor]: Taking taylor expansion of y in x
3.515 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.515 * [taylor]: Taking taylor expansion of 18.0 in x
3.515 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.515 * [taylor]: Taking taylor expansion of t in x
3.515 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.515 * [taylor]: Taking taylor expansion of x in x
3.515 * [taylor]: Taking taylor expansion of (* z y) in x
3.515 * [taylor]: Taking taylor expansion of z in x
3.515 * [taylor]: Taking taylor expansion of y in x
3.515 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.515 * [taylor]: Taking taylor expansion of 18.0 in y
3.515 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.515 * [taylor]: Taking taylor expansion of t in y
3.515 * [taylor]: Taking taylor expansion of (* z y) in y
3.515 * [taylor]: Taking taylor expansion of z in y
3.515 * [taylor]: Taking taylor expansion of y in y
3.515 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.515 * [taylor]: Taking taylor expansion of 18.0 in z
3.515 * [taylor]: Taking taylor expansion of (* t z) in z
3.515 * [taylor]: Taking taylor expansion of t in z
3.516 * [taylor]: Taking taylor expansion of z in z
3.516 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.516 * [taylor]: Taking taylor expansion of 18.0 in t
3.516 * [taylor]: Taking taylor expansion of t in t
3.516 * [taylor]: Taking taylor expansion of 0 in y
3.516 * [taylor]: Taking taylor expansion of 0 in z
3.516 * [taylor]: Taking taylor expansion of 0 in t
3.516 * [taylor]: Taking taylor expansion of 0 in y
3.516 * [taylor]: Taking taylor expansion of 0 in z
3.517 * [taylor]: Taking taylor expansion of 0 in z
3.517 * [taylor]: Taking taylor expansion of 0 in t
3.517 * [taylor]: Taking taylor expansion of 0 in t
3.517 * [taylor]: Taking taylor expansion of 0 in y
3.517 * [taylor]: Taking taylor expansion of 0 in z
3.517 * [taylor]: Taking taylor expansion of 0 in z
3.518 * [taylor]: Taking taylor expansion of 0 in z
3.518 * [taylor]: Taking taylor expansion of 0 in t
3.518 * [taylor]: Taking taylor expansion of 0 in t
3.518 * [taylor]: Taking taylor expansion of 0 in t
3.518 * [taylor]: Taking taylor expansion of 0 in t
3.518 * * * [progress]: simplifying candidates
3.519 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (* y (* z t))
  (* y (* z t))
  (+ (log y) (+ (log z) (log t)))
  (+ (log y) (log (* z t)))
  (log (* y (* z t)))
  (exp (* y (* z t)))
  (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (* (* (* y (* z t)) (* y (* z t))) (* y (* z t)))
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* (cbrt y) (* z t))
  (* (sqrt y) (* z t))
  (* y (* z t))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (+ (log x) (+ (log 18.0) (+ (log y) (+ (log z) (log t)))))
  (+ (log x) (+ (log 18.0) (+ (log y) (log (* z t)))))
  (+ (log x) (+ (log 18.0) (log (* y (* z t)))))
  (+ (log x) (log (* 18.0 (* y (* z t)))))
  (log (* x (* 18.0 (* y (* z t)))))
  (exp (* x (* 18.0 (* y (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z z) z) (* (* t t) t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* (* y (* z t)) (* y (* z t))) (* y (* z t)))))
  (* (* (* x x) x) (* (* (* 18.0 (* y (* z t))) (* 18.0 (* y (* z t)))) (* 18.0 (* y (* z t)))))
  (* (cbrt (* x (* 18.0 (* y (* z t))))) (cbrt (* x (* 18.0 (* y (* z t))))))
  (cbrt (* x (* 18.0 (* y (* z t)))))
  (* (* (* x (* 18.0 (* y (* z t)))) (* x (* 18.0 (* y (* z t))))) (* x (* 18.0 (* y (* z t)))))
  (sqrt (* x (* 18.0 (* y (* z t)))))
  (sqrt (* x (* 18.0 (* y (* z t)))))
  (* x 18.0)
  (* (cbrt x) (* 18.0 (* y (* z t))))
  (* (sqrt x) (* 18.0 (* y (* z t))))
  (* x (* 18.0 (* y (* z t))))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log 1) (+ (log k) (log j))))))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ 1 j)) (log (/ 1 k)))))) (cbrt 27.0))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 j)) (log (/ -1 k)))))) (cbrt 27.0))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log 1) (+ (log k) (log j))))))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ 1 j)) (log (/ 1 k)))))) (cbrt 27.0))
  (* (exp (* 1/3 (- (log 1) (+ (log (/ -1 j)) (log (/ -1 k)))))) (cbrt 27.0))
  0
  (* t (* z y))
  (* t (* z y))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
3.583 * * [simplify]: iteration  0 :  5108  enodes  (cost  534 )
3.586 * [simplify]: Simplified to:
   (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* j (* 27.0 k))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (log (cbrt (* j (* 27.0 k))))
  (exp (cbrt (* j (* 27.0 k))))
  (cbrt j)
  (cbrt (* 27.0 k))
  (* (cbrt (cbrt (* j (* 27.0 k)))) (cbrt (cbrt (* j (* 27.0 k)))))
  (cbrt (cbrt (* j (* 27.0 k))))
  (* j (* 27.0 k))
  (sqrt (cbrt (* j (* 27.0 k))))
  (sqrt (cbrt (* j (* 27.0 k))))
  (* y (* z t))
  (* y (* z t))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (log (* y (* z t)))
  (pow (exp y) (* z t))
  (pow (* y (* z t)) 3)
  (pow (* y (* z t)) 3)
  (* (cbrt (* y (* z t))) (cbrt (* y (* z t))))
  (cbrt (* y (* z t)))
  (pow (* y (* z t)) 3)
  (sqrt (* y (* z t)))
  (sqrt (* y (* z t)))
  (* y z)
  (* z (* t (cbrt y)))
  (* z (* t (sqrt y)))
  (* y (* z t))
  (* y (* (* z t) (* x 18.0)))
  (* y (* (* z t) (* x 18.0)))
  (* y (* (* z t) (* x 18.0)))
  (* y (* (* z t) (* x 18.0)))
  (log (* y (* (* z t) (* x 18.0))))
  (log (* y (* (* z t) (* x 18.0))))
  (log (* y (* (* z t) (* x 18.0))))
  (log (* y (* (* z t) (* x 18.0))))
  (log (* y (* (* z t) (* x 18.0))))
  (pow (pow (exp y) (* z t)) (* x 18.0))
  (pow (* y (* (* z t) (* x 18.0))) 3)
  (pow (* y (* (* z t) (* x 18.0))) 3)
  (pow (* y (* (* z t) (* x 18.0))) 3)
  (pow (* y (* (* z t) (* x 18.0))) 3)
  (* (cbrt (* y (* (* z t) (* x 18.0)))) (cbrt (* y (* (* z t) (* x 18.0)))))
  (cbrt (* y (* (* z t) (* x 18.0))))
  (pow (* y (* (* z t) (* x 18.0))) 3)
  (sqrt (* y (* (* z t) (* x 18.0))))
  (sqrt (* y (* (* z t) (* x 18.0))))
  (* x 18.0)
  (* y (* (* z t) (* 18.0 (cbrt x))))
  (* y (* (* z t) (* 18.0 (sqrt x))))
  (* y (* (* z t) (* x 18.0)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  (* (cbrt 27.0) (cbrt (* j k)))
  0
  (* y (* z t))
  (* y (* z t))
  0
  (* y (* (* z t) (* x 18.0)))
  (* y (* (* z t) (* x 18.0)))
3.586 * * * [progress]: adding candidates to table
3.701 * [progress]: [Phase 3 of 3] Extracting.
3.701 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
3.706 * * * [regime-changes]: Trying 16 branch expressions: ((* j 27.0) (* (* j 27.0) k) (* b c) (* a 4.0) (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)) k j i c b a t z y x)
3.706 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
3.888 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.033 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.147 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.262 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.402 * * * * [regimes]: Trying to branch on (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)) from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.532 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.657 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.774 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
4.890 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.004 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.119 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.236 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.359 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.476 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.602 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.729 * * * [regime]: Found split indices: #<option (#s(si 4 53) #s(si 3 197) #s(si 4 255))>
5.729 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.797 * [regimes]: Found splitpoints: (#s(sp 4 x -7.14462332976739e-22) #s(sp 3 x 1.8467307309333337e-43) #s(sp 4 x +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (+ (* x (* 18.0 (* y (* z t)))) (- (* b c) (+ (* (* (cbrt (* j (* 27.0 k))) (* (cbrt j) (cbrt (* 27.0 k)))) (cbrt (* j (* 27.0 k)))) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (pow (* y (* (* 18.0 (* z t)) x)) 1) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))> #<alt (λ (x y z t a b c i j k) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))))>)
5.797 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -7.14462332976739e-22) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))) (if (<= x 1.8467307309333337e-43) (+ (* t (* (* y (* z x)) 18.0)) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i))))))))
5.800 * * [simplify]: iteration  0 :  181  enodes  (cost  67 )
5.800 * * [simplify]: iteration  1 :  181  enodes  (cost  67 )
5.800 * [simplify]: Simplified to:
   (if (or (<= x -7.14462332976739e-22) (not (<= x 1.8467307309333337e-43))) (+ (* x (* y (* 18.0 (* z t)))) (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i)))))) (+ (- (* b c) (+ (* j (* 27.0 k)) (* 4.0 (+ (* t a) (* x i))))) (* t (* 18.0 (* y (* x z))))))
9.364 * [regime-testing]: End program error score: 1.6012074904420746
9.573 * [regime-testing]: Target error score: 1.6731201871995516