31.484 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.170 * * * [progress]: [2/2] Setting up program.
0.177 * [progress]: [Phase 2 of 3] Improving.
0.178 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
0.182 * * [simplify]: iteration  0 :  66  enodes  (cost  15 )
0.186 * * [simplify]: iteration  1 :  204  enodes  (cost  14 )
0.194 * * [simplify]: iteration  2 :  631  enodes  (cost  14 )
0.218 * * [simplify]: iteration  3 :  1468  enodes  (cost  14 )
0.264 * * [simplify]: iteration  4 :  2464  enodes  (cost  14 )
0.309 * * [simplify]: iteration  5 :  3909  enodes  (cost  14 )
0.362 * * [simplify]: iteration  6 :  5001  enodes  (cost  14 )
0.362 * [simplify]: Simplified to:
   (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (- (* b c) (+ (* (* x 4.0) i) (* (* j 27.0) k))))
0.368 * * [progress]: iteration 1 / 4
0.368 * * * [progress]: picking best candidate
0.372 * * * * [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)))>
0.372 * * * [progress]: localizing error
0.394 * * * [progress]: generating rewritten candidates
0.395 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
0.478 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
0.500 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1)
0.507 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.518 * * * [progress]: generating series expansions
0.518 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
0.518 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
0.518 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
0.518 * [taylor]: Taking taylor expansion of 18.0 in t
0.518 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
0.518 * [taylor]: Taking taylor expansion of t in t
0.518 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
0.518 * [taylor]: Taking taylor expansion of x in t
0.518 * [taylor]: Taking taylor expansion of (* z y) in t
0.518 * [taylor]: Taking taylor expansion of z in t
0.518 * [taylor]: Taking taylor expansion of y in t
0.518 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
0.518 * [taylor]: Taking taylor expansion of 18.0 in z
0.518 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
0.518 * [taylor]: Taking taylor expansion of t in z
0.518 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.518 * [taylor]: Taking taylor expansion of x in z
0.518 * [taylor]: Taking taylor expansion of (* z y) in z
0.518 * [taylor]: Taking taylor expansion of z in z
0.518 * [taylor]: Taking taylor expansion of y in z
0.518 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
0.518 * [taylor]: Taking taylor expansion of 18.0 in y
0.519 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
0.519 * [taylor]: Taking taylor expansion of t in y
0.519 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.519 * [taylor]: Taking taylor expansion of x in y
0.519 * [taylor]: Taking taylor expansion of (* z y) in y
0.519 * [taylor]: Taking taylor expansion of z in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.519 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
0.519 * [taylor]: Taking taylor expansion of 18.0 in x
0.519 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
0.519 * [taylor]: Taking taylor expansion of t in x
0.519 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [taylor]: Taking taylor expansion of (* z y) in x
0.519 * [taylor]: Taking taylor expansion of z in x
0.519 * [taylor]: Taking taylor expansion of y in x
0.519 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
0.519 * [taylor]: Taking taylor expansion of 18.0 in x
0.519 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
0.519 * [taylor]: Taking taylor expansion of t in x
0.519 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [taylor]: Taking taylor expansion of (* z y) in x
0.519 * [taylor]: Taking taylor expansion of z in x
0.519 * [taylor]: Taking taylor expansion of y in x
0.520 * [taylor]: Taking taylor expansion of 0 in y
0.520 * [taylor]: Taking taylor expansion of 0 in z
0.520 * [taylor]: Taking taylor expansion of 0 in t
0.521 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
0.521 * [taylor]: Taking taylor expansion of 18.0 in y
0.521 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.521 * [taylor]: Taking taylor expansion of t in y
0.521 * [taylor]: Taking taylor expansion of (* z y) in y
0.521 * [taylor]: Taking taylor expansion of z in y
0.521 * [taylor]: Taking taylor expansion of y in y
0.521 * [taylor]: Taking taylor expansion of 0 in z
0.521 * [taylor]: Taking taylor expansion of 0 in t
0.521 * [taylor]: Taking taylor expansion of 0 in z
0.521 * [taylor]: Taking taylor expansion of 0 in t
0.521 * [taylor]: Taking taylor expansion of 0 in t
0.523 * [taylor]: Taking taylor expansion of 0 in y
0.523 * [taylor]: Taking taylor expansion of 0 in z
0.523 * [taylor]: Taking taylor expansion of 0 in t
0.524 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
0.524 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
0.524 * [taylor]: Taking taylor expansion of 18.0 in t
0.524 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
0.524 * [taylor]: Taking taylor expansion of t in t
0.524 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
0.524 * [taylor]: Taking taylor expansion of x in t
0.524 * [taylor]: Taking taylor expansion of (* z y) in t
0.524 * [taylor]: Taking taylor expansion of z in t
0.524 * [taylor]: Taking taylor expansion of y in t
0.524 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
0.524 * [taylor]: Taking taylor expansion of 18.0 in z
0.524 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
0.524 * [taylor]: Taking taylor expansion of t in z
0.525 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.525 * [taylor]: Taking taylor expansion of x in z
0.525 * [taylor]: Taking taylor expansion of (* z y) in z
0.525 * [taylor]: Taking taylor expansion of z in z
0.525 * [taylor]: Taking taylor expansion of y in z
0.526 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
0.526 * [taylor]: Taking taylor expansion of 18.0 in y
0.526 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
0.526 * [taylor]: Taking taylor expansion of t in y
0.526 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.526 * [taylor]: Taking taylor expansion of x in y
0.526 * [taylor]: Taking taylor expansion of (* z y) in y
0.526 * [taylor]: Taking taylor expansion of z in y
0.526 * [taylor]: Taking taylor expansion of y in y
0.527 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
0.527 * [taylor]: Taking taylor expansion of 18.0 in x
0.527 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
0.527 * [taylor]: Taking taylor expansion of t in x
0.527 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (* z y) in x
0.527 * [taylor]: Taking taylor expansion of z in x
0.527 * [taylor]: Taking taylor expansion of y in x
0.528 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
0.528 * [taylor]: Taking taylor expansion of 18.0 in x
0.528 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
0.528 * [taylor]: Taking taylor expansion of t in x
0.528 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [taylor]: Taking taylor expansion of (* z y) in x
0.528 * [taylor]: Taking taylor expansion of z in x
0.528 * [taylor]: Taking taylor expansion of y in x
0.528 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
0.529 * [taylor]: Taking taylor expansion of 18.0 in y
0.529 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.529 * [taylor]: Taking taylor expansion of t in y
0.529 * [taylor]: Taking taylor expansion of (* z y) in y
0.529 * [taylor]: Taking taylor expansion of z in y
0.529 * [taylor]: Taking taylor expansion of y in y
0.529 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
0.529 * [taylor]: Taking taylor expansion of 18.0 in z
0.529 * [taylor]: Taking taylor expansion of (* t z) in z
0.529 * [taylor]: Taking taylor expansion of t in z
0.529 * [taylor]: Taking taylor expansion of z in z
0.530 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
0.530 * [taylor]: Taking taylor expansion of 18.0 in t
0.530 * [taylor]: Taking taylor expansion of t in t
0.531 * [taylor]: Taking taylor expansion of 0 in y
0.532 * [taylor]: Taking taylor expansion of 0 in z
0.533 * [taylor]: Taking taylor expansion of 0 in t
0.535 * [taylor]: Taking taylor expansion of 0 in y
0.535 * [taylor]: Taking taylor expansion of 0 in z
0.537 * [taylor]: Taking taylor expansion of 0 in z
0.537 * [taylor]: Taking taylor expansion of 0 in t
0.537 * [taylor]: Taking taylor expansion of 0 in t
0.541 * [taylor]: Taking taylor expansion of 0 in y
0.541 * [taylor]: Taking taylor expansion of 0 in z
0.541 * [taylor]: Taking taylor expansion of 0 in z
0.543 * [taylor]: Taking taylor expansion of 0 in z
0.543 * [taylor]: Taking taylor expansion of 0 in t
0.543 * [taylor]: Taking taylor expansion of 0 in t
0.543 * [taylor]: Taking taylor expansion of 0 in t
0.543 * [taylor]: Taking taylor expansion of 0 in t
0.544 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
0.544 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
0.544 * [taylor]: Taking taylor expansion of 18.0 in t
0.544 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
0.544 * [taylor]: Taking taylor expansion of t in t
0.544 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
0.544 * [taylor]: Taking taylor expansion of x in t
0.544 * [taylor]: Taking taylor expansion of (* z y) in t
0.544 * [taylor]: Taking taylor expansion of z in t
0.544 * [taylor]: Taking taylor expansion of y in t
0.544 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
0.544 * [taylor]: Taking taylor expansion of 18.0 in z
0.544 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
0.545 * [taylor]: Taking taylor expansion of t in z
0.545 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.545 * [taylor]: Taking taylor expansion of x in z
0.545 * [taylor]: Taking taylor expansion of (* z y) in z
0.545 * [taylor]: Taking taylor expansion of z in z
0.545 * [taylor]: Taking taylor expansion of y in z
0.545 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
0.546 * [taylor]: Taking taylor expansion of 18.0 in y
0.546 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
0.546 * [taylor]: Taking taylor expansion of t in y
0.546 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.546 * [taylor]: Taking taylor expansion of x in y
0.546 * [taylor]: Taking taylor expansion of (* z y) in y
0.546 * [taylor]: Taking taylor expansion of z in y
0.546 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
0.547 * [taylor]: Taking taylor expansion of 18.0 in x
0.547 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
0.547 * [taylor]: Taking taylor expansion of t in x
0.547 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.547 * [taylor]: Taking taylor expansion of x in x
0.547 * [taylor]: Taking taylor expansion of (* z y) in x
0.547 * [taylor]: Taking taylor expansion of z in x
0.547 * [taylor]: Taking taylor expansion of y in x
0.547 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
0.547 * [taylor]: Taking taylor expansion of 18.0 in x
0.547 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
0.547 * [taylor]: Taking taylor expansion of t in x
0.548 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.548 * [taylor]: Taking taylor expansion of (* z y) in x
0.548 * [taylor]: Taking taylor expansion of z in x
0.548 * [taylor]: Taking taylor expansion of y in x
0.548 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
0.548 * [taylor]: Taking taylor expansion of 18.0 in y
0.548 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
0.548 * [taylor]: Taking taylor expansion of t in y
0.548 * [taylor]: Taking taylor expansion of (* z y) in y
0.548 * [taylor]: Taking taylor expansion of z in y
0.548 * [taylor]: Taking taylor expansion of y in y
0.549 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
0.549 * [taylor]: Taking taylor expansion of 18.0 in z
0.549 * [taylor]: Taking taylor expansion of (* t z) in z
0.549 * [taylor]: Taking taylor expansion of t in z
0.549 * [taylor]: Taking taylor expansion of z in z
0.549 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
0.550 * [taylor]: Taking taylor expansion of 18.0 in t
0.550 * [taylor]: Taking taylor expansion of t in t
0.551 * [taylor]: Taking taylor expansion of 0 in y
0.552 * [taylor]: Taking taylor expansion of 0 in z
0.552 * [taylor]: Taking taylor expansion of 0 in t
0.555 * [taylor]: Taking taylor expansion of 0 in y
0.555 * [taylor]: Taking taylor expansion of 0 in z
0.556 * [taylor]: Taking taylor expansion of 0 in z
0.556 * [taylor]: Taking taylor expansion of 0 in t
0.557 * [taylor]: Taking taylor expansion of 0 in t
0.560 * [taylor]: Taking taylor expansion of 0 in y
0.560 * [taylor]: Taking taylor expansion of 0 in z
0.560 * [taylor]: Taking taylor expansion of 0 in z
0.562 * [taylor]: Taking taylor expansion of 0 in z
0.562 * [taylor]: Taking taylor expansion of 0 in t
0.562 * [taylor]: Taking taylor expansion of 0 in t
0.562 * [taylor]: Taking taylor expansion of 0 in t
0.563 * [taylor]: Taking taylor expansion of 0 in t
0.563 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
0.564 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
0.564 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
0.564 * [taylor]: Taking taylor expansion of 18.0 in z
0.564 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.564 * [taylor]: Taking taylor expansion of x in z
0.564 * [taylor]: Taking taylor expansion of (* z y) in z
0.564 * [taylor]: Taking taylor expansion of z in z
0.564 * [taylor]: Taking taylor expansion of y in z
0.564 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
0.564 * [taylor]: Taking taylor expansion of 18.0 in y
0.564 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.564 * [taylor]: Taking taylor expansion of x in y
0.564 * [taylor]: Taking taylor expansion of (* z y) in y
0.564 * [taylor]: Taking taylor expansion of z in y
0.564 * [taylor]: Taking taylor expansion of y in y
0.564 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
0.564 * [taylor]: Taking taylor expansion of 18.0 in x
0.564 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of (* z y) in x
0.564 * [taylor]: Taking taylor expansion of z in x
0.564 * [taylor]: Taking taylor expansion of y in x
0.564 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
0.564 * [taylor]: Taking taylor expansion of 18.0 in x
0.564 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of (* z y) in x
0.564 * [taylor]: Taking taylor expansion of z in x
0.564 * [taylor]: Taking taylor expansion of y in x
0.564 * [taylor]: Taking taylor expansion of 0 in y
0.564 * [taylor]: Taking taylor expansion of 0 in z
0.565 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
0.565 * [taylor]: Taking taylor expansion of 18.0 in y
0.565 * [taylor]: Taking taylor expansion of (* z y) in y
0.565 * [taylor]: Taking taylor expansion of z in y
0.565 * [taylor]: Taking taylor expansion of y in y
0.566 * [taylor]: Taking taylor expansion of 0 in z
0.566 * [taylor]: Taking taylor expansion of 0 in z
0.567 * [taylor]: Taking taylor expansion of 0 in y
0.567 * [taylor]: Taking taylor expansion of 0 in z
0.567 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
0.568 * [taylor]: Taking taylor expansion of 18.0 in z
0.568 * [taylor]: Taking taylor expansion of z in z
0.568 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
0.568 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
0.568 * [taylor]: Taking taylor expansion of 18.0 in z
0.568 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.568 * [taylor]: Taking taylor expansion of x in z
0.568 * [taylor]: Taking taylor expansion of (* z y) in z
0.568 * [taylor]: Taking taylor expansion of z in z
0.568 * [taylor]: Taking taylor expansion of y in z
0.569 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
0.569 * [taylor]: Taking taylor expansion of 18.0 in y
0.569 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.569 * [taylor]: Taking taylor expansion of x in y
0.569 * [taylor]: Taking taylor expansion of (* z y) in y
0.569 * [taylor]: Taking taylor expansion of z in y
0.569 * [taylor]: Taking taylor expansion of y in y
0.569 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
0.569 * [taylor]: Taking taylor expansion of 18.0 in x
0.570 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.570 * [taylor]: Taking taylor expansion of (* z y) in x
0.570 * [taylor]: Taking taylor expansion of z in x
0.570 * [taylor]: Taking taylor expansion of y in x
0.570 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
0.570 * [taylor]: Taking taylor expansion of 18.0 in x
0.570 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.570 * [taylor]: Taking taylor expansion of (* z y) in x
0.570 * [taylor]: Taking taylor expansion of z in x
0.570 * [taylor]: Taking taylor expansion of y in x
0.571 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
0.571 * [taylor]: Taking taylor expansion of 18.0 in y
0.571 * [taylor]: Taking taylor expansion of (* z y) in y
0.571 * [taylor]: Taking taylor expansion of z in y
0.571 * [taylor]: Taking taylor expansion of y in y
0.571 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
0.571 * [taylor]: Taking taylor expansion of 18.0 in z
0.571 * [taylor]: Taking taylor expansion of z in z
0.572 * [taylor]: Taking taylor expansion of 0 in y
0.573 * [taylor]: Taking taylor expansion of 0 in z
0.575 * [taylor]: Taking taylor expansion of 0 in y
0.575 * [taylor]: Taking taylor expansion of 0 in z
0.575 * [taylor]: Taking taylor expansion of 0 in z
0.578 * [taylor]: Taking taylor expansion of 0 in y
0.578 * [taylor]: Taking taylor expansion of 0 in z
0.578 * [taylor]: Taking taylor expansion of 0 in z
0.579 * [taylor]: Taking taylor expansion of 0 in z
0.579 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
0.579 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
0.579 * [taylor]: Taking taylor expansion of -18.0 in z
0.579 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.579 * [taylor]: Taking taylor expansion of x in z
0.579 * [taylor]: Taking taylor expansion of (* z y) in z
0.579 * [taylor]: Taking taylor expansion of z in z
0.579 * [taylor]: Taking taylor expansion of y in z
0.580 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
0.580 * [taylor]: Taking taylor expansion of -18.0 in y
0.580 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.580 * [taylor]: Taking taylor expansion of x in y
0.580 * [taylor]: Taking taylor expansion of (* z y) in y
0.580 * [taylor]: Taking taylor expansion of z in y
0.580 * [taylor]: Taking taylor expansion of y in y
0.580 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
0.581 * [taylor]: Taking taylor expansion of -18.0 in x
0.581 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.581 * [taylor]: Taking taylor expansion of x in x
0.581 * [taylor]: Taking taylor expansion of (* z y) in x
0.581 * [taylor]: Taking taylor expansion of z in x
0.581 * [taylor]: Taking taylor expansion of y in x
0.581 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
0.581 * [taylor]: Taking taylor expansion of -18.0 in x
0.581 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.581 * [taylor]: Taking taylor expansion of x in x
0.581 * [taylor]: Taking taylor expansion of (* z y) in x
0.581 * [taylor]: Taking taylor expansion of z in x
0.581 * [taylor]: Taking taylor expansion of y in x
0.582 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
0.582 * [taylor]: Taking taylor expansion of -18.0 in y
0.582 * [taylor]: Taking taylor expansion of (* z y) in y
0.582 * [taylor]: Taking taylor expansion of z in y
0.582 * [taylor]: Taking taylor expansion of y in y
0.582 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
0.582 * [taylor]: Taking taylor expansion of -18.0 in z
0.582 * [taylor]: Taking taylor expansion of z in z
0.583 * [taylor]: Taking taylor expansion of 0 in y
0.584 * [taylor]: Taking taylor expansion of 0 in z
0.586 * [taylor]: Taking taylor expansion of 0 in y
0.586 * [taylor]: Taking taylor expansion of 0 in z
0.586 * [taylor]: Taking taylor expansion of 0 in z
0.589 * [taylor]: Taking taylor expansion of 0 in y
0.589 * [taylor]: Taking taylor expansion of 0 in z
0.589 * [taylor]: Taking taylor expansion of 0 in z
0.590 * [taylor]: Taking taylor expansion of 0 in z
0.590 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1)
0.590 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
0.590 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
0.590 * [taylor]: Taking taylor expansion of 18.0 in y
0.590 * [taylor]: Taking taylor expansion of (* x y) in y
0.590 * [taylor]: Taking taylor expansion of x in y
0.590 * [taylor]: Taking taylor expansion of y in y
0.590 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
0.590 * [taylor]: Taking taylor expansion of 18.0 in x
0.590 * [taylor]: Taking taylor expansion of (* x y) in x
0.590 * [taylor]: Taking taylor expansion of x in x
0.590 * [taylor]: Taking taylor expansion of y in x
0.590 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
0.590 * [taylor]: Taking taylor expansion of 18.0 in x
0.590 * [taylor]: Taking taylor expansion of (* x y) in x
0.590 * [taylor]: Taking taylor expansion of x in x
0.590 * [taylor]: Taking taylor expansion of y in x
0.590 * [taylor]: Taking taylor expansion of 0 in y
0.591 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
0.591 * [taylor]: Taking taylor expansion of 18.0 in y
0.591 * [taylor]: Taking taylor expansion of y in y
0.592 * [taylor]: Taking taylor expansion of 0 in y
0.595 * [taylor]: Taking taylor expansion of 0 in y
0.597 * [taylor]: Taking taylor expansion of 0 in y
0.597 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
0.597 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
0.597 * [taylor]: Taking taylor expansion of 18.0 in y
0.597 * [taylor]: Taking taylor expansion of (* x y) in y
0.598 * [taylor]: Taking taylor expansion of x in y
0.598 * [taylor]: Taking taylor expansion of y in y
0.598 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
0.598 * [taylor]: Taking taylor expansion of 18.0 in x
0.598 * [taylor]: Taking taylor expansion of (* x y) in x
0.598 * [taylor]: Taking taylor expansion of x in x
0.598 * [taylor]: Taking taylor expansion of y in x
0.598 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
0.598 * [taylor]: Taking taylor expansion of 18.0 in x
0.598 * [taylor]: Taking taylor expansion of (* x y) in x
0.598 * [taylor]: Taking taylor expansion of x in x
0.598 * [taylor]: Taking taylor expansion of y in x
0.599 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
0.599 * [taylor]: Taking taylor expansion of 18.0 in y
0.599 * [taylor]: Taking taylor expansion of y in y
0.600 * [taylor]: Taking taylor expansion of 0 in y
0.605 * [taylor]: Taking taylor expansion of 0 in y
0.607 * [taylor]: Taking taylor expansion of 0 in y
0.608 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
0.608 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
0.608 * [taylor]: Taking taylor expansion of 18.0 in y
0.608 * [taylor]: Taking taylor expansion of (* x y) in y
0.608 * [taylor]: Taking taylor expansion of x in y
0.608 * [taylor]: Taking taylor expansion of y in y
0.609 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
0.609 * [taylor]: Taking taylor expansion of 18.0 in x
0.609 * [taylor]: Taking taylor expansion of (* x y) in x
0.609 * [taylor]: Taking taylor expansion of x in x
0.609 * [taylor]: Taking taylor expansion of y in x
0.609 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
0.609 * [taylor]: Taking taylor expansion of 18.0 in x
0.609 * [taylor]: Taking taylor expansion of (* x y) in x
0.609 * [taylor]: Taking taylor expansion of x in x
0.609 * [taylor]: Taking taylor expansion of y in x
0.609 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
0.609 * [taylor]: Taking taylor expansion of 18.0 in y
0.609 * [taylor]: Taking taylor expansion of y in y
0.610 * [taylor]: Taking taylor expansion of 0 in y
0.612 * [taylor]: Taking taylor expansion of 0 in y
0.613 * [taylor]: Taking taylor expansion of 0 in y
0.614 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.614 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
0.614 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
0.614 * [taylor]: Taking taylor expansion of 27.0 in k
0.614 * [taylor]: Taking taylor expansion of (* k j) in k
0.614 * [taylor]: Taking taylor expansion of k in k
0.614 * [taylor]: Taking taylor expansion of j in k
0.614 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
0.614 * [taylor]: Taking taylor expansion of 27.0 in j
0.614 * [taylor]: Taking taylor expansion of (* k j) in j
0.614 * [taylor]: Taking taylor expansion of k in j
0.614 * [taylor]: Taking taylor expansion of j in j
0.614 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
0.614 * [taylor]: Taking taylor expansion of 27.0 in j
0.614 * [taylor]: Taking taylor expansion of (* k j) in j
0.614 * [taylor]: Taking taylor expansion of k in j
0.614 * [taylor]: Taking taylor expansion of j in j
0.615 * [taylor]: Taking taylor expansion of 0 in k
0.615 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
0.615 * [taylor]: Taking taylor expansion of 27.0 in k
0.615 * [taylor]: Taking taylor expansion of k in k
0.617 * [taylor]: Taking taylor expansion of 0 in k
0.619 * [taylor]: Taking taylor expansion of 0 in k
0.621 * [taylor]: Taking taylor expansion of 0 in k
0.621 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
0.621 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
0.621 * [taylor]: Taking taylor expansion of 27.0 in k
0.621 * [taylor]: Taking taylor expansion of (* k j) in k
0.621 * [taylor]: Taking taylor expansion of k in k
0.621 * [taylor]: Taking taylor expansion of j in k
0.621 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
0.621 * [taylor]: Taking taylor expansion of 27.0 in j
0.621 * [taylor]: Taking taylor expansion of (* k j) in j
0.621 * [taylor]: Taking taylor expansion of k in j
0.621 * [taylor]: Taking taylor expansion of j in j
0.622 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
0.622 * [taylor]: Taking taylor expansion of 27.0 in j
0.622 * [taylor]: Taking taylor expansion of (* k j) in j
0.622 * [taylor]: Taking taylor expansion of k in j
0.622 * [taylor]: Taking taylor expansion of j in j
0.622 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
0.622 * [taylor]: Taking taylor expansion of 27.0 in k
0.622 * [taylor]: Taking taylor expansion of k in k
0.623 * [taylor]: Taking taylor expansion of 0 in k
0.624 * [taylor]: Taking taylor expansion of 0 in k
0.625 * [taylor]: Taking taylor expansion of 0 in k
0.626 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
0.626 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
0.626 * [taylor]: Taking taylor expansion of 27.0 in k
0.626 * [taylor]: Taking taylor expansion of (* k j) in k
0.626 * [taylor]: Taking taylor expansion of k in k
0.626 * [taylor]: Taking taylor expansion of j in k
0.627 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
0.627 * [taylor]: Taking taylor expansion of 27.0 in j
0.627 * [taylor]: Taking taylor expansion of (* k j) in j
0.627 * [taylor]: Taking taylor expansion of k in j
0.627 * [taylor]: Taking taylor expansion of j in j
0.627 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
0.627 * [taylor]: Taking taylor expansion of 27.0 in j
0.627 * [taylor]: Taking taylor expansion of (* k j) in j
0.627 * [taylor]: Taking taylor expansion of k in j
0.627 * [taylor]: Taking taylor expansion of j in j
0.627 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
0.627 * [taylor]: Taking taylor expansion of 27.0 in k
0.627 * [taylor]: Taking taylor expansion of k in k
0.628 * [taylor]: Taking taylor expansion of 0 in k
0.629 * [taylor]: Taking taylor expansion of 0 in k
0.630 * [taylor]: Taking taylor expansion of 0 in k
0.631 * * * [progress]: simplifying candidates
0.632 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (* (* 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)
  (* (* (* 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)
  (* (* 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)
  (* (* 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)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
0.637 * * [simplify]: iteration  0 :  360  enodes  (cost  423 )
0.646 * * [simplify]: iteration  1 :  2141  enodes  (cost  320 )
0.694 * * [simplify]: iteration  2 :  5001  enodes  (cost  320 )
0.696 * [simplify]: Simplified to:
   (* (* (* (* 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)
  (* (* (* 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)
  (* (* 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)
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (pow (* (* j 27.0) k) 3)
  (pow (* (* j 27.0) k) 3)
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (pow (* (* j 27.0) k) 3)
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* j 27.0)
  (* 27.0 k)
  0
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (* (* j 27.0) k)
0.697 * * * [progress]: adding candidates to table
1.128 * * [progress]: iteration 2 / 4
1.128 * * * [progress]: picking best candidate
1.161 * * * * [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))))>
1.161 * * * [progress]: localizing error
1.181 * * * [progress]: generating rewritten candidates
1.181 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
1.263 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
1.285 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1)
1.292 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.301 * * * [progress]: generating series expansions
1.301 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
1.301 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
1.301 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
1.301 * [taylor]: Taking taylor expansion of 18.0 in t
1.301 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
1.301 * [taylor]: Taking taylor expansion of t in t
1.301 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.301 * [taylor]: Taking taylor expansion of x in t
1.301 * [taylor]: Taking taylor expansion of (* z y) in t
1.301 * [taylor]: Taking taylor expansion of z in t
1.301 * [taylor]: Taking taylor expansion of y in t
1.301 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
1.301 * [taylor]: Taking taylor expansion of 18.0 in z
1.301 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
1.301 * [taylor]: Taking taylor expansion of t in z
1.301 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.301 * [taylor]: Taking taylor expansion of x in z
1.301 * [taylor]: Taking taylor expansion of (* z y) in z
1.301 * [taylor]: Taking taylor expansion of z in z
1.301 * [taylor]: Taking taylor expansion of y in z
1.301 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
1.301 * [taylor]: Taking taylor expansion of 18.0 in y
1.301 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
1.301 * [taylor]: Taking taylor expansion of t in y
1.301 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.301 * [taylor]: Taking taylor expansion of x in y
1.301 * [taylor]: Taking taylor expansion of (* z y) in y
1.301 * [taylor]: Taking taylor expansion of z in y
1.301 * [taylor]: Taking taylor expansion of y in y
1.301 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
1.301 * [taylor]: Taking taylor expansion of 18.0 in x
1.301 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.301 * [taylor]: Taking taylor expansion of t in x
1.301 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.301 * [taylor]: Taking taylor expansion of x in x
1.301 * [taylor]: Taking taylor expansion of (* z y) in x
1.301 * [taylor]: Taking taylor expansion of z in x
1.301 * [taylor]: Taking taylor expansion of y in x
1.301 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
1.301 * [taylor]: Taking taylor expansion of 18.0 in x
1.302 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.302 * [taylor]: Taking taylor expansion of t in x
1.302 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.302 * [taylor]: Taking taylor expansion of x in x
1.302 * [taylor]: Taking taylor expansion of (* z y) in x
1.302 * [taylor]: Taking taylor expansion of z in x
1.302 * [taylor]: Taking taylor expansion of y in x
1.302 * [taylor]: Taking taylor expansion of 0 in y
1.302 * [taylor]: Taking taylor expansion of 0 in z
1.302 * [taylor]: Taking taylor expansion of 0 in t
1.303 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
1.303 * [taylor]: Taking taylor expansion of 18.0 in y
1.303 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.303 * [taylor]: Taking taylor expansion of t in y
1.303 * [taylor]: Taking taylor expansion of (* z y) in y
1.303 * [taylor]: Taking taylor expansion of z in y
1.303 * [taylor]: Taking taylor expansion of y in y
1.304 * [taylor]: Taking taylor expansion of 0 in z
1.304 * [taylor]: Taking taylor expansion of 0 in t
1.304 * [taylor]: Taking taylor expansion of 0 in z
1.304 * [taylor]: Taking taylor expansion of 0 in t
1.304 * [taylor]: Taking taylor expansion of 0 in t
1.305 * [taylor]: Taking taylor expansion of 0 in y
1.305 * [taylor]: Taking taylor expansion of 0 in z
1.305 * [taylor]: Taking taylor expansion of 0 in t
1.306 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
1.306 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
1.306 * [taylor]: Taking taylor expansion of 18.0 in t
1.306 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
1.306 * [taylor]: Taking taylor expansion of t in t
1.306 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.306 * [taylor]: Taking taylor expansion of x in t
1.306 * [taylor]: Taking taylor expansion of (* z y) in t
1.306 * [taylor]: Taking taylor expansion of z in t
1.306 * [taylor]: Taking taylor expansion of y in t
1.306 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
1.306 * [taylor]: Taking taylor expansion of 18.0 in z
1.306 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
1.306 * [taylor]: Taking taylor expansion of t in z
1.306 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.306 * [taylor]: Taking taylor expansion of x in z
1.306 * [taylor]: Taking taylor expansion of (* z y) in z
1.306 * [taylor]: Taking taylor expansion of z in z
1.307 * [taylor]: Taking taylor expansion of y in z
1.307 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
1.307 * [taylor]: Taking taylor expansion of 18.0 in y
1.307 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
1.307 * [taylor]: Taking taylor expansion of t in y
1.307 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.308 * [taylor]: Taking taylor expansion of x in y
1.308 * [taylor]: Taking taylor expansion of (* z y) in y
1.308 * [taylor]: Taking taylor expansion of z in y
1.308 * [taylor]: Taking taylor expansion of y in y
1.308 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
1.308 * [taylor]: Taking taylor expansion of 18.0 in x
1.309 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.309 * [taylor]: Taking taylor expansion of t in x
1.309 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.309 * [taylor]: Taking taylor expansion of x in x
1.309 * [taylor]: Taking taylor expansion of (* z y) in x
1.309 * [taylor]: Taking taylor expansion of z in x
1.309 * [taylor]: Taking taylor expansion of y in x
1.309 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
1.309 * [taylor]: Taking taylor expansion of 18.0 in x
1.309 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.309 * [taylor]: Taking taylor expansion of t in x
1.309 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.309 * [taylor]: Taking taylor expansion of x in x
1.309 * [taylor]: Taking taylor expansion of (* z y) in x
1.309 * [taylor]: Taking taylor expansion of z in x
1.309 * [taylor]: Taking taylor expansion of y in x
1.310 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
1.310 * [taylor]: Taking taylor expansion of 18.0 in y
1.310 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.310 * [taylor]: Taking taylor expansion of t in y
1.310 * [taylor]: Taking taylor expansion of (* z y) in y
1.310 * [taylor]: Taking taylor expansion of z in y
1.310 * [taylor]: Taking taylor expansion of y in y
1.311 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
1.311 * [taylor]: Taking taylor expansion of 18.0 in z
1.311 * [taylor]: Taking taylor expansion of (* t z) in z
1.311 * [taylor]: Taking taylor expansion of t in z
1.311 * [taylor]: Taking taylor expansion of z in z
1.312 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
1.312 * [taylor]: Taking taylor expansion of 18.0 in t
1.312 * [taylor]: Taking taylor expansion of t in t
1.313 * [taylor]: Taking taylor expansion of 0 in y
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [taylor]: Taking taylor expansion of 0 in t
1.317 * [taylor]: Taking taylor expansion of 0 in y
1.317 * [taylor]: Taking taylor expansion of 0 in z
1.318 * [taylor]: Taking taylor expansion of 0 in z
1.318 * [taylor]: Taking taylor expansion of 0 in t
1.319 * [taylor]: Taking taylor expansion of 0 in t
1.322 * [taylor]: Taking taylor expansion of 0 in y
1.322 * [taylor]: Taking taylor expansion of 0 in z
1.322 * [taylor]: Taking taylor expansion of 0 in z
1.324 * [taylor]: Taking taylor expansion of 0 in z
1.324 * [taylor]: Taking taylor expansion of 0 in t
1.324 * [taylor]: Taking taylor expansion of 0 in t
1.324 * [taylor]: Taking taylor expansion of 0 in t
1.324 * [taylor]: Taking taylor expansion of 0 in t
1.325 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
1.325 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
1.325 * [taylor]: Taking taylor expansion of 18.0 in t
1.325 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
1.325 * [taylor]: Taking taylor expansion of t in t
1.325 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.325 * [taylor]: Taking taylor expansion of x in t
1.325 * [taylor]: Taking taylor expansion of (* z y) in t
1.325 * [taylor]: Taking taylor expansion of z in t
1.325 * [taylor]: Taking taylor expansion of y in t
1.325 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
1.326 * [taylor]: Taking taylor expansion of 18.0 in z
1.326 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
1.326 * [taylor]: Taking taylor expansion of t in z
1.326 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.326 * [taylor]: Taking taylor expansion of x in z
1.326 * [taylor]: Taking taylor expansion of (* z y) in z
1.326 * [taylor]: Taking taylor expansion of z in z
1.326 * [taylor]: Taking taylor expansion of y in z
1.327 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
1.327 * [taylor]: Taking taylor expansion of 18.0 in y
1.327 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
1.327 * [taylor]: Taking taylor expansion of t in y
1.327 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.327 * [taylor]: Taking taylor expansion of x in y
1.327 * [taylor]: Taking taylor expansion of (* z y) in y
1.327 * [taylor]: Taking taylor expansion of z in y
1.327 * [taylor]: Taking taylor expansion of y in y
1.328 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
1.328 * [taylor]: Taking taylor expansion of 18.0 in x
1.328 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.328 * [taylor]: Taking taylor expansion of t in x
1.328 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.328 * [taylor]: Taking taylor expansion of x in x
1.328 * [taylor]: Taking taylor expansion of (* z y) in x
1.328 * [taylor]: Taking taylor expansion of z in x
1.328 * [taylor]: Taking taylor expansion of y in x
1.328 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
1.328 * [taylor]: Taking taylor expansion of 18.0 in x
1.328 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.328 * [taylor]: Taking taylor expansion of t in x
1.328 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.329 * [taylor]: Taking taylor expansion of x in x
1.329 * [taylor]: Taking taylor expansion of (* z y) in x
1.329 * [taylor]: Taking taylor expansion of z in x
1.329 * [taylor]: Taking taylor expansion of y in x
1.329 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
1.329 * [taylor]: Taking taylor expansion of 18.0 in y
1.329 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
1.329 * [taylor]: Taking taylor expansion of t in y
1.329 * [taylor]: Taking taylor expansion of (* z y) in y
1.329 * [taylor]: Taking taylor expansion of z in y
1.329 * [taylor]: Taking taylor expansion of y in y
1.330 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
1.330 * [taylor]: Taking taylor expansion of 18.0 in z
1.330 * [taylor]: Taking taylor expansion of (* t z) in z
1.330 * [taylor]: Taking taylor expansion of t in z
1.330 * [taylor]: Taking taylor expansion of z in z
1.330 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
1.330 * [taylor]: Taking taylor expansion of 18.0 in t
1.330 * [taylor]: Taking taylor expansion of t in t
1.332 * [taylor]: Taking taylor expansion of 0 in y
1.333 * [taylor]: Taking taylor expansion of 0 in z
1.334 * [taylor]: Taking taylor expansion of 0 in t
1.339 * [taylor]: Taking taylor expansion of 0 in y
1.339 * [taylor]: Taking taylor expansion of 0 in z
1.340 * [taylor]: Taking taylor expansion of 0 in z
1.340 * [taylor]: Taking taylor expansion of 0 in t
1.341 * [taylor]: Taking taylor expansion of 0 in t
1.345 * [taylor]: Taking taylor expansion of 0 in y
1.345 * [taylor]: Taking taylor expansion of 0 in z
1.345 * [taylor]: Taking taylor expansion of 0 in z
1.347 * [taylor]: Taking taylor expansion of 0 in z
1.347 * [taylor]: Taking taylor expansion of 0 in t
1.347 * [taylor]: Taking taylor expansion of 0 in t
1.347 * [taylor]: Taking taylor expansion of 0 in t
1.347 * [taylor]: Taking taylor expansion of 0 in t
1.348 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
1.348 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
1.348 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
1.348 * [taylor]: Taking taylor expansion of 18.0 in z
1.348 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.348 * [taylor]: Taking taylor expansion of x in z
1.348 * [taylor]: Taking taylor expansion of (* z y) in z
1.348 * [taylor]: Taking taylor expansion of z in z
1.348 * [taylor]: Taking taylor expansion of y in z
1.348 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
1.348 * [taylor]: Taking taylor expansion of 18.0 in y
1.348 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.348 * [taylor]: Taking taylor expansion of x in y
1.348 * [taylor]: Taking taylor expansion of (* z y) in y
1.348 * [taylor]: Taking taylor expansion of z in y
1.348 * [taylor]: Taking taylor expansion of y in y
1.348 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
1.348 * [taylor]: Taking taylor expansion of 18.0 in x
1.348 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.348 * [taylor]: Taking taylor expansion of x in x
1.348 * [taylor]: Taking taylor expansion of (* z y) in x
1.348 * [taylor]: Taking taylor expansion of z in x
1.348 * [taylor]: Taking taylor expansion of y in x
1.348 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
1.348 * [taylor]: Taking taylor expansion of 18.0 in x
1.348 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.348 * [taylor]: Taking taylor expansion of x in x
1.348 * [taylor]: Taking taylor expansion of (* z y) in x
1.348 * [taylor]: Taking taylor expansion of z in x
1.348 * [taylor]: Taking taylor expansion of y in x
1.349 * [taylor]: Taking taylor expansion of 0 in y
1.349 * [taylor]: Taking taylor expansion of 0 in z
1.349 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
1.349 * [taylor]: Taking taylor expansion of 18.0 in y
1.349 * [taylor]: Taking taylor expansion of (* z y) in y
1.349 * [taylor]: Taking taylor expansion of z in y
1.349 * [taylor]: Taking taylor expansion of y in y
1.350 * [taylor]: Taking taylor expansion of 0 in z
1.350 * [taylor]: Taking taylor expansion of 0 in z
1.351 * [taylor]: Taking taylor expansion of 0 in y
1.351 * [taylor]: Taking taylor expansion of 0 in z
1.352 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
1.352 * [taylor]: Taking taylor expansion of 18.0 in z
1.352 * [taylor]: Taking taylor expansion of z in z
1.352 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
1.352 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
1.352 * [taylor]: Taking taylor expansion of 18.0 in z
1.352 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.352 * [taylor]: Taking taylor expansion of x in z
1.352 * [taylor]: Taking taylor expansion of (* z y) in z
1.352 * [taylor]: Taking taylor expansion of z in z
1.352 * [taylor]: Taking taylor expansion of y in z
1.353 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
1.353 * [taylor]: Taking taylor expansion of 18.0 in y
1.353 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.353 * [taylor]: Taking taylor expansion of x in y
1.353 * [taylor]: Taking taylor expansion of (* z y) in y
1.353 * [taylor]: Taking taylor expansion of z in y
1.353 * [taylor]: Taking taylor expansion of y in y
1.354 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
1.354 * [taylor]: Taking taylor expansion of 18.0 in x
1.354 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.354 * [taylor]: Taking taylor expansion of x in x
1.354 * [taylor]: Taking taylor expansion of (* z y) in x
1.354 * [taylor]: Taking taylor expansion of z in x
1.354 * [taylor]: Taking taylor expansion of y in x
1.354 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
1.354 * [taylor]: Taking taylor expansion of 18.0 in x
1.354 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.354 * [taylor]: Taking taylor expansion of x in x
1.354 * [taylor]: Taking taylor expansion of (* z y) in x
1.354 * [taylor]: Taking taylor expansion of z in x
1.354 * [taylor]: Taking taylor expansion of y in x
1.355 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
1.355 * [taylor]: Taking taylor expansion of 18.0 in y
1.355 * [taylor]: Taking taylor expansion of (* z y) in y
1.355 * [taylor]: Taking taylor expansion of z in y
1.355 * [taylor]: Taking taylor expansion of y in y
1.355 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
1.355 * [taylor]: Taking taylor expansion of 18.0 in z
1.355 * [taylor]: Taking taylor expansion of z in z
1.356 * [taylor]: Taking taylor expansion of 0 in y
1.357 * [taylor]: Taking taylor expansion of 0 in z
1.359 * [taylor]: Taking taylor expansion of 0 in y
1.359 * [taylor]: Taking taylor expansion of 0 in z
1.359 * [taylor]: Taking taylor expansion of 0 in z
1.362 * [taylor]: Taking taylor expansion of 0 in y
1.362 * [taylor]: Taking taylor expansion of 0 in z
1.362 * [taylor]: Taking taylor expansion of 0 in z
1.363 * [taylor]: Taking taylor expansion of 0 in z
1.363 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
1.363 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
1.363 * [taylor]: Taking taylor expansion of -18.0 in z
1.363 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.363 * [taylor]: Taking taylor expansion of x in z
1.363 * [taylor]: Taking taylor expansion of (* z y) in z
1.363 * [taylor]: Taking taylor expansion of z in z
1.363 * [taylor]: Taking taylor expansion of y in z
1.364 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
1.364 * [taylor]: Taking taylor expansion of -18.0 in y
1.364 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.364 * [taylor]: Taking taylor expansion of x in y
1.364 * [taylor]: Taking taylor expansion of (* z y) in y
1.364 * [taylor]: Taking taylor expansion of z in y
1.364 * [taylor]: Taking taylor expansion of y in y
1.364 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
1.364 * [taylor]: Taking taylor expansion of -18.0 in x
1.364 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.364 * [taylor]: Taking taylor expansion of x in x
1.364 * [taylor]: Taking taylor expansion of (* z y) in x
1.364 * [taylor]: Taking taylor expansion of z in x
1.364 * [taylor]: Taking taylor expansion of y in x
1.365 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
1.365 * [taylor]: Taking taylor expansion of -18.0 in x
1.365 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.365 * [taylor]: Taking taylor expansion of x in x
1.365 * [taylor]: Taking taylor expansion of (* z y) in x
1.365 * [taylor]: Taking taylor expansion of z in x
1.365 * [taylor]: Taking taylor expansion of y in x
1.365 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
1.365 * [taylor]: Taking taylor expansion of -18.0 in y
1.365 * [taylor]: Taking taylor expansion of (* z y) in y
1.365 * [taylor]: Taking taylor expansion of z in y
1.365 * [taylor]: Taking taylor expansion of y in y
1.366 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
1.366 * [taylor]: Taking taylor expansion of -18.0 in z
1.366 * [taylor]: Taking taylor expansion of z in z
1.367 * [taylor]: Taking taylor expansion of 0 in y
1.368 * [taylor]: Taking taylor expansion of 0 in z
1.369 * [taylor]: Taking taylor expansion of 0 in y
1.369 * [taylor]: Taking taylor expansion of 0 in z
1.370 * [taylor]: Taking taylor expansion of 0 in z
1.373 * [taylor]: Taking taylor expansion of 0 in y
1.373 * [taylor]: Taking taylor expansion of 0 in z
1.373 * [taylor]: Taking taylor expansion of 0 in z
1.373 * [taylor]: Taking taylor expansion of 0 in z
1.374 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1)
1.374 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
1.375 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
1.375 * [taylor]: Taking taylor expansion of 18.0 in y
1.375 * [taylor]: Taking taylor expansion of (* x y) in y
1.375 * [taylor]: Taking taylor expansion of x in y
1.375 * [taylor]: Taking taylor expansion of y in y
1.375 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
1.375 * [taylor]: Taking taylor expansion of 18.0 in x
1.375 * [taylor]: Taking taylor expansion of (* x y) in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [taylor]: Taking taylor expansion of y in x
1.375 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
1.375 * [taylor]: Taking taylor expansion of 18.0 in x
1.375 * [taylor]: Taking taylor expansion of (* x y) in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [taylor]: Taking taylor expansion of y in x
1.375 * [taylor]: Taking taylor expansion of 0 in y
1.376 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
1.376 * [taylor]: Taking taylor expansion of 18.0 in y
1.376 * [taylor]: Taking taylor expansion of y in y
1.377 * [taylor]: Taking taylor expansion of 0 in y
1.380 * [taylor]: Taking taylor expansion of 0 in y
1.382 * [taylor]: Taking taylor expansion of 0 in y
1.383 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
1.383 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
1.383 * [taylor]: Taking taylor expansion of 18.0 in y
1.383 * [taylor]: Taking taylor expansion of (* x y) in y
1.383 * [taylor]: Taking taylor expansion of x in y
1.383 * [taylor]: Taking taylor expansion of y in y
1.383 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
1.383 * [taylor]: Taking taylor expansion of 18.0 in x
1.383 * [taylor]: Taking taylor expansion of (* x y) in x
1.383 * [taylor]: Taking taylor expansion of x in x
1.383 * [taylor]: Taking taylor expansion of y in x
1.383 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
1.383 * [taylor]: Taking taylor expansion of 18.0 in x
1.384 * [taylor]: Taking taylor expansion of (* x y) in x
1.384 * [taylor]: Taking taylor expansion of x in x
1.384 * [taylor]: Taking taylor expansion of y in x
1.384 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
1.384 * [taylor]: Taking taylor expansion of 18.0 in y
1.384 * [taylor]: Taking taylor expansion of y in y
1.385 * [taylor]: Taking taylor expansion of 0 in y
1.386 * [taylor]: Taking taylor expansion of 0 in y
1.388 * [taylor]: Taking taylor expansion of 0 in y
1.389 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
1.389 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
1.389 * [taylor]: Taking taylor expansion of 18.0 in y
1.389 * [taylor]: Taking taylor expansion of (* x y) in y
1.389 * [taylor]: Taking taylor expansion of x in y
1.389 * [taylor]: Taking taylor expansion of y in y
1.389 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
1.389 * [taylor]: Taking taylor expansion of 18.0 in x
1.389 * [taylor]: Taking taylor expansion of (* x y) in x
1.389 * [taylor]: Taking taylor expansion of x in x
1.389 * [taylor]: Taking taylor expansion of y in x
1.390 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
1.390 * [taylor]: Taking taylor expansion of 18.0 in x
1.390 * [taylor]: Taking taylor expansion of (* x y) in x
1.390 * [taylor]: Taking taylor expansion of x in x
1.390 * [taylor]: Taking taylor expansion of y in x
1.390 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
1.390 * [taylor]: Taking taylor expansion of 18.0 in y
1.390 * [taylor]: Taking taylor expansion of y in y
1.391 * [taylor]: Taking taylor expansion of 0 in y
1.392 * [taylor]: Taking taylor expansion of 0 in y
1.394 * [taylor]: Taking taylor expansion of 0 in y
1.395 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.395 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
1.395 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
1.395 * [taylor]: Taking taylor expansion of 27.0 in k
1.395 * [taylor]: Taking taylor expansion of (* k j) in k
1.395 * [taylor]: Taking taylor expansion of k in k
1.395 * [taylor]: Taking taylor expansion of j in k
1.395 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
1.395 * [taylor]: Taking taylor expansion of 27.0 in j
1.395 * [taylor]: Taking taylor expansion of (* k j) in j
1.395 * [taylor]: Taking taylor expansion of k in j
1.395 * [taylor]: Taking taylor expansion of j in j
1.395 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
1.395 * [taylor]: Taking taylor expansion of 27.0 in j
1.395 * [taylor]: Taking taylor expansion of (* k j) in j
1.395 * [taylor]: Taking taylor expansion of k in j
1.395 * [taylor]: Taking taylor expansion of j in j
1.395 * [taylor]: Taking taylor expansion of 0 in k
1.396 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
1.396 * [taylor]: Taking taylor expansion of 27.0 in k
1.396 * [taylor]: Taking taylor expansion of k in k
1.397 * [taylor]: Taking taylor expansion of 0 in k
1.399 * [taylor]: Taking taylor expansion of 0 in k
1.401 * [taylor]: Taking taylor expansion of 0 in k
1.402 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
1.402 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
1.402 * [taylor]: Taking taylor expansion of 27.0 in k
1.402 * [taylor]: Taking taylor expansion of (* k j) in k
1.402 * [taylor]: Taking taylor expansion of k in k
1.402 * [taylor]: Taking taylor expansion of j in k
1.402 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
1.402 * [taylor]: Taking taylor expansion of 27.0 in j
1.402 * [taylor]: Taking taylor expansion of (* k j) in j
1.402 * [taylor]: Taking taylor expansion of k in j
1.402 * [taylor]: Taking taylor expansion of j in j
1.402 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
1.402 * [taylor]: Taking taylor expansion of 27.0 in j
1.402 * [taylor]: Taking taylor expansion of (* k j) in j
1.402 * [taylor]: Taking taylor expansion of k in j
1.403 * [taylor]: Taking taylor expansion of j in j
1.403 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
1.403 * [taylor]: Taking taylor expansion of 27.0 in k
1.403 * [taylor]: Taking taylor expansion of k in k
1.404 * [taylor]: Taking taylor expansion of 0 in k
1.405 * [taylor]: Taking taylor expansion of 0 in k
1.406 * [taylor]: Taking taylor expansion of 0 in k
1.407 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
1.407 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
1.407 * [taylor]: Taking taylor expansion of 27.0 in k
1.407 * [taylor]: Taking taylor expansion of (* k j) in k
1.407 * [taylor]: Taking taylor expansion of k in k
1.407 * [taylor]: Taking taylor expansion of j in k
1.407 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
1.407 * [taylor]: Taking taylor expansion of 27.0 in j
1.407 * [taylor]: Taking taylor expansion of (* k j) in j
1.407 * [taylor]: Taking taylor expansion of k in j
1.407 * [taylor]: Taking taylor expansion of j in j
1.407 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
1.407 * [taylor]: Taking taylor expansion of 27.0 in j
1.408 * [taylor]: Taking taylor expansion of (* k j) in j
1.408 * [taylor]: Taking taylor expansion of k in j
1.408 * [taylor]: Taking taylor expansion of j in j
1.408 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
1.408 * [taylor]: Taking taylor expansion of 27.0 in k
1.408 * [taylor]: Taking taylor expansion of k in k
1.409 * [taylor]: Taking taylor expansion of 0 in k
1.410 * [taylor]: Taking taylor expansion of 0 in k
1.411 * [taylor]: Taking taylor expansion of 0 in k
1.412 * * * [progress]: simplifying candidates
1.413 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (* (* 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)
  (* (* (* 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)
  (* (* 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)
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
1.418 * * [simplify]: iteration  0 :  352  enodes  (cost  422 )
1.425 * * [simplify]: iteration  1 :  2030  enodes  (cost  319 )
1.472 * * [simplify]: iteration  2 :  5002  enodes  (cost  319 )
1.473 * [simplify]: Simplified to:
   (* (* (* (* 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)
  (* (* (* 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)
  (* (* 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)
  (* 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))
  0
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
1.474 * * * [progress]: adding candidates to table
1.723 * * [progress]: iteration 3 / 4
1.723 * * * [progress]: picking best candidate
1.756 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>
1.756 * * * [progress]: localizing error
1.780 * * * [progress]: generating rewritten candidates
1.780 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1)
1.870 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
1.894 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.242 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2)
2.255 * * * [progress]: generating series expansions
2.255 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1)
2.255 * [approximate]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in (x y z t) around 0
2.255 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in t
2.255 * [taylor]: Taking taylor expansion of 18.0 in t
2.255 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* x (* z y))) in t
2.255 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in t
2.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in t
2.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in t
2.255 * [taylor]: Taking taylor expansion of 1/3 in t
2.255 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
2.255 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.255 * [taylor]: Taking taylor expansion of t in t
2.257 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.257 * [taylor]: Taking taylor expansion of x in t
2.257 * [taylor]: Taking taylor expansion of (* z y) in t
2.257 * [taylor]: Taking taylor expansion of z in t
2.257 * [taylor]: Taking taylor expansion of y in t
2.257 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in z
2.257 * [taylor]: Taking taylor expansion of 18.0 in z
2.257 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* x (* z y))) in z
2.257 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in z
2.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in z
2.257 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in z
2.257 * [taylor]: Taking taylor expansion of 1/3 in z
2.257 * [taylor]: Taking taylor expansion of (log (pow t 2)) in z
2.257 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.257 * [taylor]: Taking taylor expansion of t in z
2.257 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.257 * [taylor]: Taking taylor expansion of x in z
2.257 * [taylor]: Taking taylor expansion of (* z y) in z
2.257 * [taylor]: Taking taylor expansion of z in z
2.257 * [taylor]: Taking taylor expansion of y in z
2.257 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in y
2.257 * [taylor]: Taking taylor expansion of 18.0 in y
2.257 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* x (* z y))) in y
2.257 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in y
2.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in y
2.257 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in y
2.257 * [taylor]: Taking taylor expansion of 1/3 in y
2.257 * [taylor]: Taking taylor expansion of (log (pow t 2)) in y
2.257 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.257 * [taylor]: Taking taylor expansion of t in y
2.258 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.258 * [taylor]: Taking taylor expansion of x in y
2.258 * [taylor]: Taking taylor expansion of (* z y) in y
2.258 * [taylor]: Taking taylor expansion of z in y
2.258 * [taylor]: Taking taylor expansion of y in y
2.258 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in x
2.258 * [taylor]: Taking taylor expansion of 18.0 in x
2.258 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* x (* z y))) in x
2.258 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in x
2.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in x
2.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in x
2.258 * [taylor]: Taking taylor expansion of 1/3 in x
2.258 * [taylor]: Taking taylor expansion of (log (pow t 2)) in x
2.258 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.258 * [taylor]: Taking taylor expansion of t in x
2.258 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.258 * [taylor]: Taking taylor expansion of x in x
2.258 * [taylor]: Taking taylor expansion of (* z y) in x
2.258 * [taylor]: Taking taylor expansion of z in x
2.258 * [taylor]: Taking taylor expansion of y in x
2.258 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in x
2.258 * [taylor]: Taking taylor expansion of 18.0 in x
2.258 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* x (* z y))) in x
2.258 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in x
2.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in x
2.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in x
2.258 * [taylor]: Taking taylor expansion of 1/3 in x
2.258 * [taylor]: Taking taylor expansion of (log (pow t 2)) in x
2.258 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.258 * [taylor]: Taking taylor expansion of t in x
2.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.259 * [taylor]: Taking taylor expansion of x in x
2.259 * [taylor]: Taking taylor expansion of (* z y) in x
2.259 * [taylor]: Taking taylor expansion of z in x
2.259 * [taylor]: Taking taylor expansion of y in x
2.259 * [taylor]: Taking taylor expansion of 0 in y
2.259 * [taylor]: Taking taylor expansion of 0 in z
2.259 * [taylor]: Taking taylor expansion of 0 in t
2.262 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* z y))) in y
2.262 * [taylor]: Taking taylor expansion of 18.0 in y
2.262 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* z y)) in y
2.262 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in y
2.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in y
2.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in y
2.262 * [taylor]: Taking taylor expansion of 1/3 in y
2.262 * [taylor]: Taking taylor expansion of (log (pow t 2)) in y
2.262 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.262 * [taylor]: Taking taylor expansion of t in y
2.262 * [taylor]: Taking taylor expansion of (* z y) in y
2.262 * [taylor]: Taking taylor expansion of z in y
2.263 * [taylor]: Taking taylor expansion of y in y
2.263 * [taylor]: Taking taylor expansion of 0 in z
2.263 * [taylor]: Taking taylor expansion of 0 in t
2.263 * [taylor]: Taking taylor expansion of 0 in z
2.263 * [taylor]: Taking taylor expansion of 0 in t
2.263 * [taylor]: Taking taylor expansion of 0 in t
2.268 * [taylor]: Taking taylor expansion of 0 in y
2.268 * [taylor]: Taking taylor expansion of 0 in z
2.268 * [taylor]: Taking taylor expansion of 0 in t
2.268 * [approximate]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in (x y z t) around 0
2.268 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in t
2.268 * [taylor]: Taking taylor expansion of 18.0 in t
2.268 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y)))) in t
2.268 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.268 * [taylor]: Taking taylor expansion of 1/3 in t
2.268 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.268 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.268 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.268 * [taylor]: Taking taylor expansion of t in t
2.269 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
2.269 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.269 * [taylor]: Taking taylor expansion of x in t
2.269 * [taylor]: Taking taylor expansion of (* z y) in t
2.269 * [taylor]: Taking taylor expansion of z in t
2.269 * [taylor]: Taking taylor expansion of y in t
2.270 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in z
2.270 * [taylor]: Taking taylor expansion of 18.0 in z
2.270 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y)))) in z
2.270 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
2.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
2.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
2.270 * [taylor]: Taking taylor expansion of 1/3 in z
2.270 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
2.270 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
2.270 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.270 * [taylor]: Taking taylor expansion of t in z
2.270 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
2.270 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.270 * [taylor]: Taking taylor expansion of x in z
2.270 * [taylor]: Taking taylor expansion of (* z y) in z
2.270 * [taylor]: Taking taylor expansion of z in z
2.270 * [taylor]: Taking taylor expansion of y in z
2.271 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in y
2.271 * [taylor]: Taking taylor expansion of 18.0 in y
2.271 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y)))) in y
2.271 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
2.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
2.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
2.271 * [taylor]: Taking taylor expansion of 1/3 in y
2.271 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
2.271 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
2.271 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.271 * [taylor]: Taking taylor expansion of t in y
2.271 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
2.271 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.271 * [taylor]: Taking taylor expansion of x in y
2.271 * [taylor]: Taking taylor expansion of (* z y) in y
2.271 * [taylor]: Taking taylor expansion of z in y
2.271 * [taylor]: Taking taylor expansion of y in y
2.272 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in x
2.272 * [taylor]: Taking taylor expansion of 18.0 in x
2.272 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y)))) in x
2.272 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in x
2.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in x
2.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in x
2.272 * [taylor]: Taking taylor expansion of 1/3 in x
2.272 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in x
2.272 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in x
2.272 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.272 * [taylor]: Taking taylor expansion of t in x
2.273 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.273 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.273 * [taylor]: Taking taylor expansion of x in x
2.273 * [taylor]: Taking taylor expansion of (* z y) in x
2.273 * [taylor]: Taking taylor expansion of z in x
2.273 * [taylor]: Taking taylor expansion of y in x
2.273 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in x
2.273 * [taylor]: Taking taylor expansion of 18.0 in x
2.273 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y)))) in x
2.273 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in x
2.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in x
2.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in x
2.273 * [taylor]: Taking taylor expansion of 1/3 in x
2.273 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in x
2.273 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in x
2.273 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.273 * [taylor]: Taking taylor expansion of t in x
2.274 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.274 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.274 * [taylor]: Taking taylor expansion of x in x
2.274 * [taylor]: Taking taylor expansion of (* z y) in x
2.274 * [taylor]: Taking taylor expansion of z in x
2.274 * [taylor]: Taking taylor expansion of y in x
2.274 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y)))) in y
2.275 * [taylor]: Taking taylor expansion of 18.0 in y
2.275 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y))) in y
2.275 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
2.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
2.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
2.275 * [taylor]: Taking taylor expansion of 1/3 in y
2.275 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
2.275 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
2.275 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.275 * [taylor]: Taking taylor expansion of t in y
2.275 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.275 * [taylor]: Taking taylor expansion of (* z y) in y
2.275 * [taylor]: Taking taylor expansion of z in y
2.275 * [taylor]: Taking taylor expansion of y in y
2.276 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 z))) in z
2.276 * [taylor]: Taking taylor expansion of 18.0 in z
2.276 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 z)) in z
2.276 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
2.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
2.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
2.276 * [taylor]: Taking taylor expansion of 1/3 in z
2.276 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
2.276 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
2.276 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.276 * [taylor]: Taking taylor expansion of t in z
2.276 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.276 * [taylor]: Taking taylor expansion of z in z
2.277 * [taylor]: Taking taylor expansion of (* 18.0 (pow (/ 1 (pow t 2)) 1/3)) in t
2.277 * [taylor]: Taking taylor expansion of 18.0 in t
2.277 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.277 * [taylor]: Taking taylor expansion of 1/3 in t
2.277 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.277 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.277 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.277 * [taylor]: Taking taylor expansion of t in t
2.282 * [taylor]: Taking taylor expansion of 0 in y
2.284 * [taylor]: Taking taylor expansion of 0 in z
2.287 * [taylor]: Taking taylor expansion of 0 in t
2.296 * [taylor]: Taking taylor expansion of 0 in y
2.296 * [taylor]: Taking taylor expansion of 0 in z
2.301 * [taylor]: Taking taylor expansion of 0 in z
2.301 * [taylor]: Taking taylor expansion of 0 in t
2.306 * [taylor]: Taking taylor expansion of 0 in t
2.312 * [approximate]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in (x y z t) around 0
2.312 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in t
2.312 * [taylor]: Taking taylor expansion of -18.0 in t
2.312 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3)) in t
2.312 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x (* z y))) in t
2.312 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
2.312 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.312 * [taylor]: Taking taylor expansion of -1 in t
2.313 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.313 * [taylor]: Taking taylor expansion of x in t
2.313 * [taylor]: Taking taylor expansion of (* z y) in t
2.313 * [taylor]: Taking taylor expansion of z in t
2.313 * [taylor]: Taking taylor expansion of y in t
2.318 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.318 * [taylor]: Taking taylor expansion of 1/3 in t
2.318 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.318 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.318 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.318 * [taylor]: Taking taylor expansion of t in t
2.319 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in z
2.319 * [taylor]: Taking taylor expansion of -18.0 in z
2.319 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3)) in z
2.319 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x (* z y))) in z
2.319 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.319 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.319 * [taylor]: Taking taylor expansion of -1 in z
2.320 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.320 * [taylor]: Taking taylor expansion of x in z
2.320 * [taylor]: Taking taylor expansion of (* z y) in z
2.320 * [taylor]: Taking taylor expansion of z in z
2.320 * [taylor]: Taking taylor expansion of y in z
2.322 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
2.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
2.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
2.322 * [taylor]: Taking taylor expansion of 1/3 in z
2.322 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
2.322 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
2.322 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.322 * [taylor]: Taking taylor expansion of t in z
2.323 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in y
2.323 * [taylor]: Taking taylor expansion of -18.0 in y
2.323 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3)) in y
2.323 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x (* z y))) in y
2.323 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
2.323 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.323 * [taylor]: Taking taylor expansion of -1 in y
2.324 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.324 * [taylor]: Taking taylor expansion of x in y
2.324 * [taylor]: Taking taylor expansion of (* z y) in y
2.324 * [taylor]: Taking taylor expansion of z in y
2.324 * [taylor]: Taking taylor expansion of y in y
2.326 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
2.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
2.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
2.326 * [taylor]: Taking taylor expansion of 1/3 in y
2.326 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
2.326 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
2.326 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.326 * [taylor]: Taking taylor expansion of t in y
2.326 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in x
2.326 * [taylor]: Taking taylor expansion of -18.0 in x
2.326 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3)) in x
2.326 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x (* z y))) in x
2.326 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
2.326 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.326 * [taylor]: Taking taylor expansion of -1 in x
2.327 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.327 * [taylor]: Taking taylor expansion of x in x
2.327 * [taylor]: Taking taylor expansion of (* z y) in x
2.327 * [taylor]: Taking taylor expansion of z in x
2.327 * [taylor]: Taking taylor expansion of y in x
2.329 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in x
2.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in x
2.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in x
2.329 * [taylor]: Taking taylor expansion of 1/3 in x
2.329 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in x
2.329 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in x
2.329 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.329 * [taylor]: Taking taylor expansion of t in x
2.330 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in x
2.330 * [taylor]: Taking taylor expansion of -18.0 in x
2.330 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3)) in x
2.330 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x (* z y))) in x
2.330 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
2.330 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.330 * [taylor]: Taking taylor expansion of -1 in x
2.330 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.330 * [taylor]: Taking taylor expansion of x in x
2.330 * [taylor]: Taking taylor expansion of (* z y) in x
2.330 * [taylor]: Taking taylor expansion of z in x
2.330 * [taylor]: Taking taylor expansion of y in x
2.332 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in x
2.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in x
2.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in x
2.333 * [taylor]: Taking taylor expansion of 1/3 in x
2.333 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in x
2.333 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in x
2.333 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.333 * [taylor]: Taking taylor expansion of t in x
2.335 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3))) in y
2.335 * [taylor]: Taking taylor expansion of -18.0 in y
2.335 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3)) in y
2.335 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* z y)) in y
2.335 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
2.335 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.335 * [taylor]: Taking taylor expansion of -1 in y
2.336 * [taylor]: Taking taylor expansion of (* z y) in y
2.336 * [taylor]: Taking taylor expansion of z in y
2.336 * [taylor]: Taking taylor expansion of y in y
2.338 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
2.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
2.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
2.338 * [taylor]: Taking taylor expansion of 1/3 in y
2.338 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
2.338 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
2.338 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.338 * [taylor]: Taking taylor expansion of t in y
2.341 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow t 2)) 1/3))) in z
2.341 * [taylor]: Taking taylor expansion of -18.0 in z
2.341 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow t 2)) 1/3)) in z
2.341 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) z) in z
2.341 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.341 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.341 * [taylor]: Taking taylor expansion of -1 in z
2.342 * [taylor]: Taking taylor expansion of z in z
2.344 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
2.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
2.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
2.344 * [taylor]: Taking taylor expansion of 1/3 in z
2.344 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
2.344 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
2.344 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.344 * [taylor]: Taking taylor expansion of t in z
2.346 * [taylor]: Taking taylor expansion of (* -18.0 (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3))) in t
2.346 * [taylor]: Taking taylor expansion of -18.0 in t
2.346 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in t
2.346 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
2.346 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.346 * [taylor]: Taking taylor expansion of -1 in t
2.347 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.347 * [taylor]: Taking taylor expansion of 1/3 in t
2.347 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.347 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.347 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.347 * [taylor]: Taking taylor expansion of t in t
2.358 * [taylor]: Taking taylor expansion of 0 in y
2.363 * [taylor]: Taking taylor expansion of 0 in z
2.368 * [taylor]: Taking taylor expansion of 0 in t
2.382 * [taylor]: Taking taylor expansion of 0 in y
2.382 * [taylor]: Taking taylor expansion of 0 in z
2.391 * [taylor]: Taking taylor expansion of 0 in z
2.391 * [taylor]: Taking taylor expansion of 0 in t
2.398 * [taylor]: Taking taylor expansion of 0 in t
2.407 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
2.407 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
2.407 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
2.407 * [taylor]: Taking taylor expansion of 18.0 in z
2.407 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.407 * [taylor]: Taking taylor expansion of x in z
2.407 * [taylor]: Taking taylor expansion of (* z y) in z
2.407 * [taylor]: Taking taylor expansion of z in z
2.407 * [taylor]: Taking taylor expansion of y in z
2.407 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
2.407 * [taylor]: Taking taylor expansion of 18.0 in y
2.407 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.407 * [taylor]: Taking taylor expansion of x in y
2.407 * [taylor]: Taking taylor expansion of (* z y) in y
2.407 * [taylor]: Taking taylor expansion of z in y
2.407 * [taylor]: Taking taylor expansion of y in y
2.407 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
2.407 * [taylor]: Taking taylor expansion of 18.0 in x
2.407 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.407 * [taylor]: Taking taylor expansion of x in x
2.407 * [taylor]: Taking taylor expansion of (* z y) in x
2.407 * [taylor]: Taking taylor expansion of z in x
2.407 * [taylor]: Taking taylor expansion of y in x
2.407 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
2.407 * [taylor]: Taking taylor expansion of 18.0 in x
2.407 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.407 * [taylor]: Taking taylor expansion of x in x
2.407 * [taylor]: Taking taylor expansion of (* z y) in x
2.407 * [taylor]: Taking taylor expansion of z in x
2.407 * [taylor]: Taking taylor expansion of y in x
2.408 * [taylor]: Taking taylor expansion of 0 in y
2.408 * [taylor]: Taking taylor expansion of 0 in z
2.411 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
2.411 * [taylor]: Taking taylor expansion of 18.0 in y
2.411 * [taylor]: Taking taylor expansion of (* z y) in y
2.411 * [taylor]: Taking taylor expansion of z in y
2.411 * [taylor]: Taking taylor expansion of y in y
2.412 * [taylor]: Taking taylor expansion of 0 in z
2.412 * [taylor]: Taking taylor expansion of 0 in z
2.413 * [taylor]: Taking taylor expansion of 0 in y
2.413 * [taylor]: Taking taylor expansion of 0 in z
2.414 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
2.414 * [taylor]: Taking taylor expansion of 18.0 in z
2.414 * [taylor]: Taking taylor expansion of z in z
2.414 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
2.414 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
2.414 * [taylor]: Taking taylor expansion of 18.0 in z
2.414 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.414 * [taylor]: Taking taylor expansion of x in z
2.414 * [taylor]: Taking taylor expansion of (* z y) in z
2.414 * [taylor]: Taking taylor expansion of z in z
2.414 * [taylor]: Taking taylor expansion of y in z
2.415 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
2.415 * [taylor]: Taking taylor expansion of 18.0 in y
2.415 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.415 * [taylor]: Taking taylor expansion of x in y
2.415 * [taylor]: Taking taylor expansion of (* z y) in y
2.415 * [taylor]: Taking taylor expansion of z in y
2.415 * [taylor]: Taking taylor expansion of y in y
2.415 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
2.415 * [taylor]: Taking taylor expansion of 18.0 in x
2.416 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.416 * [taylor]: Taking taylor expansion of x in x
2.416 * [taylor]: Taking taylor expansion of (* z y) in x
2.416 * [taylor]: Taking taylor expansion of z in x
2.416 * [taylor]: Taking taylor expansion of y in x
2.416 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
2.416 * [taylor]: Taking taylor expansion of 18.0 in x
2.416 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.416 * [taylor]: Taking taylor expansion of x in x
2.416 * [taylor]: Taking taylor expansion of (* z y) in x
2.416 * [taylor]: Taking taylor expansion of z in x
2.416 * [taylor]: Taking taylor expansion of y in x
2.417 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
2.417 * [taylor]: Taking taylor expansion of 18.0 in y
2.417 * [taylor]: Taking taylor expansion of (* z y) in y
2.417 * [taylor]: Taking taylor expansion of z in y
2.417 * [taylor]: Taking taylor expansion of y in y
2.417 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
2.417 * [taylor]: Taking taylor expansion of 18.0 in z
2.417 * [taylor]: Taking taylor expansion of z in z
2.418 * [taylor]: Taking taylor expansion of 0 in y
2.419 * [taylor]: Taking taylor expansion of 0 in z
2.421 * [taylor]: Taking taylor expansion of 0 in y
2.421 * [taylor]: Taking taylor expansion of 0 in z
2.421 * [taylor]: Taking taylor expansion of 0 in z
2.424 * [taylor]: Taking taylor expansion of 0 in y
2.424 * [taylor]: Taking taylor expansion of 0 in z
2.424 * [taylor]: Taking taylor expansion of 0 in z
2.424 * [taylor]: Taking taylor expansion of 0 in z
2.425 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
2.425 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
2.425 * [taylor]: Taking taylor expansion of -18.0 in z
2.425 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.425 * [taylor]: Taking taylor expansion of x in z
2.425 * [taylor]: Taking taylor expansion of (* z y) in z
2.425 * [taylor]: Taking taylor expansion of z in z
2.425 * [taylor]: Taking taylor expansion of y in z
2.426 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
2.426 * [taylor]: Taking taylor expansion of -18.0 in y
2.426 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.426 * [taylor]: Taking taylor expansion of x in y
2.426 * [taylor]: Taking taylor expansion of (* z y) in y
2.426 * [taylor]: Taking taylor expansion of z in y
2.426 * [taylor]: Taking taylor expansion of y in y
2.426 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
2.426 * [taylor]: Taking taylor expansion of -18.0 in x
2.426 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.426 * [taylor]: Taking taylor expansion of x in x
2.426 * [taylor]: Taking taylor expansion of (* z y) in x
2.426 * [taylor]: Taking taylor expansion of z in x
2.426 * [taylor]: Taking taylor expansion of y in x
2.427 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
2.427 * [taylor]: Taking taylor expansion of -18.0 in x
2.427 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.427 * [taylor]: Taking taylor expansion of x in x
2.427 * [taylor]: Taking taylor expansion of (* z y) in x
2.427 * [taylor]: Taking taylor expansion of z in x
2.427 * [taylor]: Taking taylor expansion of y in x
2.427 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
2.427 * [taylor]: Taking taylor expansion of -18.0 in y
2.427 * [taylor]: Taking taylor expansion of (* z y) in y
2.427 * [taylor]: Taking taylor expansion of z in y
2.427 * [taylor]: Taking taylor expansion of y in y
2.428 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
2.428 * [taylor]: Taking taylor expansion of -18.0 in z
2.428 * [taylor]: Taking taylor expansion of z in z
2.429 * [taylor]: Taking taylor expansion of 0 in y
2.430 * [taylor]: Taking taylor expansion of 0 in z
2.431 * [taylor]: Taking taylor expansion of 0 in y
2.432 * [taylor]: Taking taylor expansion of 0 in z
2.432 * [taylor]: Taking taylor expansion of 0 in z
2.435 * [taylor]: Taking taylor expansion of 0 in y
2.435 * [taylor]: Taking taylor expansion of 0 in z
2.435 * [taylor]: Taking taylor expansion of 0 in z
2.435 * [taylor]: Taking taylor expansion of 0 in z
2.436 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.436 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.436 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
2.436 * [taylor]: Taking taylor expansion of 18.0 in t
2.436 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.436 * [taylor]: Taking taylor expansion of t in t
2.436 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.436 * [taylor]: Taking taylor expansion of x in t
2.436 * [taylor]: Taking taylor expansion of (* z y) in t
2.436 * [taylor]: Taking taylor expansion of z in t
2.436 * [taylor]: Taking taylor expansion of y in t
2.436 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
2.436 * [taylor]: Taking taylor expansion of 18.0 in z
2.436 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.436 * [taylor]: Taking taylor expansion of t in z
2.436 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.436 * [taylor]: Taking taylor expansion of x in z
2.436 * [taylor]: Taking taylor expansion of (* z y) in z
2.436 * [taylor]: Taking taylor expansion of z in z
2.436 * [taylor]: Taking taylor expansion of y in z
2.436 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
2.436 * [taylor]: Taking taylor expansion of 18.0 in y
2.436 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.436 * [taylor]: Taking taylor expansion of t in y
2.436 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.436 * [taylor]: Taking taylor expansion of x in y
2.436 * [taylor]: Taking taylor expansion of (* z y) in y
2.436 * [taylor]: Taking taylor expansion of z in y
2.436 * [taylor]: Taking taylor expansion of y in y
2.436 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
2.436 * [taylor]: Taking taylor expansion of 18.0 in x
2.436 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.436 * [taylor]: Taking taylor expansion of t in x
2.436 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.437 * [taylor]: Taking taylor expansion of x in x
2.437 * [taylor]: Taking taylor expansion of (* z y) in x
2.437 * [taylor]: Taking taylor expansion of z in x
2.437 * [taylor]: Taking taylor expansion of y in x
2.437 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
2.437 * [taylor]: Taking taylor expansion of 18.0 in x
2.437 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.437 * [taylor]: Taking taylor expansion of t in x
2.437 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.437 * [taylor]: Taking taylor expansion of x in x
2.437 * [taylor]: Taking taylor expansion of (* z y) in x
2.437 * [taylor]: Taking taylor expansion of z in x
2.437 * [taylor]: Taking taylor expansion of y in x
2.437 * [taylor]: Taking taylor expansion of 0 in y
2.437 * [taylor]: Taking taylor expansion of 0 in z
2.437 * [taylor]: Taking taylor expansion of 0 in t
2.438 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
2.438 * [taylor]: Taking taylor expansion of 18.0 in y
2.438 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.438 * [taylor]: Taking taylor expansion of t in y
2.438 * [taylor]: Taking taylor expansion of (* z y) in y
2.438 * [taylor]: Taking taylor expansion of z in y
2.438 * [taylor]: Taking taylor expansion of y in y
2.439 * [taylor]: Taking taylor expansion of 0 in z
2.439 * [taylor]: Taking taylor expansion of 0 in t
2.439 * [taylor]: Taking taylor expansion of 0 in z
2.439 * [taylor]: Taking taylor expansion of 0 in t
2.439 * [taylor]: Taking taylor expansion of 0 in t
2.441 * [taylor]: Taking taylor expansion of 0 in y
2.441 * [taylor]: Taking taylor expansion of 0 in z
2.441 * [taylor]: Taking taylor expansion of 0 in t
2.441 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
2.441 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
2.441 * [taylor]: Taking taylor expansion of 18.0 in t
2.441 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.441 * [taylor]: Taking taylor expansion of t in t
2.441 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.441 * [taylor]: Taking taylor expansion of x in t
2.441 * [taylor]: Taking taylor expansion of (* z y) in t
2.441 * [taylor]: Taking taylor expansion of z in t
2.441 * [taylor]: Taking taylor expansion of y in t
2.442 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
2.442 * [taylor]: Taking taylor expansion of 18.0 in z
2.442 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.442 * [taylor]: Taking taylor expansion of t in z
2.442 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.442 * [taylor]: Taking taylor expansion of x in z
2.442 * [taylor]: Taking taylor expansion of (* z y) in z
2.442 * [taylor]: Taking taylor expansion of z in z
2.442 * [taylor]: Taking taylor expansion of y in z
2.443 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
2.443 * [taylor]: Taking taylor expansion of 18.0 in y
2.443 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.443 * [taylor]: Taking taylor expansion of t in y
2.443 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.443 * [taylor]: Taking taylor expansion of x in y
2.443 * [taylor]: Taking taylor expansion of (* z y) in y
2.443 * [taylor]: Taking taylor expansion of z in y
2.443 * [taylor]: Taking taylor expansion of y in y
2.444 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.444 * [taylor]: Taking taylor expansion of 18.0 in x
2.444 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.444 * [taylor]: Taking taylor expansion of t in x
2.444 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.444 * [taylor]: Taking taylor expansion of x in x
2.444 * [taylor]: Taking taylor expansion of (* z y) in x
2.444 * [taylor]: Taking taylor expansion of z in x
2.444 * [taylor]: Taking taylor expansion of y in x
2.445 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
2.445 * [taylor]: Taking taylor expansion of 18.0 in x
2.445 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.445 * [taylor]: Taking taylor expansion of t in x
2.445 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.445 * [taylor]: Taking taylor expansion of x in x
2.445 * [taylor]: Taking taylor expansion of (* z y) in x
2.445 * [taylor]: Taking taylor expansion of z in x
2.445 * [taylor]: Taking taylor expansion of y in x
2.446 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.446 * [taylor]: Taking taylor expansion of 18.0 in y
2.446 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.446 * [taylor]: Taking taylor expansion of t in y
2.446 * [taylor]: Taking taylor expansion of (* z y) in y
2.446 * [taylor]: Taking taylor expansion of z in y
2.446 * [taylor]: Taking taylor expansion of y in y
2.446 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.446 * [taylor]: Taking taylor expansion of 18.0 in z
2.446 * [taylor]: Taking taylor expansion of (* t z) in z
2.446 * [taylor]: Taking taylor expansion of t in z
2.446 * [taylor]: Taking taylor expansion of z in z
2.447 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.447 * [taylor]: Taking taylor expansion of 18.0 in t
2.447 * [taylor]: Taking taylor expansion of t in t
2.448 * [taylor]: Taking taylor expansion of 0 in y
2.449 * [taylor]: Taking taylor expansion of 0 in z
2.450 * [taylor]: Taking taylor expansion of 0 in t
2.452 * [taylor]: Taking taylor expansion of 0 in y
2.452 * [taylor]: Taking taylor expansion of 0 in z
2.453 * [taylor]: Taking taylor expansion of 0 in z
2.453 * [taylor]: Taking taylor expansion of 0 in t
2.454 * [taylor]: Taking taylor expansion of 0 in t
2.457 * [taylor]: Taking taylor expansion of 0 in y
2.457 * [taylor]: Taking taylor expansion of 0 in z
2.457 * [taylor]: Taking taylor expansion of 0 in z
2.459 * [taylor]: Taking taylor expansion of 0 in z
2.459 * [taylor]: Taking taylor expansion of 0 in t
2.459 * [taylor]: Taking taylor expansion of 0 in t
2.459 * [taylor]: Taking taylor expansion of 0 in t
2.460 * [taylor]: Taking taylor expansion of 0 in t
2.461 * [approximate]: Taking taylor expansion of (* -18.0 (/ (pow (cbrt -1) 3) (* x (* z (* y t))))) in (x y z t) around 0
2.461 * [taylor]: Taking taylor expansion of (* -18.0 (/ (pow (cbrt -1) 3) (* x (* z (* y t))))) in t
2.461 * [taylor]: Taking taylor expansion of -18.0 in t
2.461 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z (* y t)))) in t
2.461 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
2.461 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.461 * [taylor]: Taking taylor expansion of -1 in t
2.461 * [taylor]: Taking taylor expansion of (* x (* z (* y t))) in t
2.461 * [taylor]: Taking taylor expansion of x in t
2.461 * [taylor]: Taking taylor expansion of (* z (* y t)) in t
2.461 * [taylor]: Taking taylor expansion of z in t
2.461 * [taylor]: Taking taylor expansion of (* y t) in t
2.461 * [taylor]: Taking taylor expansion of y in t
2.461 * [taylor]: Taking taylor expansion of t in t
2.465 * [taylor]: Taking taylor expansion of (* -18.0 (/ (pow (cbrt -1) 3) (* x (* z (* y t))))) in z
2.465 * [taylor]: Taking taylor expansion of -18.0 in z
2.465 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z (* y t)))) in z
2.465 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
2.465 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.465 * [taylor]: Taking taylor expansion of -1 in z
2.466 * [taylor]: Taking taylor expansion of (* x (* z (* y t))) in z
2.466 * [taylor]: Taking taylor expansion of x in z
2.466 * [taylor]: Taking taylor expansion of (* z (* y t)) in z
2.466 * [taylor]: Taking taylor expansion of z in z
2.466 * [taylor]: Taking taylor expansion of (* y t) in z
2.466 * [taylor]: Taking taylor expansion of y in z
2.466 * [taylor]: Taking taylor expansion of t in z
2.469 * [taylor]: Taking taylor expansion of (* -18.0 (/ (pow (cbrt -1) 3) (* x (* z (* y t))))) in y
2.470 * [taylor]: Taking taylor expansion of -18.0 in y
2.470 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z (* y t)))) in y
2.470 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
2.470 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.470 * [taylor]: Taking taylor expansion of -1 in y
2.470 * [taylor]: Taking taylor expansion of (* x (* z (* y t))) in y
2.470 * [taylor]: Taking taylor expansion of x in y
2.470 * [taylor]: Taking taylor expansion of (* z (* y t)) in y
2.470 * [taylor]: Taking taylor expansion of z in y
2.470 * [taylor]: Taking taylor expansion of (* y t) in y
2.470 * [taylor]: Taking taylor expansion of y in y
2.470 * [taylor]: Taking taylor expansion of t in y
2.474 * [taylor]: Taking taylor expansion of (* -18.0 (/ (pow (cbrt -1) 3) (* x (* z (* y t))))) in x
2.474 * [taylor]: Taking taylor expansion of -18.0 in x
2.474 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z (* y t)))) in x
2.474 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
2.474 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.474 * [taylor]: Taking taylor expansion of -1 in x
2.475 * [taylor]: Taking taylor expansion of (* x (* z (* y t))) in x
2.475 * [taylor]: Taking taylor expansion of x in x
2.475 * [taylor]: Taking taylor expansion of (* z (* y t)) in x
2.475 * [taylor]: Taking taylor expansion of z in x
2.475 * [taylor]: Taking taylor expansion of (* y t) in x
2.475 * [taylor]: Taking taylor expansion of y in x
2.475 * [taylor]: Taking taylor expansion of t in x
2.478 * [taylor]: Taking taylor expansion of (* -18.0 (/ (pow (cbrt -1) 3) (* x (* z (* y t))))) in x
2.478 * [taylor]: Taking taylor expansion of -18.0 in x
2.478 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z (* y t)))) in x
2.478 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
2.479 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.479 * [taylor]: Taking taylor expansion of -1 in x
2.479 * [taylor]: Taking taylor expansion of (* x (* z (* y t))) in x
2.479 * [taylor]: Taking taylor expansion of x in x
2.479 * [taylor]: Taking taylor expansion of (* z (* y t)) in x
2.479 * [taylor]: Taking taylor expansion of z in x
2.479 * [taylor]: Taking taylor expansion of (* y t) in x
2.479 * [taylor]: Taking taylor expansion of y in x
2.479 * [taylor]: Taking taylor expansion of t in x
2.483 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
2.483 * [taylor]: Taking taylor expansion of 18.0 in y
2.483 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.483 * [taylor]: Taking taylor expansion of t in y
2.483 * [taylor]: Taking taylor expansion of (* z y) in y
2.483 * [taylor]: Taking taylor expansion of z in y
2.483 * [taylor]: Taking taylor expansion of y in y
2.483 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
2.484 * [taylor]: Taking taylor expansion of 18.0 in z
2.484 * [taylor]: Taking taylor expansion of (* t z) in z
2.484 * [taylor]: Taking taylor expansion of t in z
2.484 * [taylor]: Taking taylor expansion of z in z
2.484 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
2.484 * [taylor]: Taking taylor expansion of 18.0 in t
2.484 * [taylor]: Taking taylor expansion of t in t
2.487 * [taylor]: Taking taylor expansion of 0 in y
2.488 * [taylor]: Taking taylor expansion of 0 in z
2.488 * [taylor]: Taking taylor expansion of 0 in t
2.494 * [taylor]: Taking taylor expansion of 0 in y
2.494 * [taylor]: Taking taylor expansion of 0 in z
2.495 * [taylor]: Taking taylor expansion of 0 in z
2.495 * [taylor]: Taking taylor expansion of 0 in t
2.495 * [taylor]: Taking taylor expansion of 0 in t
2.505 * [taylor]: Taking taylor expansion of 0 in y
2.505 * [taylor]: Taking taylor expansion of 0 in z
2.505 * [taylor]: Taking taylor expansion of 0 in z
2.506 * [taylor]: Taking taylor expansion of 0 in z
2.506 * [taylor]: Taking taylor expansion of 0 in t
2.506 * [taylor]: Taking taylor expansion of 0 in t
2.506 * [taylor]: Taking taylor expansion of 0 in t
2.507 * [taylor]: Taking taylor expansion of 0 in t
2.508 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2)
2.508 * [approximate]: Taking taylor expansion of (pow (pow t 2) 1/3) in (t) around 0
2.508 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in t
2.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in t
2.508 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in t
2.508 * [taylor]: Taking taylor expansion of 1/3 in t
2.508 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
2.508 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.508 * [taylor]: Taking taylor expansion of t in t
2.509 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in t
2.509 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in t
2.509 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in t
2.509 * [taylor]: Taking taylor expansion of 1/3 in t
2.509 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
2.509 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.509 * [taylor]: Taking taylor expansion of t in t
2.561 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in (t) around 0
2.561 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.561 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.561 * [taylor]: Taking taylor expansion of 1/3 in t
2.561 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.561 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.561 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.561 * [taylor]: Taking taylor expansion of t in t
2.562 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.562 * [taylor]: Taking taylor expansion of 1/3 in t
2.562 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.562 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.562 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.562 * [taylor]: Taking taylor expansion of t in t
2.619 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in (t) around 0
2.619 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in t
2.619 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
2.619 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.619 * [taylor]: Taking taylor expansion of -1 in t
2.620 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.620 * [taylor]: Taking taylor expansion of 1/3 in t
2.620 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.620 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.620 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.620 * [taylor]: Taking taylor expansion of t in t
2.621 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in t
2.621 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
2.621 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.621 * [taylor]: Taking taylor expansion of -1 in t
2.622 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
2.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
2.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
2.622 * [taylor]: Taking taylor expansion of 1/3 in t
2.622 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
2.622 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.622 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.622 * [taylor]: Taking taylor expansion of t in t
2.696 * * * [progress]: simplifying candidates
2.698 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (+ (log (cbrt t)) (log (cbrt t))))
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log (* (cbrt t) (cbrt t))))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (+ (log (cbrt t)) (log (cbrt t))))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log (* (cbrt t) (cbrt t))))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (+ (log (cbrt t)) (log (cbrt t))))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log (* (cbrt t) (cbrt t))))
  (+ (log (* (* (* x 18.0) y) z)) (+ (log (cbrt t)) (log (cbrt t))))
  (+ (log (* (* (* x 18.0) y) z)) (log (* (cbrt t) (cbrt t))))
  (log (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (exp (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* t t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* t t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* t t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* t t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))))
  (* (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))) (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))))
  (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))) (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (sqrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (sqrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (* (* x 18.0) y) z) (cbrt t))
  (* z (* (cbrt t) (cbrt t)))
  (* (* (* 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)
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
  (+ (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (+ (log (cbrt t)) (log (cbrt t)))) (log (cbrt t)))
  (+ (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log (* (cbrt t) (cbrt t)))) (log (cbrt t)))
  (+ (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (+ (log (cbrt t)) (log (cbrt t)))) (log (cbrt t)))
  (+ (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log (* (cbrt t) (cbrt t)))) (log (cbrt t)))
  (+ (+ (+ (log (* (* x 18.0) y)) (log z)) (+ (log (cbrt t)) (log (cbrt t)))) (log (cbrt t)))
  (+ (+ (+ (log (* (* x 18.0) y)) (log z)) (log (* (cbrt t) (cbrt t)))) (log (cbrt t)))
  (+ (+ (log (* (* (* x 18.0) y) z)) (+ (log (cbrt t)) (log (cbrt t)))) (log (cbrt t)))
  (+ (+ (log (* (* (* x 18.0) y) z)) (log (* (cbrt t) (cbrt t)))) (log (cbrt t)))
  (+ (log (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))) (log (cbrt t)))
  (log (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)))
  (exp (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)))
  (* (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* t t)) t)
  (* (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) t)
  (* (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 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)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) t)
  (* (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* t t)) t)
  (* (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) t)
  (* (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* t t)) t)
  (* (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) t)
  (* (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))) (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))) t)
  (* (cbrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))) (cbrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))))
  (cbrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)))
  (* (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)) (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))) (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)))
  (sqrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)))
  (sqrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt (sqrt t)))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 1))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (sqrt (cbrt t)))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) 1)
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (+ 1/3 1/3)
  (+ 1 1)
  (* t t)
  (* (cbrt t) (cbrt t))
  (+ 1 1)
  (+ (log (cbrt t)) (log (cbrt t)))
  (log (* (cbrt t) (cbrt t)))
  (exp (* (cbrt t) (cbrt t)))
  (* t t)
  (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (cbrt (* (cbrt t) (cbrt t)))
  (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))
  (sqrt (* (cbrt t) (cbrt t)))
  (sqrt (* (cbrt t) (cbrt t)))
  (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt t) (cbrt t))
  (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* 1 1)
  (* (cbrt t) (cbrt t))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (sqrt (cbrt t)) (cbrt (sqrt t)))
  (* (sqrt (cbrt t)) (cbrt (sqrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt t) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt t) (cbrt (sqrt t)))
  (* (cbrt t) (cbrt 1))
  (* (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (* (cbrt t) (sqrt (cbrt t)))
  (* (cbrt t) 1)
  (* (cbrt (cbrt t)) (cbrt t))
  (* (cbrt (sqrt t)) (cbrt t))
  (* (cbrt t) (cbrt t))
  (* (cbrt (cbrt t)) (cbrt t))
  (* (sqrt (cbrt t)) (cbrt t))
  (* (cbrt t) (cbrt t))
  0
  (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y))))
  (* 18.0 (* (* (pow (cbrt -1) 2) (* x (* z y))) (pow (pow t 2) 1/3)))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (pow t 2/3)
  (pow (/ 1 t) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow t 2) 1/3))
2.705 * * [simplify]: iteration  0 :  477  enodes  (cost  1183 )
2.716 * * [simplify]: iteration  1 :  2777  enodes  (cost  856 )
2.785 * * [simplify]: iteration  2 :  5001  enodes  (cost  778 )
2.789 * [simplify]: Simplified to:
   (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (pow (exp (* (* (* x 18.0) y) z)) (pow t 2/3))
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))) (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))))
  (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (sqrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (sqrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (* (* x 18.0) y) z) (cbrt t))
  (* z (* (cbrt t) (cbrt t)))
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (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 (* 18.0 (* x (* z y))) 3)
  (pow (* 18.0 (* x (* z y))) 3)
  (pow (* 18.0 (* x (* z y))) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* 18.0 (* x (* z y))) 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)
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (+ (* 3 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 3 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 3 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 3 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 3 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 3 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 3 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 3 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 3 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 3 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (pow (exp (* (* (* x 18.0) y) z)) (pow (cbrt t) 3))
  (* (pow t 3) (pow (* 18.0 (* x (* z y))) 3))
  (* (pow t 3) (pow (* 18.0 (* x (* z y))) 3))
  (* (pow t 3) (pow (* 18.0 (* x (* z y))) 3))
  (* (pow t 3) (pow (* 18.0 (* x (* z y))) 3))
  (* (pow t 3) (pow (* 18.0 (* x (* z y))) 3))
  (* (pow t 3) (pow (* 18.0 (* x (* z y))) 3))
  (* (pow t 3) (pow (* 18.0 (* x (* z y))) 3))
  (* (pow t 3) (pow (* 18.0 (* x (* z y))) 3))
  (* (pow t 3) (pow (* 18.0 (* x (* z y))) 3))
  (* (cbrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))) (cbrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))))
  (cbrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)))
  (* (pow t 3) (pow (* 18.0 (* x (* z y))) 3))
  (sqrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)))
  (sqrt (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t)))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt (sqrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (* (* (* (* (* x 18.0) y) z) (cbrt t)) (pow (sqrt (cbrt t)) 3))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  t
  2/3
  2
  (pow t 2)
  (pow t 2/3)
  2
  (* 2/3 (log t))
  (* 2/3 (log t))
  (exp (pow t 2/3))
  (pow t 2)
  (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (cbrt (* (cbrt t) (cbrt t)))
  (pow t 2)
  (fabs (cbrt t))
  (fabs (cbrt t))
  (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  1
  (pow t 2/3)
  (pow (cbrt (cbrt t)) 4)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt t)
  (cbrt t)
  1
  (pow t 2/3)
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (cbrt t)
  (cbrt t)
  2/3
  2
  (* (cbrt t) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt t) (cbrt (sqrt t)))
  (cbrt t)
  (* (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (pow (sqrt (cbrt t)) 3)
  (cbrt t)
  (pow (cbrt (cbrt t)) 4)
  (* (cbrt t) (cbrt (sqrt t)))
  (pow t 2/3)
  (pow (cbrt (cbrt t)) 4)
  (pow (sqrt (cbrt t)) 3)
  (pow t 2/3)
  0
  (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y))))
  (* 18.0 (* (* (pow (cbrt -1) 2) (* x (* z y))) (pow (pow t 2) 1/3)))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (pow t 2/3)
  (pow (/ 1 t) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow t 2) 1/3))
2.790 * * * [progress]: adding candidates to table
3.231 * * [progress]: iteration 4 / 4
3.231 * * * [progress]: picking best candidate
3.259 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>
3.259 * * * [progress]: localizing error
3.290 * * * [progress]: generating rewritten candidates
3.290 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1)
3.381 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
3.403 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
3.404 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2 2)
3.408 * * * [progress]: generating series expansions
3.408 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1)
3.408 * [approximate]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in (x y z t) around 0
3.408 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in t
3.408 * [taylor]: Taking taylor expansion of 18.0 in t
3.408 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* x (* z y))) in t
3.408 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in t
3.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in t
3.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in t
3.408 * [taylor]: Taking taylor expansion of 1/3 in t
3.408 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
3.408 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.408 * [taylor]: Taking taylor expansion of t in t
3.409 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.409 * [taylor]: Taking taylor expansion of x in t
3.409 * [taylor]: Taking taylor expansion of (* z y) in t
3.409 * [taylor]: Taking taylor expansion of z in t
3.409 * [taylor]: Taking taylor expansion of y in t
3.409 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in z
3.409 * [taylor]: Taking taylor expansion of 18.0 in z
3.409 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* x (* z y))) in z
3.409 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in z
3.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in z
3.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in z
3.409 * [taylor]: Taking taylor expansion of 1/3 in z
3.409 * [taylor]: Taking taylor expansion of (log (pow t 2)) in z
3.409 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.409 * [taylor]: Taking taylor expansion of t in z
3.410 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.410 * [taylor]: Taking taylor expansion of x in z
3.410 * [taylor]: Taking taylor expansion of (* z y) in z
3.410 * [taylor]: Taking taylor expansion of z in z
3.410 * [taylor]: Taking taylor expansion of y in z
3.410 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in y
3.410 * [taylor]: Taking taylor expansion of 18.0 in y
3.410 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* x (* z y))) in y
3.410 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in y
3.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in y
3.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in y
3.410 * [taylor]: Taking taylor expansion of 1/3 in y
3.410 * [taylor]: Taking taylor expansion of (log (pow t 2)) in y
3.410 * [taylor]: Taking taylor expansion of (pow t 2) in y
3.410 * [taylor]: Taking taylor expansion of t in y
3.410 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.410 * [taylor]: Taking taylor expansion of x in y
3.410 * [taylor]: Taking taylor expansion of (* z y) in y
3.410 * [taylor]: Taking taylor expansion of z in y
3.410 * [taylor]: Taking taylor expansion of y in y
3.410 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in x
3.410 * [taylor]: Taking taylor expansion of 18.0 in x
3.410 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* x (* z y))) in x
3.410 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in x
3.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in x
3.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in x
3.410 * [taylor]: Taking taylor expansion of 1/3 in x
3.410 * [taylor]: Taking taylor expansion of (log (pow t 2)) in x
3.410 * [taylor]: Taking taylor expansion of (pow t 2) in x
3.410 * [taylor]: Taking taylor expansion of t in x
3.411 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.411 * [taylor]: Taking taylor expansion of x in x
3.411 * [taylor]: Taking taylor expansion of (* z y) in x
3.411 * [taylor]: Taking taylor expansion of z in x
3.411 * [taylor]: Taking taylor expansion of y in x
3.411 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y)))) in x
3.411 * [taylor]: Taking taylor expansion of 18.0 in x
3.411 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* x (* z y))) in x
3.411 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in x
3.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in x
3.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in x
3.411 * [taylor]: Taking taylor expansion of 1/3 in x
3.411 * [taylor]: Taking taylor expansion of (log (pow t 2)) in x
3.411 * [taylor]: Taking taylor expansion of (pow t 2) in x
3.411 * [taylor]: Taking taylor expansion of t in x
3.411 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.411 * [taylor]: Taking taylor expansion of x in x
3.411 * [taylor]: Taking taylor expansion of (* z y) in x
3.411 * [taylor]: Taking taylor expansion of z in x
3.411 * [taylor]: Taking taylor expansion of y in x
3.412 * [taylor]: Taking taylor expansion of 0 in y
3.412 * [taylor]: Taking taylor expansion of 0 in z
3.412 * [taylor]: Taking taylor expansion of 0 in t
3.414 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (pow t 2) 1/3) (* z y))) in y
3.414 * [taylor]: Taking taylor expansion of 18.0 in y
3.414 * [taylor]: Taking taylor expansion of (* (pow (pow t 2) 1/3) (* z y)) in y
3.414 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in y
3.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in y
3.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in y
3.414 * [taylor]: Taking taylor expansion of 1/3 in y
3.414 * [taylor]: Taking taylor expansion of (log (pow t 2)) in y
3.414 * [taylor]: Taking taylor expansion of (pow t 2) in y
3.414 * [taylor]: Taking taylor expansion of t in y
3.415 * [taylor]: Taking taylor expansion of (* z y) in y
3.415 * [taylor]: Taking taylor expansion of z in y
3.415 * [taylor]: Taking taylor expansion of y in y
3.415 * [taylor]: Taking taylor expansion of 0 in z
3.415 * [taylor]: Taking taylor expansion of 0 in t
3.415 * [taylor]: Taking taylor expansion of 0 in z
3.415 * [taylor]: Taking taylor expansion of 0 in t
3.415 * [taylor]: Taking taylor expansion of 0 in t
3.420 * [taylor]: Taking taylor expansion of 0 in y
3.420 * [taylor]: Taking taylor expansion of 0 in z
3.420 * [taylor]: Taking taylor expansion of 0 in t
3.420 * [approximate]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in (x y z t) around 0
3.420 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in t
3.420 * [taylor]: Taking taylor expansion of 18.0 in t
3.420 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y)))) in t
3.420 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
3.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
3.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
3.420 * [taylor]: Taking taylor expansion of 1/3 in t
3.420 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
3.420 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.420 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.420 * [taylor]: Taking taylor expansion of t in t
3.421 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
3.421 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.421 * [taylor]: Taking taylor expansion of x in t
3.421 * [taylor]: Taking taylor expansion of (* z y) in t
3.421 * [taylor]: Taking taylor expansion of z in t
3.421 * [taylor]: Taking taylor expansion of y in t
3.422 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in z
3.422 * [taylor]: Taking taylor expansion of 18.0 in z
3.422 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y)))) in z
3.422 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
3.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
3.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
3.422 * [taylor]: Taking taylor expansion of 1/3 in z
3.422 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
3.422 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
3.422 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.422 * [taylor]: Taking taylor expansion of t in z
3.422 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
3.422 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.422 * [taylor]: Taking taylor expansion of x in z
3.422 * [taylor]: Taking taylor expansion of (* z y) in z
3.422 * [taylor]: Taking taylor expansion of z in z
3.422 * [taylor]: Taking taylor expansion of y in z
3.423 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in y
3.423 * [taylor]: Taking taylor expansion of 18.0 in y
3.423 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y)))) in y
3.423 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
3.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
3.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
3.423 * [taylor]: Taking taylor expansion of 1/3 in y
3.423 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
3.423 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
3.423 * [taylor]: Taking taylor expansion of (pow t 2) in y
3.423 * [taylor]: Taking taylor expansion of t in y
3.423 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
3.423 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.423 * [taylor]: Taking taylor expansion of x in y
3.423 * [taylor]: Taking taylor expansion of (* z y) in y
3.423 * [taylor]: Taking taylor expansion of z in y
3.423 * [taylor]: Taking taylor expansion of y in y
3.424 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in x
3.424 * [taylor]: Taking taylor expansion of 18.0 in x
3.424 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y)))) in x
3.424 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in x
3.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in x
3.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in x
3.424 * [taylor]: Taking taylor expansion of 1/3 in x
3.424 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in x
3.424 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in x
3.424 * [taylor]: Taking taylor expansion of (pow t 2) in x
3.424 * [taylor]: Taking taylor expansion of t in x
3.424 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
3.424 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.425 * [taylor]: Taking taylor expansion of x in x
3.425 * [taylor]: Taking taylor expansion of (* z y) in x
3.425 * [taylor]: Taking taylor expansion of z in x
3.425 * [taylor]: Taking taylor expansion of y in x
3.425 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y))))) in x
3.425 * [taylor]: Taking taylor expansion of 18.0 in x
3.425 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* x (* z y)))) in x
3.425 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in x
3.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in x
3.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in x
3.425 * [taylor]: Taking taylor expansion of 1/3 in x
3.425 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in x
3.425 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in x
3.425 * [taylor]: Taking taylor expansion of (pow t 2) in x
3.425 * [taylor]: Taking taylor expansion of t in x
3.426 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
3.426 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.426 * [taylor]: Taking taylor expansion of x in x
3.426 * [taylor]: Taking taylor expansion of (* z y) in x
3.426 * [taylor]: Taking taylor expansion of z in x
3.426 * [taylor]: Taking taylor expansion of y in x
3.426 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y)))) in y
3.426 * [taylor]: Taking taylor expansion of 18.0 in y
3.426 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 (* z y))) in y
3.426 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
3.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
3.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
3.427 * [taylor]: Taking taylor expansion of 1/3 in y
3.427 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
3.427 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
3.427 * [taylor]: Taking taylor expansion of (pow t 2) in y
3.427 * [taylor]: Taking taylor expansion of t in y
3.427 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.427 * [taylor]: Taking taylor expansion of (* z y) in y
3.427 * [taylor]: Taking taylor expansion of z in y
3.427 * [taylor]: Taking taylor expansion of y in y
3.428 * [taylor]: Taking taylor expansion of (* 18.0 (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 z))) in z
3.428 * [taylor]: Taking taylor expansion of 18.0 in z
3.428 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 2)) 1/3) (/ 1 z)) in z
3.428 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
3.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
3.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
3.428 * [taylor]: Taking taylor expansion of 1/3 in z
3.428 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
3.428 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
3.428 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.428 * [taylor]: Taking taylor expansion of t in z
3.428 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.428 * [taylor]: Taking taylor expansion of z in z
3.429 * [taylor]: Taking taylor expansion of (* 18.0 (pow (/ 1 (pow t 2)) 1/3)) in t
3.429 * [taylor]: Taking taylor expansion of 18.0 in t
3.429 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
3.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
3.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
3.429 * [taylor]: Taking taylor expansion of 1/3 in t
3.429 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
3.429 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.429 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.429 * [taylor]: Taking taylor expansion of t in t
3.433 * [taylor]: Taking taylor expansion of 0 in y
3.436 * [taylor]: Taking taylor expansion of 0 in z
3.439 * [taylor]: Taking taylor expansion of 0 in t
3.450 * [taylor]: Taking taylor expansion of 0 in y
3.450 * [taylor]: Taking taylor expansion of 0 in z
3.455 * [taylor]: Taking taylor expansion of 0 in z
3.455 * [taylor]: Taking taylor expansion of 0 in t
3.459 * [taylor]: Taking taylor expansion of 0 in t
3.464 * [approximate]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in (x y z t) around 0
3.464 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in t
3.464 * [taylor]: Taking taylor expansion of -18.0 in t
3.464 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3)) in t
3.464 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x (* z y))) in t
3.464 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
3.464 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.464 * [taylor]: Taking taylor expansion of -1 in t
3.465 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.465 * [taylor]: Taking taylor expansion of x in t
3.465 * [taylor]: Taking taylor expansion of (* z y) in t
3.465 * [taylor]: Taking taylor expansion of z in t
3.465 * [taylor]: Taking taylor expansion of y in t
3.467 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
3.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
3.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
3.467 * [taylor]: Taking taylor expansion of 1/3 in t
3.467 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
3.467 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.467 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.467 * [taylor]: Taking taylor expansion of t in t
3.468 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in z
3.468 * [taylor]: Taking taylor expansion of -18.0 in z
3.468 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3)) in z
3.468 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x (* z y))) in z
3.468 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
3.468 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.468 * [taylor]: Taking taylor expansion of -1 in z
3.469 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.469 * [taylor]: Taking taylor expansion of x in z
3.469 * [taylor]: Taking taylor expansion of (* z y) in z
3.469 * [taylor]: Taking taylor expansion of z in z
3.469 * [taylor]: Taking taylor expansion of y in z
3.471 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
3.471 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
3.471 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
3.471 * [taylor]: Taking taylor expansion of 1/3 in z
3.471 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
3.471 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
3.471 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.471 * [taylor]: Taking taylor expansion of t in z
3.471 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in y
3.471 * [taylor]: Taking taylor expansion of -18.0 in y
3.471 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3)) in y
3.471 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x (* z y))) in y
3.471 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
3.471 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.471 * [taylor]: Taking taylor expansion of -1 in y
3.472 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.472 * [taylor]: Taking taylor expansion of x in y
3.472 * [taylor]: Taking taylor expansion of (* z y) in y
3.472 * [taylor]: Taking taylor expansion of z in y
3.472 * [taylor]: Taking taylor expansion of y in y
3.474 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
3.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
3.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
3.474 * [taylor]: Taking taylor expansion of 1/3 in y
3.474 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
3.474 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
3.474 * [taylor]: Taking taylor expansion of (pow t 2) in y
3.474 * [taylor]: Taking taylor expansion of t in y
3.475 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in x
3.475 * [taylor]: Taking taylor expansion of -18.0 in x
3.475 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3)) in x
3.475 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x (* z y))) in x
3.475 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
3.475 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.475 * [taylor]: Taking taylor expansion of -1 in x
3.475 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.476 * [taylor]: Taking taylor expansion of x in x
3.476 * [taylor]: Taking taylor expansion of (* z y) in x
3.476 * [taylor]: Taking taylor expansion of z in x
3.476 * [taylor]: Taking taylor expansion of y in x
3.477 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in x
3.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in x
3.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in x
3.477 * [taylor]: Taking taylor expansion of 1/3 in x
3.477 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in x
3.477 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in x
3.478 * [taylor]: Taking taylor expansion of (pow t 2) in x
3.478 * [taylor]: Taking taylor expansion of t in x
3.478 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3))) in x
3.478 * [taylor]: Taking taylor expansion of -18.0 in x
3.478 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x (* z y))) (pow (/ 1 (pow t 2)) 1/3)) in x
3.478 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* x (* z y))) in x
3.478 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
3.478 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.478 * [taylor]: Taking taylor expansion of -1 in x
3.479 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.479 * [taylor]: Taking taylor expansion of x in x
3.479 * [taylor]: Taking taylor expansion of (* z y) in x
3.479 * [taylor]: Taking taylor expansion of z in x
3.479 * [taylor]: Taking taylor expansion of y in x
3.481 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in x
3.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in x
3.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in x
3.481 * [taylor]: Taking taylor expansion of 1/3 in x
3.481 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in x
3.481 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in x
3.481 * [taylor]: Taking taylor expansion of (pow t 2) in x
3.481 * [taylor]: Taking taylor expansion of t in x
3.483 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3))) in y
3.483 * [taylor]: Taking taylor expansion of -18.0 in y
3.483 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* z y)) (pow (/ 1 (pow t 2)) 1/3)) in y
3.483 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (* z y)) in y
3.483 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
3.483 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.483 * [taylor]: Taking taylor expansion of -1 in y
3.484 * [taylor]: Taking taylor expansion of (* z y) in y
3.484 * [taylor]: Taking taylor expansion of z in y
3.484 * [taylor]: Taking taylor expansion of y in y
3.485 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in y
3.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in y
3.485 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in y
3.485 * [taylor]: Taking taylor expansion of 1/3 in y
3.486 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in y
3.486 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in y
3.486 * [taylor]: Taking taylor expansion of (pow t 2) in y
3.486 * [taylor]: Taking taylor expansion of t in y
3.488 * [taylor]: Taking taylor expansion of (* -18.0 (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow t 2)) 1/3))) in z
3.488 * [taylor]: Taking taylor expansion of -18.0 in z
3.488 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) z) (pow (/ 1 (pow t 2)) 1/3)) in z
3.488 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) z) in z
3.488 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
3.488 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.488 * [taylor]: Taking taylor expansion of -1 in z
3.488 * [taylor]: Taking taylor expansion of z in z
3.490 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in z
3.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in z
3.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in z
3.490 * [taylor]: Taking taylor expansion of 1/3 in z
3.490 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in z
3.490 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in z
3.490 * [taylor]: Taking taylor expansion of (pow t 2) in z
3.490 * [taylor]: Taking taylor expansion of t in z
3.492 * [taylor]: Taking taylor expansion of (* -18.0 (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3))) in t
3.492 * [taylor]: Taking taylor expansion of -18.0 in t
3.492 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in t
3.492 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
3.492 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.492 * [taylor]: Taking taylor expansion of -1 in t
3.493 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
3.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
3.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
3.493 * [taylor]: Taking taylor expansion of 1/3 in t
3.493 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
3.493 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.493 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.493 * [taylor]: Taking taylor expansion of t in t
3.503 * [taylor]: Taking taylor expansion of 0 in y
3.508 * [taylor]: Taking taylor expansion of 0 in z
3.513 * [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.536 * [taylor]: Taking taylor expansion of 0 in z
3.537 * [taylor]: Taking taylor expansion of 0 in t
3.544 * [taylor]: Taking taylor expansion of 0 in t
3.552 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1 1)
3.552 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
3.552 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
3.552 * [taylor]: Taking taylor expansion of 18.0 in z
3.552 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.552 * [taylor]: Taking taylor expansion of x in z
3.552 * [taylor]: Taking taylor expansion of (* z y) in z
3.552 * [taylor]: Taking taylor expansion of z in z
3.552 * [taylor]: Taking taylor expansion of y in z
3.552 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
3.552 * [taylor]: Taking taylor expansion of 18.0 in y
3.552 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.552 * [taylor]: Taking taylor expansion of x 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.552 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
3.552 * [taylor]: Taking taylor expansion of 18.0 in x
3.552 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.552 * [taylor]: Taking taylor expansion of x in x
3.552 * [taylor]: Taking taylor expansion of (* z y) in x
3.552 * [taylor]: Taking taylor expansion of z in x
3.552 * [taylor]: Taking taylor expansion of y in x
3.552 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
3.552 * [taylor]: Taking taylor expansion of 18.0 in x
3.552 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.552 * [taylor]: Taking taylor expansion of x in x
3.552 * [taylor]: Taking taylor expansion of (* z y) in x
3.552 * [taylor]: Taking taylor expansion of z in x
3.552 * [taylor]: Taking taylor expansion of y in x
3.553 * [taylor]: Taking taylor expansion of 0 in y
3.553 * [taylor]: Taking taylor expansion of 0 in z
3.553 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
3.553 * [taylor]: Taking taylor expansion of 18.0 in y
3.553 * [taylor]: Taking taylor expansion of (* z y) in y
3.554 * [taylor]: Taking taylor expansion of z in y
3.554 * [taylor]: Taking taylor expansion of y in y
3.554 * [taylor]: Taking taylor expansion of 0 in z
3.554 * [taylor]: Taking taylor expansion of 0 in z
3.555 * [taylor]: Taking taylor expansion of 0 in y
3.555 * [taylor]: Taking taylor expansion of 0 in z
3.556 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
3.556 * [taylor]: Taking taylor expansion of 18.0 in z
3.556 * [taylor]: Taking taylor expansion of z in z
3.556 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
3.556 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
3.556 * [taylor]: Taking taylor expansion of 18.0 in z
3.556 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.556 * [taylor]: Taking taylor expansion of x in z
3.556 * [taylor]: Taking taylor expansion of (* z y) in z
3.556 * [taylor]: Taking taylor expansion of z in z
3.556 * [taylor]: Taking taylor expansion of y in z
3.557 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
3.557 * [taylor]: Taking taylor expansion of 18.0 in y
3.557 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.557 * [taylor]: Taking taylor expansion of x in y
3.557 * [taylor]: Taking taylor expansion of (* z y) in y
3.557 * [taylor]: Taking taylor expansion of z in y
3.557 * [taylor]: Taking taylor expansion of y in y
3.558 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
3.558 * [taylor]: Taking taylor expansion of 18.0 in x
3.558 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.558 * [taylor]: Taking taylor expansion of x in x
3.558 * [taylor]: Taking taylor expansion of (* z y) in x
3.558 * [taylor]: Taking taylor expansion of z in x
3.558 * [taylor]: Taking taylor expansion of y in x
3.558 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
3.558 * [taylor]: Taking taylor expansion of 18.0 in x
3.558 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.558 * [taylor]: Taking taylor expansion of x in x
3.558 * [taylor]: Taking taylor expansion of (* z y) in x
3.558 * [taylor]: Taking taylor expansion of z in x
3.558 * [taylor]: Taking taylor expansion of y in x
3.559 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
3.559 * [taylor]: Taking taylor expansion of 18.0 in y
3.559 * [taylor]: Taking taylor expansion of (* z y) in y
3.559 * [taylor]: Taking taylor expansion of z in y
3.559 * [taylor]: Taking taylor expansion of y in y
3.559 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
3.559 * [taylor]: Taking taylor expansion of 18.0 in z
3.559 * [taylor]: Taking taylor expansion of z in z
3.561 * [taylor]: Taking taylor expansion of 0 in y
3.561 * [taylor]: Taking taylor expansion of 0 in z
3.563 * [taylor]: Taking taylor expansion of 0 in y
3.563 * [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 y
3.566 * [taylor]: Taking taylor expansion of 0 in z
3.566 * [taylor]: Taking taylor expansion of 0 in z
3.567 * [taylor]: Taking taylor expansion of 0 in z
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.568 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
3.568 * [taylor]: Taking taylor expansion of -18.0 in y
3.568 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.568 * [taylor]: Taking taylor expansion of x in y
3.568 * [taylor]: Taking taylor expansion of (* z y) in y
3.568 * [taylor]: Taking taylor expansion of z in y
3.568 * [taylor]: Taking taylor expansion of y in y
3.568 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
3.568 * [taylor]: Taking taylor expansion of -18.0 in x
3.568 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.568 * [taylor]: Taking taylor expansion of x in x
3.568 * [taylor]: Taking taylor expansion of (* z y) in x
3.568 * [taylor]: Taking taylor expansion of z in x
3.569 * [taylor]: Taking taylor expansion of y in x
3.569 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
3.569 * [taylor]: Taking taylor expansion of -18.0 in x
3.569 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.569 * [taylor]: Taking taylor expansion of x in x
3.569 * [taylor]: Taking taylor expansion of (* z y) in x
3.569 * [taylor]: Taking taylor expansion of z in x
3.569 * [taylor]: Taking taylor expansion of y in x
3.569 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
3.569 * [taylor]: Taking taylor expansion of -18.0 in y
3.570 * [taylor]: Taking taylor expansion of (* z y) in y
3.570 * [taylor]: Taking taylor expansion of z in y
3.570 * [taylor]: Taking taylor expansion of y in y
3.570 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
3.570 * [taylor]: Taking taylor expansion of -18.0 in z
3.570 * [taylor]: Taking taylor expansion of z in z
3.571 * [taylor]: Taking taylor expansion of 0 in y
3.572 * [taylor]: Taking taylor expansion of 0 in z
3.573 * [taylor]: Taking taylor expansion of 0 in y
3.573 * [taylor]: Taking taylor expansion of 0 in z
3.574 * [taylor]: Taking taylor expansion of 0 in z
3.576 * [taylor]: Taking taylor expansion of 0 in y
3.577 * [taylor]: Taking taylor expansion of 0 in z
3.577 * [taylor]: Taking taylor expansion of 0 in z
3.577 * [taylor]: Taking taylor expansion of 0 in z
3.577 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
3.577 * [approximate]: Taking taylor expansion of (pow t 1/9) in (t) around 0
3.578 * [taylor]: Taking taylor expansion of (pow t 1/9) in t
3.578 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log t))) in t
3.578 * [taylor]: Taking taylor expansion of (* 1/9 (log t)) in t
3.578 * [taylor]: Taking taylor expansion of 1/9 in t
3.578 * [taylor]: Taking taylor expansion of (log t) in t
3.578 * [taylor]: Taking taylor expansion of t in t
3.578 * [taylor]: Taking taylor expansion of (pow t 1/9) in t
3.578 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log t))) in t
3.578 * [taylor]: Taking taylor expansion of (* 1/9 (log t)) in t
3.578 * [taylor]: Taking taylor expansion of 1/9 in t
3.578 * [taylor]: Taking taylor expansion of (log t) in t
3.578 * [taylor]: Taking taylor expansion of t in t
3.627 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/9) in (t) around 0
3.628 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t
3.628 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t
3.628 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t
3.628 * [taylor]: Taking taylor expansion of 1/9 in t
3.628 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.628 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.628 * [taylor]: Taking taylor expansion of t in t
3.628 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t
3.628 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t
3.628 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t
3.629 * [taylor]: Taking taylor expansion of 1/9 in t
3.629 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.629 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.629 * [taylor]: Taking taylor expansion of t in t
3.678 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 t) 1/9)) in (t) around 0
3.678 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 t) 1/9)) in t
3.678 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in t
3.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in t
3.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in t
3.678 * [taylor]: Taking taylor expansion of 1/3 in t
3.678 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in t
3.678 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.678 * [taylor]: Taking taylor expansion of -1 in t
3.684 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t
3.684 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t
3.684 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t
3.684 * [taylor]: Taking taylor expansion of 1/9 in t
3.684 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.684 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.684 * [taylor]: Taking taylor expansion of t in t
3.685 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 t) 1/9)) in t
3.685 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in t
3.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in t
3.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in t
3.685 * [taylor]: Taking taylor expansion of 1/3 in t
3.685 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in t
3.685 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.685 * [taylor]: Taking taylor expansion of -1 in t
3.688 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t
3.688 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t
3.688 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t
3.688 * [taylor]: Taking taylor expansion of 1/9 in t
3.688 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.688 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.688 * [taylor]: Taking taylor expansion of t in t
3.805 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2 2)
3.805 * [approximate]: Taking taylor expansion of (pow t 1/9) in (t) around 0
3.805 * [taylor]: Taking taylor expansion of (pow t 1/9) in t
3.805 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log t))) in t
3.805 * [taylor]: Taking taylor expansion of (* 1/9 (log t)) in t
3.805 * [taylor]: Taking taylor expansion of 1/9 in t
3.805 * [taylor]: Taking taylor expansion of (log t) in t
3.805 * [taylor]: Taking taylor expansion of t in t
3.805 * [taylor]: Taking taylor expansion of (pow t 1/9) in t
3.805 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log t))) in t
3.805 * [taylor]: Taking taylor expansion of (* 1/9 (log t)) in t
3.805 * [taylor]: Taking taylor expansion of 1/9 in t
3.805 * [taylor]: Taking taylor expansion of (log t) in t
3.805 * [taylor]: Taking taylor expansion of t in t
3.859 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/9) in (t) around 0
3.859 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t
3.859 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t
3.859 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t
3.859 * [taylor]: Taking taylor expansion of 1/9 in t
3.859 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.859 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.859 * [taylor]: Taking taylor expansion of t in t
3.860 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t
3.860 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t
3.860 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t
3.860 * [taylor]: Taking taylor expansion of 1/9 in t
3.860 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.860 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.860 * [taylor]: Taking taylor expansion of t in t
3.915 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 t) 1/9)) in (t) around 0
3.915 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 t) 1/9)) in t
3.915 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in t
3.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in t
3.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in t
3.915 * [taylor]: Taking taylor expansion of 1/3 in t
3.915 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in t
3.915 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.915 * [taylor]: Taking taylor expansion of -1 in t
3.919 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t
3.919 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t
3.919 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t
3.919 * [taylor]: Taking taylor expansion of 1/9 in t
3.919 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.919 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.919 * [taylor]: Taking taylor expansion of t in t
3.920 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 t) 1/9)) in t
3.920 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in t
3.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in t
3.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in t
3.920 * [taylor]: Taking taylor expansion of 1/3 in t
3.920 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in t
3.920 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.920 * [taylor]: Taking taylor expansion of -1 in t
3.923 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t
3.924 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t
3.924 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t
3.924 * [taylor]: Taking taylor expansion of 1/9 in t
3.924 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.924 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.924 * [taylor]: Taking taylor expansion of t in t
4.043 * * * [progress]: simplifying candidates
4.051 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (+ (log (cbrt t)) (log (cbrt t))))
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log (* (cbrt t) (cbrt t))))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (+ (log (cbrt t)) (log (cbrt t))))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log (* (cbrt t) (cbrt t))))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (+ (log (cbrt t)) (log (cbrt t))))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log (* (cbrt t) (cbrt t))))
  (+ (log (* (* (* x 18.0) y) z)) (+ (log (cbrt t)) (log (cbrt t))))
  (+ (log (* (* (* x 18.0) y) z)) (log (* (cbrt t) (cbrt t))))
  (log (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (exp (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* t t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* t t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* t t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* t t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))))
  (* (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))) (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))))
  (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))) (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (sqrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (sqrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (* (* x 18.0) y) z) (cbrt t))
  (* z (* (cbrt t) (cbrt t)))
  (* (* (* 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)
  (log (cbrt (cbrt t)))
  (exp (cbrt (cbrt t)))
  (cbrt (cbrt (* (cbrt t) (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (cbrt (cbrt (sqrt t)))
  (cbrt (cbrt (sqrt t)))
  (cbrt (cbrt 1))
  (cbrt (cbrt t))
  (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (cbrt (sqrt (cbrt t)))
  (cbrt (sqrt (cbrt t)))
  (cbrt 1)
  (cbrt (cbrt t))
  (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)))
  (sqrt (cbrt (cbrt t)))
  (sqrt (cbrt (cbrt t)))
  (log (cbrt (cbrt t)))
  (exp (cbrt (cbrt t)))
  (cbrt (cbrt (* (cbrt t) (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (cbrt (cbrt (sqrt t)))
  (cbrt (cbrt (sqrt t)))
  (cbrt (cbrt 1))
  (cbrt (cbrt t))
  (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (cbrt (sqrt (cbrt t)))
  (cbrt (sqrt (cbrt t)))
  (cbrt 1)
  (cbrt (cbrt t))
  (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)))
  (sqrt (cbrt (cbrt t)))
  (sqrt (cbrt (cbrt t)))
  0
  (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y))))
  (* 18.0 (* (* (pow (cbrt -1) 2) (* x (* z y))) (pow (pow t 2) 1/3)))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (pow t 1/9)
  (pow (/ 1 t) -1/9)
  (* (pow (* -1 t) 1/9) (pow (cbrt -1) 1/3))
  (pow t 1/9)
  (pow (/ 1 t) -1/9)
  (* (pow (* -1 t) 1/9) (pow (cbrt -1) 1/3))
4.057 * * [simplify]: iteration  0 :  348  enodes  (cost  629 )
4.065 * * [simplify]: iteration  1 :  1786  enodes  (cost  488 )
4.109 * * [simplify]: iteration  2 :  5002  enodes  (cost  474 )
4.112 * [simplify]: Simplified to:
   (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (+ (* 2 (log (cbrt t))) (log (* (* (* x 18.0) y) z)))
  (exp (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (* (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))) (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))))
  (cbrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (pow (* 18.0 (* x (* z y))) 3) t) t)
  (sqrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (sqrt (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))))
  (* (* (* (* x 18.0) y) z) (cbrt t))
  (* z (* (cbrt t) (cbrt t)))
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (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 (* 18.0 (* x (* z y))) 3)
  (pow (* 18.0 (* x (* z y))) 3)
  (pow (* 18.0 (* x (* z y))) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* 18.0 (* x (* z y))) 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)
  (log (cbrt (cbrt t)))
  (exp (cbrt (cbrt t)))
  (cbrt (cbrt (* (cbrt t) (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (cbrt (cbrt (sqrt t)))
  (cbrt (cbrt (sqrt t)))
  (cbrt (cbrt 1))
  (cbrt (cbrt t))
  (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (cbrt (sqrt (cbrt t)))
  (cbrt (sqrt (cbrt t)))
  (cbrt 1)
  (cbrt (cbrt t))
  (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (cbrt t)
  (sqrt (cbrt (cbrt t)))
  (sqrt (cbrt (cbrt t)))
  (log (cbrt (cbrt t)))
  (exp (cbrt (cbrt t)))
  (cbrt (cbrt (* (cbrt t) (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (cbrt (cbrt (sqrt t)))
  (cbrt (cbrt (sqrt t)))
  (cbrt (cbrt 1))
  (cbrt (cbrt t))
  (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (cbrt (sqrt (cbrt t)))
  (cbrt (sqrt (cbrt t)))
  (cbrt 1)
  (cbrt (cbrt t))
  (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t))))
  (cbrt (cbrt (cbrt t)))
  (cbrt t)
  (sqrt (cbrt (cbrt t)))
  (sqrt (cbrt (cbrt t)))
  0
  (* 18.0 (* (pow (pow t 2) 1/3) (* x (* z y))))
  (* 18.0 (* (* (pow (cbrt -1) 2) (* x (* z y))) (pow (pow t 2) 1/3)))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (pow t 1/9)
  (pow (/ 1 t) -1/9)
  (* (pow (* -1 t) 1/9) (pow (cbrt -1) 1/3))
  (pow t 1/9)
  (pow (/ 1 t) -1/9)
  (* (pow (* -1 t) 1/9) (pow (cbrt -1) 1/3))
4.112 * * * [progress]: adding candidates to table
4.536 * [progress]: [Phase 3 of 3] Extracting.
4.536 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
4.549 * * * [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)
4.549 * * * * [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) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
4.622 * * * * [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) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
4.669 * * * * [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) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
4.727 * * * * [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) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
4.775 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
4.834 * * * * [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) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
4.908 * * * * [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) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
4.984 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))>)
5.022 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.084 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.160 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.223 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.297 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.361 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.438 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.520 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.604 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.675 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.748 * * * [regime]: Found split indices: #<option (#s(si 4 8) #s(si 6 242) #s(si 1 255))>
5.751 * [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) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.751 * [regimes]: Found splitpoints: (#s(sp 4 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) #s(sp 6 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 1.5411638575168675e+306) #s(sp 1 (- (+ (- (* (* (* (* 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) (* (cbrt t) (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt 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) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt 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) (- (- (+ (- (* 0 (cbrt 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)) (* (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* 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 (* (* j 27.0) k)) (sqrt (* (* j 27.0) k)))))> #<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)))>)
5.751 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (- (- (+ (- (* 0 (cbrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)) (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 1.5411638575168675e+306) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))))
5.752 * * [simplify]: iteration  0 :  68  enodes  (cost  67 )
5.753 * * [simplify]: iteration  1 :  68  enodes  (cost  67 )
5.753 * [simplify]: Simplified to:
   (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (- (- (+ (- (* 0 (cbrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)) (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 1.5411638575168675e+306) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))))
9.261 * [regime-testing]: Baseline error score: 5.621233778629004
9.261 * [regime-testing]: Oracle error score: 0.7494320506528803
9.262 * [regime-testing]: End program error score: 3.2106198995745343
9.307 * [regime-testing]: Target error score: 1.5582336209104044