7.673 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.088 * * * [progress]: [2/2] Setting up program.
0.091 * [progress]: [Phase 2 of 3] Improving.
0.092 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
0.093 * * [simplify]: iteration  0 :  18  enodes  (cost  19 )
0.095 * * [simplify]: iteration  1 :  38  enodes  (cost  19 )
0.100 * * [simplify]: iteration  2 :  119  enodes  (cost  19 )
0.130 * * [simplify]: iteration  3 :  465  enodes  (cost  19 )
0.480 * * [simplify]: iteration  4 :  2000  enodes  (cost  19 )
3.475 * * [simplify]: iteration  done :  5001  enodes  (cost  19 )
3.475 * [simplify]: Simplified to:
   (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
3.475 * * [progress]: iteration 1 / 4
3.476 * * * [progress]: picking best candidate
3.478 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))>
3.478 * * * [progress]: localizing error
3.492 * * * [progress]: generating rewritten candidates
3.492 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
3.501 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
3.529 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.536 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2)
3.545 * * * [progress]: generating series expansions
3.545 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
3.545 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0
3.545 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z
3.545 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.545 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
3.545 * [taylor]: Taking taylor expansion of x in z
3.545 * [taylor]: Taking taylor expansion of (* z y) in z
3.545 * [taylor]: Taking taylor expansion of z in z
3.545 * [taylor]: Taking taylor expansion of y in z
3.546 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y
3.546 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.546 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
3.546 * [taylor]: Taking taylor expansion of x in y
3.546 * [taylor]: Taking taylor expansion of (* z y) in y
3.546 * [taylor]: Taking taylor expansion of z in y
3.546 * [taylor]: Taking taylor expansion of y in y
3.546 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
3.546 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.546 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
3.546 * [taylor]: Taking taylor expansion of x in x
3.546 * [taylor]: Taking taylor expansion of (* z y) in x
3.546 * [taylor]: Taking taylor expansion of z in x
3.546 * [taylor]: Taking taylor expansion of y in x
3.546 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
3.546 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.546 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
3.546 * [taylor]: Taking taylor expansion of x in x
3.546 * [taylor]: Taking taylor expansion of (* z y) in x
3.546 * [taylor]: Taking taylor expansion of z in x
3.546 * [taylor]: Taking taylor expansion of y in x
3.549 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y
3.550 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.550 * [taylor]: Taking taylor expansion of (* z y) in y
3.550 * [taylor]: Taking taylor expansion of z in y
3.550 * [taylor]: Taking taylor expansion of y in y
3.550 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z
3.550 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.550 * [taylor]: Taking taylor expansion of z in z
3.551 * [taylor]: Taking taylor expansion of 0 in y
3.551 * [taylor]: Taking taylor expansion of 0 in z
3.553 * [taylor]: Taking taylor expansion of 0 in y
3.553 * [taylor]: Taking taylor expansion of 0 in z
3.554 * [taylor]: Taking taylor expansion of 0 in z
3.556 * [taylor]: Taking taylor expansion of 0 in y
3.556 * [taylor]: Taking taylor expansion of 0 in z
3.556 * [taylor]: Taking taylor expansion of 0 in z
3.557 * [taylor]: Taking taylor expansion of 0 in z
3.557 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
3.557 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z
3.557 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.557 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
3.557 * [taylor]: Taking taylor expansion of (* z y) in z
3.557 * [taylor]: Taking taylor expansion of z in z
3.557 * [taylor]: Taking taylor expansion of y in z
3.557 * [taylor]: Taking taylor expansion of x in z
3.557 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y
3.557 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.557 * [taylor]: Taking taylor expansion of (/ (* z y) 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.557 * [taylor]: Taking taylor expansion of x in y
3.558 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
3.558 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.558 * [taylor]: Taking taylor expansion of (/ (* z y) 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 x in x
3.558 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
3.558 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.558 * [taylor]: Taking taylor expansion of (/ (* z y) 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 x in x
3.558 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y
3.558 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.558 * [taylor]: Taking taylor expansion of (* z y) in y
3.558 * [taylor]: Taking taylor expansion of z in y
3.558 * [taylor]: Taking taylor expansion of y in y
3.559 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
3.559 * [taylor]: Taking taylor expansion of 0.05555555555555555 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.562 * [taylor]: Taking taylor expansion of 0 in z
3.564 * [taylor]: Taking taylor expansion of 0 in y
3.564 * [taylor]: Taking taylor expansion of 0 in z
3.564 * [taylor]: Taking taylor expansion of 0 in z
3.565 * [taylor]: Taking taylor expansion of 0 in z
3.566 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
3.566 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z
3.566 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
3.566 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
3.566 * [taylor]: Taking taylor expansion of (* z y) in z
3.566 * [taylor]: Taking taylor expansion of z in z
3.566 * [taylor]: Taking taylor expansion of y in z
3.566 * [taylor]: Taking taylor expansion of x in z
3.566 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y
3.566 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
3.566 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
3.566 * [taylor]: Taking taylor expansion of (* z y) in y
3.566 * [taylor]: Taking taylor expansion of z in y
3.566 * [taylor]: Taking taylor expansion of y in y
3.566 * [taylor]: Taking taylor expansion of x in y
3.567 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
3.567 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
3.567 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
3.567 * [taylor]: Taking taylor expansion of (* z y) in x
3.567 * [taylor]: Taking taylor expansion of z in x
3.567 * [taylor]: Taking taylor expansion of y in x
3.567 * [taylor]: Taking taylor expansion of x in x
3.567 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
3.567 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
3.567 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
3.567 * [taylor]: Taking taylor expansion of (* z y) in x
3.567 * [taylor]: Taking taylor expansion of z in x
3.567 * [taylor]: Taking taylor expansion of y in x
3.567 * [taylor]: Taking taylor expansion of x in x
3.567 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y
3.567 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
3.567 * [taylor]: Taking taylor expansion of (* z y) in y
3.567 * [taylor]: Taking taylor expansion of z in y
3.567 * [taylor]: Taking taylor expansion of y in y
3.568 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z
3.568 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
3.568 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.568 * [taylor]: Taking taylor expansion of z in z
3.570 * [taylor]: Taking taylor expansion of 0 in y
3.570 * [taylor]: Taking taylor expansion of 0 in z
3.571 * [taylor]: Taking taylor expansion of 0 in z
3.573 * [taylor]: Taking taylor expansion of 0 in y
3.574 * [taylor]: Taking taylor expansion of 0 in z
3.574 * [taylor]: Taking taylor expansion of 0 in z
3.575 * [taylor]: Taking taylor expansion of 0 in z
3.575 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
3.575 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0
3.575 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t
3.575 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
3.575 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t
3.575 * [taylor]: Taking taylor expansion of (sqrt t) in t
3.575 * [taylor]: Taking taylor expansion of t in t
3.577 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t
3.577 * [taylor]: Taking taylor expansion of x in t
3.577 * [taylor]: Taking taylor expansion of (* z y) in t
3.577 * [taylor]: Taking taylor expansion of z in t
3.577 * [taylor]: Taking taylor expansion of y in t
3.577 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z
3.577 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.577 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z
3.577 * [taylor]: Taking taylor expansion of (sqrt t) in z
3.577 * [taylor]: Taking taylor expansion of t in z
3.577 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
3.577 * [taylor]: Taking taylor expansion of x in z
3.577 * [taylor]: Taking taylor expansion of (* z y) in z
3.577 * [taylor]: Taking taylor expansion of z in z
3.577 * [taylor]: Taking taylor expansion of y in z
3.577 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y
3.577 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.577 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y
3.577 * [taylor]: Taking taylor expansion of (sqrt t) in y
3.577 * [taylor]: Taking taylor expansion of t in y
3.578 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
3.578 * [taylor]: Taking taylor expansion of x in y
3.578 * [taylor]: Taking taylor expansion of (* z y) in y
3.578 * [taylor]: Taking taylor expansion of z in y
3.578 * [taylor]: Taking taylor expansion of y in y
3.578 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
3.578 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.578 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
3.578 * [taylor]: Taking taylor expansion of (sqrt t) in x
3.578 * [taylor]: Taking taylor expansion of t in x
3.578 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
3.578 * [taylor]: Taking taylor expansion of x in x
3.578 * [taylor]: Taking taylor expansion of (* z y) in x
3.578 * [taylor]: Taking taylor expansion of z in x
3.578 * [taylor]: Taking taylor expansion of y in x
3.578 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
3.578 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.578 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
3.578 * [taylor]: Taking taylor expansion of (sqrt t) in x
3.578 * [taylor]: Taking taylor expansion of t in x
3.578 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
3.578 * [taylor]: Taking taylor expansion of x in x
3.578 * [taylor]: Taking taylor expansion of (* z y) in x
3.578 * [taylor]: Taking taylor expansion of z in x
3.578 * [taylor]: Taking taylor expansion of y in x
3.579 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y
3.579 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.579 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y
3.579 * [taylor]: Taking taylor expansion of (sqrt t) in y
3.579 * [taylor]: Taking taylor expansion of t in y
3.579 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.579 * [taylor]: Taking taylor expansion of (* z y) in y
3.579 * [taylor]: Taking taylor expansion of z in y
3.579 * [taylor]: Taking taylor expansion of y in y
3.579 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z
3.579 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.579 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z
3.579 * [taylor]: Taking taylor expansion of (sqrt t) in z
3.579 * [taylor]: Taking taylor expansion of t in z
3.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.579 * [taylor]: Taking taylor expansion of z in z
3.580 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t
3.580 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
3.580 * [taylor]: Taking taylor expansion of (sqrt t) in t
3.580 * [taylor]: Taking taylor expansion of t in t
3.582 * [taylor]: Taking taylor expansion of 0 in y
3.583 * [taylor]: Taking taylor expansion of 0 in z
3.584 * [taylor]: Taking taylor expansion of 0 in t
3.587 * [taylor]: Taking taylor expansion of 0 in y
3.587 * [taylor]: Taking taylor expansion of 0 in z
3.589 * [taylor]: Taking taylor expansion of 0 in z
3.589 * [taylor]: Taking taylor expansion of 0 in t
3.591 * [taylor]: Taking taylor expansion of 0 in t
3.597 * [taylor]: Taking taylor expansion of 0 in y
3.597 * [taylor]: Taking taylor expansion of 0 in z
3.597 * [taylor]: Taking taylor expansion of 0 in z
3.599 * [taylor]: Taking taylor expansion of 0 in z
3.599 * [taylor]: Taking taylor expansion of 0 in t
3.599 * [taylor]: Taking taylor expansion of 0 in t
3.599 * [taylor]: Taking taylor expansion of 0 in t
3.601 * [taylor]: Taking taylor expansion of 0 in t
3.603 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0
3.603 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t
3.603 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
3.603 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t
3.603 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
3.603 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.603 * [taylor]: Taking taylor expansion of t in t
3.604 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t
3.604 * [taylor]: Taking taylor expansion of (* z y) in t
3.604 * [taylor]: Taking taylor expansion of z in t
3.604 * [taylor]: Taking taylor expansion of y in t
3.604 * [taylor]: Taking taylor expansion of x in t
3.604 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z
3.604 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.604 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z
3.604 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
3.604 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.604 * [taylor]: Taking taylor expansion of t in z
3.604 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
3.604 * [taylor]: Taking taylor expansion of (* z y) in z
3.604 * [taylor]: Taking taylor expansion of z in z
3.605 * [taylor]: Taking taylor expansion of y in z
3.605 * [taylor]: Taking taylor expansion of x in z
3.605 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y
3.605 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.605 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y
3.605 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
3.605 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.605 * [taylor]: Taking taylor expansion of t in y
3.605 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
3.605 * [taylor]: Taking taylor expansion of (* z y) in y
3.605 * [taylor]: Taking taylor expansion of z in y
3.605 * [taylor]: Taking taylor expansion of y in y
3.605 * [taylor]: Taking taylor expansion of x in y
3.605 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
3.606 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.606 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
3.606 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
3.606 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.606 * [taylor]: Taking taylor expansion of t in x
3.606 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
3.606 * [taylor]: Taking taylor expansion of (* z y) in x
3.606 * [taylor]: Taking taylor expansion of z in x
3.606 * [taylor]: Taking taylor expansion of y in x
3.606 * [taylor]: Taking taylor expansion of x in x
3.606 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
3.606 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.606 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
3.606 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
3.606 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.606 * [taylor]: Taking taylor expansion of t in x
3.606 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
3.606 * [taylor]: Taking taylor expansion of (* z y) in x
3.606 * [taylor]: Taking taylor expansion of z in x
3.606 * [taylor]: Taking taylor expansion of y in x
3.606 * [taylor]: Taking taylor expansion of x in x
3.606 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y
3.606 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.606 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y
3.606 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
3.607 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.607 * [taylor]: Taking taylor expansion of t in y
3.607 * [taylor]: Taking taylor expansion of (* z y) in y
3.607 * [taylor]: Taking taylor expansion of z in y
3.607 * [taylor]: Taking taylor expansion of y in y
3.608 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z
3.608 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.608 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z
3.608 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
3.608 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.608 * [taylor]: Taking taylor expansion of t in z
3.608 * [taylor]: Taking taylor expansion of z in z
3.609 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t
3.609 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
3.609 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
3.609 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.609 * [taylor]: Taking taylor expansion of t in t
3.611 * [taylor]: Taking taylor expansion of 0 in y
3.612 * [taylor]: Taking taylor expansion of 0 in z
3.612 * [taylor]: Taking taylor expansion of 0 in t
3.613 * [taylor]: Taking taylor expansion of 0 in z
3.613 * [taylor]: Taking taylor expansion of 0 in t
3.615 * [taylor]: Taking taylor expansion of 0 in t
3.619 * [taylor]: Taking taylor expansion of 0 in y
3.619 * [taylor]: Taking taylor expansion of 0 in z
3.619 * [taylor]: Taking taylor expansion of 0 in t
3.619 * [taylor]: Taking taylor expansion of 0 in z
3.619 * [taylor]: Taking taylor expansion of 0 in t
3.621 * [taylor]: Taking taylor expansion of 0 in z
3.621 * [taylor]: Taking taylor expansion of 0 in t
3.621 * [taylor]: Taking taylor expansion of 0 in t
3.621 * [taylor]: Taking taylor expansion of 0 in t
3.623 * [taylor]: Taking taylor expansion of 0 in t
3.631 * [taylor]: Taking taylor expansion of 0 in y
3.631 * [taylor]: Taking taylor expansion of 0 in z
3.631 * [taylor]: Taking taylor expansion of 0 in t
3.631 * [taylor]: Taking taylor expansion of 0 in z
3.631 * [taylor]: Taking taylor expansion of 0 in t
3.631 * [taylor]: Taking taylor expansion of 0 in z
3.631 * [taylor]: Taking taylor expansion of 0 in t
3.634 * [taylor]: Taking taylor expansion of 0 in z
3.634 * [taylor]: Taking taylor expansion of 0 in t
3.634 * [taylor]: Taking taylor expansion of 0 in t
3.634 * [taylor]: Taking taylor expansion of 0 in t
3.634 * [taylor]: Taking taylor expansion of 0 in t
3.634 * [taylor]: Taking taylor expansion of 0 in t
3.634 * [taylor]: Taking taylor expansion of 0 in t
3.639 * [taylor]: Taking taylor expansion of 0 in t
3.640 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0
3.641 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t
3.641 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t
3.641 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t
3.641 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t
3.641 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
3.641 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.641 * [taylor]: Taking taylor expansion of -1 in t
3.641 * [taylor]: Taking taylor expansion of t in t
3.642 * [taylor]: Taking taylor expansion of (* z y) in t
3.642 * [taylor]: Taking taylor expansion of z in t
3.642 * [taylor]: Taking taylor expansion of y in t
3.642 * [taylor]: Taking taylor expansion of x in t
3.643 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z
3.643 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
3.643 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z
3.643 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z
3.643 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
3.643 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.643 * [taylor]: Taking taylor expansion of -1 in z
3.643 * [taylor]: Taking taylor expansion of t in z
3.643 * [taylor]: Taking taylor expansion of (* z y) in z
3.643 * [taylor]: Taking taylor expansion of z in z
3.643 * [taylor]: Taking taylor expansion of y in z
3.643 * [taylor]: Taking taylor expansion of x in z
3.644 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y
3.644 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
3.644 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y
3.644 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
3.644 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
3.644 * [taylor]: Taking taylor expansion of (/ -1 t) in y
3.644 * [taylor]: Taking taylor expansion of -1 in y
3.644 * [taylor]: Taking taylor expansion of t in y
3.644 * [taylor]: Taking taylor expansion of (* z y) in y
3.644 * [taylor]: Taking taylor expansion of z in y
3.644 * [taylor]: Taking taylor expansion of y in y
3.644 * [taylor]: Taking taylor expansion of x in y
3.645 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
3.645 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
3.645 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
3.645 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
3.645 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
3.645 * [taylor]: Taking taylor expansion of (/ -1 t) in x
3.645 * [taylor]: Taking taylor expansion of -1 in x
3.645 * [taylor]: Taking taylor expansion of t in x
3.645 * [taylor]: Taking taylor expansion of (* z y) in x
3.645 * [taylor]: Taking taylor expansion of z in x
3.645 * [taylor]: Taking taylor expansion of y in x
3.645 * [taylor]: Taking taylor expansion of x in x
3.645 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
3.645 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
3.645 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
3.645 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
3.645 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
3.645 * [taylor]: Taking taylor expansion of (/ -1 t) in x
3.645 * [taylor]: Taking taylor expansion of -1 in x
3.645 * [taylor]: Taking taylor expansion of t in x
3.645 * [taylor]: Taking taylor expansion of (* z y) in x
3.646 * [taylor]: Taking taylor expansion of z in x
3.646 * [taylor]: Taking taylor expansion of y in x
3.646 * [taylor]: Taking taylor expansion of x in x
3.646 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y
3.646 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
3.646 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
3.646 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
3.646 * [taylor]: Taking taylor expansion of (/ -1 t) in y
3.646 * [taylor]: Taking taylor expansion of -1 in y
3.646 * [taylor]: Taking taylor expansion of t in y
3.646 * [taylor]: Taking taylor expansion of (* z y) in y
3.646 * [taylor]: Taking taylor expansion of z in y
3.646 * [taylor]: Taking taylor expansion of y in y
3.647 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z
3.647 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z
3.647 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.647 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z
3.647 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
3.647 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.647 * [taylor]: Taking taylor expansion of -1 in z
3.647 * [taylor]: Taking taylor expansion of t in z
3.647 * [taylor]: Taking taylor expansion of z in z
3.648 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t
3.648 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t
3.648 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
3.648 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
3.648 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.648 * [taylor]: Taking taylor expansion of -1 in t
3.648 * [taylor]: Taking taylor expansion of t in t
3.652 * [taylor]: Taking taylor expansion of 0 in y
3.652 * [taylor]: Taking taylor expansion of 0 in z
3.652 * [taylor]: Taking taylor expansion of 0 in t
3.654 * [taylor]: Taking taylor expansion of 0 in z
3.654 * [taylor]: Taking taylor expansion of 0 in t
3.656 * [taylor]: Taking taylor expansion of 0 in t
3.663 * [taylor]: Taking taylor expansion of 0 in y
3.663 * [taylor]: Taking taylor expansion of 0 in z
3.663 * [taylor]: Taking taylor expansion of 0 in t
3.663 * [taylor]: Taking taylor expansion of 0 in z
3.663 * [taylor]: Taking taylor expansion of 0 in t
3.665 * [taylor]: Taking taylor expansion of 0 in z
3.665 * [taylor]: Taking taylor expansion of 0 in t
3.665 * [taylor]: Taking taylor expansion of 0 in t
3.665 * [taylor]: Taking taylor expansion of 0 in t
3.667 * [taylor]: Taking taylor expansion of 0 in t
3.668 * * * * [progress]: [ 3 / 4 ] generating series at (2)
3.669 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in (x y z t) around 0
3.669 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
3.669 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.669 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
3.669 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
3.669 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.669 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
3.669 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
3.669 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.669 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
3.669 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
3.669 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.669 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
3.670 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
3.670 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.670 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
3.670 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
3.670 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.670 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
3.670 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
3.670 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.670 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
3.670 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
3.670 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.670 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
3.671 * [taylor]: Taking taylor expansion of 0 in y
3.671 * [taylor]: Taking taylor expansion of 0 in z
3.671 * [taylor]: Taking taylor expansion of 0 in t
3.672 * [taylor]: Taking taylor expansion of 0 in z
3.672 * [taylor]: Taking taylor expansion of 0 in t
3.672 * [taylor]: Taking taylor expansion of 0 in t
3.673 * [taylor]: Taking taylor expansion of 0 in y
3.673 * [taylor]: Taking taylor expansion of 0 in z
3.673 * [taylor]: Taking taylor expansion of 0 in t
3.673 * [taylor]: Taking taylor expansion of 0 in z
3.673 * [taylor]: Taking taylor expansion of 0 in t
3.674 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in (x y z t) around 0
3.674 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
3.674 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.674 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
3.675 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
3.675 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.675 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
3.675 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
3.675 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.675 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
3.675 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
3.675 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.675 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
3.675 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
3.675 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.675 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
3.676 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
3.676 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.676 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
3.676 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
3.676 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.676 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
3.676 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
3.676 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.676 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
3.677 * [taylor]: Taking taylor expansion of 0 in y
3.677 * [taylor]: Taking taylor expansion of 0 in z
3.677 * [taylor]: Taking taylor expansion of 0 in t
3.678 * [taylor]: Taking taylor expansion of 0 in z
3.678 * [taylor]: Taking taylor expansion of 0 in t
3.678 * [taylor]: Taking taylor expansion of 0 in t
3.679 * [taylor]: Taking taylor expansion of 0 in y
3.679 * [taylor]: Taking taylor expansion of 0 in z
3.679 * [taylor]: Taking taylor expansion of 0 in t
3.679 * [taylor]: Taking taylor expansion of 0 in z
3.679 * [taylor]: Taking taylor expansion of 0 in t
3.680 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in (x y z t) around 0
3.680 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
3.680 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.680 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
3.680 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
3.680 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.680 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
3.680 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
3.680 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.681 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
3.681 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
3.681 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.681 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
3.681 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
3.681 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.681 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
3.681 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
3.681 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.681 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
3.681 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
3.681 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.681 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
3.682 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
3.682 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.682 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
3.683 * [taylor]: Taking taylor expansion of 0 in y
3.683 * [taylor]: Taking taylor expansion of 0 in z
3.683 * [taylor]: Taking taylor expansion of 0 in t
3.683 * [taylor]: Taking taylor expansion of 0 in z
3.683 * [taylor]: Taking taylor expansion of 0 in t
3.684 * [taylor]: Taking taylor expansion of 0 in t
3.685 * [taylor]: Taking taylor expansion of 0 in y
3.685 * [taylor]: Taking taylor expansion of 0 in z
3.685 * [taylor]: Taking taylor expansion of 0 in t
3.685 * [taylor]: Taking taylor expansion of 0 in z
3.685 * [taylor]: Taking taylor expansion of 0 in t
3.685 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2)
3.685 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in (x y) around 0
3.685 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in y
3.685 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.685 * [taylor]: Taking taylor expansion of (/ x y) in y
3.685 * [taylor]: Taking taylor expansion of x in y
3.685 * [taylor]: Taking taylor expansion of y in y
3.685 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x
3.685 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.685 * [taylor]: Taking taylor expansion of (/ x y) in x
3.685 * [taylor]: Taking taylor expansion of x in x
3.685 * [taylor]: Taking taylor expansion of y in x
3.686 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x
3.686 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.686 * [taylor]: Taking taylor expansion of (/ x y) in x
3.686 * [taylor]: Taking taylor expansion of x in x
3.686 * [taylor]: Taking taylor expansion of y in x
3.686 * [taylor]: Taking taylor expansion of (/ 0.037037037037037035 y) in y
3.686 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.686 * [taylor]: Taking taylor expansion of y in y
3.686 * [taylor]: Taking taylor expansion of 0 in y
3.688 * [taylor]: Taking taylor expansion of 0 in y
3.689 * [taylor]: Taking taylor expansion of 0 in y
3.690 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0
3.690 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y
3.690 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.690 * [taylor]: Taking taylor expansion of (/ y x) in y
3.690 * [taylor]: Taking taylor expansion of y in y
3.690 * [taylor]: Taking taylor expansion of x in y
3.690 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
3.690 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.690 * [taylor]: Taking taylor expansion of (/ y x) in x
3.690 * [taylor]: Taking taylor expansion of y in x
3.690 * [taylor]: Taking taylor expansion of x in x
3.690 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
3.690 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.690 * [taylor]: Taking taylor expansion of (/ y x) in x
3.690 * [taylor]: Taking taylor expansion of y in x
3.690 * [taylor]: Taking taylor expansion of x in x
3.690 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y
3.690 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.690 * [taylor]: Taking taylor expansion of y in y
3.692 * [taylor]: Taking taylor expansion of 0 in y
3.694 * [taylor]: Taking taylor expansion of 0 in y
3.696 * [taylor]: Taking taylor expansion of 0 in y
3.697 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0
3.697 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y
3.697 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.697 * [taylor]: Taking taylor expansion of (/ y x) in y
3.697 * [taylor]: Taking taylor expansion of y in y
3.697 * [taylor]: Taking taylor expansion of x in y
3.697 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
3.697 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.697 * [taylor]: Taking taylor expansion of (/ y x) in x
3.697 * [taylor]: Taking taylor expansion of y in x
3.697 * [taylor]: Taking taylor expansion of x in x
3.697 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
3.697 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.697 * [taylor]: Taking taylor expansion of (/ y x) in x
3.697 * [taylor]: Taking taylor expansion of y in x
3.697 * [taylor]: Taking taylor expansion of x in x
3.697 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y
3.697 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.697 * [taylor]: Taking taylor expansion of y in y
3.699 * [taylor]: Taking taylor expansion of 0 in y
3.701 * [taylor]: Taking taylor expansion of 0 in y
3.704 * [taylor]: Taking taylor expansion of 0 in y
3.704 * * * [progress]: simplifying candidates
3.706 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0)))
  (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0)))
  (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0)))
  (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))))
  (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (* 3.0 (/ x (* y 27.0))))
  (- (* z 2.0))
  (/ 3.0 z)
  (/ (/ x (* y 27.0)) 2.0)
  (/ 1 (* z 2.0))
  (/ (* z 2.0) (* 3.0 (/ x (* y 27.0))))
  (/ (* 3.0 (/ x (* y 27.0))) z)
  (/ (* z 2.0) (/ x (* y 27.0)))
  (* (* z 2.0) (* y 27.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (* (cbrt t) (cbrt t))))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt 1))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 1)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (/ (/ x (* y 27.0)) 2.0) (sqrt t))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (* (/ 1 (* z 2.0)) (sqrt t))
  (* (* 3.0 (/ x (* y 27.0))) (sqrt t))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (+ (- (log 1.0) (log 3.0)) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (+ (log (/ 1.0 3.0)) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (exp (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 3.0 3.0) 3.0)) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (* (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0)) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (* (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ 1.0 3.0) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (* (/ 1.0 3.0) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ 1.0 3.0) 1)
  (* (cbrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (sqrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (- (log x) (+ (log y) (log 27.0)))
  (- (log x) (log (* y 27.0)))
  (log (/ x (* y 27.0)))
  (exp (/ x (* y 27.0)))
  (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))
  (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))
  (* (cbrt (/ x (* y 27.0))) (cbrt (/ x (* y 27.0))))
  (cbrt (/ x (* y 27.0)))
  (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))
  (sqrt (/ x (* y 27.0)))
  (sqrt (/ x (* y 27.0)))
  (- x)
  (- (* y 27.0))
  (/ (* (cbrt x) (cbrt x)) y)
  (/ (cbrt x) 27.0)
  (/ (sqrt x) y)
  (/ (sqrt x) 27.0)
  (/ 1 y)
  (/ x 27.0)
  (/ 1 (* y 27.0))
  (/ (* y 27.0) x)
  (/ x y)
  (/ (* y 27.0) (cbrt x))
  (/ (* y 27.0) (sqrt x))
  (/ (* y 27.0) x)
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (- (+ (* +nan.0 (/ (* t x) (* z y))) (- (* +nan.0 (/ (* (pow t 2) x) (* z y))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
3.714 * * [simplify]: iteration  0 :  248  enodes  (cost  2653 )
3.761 * * [simplify]: iteration  1 :  722  enodes  (cost  2537 )
4.088 * * [simplify]: iteration  2 :  3294  enodes  (cost  1945 )
4.795 * * [simplify]: iteration  done :  5000  enodes  (cost  1945 )
4.796 * [simplify]: Simplified to:
   (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))))
  (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (* 3.0 (/ x (* y 27.0))))
  (- (* z 2.0))
  (/ 3.0 z)
  (/ (/ x (* y 27.0)) 2.0)
  (/ 1 (* z 2.0))
  (/ (* z 2.0) (* 3.0 (/ x (* y 27.0))))
  (/ (* 3.0 (/ x (* y 27.0))) z)
  (* 2.0 (/ z (/ x (* y 27.0))))
  (* (* z 2.0) (* y 27.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (/ (* (* 3.0 (/ x (* y 27.0))) (fabs (cbrt t))) (* z 2.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0)
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (/ (/ x (* y 27.0)) 2.0) (sqrt t))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (/ (sqrt t) (* z 2.0))
  (* (* 3.0 (/ x (* y 27.0))) (sqrt t))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (exp (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3)
  (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3)
  (* (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3)
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ 1.0 3.0) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (* (/ 1.0 3.0) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ 1.0 3.0)
  (* (cbrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (sqrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)
  (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (log (/ x (* y 27.0)))
  (log (/ x (* y 27.0)))
  (log (/ x (* y 27.0)))
  (exp (/ x (* y 27.0)))
  (pow (/ x (* y 27.0)) 3)
  (pow (/ x (* y 27.0)) 3)
  (* (cbrt (/ x (* y 27.0))) (cbrt (/ x (* y 27.0))))
  (cbrt (/ x (* y 27.0)))
  (pow (/ x (* y 27.0)) 3)
  (sqrt (/ x (* y 27.0)))
  (sqrt (/ x (* y 27.0)))
  (- x)
  (- (* y 27.0))
  (/ (* (cbrt x) (cbrt x)) y)
  (/ (cbrt x) 27.0)
  (/ (sqrt x) y)
  (/ (sqrt x) 27.0)
  (/ 1 y)
  (/ x 27.0)
  (/ 1 (* y 27.0))
  (/ (* y 27.0) x)
  (/ x y)
  (/ (* y 27.0) (cbrt x))
  (/ (* y 27.0) (sqrt x))
  (/ (* y 27.0) x)
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (- (* +nan.0 (- (/ (* t x) (* z y)) (/ (* (pow t 2) x) (* z y)))))
  (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y))))))
  (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
4.797 * * * [progress]: adding candidates to table
5.098 * * [progress]: iteration 2 / 4
5.098 * * * [progress]: picking best candidate
5.104 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>
5.104 * * * [progress]: localizing error
5.126 * * * [progress]: generating rewritten candidates
5.126 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
5.134 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
5.163 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
5.167 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
5.195 * * * [progress]: generating series expansions
5.195 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
5.195 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0
5.195 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z
5.195 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.195 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
5.195 * [taylor]: Taking taylor expansion of x in z
5.195 * [taylor]: Taking taylor expansion of (* z y) in z
5.195 * [taylor]: Taking taylor expansion of z in z
5.195 * [taylor]: Taking taylor expansion of y in z
5.196 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y
5.196 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
5.196 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
5.196 * [taylor]: Taking taylor expansion of x in y
5.196 * [taylor]: Taking taylor expansion of (* z y) in y
5.196 * [taylor]: Taking taylor expansion of z in y
5.197 * [taylor]: Taking taylor expansion of y in y
5.197 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
5.197 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
5.197 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
5.197 * [taylor]: Taking taylor expansion of x in x
5.197 * [taylor]: Taking taylor expansion of (* z y) in x
5.197 * [taylor]: Taking taylor expansion of z in x
5.197 * [taylor]: Taking taylor expansion of y in x
5.197 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
5.197 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
5.197 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
5.197 * [taylor]: Taking taylor expansion of x in x
5.197 * [taylor]: Taking taylor expansion of (* z y) in x
5.197 * [taylor]: Taking taylor expansion of z in x
5.197 * [taylor]: Taking taylor expansion of y in x
5.197 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y
5.197 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
5.197 * [taylor]: Taking taylor expansion of (* z y) in y
5.197 * [taylor]: Taking taylor expansion of z in y
5.197 * [taylor]: Taking taylor expansion of y in y
5.198 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z
5.198 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.198 * [taylor]: Taking taylor expansion of z in z
5.199 * [taylor]: Taking taylor expansion of 0 in y
5.199 * [taylor]: Taking taylor expansion of 0 in z
5.201 * [taylor]: Taking taylor expansion of 0 in y
5.201 * [taylor]: Taking taylor expansion of 0 in z
5.202 * [taylor]: Taking taylor expansion of 0 in z
5.204 * [taylor]: Taking taylor expansion of 0 in y
5.204 * [taylor]: Taking taylor expansion of 0 in z
5.204 * [taylor]: Taking taylor expansion of 0 in z
5.205 * [taylor]: Taking taylor expansion of 0 in z
5.205 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
5.205 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z
5.205 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.205 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
5.205 * [taylor]: Taking taylor expansion of (* z y) in z
5.205 * [taylor]: Taking taylor expansion of z in z
5.205 * [taylor]: Taking taylor expansion of y in z
5.205 * [taylor]: Taking taylor expansion of x in z
5.205 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y
5.205 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
5.205 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
5.205 * [taylor]: Taking taylor expansion of (* z y) in y
5.205 * [taylor]: Taking taylor expansion of z in y
5.205 * [taylor]: Taking taylor expansion of y in y
5.205 * [taylor]: Taking taylor expansion of x in y
5.206 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
5.206 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
5.206 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
5.206 * [taylor]: Taking taylor expansion of (* z y) in x
5.206 * [taylor]: Taking taylor expansion of z in x
5.206 * [taylor]: Taking taylor expansion of y in x
5.206 * [taylor]: Taking taylor expansion of x in x
5.206 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
5.206 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
5.206 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
5.206 * [taylor]: Taking taylor expansion of (* z y) in x
5.206 * [taylor]: Taking taylor expansion of z in x
5.206 * [taylor]: Taking taylor expansion of y in x
5.206 * [taylor]: Taking taylor expansion of x in x
5.206 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y
5.206 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
5.206 * [taylor]: Taking taylor expansion of (* z y) in y
5.206 * [taylor]: Taking taylor expansion of z in y
5.206 * [taylor]: Taking taylor expansion of y in y
5.207 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
5.207 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.207 * [taylor]: Taking taylor expansion of z in z
5.209 * [taylor]: Taking taylor expansion of 0 in y
5.209 * [taylor]: Taking taylor expansion of 0 in z
5.210 * [taylor]: Taking taylor expansion of 0 in z
5.212 * [taylor]: Taking taylor expansion of 0 in y
5.212 * [taylor]: Taking taylor expansion of 0 in z
5.212 * [taylor]: Taking taylor expansion of 0 in z
5.213 * [taylor]: Taking taylor expansion of 0 in z
5.214 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
5.214 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z
5.214 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
5.214 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
5.214 * [taylor]: Taking taylor expansion of (* z y) in z
5.214 * [taylor]: Taking taylor expansion of z in z
5.214 * [taylor]: Taking taylor expansion of y in z
5.214 * [taylor]: Taking taylor expansion of x in z
5.214 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y
5.214 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
5.214 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
5.214 * [taylor]: Taking taylor expansion of (* z y) in y
5.214 * [taylor]: Taking taylor expansion of z in y
5.214 * [taylor]: Taking taylor expansion of y in y
5.214 * [taylor]: Taking taylor expansion of x in y
5.215 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
5.215 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
5.215 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
5.215 * [taylor]: Taking taylor expansion of (* z y) in x
5.215 * [taylor]: Taking taylor expansion of z in x
5.215 * [taylor]: Taking taylor expansion of y in x
5.215 * [taylor]: Taking taylor expansion of x in x
5.215 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
5.215 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
5.215 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
5.215 * [taylor]: Taking taylor expansion of (* z y) in x
5.215 * [taylor]: Taking taylor expansion of z in x
5.215 * [taylor]: Taking taylor expansion of y in x
5.215 * [taylor]: Taking taylor expansion of x in x
5.215 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y
5.215 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
5.215 * [taylor]: Taking taylor expansion of (* z y) in y
5.215 * [taylor]: Taking taylor expansion of z in y
5.215 * [taylor]: Taking taylor expansion of y in y
5.216 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z
5.216 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
5.216 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.216 * [taylor]: Taking taylor expansion of z in z
5.218 * [taylor]: Taking taylor expansion of 0 in y
5.218 * [taylor]: Taking taylor expansion of 0 in z
5.219 * [taylor]: Taking taylor expansion of 0 in z
5.222 * [taylor]: Taking taylor expansion of 0 in y
5.222 * [taylor]: Taking taylor expansion of 0 in z
5.222 * [taylor]: Taking taylor expansion of 0 in z
5.223 * [taylor]: Taking taylor expansion of 0 in z
5.223 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
5.223 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0
5.223 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t
5.223 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
5.223 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t
5.224 * [taylor]: Taking taylor expansion of (sqrt t) in t
5.224 * [taylor]: Taking taylor expansion of t in t
5.225 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t
5.225 * [taylor]: Taking taylor expansion of x in t
5.225 * [taylor]: Taking taylor expansion of (* z y) in t
5.225 * [taylor]: Taking taylor expansion of z in t
5.225 * [taylor]: Taking taylor expansion of y in t
5.225 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z
5.225 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.225 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z
5.225 * [taylor]: Taking taylor expansion of (sqrt t) in z
5.225 * [taylor]: Taking taylor expansion of t in z
5.225 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
5.225 * [taylor]: Taking taylor expansion of x in z
5.225 * [taylor]: Taking taylor expansion of (* z y) in z
5.225 * [taylor]: Taking taylor expansion of z in z
5.225 * [taylor]: Taking taylor expansion of y in z
5.225 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y
5.225 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
5.226 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y
5.226 * [taylor]: Taking taylor expansion of (sqrt t) in y
5.226 * [taylor]: Taking taylor expansion of t in y
5.226 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
5.226 * [taylor]: Taking taylor expansion of x in y
5.226 * [taylor]: Taking taylor expansion of (* z y) in y
5.226 * [taylor]: Taking taylor expansion of z in y
5.226 * [taylor]: Taking taylor expansion of y in y
5.226 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
5.226 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
5.226 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
5.226 * [taylor]: Taking taylor expansion of (sqrt t) in x
5.226 * [taylor]: Taking taylor expansion of t in x
5.226 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
5.226 * [taylor]: Taking taylor expansion of x in x
5.226 * [taylor]: Taking taylor expansion of (* z y) in x
5.226 * [taylor]: Taking taylor expansion of z in x
5.226 * [taylor]: Taking taylor expansion of y in x
5.226 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
5.226 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
5.226 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
5.226 * [taylor]: Taking taylor expansion of (sqrt t) in x
5.226 * [taylor]: Taking taylor expansion of t in x
5.226 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
5.226 * [taylor]: Taking taylor expansion of x in x
5.226 * [taylor]: Taking taylor expansion of (* z y) in x
5.226 * [taylor]: Taking taylor expansion of z in x
5.227 * [taylor]: Taking taylor expansion of y in x
5.227 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y
5.227 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
5.227 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y
5.227 * [taylor]: Taking taylor expansion of (sqrt t) in y
5.227 * [taylor]: Taking taylor expansion of t in y
5.227 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
5.227 * [taylor]: Taking taylor expansion of (* z y) in y
5.227 * [taylor]: Taking taylor expansion of z in y
5.227 * [taylor]: Taking taylor expansion of y in y
5.227 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z
5.227 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.227 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z
5.227 * [taylor]: Taking taylor expansion of (sqrt t) in z
5.227 * [taylor]: Taking taylor expansion of t in z
5.228 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.228 * [taylor]: Taking taylor expansion of z in z
5.228 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t
5.228 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
5.228 * [taylor]: Taking taylor expansion of (sqrt t) in t
5.228 * [taylor]: Taking taylor expansion of t in t
5.230 * [taylor]: Taking taylor expansion of 0 in y
5.231 * [taylor]: Taking taylor expansion of 0 in z
5.232 * [taylor]: Taking taylor expansion of 0 in t
5.235 * [taylor]: Taking taylor expansion of 0 in y
5.235 * [taylor]: Taking taylor expansion of 0 in z
5.237 * [taylor]: Taking taylor expansion of 0 in z
5.237 * [taylor]: Taking taylor expansion of 0 in t
5.239 * [taylor]: Taking taylor expansion of 0 in t
5.245 * [taylor]: Taking taylor expansion of 0 in y
5.245 * [taylor]: Taking taylor expansion of 0 in z
5.245 * [taylor]: Taking taylor expansion of 0 in z
5.248 * [taylor]: Taking taylor expansion of 0 in z
5.248 * [taylor]: Taking taylor expansion of 0 in t
5.248 * [taylor]: Taking taylor expansion of 0 in t
5.248 * [taylor]: Taking taylor expansion of 0 in t
5.250 * [taylor]: Taking taylor expansion of 0 in t
5.252 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0
5.252 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t
5.252 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
5.252 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t
5.252 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
5.252 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.252 * [taylor]: Taking taylor expansion of t in t
5.253 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t
5.253 * [taylor]: Taking taylor expansion of (* z y) in t
5.253 * [taylor]: Taking taylor expansion of z in t
5.253 * [taylor]: Taking taylor expansion of y in t
5.253 * [taylor]: Taking taylor expansion of x in t
5.253 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z
5.253 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.253 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z
5.253 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
5.253 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.253 * [taylor]: Taking taylor expansion of t in z
5.253 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
5.253 * [taylor]: Taking taylor expansion of (* z y) in z
5.253 * [taylor]: Taking taylor expansion of z in z
5.254 * [taylor]: Taking taylor expansion of y in z
5.254 * [taylor]: Taking taylor expansion of x in z
5.254 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y
5.254 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
5.254 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y
5.254 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
5.254 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.254 * [taylor]: Taking taylor expansion of t in y
5.254 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
5.254 * [taylor]: Taking taylor expansion of (* z y) in y
5.254 * [taylor]: Taking taylor expansion of z in y
5.254 * [taylor]: Taking taylor expansion of y in y
5.254 * [taylor]: Taking taylor expansion of x in y
5.254 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
5.255 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
5.255 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
5.255 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
5.255 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.255 * [taylor]: Taking taylor expansion of t in x
5.255 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
5.255 * [taylor]: Taking taylor expansion of (* z y) in x
5.255 * [taylor]: Taking taylor expansion of z in x
5.255 * [taylor]: Taking taylor expansion of y in x
5.255 * [taylor]: Taking taylor expansion of x in x
5.255 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
5.255 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
5.255 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
5.255 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
5.255 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.255 * [taylor]: Taking taylor expansion of t in x
5.255 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
5.255 * [taylor]: Taking taylor expansion of (* z y) in x
5.255 * [taylor]: Taking taylor expansion of z in x
5.255 * [taylor]: Taking taylor expansion of y in x
5.255 * [taylor]: Taking taylor expansion of x in x
5.255 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y
5.255 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
5.255 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y
5.255 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
5.256 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.256 * [taylor]: Taking taylor expansion of t in y
5.256 * [taylor]: Taking taylor expansion of (* z y) in y
5.256 * [taylor]: Taking taylor expansion of z in y
5.256 * [taylor]: Taking taylor expansion of y in y
5.257 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z
5.257 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.257 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z
5.257 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
5.257 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.257 * [taylor]: Taking taylor expansion of t in z
5.257 * [taylor]: Taking taylor expansion of z in z
5.262 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t
5.262 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
5.262 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
5.262 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.262 * [taylor]: Taking taylor expansion of t in t
5.264 * [taylor]: Taking taylor expansion of 0 in y
5.264 * [taylor]: Taking taylor expansion of 0 in z
5.265 * [taylor]: Taking taylor expansion of 0 in t
5.266 * [taylor]: Taking taylor expansion of 0 in z
5.266 * [taylor]: Taking taylor expansion of 0 in t
5.268 * [taylor]: Taking taylor expansion of 0 in t
5.272 * [taylor]: Taking taylor expansion of 0 in y
5.272 * [taylor]: Taking taylor expansion of 0 in z
5.272 * [taylor]: Taking taylor expansion of 0 in t
5.272 * [taylor]: Taking taylor expansion of 0 in z
5.272 * [taylor]: Taking taylor expansion of 0 in t
5.274 * [taylor]: Taking taylor expansion of 0 in z
5.274 * [taylor]: Taking taylor expansion of 0 in t
5.274 * [taylor]: Taking taylor expansion of 0 in t
5.274 * [taylor]: Taking taylor expansion of 0 in t
5.276 * [taylor]: Taking taylor expansion of 0 in t
5.284 * [taylor]: Taking taylor expansion of 0 in y
5.284 * [taylor]: Taking taylor expansion of 0 in z
5.284 * [taylor]: Taking taylor expansion of 0 in t
5.284 * [taylor]: Taking taylor expansion of 0 in z
5.284 * [taylor]: Taking taylor expansion of 0 in t
5.284 * [taylor]: Taking taylor expansion of 0 in z
5.284 * [taylor]: Taking taylor expansion of 0 in t
5.287 * [taylor]: Taking taylor expansion of 0 in z
5.287 * [taylor]: Taking taylor expansion of 0 in t
5.287 * [taylor]: Taking taylor expansion of 0 in t
5.287 * [taylor]: Taking taylor expansion of 0 in t
5.287 * [taylor]: Taking taylor expansion of 0 in t
5.287 * [taylor]: Taking taylor expansion of 0 in t
5.287 * [taylor]: Taking taylor expansion of 0 in t
5.290 * [taylor]: Taking taylor expansion of 0 in t
5.291 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0
5.291 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t
5.291 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t
5.291 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t
5.291 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t
5.291 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
5.291 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.291 * [taylor]: Taking taylor expansion of -1 in t
5.291 * [taylor]: Taking taylor expansion of t in t
5.292 * [taylor]: Taking taylor expansion of (* z y) in t
5.292 * [taylor]: Taking taylor expansion of z in t
5.292 * [taylor]: Taking taylor expansion of y in t
5.292 * [taylor]: Taking taylor expansion of x in t
5.293 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z
5.293 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
5.293 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z
5.293 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z
5.293 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
5.293 * [taylor]: Taking taylor expansion of (/ -1 t) in z
5.293 * [taylor]: Taking taylor expansion of -1 in z
5.293 * [taylor]: Taking taylor expansion of t in z
5.293 * [taylor]: Taking taylor expansion of (* z y) in z
5.293 * [taylor]: Taking taylor expansion of z in z
5.293 * [taylor]: Taking taylor expansion of y in z
5.293 * [taylor]: Taking taylor expansion of x in z
5.294 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y
5.294 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
5.294 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y
5.294 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
5.294 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
5.294 * [taylor]: Taking taylor expansion of (/ -1 t) in y
5.294 * [taylor]: Taking taylor expansion of -1 in y
5.294 * [taylor]: Taking taylor expansion of t in y
5.294 * [taylor]: Taking taylor expansion of (* z y) in y
5.294 * [taylor]: Taking taylor expansion of z in y
5.294 * [taylor]: Taking taylor expansion of y in y
5.294 * [taylor]: Taking taylor expansion of x in y
5.295 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
5.295 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
5.295 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
5.295 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
5.295 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
5.295 * [taylor]: Taking taylor expansion of (/ -1 t) in x
5.295 * [taylor]: Taking taylor expansion of -1 in x
5.295 * [taylor]: Taking taylor expansion of t in x
5.295 * [taylor]: Taking taylor expansion of (* z y) in x
5.295 * [taylor]: Taking taylor expansion of z in x
5.295 * [taylor]: Taking taylor expansion of y in x
5.295 * [taylor]: Taking taylor expansion of x in x
5.295 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
5.295 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
5.295 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
5.295 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
5.295 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
5.296 * [taylor]: Taking taylor expansion of (/ -1 t) in x
5.296 * [taylor]: Taking taylor expansion of -1 in x
5.296 * [taylor]: Taking taylor expansion of t in x
5.296 * [taylor]: Taking taylor expansion of (* z y) in x
5.296 * [taylor]: Taking taylor expansion of z in x
5.296 * [taylor]: Taking taylor expansion of y in x
5.296 * [taylor]: Taking taylor expansion of x in x
5.296 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y
5.296 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
5.296 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
5.296 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
5.296 * [taylor]: Taking taylor expansion of (/ -1 t) in y
5.296 * [taylor]: Taking taylor expansion of -1 in y
5.296 * [taylor]: Taking taylor expansion of t in y
5.296 * [taylor]: Taking taylor expansion of (* z y) in y
5.296 * [taylor]: Taking taylor expansion of z in y
5.296 * [taylor]: Taking taylor expansion of y in y
5.297 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z
5.297 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z
5.297 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.297 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z
5.297 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
5.297 * [taylor]: Taking taylor expansion of (/ -1 t) in z
5.297 * [taylor]: Taking taylor expansion of -1 in z
5.297 * [taylor]: Taking taylor expansion of t in z
5.298 * [taylor]: Taking taylor expansion of z in z
5.298 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t
5.298 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t
5.298 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
5.298 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
5.298 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.298 * [taylor]: Taking taylor expansion of -1 in t
5.298 * [taylor]: Taking taylor expansion of t in t
5.302 * [taylor]: Taking taylor expansion of 0 in y
5.302 * [taylor]: Taking taylor expansion of 0 in z
5.302 * [taylor]: Taking taylor expansion of 0 in t
5.304 * [taylor]: Taking taylor expansion of 0 in z
5.304 * [taylor]: Taking taylor expansion of 0 in t
5.306 * [taylor]: Taking taylor expansion of 0 in t
5.313 * [taylor]: Taking taylor expansion of 0 in y
5.313 * [taylor]: Taking taylor expansion of 0 in z
5.313 * [taylor]: Taking taylor expansion of 0 in t
5.313 * [taylor]: Taking taylor expansion of 0 in z
5.313 * [taylor]: Taking taylor expansion of 0 in t
5.316 * [taylor]: Taking taylor expansion of 0 in z
5.316 * [taylor]: Taking taylor expansion of 0 in t
5.316 * [taylor]: Taking taylor expansion of 0 in t
5.316 * [taylor]: Taking taylor expansion of 0 in t
5.318 * [taylor]: Taking taylor expansion of 0 in t
5.319 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
5.319 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
5.320 * [approximate]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in (x y z t) around 0
5.320 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in t
5.320 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in t
5.320 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
5.320 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.320 * [taylor]: Taking taylor expansion of 1.0 in t
5.321 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.321 * [taylor]: Taking taylor expansion of 3.0 in t
5.323 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in z
5.323 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in z
5.323 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
5.323 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.323 * [taylor]: Taking taylor expansion of 1.0 in z
5.324 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.324 * [taylor]: Taking taylor expansion of 3.0 in z
5.325 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in y
5.326 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in y
5.326 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
5.326 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.326 * [taylor]: Taking taylor expansion of 1.0 in y
5.326 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.326 * [taylor]: Taking taylor expansion of 3.0 in y
5.328 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in x
5.328 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in x
5.328 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
5.329 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.329 * [taylor]: Taking taylor expansion of 1.0 in x
5.329 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.329 * [taylor]: Taking taylor expansion of 3.0 in x
5.331 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in x
5.331 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in x
5.331 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
5.331 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.331 * [taylor]: Taking taylor expansion of 1.0 in x
5.332 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.332 * [taylor]: Taking taylor expansion of 3.0 in x
5.334 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in y
5.334 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in y
5.334 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
5.334 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.334 * [taylor]: Taking taylor expansion of 1.0 in y
5.334 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.335 * [taylor]: Taking taylor expansion of 3.0 in y
5.336 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in z
5.336 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in z
5.336 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
5.336 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.336 * [taylor]: Taking taylor expansion of 1.0 in z
5.337 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.337 * [taylor]: Taking taylor expansion of 3.0 in z
5.339 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in t
5.339 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in t
5.339 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
5.339 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.339 * [taylor]: Taking taylor expansion of 1.0 in t
5.340 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.340 * [taylor]: Taking taylor expansion of 3.0 in t
5.344 * [taylor]: Taking taylor expansion of 0 in y
5.344 * [taylor]: Taking taylor expansion of 0 in z
5.344 * [taylor]: Taking taylor expansion of 0 in t
5.346 * [taylor]: Taking taylor expansion of 0 in z
5.346 * [taylor]: Taking taylor expansion of 0 in t
5.350 * [taylor]: Taking taylor expansion of 0 in t
5.356 * [taylor]: Taking taylor expansion of 0 in y
5.356 * [taylor]: Taking taylor expansion of 0 in z
5.356 * [taylor]: Taking taylor expansion of 0 in t
5.356 * [taylor]: Taking taylor expansion of 0 in z
5.356 * [taylor]: Taking taylor expansion of 0 in t
5.358 * [approximate]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in (x y z t) around 0
5.358 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in t
5.358 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
5.358 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.358 * [taylor]: Taking taylor expansion of 1.0 in t
5.359 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
5.359 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.359 * [taylor]: Taking taylor expansion of 3.0 in t
5.361 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in z
5.361 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
5.361 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.361 * [taylor]: Taking taylor expansion of 1.0 in z
5.362 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
5.362 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.362 * [taylor]: Taking taylor expansion of 3.0 in z
5.364 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in y
5.364 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
5.364 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.364 * [taylor]: Taking taylor expansion of 1.0 in y
5.364 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
5.364 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.364 * [taylor]: Taking taylor expansion of 3.0 in y
5.366 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in x
5.366 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
5.366 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.366 * [taylor]: Taking taylor expansion of 1.0 in x
5.367 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
5.368 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.368 * [taylor]: Taking taylor expansion of 3.0 in x
5.369 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in x
5.369 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
5.369 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.369 * [taylor]: Taking taylor expansion of 1.0 in x
5.370 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
5.370 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.370 * [taylor]: Taking taylor expansion of 3.0 in x
5.372 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in y
5.372 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
5.372 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.372 * [taylor]: Taking taylor expansion of 1.0 in y
5.373 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
5.373 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.373 * [taylor]: Taking taylor expansion of 3.0 in y
5.375 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in z
5.375 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
5.375 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.375 * [taylor]: Taking taylor expansion of 1.0 in z
5.376 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
5.376 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.376 * [taylor]: Taking taylor expansion of 3.0 in z
5.377 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in t
5.377 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
5.378 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.378 * [taylor]: Taking taylor expansion of 1.0 in t
5.378 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
5.378 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.378 * [taylor]: Taking taylor expansion of 3.0 in t
5.383 * [taylor]: Taking taylor expansion of 0 in y
5.383 * [taylor]: Taking taylor expansion of 0 in z
5.383 * [taylor]: Taking taylor expansion of 0 in t
5.385 * [taylor]: Taking taylor expansion of 0 in z
5.385 * [taylor]: Taking taylor expansion of 0 in t
5.386 * [taylor]: Taking taylor expansion of 0 in t
5.392 * [taylor]: Taking taylor expansion of 0 in y
5.392 * [taylor]: Taking taylor expansion of 0 in z
5.392 * [taylor]: Taking taylor expansion of 0 in t
5.392 * [taylor]: Taking taylor expansion of 0 in z
5.392 * [taylor]: Taking taylor expansion of 0 in t
5.394 * [approximate]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in (x y z t) around 0
5.394 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in t
5.394 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in t
5.394 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
5.395 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.395 * [taylor]: Taking taylor expansion of 1.0 in t
5.395 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.395 * [taylor]: Taking taylor expansion of 3.0 in t
5.397 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in z
5.397 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in z
5.397 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
5.397 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.397 * [taylor]: Taking taylor expansion of 1.0 in z
5.398 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.398 * [taylor]: Taking taylor expansion of 3.0 in z
5.400 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in y
5.400 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in y
5.400 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
5.400 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.400 * [taylor]: Taking taylor expansion of 1.0 in y
5.401 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.401 * [taylor]: Taking taylor expansion of 3.0 in y
5.402 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in x
5.402 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in x
5.402 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
5.402 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.402 * [taylor]: Taking taylor expansion of 1.0 in x
5.403 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.403 * [taylor]: Taking taylor expansion of 3.0 in x
5.405 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in x
5.405 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in x
5.405 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
5.405 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.405 * [taylor]: Taking taylor expansion of 1.0 in x
5.406 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.406 * [taylor]: Taking taylor expansion of 3.0 in x
5.408 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in y
5.408 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in y
5.408 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
5.408 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.408 * [taylor]: Taking taylor expansion of 1.0 in y
5.409 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.409 * [taylor]: Taking taylor expansion of 3.0 in y
5.411 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in z
5.411 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in z
5.411 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
5.411 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.411 * [taylor]: Taking taylor expansion of 1.0 in z
5.412 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.412 * [taylor]: Taking taylor expansion of 3.0 in z
5.414 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in t
5.414 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in t
5.414 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
5.414 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.414 * [taylor]: Taking taylor expansion of 1.0 in t
5.415 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.415 * [taylor]: Taking taylor expansion of 3.0 in t
5.419 * [taylor]: Taking taylor expansion of 0 in y
5.419 * [taylor]: Taking taylor expansion of 0 in z
5.419 * [taylor]: Taking taylor expansion of 0 in t
5.421 * [taylor]: Taking taylor expansion of 0 in z
5.421 * [taylor]: Taking taylor expansion of 0 in t
5.423 * [taylor]: Taking taylor expansion of 0 in t
5.428 * [taylor]: Taking taylor expansion of 0 in y
5.428 * [taylor]: Taking taylor expansion of 0 in z
5.428 * [taylor]: Taking taylor expansion of 0 in t
5.429 * [taylor]: Taking taylor expansion of 0 in z
5.429 * [taylor]: Taking taylor expansion of 0 in t
5.429 * * * [progress]: simplifying candidates
5.433 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0)))
  (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0)))
  (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0)))
  (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))))
  (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (* 3.0 (/ x (* y 27.0))))
  (- (* z 2.0))
  (/ 3.0 z)
  (/ (/ x (* y 27.0)) 2.0)
  (/ 1 (* z 2.0))
  (/ (* z 2.0) (* 3.0 (/ x (* y 27.0))))
  (/ (* 3.0 (/ x (* y 27.0))) z)
  (/ (* z 2.0) (/ x (* y 27.0)))
  (* (* z 2.0) (* y 27.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (* (cbrt t) (cbrt t))))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt 1))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 1)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (/ (/ x (* y 27.0)) 2.0) (sqrt t))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (* (/ 1 (* z 2.0)) (sqrt t))
  (* (* 3.0 (/ x (* y 27.0))) (sqrt t))
  (- (log (cbrt 1.0)) (log (cbrt 3.0)))
  (log (/ (cbrt 1.0) (cbrt 3.0)))
  (exp (/ (cbrt 1.0) (cbrt 3.0)))
  (/ 1.0 3.0)
  (* (cbrt (/ (cbrt 1.0) (cbrt 3.0))) (cbrt (/ (cbrt 1.0) (cbrt 3.0))))
  (cbrt (/ (cbrt 1.0) (cbrt 3.0)))
  (* (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (cbrt 1.0) (cbrt 3.0))) (/ (cbrt 1.0) (cbrt 3.0)))
  (sqrt (/ (cbrt 1.0) (cbrt 3.0)))
  (sqrt (/ (cbrt 1.0) (cbrt 3.0)))
  (- (cbrt 1.0))
  (- (cbrt 3.0))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (sqrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt 1))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) 1)
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (cbrt (sqrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt 1))
  (/ (cbrt (sqrt 1.0)) (cbrt 3.0))
  (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) 1)
  (/ (cbrt (sqrt 1.0)) (cbrt 3.0))
  (/ (cbrt 1) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ (cbrt 1) (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  (/ (cbrt 1) (cbrt 1))
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ (cbrt 1) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ (cbrt 1) (sqrt (cbrt 3.0)))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  (/ (cbrt 1) 1)
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (sqrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt 1))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (sqrt (cbrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) 1)
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (sqrt (cbrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt 1))
  (/ (sqrt (cbrt 1.0)) (cbrt 3.0))
  (/ (sqrt (cbrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) 1)
  (/ (sqrt (cbrt 1.0)) (cbrt 3.0))
  (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  (/ 1 (cbrt 1))
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  (/ 1 1)
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ 1 (cbrt 3.0))
  (/ (cbrt 3.0) (cbrt 1.0))
  (/ (cbrt 1.0) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt 1))
  (/ (cbrt 1.0) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  (/ (cbrt 1.0) 1)
  (/ (cbrt 3.0) (cbrt (cbrt 1.0)))
  (/ (cbrt 3.0) (cbrt (sqrt 1.0)))
  (/ (cbrt 3.0) (cbrt 1.0))
  (/ (cbrt 3.0) (cbrt (cbrt 1.0)))
  (/ (cbrt 3.0) (sqrt (cbrt 1.0)))
  (/ (cbrt 3.0) (cbrt 1.0))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (+ (- (log (cbrt 1.0)) (log (cbrt 3.0))) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (+ (log (/ (cbrt 1.0) (cbrt 3.0))) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (exp (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ 1.0 3.0) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (* (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (cbrt 1.0) (cbrt 3.0))) (/ (cbrt 1.0) (cbrt 3.0))) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (* (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) 1)
  (* (cbrt (/ (cbrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (cbrt 1.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (- (+ (* +nan.0 (/ (* t x) (* z y))) (- (* +nan.0 (/ (* (pow t 2) x) (* z y))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
5.448 * * [simplify]: iteration  0 :  299  enodes  (cost  3999 )
5.512 * * [simplify]: iteration  1 :  800  enodes  (cost  3844 )
5.864 * * [simplify]: iteration  2 :  3421  enodes  (cost  3272 )
6.560 * * [simplify]: iteration  done :  5001  enodes  (cost  3272 )
6.562 * [simplify]: Simplified to:
   (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))))
  (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (* 3.0 (/ x (* y 27.0))))
  (- (* z 2.0))
  (/ 3.0 z)
  (/ (/ x (* y 27.0)) 2.0)
  (/ 1 (* z 2.0))
  (/ (* z 2.0) (* 3.0 (/ x (* y 27.0))))
  (/ (* 3.0 (/ x (* y 27.0))) z)
  (* 2.0 (/ z (/ x (* y 27.0))))
  (* (* z 2.0) (* y 27.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (/ (* (* 3.0 (/ x (* y 27.0))) (fabs (cbrt t))) (* z 2.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0)
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (/ (/ x (* y 27.0)) 2.0) (sqrt t))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (/ (sqrt t) (* z 2.0))
  (* (* 3.0 (/ x (* y 27.0))) (sqrt t))
  (log (/ (cbrt 1.0) (cbrt 3.0)))
  (log (/ (cbrt 1.0) (cbrt 3.0)))
  (exp (/ (cbrt 1.0) (cbrt 3.0)))
  (/ 1.0 3.0)
  (* (cbrt (/ (cbrt 1.0) (cbrt 3.0))) (cbrt (/ (cbrt 1.0) (cbrt 3.0))))
  (cbrt (/ (cbrt 1.0) (cbrt 3.0)))
  (pow (/ (cbrt 1.0) (cbrt 3.0)) 3)
  (sqrt (/ (cbrt 1.0) (cbrt 3.0)))
  (sqrt (/ (cbrt 1.0) (cbrt 3.0)))
  (- (cbrt 1.0))
  (- (cbrt 3.0))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (sqrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (cbrt (* (cbrt 1.0) (cbrt 1.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (cbrt (* (cbrt 1.0) (cbrt 1.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (cbrt (sqrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0)))
  (cbrt (sqrt 1.0))
  (/ (cbrt (sqrt 1.0)) (cbrt 3.0))
  (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0)))
  (cbrt (sqrt 1.0))
  (/ (cbrt (sqrt 1.0)) (cbrt 3.0))
  (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  1
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  1
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (sqrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (sqrt (cbrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (sqrt (cbrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (sqrt (cbrt 1.0))
  (/ (sqrt (cbrt 1.0)) (cbrt 3.0))
  (/ (sqrt (cbrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (sqrt (cbrt 1.0))
  (/ (sqrt (cbrt 1.0)) (cbrt 3.0))
  (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  1
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  1
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ 1 (cbrt 3.0))
  (/ (cbrt 3.0) (cbrt 1.0))
  (/ (cbrt 1.0) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  (cbrt 1.0)
  (/ (cbrt 1.0) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  (cbrt 1.0)
  (/ (cbrt 3.0) (cbrt (cbrt 1.0)))
  (/ (cbrt 3.0) (cbrt (sqrt 1.0)))
  (/ (cbrt 3.0) (cbrt 1.0))
  (/ (cbrt 3.0) (cbrt (cbrt 1.0)))
  (/ (cbrt 3.0) (sqrt (cbrt 1.0)))
  (/ (cbrt 3.0) (cbrt 1.0))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (log (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (exp (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (pow (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3) (/ 1.0 3.0))
  (pow (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3)
  (* (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (pow (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3)
  (sqrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ (cbrt 1.0) (cbrt 3.0))
  (* (cbrt (/ (cbrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt 3.0))
  (* (cbrt 1.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (- (* +nan.0 (- (/ (* t x) (* z y)) (/ (* (pow t 2) x) (* z y)))))
  (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y))))))
  (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y))))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
6.563 * * * [progress]: adding candidates to table
7.293 * * [progress]: iteration 3 / 4
7.294 * * * [progress]: picking best candidate
7.300 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))>
7.300 * * * [progress]: localizing error
7.315 * * * [progress]: generating rewritten candidates
7.315 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
7.323 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
7.352 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
7.356 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2)
7.363 * * * [progress]: generating series expansions
7.363 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
7.363 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0
7.363 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z
7.363 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.364 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
7.364 * [taylor]: Taking taylor expansion of x in z
7.364 * [taylor]: Taking taylor expansion of (* z y) in z
7.364 * [taylor]: Taking taylor expansion of z in z
7.364 * [taylor]: Taking taylor expansion of y in z
7.364 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y
7.364 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.364 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
7.364 * [taylor]: Taking taylor expansion of x in y
7.364 * [taylor]: Taking taylor expansion of (* z y) in y
7.364 * [taylor]: Taking taylor expansion of z in y
7.364 * [taylor]: Taking taylor expansion of y in y
7.365 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
7.365 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.365 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.365 * [taylor]: Taking taylor expansion of x in x
7.365 * [taylor]: Taking taylor expansion of (* z y) in x
7.365 * [taylor]: Taking taylor expansion of z in x
7.365 * [taylor]: Taking taylor expansion of y in x
7.365 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
7.365 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.365 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.365 * [taylor]: Taking taylor expansion of x in x
7.365 * [taylor]: Taking taylor expansion of (* z y) in x
7.365 * [taylor]: Taking taylor expansion of z in x
7.365 * [taylor]: Taking taylor expansion of y in x
7.365 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y
7.365 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.365 * [taylor]: Taking taylor expansion of (* z y) in y
7.365 * [taylor]: Taking taylor expansion of z in y
7.365 * [taylor]: Taking taylor expansion of y in y
7.366 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z
7.366 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.366 * [taylor]: Taking taylor expansion of z in z
7.366 * [taylor]: Taking taylor expansion of 0 in y
7.367 * [taylor]: Taking taylor expansion of 0 in z
7.368 * [taylor]: Taking taylor expansion of 0 in y
7.368 * [taylor]: Taking taylor expansion of 0 in z
7.369 * [taylor]: Taking taylor expansion of 0 in z
7.371 * [taylor]: Taking taylor expansion of 0 in y
7.371 * [taylor]: Taking taylor expansion of 0 in z
7.371 * [taylor]: Taking taylor expansion of 0 in z
7.372 * [taylor]: Taking taylor expansion of 0 in z
7.372 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
7.372 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z
7.372 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.372 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
7.372 * [taylor]: Taking taylor expansion of (* z y) in z
7.372 * [taylor]: Taking taylor expansion of z in z
7.372 * [taylor]: Taking taylor expansion of y in z
7.372 * [taylor]: Taking taylor expansion of x in z
7.373 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y
7.373 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.373 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
7.373 * [taylor]: Taking taylor expansion of (* z y) in y
7.373 * [taylor]: Taking taylor expansion of z in y
7.373 * [taylor]: Taking taylor expansion of y in y
7.373 * [taylor]: Taking taylor expansion of x in y
7.373 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
7.373 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.373 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.373 * [taylor]: Taking taylor expansion of (* z y) in x
7.373 * [taylor]: Taking taylor expansion of z in x
7.373 * [taylor]: Taking taylor expansion of y in x
7.373 * [taylor]: Taking taylor expansion of x in x
7.373 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
7.373 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.373 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.373 * [taylor]: Taking taylor expansion of (* z y) in x
7.373 * [taylor]: Taking taylor expansion of z in x
7.373 * [taylor]: Taking taylor expansion of y in x
7.374 * [taylor]: Taking taylor expansion of x in x
7.374 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y
7.374 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.374 * [taylor]: Taking taylor expansion of (* z y) in y
7.374 * [taylor]: Taking taylor expansion of z in y
7.374 * [taylor]: Taking taylor expansion of y in y
7.374 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
7.374 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.374 * [taylor]: Taking taylor expansion of z in z
7.376 * [taylor]: Taking taylor expansion of 0 in y
7.376 * [taylor]: Taking taylor expansion of 0 in z
7.377 * [taylor]: Taking taylor expansion of 0 in z
7.379 * [taylor]: Taking taylor expansion of 0 in y
7.379 * [taylor]: Taking taylor expansion of 0 in z
7.379 * [taylor]: Taking taylor expansion of 0 in z
7.381 * [taylor]: Taking taylor expansion of 0 in z
7.381 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
7.381 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z
7.381 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
7.381 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
7.381 * [taylor]: Taking taylor expansion of (* z y) in z
7.381 * [taylor]: Taking taylor expansion of z in z
7.381 * [taylor]: Taking taylor expansion of y in z
7.381 * [taylor]: Taking taylor expansion of x in z
7.381 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y
7.381 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
7.381 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
7.381 * [taylor]: Taking taylor expansion of (* z y) in y
7.382 * [taylor]: Taking taylor expansion of z in y
7.382 * [taylor]: Taking taylor expansion of y in y
7.382 * [taylor]: Taking taylor expansion of x in y
7.382 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
7.382 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
7.382 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.382 * [taylor]: Taking taylor expansion of (* z y) in x
7.382 * [taylor]: Taking taylor expansion of z in x
7.382 * [taylor]: Taking taylor expansion of y in x
7.382 * [taylor]: Taking taylor expansion of x in x
7.382 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
7.382 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
7.382 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.382 * [taylor]: Taking taylor expansion of (* z y) in x
7.382 * [taylor]: Taking taylor expansion of z in x
7.382 * [taylor]: Taking taylor expansion of y in x
7.382 * [taylor]: Taking taylor expansion of x in x
7.382 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y
7.382 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
7.382 * [taylor]: Taking taylor expansion of (* z y) in y
7.382 * [taylor]: Taking taylor expansion of z in y
7.382 * [taylor]: Taking taylor expansion of y in y
7.387 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z
7.387 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
7.387 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.387 * [taylor]: Taking taylor expansion of z in z
7.389 * [taylor]: Taking taylor expansion of 0 in y
7.389 * [taylor]: Taking taylor expansion of 0 in z
7.390 * [taylor]: Taking taylor expansion of 0 in z
7.393 * [taylor]: Taking taylor expansion of 0 in y
7.393 * [taylor]: Taking taylor expansion of 0 in z
7.393 * [taylor]: Taking taylor expansion of 0 in z
7.394 * [taylor]: Taking taylor expansion of 0 in z
7.394 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
7.395 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0
7.395 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t
7.395 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.395 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t
7.395 * [taylor]: Taking taylor expansion of (sqrt t) in t
7.395 * [taylor]: Taking taylor expansion of t in t
7.396 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t
7.396 * [taylor]: Taking taylor expansion of x in t
7.396 * [taylor]: Taking taylor expansion of (* z y) in t
7.396 * [taylor]: Taking taylor expansion of z in t
7.396 * [taylor]: Taking taylor expansion of y in t
7.396 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z
7.396 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.396 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z
7.396 * [taylor]: Taking taylor expansion of (sqrt t) in z
7.396 * [taylor]: Taking taylor expansion of t in z
7.396 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
7.396 * [taylor]: Taking taylor expansion of x in z
7.396 * [taylor]: Taking taylor expansion of (* z y) in z
7.396 * [taylor]: Taking taylor expansion of z in z
7.396 * [taylor]: Taking taylor expansion of y in z
7.397 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y
7.397 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.397 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y
7.397 * [taylor]: Taking taylor expansion of (sqrt t) in y
7.397 * [taylor]: Taking taylor expansion of t in y
7.397 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
7.397 * [taylor]: Taking taylor expansion of x in y
7.397 * [taylor]: Taking taylor expansion of (* z y) in y
7.397 * [taylor]: Taking taylor expansion of z in y
7.397 * [taylor]: Taking taylor expansion of y in y
7.397 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
7.397 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.397 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
7.397 * [taylor]: Taking taylor expansion of (sqrt t) in x
7.397 * [taylor]: Taking taylor expansion of t in x
7.397 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.397 * [taylor]: Taking taylor expansion of x in x
7.397 * [taylor]: Taking taylor expansion of (* z y) in x
7.397 * [taylor]: Taking taylor expansion of z in x
7.397 * [taylor]: Taking taylor expansion of y in x
7.398 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
7.398 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.398 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
7.398 * [taylor]: Taking taylor expansion of (sqrt t) in x
7.398 * [taylor]: Taking taylor expansion of t in x
7.398 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.398 * [taylor]: Taking taylor expansion of x in x
7.398 * [taylor]: Taking taylor expansion of (* z y) in x
7.398 * [taylor]: Taking taylor expansion of z in x
7.398 * [taylor]: Taking taylor expansion of y in x
7.398 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y
7.398 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.398 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y
7.398 * [taylor]: Taking taylor expansion of (sqrt t) in y
7.398 * [taylor]: Taking taylor expansion of t in y
7.398 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.398 * [taylor]: Taking taylor expansion of (* z y) in y
7.398 * [taylor]: Taking taylor expansion of z in y
7.398 * [taylor]: Taking taylor expansion of y in y
7.399 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z
7.399 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.399 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z
7.399 * [taylor]: Taking taylor expansion of (sqrt t) in z
7.399 * [taylor]: Taking taylor expansion of t in z
7.399 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.399 * [taylor]: Taking taylor expansion of z in z
7.399 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t
7.399 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.399 * [taylor]: Taking taylor expansion of (sqrt t) in t
7.399 * [taylor]: Taking taylor expansion of t in t
7.401 * [taylor]: Taking taylor expansion of 0 in y
7.402 * [taylor]: Taking taylor expansion of 0 in z
7.403 * [taylor]: Taking taylor expansion of 0 in t
7.406 * [taylor]: Taking taylor expansion of 0 in y
7.406 * [taylor]: Taking taylor expansion of 0 in z
7.408 * [taylor]: Taking taylor expansion of 0 in z
7.408 * [taylor]: Taking taylor expansion of 0 in t
7.410 * [taylor]: Taking taylor expansion of 0 in t
7.416 * [taylor]: Taking taylor expansion of 0 in y
7.416 * [taylor]: Taking taylor expansion of 0 in z
7.416 * [taylor]: Taking taylor expansion of 0 in z
7.419 * [taylor]: Taking taylor expansion of 0 in z
7.419 * [taylor]: Taking taylor expansion of 0 in t
7.419 * [taylor]: Taking taylor expansion of 0 in t
7.419 * [taylor]: Taking taylor expansion of 0 in t
7.421 * [taylor]: Taking taylor expansion of 0 in t
7.422 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0
7.422 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t
7.422 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.422 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t
7.422 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
7.422 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.422 * [taylor]: Taking taylor expansion of t in t
7.424 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t
7.424 * [taylor]: Taking taylor expansion of (* z y) in t
7.424 * [taylor]: Taking taylor expansion of z in t
7.424 * [taylor]: Taking taylor expansion of y in t
7.424 * [taylor]: Taking taylor expansion of x in t
7.424 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z
7.424 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.424 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z
7.424 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
7.424 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.424 * [taylor]: Taking taylor expansion of t in z
7.425 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
7.425 * [taylor]: Taking taylor expansion of (* z y) in z
7.425 * [taylor]: Taking taylor expansion of z in z
7.425 * [taylor]: Taking taylor expansion of y in z
7.425 * [taylor]: Taking taylor expansion of x in z
7.425 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y
7.425 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.425 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y
7.425 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
7.425 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.425 * [taylor]: Taking taylor expansion of t in y
7.425 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
7.425 * [taylor]: Taking taylor expansion of (* z y) in y
7.425 * [taylor]: Taking taylor expansion of z in y
7.425 * [taylor]: Taking taylor expansion of y in y
7.425 * [taylor]: Taking taylor expansion of x in y
7.426 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
7.426 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.426 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
7.426 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
7.426 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.426 * [taylor]: Taking taylor expansion of t in x
7.426 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.426 * [taylor]: Taking taylor expansion of (* z y) in x
7.426 * [taylor]: Taking taylor expansion of z in x
7.426 * [taylor]: Taking taylor expansion of y in x
7.426 * [taylor]: Taking taylor expansion of x in x
7.426 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
7.426 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.426 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
7.426 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
7.426 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.426 * [taylor]: Taking taylor expansion of t in x
7.426 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.426 * [taylor]: Taking taylor expansion of (* z y) in x
7.426 * [taylor]: Taking taylor expansion of z in x
7.426 * [taylor]: Taking taylor expansion of y in x
7.426 * [taylor]: Taking taylor expansion of x in x
7.427 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y
7.427 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.427 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y
7.427 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
7.427 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.427 * [taylor]: Taking taylor expansion of t in y
7.427 * [taylor]: Taking taylor expansion of (* z y) in y
7.427 * [taylor]: Taking taylor expansion of z in y
7.427 * [taylor]: Taking taylor expansion of y in y
7.428 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z
7.428 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.428 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z
7.428 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
7.428 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.428 * [taylor]: Taking taylor expansion of t in z
7.428 * [taylor]: Taking taylor expansion of z in z
7.429 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t
7.429 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.429 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
7.429 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.429 * [taylor]: Taking taylor expansion of t in t
7.431 * [taylor]: Taking taylor expansion of 0 in y
7.431 * [taylor]: Taking taylor expansion of 0 in z
7.432 * [taylor]: Taking taylor expansion of 0 in t
7.433 * [taylor]: Taking taylor expansion of 0 in z
7.433 * [taylor]: Taking taylor expansion of 0 in t
7.435 * [taylor]: Taking taylor expansion of 0 in t
7.439 * [taylor]: Taking taylor expansion of 0 in y
7.439 * [taylor]: Taking taylor expansion of 0 in z
7.439 * [taylor]: Taking taylor expansion of 0 in t
7.439 * [taylor]: Taking taylor expansion of 0 in z
7.439 * [taylor]: Taking taylor expansion of 0 in t
7.441 * [taylor]: Taking taylor expansion of 0 in z
7.442 * [taylor]: Taking taylor expansion of 0 in t
7.442 * [taylor]: Taking taylor expansion of 0 in t
7.442 * [taylor]: Taking taylor expansion of 0 in t
7.444 * [taylor]: Taking taylor expansion of 0 in t
7.451 * [taylor]: Taking taylor expansion of 0 in y
7.451 * [taylor]: Taking taylor expansion of 0 in z
7.451 * [taylor]: Taking taylor expansion of 0 in t
7.451 * [taylor]: Taking taylor expansion of 0 in z
7.451 * [taylor]: Taking taylor expansion of 0 in t
7.451 * [taylor]: Taking taylor expansion of 0 in z
7.451 * [taylor]: Taking taylor expansion of 0 in t
7.454 * [taylor]: Taking taylor expansion of 0 in z
7.455 * [taylor]: Taking taylor expansion of 0 in t
7.455 * [taylor]: Taking taylor expansion of 0 in t
7.455 * [taylor]: Taking taylor expansion of 0 in t
7.455 * [taylor]: Taking taylor expansion of 0 in t
7.455 * [taylor]: Taking taylor expansion of 0 in t
7.455 * [taylor]: Taking taylor expansion of 0 in t
7.457 * [taylor]: Taking taylor expansion of 0 in t
7.458 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0
7.458 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t
7.458 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t
7.458 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t
7.458 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t
7.458 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
7.458 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.458 * [taylor]: Taking taylor expansion of -1 in t
7.458 * [taylor]: Taking taylor expansion of t in t
7.459 * [taylor]: Taking taylor expansion of (* z y) in t
7.460 * [taylor]: Taking taylor expansion of z in t
7.460 * [taylor]: Taking taylor expansion of y in t
7.460 * [taylor]: Taking taylor expansion of x in t
7.460 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z
7.460 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
7.460 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z
7.460 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z
7.460 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
7.460 * [taylor]: Taking taylor expansion of (/ -1 t) in z
7.460 * [taylor]: Taking taylor expansion of -1 in z
7.460 * [taylor]: Taking taylor expansion of t in z
7.460 * [taylor]: Taking taylor expansion of (* z y) in z
7.460 * [taylor]: Taking taylor expansion of z in z
7.460 * [taylor]: Taking taylor expansion of y in z
7.460 * [taylor]: Taking taylor expansion of x in z
7.461 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y
7.461 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
7.461 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y
7.461 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
7.461 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
7.461 * [taylor]: Taking taylor expansion of (/ -1 t) in y
7.461 * [taylor]: Taking taylor expansion of -1 in y
7.461 * [taylor]: Taking taylor expansion of t in y
7.461 * [taylor]: Taking taylor expansion of (* z y) in y
7.461 * [taylor]: Taking taylor expansion of z in y
7.461 * [taylor]: Taking taylor expansion of y in y
7.461 * [taylor]: Taking taylor expansion of x in y
7.462 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
7.462 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
7.462 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
7.462 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
7.462 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
7.462 * [taylor]: Taking taylor expansion of (/ -1 t) in x
7.462 * [taylor]: Taking taylor expansion of -1 in x
7.462 * [taylor]: Taking taylor expansion of t in x
7.462 * [taylor]: Taking taylor expansion of (* z y) in x
7.462 * [taylor]: Taking taylor expansion of z in x
7.462 * [taylor]: Taking taylor expansion of y in x
7.462 * [taylor]: Taking taylor expansion of x in x
7.463 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
7.463 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
7.463 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
7.463 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
7.463 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
7.463 * [taylor]: Taking taylor expansion of (/ -1 t) in x
7.463 * [taylor]: Taking taylor expansion of -1 in x
7.463 * [taylor]: Taking taylor expansion of t in x
7.463 * [taylor]: Taking taylor expansion of (* z y) in x
7.463 * [taylor]: Taking taylor expansion of z in x
7.463 * [taylor]: Taking taylor expansion of y in x
7.463 * [taylor]: Taking taylor expansion of x in x
7.463 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y
7.463 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
7.463 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
7.463 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
7.463 * [taylor]: Taking taylor expansion of (/ -1 t) in y
7.463 * [taylor]: Taking taylor expansion of -1 in y
7.463 * [taylor]: Taking taylor expansion of t in y
7.464 * [taylor]: Taking taylor expansion of (* z y) in y
7.464 * [taylor]: Taking taylor expansion of z in y
7.464 * [taylor]: Taking taylor expansion of y in y
7.465 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z
7.465 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z
7.465 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.465 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z
7.465 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
7.465 * [taylor]: Taking taylor expansion of (/ -1 t) in z
7.465 * [taylor]: Taking taylor expansion of -1 in z
7.465 * [taylor]: Taking taylor expansion of t in z
7.465 * [taylor]: Taking taylor expansion of z in z
7.466 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t
7.466 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t
7.466 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.466 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
7.466 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.466 * [taylor]: Taking taylor expansion of -1 in t
7.466 * [taylor]: Taking taylor expansion of t in t
7.470 * [taylor]: Taking taylor expansion of 0 in y
7.470 * [taylor]: Taking taylor expansion of 0 in z
7.470 * [taylor]: Taking taylor expansion of 0 in t
7.472 * [taylor]: Taking taylor expansion of 0 in z
7.472 * [taylor]: Taking taylor expansion of 0 in t
7.474 * [taylor]: Taking taylor expansion of 0 in t
7.485 * [taylor]: Taking taylor expansion of 0 in y
7.485 * [taylor]: Taking taylor expansion of 0 in z
7.485 * [taylor]: Taking taylor expansion of 0 in t
7.485 * [taylor]: Taking taylor expansion of 0 in z
7.485 * [taylor]: Taking taylor expansion of 0 in t
7.488 * [taylor]: Taking taylor expansion of 0 in z
7.488 * [taylor]: Taking taylor expansion of 0 in t
7.488 * [taylor]: Taking taylor expansion of 0 in t
7.488 * [taylor]: Taking taylor expansion of 0 in t
7.490 * [taylor]: Taking taylor expansion of 0 in t
7.491 * * * * [progress]: [ 3 / 4 ] generating series at (2)
7.491 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in (x y z t) around 0
7.491 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
7.491 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.491 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
7.492 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
7.492 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.492 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
7.492 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
7.492 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.492 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
7.492 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
7.492 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.492 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
7.492 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
7.492 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.492 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
7.492 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
7.492 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.492 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
7.493 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
7.493 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.493 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
7.493 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
7.493 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.493 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
7.494 * [taylor]: Taking taylor expansion of 0 in y
7.494 * [taylor]: Taking taylor expansion of 0 in z
7.494 * [taylor]: Taking taylor expansion of 0 in t
7.494 * [taylor]: Taking taylor expansion of 0 in z
7.494 * [taylor]: Taking taylor expansion of 0 in t
7.495 * [taylor]: Taking taylor expansion of 0 in t
7.496 * [taylor]: Taking taylor expansion of 0 in y
7.496 * [taylor]: Taking taylor expansion of 0 in z
7.496 * [taylor]: Taking taylor expansion of 0 in t
7.496 * [taylor]: Taking taylor expansion of 0 in z
7.496 * [taylor]: Taking taylor expansion of 0 in t
7.496 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in (x y z t) around 0
7.496 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
7.496 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.496 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
7.497 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
7.497 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.497 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
7.497 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
7.497 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.497 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
7.497 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
7.497 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.497 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
7.497 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
7.497 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.497 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
7.497 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
7.497 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.497 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
7.498 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
7.498 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.498 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
7.498 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
7.498 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.498 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
7.499 * [taylor]: Taking taylor expansion of 0 in y
7.499 * [taylor]: Taking taylor expansion of 0 in z
7.499 * [taylor]: Taking taylor expansion of 0 in t
7.499 * [taylor]: Taking taylor expansion of 0 in z
7.500 * [taylor]: Taking taylor expansion of 0 in t
7.500 * [taylor]: Taking taylor expansion of 0 in t
7.501 * [taylor]: Taking taylor expansion of 0 in y
7.501 * [taylor]: Taking taylor expansion of 0 in z
7.501 * [taylor]: Taking taylor expansion of 0 in t
7.501 * [taylor]: Taking taylor expansion of 0 in z
7.501 * [taylor]: Taking taylor expansion of 0 in t
7.502 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in (x y z t) around 0
7.502 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
7.502 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.502 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
7.502 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
7.502 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.502 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
7.502 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
7.502 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.502 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
7.503 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
7.503 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.503 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
7.503 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
7.503 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.503 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
7.503 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
7.503 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.503 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
7.504 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
7.504 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.504 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
7.504 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
7.504 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.504 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
7.505 * [taylor]: Taking taylor expansion of 0 in y
7.505 * [taylor]: Taking taylor expansion of 0 in z
7.505 * [taylor]: Taking taylor expansion of 0 in t
7.505 * [taylor]: Taking taylor expansion of 0 in z
7.505 * [taylor]: Taking taylor expansion of 0 in t
7.506 * [taylor]: Taking taylor expansion of 0 in t
7.507 * [taylor]: Taking taylor expansion of 0 in y
7.507 * [taylor]: Taking taylor expansion of 0 in z
7.507 * [taylor]: Taking taylor expansion of 0 in t
7.507 * [taylor]: Taking taylor expansion of 0 in z
7.507 * [taylor]: Taking taylor expansion of 0 in t
7.507 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2)
7.507 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in (x y) around 0
7.507 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in y
7.507 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.507 * [taylor]: Taking taylor expansion of (/ x y) in y
7.507 * [taylor]: Taking taylor expansion of x in y
7.507 * [taylor]: Taking taylor expansion of y in y
7.508 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x
7.508 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.508 * [taylor]: Taking taylor expansion of (/ x y) in x
7.508 * [taylor]: Taking taylor expansion of x in x
7.508 * [taylor]: Taking taylor expansion of y in x
7.508 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x
7.508 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.508 * [taylor]: Taking taylor expansion of (/ x y) in x
7.508 * [taylor]: Taking taylor expansion of x in x
7.508 * [taylor]: Taking taylor expansion of y in x
7.508 * [taylor]: Taking taylor expansion of (/ 0.037037037037037035 y) in y
7.508 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.508 * [taylor]: Taking taylor expansion of y in y
7.509 * [taylor]: Taking taylor expansion of 0 in y
7.510 * [taylor]: Taking taylor expansion of 0 in y
7.511 * [taylor]: Taking taylor expansion of 0 in y
7.512 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0
7.512 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y
7.512 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.512 * [taylor]: Taking taylor expansion of (/ y x) in y
7.512 * [taylor]: Taking taylor expansion of y in y
7.512 * [taylor]: Taking taylor expansion of x in y
7.512 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
7.512 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.512 * [taylor]: Taking taylor expansion of (/ y x) in x
7.512 * [taylor]: Taking taylor expansion of y in x
7.512 * [taylor]: Taking taylor expansion of x in x
7.512 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
7.512 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.512 * [taylor]: Taking taylor expansion of (/ y x) in x
7.512 * [taylor]: Taking taylor expansion of y in x
7.512 * [taylor]: Taking taylor expansion of x in x
7.512 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y
7.512 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.512 * [taylor]: Taking taylor expansion of y in y
7.514 * [taylor]: Taking taylor expansion of 0 in y
7.516 * [taylor]: Taking taylor expansion of 0 in y
7.519 * [taylor]: Taking taylor expansion of 0 in y
7.519 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0
7.519 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y
7.519 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.519 * [taylor]: Taking taylor expansion of (/ y x) in y
7.519 * [taylor]: Taking taylor expansion of y in y
7.519 * [taylor]: Taking taylor expansion of x in y
7.519 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
7.519 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.519 * [taylor]: Taking taylor expansion of (/ y x) in x
7.519 * [taylor]: Taking taylor expansion of y in x
7.519 * [taylor]: Taking taylor expansion of x in x
7.519 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
7.519 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.519 * [taylor]: Taking taylor expansion of (/ y x) in x
7.519 * [taylor]: Taking taylor expansion of y in x
7.519 * [taylor]: Taking taylor expansion of x in x
7.519 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y
7.519 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.519 * [taylor]: Taking taylor expansion of y in y
7.521 * [taylor]: Taking taylor expansion of 0 in y
7.523 * [taylor]: Taking taylor expansion of 0 in y
7.526 * [taylor]: Taking taylor expansion of 0 in y
7.526 * * * [progress]: simplifying candidates
7.528 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0)))
  (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0)))
  (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0)))
  (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))))
  (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (* 3.0 (/ x (* y 27.0))))
  (- (* z 2.0))
  (/ 3.0 z)
  (/ (/ x (* y 27.0)) 2.0)
  (/ 1 (* z 2.0))
  (/ (* z 2.0) (* 3.0 (/ x (* y 27.0))))
  (/ (* 3.0 (/ x (* y 27.0))) z)
  (/ (* z 2.0) (/ x (* y 27.0)))
  (* (* z 2.0) (* y 27.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (* (cbrt t) (cbrt t))))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt 1))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 1)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (/ (/ x (* y 27.0)) 2.0) (sqrt t))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (* (/ 1 (* z 2.0)) (sqrt t))
  (* (* 3.0 (/ x (* y 27.0))) (sqrt t))
  (- (+ (log 1.0) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log 3.0))
  (- (log (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log 3.0))
  (log (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (exp (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (/ (* (* (* 1.0 1.0) 1.0) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (* 3.0 3.0) 3.0))
  (/ (* (* (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)))
  (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (* (* (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (sqrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (sqrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (- (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (- 3.0)
  (/ 1.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt 3.0))
  (/ 1.0 (sqrt 3.0))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt 3.0))
  (/ 1.0 1)
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (sqrt 3.0))
  (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 1)
  (/ 3.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (- (log x) (+ (log y) (log 27.0)))
  (- (log x) (log (* y 27.0)))
  (log (/ x (* y 27.0)))
  (exp (/ x (* y 27.0)))
  (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))
  (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))
  (* (cbrt (/ x (* y 27.0))) (cbrt (/ x (* y 27.0))))
  (cbrt (/ x (* y 27.0)))
  (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))
  (sqrt (/ x (* y 27.0)))
  (sqrt (/ x (* y 27.0)))
  (- x)
  (- (* y 27.0))
  (/ (* (cbrt x) (cbrt x)) y)
  (/ (cbrt x) 27.0)
  (/ (sqrt x) y)
  (/ (sqrt x) 27.0)
  (/ 1 y)
  (/ x 27.0)
  (/ 1 (* y 27.0))
  (/ (* y 27.0) x)
  (/ x y)
  (/ (* y 27.0) (cbrt x))
  (/ (* y 27.0) (sqrt x))
  (/ (* y 27.0) x)
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (- (+ (* +nan.0 (/ (* t x) (* z y))) (- (* +nan.0 (/ (* (pow t 2) x) (* z y))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
7.536 * * [simplify]: iteration  0 :  230  enodes  (cost  2396 )
7.582 * * [simplify]: iteration  1 :  681  enodes  (cost  2278 )
7.880 * * [simplify]: iteration  2 :  3232  enodes  (cost  1688 )
8.554 * * [simplify]: iteration  done :  5000  enodes  (cost  1688 )
8.555 * [simplify]: Simplified to:
   (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (log (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0))
  (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))))
  (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (pow (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0) 3)
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (* 3.0 (/ x (* y 27.0))))
  (- (* z 2.0))
  (/ 3.0 z)
  (/ (/ x (* y 27.0)) 2.0)
  (/ 1 (* z 2.0))
  (/ (* z 2.0) (* 3.0 (/ x (* y 27.0))))
  (/ (* 3.0 (/ x (* y 27.0))) z)
  (* 2.0 (/ z (/ x (* y 27.0))))
  (* (* z 2.0) (* y 27.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (/ (* (* 3.0 (/ x (* y 27.0))) (fabs (cbrt t))) (* z 2.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0)
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (/ (/ (* 3.0 (/ x (* y 27.0))) z) 2.0)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (/ (/ x (* y 27.0)) 2.0) (sqrt t))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (/ (/ (sqrt t) 2.0) z)
  (* (* 3.0 (/ x (* y 27.0))) (sqrt t))
  (log (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (log (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (log (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (exp (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (pow (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0) 3)
  (pow (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0) 3)
  (* (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)))
  (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (pow (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0) 3)
  (sqrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (sqrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))
  (- (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (- 3.0)
  (/ 1.0 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt 3.0))
  (/ 1.0 (sqrt 3.0))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt 3.0))
  1.0
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)
  (/ 1 3.0)
  (/ 3.0 (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (sqrt 3.0))
  (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (/ 3.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (log (/ x (* y 27.0)))
  (log (/ x (* y 27.0)))
  (log (/ x (* y 27.0)))
  (exp (/ x (* y 27.0)))
  (pow (/ x (* y 27.0)) 3)
  (pow (/ x (* y 27.0)) 3)
  (* (cbrt (/ x (* y 27.0))) (cbrt (/ x (* y 27.0))))
  (cbrt (/ x (* y 27.0)))
  (pow (/ x (* y 27.0)) 3)
  (sqrt (/ x (* y 27.0)))
  (sqrt (/ x (* y 27.0)))
  (- x)
  (- (* y 27.0))
  (/ (* (cbrt x) (cbrt x)) y)
  (/ (cbrt x) 27.0)
  (/ (sqrt x) y)
  (/ (sqrt x) 27.0)
  (/ 1 y)
  (/ x 27.0)
  (/ 1 (* y 27.0))
  (/ (* y 27.0) x)
  (/ x y)
  (/ (* y 27.0) (cbrt x))
  (/ (* y 27.0) (sqrt x))
  (/ (* y 27.0) x)
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (- (* +nan.0 (- (/ (* t x) (* z y)) (/ (* (pow t 2) x) (* z y)))))
  (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y))))))
  (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
8.556 * * * [progress]: adding candidates to table
8.814 * [progress]: [Phase 3 of 3] Extracting.
8.814 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
8.815 * * * [regime-changes]: Trying 12 branch expressions: ((sqrt t) (* z 2.0) (* y 27.0) (/ x (* y 27.0)) (* 3.0 (/ x (* y 27.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) t z y x)
8.815 * * * * [regimes]: Trying to branch on (sqrt t) from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
8.835 * * * * [regimes]: Trying to branch on (* z 2.0) from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
8.854 * * * * [regimes]: Trying to branch on (* y 27.0) from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
8.871 * * * * [regimes]: Trying to branch on (/ x (* y 27.0)) from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
8.888 * * * * [regimes]: Trying to branch on (* 3.0 (/ x (* y 27.0))) from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
8.908 * * * * [regimes]: Trying to branch on (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
8.924 * * * * [regimes]: Trying to branch on (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
8.947 * * * * [regimes]: Trying to branch on (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
8.967 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
8.987 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
9.005 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
9.024 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))> #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>)
9.041 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
9.042 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
9.042 * * [simplify]: iteration  0 :  24  enodes  (cost  33 )
9.043 * * [simplify]: iteration  1 :  30  enodes  (cost  33 )
9.044 * * [simplify]: iteration  done :  30  enodes  (cost  33 )
9.044 * [simplify]: Simplified to:
   (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
11.685 * [regime-testing]: Baseline error score: 0.3290457773070516
11.686 * [regime-testing]: Oracle error score: 0.31659608525338806
11.687 * [regime-testing]: End program error score: 0.3290457773070516
11.724 * [regime-testing]: Target error score: 1.2746317952766109