31.460 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.534 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.538 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.538 * * * * [points]: Setting MPFR precision to 64
0.538 * * * * [points]: Setting MPFR precision to 320
0.539 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.539 * * * * [points]: Setting MPFR precision to 64
0.539 * * * * [points]: Setting MPFR precision to 320
0.540 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.540 * * * * [points]: Setting MPFR precision to 64
0.541 * * * * [points]: Setting MPFR precision to 320
0.542 * * * * [points]: Setting MPFR precision to 576
0.543 * * * * [points]: Setting MPFR precision to 832
0.544 * * * * [points]: Setting MPFR precision to 1088
0.545 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.545 * * * * [points]: Setting MPFR precision to 832
0.547 * * * * [points]: Setting MPFR precision to 1088
0.549 * * * * [points]: Setting MPFR precision to 1344
0.550 * * * * [points]: Computing exacts for 256 points
0.550 * * * * [points]: Setting MPFR precision to 1088
0.555 * * * * [points]: Setting MPFR precision to 1344
0.560 * * * * [points]: Setting MPFR precision to 1600
0.565 * * * * [points]: Setting MPFR precision to 1856
0.570 * * * * [points]: Filtering points with unrepresentable outputs
0.570 * * * * [points]: Sampling 44 additional inputs, on iter 1 have 212 / 256
0.571 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
0.571 * * * * [points]: Setting MPFR precision to 1600
0.571 * * * * [points]: Setting MPFR precision to 1856
0.572 * * * * [points]: Computing exacts for 44 points
0.572 * * * * [points]: Setting MPFR precision to 1600
0.573 * * * * [points]: Setting MPFR precision to 1856
0.573 * * * * [points]: Setting MPFR precision to 2112
0.574 * * * * [points]: Setting MPFR precision to 2368
0.575 * * * * [points]: Filtering points with unrepresentable outputs
0.575 * * * * [points]: Sampling 13 additional inputs, on iter 2 have 243 / 256
0.576 * * * * [points]: Computing exacts for 13 points
0.576 * * * * [points]: Setting MPFR precision to 2112
0.576 * * * * [points]: Setting MPFR precision to 2368
0.576 * * * * [points]: Filtering points with unrepresentable outputs
0.576 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 252 / 256
0.576 * * * * [points]: Computing exacts for 4 points
0.576 * * * * [points]: Setting MPFR precision to 2112
0.576 * * * * [points]: Setting MPFR precision to 2368
0.577 * * * * [points]: Filtering points with unrepresentable outputs
0.577 * * * * [points]: Sampling 4 additional inputs, on iter 4 have 255 / 256
0.577 * * * * [points]: Computing exacts for 4 points
0.577 * * * * [points]: Setting MPFR precision to 2112
0.577 * * * * [points]: Setting MPFR precision to 2368
0.577 * * * * [points]: Filtering points with unrepresentable outputs
0.577 * * * * [points]: Sampled 259 points with exact outputs
0.596 * * * [progress]: [2/2] Setting up program.
0.599 * [progress]: [Phase 2 of 3] Improving.
0.599 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (- (* x y) (* y y)) (* y y)) (* y z))
0.721 * * [simplify]: iteration  0 :  5583  enodes  (cost  5 )
0.722 * [simplify]: Simplified to:
   (* y (- x z))
0.726 * * [progress]: iteration 1 / 4
0.726 * * * [progress]: picking best candidate
0.731 * * * * [pick]: Picked  #<alt (λ (x y z) (* y (- x z)))>
0.731 * * * [progress]: localizing error
0.735 * * * [progress]: generating rewritten candidates
0.735 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.742 * * * [progress]: generating series expansions
0.742 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.742 * [approximate]: Taking taylor expansion of (* y (- x z)) in (y x z) around 0
0.742 * [taylor]: Taking taylor expansion of (* y (- x z)) in z
0.742 * [taylor]: Taking taylor expansion of y in z
0.742 * [taylor]: Taking taylor expansion of (- x z) in z
0.742 * [taylor]: Taking taylor expansion of x in z
0.742 * [taylor]: Taking taylor expansion of z in z
0.742 * [taylor]: Taking taylor expansion of (* y (- x z)) in x
0.742 * [taylor]: Taking taylor expansion of y in x
0.742 * [taylor]: Taking taylor expansion of (- x z) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of z in x
0.742 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
0.742 * [taylor]: Taking taylor expansion of y in y
0.742 * [taylor]: Taking taylor expansion of (- x z) in y
0.742 * [taylor]: Taking taylor expansion of x in y
0.742 * [taylor]: Taking taylor expansion of z in y
0.742 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
0.742 * [taylor]: Taking taylor expansion of y in y
0.742 * [taylor]: Taking taylor expansion of (- x z) in y
0.742 * [taylor]: Taking taylor expansion of x in y
0.742 * [taylor]: Taking taylor expansion of z in y
0.742 * [taylor]: Taking taylor expansion of 0 in x
0.742 * [taylor]: Taking taylor expansion of 0 in z
0.742 * [taylor]: Taking taylor expansion of (- x z) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of z in x
0.742 * [taylor]: Taking taylor expansion of (neg z) in z
0.742 * [taylor]: Taking taylor expansion of z in z
0.742 * [taylor]: Taking taylor expansion of 0 in z
0.743 * [taylor]: Taking taylor expansion of 0 in x
0.743 * [taylor]: Taking taylor expansion of 0 in z
0.743 * [taylor]: Taking taylor expansion of 1 in z
0.743 * [taylor]: Taking taylor expansion of 0 in z
0.743 * [taylor]: Taking taylor expansion of 0 in x
0.743 * [taylor]: Taking taylor expansion of 0 in z
0.743 * [taylor]: Taking taylor expansion of 0 in z
0.743 * [taylor]: Taking taylor expansion of 0 in z
0.743 * [taylor]: Taking taylor expansion of 0 in z
0.743 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0
0.743 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
0.743 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.743 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.743 * [taylor]: Taking taylor expansion of x in z
0.743 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.743 * [taylor]: Taking taylor expansion of z in z
0.743 * [taylor]: Taking taylor expansion of y in z
0.743 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
0.743 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.743 * [taylor]: Taking taylor expansion of z in x
0.744 * [taylor]: Taking taylor expansion of y in x
0.744 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
0.744 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.744 * [taylor]: Taking taylor expansion of x in y
0.744 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.744 * [taylor]: Taking taylor expansion of z in y
0.744 * [taylor]: Taking taylor expansion of y in y
0.744 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
0.744 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.744 * [taylor]: Taking taylor expansion of x in y
0.744 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.744 * [taylor]: Taking taylor expansion of z in y
0.744 * [taylor]: Taking taylor expansion of y in y
0.744 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.744 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.744 * [taylor]: Taking taylor expansion of z in x
0.744 * [taylor]: Taking taylor expansion of 1 in z
0.744 * [taylor]: Taking taylor expansion of 0 in x
0.745 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.745 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.745 * [taylor]: Taking taylor expansion of z in z
0.745 * [taylor]: Taking taylor expansion of 0 in x
0.745 * [taylor]: Taking taylor expansion of 0 in z
0.745 * [taylor]: Taking taylor expansion of 0 in z
0.745 * [taylor]: Taking taylor expansion of 0 in x
0.745 * [taylor]: Taking taylor expansion of 0 in z
0.745 * [taylor]: Taking taylor expansion of 0 in z
0.745 * [taylor]: Taking taylor expansion of 0 in z
0.746 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0
0.746 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
0.746 * [taylor]: Taking taylor expansion of -1 in z
0.746 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
0.746 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.746 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.746 * [taylor]: Taking taylor expansion of z in z
0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.746 * [taylor]: Taking taylor expansion of x in z
0.746 * [taylor]: Taking taylor expansion of y in z
0.746 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
0.746 * [taylor]: Taking taylor expansion of -1 in x
0.746 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
0.746 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.746 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.746 * [taylor]: Taking taylor expansion of z in x
0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.746 * [taylor]: Taking taylor expansion of y in x
0.746 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
0.746 * [taylor]: Taking taylor expansion of -1 in y
0.746 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
0.746 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.746 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.746 * [taylor]: Taking taylor expansion of z in y
0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.746 * [taylor]: Taking taylor expansion of x in y
0.746 * [taylor]: Taking taylor expansion of y in y
0.746 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
0.746 * [taylor]: Taking taylor expansion of -1 in y
0.747 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
0.747 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.747 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.747 * [taylor]: Taking taylor expansion of z in y
0.747 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.747 * [taylor]: Taking taylor expansion of x in y
0.747 * [taylor]: Taking taylor expansion of y in y
0.747 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x
0.747 * [taylor]: Taking taylor expansion of -1 in x
0.747 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.747 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.747 * [taylor]: Taking taylor expansion of z in x
0.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.747 * [taylor]: Taking taylor expansion of x in x
0.747 * [taylor]: Taking taylor expansion of 1 in z
0.747 * [taylor]: Taking taylor expansion of 0 in x
0.747 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.747 * [taylor]: Taking taylor expansion of z in z
0.748 * [taylor]: Taking taylor expansion of 0 in x
0.748 * [taylor]: Taking taylor expansion of 0 in z
0.748 * [taylor]: Taking taylor expansion of 0 in z
0.748 * [taylor]: Taking taylor expansion of 0 in x
0.748 * [taylor]: Taking taylor expansion of 0 in z
0.748 * [taylor]: Taking taylor expansion of 0 in z
0.748 * [taylor]: Taking taylor expansion of 0 in z
0.749 * * * [progress]: simplifying candidates
0.749 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (- x z))
  (+ (log y) (log (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (* (* y y) y) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (* (* (* y (- x z)) (* y (- x z))) (* y (- x z)))
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y x)
  (* y (neg z))
  (* x y)
  (* (neg z) y)
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  (* y 1)
  (* y (+ (sqrt x) (sqrt z)))
  (* y 1)
  (* (cbrt y) (- x z))
  (* (sqrt y) (- x z))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* y (- (* x x) (* z z)))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
0.810 * * [simplify]: iteration  0 :  4952  enodes  (cost  172 )
0.811 * * [simplify]: iteration  1 :  4952  enodes  (cost  172 )
0.812 * [simplify]: Simplified to:
   (* y (- x z))
  (log (* y (- x z)))
  (log (* y (- x z)))
  (pow (exp y) (- x z))
  (pow (* y (- x z)) 3)
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* y (- x z)) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y x)
  (* y (neg z))
  (* y x)
  (* y (neg z))
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  y
  (* y (+ (sqrt x) (sqrt z)))
  y
  (* (- x z) (cbrt y))
  (* (- x z) (sqrt y))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* y (- (* x x) (* z z)))
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
0.812 * * * [progress]: adding candidates to table
0.837 * * [progress]: iteration 2 / 4
0.837 * * * [progress]: picking best candidate
0.840 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* y x) (* y (neg z))))>
0.840 * * * [progress]: localizing error
0.846 * * * [progress]: generating rewritten candidates
0.846 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.850 * * * [progress]: generating series expansions
0.850 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.850 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (y x z) around 0
0.850 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z
0.850 * [taylor]: Taking taylor expansion of (* x y) in z
0.850 * [taylor]: Taking taylor expansion of x in z
0.850 * [taylor]: Taking taylor expansion of y in z
0.850 * [taylor]: Taking taylor expansion of (* z y) in z
0.850 * [taylor]: Taking taylor expansion of z in z
0.850 * [taylor]: Taking taylor expansion of y in z
0.850 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
0.850 * [taylor]: Taking taylor expansion of (* x y) in x
0.850 * [taylor]: Taking taylor expansion of x in x
0.850 * [taylor]: Taking taylor expansion of y in x
0.850 * [taylor]: Taking taylor expansion of (* z y) in x
0.850 * [taylor]: Taking taylor expansion of z in x
0.850 * [taylor]: Taking taylor expansion of y in x
0.850 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
0.850 * [taylor]: Taking taylor expansion of (* x y) in y
0.850 * [taylor]: Taking taylor expansion of x in y
0.850 * [taylor]: Taking taylor expansion of y in y
0.850 * [taylor]: Taking taylor expansion of (* z y) in y
0.850 * [taylor]: Taking taylor expansion of z in y
0.850 * [taylor]: Taking taylor expansion of y in y
0.850 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
0.850 * [taylor]: Taking taylor expansion of (* x y) in y
0.850 * [taylor]: Taking taylor expansion of x in y
0.850 * [taylor]: Taking taylor expansion of y in y
0.850 * [taylor]: Taking taylor expansion of (* z y) in y
0.850 * [taylor]: Taking taylor expansion of z in y
0.851 * [taylor]: Taking taylor expansion of y in y
0.851 * [taylor]: Taking taylor expansion of 0 in x
0.851 * [taylor]: Taking taylor expansion of 0 in z
0.851 * [taylor]: Taking taylor expansion of (- x z) in x
0.851 * [taylor]: Taking taylor expansion of x in x
0.851 * [taylor]: Taking taylor expansion of z in x
0.851 * [taylor]: Taking taylor expansion of (neg z) in z
0.851 * [taylor]: Taking taylor expansion of z in z
0.851 * [taylor]: Taking taylor expansion of 0 in z
0.851 * [taylor]: Taking taylor expansion of 0 in x
0.851 * [taylor]: Taking taylor expansion of 0 in z
0.851 * [taylor]: Taking taylor expansion of 1 in z
0.851 * [taylor]: Taking taylor expansion of 0 in z
0.851 * [taylor]: Taking taylor expansion of 0 in x
0.851 * [taylor]: Taking taylor expansion of 0 in z
0.851 * [taylor]: Taking taylor expansion of 0 in z
0.851 * [taylor]: Taking taylor expansion of 0 in z
0.851 * [taylor]: Taking taylor expansion of 0 in z
0.852 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (y x z) around 0
0.852 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
0.852 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.852 * [taylor]: Taking taylor expansion of (* x y) in z
0.852 * [taylor]: Taking taylor expansion of x in z
0.852 * [taylor]: Taking taylor expansion of y in z
0.852 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.852 * [taylor]: Taking taylor expansion of (* z y) in z
0.852 * [taylor]: Taking taylor expansion of z in z
0.852 * [taylor]: Taking taylor expansion of y in z
0.852 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
0.852 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.852 * [taylor]: Taking taylor expansion of (* x y) in x
0.852 * [taylor]: Taking taylor expansion of x in x
0.852 * [taylor]: Taking taylor expansion of y in x
0.852 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.852 * [taylor]: Taking taylor expansion of (* z y) in x
0.852 * [taylor]: Taking taylor expansion of z in x
0.852 * [taylor]: Taking taylor expansion of y in x
0.852 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
0.852 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.852 * [taylor]: Taking taylor expansion of (* x y) in y
0.852 * [taylor]: Taking taylor expansion of x in y
0.852 * [taylor]: Taking taylor expansion of y in y
0.852 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.852 * [taylor]: Taking taylor expansion of (* z y) in y
0.852 * [taylor]: Taking taylor expansion of z in y
0.852 * [taylor]: Taking taylor expansion of y in y
0.852 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
0.852 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.852 * [taylor]: Taking taylor expansion of (* x y) in y
0.852 * [taylor]: Taking taylor expansion of x in y
0.852 * [taylor]: Taking taylor expansion of y in y
0.852 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.852 * [taylor]: Taking taylor expansion of (* z y) in y
0.852 * [taylor]: Taking taylor expansion of z in y
0.852 * [taylor]: Taking taylor expansion of y in y
0.853 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.853 * [taylor]: Taking taylor expansion of z in x
0.853 * [taylor]: Taking taylor expansion of 1 in z
0.853 * [taylor]: Taking taylor expansion of 0 in x
0.853 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.853 * [taylor]: Taking taylor expansion of z in z
0.853 * [taylor]: Taking taylor expansion of 0 in x
0.853 * [taylor]: Taking taylor expansion of 0 in z
0.853 * [taylor]: Taking taylor expansion of 0 in z
0.854 * [taylor]: Taking taylor expansion of 0 in x
0.854 * [taylor]: Taking taylor expansion of 0 in z
0.854 * [taylor]: Taking taylor expansion of 0 in z
0.854 * [taylor]: Taking taylor expansion of 0 in z
0.854 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (y x z) around 0
0.854 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
0.854 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.854 * [taylor]: Taking taylor expansion of (* x y) in z
0.854 * [taylor]: Taking taylor expansion of x in z
0.854 * [taylor]: Taking taylor expansion of y in z
0.854 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.854 * [taylor]: Taking taylor expansion of (* z y) in z
0.854 * [taylor]: Taking taylor expansion of z in z
0.854 * [taylor]: Taking taylor expansion of y in z
0.855 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
0.855 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.855 * [taylor]: Taking taylor expansion of (* x y) in x
0.855 * [taylor]: Taking taylor expansion of x in x
0.855 * [taylor]: Taking taylor expansion of y in x
0.855 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.855 * [taylor]: Taking taylor expansion of (* z y) in x
0.855 * [taylor]: Taking taylor expansion of z in x
0.855 * [taylor]: Taking taylor expansion of y in x
0.855 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
0.855 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.855 * [taylor]: Taking taylor expansion of (* x y) in y
0.855 * [taylor]: Taking taylor expansion of x in y
0.855 * [taylor]: Taking taylor expansion of y in y
0.855 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.855 * [taylor]: Taking taylor expansion of (* z y) in y
0.855 * [taylor]: Taking taylor expansion of z in y
0.855 * [taylor]: Taking taylor expansion of y in y
0.855 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
0.855 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.855 * [taylor]: Taking taylor expansion of (* x y) in y
0.855 * [taylor]: Taking taylor expansion of x in y
0.855 * [taylor]: Taking taylor expansion of y in y
0.855 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.855 * [taylor]: Taking taylor expansion of (* z y) in y
0.855 * [taylor]: Taking taylor expansion of z in y
0.855 * [taylor]: Taking taylor expansion of y in y
0.855 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.855 * [taylor]: Taking taylor expansion of x in x
0.855 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.855 * [taylor]: Taking taylor expansion of z in x
0.855 * [taylor]: Taking taylor expansion of 1 in z
0.856 * [taylor]: Taking taylor expansion of 0 in x
0.856 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.856 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.856 * [taylor]: Taking taylor expansion of z in z
0.856 * [taylor]: Taking taylor expansion of 0 in x
0.856 * [taylor]: Taking taylor expansion of 0 in z
0.856 * [taylor]: Taking taylor expansion of 0 in z
0.856 * [taylor]: Taking taylor expansion of 0 in x
0.856 * [taylor]: Taking taylor expansion of 0 in z
0.856 * [taylor]: Taking taylor expansion of 0 in z
0.857 * [taylor]: Taking taylor expansion of 0 in z
0.857 * * * [progress]: simplifying candidates
0.857 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* y x)) (exp (* y (neg z))))
  (log (+ (* y x) (* y (neg z))))
  (exp (+ (* y x) (* y (neg z))))
  (* (cbrt (+ (* y x) (* y (neg z)))) (cbrt (+ (* y x) (* y (neg z)))))
  (cbrt (+ (* y x) (* y (neg z))))
  (* (* (+ (* y x) (* y (neg z))) (+ (* y x) (* y (neg z)))) (+ (* y x) (* y (neg z))))
  (sqrt (+ (* y x) (* y (neg z))))
  (sqrt (+ (* y x) (* y (neg z))))
  (+ (pow (* y x) 3) (pow (* y (neg z)) 3))
  (+ (* (* y x) (* y x)) (- (* (* y (neg z)) (* y (neg z))) (* (* y x) (* y (neg z)))))
  (- (* (* y x) (* y x)) (* (* y (neg z)) (* y (neg z))))
  (- (* y x) (* y (neg z)))
  (+ x (neg z))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
0.910 * * [simplify]: iteration  0 :  5170  enodes  (cost  116 )
0.911 * [simplify]: Simplified to:
   (pow (exp y) (- x z))
  (log (* y (- x z)))
  (pow (exp y) (- x z))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* y (- x z)) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (- (pow (* y x) 3) (pow (* y z) 3))
  (* y (+ (* y (* x x)) (* z (* y (+ x z)))))
  (* y (* y (- (* x x) (* z z))))
  (* y (+ x z))
  (- x z)
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
0.911 * * * [progress]: adding candidates to table
0.927 * * [progress]: iteration 3 / 4
0.927 * * * [progress]: picking best candidate
0.931 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))>
0.931 * * * [progress]: localizing error
0.953 * * * [progress]: generating rewritten candidates
0.953 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.969 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
0.975 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.983 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.993 * * * [progress]: generating series expansions
0.994 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.994 * [approximate]: Taking taylor expansion of (/ (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y)) in (y x z) around 0
0.994 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y)) in z
0.994 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in z
0.994 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
0.994 * [taylor]: Taking taylor expansion of (pow x 3) in z
0.994 * [taylor]: Taking taylor expansion of x in z
0.994 * [taylor]: Taking taylor expansion of (pow y 3) in z
0.994 * [taylor]: Taking taylor expansion of y in z
0.994 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
0.994 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.994 * [taylor]: Taking taylor expansion of z in z
0.994 * [taylor]: Taking taylor expansion of (pow y 3) in z
0.994 * [taylor]: Taking taylor expansion of y in z
0.994 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in z
0.994 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in z
0.994 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.994 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.994 * [taylor]: Taking taylor expansion of z in z
0.994 * [taylor]: Taking taylor expansion of y in z
0.994 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in z
0.994 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
0.994 * [taylor]: Taking taylor expansion of (pow x 2) in z
0.994 * [taylor]: Taking taylor expansion of x in z
0.994 * [taylor]: Taking taylor expansion of y in z
0.994 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.994 * [taylor]: Taking taylor expansion of x in z
0.994 * [taylor]: Taking taylor expansion of (* z y) in z
0.994 * [taylor]: Taking taylor expansion of z in z
0.994 * [taylor]: Taking taylor expansion of y in z
0.994 * [taylor]: Taking taylor expansion of y in z
0.995 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y)) in x
0.995 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in x
0.995 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
0.995 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.995 * [taylor]: Taking taylor expansion of x in x
0.995 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.995 * [taylor]: Taking taylor expansion of y in x
0.995 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
0.995 * [taylor]: Taking taylor expansion of (pow z 3) in x
0.995 * [taylor]: Taking taylor expansion of z in x
0.995 * [taylor]: Taking taylor expansion of (pow y 3) in x
0.995 * [taylor]: Taking taylor expansion of y in x
0.995 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in x
0.995 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in x
0.995 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
0.995 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.995 * [taylor]: Taking taylor expansion of z in x
0.996 * [taylor]: Taking taylor expansion of y in x
0.996 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in x
0.996 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.996 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.996 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of y in x
0.996 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.996 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of (* z y) in x
0.996 * [taylor]: Taking taylor expansion of z in x
0.996 * [taylor]: Taking taylor expansion of y in x
0.996 * [taylor]: Taking taylor expansion of y in x
0.996 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y)) in y
0.997 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in y
0.997 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
0.997 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.997 * [taylor]: Taking taylor expansion of x in y
0.997 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.997 * [taylor]: Taking taylor expansion of y in y
0.997 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
0.997 * [taylor]: Taking taylor expansion of (pow z 3) in y
0.997 * [taylor]: Taking taylor expansion of z in y
0.997 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.997 * [taylor]: Taking taylor expansion of y in y
0.997 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in y
0.997 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in y
0.997 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.997 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.997 * [taylor]: Taking taylor expansion of z in y
0.997 * [taylor]: Taking taylor expansion of y in y
0.997 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in y
0.997 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.997 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.997 * [taylor]: Taking taylor expansion of x in y
0.997 * [taylor]: Taking taylor expansion of y in y
0.997 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.997 * [taylor]: Taking taylor expansion of x in y
0.997 * [taylor]: Taking taylor expansion of (* z y) in y
0.997 * [taylor]: Taking taylor expansion of z in y
0.997 * [taylor]: Taking taylor expansion of y in y
0.997 * [taylor]: Taking taylor expansion of y in y
0.999 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y)) in y
0.999 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in y
0.999 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
0.999 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.999 * [taylor]: Taking taylor expansion of x in y
0.999 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.999 * [taylor]: Taking taylor expansion of y in y
0.999 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
0.999 * [taylor]: Taking taylor expansion of (pow z 3) in y
0.999 * [taylor]: Taking taylor expansion of z in y
0.999 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.999 * [taylor]: Taking taylor expansion of y in y
0.999 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in y
0.999 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in y
0.999 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.999 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.999 * [taylor]: Taking taylor expansion of z in y
0.999 * [taylor]: Taking taylor expansion of y in y
0.999 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in y
0.999 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.999 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.999 * [taylor]: Taking taylor expansion of x in y
0.999 * [taylor]: Taking taylor expansion of y in y
0.999 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.999 * [taylor]: Taking taylor expansion of x in y
0.999 * [taylor]: Taking taylor expansion of (* z y) in y
0.999 * [taylor]: Taking taylor expansion of z in y
0.999 * [taylor]: Taking taylor expansion of y in y
0.999 * [taylor]: Taking taylor expansion of y in y
1.001 * [taylor]: Taking taylor expansion of (/ (- (pow x 3) (pow z 3)) (+ (* x z) (+ (pow x 2) (pow z 2)))) in x
1.001 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x
1.001 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.001 * [taylor]: Taking taylor expansion of x in x
1.001 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.001 * [taylor]: Taking taylor expansion of z in x
1.001 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in x
1.001 * [taylor]: Taking taylor expansion of (* x z) in x
1.001 * [taylor]: Taking taylor expansion of x in x
1.001 * [taylor]: Taking taylor expansion of z in x
1.001 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in x
1.001 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.001 * [taylor]: Taking taylor expansion of x in x
1.001 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.001 * [taylor]: Taking taylor expansion of z in x
1.002 * [taylor]: Taking taylor expansion of (* -1 z) in z
1.002 * [taylor]: Taking taylor expansion of -1 in z
1.002 * [taylor]: Taking taylor expansion of z in z
1.003 * [taylor]: Taking taylor expansion of 0 in x
1.003 * [taylor]: Taking taylor expansion of 0 in z
1.003 * [taylor]: Taking taylor expansion of 1 in z
1.005 * [taylor]: Taking taylor expansion of 0 in x
1.005 * [taylor]: Taking taylor expansion of 0 in z
1.005 * [taylor]: Taking taylor expansion of 0 in z
1.006 * [taylor]: Taking taylor expansion of 0 in z
1.006 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in (y x z) around 0
1.006 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in z
1.006 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in z
1.006 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in z
1.006 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
1.006 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.006 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.006 * [taylor]: Taking taylor expansion of x in z
1.006 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.006 * [taylor]: Taking taylor expansion of y in z
1.007 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in z
1.007 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.007 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.007 * [taylor]: Taking taylor expansion of z in z
1.007 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.007 * [taylor]: Taking taylor expansion of y in z
1.007 * [taylor]: Taking taylor expansion of y in z
1.007 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in z
1.007 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in z
1.007 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.007 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.007 * [taylor]: Taking taylor expansion of x in z
1.007 * [taylor]: Taking taylor expansion of y in z
1.007 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in z
1.007 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
1.007 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.007 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.007 * [taylor]: Taking taylor expansion of z in z
1.007 * [taylor]: Taking taylor expansion of y in z
1.007 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.007 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.007 * [taylor]: Taking taylor expansion of x in z
1.007 * [taylor]: Taking taylor expansion of (* z y) in z
1.007 * [taylor]: Taking taylor expansion of z in z
1.007 * [taylor]: Taking taylor expansion of y in z
1.008 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in x
1.008 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in x
1.008 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in x
1.008 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.008 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.008 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.008 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in x
1.008 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.008 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.008 * [taylor]: Taking taylor expansion of z in x
1.008 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.008 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in x
1.008 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
1.008 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.008 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.009 * [taylor]: Taking taylor expansion of y in x
1.009 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in x
1.009 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
1.009 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.009 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.009 * [taylor]: Taking taylor expansion of z in x
1.009 * [taylor]: Taking taylor expansion of y in x
1.009 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.009 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.009 * [taylor]: Taking taylor expansion of (* z y) in x
1.009 * [taylor]: Taking taylor expansion of z in x
1.009 * [taylor]: Taking taylor expansion of y in x
1.009 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in y
1.009 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in y
1.009 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.009 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.009 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.009 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.009 * [taylor]: Taking taylor expansion of x in y
1.009 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.009 * [taylor]: Taking taylor expansion of y in y
1.010 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.010 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.010 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.010 * [taylor]: Taking taylor expansion of z in y
1.010 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.010 * [taylor]: Taking taylor expansion of y in y
1.010 * [taylor]: Taking taylor expansion of y in y
1.010 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.010 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.010 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.010 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.010 * [taylor]: Taking taylor expansion of x in y
1.010 * [taylor]: Taking taylor expansion of y in y
1.010 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.010 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.010 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.010 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.010 * [taylor]: Taking taylor expansion of z in y
1.010 * [taylor]: Taking taylor expansion of y in y
1.010 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.010 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.010 * [taylor]: Taking taylor expansion of x in y
1.010 * [taylor]: Taking taylor expansion of (* z y) in y
1.010 * [taylor]: Taking taylor expansion of z in y
1.010 * [taylor]: Taking taylor expansion of y in y
1.012 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in y
1.012 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in y
1.012 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.012 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.012 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.012 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.012 * [taylor]: Taking taylor expansion of x in y
1.012 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.012 * [taylor]: Taking taylor expansion of y in y
1.012 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.012 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.012 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.012 * [taylor]: Taking taylor expansion of z in y
1.012 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.012 * [taylor]: Taking taylor expansion of y in y
1.013 * [taylor]: Taking taylor expansion of y in y
1.013 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.013 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.013 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.013 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.013 * [taylor]: Taking taylor expansion of x in y
1.013 * [taylor]: Taking taylor expansion of y in y
1.013 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.013 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.013 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.013 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.013 * [taylor]: Taking taylor expansion of z in y
1.013 * [taylor]: Taking taylor expansion of y in y
1.013 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.013 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.013 * [taylor]: Taking taylor expansion of x in y
1.013 * [taylor]: Taking taylor expansion of (* z y) in y
1.013 * [taylor]: Taking taylor expansion of z in y
1.013 * [taylor]: Taking taylor expansion of y in y
1.015 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z))))) in x
1.015 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.015 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.015 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.015 * [taylor]: Taking taylor expansion of z in x
1.015 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.015 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.015 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.015 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.015 * [taylor]: Taking taylor expansion of z in x
1.015 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.015 * [taylor]: Taking taylor expansion of (* x z) in x
1.015 * [taylor]: Taking taylor expansion of x in x
1.015 * [taylor]: Taking taylor expansion of z in x
1.015 * [taylor]: Taking taylor expansion of 1 in z
1.017 * [taylor]: Taking taylor expansion of 0 in x
1.018 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.018 * [taylor]: Taking taylor expansion of z in z
1.020 * [taylor]: Taking taylor expansion of 0 in x
1.020 * [taylor]: Taking taylor expansion of 0 in z
1.021 * [taylor]: Taking taylor expansion of 0 in z
1.028 * [taylor]: Taking taylor expansion of 0 in x
1.028 * [taylor]: Taking taylor expansion of 0 in z
1.028 * [taylor]: Taking taylor expansion of 0 in z
1.029 * [taylor]: Taking taylor expansion of 0 in z
1.029 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in (y x z) around 0
1.029 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in z
1.029 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in z
1.029 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in z
1.029 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
1.029 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.029 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.029 * [taylor]: Taking taylor expansion of x in z
1.030 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.030 * [taylor]: Taking taylor expansion of y in z
1.030 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in z
1.030 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.030 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.030 * [taylor]: Taking taylor expansion of z in z
1.030 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.030 * [taylor]: Taking taylor expansion of y in z
1.030 * [taylor]: Taking taylor expansion of y in z
1.030 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in z
1.030 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in z
1.030 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.030 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.030 * [taylor]: Taking taylor expansion of x in z
1.030 * [taylor]: Taking taylor expansion of y in z
1.030 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in z
1.030 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
1.030 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.030 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.030 * [taylor]: Taking taylor expansion of z in z
1.030 * [taylor]: Taking taylor expansion of y in z
1.030 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.030 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.030 * [taylor]: Taking taylor expansion of x in z
1.031 * [taylor]: Taking taylor expansion of (* z y) in z
1.031 * [taylor]: Taking taylor expansion of z in z
1.031 * [taylor]: Taking taylor expansion of y in z
1.031 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in x
1.031 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in x
1.031 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in x
1.031 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.031 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.031 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.031 * [taylor]: Taking taylor expansion of y in x
1.031 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in x
1.031 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.031 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.031 * [taylor]: Taking taylor expansion of z in x
1.031 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.031 * [taylor]: Taking taylor expansion of y in x
1.032 * [taylor]: Taking taylor expansion of y in x
1.032 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in x
1.032 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
1.032 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.032 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.032 * [taylor]: Taking taylor expansion of y in x
1.032 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in x
1.032 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
1.032 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.032 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.032 * [taylor]: Taking taylor expansion of z in x
1.032 * [taylor]: Taking taylor expansion of y in x
1.032 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.032 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.032 * [taylor]: Taking taylor expansion of (* z y) in x
1.032 * [taylor]: Taking taylor expansion of z in x
1.032 * [taylor]: Taking taylor expansion of y in x
1.032 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in y
1.032 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in y
1.032 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.032 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.033 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.033 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.033 * [taylor]: Taking taylor expansion of x in y
1.033 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.033 * [taylor]: Taking taylor expansion of y in y
1.033 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.033 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.033 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.033 * [taylor]: Taking taylor expansion of z in y
1.033 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.033 * [taylor]: Taking taylor expansion of y in y
1.033 * [taylor]: Taking taylor expansion of y in y
1.033 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.033 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.033 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.033 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.033 * [taylor]: Taking taylor expansion of x in y
1.033 * [taylor]: Taking taylor expansion of y in y
1.033 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.033 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.033 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.033 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.033 * [taylor]: Taking taylor expansion of z in y
1.033 * [taylor]: Taking taylor expansion of y in y
1.034 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.034 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.034 * [taylor]: Taking taylor expansion of x in y
1.034 * [taylor]: Taking taylor expansion of (* z y) in y
1.034 * [taylor]: Taking taylor expansion of z in y
1.034 * [taylor]: Taking taylor expansion of y in y
1.035 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in y
1.035 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in y
1.035 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.035 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.035 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.035 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.035 * [taylor]: Taking taylor expansion of x in y
1.035 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.035 * [taylor]: Taking taylor expansion of y in y
1.036 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.036 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.036 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.036 * [taylor]: Taking taylor expansion of z in y
1.036 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.036 * [taylor]: Taking taylor expansion of y in y
1.036 * [taylor]: Taking taylor expansion of y in y
1.036 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.036 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.036 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.036 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.036 * [taylor]: Taking taylor expansion of x in y
1.036 * [taylor]: Taking taylor expansion of y in y
1.036 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.036 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.036 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.036 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.036 * [taylor]: Taking taylor expansion of z in y
1.036 * [taylor]: Taking taylor expansion of y in y
1.036 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.036 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.036 * [taylor]: Taking taylor expansion of x in y
1.036 * [taylor]: Taking taylor expansion of (* z y) in y
1.036 * [taylor]: Taking taylor expansion of z in y
1.037 * [taylor]: Taking taylor expansion of y in y
1.038 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z))))) in x
1.038 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
1.038 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.038 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.038 * [taylor]: Taking taylor expansion of x in x
1.038 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.038 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.038 * [taylor]: Taking taylor expansion of z in x
1.038 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
1.038 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.038 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.038 * [taylor]: Taking taylor expansion of x in x
1.038 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
1.038 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.038 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.038 * [taylor]: Taking taylor expansion of z in x
1.039 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.039 * [taylor]: Taking taylor expansion of (* x z) in x
1.039 * [taylor]: Taking taylor expansion of x in x
1.039 * [taylor]: Taking taylor expansion of z in x
1.039 * [taylor]: Taking taylor expansion of 1 in z
1.041 * [taylor]: Taking taylor expansion of 0 in x
1.041 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.041 * [taylor]: Taking taylor expansion of z in z
1.043 * [taylor]: Taking taylor expansion of 0 in x
1.043 * [taylor]: Taking taylor expansion of 0 in z
1.044 * [taylor]: Taking taylor expansion of 0 in z
1.047 * [taylor]: Taking taylor expansion of 0 in x
1.047 * [taylor]: Taking taylor expansion of 0 in z
1.047 * [taylor]: Taking taylor expansion of 0 in z
1.048 * [taylor]: Taking taylor expansion of 0 in z
1.048 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.048 * [approximate]: Taking taylor expansion of (* (pow x 2) y) in (y x) around 0
1.048 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.048 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of y in x
1.048 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.048 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.048 * [taylor]: Taking taylor expansion of x in y
1.048 * [taylor]: Taking taylor expansion of y in y
1.048 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.048 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.048 * [taylor]: Taking taylor expansion of x in y
1.048 * [taylor]: Taking taylor expansion of y in y
1.048 * [taylor]: Taking taylor expansion of 0 in x
1.049 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.049 * [taylor]: Taking taylor expansion of 0 in x
1.049 * [taylor]: Taking taylor expansion of 0 in x
1.049 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in (y x) around 0
1.049 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
1.049 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.049 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.049 * [taylor]: Taking taylor expansion of y in x
1.049 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.049 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.049 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.049 * [taylor]: Taking taylor expansion of x in y
1.049 * [taylor]: Taking taylor expansion of y in y
1.050 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.050 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.050 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.050 * [taylor]: Taking taylor expansion of x in y
1.050 * [taylor]: Taking taylor expansion of y in y
1.050 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.050 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.050 * [taylor]: Taking taylor expansion of x in x
1.050 * [taylor]: Taking taylor expansion of 0 in x
1.050 * [taylor]: Taking taylor expansion of 0 in x
1.051 * [taylor]: Taking taylor expansion of 0 in x
1.051 * [taylor]: Taking taylor expansion of 0 in x
1.052 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in (y x) around 0
1.052 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in x
1.052 * [taylor]: Taking taylor expansion of -1 in x
1.052 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.052 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.052 * [taylor]: Taking taylor expansion of x in x
1.052 * [taylor]: Taking taylor expansion of y in x
1.052 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in y
1.052 * [taylor]: Taking taylor expansion of -1 in y
1.052 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.052 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.052 * [taylor]: Taking taylor expansion of x in y
1.052 * [taylor]: Taking taylor expansion of y in y
1.052 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in y
1.052 * [taylor]: Taking taylor expansion of -1 in y
1.052 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.052 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.052 * [taylor]: Taking taylor expansion of x in y
1.052 * [taylor]: Taking taylor expansion of y in y
1.052 * [taylor]: Taking taylor expansion of (/ -1 (pow x 2)) in x
1.052 * [taylor]: Taking taylor expansion of -1 in x
1.052 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.053 * [taylor]: Taking taylor expansion of x in x
1.053 * [taylor]: Taking taylor expansion of 0 in x
1.053 * [taylor]: Taking taylor expansion of 0 in x
1.054 * [taylor]: Taking taylor expansion of 0 in x
1.054 * [taylor]: Taking taylor expansion of 0 in x
1.054 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.055 * [approximate]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in (y x z) around 0
1.055 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in z
1.055 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in z
1.055 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.055 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.055 * [taylor]: Taking taylor expansion of z in z
1.055 * [taylor]: Taking taylor expansion of y in z
1.055 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in z
1.055 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.055 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.055 * [taylor]: Taking taylor expansion of x in z
1.055 * [taylor]: Taking taylor expansion of y in z
1.055 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.055 * [taylor]: Taking taylor expansion of x in z
1.055 * [taylor]: Taking taylor expansion of (* z y) in z
1.055 * [taylor]: Taking taylor expansion of z in z
1.055 * [taylor]: Taking taylor expansion of y in z
1.055 * [taylor]: Taking taylor expansion of y in z
1.055 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in x
1.055 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in x
1.055 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.055 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.055 * [taylor]: Taking taylor expansion of z in x
1.055 * [taylor]: Taking taylor expansion of y in x
1.055 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in x
1.055 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.055 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.055 * [taylor]: Taking taylor expansion of x in x
1.055 * [taylor]: Taking taylor expansion of y in x
1.055 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.055 * [taylor]: Taking taylor expansion of x in x
1.055 * [taylor]: Taking taylor expansion of (* z y) in x
1.055 * [taylor]: Taking taylor expansion of z in x
1.055 * [taylor]: Taking taylor expansion of y in x
1.055 * [taylor]: Taking taylor expansion of y in x
1.055 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in y
1.055 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in y
1.055 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.055 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.055 * [taylor]: Taking taylor expansion of z in y
1.055 * [taylor]: Taking taylor expansion of y in y
1.055 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in y
1.055 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.055 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.055 * [taylor]: Taking taylor expansion of x in y
1.055 * [taylor]: Taking taylor expansion of y in y
1.055 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.055 * [taylor]: Taking taylor expansion of x in y
1.055 * [taylor]: Taking taylor expansion of (* z y) in y
1.055 * [taylor]: Taking taylor expansion of z in y
1.055 * [taylor]: Taking taylor expansion of y in y
1.055 * [taylor]: Taking taylor expansion of y in y
1.055 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in y
1.055 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in y
1.055 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.055 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.055 * [taylor]: Taking taylor expansion of z in y
1.055 * [taylor]: Taking taylor expansion of y in y
1.056 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in y
1.056 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.056 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.056 * [taylor]: Taking taylor expansion of x in y
1.056 * [taylor]: Taking taylor expansion of y in y
1.056 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.056 * [taylor]: Taking taylor expansion of x in y
1.056 * [taylor]: Taking taylor expansion of (* z y) in y
1.056 * [taylor]: Taking taylor expansion of z in y
1.056 * [taylor]: Taking taylor expansion of y in y
1.056 * [taylor]: Taking taylor expansion of y in y
1.056 * [taylor]: Taking taylor expansion of 0 in x
1.056 * [taylor]: Taking taylor expansion of 0 in z
1.056 * [taylor]: Taking taylor expansion of 0 in x
1.056 * [taylor]: Taking taylor expansion of 0 in z
1.056 * [taylor]: Taking taylor expansion of 0 in z
1.057 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in x
1.057 * [taylor]: Taking taylor expansion of (* x z) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.057 * [taylor]: Taking taylor expansion of z in x
1.057 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in x
1.057 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.057 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.057 * [taylor]: Taking taylor expansion of z in x
1.057 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.057 * [taylor]: Taking taylor expansion of z in z
1.057 * [taylor]: Taking taylor expansion of 0 in z
1.057 * [taylor]: Taking taylor expansion of 0 in z
1.058 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in (y x z) around 0
1.058 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in z
1.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in z
1.058 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in z
1.058 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.058 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.058 * [taylor]: Taking taylor expansion of x in z
1.058 * [taylor]: Taking taylor expansion of y in z
1.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in z
1.058 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
1.058 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.058 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.058 * [taylor]: Taking taylor expansion of z in z
1.058 * [taylor]: Taking taylor expansion of y in z
1.058 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.058 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.058 * [taylor]: Taking taylor expansion of x in z
1.058 * [taylor]: Taking taylor expansion of (* z y) in z
1.058 * [taylor]: Taking taylor expansion of z in z
1.058 * [taylor]: Taking taylor expansion of y in z
1.058 * [taylor]: Taking taylor expansion of y in z
1.058 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in x
1.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in x
1.058 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
1.058 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.058 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.058 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of y in x
1.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in x
1.058 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
1.058 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.058 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.058 * [taylor]: Taking taylor expansion of z in x
1.059 * [taylor]: Taking taylor expansion of y in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.059 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.059 * [taylor]: Taking taylor expansion of (* z y) in x
1.059 * [taylor]: Taking taylor expansion of z in x
1.059 * [taylor]: Taking taylor expansion of y in x
1.059 * [taylor]: Taking taylor expansion of y in x
1.059 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in y
1.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.059 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.059 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.059 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.059 * [taylor]: Taking taylor expansion of x in y
1.059 * [taylor]: Taking taylor expansion of y in y
1.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.059 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.059 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.059 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.059 * [taylor]: Taking taylor expansion of z in y
1.059 * [taylor]: Taking taylor expansion of y in y
1.060 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.060 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.060 * [taylor]: Taking taylor expansion of x in y
1.060 * [taylor]: Taking taylor expansion of (* z y) in y
1.060 * [taylor]: Taking taylor expansion of z in y
1.060 * [taylor]: Taking taylor expansion of y in y
1.060 * [taylor]: Taking taylor expansion of y in y
1.060 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in y
1.060 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.060 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.060 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.060 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.060 * [taylor]: Taking taylor expansion of x in y
1.060 * [taylor]: Taking taylor expansion of y in y
1.060 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.060 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.060 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.060 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.061 * [taylor]: Taking taylor expansion of z in y
1.061 * [taylor]: Taking taylor expansion of y in y
1.061 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.061 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.061 * [taylor]: Taking taylor expansion of x in y
1.061 * [taylor]: Taking taylor expansion of (* z y) in y
1.061 * [taylor]: Taking taylor expansion of z in y
1.061 * [taylor]: Taking taylor expansion of y in y
1.061 * [taylor]: Taking taylor expansion of y in y
1.061 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.061 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.062 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.062 * [taylor]: Taking taylor expansion of z in x
1.062 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.062 * [taylor]: Taking taylor expansion of (* x z) in x
1.062 * [taylor]: Taking taylor expansion of x in x
1.062 * [taylor]: Taking taylor expansion of z in x
1.062 * [taylor]: Taking taylor expansion of 1 in z
1.062 * [taylor]: Taking taylor expansion of 0 in x
1.063 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.063 * [taylor]: Taking taylor expansion of z in z
1.063 * [taylor]: Taking taylor expansion of 0 in x
1.064 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.064 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.064 * [taylor]: Taking taylor expansion of z in z
1.065 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in (y x z) around 0
1.065 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in z
1.065 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in z
1.065 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in z
1.065 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.065 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.065 * [taylor]: Taking taylor expansion of x in z
1.065 * [taylor]: Taking taylor expansion of y in z
1.065 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in z
1.065 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
1.065 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.065 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.065 * [taylor]: Taking taylor expansion of z in z
1.065 * [taylor]: Taking taylor expansion of y in z
1.065 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.065 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.065 * [taylor]: Taking taylor expansion of x in z
1.065 * [taylor]: Taking taylor expansion of (* z y) in z
1.065 * [taylor]: Taking taylor expansion of z in z
1.065 * [taylor]: Taking taylor expansion of y in z
1.065 * [taylor]: Taking taylor expansion of y in z
1.065 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in x
1.065 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in x
1.065 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
1.065 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.065 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.065 * [taylor]: Taking taylor expansion of y in x
1.065 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in x
1.065 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
1.065 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.065 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.065 * [taylor]: Taking taylor expansion of z in x
1.065 * [taylor]: Taking taylor expansion of y in x
1.066 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.066 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.066 * [taylor]: Taking taylor expansion of x in x
1.066 * [taylor]: Taking taylor expansion of (* z y) in x
1.066 * [taylor]: Taking taylor expansion of z in x
1.066 * [taylor]: Taking taylor expansion of y in x
1.066 * [taylor]: Taking taylor expansion of y in x
1.066 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in y
1.066 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.066 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.066 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.066 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.066 * [taylor]: Taking taylor expansion of x in y
1.066 * [taylor]: Taking taylor expansion of y in y
1.066 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.066 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.066 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.066 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.066 * [taylor]: Taking taylor expansion of z in y
1.066 * [taylor]: Taking taylor expansion of y in y
1.066 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.067 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.067 * [taylor]: Taking taylor expansion of x in y
1.067 * [taylor]: Taking taylor expansion of (* z y) in y
1.067 * [taylor]: Taking taylor expansion of z in y
1.067 * [taylor]: Taking taylor expansion of y in y
1.067 * [taylor]: Taking taylor expansion of y in y
1.067 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in y
1.067 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.067 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.067 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.067 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.067 * [taylor]: Taking taylor expansion of x in y
1.067 * [taylor]: Taking taylor expansion of y in y
1.067 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.067 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.067 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.067 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.067 * [taylor]: Taking taylor expansion of z in y
1.068 * [taylor]: Taking taylor expansion of y in y
1.068 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.068 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.068 * [taylor]: Taking taylor expansion of x in y
1.068 * [taylor]: Taking taylor expansion of (* z y) in y
1.068 * [taylor]: Taking taylor expansion of z in y
1.068 * [taylor]: Taking taylor expansion of y in y
1.068 * [taylor]: Taking taylor expansion of y in y
1.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
1.068 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.068 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.068 * [taylor]: Taking taylor expansion of x in x
1.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
1.068 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.068 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.068 * [taylor]: Taking taylor expansion of z in x
1.069 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.069 * [taylor]: Taking taylor expansion of (* x z) in x
1.069 * [taylor]: Taking taylor expansion of x in x
1.069 * [taylor]: Taking taylor expansion of z in x
1.069 * [taylor]: Taking taylor expansion of 1 in z
1.069 * [taylor]: Taking taylor expansion of 0 in x
1.070 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.070 * [taylor]: Taking taylor expansion of z in z
1.070 * [taylor]: Taking taylor expansion of 0 in x
1.071 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.071 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.071 * [taylor]: Taking taylor expansion of z in z
1.071 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.072 * [approximate]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in (y x z) around 0
1.072 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in z
1.072 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.072 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.072 * [taylor]: Taking taylor expansion of x in z
1.072 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.072 * [taylor]: Taking taylor expansion of y in z
1.072 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.072 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.072 * [taylor]: Taking taylor expansion of z in z
1.072 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.072 * [taylor]: Taking taylor expansion of y in z
1.072 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in x
1.072 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.072 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.072 * [taylor]: Taking taylor expansion of x in x
1.072 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.072 * [taylor]: Taking taylor expansion of y in x
1.072 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.072 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.072 * [taylor]: Taking taylor expansion of z in x
1.072 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.072 * [taylor]: Taking taylor expansion of y in x
1.072 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in y
1.072 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.072 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.072 * [taylor]: Taking taylor expansion of x in y
1.072 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.072 * [taylor]: Taking taylor expansion of y in y
1.072 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.072 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.072 * [taylor]: Taking taylor expansion of z in y
1.072 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.072 * [taylor]: Taking taylor expansion of y in y
1.072 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in y
1.072 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.072 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.072 * [taylor]: Taking taylor expansion of x in y
1.072 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.072 * [taylor]: Taking taylor expansion of y in y
1.072 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.072 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.072 * [taylor]: Taking taylor expansion of z in y
1.072 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.072 * [taylor]: Taking taylor expansion of y in y
1.073 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x
1.073 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.073 * [taylor]: Taking taylor expansion of x in x
1.073 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.073 * [taylor]: Taking taylor expansion of z in x
1.073 * [taylor]: Taking taylor expansion of (neg (pow z 3)) in z
1.073 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.073 * [taylor]: Taking taylor expansion of z in z
1.073 * [taylor]: Taking taylor expansion of 0 in x
1.073 * [taylor]: Taking taylor expansion of 0 in z
1.074 * [taylor]: Taking taylor expansion of 0 in z
1.074 * [taylor]: Taking taylor expansion of 0 in x
1.074 * [taylor]: Taking taylor expansion of 0 in z
1.074 * [taylor]: Taking taylor expansion of 0 in z
1.074 * [taylor]: Taking taylor expansion of 0 in z
1.074 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in (y x z) around 0
1.074 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in z
1.074 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
1.074 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.074 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.075 * [taylor]: Taking taylor expansion of x in z
1.075 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.075 * [taylor]: Taking taylor expansion of y in z
1.075 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in z
1.075 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.075 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.075 * [taylor]: Taking taylor expansion of z in z
1.075 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.075 * [taylor]: Taking taylor expansion of y in z
1.075 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in x
1.075 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.075 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.075 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.075 * [taylor]: Taking taylor expansion of y in x
1.075 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in x
1.075 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.075 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.075 * [taylor]: Taking taylor expansion of z in x
1.075 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.075 * [taylor]: Taking taylor expansion of y in x
1.076 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.076 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.076 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.076 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.076 * [taylor]: Taking taylor expansion of x in y
1.076 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.076 * [taylor]: Taking taylor expansion of y in y
1.076 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.076 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.076 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.076 * [taylor]: Taking taylor expansion of z in y
1.076 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.076 * [taylor]: Taking taylor expansion of y in y
1.076 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.076 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.076 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.076 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.076 * [taylor]: Taking taylor expansion of x in y
1.076 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.076 * [taylor]: Taking taylor expansion of y in y
1.077 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.077 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.077 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.077 * [taylor]: Taking taylor expansion of z in y
1.077 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.077 * [taylor]: Taking taylor expansion of y in y
1.077 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
1.077 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.077 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.077 * [taylor]: Taking taylor expansion of x in x
1.077 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.077 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.077 * [taylor]: Taking taylor expansion of z in x
1.077 * [taylor]: Taking taylor expansion of 1 in z
1.078 * [taylor]: Taking taylor expansion of 0 in x
1.078 * [taylor]: Taking taylor expansion of 0 in z
1.079 * [taylor]: Taking taylor expansion of 0 in x
1.079 * [taylor]: Taking taylor expansion of 0 in z
1.080 * [taylor]: Taking taylor expansion of 0 in x
1.080 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 3))) in z
1.080 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.080 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.080 * [taylor]: Taking taylor expansion of z in z
1.081 * [taylor]: Taking taylor expansion of 0 in x
1.081 * [taylor]: Taking taylor expansion of 0 in z
1.082 * [taylor]: Taking taylor expansion of 0 in z
1.083 * [taylor]: Taking taylor expansion of 0 in x
1.083 * [taylor]: Taking taylor expansion of 0 in z
1.083 * [taylor]: Taking taylor expansion of 0 in z
1.084 * [taylor]: Taking taylor expansion of 0 in z
1.084 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in (y x z) around 0
1.085 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in z
1.085 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
1.085 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.085 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.085 * [taylor]: Taking taylor expansion of x in z
1.085 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.085 * [taylor]: Taking taylor expansion of y in z
1.085 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in z
1.085 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.085 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.085 * [taylor]: Taking taylor expansion of z in z
1.085 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.085 * [taylor]: Taking taylor expansion of y in z
1.085 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in x
1.085 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.085 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.085 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.085 * [taylor]: Taking taylor expansion of y in x
1.085 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in x
1.085 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.085 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.086 * [taylor]: Taking taylor expansion of z in x
1.086 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.086 * [taylor]: Taking taylor expansion of y in x
1.086 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.086 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.086 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.086 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.086 * [taylor]: Taking taylor expansion of x in y
1.086 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.086 * [taylor]: Taking taylor expansion of y in y
1.086 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.086 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.086 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.086 * [taylor]: Taking taylor expansion of z in y
1.086 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.086 * [taylor]: Taking taylor expansion of y in y
1.086 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.086 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.086 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.086 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.086 * [taylor]: Taking taylor expansion of x in y
1.086 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.086 * [taylor]: Taking taylor expansion of y in y
1.087 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.087 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.087 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.087 * [taylor]: Taking taylor expansion of z in y
1.087 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.087 * [taylor]: Taking taylor expansion of y in y
1.087 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
1.087 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.087 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.087 * [taylor]: Taking taylor expansion of x in x
1.087 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.087 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.087 * [taylor]: Taking taylor expansion of z in x
1.087 * [taylor]: Taking taylor expansion of 1 in z
1.088 * [taylor]: Taking taylor expansion of 0 in x
1.088 * [taylor]: Taking taylor expansion of 0 in z
1.089 * [taylor]: Taking taylor expansion of 0 in x
1.089 * [taylor]: Taking taylor expansion of 0 in z
1.090 * [taylor]: Taking taylor expansion of 0 in x
1.090 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 3))) in z
1.090 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.090 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.090 * [taylor]: Taking taylor expansion of z in z
1.091 * [taylor]: Taking taylor expansion of 0 in x
1.091 * [taylor]: Taking taylor expansion of 0 in z
1.092 * [taylor]: Taking taylor expansion of 0 in z
1.093 * [taylor]: Taking taylor expansion of 0 in x
1.093 * [taylor]: Taking taylor expansion of 0 in z
1.093 * [taylor]: Taking taylor expansion of 0 in z
1.094 * [taylor]: Taking taylor expansion of 0 in z
1.094 * * * [progress]: simplifying candidates
1.096 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (pow (* y x) 3) (pow (* y z) 3))) (+ (log y) (log (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (- (log (- (pow (* y x) 3) (pow (* y z) 3))) (log (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (log (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (exp (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (/ (* (* (- (pow (* y x) 3) (pow (* y z) 3)) (- (pow (* y x) 3) (pow (* y z) 3))) (- (pow (* y x) 3) (pow (* y z) 3))) (* (* (* y y) y) (* (* (+ (* y (* x x)) (* z (* y (+ x z)))) (+ (* y (* x x)) (* z (* y (+ x z))))) (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (/ (* (* (- (pow (* y x) 3) (pow (* y z) 3)) (- (pow (* y x) 3) (pow (* y z) 3))) (- (pow (* y x) 3) (pow (* y z) 3))) (* (* (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (* (cbrt (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z))))))) (cbrt (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z))))))))
  (cbrt (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (* (* (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))) (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z))))))) (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (sqrt (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (sqrt (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (neg (- (pow (* y x) 3) (pow (* y z) 3)))
  (neg (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (/ (pow (* y x) 3) (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (/ (pow (* y z) 3) (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (/ (* (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) y)
  (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) y)
  (/ (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (+ (* (* y x) (* y x)) (+ (* (* y z) (* y z)) (* (* y x) (* y z)))) y)
  (/ (- (* y x) (* y z)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ 1 y)
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) y)
  (/ (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (+ (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) y)
  (/ (- (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (+ (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) y)
  (/ (- (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (+ (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) y)
  (/ (- (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (pow y 3) y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (pow y 3) y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (pow y 3) y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (pow y 3) y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ 1 y)
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ 1 (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (pow (* y x) 3) (pow (* y z) 3)))
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) y)
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (- (pow (* y x) 3) (pow (* y z) 3))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (sqrt (- (pow (* y x) 3) (pow (* y z) 3))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (* y x) (* y z)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (pow (* y x) 3) (pow (* y z) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (pow x 3) (pow z 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (pow x 3) (pow z 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (pow x 3) (pow z 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (pow x 3) (pow z 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (- (pow (* y x) 3) (pow (* y z) 3)))
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (+ (pow (* y (* x x)) 3) (pow (* z (* y (+ x z))) 3))))
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (* y (- (* (* y (* x x)) (* y (* x x))) (* (* z (* y (+ x z))) (* z (* y (+ x z)))))))
  (* (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (+ (* (pow (* y x) 3) (pow (* y x) 3)) (+ (* (pow (* y z) 3) (pow (* y z) 3)) (* (pow (* y x) 3) (pow (* y z) 3)))))
  (* (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (+ (pow (* y x) 3) (pow (* y z) 3)))
  (* y (* x x))
  (* y (* x x))
  (+ (log y) (+ (log x) (log x)))
  (+ (log y) (log (* x x)))
  (log (* y (* x x)))
  (exp (* y (* x x)))
  (* (* (* y y) y) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* y y) y) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* y (* x x))) (cbrt (* y (* x x))))
  (cbrt (* y (* x x)))
  (* (* (* y (* x x)) (* y (* x x))) (* y (* x x)))
  (sqrt (* y (* x x)))
  (sqrt (* y (* x x)))
  (* (sqrt y) x)
  (* (sqrt y) x)
  (* y x)
  (* (cbrt y) (* x x))
  (* (sqrt y) (* x x))
  (* y (* x x))
  (* y (+ (* y (* x x)) (* z (* y (+ x z)))))
  (+ (log y) (log (+ (* y (* x x)) (* z (* y (+ x z))))))
  (log (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (exp (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* (* (* y y) y) (* (* (+ (* y (* x x)) (* z (* y (+ x z)))) (+ (* y (* x x)) (* z (* y (+ x z))))) (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* (cbrt (* y (+ (* y (* x x)) (* z (* y (+ x z)))))) (cbrt (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (cbrt (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* (* (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))) (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (sqrt (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (sqrt (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* (sqrt y) (sqrt (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* (sqrt y) (sqrt (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* y (* y (* x x)))
  (* y (* z (* y (+ x z))))
  (* (* y (* x x)) y)
  (* (* z (* y (+ x z))) y)
  (* y (* (cbrt (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (* y (sqrt (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* y 1)
  (* (cbrt y) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (* (sqrt y) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (* y (+ (* y (* x x)) (* z (* y (+ x z)))))
  (* y (+ (pow (* y (* x x)) 3) (pow (* z (* y (+ x z))) 3)))
  (* y (- (* (* y (* x x)) (* y (* x x))) (* (* z (* y (+ x z))) (* z (* y (+ x z))))))
  (/ (exp (pow (* y x) 3)) (exp (pow (* y z) 3)))
  (log (- (pow (* y x) 3) (pow (* y z) 3)))
  (exp (- (pow (* y x) 3) (pow (* y z) 3)))
  (* (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (cbrt (- (pow (* y x) 3) (pow (* y z) 3))))
  (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (* (* (- (pow (* y x) 3) (pow (* y z) 3)) (- (pow (* y x) 3) (pow (* y z) 3))) (- (pow (* y x) 3) (pow (* y z) 3)))
  (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (+ (* (* y x) (* y x)) (+ (* (* y z) (* y z)) (* (* y x) (* y z))))
  (- (* y x) (* y z))
  (- (pow (pow (* y x) 3) 3) (pow (pow (* y z) 3) 3))
  (+ (* (pow (* y x) 3) (pow (* y x) 3)) (+ (* (pow (* y z) 3) (pow (* y z) 3)) (* (pow (* y x) 3) (pow (* y z) 3))))
  (neg (pow (* y z) 3))
  (- (* (pow (* y x) 3) (pow (* y x) 3)) (* (pow (* y z) 3) (pow (* y z) 3)))
  (+ (pow (* y x) 3) (pow (* y z) 3))
  (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))
  (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))
  (+ (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2)))
  (- (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2)))
  (+ (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3)))
  (- (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3)))
  (+ (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2)))
  (- (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2)))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow (* y x) 3) (pow (* y z) 3))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (* (pow x 2) y)
  (* (pow x 2) y)
  (* (pow x 2) y)
  0
  (+ (* x (* z (pow y 2))) (+ (* (pow x 2) (pow y 2)) (* (pow z 2) (pow y 2))))
  (+ (* x (* z (pow y 2))) (+ (* (pow x 2) (pow y 2)) (* (pow z 2) (pow y 2))))
  0
  (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3)))
  (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3)))
1.128 * * [simplify]: iteration  0 :  6033  enodes  (cost  2251 )
1.135 * [simplify]: Simplified to:
   (log (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (log (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (log (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (pow (exp (* y y)) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z))))))
  (pow (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))) 3)
  (pow (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))) 3)
  (* (cbrt (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z))))))) (cbrt (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z))))))))
  (cbrt (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (pow (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))) 3)
  (sqrt (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (sqrt (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (+ (pow (* y z) 3) (neg (pow (* y x) 3)))
  (* y (- (* y (neg (* z (+ x z)))) (* y (* x x))))
  (* (* y y) (/ (pow x 3) (+ (* y (* x x)) (* y (* z (+ x z))))))
  (* (* y y) (/ (pow z 3) (+ (* y (* x x)) (* y (* z (+ x z))))))
  (* (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) y))
  (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) y)
  (/ (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (* y (+ (* y (* x x)) (* y (* z (+ x z))))) y)
  (/ y (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (- x z)))
  (/ 1 y)
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) y)
  (/ (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (sqrt (pow (* y x) 3)) (pow (* y z) 3/2)) y)
  (/ (- (sqrt (pow (* y x) 3)) (pow (* y z) 3/2)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (sqrt (pow (* y z) 3)) (pow (* y x) 3/2)) y)
  (/ (- (pow (* y x) 3/2) (sqrt (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (pow (* y z) 3/2) (pow (* y x) 3/2)) y)
  (/ (- (pow (* y x) 3/2) (pow (* y z) 3/2)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ 1 y)
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ 1 (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (* (* y y) (- (pow x 3) (pow z 3))))
  (* (* y y) (- (pow x 3) (pow z 3)))
  (* (/ y (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* 1 (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (- x z)))
  (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (* (* y y) (- (pow x 3) (pow z 3))))
  (* (/ y (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (sqrt (pow (* y x) 3)) (pow (* y z) 3/2))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow (* y x) 3/2) (sqrt (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow (* y x) 3/2) (pow (* y z) 3/2))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (* (* y y) (- (pow x 3) (pow z 3))))
  (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* (pow y 3) (pow x 6)) (pow (* y (* z (+ x z))) 3))))
  (* (* y y) (/ (- (pow x 3) (pow z 3)) (- (* y (* y (pow x 4))) (* z (* y (* (+ x z) (* y (* z (+ x z)))))))))
  (* y (* (+ (* y (* x x)) (* y (* z (+ x z)))) (+ (pow (* y x) 6) (+ (pow (* y z) 6) (* (pow (* y x) 3) (pow (* y z) 3))))))
  (* y (* (+ (* y (* x x)) (* y (* z (+ x z)))) (+ (pow (* y x) 3) (pow (* y z) 3))))
  (* y (* x x))
  (* y (* x x))
  (log (* y (* x x)))
  (log (* y (* x x)))
  (log (* y (* x x)))
  (pow (exp y) (* x x))
  (* (pow y 3) (pow x 6))
  (* (pow y 3) (pow x 6))
  (* (cbrt (* y (* x x))) (cbrt (* y (* x x))))
  (cbrt (* y (* x x)))
  (* (pow y 3) (pow x 6))
  (sqrt (* y (* x x)))
  (sqrt (* y (* x x)))
  (* x (sqrt y))
  (* x (sqrt y))
  (* y x)
  (* x (* x (cbrt y)))
  (* x (* x (sqrt y)))
  (* y (* x x))
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
  (log (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (log (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (pow (exp y) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (pow (* y (+ (* y (* x x)) (* y (* z (+ x z))))) 3)
  (* (cbrt (* y (+ (* y (* x x)) (* y (* z (+ x z)))))) (cbrt (* y (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (cbrt (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (pow (* y (+ (* y (* x x)) (* y (* z (+ x z))))) 3)
  (sqrt (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (sqrt (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (* (sqrt y) (sqrt (+ (* y (* x x)) (* y (* z (+ x z))))))
  (* (sqrt y) (sqrt (+ (* y (* x x)) (* y (* z (+ x z))))))
  (* y (* y (* x x)))
  (* y (* y (* z (+ x z))))
  (* y (* y (* x x)))
  (* y (* y (* z (+ x z))))
  (* y (* (cbrt (+ (* y (* x x)) (* y (* z (+ x z))))) (cbrt (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (* y (sqrt (+ (* y (* x x)) (* y (* z (+ x z))))))
  y
  (* (+ (* y (* x x)) (* y (* z (+ x z)))) (cbrt y))
  (* (+ (* y (* x x)) (* y (* z (+ x z)))) (sqrt y))
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y (+ (* (pow y 3) (pow x 6)) (pow (* y (* z (+ x z))) 3)))
  (* y (- (* y (* y (pow x 4))) (* z (* y (* (+ x z) (* y (* z (+ x z))))))))
  (pow (exp (pow y 3)) (- (pow x 3) (pow z 3)))
  (log (- (pow (* y x) 3) (pow (* y z) 3)))
  (pow (exp (pow y 3)) (- (pow x 3) (pow z 3)))
  (* (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (cbrt (- (pow (* y x) 3) (pow (* y z) 3))))
  (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)
  (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y (- x z))
  (- (pow (pow (* y x) 3) 3) (pow (pow (* y z) 3) 3))
  (+ (pow (* y x) 6) (+ (pow (* y z) 6) (* (pow (* y x) 3) (pow (* y z) 3))))
  (neg (pow (* y z) 3))
  (- (pow (* y x) 6) (pow (* y z) 6))
  (+ (pow (* y x) 3) (pow (* y z) 3))
  (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))
  (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))
  (+ (sqrt (pow (* y x) 3)) (pow (* y z) 3/2))
  (- (sqrt (pow (* y x) 3)) (pow (* y z) 3/2))
  (+ (sqrt (pow (* y z) 3)) (pow (* y x) 3/2))
  (- (pow (* y x) 3/2) (sqrt (pow (* y z) 3)))
  (+ (pow (* y z) 3/2) (pow (* y x) 3/2))
  (- (pow (* y x) 3/2) (pow (* y z) 3/2))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow (* y x) 3) (pow (* y z) 3))
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
  (* y (* x x))
  (* y (* x x))
  (* y (* x x))
  0
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
  0
  (- (pow (* y x) 3) (pow (* y z) 3))
  (- (pow (* y x) 3) (pow (* y z) 3))
1.136 * * * [progress]: adding candidates to table
1.299 * * [progress]: iteration 4 / 4
1.299 * * * [progress]: picking best candidate
1.305 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))>
1.305 * * * [progress]: localizing error
1.329 * * * [progress]: generating rewritten candidates
1.329 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.351 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.361 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
1.366 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.384 * * * [progress]: generating series expansions
1.384 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.384 * [approximate]: Taking taylor expansion of (/ (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y)) in (y x z) around 0
1.384 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y)) in z
1.384 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in z
1.384 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.384 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.384 * [taylor]: Taking taylor expansion of x in z
1.384 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.384 * [taylor]: Taking taylor expansion of y in z
1.384 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.384 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.384 * [taylor]: Taking taylor expansion of z in z
1.384 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.384 * [taylor]: Taking taylor expansion of y in z
1.384 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in z
1.384 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in z
1.384 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.384 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.384 * [taylor]: Taking taylor expansion of z in z
1.384 * [taylor]: Taking taylor expansion of y in z
1.385 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in z
1.385 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.385 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.385 * [taylor]: Taking taylor expansion of x in z
1.385 * [taylor]: Taking taylor expansion of y in z
1.385 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.385 * [taylor]: Taking taylor expansion of x in z
1.385 * [taylor]: Taking taylor expansion of (* z y) in z
1.385 * [taylor]: Taking taylor expansion of z in z
1.385 * [taylor]: Taking taylor expansion of y in z
1.385 * [taylor]: Taking taylor expansion of y in z
1.385 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y)) in x
1.385 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in x
1.385 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.385 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.385 * [taylor]: Taking taylor expansion of x in x
1.385 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.386 * [taylor]: Taking taylor expansion of y in x
1.386 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.386 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.386 * [taylor]: Taking taylor expansion of z in x
1.386 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.386 * [taylor]: Taking taylor expansion of y in x
1.386 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in x
1.386 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in x
1.386 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.386 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.386 * [taylor]: Taking taylor expansion of z in x
1.386 * [taylor]: Taking taylor expansion of y in x
1.386 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in x
1.386 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.386 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.386 * [taylor]: Taking taylor expansion of x in x
1.386 * [taylor]: Taking taylor expansion of y in x
1.386 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.386 * [taylor]: Taking taylor expansion of x in x
1.386 * [taylor]: Taking taylor expansion of (* z y) in x
1.386 * [taylor]: Taking taylor expansion of z in x
1.386 * [taylor]: Taking taylor expansion of y in x
1.386 * [taylor]: Taking taylor expansion of y in x
1.387 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y)) in y
1.387 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in y
1.387 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.387 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.387 * [taylor]: Taking taylor expansion of x in y
1.387 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.387 * [taylor]: Taking taylor expansion of y in y
1.387 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.387 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.387 * [taylor]: Taking taylor expansion of z in y
1.387 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.387 * [taylor]: Taking taylor expansion of y in y
1.387 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in y
1.387 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in y
1.387 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.387 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.387 * [taylor]: Taking taylor expansion of z in y
1.387 * [taylor]: Taking taylor expansion of y in y
1.387 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in y
1.387 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.387 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.387 * [taylor]: Taking taylor expansion of x in y
1.387 * [taylor]: Taking taylor expansion of y in y
1.387 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.387 * [taylor]: Taking taylor expansion of x in y
1.387 * [taylor]: Taking taylor expansion of (* z y) in y
1.387 * [taylor]: Taking taylor expansion of z in y
1.387 * [taylor]: Taking taylor expansion of y in y
1.387 * [taylor]: Taking taylor expansion of y in y
1.389 * [taylor]: Taking taylor expansion of (/ (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y)) in y
1.389 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in y
1.389 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.389 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.389 * [taylor]: Taking taylor expansion of x in y
1.389 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.389 * [taylor]: Taking taylor expansion of y in y
1.389 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.389 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.389 * [taylor]: Taking taylor expansion of z in y
1.389 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.389 * [taylor]: Taking taylor expansion of y in y
1.389 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in y
1.389 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in y
1.389 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.389 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.389 * [taylor]: Taking taylor expansion of z in y
1.389 * [taylor]: Taking taylor expansion of y in y
1.389 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in y
1.389 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.389 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.389 * [taylor]: Taking taylor expansion of x in y
1.389 * [taylor]: Taking taylor expansion of y in y
1.389 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.389 * [taylor]: Taking taylor expansion of x in y
1.389 * [taylor]: Taking taylor expansion of (* z y) in y
1.389 * [taylor]: Taking taylor expansion of z in y
1.389 * [taylor]: Taking taylor expansion of y in y
1.389 * [taylor]: Taking taylor expansion of y in y
1.391 * [taylor]: Taking taylor expansion of (/ (- (pow x 3) (pow z 3)) (+ (* x z) (+ (pow x 2) (pow z 2)))) in x
1.391 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x
1.391 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.391 * [taylor]: Taking taylor expansion of x in x
1.391 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.391 * [taylor]: Taking taylor expansion of z in x
1.391 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in x
1.391 * [taylor]: Taking taylor expansion of (* x z) in x
1.391 * [taylor]: Taking taylor expansion of x in x
1.391 * [taylor]: Taking taylor expansion of z in x
1.391 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in x
1.391 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.391 * [taylor]: Taking taylor expansion of x in x
1.391 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.391 * [taylor]: Taking taylor expansion of z in x
1.392 * [taylor]: Taking taylor expansion of (* -1 z) in z
1.392 * [taylor]: Taking taylor expansion of -1 in z
1.392 * [taylor]: Taking taylor expansion of z in z
1.393 * [taylor]: Taking taylor expansion of 0 in x
1.393 * [taylor]: Taking taylor expansion of 0 in z
1.393 * [taylor]: Taking taylor expansion of 1 in z
1.395 * [taylor]: Taking taylor expansion of 0 in x
1.395 * [taylor]: Taking taylor expansion of 0 in z
1.395 * [taylor]: Taking taylor expansion of 0 in z
1.395 * [taylor]: Taking taylor expansion of 0 in z
1.396 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in (y x z) around 0
1.396 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in z
1.396 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in z
1.396 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in z
1.396 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
1.396 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.396 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.396 * [taylor]: Taking taylor expansion of x in z
1.396 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.396 * [taylor]: Taking taylor expansion of y in z
1.396 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in z
1.396 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.396 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.396 * [taylor]: Taking taylor expansion of z in z
1.396 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.397 * [taylor]: Taking taylor expansion of y in z
1.397 * [taylor]: Taking taylor expansion of y in z
1.397 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in z
1.397 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in z
1.397 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.397 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.397 * [taylor]: Taking taylor expansion of x in z
1.397 * [taylor]: Taking taylor expansion of y in z
1.397 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in z
1.397 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
1.397 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.397 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.397 * [taylor]: Taking taylor expansion of z in z
1.397 * [taylor]: Taking taylor expansion of y in z
1.397 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.397 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.397 * [taylor]: Taking taylor expansion of x in z
1.397 * [taylor]: Taking taylor expansion of (* z y) in z
1.397 * [taylor]: Taking taylor expansion of z in z
1.397 * [taylor]: Taking taylor expansion of y in z
1.398 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in x
1.398 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in x
1.398 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in x
1.398 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.398 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.398 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.398 * [taylor]: Taking taylor expansion of x in x
1.398 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.398 * [taylor]: Taking taylor expansion of y in x
1.398 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in x
1.398 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.398 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.398 * [taylor]: Taking taylor expansion of z in x
1.398 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.398 * [taylor]: Taking taylor expansion of y in x
1.398 * [taylor]: Taking taylor expansion of y in x
1.398 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in x
1.398 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
1.398 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.398 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.398 * [taylor]: Taking taylor expansion of x in x
1.398 * [taylor]: Taking taylor expansion of y in x
1.399 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in x
1.399 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
1.399 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.399 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.399 * [taylor]: Taking taylor expansion of z in x
1.399 * [taylor]: Taking taylor expansion of y in x
1.399 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.399 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.399 * [taylor]: Taking taylor expansion of x in x
1.399 * [taylor]: Taking taylor expansion of (* z y) in x
1.399 * [taylor]: Taking taylor expansion of z in x
1.399 * [taylor]: Taking taylor expansion of y in x
1.399 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in y
1.399 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in y
1.399 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.399 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.399 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.399 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.399 * [taylor]: Taking taylor expansion of x in y
1.399 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.399 * [taylor]: Taking taylor expansion of y in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.400 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.400 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.400 * [taylor]: Taking taylor expansion of z in y
1.400 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.400 * [taylor]: Taking taylor expansion of y in y
1.400 * [taylor]: Taking taylor expansion of y in y
1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.400 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.400 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.400 * [taylor]: Taking taylor expansion of x in y
1.400 * [taylor]: Taking taylor expansion of y in y
1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.400 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.400 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.400 * [taylor]: Taking taylor expansion of z in y
1.400 * [taylor]: Taking taylor expansion of y in y
1.401 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.401 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.401 * [taylor]: Taking taylor expansion of x in y
1.401 * [taylor]: Taking taylor expansion of (* z y) in y
1.401 * [taylor]: Taking taylor expansion of z in y
1.401 * [taylor]: Taking taylor expansion of y in y
1.402 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in y
1.402 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in y
1.402 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.402 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.402 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.402 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.402 * [taylor]: Taking taylor expansion of x in y
1.402 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.402 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.403 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.403 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.403 * [taylor]: Taking taylor expansion of z in y
1.403 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.403 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.403 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.403 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.403 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.403 * [taylor]: Taking taylor expansion of x in y
1.403 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.403 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.403 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.403 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.403 * [taylor]: Taking taylor expansion of z in y
1.403 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.403 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.403 * [taylor]: Taking taylor expansion of x in y
1.403 * [taylor]: Taking taylor expansion of (* z y) in y
1.403 * [taylor]: Taking taylor expansion of z in y
1.403 * [taylor]: Taking taylor expansion of y in y
1.405 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z))))) in x
1.405 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
1.405 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.405 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.405 * [taylor]: Taking taylor expansion of x in x
1.405 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.405 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.405 * [taylor]: Taking taylor expansion of z in x
1.405 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
1.405 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.405 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.405 * [taylor]: Taking taylor expansion of x in x
1.405 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
1.405 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.405 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.405 * [taylor]: Taking taylor expansion of z in x
1.406 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.406 * [taylor]: Taking taylor expansion of (* x z) in x
1.406 * [taylor]: Taking taylor expansion of x in x
1.406 * [taylor]: Taking taylor expansion of z in x
1.406 * [taylor]: Taking taylor expansion of 1 in z
1.408 * [taylor]: Taking taylor expansion of 0 in x
1.408 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.408 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.408 * [taylor]: Taking taylor expansion of z in z
1.410 * [taylor]: Taking taylor expansion of 0 in x
1.410 * [taylor]: Taking taylor expansion of 0 in z
1.411 * [taylor]: Taking taylor expansion of 0 in z
1.414 * [taylor]: Taking taylor expansion of 0 in x
1.414 * [taylor]: Taking taylor expansion of 0 in z
1.414 * [taylor]: Taking taylor expansion of 0 in z
1.415 * [taylor]: Taking taylor expansion of 0 in z
1.416 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in (y x z) around 0
1.416 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in z
1.416 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in z
1.416 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in z
1.416 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
1.416 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.416 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.416 * [taylor]: Taking taylor expansion of x in z
1.416 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.416 * [taylor]: Taking taylor expansion of y in z
1.416 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in z
1.416 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.416 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.416 * [taylor]: Taking taylor expansion of z in z
1.416 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.416 * [taylor]: Taking taylor expansion of y in z
1.416 * [taylor]: Taking taylor expansion of y in z
1.416 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in z
1.416 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in z
1.416 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.416 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.416 * [taylor]: Taking taylor expansion of x in z
1.416 * [taylor]: Taking taylor expansion of y in z
1.417 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in z
1.417 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
1.417 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.417 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.417 * [taylor]: Taking taylor expansion of z in z
1.417 * [taylor]: Taking taylor expansion of y in z
1.417 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.417 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.417 * [taylor]: Taking taylor expansion of x in z
1.417 * [taylor]: Taking taylor expansion of (* z y) in z
1.417 * [taylor]: Taking taylor expansion of z in z
1.417 * [taylor]: Taking taylor expansion of y in z
1.417 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in x
1.417 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in x
1.417 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in x
1.417 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.417 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.417 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.417 * [taylor]: Taking taylor expansion of x in x
1.417 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.417 * [taylor]: Taking taylor expansion of y in x
1.418 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in x
1.418 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.418 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.418 * [taylor]: Taking taylor expansion of z in x
1.418 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.418 * [taylor]: Taking taylor expansion of y in x
1.418 * [taylor]: Taking taylor expansion of y in x
1.418 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in x
1.418 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
1.418 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.418 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.418 * [taylor]: Taking taylor expansion of x in x
1.418 * [taylor]: Taking taylor expansion of y in x
1.418 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in x
1.418 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
1.418 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.418 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.418 * [taylor]: Taking taylor expansion of z in x
1.418 * [taylor]: Taking taylor expansion of y in x
1.418 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.418 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.418 * [taylor]: Taking taylor expansion of x in x
1.418 * [taylor]: Taking taylor expansion of (* z y) in x
1.418 * [taylor]: Taking taylor expansion of z in x
1.418 * [taylor]: Taking taylor expansion of y in x
1.419 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in y
1.419 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in y
1.419 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.419 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.419 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.419 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.419 * [taylor]: Taking taylor expansion of x in y
1.419 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.419 * [taylor]: Taking taylor expansion of y in y
1.419 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.419 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.419 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.419 * [taylor]: Taking taylor expansion of z in y
1.419 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.419 * [taylor]: Taking taylor expansion of y in y
1.419 * [taylor]: Taking taylor expansion of y in y
1.419 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.419 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.419 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.419 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.419 * [taylor]: Taking taylor expansion of x in y
1.419 * [taylor]: Taking taylor expansion of y in y
1.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.420 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.420 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.420 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.420 * [taylor]: Taking taylor expansion of z in y
1.420 * [taylor]: Taking taylor expansion of y in y
1.420 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.420 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.420 * [taylor]: Taking taylor expansion of x in y
1.420 * [taylor]: Taking taylor expansion of (* z y) in y
1.420 * [taylor]: Taking taylor expansion of z in y
1.420 * [taylor]: Taking taylor expansion of y in y
1.421 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))))) in y
1.421 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) y) in y
1.422 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.422 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.422 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.422 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.422 * [taylor]: Taking taylor expansion of x in y
1.422 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.422 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.422 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.422 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.422 * [taylor]: Taking taylor expansion of z in y
1.422 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.422 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.422 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.422 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.422 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.422 * [taylor]: Taking taylor expansion of x in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.422 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.422 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.422 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.422 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.422 * [taylor]: Taking taylor expansion of z in y
1.422 * [taylor]: Taking taylor expansion of y in y
1.423 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.423 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.423 * [taylor]: Taking taylor expansion of x in y
1.423 * [taylor]: Taking taylor expansion of (* z y) in y
1.423 * [taylor]: Taking taylor expansion of z in y
1.423 * [taylor]: Taking taylor expansion of y in y
1.424 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z))))) in x
1.424 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
1.424 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.424 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.424 * [taylor]: Taking taylor expansion of x in x
1.424 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.424 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.424 * [taylor]: Taking taylor expansion of z in x
1.425 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
1.425 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.425 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.425 * [taylor]: Taking taylor expansion of x in x
1.425 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
1.425 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.425 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.425 * [taylor]: Taking taylor expansion of z in x
1.425 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.425 * [taylor]: Taking taylor expansion of (* x z) in x
1.425 * [taylor]: Taking taylor expansion of x in x
1.425 * [taylor]: Taking taylor expansion of z in x
1.425 * [taylor]: Taking taylor expansion of 1 in z
1.427 * [taylor]: Taking taylor expansion of 0 in x
1.427 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
1.427 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.427 * [taylor]: Taking taylor expansion of z in z
1.430 * [taylor]: Taking taylor expansion of 0 in x
1.430 * [taylor]: Taking taylor expansion of 0 in z
1.430 * [taylor]: Taking taylor expansion of 0 in z
1.433 * [taylor]: Taking taylor expansion of 0 in x
1.433 * [taylor]: Taking taylor expansion of 0 in z
1.433 * [taylor]: Taking taylor expansion of 0 in z
1.434 * [taylor]: Taking taylor expansion of 0 in z
1.434 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.435 * [approximate]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in (y x z) around 0
1.435 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in z
1.435 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.435 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.435 * [taylor]: Taking taylor expansion of x in z
1.435 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.435 * [taylor]: Taking taylor expansion of y in z
1.435 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.435 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.435 * [taylor]: Taking taylor expansion of z in z
1.435 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.435 * [taylor]: Taking taylor expansion of y in z
1.435 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in x
1.435 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.435 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.435 * [taylor]: Taking taylor expansion of x in x
1.435 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.435 * [taylor]: Taking taylor expansion of y in x
1.435 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.435 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.435 * [taylor]: Taking taylor expansion of z in x
1.435 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.435 * [taylor]: Taking taylor expansion of y in x
1.435 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in y
1.435 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.435 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.435 * [taylor]: Taking taylor expansion of x in y
1.435 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.435 * [taylor]: Taking taylor expansion of y in y
1.435 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.435 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.435 * [taylor]: Taking taylor expansion of z in y
1.435 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.435 * [taylor]: Taking taylor expansion of y in y
1.435 * [taylor]: Taking taylor expansion of (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3))) in y
1.435 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.435 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.435 * [taylor]: Taking taylor expansion of x in y
1.435 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.435 * [taylor]: Taking taylor expansion of y in y
1.435 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.435 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.435 * [taylor]: Taking taylor expansion of z in y
1.435 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.435 * [taylor]: Taking taylor expansion of y in y
1.436 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x
1.436 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.436 * [taylor]: Taking taylor expansion of x in x
1.436 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.436 * [taylor]: Taking taylor expansion of z in x
1.436 * [taylor]: Taking taylor expansion of (neg (pow z 3)) in z
1.436 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.436 * [taylor]: Taking taylor expansion of z in z
1.436 * [taylor]: Taking taylor expansion of 0 in x
1.436 * [taylor]: Taking taylor expansion of 0 in z
1.436 * [taylor]: Taking taylor expansion of 0 in z
1.437 * [taylor]: Taking taylor expansion of 0 in x
1.437 * [taylor]: Taking taylor expansion of 0 in z
1.437 * [taylor]: Taking taylor expansion of 0 in z
1.437 * [taylor]: Taking taylor expansion of 0 in z
1.437 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in (y x z) around 0
1.437 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in z
1.438 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
1.438 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.438 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.438 * [taylor]: Taking taylor expansion of x in z
1.438 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.438 * [taylor]: Taking taylor expansion of y in z
1.438 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in z
1.438 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.438 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.438 * [taylor]: Taking taylor expansion of z in z
1.438 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.438 * [taylor]: Taking taylor expansion of y in z
1.438 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in x
1.438 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.438 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.438 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.438 * [taylor]: Taking taylor expansion of x in x
1.438 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.438 * [taylor]: Taking taylor expansion of y in x
1.438 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in x
1.438 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.438 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.438 * [taylor]: Taking taylor expansion of z in x
1.438 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.438 * [taylor]: Taking taylor expansion of y in x
1.439 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.439 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.439 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.439 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.439 * [taylor]: Taking taylor expansion of x in y
1.439 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.439 * [taylor]: Taking taylor expansion of y in y
1.439 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.439 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.439 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.439 * [taylor]: Taking taylor expansion of z in y
1.439 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.439 * [taylor]: Taking taylor expansion of y in y
1.439 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.439 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.439 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.439 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.439 * [taylor]: Taking taylor expansion of x in y
1.439 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.439 * [taylor]: Taking taylor expansion of y in y
1.440 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.440 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.440 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.440 * [taylor]: Taking taylor expansion of z in y
1.440 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.440 * [taylor]: Taking taylor expansion of y in y
1.440 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
1.440 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.440 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.440 * [taylor]: Taking taylor expansion of x in x
1.440 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.440 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.440 * [taylor]: Taking taylor expansion of z in x
1.440 * [taylor]: Taking taylor expansion of 1 in z
1.441 * [taylor]: Taking taylor expansion of 0 in x
1.441 * [taylor]: Taking taylor expansion of 0 in z
1.442 * [taylor]: Taking taylor expansion of 0 in x
1.442 * [taylor]: Taking taylor expansion of 0 in z
1.443 * [taylor]: Taking taylor expansion of 0 in x
1.443 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 3))) in z
1.443 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.443 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.443 * [taylor]: Taking taylor expansion of z in z
1.444 * [taylor]: Taking taylor expansion of 0 in x
1.444 * [taylor]: Taking taylor expansion of 0 in z
1.445 * [taylor]: Taking taylor expansion of 0 in z
1.446 * [taylor]: Taking taylor expansion of 0 in x
1.446 * [taylor]: Taking taylor expansion of 0 in z
1.446 * [taylor]: Taking taylor expansion of 0 in z
1.447 * [taylor]: Taking taylor expansion of 0 in z
1.447 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in (y x z) around 0
1.447 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in z
1.447 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
1.447 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.447 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.447 * [taylor]: Taking taylor expansion of x in z
1.447 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.447 * [taylor]: Taking taylor expansion of y in z
1.448 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in z
1.448 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in z
1.448 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.448 * [taylor]: Taking taylor expansion of z in z
1.448 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.448 * [taylor]: Taking taylor expansion of y in z
1.448 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in x
1.448 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.448 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.448 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.448 * [taylor]: Taking taylor expansion of x in x
1.448 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.448 * [taylor]: Taking taylor expansion of y in x
1.448 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in x
1.448 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in x
1.448 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.448 * [taylor]: Taking taylor expansion of z in x
1.448 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.448 * [taylor]: Taking taylor expansion of y in x
1.449 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.449 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.449 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.449 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.449 * [taylor]: Taking taylor expansion of x in y
1.449 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.449 * [taylor]: Taking taylor expansion of y in y
1.449 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.449 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.449 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.449 * [taylor]: Taking taylor expansion of z in y
1.449 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.449 * [taylor]: Taking taylor expansion of y in y
1.449 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (* (pow z 3) (pow y 3)))) in y
1.449 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.449 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.449 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.449 * [taylor]: Taking taylor expansion of x in y
1.449 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.449 * [taylor]: Taking taylor expansion of y in y
1.449 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y
1.449 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y
1.449 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.449 * [taylor]: Taking taylor expansion of z in y
1.449 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.450 * [taylor]: Taking taylor expansion of y in y
1.450 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
1.450 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.450 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.450 * [taylor]: Taking taylor expansion of x in x
1.450 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.450 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.450 * [taylor]: Taking taylor expansion of z in x
1.450 * [taylor]: Taking taylor expansion of 1 in z
1.451 * [taylor]: Taking taylor expansion of 0 in x
1.451 * [taylor]: Taking taylor expansion of 0 in z
1.452 * [taylor]: Taking taylor expansion of 0 in x
1.452 * [taylor]: Taking taylor expansion of 0 in z
1.453 * [taylor]: Taking taylor expansion of 0 in x
1.453 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 3))) in z
1.453 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.453 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.453 * [taylor]: Taking taylor expansion of z in z
1.454 * [taylor]: Taking taylor expansion of 0 in x
1.454 * [taylor]: Taking taylor expansion of 0 in z
1.455 * [taylor]: Taking taylor expansion of 0 in z
1.456 * [taylor]: Taking taylor expansion of 0 in x
1.456 * [taylor]: Taking taylor expansion of 0 in z
1.456 * [taylor]: Taking taylor expansion of 0 in z
1.457 * [taylor]: Taking taylor expansion of 0 in z
1.457 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
1.457 * [approximate]: Taking taylor expansion of (* (pow x 2) y) in (y x) around 0
1.457 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.457 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.457 * [taylor]: Taking taylor expansion of x in x
1.457 * [taylor]: Taking taylor expansion of y in x
1.457 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.457 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.457 * [taylor]: Taking taylor expansion of x in y
1.457 * [taylor]: Taking taylor expansion of y in y
1.457 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.457 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.457 * [taylor]: Taking taylor expansion of x in y
1.457 * [taylor]: Taking taylor expansion of y in y
1.458 * [taylor]: Taking taylor expansion of 0 in x
1.458 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.458 * [taylor]: Taking taylor expansion of x in x
1.458 * [taylor]: Taking taylor expansion of 0 in x
1.458 * [taylor]: Taking taylor expansion of 0 in x
1.458 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in (y x) around 0
1.458 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
1.458 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.458 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.458 * [taylor]: Taking taylor expansion of x in x
1.458 * [taylor]: Taking taylor expansion of y in x
1.458 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.458 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.458 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.458 * [taylor]: Taking taylor expansion of x in y
1.458 * [taylor]: Taking taylor expansion of y in y
1.459 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.459 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.459 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.459 * [taylor]: Taking taylor expansion of x in y
1.459 * [taylor]: Taking taylor expansion of y in y
1.459 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.459 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.459 * [taylor]: Taking taylor expansion of x in x
1.459 * [taylor]: Taking taylor expansion of 0 in x
1.460 * [taylor]: Taking taylor expansion of 0 in x
1.460 * [taylor]: Taking taylor expansion of 0 in x
1.460 * [taylor]: Taking taylor expansion of 0 in x
1.461 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in (y x) around 0
1.461 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in x
1.461 * [taylor]: Taking taylor expansion of -1 in x
1.461 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.461 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.461 * [taylor]: Taking taylor expansion of x in x
1.461 * [taylor]: Taking taylor expansion of y in x
1.461 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in y
1.461 * [taylor]: Taking taylor expansion of -1 in y
1.461 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.461 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.461 * [taylor]: Taking taylor expansion of x in y
1.461 * [taylor]: Taking taylor expansion of y in y
1.461 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in y
1.461 * [taylor]: Taking taylor expansion of -1 in y
1.461 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.461 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.461 * [taylor]: Taking taylor expansion of x in y
1.461 * [taylor]: Taking taylor expansion of y in y
1.461 * [taylor]: Taking taylor expansion of (/ -1 (pow x 2)) in x
1.462 * [taylor]: Taking taylor expansion of -1 in x
1.462 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.462 * [taylor]: Taking taylor expansion of x in x
1.462 * [taylor]: Taking taylor expansion of 0 in x
1.462 * [taylor]: Taking taylor expansion of 0 in x
1.463 * [taylor]: Taking taylor expansion of 0 in x
1.463 * [taylor]: Taking taylor expansion of 0 in x
1.463 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.464 * [approximate]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in (y x z) around 0
1.464 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in z
1.464 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in z
1.464 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.464 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.464 * [taylor]: Taking taylor expansion of z in z
1.464 * [taylor]: Taking taylor expansion of y in z
1.464 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in z
1.464 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.464 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.464 * [taylor]: Taking taylor expansion of x in z
1.464 * [taylor]: Taking taylor expansion of y in z
1.464 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.464 * [taylor]: Taking taylor expansion of x in z
1.464 * [taylor]: Taking taylor expansion of (* z y) in z
1.464 * [taylor]: Taking taylor expansion of z in z
1.464 * [taylor]: Taking taylor expansion of y in z
1.464 * [taylor]: Taking taylor expansion of y in z
1.464 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in x
1.464 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in x
1.464 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.464 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.464 * [taylor]: Taking taylor expansion of z in x
1.464 * [taylor]: Taking taylor expansion of y in x
1.464 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in x
1.464 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.464 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.464 * [taylor]: Taking taylor expansion of x in x
1.464 * [taylor]: Taking taylor expansion of y in x
1.464 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.464 * [taylor]: Taking taylor expansion of x in x
1.464 * [taylor]: Taking taylor expansion of (* z y) in x
1.464 * [taylor]: Taking taylor expansion of z in x
1.464 * [taylor]: Taking taylor expansion of y in x
1.464 * [taylor]: Taking taylor expansion of y in x
1.464 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in y
1.464 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in y
1.464 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.464 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.464 * [taylor]: Taking taylor expansion of z in y
1.464 * [taylor]: Taking taylor expansion of y in y
1.464 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in y
1.466 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.466 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.466 * [taylor]: Taking taylor expansion of x in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.466 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.466 * [taylor]: Taking taylor expansion of x in y
1.466 * [taylor]: Taking taylor expansion of (* z y) in y
1.466 * [taylor]: Taking taylor expansion of z in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.466 * [taylor]: Taking taylor expansion of (* (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) y) in y
1.466 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* (pow x 2) y) (* x (* z y)))) in y
1.466 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.466 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.466 * [taylor]: Taking taylor expansion of z in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.466 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) y) (* x (* z y))) in y
1.466 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.466 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.466 * [taylor]: Taking taylor expansion of x in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.466 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.466 * [taylor]: Taking taylor expansion of x in y
1.466 * [taylor]: Taking taylor expansion of (* z y) in y
1.466 * [taylor]: Taking taylor expansion of z in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.467 * [taylor]: Taking taylor expansion of 0 in x
1.467 * [taylor]: Taking taylor expansion of 0 in z
1.467 * [taylor]: Taking taylor expansion of 0 in x
1.467 * [taylor]: Taking taylor expansion of 0 in z
1.467 * [taylor]: Taking taylor expansion of 0 in z
1.468 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in x
1.468 * [taylor]: Taking taylor expansion of (* x z) in x
1.468 * [taylor]: Taking taylor expansion of x in x
1.468 * [taylor]: Taking taylor expansion of z in x
1.468 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in x
1.468 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.468 * [taylor]: Taking taylor expansion of x in x
1.468 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.468 * [taylor]: Taking taylor expansion of z in x
1.468 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.468 * [taylor]: Taking taylor expansion of z in z
1.468 * [taylor]: Taking taylor expansion of 0 in z
1.468 * [taylor]: Taking taylor expansion of 0 in z
1.468 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in (y x z) around 0
1.468 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in z
1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in z
1.468 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in z
1.468 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.468 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.468 * [taylor]: Taking taylor expansion of x in z
1.468 * [taylor]: Taking taylor expansion of y in z
1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in z
1.469 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
1.469 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.469 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.469 * [taylor]: Taking taylor expansion of z in z
1.469 * [taylor]: Taking taylor expansion of y in z
1.469 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.469 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.469 * [taylor]: Taking taylor expansion of x in z
1.469 * [taylor]: Taking taylor expansion of (* z y) in z
1.469 * [taylor]: Taking taylor expansion of z in z
1.469 * [taylor]: Taking taylor expansion of y in z
1.469 * [taylor]: Taking taylor expansion of y in z
1.469 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in x
1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in x
1.469 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
1.469 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.469 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.469 * [taylor]: Taking taylor expansion of x in x
1.469 * [taylor]: Taking taylor expansion of y in x
1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in x
1.469 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
1.469 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.469 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.469 * [taylor]: Taking taylor expansion of z in x
1.469 * [taylor]: Taking taylor expansion of y in x
1.469 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.469 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.469 * [taylor]: Taking taylor expansion of x in x
1.469 * [taylor]: Taking taylor expansion of (* z y) in x
1.469 * [taylor]: Taking taylor expansion of z in x
1.470 * [taylor]: Taking taylor expansion of y in x
1.470 * [taylor]: Taking taylor expansion of y in x
1.470 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in y
1.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.470 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.470 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.470 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.470 * [taylor]: Taking taylor expansion of x in y
1.470 * [taylor]: Taking taylor expansion of y in y
1.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.470 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.470 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.470 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.470 * [taylor]: Taking taylor expansion of z in y
1.470 * [taylor]: Taking taylor expansion of y in y
1.470 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.470 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.470 * [taylor]: Taking taylor expansion of x in y
1.470 * [taylor]: Taking taylor expansion of (* z y) in y
1.470 * [taylor]: Taking taylor expansion of z in y
1.470 * [taylor]: Taking taylor expansion of y in y
1.470 * [taylor]: Taking taylor expansion of y in y
1.471 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in y
1.471 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.471 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.471 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.471 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.471 * [taylor]: Taking taylor expansion of x in y
1.471 * [taylor]: Taking taylor expansion of y in y
1.471 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.471 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.471 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.471 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.471 * [taylor]: Taking taylor expansion of z in y
1.471 * [taylor]: Taking taylor expansion of y in y
1.472 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.472 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.472 * [taylor]: Taking taylor expansion of x in y
1.472 * [taylor]: Taking taylor expansion of (* z y) in y
1.472 * [taylor]: Taking taylor expansion of z in y
1.472 * [taylor]: Taking taylor expansion of y in y
1.472 * [taylor]: Taking taylor expansion of y in y
1.472 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
1.472 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.472 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.472 * [taylor]: Taking taylor expansion of x in x
1.472 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
1.472 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.472 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.472 * [taylor]: Taking taylor expansion of z in x
1.472 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.472 * [taylor]: Taking taylor expansion of (* x z) in x
1.472 * [taylor]: Taking taylor expansion of x in x
1.472 * [taylor]: Taking taylor expansion of z in x
1.472 * [taylor]: Taking taylor expansion of 1 in z
1.473 * [taylor]: Taking taylor expansion of 0 in x
1.473 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.473 * [taylor]: Taking taylor expansion of z in z
1.474 * [taylor]: Taking taylor expansion of 0 in x
1.475 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.475 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.475 * [taylor]: Taking taylor expansion of z in z
1.475 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in (y x z) around 0
1.475 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in z
1.475 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in z
1.475 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in z
1.475 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in z
1.475 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.475 * [taylor]: Taking taylor expansion of x in z
1.475 * [taylor]: Taking taylor expansion of y in z
1.476 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in z
1.476 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
1.476 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
1.476 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.476 * [taylor]: Taking taylor expansion of z in z
1.476 * [taylor]: Taking taylor expansion of y in z
1.476 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.476 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.476 * [taylor]: Taking taylor expansion of x in z
1.476 * [taylor]: Taking taylor expansion of (* z y) in z
1.476 * [taylor]: Taking taylor expansion of z in z
1.476 * [taylor]: Taking taylor expansion of y in z
1.476 * [taylor]: Taking taylor expansion of y in z
1.476 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in x
1.476 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in x
1.476 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
1.476 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
1.476 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.476 * [taylor]: Taking taylor expansion of x in x
1.476 * [taylor]: Taking taylor expansion of y in x
1.476 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in x
1.476 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
1.476 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
1.476 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.476 * [taylor]: Taking taylor expansion of z in x
1.476 * [taylor]: Taking taylor expansion of y in x
1.476 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.476 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.476 * [taylor]: Taking taylor expansion of x in x
1.476 * [taylor]: Taking taylor expansion of (* z y) in x
1.476 * [taylor]: Taking taylor expansion of z in x
1.476 * [taylor]: Taking taylor expansion of y in x
1.477 * [taylor]: Taking taylor expansion of y in x
1.477 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in y
1.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.477 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.477 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.477 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.477 * [taylor]: Taking taylor expansion of x in y
1.477 * [taylor]: Taking taylor expansion of y in y
1.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.477 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.477 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.477 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.477 * [taylor]: Taking taylor expansion of z in y
1.477 * [taylor]: Taking taylor expansion of y in y
1.477 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.477 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.477 * [taylor]: Taking taylor expansion of x in y
1.477 * [taylor]: Taking taylor expansion of (* z y) in y
1.477 * [taylor]: Taking taylor expansion of z in y
1.477 * [taylor]: Taking taylor expansion of y in y
1.477 * [taylor]: Taking taylor expansion of y in y
1.478 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) y) in y
1.478 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y))))) in y
1.478 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
1.478 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
1.478 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.478 * [taylor]: Taking taylor expansion of x in y
1.478 * [taylor]: Taking taylor expansion of y in y
1.478 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 (* x (* z y)))) in y
1.478 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
1.478 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
1.478 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.478 * [taylor]: Taking taylor expansion of z in y
1.478 * [taylor]: Taking taylor expansion of y in y
1.479 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.479 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.479 * [taylor]: Taking taylor expansion of x in y
1.479 * [taylor]: Taking taylor expansion of (* z y) in y
1.479 * [taylor]: Taking taylor expansion of z in y
1.479 * [taylor]: Taking taylor expansion of y in y
1.479 * [taylor]: Taking taylor expansion of y in y
1.479 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
1.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.479 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.479 * [taylor]: Taking taylor expansion of x in x
1.479 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
1.479 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.479 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.479 * [taylor]: Taking taylor expansion of z in x
1.479 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.479 * [taylor]: Taking taylor expansion of (* x z) in x
1.479 * [taylor]: Taking taylor expansion of x in x
1.479 * [taylor]: Taking taylor expansion of z in x
1.480 * [taylor]: Taking taylor expansion of 1 in z
1.480 * [taylor]: Taking taylor expansion of 0 in x
1.480 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.480 * [taylor]: Taking taylor expansion of z in z
1.481 * [taylor]: Taking taylor expansion of 0 in x
1.482 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.482 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.482 * [taylor]: Taking taylor expansion of z in z
1.482 * * * [progress]: simplifying candidates
1.485 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) (+ (log y) (log (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (- (log (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) (log (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (log (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (exp (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (/ (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3) (* (* (* y y) y) (* (* (+ (* y (* x x)) (* z (* y (+ x z)))) (+ (* y (* x x)) (* z (* y (+ x z))))) (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (/ (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3) (* (* (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (* (cbrt (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z))))))) (cbrt (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z))))))))
  (cbrt (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (* (* (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))) (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z))))))) (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (sqrt (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (sqrt (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (neg (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (neg (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (/ (cbrt (pow (* (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) 3)) y)
  (/ (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) 3)) y)
  (/ (cbrt (pow (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (+ (* (* y x) (* y x)) (+ (* (* y z) (* y z)) (* (* y x) (* y z)))) 3)) y)
  (/ (cbrt (pow (- (* y x) (* y z)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow 1 3)) y)
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) 3)) y)
  (/ (cbrt (pow (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (+ (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) 3)) y)
  (/ (cbrt (pow (- (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (+ (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) 3)) y)
  (/ (cbrt (pow (- (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (+ (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) 3)) y)
  (/ (cbrt (pow (- (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (pow y 3) 3)) y)
  (/ (cbrt (pow (- (pow x 3) (pow z 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (pow y 3) 3)) y)
  (/ (cbrt (pow (- (pow x 3) (pow z 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (pow y 3) 3)) y)
  (/ (cbrt (pow (- (pow x 3) (pow z 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (pow y 3) 3)) y)
  (/ (cbrt (pow (- (pow x 3) (pow z 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow 1 3)) y)
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (* (- (pow (* y x) 3) (pow (* y z) 3)) (- (pow (* y x) 3) (pow (* y z) 3)))) y)
  (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (* (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))) y)
  (/ (cbrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (* (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) 3)) y)
  (/ (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) 3)) y)
  (/ (cbrt (pow (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (+ (* (* y x) (* y x)) (+ (* (* y z) (* y z)) (* (* y x) (* y z)))) 3)) y)
  (/ (cbrt (pow (- (* y x) (* y z)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow 1 3)) y)
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) 3)) y)
  (/ (cbrt (pow (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (+ (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) 3)) y)
  (/ (cbrt (pow (- (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (+ (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) 3)) y)
  (/ (cbrt (pow (- (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (+ (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) 3)) y)
  (/ (cbrt (pow (- (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (pow y 3) 3)) y)
  (/ (cbrt (pow (- (pow x 3) (pow z 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (pow y 3) 3)) y)
  (/ (cbrt (pow (- (pow x 3) (pow z 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (pow y 3) 3)) y)
  (/ (cbrt (pow (- (pow x 3) (pow z 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (pow y 3) 3)) y)
  (/ (cbrt (pow (- (pow x 3) (pow z 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow 1 3)) y)
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) y)
  (/ (cbrt (* (- (pow (* y x) 3) (pow (* y z) 3)) (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (sqrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) y)
  (/ (cbrt (sqrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt 1) y)
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) (/ 3 2))) y)
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) (/ 3 2))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (* (cbrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) (cbrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))) y)
  (/ (cbrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ (sqrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) y)
  (/ (sqrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ 1 y)
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (/ 1 (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) y)
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (* y x) (* y z)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow x 3) (pow z 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow x 3) (pow z 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow x 3) (pow z 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow x 3) (pow z 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (- (pow (* y x) 3) (pow (* y z) 3))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (* y x) (* y z)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow x 3) (pow z 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow x 3) (pow z 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow x 3) (pow z 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow x 3) (pow z 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (* (- (pow (* y x) 3) (pow (* y z) 3)) (- (pow (* y x) 3) (pow (* y z) 3)))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (sqrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) (/ 3 2))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (sqrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))))
  (/ (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (+ (pow (* y (* x x)) 3) (pow (* z (* y (+ x z))) 3))))
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (* y (- (* (* y (* x x)) (* y (* x x))) (* (* z (* y (+ x z))) (* z (* y (+ x z)))))))
  (* (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (+ (* (pow (* y x) 3) (pow (* y x) 3)) (+ (* (pow (* y z) 3) (pow (* y z) 3)) (* (pow (* y x) 3) (pow (* y z) 3)))) 3)))
  (* (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (pow (+ (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (log (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (exp (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (cbrt (pow (* (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) 3))
  (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 3))
  (cbrt (pow (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) 3))
  (cbrt (pow (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) 3))
  (cbrt (pow (+ (* (* y x) (* y x)) (+ (* (* y z) (* y z)) (* (* y x) (* y z)))) 3))
  (cbrt (pow (- (* y x) (* y z)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))
  (cbrt (pow (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) 3))
  (cbrt (pow (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) 3))
  (cbrt (pow (+ (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) 3))
  (cbrt (pow (- (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) 3))
  (cbrt (pow (+ (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) 3))
  (cbrt (pow (- (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) 3))
  (cbrt (pow (+ (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) 3))
  (cbrt (pow (- (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) 3))
  (cbrt (pow (pow y 3) 3))
  (cbrt (pow (- (pow x 3) (pow z 3)) 3))
  (cbrt (pow (pow y 3) 3))
  (cbrt (pow (- (pow x 3) (pow z 3)) 3))
  (cbrt (pow (pow y 3) 3))
  (cbrt (pow (- (pow x 3) (pow z 3)) 3))
  (cbrt (pow (pow y 3) 3))
  (cbrt (pow (- (pow x 3) (pow z 3)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))
  (cbrt (* (- (pow (* y x) 3) (pow (* y z) 3)) (- (pow (* y x) 3) (pow (* y z) 3))))
  (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (cbrt (* (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))))
  (cbrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (cbrt (pow (* (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) 3))
  (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 3))
  (cbrt (pow (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) 3))
  (cbrt (pow (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) 3))
  (cbrt (pow (+ (* (* y x) (* y x)) (+ (* (* y z) (* y z)) (* (* y x) (* y z)))) 3))
  (cbrt (pow (- (* y x) (* y z)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))
  (cbrt (pow (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) 3))
  (cbrt (pow (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) 3))
  (cbrt (pow (+ (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) 3))
  (cbrt (pow (- (sqrt (pow (* y x) 3)) (pow (* y z) (/ 3 2))) 3))
  (cbrt (pow (+ (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) 3))
  (cbrt (pow (- (pow (* y x) (/ 3 2)) (sqrt (pow (* y z) 3))) 3))
  (cbrt (pow (+ (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) 3))
  (cbrt (pow (- (pow (* y x) (/ 3 2)) (pow (* y z) (/ 3 2))) 3))
  (cbrt (pow (pow y 3) 3))
  (cbrt (pow (- (pow x 3) (pow z 3)) 3))
  (cbrt (pow (pow y 3) 3))
  (cbrt (pow (- (pow x 3) (pow z 3)) 3))
  (cbrt (pow (pow y 3) 3))
  (cbrt (pow (- (pow x 3) (pow z 3)) 3))
  (cbrt (pow (pow y 3) 3))
  (cbrt (pow (- (pow x 3) (pow z 3)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))
  (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (cbrt (* (- (pow (* y x) 3) (pow (* y z) 3)) (- (pow (* y x) 3) (pow (* y z) 3))))
  (cbrt (sqrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (cbrt (sqrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (cbrt 1)
  (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))
  (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) (/ 3 2)))
  (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) (/ 3 2)))
  (cbrt (pow (- (pow (pow (* y x) 3) 3) (pow (pow (* y z) 3) 3)) 3))
  (cbrt (pow (+ (* (pow (* y x) 3) (pow (* y x) 3)) (+ (* (pow (* y z) 3) (pow (* y z) 3)) (* (pow (* y x) 3) (pow (* y z) 3)))) 3))
  (cbrt (pow (- (* (pow (* y x) 3) (pow (* y x) 3)) (* (pow (* y z) 3) (pow (* y z) 3))) 3))
  (cbrt (pow (+ (pow (* y x) 3) (pow (* y z) 3)) 3))
  (* (cbrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) (cbrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))))
  (cbrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (* (* (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (sqrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (sqrt (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (* y (* x x))
  (* y (* x x))
  (+ (log y) (+ (log x) (log x)))
  (+ (log y) (log (* x x)))
  (log (* y (* x x)))
  (exp (* y (* x x)))
  (* (* (* y y) y) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* y y) y) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* y (* x x))) (cbrt (* y (* x x))))
  (cbrt (* y (* x x)))
  (* (* (* y (* x x)) (* y (* x x))) (* y (* x x)))
  (sqrt (* y (* x x)))
  (sqrt (* y (* x x)))
  (* (sqrt y) x)
  (* (sqrt y) x)
  (* y x)
  (* (cbrt y) (* x x))
  (* (sqrt y) (* x x))
  (* y (* x x))
  (* y (+ (* y (* x x)) (* z (* y (+ x z)))))
  (+ (log y) (log (+ (* y (* x x)) (* z (* y (+ x z))))))
  (log (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (exp (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* (* (* y y) y) (* (* (+ (* y (* x x)) (* z (* y (+ x z)))) (+ (* y (* x x)) (* z (* y (+ x z))))) (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* (cbrt (* y (+ (* y (* x x)) (* z (* y (+ x z)))))) (cbrt (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (cbrt (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* (* (* y (+ (* y (* x x)) (* z (* y (+ x z))))) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))) (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (sqrt (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (sqrt (* y (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* (sqrt y) (sqrt (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* (sqrt y) (sqrt (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* y (* y (* x x)))
  (* y (* z (* y (+ x z))))
  (* (* y (* x x)) y)
  (* (* z (* y (+ x z))) y)
  (* y (* (cbrt (+ (* y (* x x)) (* z (* y (+ x z))))) (cbrt (+ (* y (* x x)) (* z (* y (+ x z)))))))
  (* y (sqrt (+ (* y (* x x)) (* z (* y (+ x z))))))
  (* y 1)
  (* (cbrt y) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (* (sqrt y) (+ (* y (* x x)) (* z (* y (+ x z)))))
  (* y (+ (* y (* x x)) (* z (* y (+ x z)))))
  (* y (+ (pow (* y (* x x)) 3) (pow (* z (* y (+ x z))) 3)))
  (* y (- (* (* y (* x x)) (* y (* x x))) (* (* z (* y (+ x z))) (* z (* y (+ x z))))))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  0
  (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3)))
  (- (* (pow x 3) (pow y 3)) (* (pow z 3) (pow y 3)))
  (* (pow x 2) y)
  (* (pow x 2) y)
  (* (pow x 2) y)
  0
  (+ (* x (* z (pow y 2))) (+ (* (pow x 2) (pow y 2)) (* (pow z 2) (pow y 2))))
  (+ (* x (* z (pow y 2))) (+ (* (pow x 2) (pow y 2)) (* (pow z 2) (pow y 2))))
1.525 * * [simplify]: iteration  0 :  5017  enodes  (cost  4011 )
1.537 * [simplify]: Simplified to:
   (log (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (log (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (log (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (pow (exp (* y y)) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z))))))
  (* (pow y 6) (pow (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z))))) 3))
  (* (pow y 6) (pow (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z))))) 3))
  (* (cbrt (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z))))))) (cbrt (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z))))))))
  (cbrt (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (* (pow y 6) (pow (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z))))) 3))
  (sqrt (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (sqrt (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (+ (neg (pow (* y x) 3)) (pow (* y z) 3))
  (* y (- (* y (neg (* z (+ x z)))) (* y (* x x))))
  (/ (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6)) y)
  (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) y)
  (/ (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (* y (+ (* y (* x x)) (* y (* z (+ x z))))) y)
  (/ y (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (- x z)))
  (/ (cbrt 1) y)
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) y)
  (/ (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (sqrt (pow (* y x) 3)) (pow (* y z) 3/2)) y)
  (/ (- (sqrt (pow (* y x) 3)) (pow (* y z) 3/2)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (sqrt (pow (* y z) 3)) (pow (* y x) 3/2)) y)
  (/ (- (pow (* y x) 3/2) (sqrt (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (pow (* y z) 3/2) (pow (* y x) 3/2)) y)
  (/ (- (pow (* y x) 3/2) (pow (* y z) 3/2)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (cbrt 1) y)
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6)) y)
  (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6)) y)
  (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6)) y)
  (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) y)
  (/ (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (* y (+ (* y (* x x)) (* y (* z (+ x z))))) y)
  (/ y (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (- x z)))
  (/ (cbrt 1) y)
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) y)
  (/ (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (sqrt (pow (* y x) 3)) (pow (* y z) 3/2)) y)
  (/ (- (sqrt (pow (* y x) 3)) (pow (* y z) 3/2)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (sqrt (pow (* y z) 3)) (pow (* y x) 3/2)) y)
  (/ (- (pow (* y x) 3/2) (sqrt (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (pow (* y z) 3/2) (pow (* y x) 3/2)) y)
  (/ (- (pow (* y x) 3/2) (pow (* y z) 3/2)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y y)
  (/ (- (pow x 3) (pow z 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (cbrt 1) y)
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) y)
  (/ (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (cbrt (sqrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) y)
  (/ (cbrt (sqrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (cbrt 1) y)
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2)) y)
  (/ (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6)) y)
  (/ (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) y)
  (/ (sqrt (- (pow (* y x) 3) (pow (* y z) 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ 1 y)
  (/ (- (pow (* y x) 3) (pow (* y z) 3)) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ 1 (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (* (* y y) (- (pow x 3) (pow z 3))))
  (* (* y y) (- (pow x 3) (pow z 3)))
  (* (/ y (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* 1 (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (- x z)))
  (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (* (* y y) (- (pow x 3) (pow z 3))))
  (* (/ y (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (sqrt (pow (* y x) 3)) (pow (* y z) 3/2))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow (* y x) 3/2) (sqrt (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow (* y x) 3/2) (pow (* y z) 3/2))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (* (* y y) (- (pow x 3) (pow z 3))))
  (* (/ y (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* 1 (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (- x z)))
  (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (* (* y y) (- (pow x 3) (pow z 3))))
  (* (/ y (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (sqrt (pow (* y x) 3)) (pow (* y z) 3/2))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow (* y x) 3/2) (sqrt (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow (* y x) 3/2) (pow (* y z) 3/2))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (- (pow x 3) (pow z 3))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (* (* y y) (- (pow x 3) (pow z 3))))
  (* (/ y (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (cbrt (sqrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (* (* y y) (- (pow x 3) (pow z 3))))
  (* (/ y (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* (/ y (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (/ (+ (* y (* x x)) (* y (* z (+ x z)))) (* (* y y) (- (pow x 3) (pow z 3))))
  (* (* y y) (/ (- (pow x 3) (pow z 3)) (+ (* (pow y 3) (pow x 6)) (pow (* y (* z (+ x z))) 3))))
  (* (* y y) (/ (- (pow x 3) (pow z 3)) (- (* y (* y (pow x 4))) (* z (* y (* (+ x z) (* y (* z (+ x z)))))))))
  (* y (* (+ (* y (* x x)) (* y (* z (+ x z)))) (+ (pow (* y x) 6) (+ (pow (* y z) 6) (* (pow (* y x) 3) (pow (* y z) 3))))))
  (* y (* (+ (* y (* x x)) (* y (* z (+ x z)))) (+ (pow (* y x) 3) (pow (* y z) 3))))
  (log (- (pow (* y x) 3) (pow (* y z) 3)))
  (pow (exp (pow y 3)) (- (pow x 3) (pow z 3)))
  (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6))
  (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y (- x z))
  (cbrt 1)
  (- (pow (* y x) 3) (pow (* y z) 3))
  (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))
  (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))
  (+ (sqrt (pow (* y x) 3)) (pow (* y z) 3/2))
  (- (sqrt (pow (* y x) 3)) (pow (* y z) 3/2))
  (+ (sqrt (pow (* y z) 3)) (pow (* y x) 3/2))
  (- (pow (* y x) 3/2) (sqrt (pow (* y z) 3)))
  (+ (pow (* y z) 3/2) (pow (* y x) 3/2))
  (- (pow (* y x) 3/2) (pow (* y z) 3/2))
  (pow y 3)
  (- (pow x 3) (pow z 3))
  (pow y 3)
  (- (pow x 3) (pow z 3))
  (pow y 3)
  (- (pow x 3) (pow z 3))
  (pow y 3)
  (- (pow x 3) (pow z 3))
  (cbrt 1)
  (- (pow (* y x) 3) (pow (* y z) 3))
  (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6))
  (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6))
  (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6))
  (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y (- x z))
  (cbrt 1)
  (- (pow (* y x) 3) (pow (* y z) 3))
  (+ (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))
  (- (sqrt (pow (* y x) 3)) (sqrt (pow (* y z) 3)))
  (+ (sqrt (pow (* y x) 3)) (pow (* y z) 3/2))
  (- (sqrt (pow (* y x) 3)) (pow (* y z) 3/2))
  (+ (sqrt (pow (* y z) 3)) (pow (* y x) 3/2))
  (- (pow (* y x) 3/2) (sqrt (pow (* y z) 3)))
  (+ (pow (* y z) 3/2) (pow (* y x) 3/2))
  (- (pow (* y x) 3/2) (pow (* y z) 3/2))
  (pow y 3)
  (- (pow x 3) (pow z 3))
  (pow y 3)
  (- (pow x 3) (pow z 3))
  (pow y 3)
  (- (pow x 3) (pow z 3))
  (pow y 3)
  (- (pow x 3) (pow z 3))
  (cbrt 1)
  (- (pow (* y x) 3) (pow (* y z) 3))
  (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6))
  (cbrt (sqrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (cbrt (sqrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)))
  (cbrt 1)
  (- (pow (* y x) 3) (pow (* y z) 3))
  (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2))
  (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2))
  (- (pow (pow (* y x) 3) 3) (pow (pow (* y z) 3) 3))
  (+ (pow (* y x) 6) (+ (pow (* y z) 6) (* (pow (* y x) 3) (pow (* y z) 3))))
  (- (pow (* y x) 6) (pow (* y z) 6))
  (+ (pow (* y x) 3) (pow (* y z) 3))
  (cbrt (pow (cbrt (- (pow (* y x) 3) (pow (* y z) 3))) 6))
  (cbrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3)
  (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (sqrt (- (pow (* y x) 3) (pow (* y z) 3)))
  (* y (* x x))
  (* y (* x x))
  (log (* y (* x x)))
  (log (* y (* x x)))
  (log (* y (* x x)))
  (pow (exp y) (* x x))
  (* (pow y 3) (pow x 6))
  (* (pow y 3) (pow x 6))
  (* (cbrt (* y (* x x))) (cbrt (* y (* x x))))
  (cbrt (* y (* x x)))
  (* (pow y 3) (pow x 6))
  (sqrt (* y (* x x)))
  (sqrt (* y (* x x)))
  (* x (sqrt y))
  (* x (sqrt y))
  (* y x)
  (* x (* x (cbrt y)))
  (* x (* x (sqrt y)))
  (* y (* x x))
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
  (log (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (log (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (pow (exp y) (+ (* y (* x x)) (* y (* z (+ x z)))))
  (pow (* y (+ (* y (* x x)) (* y (* z (+ x z))))) 3)
  (* (cbrt (* y (+ (* y (* x x)) (* y (* z (+ x z)))))) (cbrt (* y (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (cbrt (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (pow (* y (+ (* y (* x x)) (* y (* z (+ x z))))) 3)
  (sqrt (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (sqrt (* y (+ (* y (* x x)) (* y (* z (+ x z))))))
  (* (sqrt y) (sqrt (+ (* y (* x x)) (* y (* z (+ x z))))))
  (* (sqrt y) (sqrt (+ (* y (* x x)) (* y (* z (+ x z))))))
  (* y (* y (* x x)))
  (* y (* y (* z (+ x z))))
  (* y (* y (* x x)))
  (* y (* y (* z (+ x z))))
  (* y (* (cbrt (+ (* y (* x x)) (* y (* z (+ x z))))) (cbrt (+ (* y (* x x)) (* y (* z (+ x z)))))))
  (* y (sqrt (+ (* y (* x x)) (* y (* z (+ x z))))))
  y
  (* (+ (* y (* x x)) (* y (* z (+ x z)))) (cbrt y))
  (* (+ (* y (* x x)) (* y (* z (+ x z)))) (sqrt y))
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y (+ (* (pow y 3) (pow x 6)) (pow (* y (* z (+ x z))) 3)))
  (* y (- (* y (* y (pow x 4))) (* z (* y (* (+ x z) (* y (* z (+ x z))))))))
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
  0
  (- (pow (* y x) 3) (pow (* y z) 3))
  (- (pow (* y x) 3) (pow (* y z) 3))
  (* y (* x x))
  (* y (* x x))
  (* y (* x x))
  0
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
  (* y (+ (* y (* x x)) (* y (* z (+ x z)))))
1.538 * * * [progress]: adding candidates to table
1.770 * [progress]: [Phase 3 of 3] Extracting.
1.770 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* y x) (* y (neg z))))> #<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (/ (* (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2)) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2))) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))>)
1.771 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
1.771 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* y x) (* y (neg z))))> #<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (/ (* (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2)) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2))) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))>)
1.817 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* y x) (* y (neg z))))> #<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (/ (* (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2)) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2))) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))>)
1.863 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* y x) (* y (neg z))))> #<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (/ (* (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2)) (cbrt (pow (- (pow (* y x) 3) (pow (* y z) 3)) 3/2))) (* y (+ (* y (* x x)) (* z (* y (+ x z)))))))>)
1.909 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
1.910 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* y x) (* y (neg z)))
1.911 * * [simplify]: iteration  0 :  34  enodes  (cost  7 )
1.911 * * [simplify]: iteration  1 :  34  enodes  (cost  7 )
1.911 * [simplify]: Simplified to:
   (- (* y x) (* y z))
1.911 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
2.018 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
2.018 * * * * [points]: Setting MPFR precision to 2112
2.019 * * * * [points]: Setting MPFR precision to 2368
2.019 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
2.019 * * * * [points]: Setting MPFR precision to 2112
2.020 * * * * [points]: Setting MPFR precision to 2368
2.020 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
2.020 * * * * [points]: Setting MPFR precision to 2112
2.022 * * * * [points]: Setting MPFR precision to 2368
2.023 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
2.023 * * * * [points]: Setting MPFR precision to 2112
2.025 * * * * [points]: Setting MPFR precision to 2368
2.028 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
2.028 * * * * [points]: Setting MPFR precision to 2112
2.033 * * * * [points]: Setting MPFR precision to 2368
2.038 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
2.038 * * * * [points]: Setting MPFR precision to 2112
2.048 * * * * [points]: Setting MPFR precision to 2368
2.060 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.061 * * * * [points]: Setting MPFR precision to 2112
2.079 * * * * [points]: Setting MPFR precision to 2368
2.099 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.099 * * * * [points]: Setting MPFR precision to 2112
2.138 * * * * [points]: Setting MPFR precision to 2368
2.177 * * * * [points]: Computing exacts for 8000 points
2.177 * * * * [points]: Setting MPFR precision to 2112
2.329 * * * * [points]: Setting MPFR precision to 2368
2.482 * * * * [points]: Filtering points with unrepresentable outputs
2.495 * * * * [points]: Sampling 1585 additional inputs, on iter 1 have 6415 / 8000
2.518 * * * * [points]: Computing exacts on every 99 of 1585 points to ramp up precision
2.518 * * * * [points]: Setting MPFR precision to 2112
2.518 * * * * [points]: Setting MPFR precision to 2368
2.519 * * * * [points]: Computing exacts on every 49 of 1585 points to ramp up precision
2.519 * * * * [points]: Setting MPFR precision to 2112
2.519 * * * * [points]: Setting MPFR precision to 2368
2.520 * * * * [points]: Computing exacts on every 24 of 1585 points to ramp up precision
2.520 * * * * [points]: Setting MPFR precision to 2112
2.521 * * * * [points]: Setting MPFR precision to 2368
2.522 * * * * [points]: Computing exacts on every 12 of 1585 points to ramp up precision
2.522 * * * * [points]: Setting MPFR precision to 2112
2.525 * * * * [points]: Setting MPFR precision to 2368
2.527 * * * * [points]: Computing exacts on every 6 of 1585 points to ramp up precision
2.527 * * * * [points]: Setting MPFR precision to 2112
2.531 * * * * [points]: Setting MPFR precision to 2368
2.536 * * * * [points]: Computing exacts on every 3 of 1585 points to ramp up precision
2.536 * * * * [points]: Setting MPFR precision to 2112
2.543 * * * * [points]: Setting MPFR precision to 2368
2.551 * * * * [points]: Computing exacts for 1585 points
2.551 * * * * [points]: Setting MPFR precision to 2112
2.584 * * * * [points]: Setting MPFR precision to 2368
2.614 * * * * [points]: Filtering points with unrepresentable outputs
2.616 * * * * [points]: Sampling 318 additional inputs, on iter 2 have 7682 / 8000
2.621 * * * * [points]: Computing exacts on every 19 of 318 points to ramp up precision
2.621 * * * * [points]: Setting MPFR precision to 2112
2.621 * * * * [points]: Setting MPFR precision to 2368
2.622 * * * * [points]: Computing exacts on every 9 of 318 points to ramp up precision
2.622 * * * * [points]: Setting MPFR precision to 2112
2.622 * * * * [points]: Setting MPFR precision to 2368
2.623 * * * * [points]: Computing exacts on every 4 of 318 points to ramp up precision
2.623 * * * * [points]: Setting MPFR precision to 2112
2.624 * * * * [points]: Setting MPFR precision to 2368
2.626 * * * * [points]: Computing exacts on every 2 of 318 points to ramp up precision
2.626 * * * * [points]: Setting MPFR precision to 2112
2.628 * * * * [points]: Setting MPFR precision to 2368
2.630 * * * * [points]: Computing exacts for 318 points
2.630 * * * * [points]: Setting MPFR precision to 2112
2.636 * * * * [points]: Setting MPFR precision to 2368
2.642 * * * * [points]: Filtering points with unrepresentable outputs
2.642 * * * * [points]: Sampling 53 additional inputs, on iter 3 have 7947 / 8000
2.643 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
2.643 * * * * [points]: Setting MPFR precision to 2112
2.644 * * * * [points]: Setting MPFR precision to 2368
2.644 * * * * [points]: Computing exacts for 53 points
2.644 * * * * [points]: Setting MPFR precision to 2112
2.645 * * * * [points]: Setting MPFR precision to 2368
2.646 * * * * [points]: Filtering points with unrepresentable outputs
2.646 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 7988 / 8000
2.646 * * * * [points]: Computing exacts for 12 points
2.646 * * * * [points]: Setting MPFR precision to 2112
2.647 * * * * [points]: Setting MPFR precision to 2368
2.647 * * * * [points]: Filtering points with unrepresentable outputs
2.647 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 7999 / 8000
2.647 * * * * [points]: Computing exacts for 4 points
2.647 * * * * [points]: Setting MPFR precision to 2112
2.647 * * * * [points]: Setting MPFR precision to 2368
2.647 * * * * [points]: Filtering points with unrepresentable outputs
2.647 * * * * [points]: Sampled 8002 points with exact outputs
3.598 * [regime-testing]: End program error score: 0.02141524101186092
3.676 * [regime-testing]: Target error score: 0.011375