33.849 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.071 * * * [progress]: [2/2] Setting up program.
0.076 * [progress]: [Phase 2 of 3] Improving.
0.076 * [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.078 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.082 * * [simplify]: iteration  1 :  67  enodes  (cost  29 )
0.094 * * [simplify]: iteration  2 :  218  enodes  (cost  27 )
0.145 * * [simplify]: iteration  3 :  726  enodes  (cost  27 )
0.398 * * [simplify]: iteration  4 :  2118  enodes  (cost  27 )
1.271 * * [simplify]: iteration  5 :  3880  enodes  (cost  26 )
3.366 * * [simplify]: iteration  done :  5000  enodes  (cost  26 )
3.366 * [simplify]: Simplified to:
   (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))
3.372 * * [progress]: iteration 1 / 4
3.372 * * * [progress]: picking best candidate
3.380 * * * * [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)))>
3.381 * * * [progress]: localizing error
3.407 * * * [progress]: generating rewritten candidates
3.407 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
3.485 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
3.505 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.512 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
3.520 * * * [progress]: generating series expansions
3.521 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
3.521 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.521 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
3.521 * [taylor]: Taking taylor expansion of 18.0 in t
3.521 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.521 * [taylor]: Taking taylor expansion of t in t
3.521 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.521 * [taylor]: Taking taylor expansion of x in t
3.521 * [taylor]: Taking taylor expansion of (* z y) in t
3.521 * [taylor]: Taking taylor expansion of z in t
3.521 * [taylor]: Taking taylor expansion of y in t
3.521 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
3.521 * [taylor]: Taking taylor expansion of 18.0 in z
3.521 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.521 * [taylor]: Taking taylor expansion of t in z
3.521 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.521 * [taylor]: Taking taylor expansion of x in z
3.521 * [taylor]: Taking taylor expansion of (* z y) in z
3.521 * [taylor]: Taking taylor expansion of z in z
3.521 * [taylor]: Taking taylor expansion of y in z
3.521 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
3.521 * [taylor]: Taking taylor expansion of 18.0 in y
3.521 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.521 * [taylor]: Taking taylor expansion of t in y
3.521 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.521 * [taylor]: Taking taylor expansion of x in y
3.521 * [taylor]: Taking taylor expansion of (* z y) in y
3.521 * [taylor]: Taking taylor expansion of z in y
3.521 * [taylor]: Taking taylor expansion of y in y
3.521 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.521 * [taylor]: Taking taylor expansion of 18.0 in x
3.522 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.522 * [taylor]: Taking taylor expansion of t in x
3.522 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.522 * [taylor]: Taking taylor expansion of x in x
3.522 * [taylor]: Taking taylor expansion of (* z y) in x
3.522 * [taylor]: Taking taylor expansion of z in x
3.522 * [taylor]: Taking taylor expansion of y in x
3.522 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.522 * [taylor]: Taking taylor expansion of 18.0 in x
3.522 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.522 * [taylor]: Taking taylor expansion of t in x
3.522 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.522 * [taylor]: Taking taylor expansion of x in x
3.522 * [taylor]: Taking taylor expansion of (* z y) in x
3.522 * [taylor]: Taking taylor expansion of z in x
3.522 * [taylor]: Taking taylor expansion of y in x
3.522 * [taylor]: Taking taylor expansion of 0 in y
3.522 * [taylor]: Taking taylor expansion of 0 in z
3.523 * [taylor]: Taking taylor expansion of 0 in t
3.524 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
3.524 * [taylor]: Taking taylor expansion of 18.0 in y
3.524 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.524 * [taylor]: Taking taylor expansion of t in y
3.524 * [taylor]: Taking taylor expansion of (* z y) in y
3.524 * [taylor]: Taking taylor expansion of z in y
3.524 * [taylor]: Taking taylor expansion of y in y
3.524 * [taylor]: Taking taylor expansion of 0 in z
3.524 * [taylor]: Taking taylor expansion of 0 in t
3.524 * [taylor]: Taking taylor expansion of 0 in z
3.524 * [taylor]: Taking taylor expansion of 0 in t
3.524 * [taylor]: Taking taylor expansion of 0 in t
3.526 * [taylor]: Taking taylor expansion of 0 in y
3.526 * [taylor]: Taking taylor expansion of 0 in z
3.526 * [taylor]: Taking taylor expansion of 0 in t
3.526 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.526 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.526 * [taylor]: Taking taylor expansion of 18.0 in t
3.526 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.526 * [taylor]: Taking taylor expansion of t in t
3.526 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.526 * [taylor]: Taking taylor expansion of x in t
3.526 * [taylor]: Taking taylor expansion of (* z y) in t
3.526 * [taylor]: Taking taylor expansion of z in t
3.526 * [taylor]: Taking taylor expansion of y in t
3.527 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.527 * [taylor]: Taking taylor expansion of 18.0 in z
3.527 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.527 * [taylor]: Taking taylor expansion of t in z
3.527 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.527 * [taylor]: Taking taylor expansion of x in z
3.527 * [taylor]: Taking taylor expansion of (* z y) in z
3.527 * [taylor]: Taking taylor expansion of z in z
3.527 * [taylor]: Taking taylor expansion of y in z
3.528 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.528 * [taylor]: Taking taylor expansion of 18.0 in y
3.528 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.528 * [taylor]: Taking taylor expansion of t in y
3.528 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.528 * [taylor]: Taking taylor expansion of x in y
3.528 * [taylor]: Taking taylor expansion of (* z y) in y
3.528 * [taylor]: Taking taylor expansion of z in y
3.528 * [taylor]: Taking taylor expansion of y in y
3.529 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.529 * [taylor]: Taking taylor expansion of 18.0 in x
3.529 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.529 * [taylor]: Taking taylor expansion of t in x
3.529 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.529 * [taylor]: Taking taylor expansion of x in x
3.529 * [taylor]: Taking taylor expansion of (* z y) in x
3.529 * [taylor]: Taking taylor expansion of z in x
3.529 * [taylor]: Taking taylor expansion of y in x
3.530 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.530 * [taylor]: Taking taylor expansion of 18.0 in x
3.530 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.530 * [taylor]: Taking taylor expansion of t in x
3.530 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.530 * [taylor]: Taking taylor expansion of x in x
3.530 * [taylor]: Taking taylor expansion of (* z y) in x
3.530 * [taylor]: Taking taylor expansion of z in x
3.530 * [taylor]: Taking taylor expansion of y in x
3.531 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.531 * [taylor]: Taking taylor expansion of 18.0 in y
3.531 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.531 * [taylor]: Taking taylor expansion of t in y
3.531 * [taylor]: Taking taylor expansion of (* z y) in y
3.531 * [taylor]: Taking taylor expansion of z in y
3.531 * [taylor]: Taking taylor expansion of y in y
3.532 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.532 * [taylor]: Taking taylor expansion of 18.0 in z
3.532 * [taylor]: Taking taylor expansion of (* t z) in z
3.532 * [taylor]: Taking taylor expansion of t in z
3.532 * [taylor]: Taking taylor expansion of z in z
3.532 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.532 * [taylor]: Taking taylor expansion of 18.0 in t
3.532 * [taylor]: Taking taylor expansion of t in t
3.534 * [taylor]: Taking taylor expansion of 0 in y
3.535 * [taylor]: Taking taylor expansion of 0 in z
3.536 * [taylor]: Taking taylor expansion of 0 in t
3.538 * [taylor]: Taking taylor expansion of 0 in y
3.538 * [taylor]: Taking taylor expansion of 0 in z
3.539 * [taylor]: Taking taylor expansion of 0 in z
3.540 * [taylor]: Taking taylor expansion of 0 in t
3.540 * [taylor]: Taking taylor expansion of 0 in t
3.544 * [taylor]: Taking taylor expansion of 0 in y
3.544 * [taylor]: Taking taylor expansion of 0 in z
3.544 * [taylor]: Taking taylor expansion of 0 in z
3.545 * [taylor]: Taking taylor expansion of 0 in z
3.546 * [taylor]: Taking taylor expansion of 0 in t
3.546 * [taylor]: Taking taylor expansion of 0 in t
3.546 * [taylor]: Taking taylor expansion of 0 in t
3.546 * [taylor]: Taking taylor expansion of 0 in t
3.547 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.547 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.547 * [taylor]: Taking taylor expansion of 18.0 in t
3.547 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.547 * [taylor]: Taking taylor expansion of t in t
3.547 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.547 * [taylor]: Taking taylor expansion of x in t
3.547 * [taylor]: Taking taylor expansion of (* z y) in t
3.547 * [taylor]: Taking taylor expansion of z in t
3.547 * [taylor]: Taking taylor expansion of y in t
3.548 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.548 * [taylor]: Taking taylor expansion of 18.0 in z
3.548 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.548 * [taylor]: Taking taylor expansion of t in z
3.548 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.548 * [taylor]: Taking taylor expansion of x in z
3.548 * [taylor]: Taking taylor expansion of (* z y) in z
3.548 * [taylor]: Taking taylor expansion of z in z
3.548 * [taylor]: Taking taylor expansion of y in z
3.549 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.549 * [taylor]: Taking taylor expansion of 18.0 in y
3.549 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.549 * [taylor]: Taking taylor expansion of t in y
3.549 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.549 * [taylor]: Taking taylor expansion of x in y
3.549 * [taylor]: Taking taylor expansion of (* z y) in y
3.549 * [taylor]: Taking taylor expansion of z in y
3.549 * [taylor]: Taking taylor expansion of y in y
3.550 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.550 * [taylor]: Taking taylor expansion of 18.0 in x
3.550 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.550 * [taylor]: Taking taylor expansion of t in x
3.550 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.550 * [taylor]: Taking taylor expansion of x in x
3.550 * [taylor]: Taking taylor expansion of (* z y) in x
3.550 * [taylor]: Taking taylor expansion of z in x
3.550 * [taylor]: Taking taylor expansion of y in x
3.551 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.551 * [taylor]: Taking taylor expansion of 18.0 in x
3.551 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.551 * [taylor]: Taking taylor expansion of t in x
3.551 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.551 * [taylor]: Taking taylor expansion of x in x
3.551 * [taylor]: Taking taylor expansion of (* z y) in x
3.551 * [taylor]: Taking taylor expansion of z in x
3.551 * [taylor]: Taking taylor expansion of y in x
3.552 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.552 * [taylor]: Taking taylor expansion of 18.0 in y
3.552 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.552 * [taylor]: Taking taylor expansion of t in y
3.552 * [taylor]: Taking taylor expansion of (* z y) in y
3.552 * [taylor]: Taking taylor expansion of z in y
3.552 * [taylor]: Taking taylor expansion of y in y
3.553 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.553 * [taylor]: Taking taylor expansion of 18.0 in z
3.553 * [taylor]: Taking taylor expansion of (* t z) in z
3.553 * [taylor]: Taking taylor expansion of t in z
3.553 * [taylor]: Taking taylor expansion of z in z
3.553 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.553 * [taylor]: Taking taylor expansion of 18.0 in t
3.553 * [taylor]: Taking taylor expansion of t in t
3.555 * [taylor]: Taking taylor expansion of 0 in y
3.556 * [taylor]: Taking taylor expansion of 0 in z
3.556 * [taylor]: Taking taylor expansion of 0 in t
3.559 * [taylor]: Taking taylor expansion of 0 in y
3.559 * [taylor]: Taking taylor expansion of 0 in z
3.560 * [taylor]: Taking taylor expansion of 0 in z
3.560 * [taylor]: Taking taylor expansion of 0 in t
3.561 * [taylor]: Taking taylor expansion of 0 in t
3.564 * [taylor]: Taking taylor expansion of 0 in y
3.564 * [taylor]: Taking taylor expansion of 0 in z
3.564 * [taylor]: Taking taylor expansion of 0 in z
3.566 * [taylor]: Taking taylor expansion of 0 in z
3.566 * [taylor]: Taking taylor expansion of 0 in t
3.566 * [taylor]: Taking taylor expansion of 0 in t
3.566 * [taylor]: Taking taylor expansion of 0 in t
3.567 * [taylor]: Taking taylor expansion of 0 in t
3.567 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
3.567 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
3.567 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
3.567 * [taylor]: Taking taylor expansion of 18.0 in z
3.567 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.567 * [taylor]: Taking taylor expansion of x in z
3.567 * [taylor]: Taking taylor expansion of (* z y) in z
3.567 * [taylor]: Taking taylor expansion of z in z
3.567 * [taylor]: Taking taylor expansion of y in z
3.567 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
3.567 * [taylor]: Taking taylor expansion of 18.0 in y
3.567 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.567 * [taylor]: Taking taylor expansion of x in y
3.567 * [taylor]: Taking taylor expansion of (* z y) in y
3.567 * [taylor]: Taking taylor expansion of z in y
3.567 * [taylor]: Taking taylor expansion of y in y
3.567 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
3.567 * [taylor]: Taking taylor expansion of 18.0 in x
3.567 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.567 * [taylor]: Taking taylor expansion of x in x
3.567 * [taylor]: Taking taylor expansion of (* z y) in x
3.567 * [taylor]: Taking taylor expansion of z in x
3.567 * [taylor]: Taking taylor expansion of y in x
3.567 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
3.567 * [taylor]: Taking taylor expansion of 18.0 in x
3.567 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.567 * [taylor]: Taking taylor expansion of x in x
3.567 * [taylor]: Taking taylor expansion of (* z y) in x
3.567 * [taylor]: Taking taylor expansion of z in x
3.567 * [taylor]: Taking taylor expansion of y in x
3.568 * [taylor]: Taking taylor expansion of 0 in y
3.568 * [taylor]: Taking taylor expansion of 0 in z
3.572 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
3.572 * [taylor]: Taking taylor expansion of 18.0 in y
3.572 * [taylor]: Taking taylor expansion of (* z y) in y
3.572 * [taylor]: Taking taylor expansion of z in y
3.572 * [taylor]: Taking taylor expansion of y in y
3.572 * [taylor]: Taking taylor expansion of 0 in z
3.573 * [taylor]: Taking taylor expansion of 0 in z
3.574 * [taylor]: Taking taylor expansion of 0 in y
3.574 * [taylor]: Taking taylor expansion of 0 in z
3.575 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
3.575 * [taylor]: Taking taylor expansion of 18.0 in z
3.575 * [taylor]: Taking taylor expansion of z in z
3.575 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
3.575 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
3.575 * [taylor]: Taking taylor expansion of 18.0 in z
3.575 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.575 * [taylor]: Taking taylor expansion of x in z
3.575 * [taylor]: Taking taylor expansion of (* z y) in z
3.575 * [taylor]: Taking taylor expansion of z in z
3.575 * [taylor]: Taking taylor expansion of y in z
3.576 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
3.576 * [taylor]: Taking taylor expansion of 18.0 in y
3.576 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.576 * [taylor]: Taking taylor expansion of x in y
3.576 * [taylor]: Taking taylor expansion of (* z y) in y
3.576 * [taylor]: Taking taylor expansion of z in y
3.576 * [taylor]: Taking taylor expansion of y in y
3.577 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
3.577 * [taylor]: Taking taylor expansion of 18.0 in x
3.577 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.577 * [taylor]: Taking taylor expansion of x in x
3.577 * [taylor]: Taking taylor expansion of (* z y) in x
3.577 * [taylor]: Taking taylor expansion of z in x
3.577 * [taylor]: Taking taylor expansion of y in x
3.577 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
3.577 * [taylor]: Taking taylor expansion of 18.0 in x
3.577 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.577 * [taylor]: Taking taylor expansion of x in x
3.577 * [taylor]: Taking taylor expansion of (* z y) in x
3.577 * [taylor]: Taking taylor expansion of z in x
3.578 * [taylor]: Taking taylor expansion of y in x
3.578 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
3.578 * [taylor]: Taking taylor expansion of 18.0 in y
3.578 * [taylor]: Taking taylor expansion of (* z y) in y
3.578 * [taylor]: Taking taylor expansion of z in y
3.578 * [taylor]: Taking taylor expansion of y in y
3.578 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
3.579 * [taylor]: Taking taylor expansion of 18.0 in z
3.579 * [taylor]: Taking taylor expansion of z in z
3.580 * [taylor]: Taking taylor expansion of 0 in y
3.580 * [taylor]: Taking taylor expansion of 0 in z
3.583 * [taylor]: Taking taylor expansion of 0 in y
3.583 * [taylor]: Taking taylor expansion of 0 in z
3.584 * [taylor]: Taking taylor expansion of 0 in z
3.586 * [taylor]: Taking taylor expansion of 0 in y
3.586 * [taylor]: Taking taylor expansion of 0 in z
3.586 * [taylor]: Taking taylor expansion of 0 in z
3.587 * [taylor]: Taking taylor expansion of 0 in z
3.587 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
3.588 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
3.588 * [taylor]: Taking taylor expansion of -18.0 in z
3.588 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.588 * [taylor]: Taking taylor expansion of x in z
3.588 * [taylor]: Taking taylor expansion of (* z y) in z
3.588 * [taylor]: Taking taylor expansion of z in z
3.588 * [taylor]: Taking taylor expansion of y in z
3.588 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
3.588 * [taylor]: Taking taylor expansion of -18.0 in y
3.588 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.588 * [taylor]: Taking taylor expansion of x in y
3.588 * [taylor]: Taking taylor expansion of (* z y) in y
3.588 * [taylor]: Taking taylor expansion of z in y
3.588 * [taylor]: Taking taylor expansion of y in y
3.589 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
3.589 * [taylor]: Taking taylor expansion of -18.0 in x
3.589 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.589 * [taylor]: Taking taylor expansion of x in x
3.589 * [taylor]: Taking taylor expansion of (* z y) in x
3.589 * [taylor]: Taking taylor expansion of z in x
3.589 * [taylor]: Taking taylor expansion of y in x
3.590 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
3.590 * [taylor]: Taking taylor expansion of -18.0 in x
3.590 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.590 * [taylor]: Taking taylor expansion of x in x
3.590 * [taylor]: Taking taylor expansion of (* z y) in x
3.590 * [taylor]: Taking taylor expansion of z in x
3.590 * [taylor]: Taking taylor expansion of y in x
3.590 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
3.590 * [taylor]: Taking taylor expansion of -18.0 in y
3.590 * [taylor]: Taking taylor expansion of (* z y) in y
3.590 * [taylor]: Taking taylor expansion of z in y
3.590 * [taylor]: Taking taylor expansion of y in y
3.591 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
3.591 * [taylor]: Taking taylor expansion of -18.0 in z
3.591 * [taylor]: Taking taylor expansion of z in z
3.592 * [taylor]: Taking taylor expansion of 0 in y
3.593 * [taylor]: Taking taylor expansion of 0 in z
3.595 * [taylor]: Taking taylor expansion of 0 in y
3.595 * [taylor]: Taking taylor expansion of 0 in z
3.595 * [taylor]: Taking taylor expansion of 0 in z
3.598 * [taylor]: Taking taylor expansion of 0 in y
3.598 * [taylor]: Taking taylor expansion of 0 in z
3.598 * [taylor]: Taking taylor expansion of 0 in z
3.599 * [taylor]: Taking taylor expansion of 0 in z
3.599 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.599 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
3.599 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
3.599 * [taylor]: Taking taylor expansion of 27.0 in k
3.599 * [taylor]: Taking taylor expansion of (* k j) in k
3.599 * [taylor]: Taking taylor expansion of k in k
3.599 * [taylor]: Taking taylor expansion of j in k
3.599 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
3.599 * [taylor]: Taking taylor expansion of 27.0 in j
3.599 * [taylor]: Taking taylor expansion of (* k j) in j
3.599 * [taylor]: Taking taylor expansion of k in j
3.600 * [taylor]: Taking taylor expansion of j in j
3.600 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
3.600 * [taylor]: Taking taylor expansion of 27.0 in j
3.600 * [taylor]: Taking taylor expansion of (* k j) in j
3.600 * [taylor]: Taking taylor expansion of k in j
3.600 * [taylor]: Taking taylor expansion of j in j
3.600 * [taylor]: Taking taylor expansion of 0 in k
3.601 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
3.601 * [taylor]: Taking taylor expansion of 27.0 in k
3.601 * [taylor]: Taking taylor expansion of k in k
3.602 * [taylor]: Taking taylor expansion of 0 in k
3.604 * [taylor]: Taking taylor expansion of 0 in k
3.607 * [taylor]: Taking taylor expansion of 0 in k
3.607 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
3.607 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
3.607 * [taylor]: Taking taylor expansion of 27.0 in k
3.607 * [taylor]: Taking taylor expansion of (* k j) in k
3.607 * [taylor]: Taking taylor expansion of k in k
3.607 * [taylor]: Taking taylor expansion of j in k
3.607 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.607 * [taylor]: Taking taylor expansion of 27.0 in j
3.607 * [taylor]: Taking taylor expansion of (* k j) in j
3.607 * [taylor]: Taking taylor expansion of k in j
3.607 * [taylor]: Taking taylor expansion of j in j
3.608 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.608 * [taylor]: Taking taylor expansion of 27.0 in j
3.608 * [taylor]: Taking taylor expansion of (* k j) in j
3.608 * [taylor]: Taking taylor expansion of k in j
3.608 * [taylor]: Taking taylor expansion of j in j
3.608 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
3.608 * [taylor]: Taking taylor expansion of 27.0 in k
3.608 * [taylor]: Taking taylor expansion of k in k
3.609 * [taylor]: Taking taylor expansion of 0 in k
3.610 * [taylor]: Taking taylor expansion of 0 in k
3.611 * [taylor]: Taking taylor expansion of 0 in k
3.612 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
3.612 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
3.612 * [taylor]: Taking taylor expansion of 27.0 in k
3.612 * [taylor]: Taking taylor expansion of (* k j) in k
3.612 * [taylor]: Taking taylor expansion of k in k
3.612 * [taylor]: Taking taylor expansion of j in k
3.613 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.613 * [taylor]: Taking taylor expansion of 27.0 in j
3.613 * [taylor]: Taking taylor expansion of (* k j) in j
3.613 * [taylor]: Taking taylor expansion of k in j
3.613 * [taylor]: Taking taylor expansion of j in j
3.613 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.613 * [taylor]: Taking taylor expansion of 27.0 in j
3.613 * [taylor]: Taking taylor expansion of (* k j) in j
3.613 * [taylor]: Taking taylor expansion of k in j
3.613 * [taylor]: Taking taylor expansion of j in j
3.614 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
3.614 * [taylor]: Taking taylor expansion of 27.0 in k
3.614 * [taylor]: Taking taylor expansion of k in k
3.614 * [taylor]: Taking taylor expansion of 0 in k
3.615 * [taylor]: Taking taylor expansion of 0 in k
3.617 * [taylor]: Taking taylor expansion of 0 in k
3.617 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
3.618 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
3.618 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
3.618 * [taylor]: Taking taylor expansion of 18.0 in y
3.618 * [taylor]: Taking taylor expansion of (* x y) in y
3.618 * [taylor]: Taking taylor expansion of x in y
3.618 * [taylor]: Taking taylor expansion of y in y
3.618 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
3.618 * [taylor]: Taking taylor expansion of 18.0 in x
3.618 * [taylor]: Taking taylor expansion of (* x y) in x
3.618 * [taylor]: Taking taylor expansion of x in x
3.618 * [taylor]: Taking taylor expansion of y in x
3.618 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
3.618 * [taylor]: Taking taylor expansion of 18.0 in x
3.618 * [taylor]: Taking taylor expansion of (* x y) in x
3.618 * [taylor]: Taking taylor expansion of x in x
3.618 * [taylor]: Taking taylor expansion of y in x
3.618 * [taylor]: Taking taylor expansion of 0 in y
3.619 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
3.619 * [taylor]: Taking taylor expansion of 18.0 in y
3.619 * [taylor]: Taking taylor expansion of y in y
3.620 * [taylor]: Taking taylor expansion of 0 in y
3.622 * [taylor]: Taking taylor expansion of 0 in y
3.625 * [taylor]: Taking taylor expansion of 0 in y
3.625 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
3.625 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
3.625 * [taylor]: Taking taylor expansion of 18.0 in y
3.625 * [taylor]: Taking taylor expansion of (* x y) in y
3.625 * [taylor]: Taking taylor expansion of x in y
3.625 * [taylor]: Taking taylor expansion of y in y
3.626 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.626 * [taylor]: Taking taylor expansion of 18.0 in x
3.626 * [taylor]: Taking taylor expansion of (* x y) in x
3.626 * [taylor]: Taking taylor expansion of x in x
3.626 * [taylor]: Taking taylor expansion of y in x
3.626 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.626 * [taylor]: Taking taylor expansion of 18.0 in x
3.626 * [taylor]: Taking taylor expansion of (* x y) in x
3.626 * [taylor]: Taking taylor expansion of x in x
3.626 * [taylor]: Taking taylor expansion of y in x
3.627 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
3.627 * [taylor]: Taking taylor expansion of 18.0 in y
3.627 * [taylor]: Taking taylor expansion of y in y
3.628 * [taylor]: Taking taylor expansion of 0 in y
3.629 * [taylor]: Taking taylor expansion of 0 in y
3.631 * [taylor]: Taking taylor expansion of 0 in y
3.632 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
3.632 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
3.632 * [taylor]: Taking taylor expansion of 18.0 in y
3.632 * [taylor]: Taking taylor expansion of (* x y) in y
3.632 * [taylor]: Taking taylor expansion of x in y
3.632 * [taylor]: Taking taylor expansion of y in y
3.632 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.632 * [taylor]: Taking taylor expansion of 18.0 in x
3.632 * [taylor]: Taking taylor expansion of (* x y) in x
3.632 * [taylor]: Taking taylor expansion of x in x
3.632 * [taylor]: Taking taylor expansion of y in x
3.633 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.633 * [taylor]: Taking taylor expansion of 18.0 in x
3.633 * [taylor]: Taking taylor expansion of (* x y) in x
3.633 * [taylor]: Taking taylor expansion of x in x
3.633 * [taylor]: Taking taylor expansion of y in x
3.633 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
3.633 * [taylor]: Taking taylor expansion of 18.0 in y
3.633 * [taylor]: Taking taylor expansion of y in y
3.634 * [taylor]: Taking taylor expansion of 0 in y
3.636 * [taylor]: Taking taylor expansion of 0 in y
3.638 * [taylor]: Taking taylor expansion of 0 in y
3.638 * * * [progress]: simplifying candidates
3.640 * [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))
3.644 * * [simplify]: iteration  0 :  145  enodes  (cost  974 )
3.675 * * [simplify]: iteration  1 :  378  enodes  (cost  944 )
3.798 * * [simplify]: iteration  2 :  1971  enodes  (cost  738 )
4.615 * * [simplify]: iteration  done :  5000  enodes  (cost  738 )
4.616 * [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)
4.617 * * * [progress]: adding candidates to table
4.957 * * [progress]: iteration 2 / 4
4.957 * * * [progress]: picking best candidate
4.998 * * * * [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.998 * * * [progress]: localizing error
5.021 * * * [progress]: generating rewritten candidates
5.021 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
5.096 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
5.117 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.122 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
5.133 * * * [progress]: generating series expansions
5.133 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
5.133 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.133 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
5.133 * [taylor]: Taking taylor expansion of 18.0 in t
5.133 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.133 * [taylor]: Taking taylor expansion of t in t
5.133 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.133 * [taylor]: Taking taylor expansion of x in t
5.133 * [taylor]: Taking taylor expansion of (* z y) in t
5.134 * [taylor]: Taking taylor expansion of z in t
5.134 * [taylor]: Taking taylor expansion of y in t
5.134 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
5.134 * [taylor]: Taking taylor expansion of 18.0 in z
5.134 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.134 * [taylor]: Taking taylor expansion of t in z
5.134 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.134 * [taylor]: Taking taylor expansion of x in z
5.134 * [taylor]: Taking taylor expansion of (* z y) in z
5.134 * [taylor]: Taking taylor expansion of z in z
5.134 * [taylor]: Taking taylor expansion of y in z
5.134 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
5.134 * [taylor]: Taking taylor expansion of 18.0 in y
5.134 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.134 * [taylor]: Taking taylor expansion of t in y
5.134 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.134 * [taylor]: Taking taylor expansion of x in y
5.134 * [taylor]: Taking taylor expansion of (* z y) in y
5.134 * [taylor]: Taking taylor expansion of z in y
5.134 * [taylor]: Taking taylor expansion of y in y
5.134 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
5.134 * [taylor]: Taking taylor expansion of 18.0 in x
5.134 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.134 * [taylor]: Taking taylor expansion of t in x
5.134 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.134 * [taylor]: Taking taylor expansion of x in x
5.134 * [taylor]: Taking taylor expansion of (* z y) in x
5.134 * [taylor]: Taking taylor expansion of z in x
5.134 * [taylor]: Taking taylor expansion of y in x
5.134 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
5.134 * [taylor]: Taking taylor expansion of 18.0 in x
5.134 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.134 * [taylor]: Taking taylor expansion of t in x
5.134 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.134 * [taylor]: Taking taylor expansion of x in x
5.134 * [taylor]: Taking taylor expansion of (* z y) in x
5.134 * [taylor]: Taking taylor expansion of z in x
5.134 * [taylor]: Taking taylor expansion of y in x
5.135 * [taylor]: Taking taylor expansion of 0 in y
5.135 * [taylor]: Taking taylor expansion of 0 in z
5.135 * [taylor]: Taking taylor expansion of 0 in t
5.136 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
5.136 * [taylor]: Taking taylor expansion of 18.0 in y
5.136 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.136 * [taylor]: Taking taylor expansion of t in y
5.136 * [taylor]: Taking taylor expansion of (* z y) in y
5.136 * [taylor]: Taking taylor expansion of z in y
5.136 * [taylor]: Taking taylor expansion of y in y
5.136 * [taylor]: Taking taylor expansion of 0 in z
5.136 * [taylor]: Taking taylor expansion of 0 in t
5.136 * [taylor]: Taking taylor expansion of 0 in z
5.136 * [taylor]: Taking taylor expansion of 0 in t
5.136 * [taylor]: Taking taylor expansion of 0 in t
5.138 * [taylor]: Taking taylor expansion of 0 in y
5.138 * [taylor]: Taking taylor expansion of 0 in z
5.138 * [taylor]: Taking taylor expansion of 0 in t
5.138 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.138 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
5.138 * [taylor]: Taking taylor expansion of 18.0 in t
5.138 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.138 * [taylor]: Taking taylor expansion of t in t
5.138 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.138 * [taylor]: Taking taylor expansion of x in t
5.138 * [taylor]: Taking taylor expansion of (* z y) in t
5.139 * [taylor]: Taking taylor expansion of z in t
5.139 * [taylor]: Taking taylor expansion of y in t
5.139 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
5.139 * [taylor]: Taking taylor expansion of 18.0 in z
5.139 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.139 * [taylor]: Taking taylor expansion of t in z
5.139 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.139 * [taylor]: Taking taylor expansion of x in z
5.139 * [taylor]: Taking taylor expansion of (* z y) in z
5.139 * [taylor]: Taking taylor expansion of z in z
5.139 * [taylor]: Taking taylor expansion of y in z
5.140 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
5.140 * [taylor]: Taking taylor expansion of 18.0 in y
5.140 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.140 * [taylor]: Taking taylor expansion of t in y
5.140 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.140 * [taylor]: Taking taylor expansion of x in y
5.140 * [taylor]: Taking taylor expansion of (* z y) in y
5.140 * [taylor]: Taking taylor expansion of z in y
5.140 * [taylor]: Taking taylor expansion of y in y
5.141 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.141 * [taylor]: Taking taylor expansion of 18.0 in x
5.141 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.141 * [taylor]: Taking taylor expansion of t in x
5.141 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.141 * [taylor]: Taking taylor expansion of x in x
5.141 * [taylor]: Taking taylor expansion of (* z y) in x
5.141 * [taylor]: Taking taylor expansion of z in x
5.141 * [taylor]: Taking taylor expansion of y in x
5.142 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.142 * [taylor]: Taking taylor expansion of 18.0 in x
5.142 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.142 * [taylor]: Taking taylor expansion of t in x
5.142 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.142 * [taylor]: Taking taylor expansion of x in x
5.142 * [taylor]: Taking taylor expansion of (* z y) in x
5.142 * [taylor]: Taking taylor expansion of z in x
5.142 * [taylor]: Taking taylor expansion of y in x
5.143 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
5.143 * [taylor]: Taking taylor expansion of 18.0 in y
5.143 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.143 * [taylor]: Taking taylor expansion of t in y
5.143 * [taylor]: Taking taylor expansion of (* z y) in y
5.143 * [taylor]: Taking taylor expansion of z in y
5.143 * [taylor]: Taking taylor expansion of y in y
5.144 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
5.144 * [taylor]: Taking taylor expansion of 18.0 in z
5.144 * [taylor]: Taking taylor expansion of (* t z) in z
5.144 * [taylor]: Taking taylor expansion of t in z
5.144 * [taylor]: Taking taylor expansion of z in z
5.144 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
5.144 * [taylor]: Taking taylor expansion of 18.0 in t
5.144 * [taylor]: Taking taylor expansion of t in t
5.146 * [taylor]: Taking taylor expansion of 0 in y
5.147 * [taylor]: Taking taylor expansion of 0 in z
5.147 * [taylor]: Taking taylor expansion of 0 in t
5.150 * [taylor]: Taking taylor expansion of 0 in y
5.150 * [taylor]: Taking taylor expansion of 0 in z
5.151 * [taylor]: Taking taylor expansion of 0 in z
5.151 * [taylor]: Taking taylor expansion of 0 in t
5.152 * [taylor]: Taking taylor expansion of 0 in t
5.155 * [taylor]: Taking taylor expansion of 0 in y
5.155 * [taylor]: Taking taylor expansion of 0 in z
5.155 * [taylor]: Taking taylor expansion of 0 in z
5.157 * [taylor]: Taking taylor expansion of 0 in z
5.157 * [taylor]: Taking taylor expansion of 0 in t
5.157 * [taylor]: Taking taylor expansion of 0 in t
5.157 * [taylor]: Taking taylor expansion of 0 in t
5.158 * [taylor]: Taking taylor expansion of 0 in t
5.158 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.158 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
5.158 * [taylor]: Taking taylor expansion of 18.0 in t
5.158 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.158 * [taylor]: Taking taylor expansion of t in t
5.158 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.158 * [taylor]: Taking taylor expansion of x in t
5.158 * [taylor]: Taking taylor expansion of (* z y) in t
5.158 * [taylor]: Taking taylor expansion of z in t
5.158 * [taylor]: Taking taylor expansion of y in t
5.159 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
5.159 * [taylor]: Taking taylor expansion of 18.0 in z
5.159 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.159 * [taylor]: Taking taylor expansion of t in z
5.159 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.159 * [taylor]: Taking taylor expansion of x in z
5.159 * [taylor]: Taking taylor expansion of (* z y) in z
5.159 * [taylor]: Taking taylor expansion of z in z
5.159 * [taylor]: Taking taylor expansion of y in z
5.160 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
5.160 * [taylor]: Taking taylor expansion of 18.0 in y
5.160 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.160 * [taylor]: Taking taylor expansion of t in y
5.160 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.160 * [taylor]: Taking taylor expansion of x in y
5.160 * [taylor]: Taking taylor expansion of (* z y) in y
5.160 * [taylor]: Taking taylor expansion of z in y
5.160 * [taylor]: Taking taylor expansion of y in y
5.161 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.161 * [taylor]: Taking taylor expansion of 18.0 in x
5.161 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.161 * [taylor]: Taking taylor expansion of t in x
5.161 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.161 * [taylor]: Taking taylor expansion of x in x
5.161 * [taylor]: Taking taylor expansion of (* z y) in x
5.161 * [taylor]: Taking taylor expansion of z in x
5.161 * [taylor]: Taking taylor expansion of y in x
5.162 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.162 * [taylor]: Taking taylor expansion of 18.0 in x
5.162 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.162 * [taylor]: Taking taylor expansion of t in x
5.162 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.162 * [taylor]: Taking taylor expansion of x in x
5.162 * [taylor]: Taking taylor expansion of (* z y) in x
5.162 * [taylor]: Taking taylor expansion of z in x
5.162 * [taylor]: Taking taylor expansion of y in x
5.163 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
5.163 * [taylor]: Taking taylor expansion of 18.0 in y
5.163 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.163 * [taylor]: Taking taylor expansion of t in y
5.163 * [taylor]: Taking taylor expansion of (* z y) in y
5.163 * [taylor]: Taking taylor expansion of z in y
5.163 * [taylor]: Taking taylor expansion of y in y
5.164 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
5.164 * [taylor]: Taking taylor expansion of 18.0 in z
5.164 * [taylor]: Taking taylor expansion of (* t z) in z
5.164 * [taylor]: Taking taylor expansion of t in z
5.164 * [taylor]: Taking taylor expansion of z in z
5.164 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
5.164 * [taylor]: Taking taylor expansion of 18.0 in t
5.164 * [taylor]: Taking taylor expansion of t in t
5.166 * [taylor]: Taking taylor expansion of 0 in y
5.167 * [taylor]: Taking taylor expansion of 0 in z
5.167 * [taylor]: Taking taylor expansion of 0 in t
5.170 * [taylor]: Taking taylor expansion of 0 in y
5.170 * [taylor]: Taking taylor expansion of 0 in z
5.171 * [taylor]: Taking taylor expansion of 0 in z
5.171 * [taylor]: Taking taylor expansion of 0 in t
5.172 * [taylor]: Taking taylor expansion of 0 in t
5.175 * [taylor]: Taking taylor expansion of 0 in y
5.175 * [taylor]: Taking taylor expansion of 0 in z
5.175 * [taylor]: Taking taylor expansion of 0 in z
5.177 * [taylor]: Taking taylor expansion of 0 in z
5.177 * [taylor]: Taking taylor expansion of 0 in t
5.177 * [taylor]: Taking taylor expansion of 0 in t
5.177 * [taylor]: Taking taylor expansion of 0 in t
5.178 * [taylor]: Taking taylor expansion of 0 in t
5.178 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
5.178 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
5.178 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
5.178 * [taylor]: Taking taylor expansion of 18.0 in z
5.178 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.178 * [taylor]: Taking taylor expansion of x in z
5.178 * [taylor]: Taking taylor expansion of (* z y) in z
5.178 * [taylor]: Taking taylor expansion of z in z
5.179 * [taylor]: Taking taylor expansion of y in z
5.179 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
5.179 * [taylor]: Taking taylor expansion of 18.0 in y
5.179 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.179 * [taylor]: Taking taylor expansion of x in y
5.179 * [taylor]: Taking taylor expansion of (* z y) in y
5.179 * [taylor]: Taking taylor expansion of z in y
5.179 * [taylor]: Taking taylor expansion of y in y
5.179 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
5.179 * [taylor]: Taking taylor expansion of 18.0 in x
5.179 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.179 * [taylor]: Taking taylor expansion of x in x
5.179 * [taylor]: Taking taylor expansion of (* z y) in x
5.179 * [taylor]: Taking taylor expansion of z in x
5.179 * [taylor]: Taking taylor expansion of y in x
5.179 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
5.179 * [taylor]: Taking taylor expansion of 18.0 in x
5.179 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.179 * [taylor]: Taking taylor expansion of x in x
5.179 * [taylor]: Taking taylor expansion of (* z y) in x
5.179 * [taylor]: Taking taylor expansion of z in x
5.179 * [taylor]: Taking taylor expansion of y in x
5.179 * [taylor]: Taking taylor expansion of 0 in y
5.179 * [taylor]: Taking taylor expansion of 0 in z
5.180 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
5.180 * [taylor]: Taking taylor expansion of 18.0 in y
5.180 * [taylor]: Taking taylor expansion of (* z y) in y
5.180 * [taylor]: Taking taylor expansion of z in y
5.180 * [taylor]: Taking taylor expansion of y in y
5.181 * [taylor]: Taking taylor expansion of 0 in z
5.181 * [taylor]: Taking taylor expansion of 0 in z
5.182 * [taylor]: Taking taylor expansion of 0 in y
5.182 * [taylor]: Taking taylor expansion of 0 in z
5.183 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
5.183 * [taylor]: Taking taylor expansion of 18.0 in z
5.183 * [taylor]: Taking taylor expansion of z in z
5.183 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
5.183 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
5.183 * [taylor]: Taking taylor expansion of 18.0 in z
5.183 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.183 * [taylor]: Taking taylor expansion of x in z
5.183 * [taylor]: Taking taylor expansion of (* z y) in z
5.183 * [taylor]: Taking taylor expansion of z in z
5.183 * [taylor]: Taking taylor expansion of y in z
5.184 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
5.184 * [taylor]: Taking taylor expansion of 18.0 in y
5.184 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.184 * [taylor]: Taking taylor expansion of x in y
5.184 * [taylor]: Taking taylor expansion of (* z y) in y
5.184 * [taylor]: Taking taylor expansion of z in y
5.184 * [taylor]: Taking taylor expansion of y in y
5.185 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
5.185 * [taylor]: Taking taylor expansion of 18.0 in x
5.185 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.185 * [taylor]: Taking taylor expansion of x in x
5.185 * [taylor]: Taking taylor expansion of (* z y) in x
5.185 * [taylor]: Taking taylor expansion of z in x
5.185 * [taylor]: Taking taylor expansion of y in x
5.185 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
5.185 * [taylor]: Taking taylor expansion of 18.0 in x
5.185 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.185 * [taylor]: Taking taylor expansion of x in x
5.185 * [taylor]: Taking taylor expansion of (* z y) in x
5.185 * [taylor]: Taking taylor expansion of z in x
5.185 * [taylor]: Taking taylor expansion of y in x
5.186 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
5.186 * [taylor]: Taking taylor expansion of 18.0 in y
5.186 * [taylor]: Taking taylor expansion of (* z y) in y
5.186 * [taylor]: Taking taylor expansion of z in y
5.186 * [taylor]: Taking taylor expansion of y in y
5.186 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
5.186 * [taylor]: Taking taylor expansion of 18.0 in z
5.186 * [taylor]: Taking taylor expansion of z in z
5.188 * [taylor]: Taking taylor expansion of 0 in y
5.188 * [taylor]: Taking taylor expansion of 0 in z
5.190 * [taylor]: Taking taylor expansion of 0 in y
5.190 * [taylor]: Taking taylor expansion of 0 in z
5.191 * [taylor]: Taking taylor expansion of 0 in z
5.194 * [taylor]: Taking taylor expansion of 0 in y
5.194 * [taylor]: Taking taylor expansion of 0 in z
5.194 * [taylor]: Taking taylor expansion of 0 in z
5.194 * [taylor]: Taking taylor expansion of 0 in z
5.195 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
5.195 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
5.195 * [taylor]: Taking taylor expansion of -18.0 in z
5.195 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.195 * [taylor]: Taking taylor expansion of x in z
5.195 * [taylor]: Taking taylor expansion of (* z y) in z
5.195 * [taylor]: Taking taylor expansion of z in z
5.195 * [taylor]: Taking taylor expansion of y in z
5.196 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
5.196 * [taylor]: Taking taylor expansion of -18.0 in y
5.196 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.196 * [taylor]: Taking taylor expansion of x in y
5.196 * [taylor]: Taking taylor expansion of (* z y) in y
5.196 * [taylor]: Taking taylor expansion of z in y
5.196 * [taylor]: Taking taylor expansion of y in y
5.196 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
5.196 * [taylor]: Taking taylor expansion of -18.0 in x
5.196 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.196 * [taylor]: Taking taylor expansion of x in x
5.196 * [taylor]: Taking taylor expansion of (* z y) in x
5.196 * [taylor]: Taking taylor expansion of z in x
5.196 * [taylor]: Taking taylor expansion of y in x
5.197 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
5.197 * [taylor]: Taking taylor expansion of -18.0 in x
5.197 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.197 * [taylor]: Taking taylor expansion of x in x
5.197 * [taylor]: Taking taylor expansion of (* z y) in x
5.197 * [taylor]: Taking taylor expansion of z in x
5.197 * [taylor]: Taking taylor expansion of y in x
5.197 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
5.197 * [taylor]: Taking taylor expansion of -18.0 in y
5.197 * [taylor]: Taking taylor expansion of (* z y) in y
5.197 * [taylor]: Taking taylor expansion of z in y
5.197 * [taylor]: Taking taylor expansion of y in y
5.198 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
5.198 * [taylor]: Taking taylor expansion of -18.0 in z
5.198 * [taylor]: Taking taylor expansion of z in z
5.199 * [taylor]: Taking taylor expansion of 0 in y
5.200 * [taylor]: Taking taylor expansion of 0 in z
5.202 * [taylor]: Taking taylor expansion of 0 in y
5.202 * [taylor]: Taking taylor expansion of 0 in z
5.202 * [taylor]: Taking taylor expansion of 0 in z
5.205 * [taylor]: Taking taylor expansion of 0 in y
5.205 * [taylor]: Taking taylor expansion of 0 in z
5.205 * [taylor]: Taking taylor expansion of 0 in z
5.206 * [taylor]: Taking taylor expansion of 0 in z
5.206 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.206 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
5.206 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
5.206 * [taylor]: Taking taylor expansion of 27.0 in k
5.206 * [taylor]: Taking taylor expansion of (* k j) in k
5.206 * [taylor]: Taking taylor expansion of k in k
5.206 * [taylor]: Taking taylor expansion of j in k
5.206 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
5.206 * [taylor]: Taking taylor expansion of 27.0 in j
5.206 * [taylor]: Taking taylor expansion of (* k j) in j
5.206 * [taylor]: Taking taylor expansion of k in j
5.206 * [taylor]: Taking taylor expansion of j in j
5.206 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
5.206 * [taylor]: Taking taylor expansion of 27.0 in j
5.206 * [taylor]: Taking taylor expansion of (* k j) in j
5.206 * [taylor]: Taking taylor expansion of k in j
5.206 * [taylor]: Taking taylor expansion of j in j
5.207 * [taylor]: Taking taylor expansion of 0 in k
5.207 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
5.207 * [taylor]: Taking taylor expansion of 27.0 in k
5.207 * [taylor]: Taking taylor expansion of k in k
5.208 * [taylor]: Taking taylor expansion of 0 in k
5.211 * [taylor]: Taking taylor expansion of 0 in k
5.216 * [taylor]: Taking taylor expansion of 0 in k
5.216 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
5.216 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
5.216 * [taylor]: Taking taylor expansion of 27.0 in k
5.216 * [taylor]: Taking taylor expansion of (* k j) in k
5.216 * [taylor]: Taking taylor expansion of k in k
5.216 * [taylor]: Taking taylor expansion of j in k
5.216 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.216 * [taylor]: Taking taylor expansion of 27.0 in j
5.216 * [taylor]: Taking taylor expansion of (* k j) in j
5.216 * [taylor]: Taking taylor expansion of k in j
5.216 * [taylor]: Taking taylor expansion of j in j
5.217 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.217 * [taylor]: Taking taylor expansion of 27.0 in j
5.217 * [taylor]: Taking taylor expansion of (* k j) in j
5.217 * [taylor]: Taking taylor expansion of k in j
5.217 * [taylor]: Taking taylor expansion of j in j
5.217 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
5.217 * [taylor]: Taking taylor expansion of 27.0 in k
5.217 * [taylor]: Taking taylor expansion of k in k
5.218 * [taylor]: Taking taylor expansion of 0 in k
5.219 * [taylor]: Taking taylor expansion of 0 in k
5.221 * [taylor]: Taking taylor expansion of 0 in k
5.221 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
5.222 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
5.222 * [taylor]: Taking taylor expansion of 27.0 in k
5.222 * [taylor]: Taking taylor expansion of (* k j) in k
5.222 * [taylor]: Taking taylor expansion of k in k
5.222 * [taylor]: Taking taylor expansion of j in k
5.222 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.222 * [taylor]: Taking taylor expansion of 27.0 in j
5.222 * [taylor]: Taking taylor expansion of (* k j) in j
5.222 * [taylor]: Taking taylor expansion of k in j
5.222 * [taylor]: Taking taylor expansion of j in j
5.222 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.222 * [taylor]: Taking taylor expansion of 27.0 in j
5.222 * [taylor]: Taking taylor expansion of (* k j) in j
5.222 * [taylor]: Taking taylor expansion of k in j
5.223 * [taylor]: Taking taylor expansion of j in j
5.223 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
5.223 * [taylor]: Taking taylor expansion of 27.0 in k
5.223 * [taylor]: Taking taylor expansion of k in k
5.224 * [taylor]: Taking taylor expansion of 0 in k
5.225 * [taylor]: Taking taylor expansion of 0 in k
5.226 * [taylor]: Taking taylor expansion of 0 in k
5.227 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
5.227 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
5.227 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
5.227 * [taylor]: Taking taylor expansion of 18.0 in y
5.227 * [taylor]: Taking taylor expansion of (* x y) in y
5.227 * [taylor]: Taking taylor expansion of x in y
5.227 * [taylor]: Taking taylor expansion of y in y
5.227 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
5.227 * [taylor]: Taking taylor expansion of 18.0 in x
5.227 * [taylor]: Taking taylor expansion of (* x y) in x
5.227 * [taylor]: Taking taylor expansion of x in x
5.227 * [taylor]: Taking taylor expansion of y in x
5.227 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
5.227 * [taylor]: Taking taylor expansion of 18.0 in x
5.227 * [taylor]: Taking taylor expansion of (* x y) in x
5.227 * [taylor]: Taking taylor expansion of x in x
5.227 * [taylor]: Taking taylor expansion of y in x
5.228 * [taylor]: Taking taylor expansion of 0 in y
5.228 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
5.228 * [taylor]: Taking taylor expansion of 18.0 in y
5.228 * [taylor]: Taking taylor expansion of y in y
5.230 * [taylor]: Taking taylor expansion of 0 in y
5.232 * [taylor]: Taking taylor expansion of 0 in y
5.235 * [taylor]: Taking taylor expansion of 0 in y
5.235 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
5.235 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
5.235 * [taylor]: Taking taylor expansion of 18.0 in y
5.235 * [taylor]: Taking taylor expansion of (* x y) in y
5.235 * [taylor]: Taking taylor expansion of x in y
5.235 * [taylor]: Taking taylor expansion of y in y
5.235 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.235 * [taylor]: Taking taylor expansion of 18.0 in x
5.235 * [taylor]: Taking taylor expansion of (* x y) in x
5.235 * [taylor]: Taking taylor expansion of x in x
5.235 * [taylor]: Taking taylor expansion of y in x
5.236 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.236 * [taylor]: Taking taylor expansion of 18.0 in x
5.236 * [taylor]: Taking taylor expansion of (* x y) in x
5.236 * [taylor]: Taking taylor expansion of x in x
5.236 * [taylor]: Taking taylor expansion of y in x
5.236 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
5.236 * [taylor]: Taking taylor expansion of 18.0 in y
5.236 * [taylor]: Taking taylor expansion of y in y
5.237 * [taylor]: Taking taylor expansion of 0 in y
5.238 * [taylor]: Taking taylor expansion of 0 in y
5.240 * [taylor]: Taking taylor expansion of 0 in y
5.241 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
5.241 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
5.241 * [taylor]: Taking taylor expansion of 18.0 in y
5.241 * [taylor]: Taking taylor expansion of (* x y) in y
5.241 * [taylor]: Taking taylor expansion of x in y
5.241 * [taylor]: Taking taylor expansion of y in y
5.241 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.241 * [taylor]: Taking taylor expansion of 18.0 in x
5.241 * [taylor]: Taking taylor expansion of (* x y) in x
5.241 * [taylor]: Taking taylor expansion of x in x
5.241 * [taylor]: Taking taylor expansion of y in x
5.242 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.242 * [taylor]: Taking taylor expansion of 18.0 in x
5.242 * [taylor]: Taking taylor expansion of (* x y) in x
5.242 * [taylor]: Taking taylor expansion of x in x
5.242 * [taylor]: Taking taylor expansion of y in x
5.242 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
5.242 * [taylor]: Taking taylor expansion of 18.0 in y
5.242 * [taylor]: Taking taylor expansion of y in y
5.243 * [taylor]: Taking taylor expansion of 0 in y
5.245 * [taylor]: Taking taylor expansion of 0 in y
5.246 * [taylor]: Taking taylor expansion of 0 in y
5.247 * * * [progress]: simplifying candidates
5.249 * [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))
5.253 * * [simplify]: iteration  0 :  143  enodes  (cost  971 )
5.281 * * [simplify]: iteration  1 :  368  enodes  (cost  943 )
5.403 * * [simplify]: iteration  2 :  1865  enodes  (cost  737 )
6.166 * * [simplify]: iteration  done :  5001  enodes  (cost  737 )
6.167 * [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)
6.167 * * * [progress]: adding candidates to table
6.493 * * [progress]: iteration 3 / 4
6.493 * * * [progress]: picking best candidate
6.527 * * * * [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)) (* 27.0 (* k j))))>
6.527 * * * [progress]: localizing error
6.552 * * * [progress]: generating rewritten candidates
6.552 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
6.626 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
6.649 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.655 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
6.664 * * * [progress]: generating series expansions
6.664 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
6.664 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.664 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
6.664 * [taylor]: Taking taylor expansion of 18.0 in t
6.664 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.664 * [taylor]: Taking taylor expansion of t in t
6.664 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.664 * [taylor]: Taking taylor expansion of x in t
6.664 * [taylor]: Taking taylor expansion of (* z y) in t
6.664 * [taylor]: Taking taylor expansion of z in t
6.664 * [taylor]: Taking taylor expansion of y in t
6.664 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
6.664 * [taylor]: Taking taylor expansion of 18.0 in z
6.664 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.665 * [taylor]: Taking taylor expansion of t in z
6.665 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.665 * [taylor]: Taking taylor expansion of x in z
6.665 * [taylor]: Taking taylor expansion of (* z y) in z
6.665 * [taylor]: Taking taylor expansion of z in z
6.665 * [taylor]: Taking taylor expansion of y in z
6.665 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
6.665 * [taylor]: Taking taylor expansion of 18.0 in y
6.665 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.665 * [taylor]: Taking taylor expansion of t in y
6.665 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.665 * [taylor]: Taking taylor expansion of x in y
6.665 * [taylor]: Taking taylor expansion of (* z y) in y
6.665 * [taylor]: Taking taylor expansion of z in y
6.665 * [taylor]: Taking taylor expansion of y in y
6.665 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.665 * [taylor]: Taking taylor expansion of 18.0 in x
6.665 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.665 * [taylor]: Taking taylor expansion of t in x
6.665 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.665 * [taylor]: Taking taylor expansion of x in x
6.665 * [taylor]: Taking taylor expansion of (* z y) in x
6.665 * [taylor]: Taking taylor expansion of z in x
6.665 * [taylor]: Taking taylor expansion of y in x
6.665 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.665 * [taylor]: Taking taylor expansion of 18.0 in x
6.665 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.665 * [taylor]: Taking taylor expansion of t in x
6.665 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.665 * [taylor]: Taking taylor expansion of x in x
6.665 * [taylor]: Taking taylor expansion of (* z y) in x
6.665 * [taylor]: Taking taylor expansion of z in x
6.665 * [taylor]: Taking taylor expansion of y in x
6.666 * [taylor]: Taking taylor expansion of 0 in y
6.666 * [taylor]: Taking taylor expansion of 0 in z
6.666 * [taylor]: Taking taylor expansion of 0 in t
6.667 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
6.667 * [taylor]: Taking taylor expansion of 18.0 in y
6.667 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.667 * [taylor]: Taking taylor expansion of t in y
6.667 * [taylor]: Taking taylor expansion of (* z y) in y
6.667 * [taylor]: Taking taylor expansion of z in y
6.667 * [taylor]: Taking taylor expansion of y in y
6.668 * [taylor]: Taking taylor expansion of 0 in z
6.668 * [taylor]: Taking taylor expansion of 0 in t
6.668 * [taylor]: Taking taylor expansion of 0 in z
6.668 * [taylor]: Taking taylor expansion of 0 in t
6.668 * [taylor]: Taking taylor expansion of 0 in t
6.669 * [taylor]: Taking taylor expansion of 0 in y
6.670 * [taylor]: Taking taylor expansion of 0 in z
6.670 * [taylor]: Taking taylor expansion of 0 in t
6.670 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.670 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.670 * [taylor]: Taking taylor expansion of 18.0 in t
6.670 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.670 * [taylor]: Taking taylor expansion of t in t
6.670 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.670 * [taylor]: Taking taylor expansion of x in t
6.670 * [taylor]: Taking taylor expansion of (* z y) in t
6.670 * [taylor]: Taking taylor expansion of z in t
6.670 * [taylor]: Taking taylor expansion of y in t
6.671 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.671 * [taylor]: Taking taylor expansion of 18.0 in z
6.671 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.671 * [taylor]: Taking taylor expansion of t in z
6.671 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.671 * [taylor]: Taking taylor expansion of x in z
6.671 * [taylor]: Taking taylor expansion of (* z y) in z
6.671 * [taylor]: Taking taylor expansion of z in z
6.671 * [taylor]: Taking taylor expansion of y in z
6.672 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.672 * [taylor]: Taking taylor expansion of 18.0 in y
6.672 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.672 * [taylor]: Taking taylor expansion of t in y
6.672 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.672 * [taylor]: Taking taylor expansion of x in y
6.672 * [taylor]: Taking taylor expansion of (* z y) in y
6.672 * [taylor]: Taking taylor expansion of z in y
6.672 * [taylor]: Taking taylor expansion of y in y
6.673 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.673 * [taylor]: Taking taylor expansion of 18.0 in x
6.673 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.673 * [taylor]: Taking taylor expansion of t in x
6.673 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.673 * [taylor]: Taking taylor expansion of x in x
6.673 * [taylor]: Taking taylor expansion of (* z y) in x
6.673 * [taylor]: Taking taylor expansion of z in x
6.673 * [taylor]: Taking taylor expansion of y in x
6.674 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.674 * [taylor]: Taking taylor expansion of 18.0 in x
6.674 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.674 * [taylor]: Taking taylor expansion of t in x
6.674 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.674 * [taylor]: Taking taylor expansion of x in x
6.674 * [taylor]: Taking taylor expansion of (* z y) in x
6.674 * [taylor]: Taking taylor expansion of z in x
6.674 * [taylor]: Taking taylor expansion of y in x
6.675 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.675 * [taylor]: Taking taylor expansion of 18.0 in y
6.675 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.675 * [taylor]: Taking taylor expansion of t in y
6.675 * [taylor]: Taking taylor expansion of (* z y) in y
6.675 * [taylor]: Taking taylor expansion of z in y
6.675 * [taylor]: Taking taylor expansion of y in y
6.676 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.676 * [taylor]: Taking taylor expansion of 18.0 in z
6.676 * [taylor]: Taking taylor expansion of (* t z) in z
6.676 * [taylor]: Taking taylor expansion of t in z
6.676 * [taylor]: Taking taylor expansion of z in z
6.676 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.676 * [taylor]: Taking taylor expansion of 18.0 in t
6.676 * [taylor]: Taking taylor expansion of t in t
6.678 * [taylor]: Taking taylor expansion of 0 in y
6.679 * [taylor]: Taking taylor expansion of 0 in z
6.680 * [taylor]: Taking taylor expansion of 0 in t
6.682 * [taylor]: Taking taylor expansion of 0 in y
6.682 * [taylor]: Taking taylor expansion of 0 in z
6.684 * [taylor]: Taking taylor expansion of 0 in z
6.684 * [taylor]: Taking taylor expansion of 0 in t
6.684 * [taylor]: Taking taylor expansion of 0 in t
6.688 * [taylor]: Taking taylor expansion of 0 in y
6.688 * [taylor]: Taking taylor expansion of 0 in z
6.688 * [taylor]: Taking taylor expansion of 0 in z
6.690 * [taylor]: Taking taylor expansion of 0 in z
6.690 * [taylor]: Taking taylor expansion of 0 in t
6.690 * [taylor]: Taking taylor expansion of 0 in t
6.690 * [taylor]: Taking taylor expansion of 0 in t
6.691 * [taylor]: Taking taylor expansion of 0 in t
6.691 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.691 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.691 * [taylor]: Taking taylor expansion of 18.0 in t
6.691 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.691 * [taylor]: Taking taylor expansion of t in t
6.691 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.691 * [taylor]: Taking taylor expansion of x in t
6.691 * [taylor]: Taking taylor expansion of (* z y) in t
6.691 * [taylor]: Taking taylor expansion of z in t
6.691 * [taylor]: Taking taylor expansion of y in t
6.692 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.692 * [taylor]: Taking taylor expansion of 18.0 in z
6.692 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.692 * [taylor]: Taking taylor expansion of t in z
6.692 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.692 * [taylor]: Taking taylor expansion of x in z
6.692 * [taylor]: Taking taylor expansion of (* z y) in z
6.692 * [taylor]: Taking taylor expansion of z in z
6.692 * [taylor]: Taking taylor expansion of y in z
6.693 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.693 * [taylor]: Taking taylor expansion of 18.0 in y
6.693 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.693 * [taylor]: Taking taylor expansion of t in y
6.693 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.693 * [taylor]: Taking taylor expansion of x in y
6.693 * [taylor]: Taking taylor expansion of (* z y) in y
6.693 * [taylor]: Taking taylor expansion of z in y
6.693 * [taylor]: Taking taylor expansion of y in y
6.694 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.694 * [taylor]: Taking taylor expansion of 18.0 in x
6.694 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.694 * [taylor]: Taking taylor expansion of t in x
6.694 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.694 * [taylor]: Taking taylor expansion of x in x
6.694 * [taylor]: Taking taylor expansion of (* z y) in x
6.694 * [taylor]: Taking taylor expansion of z in x
6.694 * [taylor]: Taking taylor expansion of y in x
6.695 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.695 * [taylor]: Taking taylor expansion of 18.0 in x
6.695 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.695 * [taylor]: Taking taylor expansion of t in x
6.695 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.695 * [taylor]: Taking taylor expansion of x in x
6.695 * [taylor]: Taking taylor expansion of (* z y) in x
6.695 * [taylor]: Taking taylor expansion of z in x
6.695 * [taylor]: Taking taylor expansion of y in x
6.696 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.696 * [taylor]: Taking taylor expansion of 18.0 in y
6.696 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.696 * [taylor]: Taking taylor expansion of t in y
6.696 * [taylor]: Taking taylor expansion of (* z y) in y
6.696 * [taylor]: Taking taylor expansion of z in y
6.696 * [taylor]: Taking taylor expansion of y in y
6.697 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.697 * [taylor]: Taking taylor expansion of 18.0 in z
6.697 * [taylor]: Taking taylor expansion of (* t z) in z
6.697 * [taylor]: Taking taylor expansion of t in z
6.697 * [taylor]: Taking taylor expansion of z in z
6.697 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.697 * [taylor]: Taking taylor expansion of 18.0 in t
6.697 * [taylor]: Taking taylor expansion of t in t
6.699 * [taylor]: Taking taylor expansion of 0 in y
6.700 * [taylor]: Taking taylor expansion of 0 in z
6.701 * [taylor]: Taking taylor expansion of 0 in t
6.703 * [taylor]: Taking taylor expansion of 0 in y
6.703 * [taylor]: Taking taylor expansion of 0 in z
6.705 * [taylor]: Taking taylor expansion of 0 in z
6.705 * [taylor]: Taking taylor expansion of 0 in t
6.705 * [taylor]: Taking taylor expansion of 0 in t
6.709 * [taylor]: Taking taylor expansion of 0 in y
6.709 * [taylor]: Taking taylor expansion of 0 in z
6.709 * [taylor]: Taking taylor expansion of 0 in z
6.711 * [taylor]: Taking taylor expansion of 0 in z
6.711 * [taylor]: Taking taylor expansion of 0 in t
6.711 * [taylor]: Taking taylor expansion of 0 in t
6.711 * [taylor]: Taking taylor expansion of 0 in t
6.712 * [taylor]: Taking taylor expansion of 0 in t
6.713 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
6.713 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
6.713 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
6.713 * [taylor]: Taking taylor expansion of 18.0 in z
6.713 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.713 * [taylor]: Taking taylor expansion of x in z
6.713 * [taylor]: Taking taylor expansion of (* z y) in z
6.713 * [taylor]: Taking taylor expansion of z in z
6.713 * [taylor]: Taking taylor expansion of y in z
6.713 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
6.713 * [taylor]: Taking taylor expansion of 18.0 in y
6.713 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.713 * [taylor]: Taking taylor expansion of x in y
6.713 * [taylor]: Taking taylor expansion of (* z y) in y
6.713 * [taylor]: Taking taylor expansion of z in y
6.713 * [taylor]: Taking taylor expansion of y in y
6.713 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.713 * [taylor]: Taking taylor expansion of 18.0 in x
6.713 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.713 * [taylor]: Taking taylor expansion of x in x
6.713 * [taylor]: Taking taylor expansion of (* z y) in x
6.713 * [taylor]: Taking taylor expansion of z in x
6.713 * [taylor]: Taking taylor expansion of y in x
6.713 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.713 * [taylor]: Taking taylor expansion of 18.0 in x
6.713 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.713 * [taylor]: Taking taylor expansion of x in x
6.713 * [taylor]: Taking taylor expansion of (* z y) in x
6.713 * [taylor]: Taking taylor expansion of z in x
6.713 * [taylor]: Taking taylor expansion of y in x
6.714 * [taylor]: Taking taylor expansion of 0 in y
6.714 * [taylor]: Taking taylor expansion of 0 in z
6.714 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
6.715 * [taylor]: Taking taylor expansion of 18.0 in y
6.715 * [taylor]: Taking taylor expansion of (* z y) in y
6.715 * [taylor]: Taking taylor expansion of z in y
6.715 * [taylor]: Taking taylor expansion of y in y
6.715 * [taylor]: Taking taylor expansion of 0 in z
6.715 * [taylor]: Taking taylor expansion of 0 in z
6.716 * [taylor]: Taking taylor expansion of 0 in y
6.717 * [taylor]: Taking taylor expansion of 0 in z
6.717 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
6.717 * [taylor]: Taking taylor expansion of 18.0 in z
6.717 * [taylor]: Taking taylor expansion of z in z
6.718 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
6.718 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
6.718 * [taylor]: Taking taylor expansion of 18.0 in z
6.718 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.718 * [taylor]: Taking taylor expansion of x in z
6.718 * [taylor]: Taking taylor expansion of (* z y) in z
6.718 * [taylor]: Taking taylor expansion of z in z
6.718 * [taylor]: Taking taylor expansion of y in z
6.718 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
6.718 * [taylor]: Taking taylor expansion of 18.0 in y
6.719 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.719 * [taylor]: Taking taylor expansion of x in y
6.719 * [taylor]: Taking taylor expansion of (* z y) in y
6.719 * [taylor]: Taking taylor expansion of z in y
6.719 * [taylor]: Taking taylor expansion of y in y
6.719 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.719 * [taylor]: Taking taylor expansion of 18.0 in x
6.719 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.719 * [taylor]: Taking taylor expansion of x in x
6.719 * [taylor]: Taking taylor expansion of (* z y) in x
6.719 * [taylor]: Taking taylor expansion of z in x
6.719 * [taylor]: Taking taylor expansion of y in x
6.720 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.720 * [taylor]: Taking taylor expansion of 18.0 in x
6.720 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.720 * [taylor]: Taking taylor expansion of x in x
6.720 * [taylor]: Taking taylor expansion of (* z y) in x
6.720 * [taylor]: Taking taylor expansion of z in x
6.720 * [taylor]: Taking taylor expansion of y in x
6.720 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
6.720 * [taylor]: Taking taylor expansion of 18.0 in y
6.721 * [taylor]: Taking taylor expansion of (* z y) in y
6.721 * [taylor]: Taking taylor expansion of z in y
6.721 * [taylor]: Taking taylor expansion of y in y
6.721 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
6.721 * [taylor]: Taking taylor expansion of 18.0 in z
6.721 * [taylor]: Taking taylor expansion of z in z
6.722 * [taylor]: Taking taylor expansion of 0 in y
6.723 * [taylor]: Taking taylor expansion of 0 in z
6.725 * [taylor]: Taking taylor expansion of 0 in y
6.725 * [taylor]: Taking taylor expansion of 0 in z
6.726 * [taylor]: Taking taylor expansion of 0 in z
6.728 * [taylor]: Taking taylor expansion of 0 in y
6.728 * [taylor]: Taking taylor expansion of 0 in z
6.729 * [taylor]: Taking taylor expansion of 0 in z
6.729 * [taylor]: Taking taylor expansion of 0 in z
6.730 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
6.730 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
6.730 * [taylor]: Taking taylor expansion of -18.0 in z
6.730 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.730 * [taylor]: Taking taylor expansion of x in z
6.730 * [taylor]: Taking taylor expansion of (* z y) in z
6.730 * [taylor]: Taking taylor expansion of z in z
6.730 * [taylor]: Taking taylor expansion of y in z
6.730 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
6.730 * [taylor]: Taking taylor expansion of -18.0 in y
6.730 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.731 * [taylor]: Taking taylor expansion of x in y
6.731 * [taylor]: Taking taylor expansion of (* z y) in y
6.731 * [taylor]: Taking taylor expansion of z in y
6.731 * [taylor]: Taking taylor expansion of y in y
6.731 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.731 * [taylor]: Taking taylor expansion of -18.0 in x
6.731 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.731 * [taylor]: Taking taylor expansion of x in x
6.731 * [taylor]: Taking taylor expansion of (* z y) in x
6.731 * [taylor]: Taking taylor expansion of z in x
6.731 * [taylor]: Taking taylor expansion of y in x
6.732 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.732 * [taylor]: Taking taylor expansion of -18.0 in x
6.732 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.732 * [taylor]: Taking taylor expansion of x in x
6.732 * [taylor]: Taking taylor expansion of (* z y) in x
6.732 * [taylor]: Taking taylor expansion of z in x
6.732 * [taylor]: Taking taylor expansion of y in x
6.732 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
6.732 * [taylor]: Taking taylor expansion of -18.0 in y
6.732 * [taylor]: Taking taylor expansion of (* z y) in y
6.732 * [taylor]: Taking taylor expansion of z in y
6.733 * [taylor]: Taking taylor expansion of y in y
6.733 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
6.733 * [taylor]: Taking taylor expansion of -18.0 in z
6.733 * [taylor]: Taking taylor expansion of z in z
6.737 * [taylor]: Taking taylor expansion of 0 in y
6.738 * [taylor]: Taking taylor expansion of 0 in z
6.740 * [taylor]: Taking taylor expansion of 0 in y
6.740 * [taylor]: Taking taylor expansion of 0 in z
6.741 * [taylor]: Taking taylor expansion of 0 in z
6.744 * [taylor]: Taking taylor expansion of 0 in y
6.744 * [taylor]: Taking taylor expansion of 0 in z
6.744 * [taylor]: Taking taylor expansion of 0 in z
6.744 * [taylor]: Taking taylor expansion of 0 in z
6.745 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.745 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (k j) around 0
6.745 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
6.745 * [taylor]: Taking taylor expansion of 27.0 in j
6.745 * [taylor]: Taking taylor expansion of (* k j) in j
6.745 * [taylor]: Taking taylor expansion of k in j
6.745 * [taylor]: Taking taylor expansion of j in j
6.745 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
6.745 * [taylor]: Taking taylor expansion of 27.0 in k
6.745 * [taylor]: Taking taylor expansion of (* k j) in k
6.745 * [taylor]: Taking taylor expansion of k in k
6.745 * [taylor]: Taking taylor expansion of j in k
6.745 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
6.745 * [taylor]: Taking taylor expansion of 27.0 in k
6.745 * [taylor]: Taking taylor expansion of (* k j) in k
6.745 * [taylor]: Taking taylor expansion of k in k
6.745 * [taylor]: Taking taylor expansion of j in k
6.746 * [taylor]: Taking taylor expansion of 0 in j
6.746 * [taylor]: Taking taylor expansion of (* 27.0 j) in j
6.746 * [taylor]: Taking taylor expansion of 27.0 in j
6.746 * [taylor]: Taking taylor expansion of j in j
6.748 * [taylor]: Taking taylor expansion of 0 in j
6.750 * [taylor]: Taking taylor expansion of 0 in j
6.753 * [taylor]: Taking taylor expansion of 0 in j
6.753 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
6.753 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.753 * [taylor]: Taking taylor expansion of 27.0 in j
6.753 * [taylor]: Taking taylor expansion of (* k j) in j
6.753 * [taylor]: Taking taylor expansion of k in j
6.753 * [taylor]: Taking taylor expansion of j in j
6.754 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.754 * [taylor]: Taking taylor expansion of 27.0 in k
6.754 * [taylor]: Taking taylor expansion of (* k j) in k
6.754 * [taylor]: Taking taylor expansion of k in k
6.754 * [taylor]: Taking taylor expansion of j in k
6.754 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.754 * [taylor]: Taking taylor expansion of 27.0 in k
6.754 * [taylor]: Taking taylor expansion of (* k j) in k
6.754 * [taylor]: Taking taylor expansion of k in k
6.754 * [taylor]: Taking taylor expansion of j in k
6.754 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
6.754 * [taylor]: Taking taylor expansion of 27.0 in j
6.754 * [taylor]: Taking taylor expansion of j in j
6.755 * [taylor]: Taking taylor expansion of 0 in j
6.757 * [taylor]: Taking taylor expansion of 0 in j
6.759 * [taylor]: Taking taylor expansion of 0 in j
6.759 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
6.760 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.760 * [taylor]: Taking taylor expansion of 27.0 in j
6.760 * [taylor]: Taking taylor expansion of (* k j) in j
6.760 * [taylor]: Taking taylor expansion of k in j
6.760 * [taylor]: Taking taylor expansion of j in j
6.760 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.760 * [taylor]: Taking taylor expansion of 27.0 in k
6.760 * [taylor]: Taking taylor expansion of (* k j) in k
6.760 * [taylor]: Taking taylor expansion of k in k
6.760 * [taylor]: Taking taylor expansion of j in k
6.760 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.760 * [taylor]: Taking taylor expansion of 27.0 in k
6.761 * [taylor]: Taking taylor expansion of (* k j) in k
6.761 * [taylor]: Taking taylor expansion of k in k
6.761 * [taylor]: Taking taylor expansion of j in k
6.761 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
6.761 * [taylor]: Taking taylor expansion of 27.0 in j
6.761 * [taylor]: Taking taylor expansion of j in j
6.762 * [taylor]: Taking taylor expansion of 0 in j
6.764 * [taylor]: Taking taylor expansion of 0 in j
6.766 * [taylor]: Taking taylor expansion of 0 in j
6.766 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
6.766 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
6.766 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
6.766 * [taylor]: Taking taylor expansion of 18.0 in y
6.767 * [taylor]: Taking taylor expansion of (* x y) in y
6.767 * [taylor]: Taking taylor expansion of x in y
6.767 * [taylor]: Taking taylor expansion of y in y
6.767 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.767 * [taylor]: Taking taylor expansion of 18.0 in x
6.767 * [taylor]: Taking taylor expansion of (* x y) in x
6.767 * [taylor]: Taking taylor expansion of x in x
6.767 * [taylor]: Taking taylor expansion of y in x
6.767 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.767 * [taylor]: Taking taylor expansion of 18.0 in x
6.767 * [taylor]: Taking taylor expansion of (* x y) in x
6.767 * [taylor]: Taking taylor expansion of x in x
6.767 * [taylor]: Taking taylor expansion of y in x
6.767 * [taylor]: Taking taylor expansion of 0 in y
6.768 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
6.768 * [taylor]: Taking taylor expansion of 18.0 in y
6.768 * [taylor]: Taking taylor expansion of y in y
6.769 * [taylor]: Taking taylor expansion of 0 in y
6.772 * [taylor]: Taking taylor expansion of 0 in y
6.774 * [taylor]: Taking taylor expansion of 0 in y
6.775 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.775 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.775 * [taylor]: Taking taylor expansion of 18.0 in y
6.775 * [taylor]: Taking taylor expansion of (* x y) in y
6.775 * [taylor]: Taking taylor expansion of x in y
6.775 * [taylor]: Taking taylor expansion of y in y
6.775 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.775 * [taylor]: Taking taylor expansion of 18.0 in x
6.775 * [taylor]: Taking taylor expansion of (* x y) in x
6.775 * [taylor]: Taking taylor expansion of x in x
6.775 * [taylor]: Taking taylor expansion of y in x
6.775 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.776 * [taylor]: Taking taylor expansion of 18.0 in x
6.776 * [taylor]: Taking taylor expansion of (* x y) in x
6.776 * [taylor]: Taking taylor expansion of x in x
6.776 * [taylor]: Taking taylor expansion of y in x
6.776 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.776 * [taylor]: Taking taylor expansion of 18.0 in y
6.776 * [taylor]: Taking taylor expansion of y in y
6.777 * [taylor]: Taking taylor expansion of 0 in y
6.778 * [taylor]: Taking taylor expansion of 0 in y
6.780 * [taylor]: Taking taylor expansion of 0 in y
6.781 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.781 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.781 * [taylor]: Taking taylor expansion of 18.0 in y
6.781 * [taylor]: Taking taylor expansion of (* x y) in y
6.781 * [taylor]: Taking taylor expansion of x in y
6.781 * [taylor]: Taking taylor expansion of y in y
6.781 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.782 * [taylor]: Taking taylor expansion of 18.0 in x
6.782 * [taylor]: Taking taylor expansion of (* x y) in x
6.782 * [taylor]: Taking taylor expansion of x in x
6.782 * [taylor]: Taking taylor expansion of y in x
6.782 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.782 * [taylor]: Taking taylor expansion of 18.0 in x
6.782 * [taylor]: Taking taylor expansion of (* x y) in x
6.782 * [taylor]: Taking taylor expansion of x in x
6.782 * [taylor]: Taking taylor expansion of y in x
6.782 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.782 * [taylor]: Taking taylor expansion of 18.0 in y
6.782 * [taylor]: Taking taylor expansion of y in y
6.783 * [taylor]: Taking taylor expansion of 0 in y
6.785 * [taylor]: Taking taylor expansion of 0 in y
6.787 * [taylor]: Taking taylor expansion of 0 in y
6.788 * * * [progress]: simplifying candidates
6.789 * [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))
6.793 * * [simplify]: iteration  0 :  141  enodes  (cost  971 )
6.824 * * [simplify]: iteration  1 :  364  enodes  (cost  943 )
6.940 * * [simplify]: iteration  2 :  1846  enodes  (cost  737 )
7.698 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
7.699 * [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 (* 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)
7.700 * * * [progress]: adding candidates to table
8.037 * * [progress]: iteration 4 / 4
8.037 * * * [progress]: picking best candidate
8.072 * * * * [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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>
8.072 * * * [progress]: localizing error
8.100 * * * [progress]: generating rewritten candidates
8.100 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
8.177 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
8.198 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
8.206 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
8.228 * * * [progress]: generating series expansions
8.228 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
8.228 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.229 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
8.229 * [taylor]: Taking taylor expansion of 18.0 in t
8.229 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.229 * [taylor]: Taking taylor expansion of t in t
8.229 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.229 * [taylor]: Taking taylor expansion of x in t
8.229 * [taylor]: Taking taylor expansion of (* z y) in t
8.229 * [taylor]: Taking taylor expansion of z in t
8.229 * [taylor]: Taking taylor expansion of y in t
8.229 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
8.229 * [taylor]: Taking taylor expansion of 18.0 in z
8.229 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.229 * [taylor]: Taking taylor expansion of t in z
8.229 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.229 * [taylor]: Taking taylor expansion of x in z
8.229 * [taylor]: Taking taylor expansion of (* z y) in z
8.229 * [taylor]: Taking taylor expansion of z in z
8.229 * [taylor]: Taking taylor expansion of y in z
8.229 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
8.229 * [taylor]: Taking taylor expansion of 18.0 in y
8.229 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.229 * [taylor]: Taking taylor expansion of t in y
8.229 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.229 * [taylor]: Taking taylor expansion of x in y
8.229 * [taylor]: Taking taylor expansion of (* z y) in y
8.229 * [taylor]: Taking taylor expansion of z in y
8.229 * [taylor]: Taking taylor expansion of y in y
8.229 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.229 * [taylor]: Taking taylor expansion of 18.0 in x
8.229 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.229 * [taylor]: Taking taylor expansion of t in x
8.229 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.229 * [taylor]: Taking taylor expansion of x in x
8.229 * [taylor]: Taking taylor expansion of (* z y) in x
8.229 * [taylor]: Taking taylor expansion of z in x
8.229 * [taylor]: Taking taylor expansion of y in x
8.229 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.229 * [taylor]: Taking taylor expansion of 18.0 in x
8.229 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.229 * [taylor]: Taking taylor expansion of t in x
8.229 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.229 * [taylor]: Taking taylor expansion of x in x
8.229 * [taylor]: Taking taylor expansion of (* z y) in x
8.229 * [taylor]: Taking taylor expansion of z in x
8.229 * [taylor]: Taking taylor expansion of y in x
8.230 * [taylor]: Taking taylor expansion of 0 in y
8.230 * [taylor]: Taking taylor expansion of 0 in z
8.230 * [taylor]: Taking taylor expansion of 0 in t
8.231 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
8.231 * [taylor]: Taking taylor expansion of 18.0 in y
8.231 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.231 * [taylor]: Taking taylor expansion of t in y
8.231 * [taylor]: Taking taylor expansion of (* z y) in y
8.231 * [taylor]: Taking taylor expansion of z in y
8.231 * [taylor]: Taking taylor expansion of y in y
8.232 * [taylor]: Taking taylor expansion of 0 in z
8.232 * [taylor]: Taking taylor expansion of 0 in t
8.232 * [taylor]: Taking taylor expansion of 0 in z
8.232 * [taylor]: Taking taylor expansion of 0 in t
8.232 * [taylor]: Taking taylor expansion of 0 in t
8.234 * [taylor]: Taking taylor expansion of 0 in y
8.234 * [taylor]: Taking taylor expansion of 0 in z
8.234 * [taylor]: Taking taylor expansion of 0 in t
8.234 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.234 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.234 * [taylor]: Taking taylor expansion of 18.0 in t
8.234 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.234 * [taylor]: Taking taylor expansion of t in t
8.234 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.234 * [taylor]: Taking taylor expansion of x in t
8.234 * [taylor]: Taking taylor expansion of (* z y) in t
8.234 * [taylor]: Taking taylor expansion of z in t
8.234 * [taylor]: Taking taylor expansion of y in t
8.235 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.235 * [taylor]: Taking taylor expansion of 18.0 in z
8.235 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.235 * [taylor]: Taking taylor expansion of t in z
8.235 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.235 * [taylor]: Taking taylor expansion of x in z
8.235 * [taylor]: Taking taylor expansion of (* z y) in z
8.235 * [taylor]: Taking taylor expansion of z in z
8.235 * [taylor]: Taking taylor expansion of y in z
8.236 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.236 * [taylor]: Taking taylor expansion of 18.0 in y
8.236 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.236 * [taylor]: Taking taylor expansion of t in y
8.236 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.236 * [taylor]: Taking taylor expansion of x in y
8.236 * [taylor]: Taking taylor expansion of (* z y) in y
8.236 * [taylor]: Taking taylor expansion of z in y
8.236 * [taylor]: Taking taylor expansion of y in y
8.237 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.237 * [taylor]: Taking taylor expansion of 18.0 in x
8.237 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.237 * [taylor]: Taking taylor expansion of t in x
8.237 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.237 * [taylor]: Taking taylor expansion of x in x
8.237 * [taylor]: Taking taylor expansion of (* z y) in x
8.237 * [taylor]: Taking taylor expansion of z in x
8.237 * [taylor]: Taking taylor expansion of y in x
8.238 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.238 * [taylor]: Taking taylor expansion of 18.0 in x
8.238 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.238 * [taylor]: Taking taylor expansion of t in x
8.238 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.238 * [taylor]: Taking taylor expansion of x in x
8.238 * [taylor]: Taking taylor expansion of (* z y) in x
8.238 * [taylor]: Taking taylor expansion of z in x
8.238 * [taylor]: Taking taylor expansion of y in x
8.239 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.239 * [taylor]: Taking taylor expansion of 18.0 in y
8.239 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.239 * [taylor]: Taking taylor expansion of t in y
8.239 * [taylor]: Taking taylor expansion of (* z y) in y
8.239 * [taylor]: Taking taylor expansion of z in y
8.239 * [taylor]: Taking taylor expansion of y in y
8.240 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.240 * [taylor]: Taking taylor expansion of 18.0 in z
8.240 * [taylor]: Taking taylor expansion of (* t z) in z
8.240 * [taylor]: Taking taylor expansion of t in z
8.240 * [taylor]: Taking taylor expansion of z in z
8.240 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.240 * [taylor]: Taking taylor expansion of 18.0 in t
8.240 * [taylor]: Taking taylor expansion of t in t
8.242 * [taylor]: Taking taylor expansion of 0 in y
8.243 * [taylor]: Taking taylor expansion of 0 in z
8.244 * [taylor]: Taking taylor expansion of 0 in t
8.247 * [taylor]: Taking taylor expansion of 0 in y
8.247 * [taylor]: Taking taylor expansion of 0 in z
8.248 * [taylor]: Taking taylor expansion of 0 in z
8.248 * [taylor]: Taking taylor expansion of 0 in t
8.249 * [taylor]: Taking taylor expansion of 0 in t
8.252 * [taylor]: Taking taylor expansion of 0 in y
8.252 * [taylor]: Taking taylor expansion of 0 in z
8.252 * [taylor]: Taking taylor expansion of 0 in z
8.254 * [taylor]: Taking taylor expansion of 0 in z
8.254 * [taylor]: Taking taylor expansion of 0 in t
8.254 * [taylor]: Taking taylor expansion of 0 in t
8.254 * [taylor]: Taking taylor expansion of 0 in t
8.255 * [taylor]: Taking taylor expansion of 0 in t
8.255 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.255 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.255 * [taylor]: Taking taylor expansion of 18.0 in t
8.255 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.255 * [taylor]: Taking taylor expansion of t in t
8.255 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.255 * [taylor]: Taking taylor expansion of x in t
8.255 * [taylor]: Taking taylor expansion of (* z y) in t
8.255 * [taylor]: Taking taylor expansion of z in t
8.255 * [taylor]: Taking taylor expansion of y in t
8.259 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.259 * [taylor]: Taking taylor expansion of 18.0 in z
8.259 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.259 * [taylor]: Taking taylor expansion of t in z
8.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.259 * [taylor]: Taking taylor expansion of x in z
8.259 * [taylor]: Taking taylor expansion of (* z y) in z
8.259 * [taylor]: Taking taylor expansion of z in z
8.259 * [taylor]: Taking taylor expansion of y in z
8.260 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.260 * [taylor]: Taking taylor expansion of 18.0 in y
8.260 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.260 * [taylor]: Taking taylor expansion of t in y
8.260 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.260 * [taylor]: Taking taylor expansion of x in y
8.260 * [taylor]: Taking taylor expansion of (* z y) in y
8.260 * [taylor]: Taking taylor expansion of z in y
8.260 * [taylor]: Taking taylor expansion of y in y
8.261 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.261 * [taylor]: Taking taylor expansion of 18.0 in x
8.261 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.261 * [taylor]: Taking taylor expansion of t in x
8.262 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.262 * [taylor]: Taking taylor expansion of x in x
8.262 * [taylor]: Taking taylor expansion of (* z y) in x
8.262 * [taylor]: Taking taylor expansion of z in x
8.262 * [taylor]: Taking taylor expansion of y in x
8.262 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.262 * [taylor]: Taking taylor expansion of 18.0 in x
8.262 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.262 * [taylor]: Taking taylor expansion of t in x
8.262 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.262 * [taylor]: Taking taylor expansion of x in x
8.263 * [taylor]: Taking taylor expansion of (* z y) in x
8.263 * [taylor]: Taking taylor expansion of z in x
8.263 * [taylor]: Taking taylor expansion of y in x
8.263 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.263 * [taylor]: Taking taylor expansion of 18.0 in y
8.263 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.264 * [taylor]: Taking taylor expansion of t in y
8.264 * [taylor]: Taking taylor expansion of (* z y) in y
8.264 * [taylor]: Taking taylor expansion of z in y
8.264 * [taylor]: Taking taylor expansion of y in y
8.264 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.264 * [taylor]: Taking taylor expansion of 18.0 in z
8.264 * [taylor]: Taking taylor expansion of (* t z) in z
8.264 * [taylor]: Taking taylor expansion of t in z
8.264 * [taylor]: Taking taylor expansion of z in z
8.265 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.265 * [taylor]: Taking taylor expansion of 18.0 in t
8.265 * [taylor]: Taking taylor expansion of t in t
8.266 * [taylor]: Taking taylor expansion of 0 in y
8.267 * [taylor]: Taking taylor expansion of 0 in z
8.268 * [taylor]: Taking taylor expansion of 0 in t
8.271 * [taylor]: Taking taylor expansion of 0 in y
8.271 * [taylor]: Taking taylor expansion of 0 in z
8.272 * [taylor]: Taking taylor expansion of 0 in z
8.272 * [taylor]: Taking taylor expansion of 0 in t
8.273 * [taylor]: Taking taylor expansion of 0 in t
8.276 * [taylor]: Taking taylor expansion of 0 in y
8.276 * [taylor]: Taking taylor expansion of 0 in z
8.276 * [taylor]: Taking taylor expansion of 0 in z
8.278 * [taylor]: Taking taylor expansion of 0 in z
8.278 * [taylor]: Taking taylor expansion of 0 in t
8.278 * [taylor]: Taking taylor expansion of 0 in t
8.278 * [taylor]: Taking taylor expansion of 0 in t
8.279 * [taylor]: Taking taylor expansion of 0 in t
8.279 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
8.279 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
8.279 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
8.279 * [taylor]: Taking taylor expansion of 18.0 in z
8.279 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.279 * [taylor]: Taking taylor expansion of x in z
8.279 * [taylor]: Taking taylor expansion of (* z y) in z
8.279 * [taylor]: Taking taylor expansion of z in z
8.279 * [taylor]: Taking taylor expansion of y in z
8.279 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
8.279 * [taylor]: Taking taylor expansion of 18.0 in y
8.279 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.279 * [taylor]: Taking taylor expansion of x in y
8.279 * [taylor]: Taking taylor expansion of (* z y) in y
8.279 * [taylor]: Taking taylor expansion of z in y
8.279 * [taylor]: Taking taylor expansion of y in y
8.279 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.279 * [taylor]: Taking taylor expansion of 18.0 in x
8.279 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.279 * [taylor]: Taking taylor expansion of x in x
8.280 * [taylor]: Taking taylor expansion of (* z y) in x
8.280 * [taylor]: Taking taylor expansion of z in x
8.280 * [taylor]: Taking taylor expansion of y in x
8.280 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.280 * [taylor]: Taking taylor expansion of 18.0 in x
8.280 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.280 * [taylor]: Taking taylor expansion of x in x
8.280 * [taylor]: Taking taylor expansion of (* z y) in x
8.280 * [taylor]: Taking taylor expansion of z in x
8.280 * [taylor]: Taking taylor expansion of y in x
8.280 * [taylor]: Taking taylor expansion of 0 in y
8.280 * [taylor]: Taking taylor expansion of 0 in z
8.281 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
8.281 * [taylor]: Taking taylor expansion of 18.0 in y
8.281 * [taylor]: Taking taylor expansion of (* z y) in y
8.281 * [taylor]: Taking taylor expansion of z in y
8.281 * [taylor]: Taking taylor expansion of y in y
8.281 * [taylor]: Taking taylor expansion of 0 in z
8.281 * [taylor]: Taking taylor expansion of 0 in z
8.283 * [taylor]: Taking taylor expansion of 0 in y
8.283 * [taylor]: Taking taylor expansion of 0 in z
8.284 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
8.284 * [taylor]: Taking taylor expansion of 18.0 in z
8.284 * [taylor]: Taking taylor expansion of z in z
8.284 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
8.284 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
8.284 * [taylor]: Taking taylor expansion of 18.0 in z
8.284 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.284 * [taylor]: Taking taylor expansion of x in z
8.284 * [taylor]: Taking taylor expansion of (* z y) in z
8.284 * [taylor]: Taking taylor expansion of z in z
8.284 * [taylor]: Taking taylor expansion of y in z
8.285 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
8.285 * [taylor]: Taking taylor expansion of 18.0 in y
8.285 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.285 * [taylor]: Taking taylor expansion of x in y
8.285 * [taylor]: Taking taylor expansion of (* z y) in y
8.285 * [taylor]: Taking taylor expansion of z in y
8.285 * [taylor]: Taking taylor expansion of y in y
8.286 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.286 * [taylor]: Taking taylor expansion of 18.0 in x
8.286 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.286 * [taylor]: Taking taylor expansion of x in x
8.286 * [taylor]: Taking taylor expansion of (* z y) in x
8.286 * [taylor]: Taking taylor expansion of z in x
8.286 * [taylor]: Taking taylor expansion of y in x
8.286 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.286 * [taylor]: Taking taylor expansion of 18.0 in x
8.286 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.286 * [taylor]: Taking taylor expansion of x in x
8.286 * [taylor]: Taking taylor expansion of (* z y) in x
8.286 * [taylor]: Taking taylor expansion of z in x
8.286 * [taylor]: Taking taylor expansion of y in x
8.287 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
8.287 * [taylor]: Taking taylor expansion of 18.0 in y
8.287 * [taylor]: Taking taylor expansion of (* z y) in y
8.287 * [taylor]: Taking taylor expansion of z in y
8.287 * [taylor]: Taking taylor expansion of y in y
8.287 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
8.287 * [taylor]: Taking taylor expansion of 18.0 in z
8.287 * [taylor]: Taking taylor expansion of z in z
8.289 * [taylor]: Taking taylor expansion of 0 in y
8.289 * [taylor]: Taking taylor expansion of 0 in z
8.291 * [taylor]: Taking taylor expansion of 0 in y
8.291 * [taylor]: Taking taylor expansion of 0 in z
8.292 * [taylor]: Taking taylor expansion of 0 in z
8.295 * [taylor]: Taking taylor expansion of 0 in y
8.295 * [taylor]: Taking taylor expansion of 0 in z
8.295 * [taylor]: Taking taylor expansion of 0 in z
8.296 * [taylor]: Taking taylor expansion of 0 in z
8.296 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
8.296 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
8.296 * [taylor]: Taking taylor expansion of -18.0 in z
8.296 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.296 * [taylor]: Taking taylor expansion of x in z
8.297 * [taylor]: Taking taylor expansion of (* z y) in z
8.297 * [taylor]: Taking taylor expansion of z in z
8.297 * [taylor]: Taking taylor expansion of y in z
8.297 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
8.297 * [taylor]: Taking taylor expansion of -18.0 in y
8.297 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.297 * [taylor]: Taking taylor expansion of x in y
8.297 * [taylor]: Taking taylor expansion of (* z y) in y
8.297 * [taylor]: Taking taylor expansion of z in y
8.297 * [taylor]: Taking taylor expansion of y in y
8.298 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.298 * [taylor]: Taking taylor expansion of -18.0 in x
8.298 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.298 * [taylor]: Taking taylor expansion of x in x
8.298 * [taylor]: Taking taylor expansion of (* z y) in x
8.298 * [taylor]: Taking taylor expansion of z in x
8.298 * [taylor]: Taking taylor expansion of y in x
8.299 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.299 * [taylor]: Taking taylor expansion of -18.0 in x
8.299 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.299 * [taylor]: Taking taylor expansion of x in x
8.299 * [taylor]: Taking taylor expansion of (* z y) in x
8.299 * [taylor]: Taking taylor expansion of z in x
8.299 * [taylor]: Taking taylor expansion of y in x
8.299 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
8.300 * [taylor]: Taking taylor expansion of -18.0 in y
8.300 * [taylor]: Taking taylor expansion of (* z y) in y
8.300 * [taylor]: Taking taylor expansion of z in y
8.300 * [taylor]: Taking taylor expansion of y in y
8.300 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
8.300 * [taylor]: Taking taylor expansion of -18.0 in z
8.300 * [taylor]: Taking taylor expansion of z in z
8.301 * [taylor]: Taking taylor expansion of 0 in y
8.302 * [taylor]: Taking taylor expansion of 0 in z
8.304 * [taylor]: Taking taylor expansion of 0 in y
8.304 * [taylor]: Taking taylor expansion of 0 in z
8.305 * [taylor]: Taking taylor expansion of 0 in z
8.307 * [taylor]: Taking taylor expansion of 0 in y
8.307 * [taylor]: Taking taylor expansion of 0 in z
8.307 * [taylor]: Taking taylor expansion of 0 in z
8.308 * [taylor]: Taking taylor expansion of 0 in z
8.308 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
8.309 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in (k j) around 0
8.309 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in j
8.309 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.309 * [taylor]: Taking taylor expansion of 27.0 in j
8.310 * [taylor]: Taking taylor expansion of (* j k) in j
8.310 * [taylor]: Taking taylor expansion of j in j
8.310 * [taylor]: Taking taylor expansion of k in j
8.310 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
8.310 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.310 * [taylor]: Taking taylor expansion of 27.0 in k
8.311 * [taylor]: Taking taylor expansion of (* j k) in k
8.311 * [taylor]: Taking taylor expansion of j in k
8.311 * [taylor]: Taking taylor expansion of k in k
8.311 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
8.311 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.311 * [taylor]: Taking taylor expansion of 27.0 in k
8.312 * [taylor]: Taking taylor expansion of (* j k) in k
8.312 * [taylor]: Taking taylor expansion of j in k
8.312 * [taylor]: Taking taylor expansion of k in k
8.312 * [taylor]: Taking taylor expansion of 0 in j
8.313 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) j) in j
8.313 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.313 * [taylor]: Taking taylor expansion of 27.0 in j
8.314 * [taylor]: Taking taylor expansion of j in j
8.316 * [taylor]: Taking taylor expansion of 0 in j
8.320 * [taylor]: Taking taylor expansion of 0 in j
8.324 * [taylor]: Taking taylor expansion of 0 in j
8.324 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
8.324 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
8.324 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.324 * [taylor]: Taking taylor expansion of 27.0 in j
8.325 * [taylor]: Taking taylor expansion of (* j k) in j
8.325 * [taylor]: Taking taylor expansion of j in j
8.325 * [taylor]: Taking taylor expansion of k in j
8.326 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.326 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.326 * [taylor]: Taking taylor expansion of 27.0 in k
8.327 * [taylor]: Taking taylor expansion of (* j k) in k
8.327 * [taylor]: Taking taylor expansion of j in k
8.327 * [taylor]: Taking taylor expansion of k in k
8.327 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.327 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.327 * [taylor]: Taking taylor expansion of 27.0 in k
8.328 * [taylor]: Taking taylor expansion of (* j k) in k
8.328 * [taylor]: Taking taylor expansion of j in k
8.328 * [taylor]: Taking taylor expansion of k in k
8.329 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
8.329 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.329 * [taylor]: Taking taylor expansion of 27.0 in j
8.330 * [taylor]: Taking taylor expansion of j in j
8.331 * [taylor]: Taking taylor expansion of 0 in j
8.333 * [taylor]: Taking taylor expansion of 0 in j
8.337 * [taylor]: Taking taylor expansion of 0 in j
8.339 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
8.339 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
8.339 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.339 * [taylor]: Taking taylor expansion of 27.0 in j
8.340 * [taylor]: Taking taylor expansion of (* j k) in j
8.340 * [taylor]: Taking taylor expansion of j in j
8.340 * [taylor]: Taking taylor expansion of k in j
8.340 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.340 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.340 * [taylor]: Taking taylor expansion of 27.0 in k
8.341 * [taylor]: Taking taylor expansion of (* j k) in k
8.341 * [taylor]: Taking taylor expansion of j in k
8.341 * [taylor]: Taking taylor expansion of k in k
8.342 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.342 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.342 * [taylor]: Taking taylor expansion of 27.0 in k
8.343 * [taylor]: Taking taylor expansion of (* j k) in k
8.343 * [taylor]: Taking taylor expansion of j in k
8.343 * [taylor]: Taking taylor expansion of k in k
8.344 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
8.344 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.344 * [taylor]: Taking taylor expansion of 27.0 in j
8.344 * [taylor]: Taking taylor expansion of j in j
8.346 * [taylor]: Taking taylor expansion of 0 in j
8.348 * [taylor]: Taking taylor expansion of 0 in j
8.351 * [taylor]: Taking taylor expansion of 0 in j
8.357 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
8.357 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.357 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in j
8.357 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.357 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.357 * [taylor]: Taking taylor expansion of 27.0 in j
8.358 * [taylor]: Taking taylor expansion of (* k j) in j
8.358 * [taylor]: Taking taylor expansion of k in j
8.358 * [taylor]: Taking taylor expansion of j in j
8.358 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
8.358 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.358 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.358 * [taylor]: Taking taylor expansion of 27.0 in k
8.359 * [taylor]: Taking taylor expansion of (* k j) in k
8.359 * [taylor]: Taking taylor expansion of k in k
8.359 * [taylor]: Taking taylor expansion of j in k
8.359 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
8.359 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.359 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.359 * [taylor]: Taking taylor expansion of 27.0 in k
8.360 * [taylor]: Taking taylor expansion of (* k j) in k
8.360 * [taylor]: Taking taylor expansion of k in k
8.360 * [taylor]: Taking taylor expansion of j in k
8.361 * [taylor]: Taking taylor expansion of 0 in j
8.363 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) j) in j
8.363 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.363 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.363 * [taylor]: Taking taylor expansion of 27.0 in j
8.364 * [taylor]: Taking taylor expansion of j in j
8.368 * [taylor]: Taking taylor expansion of 0 in j
8.374 * [taylor]: Taking taylor expansion of 0 in j
8.380 * [taylor]: Taking taylor expansion of 0 in j
8.382 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.382 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
8.382 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.382 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.382 * [taylor]: Taking taylor expansion of 27.0 in j
8.383 * [taylor]: Taking taylor expansion of (* k j) in j
8.383 * [taylor]: Taking taylor expansion of k in j
8.383 * [taylor]: Taking taylor expansion of j in j
8.385 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.385 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.385 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.385 * [taylor]: Taking taylor expansion of 27.0 in k
8.386 * [taylor]: Taking taylor expansion of (* k j) in k
8.386 * [taylor]: Taking taylor expansion of k in k
8.386 * [taylor]: Taking taylor expansion of j in k
8.387 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.388 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.388 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.388 * [taylor]: Taking taylor expansion of 27.0 in k
8.388 * [taylor]: Taking taylor expansion of (* k j) in k
8.388 * [taylor]: Taking taylor expansion of k in k
8.388 * [taylor]: Taking taylor expansion of j in k
8.390 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
8.390 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.390 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.390 * [taylor]: Taking taylor expansion of 27.0 in j
8.391 * [taylor]: Taking taylor expansion of j in j
8.396 * [taylor]: Taking taylor expansion of 0 in j
8.400 * [taylor]: Taking taylor expansion of 0 in j
8.406 * [taylor]: Taking taylor expansion of 0 in j
8.409 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.409 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
8.409 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.409 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.410 * [taylor]: Taking taylor expansion of 27.0 in j
8.410 * [taylor]: Taking taylor expansion of (* k j) in j
8.410 * [taylor]: Taking taylor expansion of k in j
8.410 * [taylor]: Taking taylor expansion of j in j
8.412 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.412 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.412 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.412 * [taylor]: Taking taylor expansion of 27.0 in k
8.413 * [taylor]: Taking taylor expansion of (* k j) in k
8.413 * [taylor]: Taking taylor expansion of k in k
8.413 * [taylor]: Taking taylor expansion of j in k
8.415 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.415 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.415 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.415 * [taylor]: Taking taylor expansion of 27.0 in k
8.416 * [taylor]: Taking taylor expansion of (* k j) in k
8.416 * [taylor]: Taking taylor expansion of k in k
8.416 * [taylor]: Taking taylor expansion of j in k
8.418 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
8.418 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.418 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.418 * [taylor]: Taking taylor expansion of 27.0 in j
8.419 * [taylor]: Taking taylor expansion of j in j
8.423 * [taylor]: Taking taylor expansion of 0 in j
8.428 * [taylor]: Taking taylor expansion of 0 in j
8.433 * [taylor]: Taking taylor expansion of 0 in j
8.436 * * * [progress]: simplifying candidates
8.438 * [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))
8.442 * * [simplify]: iteration  0 :  154  enodes  (cost  1208 )
8.478 * * [simplify]: iteration  1 :  412  enodes  (cost  1050 )
8.606 * * [simplify]: iteration  2 :  2009  enodes  (cost  828 )
9.342 * * [simplify]: iteration  done :  5000  enodes  (cost  828 )
9.343 * [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) (* k j))
  (* (sqrt 27.0) (* k j))
  (log (* (sqrt 27.0) (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (exp (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* k j)) 3)
  (pow (* (sqrt 27.0) (* k j)) 3)
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* k j)) 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) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (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) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
9.344 * * * [progress]: adding candidates to table
9.736 * [progress]: [Phase 3 of 3] Extracting.
9.736 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
9.744 * * * [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)
9.744 * * * * [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) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
9.826 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<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) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>)
9.854 * * * * [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) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
9.927 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<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) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>)
9.956 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.015 * * * * [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) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.085 * * * * [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) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.156 * * * * [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) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.232 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.291 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.375 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.449 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.511 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.585 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.651 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.725 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.807 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.881 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.955 * * * [regime]: Found split indices: #<option (#s(si 2 7) #s(si 7 238) #s(si 2 255))>
10.958 * [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) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.958 * [regimes]: Found splitpoints: (#s(sp 2 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) #s(sp 7 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.132921524968923e+291) #s(sp 2 (- (+ (- (* (* (* (* 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) (sqrt t)) (sqrt 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))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* 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) (sqrt z)) (sqrt 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) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>)
10.959 * [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.132921524968923e+291) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))))
10.960 * * [simplify]: iteration  0 :  46  enodes  (cost  143 )
10.962 * * [simplify]: iteration  1 :  68  enodes  (cost  118 )
10.964 * * [simplify]: iteration  done :  68  enodes  (cost  118 )
10.964 * [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.132921524968923e+291))) (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)))))
13.333 * [regime-testing]: Baseline error score: 5.503658843158089
13.334 * [regime-testing]: Oracle error score: 0.03867887453716449
13.335 * [regime-testing]: End program error score: 1.0558528071850732