25.754 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.073 * * * [progress]: [2/2] Setting up program.
0.078 * [progress]: [Phase 2 of 3] Improving.
0.078 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
0.079 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.083 * * [simplify]: iteration  1 :  67  enodes  (cost  29 )
0.093 * * [simplify]: iteration  2 :  218  enodes  (cost  27 )
0.138 * * [simplify]: iteration  3 :  722  enodes  (cost  27 )
0.418 * * [simplify]: iteration  4 :  1905  enodes  (cost  27 )
1.335 * * [simplify]: iteration  5 :  3091  enodes  (cost  26 )
2.772 * * [simplify]: iteration  6 :  4267  enodes  (cost  26 )
4.231 * * [simplify]: iteration  done :  5000  enodes  (cost  26 )
4.232 * [simplify]: Simplified to:
   (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))
4.238 * * [progress]: iteration 1 / 4
4.238 * * * [progress]: picking best candidate
4.247 * * * * [pick]: Picked  #<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)))>
4.247 * * * [progress]: localizing error
4.271 * * * [progress]: generating rewritten candidates
4.271 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
4.582 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
4.607 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.613 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
4.623 * * * [progress]: generating series expansions
4.623 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
4.623 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.623 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
4.623 * [taylor]: Taking taylor expansion of 18.0 in t
4.623 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.623 * [taylor]: Taking taylor expansion of t in t
4.623 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.623 * [taylor]: Taking taylor expansion of x in t
4.623 * [taylor]: Taking taylor expansion of (* z y) in t
4.623 * [taylor]: Taking taylor expansion of z in t
4.623 * [taylor]: Taking taylor expansion of y in t
4.623 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
4.623 * [taylor]: Taking taylor expansion of 18.0 in z
4.623 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.624 * [taylor]: Taking taylor expansion of t in z
4.624 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.624 * [taylor]: Taking taylor expansion of x in z
4.624 * [taylor]: Taking taylor expansion of (* z y) in z
4.624 * [taylor]: Taking taylor expansion of z in z
4.624 * [taylor]: Taking taylor expansion of y in z
4.624 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
4.624 * [taylor]: Taking taylor expansion of 18.0 in y
4.624 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.624 * [taylor]: Taking taylor expansion of t in y
4.624 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.624 * [taylor]: Taking taylor expansion of x in y
4.624 * [taylor]: Taking taylor expansion of (* z y) in y
4.624 * [taylor]: Taking taylor expansion of z in y
4.624 * [taylor]: Taking taylor expansion of y in y
4.624 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
4.624 * [taylor]: Taking taylor expansion of 18.0 in x
4.624 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.624 * [taylor]: Taking taylor expansion of t in x
4.624 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.624 * [taylor]: Taking taylor expansion of x in x
4.624 * [taylor]: Taking taylor expansion of (* z y) in x
4.624 * [taylor]: Taking taylor expansion of z in x
4.624 * [taylor]: Taking taylor expansion of y in x
4.624 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
4.624 * [taylor]: Taking taylor expansion of 18.0 in x
4.624 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.624 * [taylor]: Taking taylor expansion of t in x
4.624 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.624 * [taylor]: Taking taylor expansion of x in x
4.624 * [taylor]: Taking taylor expansion of (* z y) in x
4.624 * [taylor]: Taking taylor expansion of z in x
4.624 * [taylor]: Taking taylor expansion of y in x
4.625 * [taylor]: Taking taylor expansion of 0 in y
4.625 * [taylor]: Taking taylor expansion of 0 in z
4.625 * [taylor]: Taking taylor expansion of 0 in t
4.626 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
4.626 * [taylor]: Taking taylor expansion of 18.0 in y
4.626 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.626 * [taylor]: Taking taylor expansion of t in y
4.626 * [taylor]: Taking taylor expansion of (* z y) in y
4.626 * [taylor]: Taking taylor expansion of z in y
4.626 * [taylor]: Taking taylor expansion of y in y
4.627 * [taylor]: Taking taylor expansion of 0 in z
4.627 * [taylor]: Taking taylor expansion of 0 in t
4.627 * [taylor]: Taking taylor expansion of 0 in z
4.627 * [taylor]: Taking taylor expansion of 0 in t
4.627 * [taylor]: Taking taylor expansion of 0 in t
4.629 * [taylor]: Taking taylor expansion of 0 in y
4.629 * [taylor]: Taking taylor expansion of 0 in z
4.629 * [taylor]: Taking taylor expansion of 0 in t
4.629 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.629 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
4.629 * [taylor]: Taking taylor expansion of 18.0 in t
4.629 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.629 * [taylor]: Taking taylor expansion of t in t
4.629 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.629 * [taylor]: Taking taylor expansion of x in t
4.630 * [taylor]: Taking taylor expansion of (* z y) in t
4.630 * [taylor]: Taking taylor expansion of z in t
4.630 * [taylor]: Taking taylor expansion of y in t
4.630 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
4.630 * [taylor]: Taking taylor expansion of 18.0 in z
4.630 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.630 * [taylor]: Taking taylor expansion of t in z
4.630 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.630 * [taylor]: Taking taylor expansion of x in z
4.630 * [taylor]: Taking taylor expansion of (* z y) in z
4.630 * [taylor]: Taking taylor expansion of z in z
4.630 * [taylor]: Taking taylor expansion of y in z
4.631 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
4.631 * [taylor]: Taking taylor expansion of 18.0 in y
4.631 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.631 * [taylor]: Taking taylor expansion of t in y
4.631 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.631 * [taylor]: Taking taylor expansion of x in y
4.631 * [taylor]: Taking taylor expansion of (* z y) in y
4.631 * [taylor]: Taking taylor expansion of z in y
4.631 * [taylor]: Taking taylor expansion of y in y
4.632 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.633 * [taylor]: Taking taylor expansion of 18.0 in x
4.633 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.633 * [taylor]: Taking taylor expansion of t in x
4.633 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.633 * [taylor]: Taking taylor expansion of x in x
4.633 * [taylor]: Taking taylor expansion of (* z y) in x
4.633 * [taylor]: Taking taylor expansion of z in x
4.633 * [taylor]: Taking taylor expansion of y in x
4.633 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.633 * [taylor]: Taking taylor expansion of 18.0 in x
4.633 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.634 * [taylor]: Taking taylor expansion of t in x
4.634 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.634 * [taylor]: Taking taylor expansion of x in x
4.634 * [taylor]: Taking taylor expansion of (* z y) in x
4.634 * [taylor]: Taking taylor expansion of z in x
4.634 * [taylor]: Taking taylor expansion of y in x
4.634 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
4.634 * [taylor]: Taking taylor expansion of 18.0 in y
4.635 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.635 * [taylor]: Taking taylor expansion of t in y
4.635 * [taylor]: Taking taylor expansion of (* z y) in y
4.635 * [taylor]: Taking taylor expansion of z in y
4.635 * [taylor]: Taking taylor expansion of y in y
4.635 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
4.635 * [taylor]: Taking taylor expansion of 18.0 in z
4.635 * [taylor]: Taking taylor expansion of (* t z) in z
4.635 * [taylor]: Taking taylor expansion of t in z
4.635 * [taylor]: Taking taylor expansion of z in z
4.636 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
4.636 * [taylor]: Taking taylor expansion of 18.0 in t
4.636 * [taylor]: Taking taylor expansion of t in t
4.638 * [taylor]: Taking taylor expansion of 0 in y
4.639 * [taylor]: Taking taylor expansion of 0 in z
4.639 * [taylor]: Taking taylor expansion of 0 in t
4.642 * [taylor]: Taking taylor expansion of 0 in y
4.642 * [taylor]: Taking taylor expansion of 0 in z
4.643 * [taylor]: Taking taylor expansion of 0 in z
4.644 * [taylor]: Taking taylor expansion of 0 in t
4.644 * [taylor]: Taking taylor expansion of 0 in t
4.648 * [taylor]: Taking taylor expansion of 0 in y
4.648 * [taylor]: Taking taylor expansion of 0 in z
4.648 * [taylor]: Taking taylor expansion of 0 in z
4.650 * [taylor]: Taking taylor expansion of 0 in z
4.650 * [taylor]: Taking taylor expansion of 0 in t
4.650 * [taylor]: Taking taylor expansion of 0 in t
4.650 * [taylor]: Taking taylor expansion of 0 in t
4.651 * [taylor]: Taking taylor expansion of 0 in t
4.651 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.651 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
4.651 * [taylor]: Taking taylor expansion of 18.0 in t
4.651 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.651 * [taylor]: Taking taylor expansion of t in t
4.651 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.651 * [taylor]: Taking taylor expansion of x in t
4.651 * [taylor]: Taking taylor expansion of (* z y) in t
4.651 * [taylor]: Taking taylor expansion of z in t
4.651 * [taylor]: Taking taylor expansion of y in t
4.652 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
4.652 * [taylor]: Taking taylor expansion of 18.0 in z
4.652 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.652 * [taylor]: Taking taylor expansion of t in z
4.652 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.652 * [taylor]: Taking taylor expansion of x in z
4.652 * [taylor]: Taking taylor expansion of (* z y) in z
4.652 * [taylor]: Taking taylor expansion of z in z
4.652 * [taylor]: Taking taylor expansion of y in z
4.653 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
4.653 * [taylor]: Taking taylor expansion of 18.0 in y
4.653 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.653 * [taylor]: Taking taylor expansion of t in y
4.653 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.653 * [taylor]: Taking taylor expansion of x in y
4.653 * [taylor]: Taking taylor expansion of (* z y) in y
4.653 * [taylor]: Taking taylor expansion of z in y
4.653 * [taylor]: Taking taylor expansion of y in y
4.654 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.654 * [taylor]: Taking taylor expansion of 18.0 in x
4.654 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.654 * [taylor]: Taking taylor expansion of t in x
4.654 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.654 * [taylor]: Taking taylor expansion of x in x
4.654 * [taylor]: Taking taylor expansion of (* z y) in x
4.654 * [taylor]: Taking taylor expansion of z in x
4.654 * [taylor]: Taking taylor expansion of y in x
4.655 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.655 * [taylor]: Taking taylor expansion of 18.0 in x
4.655 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.655 * [taylor]: Taking taylor expansion of t in x
4.655 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.655 * [taylor]: Taking taylor expansion of x in x
4.655 * [taylor]: Taking taylor expansion of (* z y) in x
4.655 * [taylor]: Taking taylor expansion of z in x
4.655 * [taylor]: Taking taylor expansion of y in x
4.656 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
4.656 * [taylor]: Taking taylor expansion of 18.0 in y
4.656 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.656 * [taylor]: Taking taylor expansion of t in y
4.656 * [taylor]: Taking taylor expansion of (* z y) in y
4.656 * [taylor]: Taking taylor expansion of z in y
4.656 * [taylor]: Taking taylor expansion of y in y
4.657 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
4.657 * [taylor]: Taking taylor expansion of 18.0 in z
4.657 * [taylor]: Taking taylor expansion of (* t z) in z
4.657 * [taylor]: Taking taylor expansion of t in z
4.657 * [taylor]: Taking taylor expansion of z in z
4.657 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
4.657 * [taylor]: Taking taylor expansion of 18.0 in t
4.658 * [taylor]: Taking taylor expansion of t in t
4.659 * [taylor]: Taking taylor expansion of 0 in y
4.660 * [taylor]: Taking taylor expansion of 0 in z
4.661 * [taylor]: Taking taylor expansion of 0 in t
4.664 * [taylor]: Taking taylor expansion of 0 in y
4.664 * [taylor]: Taking taylor expansion of 0 in z
4.665 * [taylor]: Taking taylor expansion of 0 in z
4.665 * [taylor]: Taking taylor expansion of 0 in t
4.666 * [taylor]: Taking taylor expansion of 0 in t
4.669 * [taylor]: Taking taylor expansion of 0 in y
4.669 * [taylor]: Taking taylor expansion of 0 in z
4.670 * [taylor]: Taking taylor expansion of 0 in z
4.671 * [taylor]: Taking taylor expansion of 0 in z
4.671 * [taylor]: Taking taylor expansion of 0 in t
4.671 * [taylor]: Taking taylor expansion of 0 in t
4.671 * [taylor]: Taking taylor expansion of 0 in t
4.672 * [taylor]: Taking taylor expansion of 0 in t
4.672 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
4.673 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
4.673 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
4.673 * [taylor]: Taking taylor expansion of 18.0 in z
4.673 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.673 * [taylor]: Taking taylor expansion of x in z
4.673 * [taylor]: Taking taylor expansion of (* z y) in z
4.673 * [taylor]: Taking taylor expansion of z in z
4.673 * [taylor]: Taking taylor expansion of y in z
4.673 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
4.673 * [taylor]: Taking taylor expansion of 18.0 in y
4.673 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.673 * [taylor]: Taking taylor expansion of x in y
4.673 * [taylor]: Taking taylor expansion of (* z y) in y
4.673 * [taylor]: Taking taylor expansion of z in y
4.673 * [taylor]: Taking taylor expansion of y in y
4.673 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
4.673 * [taylor]: Taking taylor expansion of 18.0 in x
4.673 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.673 * [taylor]: Taking taylor expansion of x in x
4.673 * [taylor]: Taking taylor expansion of (* z y) in x
4.673 * [taylor]: Taking taylor expansion of z in x
4.673 * [taylor]: Taking taylor expansion of y in x
4.673 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
4.673 * [taylor]: Taking taylor expansion of 18.0 in x
4.673 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.673 * [taylor]: Taking taylor expansion of x in x
4.673 * [taylor]: Taking taylor expansion of (* z y) in x
4.673 * [taylor]: Taking taylor expansion of z in x
4.673 * [taylor]: Taking taylor expansion of y in x
4.674 * [taylor]: Taking taylor expansion of 0 in y
4.674 * [taylor]: Taking taylor expansion of 0 in z
4.674 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
4.674 * [taylor]: Taking taylor expansion of 18.0 in y
4.674 * [taylor]: Taking taylor expansion of (* z y) in y
4.674 * [taylor]: Taking taylor expansion of z in y
4.674 * [taylor]: Taking taylor expansion of y in y
4.675 * [taylor]: Taking taylor expansion of 0 in z
4.675 * [taylor]: Taking taylor expansion of 0 in z
4.676 * [taylor]: Taking taylor expansion of 0 in y
4.676 * [taylor]: Taking taylor expansion of 0 in z
4.677 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
4.677 * [taylor]: Taking taylor expansion of 18.0 in z
4.677 * [taylor]: Taking taylor expansion of z in z
4.678 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
4.678 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
4.678 * [taylor]: Taking taylor expansion of 18.0 in z
4.678 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.678 * [taylor]: Taking taylor expansion of x in z
4.678 * [taylor]: Taking taylor expansion of (* z y) in z
4.678 * [taylor]: Taking taylor expansion of z in z
4.678 * [taylor]: Taking taylor expansion of y in z
4.678 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
4.678 * [taylor]: Taking taylor expansion of 18.0 in y
4.678 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.678 * [taylor]: Taking taylor expansion of x in y
4.678 * [taylor]: Taking taylor expansion of (* z y) in y
4.678 * [taylor]: Taking taylor expansion of z in y
4.678 * [taylor]: Taking taylor expansion of y in y
4.679 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
4.679 * [taylor]: Taking taylor expansion of 18.0 in x
4.679 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.679 * [taylor]: Taking taylor expansion of x in x
4.679 * [taylor]: Taking taylor expansion of (* z y) in x
4.679 * [taylor]: Taking taylor expansion of z in x
4.679 * [taylor]: Taking taylor expansion of y in x
4.680 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
4.680 * [taylor]: Taking taylor expansion of 18.0 in x
4.680 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.680 * [taylor]: Taking taylor expansion of x in x
4.680 * [taylor]: Taking taylor expansion of (* z y) in x
4.680 * [taylor]: Taking taylor expansion of z in x
4.680 * [taylor]: Taking taylor expansion of y in x
4.680 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
4.680 * [taylor]: Taking taylor expansion of 18.0 in y
4.680 * [taylor]: Taking taylor expansion of (* z y) in y
4.680 * [taylor]: Taking taylor expansion of z in y
4.680 * [taylor]: Taking taylor expansion of y in y
4.681 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
4.681 * [taylor]: Taking taylor expansion of 18.0 in z
4.681 * [taylor]: Taking taylor expansion of z in z
4.682 * [taylor]: Taking taylor expansion of 0 in y
4.683 * [taylor]: Taking taylor expansion of 0 in z
4.685 * [taylor]: Taking taylor expansion of 0 in y
4.685 * [taylor]: Taking taylor expansion of 0 in z
4.686 * [taylor]: Taking taylor expansion of 0 in z
4.689 * [taylor]: Taking taylor expansion of 0 in y
4.689 * [taylor]: Taking taylor expansion of 0 in z
4.689 * [taylor]: Taking taylor expansion of 0 in z
4.690 * [taylor]: Taking taylor expansion of 0 in z
4.690 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
4.690 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
4.690 * [taylor]: Taking taylor expansion of -18.0 in z
4.690 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.690 * [taylor]: Taking taylor expansion of x in z
4.690 * [taylor]: Taking taylor expansion of (* z y) in z
4.690 * [taylor]: Taking taylor expansion of z in z
4.690 * [taylor]: Taking taylor expansion of y in z
4.691 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
4.691 * [taylor]: Taking taylor expansion of -18.0 in y
4.691 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.691 * [taylor]: Taking taylor expansion of x in y
4.691 * [taylor]: Taking taylor expansion of (* z y) in y
4.691 * [taylor]: Taking taylor expansion of z in y
4.691 * [taylor]: Taking taylor expansion of y in y
4.692 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
4.692 * [taylor]: Taking taylor expansion of -18.0 in x
4.692 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.692 * [taylor]: Taking taylor expansion of x in x
4.692 * [taylor]: Taking taylor expansion of (* z y) in x
4.692 * [taylor]: Taking taylor expansion of z in x
4.692 * [taylor]: Taking taylor expansion of y in x
4.692 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
4.692 * [taylor]: Taking taylor expansion of -18.0 in x
4.692 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.692 * [taylor]: Taking taylor expansion of x in x
4.692 * [taylor]: Taking taylor expansion of (* z y) in x
4.692 * [taylor]: Taking taylor expansion of z in x
4.692 * [taylor]: Taking taylor expansion of y in x
4.693 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
4.693 * [taylor]: Taking taylor expansion of -18.0 in y
4.693 * [taylor]: Taking taylor expansion of (* z y) in y
4.693 * [taylor]: Taking taylor expansion of z in y
4.693 * [taylor]: Taking taylor expansion of y in y
4.693 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
4.693 * [taylor]: Taking taylor expansion of -18.0 in z
4.693 * [taylor]: Taking taylor expansion of z in z
4.698 * [taylor]: Taking taylor expansion of 0 in y
4.699 * [taylor]: Taking taylor expansion of 0 in z
4.701 * [taylor]: Taking taylor expansion of 0 in y
4.701 * [taylor]: Taking taylor expansion of 0 in z
4.702 * [taylor]: Taking taylor expansion of 0 in z
4.704 * [taylor]: Taking taylor expansion of 0 in y
4.705 * [taylor]: Taking taylor expansion of 0 in z
4.705 * [taylor]: Taking taylor expansion of 0 in z
4.705 * [taylor]: Taking taylor expansion of 0 in z
4.706 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.706 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
4.706 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
4.706 * [taylor]: Taking taylor expansion of 27.0 in k
4.706 * [taylor]: Taking taylor expansion of (* k j) in k
4.706 * [taylor]: Taking taylor expansion of k in k
4.706 * [taylor]: Taking taylor expansion of j in k
4.706 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
4.706 * [taylor]: Taking taylor expansion of 27.0 in j
4.706 * [taylor]: Taking taylor expansion of (* k j) in j
4.706 * [taylor]: Taking taylor expansion of k in j
4.706 * [taylor]: Taking taylor expansion of j in j
4.706 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
4.706 * [taylor]: Taking taylor expansion of 27.0 in j
4.706 * [taylor]: Taking taylor expansion of (* k j) in j
4.706 * [taylor]: Taking taylor expansion of k in j
4.706 * [taylor]: Taking taylor expansion of j in j
4.706 * [taylor]: Taking taylor expansion of 0 in k
4.707 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
4.707 * [taylor]: Taking taylor expansion of 27.0 in k
4.707 * [taylor]: Taking taylor expansion of k in k
4.709 * [taylor]: Taking taylor expansion of 0 in k
4.711 * [taylor]: Taking taylor expansion of 0 in k
4.713 * [taylor]: Taking taylor expansion of 0 in k
4.714 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
4.714 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
4.714 * [taylor]: Taking taylor expansion of 27.0 in k
4.714 * [taylor]: Taking taylor expansion of (* k j) in k
4.714 * [taylor]: Taking taylor expansion of k in k
4.714 * [taylor]: Taking taylor expansion of j in k
4.714 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.714 * [taylor]: Taking taylor expansion of 27.0 in j
4.714 * [taylor]: Taking taylor expansion of (* k j) in j
4.714 * [taylor]: Taking taylor expansion of k in j
4.714 * [taylor]: Taking taylor expansion of j in j
4.715 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.715 * [taylor]: Taking taylor expansion of 27.0 in j
4.715 * [taylor]: Taking taylor expansion of (* k j) in j
4.715 * [taylor]: Taking taylor expansion of k in j
4.715 * [taylor]: Taking taylor expansion of j in j
4.715 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
4.715 * [taylor]: Taking taylor expansion of 27.0 in k
4.715 * [taylor]: Taking taylor expansion of k in k
4.716 * [taylor]: Taking taylor expansion of 0 in k
4.717 * [taylor]: Taking taylor expansion of 0 in k
4.719 * [taylor]: Taking taylor expansion of 0 in k
4.719 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
4.720 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
4.720 * [taylor]: Taking taylor expansion of 27.0 in k
4.720 * [taylor]: Taking taylor expansion of (* k j) in k
4.720 * [taylor]: Taking taylor expansion of k in k
4.720 * [taylor]: Taking taylor expansion of j in k
4.720 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.720 * [taylor]: Taking taylor expansion of 27.0 in j
4.720 * [taylor]: Taking taylor expansion of (* k j) in j
4.720 * [taylor]: Taking taylor expansion of k in j
4.720 * [taylor]: Taking taylor expansion of j in j
4.720 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.720 * [taylor]: Taking taylor expansion of 27.0 in j
4.720 * [taylor]: Taking taylor expansion of (* k j) in j
4.721 * [taylor]: Taking taylor expansion of k in j
4.721 * [taylor]: Taking taylor expansion of j in j
4.721 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
4.721 * [taylor]: Taking taylor expansion of 27.0 in k
4.721 * [taylor]: Taking taylor expansion of k in k
4.722 * [taylor]: Taking taylor expansion of 0 in k
4.723 * [taylor]: Taking taylor expansion of 0 in k
4.724 * [taylor]: Taking taylor expansion of 0 in k
4.725 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
4.725 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
4.725 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
4.725 * [taylor]: Taking taylor expansion of 18.0 in y
4.726 * [taylor]: Taking taylor expansion of (* x y) in y
4.726 * [taylor]: Taking taylor expansion of x in y
4.726 * [taylor]: Taking taylor expansion of y in y
4.726 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
4.726 * [taylor]: Taking taylor expansion of 18.0 in x
4.726 * [taylor]: Taking taylor expansion of (* x y) in x
4.726 * [taylor]: Taking taylor expansion of x in x
4.726 * [taylor]: Taking taylor expansion of y in x
4.726 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
4.726 * [taylor]: Taking taylor expansion of 18.0 in x
4.726 * [taylor]: Taking taylor expansion of (* x y) in x
4.726 * [taylor]: Taking taylor expansion of x in x
4.726 * [taylor]: Taking taylor expansion of y in x
4.726 * [taylor]: Taking taylor expansion of 0 in y
4.727 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
4.727 * [taylor]: Taking taylor expansion of 18.0 in y
4.727 * [taylor]: Taking taylor expansion of y in y
4.728 * [taylor]: Taking taylor expansion of 0 in y
4.731 * [taylor]: Taking taylor expansion of 0 in y
4.734 * [taylor]: Taking taylor expansion of 0 in y
4.734 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
4.734 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
4.734 * [taylor]: Taking taylor expansion of 18.0 in y
4.734 * [taylor]: Taking taylor expansion of (* x y) in y
4.734 * [taylor]: Taking taylor expansion of x in y
4.734 * [taylor]: Taking taylor expansion of y in y
4.734 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.734 * [taylor]: Taking taylor expansion of 18.0 in x
4.734 * [taylor]: Taking taylor expansion of (* x y) in x
4.735 * [taylor]: Taking taylor expansion of x in x
4.735 * [taylor]: Taking taylor expansion of y in x
4.735 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.735 * [taylor]: Taking taylor expansion of 18.0 in x
4.735 * [taylor]: Taking taylor expansion of (* x y) in x
4.735 * [taylor]: Taking taylor expansion of x in x
4.735 * [taylor]: Taking taylor expansion of y in x
4.735 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
4.735 * [taylor]: Taking taylor expansion of 18.0 in y
4.735 * [taylor]: Taking taylor expansion of y in y
4.736 * [taylor]: Taking taylor expansion of 0 in y
4.738 * [taylor]: Taking taylor expansion of 0 in y
4.740 * [taylor]: Taking taylor expansion of 0 in y
4.741 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
4.741 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
4.741 * [taylor]: Taking taylor expansion of 18.0 in y
4.741 * [taylor]: Taking taylor expansion of (* x y) in y
4.741 * [taylor]: Taking taylor expansion of x in y
4.741 * [taylor]: Taking taylor expansion of y in y
4.741 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.742 * [taylor]: Taking taylor expansion of 18.0 in x
4.742 * [taylor]: Taking taylor expansion of (* x y) in x
4.742 * [taylor]: Taking taylor expansion of x in x
4.742 * [taylor]: Taking taylor expansion of y in x
4.742 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.742 * [taylor]: Taking taylor expansion of 18.0 in x
4.742 * [taylor]: Taking taylor expansion of (* x y) in x
4.742 * [taylor]: Taking taylor expansion of x in x
4.742 * [taylor]: Taking taylor expansion of y in x
4.742 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
4.742 * [taylor]: Taking taylor expansion of 18.0 in y
4.742 * [taylor]: Taking taylor expansion of y in y
4.743 * [taylor]: Taking taylor expansion of 0 in y
4.745 * [taylor]: Taking taylor expansion of 0 in y
4.747 * [taylor]: Taking taylor expansion of 0 in y
4.748 * * * [progress]: simplifying candidates
4.749 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) 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 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log 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 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) 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) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* (* j 27.0) k))
  (log1p (* (* j 27.0) k))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (+ (+ (log j) (log 27.0)) (log k))
  (+ (log (* j 27.0)) (log k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
  (* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (* (* (* (* j 27.0) k) (* (* j 27.0) k)) (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* (* j 27.0) 1)
  (* 27.0 k)
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
4.753 * * [simplify]: iteration  0 :  145  enodes  (cost  974 )
4.781 * * [simplify]: iteration  1 :  366  enodes  (cost  944 )
4.953 * * [simplify]: iteration  2 :  1796  enodes  (cost  738 )
5.620 * * [simplify]: iteration  done :  5001  enodes  (cost  738 )
5.621 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* (* j 27.0) k))
  (log1p (* (* j 27.0) k))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (pow (* 27.0 (* k j)) 3)
  (pow (* 27.0 (* k j)) 3)
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (pow (* 27.0 (* k j)) 3)
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* j 27.0)
  (* 27.0 k)
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
5.622 * * * [progress]: adding candidates to table
5.994 * * [progress]: iteration 2 / 4
5.994 * * * [progress]: picking best candidate
6.039 * * * * [pick]: Picked  #<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))))>
6.039 * * * [progress]: localizing error
6.064 * * * [progress]: generating rewritten candidates
6.064 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
6.141 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
6.164 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.169 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
6.179 * * * [progress]: generating series expansions
6.179 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
6.179 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.179 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
6.179 * [taylor]: Taking taylor expansion of 18.0 in t
6.179 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.179 * [taylor]: Taking taylor expansion of t in t
6.179 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.179 * [taylor]: Taking taylor expansion of x in t
6.179 * [taylor]: Taking taylor expansion of (* z y) in t
6.179 * [taylor]: Taking taylor expansion of z in t
6.179 * [taylor]: Taking taylor expansion of y in t
6.179 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
6.179 * [taylor]: Taking taylor expansion of 18.0 in z
6.179 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.179 * [taylor]: Taking taylor expansion of t in z
6.179 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.179 * [taylor]: Taking taylor expansion of x in z
6.179 * [taylor]: Taking taylor expansion of (* z y) in z
6.179 * [taylor]: Taking taylor expansion of z in z
6.179 * [taylor]: Taking taylor expansion of y in z
6.179 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
6.179 * [taylor]: Taking taylor expansion of 18.0 in y
6.179 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.179 * [taylor]: Taking taylor expansion of t in y
6.179 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.179 * [taylor]: Taking taylor expansion of x in y
6.179 * [taylor]: Taking taylor expansion of (* z y) in y
6.179 * [taylor]: Taking taylor expansion of z in y
6.179 * [taylor]: Taking taylor expansion of y in y
6.179 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.179 * [taylor]: Taking taylor expansion of 18.0 in x
6.179 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.179 * [taylor]: Taking taylor expansion of t in x
6.180 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.180 * [taylor]: Taking taylor expansion of x in x
6.180 * [taylor]: Taking taylor expansion of (* z y) in x
6.180 * [taylor]: Taking taylor expansion of z in x
6.180 * [taylor]: Taking taylor expansion of y in x
6.180 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.180 * [taylor]: Taking taylor expansion of 18.0 in x
6.180 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.180 * [taylor]: Taking taylor expansion of t in x
6.180 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.180 * [taylor]: Taking taylor expansion of x in x
6.180 * [taylor]: Taking taylor expansion of (* z y) in x
6.180 * [taylor]: Taking taylor expansion of z in x
6.180 * [taylor]: Taking taylor expansion of y in x
6.181 * [taylor]: Taking taylor expansion of 0 in y
6.181 * [taylor]: Taking taylor expansion of 0 in z
6.181 * [taylor]: Taking taylor expansion of 0 in t
6.182 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
6.182 * [taylor]: Taking taylor expansion of 18.0 in y
6.182 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.182 * [taylor]: Taking taylor expansion of t in y
6.182 * [taylor]: Taking taylor expansion of (* z y) in y
6.182 * [taylor]: Taking taylor expansion of z in y
6.182 * [taylor]: Taking taylor expansion of y in y
6.182 * [taylor]: Taking taylor expansion of 0 in z
6.182 * [taylor]: Taking taylor expansion of 0 in t
6.182 * [taylor]: Taking taylor expansion of 0 in z
6.182 * [taylor]: Taking taylor expansion of 0 in t
6.182 * [taylor]: Taking taylor expansion of 0 in t
6.184 * [taylor]: Taking taylor expansion of 0 in y
6.184 * [taylor]: Taking taylor expansion of 0 in z
6.184 * [taylor]: Taking taylor expansion of 0 in t
6.185 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.185 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.185 * [taylor]: Taking taylor expansion of 18.0 in t
6.185 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.185 * [taylor]: Taking taylor expansion of t in t
6.185 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.185 * [taylor]: Taking taylor expansion of x in t
6.185 * [taylor]: Taking taylor expansion of (* z y) in t
6.185 * [taylor]: Taking taylor expansion of z in t
6.185 * [taylor]: Taking taylor expansion of y in t
6.185 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.185 * [taylor]: Taking taylor expansion of 18.0 in z
6.185 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.185 * [taylor]: Taking taylor expansion of t in z
6.185 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.186 * [taylor]: Taking taylor expansion of x in z
6.186 * [taylor]: Taking taylor expansion of (* z y) in z
6.186 * [taylor]: Taking taylor expansion of z in z
6.186 * [taylor]: Taking taylor expansion of y in z
6.187 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.187 * [taylor]: Taking taylor expansion of 18.0 in y
6.187 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.187 * [taylor]: Taking taylor expansion of t in y
6.187 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.187 * [taylor]: Taking taylor expansion of x in y
6.187 * [taylor]: Taking taylor expansion of (* z y) in y
6.187 * [taylor]: Taking taylor expansion of z in y
6.187 * [taylor]: Taking taylor expansion of y in y
6.188 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.188 * [taylor]: Taking taylor expansion of 18.0 in x
6.188 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.188 * [taylor]: Taking taylor expansion of t in x
6.188 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.188 * [taylor]: Taking taylor expansion of x in x
6.188 * [taylor]: Taking taylor expansion of (* z y) in x
6.188 * [taylor]: Taking taylor expansion of z in x
6.188 * [taylor]: Taking taylor expansion of y in x
6.189 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.189 * [taylor]: Taking taylor expansion of 18.0 in x
6.189 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.189 * [taylor]: Taking taylor expansion of t in x
6.189 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.189 * [taylor]: Taking taylor expansion of x in x
6.189 * [taylor]: Taking taylor expansion of (* z y) in x
6.189 * [taylor]: Taking taylor expansion of z in x
6.189 * [taylor]: Taking taylor expansion of y in x
6.190 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.190 * [taylor]: Taking taylor expansion of 18.0 in y
6.190 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.190 * [taylor]: Taking taylor expansion of t in y
6.190 * [taylor]: Taking taylor expansion of (* z y) in y
6.190 * [taylor]: Taking taylor expansion of z in y
6.190 * [taylor]: Taking taylor expansion of y in y
6.190 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.191 * [taylor]: Taking taylor expansion of 18.0 in z
6.191 * [taylor]: Taking taylor expansion of (* t z) in z
6.191 * [taylor]: Taking taylor expansion of t in z
6.191 * [taylor]: Taking taylor expansion of z in z
6.191 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.191 * [taylor]: Taking taylor expansion of 18.0 in t
6.191 * [taylor]: Taking taylor expansion of t in t
6.193 * [taylor]: Taking taylor expansion of 0 in y
6.194 * [taylor]: Taking taylor expansion of 0 in z
6.194 * [taylor]: Taking taylor expansion of 0 in t
6.197 * [taylor]: Taking taylor expansion of 0 in y
6.197 * [taylor]: Taking taylor expansion of 0 in z
6.198 * [taylor]: Taking taylor expansion of 0 in z
6.198 * [taylor]: Taking taylor expansion of 0 in t
6.199 * [taylor]: Taking taylor expansion of 0 in t
6.203 * [taylor]: Taking taylor expansion of 0 in y
6.203 * [taylor]: Taking taylor expansion of 0 in z
6.203 * [taylor]: Taking taylor expansion of 0 in z
6.204 * [taylor]: Taking taylor expansion of 0 in z
6.204 * [taylor]: Taking taylor expansion of 0 in t
6.204 * [taylor]: Taking taylor expansion of 0 in t
6.204 * [taylor]: Taking taylor expansion of 0 in t
6.205 * [taylor]: Taking taylor expansion of 0 in t
6.206 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.206 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.206 * [taylor]: Taking taylor expansion of 18.0 in t
6.206 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.206 * [taylor]: Taking taylor expansion of t in t
6.206 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.206 * [taylor]: Taking taylor expansion of x in t
6.206 * [taylor]: Taking taylor expansion of (* z y) in t
6.206 * [taylor]: Taking taylor expansion of z in t
6.206 * [taylor]: Taking taylor expansion of y in t
6.207 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.207 * [taylor]: Taking taylor expansion of 18.0 in z
6.207 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.207 * [taylor]: Taking taylor expansion of t in z
6.207 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.207 * [taylor]: Taking taylor expansion of x in z
6.207 * [taylor]: Taking taylor expansion of (* z y) in z
6.207 * [taylor]: Taking taylor expansion of z in z
6.207 * [taylor]: Taking taylor expansion of y in z
6.208 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.208 * [taylor]: Taking taylor expansion of 18.0 in y
6.208 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.208 * [taylor]: Taking taylor expansion of t in y
6.208 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.208 * [taylor]: Taking taylor expansion of x in y
6.208 * [taylor]: Taking taylor expansion of (* z y) in y
6.208 * [taylor]: Taking taylor expansion of z in y
6.208 * [taylor]: Taking taylor expansion of y in y
6.209 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.209 * [taylor]: Taking taylor expansion of 18.0 in x
6.209 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.209 * [taylor]: Taking taylor expansion of t in x
6.209 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.209 * [taylor]: Taking taylor expansion of x in x
6.209 * [taylor]: Taking taylor expansion of (* z y) in x
6.209 * [taylor]: Taking taylor expansion of z in x
6.209 * [taylor]: Taking taylor expansion of y in x
6.210 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.210 * [taylor]: Taking taylor expansion of 18.0 in x
6.210 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.210 * [taylor]: Taking taylor expansion of t in x
6.210 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.210 * [taylor]: Taking taylor expansion of x in x
6.210 * [taylor]: Taking taylor expansion of (* z y) in x
6.210 * [taylor]: Taking taylor expansion of z in x
6.210 * [taylor]: Taking taylor expansion of y in x
6.211 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.211 * [taylor]: Taking taylor expansion of 18.0 in y
6.211 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.211 * [taylor]: Taking taylor expansion of t in y
6.211 * [taylor]: Taking taylor expansion of (* z y) in y
6.211 * [taylor]: Taking taylor expansion of z in y
6.211 * [taylor]: Taking taylor expansion of y in y
6.212 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.212 * [taylor]: Taking taylor expansion of 18.0 in z
6.212 * [taylor]: Taking taylor expansion of (* t z) in z
6.212 * [taylor]: Taking taylor expansion of t in z
6.212 * [taylor]: Taking taylor expansion of z in z
6.212 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.213 * [taylor]: Taking taylor expansion of 18.0 in t
6.213 * [taylor]: Taking taylor expansion of t in t
6.214 * [taylor]: Taking taylor expansion of 0 in y
6.215 * [taylor]: Taking taylor expansion of 0 in z
6.216 * [taylor]: Taking taylor expansion of 0 in t
6.218 * [taylor]: Taking taylor expansion of 0 in y
6.219 * [taylor]: Taking taylor expansion of 0 in z
6.220 * [taylor]: Taking taylor expansion of 0 in z
6.220 * [taylor]: Taking taylor expansion of 0 in t
6.220 * [taylor]: Taking taylor expansion of 0 in t
6.224 * [taylor]: Taking taylor expansion of 0 in y
6.224 * [taylor]: Taking taylor expansion of 0 in z
6.224 * [taylor]: Taking taylor expansion of 0 in z
6.226 * [taylor]: Taking taylor expansion of 0 in z
6.226 * [taylor]: Taking taylor expansion of 0 in t
6.226 * [taylor]: Taking taylor expansion of 0 in t
6.226 * [taylor]: Taking taylor expansion of 0 in t
6.227 * [taylor]: Taking taylor expansion of 0 in t
6.227 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
6.227 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
6.227 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
6.227 * [taylor]: Taking taylor expansion of 18.0 in z
6.227 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.227 * [taylor]: Taking taylor expansion of x in z
6.227 * [taylor]: Taking taylor expansion of (* z y) in z
6.227 * [taylor]: Taking taylor expansion of z in z
6.227 * [taylor]: Taking taylor expansion of y in z
6.227 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
6.227 * [taylor]: Taking taylor expansion of 18.0 in y
6.227 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.227 * [taylor]: Taking taylor expansion of x in y
6.227 * [taylor]: Taking taylor expansion of (* z y) in y
6.227 * [taylor]: Taking taylor expansion of z in y
6.227 * [taylor]: Taking taylor expansion of y in y
6.227 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.227 * [taylor]: Taking taylor expansion of 18.0 in x
6.227 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.227 * [taylor]: Taking taylor expansion of x in x
6.227 * [taylor]: Taking taylor expansion of (* z y) in x
6.228 * [taylor]: Taking taylor expansion of z in x
6.228 * [taylor]: Taking taylor expansion of y in x
6.228 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.228 * [taylor]: Taking taylor expansion of 18.0 in x
6.228 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.228 * [taylor]: Taking taylor expansion of x in x
6.228 * [taylor]: Taking taylor expansion of (* z y) in x
6.228 * [taylor]: Taking taylor expansion of z in x
6.228 * [taylor]: Taking taylor expansion of y in x
6.228 * [taylor]: Taking taylor expansion of 0 in y
6.228 * [taylor]: Taking taylor expansion of 0 in z
6.229 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
6.229 * [taylor]: Taking taylor expansion of 18.0 in y
6.229 * [taylor]: Taking taylor expansion of (* z y) in y
6.229 * [taylor]: Taking taylor expansion of z in y
6.229 * [taylor]: Taking taylor expansion of y in y
6.229 * [taylor]: Taking taylor expansion of 0 in z
6.230 * [taylor]: Taking taylor expansion of 0 in z
6.231 * [taylor]: Taking taylor expansion of 0 in y
6.231 * [taylor]: Taking taylor expansion of 0 in z
6.232 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
6.232 * [taylor]: Taking taylor expansion of 18.0 in z
6.232 * [taylor]: Taking taylor expansion of z in z
6.232 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
6.232 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
6.232 * [taylor]: Taking taylor expansion of 18.0 in z
6.232 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.232 * [taylor]: Taking taylor expansion of x in z
6.233 * [taylor]: Taking taylor expansion of (* z y) in z
6.233 * [taylor]: Taking taylor expansion of z in z
6.233 * [taylor]: Taking taylor expansion of y in z
6.233 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
6.233 * [taylor]: Taking taylor expansion of 18.0 in y
6.233 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.233 * [taylor]: Taking taylor expansion of x in y
6.233 * [taylor]: Taking taylor expansion of (* z y) in y
6.233 * [taylor]: Taking taylor expansion of z in y
6.233 * [taylor]: Taking taylor expansion of y in y
6.234 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.234 * [taylor]: Taking taylor expansion of 18.0 in x
6.234 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.234 * [taylor]: Taking taylor expansion of x in x
6.234 * [taylor]: Taking taylor expansion of (* z y) in x
6.234 * [taylor]: Taking taylor expansion of z in x
6.234 * [taylor]: Taking taylor expansion of y in x
6.235 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.235 * [taylor]: Taking taylor expansion of 18.0 in x
6.235 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.235 * [taylor]: Taking taylor expansion of x in x
6.235 * [taylor]: Taking taylor expansion of (* z y) in x
6.235 * [taylor]: Taking taylor expansion of z in x
6.235 * [taylor]: Taking taylor expansion of y in x
6.235 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
6.235 * [taylor]: Taking taylor expansion of 18.0 in y
6.235 * [taylor]: Taking taylor expansion of (* z y) in y
6.235 * [taylor]: Taking taylor expansion of z in y
6.235 * [taylor]: Taking taylor expansion of y in y
6.236 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
6.236 * [taylor]: Taking taylor expansion of 18.0 in z
6.236 * [taylor]: Taking taylor expansion of z in z
6.237 * [taylor]: Taking taylor expansion of 0 in y
6.238 * [taylor]: Taking taylor expansion of 0 in z
6.240 * [taylor]: Taking taylor expansion of 0 in y
6.240 * [taylor]: Taking taylor expansion of 0 in z
6.240 * [taylor]: Taking taylor expansion of 0 in z
6.243 * [taylor]: Taking taylor expansion of 0 in y
6.243 * [taylor]: Taking taylor expansion of 0 in z
6.243 * [taylor]: Taking taylor expansion of 0 in z
6.244 * [taylor]: Taking taylor expansion of 0 in z
6.244 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
6.244 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
6.244 * [taylor]: Taking taylor expansion of -18.0 in z
6.244 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.245 * [taylor]: Taking taylor expansion of x in z
6.245 * [taylor]: Taking taylor expansion of (* z y) in z
6.245 * [taylor]: Taking taylor expansion of z in z
6.245 * [taylor]: Taking taylor expansion of y in z
6.245 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
6.245 * [taylor]: Taking taylor expansion of -18.0 in y
6.245 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.245 * [taylor]: Taking taylor expansion of x in y
6.245 * [taylor]: Taking taylor expansion of (* z y) in y
6.245 * [taylor]: Taking taylor expansion of z in y
6.245 * [taylor]: Taking taylor expansion of y in y
6.246 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.246 * [taylor]: Taking taylor expansion of -18.0 in x
6.246 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.246 * [taylor]: Taking taylor expansion of x in x
6.246 * [taylor]: Taking taylor expansion of (* z y) in x
6.246 * [taylor]: Taking taylor expansion of z in x
6.246 * [taylor]: Taking taylor expansion of y in x
6.247 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.247 * [taylor]: Taking taylor expansion of -18.0 in x
6.247 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.247 * [taylor]: Taking taylor expansion of x in x
6.247 * [taylor]: Taking taylor expansion of (* z y) in x
6.247 * [taylor]: Taking taylor expansion of z in x
6.247 * [taylor]: Taking taylor expansion of y in x
6.247 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
6.247 * [taylor]: Taking taylor expansion of -18.0 in y
6.247 * [taylor]: Taking taylor expansion of (* z y) in y
6.247 * [taylor]: Taking taylor expansion of z in y
6.247 * [taylor]: Taking taylor expansion of y in y
6.248 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
6.248 * [taylor]: Taking taylor expansion of -18.0 in z
6.248 * [taylor]: Taking taylor expansion of z in z
6.249 * [taylor]: Taking taylor expansion of 0 in y
6.250 * [taylor]: Taking taylor expansion of 0 in z
6.252 * [taylor]: Taking taylor expansion of 0 in y
6.252 * [taylor]: Taking taylor expansion of 0 in z
6.256 * [taylor]: Taking taylor expansion of 0 in z
6.260 * [taylor]: Taking taylor expansion of 0 in y
6.260 * [taylor]: Taking taylor expansion of 0 in z
6.260 * [taylor]: Taking taylor expansion of 0 in z
6.260 * [taylor]: Taking taylor expansion of 0 in z
6.261 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.261 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
6.261 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
6.261 * [taylor]: Taking taylor expansion of 27.0 in k
6.261 * [taylor]: Taking taylor expansion of (* k j) in k
6.261 * [taylor]: Taking taylor expansion of k in k
6.261 * [taylor]: Taking taylor expansion of j in k
6.261 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
6.261 * [taylor]: Taking taylor expansion of 27.0 in j
6.261 * [taylor]: Taking taylor expansion of (* k j) in j
6.261 * [taylor]: Taking taylor expansion of k in j
6.261 * [taylor]: Taking taylor expansion of j in j
6.261 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
6.261 * [taylor]: Taking taylor expansion of 27.0 in j
6.261 * [taylor]: Taking taylor expansion of (* k j) in j
6.261 * [taylor]: Taking taylor expansion of k in j
6.261 * [taylor]: Taking taylor expansion of j in j
6.262 * [taylor]: Taking taylor expansion of 0 in k
6.262 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
6.262 * [taylor]: Taking taylor expansion of 27.0 in k
6.262 * [taylor]: Taking taylor expansion of k in k
6.264 * [taylor]: Taking taylor expansion of 0 in k
6.266 * [taylor]: Taking taylor expansion of 0 in k
6.268 * [taylor]: Taking taylor expansion of 0 in k
6.269 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
6.269 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.269 * [taylor]: Taking taylor expansion of 27.0 in k
6.269 * [taylor]: Taking taylor expansion of (* k j) in k
6.269 * [taylor]: Taking taylor expansion of k in k
6.269 * [taylor]: Taking taylor expansion of j in k
6.269 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.269 * [taylor]: Taking taylor expansion of 27.0 in j
6.269 * [taylor]: Taking taylor expansion of (* k j) in j
6.269 * [taylor]: Taking taylor expansion of k in j
6.269 * [taylor]: Taking taylor expansion of j in j
6.270 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.270 * [taylor]: Taking taylor expansion of 27.0 in j
6.270 * [taylor]: Taking taylor expansion of (* k j) in j
6.270 * [taylor]: Taking taylor expansion of k in j
6.270 * [taylor]: Taking taylor expansion of j in j
6.270 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
6.270 * [taylor]: Taking taylor expansion of 27.0 in k
6.270 * [taylor]: Taking taylor expansion of k in k
6.271 * [taylor]: Taking taylor expansion of 0 in k
6.272 * [taylor]: Taking taylor expansion of 0 in k
6.273 * [taylor]: Taking taylor expansion of 0 in k
6.274 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
6.274 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.274 * [taylor]: Taking taylor expansion of 27.0 in k
6.274 * [taylor]: Taking taylor expansion of (* k j) in k
6.274 * [taylor]: Taking taylor expansion of k in k
6.274 * [taylor]: Taking taylor expansion of j in k
6.275 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.275 * [taylor]: Taking taylor expansion of 27.0 in j
6.275 * [taylor]: Taking taylor expansion of (* k j) in j
6.275 * [taylor]: Taking taylor expansion of k in j
6.275 * [taylor]: Taking taylor expansion of j in j
6.275 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.275 * [taylor]: Taking taylor expansion of 27.0 in j
6.275 * [taylor]: Taking taylor expansion of (* k j) in j
6.275 * [taylor]: Taking taylor expansion of k in j
6.275 * [taylor]: Taking taylor expansion of j in j
6.276 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
6.276 * [taylor]: Taking taylor expansion of 27.0 in k
6.276 * [taylor]: Taking taylor expansion of k in k
6.277 * [taylor]: Taking taylor expansion of 0 in k
6.278 * [taylor]: Taking taylor expansion of 0 in k
6.279 * [taylor]: Taking taylor expansion of 0 in k
6.280 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
6.280 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
6.280 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
6.280 * [taylor]: Taking taylor expansion of 18.0 in y
6.280 * [taylor]: Taking taylor expansion of (* x y) in y
6.280 * [taylor]: Taking taylor expansion of x in y
6.280 * [taylor]: Taking taylor expansion of y in y
6.280 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.280 * [taylor]: Taking taylor expansion of 18.0 in x
6.280 * [taylor]: Taking taylor expansion of (* x y) in x
6.280 * [taylor]: Taking taylor expansion of x in x
6.280 * [taylor]: Taking taylor expansion of y in x
6.280 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.280 * [taylor]: Taking taylor expansion of 18.0 in x
6.281 * [taylor]: Taking taylor expansion of (* x y) in x
6.281 * [taylor]: Taking taylor expansion of x in x
6.281 * [taylor]: Taking taylor expansion of y in x
6.281 * [taylor]: Taking taylor expansion of 0 in y
6.282 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
6.282 * [taylor]: Taking taylor expansion of 18.0 in y
6.282 * [taylor]: Taking taylor expansion of y in y
6.283 * [taylor]: Taking taylor expansion of 0 in y
6.286 * [taylor]: Taking taylor expansion of 0 in y
6.289 * [taylor]: Taking taylor expansion of 0 in y
6.289 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.289 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.289 * [taylor]: Taking taylor expansion of 18.0 in y
6.289 * [taylor]: Taking taylor expansion of (* x y) in y
6.289 * [taylor]: Taking taylor expansion of x in y
6.289 * [taylor]: Taking taylor expansion of y in y
6.289 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.289 * [taylor]: Taking taylor expansion of 18.0 in x
6.289 * [taylor]: Taking taylor expansion of (* x y) in x
6.289 * [taylor]: Taking taylor expansion of x in x
6.289 * [taylor]: Taking taylor expansion of y in x
6.290 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.290 * [taylor]: Taking taylor expansion of 18.0 in x
6.290 * [taylor]: Taking taylor expansion of (* x y) in x
6.290 * [taylor]: Taking taylor expansion of x in x
6.290 * [taylor]: Taking taylor expansion of y in x
6.290 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.290 * [taylor]: Taking taylor expansion of 18.0 in y
6.290 * [taylor]: Taking taylor expansion of y in y
6.291 * [taylor]: Taking taylor expansion of 0 in y
6.293 * [taylor]: Taking taylor expansion of 0 in y
6.295 * [taylor]: Taking taylor expansion of 0 in y
6.295 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.296 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.296 * [taylor]: Taking taylor expansion of 18.0 in y
6.296 * [taylor]: Taking taylor expansion of (* x y) in y
6.296 * [taylor]: Taking taylor expansion of x in y
6.296 * [taylor]: Taking taylor expansion of y in y
6.296 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.296 * [taylor]: Taking taylor expansion of 18.0 in x
6.296 * [taylor]: Taking taylor expansion of (* x y) in x
6.296 * [taylor]: Taking taylor expansion of x in x
6.296 * [taylor]: Taking taylor expansion of y in x
6.296 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.297 * [taylor]: Taking taylor expansion of 18.0 in x
6.297 * [taylor]: Taking taylor expansion of (* x y) in x
6.297 * [taylor]: Taking taylor expansion of x in x
6.297 * [taylor]: Taking taylor expansion of y in x
6.297 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.297 * [taylor]: Taking taylor expansion of 18.0 in y
6.297 * [taylor]: Taking taylor expansion of y in y
6.298 * [taylor]: Taking taylor expansion of 0 in y
6.300 * [taylor]: Taking taylor expansion of 0 in y
6.301 * [taylor]: Taking taylor expansion of 0 in y
6.302 * * * [progress]: simplifying candidates
6.304 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) 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 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log 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 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) 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) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* 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))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
6.307 * * [simplify]: iteration  0 :  143  enodes  (cost  971 )
6.335 * * [simplify]: iteration  1 :  358  enodes  (cost  943 )
6.499 * * [simplify]: iteration  2 :  1711  enodes  (cost  737 )
7.137 * * [simplify]: iteration  done :  5001  enodes  (cost  737 )
7.138 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
7.139 * * * [progress]: adding candidates to table
7.507 * * [progress]: iteration 3 / 4
7.507 * * * [progress]: picking best candidate
7.547 * * * * [pick]: Picked  #<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)) (pow (* 27.0 (* k j)) 1)))>
7.548 * * * [progress]: localizing error
7.574 * * * [progress]: generating rewritten candidates
7.574 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
7.652 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
7.675 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
7.681 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
7.691 * * * [progress]: generating series expansions
7.691 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
7.691 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
7.691 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
7.691 * [taylor]: Taking taylor expansion of 18.0 in t
7.691 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
7.691 * [taylor]: Taking taylor expansion of t in t
7.691 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
7.691 * [taylor]: Taking taylor expansion of x in t
7.691 * [taylor]: Taking taylor expansion of (* z y) in t
7.691 * [taylor]: Taking taylor expansion of z in t
7.691 * [taylor]: Taking taylor expansion of y in t
7.691 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
7.692 * [taylor]: Taking taylor expansion of 18.0 in z
7.692 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
7.692 * [taylor]: Taking taylor expansion of t in z
7.692 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.692 * [taylor]: Taking taylor expansion of x in z
7.692 * [taylor]: Taking taylor expansion of (* z y) in z
7.692 * [taylor]: Taking taylor expansion of z in z
7.692 * [taylor]: Taking taylor expansion of y in z
7.692 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
7.692 * [taylor]: Taking taylor expansion of 18.0 in y
7.692 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
7.692 * [taylor]: Taking taylor expansion of t in y
7.692 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.692 * [taylor]: Taking taylor expansion of x in y
7.692 * [taylor]: Taking taylor expansion of (* z y) in y
7.692 * [taylor]: Taking taylor expansion of z in y
7.692 * [taylor]: Taking taylor expansion of y in y
7.692 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
7.692 * [taylor]: Taking taylor expansion of 18.0 in x
7.692 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.692 * [taylor]: Taking taylor expansion of t in x
7.692 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.692 * [taylor]: Taking taylor expansion of x in x
7.692 * [taylor]: Taking taylor expansion of (* z y) in x
7.692 * [taylor]: Taking taylor expansion of z in x
7.692 * [taylor]: Taking taylor expansion of y in x
7.692 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
7.692 * [taylor]: Taking taylor expansion of 18.0 in x
7.692 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.692 * [taylor]: Taking taylor expansion of t in x
7.692 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.692 * [taylor]: Taking taylor expansion of x in x
7.692 * [taylor]: Taking taylor expansion of (* z y) in x
7.692 * [taylor]: Taking taylor expansion of z in x
7.692 * [taylor]: Taking taylor expansion of y in x
7.693 * [taylor]: Taking taylor expansion of 0 in y
7.693 * [taylor]: Taking taylor expansion of 0 in z
7.693 * [taylor]: Taking taylor expansion of 0 in t
7.694 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
7.694 * [taylor]: Taking taylor expansion of 18.0 in y
7.694 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.694 * [taylor]: Taking taylor expansion of t in y
7.694 * [taylor]: Taking taylor expansion of (* z y) in y
7.694 * [taylor]: Taking taylor expansion of z in y
7.694 * [taylor]: Taking taylor expansion of y in y
7.695 * [taylor]: Taking taylor expansion of 0 in z
7.695 * [taylor]: Taking taylor expansion of 0 in t
7.695 * [taylor]: Taking taylor expansion of 0 in z
7.695 * [taylor]: Taking taylor expansion of 0 in t
7.695 * [taylor]: Taking taylor expansion of 0 in t
7.697 * [taylor]: Taking taylor expansion of 0 in y
7.697 * [taylor]: Taking taylor expansion of 0 in z
7.697 * [taylor]: Taking taylor expansion of 0 in t
7.697 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
7.697 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
7.697 * [taylor]: Taking taylor expansion of 18.0 in t
7.697 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
7.697 * [taylor]: Taking taylor expansion of t in t
7.697 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
7.697 * [taylor]: Taking taylor expansion of x in t
7.697 * [taylor]: Taking taylor expansion of (* z y) in t
7.697 * [taylor]: Taking taylor expansion of z in t
7.697 * [taylor]: Taking taylor expansion of y in t
7.698 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
7.698 * [taylor]: Taking taylor expansion of 18.0 in z
7.698 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
7.698 * [taylor]: Taking taylor expansion of t in z
7.698 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.698 * [taylor]: Taking taylor expansion of x in z
7.698 * [taylor]: Taking taylor expansion of (* z y) in z
7.698 * [taylor]: Taking taylor expansion of z in z
7.698 * [taylor]: Taking taylor expansion of y in z
7.699 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
7.699 * [taylor]: Taking taylor expansion of 18.0 in y
7.699 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
7.699 * [taylor]: Taking taylor expansion of t in y
7.699 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.699 * [taylor]: Taking taylor expansion of x in y
7.699 * [taylor]: Taking taylor expansion of (* z y) in y
7.699 * [taylor]: Taking taylor expansion of z in y
7.699 * [taylor]: Taking taylor expansion of y in y
7.700 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.700 * [taylor]: Taking taylor expansion of 18.0 in x
7.700 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.700 * [taylor]: Taking taylor expansion of t in x
7.700 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.700 * [taylor]: Taking taylor expansion of x in x
7.700 * [taylor]: Taking taylor expansion of (* z y) in x
7.700 * [taylor]: Taking taylor expansion of z in x
7.700 * [taylor]: Taking taylor expansion of y in x
7.701 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.701 * [taylor]: Taking taylor expansion of 18.0 in x
7.701 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.701 * [taylor]: Taking taylor expansion of t in x
7.701 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.701 * [taylor]: Taking taylor expansion of x in x
7.701 * [taylor]: Taking taylor expansion of (* z y) in x
7.701 * [taylor]: Taking taylor expansion of z in x
7.701 * [taylor]: Taking taylor expansion of y in x
7.702 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
7.702 * [taylor]: Taking taylor expansion of 18.0 in y
7.702 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.702 * [taylor]: Taking taylor expansion of t in y
7.702 * [taylor]: Taking taylor expansion of (* z y) in y
7.702 * [taylor]: Taking taylor expansion of z in y
7.702 * [taylor]: Taking taylor expansion of y in y
7.703 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
7.703 * [taylor]: Taking taylor expansion of 18.0 in z
7.703 * [taylor]: Taking taylor expansion of (* t z) in z
7.703 * [taylor]: Taking taylor expansion of t in z
7.703 * [taylor]: Taking taylor expansion of z in z
7.703 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
7.703 * [taylor]: Taking taylor expansion of 18.0 in t
7.703 * [taylor]: Taking taylor expansion of t in t
7.705 * [taylor]: Taking taylor expansion of 0 in y
7.706 * [taylor]: Taking taylor expansion of 0 in z
7.707 * [taylor]: Taking taylor expansion of 0 in t
7.709 * [taylor]: Taking taylor expansion of 0 in y
7.709 * [taylor]: Taking taylor expansion of 0 in z
7.711 * [taylor]: Taking taylor expansion of 0 in z
7.711 * [taylor]: Taking taylor expansion of 0 in t
7.711 * [taylor]: Taking taylor expansion of 0 in t
7.715 * [taylor]: Taking taylor expansion of 0 in y
7.715 * [taylor]: Taking taylor expansion of 0 in z
7.715 * [taylor]: Taking taylor expansion of 0 in z
7.717 * [taylor]: Taking taylor expansion of 0 in z
7.717 * [taylor]: Taking taylor expansion of 0 in t
7.717 * [taylor]: Taking taylor expansion of 0 in t
7.717 * [taylor]: Taking taylor expansion of 0 in t
7.718 * [taylor]: Taking taylor expansion of 0 in t
7.718 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
7.718 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
7.718 * [taylor]: Taking taylor expansion of 18.0 in t
7.718 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
7.718 * [taylor]: Taking taylor expansion of t in t
7.718 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
7.718 * [taylor]: Taking taylor expansion of x in t
7.718 * [taylor]: Taking taylor expansion of (* z y) in t
7.718 * [taylor]: Taking taylor expansion of z in t
7.718 * [taylor]: Taking taylor expansion of y in t
7.719 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
7.719 * [taylor]: Taking taylor expansion of 18.0 in z
7.719 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
7.719 * [taylor]: Taking taylor expansion of t in z
7.719 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.719 * [taylor]: Taking taylor expansion of x in z
7.719 * [taylor]: Taking taylor expansion of (* z y) in z
7.719 * [taylor]: Taking taylor expansion of z in z
7.719 * [taylor]: Taking taylor expansion of y in z
7.720 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
7.720 * [taylor]: Taking taylor expansion of 18.0 in y
7.720 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
7.720 * [taylor]: Taking taylor expansion of t in y
7.720 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.720 * [taylor]: Taking taylor expansion of x in y
7.721 * [taylor]: Taking taylor expansion of (* z y) in y
7.721 * [taylor]: Taking taylor expansion of z in y
7.721 * [taylor]: Taking taylor expansion of y in y
7.722 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.722 * [taylor]: Taking taylor expansion of 18.0 in x
7.722 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.722 * [taylor]: Taking taylor expansion of t in x
7.722 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.722 * [taylor]: Taking taylor expansion of x in x
7.722 * [taylor]: Taking taylor expansion of (* z y) in x
7.722 * [taylor]: Taking taylor expansion of z in x
7.722 * [taylor]: Taking taylor expansion of y in x
7.723 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.723 * [taylor]: Taking taylor expansion of 18.0 in x
7.723 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.723 * [taylor]: Taking taylor expansion of t in x
7.723 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.723 * [taylor]: Taking taylor expansion of x in x
7.723 * [taylor]: Taking taylor expansion of (* z y) in x
7.723 * [taylor]: Taking taylor expansion of z in x
7.723 * [taylor]: Taking taylor expansion of y in x
7.724 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
7.724 * [taylor]: Taking taylor expansion of 18.0 in y
7.724 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.724 * [taylor]: Taking taylor expansion of t in y
7.724 * [taylor]: Taking taylor expansion of (* z y) in y
7.724 * [taylor]: Taking taylor expansion of z in y
7.724 * [taylor]: Taking taylor expansion of y in y
7.725 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
7.725 * [taylor]: Taking taylor expansion of 18.0 in z
7.725 * [taylor]: Taking taylor expansion of (* t z) in z
7.725 * [taylor]: Taking taylor expansion of t in z
7.725 * [taylor]: Taking taylor expansion of z in z
7.725 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
7.725 * [taylor]: Taking taylor expansion of 18.0 in t
7.725 * [taylor]: Taking taylor expansion of t in t
7.727 * [taylor]: Taking taylor expansion of 0 in y
7.728 * [taylor]: Taking taylor expansion of 0 in z
7.728 * [taylor]: Taking taylor expansion of 0 in t
7.731 * [taylor]: Taking taylor expansion of 0 in y
7.731 * [taylor]: Taking taylor expansion of 0 in z
7.732 * [taylor]: Taking taylor expansion of 0 in z
7.733 * [taylor]: Taking taylor expansion of 0 in t
7.733 * [taylor]: Taking taylor expansion of 0 in t
7.737 * [taylor]: Taking taylor expansion of 0 in y
7.737 * [taylor]: Taking taylor expansion of 0 in z
7.737 * [taylor]: Taking taylor expansion of 0 in z
7.739 * [taylor]: Taking taylor expansion of 0 in z
7.739 * [taylor]: Taking taylor expansion of 0 in t
7.739 * [taylor]: Taking taylor expansion of 0 in t
7.739 * [taylor]: Taking taylor expansion of 0 in t
7.740 * [taylor]: Taking taylor expansion of 0 in t
7.740 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
7.740 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
7.740 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
7.740 * [taylor]: Taking taylor expansion of 18.0 in z
7.740 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.740 * [taylor]: Taking taylor expansion of x in z
7.740 * [taylor]: Taking taylor expansion of (* z y) in z
7.740 * [taylor]: Taking taylor expansion of z in z
7.740 * [taylor]: Taking taylor expansion of y in z
7.740 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
7.740 * [taylor]: Taking taylor expansion of 18.0 in y
7.740 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.741 * [taylor]: Taking taylor expansion of x in y
7.741 * [taylor]: Taking taylor expansion of (* z y) in y
7.741 * [taylor]: Taking taylor expansion of z in y
7.741 * [taylor]: Taking taylor expansion of y in y
7.741 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
7.741 * [taylor]: Taking taylor expansion of 18.0 in x
7.741 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.741 * [taylor]: Taking taylor expansion of x in x
7.741 * [taylor]: Taking taylor expansion of (* z y) in x
7.741 * [taylor]: Taking taylor expansion of z in x
7.741 * [taylor]: Taking taylor expansion of y in x
7.741 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
7.741 * [taylor]: Taking taylor expansion of 18.0 in x
7.741 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.741 * [taylor]: Taking taylor expansion of x in x
7.741 * [taylor]: Taking taylor expansion of (* z y) in x
7.741 * [taylor]: Taking taylor expansion of z in x
7.741 * [taylor]: Taking taylor expansion of y in x
7.741 * [taylor]: Taking taylor expansion of 0 in y
7.741 * [taylor]: Taking taylor expansion of 0 in z
7.742 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
7.742 * [taylor]: Taking taylor expansion of 18.0 in y
7.742 * [taylor]: Taking taylor expansion of (* z y) in y
7.742 * [taylor]: Taking taylor expansion of z in y
7.742 * [taylor]: Taking taylor expansion of y in y
7.743 * [taylor]: Taking taylor expansion of 0 in z
7.743 * [taylor]: Taking taylor expansion of 0 in z
7.744 * [taylor]: Taking taylor expansion of 0 in y
7.744 * [taylor]: Taking taylor expansion of 0 in z
7.745 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
7.745 * [taylor]: Taking taylor expansion of 18.0 in z
7.745 * [taylor]: Taking taylor expansion of z in z
7.745 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
7.745 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
7.745 * [taylor]: Taking taylor expansion of 18.0 in z
7.745 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.745 * [taylor]: Taking taylor expansion of x in z
7.746 * [taylor]: Taking taylor expansion of (* z y) in z
7.746 * [taylor]: Taking taylor expansion of z in z
7.746 * [taylor]: Taking taylor expansion of y in z
7.746 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
7.746 * [taylor]: Taking taylor expansion of 18.0 in y
7.746 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.746 * [taylor]: Taking taylor expansion of x in y
7.746 * [taylor]: Taking taylor expansion of (* z y) in y
7.746 * [taylor]: Taking taylor expansion of z in y
7.746 * [taylor]: Taking taylor expansion of y in y
7.747 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
7.747 * [taylor]: Taking taylor expansion of 18.0 in x
7.747 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.747 * [taylor]: Taking taylor expansion of x in x
7.747 * [taylor]: Taking taylor expansion of (* z y) in x
7.747 * [taylor]: Taking taylor expansion of z in x
7.747 * [taylor]: Taking taylor expansion of y in x
7.748 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
7.748 * [taylor]: Taking taylor expansion of 18.0 in x
7.748 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.748 * [taylor]: Taking taylor expansion of x in x
7.748 * [taylor]: Taking taylor expansion of (* z y) in x
7.748 * [taylor]: Taking taylor expansion of z in x
7.748 * [taylor]: Taking taylor expansion of y in x
7.748 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
7.748 * [taylor]: Taking taylor expansion of 18.0 in y
7.748 * [taylor]: Taking taylor expansion of (* z y) in y
7.748 * [taylor]: Taking taylor expansion of z in y
7.748 * [taylor]: Taking taylor expansion of y in y
7.749 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
7.749 * [taylor]: Taking taylor expansion of 18.0 in z
7.749 * [taylor]: Taking taylor expansion of z in z
7.750 * [taylor]: Taking taylor expansion of 0 in y
7.751 * [taylor]: Taking taylor expansion of 0 in z
7.753 * [taylor]: Taking taylor expansion of 0 in y
7.753 * [taylor]: Taking taylor expansion of 0 in z
7.753 * [taylor]: Taking taylor expansion of 0 in z
7.756 * [taylor]: Taking taylor expansion of 0 in y
7.756 * [taylor]: Taking taylor expansion of 0 in z
7.756 * [taylor]: Taking taylor expansion of 0 in z
7.757 * [taylor]: Taking taylor expansion of 0 in z
7.757 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
7.758 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
7.758 * [taylor]: Taking taylor expansion of -18.0 in z
7.758 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.758 * [taylor]: Taking taylor expansion of x in z
7.758 * [taylor]: Taking taylor expansion of (* z y) in z
7.758 * [taylor]: Taking taylor expansion of z in z
7.758 * [taylor]: Taking taylor expansion of y in z
7.758 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
7.758 * [taylor]: Taking taylor expansion of -18.0 in y
7.758 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.758 * [taylor]: Taking taylor expansion of x in y
7.758 * [taylor]: Taking taylor expansion of (* z y) in y
7.758 * [taylor]: Taking taylor expansion of z in y
7.758 * [taylor]: Taking taylor expansion of y in y
7.759 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
7.759 * [taylor]: Taking taylor expansion of -18.0 in x
7.759 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.759 * [taylor]: Taking taylor expansion of x in x
7.759 * [taylor]: Taking taylor expansion of (* z y) in x
7.759 * [taylor]: Taking taylor expansion of z in x
7.759 * [taylor]: Taking taylor expansion of y in x
7.760 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
7.760 * [taylor]: Taking taylor expansion of -18.0 in x
7.760 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.760 * [taylor]: Taking taylor expansion of x in x
7.760 * [taylor]: Taking taylor expansion of (* z y) in x
7.760 * [taylor]: Taking taylor expansion of z in x
7.760 * [taylor]: Taking taylor expansion of y in x
7.760 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
7.760 * [taylor]: Taking taylor expansion of -18.0 in y
7.760 * [taylor]: Taking taylor expansion of (* z y) in y
7.760 * [taylor]: Taking taylor expansion of z in y
7.760 * [taylor]: Taking taylor expansion of y in y
7.761 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
7.761 * [taylor]: Taking taylor expansion of -18.0 in z
7.761 * [taylor]: Taking taylor expansion of z in z
7.762 * [taylor]: Taking taylor expansion of 0 in y
7.763 * [taylor]: Taking taylor expansion of 0 in z
7.765 * [taylor]: Taking taylor expansion of 0 in y
7.765 * [taylor]: Taking taylor expansion of 0 in z
7.766 * [taylor]: Taking taylor expansion of 0 in z
7.768 * [taylor]: Taking taylor expansion of 0 in y
7.769 * [taylor]: Taking taylor expansion of 0 in z
7.769 * [taylor]: Taking taylor expansion of 0 in z
7.769 * [taylor]: Taking taylor expansion of 0 in z
7.770 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
7.770 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (k j) around 0
7.770 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
7.770 * [taylor]: Taking taylor expansion of 27.0 in j
7.770 * [taylor]: Taking taylor expansion of (* k j) in j
7.770 * [taylor]: Taking taylor expansion of k in j
7.770 * [taylor]: Taking taylor expansion of j in j
7.770 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
7.770 * [taylor]: Taking taylor expansion of 27.0 in k
7.770 * [taylor]: Taking taylor expansion of (* k j) in k
7.770 * [taylor]: Taking taylor expansion of k in k
7.770 * [taylor]: Taking taylor expansion of j in k
7.770 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
7.770 * [taylor]: Taking taylor expansion of 27.0 in k
7.770 * [taylor]: Taking taylor expansion of (* k j) in k
7.770 * [taylor]: Taking taylor expansion of k in k
7.770 * [taylor]: Taking taylor expansion of j in k
7.771 * [taylor]: Taking taylor expansion of 0 in j
7.775 * [taylor]: Taking taylor expansion of (* 27.0 j) in j
7.775 * [taylor]: Taking taylor expansion of 27.0 in j
7.775 * [taylor]: Taking taylor expansion of j in j
7.777 * [taylor]: Taking taylor expansion of 0 in j
7.780 * [taylor]: Taking taylor expansion of 0 in j
7.782 * [taylor]: Taking taylor expansion of 0 in j
7.783 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
7.783 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
7.783 * [taylor]: Taking taylor expansion of 27.0 in j
7.783 * [taylor]: Taking taylor expansion of (* k j) in j
7.783 * [taylor]: Taking taylor expansion of k in j
7.783 * [taylor]: Taking taylor expansion of j in j
7.783 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.783 * [taylor]: Taking taylor expansion of 27.0 in k
7.783 * [taylor]: Taking taylor expansion of (* k j) in k
7.783 * [taylor]: Taking taylor expansion of k in k
7.783 * [taylor]: Taking taylor expansion of j in k
7.783 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.784 * [taylor]: Taking taylor expansion of 27.0 in k
7.784 * [taylor]: Taking taylor expansion of (* k j) in k
7.784 * [taylor]: Taking taylor expansion of k in k
7.784 * [taylor]: Taking taylor expansion of j in k
7.784 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
7.784 * [taylor]: Taking taylor expansion of 27.0 in j
7.784 * [taylor]: Taking taylor expansion of j in j
7.785 * [taylor]: Taking taylor expansion of 0 in j
7.787 * [taylor]: Taking taylor expansion of 0 in j
7.789 * [taylor]: Taking taylor expansion of 0 in j
7.790 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
7.790 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
7.790 * [taylor]: Taking taylor expansion of 27.0 in j
7.790 * [taylor]: Taking taylor expansion of (* k j) in j
7.790 * [taylor]: Taking taylor expansion of k in j
7.790 * [taylor]: Taking taylor expansion of j in j
7.790 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.790 * [taylor]: Taking taylor expansion of 27.0 in k
7.790 * [taylor]: Taking taylor expansion of (* k j) in k
7.790 * [taylor]: Taking taylor expansion of k in k
7.790 * [taylor]: Taking taylor expansion of j in k
7.791 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.791 * [taylor]: Taking taylor expansion of 27.0 in k
7.791 * [taylor]: Taking taylor expansion of (* k j) in k
7.791 * [taylor]: Taking taylor expansion of k in k
7.791 * [taylor]: Taking taylor expansion of j in k
7.791 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
7.791 * [taylor]: Taking taylor expansion of 27.0 in j
7.791 * [taylor]: Taking taylor expansion of j in j
7.792 * [taylor]: Taking taylor expansion of 0 in j
7.794 * [taylor]: Taking taylor expansion of 0 in j
7.795 * [taylor]: Taking taylor expansion of 0 in j
7.796 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
7.796 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
7.797 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
7.797 * [taylor]: Taking taylor expansion of 18.0 in y
7.797 * [taylor]: Taking taylor expansion of (* x y) in y
7.797 * [taylor]: Taking taylor expansion of x in y
7.797 * [taylor]: Taking taylor expansion of y in y
7.797 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
7.797 * [taylor]: Taking taylor expansion of 18.0 in x
7.797 * [taylor]: Taking taylor expansion of (* x y) in x
7.797 * [taylor]: Taking taylor expansion of x in x
7.797 * [taylor]: Taking taylor expansion of y in x
7.797 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
7.797 * [taylor]: Taking taylor expansion of 18.0 in x
7.797 * [taylor]: Taking taylor expansion of (* x y) in x
7.797 * [taylor]: Taking taylor expansion of x in x
7.797 * [taylor]: Taking taylor expansion of y in x
7.797 * [taylor]: Taking taylor expansion of 0 in y
7.798 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
7.798 * [taylor]: Taking taylor expansion of 18.0 in y
7.798 * [taylor]: Taking taylor expansion of y in y
7.799 * [taylor]: Taking taylor expansion of 0 in y
7.802 * [taylor]: Taking taylor expansion of 0 in y
7.805 * [taylor]: Taking taylor expansion of 0 in y
7.805 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
7.805 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
7.805 * [taylor]: Taking taylor expansion of 18.0 in y
7.805 * [taylor]: Taking taylor expansion of (* x y) in y
7.805 * [taylor]: Taking taylor expansion of x in y
7.805 * [taylor]: Taking taylor expansion of y in y
7.805 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.806 * [taylor]: Taking taylor expansion of 18.0 in x
7.806 * [taylor]: Taking taylor expansion of (* x y) in x
7.806 * [taylor]: Taking taylor expansion of x in x
7.806 * [taylor]: Taking taylor expansion of y in x
7.806 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.806 * [taylor]: Taking taylor expansion of 18.0 in x
7.806 * [taylor]: Taking taylor expansion of (* x y) in x
7.806 * [taylor]: Taking taylor expansion of x in x
7.806 * [taylor]: Taking taylor expansion of y in x
7.806 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
7.806 * [taylor]: Taking taylor expansion of 18.0 in y
7.806 * [taylor]: Taking taylor expansion of y in y
7.807 * [taylor]: Taking taylor expansion of 0 in y
7.809 * [taylor]: Taking taylor expansion of 0 in y
7.811 * [taylor]: Taking taylor expansion of 0 in y
7.812 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
7.812 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
7.812 * [taylor]: Taking taylor expansion of 18.0 in y
7.812 * [taylor]: Taking taylor expansion of (* x y) in y
7.812 * [taylor]: Taking taylor expansion of x in y
7.812 * [taylor]: Taking taylor expansion of y in y
7.812 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.812 * [taylor]: Taking taylor expansion of 18.0 in x
7.812 * [taylor]: Taking taylor expansion of (* x y) in x
7.812 * [taylor]: Taking taylor expansion of x in x
7.812 * [taylor]: Taking taylor expansion of y in x
7.813 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.813 * [taylor]: Taking taylor expansion of 18.0 in x
7.813 * [taylor]: Taking taylor expansion of (* x y) in x
7.813 * [taylor]: Taking taylor expansion of x in x
7.813 * [taylor]: Taking taylor expansion of y in x
7.813 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
7.813 * [taylor]: Taking taylor expansion of 18.0 in y
7.813 * [taylor]: Taking taylor expansion of y in y
7.814 * [taylor]: Taking taylor expansion of 0 in y
7.816 * [taylor]: Taking taylor expansion of 0 in y
7.818 * [taylor]: Taking taylor expansion of 0 in y
7.818 * * * [progress]: simplifying candidates
7.820 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) 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 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log 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 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) 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) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* 27.0 (* k j)))
  (log1p (* 27.0 (* k j)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (+ (log 27.0) (+ (log k) (log j)))
  (+ (log 27.0) (log (* k j)))
  (log (* 27.0 (* k j)))
  (exp (* 27.0 (* k j)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* k k) k) (* (* j j) j)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* k j) (* k j)) (* k j)))
  (* (cbrt (* 27.0 (* k j))) (cbrt (* 27.0 (* k j))))
  (cbrt (* 27.0 (* k j)))
  (* (* (* 27.0 (* k j)) (* 27.0 (* k j))) (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (* 27.0 k)
  (* (cbrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* 27.0 (* k j))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
7.824 * * [simplify]: iteration  0 :  141  enodes  (cost  971 )
7.851 * * [simplify]: iteration  1 :  354  enodes  (cost  943 )
8.013 * * [simplify]: iteration  2 :  1700  enodes  (cost  737 )
8.620 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
8.621 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (expm1 (* 27.0 (* k j)))
  (log1p (* 27.0 (* k j)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (log (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (exp (* 27.0 (* k j)))
  (pow (* 27.0 (* k j)) 3)
  (pow (* 27.0 (* k j)) 3)
  (* (cbrt (* 27.0 (* k j))) (cbrt (* 27.0 (* k j))))
  (cbrt (* 27.0 (* k j)))
  (pow (* 27.0 (* k j)) 3)
  (sqrt (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (* 27.0 k)
  (* (cbrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* 27.0 (* k j))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
8.621 * * * [progress]: adding candidates to table
9.017 * * [progress]: iteration 4 / 4
9.017 * * * [progress]: picking best candidate
9.058 * * * * [pick]: Picked  #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))>
9.058 * * * [progress]: localizing error
9.087 * * * [progress]: generating rewritten candidates
9.087 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
9.163 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
9.184 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
9.192 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
9.217 * * * [progress]: generating series expansions
9.217 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
9.217 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.217 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
9.217 * [taylor]: Taking taylor expansion of 18.0 in t
9.217 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.217 * [taylor]: Taking taylor expansion of t in t
9.217 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.217 * [taylor]: Taking taylor expansion of x in t
9.217 * [taylor]: Taking taylor expansion of (* z y) in t
9.217 * [taylor]: Taking taylor expansion of z in t
9.218 * [taylor]: Taking taylor expansion of y in t
9.218 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
9.218 * [taylor]: Taking taylor expansion of 18.0 in z
9.218 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.218 * [taylor]: Taking taylor expansion of t in z
9.218 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.218 * [taylor]: Taking taylor expansion of x in z
9.218 * [taylor]: Taking taylor expansion of (* z y) in z
9.218 * [taylor]: Taking taylor expansion of z in z
9.218 * [taylor]: Taking taylor expansion of y in z
9.218 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
9.218 * [taylor]: Taking taylor expansion of 18.0 in y
9.218 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.218 * [taylor]: Taking taylor expansion of t in y
9.218 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.218 * [taylor]: Taking taylor expansion of x in y
9.218 * [taylor]: Taking taylor expansion of (* z y) in y
9.218 * [taylor]: Taking taylor expansion of z in y
9.218 * [taylor]: Taking taylor expansion of y in y
9.218 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
9.218 * [taylor]: Taking taylor expansion of 18.0 in x
9.218 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.218 * [taylor]: Taking taylor expansion of t in x
9.218 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.218 * [taylor]: Taking taylor expansion of x in x
9.218 * [taylor]: Taking taylor expansion of (* z y) in x
9.218 * [taylor]: Taking taylor expansion of z in x
9.218 * [taylor]: Taking taylor expansion of y in x
9.218 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
9.218 * [taylor]: Taking taylor expansion of 18.0 in x
9.218 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.218 * [taylor]: Taking taylor expansion of t in x
9.218 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.218 * [taylor]: Taking taylor expansion of x in x
9.218 * [taylor]: Taking taylor expansion of (* z y) in x
9.218 * [taylor]: Taking taylor expansion of z in x
9.218 * [taylor]: Taking taylor expansion of y in x
9.219 * [taylor]: Taking taylor expansion of 0 in y
9.219 * [taylor]: Taking taylor expansion of 0 in z
9.219 * [taylor]: Taking taylor expansion of 0 in t
9.220 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
9.220 * [taylor]: Taking taylor expansion of 18.0 in y
9.220 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.220 * [taylor]: Taking taylor expansion of t in y
9.220 * [taylor]: Taking taylor expansion of (* z y) in y
9.220 * [taylor]: Taking taylor expansion of z in y
9.220 * [taylor]: Taking taylor expansion of y in y
9.221 * [taylor]: Taking taylor expansion of 0 in z
9.221 * [taylor]: Taking taylor expansion of 0 in t
9.221 * [taylor]: Taking taylor expansion of 0 in z
9.221 * [taylor]: Taking taylor expansion of 0 in t
9.221 * [taylor]: Taking taylor expansion of 0 in t
9.223 * [taylor]: Taking taylor expansion of 0 in y
9.223 * [taylor]: Taking taylor expansion of 0 in z
9.223 * [taylor]: Taking taylor expansion of 0 in t
9.223 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.223 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
9.223 * [taylor]: Taking taylor expansion of 18.0 in t
9.223 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.223 * [taylor]: Taking taylor expansion of t in t
9.223 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.223 * [taylor]: Taking taylor expansion of x in t
9.223 * [taylor]: Taking taylor expansion of (* z y) in t
9.223 * [taylor]: Taking taylor expansion of z in t
9.223 * [taylor]: Taking taylor expansion of y in t
9.224 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
9.224 * [taylor]: Taking taylor expansion of 18.0 in z
9.224 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.224 * [taylor]: Taking taylor expansion of t in z
9.224 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.224 * [taylor]: Taking taylor expansion of x in z
9.224 * [taylor]: Taking taylor expansion of (* z y) in z
9.224 * [taylor]: Taking taylor expansion of z in z
9.224 * [taylor]: Taking taylor expansion of y in z
9.225 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
9.225 * [taylor]: Taking taylor expansion of 18.0 in y
9.225 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.225 * [taylor]: Taking taylor expansion of t in y
9.225 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.225 * [taylor]: Taking taylor expansion of x in y
9.225 * [taylor]: Taking taylor expansion of (* z y) in y
9.225 * [taylor]: Taking taylor expansion of z in y
9.225 * [taylor]: Taking taylor expansion of y in y
9.226 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.226 * [taylor]: Taking taylor expansion of 18.0 in x
9.226 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.226 * [taylor]: Taking taylor expansion of t in x
9.226 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.226 * [taylor]: Taking taylor expansion of x in x
9.226 * [taylor]: Taking taylor expansion of (* z y) in x
9.226 * [taylor]: Taking taylor expansion of z in x
9.226 * [taylor]: Taking taylor expansion of y in x
9.227 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.227 * [taylor]: Taking taylor expansion of 18.0 in x
9.227 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.227 * [taylor]: Taking taylor expansion of t in x
9.227 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.227 * [taylor]: Taking taylor expansion of x in x
9.227 * [taylor]: Taking taylor expansion of (* z y) in x
9.227 * [taylor]: Taking taylor expansion of z in x
9.227 * [taylor]: Taking taylor expansion of y in x
9.228 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
9.228 * [taylor]: Taking taylor expansion of 18.0 in y
9.228 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.228 * [taylor]: Taking taylor expansion of t in y
9.228 * [taylor]: Taking taylor expansion of (* z y) in y
9.228 * [taylor]: Taking taylor expansion of z in y
9.228 * [taylor]: Taking taylor expansion of y in y
9.229 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
9.229 * [taylor]: Taking taylor expansion of 18.0 in z
9.229 * [taylor]: Taking taylor expansion of (* t z) in z
9.229 * [taylor]: Taking taylor expansion of t in z
9.229 * [taylor]: Taking taylor expansion of z in z
9.229 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
9.229 * [taylor]: Taking taylor expansion of 18.0 in t
9.229 * [taylor]: Taking taylor expansion of t in t
9.231 * [taylor]: Taking taylor expansion of 0 in y
9.232 * [taylor]: Taking taylor expansion of 0 in z
9.233 * [taylor]: Taking taylor expansion of 0 in t
9.235 * [taylor]: Taking taylor expansion of 0 in y
9.235 * [taylor]: Taking taylor expansion of 0 in z
9.237 * [taylor]: Taking taylor expansion of 0 in z
9.237 * [taylor]: Taking taylor expansion of 0 in t
9.237 * [taylor]: Taking taylor expansion of 0 in t
9.241 * [taylor]: Taking taylor expansion of 0 in y
9.241 * [taylor]: Taking taylor expansion of 0 in z
9.241 * [taylor]: Taking taylor expansion of 0 in z
9.243 * [taylor]: Taking taylor expansion of 0 in z
9.243 * [taylor]: Taking taylor expansion of 0 in t
9.243 * [taylor]: Taking taylor expansion of 0 in t
9.243 * [taylor]: Taking taylor expansion of 0 in t
9.244 * [taylor]: Taking taylor expansion of 0 in t
9.244 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.244 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
9.244 * [taylor]: Taking taylor expansion of 18.0 in t
9.244 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.244 * [taylor]: Taking taylor expansion of t in t
9.244 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.244 * [taylor]: Taking taylor expansion of x in t
9.244 * [taylor]: Taking taylor expansion of (* z y) in t
9.244 * [taylor]: Taking taylor expansion of z in t
9.244 * [taylor]: Taking taylor expansion of y in t
9.245 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
9.245 * [taylor]: Taking taylor expansion of 18.0 in z
9.245 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.245 * [taylor]: Taking taylor expansion of t in z
9.245 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.245 * [taylor]: Taking taylor expansion of x in z
9.245 * [taylor]: Taking taylor expansion of (* z y) in z
9.245 * [taylor]: Taking taylor expansion of z in z
9.245 * [taylor]: Taking taylor expansion of y in z
9.246 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
9.246 * [taylor]: Taking taylor expansion of 18.0 in y
9.246 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.246 * [taylor]: Taking taylor expansion of t in y
9.246 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.246 * [taylor]: Taking taylor expansion of x in y
9.246 * [taylor]: Taking taylor expansion of (* z y) in y
9.246 * [taylor]: Taking taylor expansion of z in y
9.246 * [taylor]: Taking taylor expansion of y in y
9.247 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.247 * [taylor]: Taking taylor expansion of 18.0 in x
9.247 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.247 * [taylor]: Taking taylor expansion of t in x
9.247 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.247 * [taylor]: Taking taylor expansion of x in x
9.247 * [taylor]: Taking taylor expansion of (* z y) in x
9.247 * [taylor]: Taking taylor expansion of z in x
9.247 * [taylor]: Taking taylor expansion of y in x
9.248 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.248 * [taylor]: Taking taylor expansion of 18.0 in x
9.248 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.248 * [taylor]: Taking taylor expansion of t in x
9.248 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.248 * [taylor]: Taking taylor expansion of x in x
9.248 * [taylor]: Taking taylor expansion of (* z y) in x
9.248 * [taylor]: Taking taylor expansion of z in x
9.248 * [taylor]: Taking taylor expansion of y in x
9.249 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
9.249 * [taylor]: Taking taylor expansion of 18.0 in y
9.249 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.249 * [taylor]: Taking taylor expansion of t in y
9.249 * [taylor]: Taking taylor expansion of (* z y) in y
9.249 * [taylor]: Taking taylor expansion of z in y
9.249 * [taylor]: Taking taylor expansion of y in y
9.250 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
9.250 * [taylor]: Taking taylor expansion of 18.0 in z
9.250 * [taylor]: Taking taylor expansion of (* t z) in z
9.250 * [taylor]: Taking taylor expansion of t in z
9.250 * [taylor]: Taking taylor expansion of z in z
9.251 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
9.251 * [taylor]: Taking taylor expansion of 18.0 in t
9.251 * [taylor]: Taking taylor expansion of t in t
9.252 * [taylor]: Taking taylor expansion of 0 in y
9.253 * [taylor]: Taking taylor expansion of 0 in z
9.254 * [taylor]: Taking taylor expansion of 0 in t
9.256 * [taylor]: Taking taylor expansion of 0 in y
9.256 * [taylor]: Taking taylor expansion of 0 in z
9.258 * [taylor]: Taking taylor expansion of 0 in z
9.258 * [taylor]: Taking taylor expansion of 0 in t
9.258 * [taylor]: Taking taylor expansion of 0 in t
9.262 * [taylor]: Taking taylor expansion of 0 in y
9.262 * [taylor]: Taking taylor expansion of 0 in z
9.263 * [taylor]: Taking taylor expansion of 0 in z
9.264 * [taylor]: Taking taylor expansion of 0 in z
9.264 * [taylor]: Taking taylor expansion of 0 in t
9.264 * [taylor]: Taking taylor expansion of 0 in t
9.264 * [taylor]: Taking taylor expansion of 0 in t
9.265 * [taylor]: Taking taylor expansion of 0 in t
9.265 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
9.265 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
9.266 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
9.266 * [taylor]: Taking taylor expansion of 18.0 in z
9.266 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.266 * [taylor]: Taking taylor expansion of x in z
9.266 * [taylor]: Taking taylor expansion of (* z y) in z
9.266 * [taylor]: Taking taylor expansion of z in z
9.266 * [taylor]: Taking taylor expansion of y in z
9.266 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
9.266 * [taylor]: Taking taylor expansion of 18.0 in y
9.266 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.266 * [taylor]: Taking taylor expansion of x in y
9.266 * [taylor]: Taking taylor expansion of (* z y) in y
9.266 * [taylor]: Taking taylor expansion of z in y
9.266 * [taylor]: Taking taylor expansion of y in y
9.266 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
9.266 * [taylor]: Taking taylor expansion of 18.0 in x
9.266 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.266 * [taylor]: Taking taylor expansion of x in x
9.266 * [taylor]: Taking taylor expansion of (* z y) in x
9.266 * [taylor]: Taking taylor expansion of z in x
9.266 * [taylor]: Taking taylor expansion of y in x
9.266 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
9.266 * [taylor]: Taking taylor expansion of 18.0 in x
9.266 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.266 * [taylor]: Taking taylor expansion of x in x
9.266 * [taylor]: Taking taylor expansion of (* z y) in x
9.266 * [taylor]: Taking taylor expansion of z in x
9.266 * [taylor]: Taking taylor expansion of y in x
9.266 * [taylor]: Taking taylor expansion of 0 in y
9.267 * [taylor]: Taking taylor expansion of 0 in z
9.268 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
9.268 * [taylor]: Taking taylor expansion of 18.0 in y
9.268 * [taylor]: Taking taylor expansion of (* z y) in y
9.268 * [taylor]: Taking taylor expansion of z in y
9.268 * [taylor]: Taking taylor expansion of y in y
9.268 * [taylor]: Taking taylor expansion of 0 in z
9.268 * [taylor]: Taking taylor expansion of 0 in z
9.270 * [taylor]: Taking taylor expansion of 0 in y
9.270 * [taylor]: Taking taylor expansion of 0 in z
9.270 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
9.270 * [taylor]: Taking taylor expansion of 18.0 in z
9.270 * [taylor]: Taking taylor expansion of z in z
9.271 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
9.271 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
9.271 * [taylor]: Taking taylor expansion of 18.0 in z
9.271 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.271 * [taylor]: Taking taylor expansion of x in z
9.271 * [taylor]: Taking taylor expansion of (* z y) in z
9.271 * [taylor]: Taking taylor expansion of z in z
9.271 * [taylor]: Taking taylor expansion of y in z
9.272 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
9.272 * [taylor]: Taking taylor expansion of 18.0 in y
9.272 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.272 * [taylor]: Taking taylor expansion of x in y
9.272 * [taylor]: Taking taylor expansion of (* z y) in y
9.272 * [taylor]: Taking taylor expansion of z in y
9.272 * [taylor]: Taking taylor expansion of y in y
9.272 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
9.272 * [taylor]: Taking taylor expansion of 18.0 in x
9.272 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.272 * [taylor]: Taking taylor expansion of x in x
9.272 * [taylor]: Taking taylor expansion of (* z y) in x
9.273 * [taylor]: Taking taylor expansion of z in x
9.273 * [taylor]: Taking taylor expansion of y in x
9.273 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
9.273 * [taylor]: Taking taylor expansion of 18.0 in x
9.273 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.273 * [taylor]: Taking taylor expansion of x in x
9.273 * [taylor]: Taking taylor expansion of (* z y) in x
9.273 * [taylor]: Taking taylor expansion of z in x
9.273 * [taylor]: Taking taylor expansion of y in x
9.274 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
9.274 * [taylor]: Taking taylor expansion of 18.0 in y
9.274 * [taylor]: Taking taylor expansion of (* z y) in y
9.274 * [taylor]: Taking taylor expansion of z in y
9.274 * [taylor]: Taking taylor expansion of y in y
9.274 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
9.274 * [taylor]: Taking taylor expansion of 18.0 in z
9.274 * [taylor]: Taking taylor expansion of z in z
9.275 * [taylor]: Taking taylor expansion of 0 in y
9.276 * [taylor]: Taking taylor expansion of 0 in z
9.278 * [taylor]: Taking taylor expansion of 0 in y
9.278 * [taylor]: Taking taylor expansion of 0 in z
9.279 * [taylor]: Taking taylor expansion of 0 in z
9.281 * [taylor]: Taking taylor expansion of 0 in y
9.282 * [taylor]: Taking taylor expansion of 0 in z
9.282 * [taylor]: Taking taylor expansion of 0 in z
9.282 * [taylor]: Taking taylor expansion of 0 in z
9.283 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
9.283 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
9.283 * [taylor]: Taking taylor expansion of -18.0 in z
9.283 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.283 * [taylor]: Taking taylor expansion of x in z
9.283 * [taylor]: Taking taylor expansion of (* z y) in z
9.283 * [taylor]: Taking taylor expansion of z in z
9.283 * [taylor]: Taking taylor expansion of y in z
9.283 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
9.284 * [taylor]: Taking taylor expansion of -18.0 in y
9.284 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.284 * [taylor]: Taking taylor expansion of x in y
9.284 * [taylor]: Taking taylor expansion of (* z y) in y
9.284 * [taylor]: Taking taylor expansion of z in y
9.284 * [taylor]: Taking taylor expansion of y in y
9.284 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
9.284 * [taylor]: Taking taylor expansion of -18.0 in x
9.284 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.284 * [taylor]: Taking taylor expansion of x in x
9.284 * [taylor]: Taking taylor expansion of (* z y) in x
9.284 * [taylor]: Taking taylor expansion of z in x
9.284 * [taylor]: Taking taylor expansion of y in x
9.285 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
9.285 * [taylor]: Taking taylor expansion of -18.0 in x
9.285 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.285 * [taylor]: Taking taylor expansion of x in x
9.285 * [taylor]: Taking taylor expansion of (* z y) in x
9.285 * [taylor]: Taking taylor expansion of z in x
9.285 * [taylor]: Taking taylor expansion of y in x
9.285 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
9.285 * [taylor]: Taking taylor expansion of -18.0 in y
9.285 * [taylor]: Taking taylor expansion of (* z y) in y
9.286 * [taylor]: Taking taylor expansion of z in y
9.286 * [taylor]: Taking taylor expansion of y in y
9.286 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
9.286 * [taylor]: Taking taylor expansion of -18.0 in z
9.286 * [taylor]: Taking taylor expansion of z in z
9.287 * [taylor]: Taking taylor expansion of 0 in y
9.288 * [taylor]: Taking taylor expansion of 0 in z
9.293 * [taylor]: Taking taylor expansion of 0 in y
9.293 * [taylor]: Taking taylor expansion of 0 in z
9.294 * [taylor]: Taking taylor expansion of 0 in z
9.297 * [taylor]: Taking taylor expansion of 0 in y
9.297 * [taylor]: Taking taylor expansion of 0 in z
9.297 * [taylor]: Taking taylor expansion of 0 in z
9.298 * [taylor]: Taking taylor expansion of 0 in z
9.298 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
9.299 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in (k j) around 0
9.299 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in j
9.299 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.299 * [taylor]: Taking taylor expansion of 27.0 in j
9.299 * [taylor]: Taking taylor expansion of (* j k) in j
9.300 * [taylor]: Taking taylor expansion of j in j
9.300 * [taylor]: Taking taylor expansion of k in j
9.300 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
9.300 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.300 * [taylor]: Taking taylor expansion of 27.0 in k
9.300 * [taylor]: Taking taylor expansion of (* j k) in k
9.300 * [taylor]: Taking taylor expansion of j in k
9.300 * [taylor]: Taking taylor expansion of k in k
9.300 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
9.300 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.300 * [taylor]: Taking taylor expansion of 27.0 in k
9.301 * [taylor]: Taking taylor expansion of (* j k) in k
9.301 * [taylor]: Taking taylor expansion of j in k
9.301 * [taylor]: Taking taylor expansion of k in k
9.302 * [taylor]: Taking taylor expansion of 0 in j
9.303 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) j) in j
9.303 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.303 * [taylor]: Taking taylor expansion of 27.0 in j
9.303 * [taylor]: Taking taylor expansion of j in j
9.306 * [taylor]: Taking taylor expansion of 0 in j
9.309 * [taylor]: Taking taylor expansion of 0 in j
9.313 * [taylor]: Taking taylor expansion of 0 in j
9.314 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
9.314 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
9.314 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.314 * [taylor]: Taking taylor expansion of 27.0 in j
9.315 * [taylor]: Taking taylor expansion of (* j k) in j
9.315 * [taylor]: Taking taylor expansion of j in j
9.315 * [taylor]: Taking taylor expansion of k in j
9.316 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
9.316 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.316 * [taylor]: Taking taylor expansion of 27.0 in k
9.316 * [taylor]: Taking taylor expansion of (* j k) in k
9.316 * [taylor]: Taking taylor expansion of j in k
9.317 * [taylor]: Taking taylor expansion of k in k
9.317 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
9.317 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.317 * [taylor]: Taking taylor expansion of 27.0 in k
9.318 * [taylor]: Taking taylor expansion of (* j k) in k
9.318 * [taylor]: Taking taylor expansion of j in k
9.318 * [taylor]: Taking taylor expansion of k in k
9.319 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
9.319 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.319 * [taylor]: Taking taylor expansion of 27.0 in j
9.320 * [taylor]: Taking taylor expansion of j in j
9.321 * [taylor]: Taking taylor expansion of 0 in j
9.324 * [taylor]: Taking taylor expansion of 0 in j
9.327 * [taylor]: Taking taylor expansion of 0 in j
9.329 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
9.329 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
9.329 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.329 * [taylor]: Taking taylor expansion of 27.0 in j
9.330 * [taylor]: Taking taylor expansion of (* j k) in j
9.330 * [taylor]: Taking taylor expansion of j in j
9.330 * [taylor]: Taking taylor expansion of k in j
9.331 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
9.331 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.331 * [taylor]: Taking taylor expansion of 27.0 in k
9.331 * [taylor]: Taking taylor expansion of (* j k) in k
9.332 * [taylor]: Taking taylor expansion of j in k
9.332 * [taylor]: Taking taylor expansion of k in k
9.332 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
9.332 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.332 * [taylor]: Taking taylor expansion of 27.0 in k
9.333 * [taylor]: Taking taylor expansion of (* j k) in k
9.333 * [taylor]: Taking taylor expansion of j in k
9.333 * [taylor]: Taking taylor expansion of k in k
9.334 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
9.334 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.334 * [taylor]: Taking taylor expansion of 27.0 in j
9.334 * [taylor]: Taking taylor expansion of j in j
9.336 * [taylor]: Taking taylor expansion of 0 in j
9.339 * [taylor]: Taking taylor expansion of 0 in j
9.342 * [taylor]: Taking taylor expansion of 0 in j
9.344 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
9.344 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
9.344 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in j
9.344 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
9.344 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.344 * [taylor]: Taking taylor expansion of 27.0 in j
9.345 * [taylor]: Taking taylor expansion of (* k j) in j
9.345 * [taylor]: Taking taylor expansion of k in j
9.345 * [taylor]: Taking taylor expansion of j in j
9.345 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
9.345 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
9.345 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.345 * [taylor]: Taking taylor expansion of 27.0 in k
9.346 * [taylor]: Taking taylor expansion of (* k j) in k
9.346 * [taylor]: Taking taylor expansion of k in k
9.346 * [taylor]: Taking taylor expansion of j in k
9.346 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
9.346 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
9.346 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.346 * [taylor]: Taking taylor expansion of 27.0 in k
9.347 * [taylor]: Taking taylor expansion of (* k j) in k
9.347 * [taylor]: Taking taylor expansion of k in k
9.347 * [taylor]: Taking taylor expansion of j in k
9.348 * [taylor]: Taking taylor expansion of 0 in j
9.350 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) j) in j
9.350 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
9.350 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.350 * [taylor]: Taking taylor expansion of 27.0 in j
9.351 * [taylor]: Taking taylor expansion of j in j
9.355 * [taylor]: Taking taylor expansion of 0 in j
9.361 * [taylor]: Taking taylor expansion of 0 in j
9.368 * [taylor]: Taking taylor expansion of 0 in j
9.370 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
9.370 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
9.370 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
9.370 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.370 * [taylor]: Taking taylor expansion of 27.0 in j
9.370 * [taylor]: Taking taylor expansion of (* k j) in j
9.370 * [taylor]: Taking taylor expansion of k in j
9.370 * [taylor]: Taking taylor expansion of j in j
9.372 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
9.372 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
9.372 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.372 * [taylor]: Taking taylor expansion of 27.0 in k
9.373 * [taylor]: Taking taylor expansion of (* k j) in k
9.373 * [taylor]: Taking taylor expansion of k in k
9.373 * [taylor]: Taking taylor expansion of j in k
9.375 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
9.375 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
9.375 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.375 * [taylor]: Taking taylor expansion of 27.0 in k
9.376 * [taylor]: Taking taylor expansion of (* k j) in k
9.376 * [taylor]: Taking taylor expansion of k in k
9.376 * [taylor]: Taking taylor expansion of j in k
9.378 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
9.378 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
9.378 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.378 * [taylor]: Taking taylor expansion of 27.0 in j
9.379 * [taylor]: Taking taylor expansion of j in j
9.383 * [taylor]: Taking taylor expansion of 0 in j
9.392 * [taylor]: Taking taylor expansion of 0 in j
9.397 * [taylor]: Taking taylor expansion of 0 in j
9.401 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
9.401 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
9.401 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
9.401 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.401 * [taylor]: Taking taylor expansion of 27.0 in j
9.402 * [taylor]: Taking taylor expansion of (* k j) in j
9.402 * [taylor]: Taking taylor expansion of k in j
9.402 * [taylor]: Taking taylor expansion of j in j
9.404 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
9.404 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
9.404 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.404 * [taylor]: Taking taylor expansion of 27.0 in k
9.405 * [taylor]: Taking taylor expansion of (* k j) in k
9.405 * [taylor]: Taking taylor expansion of k in k
9.405 * [taylor]: Taking taylor expansion of j in k
9.407 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
9.407 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
9.407 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
9.407 * [taylor]: Taking taylor expansion of 27.0 in k
9.408 * [taylor]: Taking taylor expansion of (* k j) in k
9.408 * [taylor]: Taking taylor expansion of k in k
9.408 * [taylor]: Taking taylor expansion of j in k
9.410 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
9.410 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
9.410 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
9.410 * [taylor]: Taking taylor expansion of 27.0 in j
9.411 * [taylor]: Taking taylor expansion of j in j
9.415 * [taylor]: Taking taylor expansion of 0 in j
9.420 * [taylor]: Taking taylor expansion of 0 in j
9.425 * [taylor]: Taking taylor expansion of 0 in j
9.429 * * * [progress]: simplifying candidates
9.430 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) 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 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log 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 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) 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) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (+ (log (sqrt 27.0)) (+ (log k) (log j)))
  (+ (log (sqrt 27.0)) (log (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (exp (* (sqrt 27.0) (* k j)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k k) k) (* (* j j) j)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k j) (* k j)) (* k j)))
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (* (* (* (sqrt 27.0) (* k j)) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (expm1 (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (log1p (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log k) (log j))))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* k j))))
  (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* k j))))
  (log (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (exp (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k k) k) (* (* j j) j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k j) (* k j)) (* k j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* k j)) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* k j))))
  (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))
  (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (sqrt 27.0) (sqrt 27.0))
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
9.435 * * [simplify]: iteration  0 :  154  enodes  (cost  1208 )
9.466 * * [simplify]: iteration  1 :  402  enodes  (cost  1050 )
9.609 * * [simplify]: iteration  2 :  1800  enodes  (cost  828 )
10.169 * * [simplify]: iteration  done :  5001  enodes  (cost  828 )
10.170 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) 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 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (log (* (sqrt 27.0) (* j k)))
  (log (* (sqrt 27.0) (* j k)))
  (log (* (sqrt 27.0) (* j k)))
  (exp (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* j k)) 3)
  (pow (* (sqrt 27.0) (* j k)) 3)
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* j k)) 3)
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* j k))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* j k))
  (expm1 (* (* j k) 27.0))
  (log1p (* (* j k) 27.0))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (exp (* (* j k) 27.0))
  (pow (* (* j k) 27.0) 3)
  (pow (* (* j k) 27.0) 3)
  (pow (* (* j k) 27.0) 3)
  (* (cbrt (* (* j k) 27.0)) (cbrt (* (* j k) 27.0)))
  (cbrt (* (* j k) 27.0))
  (pow (* (* j k) 27.0) 3)
  (sqrt (* (* j k) 27.0))
  (sqrt (* (* j k) 27.0))
  27.0
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* j k) 27.0)
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* j k) 27.0)
  0
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
10.171 * * * [progress]: adding candidates to table
10.650 * [progress]: [Phase 3 of 3] Extracting.
10.650 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.658 * * * [regime-changes]: Trying 15 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)) k j i c b a t z y x)
10.658 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.750 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))>)
10.780 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.842 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))>)
10.872 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.934 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.018 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.085 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.164 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))>)
11.199 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.272 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.362 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.452 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.521 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.592 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.675 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.753 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.830 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.915 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.994 * * * [regime]: Found split indices: #<option (#s(si 5 13) #s(si 2 242) #s(si 5 255))>
11.996 * [binary-search]: Only using regimes for bounds on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) and (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.997 * [regimes]: Found splitpoints: (#s(sp 5 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) #s(sp 2 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.530535503433688e+300) #s(sp 5 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* 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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* 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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) 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) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.997 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.530535503433688e+300) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))))
11.998 * * [simplify]: iteration  0 :  48  enodes  (cost  145 )
12.000 * * [simplify]: iteration  1 :  72  enodes  (cost  118 )
12.002 * * [simplify]: iteration  done :  72  enodes  (cost  118 )
12.002 * [simplify]: Simplified to:
   (if (or (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (not (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.530535503433688e+300))) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))
14.472 * [regime-testing]: Baseline error score: 5.135098724171853
14.473 * [regime-testing]: Oracle error score: 0.04419424615631041
14.474 * [regime-testing]: End program error score: 0.948528251228971