15.084 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))
0.029 * * [simplify]: iteration  0 :  13  enodes  (cost  13 )
0.030 * * [simplify]: iteration  1 :  26  enodes  (cost  13 )
0.034 * * [simplify]: iteration  2 :  88  enodes  (cost  13 )
0.049 * * [simplify]: iteration  3 :  275  enodes  (cost  13 )
0.133 * * [simplify]: iteration  4 :  669  enodes  (cost  13 )
0.500 * * [simplify]: iteration  5 :  1179  enodes  (cost  13 )
1.101 * * [simplify]: iteration  6 :  1390  enodes  (cost  13 )
1.953 * * [simplify]: iteration  7 :  1409  enodes  (cost  13 )
2.591 * * [simplify]: iteration  done :  1409  enodes  (cost  13 )
2.591 * [simplify]: Simplified to:
   (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))
2.592 * * [progress]: iteration 1 / 4
2.592 * * * [progress]: picking best candidate
2.594 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))>
2.594 * * * [progress]: localizing error
2.603 * * * [progress]: generating rewritten candidates
2.603 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.612 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.614 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
2.622 * * * [progress]: generating series expansions
2.622 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.622 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y z t a) around 0
2.622 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a
2.622 * [taylor]: Taking taylor expansion of 0.5 in a
2.622 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a
2.622 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a
2.622 * [taylor]: Taking taylor expansion of (* x y) in a
2.622 * [taylor]: Taking taylor expansion of x in a
2.622 * [taylor]: Taking taylor expansion of y in a
2.622 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a
2.622 * [taylor]: Taking taylor expansion of 9.0 in a
2.622 * [taylor]: Taking taylor expansion of (* t z) in a
2.622 * [taylor]: Taking taylor expansion of t in a
2.622 * [taylor]: Taking taylor expansion of z in a
2.622 * [taylor]: Taking taylor expansion of a in a
2.622 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t
2.622 * [taylor]: Taking taylor expansion of 0.5 in t
2.622 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t
2.622 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
2.622 * [taylor]: Taking taylor expansion of (* x y) in t
2.622 * [taylor]: Taking taylor expansion of x in t
2.623 * [taylor]: Taking taylor expansion of y in t
2.623 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
2.623 * [taylor]: Taking taylor expansion of 9.0 in t
2.623 * [taylor]: Taking taylor expansion of (* t z) in t
2.623 * [taylor]: Taking taylor expansion of t in t
2.623 * [taylor]: Taking taylor expansion of z in t
2.623 * [taylor]: Taking taylor expansion of a in t
2.623 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z
2.623 * [taylor]: Taking taylor expansion of 0.5 in z
2.624 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z
2.624 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
2.624 * [taylor]: Taking taylor expansion of (* x y) in z
2.624 * [taylor]: Taking taylor expansion of x in z
2.624 * [taylor]: Taking taylor expansion of y in z
2.624 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.624 * [taylor]: Taking taylor expansion of 9.0 in z
2.624 * [taylor]: Taking taylor expansion of (* t z) in z
2.624 * [taylor]: Taking taylor expansion of t in z
2.624 * [taylor]: Taking taylor expansion of z in z
2.624 * [taylor]: Taking taylor expansion of a in z
2.624 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y
2.624 * [taylor]: Taking taylor expansion of 0.5 in y
2.624 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y
2.624 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
2.624 * [taylor]: Taking taylor expansion of (* x y) in y
2.624 * [taylor]: Taking taylor expansion of x in y
2.624 * [taylor]: Taking taylor expansion of y in y
2.624 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
2.624 * [taylor]: Taking taylor expansion of 9.0 in y
2.624 * [taylor]: Taking taylor expansion of (* t z) in y
2.624 * [taylor]: Taking taylor expansion of t in y
2.625 * [taylor]: Taking taylor expansion of z in y
2.625 * [taylor]: Taking taylor expansion of a in y
2.625 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
2.625 * [taylor]: Taking taylor expansion of 0.5 in x
2.625 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
2.625 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
2.625 * [taylor]: Taking taylor expansion of (* x y) in x
2.625 * [taylor]: Taking taylor expansion of x in x
2.625 * [taylor]: Taking taylor expansion of y in x
2.625 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
2.625 * [taylor]: Taking taylor expansion of 9.0 in x
2.625 * [taylor]: Taking taylor expansion of (* t z) in x
2.625 * [taylor]: Taking taylor expansion of t in x
2.625 * [taylor]: Taking taylor expansion of z in x
2.625 * [taylor]: Taking taylor expansion of a in x
2.625 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
2.625 * [taylor]: Taking taylor expansion of 0.5 in x
2.625 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
2.625 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
2.625 * [taylor]: Taking taylor expansion of (* x y) in x
2.625 * [taylor]: Taking taylor expansion of x in x
2.625 * [taylor]: Taking taylor expansion of y in x
2.625 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
2.625 * [taylor]: Taking taylor expansion of 9.0 in x
2.625 * [taylor]: Taking taylor expansion of (* t z) in x
2.625 * [taylor]: Taking taylor expansion of t in x
2.625 * [taylor]: Taking taylor expansion of z in x
2.625 * [taylor]: Taking taylor expansion of a in x
2.626 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y
2.626 * [taylor]: Taking taylor expansion of -4.5 in y
2.626 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
2.626 * [taylor]: Taking taylor expansion of (* t z) in y
2.626 * [taylor]: Taking taylor expansion of t in y
2.626 * [taylor]: Taking taylor expansion of z in y
2.626 * [taylor]: Taking taylor expansion of a in y
2.626 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in z
2.626 * [taylor]: Taking taylor expansion of -4.5 in z
2.626 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
2.626 * [taylor]: Taking taylor expansion of (* t z) in z
2.626 * [taylor]: Taking taylor expansion of t in z
2.626 * [taylor]: Taking taylor expansion of z in z
2.626 * [taylor]: Taking taylor expansion of a in z
2.628 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
2.628 * [taylor]: Taking taylor expansion of 0.5 in y
2.628 * [taylor]: Taking taylor expansion of (/ y a) in y
2.628 * [taylor]: Taking taylor expansion of y in y
2.628 * [taylor]: Taking taylor expansion of a in y
2.628 * [taylor]: Taking taylor expansion of 0 in z
2.628 * [taylor]: Taking taylor expansion of 0 in t
2.628 * [taylor]: Taking taylor expansion of 0 in a
2.628 * [taylor]: Taking taylor expansion of (* -4.5 (/ t a)) in t
2.628 * [taylor]: Taking taylor expansion of -4.5 in t
2.628 * [taylor]: Taking taylor expansion of (/ t a) in t
2.628 * [taylor]: Taking taylor expansion of t in t
2.628 * [taylor]: Taking taylor expansion of a in t
2.631 * [taylor]: Taking taylor expansion of 0 in y
2.631 * [taylor]: Taking taylor expansion of 0 in z
2.631 * [taylor]: Taking taylor expansion of 0 in t
2.631 * [taylor]: Taking taylor expansion of 0 in a
2.631 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z
2.631 * [taylor]: Taking taylor expansion of 0.5 in z
2.631 * [taylor]: Taking taylor expansion of a in z
2.631 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t
2.631 * [taylor]: Taking taylor expansion of 0.5 in t
2.631 * [taylor]: Taking taylor expansion of a in t
2.631 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
2.631 * [taylor]: Taking taylor expansion of 0.5 in a
2.631 * [taylor]: Taking taylor expansion of a in a
2.632 * [taylor]: Taking taylor expansion of 0 in z
2.633 * [taylor]: Taking taylor expansion of 0 in t
2.633 * [taylor]: Taking taylor expansion of 0 in a
2.633 * [taylor]: Taking taylor expansion of 0 in t
2.633 * [taylor]: Taking taylor expansion of 0 in a
2.633 * [taylor]: Taking taylor expansion of 0 in t
2.633 * [taylor]: Taking taylor expansion of 0 in a
2.634 * [taylor]: Taking taylor expansion of 0 in a
2.634 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a
2.634 * [taylor]: Taking taylor expansion of -4.5 in a
2.634 * [taylor]: Taking taylor expansion of a in a
2.637 * [taylor]: Taking taylor expansion of 0 in y
2.637 * [taylor]: Taking taylor expansion of 0 in z
2.637 * [taylor]: Taking taylor expansion of 0 in t
2.637 * [taylor]: Taking taylor expansion of 0 in a
2.637 * [taylor]: Taking taylor expansion of 0 in z
2.637 * [taylor]: Taking taylor expansion of 0 in t
2.637 * [taylor]: Taking taylor expansion of 0 in a
2.638 * [taylor]: Taking taylor expansion of 0 in z
2.638 * [taylor]: Taking taylor expansion of 0 in t
2.638 * [taylor]: Taking taylor expansion of 0 in a
2.642 * [taylor]: Taking taylor expansion of 0 in z
2.642 * [taylor]: Taking taylor expansion of 0 in t
2.642 * [taylor]: Taking taylor expansion of 0 in a
2.642 * [taylor]: Taking taylor expansion of 0 in t
2.643 * [taylor]: Taking taylor expansion of 0 in a
2.643 * [taylor]: Taking taylor expansion of 0 in t
2.643 * [taylor]: Taking taylor expansion of 0 in a
2.643 * [taylor]: Taking taylor expansion of 0 in t
2.643 * [taylor]: Taking taylor expansion of 0 in a
2.643 * [taylor]: Taking taylor expansion of 0 in t
2.643 * [taylor]: Taking taylor expansion of 0 in a
2.644 * [taylor]: Taking taylor expansion of 0 in t
2.644 * [taylor]: Taking taylor expansion of 0 in a
2.644 * [taylor]: Taking taylor expansion of 0 in a
2.644 * [taylor]: Taking taylor expansion of 0 in a
2.644 * [taylor]: Taking taylor expansion of 0 in a
2.644 * [taylor]: Taking taylor expansion of 0 in a
2.644 * [taylor]: Taking taylor expansion of 0 in a
2.644 * [taylor]: Taking taylor expansion of 0 in a
2.645 * [taylor]: Taking taylor expansion of 0 in a
2.646 * [approximate]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0
2.646 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
2.646 * [taylor]: Taking taylor expansion of 0.5 in a
2.646 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
2.646 * [taylor]: Taking taylor expansion of a in a
2.646 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
2.646 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
2.646 * [taylor]: Taking taylor expansion of (* x y) in a
2.646 * [taylor]: Taking taylor expansion of x in a
2.646 * [taylor]: Taking taylor expansion of y in a
2.646 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
2.646 * [taylor]: Taking taylor expansion of 9.0 in a
2.646 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
2.646 * [taylor]: Taking taylor expansion of (* t z) in a
2.646 * [taylor]: Taking taylor expansion of t in a
2.646 * [taylor]: Taking taylor expansion of z in a
2.646 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
2.646 * [taylor]: Taking taylor expansion of 0.5 in t
2.646 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
2.646 * [taylor]: Taking taylor expansion of a in t
2.646 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
2.646 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
2.646 * [taylor]: Taking taylor expansion of (* x y) in t
2.646 * [taylor]: Taking taylor expansion of x in t
2.646 * [taylor]: Taking taylor expansion of y in t
2.646 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
2.646 * [taylor]: Taking taylor expansion of 9.0 in t
2.646 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.647 * [taylor]: Taking taylor expansion of (* t z) in t
2.647 * [taylor]: Taking taylor expansion of t in t
2.647 * [taylor]: Taking taylor expansion of z in t
2.647 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
2.647 * [taylor]: Taking taylor expansion of 0.5 in z
2.647 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
2.647 * [taylor]: Taking taylor expansion of a in z
2.647 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
2.647 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.647 * [taylor]: Taking taylor expansion of (* x y) in z
2.647 * [taylor]: Taking taylor expansion of x in z
2.647 * [taylor]: Taking taylor expansion of y in z
2.647 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.647 * [taylor]: Taking taylor expansion of 9.0 in z
2.647 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.647 * [taylor]: Taking taylor expansion of (* t z) in z
2.647 * [taylor]: Taking taylor expansion of t in z
2.647 * [taylor]: Taking taylor expansion of z in z
2.647 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
2.648 * [taylor]: Taking taylor expansion of 0.5 in y
2.648 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
2.648 * [taylor]: Taking taylor expansion of a in y
2.648 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
2.648 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.648 * [taylor]: Taking taylor expansion of (* x y) in y
2.648 * [taylor]: Taking taylor expansion of x in y
2.648 * [taylor]: Taking taylor expansion of y in y
2.648 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.648 * [taylor]: Taking taylor expansion of 9.0 in y
2.648 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.648 * [taylor]: Taking taylor expansion of (* t z) in y
2.648 * [taylor]: Taking taylor expansion of t in y
2.648 * [taylor]: Taking taylor expansion of z in y
2.648 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
2.648 * [taylor]: Taking taylor expansion of 0.5 in x
2.648 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
2.648 * [taylor]: Taking taylor expansion of a in x
2.648 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.648 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.648 * [taylor]: Taking taylor expansion of (* x y) in x
2.648 * [taylor]: Taking taylor expansion of x in x
2.648 * [taylor]: Taking taylor expansion of y in x
2.649 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.649 * [taylor]: Taking taylor expansion of 9.0 in x
2.649 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.649 * [taylor]: Taking taylor expansion of (* t z) in x
2.649 * [taylor]: Taking taylor expansion of t in x
2.649 * [taylor]: Taking taylor expansion of z in x
2.649 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
2.649 * [taylor]: Taking taylor expansion of 0.5 in x
2.649 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
2.649 * [taylor]: Taking taylor expansion of a in x
2.649 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.649 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.649 * [taylor]: Taking taylor expansion of (* x y) in x
2.649 * [taylor]: Taking taylor expansion of x in x
2.649 * [taylor]: Taking taylor expansion of y in x
2.649 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.649 * [taylor]: Taking taylor expansion of 9.0 in x
2.649 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.649 * [taylor]: Taking taylor expansion of (* t z) in x
2.649 * [taylor]: Taking taylor expansion of t in x
2.649 * [taylor]: Taking taylor expansion of z in x
2.650 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
2.650 * [taylor]: Taking taylor expansion of 0.5 in y
2.650 * [taylor]: Taking taylor expansion of (/ a y) in y
2.650 * [taylor]: Taking taylor expansion of a in y
2.650 * [taylor]: Taking taylor expansion of y in y
2.650 * [taylor]: Taking taylor expansion of (* 0.5 a) in z
2.650 * [taylor]: Taking taylor expansion of 0.5 in z
2.650 * [taylor]: Taking taylor expansion of a in z
2.651 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in y
2.651 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
2.651 * [taylor]: Taking taylor expansion of 4.5 in y
2.651 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
2.651 * [taylor]: Taking taylor expansion of a in y
2.651 * [taylor]: Taking taylor expansion of (* z t) in y
2.651 * [taylor]: Taking taylor expansion of z in y
2.651 * [taylor]: Taking taylor expansion of t in y
2.652 * [taylor]: Taking taylor expansion of 0 in z
2.652 * [taylor]: Taking taylor expansion of (* 0.5 a) in t
2.652 * [taylor]: Taking taylor expansion of 0.5 in t
2.652 * [taylor]: Taking taylor expansion of a in t
2.654 * [taylor]: Taking taylor expansion of 0 in y
2.654 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in z
2.654 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
2.654 * [taylor]: Taking taylor expansion of 4.5 in z
2.655 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
2.655 * [taylor]: Taking taylor expansion of a in z
2.655 * [taylor]: Taking taylor expansion of (* z t) in z
2.655 * [taylor]: Taking taylor expansion of z in z
2.655 * [taylor]: Taking taylor expansion of t in z
2.655 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a t))) in t
2.655 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
2.655 * [taylor]: Taking taylor expansion of 4.5 in t
2.655 * [taylor]: Taking taylor expansion of (/ a t) in t
2.655 * [taylor]: Taking taylor expansion of a in t
2.655 * [taylor]: Taking taylor expansion of t in t
2.655 * [taylor]: Taking taylor expansion of (- (* 4.5 a)) in a
2.655 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
2.655 * [taylor]: Taking taylor expansion of 4.5 in a
2.655 * [taylor]: Taking taylor expansion of a in a
2.657 * [taylor]: Taking taylor expansion of 0 in z
2.657 * [taylor]: Taking taylor expansion of 0 in t
2.658 * [taylor]: Taking taylor expansion of 0 in t
2.658 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
2.658 * [taylor]: Taking taylor expansion of 0.5 in a
2.658 * [taylor]: Taking taylor expansion of a in a
2.662 * [taylor]: Taking taylor expansion of 0 in y
2.662 * [taylor]: Taking taylor expansion of 0 in z
2.663 * [taylor]: Taking taylor expansion of 0 in z
2.665 * [taylor]: Taking taylor expansion of 0 in z
2.666 * [taylor]: Taking taylor expansion of 0 in t
2.666 * [taylor]: Taking taylor expansion of 0 in t
2.666 * [taylor]: Taking taylor expansion of 0 in t
2.667 * [taylor]: Taking taylor expansion of 0 in t
2.668 * [taylor]: Taking taylor expansion of 0 in a
2.668 * [taylor]: Taking taylor expansion of 0 in a
2.668 * [taylor]: Taking taylor expansion of 0 in a
2.668 * [taylor]: Taking taylor expansion of 0 in a
2.668 * [approximate]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0
2.668 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
2.668 * [taylor]: Taking taylor expansion of -0.5 in a
2.668 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
2.668 * [taylor]: Taking taylor expansion of a in a
2.668 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
2.669 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
2.669 * [taylor]: Taking taylor expansion of (* x y) in a
2.669 * [taylor]: Taking taylor expansion of x in a
2.669 * [taylor]: Taking taylor expansion of y in a
2.669 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
2.669 * [taylor]: Taking taylor expansion of 9.0 in a
2.669 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
2.669 * [taylor]: Taking taylor expansion of (* t z) in a
2.669 * [taylor]: Taking taylor expansion of t in a
2.669 * [taylor]: Taking taylor expansion of z in a
2.669 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
2.669 * [taylor]: Taking taylor expansion of -0.5 in t
2.669 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
2.669 * [taylor]: Taking taylor expansion of a in t
2.669 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
2.669 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
2.669 * [taylor]: Taking taylor expansion of (* x y) in t
2.669 * [taylor]: Taking taylor expansion of x in t
2.669 * [taylor]: Taking taylor expansion of y in t
2.669 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
2.669 * [taylor]: Taking taylor expansion of 9.0 in t
2.669 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.669 * [taylor]: Taking taylor expansion of (* t z) in t
2.669 * [taylor]: Taking taylor expansion of t in t
2.669 * [taylor]: Taking taylor expansion of z in t
2.669 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
2.669 * [taylor]: Taking taylor expansion of -0.5 in z
2.669 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
2.670 * [taylor]: Taking taylor expansion of a in z
2.670 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
2.670 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.670 * [taylor]: Taking taylor expansion of (* x y) in z
2.670 * [taylor]: Taking taylor expansion of x in z
2.670 * [taylor]: Taking taylor expansion of y in z
2.670 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.670 * [taylor]: Taking taylor expansion of 9.0 in z
2.670 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.670 * [taylor]: Taking taylor expansion of (* t z) in z
2.670 * [taylor]: Taking taylor expansion of t in z
2.670 * [taylor]: Taking taylor expansion of z in z
2.670 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
2.670 * [taylor]: Taking taylor expansion of -0.5 in y
2.670 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
2.670 * [taylor]: Taking taylor expansion of a in y
2.670 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
2.670 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.670 * [taylor]: Taking taylor expansion of (* x y) in y
2.670 * [taylor]: Taking taylor expansion of x in y
2.670 * [taylor]: Taking taylor expansion of y in y
2.671 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.671 * [taylor]: Taking taylor expansion of 9.0 in y
2.671 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.671 * [taylor]: Taking taylor expansion of (* t z) in y
2.671 * [taylor]: Taking taylor expansion of t in y
2.671 * [taylor]: Taking taylor expansion of z in y
2.671 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
2.671 * [taylor]: Taking taylor expansion of -0.5 in x
2.671 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
2.671 * [taylor]: Taking taylor expansion of a in x
2.671 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.671 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.671 * [taylor]: Taking taylor expansion of (* x y) in x
2.671 * [taylor]: Taking taylor expansion of x in x
2.671 * [taylor]: Taking taylor expansion of y in x
2.671 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.671 * [taylor]: Taking taylor expansion of 9.0 in x
2.671 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.671 * [taylor]: Taking taylor expansion of (* t z) in x
2.671 * [taylor]: Taking taylor expansion of t in x
2.671 * [taylor]: Taking taylor expansion of z in x
2.671 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
2.671 * [taylor]: Taking taylor expansion of -0.5 in x
2.671 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
2.671 * [taylor]: Taking taylor expansion of a in x
2.671 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.671 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.671 * [taylor]: Taking taylor expansion of (* x y) in x
2.671 * [taylor]: Taking taylor expansion of x in x
2.672 * [taylor]: Taking taylor expansion of y in x
2.672 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.672 * [taylor]: Taking taylor expansion of 9.0 in x
2.672 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.672 * [taylor]: Taking taylor expansion of (* t z) in x
2.672 * [taylor]: Taking taylor expansion of t in x
2.672 * [taylor]: Taking taylor expansion of z in x
2.672 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
2.672 * [taylor]: Taking taylor expansion of -0.5 in y
2.672 * [taylor]: Taking taylor expansion of (/ a y) in y
2.672 * [taylor]: Taking taylor expansion of a in y
2.672 * [taylor]: Taking taylor expansion of y in y
2.672 * [taylor]: Taking taylor expansion of (* -0.5 a) in z
2.672 * [taylor]: Taking taylor expansion of -0.5 in z
2.672 * [taylor]: Taking taylor expansion of a in z
2.673 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
2.673 * [taylor]: Taking taylor expansion of 4.5 in y
2.673 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
2.673 * [taylor]: Taking taylor expansion of a in y
2.673 * [taylor]: Taking taylor expansion of (* z t) in y
2.673 * [taylor]: Taking taylor expansion of z in y
2.673 * [taylor]: Taking taylor expansion of t in y
2.674 * [taylor]: Taking taylor expansion of 0 in z
2.674 * [taylor]: Taking taylor expansion of (* -0.5 a) in t
2.674 * [taylor]: Taking taylor expansion of -0.5 in t
2.674 * [taylor]: Taking taylor expansion of a in t
2.677 * [taylor]: Taking taylor expansion of 0 in y
2.677 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
2.677 * [taylor]: Taking taylor expansion of 4.5 in z
2.677 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
2.677 * [taylor]: Taking taylor expansion of a in z
2.677 * [taylor]: Taking taylor expansion of (* z t) in z
2.677 * [taylor]: Taking taylor expansion of z in z
2.677 * [taylor]: Taking taylor expansion of t in z
2.677 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
2.677 * [taylor]: Taking taylor expansion of 4.5 in t
2.677 * [taylor]: Taking taylor expansion of (/ a t) in t
2.677 * [taylor]: Taking taylor expansion of a in t
2.677 * [taylor]: Taking taylor expansion of t in t
2.677 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
2.678 * [taylor]: Taking taylor expansion of 4.5 in a
2.678 * [taylor]: Taking taylor expansion of a in a
2.679 * [taylor]: Taking taylor expansion of 0 in z
2.679 * [taylor]: Taking taylor expansion of 0 in t
2.680 * [taylor]: Taking taylor expansion of 0 in t
2.680 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
2.680 * [taylor]: Taking taylor expansion of -0.5 in a
2.680 * [taylor]: Taking taylor expansion of a in a
2.683 * [taylor]: Taking taylor expansion of 0 in y
2.684 * [taylor]: Taking taylor expansion of 0 in z
2.684 * [taylor]: Taking taylor expansion of 0 in z
2.686 * [taylor]: Taking taylor expansion of 0 in z
2.687 * [taylor]: Taking taylor expansion of 0 in t
2.687 * [taylor]: Taking taylor expansion of 0 in t
2.687 * [taylor]: Taking taylor expansion of 0 in t
2.687 * [taylor]: Taking taylor expansion of 0 in t
2.688 * [taylor]: Taking taylor expansion of 0 in a
2.688 * [taylor]: Taking taylor expansion of 0 in a
2.688 * [taylor]: Taking taylor expansion of 0 in a
2.689 * [taylor]: Taking taylor expansion of 0 in a
2.689 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.689 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y z t) around 0
2.689 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
2.689 * [taylor]: Taking taylor expansion of (* x y) in t
2.689 * [taylor]: Taking taylor expansion of x in t
2.689 * [taylor]: Taking taylor expansion of y in t
2.689 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
2.689 * [taylor]: Taking taylor expansion of 9.0 in t
2.689 * [taylor]: Taking taylor expansion of (* t z) in t
2.689 * [taylor]: Taking taylor expansion of t in t
2.689 * [taylor]: Taking taylor expansion of z in t
2.689 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
2.689 * [taylor]: Taking taylor expansion of (* x y) in z
2.689 * [taylor]: Taking taylor expansion of x in z
2.689 * [taylor]: Taking taylor expansion of y in z
2.689 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.689 * [taylor]: Taking taylor expansion of 9.0 in z
2.689 * [taylor]: Taking taylor expansion of (* t z) in z
2.689 * [taylor]: Taking taylor expansion of t in z
2.689 * [taylor]: Taking taylor expansion of z in z
2.689 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
2.689 * [taylor]: Taking taylor expansion of (* x y) in y
2.689 * [taylor]: Taking taylor expansion of x in y
2.689 * [taylor]: Taking taylor expansion of y in y
2.689 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
2.689 * [taylor]: Taking taylor expansion of 9.0 in y
2.689 * [taylor]: Taking taylor expansion of (* t z) in y
2.689 * [taylor]: Taking taylor expansion of t in y
2.689 * [taylor]: Taking taylor expansion of z in y
2.689 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
2.689 * [taylor]: Taking taylor expansion of (* x y) in x
2.690 * [taylor]: Taking taylor expansion of x in x
2.690 * [taylor]: Taking taylor expansion of y in x
2.690 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
2.690 * [taylor]: Taking taylor expansion of 9.0 in x
2.690 * [taylor]: Taking taylor expansion of (* t z) in x
2.690 * [taylor]: Taking taylor expansion of t in x
2.690 * [taylor]: Taking taylor expansion of z in x
2.690 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
2.690 * [taylor]: Taking taylor expansion of (* x y) in x
2.690 * [taylor]: Taking taylor expansion of x in x
2.690 * [taylor]: Taking taylor expansion of y in x
2.690 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
2.690 * [taylor]: Taking taylor expansion of 9.0 in x
2.690 * [taylor]: Taking taylor expansion of (* t z) in x
2.690 * [taylor]: Taking taylor expansion of t in x
2.690 * [taylor]: Taking taylor expansion of z in x
2.690 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in y
2.690 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
2.690 * [taylor]: Taking taylor expansion of 9.0 in y
2.690 * [taylor]: Taking taylor expansion of (* t z) in y
2.690 * [taylor]: Taking taylor expansion of t in y
2.690 * [taylor]: Taking taylor expansion of z in y
2.690 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
2.690 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.690 * [taylor]: Taking taylor expansion of 9.0 in z
2.690 * [taylor]: Taking taylor expansion of (* t z) in z
2.690 * [taylor]: Taking taylor expansion of t in z
2.690 * [taylor]: Taking taylor expansion of z in z
2.691 * [taylor]: Taking taylor expansion of 0 in t
2.692 * [taylor]: Taking taylor expansion of y in y
2.692 * [taylor]: Taking taylor expansion of 0 in z
2.692 * [taylor]: Taking taylor expansion of 0 in t
2.692 * [taylor]: Taking taylor expansion of 0 in z
2.692 * [taylor]: Taking taylor expansion of 0 in t
2.693 * [taylor]: Taking taylor expansion of (- (* 9.0 t)) in t
2.693 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
2.693 * [taylor]: Taking taylor expansion of 9.0 in t
2.693 * [taylor]: Taking taylor expansion of t in t
2.695 * [taylor]: Taking taylor expansion of 0 in y
2.695 * [taylor]: Taking taylor expansion of 0 in z
2.695 * [taylor]: Taking taylor expansion of 0 in t
2.696 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
2.696 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
2.696 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
2.696 * [taylor]: Taking taylor expansion of (* x y) in t
2.696 * [taylor]: Taking taylor expansion of x in t
2.696 * [taylor]: Taking taylor expansion of y in t
2.696 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
2.696 * [taylor]: Taking taylor expansion of 9.0 in t
2.696 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.696 * [taylor]: Taking taylor expansion of (* t z) in t
2.696 * [taylor]: Taking taylor expansion of t in t
2.696 * [taylor]: Taking taylor expansion of z in t
2.696 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
2.696 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.696 * [taylor]: Taking taylor expansion of (* x y) in z
2.696 * [taylor]: Taking taylor expansion of x in z
2.696 * [taylor]: Taking taylor expansion of y in z
2.696 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.696 * [taylor]: Taking taylor expansion of 9.0 in z
2.696 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.696 * [taylor]: Taking taylor expansion of (* t z) in z
2.696 * [taylor]: Taking taylor expansion of t in z
2.696 * [taylor]: Taking taylor expansion of z in z
2.697 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
2.697 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.697 * [taylor]: Taking taylor expansion of (* x y) in y
2.697 * [taylor]: Taking taylor expansion of x in y
2.697 * [taylor]: Taking taylor expansion of y in y
2.697 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.697 * [taylor]: Taking taylor expansion of 9.0 in y
2.697 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.697 * [taylor]: Taking taylor expansion of (* t z) in y
2.697 * [taylor]: Taking taylor expansion of t in y
2.697 * [taylor]: Taking taylor expansion of z in y
2.697 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.697 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.697 * [taylor]: Taking taylor expansion of (* x y) in x
2.697 * [taylor]: Taking taylor expansion of x in x
2.697 * [taylor]: Taking taylor expansion of y in x
2.698 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.698 * [taylor]: Taking taylor expansion of 9.0 in x
2.698 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.698 * [taylor]: Taking taylor expansion of (* t z) in x
2.698 * [taylor]: Taking taylor expansion of t in x
2.698 * [taylor]: Taking taylor expansion of z in x
2.698 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.698 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.698 * [taylor]: Taking taylor expansion of (* x y) in x
2.698 * [taylor]: Taking taylor expansion of x in x
2.698 * [taylor]: Taking taylor expansion of y in x
2.698 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.698 * [taylor]: Taking taylor expansion of 9.0 in x
2.698 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.698 * [taylor]: Taking taylor expansion of (* t z) in x
2.698 * [taylor]: Taking taylor expansion of t in x
2.698 * [taylor]: Taking taylor expansion of z in x
2.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.698 * [taylor]: Taking taylor expansion of y in y
2.699 * [taylor]: Taking taylor expansion of 1 in z
2.700 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
2.700 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.700 * [taylor]: Taking taylor expansion of 9.0 in y
2.700 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.700 * [taylor]: Taking taylor expansion of (* t z) in y
2.700 * [taylor]: Taking taylor expansion of t in y
2.700 * [taylor]: Taking taylor expansion of z in y
2.700 * [taylor]: Taking taylor expansion of 0 in z
2.700 * [taylor]: Taking taylor expansion of 1 in t
2.702 * [taylor]: Taking taylor expansion of 0 in y
2.702 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
2.702 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.702 * [taylor]: Taking taylor expansion of 9.0 in z
2.702 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.702 * [taylor]: Taking taylor expansion of (* t z) in z
2.702 * [taylor]: Taking taylor expansion of t in z
2.702 * [taylor]: Taking taylor expansion of z in z
2.703 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
2.703 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
2.703 * [taylor]: Taking taylor expansion of 9.0 in t
2.703 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.703 * [taylor]: Taking taylor expansion of t in t
2.704 * [taylor]: Taking taylor expansion of 0 in z
2.705 * [taylor]: Taking taylor expansion of 0 in t
2.705 * [taylor]: Taking taylor expansion of 0 in t
2.707 * [taylor]: Taking taylor expansion of 0 in y
2.707 * [taylor]: Taking taylor expansion of 0 in z
2.708 * [taylor]: Taking taylor expansion of 0 in z
2.708 * [taylor]: Taking taylor expansion of 0 in z
2.709 * [taylor]: Taking taylor expansion of 0 in t
2.709 * [taylor]: Taking taylor expansion of 0 in t
2.709 * [taylor]: Taking taylor expansion of 0 in t
2.709 * [taylor]: Taking taylor expansion of 0 in t
2.714 * [taylor]: Taking taylor expansion of 0 in y
2.714 * [taylor]: Taking taylor expansion of 0 in z
2.714 * [taylor]: Taking taylor expansion of 0 in z
2.715 * [taylor]: Taking taylor expansion of 0 in z
2.716 * [taylor]: Taking taylor expansion of 0 in z
2.716 * [taylor]: Taking taylor expansion of 0 in t
2.716 * [taylor]: Taking taylor expansion of 0 in t
2.716 * [taylor]: Taking taylor expansion of 0 in t
2.717 * [taylor]: Taking taylor expansion of 0 in t
2.717 * [taylor]: Taking taylor expansion of 0 in t
2.717 * [taylor]: Taking taylor expansion of 0 in t
2.717 * [taylor]: Taking taylor expansion of 0 in t
2.718 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
2.718 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
2.718 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
2.718 * [taylor]: Taking taylor expansion of (* x y) in t
2.718 * [taylor]: Taking taylor expansion of x in t
2.718 * [taylor]: Taking taylor expansion of y in t
2.719 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
2.719 * [taylor]: Taking taylor expansion of 9.0 in t
2.719 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
2.719 * [taylor]: Taking taylor expansion of (* t z) in t
2.719 * [taylor]: Taking taylor expansion of t in t
2.719 * [taylor]: Taking taylor expansion of z in t
2.719 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
2.719 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.719 * [taylor]: Taking taylor expansion of (* x y) in z
2.719 * [taylor]: Taking taylor expansion of x in z
2.719 * [taylor]: Taking taylor expansion of y in z
2.719 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.719 * [taylor]: Taking taylor expansion of 9.0 in z
2.719 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.719 * [taylor]: Taking taylor expansion of (* t z) in z
2.719 * [taylor]: Taking taylor expansion of t in z
2.719 * [taylor]: Taking taylor expansion of z in z
2.720 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
2.720 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.720 * [taylor]: Taking taylor expansion of (* x y) in y
2.720 * [taylor]: Taking taylor expansion of x in y
2.720 * [taylor]: Taking taylor expansion of y in y
2.720 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.720 * [taylor]: Taking taylor expansion of 9.0 in y
2.720 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.720 * [taylor]: Taking taylor expansion of (* t z) in y
2.720 * [taylor]: Taking taylor expansion of t in y
2.720 * [taylor]: Taking taylor expansion of z in y
2.720 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.720 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.720 * [taylor]: Taking taylor expansion of (* x y) in x
2.720 * [taylor]: Taking taylor expansion of x in x
2.720 * [taylor]: Taking taylor expansion of y in x
2.720 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.721 * [taylor]: Taking taylor expansion of 9.0 in x
2.721 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.721 * [taylor]: Taking taylor expansion of (* t z) in x
2.721 * [taylor]: Taking taylor expansion of t in x
2.721 * [taylor]: Taking taylor expansion of z in x
2.721 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
2.721 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.721 * [taylor]: Taking taylor expansion of (* x y) in x
2.721 * [taylor]: Taking taylor expansion of x in x
2.721 * [taylor]: Taking taylor expansion of y in x
2.721 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
2.721 * [taylor]: Taking taylor expansion of 9.0 in x
2.721 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
2.721 * [taylor]: Taking taylor expansion of (* t z) in x
2.721 * [taylor]: Taking taylor expansion of t in x
2.721 * [taylor]: Taking taylor expansion of z in x
2.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.721 * [taylor]: Taking taylor expansion of y in y
2.722 * [taylor]: Taking taylor expansion of 1 in z
2.722 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
2.722 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
2.722 * [taylor]: Taking taylor expansion of 9.0 in y
2.722 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
2.722 * [taylor]: Taking taylor expansion of (* t z) in y
2.722 * [taylor]: Taking taylor expansion of t in y
2.722 * [taylor]: Taking taylor expansion of z in y
2.723 * [taylor]: Taking taylor expansion of 0 in z
2.723 * [taylor]: Taking taylor expansion of 1 in t
2.725 * [taylor]: Taking taylor expansion of 0 in y
2.725 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
2.725 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.725 * [taylor]: Taking taylor expansion of 9.0 in z
2.725 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.725 * [taylor]: Taking taylor expansion of (* t z) in z
2.725 * [taylor]: Taking taylor expansion of t in z
2.725 * [taylor]: Taking taylor expansion of z in z
2.725 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
2.725 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
2.725 * [taylor]: Taking taylor expansion of 9.0 in t
2.725 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.725 * [taylor]: Taking taylor expansion of t in t
2.727 * [taylor]: Taking taylor expansion of 0 in z
2.727 * [taylor]: Taking taylor expansion of 0 in t
2.727 * [taylor]: Taking taylor expansion of 0 in t
2.730 * [taylor]: Taking taylor expansion of 0 in y
2.730 * [taylor]: Taking taylor expansion of 0 in z
2.733 * [taylor]: Taking taylor expansion of 0 in z
2.734 * [taylor]: Taking taylor expansion of 0 in z
2.735 * [taylor]: Taking taylor expansion of 0 in t
2.735 * [taylor]: Taking taylor expansion of 0 in t
2.735 * [taylor]: Taking taylor expansion of 0 in t
2.735 * [taylor]: Taking taylor expansion of 0 in t
2.739 * [taylor]: Taking taylor expansion of 0 in y
2.739 * [taylor]: Taking taylor expansion of 0 in z
2.739 * [taylor]: Taking taylor expansion of 0 in z
2.740 * [taylor]: Taking taylor expansion of 0 in z
2.741 * [taylor]: Taking taylor expansion of 0 in z
2.741 * [taylor]: Taking taylor expansion of 0 in t
2.741 * [taylor]: Taking taylor expansion of 0 in t
2.741 * [taylor]: Taking taylor expansion of 0 in t
2.742 * [taylor]: Taking taylor expansion of 0 in t
2.742 * [taylor]: Taking taylor expansion of 0 in t
2.742 * [taylor]: Taking taylor expansion of 0 in t
2.742 * [taylor]: Taking taylor expansion of 0 in t
2.743 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
2.743 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
2.743 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
2.743 * [taylor]: Taking taylor expansion of 9.0 in t
2.743 * [taylor]: Taking taylor expansion of (* t z) in t
2.743 * [taylor]: Taking taylor expansion of t in t
2.743 * [taylor]: Taking taylor expansion of z in t
2.743 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.743 * [taylor]: Taking taylor expansion of 9.0 in z
2.743 * [taylor]: Taking taylor expansion of (* t z) in z
2.743 * [taylor]: Taking taylor expansion of t in z
2.743 * [taylor]: Taking taylor expansion of z in z
2.743 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.743 * [taylor]: Taking taylor expansion of 9.0 in z
2.743 * [taylor]: Taking taylor expansion of (* t z) in z
2.743 * [taylor]: Taking taylor expansion of t in z
2.743 * [taylor]: Taking taylor expansion of z in z
2.744 * [taylor]: Taking taylor expansion of 0 in t
2.744 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
2.744 * [taylor]: Taking taylor expansion of 9.0 in t
2.744 * [taylor]: Taking taylor expansion of t in t
2.746 * [taylor]: Taking taylor expansion of 0 in t
2.748 * [taylor]: Taking taylor expansion of 0 in t
2.750 * [taylor]: Taking taylor expansion of 0 in t
2.750 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
2.750 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
2.750 * [taylor]: Taking taylor expansion of 9.0 in t
2.750 * [taylor]: Taking taylor expansion of (* t z) in t
2.750 * [taylor]: Taking taylor expansion of t in t
2.750 * [taylor]: Taking taylor expansion of z in t
2.750 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.750 * [taylor]: Taking taylor expansion of 9.0 in z
2.750 * [taylor]: Taking taylor expansion of (* t z) in z
2.750 * [taylor]: Taking taylor expansion of t in z
2.750 * [taylor]: Taking taylor expansion of z in z
2.751 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.751 * [taylor]: Taking taylor expansion of 9.0 in z
2.751 * [taylor]: Taking taylor expansion of (* t z) in z
2.751 * [taylor]: Taking taylor expansion of t in z
2.751 * [taylor]: Taking taylor expansion of z in z
2.751 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
2.751 * [taylor]: Taking taylor expansion of 9.0 in t
2.751 * [taylor]: Taking taylor expansion of t in t
2.752 * [taylor]: Taking taylor expansion of 0 in t
2.753 * [taylor]: Taking taylor expansion of 0 in t
2.754 * [taylor]: Taking taylor expansion of 0 in t
2.755 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
2.755 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
2.755 * [taylor]: Taking taylor expansion of 9.0 in t
2.755 * [taylor]: Taking taylor expansion of (* t z) in t
2.755 * [taylor]: Taking taylor expansion of t in t
2.755 * [taylor]: Taking taylor expansion of z in t
2.756 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.756 * [taylor]: Taking taylor expansion of 9.0 in z
2.756 * [taylor]: Taking taylor expansion of (* t z) in z
2.756 * [taylor]: Taking taylor expansion of t in z
2.756 * [taylor]: Taking taylor expansion of z in z
2.756 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.756 * [taylor]: Taking taylor expansion of 9.0 in z
2.756 * [taylor]: Taking taylor expansion of (* t z) in z
2.756 * [taylor]: Taking taylor expansion of t in z
2.756 * [taylor]: Taking taylor expansion of z in z
2.756 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
2.756 * [taylor]: Taking taylor expansion of 9.0 in t
2.756 * [taylor]: Taking taylor expansion of t in t
2.757 * [taylor]: Taking taylor expansion of 0 in t
2.758 * [taylor]: Taking taylor expansion of 0 in t
2.759 * [taylor]: Taking taylor expansion of 0 in t
2.760 * * * [progress]: simplifying candidates
2.761 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (- (* x y) (* (* z 9.0) t))) (+ (log a) (log 2.0)))
  (- (log (- (* x y) (* (* z 9.0) t))) (log (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (exp (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (/ (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t))) (* (* (* a a) a) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t))) (* (* (* a 2.0) (* a 2.0)) (* a 2.0)))
  (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))))
  (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (* (* (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (- (- (* x y) (* (* z 9.0) t)))
  (- (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* (* z 9.0) t) (* a 2.0))
  (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a)
  (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)
  (/ (sqrt (- (* x y) (* (* z 9.0) t))) a)
  (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)
  (/ 1 a)
  (/ (- (* x y) (* (* z 9.0) t)) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))
  (/ (- (* x y) (* (* z 9.0) t)) a)
  (/ (* a 2.0) (cbrt (- (* x y) (* (* z 9.0) t))))
  (/ (* a 2.0) (sqrt (- (* x y) (* (* z 9.0) t))))
  (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))
  (* (* a 2.0) (+ (* (* x y) (* x y)) (+ (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* x y) (* (* z 9.0) t)))))
  (* (* a 2.0) (+ (* x y) (* (* z 9.0) t)))
  (/ (exp (* x y)) (exp (* (* z 9.0) t)))
  (log (- (* x y) (* (* z 9.0) t)))
  (exp (- (* x y) (* (* z 9.0) t)))
  (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t))))
  (cbrt (- (* x y) (* (* z 9.0) t)))
  (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t)))
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3))
  (+ (* (* x y) (* x y)) (+ (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* x y) (* (* z 9.0) t))))
  (- (* (* z 9.0) t))
  (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t)))
  (+ (* x y) (* (* z 9.0) t))
  (- (* (* z 9.0) t))
  (* (* z 9.0) t)
  (* (* z 9.0) t)
  (+ (+ (log z) (log 9.0)) (log t))
  (+ (log (* z 9.0)) (log t))
  (log (* (* z 9.0) t))
  (exp (* (* z 9.0) t))
  (* (* (* (* z z) z) (* (* 9.0 9.0) 9.0)) (* (* t t) t))
  (* (* (* (* z 9.0) (* z 9.0)) (* z 9.0)) (* (* t t) t))
  (* (cbrt (* (* z 9.0) t)) (cbrt (* (* z 9.0) t)))
  (cbrt (* (* z 9.0) t))
  (* (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* z 9.0) t))
  (sqrt (* (* z 9.0) t))
  (sqrt (* (* z 9.0) t))
  (* (* z 9.0) (* (cbrt t) (cbrt t)))
  (* (* z 9.0) (sqrt t))
  (* (* z 9.0) 1)
  (* 9.0 t)
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
2.764 * * [simplify]: iteration  0 :  116  enodes  (cost  858 )
2.782 * * [simplify]: iteration  1 :  327  enodes  (cost  827 )
2.887 * * [simplify]: iteration  2 :  1288  enodes  (cost  711 )
3.519 * * [simplify]: iteration  done :  5000  enodes  (cost  711 )
3.520 * [simplify]: Simplified to:
   (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (exp (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (pow (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 3)
  (pow (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 3)
  (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))))
  (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (pow (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 3)
  (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (- (- (* x y) (* (* z 9.0) t)))
  (- (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* (* z 9.0) t) (* a 2.0))
  (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a)
  (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)
  (/ (sqrt (- (* x y) (* (* z 9.0) t))) a)
  (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)
  (/ 1 a)
  (/ (- (* x y) (* (* z 9.0) t)) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))
  (/ (- (* x y) (* (* z 9.0) t)) a)
  (/ (* a 2.0) (cbrt (- (* x y) (* (* z 9.0) t))))
  (/ (* a 2.0) (sqrt (- (* x y) (* (* z 9.0) t))))
  (/ (* a 2.0) (- (* x y) (* (* z 9.0) t)))
  (* (* a 2.0) (+ (* (* (* z 9.0) t) (+ (* x y) (* (* z 9.0) t))) (* (* x y) (* x y))))
  (* (* a 2.0) (+ (* x y) (* (* z 9.0) t)))
  (exp (- (* x y) (* (* z 9.0) t)))
  (log (- (* x y) (* (* z 9.0) t)))
  (exp (- (* x y) (* (* z 9.0) t)))
  (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t))))
  (cbrt (- (* x y) (* (* z 9.0) t)))
  (pow (- (* x y) (* 9.0 (* t z))) 3)
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3))
  (+ (* (* (* z 9.0) t) (+ (* x y) (* (* z 9.0) t))) (* (* x y) (* x y)))
  (- (* 9.0 (* t z)))
  (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t)))
  (+ (* x y) (* (* z 9.0) t))
  (- (* 9.0 (* t z)))
  (* (* z 9.0) t)
  (* (* z 9.0) t)
  (log (* (* z 9.0) t))
  (log (* (* z 9.0) t))
  (log (* (* z 9.0) t))
  (exp (* (* z 9.0) t))
  (pow (* 9.0 (* t z)) 3)
  (pow (* 9.0 (* t z)) 3)
  (* (cbrt (* (* z 9.0) t)) (cbrt (* (* z 9.0) t)))
  (cbrt (* (* z 9.0) t))
  (pow (* 9.0 (* t z)) 3)
  (sqrt (* (* z 9.0) t))
  (sqrt (* (* z 9.0) t))
  (* (* z 9.0) (* (cbrt t) (cbrt t)))
  (* (* z 9.0) (sqrt t))
  (* z 9.0)
  (* 9.0 t)
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (* (* z 9.0) t)
  (* (* z 9.0) t)
  (* (* z 9.0) t)
3.520 * * * [progress]: adding candidates to table
3.663 * * [progress]: iteration 2 / 4
3.663 * * * [progress]: picking best candidate
3.692 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))>
3.692 * * * [progress]: localizing error
3.701 * * * [progress]: generating rewritten candidates
3.701 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.709 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
3.712 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
3.718 * * * [progress]: generating series expansions
3.718 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.719 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y z t a) around 0
3.719 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a
3.719 * [taylor]: Taking taylor expansion of 0.5 in a
3.719 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a
3.719 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a
3.719 * [taylor]: Taking taylor expansion of (* x y) in a
3.719 * [taylor]: Taking taylor expansion of x in a
3.719 * [taylor]: Taking taylor expansion of y in a
3.719 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a
3.719 * [taylor]: Taking taylor expansion of 9.0 in a
3.719 * [taylor]: Taking taylor expansion of (* t z) in a
3.719 * [taylor]: Taking taylor expansion of t in a
3.719 * [taylor]: Taking taylor expansion of z in a
3.719 * [taylor]: Taking taylor expansion of a in a
3.719 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t
3.719 * [taylor]: Taking taylor expansion of 0.5 in t
3.719 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t
3.719 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
3.719 * [taylor]: Taking taylor expansion of (* x y) in t
3.719 * [taylor]: Taking taylor expansion of x in t
3.719 * [taylor]: Taking taylor expansion of y in t
3.719 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
3.719 * [taylor]: Taking taylor expansion of 9.0 in t
3.719 * [taylor]: Taking taylor expansion of (* t z) in t
3.719 * [taylor]: Taking taylor expansion of t in t
3.719 * [taylor]: Taking taylor expansion of z in t
3.719 * [taylor]: Taking taylor expansion of a in t
3.720 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z
3.720 * [taylor]: Taking taylor expansion of 0.5 in z
3.720 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z
3.720 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
3.720 * [taylor]: Taking taylor expansion of (* x y) in z
3.720 * [taylor]: Taking taylor expansion of x in z
3.720 * [taylor]: Taking taylor expansion of y in z
3.720 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.720 * [taylor]: Taking taylor expansion of 9.0 in z
3.720 * [taylor]: Taking taylor expansion of (* t z) in z
3.720 * [taylor]: Taking taylor expansion of t in z
3.720 * [taylor]: Taking taylor expansion of z in z
3.720 * [taylor]: Taking taylor expansion of a in z
3.721 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y
3.721 * [taylor]: Taking taylor expansion of 0.5 in y
3.721 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y
3.721 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
3.721 * [taylor]: Taking taylor expansion of (* x y) in y
3.721 * [taylor]: Taking taylor expansion of x in y
3.721 * [taylor]: Taking taylor expansion of y in y
3.721 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
3.721 * [taylor]: Taking taylor expansion of 9.0 in y
3.721 * [taylor]: Taking taylor expansion of (* t z) in y
3.721 * [taylor]: Taking taylor expansion of t in y
3.721 * [taylor]: Taking taylor expansion of z in y
3.721 * [taylor]: Taking taylor expansion of a in y
3.722 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
3.722 * [taylor]: Taking taylor expansion of 0.5 in x
3.722 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
3.722 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
3.722 * [taylor]: Taking taylor expansion of (* x y) in x
3.722 * [taylor]: Taking taylor expansion of x in x
3.722 * [taylor]: Taking taylor expansion of y in x
3.722 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
3.722 * [taylor]: Taking taylor expansion of 9.0 in x
3.722 * [taylor]: Taking taylor expansion of (* t z) in x
3.722 * [taylor]: Taking taylor expansion of t in x
3.722 * [taylor]: Taking taylor expansion of z in x
3.722 * [taylor]: Taking taylor expansion of a in x
3.725 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
3.725 * [taylor]: Taking taylor expansion of 0.5 in x
3.725 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
3.725 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
3.725 * [taylor]: Taking taylor expansion of (* x y) in x
3.725 * [taylor]: Taking taylor expansion of x in x
3.725 * [taylor]: Taking taylor expansion of y in x
3.725 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
3.725 * [taylor]: Taking taylor expansion of 9.0 in x
3.725 * [taylor]: Taking taylor expansion of (* t z) in x
3.725 * [taylor]: Taking taylor expansion of t in x
3.725 * [taylor]: Taking taylor expansion of z in x
3.725 * [taylor]: Taking taylor expansion of a in x
3.725 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y
3.725 * [taylor]: Taking taylor expansion of -4.5 in y
3.725 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
3.725 * [taylor]: Taking taylor expansion of (* t z) in y
3.725 * [taylor]: Taking taylor expansion of t in y
3.725 * [taylor]: Taking taylor expansion of z in y
3.725 * [taylor]: Taking taylor expansion of a in y
3.725 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in z
3.725 * [taylor]: Taking taylor expansion of -4.5 in z
3.725 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
3.726 * [taylor]: Taking taylor expansion of (* t z) in z
3.726 * [taylor]: Taking taylor expansion of t in z
3.726 * [taylor]: Taking taylor expansion of z in z
3.726 * [taylor]: Taking taylor expansion of a in z
3.727 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
3.727 * [taylor]: Taking taylor expansion of 0.5 in y
3.727 * [taylor]: Taking taylor expansion of (/ y a) in y
3.727 * [taylor]: Taking taylor expansion of y in y
3.727 * [taylor]: Taking taylor expansion of a in y
3.728 * [taylor]: Taking taylor expansion of 0 in z
3.728 * [taylor]: Taking taylor expansion of 0 in t
3.728 * [taylor]: Taking taylor expansion of 0 in a
3.728 * [taylor]: Taking taylor expansion of (* -4.5 (/ t a)) in t
3.728 * [taylor]: Taking taylor expansion of -4.5 in t
3.728 * [taylor]: Taking taylor expansion of (/ t a) in t
3.728 * [taylor]: Taking taylor expansion of t in t
3.728 * [taylor]: Taking taylor expansion of a in t
3.730 * [taylor]: Taking taylor expansion of 0 in y
3.730 * [taylor]: Taking taylor expansion of 0 in z
3.730 * [taylor]: Taking taylor expansion of 0 in t
3.730 * [taylor]: Taking taylor expansion of 0 in a
3.730 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z
3.730 * [taylor]: Taking taylor expansion of 0.5 in z
3.730 * [taylor]: Taking taylor expansion of a in z
3.730 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t
3.730 * [taylor]: Taking taylor expansion of 0.5 in t
3.731 * [taylor]: Taking taylor expansion of a in t
3.731 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
3.731 * [taylor]: Taking taylor expansion of 0.5 in a
3.731 * [taylor]: Taking taylor expansion of a in a
3.732 * [taylor]: Taking taylor expansion of 0 in z
3.732 * [taylor]: Taking taylor expansion of 0 in t
3.732 * [taylor]: Taking taylor expansion of 0 in a
3.732 * [taylor]: Taking taylor expansion of 0 in t
3.732 * [taylor]: Taking taylor expansion of 0 in a
3.733 * [taylor]: Taking taylor expansion of 0 in t
3.733 * [taylor]: Taking taylor expansion of 0 in a
3.733 * [taylor]: Taking taylor expansion of 0 in a
3.733 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a
3.733 * [taylor]: Taking taylor expansion of -4.5 in a
3.733 * [taylor]: Taking taylor expansion of a in a
3.737 * [taylor]: Taking taylor expansion of 0 in y
3.737 * [taylor]: Taking taylor expansion of 0 in z
3.737 * [taylor]: Taking taylor expansion of 0 in t
3.737 * [taylor]: Taking taylor expansion of 0 in a
3.737 * [taylor]: Taking taylor expansion of 0 in z
3.737 * [taylor]: Taking taylor expansion of 0 in t
3.737 * [taylor]: Taking taylor expansion of 0 in a
3.737 * [taylor]: Taking taylor expansion of 0 in z
3.737 * [taylor]: Taking taylor expansion of 0 in t
3.737 * [taylor]: Taking taylor expansion of 0 in a
3.739 * [taylor]: Taking taylor expansion of 0 in z
3.739 * [taylor]: Taking taylor expansion of 0 in t
3.739 * [taylor]: Taking taylor expansion of 0 in a
3.739 * [taylor]: Taking taylor expansion of 0 in t
3.739 * [taylor]: Taking taylor expansion of 0 in a
3.739 * [taylor]: Taking taylor expansion of 0 in t
3.739 * [taylor]: Taking taylor expansion of 0 in a
3.739 * [taylor]: Taking taylor expansion of 0 in t
3.739 * [taylor]: Taking taylor expansion of 0 in a
3.739 * [taylor]: Taking taylor expansion of 0 in t
3.739 * [taylor]: Taking taylor expansion of 0 in a
3.740 * [taylor]: Taking taylor expansion of 0 in t
3.740 * [taylor]: Taking taylor expansion of 0 in a
3.740 * [taylor]: Taking taylor expansion of 0 in a
3.740 * [taylor]: Taking taylor expansion of 0 in a
3.740 * [taylor]: Taking taylor expansion of 0 in a
3.741 * [taylor]: Taking taylor expansion of 0 in a
3.741 * [taylor]: Taking taylor expansion of 0 in a
3.741 * [taylor]: Taking taylor expansion of 0 in a
3.741 * [taylor]: Taking taylor expansion of 0 in a
3.742 * [approximate]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0
3.742 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
3.742 * [taylor]: Taking taylor expansion of 0.5 in a
3.742 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
3.742 * [taylor]: Taking taylor expansion of a in a
3.742 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
3.742 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
3.742 * [taylor]: Taking taylor expansion of (* x y) in a
3.742 * [taylor]: Taking taylor expansion of x in a
3.742 * [taylor]: Taking taylor expansion of y in a
3.742 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
3.743 * [taylor]: Taking taylor expansion of 9.0 in a
3.743 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
3.743 * [taylor]: Taking taylor expansion of (* t z) in a
3.743 * [taylor]: Taking taylor expansion of t in a
3.743 * [taylor]: Taking taylor expansion of z in a
3.743 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
3.743 * [taylor]: Taking taylor expansion of 0.5 in t
3.743 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
3.743 * [taylor]: Taking taylor expansion of a in t
3.743 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
3.743 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
3.743 * [taylor]: Taking taylor expansion of (* x y) in t
3.743 * [taylor]: Taking taylor expansion of x in t
3.743 * [taylor]: Taking taylor expansion of y in t
3.743 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
3.743 * [taylor]: Taking taylor expansion of 9.0 in t
3.743 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.743 * [taylor]: Taking taylor expansion of (* t z) in t
3.743 * [taylor]: Taking taylor expansion of t in t
3.743 * [taylor]: Taking taylor expansion of z in t
3.743 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
3.743 * [taylor]: Taking taylor expansion of 0.5 in z
3.743 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
3.743 * [taylor]: Taking taylor expansion of a in z
3.743 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
3.743 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.743 * [taylor]: Taking taylor expansion of (* x y) in z
3.743 * [taylor]: Taking taylor expansion of x in z
3.743 * [taylor]: Taking taylor expansion of y in z
3.744 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.744 * [taylor]: Taking taylor expansion of 9.0 in z
3.744 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.744 * [taylor]: Taking taylor expansion of (* t z) in z
3.744 * [taylor]: Taking taylor expansion of t in z
3.744 * [taylor]: Taking taylor expansion of z in z
3.744 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
3.744 * [taylor]: Taking taylor expansion of 0.5 in y
3.744 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
3.744 * [taylor]: Taking taylor expansion of a in y
3.744 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
3.744 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.744 * [taylor]: Taking taylor expansion of (* x y) in y
3.744 * [taylor]: Taking taylor expansion of x in y
3.744 * [taylor]: Taking taylor expansion of y in y
3.744 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
3.744 * [taylor]: Taking taylor expansion of 9.0 in y
3.744 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.744 * [taylor]: Taking taylor expansion of (* t z) in y
3.744 * [taylor]: Taking taylor expansion of t in y
3.745 * [taylor]: Taking taylor expansion of z in y
3.745 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
3.745 * [taylor]: Taking taylor expansion of 0.5 in x
3.745 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
3.745 * [taylor]: Taking taylor expansion of a in x
3.745 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
3.745 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.745 * [taylor]: Taking taylor expansion of (* x y) in x
3.745 * [taylor]: Taking taylor expansion of x in x
3.745 * [taylor]: Taking taylor expansion of y in x
3.745 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
3.745 * [taylor]: Taking taylor expansion of 9.0 in x
3.745 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.745 * [taylor]: Taking taylor expansion of (* t z) in x
3.745 * [taylor]: Taking taylor expansion of t in x
3.745 * [taylor]: Taking taylor expansion of z in x
3.745 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
3.745 * [taylor]: Taking taylor expansion of 0.5 in x
3.745 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
3.745 * [taylor]: Taking taylor expansion of a in x
3.745 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
3.745 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.745 * [taylor]: Taking taylor expansion of (* x y) in x
3.745 * [taylor]: Taking taylor expansion of x in x
3.745 * [taylor]: Taking taylor expansion of y in x
3.746 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
3.746 * [taylor]: Taking taylor expansion of 9.0 in x
3.746 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.746 * [taylor]: Taking taylor expansion of (* t z) in x
3.746 * [taylor]: Taking taylor expansion of t in x
3.746 * [taylor]: Taking taylor expansion of z in x
3.746 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
3.746 * [taylor]: Taking taylor expansion of 0.5 in y
3.746 * [taylor]: Taking taylor expansion of (/ a y) in y
3.746 * [taylor]: Taking taylor expansion of a in y
3.746 * [taylor]: Taking taylor expansion of y in y
3.746 * [taylor]: Taking taylor expansion of (* 0.5 a) in z
3.746 * [taylor]: Taking taylor expansion of 0.5 in z
3.746 * [taylor]: Taking taylor expansion of a in z
3.747 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in y
3.747 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
3.747 * [taylor]: Taking taylor expansion of 4.5 in y
3.747 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
3.747 * [taylor]: Taking taylor expansion of a in y
3.747 * [taylor]: Taking taylor expansion of (* z t) in y
3.747 * [taylor]: Taking taylor expansion of z in y
3.747 * [taylor]: Taking taylor expansion of t in y
3.748 * [taylor]: Taking taylor expansion of 0 in z
3.748 * [taylor]: Taking taylor expansion of (* 0.5 a) in t
3.748 * [taylor]: Taking taylor expansion of 0.5 in t
3.748 * [taylor]: Taking taylor expansion of a in t
3.751 * [taylor]: Taking taylor expansion of 0 in y
3.751 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in z
3.751 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
3.751 * [taylor]: Taking taylor expansion of 4.5 in z
3.751 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
3.751 * [taylor]: Taking taylor expansion of a in z
3.751 * [taylor]: Taking taylor expansion of (* z t) in z
3.751 * [taylor]: Taking taylor expansion of z in z
3.751 * [taylor]: Taking taylor expansion of t in z
3.751 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a t))) in t
3.751 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
3.751 * [taylor]: Taking taylor expansion of 4.5 in t
3.751 * [taylor]: Taking taylor expansion of (/ a t) in t
3.751 * [taylor]: Taking taylor expansion of a in t
3.751 * [taylor]: Taking taylor expansion of t in t
3.752 * [taylor]: Taking taylor expansion of (- (* 4.5 a)) in a
3.752 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
3.752 * [taylor]: Taking taylor expansion of 4.5 in a
3.752 * [taylor]: Taking taylor expansion of a in a
3.753 * [taylor]: Taking taylor expansion of 0 in z
3.754 * [taylor]: Taking taylor expansion of 0 in t
3.754 * [taylor]: Taking taylor expansion of 0 in t
3.754 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
3.754 * [taylor]: Taking taylor expansion of 0.5 in a
3.754 * [taylor]: Taking taylor expansion of a in a
3.758 * [taylor]: Taking taylor expansion of 0 in y
3.758 * [taylor]: Taking taylor expansion of 0 in z
3.759 * [taylor]: Taking taylor expansion of 0 in z
3.761 * [taylor]: Taking taylor expansion of 0 in z
3.762 * [taylor]: Taking taylor expansion of 0 in t
3.762 * [taylor]: Taking taylor expansion of 0 in t
3.762 * [taylor]: Taking taylor expansion of 0 in t
3.762 * [taylor]: Taking taylor expansion of 0 in t
3.763 * [taylor]: Taking taylor expansion of 0 in a
3.764 * [taylor]: Taking taylor expansion of 0 in a
3.764 * [taylor]: Taking taylor expansion of 0 in a
3.764 * [taylor]: Taking taylor expansion of 0 in a
3.764 * [approximate]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0
3.764 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
3.764 * [taylor]: Taking taylor expansion of -0.5 in a
3.764 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
3.764 * [taylor]: Taking taylor expansion of a in a
3.764 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
3.764 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
3.764 * [taylor]: Taking taylor expansion of (* x y) in a
3.764 * [taylor]: Taking taylor expansion of x in a
3.764 * [taylor]: Taking taylor expansion of y in a
3.765 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
3.765 * [taylor]: Taking taylor expansion of 9.0 in a
3.765 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
3.765 * [taylor]: Taking taylor expansion of (* t z) in a
3.765 * [taylor]: Taking taylor expansion of t in a
3.765 * [taylor]: Taking taylor expansion of z in a
3.765 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
3.765 * [taylor]: Taking taylor expansion of -0.5 in t
3.765 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
3.765 * [taylor]: Taking taylor expansion of a in t
3.765 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
3.765 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
3.765 * [taylor]: Taking taylor expansion of (* x y) in t
3.765 * [taylor]: Taking taylor expansion of x in t
3.765 * [taylor]: Taking taylor expansion of y in t
3.765 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
3.765 * [taylor]: Taking taylor expansion of 9.0 in t
3.765 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.765 * [taylor]: Taking taylor expansion of (* t z) in t
3.765 * [taylor]: Taking taylor expansion of t in t
3.765 * [taylor]: Taking taylor expansion of z in t
3.765 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
3.765 * [taylor]: Taking taylor expansion of -0.5 in z
3.765 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
3.765 * [taylor]: Taking taylor expansion of a in z
3.765 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
3.765 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.765 * [taylor]: Taking taylor expansion of (* x y) in z
3.765 * [taylor]: Taking taylor expansion of x in z
3.766 * [taylor]: Taking taylor expansion of y in z
3.766 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.766 * [taylor]: Taking taylor expansion of 9.0 in z
3.766 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.766 * [taylor]: Taking taylor expansion of (* t z) in z
3.766 * [taylor]: Taking taylor expansion of t in z
3.766 * [taylor]: Taking taylor expansion of z in z
3.766 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
3.766 * [taylor]: Taking taylor expansion of -0.5 in y
3.766 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
3.766 * [taylor]: Taking taylor expansion of a in y
3.766 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
3.766 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.766 * [taylor]: Taking taylor expansion of (* x y) in y
3.766 * [taylor]: Taking taylor expansion of x in y
3.766 * [taylor]: Taking taylor expansion of y in y
3.766 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
3.767 * [taylor]: Taking taylor expansion of 9.0 in y
3.767 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.767 * [taylor]: Taking taylor expansion of (* t z) in y
3.767 * [taylor]: Taking taylor expansion of t in y
3.767 * [taylor]: Taking taylor expansion of z in y
3.767 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
3.767 * [taylor]: Taking taylor expansion of -0.5 in x
3.767 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
3.767 * [taylor]: Taking taylor expansion of a in x
3.767 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
3.767 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.767 * [taylor]: Taking taylor expansion of (* x y) in x
3.767 * [taylor]: Taking taylor expansion of x in x
3.767 * [taylor]: Taking taylor expansion of y in x
3.767 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
3.767 * [taylor]: Taking taylor expansion of 9.0 in x
3.767 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.767 * [taylor]: Taking taylor expansion of (* t z) in x
3.767 * [taylor]: Taking taylor expansion of t in x
3.767 * [taylor]: Taking taylor expansion of z in x
3.767 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
3.767 * [taylor]: Taking taylor expansion of -0.5 in x
3.767 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
3.767 * [taylor]: Taking taylor expansion of a in x
3.767 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
3.767 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.767 * [taylor]: Taking taylor expansion of (* x y) in x
3.767 * [taylor]: Taking taylor expansion of x in x
3.767 * [taylor]: Taking taylor expansion of y in x
3.768 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
3.768 * [taylor]: Taking taylor expansion of 9.0 in x
3.768 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.768 * [taylor]: Taking taylor expansion of (* t z) in x
3.768 * [taylor]: Taking taylor expansion of t in x
3.768 * [taylor]: Taking taylor expansion of z in x
3.768 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
3.768 * [taylor]: Taking taylor expansion of -0.5 in y
3.768 * [taylor]: Taking taylor expansion of (/ a y) in y
3.768 * [taylor]: Taking taylor expansion of a in y
3.768 * [taylor]: Taking taylor expansion of y in y
3.768 * [taylor]: Taking taylor expansion of (* -0.5 a) in z
3.768 * [taylor]: Taking taylor expansion of -0.5 in z
3.768 * [taylor]: Taking taylor expansion of a in z
3.769 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
3.769 * [taylor]: Taking taylor expansion of 4.5 in y
3.769 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
3.769 * [taylor]: Taking taylor expansion of a in y
3.769 * [taylor]: Taking taylor expansion of (* z t) in y
3.769 * [taylor]: Taking taylor expansion of z in y
3.769 * [taylor]: Taking taylor expansion of t in y
3.770 * [taylor]: Taking taylor expansion of 0 in z
3.770 * [taylor]: Taking taylor expansion of (* -0.5 a) in t
3.770 * [taylor]: Taking taylor expansion of -0.5 in t
3.770 * [taylor]: Taking taylor expansion of a in t
3.773 * [taylor]: Taking taylor expansion of 0 in y
3.773 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
3.773 * [taylor]: Taking taylor expansion of 4.5 in z
3.773 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
3.773 * [taylor]: Taking taylor expansion of a in z
3.773 * [taylor]: Taking taylor expansion of (* z t) in z
3.773 * [taylor]: Taking taylor expansion of z in z
3.773 * [taylor]: Taking taylor expansion of t in z
3.773 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
3.773 * [taylor]: Taking taylor expansion of 4.5 in t
3.773 * [taylor]: Taking taylor expansion of (/ a t) in t
3.773 * [taylor]: Taking taylor expansion of a in t
3.773 * [taylor]: Taking taylor expansion of t in t
3.773 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
3.773 * [taylor]: Taking taylor expansion of 4.5 in a
3.773 * [taylor]: Taking taylor expansion of a in a
3.775 * [taylor]: Taking taylor expansion of 0 in z
3.775 * [taylor]: Taking taylor expansion of 0 in t
3.776 * [taylor]: Taking taylor expansion of 0 in t
3.776 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
3.776 * [taylor]: Taking taylor expansion of -0.5 in a
3.776 * [taylor]: Taking taylor expansion of a in a
3.780 * [taylor]: Taking taylor expansion of 0 in y
3.780 * [taylor]: Taking taylor expansion of 0 in z
3.780 * [taylor]: Taking taylor expansion of 0 in z
3.782 * [taylor]: Taking taylor expansion of 0 in z
3.783 * [taylor]: Taking taylor expansion of 0 in t
3.783 * [taylor]: Taking taylor expansion of 0 in t
3.783 * [taylor]: Taking taylor expansion of 0 in t
3.784 * [taylor]: Taking taylor expansion of 0 in t
3.785 * [taylor]: Taking taylor expansion of 0 in a
3.785 * [taylor]: Taking taylor expansion of 0 in a
3.785 * [taylor]: Taking taylor expansion of 0 in a
3.785 * [taylor]: Taking taylor expansion of 0 in a
3.785 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
3.785 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y z t) around 0
3.786 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
3.786 * [taylor]: Taking taylor expansion of (* x y) in t
3.786 * [taylor]: Taking taylor expansion of x in t
3.786 * [taylor]: Taking taylor expansion of y in t
3.786 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
3.786 * [taylor]: Taking taylor expansion of 9.0 in t
3.786 * [taylor]: Taking taylor expansion of (* t z) in t
3.786 * [taylor]: Taking taylor expansion of t in t
3.786 * [taylor]: Taking taylor expansion of z in t
3.786 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
3.786 * [taylor]: Taking taylor expansion of (* x y) in z
3.786 * [taylor]: Taking taylor expansion of x in z
3.786 * [taylor]: Taking taylor expansion of y in z
3.786 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.786 * [taylor]: Taking taylor expansion of 9.0 in z
3.786 * [taylor]: Taking taylor expansion of (* t z) in z
3.786 * [taylor]: Taking taylor expansion of t in z
3.786 * [taylor]: Taking taylor expansion of z in z
3.786 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
3.786 * [taylor]: Taking taylor expansion of (* x y) in y
3.786 * [taylor]: Taking taylor expansion of x in y
3.786 * [taylor]: Taking taylor expansion of y in y
3.786 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
3.786 * [taylor]: Taking taylor expansion of 9.0 in y
3.786 * [taylor]: Taking taylor expansion of (* t z) in y
3.786 * [taylor]: Taking taylor expansion of t in y
3.786 * [taylor]: Taking taylor expansion of z in y
3.786 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
3.786 * [taylor]: Taking taylor expansion of (* x y) in x
3.786 * [taylor]: Taking taylor expansion of x in x
3.786 * [taylor]: Taking taylor expansion of y in x
3.786 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
3.786 * [taylor]: Taking taylor expansion of 9.0 in x
3.786 * [taylor]: Taking taylor expansion of (* t z) in x
3.786 * [taylor]: Taking taylor expansion of t in x
3.786 * [taylor]: Taking taylor expansion of z in x
3.786 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
3.786 * [taylor]: Taking taylor expansion of (* x y) in x
3.786 * [taylor]: Taking taylor expansion of x in x
3.786 * [taylor]: Taking taylor expansion of y in x
3.786 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
3.786 * [taylor]: Taking taylor expansion of 9.0 in x
3.786 * [taylor]: Taking taylor expansion of (* t z) in x
3.786 * [taylor]: Taking taylor expansion of t in x
3.786 * [taylor]: Taking taylor expansion of z in x
3.787 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in y
3.787 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
3.787 * [taylor]: Taking taylor expansion of 9.0 in y
3.787 * [taylor]: Taking taylor expansion of (* t z) in y
3.787 * [taylor]: Taking taylor expansion of t in y
3.787 * [taylor]: Taking taylor expansion of z in y
3.787 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
3.787 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.787 * [taylor]: Taking taylor expansion of 9.0 in z
3.787 * [taylor]: Taking taylor expansion of (* t z) in z
3.787 * [taylor]: Taking taylor expansion of t in z
3.787 * [taylor]: Taking taylor expansion of z in z
3.787 * [taylor]: Taking taylor expansion of 0 in t
3.788 * [taylor]: Taking taylor expansion of y in y
3.788 * [taylor]: Taking taylor expansion of 0 in z
3.788 * [taylor]: Taking taylor expansion of 0 in t
3.789 * [taylor]: Taking taylor expansion of 0 in z
3.789 * [taylor]: Taking taylor expansion of 0 in t
3.789 * [taylor]: Taking taylor expansion of (- (* 9.0 t)) in t
3.789 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
3.790 * [taylor]: Taking taylor expansion of 9.0 in t
3.790 * [taylor]: Taking taylor expansion of t in t
3.792 * [taylor]: Taking taylor expansion of 0 in y
3.792 * [taylor]: Taking taylor expansion of 0 in z
3.792 * [taylor]: Taking taylor expansion of 0 in t
3.792 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
3.792 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
3.792 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
3.792 * [taylor]: Taking taylor expansion of (* x y) in t
3.792 * [taylor]: Taking taylor expansion of x in t
3.792 * [taylor]: Taking taylor expansion of y in t
3.792 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
3.792 * [taylor]: Taking taylor expansion of 9.0 in t
3.792 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.792 * [taylor]: Taking taylor expansion of (* t z) in t
3.792 * [taylor]: Taking taylor expansion of t in t
3.792 * [taylor]: Taking taylor expansion of z in t
3.793 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
3.793 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.793 * [taylor]: Taking taylor expansion of (* x y) in z
3.793 * [taylor]: Taking taylor expansion of x in z
3.793 * [taylor]: Taking taylor expansion of y in z
3.793 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.793 * [taylor]: Taking taylor expansion of 9.0 in z
3.793 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.793 * [taylor]: Taking taylor expansion of (* t z) in z
3.793 * [taylor]: Taking taylor expansion of t in z
3.793 * [taylor]: Taking taylor expansion of z in z
3.793 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
3.793 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.793 * [taylor]: Taking taylor expansion of (* x y) in y
3.793 * [taylor]: Taking taylor expansion of x in y
3.793 * [taylor]: Taking taylor expansion of y in y
3.794 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
3.794 * [taylor]: Taking taylor expansion of 9.0 in y
3.794 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.794 * [taylor]: Taking taylor expansion of (* t z) in y
3.794 * [taylor]: Taking taylor expansion of t in y
3.794 * [taylor]: Taking taylor expansion of z in y
3.794 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
3.794 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.794 * [taylor]: Taking taylor expansion of (* x y) in x
3.794 * [taylor]: Taking taylor expansion of x in x
3.794 * [taylor]: Taking taylor expansion of y in x
3.794 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
3.794 * [taylor]: Taking taylor expansion of 9.0 in x
3.794 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.794 * [taylor]: Taking taylor expansion of (* t z) in x
3.794 * [taylor]: Taking taylor expansion of t in x
3.794 * [taylor]: Taking taylor expansion of z in x
3.794 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
3.794 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.794 * [taylor]: Taking taylor expansion of (* x y) in x
3.794 * [taylor]: Taking taylor expansion of x in x
3.794 * [taylor]: Taking taylor expansion of y in x
3.795 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
3.795 * [taylor]: Taking taylor expansion of 9.0 in x
3.795 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.795 * [taylor]: Taking taylor expansion of (* t z) in x
3.795 * [taylor]: Taking taylor expansion of t in x
3.795 * [taylor]: Taking taylor expansion of z in x
3.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.795 * [taylor]: Taking taylor expansion of y in y
3.795 * [taylor]: Taking taylor expansion of 1 in z
3.796 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
3.796 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
3.796 * [taylor]: Taking taylor expansion of 9.0 in y
3.796 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.796 * [taylor]: Taking taylor expansion of (* t z) in y
3.796 * [taylor]: Taking taylor expansion of t in y
3.796 * [taylor]: Taking taylor expansion of z in y
3.797 * [taylor]: Taking taylor expansion of 0 in z
3.797 * [taylor]: Taking taylor expansion of 1 in t
3.798 * [taylor]: Taking taylor expansion of 0 in y
3.799 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
3.799 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.799 * [taylor]: Taking taylor expansion of 9.0 in z
3.799 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.799 * [taylor]: Taking taylor expansion of (* t z) in z
3.799 * [taylor]: Taking taylor expansion of t in z
3.799 * [taylor]: Taking taylor expansion of z in z
3.799 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
3.799 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
3.799 * [taylor]: Taking taylor expansion of 9.0 in t
3.799 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.799 * [taylor]: Taking taylor expansion of t in t
3.801 * [taylor]: Taking taylor expansion of 0 in z
3.801 * [taylor]: Taking taylor expansion of 0 in t
3.801 * [taylor]: Taking taylor expansion of 0 in t
3.803 * [taylor]: Taking taylor expansion of 0 in y
3.803 * [taylor]: Taking taylor expansion of 0 in z
3.804 * [taylor]: Taking taylor expansion of 0 in z
3.804 * [taylor]: Taking taylor expansion of 0 in z
3.806 * [taylor]: Taking taylor expansion of 0 in t
3.806 * [taylor]: Taking taylor expansion of 0 in t
3.806 * [taylor]: Taking taylor expansion of 0 in t
3.806 * [taylor]: Taking taylor expansion of 0 in t
3.810 * [taylor]: Taking taylor expansion of 0 in y
3.810 * [taylor]: Taking taylor expansion of 0 in z
3.810 * [taylor]: Taking taylor expansion of 0 in z
3.811 * [taylor]: Taking taylor expansion of 0 in z
3.812 * [taylor]: Taking taylor expansion of 0 in z
3.812 * [taylor]: Taking taylor expansion of 0 in t
3.812 * [taylor]: Taking taylor expansion of 0 in t
3.812 * [taylor]: Taking taylor expansion of 0 in t
3.816 * [taylor]: Taking taylor expansion of 0 in t
3.816 * [taylor]: Taking taylor expansion of 0 in t
3.816 * [taylor]: Taking taylor expansion of 0 in t
3.816 * [taylor]: Taking taylor expansion of 0 in t
3.817 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
3.817 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
3.817 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
3.817 * [taylor]: Taking taylor expansion of (* x y) in t
3.817 * [taylor]: Taking taylor expansion of x in t
3.817 * [taylor]: Taking taylor expansion of y in t
3.817 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
3.817 * [taylor]: Taking taylor expansion of 9.0 in t
3.817 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
3.817 * [taylor]: Taking taylor expansion of (* t z) in t
3.817 * [taylor]: Taking taylor expansion of t in t
3.817 * [taylor]: Taking taylor expansion of z in t
3.818 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
3.818 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.818 * [taylor]: Taking taylor expansion of (* x y) in z
3.818 * [taylor]: Taking taylor expansion of x in z
3.818 * [taylor]: Taking taylor expansion of y in z
3.818 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.818 * [taylor]: Taking taylor expansion of 9.0 in z
3.818 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.818 * [taylor]: Taking taylor expansion of (* t z) in z
3.818 * [taylor]: Taking taylor expansion of t in z
3.818 * [taylor]: Taking taylor expansion of z in z
3.818 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
3.818 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.818 * [taylor]: Taking taylor expansion of (* x y) in y
3.818 * [taylor]: Taking taylor expansion of x in y
3.818 * [taylor]: Taking taylor expansion of y in y
3.819 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
3.819 * [taylor]: Taking taylor expansion of 9.0 in y
3.819 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.819 * [taylor]: Taking taylor expansion of (* t z) in y
3.819 * [taylor]: Taking taylor expansion of t in y
3.819 * [taylor]: Taking taylor expansion of z in y
3.819 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
3.819 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.819 * [taylor]: Taking taylor expansion of (* x y) in x
3.819 * [taylor]: Taking taylor expansion of x in x
3.819 * [taylor]: Taking taylor expansion of y in x
3.819 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
3.819 * [taylor]: Taking taylor expansion of 9.0 in x
3.819 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.819 * [taylor]: Taking taylor expansion of (* t z) in x
3.819 * [taylor]: Taking taylor expansion of t in x
3.819 * [taylor]: Taking taylor expansion of z in x
3.819 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
3.819 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.819 * [taylor]: Taking taylor expansion of (* x y) in x
3.819 * [taylor]: Taking taylor expansion of x in x
3.819 * [taylor]: Taking taylor expansion of y in x
3.820 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
3.820 * [taylor]: Taking taylor expansion of 9.0 in x
3.820 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
3.820 * [taylor]: Taking taylor expansion of (* t z) in x
3.820 * [taylor]: Taking taylor expansion of t in x
3.820 * [taylor]: Taking taylor expansion of z in x
3.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.820 * [taylor]: Taking taylor expansion of y in y
3.820 * [taylor]: Taking taylor expansion of 1 in z
3.821 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
3.821 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
3.821 * [taylor]: Taking taylor expansion of 9.0 in y
3.821 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
3.821 * [taylor]: Taking taylor expansion of (* t z) in y
3.821 * [taylor]: Taking taylor expansion of t in y
3.821 * [taylor]: Taking taylor expansion of z in y
3.822 * [taylor]: Taking taylor expansion of 0 in z
3.822 * [taylor]: Taking taylor expansion of 1 in t
3.823 * [taylor]: Taking taylor expansion of 0 in y
3.824 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
3.824 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
3.824 * [taylor]: Taking taylor expansion of 9.0 in z
3.824 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
3.824 * [taylor]: Taking taylor expansion of (* t z) in z
3.824 * [taylor]: Taking taylor expansion of t in z
3.824 * [taylor]: Taking taylor expansion of z in z
3.824 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
3.824 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
3.824 * [taylor]: Taking taylor expansion of 9.0 in t
3.824 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.824 * [taylor]: Taking taylor expansion of t in t
3.826 * [taylor]: Taking taylor expansion of 0 in z
3.826 * [taylor]: Taking taylor expansion of 0 in t
3.826 * [taylor]: Taking taylor expansion of 0 in t
3.828 * [taylor]: Taking taylor expansion of 0 in y
3.829 * [taylor]: Taking taylor expansion of 0 in z
3.829 * [taylor]: Taking taylor expansion of 0 in z
3.830 * [taylor]: Taking taylor expansion of 0 in z
3.831 * [taylor]: Taking taylor expansion of 0 in t
3.831 * [taylor]: Taking taylor expansion of 0 in t
3.831 * [taylor]: Taking taylor expansion of 0 in t
3.831 * [taylor]: Taking taylor expansion of 0 in t
3.836 * [taylor]: Taking taylor expansion of 0 in y
3.836 * [taylor]: Taking taylor expansion of 0 in z
3.836 * [taylor]: Taking taylor expansion of 0 in z
3.837 * [taylor]: Taking taylor expansion of 0 in z
3.837 * [taylor]: Taking taylor expansion of 0 in z
3.838 * [taylor]: Taking taylor expansion of 0 in t
3.838 * [taylor]: Taking taylor expansion of 0 in t
3.838 * [taylor]: Taking taylor expansion of 0 in t
3.839 * [taylor]: Taking taylor expansion of 0 in t
3.839 * [taylor]: Taking taylor expansion of 0 in t
3.839 * [taylor]: Taking taylor expansion of 0 in t
3.839 * [taylor]: Taking taylor expansion of 0 in t
3.840 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
3.840 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
3.840 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
3.840 * [taylor]: Taking taylor expansion of 9.0 in t
3.840 * [taylor]: Taking taylor expansion of (* t z) in t
3.840 * [taylor]: Taking taylor expansion of t in t
3.840 * [taylor]: Taking taylor expansion of z in t
3.840 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.840 * [taylor]: Taking taylor expansion of 9.0 in z
3.840 * [taylor]: Taking taylor expansion of (* t z) in z
3.840 * [taylor]: Taking taylor expansion of t in z
3.840 * [taylor]: Taking taylor expansion of z in z
3.840 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.840 * [taylor]: Taking taylor expansion of 9.0 in z
3.840 * [taylor]: Taking taylor expansion of (* t z) in z
3.840 * [taylor]: Taking taylor expansion of t in z
3.840 * [taylor]: Taking taylor expansion of z in z
3.841 * [taylor]: Taking taylor expansion of 0 in t
3.841 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
3.841 * [taylor]: Taking taylor expansion of 9.0 in t
3.841 * [taylor]: Taking taylor expansion of t in t
3.842 * [taylor]: Taking taylor expansion of 0 in t
3.844 * [taylor]: Taking taylor expansion of 0 in t
3.846 * [taylor]: Taking taylor expansion of 0 in t
3.847 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
3.847 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
3.847 * [taylor]: Taking taylor expansion of 9.0 in t
3.847 * [taylor]: Taking taylor expansion of (* t z) in t
3.847 * [taylor]: Taking taylor expansion of t in t
3.847 * [taylor]: Taking taylor expansion of z in t
3.847 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
3.847 * [taylor]: Taking taylor expansion of 9.0 in z
3.847 * [taylor]: Taking taylor expansion of (* t z) in z
3.847 * [taylor]: Taking taylor expansion of t in z
3.847 * [taylor]: Taking taylor expansion of z in z
3.847 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
3.847 * [taylor]: Taking taylor expansion of 9.0 in z
3.848 * [taylor]: Taking taylor expansion of (* t z) in z
3.848 * [taylor]: Taking taylor expansion of t in z
3.848 * [taylor]: Taking taylor expansion of z in z
3.848 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
3.848 * [taylor]: Taking taylor expansion of 9.0 in t
3.848 * [taylor]: Taking taylor expansion of t in t
3.849 * [taylor]: Taking taylor expansion of 0 in t
3.850 * [taylor]: Taking taylor expansion of 0 in t
3.851 * [taylor]: Taking taylor expansion of 0 in t
3.852 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
3.852 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
3.852 * [taylor]: Taking taylor expansion of 9.0 in t
3.852 * [taylor]: Taking taylor expansion of (* t z) in t
3.852 * [taylor]: Taking taylor expansion of t in t
3.852 * [taylor]: Taking taylor expansion of z in t
3.852 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
3.852 * [taylor]: Taking taylor expansion of 9.0 in z
3.852 * [taylor]: Taking taylor expansion of (* t z) in z
3.852 * [taylor]: Taking taylor expansion of t in z
3.852 * [taylor]: Taking taylor expansion of z in z
3.853 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
3.853 * [taylor]: Taking taylor expansion of 9.0 in z
3.853 * [taylor]: Taking taylor expansion of (* t z) in z
3.853 * [taylor]: Taking taylor expansion of t in z
3.853 * [taylor]: Taking taylor expansion of z in z
3.853 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
3.853 * [taylor]: Taking taylor expansion of 9.0 in t
3.853 * [taylor]: Taking taylor expansion of t in t
3.854 * [taylor]: Taking taylor expansion of 0 in t
3.855 * [taylor]: Taking taylor expansion of 0 in t
3.856 * [taylor]: Taking taylor expansion of 0 in t
3.857 * * * [progress]: simplifying candidates
3.858 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (- (* x y) (* z (* 9.0 t)))) (+ (log a) (log 2.0)))
  (- (log (- (* x y) (* z (* 9.0 t)))) (log (* a 2.0)))
  (log (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (exp (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (/ (* (* (- (* x y) (* z (* 9.0 t))) (- (* x y) (* z (* 9.0 t)))) (- (* x y) (* z (* 9.0 t)))) (* (* (* a a) a) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (- (* x y) (* z (* 9.0 t))) (- (* x y) (* z (* 9.0 t)))) (- (* x y) (* z (* 9.0 t)))) (* (* (* a 2.0) (* a 2.0)) (* a 2.0)))
  (* (cbrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (cbrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))))
  (cbrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (* (* (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (- (- (* x y) (* z (* 9.0 t))))
  (- (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* z (* 9.0 t)) (* a 2.0))
  (/ (* (cbrt (- (* x y) (* z (* 9.0 t)))) (cbrt (- (* x y) (* z (* 9.0 t))))) a)
  (/ (cbrt (- (* x y) (* z (* 9.0 t)))) 2.0)
  (/ (sqrt (- (* x y) (* z (* 9.0 t)))) a)
  (/ (sqrt (- (* x y) (* z (* 9.0 t)))) 2.0)
  (/ 1 a)
  (/ (- (* x y) (* z (* 9.0 t))) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))
  (/ (- (* x y) (* z (* 9.0 t))) a)
  (/ (* a 2.0) (cbrt (- (* x y) (* z (* 9.0 t)))))
  (/ (* a 2.0) (sqrt (- (* x y) (* z (* 9.0 t)))))
  (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))
  (* (* a 2.0) (+ (* (* x y) (* x y)) (+ (* (* z (* 9.0 t)) (* z (* 9.0 t))) (* (* x y) (* z (* 9.0 t))))))
  (* (* a 2.0) (+ (* x y) (* z (* 9.0 t))))
  (/ (exp (* x y)) (exp (* z (* 9.0 t))))
  (log (- (* x y) (* z (* 9.0 t))))
  (exp (- (* x y) (* z (* 9.0 t))))
  (* (cbrt (- (* x y) (* z (* 9.0 t)))) (cbrt (- (* x y) (* z (* 9.0 t)))))
  (cbrt (- (* x y) (* z (* 9.0 t))))
  (* (* (- (* x y) (* z (* 9.0 t))) (- (* x y) (* z (* 9.0 t)))) (- (* x y) (* z (* 9.0 t))))
  (sqrt (- (* x y) (* z (* 9.0 t))))
  (sqrt (- (* x y) (* z (* 9.0 t))))
  (- (pow (* x y) 3) (pow (* z (* 9.0 t)) 3))
  (+ (* (* x y) (* x y)) (+ (* (* z (* 9.0 t)) (* z (* 9.0 t))) (* (* x y) (* z (* 9.0 t)))))
  (- (* z (* 9.0 t)))
  (- (* (* x y) (* x y)) (* (* z (* 9.0 t)) (* z (* 9.0 t))))
  (+ (* x y) (* z (* 9.0 t)))
  (- (* z (* 9.0 t)))
  (* z (* 9.0 t))
  (* z (* 9.0 t))
  (+ (log z) (+ (log 9.0) (log t)))
  (+ (log z) (log (* 9.0 t)))
  (log (* z (* 9.0 t)))
  (exp (* z (* 9.0 t)))
  (* (* (* z z) z) (* (* (* 9.0 9.0) 9.0) (* (* t t) t)))
  (* (* (* z z) z) (* (* (* 9.0 t) (* 9.0 t)) (* 9.0 t)))
  (* (cbrt (* z (* 9.0 t))) (cbrt (* z (* 9.0 t))))
  (cbrt (* z (* 9.0 t)))
  (* (* (* z (* 9.0 t)) (* z (* 9.0 t))) (* z (* 9.0 t)))
  (sqrt (* z (* 9.0 t)))
  (sqrt (* z (* 9.0 t)))
  (* z 9.0)
  (* (cbrt z) (* 9.0 t))
  (* (sqrt z) (* 9.0 t))
  (* z (* 9.0 t))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
3.861 * * [simplify]: iteration  0 :  114  enodes  (cost  855 )
3.880 * * [simplify]: iteration  1 :  319  enodes  (cost  826 )
3.961 * * [simplify]: iteration  2 :  1226  enodes  (cost  710 )
4.644 * * [simplify]: iteration  done :  5000  enodes  (cost  710 )
4.644 * [simplify]: Simplified to:
   (log (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (log (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (log (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (exp (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (pow (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) 3)
  (pow (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) 3)
  (* (cbrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (cbrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))))
  (cbrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (pow (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) 3)
  (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))
  (- (- (* x y) (* z (* 9.0 t))))
  (- (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* z (* 9.0 t)) (* a 2.0))
  (/ (* (cbrt (- (* x y) (* z (* 9.0 t)))) (cbrt (- (* x y) (* z (* 9.0 t))))) a)
  (/ (cbrt (- (* x y) (* z (* 9.0 t)))) 2.0)
  (/ (sqrt (- (* x y) (* z (* 9.0 t)))) a)
  (/ (sqrt (- (* x y) (* z (* 9.0 t)))) 2.0)
  (/ 1 a)
  (/ (- (* x y) (* z (* 9.0 t))) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))
  (/ (- (* x y) (* z (* 9.0 t))) a)
  (/ (* a 2.0) (cbrt (- (* x y) (* z (* 9.0 t)))))
  (/ (* a 2.0) (sqrt (- (* x y) (* z (* 9.0 t)))))
  (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))
  (* (* a 2.0) (+ (* (* 9.0 (* t z)) (+ (* x y) (* z (* 9.0 t)))) (* (* x y) (* x y))))
  (* (* a 2.0) (+ (* x y) (* z (* 9.0 t))))
  (exp (- (* x y) (* 9.0 (* t z))))
  (log (- (* x y) (* z (* 9.0 t))))
  (exp (- (* x y) (* 9.0 (* t z))))
  (* (cbrt (- (* x y) (* z (* 9.0 t)))) (cbrt (- (* x y) (* z (* 9.0 t)))))
  (cbrt (- (* x y) (* z (* 9.0 t))))
  (pow (- (* x y) (* z (* 9.0 t))) 3)
  (sqrt (- (* x y) (* z (* 9.0 t))))
  (sqrt (- (* x y) (* z (* 9.0 t))))
  (- (pow (* x y) 3) (pow (* z (* 9.0 t)) 3))
  (+ (* (* 9.0 (* t z)) (+ (* x y) (* z (* 9.0 t)))) (* (* x y) (* x y)))
  (- (* z (* 9.0 t)))
  (- (* (* x y) (* x y)) (* (* z (* 9.0 t)) (* z (* 9.0 t))))
  (+ (* x y) (* z (* 9.0 t)))
  (- (* z (* 9.0 t)))
  (* t (* z 9.0))
  (* t (* z 9.0))
  (log (* z (* 9.0 t)))
  (log (* z (* 9.0 t)))
  (log (* z (* 9.0 t)))
  (exp (* z (* 9.0 t)))
  (pow (* z (* 9.0 t)) 3)
  (pow (* z (* 9.0 t)) 3)
  (* (cbrt (* z (* 9.0 t))) (cbrt (* z (* 9.0 t))))
  (cbrt (* z (* 9.0 t)))
  (pow (* z (* 9.0 t)) 3)
  (sqrt (* z (* 9.0 t)))
  (sqrt (* z (* 9.0 t)))
  (* z 9.0)
  (* (cbrt z) (* 9.0 t))
  (* (sqrt z) (* 9.0 t))
  (* t (* z 9.0))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* z (* 9.0 t)))
  (- (* x y) (* z (* 9.0 t)))
  (* t (* z 9.0))
  (* t (* z 9.0))
  (* t (* z 9.0))
4.644 * * * [progress]: adding candidates to table
4.789 * * [progress]: iteration 3 / 4
4.789 * * * [progress]: picking best candidate
4.815 * * * * [pick]: Picked  #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))>
4.816 * * * [progress]: localizing error
4.826 * * * [progress]: generating rewritten candidates
4.826 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
4.837 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
4.840 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 1)
4.847 * * * [progress]: generating series expansions
4.847 * * * * [progress]: [ 1 / 3 ] generating series at (2)
4.848 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y t z a) around 0
4.848 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a
4.848 * [taylor]: Taking taylor expansion of 0.5 in a
4.848 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a
4.848 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a
4.848 * [taylor]: Taking taylor expansion of (* x y) in a
4.848 * [taylor]: Taking taylor expansion of x in a
4.848 * [taylor]: Taking taylor expansion of y in a
4.848 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a
4.848 * [taylor]: Taking taylor expansion of 9.0 in a
4.848 * [taylor]: Taking taylor expansion of (* t z) in a
4.848 * [taylor]: Taking taylor expansion of t in a
4.848 * [taylor]: Taking taylor expansion of z in a
4.848 * [taylor]: Taking taylor expansion of a in a
4.848 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z
4.848 * [taylor]: Taking taylor expansion of 0.5 in z
4.848 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z
4.848 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
4.848 * [taylor]: Taking taylor expansion of (* x y) in z
4.848 * [taylor]: Taking taylor expansion of x in z
4.848 * [taylor]: Taking taylor expansion of y in z
4.848 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
4.848 * [taylor]: Taking taylor expansion of 9.0 in z
4.848 * [taylor]: Taking taylor expansion of (* t z) in z
4.848 * [taylor]: Taking taylor expansion of t in z
4.848 * [taylor]: Taking taylor expansion of z in z
4.848 * [taylor]: Taking taylor expansion of a in z
4.849 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t
4.849 * [taylor]: Taking taylor expansion of 0.5 in t
4.849 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t
4.849 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
4.849 * [taylor]: Taking taylor expansion of (* x y) in t
4.849 * [taylor]: Taking taylor expansion of x in t
4.849 * [taylor]: Taking taylor expansion of y in t
4.849 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
4.849 * [taylor]: Taking taylor expansion of 9.0 in t
4.849 * [taylor]: Taking taylor expansion of (* t z) in t
4.849 * [taylor]: Taking taylor expansion of t in t
4.849 * [taylor]: Taking taylor expansion of z in t
4.849 * [taylor]: Taking taylor expansion of a in t
4.850 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y
4.850 * [taylor]: Taking taylor expansion of 0.5 in y
4.850 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y
4.850 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
4.850 * [taylor]: Taking taylor expansion of (* x y) in y
4.850 * [taylor]: Taking taylor expansion of x in y
4.850 * [taylor]: Taking taylor expansion of y in y
4.850 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
4.850 * [taylor]: Taking taylor expansion of 9.0 in y
4.850 * [taylor]: Taking taylor expansion of (* t z) in y
4.850 * [taylor]: Taking taylor expansion of t in y
4.850 * [taylor]: Taking taylor expansion of z in y
4.850 * [taylor]: Taking taylor expansion of a in y
4.850 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
4.850 * [taylor]: Taking taylor expansion of 0.5 in x
4.850 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
4.850 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
4.850 * [taylor]: Taking taylor expansion of (* x y) in x
4.851 * [taylor]: Taking taylor expansion of x in x
4.851 * [taylor]: Taking taylor expansion of y in x
4.851 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
4.851 * [taylor]: Taking taylor expansion of 9.0 in x
4.851 * [taylor]: Taking taylor expansion of (* t z) in x
4.851 * [taylor]: Taking taylor expansion of t in x
4.851 * [taylor]: Taking taylor expansion of z in x
4.851 * [taylor]: Taking taylor expansion of a in x
4.851 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
4.851 * [taylor]: Taking taylor expansion of 0.5 in x
4.851 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
4.851 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
4.851 * [taylor]: Taking taylor expansion of (* x y) in x
4.851 * [taylor]: Taking taylor expansion of x in x
4.851 * [taylor]: Taking taylor expansion of y in x
4.851 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
4.851 * [taylor]: Taking taylor expansion of 9.0 in x
4.851 * [taylor]: Taking taylor expansion of (* t z) in x
4.851 * [taylor]: Taking taylor expansion of t in x
4.851 * [taylor]: Taking taylor expansion of z in x
4.851 * [taylor]: Taking taylor expansion of a in x
4.851 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y
4.851 * [taylor]: Taking taylor expansion of -4.5 in y
4.852 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
4.852 * [taylor]: Taking taylor expansion of (* t z) in y
4.852 * [taylor]: Taking taylor expansion of t in y
4.852 * [taylor]: Taking taylor expansion of z in y
4.852 * [taylor]: Taking taylor expansion of a in y
4.852 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in t
4.852 * [taylor]: Taking taylor expansion of -4.5 in t
4.852 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t
4.852 * [taylor]: Taking taylor expansion of (* t z) in t
4.852 * [taylor]: Taking taylor expansion of t in t
4.852 * [taylor]: Taking taylor expansion of z in t
4.852 * [taylor]: Taking taylor expansion of a in t
4.856 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
4.856 * [taylor]: Taking taylor expansion of 0.5 in y
4.856 * [taylor]: Taking taylor expansion of (/ y a) in y
4.856 * [taylor]: Taking taylor expansion of y in y
4.856 * [taylor]: Taking taylor expansion of a in y
4.856 * [taylor]: Taking taylor expansion of 0 in t
4.856 * [taylor]: Taking taylor expansion of 0 in z
4.856 * [taylor]: Taking taylor expansion of 0 in a
4.857 * [taylor]: Taking taylor expansion of (* -4.5 (/ z a)) in z
4.857 * [taylor]: Taking taylor expansion of -4.5 in z
4.857 * [taylor]: Taking taylor expansion of (/ z a) in z
4.857 * [taylor]: Taking taylor expansion of z in z
4.857 * [taylor]: Taking taylor expansion of a in z
4.859 * [taylor]: Taking taylor expansion of 0 in y
4.859 * [taylor]: Taking taylor expansion of 0 in t
4.859 * [taylor]: Taking taylor expansion of 0 in z
4.859 * [taylor]: Taking taylor expansion of 0 in a
4.859 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t
4.859 * [taylor]: Taking taylor expansion of 0.5 in t
4.859 * [taylor]: Taking taylor expansion of a in t
4.859 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z
4.859 * [taylor]: Taking taylor expansion of 0.5 in z
4.860 * [taylor]: Taking taylor expansion of a in z
4.860 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
4.860 * [taylor]: Taking taylor expansion of 0.5 in a
4.860 * [taylor]: Taking taylor expansion of a in a
4.861 * [taylor]: Taking taylor expansion of 0 in t
4.861 * [taylor]: Taking taylor expansion of 0 in z
4.861 * [taylor]: Taking taylor expansion of 0 in a
4.861 * [taylor]: Taking taylor expansion of 0 in z
4.861 * [taylor]: Taking taylor expansion of 0 in a
4.862 * [taylor]: Taking taylor expansion of 0 in z
4.862 * [taylor]: Taking taylor expansion of 0 in a
4.862 * [taylor]: Taking taylor expansion of 0 in a
4.862 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a
4.862 * [taylor]: Taking taylor expansion of -4.5 in a
4.862 * [taylor]: Taking taylor expansion of a in a
4.866 * [taylor]: Taking taylor expansion of 0 in y
4.866 * [taylor]: Taking taylor expansion of 0 in t
4.866 * [taylor]: Taking taylor expansion of 0 in z
4.866 * [taylor]: Taking taylor expansion of 0 in a
4.866 * [taylor]: Taking taylor expansion of 0 in t
4.866 * [taylor]: Taking taylor expansion of 0 in z
4.866 * [taylor]: Taking taylor expansion of 0 in a
4.867 * [taylor]: Taking taylor expansion of 0 in t
4.867 * [taylor]: Taking taylor expansion of 0 in z
4.867 * [taylor]: Taking taylor expansion of 0 in a
4.868 * [taylor]: Taking taylor expansion of 0 in t
4.868 * [taylor]: Taking taylor expansion of 0 in z
4.868 * [taylor]: Taking taylor expansion of 0 in a
4.868 * [taylor]: Taking taylor expansion of 0 in z
4.868 * [taylor]: Taking taylor expansion of 0 in a
4.868 * [taylor]: Taking taylor expansion of 0 in z
4.868 * [taylor]: Taking taylor expansion of 0 in a
4.868 * [taylor]: Taking taylor expansion of 0 in z
4.869 * [taylor]: Taking taylor expansion of 0 in a
4.869 * [taylor]: Taking taylor expansion of 0 in z
4.869 * [taylor]: Taking taylor expansion of 0 in a
4.870 * [taylor]: Taking taylor expansion of 0 in z
4.870 * [taylor]: Taking taylor expansion of 0 in a
4.870 * [taylor]: Taking taylor expansion of 0 in a
4.870 * [taylor]: Taking taylor expansion of 0 in a
4.870 * [taylor]: Taking taylor expansion of 0 in a
4.870 * [taylor]: Taking taylor expansion of 0 in a
4.870 * [taylor]: Taking taylor expansion of 0 in a
4.870 * [taylor]: Taking taylor expansion of 0 in a
4.871 * [taylor]: Taking taylor expansion of 0 in a
4.872 * [approximate]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y t z a) around 0
4.872 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
4.872 * [taylor]: Taking taylor expansion of 0.5 in a
4.872 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
4.872 * [taylor]: Taking taylor expansion of a in a
4.872 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
4.872 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
4.872 * [taylor]: Taking taylor expansion of (* x y) in a
4.872 * [taylor]: Taking taylor expansion of x in a
4.872 * [taylor]: Taking taylor expansion of y in a
4.872 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
4.872 * [taylor]: Taking taylor expansion of 9.0 in a
4.872 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
4.872 * [taylor]: Taking taylor expansion of (* t z) in a
4.872 * [taylor]: Taking taylor expansion of t in a
4.872 * [taylor]: Taking taylor expansion of z in a
4.872 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
4.873 * [taylor]: Taking taylor expansion of 0.5 in z
4.873 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
4.873 * [taylor]: Taking taylor expansion of a in z
4.873 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
4.873 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.873 * [taylor]: Taking taylor expansion of (* x y) in z
4.873 * [taylor]: Taking taylor expansion of x in z
4.873 * [taylor]: Taking taylor expansion of y in z
4.873 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
4.873 * [taylor]: Taking taylor expansion of 9.0 in z
4.873 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.873 * [taylor]: Taking taylor expansion of (* t z) in z
4.873 * [taylor]: Taking taylor expansion of t in z
4.873 * [taylor]: Taking taylor expansion of z in z
4.873 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
4.873 * [taylor]: Taking taylor expansion of 0.5 in t
4.873 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
4.873 * [taylor]: Taking taylor expansion of a in t
4.873 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
4.873 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
4.873 * [taylor]: Taking taylor expansion of (* x y) in t
4.873 * [taylor]: Taking taylor expansion of x in t
4.873 * [taylor]: Taking taylor expansion of y in t
4.873 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.873 * [taylor]: Taking taylor expansion of 9.0 in t
4.873 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.873 * [taylor]: Taking taylor expansion of (* t z) in t
4.873 * [taylor]: Taking taylor expansion of t in t
4.873 * [taylor]: Taking taylor expansion of z in t
4.874 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
4.874 * [taylor]: Taking taylor expansion of 0.5 in y
4.874 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
4.874 * [taylor]: Taking taylor expansion of a in y
4.874 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
4.874 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.874 * [taylor]: Taking taylor expansion of (* x y) in y
4.874 * [taylor]: Taking taylor expansion of x in y
4.874 * [taylor]: Taking taylor expansion of y in y
4.874 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.874 * [taylor]: Taking taylor expansion of 9.0 in y
4.874 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.874 * [taylor]: Taking taylor expansion of (* t z) in y
4.874 * [taylor]: Taking taylor expansion of t in y
4.874 * [taylor]: Taking taylor expansion of z in y
4.874 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
4.874 * [taylor]: Taking taylor expansion of 0.5 in x
4.874 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
4.874 * [taylor]: Taking taylor expansion of a in x
4.875 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.875 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.875 * [taylor]: Taking taylor expansion of (* x y) in x
4.875 * [taylor]: Taking taylor expansion of x in x
4.875 * [taylor]: Taking taylor expansion of y in x
4.875 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.875 * [taylor]: Taking taylor expansion of 9.0 in x
4.875 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.875 * [taylor]: Taking taylor expansion of (* t z) in x
4.875 * [taylor]: Taking taylor expansion of t in x
4.875 * [taylor]: Taking taylor expansion of z in x
4.875 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
4.875 * [taylor]: Taking taylor expansion of 0.5 in x
4.875 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
4.875 * [taylor]: Taking taylor expansion of a in x
4.875 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.875 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.875 * [taylor]: Taking taylor expansion of (* x y) in x
4.875 * [taylor]: Taking taylor expansion of x in x
4.875 * [taylor]: Taking taylor expansion of y in x
4.876 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.876 * [taylor]: Taking taylor expansion of 9.0 in x
4.876 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.876 * [taylor]: Taking taylor expansion of (* t z) in x
4.876 * [taylor]: Taking taylor expansion of t in x
4.876 * [taylor]: Taking taylor expansion of z in x
4.876 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
4.876 * [taylor]: Taking taylor expansion of 0.5 in y
4.876 * [taylor]: Taking taylor expansion of (/ a y) in y
4.876 * [taylor]: Taking taylor expansion of a in y
4.876 * [taylor]: Taking taylor expansion of y in y
4.876 * [taylor]: Taking taylor expansion of (* 0.5 a) in t
4.876 * [taylor]: Taking taylor expansion of 0.5 in t
4.876 * [taylor]: Taking taylor expansion of a in t
4.877 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in y
4.877 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
4.877 * [taylor]: Taking taylor expansion of 4.5 in y
4.877 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
4.877 * [taylor]: Taking taylor expansion of a in y
4.877 * [taylor]: Taking taylor expansion of (* z t) in y
4.877 * [taylor]: Taking taylor expansion of z in y
4.877 * [taylor]: Taking taylor expansion of t in y
4.878 * [taylor]: Taking taylor expansion of 0 in t
4.878 * [taylor]: Taking taylor expansion of (* 0.5 a) in z
4.878 * [taylor]: Taking taylor expansion of 0.5 in z
4.878 * [taylor]: Taking taylor expansion of a in z
4.881 * [taylor]: Taking taylor expansion of 0 in y
4.881 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in t
4.881 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
4.881 * [taylor]: Taking taylor expansion of 4.5 in t
4.881 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
4.881 * [taylor]: Taking taylor expansion of a in t
4.881 * [taylor]: Taking taylor expansion of (* z t) in t
4.881 * [taylor]: Taking taylor expansion of z in t
4.881 * [taylor]: Taking taylor expansion of t in t
4.881 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a z))) in z
4.881 * [taylor]: Taking taylor expansion of (* 4.5 (/ a z)) in z
4.881 * [taylor]: Taking taylor expansion of 4.5 in z
4.881 * [taylor]: Taking taylor expansion of (/ a z) in z
4.881 * [taylor]: Taking taylor expansion of a in z
4.881 * [taylor]: Taking taylor expansion of z in z
4.881 * [taylor]: Taking taylor expansion of (- (* 4.5 a)) in a
4.881 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
4.881 * [taylor]: Taking taylor expansion of 4.5 in a
4.881 * [taylor]: Taking taylor expansion of a in a
4.883 * [taylor]: Taking taylor expansion of 0 in t
4.883 * [taylor]: Taking taylor expansion of 0 in z
4.884 * [taylor]: Taking taylor expansion of 0 in z
4.884 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
4.884 * [taylor]: Taking taylor expansion of 0.5 in a
4.884 * [taylor]: Taking taylor expansion of a in a
4.888 * [taylor]: Taking taylor expansion of 0 in y
4.888 * [taylor]: Taking taylor expansion of 0 in t
4.888 * [taylor]: Taking taylor expansion of 0 in t
4.890 * [taylor]: Taking taylor expansion of 0 in t
4.891 * [taylor]: Taking taylor expansion of 0 in z
4.891 * [taylor]: Taking taylor expansion of 0 in z
4.891 * [taylor]: Taking taylor expansion of 0 in z
4.892 * [taylor]: Taking taylor expansion of 0 in z
4.893 * [taylor]: Taking taylor expansion of 0 in a
4.893 * [taylor]: Taking taylor expansion of 0 in a
4.893 * [taylor]: Taking taylor expansion of 0 in a
4.893 * [taylor]: Taking taylor expansion of 0 in a
4.894 * [approximate]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y t z a) around 0
4.894 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
4.894 * [taylor]: Taking taylor expansion of -0.5 in a
4.894 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
4.894 * [taylor]: Taking taylor expansion of a in a
4.894 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
4.894 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
4.894 * [taylor]: Taking taylor expansion of (* x y) in a
4.894 * [taylor]: Taking taylor expansion of x in a
4.894 * [taylor]: Taking taylor expansion of y in a
4.894 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
4.894 * [taylor]: Taking taylor expansion of 9.0 in a
4.894 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
4.894 * [taylor]: Taking taylor expansion of (* t z) in a
4.894 * [taylor]: Taking taylor expansion of t in a
4.894 * [taylor]: Taking taylor expansion of z in a
4.894 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
4.894 * [taylor]: Taking taylor expansion of -0.5 in z
4.894 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
4.894 * [taylor]: Taking taylor expansion of a in z
4.894 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
4.894 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.894 * [taylor]: Taking taylor expansion of (* x y) in z
4.894 * [taylor]: Taking taylor expansion of x in z
4.894 * [taylor]: Taking taylor expansion of y in z
4.894 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
4.894 * [taylor]: Taking taylor expansion of 9.0 in z
4.894 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.894 * [taylor]: Taking taylor expansion of (* t z) in z
4.894 * [taylor]: Taking taylor expansion of t in z
4.894 * [taylor]: Taking taylor expansion of z in z
4.895 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
4.895 * [taylor]: Taking taylor expansion of -0.5 in t
4.895 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
4.895 * [taylor]: Taking taylor expansion of a in t
4.895 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
4.895 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
4.895 * [taylor]: Taking taylor expansion of (* x y) in t
4.895 * [taylor]: Taking taylor expansion of x in t
4.895 * [taylor]: Taking taylor expansion of y in t
4.895 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.895 * [taylor]: Taking taylor expansion of 9.0 in t
4.895 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.895 * [taylor]: Taking taylor expansion of (* t z) in t
4.895 * [taylor]: Taking taylor expansion of t in t
4.895 * [taylor]: Taking taylor expansion of z in t
4.895 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
4.895 * [taylor]: Taking taylor expansion of -0.5 in y
4.895 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
4.896 * [taylor]: Taking taylor expansion of a in y
4.896 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
4.896 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.896 * [taylor]: Taking taylor expansion of (* x y) in y
4.896 * [taylor]: Taking taylor expansion of x in y
4.896 * [taylor]: Taking taylor expansion of y in y
4.896 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.896 * [taylor]: Taking taylor expansion of 9.0 in y
4.896 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.896 * [taylor]: Taking taylor expansion of (* t z) in y
4.896 * [taylor]: Taking taylor expansion of t in y
4.896 * [taylor]: Taking taylor expansion of z in y
4.896 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
4.896 * [taylor]: Taking taylor expansion of -0.5 in x
4.896 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
4.896 * [taylor]: Taking taylor expansion of a in x
4.896 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.896 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.896 * [taylor]: Taking taylor expansion of (* x y) in x
4.896 * [taylor]: Taking taylor expansion of x in x
4.896 * [taylor]: Taking taylor expansion of y in x
4.897 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.897 * [taylor]: Taking taylor expansion of 9.0 in x
4.897 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.897 * [taylor]: Taking taylor expansion of (* t z) in x
4.897 * [taylor]: Taking taylor expansion of t in x
4.897 * [taylor]: Taking taylor expansion of z in x
4.897 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
4.897 * [taylor]: Taking taylor expansion of -0.5 in x
4.897 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
4.897 * [taylor]: Taking taylor expansion of a in x
4.897 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.897 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.897 * [taylor]: Taking taylor expansion of (* x y) in x
4.897 * [taylor]: Taking taylor expansion of x in x
4.897 * [taylor]: Taking taylor expansion of y in x
4.897 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.897 * [taylor]: Taking taylor expansion of 9.0 in x
4.897 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.897 * [taylor]: Taking taylor expansion of (* t z) in x
4.897 * [taylor]: Taking taylor expansion of t in x
4.897 * [taylor]: Taking taylor expansion of z in x
4.897 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
4.898 * [taylor]: Taking taylor expansion of -0.5 in y
4.898 * [taylor]: Taking taylor expansion of (/ a y) in y
4.898 * [taylor]: Taking taylor expansion of a in y
4.898 * [taylor]: Taking taylor expansion of y in y
4.898 * [taylor]: Taking taylor expansion of (* -0.5 a) in t
4.898 * [taylor]: Taking taylor expansion of -0.5 in t
4.898 * [taylor]: Taking taylor expansion of a in t
4.899 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
4.899 * [taylor]: Taking taylor expansion of 4.5 in y
4.899 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
4.899 * [taylor]: Taking taylor expansion of a in y
4.899 * [taylor]: Taking taylor expansion of (* z t) in y
4.899 * [taylor]: Taking taylor expansion of z in y
4.899 * [taylor]: Taking taylor expansion of t in y
4.900 * [taylor]: Taking taylor expansion of 0 in t
4.900 * [taylor]: Taking taylor expansion of (* -0.5 a) in z
4.900 * [taylor]: Taking taylor expansion of -0.5 in z
4.900 * [taylor]: Taking taylor expansion of a in z
4.902 * [taylor]: Taking taylor expansion of 0 in y
4.902 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t
4.902 * [taylor]: Taking taylor expansion of 4.5 in t
4.902 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t
4.902 * [taylor]: Taking taylor expansion of a in t
4.902 * [taylor]: Taking taylor expansion of (* z t) in t
4.902 * [taylor]: Taking taylor expansion of z in t
4.902 * [taylor]: Taking taylor expansion of t in t
4.903 * [taylor]: Taking taylor expansion of (* 4.5 (/ a z)) in z
4.903 * [taylor]: Taking taylor expansion of 4.5 in z
4.903 * [taylor]: Taking taylor expansion of (/ a z) in z
4.903 * [taylor]: Taking taylor expansion of a in z
4.903 * [taylor]: Taking taylor expansion of z in z
4.903 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
4.903 * [taylor]: Taking taylor expansion of 4.5 in a
4.903 * [taylor]: Taking taylor expansion of a in a
4.905 * [taylor]: Taking taylor expansion of 0 in t
4.905 * [taylor]: Taking taylor expansion of 0 in z
4.905 * [taylor]: Taking taylor expansion of 0 in z
4.905 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
4.905 * [taylor]: Taking taylor expansion of -0.5 in a
4.905 * [taylor]: Taking taylor expansion of a in a
4.909 * [taylor]: Taking taylor expansion of 0 in y
4.909 * [taylor]: Taking taylor expansion of 0 in t
4.910 * [taylor]: Taking taylor expansion of 0 in t
4.911 * [taylor]: Taking taylor expansion of 0 in t
4.912 * [taylor]: Taking taylor expansion of 0 in z
4.912 * [taylor]: Taking taylor expansion of 0 in z
4.912 * [taylor]: Taking taylor expansion of 0 in z
4.913 * [taylor]: Taking taylor expansion of 0 in z
4.914 * [taylor]: Taking taylor expansion of 0 in a
4.914 * [taylor]: Taking taylor expansion of 0 in a
4.914 * [taylor]: Taking taylor expansion of 0 in a
4.914 * [taylor]: Taking taylor expansion of 0 in a
4.914 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
4.915 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y t z) around 0
4.915 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
4.915 * [taylor]: Taking taylor expansion of (* x y) in z
4.915 * [taylor]: Taking taylor expansion of x in z
4.915 * [taylor]: Taking taylor expansion of y in z
4.915 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
4.915 * [taylor]: Taking taylor expansion of 9.0 in z
4.915 * [taylor]: Taking taylor expansion of (* t z) in z
4.915 * [taylor]: Taking taylor expansion of t in z
4.915 * [taylor]: Taking taylor expansion of z in z
4.915 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
4.915 * [taylor]: Taking taylor expansion of (* x y) in t
4.915 * [taylor]: Taking taylor expansion of x in t
4.915 * [taylor]: Taking taylor expansion of y in t
4.915 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
4.915 * [taylor]: Taking taylor expansion of 9.0 in t
4.915 * [taylor]: Taking taylor expansion of (* t z) in t
4.915 * [taylor]: Taking taylor expansion of t in t
4.915 * [taylor]: Taking taylor expansion of z in t
4.915 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
4.915 * [taylor]: Taking taylor expansion of (* x y) in y
4.915 * [taylor]: Taking taylor expansion of x in y
4.915 * [taylor]: Taking taylor expansion of y in y
4.915 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
4.915 * [taylor]: Taking taylor expansion of 9.0 in y
4.915 * [taylor]: Taking taylor expansion of (* t z) in y
4.915 * [taylor]: Taking taylor expansion of t in y
4.915 * [taylor]: Taking taylor expansion of z in y
4.915 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
4.915 * [taylor]: Taking taylor expansion of (* x y) in x
4.915 * [taylor]: Taking taylor expansion of x in x
4.915 * [taylor]: Taking taylor expansion of y in x
4.915 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
4.915 * [taylor]: Taking taylor expansion of 9.0 in x
4.915 * [taylor]: Taking taylor expansion of (* t z) in x
4.915 * [taylor]: Taking taylor expansion of t in x
4.915 * [taylor]: Taking taylor expansion of z in x
4.915 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
4.915 * [taylor]: Taking taylor expansion of (* x y) in x
4.915 * [taylor]: Taking taylor expansion of x in x
4.915 * [taylor]: Taking taylor expansion of y in x
4.915 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
4.915 * [taylor]: Taking taylor expansion of 9.0 in x
4.915 * [taylor]: Taking taylor expansion of (* t z) in x
4.915 * [taylor]: Taking taylor expansion of t in x
4.915 * [taylor]: Taking taylor expansion of z in x
4.916 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in y
4.916 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
4.916 * [taylor]: Taking taylor expansion of 9.0 in y
4.916 * [taylor]: Taking taylor expansion of (* t z) in y
4.916 * [taylor]: Taking taylor expansion of t in y
4.916 * [taylor]: Taking taylor expansion of z in y
4.916 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in t
4.916 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
4.916 * [taylor]: Taking taylor expansion of 9.0 in t
4.916 * [taylor]: Taking taylor expansion of (* t z) in t
4.916 * [taylor]: Taking taylor expansion of t in t
4.916 * [taylor]: Taking taylor expansion of z in t
4.916 * [taylor]: Taking taylor expansion of 0 in z
4.917 * [taylor]: Taking taylor expansion of y in y
4.917 * [taylor]: Taking taylor expansion of 0 in t
4.917 * [taylor]: Taking taylor expansion of 0 in z
4.918 * [taylor]: Taking taylor expansion of 0 in t
4.918 * [taylor]: Taking taylor expansion of 0 in z
4.919 * [taylor]: Taking taylor expansion of (- (* 9.0 z)) in z
4.919 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
4.919 * [taylor]: Taking taylor expansion of 9.0 in z
4.919 * [taylor]: Taking taylor expansion of z in z
4.921 * [taylor]: Taking taylor expansion of 0 in y
4.921 * [taylor]: Taking taylor expansion of 0 in t
4.921 * [taylor]: Taking taylor expansion of 0 in z
4.921 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y t z) around 0
4.921 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
4.921 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.921 * [taylor]: Taking taylor expansion of (* x y) in z
4.921 * [taylor]: Taking taylor expansion of x in z
4.921 * [taylor]: Taking taylor expansion of y in z
4.921 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
4.921 * [taylor]: Taking taylor expansion of 9.0 in z
4.921 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.921 * [taylor]: Taking taylor expansion of (* t z) in z
4.921 * [taylor]: Taking taylor expansion of t in z
4.921 * [taylor]: Taking taylor expansion of z in z
4.922 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
4.922 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
4.922 * [taylor]: Taking taylor expansion of (* x y) in t
4.922 * [taylor]: Taking taylor expansion of x in t
4.922 * [taylor]: Taking taylor expansion of y in t
4.922 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.922 * [taylor]: Taking taylor expansion of 9.0 in t
4.922 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.922 * [taylor]: Taking taylor expansion of (* t z) in t
4.922 * [taylor]: Taking taylor expansion of t in t
4.922 * [taylor]: Taking taylor expansion of z in t
4.922 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
4.922 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.922 * [taylor]: Taking taylor expansion of (* x y) in y
4.922 * [taylor]: Taking taylor expansion of x in y
4.922 * [taylor]: Taking taylor expansion of y in y
4.923 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.923 * [taylor]: Taking taylor expansion of 9.0 in y
4.923 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.923 * [taylor]: Taking taylor expansion of (* t z) in y
4.923 * [taylor]: Taking taylor expansion of t in y
4.923 * [taylor]: Taking taylor expansion of z in y
4.923 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.923 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.923 * [taylor]: Taking taylor expansion of (* x y) in x
4.923 * [taylor]: Taking taylor expansion of x in x
4.923 * [taylor]: Taking taylor expansion of y in x
4.923 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.923 * [taylor]: Taking taylor expansion of 9.0 in x
4.923 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.923 * [taylor]: Taking taylor expansion of (* t z) in x
4.923 * [taylor]: Taking taylor expansion of t in x
4.923 * [taylor]: Taking taylor expansion of z in x
4.923 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.923 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.923 * [taylor]: Taking taylor expansion of (* x y) in x
4.924 * [taylor]: Taking taylor expansion of x in x
4.924 * [taylor]: Taking taylor expansion of y in x
4.924 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.924 * [taylor]: Taking taylor expansion of 9.0 in x
4.924 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.924 * [taylor]: Taking taylor expansion of (* t z) in x
4.924 * [taylor]: Taking taylor expansion of t in x
4.924 * [taylor]: Taking taylor expansion of z in x
4.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.924 * [taylor]: Taking taylor expansion of y in y
4.924 * [taylor]: Taking taylor expansion of 1 in t
4.925 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
4.925 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.925 * [taylor]: Taking taylor expansion of 9.0 in y
4.925 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.925 * [taylor]: Taking taylor expansion of (* t z) in y
4.925 * [taylor]: Taking taylor expansion of t in y
4.925 * [taylor]: Taking taylor expansion of z in y
4.926 * [taylor]: Taking taylor expansion of 0 in t
4.926 * [taylor]: Taking taylor expansion of 1 in z
4.928 * [taylor]: Taking taylor expansion of 0 in y
4.928 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in t
4.928 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.928 * [taylor]: Taking taylor expansion of 9.0 in t
4.928 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.928 * [taylor]: Taking taylor expansion of (* t z) in t
4.928 * [taylor]: Taking taylor expansion of t in t
4.928 * [taylor]: Taking taylor expansion of z in t
4.928 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 z))) in z
4.928 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 z)) in z
4.928 * [taylor]: Taking taylor expansion of 9.0 in z
4.928 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.928 * [taylor]: Taking taylor expansion of z in z
4.930 * [taylor]: Taking taylor expansion of 0 in t
4.930 * [taylor]: Taking taylor expansion of 0 in z
4.930 * [taylor]: Taking taylor expansion of 0 in z
4.932 * [taylor]: Taking taylor expansion of 0 in y
4.932 * [taylor]: Taking taylor expansion of 0 in t
4.933 * [taylor]: Taking taylor expansion of 0 in t
4.934 * [taylor]: Taking taylor expansion of 0 in t
4.935 * [taylor]: Taking taylor expansion of 0 in z
4.935 * [taylor]: Taking taylor expansion of 0 in z
4.935 * [taylor]: Taking taylor expansion of 0 in z
4.935 * [taylor]: Taking taylor expansion of 0 in z
4.939 * [taylor]: Taking taylor expansion of 0 in y
4.939 * [taylor]: Taking taylor expansion of 0 in t
4.939 * [taylor]: Taking taylor expansion of 0 in t
4.940 * [taylor]: Taking taylor expansion of 0 in t
4.941 * [taylor]: Taking taylor expansion of 0 in t
4.941 * [taylor]: Taking taylor expansion of 0 in z
4.941 * [taylor]: Taking taylor expansion of 0 in z
4.941 * [taylor]: Taking taylor expansion of 0 in z
4.943 * [taylor]: Taking taylor expansion of 0 in z
4.943 * [taylor]: Taking taylor expansion of 0 in z
4.943 * [taylor]: Taking taylor expansion of 0 in z
4.943 * [taylor]: Taking taylor expansion of 0 in z
4.944 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y t z) around 0
4.944 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
4.944 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.944 * [taylor]: Taking taylor expansion of (* x y) in z
4.944 * [taylor]: Taking taylor expansion of x in z
4.944 * [taylor]: Taking taylor expansion of y in z
4.944 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
4.944 * [taylor]: Taking taylor expansion of 9.0 in z
4.944 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.944 * [taylor]: Taking taylor expansion of (* t z) in z
4.944 * [taylor]: Taking taylor expansion of t in z
4.944 * [taylor]: Taking taylor expansion of z in z
4.944 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
4.944 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
4.944 * [taylor]: Taking taylor expansion of (* x y) in t
4.944 * [taylor]: Taking taylor expansion of x in t
4.944 * [taylor]: Taking taylor expansion of y in t
4.945 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.945 * [taylor]: Taking taylor expansion of 9.0 in t
4.945 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.945 * [taylor]: Taking taylor expansion of (* t z) in t
4.945 * [taylor]: Taking taylor expansion of t in t
4.945 * [taylor]: Taking taylor expansion of z in t
4.945 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
4.948 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.948 * [taylor]: Taking taylor expansion of (* x y) in y
4.948 * [taylor]: Taking taylor expansion of x in y
4.948 * [taylor]: Taking taylor expansion of y in y
4.948 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.948 * [taylor]: Taking taylor expansion of 9.0 in y
4.948 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.948 * [taylor]: Taking taylor expansion of (* t z) in y
4.948 * [taylor]: Taking taylor expansion of t in y
4.948 * [taylor]: Taking taylor expansion of z in y
4.948 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.948 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.948 * [taylor]: Taking taylor expansion of (* x y) in x
4.948 * [taylor]: Taking taylor expansion of x in x
4.948 * [taylor]: Taking taylor expansion of y in x
4.949 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.949 * [taylor]: Taking taylor expansion of 9.0 in x
4.949 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.949 * [taylor]: Taking taylor expansion of (* t z) in x
4.949 * [taylor]: Taking taylor expansion of t in x
4.949 * [taylor]: Taking taylor expansion of z in x
4.949 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
4.949 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.949 * [taylor]: Taking taylor expansion of (* x y) in x
4.949 * [taylor]: Taking taylor expansion of x in x
4.949 * [taylor]: Taking taylor expansion of y in x
4.949 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
4.949 * [taylor]: Taking taylor expansion of 9.0 in x
4.949 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
4.949 * [taylor]: Taking taylor expansion of (* t z) in x
4.949 * [taylor]: Taking taylor expansion of t in x
4.949 * [taylor]: Taking taylor expansion of z in x
4.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.950 * [taylor]: Taking taylor expansion of y in y
4.950 * [taylor]: Taking taylor expansion of 1 in t
4.951 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
4.951 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
4.951 * [taylor]: Taking taylor expansion of 9.0 in y
4.951 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
4.951 * [taylor]: Taking taylor expansion of (* t z) in y
4.951 * [taylor]: Taking taylor expansion of t in y
4.951 * [taylor]: Taking taylor expansion of z in y
4.951 * [taylor]: Taking taylor expansion of 0 in t
4.952 * [taylor]: Taking taylor expansion of 1 in z
4.953 * [taylor]: Taking taylor expansion of 0 in y
4.953 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in t
4.954 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
4.954 * [taylor]: Taking taylor expansion of 9.0 in t
4.954 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
4.954 * [taylor]: Taking taylor expansion of (* t z) in t
4.954 * [taylor]: Taking taylor expansion of t in t
4.954 * [taylor]: Taking taylor expansion of z in t
4.954 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 z))) in z
4.954 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 z)) in z
4.954 * [taylor]: Taking taylor expansion of 9.0 in z
4.954 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.954 * [taylor]: Taking taylor expansion of z in z
4.956 * [taylor]: Taking taylor expansion of 0 in t
4.956 * [taylor]: Taking taylor expansion of 0 in z
4.956 * [taylor]: Taking taylor expansion of 0 in z
4.958 * [taylor]: Taking taylor expansion of 0 in y
4.959 * [taylor]: Taking taylor expansion of 0 in t
4.959 * [taylor]: Taking taylor expansion of 0 in t
4.960 * [taylor]: Taking taylor expansion of 0 in t
4.961 * [taylor]: Taking taylor expansion of 0 in z
4.961 * [taylor]: Taking taylor expansion of 0 in z
4.961 * [taylor]: Taking taylor expansion of 0 in z
4.961 * [taylor]: Taking taylor expansion of 0 in z
4.965 * [taylor]: Taking taylor expansion of 0 in y
4.966 * [taylor]: Taking taylor expansion of 0 in t
4.966 * [taylor]: Taking taylor expansion of 0 in t
4.967 * [taylor]: Taking taylor expansion of 0 in t
4.968 * [taylor]: Taking taylor expansion of 0 in t
4.968 * [taylor]: Taking taylor expansion of 0 in z
4.968 * [taylor]: Taking taylor expansion of 0 in z
4.968 * [taylor]: Taking taylor expansion of 0 in z
4.969 * [taylor]: Taking taylor expansion of 0 in z
4.969 * [taylor]: Taking taylor expansion of 0 in z
4.969 * [taylor]: Taking taylor expansion of 0 in z
4.969 * [taylor]: Taking taylor expansion of 0 in z
4.970 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 1)
4.970 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (t z) around 0
4.970 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
4.970 * [taylor]: Taking taylor expansion of 9.0 in z
4.970 * [taylor]: Taking taylor expansion of (* t z) in z
4.970 * [taylor]: Taking taylor expansion of t in z
4.970 * [taylor]: Taking taylor expansion of z in z
4.970 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
4.970 * [taylor]: Taking taylor expansion of 9.0 in t
4.970 * [taylor]: Taking taylor expansion of (* t z) in t
4.970 * [taylor]: Taking taylor expansion of t in t
4.970 * [taylor]: Taking taylor expansion of z in t
4.971 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
4.971 * [taylor]: Taking taylor expansion of 9.0 in t
4.971 * [taylor]: Taking taylor expansion of (* t z) in t
4.971 * [taylor]: Taking taylor expansion of t in t
4.971 * [taylor]: Taking taylor expansion of z in t
4.971 * [taylor]: Taking taylor expansion of 0 in z
4.971 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
4.972 * [taylor]: Taking taylor expansion of 9.0 in z
4.972 * [taylor]: Taking taylor expansion of z in z
4.973 * [taylor]: Taking taylor expansion of 0 in z
4.975 * [taylor]: Taking taylor expansion of 0 in z
4.978 * [taylor]: Taking taylor expansion of 0 in z
4.978 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (t z) around 0
4.978 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
4.978 * [taylor]: Taking taylor expansion of 9.0 in z
4.978 * [taylor]: Taking taylor expansion of (* t z) in z
4.978 * [taylor]: Taking taylor expansion of t in z
4.978 * [taylor]: Taking taylor expansion of z in z
4.978 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
4.978 * [taylor]: Taking taylor expansion of 9.0 in t
4.978 * [taylor]: Taking taylor expansion of (* t z) in t
4.978 * [taylor]: Taking taylor expansion of t in t
4.978 * [taylor]: Taking taylor expansion of z in t
4.979 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
4.979 * [taylor]: Taking taylor expansion of 9.0 in t
4.979 * [taylor]: Taking taylor expansion of (* t z) in t
4.979 * [taylor]: Taking taylor expansion of t in t
4.979 * [taylor]: Taking taylor expansion of z in t
4.979 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
4.979 * [taylor]: Taking taylor expansion of 9.0 in z
4.979 * [taylor]: Taking taylor expansion of z in z
4.980 * [taylor]: Taking taylor expansion of 0 in z
4.981 * [taylor]: Taking taylor expansion of 0 in z
4.983 * [taylor]: Taking taylor expansion of 0 in z
4.984 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (t z) around 0
4.984 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
4.984 * [taylor]: Taking taylor expansion of 9.0 in z
4.984 * [taylor]: Taking taylor expansion of (* t z) in z
4.984 * [taylor]: Taking taylor expansion of t in z
4.984 * [taylor]: Taking taylor expansion of z in z
4.984 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
4.984 * [taylor]: Taking taylor expansion of 9.0 in t
4.984 * [taylor]: Taking taylor expansion of (* t z) in t
4.984 * [taylor]: Taking taylor expansion of t in t
4.984 * [taylor]: Taking taylor expansion of z in t
4.985 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
4.985 * [taylor]: Taking taylor expansion of 9.0 in t
4.985 * [taylor]: Taking taylor expansion of (* t z) in t
4.985 * [taylor]: Taking taylor expansion of t in t
4.985 * [taylor]: Taking taylor expansion of z in t
4.985 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
4.985 * [taylor]: Taking taylor expansion of 9.0 in z
4.985 * [taylor]: Taking taylor expansion of z in z
4.986 * [taylor]: Taking taylor expansion of 0 in z
4.987 * [taylor]: Taking taylor expansion of 0 in z
4.989 * [taylor]: Taking taylor expansion of 0 in z
4.990 * * * [progress]: simplifying candidates
4.991 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (+ (* x y) (- (* 9.0 (* t z))))) (+ (log a) (log 2.0)))
  (- (log (+ (* x y) (- (* 9.0 (* t z))))) (log (* a 2.0)))
  (log (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))
  (exp (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))
  (/ (* (* (+ (* x y) (- (* 9.0 (* t z)))) (+ (* x y) (- (* 9.0 (* t z))))) (+ (* x y) (- (* 9.0 (* t z))))) (* (* (* a a) a) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (+ (* x y) (- (* 9.0 (* t z)))) (+ (* x y) (- (* 9.0 (* t z))))) (+ (* x y) (- (* 9.0 (* t z))))) (* (* (* a 2.0) (* a 2.0)) (* a 2.0)))
  (* (cbrt (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0))) (cbrt (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0))))
  (cbrt (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))
  (* (* (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0))) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))
  (sqrt (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))
  (sqrt (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))
  (- (+ (* x y) (- (* 9.0 (* t z)))))
  (- (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (+ (* x y) 0) (* a 2.0))
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (* x y) (* a 2.0))
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (* (cbrt (+ (* x y) (- (* 9.0 (* t z))))) (cbrt (+ (* x y) (- (* 9.0 (* t z)))))) a)
  (/ (cbrt (+ (* x y) (- (* 9.0 (* t z))))) 2.0)
  (/ (sqrt (+ (* x y) (- (* 9.0 (* t z))))) a)
  (/ (sqrt (+ (* x y) (- (* 9.0 (* t z))))) 2.0)
  (/ 1 a)
  (/ (+ (* x y) (- (* 9.0 (* t z)))) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (+ (* x y) (- (* 9.0 (* t z)))))
  (/ (+ (* x y) (- (* 9.0 (* t z)))) a)
  (/ (* a 2.0) (cbrt (+ (* x y) (- (* 9.0 (* t z))))))
  (/ (* a 2.0) (sqrt (+ (* x y) (- (* 9.0 (* t z))))))
  (/ (* a 2.0) (+ (* x y) (- (* 9.0 (* t z)))))
  (* (* a 2.0) (+ (* (* x y) (* x y)) (- (* (- (* 9.0 (* t z))) (- (* 9.0 (* t z)))) (* (* x y) (- (* 9.0 (* t z)))))))
  (* (* a 2.0) (- (* x y) (- (* 9.0 (* t z)))))
  (* (exp (* x y)) (/ 1 (exp (* 9.0 (* t z)))))
  (* (exp (* x y)) (exp (- (* 9.0 (* t z)))))
  (log (+ (* x y) (- (* 9.0 (* t z)))))
  (exp (+ (* x y) (- (* 9.0 (* t z)))))
  (* (cbrt (+ (* x y) (- (* 9.0 (* t z))))) (cbrt (+ (* x y) (- (* 9.0 (* t z))))))
  (cbrt (+ (* x y) (- (* 9.0 (* t z)))))
  (* (* (+ (* x y) (- (* 9.0 (* t z)))) (+ (* x y) (- (* 9.0 (* t z))))) (+ (* x y) (- (* 9.0 (* t z)))))
  (sqrt (+ (* x y) (- (* 9.0 (* t z)))))
  (sqrt (+ (* x y) (- (* 9.0 (* t z)))))
  (+ (pow (* x y) 3) (pow (- (* 9.0 (* t z))) 3))
  (+ (* (* x y) (* x y)) (- (* (- (* 9.0 (* t z))) (- (* 9.0 (* t z)))) (* (* x y) (- (* 9.0 (* t z))))))
  (- (* (* x y) (* x y)) (* (- (* 9.0 (* t z))) (- (* 9.0 (* t z)))))
  (- (* x y) (- (* 9.0 (* t z))))
  (+ (* x y) 0)
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (+ (log 9.0) (+ (log t) (log z)))
  (+ (log 9.0) (log (* t z)))
  (log (* 9.0 (* t z)))
  (exp (* 9.0 (* t z)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* z z) z)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t z) (* t z)) (* t z)))
  (* (cbrt (* 9.0 (* t z))) (cbrt (* 9.0 (* t z))))
  (cbrt (* 9.0 (* t z)))
  (* (* (* 9.0 (* t z)) (* 9.0 (* t z))) (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (* 9.0 t)
  (* (cbrt 9.0) (* t z))
  (* (sqrt 9.0) (* t z))
  (* 9.0 (* t z))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
4.994 * * [simplify]: iteration  0 :  118  enodes  (cost  947 )
5.014 * * [simplify]: iteration  1 :  336  enodes  (cost  876 )
5.105 * * [simplify]: iteration  2 :  1294  enodes  (cost  747 )
5.722 * * [simplify]: iteration  done :  5000  enodes  (cost  744 )
5.723 * [simplify]: Simplified to:
   (log (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (log (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (log (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (exp (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)
  (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)
  (* (cbrt (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0))) (cbrt (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0))))
  (cbrt (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)
  (sqrt (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (sqrt (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)))
  (- (* 9.0 (* t z)) (* x y))
  (- (* a 2.0))
  (/ (/ (* x y) a) 2.0)
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (/ (* x y) a) 2.0)
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (/ (* x y) a) 2.0)
  (/ (* 9.0 (* t z)) (* a 2.0))
  (/ (* (cbrt (- (* x y) (* 9.0 (* t z)))) (cbrt (- (* x y) (* 9.0 (* t z))))) a)
  (/ (cbrt (- (* x y) (* 9.0 (* t z)))) 2.0)
  (/ (sqrt (- (* x y) (* 9.0 (* t z)))) a)
  (/ (sqrt (- (* x y) (* 9.0 (* t z)))) 2.0)
  (/ 1 a)
  (/ (- (* x y) (* 9.0 (* t z))) 2.0)
  (/ 1 (* a 2.0))
  (/ (* a 2.0) (- (* x y) (* 9.0 (* t z))))
  (/ (- (* x y) (* 9.0 (* t z))) a)
  (/ (* a 2.0) (cbrt (- (* x y) (* 9.0 (* t z)))))
  (/ (* a 2.0) (sqrt (- (* x y) (* 9.0 (* t z)))))
  (/ (* a 2.0) (- (* x y) (* 9.0 (* t z))))
  (* (- (* (* x y) (* x y)) (* (* 9.0 (* t z)) (- (- (* 9.0 (* t z))) (* x y)))) (* a 2.0))
  (* (* 2.0 (+ (* 9.0 (* t z)) (* x y))) a)
  (exp (- (* x y) (* 9.0 (* t z))))
  (exp (- (* x y) (* 9.0 (* t z))))
  (log (- (* x y) (* 9.0 (* t z))))
  (exp (- (* x y) (* 9.0 (* t z))))
  (* (cbrt (- (* x y) (* 9.0 (* t z)))) (cbrt (- (* x y) (* 9.0 (* t z)))))
  (cbrt (- (* x y) (* 9.0 (* t z))))
  (pow (- (* x y) (* 9.0 (* t z))) 3)
  (sqrt (- (* x y) (* 9.0 (* t z))))
  (sqrt (- (* x y) (* 9.0 (* t z))))
  (- (pow (* x y) 3) (pow (* 9.0 (* t z)) 3))
  (- (* (* x y) (* x y)) (* (* 9.0 (* t z)) (- (- (* 9.0 (* t z))) (* x y))))
  (- (* (* x y) (* x y)) (* (* 9.0 (* t z)) (* 9.0 (* t z))))
  (+ (* 9.0 (* t z)) (* x y))
  (* x y)
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (log (* 9.0 (* t z)))
  (log (* 9.0 (* t z)))
  (log (* 9.0 (* t z)))
  (exp (* 9.0 (* t z)))
  (pow (* 9.0 (* t z)) 3)
  (pow (* 9.0 (* t z)) 3)
  (* (cbrt (* 9.0 (* t z))) (cbrt (* 9.0 (* t z))))
  (cbrt (* 9.0 (* t z)))
  (pow (* 9.0 (* t z)) 3)
  (sqrt (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (* 9.0 t)
  (* (cbrt 9.0) (* t z))
  (* (sqrt 9.0) (* t z))
  (* 9.0 (* t z))
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
5.723 * * * [progress]: adding candidates to table
5.868 * * [progress]: iteration 4 / 4
5.868 * * * [progress]: picking best candidate
5.896 * * * * [pick]: Picked  #<alt (λ (x y z t a) (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0))))>
5.896 * * * [progress]: localizing error
5.907 * * * [progress]: generating rewritten candidates
5.907 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
5.924 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
5.927 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
5.935 * * * [progress]: generating series expansions
5.935 * * * * [progress]: [ 1 / 3 ] generating series at (2)
5.935 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y z t a) around 0
5.935 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a
5.935 * [taylor]: Taking taylor expansion of 0.5 in a
5.935 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a
5.935 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a
5.935 * [taylor]: Taking taylor expansion of (* x y) in a
5.935 * [taylor]: Taking taylor expansion of x in a
5.935 * [taylor]: Taking taylor expansion of y in a
5.935 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a
5.935 * [taylor]: Taking taylor expansion of 9.0 in a
5.935 * [taylor]: Taking taylor expansion of (* t z) in a
5.935 * [taylor]: Taking taylor expansion of t in a
5.935 * [taylor]: Taking taylor expansion of z in a
5.935 * [taylor]: Taking taylor expansion of a in a
5.936 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t
5.936 * [taylor]: Taking taylor expansion of 0.5 in t
5.936 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t
5.936 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
5.936 * [taylor]: Taking taylor expansion of (* x y) in t
5.936 * [taylor]: Taking taylor expansion of x in t
5.936 * [taylor]: Taking taylor expansion of y in t
5.936 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
5.936 * [taylor]: Taking taylor expansion of 9.0 in t
5.936 * [taylor]: Taking taylor expansion of (* t z) in t
5.936 * [taylor]: Taking taylor expansion of t in t
5.936 * [taylor]: Taking taylor expansion of z in t
5.936 * [taylor]: Taking taylor expansion of a in t
5.937 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z
5.937 * [taylor]: Taking taylor expansion of 0.5 in z
5.937 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z
5.937 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
5.937 * [taylor]: Taking taylor expansion of (* x y) in z
5.937 * [taylor]: Taking taylor expansion of x in z
5.937 * [taylor]: Taking taylor expansion of y in z
5.937 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
5.937 * [taylor]: Taking taylor expansion of 9.0 in z
5.937 * [taylor]: Taking taylor expansion of (* t z) in z
5.937 * [taylor]: Taking taylor expansion of t in z
5.937 * [taylor]: Taking taylor expansion of z in z
5.937 * [taylor]: Taking taylor expansion of a in z
5.937 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y
5.937 * [taylor]: Taking taylor expansion of 0.5 in y
5.937 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y
5.937 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
5.937 * [taylor]: Taking taylor expansion of (* x y) in y
5.937 * [taylor]: Taking taylor expansion of x in y
5.938 * [taylor]: Taking taylor expansion of y in y
5.938 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
5.938 * [taylor]: Taking taylor expansion of 9.0 in y
5.938 * [taylor]: Taking taylor expansion of (* t z) in y
5.938 * [taylor]: Taking taylor expansion of t in y
5.938 * [taylor]: Taking taylor expansion of z in y
5.938 * [taylor]: Taking taylor expansion of a in y
5.938 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
5.938 * [taylor]: Taking taylor expansion of 0.5 in x
5.938 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
5.938 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
5.938 * [taylor]: Taking taylor expansion of (* x y) in x
5.938 * [taylor]: Taking taylor expansion of x in x
5.938 * [taylor]: Taking taylor expansion of y in x
5.938 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
5.938 * [taylor]: Taking taylor expansion of 9.0 in x
5.938 * [taylor]: Taking taylor expansion of (* t z) in x
5.938 * [taylor]: Taking taylor expansion of t in x
5.938 * [taylor]: Taking taylor expansion of z in x
5.938 * [taylor]: Taking taylor expansion of a in x
5.938 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x
5.938 * [taylor]: Taking taylor expansion of 0.5 in x
5.938 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x
5.938 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
5.938 * [taylor]: Taking taylor expansion of (* x y) in x
5.938 * [taylor]: Taking taylor expansion of x in x
5.938 * [taylor]: Taking taylor expansion of y in x
5.938 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
5.939 * [taylor]: Taking taylor expansion of 9.0 in x
5.939 * [taylor]: Taking taylor expansion of (* t z) in x
5.939 * [taylor]: Taking taylor expansion of t in x
5.939 * [taylor]: Taking taylor expansion of z in x
5.939 * [taylor]: Taking taylor expansion of a in x
5.939 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y
5.939 * [taylor]: Taking taylor expansion of -4.5 in y
5.939 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y
5.939 * [taylor]: Taking taylor expansion of (* t z) in y
5.939 * [taylor]: Taking taylor expansion of t in y
5.939 * [taylor]: Taking taylor expansion of z in y
5.939 * [taylor]: Taking taylor expansion of a in y
5.939 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in z
5.939 * [taylor]: Taking taylor expansion of -4.5 in z
5.939 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z
5.939 * [taylor]: Taking taylor expansion of (* t z) in z
5.939 * [taylor]: Taking taylor expansion of t in z
5.939 * [taylor]: Taking taylor expansion of z in z
5.939 * [taylor]: Taking taylor expansion of a in z
5.941 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y
5.941 * [taylor]: Taking taylor expansion of 0.5 in y
5.941 * [taylor]: Taking taylor expansion of (/ y a) in y
5.941 * [taylor]: Taking taylor expansion of y in y
5.941 * [taylor]: Taking taylor expansion of a in y
5.942 * [taylor]: Taking taylor expansion of 0 in z
5.942 * [taylor]: Taking taylor expansion of 0 in t
5.942 * [taylor]: Taking taylor expansion of 0 in a
5.942 * [taylor]: Taking taylor expansion of (* -4.5 (/ t a)) in t
5.942 * [taylor]: Taking taylor expansion of -4.5 in t
5.942 * [taylor]: Taking taylor expansion of (/ t a) in t
5.942 * [taylor]: Taking taylor expansion of t in t
5.942 * [taylor]: Taking taylor expansion of a in t
5.944 * [taylor]: Taking taylor expansion of 0 in y
5.944 * [taylor]: Taking taylor expansion of 0 in z
5.945 * [taylor]: Taking taylor expansion of 0 in t
5.945 * [taylor]: Taking taylor expansion of 0 in a
5.945 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z
5.945 * [taylor]: Taking taylor expansion of 0.5 in z
5.945 * [taylor]: Taking taylor expansion of a in z
5.945 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t
5.945 * [taylor]: Taking taylor expansion of 0.5 in t
5.945 * [taylor]: Taking taylor expansion of a in t
5.945 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a
5.945 * [taylor]: Taking taylor expansion of 0.5 in a
5.945 * [taylor]: Taking taylor expansion of a in a
5.946 * [taylor]: Taking taylor expansion of 0 in z
5.946 * [taylor]: Taking taylor expansion of 0 in t
5.946 * [taylor]: Taking taylor expansion of 0 in a
5.946 * [taylor]: Taking taylor expansion of 0 in t
5.946 * [taylor]: Taking taylor expansion of 0 in a
5.947 * [taylor]: Taking taylor expansion of 0 in t
5.947 * [taylor]: Taking taylor expansion of 0 in a
5.947 * [taylor]: Taking taylor expansion of 0 in a
5.947 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a
5.947 * [taylor]: Taking taylor expansion of -4.5 in a
5.947 * [taylor]: Taking taylor expansion of a in a
5.953 * [taylor]: Taking taylor expansion of 0 in y
5.954 * [taylor]: Taking taylor expansion of 0 in z
5.954 * [taylor]: Taking taylor expansion of 0 in t
5.954 * [taylor]: Taking taylor expansion of 0 in a
5.954 * [taylor]: Taking taylor expansion of 0 in z
5.954 * [taylor]: Taking taylor expansion of 0 in t
5.954 * [taylor]: Taking taylor expansion of 0 in a
5.954 * [taylor]: Taking taylor expansion of 0 in z
5.954 * [taylor]: Taking taylor expansion of 0 in t
5.954 * [taylor]: Taking taylor expansion of 0 in a
5.956 * [taylor]: Taking taylor expansion of 0 in z
5.956 * [taylor]: Taking taylor expansion of 0 in t
5.956 * [taylor]: Taking taylor expansion of 0 in a
5.956 * [taylor]: Taking taylor expansion of 0 in t
5.956 * [taylor]: Taking taylor expansion of 0 in a
5.956 * [taylor]: Taking taylor expansion of 0 in t
5.956 * [taylor]: Taking taylor expansion of 0 in a
5.956 * [taylor]: Taking taylor expansion of 0 in t
5.956 * [taylor]: Taking taylor expansion of 0 in a
5.956 * [taylor]: Taking taylor expansion of 0 in t
5.956 * [taylor]: Taking taylor expansion of 0 in a
5.957 * [taylor]: Taking taylor expansion of 0 in t
5.957 * [taylor]: Taking taylor expansion of 0 in a
5.957 * [taylor]: Taking taylor expansion of 0 in a
5.957 * [taylor]: Taking taylor expansion of 0 in a
5.957 * [taylor]: Taking taylor expansion of 0 in a
5.957 * [taylor]: Taking taylor expansion of 0 in a
5.957 * [taylor]: Taking taylor expansion of 0 in a
5.957 * [taylor]: Taking taylor expansion of 0 in a
5.958 * [taylor]: Taking taylor expansion of 0 in a
5.959 * [approximate]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0
5.959 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
5.959 * [taylor]: Taking taylor expansion of 0.5 in a
5.959 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
5.959 * [taylor]: Taking taylor expansion of a in a
5.959 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
5.959 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
5.959 * [taylor]: Taking taylor expansion of (* x y) in a
5.959 * [taylor]: Taking taylor expansion of x in a
5.959 * [taylor]: Taking taylor expansion of y in a
5.959 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
5.959 * [taylor]: Taking taylor expansion of 9.0 in a
5.959 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
5.959 * [taylor]: Taking taylor expansion of (* t z) in a
5.959 * [taylor]: Taking taylor expansion of t in a
5.959 * [taylor]: Taking taylor expansion of z in a
5.960 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
5.960 * [taylor]: Taking taylor expansion of 0.5 in t
5.960 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
5.960 * [taylor]: Taking taylor expansion of a in t
5.960 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
5.960 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
5.960 * [taylor]: Taking taylor expansion of (* x y) in t
5.960 * [taylor]: Taking taylor expansion of x in t
5.960 * [taylor]: Taking taylor expansion of y in t
5.960 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
5.960 * [taylor]: Taking taylor expansion of 9.0 in t
5.960 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
5.960 * [taylor]: Taking taylor expansion of (* t z) in t
5.960 * [taylor]: Taking taylor expansion of t in t
5.960 * [taylor]: Taking taylor expansion of z in t
5.960 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
5.960 * [taylor]: Taking taylor expansion of 0.5 in z
5.960 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
5.960 * [taylor]: Taking taylor expansion of a in z
5.960 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
5.960 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.960 * [taylor]: Taking taylor expansion of (* x y) in z
5.960 * [taylor]: Taking taylor expansion of x in z
5.960 * [taylor]: Taking taylor expansion of y in z
5.960 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
5.960 * [taylor]: Taking taylor expansion of 9.0 in z
5.960 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
5.960 * [taylor]: Taking taylor expansion of (* t z) in z
5.960 * [taylor]: Taking taylor expansion of t in z
5.960 * [taylor]: Taking taylor expansion of z in z
5.961 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
5.961 * [taylor]: Taking taylor expansion of 0.5 in y
5.961 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
5.961 * [taylor]: Taking taylor expansion of a in y
5.961 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
5.961 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.961 * [taylor]: Taking taylor expansion of (* x y) in y
5.961 * [taylor]: Taking taylor expansion of x in y
5.961 * [taylor]: Taking taylor expansion of y in y
5.961 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
5.961 * [taylor]: Taking taylor expansion of 9.0 in y
5.961 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
5.961 * [taylor]: Taking taylor expansion of (* t z) in y
5.961 * [taylor]: Taking taylor expansion of t in y
5.961 * [taylor]: Taking taylor expansion of z in y
5.961 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
5.961 * [taylor]: Taking taylor expansion of 0.5 in x
5.961 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
5.962 * [taylor]: Taking taylor expansion of a in x
5.962 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
5.962 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.962 * [taylor]: Taking taylor expansion of (* x y) in x
5.962 * [taylor]: Taking taylor expansion of x in x
5.962 * [taylor]: Taking taylor expansion of y in x
5.962 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
5.962 * [taylor]: Taking taylor expansion of 9.0 in x
5.962 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
5.962 * [taylor]: Taking taylor expansion of (* t z) in x
5.962 * [taylor]: Taking taylor expansion of t in x
5.962 * [taylor]: Taking taylor expansion of z in x
5.962 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
5.962 * [taylor]: Taking taylor expansion of 0.5 in x
5.962 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
5.962 * [taylor]: Taking taylor expansion of a in x
5.962 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
5.962 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.962 * [taylor]: Taking taylor expansion of (* x y) in x
5.962 * [taylor]: Taking taylor expansion of x in x
5.962 * [taylor]: Taking taylor expansion of y in x
5.963 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
5.963 * [taylor]: Taking taylor expansion of 9.0 in x
5.963 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
5.963 * [taylor]: Taking taylor expansion of (* t z) in x
5.963 * [taylor]: Taking taylor expansion of t in x
5.963 * [taylor]: Taking taylor expansion of z in x
5.963 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y
5.963 * [taylor]: Taking taylor expansion of 0.5 in y
5.963 * [taylor]: Taking taylor expansion of (/ a y) in y
5.963 * [taylor]: Taking taylor expansion of a in y
5.963 * [taylor]: Taking taylor expansion of y in y
5.963 * [taylor]: Taking taylor expansion of (* 0.5 a) in z
5.963 * [taylor]: Taking taylor expansion of 0.5 in z
5.963 * [taylor]: Taking taylor expansion of a in z
5.964 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in y
5.964 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
5.964 * [taylor]: Taking taylor expansion of 4.5 in y
5.964 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
5.964 * [taylor]: Taking taylor expansion of a in y
5.964 * [taylor]: Taking taylor expansion of (* z t) in y
5.964 * [taylor]: Taking taylor expansion of z in y
5.964 * [taylor]: Taking taylor expansion of t in y
5.965 * [taylor]: Taking taylor expansion of 0 in z
5.965 * [taylor]: Taking taylor expansion of (* 0.5 a) in t
5.965 * [taylor]: Taking taylor expansion of 0.5 in t
5.965 * [taylor]: Taking taylor expansion of a in t
5.968 * [taylor]: Taking taylor expansion of 0 in y
5.968 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a (* z t)))) in z
5.968 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
5.968 * [taylor]: Taking taylor expansion of 4.5 in z
5.968 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
5.968 * [taylor]: Taking taylor expansion of a in z
5.968 * [taylor]: Taking taylor expansion of (* z t) in z
5.968 * [taylor]: Taking taylor expansion of z in z
5.968 * [taylor]: Taking taylor expansion of t in z
5.968 * [taylor]: Taking taylor expansion of (- (* 4.5 (/ a t))) in t
5.968 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
5.968 * [taylor]: Taking taylor expansion of 4.5 in t
5.968 * [taylor]: Taking taylor expansion of (/ a t) in t
5.968 * [taylor]: Taking taylor expansion of a in t
5.968 * [taylor]: Taking taylor expansion of t in t
5.968 * [taylor]: Taking taylor expansion of (- (* 4.5 a)) in a
5.968 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
5.968 * [taylor]: Taking taylor expansion of 4.5 in a
5.968 * [taylor]: Taking taylor expansion of a in a
5.970 * [taylor]: Taking taylor expansion of 0 in z
5.970 * [taylor]: Taking taylor expansion of 0 in t
5.971 * [taylor]: Taking taylor expansion of 0 in t
5.971 * [taylor]: Taking taylor expansion of (* 0.5 a) in a
5.971 * [taylor]: Taking taylor expansion of 0.5 in a
5.971 * [taylor]: Taking taylor expansion of a in a
5.975 * [taylor]: Taking taylor expansion of 0 in y
5.975 * [taylor]: Taking taylor expansion of 0 in z
5.975 * [taylor]: Taking taylor expansion of 0 in z
5.977 * [taylor]: Taking taylor expansion of 0 in z
5.979 * [taylor]: Taking taylor expansion of 0 in t
5.979 * [taylor]: Taking taylor expansion of 0 in t
5.979 * [taylor]: Taking taylor expansion of 0 in t
5.979 * [taylor]: Taking taylor expansion of 0 in t
5.980 * [taylor]: Taking taylor expansion of 0 in a
5.980 * [taylor]: Taking taylor expansion of 0 in a
5.980 * [taylor]: Taking taylor expansion of 0 in a
5.981 * [taylor]: Taking taylor expansion of 0 in a
5.981 * [approximate]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0
5.981 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a
5.981 * [taylor]: Taking taylor expansion of -0.5 in a
5.981 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a
5.981 * [taylor]: Taking taylor expansion of a in a
5.981 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a
5.981 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a
5.981 * [taylor]: Taking taylor expansion of (* x y) in a
5.981 * [taylor]: Taking taylor expansion of x in a
5.981 * [taylor]: Taking taylor expansion of y in a
5.981 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a
5.981 * [taylor]: Taking taylor expansion of 9.0 in a
5.981 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a
5.981 * [taylor]: Taking taylor expansion of (* t z) in a
5.981 * [taylor]: Taking taylor expansion of t in a
5.981 * [taylor]: Taking taylor expansion of z in a
5.981 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t
5.981 * [taylor]: Taking taylor expansion of -0.5 in t
5.981 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t
5.981 * [taylor]: Taking taylor expansion of a in t
5.981 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
5.982 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
5.982 * [taylor]: Taking taylor expansion of (* x y) in t
5.982 * [taylor]: Taking taylor expansion of x in t
5.982 * [taylor]: Taking taylor expansion of y in t
5.982 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
5.982 * [taylor]: Taking taylor expansion of 9.0 in t
5.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
5.982 * [taylor]: Taking taylor expansion of (* t z) in t
5.982 * [taylor]: Taking taylor expansion of t in t
5.982 * [taylor]: Taking taylor expansion of z in t
5.982 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z
5.982 * [taylor]: Taking taylor expansion of -0.5 in z
5.982 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z
5.982 * [taylor]: Taking taylor expansion of a in z
5.982 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
5.982 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.982 * [taylor]: Taking taylor expansion of (* x y) in z
5.982 * [taylor]: Taking taylor expansion of x in z
5.982 * [taylor]: Taking taylor expansion of y in z
5.982 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
5.982 * [taylor]: Taking taylor expansion of 9.0 in z
5.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
5.982 * [taylor]: Taking taylor expansion of (* t z) in z
5.982 * [taylor]: Taking taylor expansion of t in z
5.982 * [taylor]: Taking taylor expansion of z in z
5.983 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y
5.983 * [taylor]: Taking taylor expansion of -0.5 in y
5.983 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y
5.983 * [taylor]: Taking taylor expansion of a in y
5.983 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
5.983 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.983 * [taylor]: Taking taylor expansion of (* x y) in y
5.983 * [taylor]: Taking taylor expansion of x in y
5.983 * [taylor]: Taking taylor expansion of y in y
5.983 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
5.983 * [taylor]: Taking taylor expansion of 9.0 in y
5.983 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
5.983 * [taylor]: Taking taylor expansion of (* t z) in y
5.983 * [taylor]: Taking taylor expansion of t in y
5.983 * [taylor]: Taking taylor expansion of z in y
5.983 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
5.983 * [taylor]: Taking taylor expansion of -0.5 in x
5.983 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
5.983 * [taylor]: Taking taylor expansion of a in x
5.983 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
5.983 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.983 * [taylor]: Taking taylor expansion of (* x y) in x
5.983 * [taylor]: Taking taylor expansion of x in x
5.983 * [taylor]: Taking taylor expansion of y in x
5.984 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
5.984 * [taylor]: Taking taylor expansion of 9.0 in x
5.984 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
5.984 * [taylor]: Taking taylor expansion of (* t z) in x
5.984 * [taylor]: Taking taylor expansion of t in x
5.984 * [taylor]: Taking taylor expansion of z in x
5.984 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x
5.984 * [taylor]: Taking taylor expansion of -0.5 in x
5.984 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x
5.984 * [taylor]: Taking taylor expansion of a in x
5.984 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
5.984 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.984 * [taylor]: Taking taylor expansion of (* x y) in x
5.984 * [taylor]: Taking taylor expansion of x in x
5.984 * [taylor]: Taking taylor expansion of y in x
5.984 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
5.984 * [taylor]: Taking taylor expansion of 9.0 in x
5.984 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
5.984 * [taylor]: Taking taylor expansion of (* t z) in x
5.985 * [taylor]: Taking taylor expansion of t in x
5.985 * [taylor]: Taking taylor expansion of z in x
5.985 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y
5.985 * [taylor]: Taking taylor expansion of -0.5 in y
5.985 * [taylor]: Taking taylor expansion of (/ a y) in y
5.985 * [taylor]: Taking taylor expansion of a in y
5.985 * [taylor]: Taking taylor expansion of y in y
5.985 * [taylor]: Taking taylor expansion of (* -0.5 a) in z
5.985 * [taylor]: Taking taylor expansion of -0.5 in z
5.985 * [taylor]: Taking taylor expansion of a in z
5.986 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y
5.986 * [taylor]: Taking taylor expansion of 4.5 in y
5.986 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y
5.986 * [taylor]: Taking taylor expansion of a in y
5.986 * [taylor]: Taking taylor expansion of (* z t) in y
5.986 * [taylor]: Taking taylor expansion of z in y
5.986 * [taylor]: Taking taylor expansion of t in y
5.987 * [taylor]: Taking taylor expansion of 0 in z
5.987 * [taylor]: Taking taylor expansion of (* -0.5 a) in t
5.987 * [taylor]: Taking taylor expansion of -0.5 in t
5.987 * [taylor]: Taking taylor expansion of a in t
5.989 * [taylor]: Taking taylor expansion of 0 in y
5.989 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z
5.989 * [taylor]: Taking taylor expansion of 4.5 in z
5.990 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z
5.990 * [taylor]: Taking taylor expansion of a in z
5.990 * [taylor]: Taking taylor expansion of (* z t) in z
5.990 * [taylor]: Taking taylor expansion of z in z
5.990 * [taylor]: Taking taylor expansion of t in z
5.990 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t
5.990 * [taylor]: Taking taylor expansion of 4.5 in t
5.990 * [taylor]: Taking taylor expansion of (/ a t) in t
5.990 * [taylor]: Taking taylor expansion of a in t
5.990 * [taylor]: Taking taylor expansion of t in t
5.990 * [taylor]: Taking taylor expansion of (* 4.5 a) in a
5.990 * [taylor]: Taking taylor expansion of 4.5 in a
5.990 * [taylor]: Taking taylor expansion of a in a
5.992 * [taylor]: Taking taylor expansion of 0 in z
5.992 * [taylor]: Taking taylor expansion of 0 in t
5.992 * [taylor]: Taking taylor expansion of 0 in t
5.992 * [taylor]: Taking taylor expansion of (* -0.5 a) in a
5.992 * [taylor]: Taking taylor expansion of -0.5 in a
5.992 * [taylor]: Taking taylor expansion of a in a
5.996 * [taylor]: Taking taylor expansion of 0 in y
5.997 * [taylor]: Taking taylor expansion of 0 in z
5.997 * [taylor]: Taking taylor expansion of 0 in z
5.999 * [taylor]: Taking taylor expansion of 0 in z
6.000 * [taylor]: Taking taylor expansion of 0 in t
6.000 * [taylor]: Taking taylor expansion of 0 in t
6.000 * [taylor]: Taking taylor expansion of 0 in t
6.001 * [taylor]: Taking taylor expansion of 0 in t
6.002 * [taylor]: Taking taylor expansion of 0 in a
6.002 * [taylor]: Taking taylor expansion of 0 in a
6.002 * [taylor]: Taking taylor expansion of 0 in a
6.002 * [taylor]: Taking taylor expansion of 0 in a
6.002 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
6.002 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y z t) around 0
6.002 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t
6.002 * [taylor]: Taking taylor expansion of (* x y) in t
6.002 * [taylor]: Taking taylor expansion of x in t
6.002 * [taylor]: Taking taylor expansion of y in t
6.002 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
6.002 * [taylor]: Taking taylor expansion of 9.0 in t
6.002 * [taylor]: Taking taylor expansion of (* t z) in t
6.002 * [taylor]: Taking taylor expansion of t in t
6.002 * [taylor]: Taking taylor expansion of z in t
6.002 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z
6.003 * [taylor]: Taking taylor expansion of (* x y) in z
6.003 * [taylor]: Taking taylor expansion of x in z
6.003 * [taylor]: Taking taylor expansion of y in z
6.003 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
6.003 * [taylor]: Taking taylor expansion of 9.0 in z
6.003 * [taylor]: Taking taylor expansion of (* t z) in z
6.003 * [taylor]: Taking taylor expansion of t in z
6.003 * [taylor]: Taking taylor expansion of z in z
6.003 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y
6.003 * [taylor]: Taking taylor expansion of (* x y) in y
6.003 * [taylor]: Taking taylor expansion of x in y
6.003 * [taylor]: Taking taylor expansion of y in y
6.003 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
6.003 * [taylor]: Taking taylor expansion of 9.0 in y
6.003 * [taylor]: Taking taylor expansion of (* t z) in y
6.003 * [taylor]: Taking taylor expansion of t in y
6.003 * [taylor]: Taking taylor expansion of z in y
6.003 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
6.003 * [taylor]: Taking taylor expansion of (* x y) in x
6.003 * [taylor]: Taking taylor expansion of x in x
6.003 * [taylor]: Taking taylor expansion of y in x
6.003 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
6.003 * [taylor]: Taking taylor expansion of 9.0 in x
6.003 * [taylor]: Taking taylor expansion of (* t z) in x
6.003 * [taylor]: Taking taylor expansion of t in x
6.003 * [taylor]: Taking taylor expansion of z in x
6.003 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x
6.003 * [taylor]: Taking taylor expansion of (* x y) in x
6.003 * [taylor]: Taking taylor expansion of x in x
6.003 * [taylor]: Taking taylor expansion of y in x
6.003 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x
6.003 * [taylor]: Taking taylor expansion of 9.0 in x
6.003 * [taylor]: Taking taylor expansion of (* t z) in x
6.003 * [taylor]: Taking taylor expansion of t in x
6.003 * [taylor]: Taking taylor expansion of z in x
6.003 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in y
6.003 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y
6.003 * [taylor]: Taking taylor expansion of 9.0 in y
6.003 * [taylor]: Taking taylor expansion of (* t z) in y
6.003 * [taylor]: Taking taylor expansion of t in y
6.003 * [taylor]: Taking taylor expansion of z in y
6.004 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
6.004 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
6.004 * [taylor]: Taking taylor expansion of 9.0 in z
6.004 * [taylor]: Taking taylor expansion of (* t z) in z
6.004 * [taylor]: Taking taylor expansion of t in z
6.004 * [taylor]: Taking taylor expansion of z in z
6.004 * [taylor]: Taking taylor expansion of 0 in t
6.005 * [taylor]: Taking taylor expansion of y in y
6.005 * [taylor]: Taking taylor expansion of 0 in z
6.005 * [taylor]: Taking taylor expansion of 0 in t
6.006 * [taylor]: Taking taylor expansion of 0 in z
6.006 * [taylor]: Taking taylor expansion of 0 in t
6.006 * [taylor]: Taking taylor expansion of (- (* 9.0 t)) in t
6.006 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
6.006 * [taylor]: Taking taylor expansion of 9.0 in t
6.006 * [taylor]: Taking taylor expansion of t in t
6.009 * [taylor]: Taking taylor expansion of 0 in y
6.009 * [taylor]: Taking taylor expansion of 0 in z
6.009 * [taylor]: Taking taylor expansion of 0 in t
6.009 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
6.009 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
6.009 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
6.009 * [taylor]: Taking taylor expansion of (* x y) in t
6.009 * [taylor]: Taking taylor expansion of x in t
6.009 * [taylor]: Taking taylor expansion of y in t
6.009 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
6.009 * [taylor]: Taking taylor expansion of 9.0 in t
6.009 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
6.009 * [taylor]: Taking taylor expansion of (* t z) in t
6.009 * [taylor]: Taking taylor expansion of t in t
6.009 * [taylor]: Taking taylor expansion of z in t
6.009 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
6.009 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
6.010 * [taylor]: Taking taylor expansion of (* x y) in z
6.010 * [taylor]: Taking taylor expansion of x in z
6.010 * [taylor]: Taking taylor expansion of y in z
6.010 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
6.010 * [taylor]: Taking taylor expansion of 9.0 in z
6.010 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
6.010 * [taylor]: Taking taylor expansion of (* t z) in z
6.010 * [taylor]: Taking taylor expansion of t in z
6.010 * [taylor]: Taking taylor expansion of z in z
6.010 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
6.010 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.010 * [taylor]: Taking taylor expansion of (* x y) in y
6.010 * [taylor]: Taking taylor expansion of x in y
6.010 * [taylor]: Taking taylor expansion of y in y
6.010 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
6.010 * [taylor]: Taking taylor expansion of 9.0 in y
6.010 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
6.010 * [taylor]: Taking taylor expansion of (* t z) in y
6.010 * [taylor]: Taking taylor expansion of t in y
6.011 * [taylor]: Taking taylor expansion of z in y
6.011 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
6.011 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.011 * [taylor]: Taking taylor expansion of (* x y) in x
6.011 * [taylor]: Taking taylor expansion of x in x
6.011 * [taylor]: Taking taylor expansion of y in x
6.011 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
6.011 * [taylor]: Taking taylor expansion of 9.0 in x
6.011 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
6.011 * [taylor]: Taking taylor expansion of (* t z) in x
6.011 * [taylor]: Taking taylor expansion of t in x
6.011 * [taylor]: Taking taylor expansion of z in x
6.011 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
6.011 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.011 * [taylor]: Taking taylor expansion of (* x y) in x
6.011 * [taylor]: Taking taylor expansion of x in x
6.011 * [taylor]: Taking taylor expansion of y in x
6.012 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
6.012 * [taylor]: Taking taylor expansion of 9.0 in x
6.012 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
6.012 * [taylor]: Taking taylor expansion of (* t z) in x
6.012 * [taylor]: Taking taylor expansion of t in x
6.012 * [taylor]: Taking taylor expansion of z in x
6.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.012 * [taylor]: Taking taylor expansion of y in y
6.012 * [taylor]: Taking taylor expansion of 1 in z
6.013 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
6.013 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
6.013 * [taylor]: Taking taylor expansion of 9.0 in y
6.013 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
6.013 * [taylor]: Taking taylor expansion of (* t z) in y
6.013 * [taylor]: Taking taylor expansion of t in y
6.013 * [taylor]: Taking taylor expansion of z in y
6.013 * [taylor]: Taking taylor expansion of 0 in z
6.013 * [taylor]: Taking taylor expansion of 1 in t
6.015 * [taylor]: Taking taylor expansion of 0 in y
6.015 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
6.015 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
6.015 * [taylor]: Taking taylor expansion of 9.0 in z
6.015 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
6.015 * [taylor]: Taking taylor expansion of (* t z) in z
6.015 * [taylor]: Taking taylor expansion of t in z
6.015 * [taylor]: Taking taylor expansion of z in z
6.016 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
6.016 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
6.016 * [taylor]: Taking taylor expansion of 9.0 in t
6.016 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.016 * [taylor]: Taking taylor expansion of t in t
6.017 * [taylor]: Taking taylor expansion of 0 in z
6.017 * [taylor]: Taking taylor expansion of 0 in t
6.017 * [taylor]: Taking taylor expansion of 0 in t
6.020 * [taylor]: Taking taylor expansion of 0 in y
6.020 * [taylor]: Taking taylor expansion of 0 in z
6.021 * [taylor]: Taking taylor expansion of 0 in z
6.021 * [taylor]: Taking taylor expansion of 0 in z
6.022 * [taylor]: Taking taylor expansion of 0 in t
6.022 * [taylor]: Taking taylor expansion of 0 in t
6.022 * [taylor]: Taking taylor expansion of 0 in t
6.022 * [taylor]: Taking taylor expansion of 0 in t
6.027 * [taylor]: Taking taylor expansion of 0 in y
6.027 * [taylor]: Taking taylor expansion of 0 in z
6.027 * [taylor]: Taking taylor expansion of 0 in z
6.028 * [taylor]: Taking taylor expansion of 0 in z
6.029 * [taylor]: Taking taylor expansion of 0 in z
6.029 * [taylor]: Taking taylor expansion of 0 in t
6.029 * [taylor]: Taking taylor expansion of 0 in t
6.029 * [taylor]: Taking taylor expansion of 0 in t
6.030 * [taylor]: Taking taylor expansion of 0 in t
6.030 * [taylor]: Taking taylor expansion of 0 in t
6.030 * [taylor]: Taking taylor expansion of 0 in t
6.030 * [taylor]: Taking taylor expansion of 0 in t
6.031 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0
6.031 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t
6.031 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
6.031 * [taylor]: Taking taylor expansion of (* x y) in t
6.031 * [taylor]: Taking taylor expansion of x in t
6.031 * [taylor]: Taking taylor expansion of y in t
6.031 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t
6.031 * [taylor]: Taking taylor expansion of 9.0 in t
6.031 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
6.031 * [taylor]: Taking taylor expansion of (* t z) in t
6.031 * [taylor]: Taking taylor expansion of t in t
6.031 * [taylor]: Taking taylor expansion of z in t
6.032 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z
6.032 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
6.032 * [taylor]: Taking taylor expansion of (* x y) in z
6.032 * [taylor]: Taking taylor expansion of x in z
6.032 * [taylor]: Taking taylor expansion of y in z
6.032 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
6.032 * [taylor]: Taking taylor expansion of 9.0 in z
6.032 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
6.032 * [taylor]: Taking taylor expansion of (* t z) in z
6.032 * [taylor]: Taking taylor expansion of t in z
6.032 * [taylor]: Taking taylor expansion of z in z
6.032 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y
6.032 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.032 * [taylor]: Taking taylor expansion of (* x y) in y
6.032 * [taylor]: Taking taylor expansion of x in y
6.032 * [taylor]: Taking taylor expansion of y in y
6.033 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
6.033 * [taylor]: Taking taylor expansion of 9.0 in y
6.033 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
6.033 * [taylor]: Taking taylor expansion of (* t z) in y
6.033 * [taylor]: Taking taylor expansion of t in y
6.033 * [taylor]: Taking taylor expansion of z in y
6.033 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
6.033 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.033 * [taylor]: Taking taylor expansion of (* x y) in x
6.033 * [taylor]: Taking taylor expansion of x in x
6.033 * [taylor]: Taking taylor expansion of y in x
6.033 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
6.033 * [taylor]: Taking taylor expansion of 9.0 in x
6.033 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
6.033 * [taylor]: Taking taylor expansion of (* t z) in x
6.033 * [taylor]: Taking taylor expansion of t in x
6.033 * [taylor]: Taking taylor expansion of z in x
6.033 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x
6.033 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.033 * [taylor]: Taking taylor expansion of (* x y) in x
6.033 * [taylor]: Taking taylor expansion of x in x
6.033 * [taylor]: Taking taylor expansion of y in x
6.034 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x
6.034 * [taylor]: Taking taylor expansion of 9.0 in x
6.034 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
6.034 * [taylor]: Taking taylor expansion of (* t z) in x
6.034 * [taylor]: Taking taylor expansion of t in x
6.034 * [taylor]: Taking taylor expansion of z in x
6.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.034 * [taylor]: Taking taylor expansion of y in y
6.034 * [taylor]: Taking taylor expansion of 1 in z
6.035 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in y
6.035 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y
6.035 * [taylor]: Taking taylor expansion of 9.0 in y
6.035 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
6.035 * [taylor]: Taking taylor expansion of (* t z) in y
6.035 * [taylor]: Taking taylor expansion of t in y
6.035 * [taylor]: Taking taylor expansion of z in y
6.036 * [taylor]: Taking taylor expansion of 0 in z
6.036 * [taylor]: Taking taylor expansion of 1 in t
6.037 * [taylor]: Taking taylor expansion of 0 in y
6.037 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
6.038 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
6.038 * [taylor]: Taking taylor expansion of 9.0 in z
6.038 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
6.038 * [taylor]: Taking taylor expansion of (* t z) in z
6.038 * [taylor]: Taking taylor expansion of t in z
6.038 * [taylor]: Taking taylor expansion of z in z
6.038 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
6.038 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
6.038 * [taylor]: Taking taylor expansion of 9.0 in t
6.038 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.038 * [taylor]: Taking taylor expansion of t in t
6.040 * [taylor]: Taking taylor expansion of 0 in z
6.040 * [taylor]: Taking taylor expansion of 0 in t
6.040 * [taylor]: Taking taylor expansion of 0 in t
6.045 * [taylor]: Taking taylor expansion of 0 in y
6.045 * [taylor]: Taking taylor expansion of 0 in z
6.046 * [taylor]: Taking taylor expansion of 0 in z
6.046 * [taylor]: Taking taylor expansion of 0 in z
6.047 * [taylor]: Taking taylor expansion of 0 in t
6.048 * [taylor]: Taking taylor expansion of 0 in t
6.048 * [taylor]: Taking taylor expansion of 0 in t
6.048 * [taylor]: Taking taylor expansion of 0 in t
6.052 * [taylor]: Taking taylor expansion of 0 in y
6.052 * [taylor]: Taking taylor expansion of 0 in z
6.052 * [taylor]: Taking taylor expansion of 0 in z
6.053 * [taylor]: Taking taylor expansion of 0 in z
6.054 * [taylor]: Taking taylor expansion of 0 in z
6.054 * [taylor]: Taking taylor expansion of 0 in t
6.054 * [taylor]: Taking taylor expansion of 0 in t
6.054 * [taylor]: Taking taylor expansion of 0 in t
6.055 * [taylor]: Taking taylor expansion of 0 in t
6.056 * [taylor]: Taking taylor expansion of 0 in t
6.056 * [taylor]: Taking taylor expansion of 0 in t
6.056 * [taylor]: Taking taylor expansion of 0 in t
6.056 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
6.057 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
6.057 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
6.057 * [taylor]: Taking taylor expansion of 9.0 in t
6.057 * [taylor]: Taking taylor expansion of (* t z) in t
6.057 * [taylor]: Taking taylor expansion of t in t
6.057 * [taylor]: Taking taylor expansion of z in t
6.057 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
6.057 * [taylor]: Taking taylor expansion of 9.0 in z
6.057 * [taylor]: Taking taylor expansion of (* t z) in z
6.057 * [taylor]: Taking taylor expansion of t in z
6.057 * [taylor]: Taking taylor expansion of z in z
6.057 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
6.057 * [taylor]: Taking taylor expansion of 9.0 in z
6.057 * [taylor]: Taking taylor expansion of (* t z) in z
6.057 * [taylor]: Taking taylor expansion of t in z
6.057 * [taylor]: Taking taylor expansion of z in z
6.057 * [taylor]: Taking taylor expansion of 0 in t
6.058 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
6.058 * [taylor]: Taking taylor expansion of 9.0 in t
6.058 * [taylor]: Taking taylor expansion of t in t
6.059 * [taylor]: Taking taylor expansion of 0 in t
6.061 * [taylor]: Taking taylor expansion of 0 in t
6.063 * [taylor]: Taking taylor expansion of 0 in t
6.063 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
6.063 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
6.063 * [taylor]: Taking taylor expansion of 9.0 in t
6.063 * [taylor]: Taking taylor expansion of (* t z) in t
6.063 * [taylor]: Taking taylor expansion of t in t
6.063 * [taylor]: Taking taylor expansion of z in t
6.064 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
6.064 * [taylor]: Taking taylor expansion of 9.0 in z
6.064 * [taylor]: Taking taylor expansion of (* t z) in z
6.064 * [taylor]: Taking taylor expansion of t in z
6.064 * [taylor]: Taking taylor expansion of z in z
6.064 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
6.064 * [taylor]: Taking taylor expansion of 9.0 in z
6.064 * [taylor]: Taking taylor expansion of (* t z) in z
6.064 * [taylor]: Taking taylor expansion of t in z
6.064 * [taylor]: Taking taylor expansion of z in z
6.065 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
6.065 * [taylor]: Taking taylor expansion of 9.0 in t
6.065 * [taylor]: Taking taylor expansion of t in t
6.065 * [taylor]: Taking taylor expansion of 0 in t
6.066 * [taylor]: Taking taylor expansion of 0 in t
6.068 * [taylor]: Taking taylor expansion of 0 in t
6.068 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
6.068 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
6.068 * [taylor]: Taking taylor expansion of 9.0 in t
6.068 * [taylor]: Taking taylor expansion of (* t z) in t
6.068 * [taylor]: Taking taylor expansion of t in t
6.068 * [taylor]: Taking taylor expansion of z in t
6.069 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
6.069 * [taylor]: Taking taylor expansion of 9.0 in z
6.069 * [taylor]: Taking taylor expansion of (* t z) in z
6.069 * [taylor]: Taking taylor expansion of t in z
6.069 * [taylor]: Taking taylor expansion of z in z
6.069 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
6.069 * [taylor]: Taking taylor expansion of 9.0 in z
6.069 * [taylor]: Taking taylor expansion of (* t z) in z
6.069 * [taylor]: Taking taylor expansion of t in z
6.069 * [taylor]: Taking taylor expansion of z in z
6.070 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
6.070 * [taylor]: Taking taylor expansion of 9.0 in t
6.070 * [taylor]: Taking taylor expansion of t in t
6.070 * [taylor]: Taking taylor expansion of 0 in t
6.071 * [taylor]: Taking taylor expansion of 0 in t
6.073 * [taylor]: Taking taylor expansion of 0 in t
6.073 * * * [progress]: simplifying candidates
6.075 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0)))
  (+ (log (- (* x y) (* (* z 9.0) t))) (- (+ (log a) (log 2.0))))
  (+ (log (- (* x y) (* (* z 9.0) t))) (- (log (* a 2.0))))
  (+ (log (- (* x y) (* (* z 9.0) t))) (- 0 (+ (log a) (log 2.0))))
  (+ (log (- (* x y) (* (* z 9.0) t))) (- 0 (log (* a 2.0))))
  (+ (log (- (* x y) (* (* z 9.0) t))) (- (log 1) (+ (log a) (log 2.0))))
  (+ (log (- (* x y) (* (* z 9.0) t))) (- (log 1) (log (* a 2.0))))
  (+ (log (- (* x y) (* (* z 9.0) t))) (log (/ 1 (* a 2.0))))
  (log (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0))))
  (exp (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0))))
  (* (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t))) (/ (* (* 1 1) 1) (* (* (* a a) a) (* (* 2.0 2.0) 2.0))))
  (* (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t))) (/ (* (* 1 1) 1) (* (* (* a 2.0) (* a 2.0)) (* a 2.0))))
  (* (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t))) (* (* (/ 1 (* a 2.0)) (/ 1 (* a 2.0))) (/ 1 (* a 2.0))))
  (* (cbrt (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0)))) (cbrt (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0)))))
  (cbrt (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0))))
  (* (* (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0))) (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0)))) (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0))))
  (sqrt (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0))))
  (sqrt (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0))))
  (* (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3)) 1)
  (* (+ (* (* x y) (* x y)) (+ (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* x y) (* (* z 9.0) t)))) (* a 2.0))
  (* (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) 1)
  (* (+ (* x y) (* (* z 9.0) t)) (* a 2.0))
  (* (sqrt (- (* x y) (* (* z 9.0) t))) (sqrt (/ 1 (* a 2.0))))
  (* (sqrt (- (* x y) (* (* z 9.0) t))) (sqrt (/ 1 (* a 2.0))))
  (* (- (* x y) (* (* z 9.0) t)) (* (cbrt (/ 1 (* a 2.0))) (cbrt (/ 1 (* a 2.0)))))
  (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0))))
  (* (- (* x y) (* (* z 9.0) t)) (/ (* (cbrt 1) (cbrt 1)) a))
  (* (- (* x y) (* (* z 9.0) t)) (/ (sqrt 1) a))
  (* (- (* x y) (* (* z 9.0) t)) (/ 1 a))
  (* (- (* x y) (* (* z 9.0) t)) 1)
  (* (- (* x y) (* (* z 9.0) t)) 1)
  (* (cbrt (- (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0)))
  (* (sqrt (- (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0)))
  (* (- (* x y) (* (* z 9.0) t)) (/ 1 (* a 2.0)))
  (* (- (* x y) (* (* z 9.0) t)) 1)
  (* (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3)) (/ 1 (* a 2.0)))
  (* (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (/ 1 (* a 2.0)))
  (/ (exp (* x y)) (exp (* (* z 9.0) t)))
  (log (- (* x y) (* (* z 9.0) t)))
  (exp (- (* x y) (* (* z 9.0) t)))
  (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t))))
  (cbrt (- (* x y) (* (* z 9.0) t)))
  (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t)))
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3))
  (+ (* (* x y) (* x y)) (+ (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* x y) (* (* z 9.0) t))))
  (- (* (* z 9.0) t))
  (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t)))
  (+ (* x y) (* (* z 9.0) t))
  (- (* (* z 9.0) t))
  (* (* z 9.0) t)
  (* (* z 9.0) t)
  (+ (+ (log z) (log 9.0)) (log t))
  (+ (log (* z 9.0)) (log t))
  (log (* (* z 9.0) t))
  (exp (* (* z 9.0) t))
  (* (* (* (* z z) z) (* (* 9.0 9.0) 9.0)) (* (* t t) t))
  (* (* (* (* z 9.0) (* z 9.0)) (* z 9.0)) (* (* t t) t))
  (* (cbrt (* (* z 9.0) t)) (cbrt (* (* z 9.0) t)))
  (cbrt (* (* z 9.0) t))
  (* (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* z 9.0) t))
  (sqrt (* (* z 9.0) t))
  (sqrt (* (* z 9.0) t))
  (* (* z 9.0) (* (cbrt t) (cbrt t)))
  (* (* z 9.0) (sqrt t))
  (* (* z 9.0) 1)
  (* 9.0 t)
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
6.078 * * [simplify]: iteration  0 :  144  enodes  (cost  1147 )
6.111 * * [simplify]: iteration  1 :  387  enodes  (cost  1038 )
6.264 * * [simplify]: iteration  2 :  1425  enodes  (cost  882 )
6.992 * * [simplify]: iteration  done :  5000  enodes  (cost  882 )
6.993 * [simplify]: Simplified to:
   (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (exp (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (pow (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 3)
  (pow (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 3)
  (pow (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 3)
  (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))))
  (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (pow (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 3)
  (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))
  (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3))
  (* (* a 2.0) (+ (* (* x y) (* x y)) (* (* (* z 9.0) t) (+ (* x y) (* (* z 9.0) t)))))
  (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t)))
  (* (+ (* x y) (* (* z 9.0) t)) (* a 2.0))
  (* (sqrt (- (* x y) (* (* z 9.0) t))) (sqrt (/ 1 (* a 2.0))))
  (* (sqrt (- (* x y) (* (* z 9.0) t))) (sqrt (/ 1 (* a 2.0))))
  (* (- (* x y) (* (* z 9.0) t)) (* (cbrt (/ 1 (* a 2.0))) (cbrt (/ 1 (* a 2.0)))))
  (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0))))
  (/ (- (* x y) (* (* z 9.0) t)) a)
  (/ (- (* x y) (* (* z 9.0) t)) a)
  (/ (- (* x y) (* (* z 9.0) t)) a)
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (/ (cbrt (- (* x y) (* (* z 9.0) t))) (* a 2.0))
  (/ (sqrt (- (* x y) (* (* z 9.0) t))) (* a 2.0))
  (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))
  (- (* x y) (* 9.0 (* t z)))
  (/ (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3)) (* a 2.0))
  (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0))
  (exp (- (* x y) (* (* z 9.0) t)))
  (log (- (* x y) (* (* z 9.0) t)))
  (exp (- (* x y) (* (* z 9.0) t)))
  (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t))))
  (cbrt (- (* x y) (* (* z 9.0) t)))
  (pow (- (* x y) (* (* z 9.0) t)) 3)
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (sqrt (- (* x y) (* (* z 9.0) t)))
  (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3))
  (+ (* (* x y) (* x y)) (* (* (* z 9.0) t) (+ (* x y) (* (* z 9.0) t))))
  (* 9.0 (- (* t z)))
  (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t)))
  (+ (* x y) (* (* z 9.0) t))
  (* 9.0 (- (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (log (* (* z 9.0) t))
  (log (* (* z 9.0) t))
  (log (* (* z 9.0) t))
  (exp (* (* z 9.0) t))
  (pow (* (* z 9.0) t) 3)
  (pow (* (* z 9.0) t) 3)
  (* (cbrt (* (* z 9.0) t)) (cbrt (* (* z 9.0) t)))
  (cbrt (* (* z 9.0) t))
  (pow (* (* z 9.0) t) 3)
  (sqrt (* (* z 9.0) t))
  (sqrt (* (* z 9.0) t))
  (* (* z 9.0) (* (cbrt t) (cbrt t)))
  (* (* z 9.0) (sqrt t))
  (* z 9.0)
  (* 9.0 t)
  (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
  0
  0
  0
  (- (* x y) (* 9.0 (* t z)))
  (- (* x y) (* 9.0 (* t z)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
6.993 * * * [progress]: adding candidates to table
7.149 * [progress]: [Phase 3 of 3] Extracting.
7.149 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.153 * * * [regime-changes]: Trying 11 branch expressions: ((* a 2.0) (* z 9.0) (* (* z 9.0) t) (* x y) (- (* x y) (* (* z 9.0) t)) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) a t z y x)
7.153 * * * * [regimes]: Trying to branch on (* a 2.0) from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.199 * * * * [regimes]: Trying to branch on (* z 9.0) from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.242 * * * * [regimes]: Trying to branch on (* z 9.0) from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) 0)>)
7.274 * * * * [regimes]: Trying to branch on (* (* z 9.0) t) from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.316 * * * * [regimes]: Trying to branch on (* (* z 9.0) t) from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) 0)>)
7.347 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.388 * * * * [regimes]: Trying to branch on (- (* x y) (* (* z 9.0) t)) from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.431 * * * * [regimes]: Trying to branch on (- (* x y) (* (* z 9.0) t)) from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) 0)>)
7.455 * * * * [regimes]: Trying to branch on (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.497 * * * * [regimes]: Trying to branch on (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) 0)>)
7.514 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.555 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.596 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.638 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.681 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (* (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))))> #<alt (λ (x y z t a) (* (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (* (* (- (* x y) (* (* z 9.0) t)) (sqrt (/ 1 (* a 2.0)))) (sqrt (/ 1 (* a 2.0)))))> #<alt (λ (x y z t a) (/ (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (* a 2.0)) (+ (* x y) (* (* z 9.0) t))))> #<alt (λ (x y z t a) (* (/ (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t))) (/ 1 (* a 2.0))))> #<alt (λ (x y z t a) (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0)))> #<alt (λ (x y z t a) (* (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0)))> #<alt (λ (x y z t a) (/ 1 (/ (* a 2.0) (- (* x y) (* z (* 9.0 t))))))> #<alt (λ (x y z t a) (* (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))))> #<alt (λ (x y z t a) (cbrt (pow (/ (- (* x y) (* 9.0 (* t z))) (* a 2.0)) 3)))> #<alt (λ (x y z t a) 0)>)
7.722 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
7.723 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0))
7.723 * * [simplify]: iteration  0 :  14  enodes  (cost  14 )
7.723 * * [simplify]: iteration  1 :  23  enodes  (cost  14 )
7.724 * * [simplify]: iteration  2 :  31  enodes  (cost  14 )
7.725 * * [simplify]: iteration  done :  31  enodes  (cost  14 )
7.726 * [simplify]: Simplified to:
   (/ (+ (* x y) (- (* 9.0 (* t z)))) (* a 2.0))
8.794 * [regime-testing]: Baseline error score: 7.954209147367039
8.794 * [regime-testing]: Oracle error score: 7.5877574397722904
8.795 * [regime-testing]: End program error score: 7.954209147367039
8.828 * [regime-testing]: Target error score: 5.878219068255038