2.685 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.514 * * * [progress]: [2/2] Setting up program.
0.521 * [progress]: [Phase 2 of 3] Improving.
0.649 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (+.f64 x y) (-.f64 1 z))
0.694 * * [simplify]: iteration  0 :  569  enodes  (cost  10 )
0.694 * * [simplify]: iteration  1 :  569  enodes  (cost  10 )
0.694 * [simplify]: Simplified to:
   (*.f64 (+.f64 x y) (-.f64 1 z))
0.695 * * [progress]: iteration 1 / 4
0.695 * * * [progress]: picking best candidate
0.705 * * * * [pick]: Picked  #<alt (λ (x y z) (*.f64 (+.f64 x y) (-.f64 1 z)))>
0.705 * * * [progress]: localizing error
0.713 * * * [progress]: generating rewritten candidates
0.713 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.724 * * * [progress]: generating series expansions
0.724 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.725 * [approximate]: Taking taylor expansion of (* (- 1 z) (+ x y)) in (x y z) around 0
0.725 * [taylor]: Taking taylor expansion of (* (- 1 z) (+ x y)) in z
0.725 * [taylor]: Taking taylor expansion of (- 1 z) in z
0.725 * [taylor]: Taking taylor expansion of 1 in z
0.725 * [taylor]: Taking taylor expansion of z in z
0.725 * [taylor]: Taking taylor expansion of (+ x y) in z
0.725 * [taylor]: Taking taylor expansion of x in z
0.725 * [taylor]: Taking taylor expansion of y in z
0.725 * [taylor]: Taking taylor expansion of (* (- 1 z) (+ x y)) in y
0.725 * [taylor]: Taking taylor expansion of (- 1 z) in y
0.725 * [taylor]: Taking taylor expansion of 1 in y
0.725 * [taylor]: Taking taylor expansion of z in y
0.725 * [taylor]: Taking taylor expansion of (+ x y) in y
0.725 * [taylor]: Taking taylor expansion of x in y
0.725 * [taylor]: Taking taylor expansion of y in y
0.725 * [taylor]: Taking taylor expansion of (* (- 1 z) (+ x y)) in x
0.725 * [taylor]: Taking taylor expansion of (- 1 z) in x
0.725 * [taylor]: Taking taylor expansion of 1 in x
0.725 * [taylor]: Taking taylor expansion of z in x
0.725 * [taylor]: Taking taylor expansion of (+ x y) in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.725 * [taylor]: Taking taylor expansion of y in x
0.725 * [taylor]: Taking taylor expansion of (* (- 1 z) (+ x y)) in x
0.725 * [taylor]: Taking taylor expansion of (- 1 z) in x
0.725 * [taylor]: Taking taylor expansion of 1 in x
0.725 * [taylor]: Taking taylor expansion of z in x
0.725 * [taylor]: Taking taylor expansion of (+ x y) in x
0.725 * [taylor]: Taking taylor expansion of x in x
0.725 * [taylor]: Taking taylor expansion of y in x
0.726 * [taylor]: Taking taylor expansion of (* (- 1 z) y) in y
0.726 * [taylor]: Taking taylor expansion of (- 1 z) in y
0.726 * [taylor]: Taking taylor expansion of 1 in y
0.726 * [taylor]: Taking taylor expansion of z in y
0.726 * [taylor]: Taking taylor expansion of y in y
0.726 * [taylor]: Taking taylor expansion of 0 in z
0.727 * [taylor]: Taking taylor expansion of (- 1 z) in y
0.727 * [taylor]: Taking taylor expansion of 1 in y
0.727 * [taylor]: Taking taylor expansion of z in y
0.727 * [taylor]: Taking taylor expansion of (- 1 z) in z
0.727 * [taylor]: Taking taylor expansion of 1 in z
0.727 * [taylor]: Taking taylor expansion of z in z
0.728 * [taylor]: Taking taylor expansion of (- 1 z) in z
0.728 * [taylor]: Taking taylor expansion of 1 in z
0.728 * [taylor]: Taking taylor expansion of z in z
0.728 * [taylor]: Taking taylor expansion of 0 in y
0.728 * [taylor]: Taking taylor expansion of 0 in z
0.729 * [taylor]: Taking taylor expansion of 0 in z
0.729 * [taylor]: Taking taylor expansion of 0 in z
0.731 * [approximate]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 z))) in (x y z) around 0
0.731 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 z))) in z
0.731 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.731 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.731 * [taylor]: Taking taylor expansion of y in z
0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.731 * [taylor]: Taking taylor expansion of x in z
0.731 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
0.731 * [taylor]: Taking taylor expansion of 1 in z
0.731 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.731 * [taylor]: Taking taylor expansion of z in z
0.731 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 z))) in y
0.731 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.731 * [taylor]: Taking taylor expansion of y in y
0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.731 * [taylor]: Taking taylor expansion of x in y
0.731 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y
0.731 * [taylor]: Taking taylor expansion of 1 in y
0.731 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.731 * [taylor]: Taking taylor expansion of z in y
0.732 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 z))) in x
0.732 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.732 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.732 * [taylor]: Taking taylor expansion of y in x
0.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.732 * [taylor]: Taking taylor expansion of x in x
0.732 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in x
0.732 * [taylor]: Taking taylor expansion of 1 in x
0.732 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.732 * [taylor]: Taking taylor expansion of z in x
0.732 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 z))) in x
0.732 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.732 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.732 * [taylor]: Taking taylor expansion of y in x
0.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.732 * [taylor]: Taking taylor expansion of x in x
0.732 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in x
0.732 * [taylor]: Taking taylor expansion of 1 in x
0.732 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.732 * [taylor]: Taking taylor expansion of z in x
0.733 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y
0.733 * [taylor]: Taking taylor expansion of 1 in y
0.733 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.733 * [taylor]: Taking taylor expansion of z in y
0.734 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* z y))) in y
0.734 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.734 * [taylor]: Taking taylor expansion of y in y
0.734 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.734 * [taylor]: Taking taylor expansion of (* z y) in y
0.734 * [taylor]: Taking taylor expansion of z in y
0.734 * [taylor]: Taking taylor expansion of y in y
0.735 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
0.735 * [taylor]: Taking taylor expansion of 1 in z
0.735 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.735 * [taylor]: Taking taylor expansion of z in z
0.736 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
0.736 * [taylor]: Taking taylor expansion of 1 in z
0.736 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.736 * [taylor]: Taking taylor expansion of z in z
0.738 * [taylor]: Taking taylor expansion of 0 in y
0.739 * [taylor]: Taking taylor expansion of 0 in z
0.739 * [taylor]: Taking taylor expansion of 0 in z
0.742 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) 1) (+ (/ 1 y) (/ 1 x)))) in (x y z) around 0
0.742 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) 1) (+ (/ 1 y) (/ 1 x)))) in z
0.742 * [taylor]: Taking taylor expansion of -1 in z
0.742 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1) (+ (/ 1 y) (/ 1 x))) in z
0.742 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
0.742 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.742 * [taylor]: Taking taylor expansion of z in z
0.742 * [taylor]: Taking taylor expansion of 1 in z
0.742 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.742 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.742 * [taylor]: Taking taylor expansion of y in z
0.742 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.742 * [taylor]: Taking taylor expansion of x in z
0.742 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) 1) (+ (/ 1 y) (/ 1 x)))) in y
0.742 * [taylor]: Taking taylor expansion of -1 in y
0.742 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1) (+ (/ 1 y) (/ 1 x))) in y
0.742 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
0.742 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.742 * [taylor]: Taking taylor expansion of z in y
0.742 * [taylor]: Taking taylor expansion of 1 in y
0.742 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.743 * [taylor]: Taking taylor expansion of y in y
0.743 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.743 * [taylor]: Taking taylor expansion of x in y
0.743 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) 1) (+ (/ 1 y) (/ 1 x)))) in x
0.743 * [taylor]: Taking taylor expansion of -1 in x
0.743 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1) (+ (/ 1 y) (/ 1 x))) in x
0.743 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.743 * [taylor]: Taking taylor expansion of z in x
0.743 * [taylor]: Taking taylor expansion of 1 in x
0.743 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.743 * [taylor]: Taking taylor expansion of y 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 (* (+ (/ 1 z) 1) (+ (/ 1 y) (/ 1 x)))) in x
0.743 * [taylor]: Taking taylor expansion of -1 in x
0.743 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1) (+ (/ 1 y) (/ 1 x))) in x
0.743 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.743 * [taylor]: Taking taylor expansion of z in x
0.743 * [taylor]: Taking taylor expansion of 1 in x
0.743 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.743 * [taylor]: Taking taylor expansion of y in x
0.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.744 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 z) 1)) in y
0.744 * [taylor]: Taking taylor expansion of -1 in y
0.744 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
0.744 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.744 * [taylor]: Taking taylor expansion of z in y
0.745 * [taylor]: Taking taylor expansion of 1 in y
0.746 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (/ 1 y))) in y
0.746 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 y)) in y
0.746 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.746 * [taylor]: Taking taylor expansion of (* z y) in y
0.746 * [taylor]: Taking taylor expansion of z in y
0.746 * [taylor]: Taking taylor expansion of y in y
0.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.746 * [taylor]: Taking taylor expansion of y in y
0.747 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) 1)) in z
0.747 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
0.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.747 * [taylor]: Taking taylor expansion of z in z
0.747 * [taylor]: Taking taylor expansion of 1 in z
0.747 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 z) 1)) in z
0.747 * [taylor]: Taking taylor expansion of -1 in z
0.747 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
0.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.747 * [taylor]: Taking taylor expansion of z in z
0.747 * [taylor]: Taking taylor expansion of 1 in z
0.749 * [taylor]: Taking taylor expansion of 0 in y
0.750 * [taylor]: Taking taylor expansion of 0 in z
0.751 * [taylor]: Taking taylor expansion of 0 in z
0.753 * * * [progress]: simplifying candidates
0.753 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 z))
  (*.f64 (+.f64 x y) (-.f64 (*.f64 1 1) (*.f64 z z)))
  (*.f64 (+.f64 x y) (-.f64 (pow.f64 1 3) (pow.f64 z 3)))
  (*.f64 (+.f64 x y) (-.f64 1 z))
  (*.f64 (+.f64 x y) (-.f64 1 z))
  (*.f64 (sqrt.f64 (+.f64 x y)) (-.f64 1 z))
  (*.f64 (cbrt.f64 (+.f64 x y)) (-.f64 1 z))
  (*.f64 (+.f64 x y) 1)
  (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (+.f64 x y) (+.f64 (sqrt.f64 1) (sqrt.f64 z)))
  (*.f64 (+.f64 x y) 1)
  (*.f64 (+.f64 x y) (sqrt.f64 (-.f64 1 z)))
  (*.f64 (+.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z))))
  (*.f64 1 (+.f64 x y))
  (*.f64 (neg.f64 z) (+.f64 x y))
  (*.f64 (+.f64 x y) 1)
  (*.f64 (+.f64 x y) (neg.f64 z))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (-.f64 1 z)))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (-.f64 1 z)))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 1 1) (*.f64 z z)))
  (*.f64 (-.f64 x y) (+.f64 1 z))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (pow.f64 1 3) (pow.f64 z 3)))
  (*.f64 (-.f64 x y) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 1 1) (*.f64 z z)))
  (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 1 z))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (pow.f64 1 3) (pow.f64 z 3)))
  (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))
  (sqrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))
  (sqrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))
  (*.f64 (*.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) (*.f64 (+.f64 x y) (-.f64 1 z))) (*.f64 (+.f64 x y) (-.f64 1 z)))
  (*.f64 (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z))) (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z))))
  (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))
  (*.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)) (*.f64 (*.f64 (-.f64 1 z) (-.f64 1 z)) (-.f64 1 z)))
  (exp.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))
  (log.f64 (*.f64 (+.f64 x y) (-.f64 1 z)))
  (+.f64 (log.f64 (+.f64 x y)) (log.f64 (-.f64 1 z)))
  (*.f64 (+.f64 x y) (-.f64 1 z))
  (-.f64 (+.f64 x y) (*.f64 x z))
  (-.f64 y (+.f64 (*.f64 x z) (*.f64 z y)))
  (-.f64 y (+.f64 (*.f64 x z) (*.f64 z y)))
0.816 * * [simplify]: iteration  0 :  4964  enodes  (cost  530 )
0.816 * * [simplify]: iteration  1 :  4964  enodes  (cost  530 )
0.819 * [simplify]: Simplified to:
   (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z))
  (*.f64 (-.f64 1 z) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
  (*.f64 (+.f64 x y) (-.f64 1 (*.f64 z z)))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (-.f64 1 z) (+.f64 x y))
  (*.f64 (-.f64 1 z) (+.f64 x y))
  (*.f64 (-.f64 1 z) (sqrt.f64 (+.f64 x y)))
  (*.f64 (-.f64 1 z) (cbrt.f64 (+.f64 x y)))
  (+.f64 x y)
  (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))
  (+.f64 x y)
  (*.f64 (+.f64 x y) (sqrt.f64 (-.f64 1 z)))
  (*.f64 (+.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z))))
  (+.f64 x y)
  (*.f64 (+.f64 x y) (neg.f64 z))
  (+.f64 x y)
  (*.f64 (+.f64 x y) (neg.f64 z))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (-.f64 1 z)))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (-.f64 1 z)))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 (*.f64 z z)))
  (*.f64 (-.f64 x y) (+.f64 1 z))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (-.f64 x y) (+.f64 1 (+.f64 z (*.f64 z z))))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (*.f64 z z)))
  (*.f64 (+.f64 1 z) (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))
  (sqrt.f64 (*.f64 (-.f64 1 z) (+.f64 x y)))
  (sqrt.f64 (*.f64 (-.f64 1 z) (+.f64 x y)))
  (pow.f64 (*.f64 (-.f64 1 z) (+.f64 x y)) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 1 z) (+.f64 x y))) (cbrt.f64 (*.f64 (-.f64 1 z) (+.f64 x y))))
  (cbrt.f64 (*.f64 (-.f64 1 z) (+.f64 x y)))
  (pow.f64 (*.f64 (-.f64 1 z) (+.f64 x y)) 3)
  (exp.f64 (*.f64 (-.f64 1 z) (+.f64 x y)))
  (log.f64 (*.f64 (-.f64 1 z) (+.f64 x y)))
  (log.f64 (*.f64 (-.f64 1 z) (+.f64 x y)))
  (*.f64 (-.f64 1 z) (+.f64 x y))
  (-.f64 (+.f64 x y) (*.f64 x z))
  (-.f64 y (*.f64 z (+.f64 x y)))
  (-.f64 y (*.f64 z (+.f64 x y)))
0.820 * * * [progress]: adding candidates to table
0.948 * * [progress]: iteration 2 / 4
0.948 * * * [progress]: picking best candidate
0.969 * * * * [pick]: Picked  #<alt (λ (x y z) (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))>
0.970 * * * [progress]: localizing error
1.009 * * * [progress]: generating rewritten candidates
1.009 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.053 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.066 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
1.073 * * * [progress]: generating series expansions
1.073 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.075 * [approximate]: Taking taylor expansion of (/ (* (+ x y) (- 1 (pow z 3))) (+ z (+ (pow z 2) 1))) in (x y z) around 0
1.075 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- 1 (pow z 3))) (+ z (+ (pow z 2) 1))) in z
1.075 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1 (pow z 3))) in z
1.075 * [taylor]: Taking taylor expansion of (+ x y) in z
1.075 * [taylor]: Taking taylor expansion of x in z
1.075 * [taylor]: Taking taylor expansion of y in z
1.075 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in z
1.075 * [taylor]: Taking taylor expansion of 1 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 (+ z (+ (pow z 2) 1)) in z
1.075 * [taylor]: Taking taylor expansion of z in z
1.075 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1) in z
1.075 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.075 * [taylor]: Taking taylor expansion of z in z
1.075 * [taylor]: Taking taylor expansion of 1 in z
1.076 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- 1 (pow z 3))) (+ z (+ (pow z 2) 1))) in y
1.076 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1 (pow z 3))) in y
1.076 * [taylor]: Taking taylor expansion of (+ x y) in y
1.076 * [taylor]: Taking taylor expansion of x in y
1.076 * [taylor]: Taking taylor expansion of y in y
1.076 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in y
1.076 * [taylor]: Taking taylor expansion of 1 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 (+ z (+ (pow z 2) 1)) in y
1.076 * [taylor]: Taking taylor expansion of z in y
1.076 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1) in y
1.076 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.076 * [taylor]: Taking taylor expansion of z in y
1.076 * [taylor]: Taking taylor expansion of 1 in y
1.078 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- 1 (pow z 3))) (+ z (+ (pow z 2) 1))) in x
1.078 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1 (pow z 3))) in x
1.078 * [taylor]: Taking taylor expansion of (+ x y) in x
1.078 * [taylor]: Taking taylor expansion of x in x
1.078 * [taylor]: Taking taylor expansion of y in x
1.078 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in x
1.078 * [taylor]: Taking taylor expansion of 1 in x
1.078 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.078 * [taylor]: Taking taylor expansion of z in x
1.078 * [taylor]: Taking taylor expansion of (+ z (+ (pow z 2) 1)) in x
1.078 * [taylor]: Taking taylor expansion of z in x
1.078 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1) in x
1.078 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.078 * [taylor]: Taking taylor expansion of z in x
1.078 * [taylor]: Taking taylor expansion of 1 in x
1.080 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- 1 (pow z 3))) (+ z (+ (pow z 2) 1))) in x
1.080 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1 (pow z 3))) in x
1.080 * [taylor]: Taking taylor expansion of (+ x y) in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of y in x
1.080 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in x
1.080 * [taylor]: Taking taylor expansion of 1 in x
1.080 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.080 * [taylor]: Taking taylor expansion of z in x
1.080 * [taylor]: Taking taylor expansion of (+ z (+ (pow z 2) 1)) in x
1.080 * [taylor]: Taking taylor expansion of z in x
1.080 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1) in x
1.080 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.080 * [taylor]: Taking taylor expansion of z in x
1.080 * [taylor]: Taking taylor expansion of 1 in x
1.082 * [taylor]: Taking taylor expansion of (/ (* y (- 1 (pow z 3))) (+ z (+ (pow z 2) 1))) in y
1.082 * [taylor]: Taking taylor expansion of (* y (- 1 (pow z 3))) in y
1.082 * [taylor]: Taking taylor expansion of y in y
1.082 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in y
1.082 * [taylor]: Taking taylor expansion of 1 in y
1.082 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.082 * [taylor]: Taking taylor expansion of z in y
1.082 * [taylor]: Taking taylor expansion of (+ z (+ (pow z 2) 1)) in y
1.082 * [taylor]: Taking taylor expansion of z in y
1.082 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1) in y
1.082 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.082 * [taylor]: Taking taylor expansion of z in y
1.082 * [taylor]: Taking taylor expansion of 1 in y
1.088 * [taylor]: Taking taylor expansion of (- (/ 1 (+ z (+ (pow z 2) 1))) (/ (pow z 3) (+ z (+ (pow z 2) 1)))) in y
1.088 * [taylor]: Taking taylor expansion of (/ 1 (+ z (+ (pow z 2) 1))) in y
1.088 * [taylor]: Taking taylor expansion of (+ z (+ (pow z 2) 1)) in y
1.088 * [taylor]: Taking taylor expansion of z in y
1.088 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1) in y
1.088 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.088 * [taylor]: Taking taylor expansion of z in y
1.088 * [taylor]: Taking taylor expansion of 1 in y
1.088 * [taylor]: Taking taylor expansion of (/ (pow z 3) (+ z (+ (pow z 2) 1))) in y
1.088 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.089 * [taylor]: Taking taylor expansion of z in y
1.089 * [taylor]: Taking taylor expansion of (+ z (+ (pow z 2) 1)) in y
1.089 * [taylor]: Taking taylor expansion of z in y
1.089 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1) in y
1.089 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.089 * [taylor]: Taking taylor expansion of z in y
1.089 * [taylor]: Taking taylor expansion of 1 in y
1.091 * [taylor]: Taking taylor expansion of (- (/ 1 (+ z (+ (pow z 2) 1))) (/ (pow z 3) (+ z (+ (pow z 2) 1)))) in z
1.091 * [taylor]: Taking taylor expansion of (/ 1 (+ z (+ (pow z 2) 1))) in z
1.091 * [taylor]: Taking taylor expansion of (+ z (+ (pow z 2) 1)) in z
1.091 * [taylor]: Taking taylor expansion of z in z
1.091 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1) in z
1.091 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.091 * [taylor]: Taking taylor expansion of z in z
1.091 * [taylor]: Taking taylor expansion of 1 in z
1.091 * [taylor]: Taking taylor expansion of (/ (pow z 3) (+ z (+ (pow z 2) 1))) in z
1.091 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.091 * [taylor]: Taking taylor expansion of z in z
1.091 * [taylor]: Taking taylor expansion of (+ z (+ (pow z 2) 1)) in z
1.091 * [taylor]: Taking taylor expansion of z in z
1.091 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1) in z
1.091 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.091 * [taylor]: Taking taylor expansion of z in z
1.091 * [taylor]: Taking taylor expansion of 1 in z
1.092 * [taylor]: Taking taylor expansion of (/ (- 1 (pow z 3)) (+ z (+ (pow z 2) 1))) in z
1.092 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in z
1.092 * [taylor]: Taking taylor expansion of 1 in z
1.092 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.092 * [taylor]: Taking taylor expansion of z in z
1.092 * [taylor]: Taking taylor expansion of (+ z (+ (pow z 2) 1)) in z
1.092 * [taylor]: Taking taylor expansion of z in z
1.092 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1) in z
1.092 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.092 * [taylor]: Taking taylor expansion of z in z
1.092 * [taylor]: Taking taylor expansion of 1 in z
1.096 * [taylor]: Taking taylor expansion of 0 in y
1.096 * [taylor]: Taking taylor expansion of 0 in z
1.099 * [taylor]: Taking taylor expansion of 0 in z
1.102 * [taylor]: Taking taylor expansion of 0 in z
1.104 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1))) in (x y z) around 0
1.104 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1))) in z
1.104 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) in z
1.104 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.104 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.104 * [taylor]: Taking taylor expansion of y in z
1.104 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.104 * [taylor]: Taking taylor expansion of x in z
1.104 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in z
1.104 * [taylor]: Taking taylor expansion of 1 in z
1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.104 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.104 * [taylor]: Taking taylor expansion of z in z
1.104 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) in z
1.104 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.104 * [taylor]: Taking taylor expansion of z in z
1.104 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in z
1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.105 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.105 * [taylor]: Taking taylor expansion of z in z
1.105 * [taylor]: Taking taylor expansion of 1 in z
1.105 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1))) in y
1.106 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) in y
1.106 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.106 * [taylor]: Taking taylor expansion of y in y
1.106 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.106 * [taylor]: Taking taylor expansion of x in y
1.106 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in y
1.106 * [taylor]: Taking taylor expansion of 1 in y
1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
1.106 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.106 * [taylor]: Taking taylor expansion of z in y
1.106 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) in y
1.106 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.106 * [taylor]: Taking taylor expansion of z in y
1.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in y
1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.106 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.106 * [taylor]: Taking taylor expansion of z in y
1.107 * [taylor]: Taking taylor expansion of 1 in y
1.109 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1))) in x
1.109 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) in x
1.109 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.109 * [taylor]: Taking taylor expansion of y in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.109 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in x
1.109 * [taylor]: Taking taylor expansion of 1 in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.109 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.109 * [taylor]: Taking taylor expansion of z in x
1.109 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.109 * [taylor]: Taking taylor expansion of z in x
1.110 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in x
1.110 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.110 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.110 * [taylor]: Taking taylor expansion of z in x
1.110 * [taylor]: Taking taylor expansion of 1 in x
1.112 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1))) in x
1.112 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) in x
1.112 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.112 * [taylor]: Taking taylor expansion of y in x
1.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.112 * [taylor]: Taking taylor expansion of x in x
1.112 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in x
1.112 * [taylor]: Taking taylor expansion of 1 in x
1.112 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.112 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.112 * [taylor]: Taking taylor expansion of z in x
1.112 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) in x
1.112 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.112 * [taylor]: Taking taylor expansion of z in x
1.113 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in x
1.113 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.113 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.113 * [taylor]: Taking taylor expansion of z in x
1.113 * [taylor]: Taking taylor expansion of 1 in x
1.115 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (pow z 3))) (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1))) in y
1.115 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in y
1.115 * [taylor]: Taking taylor expansion of 1 in y
1.115 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
1.115 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.115 * [taylor]: Taking taylor expansion of z in y
1.115 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) in y
1.115 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.115 * [taylor]: Taking taylor expansion of z in y
1.115 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in y
1.115 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.115 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.115 * [taylor]: Taking taylor expansion of z in y
1.116 * [taylor]: Taking taylor expansion of 1 in y
1.122 * [taylor]: Taking taylor expansion of (- (/ 1 (* (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) y)) (/ 1 (* (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) (* (pow z 3) y)))) in y
1.122 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) y)) in y
1.122 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) y) in y
1.122 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) in y
1.122 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.122 * [taylor]: Taking taylor expansion of z in y
1.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in y
1.122 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.122 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.122 * [taylor]: Taking taylor expansion of z in y
1.122 * [taylor]: Taking taylor expansion of 1 in y
1.122 * [taylor]: Taking taylor expansion of y in y
1.125 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) (* (pow z 3) y))) in y
1.125 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) (* (pow z 3) y)) in y
1.125 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) in y
1.125 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.125 * [taylor]: Taking taylor expansion of z in y
1.125 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in y
1.125 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.125 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.125 * [taylor]: Taking taylor expansion of z in y
1.126 * [taylor]: Taking taylor expansion of 1 in y
1.126 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in y
1.126 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.126 * [taylor]: Taking taylor expansion of z in y
1.126 * [taylor]: Taking taylor expansion of y in y
1.131 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1))) (/ 1 (+ (pow z 2) (+ z (pow z 3))))) in z
1.131 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1))) in z
1.131 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) in z
1.131 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.131 * [taylor]: Taking taylor expansion of z in z
1.131 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in z
1.131 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.131 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.131 * [taylor]: Taking taylor expansion of z in z
1.132 * [taylor]: Taking taylor expansion of 1 in z
1.132 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow z 2) (+ z (pow z 3)))) in z
1.132 * [taylor]: Taking taylor expansion of (+ (pow z 2) (+ z (pow z 3))) in z
1.132 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.132 * [taylor]: Taking taylor expansion of z in z
1.132 * [taylor]: Taking taylor expansion of (+ z (pow z 3)) in z
1.132 * [taylor]: Taking taylor expansion of z in z
1.132 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.132 * [taylor]: Taking taylor expansion of z in z
1.132 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (pow z 3))) (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1))) in z
1.132 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in z
1.132 * [taylor]: Taking taylor expansion of 1 in z
1.132 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.132 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.132 * [taylor]: Taking taylor expansion of z in z
1.133 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (pow z 2)) 1)) in z
1.133 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.133 * [taylor]: Taking taylor expansion of z in z
1.133 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in z
1.133 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.133 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.133 * [taylor]: Taking taylor expansion of z in z
1.133 * [taylor]: Taking taylor expansion of 1 in z
1.140 * [taylor]: Taking taylor expansion of 0 in y
1.147 * [taylor]: Taking taylor expansion of 0 in z
1.150 * [taylor]: Taking taylor expansion of 0 in z
1.153 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)))) in (x y z) around 0
1.153 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)))) in z
1.153 * [taylor]: Taking taylor expansion of -1 in z
1.153 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) in z
1.153 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) in z
1.153 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.154 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.154 * [taylor]: Taking taylor expansion of y in z
1.154 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.154 * [taylor]: Taking taylor expansion of x in z
1.154 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in z
1.154 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.154 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.154 * [taylor]: Taking taylor expansion of z in z
1.154 * [taylor]: Taking taylor expansion of 1 in z
1.154 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)) in z
1.154 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in z
1.154 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.154 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.154 * [taylor]: Taking taylor expansion of z in z
1.154 * [taylor]: Taking taylor expansion of 1 in z
1.154 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.154 * [taylor]: Taking taylor expansion of z in z
1.155 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)))) in y
1.155 * [taylor]: Taking taylor expansion of -1 in y
1.155 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) in y
1.155 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) in y
1.155 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.155 * [taylor]: Taking taylor expansion of y in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.155 * [taylor]: Taking taylor expansion of x in y
1.155 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
1.155 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.155 * [taylor]: Taking taylor expansion of z in y
1.156 * [taylor]: Taking taylor expansion of 1 in y
1.156 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)) in y
1.156 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in y
1.156 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.156 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.156 * [taylor]: Taking taylor expansion of z in y
1.156 * [taylor]: Taking taylor expansion of 1 in y
1.156 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.156 * [taylor]: Taking taylor expansion of z in y
1.158 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)))) in x
1.158 * [taylor]: Taking taylor expansion of -1 in x
1.158 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) in x
1.158 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) in x
1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.158 * [taylor]: Taking taylor expansion of y in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.158 * [taylor]: Taking taylor expansion of x in x
1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.158 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.158 * [taylor]: Taking taylor expansion of z in x
1.159 * [taylor]: Taking taylor expansion of 1 in x
1.159 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)) in x
1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in x
1.159 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.159 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.159 * [taylor]: Taking taylor expansion of z in x
1.159 * [taylor]: Taking taylor expansion of 1 in x
1.159 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.159 * [taylor]: Taking taylor expansion of z in x
1.161 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)))) in x
1.161 * [taylor]: Taking taylor expansion of -1 in x
1.161 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) in x
1.161 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) in x
1.161 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.161 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.161 * [taylor]: Taking taylor expansion of y in x
1.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.161 * [taylor]: Taking taylor expansion of x in x
1.161 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in x
1.161 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.161 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.161 * [taylor]: Taking taylor expansion of z in x
1.162 * [taylor]: Taking taylor expansion of 1 in x
1.162 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)) in x
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in x
1.162 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.162 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.162 * [taylor]: Taking taylor expansion of z in x
1.162 * [taylor]: Taking taylor expansion of 1 in x
1.162 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.162 * [taylor]: Taking taylor expansion of z in x
1.164 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 3)) 1) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)))) in y
1.165 * [taylor]: Taking taylor expansion of -1 in y
1.165 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 3)) 1) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) in y
1.165 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in y
1.165 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
1.165 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.165 * [taylor]: Taking taylor expansion of z in y
1.165 * [taylor]: Taking taylor expansion of 1 in y
1.165 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)) in y
1.165 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in y
1.165 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.165 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.165 * [taylor]: Taking taylor expansion of z in y
1.165 * [taylor]: Taking taylor expansion of 1 in y
1.165 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.165 * [taylor]: Taking taylor expansion of z in y
1.174 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* y (* (pow z 3) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))))) (/ 1 (* y (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)))))) in y
1.174 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y (* (pow z 3) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))))) (/ 1 (* y (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))))) in y
1.174 * [taylor]: Taking taylor expansion of (/ 1 (* y (* (pow z 3) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))))) in y
1.174 * [taylor]: Taking taylor expansion of (* y (* (pow z 3) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)))) in y
1.174 * [taylor]: Taking taylor expansion of y in y
1.174 * [taylor]: Taking taylor expansion of (* (pow z 3) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) in y
1.174 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.174 * [taylor]: Taking taylor expansion of z in y
1.174 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)) in y
1.174 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in y
1.174 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.174 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.174 * [taylor]: Taking taylor expansion of z in y
1.174 * [taylor]: Taking taylor expansion of 1 in y
1.174 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.174 * [taylor]: Taking taylor expansion of z in y
1.180 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)))) in y
1.180 * [taylor]: Taking taylor expansion of (* y (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) in y
1.180 * [taylor]: Taking taylor expansion of y in y
1.180 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)) in y
1.180 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in y
1.180 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.180 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.180 * [taylor]: Taking taylor expansion of z in y
1.180 * [taylor]: Taking taylor expansion of 1 in y
1.180 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.180 * [taylor]: Taking taylor expansion of z in y
1.185 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) (/ 1 (- (+ z (pow z 3)) (pow z 2))))) in z
1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) (/ 1 (- (+ z (pow z 3)) (pow z 2)))) in z
1.185 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) in z
1.185 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)) in z
1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in z
1.185 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.185 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.185 * [taylor]: Taking taylor expansion of z in z
1.186 * [taylor]: Taking taylor expansion of 1 in z
1.186 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.186 * [taylor]: Taking taylor expansion of z in z
1.186 * [taylor]: Taking taylor expansion of (/ 1 (- (+ z (pow z 3)) (pow z 2))) in z
1.186 * [taylor]: Taking taylor expansion of (- (+ z (pow z 3)) (pow z 2)) in z
1.186 * [taylor]: Taking taylor expansion of (+ z (pow z 3)) in z
1.186 * [taylor]: Taking taylor expansion of z in z
1.186 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.186 * [taylor]: Taking taylor expansion of z in z
1.186 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.186 * [taylor]: Taking taylor expansion of z in z
1.187 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 3)) 1) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)))) in z
1.187 * [taylor]: Taking taylor expansion of -1 in z
1.187 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 3)) 1) (- (+ (/ 1 (pow z 2)) 1) (/ 1 z))) in z
1.187 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in z
1.187 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.187 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.187 * [taylor]: Taking taylor expansion of z in z
1.188 * [taylor]: Taking taylor expansion of 1 in z
1.188 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1) (/ 1 z)) in z
1.188 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1) in z
1.188 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.188 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.188 * [taylor]: Taking taylor expansion of z in z
1.188 * [taylor]: Taking taylor expansion of 1 in z
1.188 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.188 * [taylor]: Taking taylor expansion of z in z
1.200 * [taylor]: Taking taylor expansion of 0 in y
1.207 * [taylor]: Taking taylor expansion of 0 in z
1.211 * [taylor]: Taking taylor expansion of 0 in z
1.213 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.214 * [approximate]: Taking taylor expansion of (* (+ x y) (- 1 (pow z 3))) in (x y z) around 0
1.214 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1 (pow z 3))) in z
1.214 * [taylor]: Taking taylor expansion of (+ x y) in z
1.214 * [taylor]: Taking taylor expansion of x in z
1.214 * [taylor]: Taking taylor expansion of y in z
1.214 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in z
1.214 * [taylor]: Taking taylor expansion of 1 in z
1.214 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.214 * [taylor]: Taking taylor expansion of z in z
1.214 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1 (pow z 3))) in y
1.214 * [taylor]: Taking taylor expansion of (+ x y) in y
1.214 * [taylor]: Taking taylor expansion of x in y
1.214 * [taylor]: Taking taylor expansion of y in y
1.214 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in y
1.214 * [taylor]: Taking taylor expansion of 1 in y
1.214 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.214 * [taylor]: Taking taylor expansion of z in y
1.214 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1 (pow z 3))) in x
1.214 * [taylor]: Taking taylor expansion of (+ x y) in x
1.214 * [taylor]: Taking taylor expansion of x in x
1.214 * [taylor]: Taking taylor expansion of y in x
1.215 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in x
1.215 * [taylor]: Taking taylor expansion of 1 in x
1.215 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.215 * [taylor]: Taking taylor expansion of z in x
1.215 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1 (pow z 3))) in x
1.215 * [taylor]: Taking taylor expansion of (+ x y) in x
1.215 * [taylor]: Taking taylor expansion of x in x
1.215 * [taylor]: Taking taylor expansion of y in x
1.215 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in x
1.215 * [taylor]: Taking taylor expansion of 1 in x
1.215 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.215 * [taylor]: Taking taylor expansion of z in x
1.216 * [taylor]: Taking taylor expansion of (* y (- 1 (pow z 3))) in y
1.216 * [taylor]: Taking taylor expansion of y in y
1.216 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in y
1.216 * [taylor]: Taking taylor expansion of 1 in y
1.216 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.216 * [taylor]: Taking taylor expansion of z in y
1.217 * [taylor]: Taking taylor expansion of 0 in z
1.218 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in y
1.218 * [taylor]: Taking taylor expansion of 1 in y
1.218 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.218 * [taylor]: Taking taylor expansion of z in y
1.219 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in z
1.219 * [taylor]: Taking taylor expansion of 1 in z
1.219 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.219 * [taylor]: Taking taylor expansion of z in z
1.220 * [taylor]: Taking taylor expansion of (- 1 (pow z 3)) in z
1.220 * [taylor]: Taking taylor expansion of 1 in z
1.220 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.220 * [taylor]: Taking taylor expansion of z in z
1.221 * [taylor]: Taking taylor expansion of 0 in y
1.221 * [taylor]: Taking taylor expansion of 0 in z
1.222 * [taylor]: Taking taylor expansion of 0 in z
1.223 * [taylor]: Taking taylor expansion of 0 in z
1.225 * [approximate]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) in (x y z) around 0
1.225 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) in z
1.225 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.225 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.225 * [taylor]: Taking taylor expansion of y in z
1.225 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.225 * [taylor]: Taking taylor expansion of x in z
1.225 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in z
1.225 * [taylor]: Taking taylor expansion of 1 in z
1.225 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.225 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.225 * [taylor]: Taking taylor expansion of z in z
1.225 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) in y
1.225 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.225 * [taylor]: Taking taylor expansion of y in y
1.225 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.225 * [taylor]: Taking taylor expansion of x in y
1.225 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in y
1.225 * [taylor]: Taking taylor expansion of 1 in y
1.226 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
1.226 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.226 * [taylor]: Taking taylor expansion of z in y
1.226 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) in x
1.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.226 * [taylor]: Taking taylor expansion of y in x
1.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.226 * [taylor]: Taking taylor expansion of x in x
1.226 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in x
1.226 * [taylor]: Taking taylor expansion of 1 in x
1.226 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.226 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.226 * [taylor]: Taking taylor expansion of z in x
1.227 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- 1 (/ 1 (pow z 3)))) in x
1.227 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.227 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.227 * [taylor]: Taking taylor expansion of y in x
1.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.227 * [taylor]: Taking taylor expansion of x in x
1.227 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in x
1.227 * [taylor]: Taking taylor expansion of 1 in x
1.227 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.227 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.227 * [taylor]: Taking taylor expansion of z in x
1.229 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in y
1.229 * [taylor]: Taking taylor expansion of 1 in y
1.229 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
1.229 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.229 * [taylor]: Taking taylor expansion of z in y
1.231 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* (pow z 3) y))) in y
1.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.231 * [taylor]: Taking taylor expansion of y in y
1.231 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) y)) in y
1.231 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in y
1.231 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.231 * [taylor]: Taking taylor expansion of z in y
1.231 * [taylor]: Taking taylor expansion of y in y
1.233 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in z
1.233 * [taylor]: Taking taylor expansion of 1 in z
1.233 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.233 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.233 * [taylor]: Taking taylor expansion of z in z
1.233 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow z 3))) in z
1.233 * [taylor]: Taking taylor expansion of 1 in z
1.233 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.233 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.233 * [taylor]: Taking taylor expansion of z in z
1.236 * [taylor]: Taking taylor expansion of 0 in y
1.238 * [taylor]: Taking taylor expansion of 0 in z
1.239 * [taylor]: Taking taylor expansion of 0 in z
1.243 * [taylor]: Taking taylor expansion of 0 in y
1.243 * [taylor]: Taking taylor expansion of 0 in z
1.245 * [taylor]: Taking taylor expansion of 0 in z
1.247 * [taylor]: Taking taylor expansion of 0 in z
1.252 * [taylor]: Taking taylor expansion of 0 in y
1.252 * [taylor]: Taking taylor expansion of 0 in z
1.252 * [taylor]: Taking taylor expansion of 0 in z
1.255 * [taylor]: Taking taylor expansion of 0 in z
1.257 * [taylor]: Taking taylor expansion of 0 in z
1.260 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1))) in (x y z) around 0
1.260 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1))) in z
1.260 * [taylor]: Taking taylor expansion of -1 in z
1.260 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) in z
1.260 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.260 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.260 * [taylor]: Taking taylor expansion of y in z
1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.260 * [taylor]: Taking taylor expansion of x in z
1.260 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in z
1.260 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.260 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.260 * [taylor]: Taking taylor expansion of z in z
1.261 * [taylor]: Taking taylor expansion of 1 in z
1.261 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1))) in y
1.261 * [taylor]: Taking taylor expansion of -1 in y
1.261 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) in y
1.261 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.261 * [taylor]: Taking taylor expansion of y in y
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.261 * [taylor]: Taking taylor expansion of x in y
1.261 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in y
1.261 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
1.261 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.261 * [taylor]: Taking taylor expansion of z in y
1.261 * [taylor]: Taking taylor expansion of 1 in y
1.261 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1))) in x
1.261 * [taylor]: Taking taylor expansion of -1 in x
1.261 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) in x
1.261 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.261 * [taylor]: Taking taylor expansion of y in x
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.262 * [taylor]: Taking taylor expansion of x in x
1.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.262 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.262 * [taylor]: Taking taylor expansion of z in x
1.262 * [taylor]: Taking taylor expansion of 1 in x
1.262 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1))) in x
1.262 * [taylor]: Taking taylor expansion of -1 in x
1.262 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 (pow z 3)) 1)) in x
1.262 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.262 * [taylor]: Taking taylor expansion of y in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.262 * [taylor]: Taking taylor expansion of x in x
1.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
1.262 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.262 * [taylor]: Taking taylor expansion of z in x
1.263 * [taylor]: Taking taylor expansion of 1 in x
1.263 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (pow z 3)) 1)) in y
1.264 * [taylor]: Taking taylor expansion of -1 in y
1.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in y
1.264 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
1.264 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.264 * [taylor]: Taking taylor expansion of z in y
1.264 * [taylor]: Taking taylor expansion of 1 in y
1.266 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (/ 1 (* (pow z 3) y)))) in y
1.266 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* (pow z 3) y))) in y
1.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.266 * [taylor]: Taking taylor expansion of y in y
1.266 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) y)) in y
1.266 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in y
1.266 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.266 * [taylor]: Taking taylor expansion of z in y
1.266 * [taylor]: Taking taylor expansion of y in y
1.268 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (pow z 3)) 1)) in z
1.268 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in z
1.268 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.268 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.268 * [taylor]: Taking taylor expansion of z in z
1.268 * [taylor]: Taking taylor expansion of 1 in z
1.269 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (pow z 3)) 1)) in z
1.269 * [taylor]: Taking taylor expansion of -1 in z
1.269 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 3)) 1) in z
1.269 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
1.269 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.269 * [taylor]: Taking taylor expansion of z in z
1.269 * [taylor]: Taking taylor expansion of 1 in z
1.272 * [taylor]: Taking taylor expansion of 0 in y
1.274 * [taylor]: Taking taylor expansion of 0 in z
1.275 * [taylor]: Taking taylor expansion of 0 in z
1.281 * [taylor]: Taking taylor expansion of 0 in y
1.281 * [taylor]: Taking taylor expansion of 0 in z
1.283 * [taylor]: Taking taylor expansion of 0 in z
1.285 * [taylor]: Taking taylor expansion of 0 in z
1.291 * [taylor]: Taking taylor expansion of 0 in y
1.292 * [taylor]: Taking taylor expansion of 0 in z
1.292 * [taylor]: Taking taylor expansion of 0 in z
1.295 * [taylor]: Taking taylor expansion of 0 in z
1.297 * [taylor]: Taking taylor expansion of 0 in z
1.300 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
1.300 * [approximate]: Taking taylor expansion of (+ z (pow z 2)) in (z) around 0
1.300 * [taylor]: Taking taylor expansion of (+ z (pow z 2)) in z
1.300 * [taylor]: Taking taylor expansion of z in z
1.300 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.300 * [taylor]: Taking taylor expansion of z in z
1.300 * [taylor]: Taking taylor expansion of (+ z (pow z 2)) in z
1.300 * [taylor]: Taking taylor expansion of z in z
1.300 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.300 * [taylor]: Taking taylor expansion of z in z
1.304 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (pow z 2))) in (z) around 0
1.304 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (pow z 2))) in z
1.304 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.304 * [taylor]: Taking taylor expansion of z in z
1.304 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.304 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.304 * [taylor]: Taking taylor expansion of z in z
1.304 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (pow z 2))) in z
1.304 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.304 * [taylor]: Taking taylor expansion of z in z
1.304 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.304 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.304 * [taylor]: Taking taylor expansion of z in z
1.314 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 z)) in (z) around 0
1.314 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 z)) in z
1.314 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.314 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.314 * [taylor]: Taking taylor expansion of z in z
1.315 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.315 * [taylor]: Taking taylor expansion of z in z
1.315 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 z)) in z
1.315 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.315 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.315 * [taylor]: Taking taylor expansion of z in z
1.315 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.315 * [taylor]: Taking taylor expansion of z in z
1.325 * * * [progress]: simplifying candidates
1.326 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (-.f64 x y))
  (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))))
  (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (+.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (pow.f64 z 3) (pow.f64 z 3)) (*.f64 1 (pow.f64 z 3)))))
  (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (*.f64 (-.f64 x y) (+.f64 1 (pow.f64 z 3))))
  (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (*.f64 (-.f64 x y) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (pow.f64 z 3) (pow.f64 z 3)) (*.f64 1 (pow.f64 z 3))))))
  (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 1 (pow.f64 z 3))))
  (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (pow.f64 z 3) (pow.f64 z 3)) (*.f64 1 (pow.f64 z 3))))))
  (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (-.f64 (*.f64 (*.f64 1 1) (*.f64 1 1)) (*.f64 (+.f64 (*.f64 z z) (*.f64 1 z)) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (pow.f64 (*.f64 1 1) 3) (pow.f64 (+.f64 (*.f64 z z) (*.f64 1 z)) 3)))
  (/.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (-.f64 1 (pow.f64 z 3)))
  (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) 1)
  (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) 1)
  (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (*.f64 (cbrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))) (cbrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))))
  (/.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (/.f64 1 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))
  (/.f64 (+.f64 x y) 1)
  (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 (*.f64 z z) (*.f64 1 z))))
  (/.f64 (+.f64 x y) 1)
  (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))
  (/.f64 (+.f64 x y) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (/.f64 (-.f64 1 (pow.f64 z 3)) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (/.f64 (+.f64 x y) (*.f64 (cbrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))) (cbrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))))
  (/.f64 (-.f64 1 (pow.f64 z 3)) (cbrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (neg.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (neg.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))
  (sqrt.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (sqrt.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (*.f64 (*.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))) (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))) (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))) (cbrt.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))))))
  (cbrt.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (/.f64 (*.f64 (*.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))) (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))) (*.f64 (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (/.f64 (*.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)) (*.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) (-.f64 1 (pow.f64 z 3))) (-.f64 1 (pow.f64 z 3)))) (*.f64 (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (exp.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (log.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (-.f64 (log.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))) (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 (-.f64 1 (pow.f64 z 3)))) (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 z z) (*.f64 1 z)))))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 x y) (-.f64 (*.f64 1 1) (*.f64 (pow.f64 z 3) (pow.f64 z 3))))
  (*.f64 (+.f64 x y) (-.f64 (pow.f64 1 3) (pow.f64 (pow.f64 z 3) 3)))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (sqrt.f64 (+.f64 x y)) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (cbrt.f64 (+.f64 x y)) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 x y) 1)
  (*.f64 (+.f64 x y) (+.f64 1 (pow.f64 z (/.f64 3 2))))
  (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 (pow.f64 z 3))))
  (*.f64 (+.f64 x y) (+.f64 1 (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (+.f64 x y) (+.f64 1 (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (+.f64 x y) (+.f64 (sqrt.f64 1) (pow.f64 z (/.f64 3 2))))
  (*.f64 (+.f64 x y) (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 z 3))))
  (*.f64 (+.f64 x y) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (+.f64 x y) (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (+.f64 x y) 1)
  (*.f64 (+.f64 x y) (sqrt.f64 (-.f64 1 (pow.f64 z 3))))
  (*.f64 (+.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 z 3))) (cbrt.f64 (-.f64 1 (pow.f64 z 3)))))
  (*.f64 1 (+.f64 x y))
  (*.f64 (neg.f64 (pow.f64 z 3)) (+.f64 x y))
  (*.f64 (+.f64 x y) 1)
  (*.f64 (+.f64 x y) (neg.f64 (pow.f64 z 3)))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (-.f64 1 (pow.f64 z 3))))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (-.f64 1 (pow.f64 z 3))))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 1 1) (*.f64 (pow.f64 z 3) (pow.f64 z 3))))
  (*.f64 (-.f64 x y) (+.f64 1 (pow.f64 z 3)))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (pow.f64 1 3) (pow.f64 (pow.f64 z 3) 3)))
  (*.f64 (-.f64 x y) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (pow.f64 z 3) (pow.f64 z 3)) (*.f64 1 (pow.f64 z 3)))))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 1 1) (*.f64 (pow.f64 z 3) (pow.f64 z 3))))
  (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (pow.f64 1 3) (pow.f64 (pow.f64 z 3) 3)))
  (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (pow.f64 z 3) (pow.f64 z 3)) (*.f64 1 (pow.f64 z 3)))))
  (sqrt.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (sqrt.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (*.f64 (*.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))) (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (*.f64 (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))) (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))))
  (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (*.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)) (*.f64 (*.f64 (-.f64 1 (pow.f64 z 3)) (-.f64 1 (pow.f64 z 3))) (-.f64 1 (pow.f64 z 3))))
  (exp.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (log.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (+.f64 (log.f64 (+.f64 x y)) (log.f64 (-.f64 1 (pow.f64 z 3))))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
  (+.f64 z 1)
  (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 (*.f64 1 z) (*.f64 1 z)))
  (-.f64 (*.f64 z z) (*.f64 1 z))
  (+.f64 (pow.f64 (*.f64 z z) 3) (pow.f64 (*.f64 1 z) 3))
  (+.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (-.f64 (*.f64 (*.f64 1 z) (*.f64 1 z)) (*.f64 (*.f64 z z) (*.f64 1 z))))
  (sqrt.f64 (+.f64 (*.f64 z z) (*.f64 1 z)))
  (sqrt.f64 (+.f64 (*.f64 z z) (*.f64 1 z)))
  (*.f64 (*.f64 (+.f64 (*.f64 z z) (*.f64 1 z)) (+.f64 (*.f64 z z) (*.f64 1 z))) (+.f64 (*.f64 z z) (*.f64 1 z)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 z z) (*.f64 1 z))) (cbrt.f64 (+.f64 (*.f64 z z) (*.f64 1 z))))
  (cbrt.f64 (+.f64 (*.f64 z z) (*.f64 1 z)))
  (exp.f64 (+.f64 (*.f64 z z) (*.f64 1 z)))
  (log.f64 (+.f64 (*.f64 z z) (*.f64 1 z)))
  (*.f64 (exp.f64 (*.f64 z z)) (exp.f64 (*.f64 1 z)))
  (-.f64 (+.f64 x y) (*.f64 x z))
  (-.f64 y (+.f64 (*.f64 x z) (*.f64 z y)))
  (-.f64 y (+.f64 (*.f64 x z) (*.f64 z y)))
  (+.f64 x y)
  (-.f64 y (+.f64 (*.f64 (pow.f64 z 3) y) (*.f64 x (pow.f64 z 3))))
  (-.f64 y (+.f64 (*.f64 (pow.f64 z 3) y) (*.f64 x (pow.f64 z 3))))
  (+.f64 z (pow.f64 z 2))
  (+.f64 z (pow.f64 z 2))
  (+.f64 z (pow.f64 z 2))
1.391 * * [simplify]: iteration  0 :  5115  enodes  (cost  1815 )
1.399 * [simplify]: Simplified to:
   (*.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (-.f64 x y))
  (*.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))
  (*.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (+.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (+.f64 1 (+.f64 (pow.f64 z 3) (pow.f64 z 6))))
  (*.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (*.f64 (-.f64 x y) (+.f64 1 (pow.f64 z 3))))
  (*.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (*.f64 (-.f64 x y) (+.f64 1 (+.f64 (pow.f64 z 3) (pow.f64 z 6)))))
  (*.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 1 (pow.f64 z 3))))
  (*.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 1 (+.f64 (pow.f64 z 3) (pow.f64 z 6)))))
  (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (-.f64 1 (*.f64 (+.f64 z (*.f64 z z)) (+.f64 z (*.f64 z z)))))
  (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (+.f64 1 (pow.f64 (+.f64 z (*.f64 z z)) 3)))
  (/.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
  (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 z z)))))
  (/.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) (*.f64 (cbrt.f64 (+.f64 1 (+.f64 z (*.f64 z z)))) (cbrt.f64 (+.f64 1 (+.f64 z (*.f64 z z))))))
  (/.f64 (+.f64 1 (+.f64 z (*.f64 z z))) (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (/.f64 1 (+.f64 1 (+.f64 z (*.f64 z z))))
  (+.f64 x y)
  (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z))))
  (+.f64 x y)
  (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z))))
  (/.f64 (+.f64 x y) (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 z z)))))
  (/.f64 (-.f64 1 (pow.f64 z 3)) (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 z z)))))
  (/.f64 (+.f64 x y) (*.f64 (cbrt.f64 (+.f64 1 (+.f64 z (*.f64 z z)))) (cbrt.f64 (+.f64 1 (+.f64 z (*.f64 z z))))))
  (/.f64 (-.f64 1 (pow.f64 z 3)) (cbrt.f64 (+.f64 1 (+.f64 z (*.f64 z z)))))
  (*.f64 (+.f64 x y) (+.f64 (pow.f64 z 3) -1))
  (-.f64 -1 (+.f64 z (*.f64 z z)))
  (sqrt.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y)))
  (sqrt.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y)))
  (pow.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y)) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y))) (cbrt.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y))))
  (cbrt.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y)))
  (pow.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y)) 3)
  (pow.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y)) 3)
  (exp.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y)))
  (log.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y)))
  (log.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y)))
  (log.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 1 (+.f64 z (*.f64 z z)))) (+.f64 x y)))
  (*.f64 (-.f64 1 (pow.f64 z 3)) (-.f64 (*.f64 x x) (*.f64 y y)))
  (*.f64 (-.f64 1 (pow.f64 z 3)) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 6)))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 (pow.f64 z 3) 3)))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
  (*.f64 (-.f64 1 (pow.f64 z 3)) (sqrt.f64 (+.f64 x y)))
  (*.f64 (-.f64 1 (pow.f64 z 3)) (cbrt.f64 (+.f64 x y)))
  (+.f64 x y)
  (*.f64 (+.f64 x y) (+.f64 1 (pow.f64 z 3/2)))
  (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 (pow.f64 z 3))))
  (*.f64 (+.f64 x y) (+.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 x y) (+.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 x y) (+.f64 1 (pow.f64 z 3/2)))
  (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 (pow.f64 z 3))))
  (*.f64 (+.f64 x y) (+.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 x y) (+.f64 1 (*.f64 z (sqrt.f64 z))))
  (+.f64 x y)
  (*.f64 (+.f64 x y) (sqrt.f64 (-.f64 1 (pow.f64 z 3))))
  (*.f64 (+.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 z 3))) (cbrt.f64 (-.f64 1 (pow.f64 z 3)))))
  (+.f64 x y)
  (*.f64 (+.f64 x y) (neg.f64 (pow.f64 z 3)))
  (+.f64 x y)
  (*.f64 (+.f64 x y) (neg.f64 (pow.f64 z 3)))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (-.f64 1 (pow.f64 z 3))))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (-.f64 1 (pow.f64 z 3))))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 (pow.f64 z 6)))
  (*.f64 (-.f64 x y) (+.f64 1 (pow.f64 z 3)))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 (pow.f64 (pow.f64 z 3) 3)))
  (*.f64 (-.f64 x y) (+.f64 1 (+.f64 (pow.f64 z 3) (pow.f64 z 6))))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (pow.f64 z 6)))
  (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 1 (pow.f64 z 3)))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 (pow.f64 (pow.f64 z 3) 3)))
  (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 1 (+.f64 (pow.f64 z 3) (pow.f64 z 6))))
  (sqrt.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (sqrt.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) 3)
  (*.f64 (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))) (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))))
  (cbrt.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (pow.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))) 3)
  (exp.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (log.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (log.f64 (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3))))
  (*.f64 (+.f64 x y) (-.f64 1 (pow.f64 z 3)))
  (+.f64 1 z)
  (-.f64 (pow.f64 z 4) (*.f64 z z))
  (-.f64 (*.f64 z z) z)
  (+.f64 (pow.f64 z 3) (pow.f64 z 6))
  (+.f64 (pow.f64 z 4) (-.f64 (*.f64 z z) (pow.f64 z 3)))
  (sqrt.f64 (+.f64 z (*.f64 z z)))
  (sqrt.f64 (+.f64 z (*.f64 z z)))
  (pow.f64 (+.f64 z (*.f64 z z)) 3)
  (*.f64 (cbrt.f64 (+.f64 z (*.f64 z z))) (cbrt.f64 (+.f64 z (*.f64 z z))))
  (cbrt.f64 (+.f64 z (*.f64 z z)))
  (exp.f64 (+.f64 z (*.f64 z z)))
  (log.f64 (+.f64 z (*.f64 z z)))
  (exp.f64 (+.f64 z (*.f64 z z)))
  (-.f64 (+.f64 x y) (*.f64 z x))
  (-.f64 y (*.f64 z (+.f64 x y)))
  (-.f64 y (*.f64 z (+.f64 x y)))
  (+.f64 x y)
  (-.f64 y (*.f64 (pow.f64 z 3) (+.f64 x y)))
  (-.f64 y (*.f64 (pow.f64 z 3) (+.f64 x y)))
  (+.f64 z (*.f64 z z))
  (+.f64 z (*.f64 z z))
  (+.f64 z (*.f64 z z))
1.400 * * * [progress]: adding candidates to table
1.694 * * [progress]: iteration 3 / 4
1.694 * * * [progress]: picking best candidate
1.699 * * * * [pick]: Picked  #<alt (λ (x y z) (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z))))>
1.699 * * * [progress]: localizing error
1.711 * * * [progress]: generating rewritten candidates
1.711 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.727 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.745 * * * [progress]: generating series expansions
1.745 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.746 * [approximate]: Taking taylor expansion of (* (- 1 (sqrt z)) (* (+ (sqrt z) 1) (+ x y))) in (x y z) around 0
1.746 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt z)) (* (+ (sqrt z) 1) (+ x y))) in z
1.746 * [taylor]: Taking taylor expansion of (- 1 (sqrt z)) in z
1.746 * [taylor]: Taking taylor expansion of 1 in z
1.746 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.746 * [taylor]: Taking taylor expansion of z in z
1.746 * [taylor]: Taking taylor expansion of (* (+ (sqrt z) 1) (+ x y)) in z
1.746 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in z
1.746 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.746 * [taylor]: Taking taylor expansion of z in z
1.747 * [taylor]: Taking taylor expansion of 1 in z
1.747 * [taylor]: Taking taylor expansion of (+ x y) in z
1.747 * [taylor]: Taking taylor expansion of x in z
1.747 * [taylor]: Taking taylor expansion of y in z
1.747 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt z)) (* (+ (sqrt z) 1) (+ x y))) in y
1.747 * [taylor]: Taking taylor expansion of (- 1 (sqrt z)) in y
1.747 * [taylor]: Taking taylor expansion of 1 in y
1.747 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.747 * [taylor]: Taking taylor expansion of z in y
1.747 * [taylor]: Taking taylor expansion of (* (+ (sqrt z) 1) (+ x y)) in y
1.747 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in y
1.747 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.747 * [taylor]: Taking taylor expansion of z in y
1.747 * [taylor]: Taking taylor expansion of 1 in y
1.747 * [taylor]: Taking taylor expansion of (+ x y) in y
1.747 * [taylor]: Taking taylor expansion of x in y
1.747 * [taylor]: Taking taylor expansion of y in y
1.747 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt z)) (* (+ (sqrt z) 1) (+ x y))) in x
1.748 * [taylor]: Taking taylor expansion of (- 1 (sqrt z)) in x
1.748 * [taylor]: Taking taylor expansion of 1 in x
1.748 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.748 * [taylor]: Taking taylor expansion of z in x
1.748 * [taylor]: Taking taylor expansion of (* (+ (sqrt z) 1) (+ x y)) in x
1.748 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in x
1.748 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.748 * [taylor]: Taking taylor expansion of z in x
1.748 * [taylor]: Taking taylor expansion of 1 in x
1.748 * [taylor]: Taking taylor expansion of (+ x y) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [taylor]: Taking taylor expansion of y in x
1.748 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt z)) (* (+ (sqrt z) 1) (+ x y))) in x
1.748 * [taylor]: Taking taylor expansion of (- 1 (sqrt z)) in x
1.748 * [taylor]: Taking taylor expansion of 1 in x
1.748 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.748 * [taylor]: Taking taylor expansion of z in x
1.748 * [taylor]: Taking taylor expansion of (* (+ (sqrt z) 1) (+ x y)) in x
1.749 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in x
1.749 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.749 * [taylor]: Taking taylor expansion of z in x
1.749 * [taylor]: Taking taylor expansion of 1 in x
1.749 * [taylor]: Taking taylor expansion of (+ x y) in x
1.749 * [taylor]: Taking taylor expansion of x in x
1.749 * [taylor]: Taking taylor expansion of y in x
1.750 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt z)) (* y (+ (sqrt z) 1))) in y
1.750 * [taylor]: Taking taylor expansion of (- 1 (sqrt z)) in y
1.750 * [taylor]: Taking taylor expansion of 1 in y
1.750 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.750 * [taylor]: Taking taylor expansion of z in y
1.750 * [taylor]: Taking taylor expansion of (* y (+ (sqrt z) 1)) in y
1.750 * [taylor]: Taking taylor expansion of y in y
1.750 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in y
1.750 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.750 * [taylor]: Taking taylor expansion of z in y
1.751 * [taylor]: Taking taylor expansion of 1 in y
1.751 * [taylor]: Taking taylor expansion of 0 in z
1.753 * [taylor]: Taking taylor expansion of (- 1 z) in y
1.753 * [taylor]: Taking taylor expansion of 1 in y
1.753 * [taylor]: Taking taylor expansion of z in y
1.753 * [taylor]: Taking taylor expansion of (- 1 z) in z
1.753 * [taylor]: Taking taylor expansion of 1 in z
1.753 * [taylor]: Taking taylor expansion of z in z
1.754 * [taylor]: Taking taylor expansion of (- 1 z) in z
1.754 * [taylor]: Taking taylor expansion of 1 in z
1.754 * [taylor]: Taking taylor expansion of z in z
1.756 * [taylor]: Taking taylor expansion of 0 in y
1.756 * [taylor]: Taking taylor expansion of 0 in z
1.757 * [taylor]: Taking taylor expansion of 0 in z
1.758 * [taylor]: Taking taylor expansion of 0 in z
1.760 * [approximate]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1))) in (x y z) around 0
1.760 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1))) in z
1.760 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.760 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.760 * [taylor]: Taking taylor expansion of y in z
1.761 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.761 * [taylor]: Taking taylor expansion of x in z
1.761 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1)) in z
1.761 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 z))) in z
1.761 * [taylor]: Taking taylor expansion of 1 in z
1.761 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.761 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.761 * [taylor]: Taking taylor expansion of z in z
1.761 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in z
1.761 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.761 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.761 * [taylor]: Taking taylor expansion of z in z
1.761 * [taylor]: Taking taylor expansion of 1 in z
1.761 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1))) in y
1.761 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.761 * [taylor]: Taking taylor expansion of y in y
1.762 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.762 * [taylor]: Taking taylor expansion of x in y
1.762 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1)) in y
1.762 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 z))) in y
1.762 * [taylor]: Taking taylor expansion of 1 in y
1.762 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.762 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.762 * [taylor]: Taking taylor expansion of z in y
1.762 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in y
1.763 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.763 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.763 * [taylor]: Taking taylor expansion of z in y
1.763 * [taylor]: Taking taylor expansion of 1 in y
1.763 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1))) in x
1.763 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.763 * [taylor]: Taking taylor expansion of y in x
1.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.763 * [taylor]: Taking taylor expansion of x in x
1.764 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1)) in x
1.764 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 z))) in x
1.764 * [taylor]: Taking taylor expansion of 1 in x
1.764 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.764 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.764 * [taylor]: Taking taylor expansion of z in x
1.764 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in x
1.764 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.764 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.764 * [taylor]: Taking taylor expansion of z in x
1.765 * [taylor]: Taking taylor expansion of 1 in x
1.765 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1))) in x
1.765 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.765 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.765 * [taylor]: Taking taylor expansion of y in x
1.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.765 * [taylor]: Taking taylor expansion of x in x
1.765 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1)) in x
1.765 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 z))) in x
1.765 * [taylor]: Taking taylor expansion of 1 in x
1.765 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.766 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.766 * [taylor]: Taking taylor expansion of z in x
1.766 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in x
1.766 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.766 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.766 * [taylor]: Taking taylor expansion of z in x
1.767 * [taylor]: Taking taylor expansion of 1 in x
1.769 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1)) in y
1.769 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 z))) in y
1.769 * [taylor]: Taking taylor expansion of 1 in y
1.769 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.769 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.769 * [taylor]: Taking taylor expansion of z in y
1.770 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in y
1.770 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.770 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.770 * [taylor]: Taking taylor expansion of z in y
1.770 * [taylor]: Taking taylor expansion of 1 in y
1.772 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* z y))) in y
1.772 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.772 * [taylor]: Taking taylor expansion of y in y
1.772 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.772 * [taylor]: Taking taylor expansion of (* z y) in y
1.772 * [taylor]: Taking taylor expansion of z in y
1.772 * [taylor]: Taking taylor expansion of y in y
1.773 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
1.773 * [taylor]: Taking taylor expansion of 1 in z
1.773 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.773 * [taylor]: Taking taylor expansion of z in z
1.774 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ 1 z))) (+ (sqrt (/ 1 z)) 1)) in z
1.774 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ 1 z))) in z
1.774 * [taylor]: Taking taylor expansion of 1 in z
1.774 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.774 * [taylor]: Taking taylor expansion of z in z
1.775 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in z
1.775 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.775 * [taylor]: Taking taylor expansion of z in z
1.775 * [taylor]: Taking taylor expansion of 1 in z
1.780 * [taylor]: Taking taylor expansion of 0 in y
1.781 * [taylor]: Taking taylor expansion of 0 in z
1.781 * [taylor]: Taking taylor expansion of 0 in z
1.790 * [taylor]: Taking taylor expansion of 0 in y
1.790 * [taylor]: Taking taylor expansion of 0 in z
1.792 * [taylor]: Taking taylor expansion of 0 in z
1.796 * [taylor]: Taking taylor expansion of 0 in z
1.805 * [approximate]: Taking taylor expansion of (* -1 (* (- 1 (sqrt (/ -1 z))) (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)))) in (x y z) around 0
1.805 * [taylor]: Taking taylor expansion of (* -1 (* (- 1 (sqrt (/ -1 z))) (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)))) in z
1.805 * [taylor]: Taking taylor expansion of -1 in z
1.805 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ -1 z))) (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1))) in z
1.805 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 z))) in z
1.805 * [taylor]: Taking taylor expansion of 1 in z
1.805 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.805 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.806 * [taylor]: Taking taylor expansion of -1 in z
1.806 * [taylor]: Taking taylor expansion of z in z
1.806 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)) in z
1.806 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.806 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.806 * [taylor]: Taking taylor expansion of y in z
1.806 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.806 * [taylor]: Taking taylor expansion of x in z
1.806 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in z
1.806 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.806 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.807 * [taylor]: Taking taylor expansion of -1 in z
1.807 * [taylor]: Taking taylor expansion of z in z
1.807 * [taylor]: Taking taylor expansion of 1 in z
1.807 * [taylor]: Taking taylor expansion of (* -1 (* (- 1 (sqrt (/ -1 z))) (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)))) in y
1.807 * [taylor]: Taking taylor expansion of -1 in y
1.807 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ -1 z))) (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1))) in y
1.807 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 z))) in y
1.807 * [taylor]: Taking taylor expansion of 1 in y
1.807 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.807 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.807 * [taylor]: Taking taylor expansion of -1 in y
1.807 * [taylor]: Taking taylor expansion of z in y
1.808 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)) in y
1.809 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.809 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.809 * [taylor]: Taking taylor expansion of y in y
1.809 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.809 * [taylor]: Taking taylor expansion of x in y
1.809 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in y
1.809 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.809 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.809 * [taylor]: Taking taylor expansion of -1 in y
1.809 * [taylor]: Taking taylor expansion of z in y
1.810 * [taylor]: Taking taylor expansion of 1 in y
1.810 * [taylor]: Taking taylor expansion of (* -1 (* (- 1 (sqrt (/ -1 z))) (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)))) in x
1.810 * [taylor]: Taking taylor expansion of -1 in x
1.810 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ -1 z))) (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1))) in x
1.810 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 z))) in x
1.810 * [taylor]: Taking taylor expansion of 1 in x
1.810 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.810 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.810 * [taylor]: Taking taylor expansion of -1 in x
1.810 * [taylor]: Taking taylor expansion of z in x
1.812 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)) in x
1.812 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.812 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.812 * [taylor]: Taking taylor expansion of y in x
1.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in x
1.812 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.812 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.812 * [taylor]: Taking taylor expansion of -1 in x
1.812 * [taylor]: Taking taylor expansion of z in x
1.813 * [taylor]: Taking taylor expansion of 1 in x
1.813 * [taylor]: Taking taylor expansion of (* -1 (* (- 1 (sqrt (/ -1 z))) (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)))) in x
1.813 * [taylor]: Taking taylor expansion of -1 in x
1.814 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ -1 z))) (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1))) in x
1.814 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 z))) in x
1.814 * [taylor]: Taking taylor expansion of 1 in x
1.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.814 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.814 * [taylor]: Taking taylor expansion of -1 in x
1.814 * [taylor]: Taking taylor expansion of z in x
1.815 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)) in x
1.815 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.815 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.815 * [taylor]: Taking taylor expansion of y in x
1.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.815 * [taylor]: Taking taylor expansion of x in x
1.815 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in x
1.815 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.815 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.815 * [taylor]: Taking taylor expansion of -1 in x
1.815 * [taylor]: Taking taylor expansion of z in x
1.817 * [taylor]: Taking taylor expansion of 1 in x
1.819 * [taylor]: Taking taylor expansion of (* -1 (* (- 1 (sqrt (/ -1 z))) (+ (sqrt (/ -1 z)) 1))) in y
1.819 * [taylor]: Taking taylor expansion of -1 in y
1.819 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ -1 z))) (+ (sqrt (/ -1 z)) 1)) in y
1.819 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 z))) in y
1.820 * [taylor]: Taking taylor expansion of 1 in y
1.820 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.820 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.820 * [taylor]: Taking taylor expansion of -1 in y
1.820 * [taylor]: Taking taylor expansion of z in y
1.821 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in y
1.821 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.821 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.821 * [taylor]: Taking taylor expansion of -1 in y
1.821 * [taylor]: Taking taylor expansion of z in y
1.822 * [taylor]: Taking taylor expansion of 1 in y
1.828 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) y) (/ 1 y)) in y
1.828 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in y
1.828 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y
1.828 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.828 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.828 * [taylor]: Taking taylor expansion of -1 in y
1.828 * [taylor]: Taking taylor expansion of z in y
1.829 * [taylor]: Taking taylor expansion of y in y
1.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.830 * [taylor]: Taking taylor expansion of y in y
1.831 * [taylor]: Taking taylor expansion of (- (pow (sqrt (/ -1 z)) 2) 1) in z
1.831 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z
1.831 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.831 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.831 * [taylor]: Taking taylor expansion of -1 in z
1.831 * [taylor]: Taking taylor expansion of z in z
1.832 * [taylor]: Taking taylor expansion of 1 in z
1.834 * [taylor]: Taking taylor expansion of (* -1 (* (- 1 (sqrt (/ -1 z))) (+ (sqrt (/ -1 z)) 1))) in z
1.834 * [taylor]: Taking taylor expansion of -1 in z
1.834 * [taylor]: Taking taylor expansion of (* (- 1 (sqrt (/ -1 z))) (+ (sqrt (/ -1 z)) 1)) in z
1.834 * [taylor]: Taking taylor expansion of (- 1 (sqrt (/ -1 z))) in z
1.834 * [taylor]: Taking taylor expansion of 1 in z
1.834 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.834 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.834 * [taylor]: Taking taylor expansion of -1 in z
1.834 * [taylor]: Taking taylor expansion of z in z
1.835 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in z
1.835 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.835 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.835 * [taylor]: Taking taylor expansion of -1 in z
1.835 * [taylor]: Taking taylor expansion of z in z
1.836 * [taylor]: Taking taylor expansion of 1 in z
1.846 * [taylor]: Taking taylor expansion of 0 in y
1.848 * [taylor]: Taking taylor expansion of 0 in z
1.850 * [taylor]: Taking taylor expansion of 0 in z
1.861 * [taylor]: Taking taylor expansion of 0 in y
1.861 * [taylor]: Taking taylor expansion of 0 in z
1.865 * [taylor]: Taking taylor expansion of 0 in z
1.870 * [taylor]: Taking taylor expansion of 0 in z
1.885 * [taylor]: Taking taylor expansion of 0 in y
1.885 * [taylor]: Taking taylor expansion of 0 in z
1.885 * [taylor]: Taking taylor expansion of 0 in z
1.888 * [taylor]: Taking taylor expansion of 0 in z
1.891 * [taylor]: Taking taylor expansion of 0 in z
1.896 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.896 * [approximate]: Taking taylor expansion of (* (+ (sqrt z) 1) (+ x y)) in (x y z) around 0
1.896 * [taylor]: Taking taylor expansion of (* (+ (sqrt z) 1) (+ x y)) in z
1.896 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in z
1.896 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.896 * [taylor]: Taking taylor expansion of z in z
1.897 * [taylor]: Taking taylor expansion of 1 in z
1.897 * [taylor]: Taking taylor expansion of (+ x y) in z
1.897 * [taylor]: Taking taylor expansion of x in z
1.897 * [taylor]: Taking taylor expansion of y in z
1.897 * [taylor]: Taking taylor expansion of (* (+ (sqrt z) 1) (+ x y)) in y
1.897 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in y
1.897 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.897 * [taylor]: Taking taylor expansion of z in y
1.897 * [taylor]: Taking taylor expansion of 1 in y
1.897 * [taylor]: Taking taylor expansion of (+ x y) in y
1.897 * [taylor]: Taking taylor expansion of x in y
1.897 * [taylor]: Taking taylor expansion of y in y
1.897 * [taylor]: Taking taylor expansion of (* (+ (sqrt z) 1) (+ x y)) in x
1.897 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in x
1.897 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.897 * [taylor]: Taking taylor expansion of z in x
1.897 * [taylor]: Taking taylor expansion of 1 in x
1.897 * [taylor]: Taking taylor expansion of (+ x y) in x
1.897 * [taylor]: Taking taylor expansion of x in x
1.897 * [taylor]: Taking taylor expansion of y in x
1.897 * [taylor]: Taking taylor expansion of (* (+ (sqrt z) 1) (+ x y)) in x
1.897 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in x
1.897 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.897 * [taylor]: Taking taylor expansion of z in x
1.898 * [taylor]: Taking taylor expansion of 1 in x
1.898 * [taylor]: Taking taylor expansion of (+ x y) in x
1.898 * [taylor]: Taking taylor expansion of x in x
1.898 * [taylor]: Taking taylor expansion of y in x
1.898 * [taylor]: Taking taylor expansion of (* y (+ (sqrt z) 1)) in y
1.898 * [taylor]: Taking taylor expansion of y in y
1.898 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in y
1.898 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.898 * [taylor]: Taking taylor expansion of z in y
1.898 * [taylor]: Taking taylor expansion of 1 in y
1.899 * [taylor]: Taking taylor expansion of 0 in z
1.899 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in y
1.899 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.899 * [taylor]: Taking taylor expansion of z in y
1.900 * [taylor]: Taking taylor expansion of 1 in y
1.900 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in z
1.900 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.900 * [taylor]: Taking taylor expansion of z in z
1.900 * [taylor]: Taking taylor expansion of 1 in z
1.900 * [taylor]: Taking taylor expansion of (+ (sqrt z) 1) in z
1.900 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.900 * [taylor]: Taking taylor expansion of z in z
1.901 * [taylor]: Taking taylor expansion of 1 in z
1.902 * [taylor]: Taking taylor expansion of 0 in y
1.902 * [taylor]: Taking taylor expansion of 0 in z
1.902 * [taylor]: Taking taylor expansion of 0 in z
1.903 * [taylor]: Taking taylor expansion of 0 in z
1.904 * [approximate]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ 1 z)) 1)) in (x y z) around 0
1.904 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ 1 z)) 1)) in z
1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.904 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.904 * [taylor]: Taking taylor expansion of y in z
1.904 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.904 * [taylor]: Taking taylor expansion of x in z
1.904 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in z
1.904 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.904 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.904 * [taylor]: Taking taylor expansion of z in z
1.905 * [taylor]: Taking taylor expansion of 1 in z
1.905 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ 1 z)) 1)) in y
1.905 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.905 * [taylor]: Taking taylor expansion of y in y
1.905 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.905 * [taylor]: Taking taylor expansion of x in y
1.905 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in y
1.905 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.905 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.905 * [taylor]: Taking taylor expansion of z in y
1.906 * [taylor]: Taking taylor expansion of 1 in y
1.906 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ 1 z)) 1)) in x
1.906 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.906 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.906 * [taylor]: Taking taylor expansion of y in x
1.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.906 * [taylor]: Taking taylor expansion of x in x
1.906 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in x
1.906 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.906 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.906 * [taylor]: Taking taylor expansion of z in x
1.907 * [taylor]: Taking taylor expansion of 1 in x
1.907 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ 1 z)) 1)) in x
1.907 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.907 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.907 * [taylor]: Taking taylor expansion of y in x
1.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.907 * [taylor]: Taking taylor expansion of x in x
1.907 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in x
1.907 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.907 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.907 * [taylor]: Taking taylor expansion of z in x
1.908 * [taylor]: Taking taylor expansion of 1 in x
1.908 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in y
1.909 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.909 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.909 * [taylor]: Taking taylor expansion of z in y
1.909 * [taylor]: Taking taylor expansion of 1 in y
1.910 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 z)) (/ 1 y)) (/ 1 y)) in y
1.910 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y
1.910 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.910 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.910 * [taylor]: Taking taylor expansion of z in y
1.911 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.911 * [taylor]: Taking taylor expansion of y in y
1.911 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.911 * [taylor]: Taking taylor expansion of y in y
1.912 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in z
1.912 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.912 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.912 * [taylor]: Taking taylor expansion of z in z
1.912 * [taylor]: Taking taylor expansion of 1 in z
1.912 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 z)) 1) in z
1.912 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.912 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.912 * [taylor]: Taking taylor expansion of z in z
1.913 * [taylor]: Taking taylor expansion of 1 in z
1.915 * [taylor]: Taking taylor expansion of 0 in y
1.916 * [taylor]: Taking taylor expansion of 0 in z
1.916 * [taylor]: Taking taylor expansion of 0 in z
1.918 * [taylor]: Taking taylor expansion of 0 in y
1.918 * [taylor]: Taking taylor expansion of 0 in z
1.920 * [taylor]: Taking taylor expansion of 0 in z
1.921 * [taylor]: Taking taylor expansion of 0 in z
1.925 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1))) in (x y z) around 0
1.925 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1))) in z
1.925 * [taylor]: Taking taylor expansion of -1 in z
1.925 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)) in z
1.925 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
1.925 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.925 * [taylor]: Taking taylor expansion of y in z
1.925 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.925 * [taylor]: Taking taylor expansion of x in z
1.925 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in z
1.925 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.925 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.925 * [taylor]: Taking taylor expansion of -1 in z
1.925 * [taylor]: Taking taylor expansion of z in z
1.926 * [taylor]: Taking taylor expansion of 1 in z
1.926 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1))) in y
1.926 * [taylor]: Taking taylor expansion of -1 in y
1.926 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)) in y
1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.926 * [taylor]: Taking taylor expansion of y in y
1.926 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.926 * [taylor]: Taking taylor expansion of x in y
1.926 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in y
1.926 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.926 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.926 * [taylor]: Taking taylor expansion of -1 in y
1.926 * [taylor]: Taking taylor expansion of z in y
1.927 * [taylor]: Taking taylor expansion of 1 in y
1.927 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1))) in x
1.927 * [taylor]: Taking taylor expansion of -1 in x
1.927 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)) in x
1.927 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.927 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.927 * [taylor]: Taking taylor expansion of y in x
1.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.927 * [taylor]: Taking taylor expansion of x in x
1.927 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in x
1.927 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.927 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.927 * [taylor]: Taking taylor expansion of -1 in x
1.927 * [taylor]: Taking taylor expansion of z in x
1.928 * [taylor]: Taking taylor expansion of 1 in x
1.928 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1))) in x
1.928 * [taylor]: Taking taylor expansion of -1 in x
1.928 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (sqrt (/ -1 z)) 1)) in x
1.928 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.928 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.928 * [taylor]: Taking taylor expansion of y in x
1.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.928 * [taylor]: Taking taylor expansion of x in x
1.928 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in x
1.928 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.928 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.928 * [taylor]: Taking taylor expansion of -1 in x
1.928 * [taylor]: Taking taylor expansion of z in x
1.929 * [taylor]: Taking taylor expansion of 1 in x
1.930 * [taylor]: Taking taylor expansion of (* -1 (+ (sqrt (/ -1 z)) 1)) in y
1.930 * [taylor]: Taking taylor expansion of -1 in y
1.930 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in y
1.930 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.930 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.930 * [taylor]: Taking taylor expansion of -1 in y
1.930 * [taylor]: Taking taylor expansion of z in y
1.931 * [taylor]: Taking taylor expansion of 1 in y
1.932 * [taylor]: Taking taylor expansion of (neg (+ (/ (sqrt (/ -1 z)) y) (/ 1 y))) in y
1.932 * [taylor]: Taking taylor expansion of (+ (/ (sqrt (/ -1 z)) y) (/ 1 y)) in y
1.932 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y
1.932 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.932 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.932 * [taylor]: Taking taylor expansion of -1 in y
1.932 * [taylor]: Taking taylor expansion of z in y
1.933 * [taylor]: Taking taylor expansion of y in y
1.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.933 * [taylor]: Taking taylor expansion of y in y
1.934 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (/ -1 z)) 1)) in z
1.934 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in z
1.934 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.934 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.934 * [taylor]: Taking taylor expansion of -1 in z
1.934 * [taylor]: Taking taylor expansion of z in z
1.934 * [taylor]: Taking taylor expansion of 1 in z
1.935 * [taylor]: Taking taylor expansion of (* -1 (+ (sqrt (/ -1 z)) 1)) in z
1.935 * [taylor]: Taking taylor expansion of -1 in z
1.935 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 z)) 1) in z
1.935 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.935 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.935 * [taylor]: Taking taylor expansion of -1 in z
1.935 * [taylor]: Taking taylor expansion of z in z
1.935 * [taylor]: Taking taylor expansion of 1 in z
1.938 * [taylor]: Taking taylor expansion of 0 in y
1.939 * [taylor]: Taking taylor expansion of 0 in z
1.939 * [taylor]: Taking taylor expansion of 0 in z
1.943 * [taylor]: Taking taylor expansion of 0 in y
1.943 * [taylor]: Taking taylor expansion of 0 in z
1.945 * [taylor]: Taking taylor expansion of 0 in z
1.947 * [taylor]: Taking taylor expansion of 0 in z
1.950 * * * [progress]: simplifying candidates
1.951 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z)))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z)))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z)))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) 1)
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (sqrt.f64 1))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (+.f64 1 (sqrt.f64 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (+.f64 1 (sqrt.f64 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (+.f64 (sqrt.f64 1) (sqrt.f64 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (+.f64 (sqrt.f64 1) (sqrt.f64 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) 1)
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (sqrt.f64 (-.f64 1 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (*.f64 (cbrt.f64 (-.f64 1 (sqrt.f64 z))) (cbrt.f64 (-.f64 1 (sqrt.f64 z)))))
  (*.f64 1 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))))
  (*.f64 (neg.f64 (sqrt.f64 z)) (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) 1)
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (neg.f64 (sqrt.f64 z)))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (sqrt.f64 z))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (-.f64 x y) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (sqrt.f64 z))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (-.f64 x y) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 1 (sqrt.f64 z))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 1 (sqrt.f64 z))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))))
  (*.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z)))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z)))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z)))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (*.f64 (-.f64 x y) (-.f64 1 (sqrt.f64 z))) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z)))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (*.f64 (-.f64 x y) (-.f64 1 (sqrt.f64 z))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (*.f64 (-.f64 x y) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z))))) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (*.f64 (-.f64 x y) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z))))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z)))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (-.f64 1 (sqrt.f64 z))) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z)))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (-.f64 1 (sqrt.f64 z))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3))) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z))))) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3))) (-.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z))))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))))
  (sqrt.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z))))
  (sqrt.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z))))
  (*.f64 (*.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z))) (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))) (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))) (cbrt.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))))
  (cbrt.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z))))
  (*.f64 (*.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))) (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))) (*.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (-.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z))))
  (*.f64 (*.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)) (*.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 1 (sqrt.f64 z))) (+.f64 1 (sqrt.f64 z)))) (*.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (-.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z))))
  (exp.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z))))
  (log.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z))))
  (+.f64 (log.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))) (log.f64 (-.f64 1 (sqrt.f64 z))))
  (+.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 (+.f64 1 (sqrt.f64 z)))) (log.f64 (-.f64 1 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (+.f64 x y) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (+.f64 x y) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (sqrt.f64 (+.f64 x y)) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 (+.f64 x y)) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (+.f64 x y) 1)
  (*.f64 (+.f64 x y) (sqrt.f64 1))
  (*.f64 (+.f64 x y) 1)
  (*.f64 (+.f64 x y) (sqrt.f64 (+.f64 1 (sqrt.f64 z))))
  (*.f64 (+.f64 x y) (*.f64 (cbrt.f64 (+.f64 1 (sqrt.f64 z))) (cbrt.f64 (+.f64 1 (sqrt.f64 z)))))
  (*.f64 1 (+.f64 x y))
  (*.f64 (sqrt.f64 z) (+.f64 x y))
  (*.f64 (+.f64 x y) 1)
  (*.f64 (+.f64 x y) (sqrt.f64 z))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 1 (sqrt.f64 z))))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 1 (sqrt.f64 z))))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (-.f64 x y) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (-.f64 x y) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 1 1) (*.f64 (sqrt.f64 z) (sqrt.f64 z))))
  (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 1 3) (pow.f64 (sqrt.f64 z) 3)))
  (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 y y) (*.f64 x y))) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (sqrt.f64 z) (sqrt.f64 z)) (*.f64 1 (sqrt.f64 z)))))
  (sqrt.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))))
  (sqrt.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))))
  (*.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))) (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))) (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))))
  (*.f64 (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))) (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))))
  (cbrt.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))))
  (*.f64 (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 x y)) (*.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 1 (sqrt.f64 z))) (+.f64 1 (sqrt.f64 z))))
  (exp.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))))
  (log.f64 (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z))))
  (+.f64 (log.f64 (+.f64 x y)) (log.f64 (+.f64 1 (sqrt.f64 z))))
  (*.f64 (+.f64 x y) (+.f64 1 (sqrt.f64 z)))
  (-.f64 (+.f64 x y) (*.f64 x z))
  (-.f64 (+.f64 x y) (+.f64 (*.f64 z y) (*.f64 x (pow.f64 NAN.f64 2))))
  (-.f64 (+.f64 x (+.f64 y (*.f64 2 (/.f64 (*.f64 (pow.f64 NAN.f64 4) y) z)))) (+.f64 (*.f64 (pow.f64 NAN.f64 2) y) (*.f64 x (pow.f64 NAN.f64 2))))
  (+.f64 x (+.f64 y (*.f64 x (*.f64 NAN.f64 z))))
  (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) z) (+.f64 x (+.f64 (*.f64 x NAN.f64) (+.f64 (*.f64 NAN.f64 y) y))))
  (-.f64 (+.f64 x (+.f64 (*.f64 x NAN.f64) (+.f64 (*.f64 NAN.f64 y) y))) (/.f64 (*.f64 (pow.f64 NAN.f64 3) y) z))
1.996 * * [simplify]: iteration  0 :  5505  enodes  (cost  2213 )
2.006 * [simplify]: Simplified to:
   (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 x y) (-.f64 1 z)))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 x y) (+.f64 1 (*.f64 z (sqrt.f64 z)))))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (*.f64 z (sqrt.f64 z)))))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 z)))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 1 (*.f64 z (sqrt.f64 z)))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 x y) (-.f64 1 z)))
  (*.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)) (-.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))
  (*.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)) (+.f64 1 (sqrt.f64 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)) (+.f64 1 (sqrt.f64 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)) (+.f64 1 (sqrt.f64 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)) (+.f64 1 (sqrt.f64 (sqrt.f64 z))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))
  (*.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)) (sqrt.f64 (-.f64 1 (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)) (*.f64 (cbrt.f64 (-.f64 1 (sqrt.f64 z))) (cbrt.f64 (-.f64 1 (sqrt.f64 z)))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))
  (*.f64 (+.f64 x y) (neg.f64 (+.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))
  (*.f64 (+.f64 x y) (neg.f64 (+.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (-.f64 x y))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (sqrt.f64 z))) (-.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (-.f64 x y) (+.f64 1 (+.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 z)))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))
  (*.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (-.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 1 (+.f64 z (sqrt.f64 z))) (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))
  (*.f64 (-.f64 1 z) (*.f64 (+.f64 x y) (-.f64 1 z)))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (-.f64 1 (sqrt.f64 z)))
  (*.f64 (*.f64 (+.f64 x y) (-.f64 1 z)) (-.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (+.f64 1 (+.f64 z (sqrt.f64 z))))
  (*.f64 (-.f64 1 z) (*.f64 (+.f64 x y) (+.f64 1 (*.f64 z (sqrt.f64 z)))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 1 (-.f64 z (sqrt.f64 z))))
  (*.f64 (*.f64 (+.f64 x y) (+.f64 1 (*.f64 z (sqrt.f64 z)))) (-.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 1 (+.f64 z (sqrt.f64 z))) (+.f64 1 (-.f64 z (sqrt.f64 z))))
  (*.f64 (-.f64 1 z) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (*.f64 (-.f64 1 (sqrt.f64 z)) (-.f64 x y)))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z)) (-.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (-.f64 x y) (+.f64 1 (+.f64 z (sqrt.f64 z)))))
  (*.f64 (-.f64 1 z) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (*.f64 z (sqrt.f64 z)))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (*.f64 (-.f64 x y) (+.f64 1 (-.f64 z (sqrt.f64 z)))))
  (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (*.f64 z (sqrt.f64 z)))) (-.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (-.f64 x y) (*.f64 (+.f64 1 (+.f64 z (sqrt.f64 z))) (+.f64 1 (-.f64 z (sqrt.f64 z)))))
  (*.f64 (-.f64 1 z) (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 z)))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (*.f64 (-.f64 1 (sqrt.f64 z)) (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 z)) (-.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (+.f64 z (sqrt.f64 z))) (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))))
  (*.f64 (-.f64 1 z) (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 1 (*.f64 z (sqrt.f64 z)))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 1 (-.f64 z (sqrt.f64 z)))))
  (*.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 1 (*.f64 z (sqrt.f64 z)))) (-.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 1 (+.f64 z (sqrt.f64 z))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 1 (-.f64 z (sqrt.f64 z)))))
  (sqrt.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))))
  (sqrt.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))))
  (pow.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)))) (cbrt.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)))))
  (cbrt.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))))
  (pow.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))) 3)
  (pow.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))) 3)
  (exp.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))))
  (log.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))))
  (log.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))))
  (log.f64 (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (sqrt.f64 z)))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
  (*.f64 (+.f64 x y) (-.f64 1 z))
  (*.f64 (+.f64 x y) (+.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (sqrt.f64 (+.f64 x y)))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (cbrt.f64 (+.f64 x y)))
  (+.f64 x y)
  (+.f64 x y)
  (+.f64 x y)
  (*.f64 (+.f64 x y) (sqrt.f64 (+.f64 1 (sqrt.f64 z))))
  (*.f64 (+.f64 x y) (*.f64 (cbrt.f64 (+.f64 1 (sqrt.f64 z))) (cbrt.f64 (+.f64 1 (sqrt.f64 z)))))
  (+.f64 x y)
  (*.f64 (sqrt.f64 z) (+.f64 x y))
  (+.f64 x y)
  (*.f64 (sqrt.f64 z) (+.f64 x y))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 1 (sqrt.f64 z))))
  (*.f64 (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 1 (sqrt.f64 z))))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 1 z))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (-.f64 x y))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (-.f64 x y) (+.f64 1 (-.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 1 z))
  (*.f64 (-.f64 1 (sqrt.f64 z)) (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))))
  (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 1 (*.f64 z (sqrt.f64 z))))
  (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 1 (-.f64 z (sqrt.f64 z))))
  (sqrt.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)))
  (sqrt.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)))
  (pow.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)) 3)
  (*.f64 (cbrt.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))) (cbrt.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))))
  (cbrt.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)))
  (pow.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)) 3)
  (exp.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)))
  (log.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)))
  (log.f64 (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y)))
  (*.f64 (+.f64 1 (sqrt.f64 z)) (+.f64 x y))
  (-.f64 (+.f64 x y) (*.f64 x z))
  (-.f64 (+.f64 x y) (+.f64 (*.f64 y z) (*.f64 x (pow.f64 (NAN.f64) 2))))
  (-.f64 (+.f64 x (+.f64 y (*.f64 2 (/.f64 (*.f64 y (pow.f64 (NAN.f64) 4)) z)))) (*.f64 (pow.f64 (NAN.f64) 2) (+.f64 x y)))
  (+.f64 x (+.f64 y (*.f64 x (*.f64 z (NAN.f64)))))
  (+.f64 y (+.f64 (/.f64 (*.f64 y (pow.f64 (NAN.f64) 3)) z) (+.f64 x (*.f64 (NAN.f64) (+.f64 x y)))))
  (+.f64 y (+.f64 (*.f64 (NAN.f64) (+.f64 x y)) (-.f64 x (/.f64 (*.f64 y (pow.f64 (NAN.f64) 3)) z))))
2.006 * * * [progress]: adding candidates to table