19.747 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (- (+ (* x y) (* y y)) (* y z)) (* y y))
0.030 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
0.031 * * [simplify]: iteration  1 :  23  enodes  (cost  13 )
0.035 * * [simplify]: iteration  2 :  73  enodes  (cost  11 )
0.055 * * [simplify]: iteration  3 :  194  enodes  (cost  9 )
0.119 * * [simplify]: iteration  4 :  378  enodes  (cost  7 )
0.395 * * [simplify]: iteration  5 :  692  enodes  (cost  5 )
1.069 * * [simplify]: iteration  6 :  1611  enodes  (cost  5 )
6.925 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
6.925 * [simplify]: Simplified to:
   (* (- x z) y)
6.928 * * [progress]: iteration 1 / 4
6.928 * * * [progress]: picking best candidate
6.930 * * * * [pick]: Picked  #<alt (λ (x y z) (* (- x z) y))>
6.930 * * * [progress]: localizing error
6.934 * * * [progress]: generating rewritten candidates
6.934 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.945 * * * [progress]: generating series expansions
6.945 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.945 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0
6.945 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
6.945 * [taylor]: Taking taylor expansion of y in y
6.945 * [taylor]: Taking taylor expansion of (- x z) in y
6.945 * [taylor]: Taking taylor expansion of x in y
6.945 * [taylor]: Taking taylor expansion of z in y
6.945 * [taylor]: Taking taylor expansion of (* y (- x z)) in z
6.945 * [taylor]: Taking taylor expansion of y in z
6.945 * [taylor]: Taking taylor expansion of (- x z) in z
6.945 * [taylor]: Taking taylor expansion of x in z
6.945 * [taylor]: Taking taylor expansion of z in z
6.945 * [taylor]: Taking taylor expansion of (* y (- x z)) in x
6.945 * [taylor]: Taking taylor expansion of y in x
6.945 * [taylor]: Taking taylor expansion of (- x z) in x
6.945 * [taylor]: Taking taylor expansion of x in x
6.945 * [taylor]: Taking taylor expansion of z in x
6.945 * [taylor]: Taking taylor expansion of (* y (- x z)) in x
6.945 * [taylor]: Taking taylor expansion of y in x
6.945 * [taylor]: Taking taylor expansion of (- x z) in x
6.945 * [taylor]: Taking taylor expansion of x in x
6.945 * [taylor]: Taking taylor expansion of z in x
6.946 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
6.946 * [taylor]: Taking taylor expansion of -1 in z
6.946 * [taylor]: Taking taylor expansion of (* z y) in z
6.946 * [taylor]: Taking taylor expansion of z in z
6.946 * [taylor]: Taking taylor expansion of y in z
6.946 * [taylor]: Taking taylor expansion of 0 in y
6.947 * [taylor]: Taking taylor expansion of y in z
6.947 * [taylor]: Taking taylor expansion of y in y
6.947 * [taylor]: Taking taylor expansion of (- y) in y
6.947 * [taylor]: Taking taylor expansion of y in y
6.948 * [taylor]: Taking taylor expansion of 0 in z
6.948 * [taylor]: Taking taylor expansion of 0 in y
6.948 * [taylor]: Taking taylor expansion of 0 in y
6.948 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0
6.948 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
6.949 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.949 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.949 * [taylor]: Taking taylor expansion of x in y
6.949 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.949 * [taylor]: Taking taylor expansion of z in y
6.949 * [taylor]: Taking taylor expansion of y in y
6.949 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
6.949 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.949 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.949 * [taylor]: Taking taylor expansion of x in z
6.949 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.949 * [taylor]: Taking taylor expansion of z in z
6.949 * [taylor]: Taking taylor expansion of y in z
6.950 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
6.950 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.950 * [taylor]: Taking taylor expansion of x in x
6.950 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.950 * [taylor]: Taking taylor expansion of z in x
6.950 * [taylor]: Taking taylor expansion of y in x
6.950 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
6.950 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.950 * [taylor]: Taking taylor expansion of x in x
6.951 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.951 * [taylor]: Taking taylor expansion of z in x
6.951 * [taylor]: Taking taylor expansion of y in x
6.951 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.951 * [taylor]: Taking taylor expansion of y in z
6.952 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
6.952 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
6.952 * [taylor]: Taking taylor expansion of (* z y) in z
6.952 * [taylor]: Taking taylor expansion of z in z
6.952 * [taylor]: Taking taylor expansion of y in z
6.952 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.952 * [taylor]: Taking taylor expansion of y in y
6.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.953 * [taylor]: Taking taylor expansion of y in y
6.954 * [taylor]: Taking taylor expansion of 0 in z
6.955 * [taylor]: Taking taylor expansion of 0 in y
6.955 * [taylor]: Taking taylor expansion of 0 in y
6.957 * [taylor]: Taking taylor expansion of 0 in z
6.958 * [taylor]: Taking taylor expansion of 0 in y
6.959 * [taylor]: Taking taylor expansion of 0 in y
6.959 * [taylor]: Taking taylor expansion of 0 in y
6.960 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0
6.960 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
6.960 * [taylor]: Taking taylor expansion of -1 in y
6.960 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
6.960 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.960 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.960 * [taylor]: Taking taylor expansion of z in y
6.960 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.960 * [taylor]: Taking taylor expansion of x in y
6.961 * [taylor]: Taking taylor expansion of y in y
6.961 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
6.961 * [taylor]: Taking taylor expansion of -1 in z
6.961 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
6.961 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.961 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.961 * [taylor]: Taking taylor expansion of z in z
6.961 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.961 * [taylor]: Taking taylor expansion of x in z
6.961 * [taylor]: Taking taylor expansion of y in z
6.961 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
6.961 * [taylor]: Taking taylor expansion of -1 in x
6.961 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
6.961 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.961 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.961 * [taylor]: Taking taylor expansion of z in x
6.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.962 * [taylor]: Taking taylor expansion of x in x
6.962 * [taylor]: Taking taylor expansion of y in x
6.962 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
6.963 * [taylor]: Taking taylor expansion of -1 in x
6.963 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
6.963 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.963 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.963 * [taylor]: Taking taylor expansion of z in x
6.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.963 * [taylor]: Taking taylor expansion of x in x
6.963 * [taylor]: Taking taylor expansion of y in x
6.964 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.964 * [taylor]: Taking taylor expansion of y in z
6.964 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
6.965 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
6.965 * [taylor]: Taking taylor expansion of (* z y) in z
6.965 * [taylor]: Taking taylor expansion of z in z
6.965 * [taylor]: Taking taylor expansion of y in z
6.968 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.968 * [taylor]: Taking taylor expansion of y in y
6.969 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.969 * [taylor]: Taking taylor expansion of y in y
6.971 * [taylor]: Taking taylor expansion of 0 in z
6.971 * [taylor]: Taking taylor expansion of 0 in y
6.972 * [taylor]: Taking taylor expansion of 0 in y
6.974 * [taylor]: Taking taylor expansion of 0 in z
6.974 * [taylor]: Taking taylor expansion of 0 in y
6.975 * [taylor]: Taking taylor expansion of 0 in y
6.976 * [taylor]: Taking taylor expansion of 0 in y
6.977 * * * [progress]: simplifying candidates
6.978 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (- x z) y))
  (log1p (* (- x z) y))
  (* (- x z) y)
  (+ (log (- x z)) (log y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y))
  (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))
  (cbrt (* (- x z) y))
  (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y))
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* (- x z) (* (cbrt y) (cbrt y)))
  (* (- x z) (sqrt y))
  (* (- x z) 1)
  (* (cbrt (- x z)) y)
  (* (sqrt (- x z)) y)
  (* (- x z) y)
  (* (- (sqrt x) (sqrt z)) y)
  (* (- x z) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (* x x) (* z z)) y)
  0
  (- (* x y) (* z y))
  (- (* x y) (* z y))
6.979 * * [simplify]: iteration  0 :  51  enodes  (cost  197 )
6.987 * * [simplify]: iteration  1 :  109  enodes  (cost  190 )
7.008 * * [simplify]: iteration  2 :  351  enodes  (cost  170 )
7.220 * * [simplify]: iteration  3 :  1246  enodes  (cost  170 )
8.057 * * [simplify]: iteration  4 :  3156  enodes  (cost  170 )
9.368 * * [simplify]: iteration  done :  5000  enodes  (cost  170 )
9.368 * [simplify]: Simplified to:
   (expm1 (* (- x z) y))
  (log1p (* (- x z) y))
  (* (- x z) y)
  (log (* (- x z) y))
  (log (* (- x z) y))
  (exp (* (- x z) y))
  (pow (* (- x z) y) 3)
  (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y)))
  (cbrt (* (- x z) y))
  (pow (* (- x z) y) 3)
  (sqrt (* (- x z) y))
  (sqrt (* (- x z) y))
  (* (sqrt (- x z)) (sqrt y))
  (* (sqrt (- x z)) (sqrt y))
  (* (- x z) (* (cbrt y) (cbrt y)))
  (* (- x z) (sqrt y))
  (- x z)
  (* (cbrt (- x z)) y)
  (* (sqrt (- x z)) y)
  (* (- x z) y)
  (* (- (sqrt x) (sqrt z)) y)
  (* (- x z) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (* x x) (* z z)) y)
  0
  (* (- x z) y)
  (* (- x z) y)
9.368 * * * [progress]: adding candidates to table
9.414 * * [progress]: iteration 2 / 4
9.414 * * * [progress]: picking best candidate
9.418 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))>
9.418 * * * [progress]: localizing error
9.426 * * * [progress]: generating rewritten candidates
9.426 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
9.511 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
9.514 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
9.534 * * * [progress]: generating series expansions
9.534 * * * * [progress]: [ 1 / 3 ] generating series at (2)
9.535 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0
9.535 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z
9.535 * [taylor]: Taking taylor expansion of (* x y) in z
9.535 * [taylor]: Taking taylor expansion of x in z
9.535 * [taylor]: Taking taylor expansion of y in z
9.535 * [taylor]: Taking taylor expansion of (* z y) in z
9.535 * [taylor]: Taking taylor expansion of z in z
9.535 * [taylor]: Taking taylor expansion of y in z
9.535 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
9.535 * [taylor]: Taking taylor expansion of (* x y) in y
9.535 * [taylor]: Taking taylor expansion of x in y
9.535 * [taylor]: Taking taylor expansion of y in y
9.535 * [taylor]: Taking taylor expansion of (* z y) in y
9.535 * [taylor]: Taking taylor expansion of z in y
9.535 * [taylor]: Taking taylor expansion of y in y
9.535 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
9.535 * [taylor]: Taking taylor expansion of (* x y) in x
9.535 * [taylor]: Taking taylor expansion of x in x
9.535 * [taylor]: Taking taylor expansion of y in x
9.535 * [taylor]: Taking taylor expansion of (* z y) in x
9.535 * [taylor]: Taking taylor expansion of z in x
9.535 * [taylor]: Taking taylor expansion of y in x
9.535 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
9.535 * [taylor]: Taking taylor expansion of (* x y) in x
9.535 * [taylor]: Taking taylor expansion of x in x
9.535 * [taylor]: Taking taylor expansion of y in x
9.535 * [taylor]: Taking taylor expansion of (* z y) in x
9.535 * [taylor]: Taking taylor expansion of z in x
9.535 * [taylor]: Taking taylor expansion of y in x
9.535 * [taylor]: Taking taylor expansion of (- (* z y)) in y
9.535 * [taylor]: Taking taylor expansion of (* z y) in y
9.535 * [taylor]: Taking taylor expansion of z in y
9.535 * [taylor]: Taking taylor expansion of y in y
9.536 * [taylor]: Taking taylor expansion of 0 in z
9.536 * [taylor]: Taking taylor expansion of y in y
9.537 * [taylor]: Taking taylor expansion of 0 in z
9.537 * [taylor]: Taking taylor expansion of (- z) in z
9.537 * [taylor]: Taking taylor expansion of z in z
9.538 * [taylor]: Taking taylor expansion of 0 in y
9.538 * [taylor]: Taking taylor expansion of 0 in z
9.538 * [taylor]: Taking taylor expansion of 1 in z
9.539 * [taylor]: Taking taylor expansion of 0 in z
9.541 * [taylor]: Taking taylor expansion of 0 in y
9.541 * [taylor]: Taking taylor expansion of 0 in z
9.541 * [taylor]: Taking taylor expansion of 0 in z
9.541 * [taylor]: Taking taylor expansion of 0 in z
9.542 * [taylor]: Taking taylor expansion of 0 in z
9.542 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
9.542 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
9.542 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
9.542 * [taylor]: Taking taylor expansion of (* x y) in z
9.542 * [taylor]: Taking taylor expansion of x in z
9.542 * [taylor]: Taking taylor expansion of y in z
9.543 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
9.543 * [taylor]: Taking taylor expansion of (* z y) in z
9.543 * [taylor]: Taking taylor expansion of z in z
9.543 * [taylor]: Taking taylor expansion of y in z
9.543 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
9.543 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.543 * [taylor]: Taking taylor expansion of (* x y) in y
9.543 * [taylor]: Taking taylor expansion of x in y
9.543 * [taylor]: Taking taylor expansion of y in y
9.543 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
9.543 * [taylor]: Taking taylor expansion of (* z y) in y
9.543 * [taylor]: Taking taylor expansion of z in y
9.543 * [taylor]: Taking taylor expansion of y in y
9.544 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
9.544 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.544 * [taylor]: Taking taylor expansion of (* x y) in x
9.544 * [taylor]: Taking taylor expansion of x in x
9.544 * [taylor]: Taking taylor expansion of y in x
9.544 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
9.544 * [taylor]: Taking taylor expansion of (* z y) in x
9.544 * [taylor]: Taking taylor expansion of z in x
9.544 * [taylor]: Taking taylor expansion of y in x
9.544 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
9.544 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.544 * [taylor]: Taking taylor expansion of (* x y) in x
9.544 * [taylor]: Taking taylor expansion of x in x
9.544 * [taylor]: Taking taylor expansion of y in x
9.545 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
9.545 * [taylor]: Taking taylor expansion of (* z y) in x
9.545 * [taylor]: Taking taylor expansion of z in x
9.545 * [taylor]: Taking taylor expansion of y in x
9.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.545 * [taylor]: Taking taylor expansion of y in y
9.545 * [taylor]: Taking taylor expansion of 1 in z
9.546 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
9.546 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
9.546 * [taylor]: Taking taylor expansion of (* z y) in y
9.546 * [taylor]: Taking taylor expansion of z in y
9.546 * [taylor]: Taking taylor expansion of y in y
9.546 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
9.546 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.546 * [taylor]: Taking taylor expansion of z in z
9.547 * [taylor]: Taking taylor expansion of 0 in z
9.549 * [taylor]: Taking taylor expansion of 0 in y
9.549 * [taylor]: Taking taylor expansion of 0 in z
9.550 * [taylor]: Taking taylor expansion of 0 in z
9.552 * [taylor]: Taking taylor expansion of 0 in y
9.552 * [taylor]: Taking taylor expansion of 0 in z
9.553 * [taylor]: Taking taylor expansion of 0 in z
9.554 * [taylor]: Taking taylor expansion of 0 in z
9.555 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
9.555 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
9.555 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
9.555 * [taylor]: Taking taylor expansion of (* x y) in z
9.555 * [taylor]: Taking taylor expansion of x in z
9.555 * [taylor]: Taking taylor expansion of y in z
9.555 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
9.555 * [taylor]: Taking taylor expansion of (* z y) in z
9.555 * [taylor]: Taking taylor expansion of z in z
9.555 * [taylor]: Taking taylor expansion of y in z
9.556 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
9.556 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.556 * [taylor]: Taking taylor expansion of (* x y) in y
9.556 * [taylor]: Taking taylor expansion of x in y
9.556 * [taylor]: Taking taylor expansion of y in y
9.556 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
9.556 * [taylor]: Taking taylor expansion of (* z y) in y
9.556 * [taylor]: Taking taylor expansion of z in y
9.556 * [taylor]: Taking taylor expansion of y in y
9.556 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
9.556 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.556 * [taylor]: Taking taylor expansion of (* x y) in x
9.556 * [taylor]: Taking taylor expansion of x in x
9.556 * [taylor]: Taking taylor expansion of y in x
9.557 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
9.557 * [taylor]: Taking taylor expansion of (* z y) in x
9.557 * [taylor]: Taking taylor expansion of z in x
9.557 * [taylor]: Taking taylor expansion of y in x
9.557 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
9.557 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.557 * [taylor]: Taking taylor expansion of (* x y) in x
9.557 * [taylor]: Taking taylor expansion of x in x
9.557 * [taylor]: Taking taylor expansion of y in x
9.557 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
9.557 * [taylor]: Taking taylor expansion of (* z y) in x
9.557 * [taylor]: Taking taylor expansion of z in x
9.557 * [taylor]: Taking taylor expansion of y in x
9.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.557 * [taylor]: Taking taylor expansion of y in y
9.558 * [taylor]: Taking taylor expansion of 1 in z
9.558 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
9.559 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
9.559 * [taylor]: Taking taylor expansion of (* z y) in y
9.559 * [taylor]: Taking taylor expansion of z in y
9.559 * [taylor]: Taking taylor expansion of y in y
9.559 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
9.559 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.559 * [taylor]: Taking taylor expansion of z in z
9.560 * [taylor]: Taking taylor expansion of 0 in z
9.561 * [taylor]: Taking taylor expansion of 0 in y
9.562 * [taylor]: Taking taylor expansion of 0 in z
9.562 * [taylor]: Taking taylor expansion of 0 in z
9.565 * [taylor]: Taking taylor expansion of 0 in y
9.565 * [taylor]: Taking taylor expansion of 0 in z
9.566 * [taylor]: Taking taylor expansion of 0 in z
9.567 * [taylor]: Taking taylor expansion of 0 in z
9.568 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
9.568 * [approximate]: Taking taylor expansion of (+ (pow y 2) (* x y)) in (x y) around 0
9.568 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y
9.568 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.568 * [taylor]: Taking taylor expansion of y in y
9.568 * [taylor]: Taking taylor expansion of (* x y) in y
9.568 * [taylor]: Taking taylor expansion of x in y
9.568 * [taylor]: Taking taylor expansion of y in y
9.568 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
9.568 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.568 * [taylor]: Taking taylor expansion of y in x
9.568 * [taylor]: Taking taylor expansion of (* x y) in x
9.568 * [taylor]: Taking taylor expansion of x in x
9.568 * [taylor]: Taking taylor expansion of y in x
9.568 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
9.568 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.568 * [taylor]: Taking taylor expansion of y in x
9.568 * [taylor]: Taking taylor expansion of (* x y) in x
9.568 * [taylor]: Taking taylor expansion of x in x
9.568 * [taylor]: Taking taylor expansion of y in x
9.568 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.568 * [taylor]: Taking taylor expansion of y in y
9.569 * [taylor]: Taking taylor expansion of y in y
9.572 * [taylor]: Taking taylor expansion of 0 in y
9.574 * [taylor]: Taking taylor expansion of 0 in y
9.576 * [taylor]: Taking taylor expansion of 0 in y
9.577 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in (x y) around 0
9.577 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
9.577 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.577 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.577 * [taylor]: Taking taylor expansion of y in y
9.577 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.577 * [taylor]: Taking taylor expansion of (* x y) in y
9.577 * [taylor]: Taking taylor expansion of x in y
9.577 * [taylor]: Taking taylor expansion of y in y
9.578 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
9.578 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.578 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.578 * [taylor]: Taking taylor expansion of y in x
9.578 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.578 * [taylor]: Taking taylor expansion of (* x y) in x
9.578 * [taylor]: Taking taylor expansion of x in x
9.578 * [taylor]: Taking taylor expansion of y in x
9.578 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
9.578 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.578 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.579 * [taylor]: Taking taylor expansion of y in x
9.579 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.579 * [taylor]: Taking taylor expansion of (* x y) in x
9.579 * [taylor]: Taking taylor expansion of x in x
9.579 * [taylor]: Taking taylor expansion of y in x
9.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.579 * [taylor]: Taking taylor expansion of y in y
9.580 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.580 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.580 * [taylor]: Taking taylor expansion of y in y
9.582 * [taylor]: Taking taylor expansion of 0 in y
9.585 * [taylor]: Taking taylor expansion of 0 in y
9.589 * [taylor]: Taking taylor expansion of 0 in y
9.590 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in (x y) around 0
9.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
9.590 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.590 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.590 * [taylor]: Taking taylor expansion of y in y
9.591 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.591 * [taylor]: Taking taylor expansion of (* x y) in y
9.591 * [taylor]: Taking taylor expansion of x in y
9.591 * [taylor]: Taking taylor expansion of y in y
9.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
9.591 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.591 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.591 * [taylor]: Taking taylor expansion of y in x
9.592 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.592 * [taylor]: Taking taylor expansion of (* x y) in x
9.592 * [taylor]: Taking taylor expansion of x in x
9.592 * [taylor]: Taking taylor expansion of y in x
9.592 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
9.592 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.592 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.592 * [taylor]: Taking taylor expansion of y in x
9.592 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.592 * [taylor]: Taking taylor expansion of (* x y) in x
9.592 * [taylor]: Taking taylor expansion of x in x
9.592 * [taylor]: Taking taylor expansion of y in x
9.592 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.592 * [taylor]: Taking taylor expansion of y in y
9.593 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.593 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.593 * [taylor]: Taking taylor expansion of y in y
9.595 * [taylor]: Taking taylor expansion of 0 in y
9.598 * [taylor]: Taking taylor expansion of 0 in y
9.602 * [taylor]: Taking taylor expansion of 0 in y
9.604 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
9.604 * [approximate]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in (x y z) around 0
9.604 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in z
9.604 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in z
9.604 * [taylor]: Taking taylor expansion of (pow y 2) in z
9.604 * [taylor]: Taking taylor expansion of y in z
9.604 * [taylor]: Taking taylor expansion of (* x y) in z
9.604 * [taylor]: Taking taylor expansion of x in z
9.604 * [taylor]: Taking taylor expansion of y in z
9.604 * [taylor]: Taking taylor expansion of (* z y) in z
9.604 * [taylor]: Taking taylor expansion of z in z
9.604 * [taylor]: Taking taylor expansion of y in z
9.604 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in y
9.604 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in y
9.604 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.604 * [taylor]: Taking taylor expansion of y in y
9.604 * [taylor]: Taking taylor expansion of (* x y) in y
9.604 * [taylor]: Taking taylor expansion of x in y
9.604 * [taylor]: Taking taylor expansion of y in y
9.604 * [taylor]: Taking taylor expansion of (* z y) in y
9.604 * [taylor]: Taking taylor expansion of z in y
9.604 * [taylor]: Taking taylor expansion of y in y
9.604 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in x
9.604 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
9.604 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.604 * [taylor]: Taking taylor expansion of y in x
9.604 * [taylor]: Taking taylor expansion of (* x y) in x
9.604 * [taylor]: Taking taylor expansion of x in x
9.604 * [taylor]: Taking taylor expansion of y in x
9.604 * [taylor]: Taking taylor expansion of (* z y) in x
9.604 * [taylor]: Taking taylor expansion of z in x
9.604 * [taylor]: Taking taylor expansion of y in x
9.604 * [taylor]: Taking taylor expansion of (- (+ (pow y 2) (* x y)) (* z y)) in x
9.604 * [taylor]: Taking taylor expansion of (+ (pow y 2) (* x y)) in x
9.604 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.604 * [taylor]: Taking taylor expansion of y in x
9.604 * [taylor]: Taking taylor expansion of (* x y) in x
9.604 * [taylor]: Taking taylor expansion of x in x
9.604 * [taylor]: Taking taylor expansion of y in x
9.604 * [taylor]: Taking taylor expansion of (* z y) in x
9.604 * [taylor]: Taking taylor expansion of z in x
9.604 * [taylor]: Taking taylor expansion of y in x
9.605 * [taylor]: Taking taylor expansion of (- (pow y 2) (* z y)) in y
9.605 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.605 * [taylor]: Taking taylor expansion of y in y
9.605 * [taylor]: Taking taylor expansion of (* z y) in y
9.605 * [taylor]: Taking taylor expansion of z in y
9.605 * [taylor]: Taking taylor expansion of y in y
9.605 * [taylor]: Taking taylor expansion of 0 in z
9.606 * [taylor]: Taking taylor expansion of y in y
9.606 * [taylor]: Taking taylor expansion of 0 in z
9.606 * [taylor]: Taking taylor expansion of (- z) in z
9.606 * [taylor]: Taking taylor expansion of z in z
9.608 * [taylor]: Taking taylor expansion of 0 in y
9.608 * [taylor]: Taking taylor expansion of 0 in z
9.608 * [taylor]: Taking taylor expansion of 1 in z
9.609 * [taylor]: Taking taylor expansion of 1 in z
9.610 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in (x y z) around 0
9.610 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in z
9.610 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z
9.610 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
9.610 * [taylor]: Taking taylor expansion of (pow y 2) in z
9.610 * [taylor]: Taking taylor expansion of y in z
9.610 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
9.610 * [taylor]: Taking taylor expansion of (* x y) in z
9.610 * [taylor]: Taking taylor expansion of x in z
9.611 * [taylor]: Taking taylor expansion of y in z
9.611 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
9.611 * [taylor]: Taking taylor expansion of (* z y) in z
9.611 * [taylor]: Taking taylor expansion of z in z
9.611 * [taylor]: Taking taylor expansion of y in z
9.611 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in y
9.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
9.611 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.611 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.611 * [taylor]: Taking taylor expansion of y in y
9.612 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.612 * [taylor]: Taking taylor expansion of (* x y) in y
9.612 * [taylor]: Taking taylor expansion of x in y
9.612 * [taylor]: Taking taylor expansion of y in y
9.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
9.612 * [taylor]: Taking taylor expansion of (* z y) in y
9.612 * [taylor]: Taking taylor expansion of z in y
9.612 * [taylor]: Taking taylor expansion of y in y
9.613 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
9.613 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
9.613 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.613 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.613 * [taylor]: Taking taylor expansion of y in x
9.613 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.613 * [taylor]: Taking taylor expansion of (* x y) in x
9.613 * [taylor]: Taking taylor expansion of x in x
9.613 * [taylor]: Taking taylor expansion of y in x
9.613 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
9.613 * [taylor]: Taking taylor expansion of (* z y) in x
9.613 * [taylor]: Taking taylor expansion of z in x
9.613 * [taylor]: Taking taylor expansion of y in x
9.613 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
9.613 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
9.613 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.613 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.613 * [taylor]: Taking taylor expansion of y in x
9.614 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.614 * [taylor]: Taking taylor expansion of (* x y) in x
9.614 * [taylor]: Taking taylor expansion of x in x
9.614 * [taylor]: Taking taylor expansion of y in x
9.614 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
9.614 * [taylor]: Taking taylor expansion of (* z y) in x
9.614 * [taylor]: Taking taylor expansion of z in x
9.614 * [taylor]: Taking taylor expansion of y in x
9.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.614 * [taylor]: Taking taylor expansion of y in y
9.615 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (* z y))) in y
9.615 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.615 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.615 * [taylor]: Taking taylor expansion of y in y
9.616 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
9.616 * [taylor]: Taking taylor expansion of (* z y) in y
9.616 * [taylor]: Taking taylor expansion of z in y
9.616 * [taylor]: Taking taylor expansion of y in y
9.616 * [taylor]: Taking taylor expansion of 1 in z
9.616 * [taylor]: Taking taylor expansion of 1 in z
9.618 * [taylor]: Taking taylor expansion of 0 in y
9.619 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
9.619 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.619 * [taylor]: Taking taylor expansion of z in z
9.620 * [taylor]: Taking taylor expansion of 0 in z
9.621 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in (x y z) around 0
9.621 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in z
9.621 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in z
9.621 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
9.621 * [taylor]: Taking taylor expansion of (pow y 2) in z
9.621 * [taylor]: Taking taylor expansion of y in z
9.621 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
9.621 * [taylor]: Taking taylor expansion of (* x y) in z
9.621 * [taylor]: Taking taylor expansion of x in z
9.621 * [taylor]: Taking taylor expansion of y in z
9.621 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
9.621 * [taylor]: Taking taylor expansion of (* z y) in z
9.621 * [taylor]: Taking taylor expansion of z in z
9.621 * [taylor]: Taking taylor expansion of y in z
9.622 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in y
9.622 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in y
9.622 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.622 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.622 * [taylor]: Taking taylor expansion of y in y
9.622 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.622 * [taylor]: Taking taylor expansion of (* x y) in y
9.622 * [taylor]: Taking taylor expansion of x in y
9.622 * [taylor]: Taking taylor expansion of y in y
9.623 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
9.623 * [taylor]: Taking taylor expansion of (* z y) in y
9.623 * [taylor]: Taking taylor expansion of z in y
9.623 * [taylor]: Taking taylor expansion of y in y
9.623 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
9.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
9.623 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.623 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.623 * [taylor]: Taking taylor expansion of y in x
9.623 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.623 * [taylor]: Taking taylor expansion of (* x y) in x
9.623 * [taylor]: Taking taylor expansion of x in x
9.623 * [taylor]: Taking taylor expansion of y in x
9.624 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
9.624 * [taylor]: Taking taylor expansion of (* z y) in x
9.624 * [taylor]: Taking taylor expansion of z in x
9.624 * [taylor]: Taking taylor expansion of y in x
9.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (/ 1 (* x y))) (/ 1 (* z y))) in x
9.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (* x y))) in x
9.624 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.624 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.624 * [taylor]: Taking taylor expansion of y in x
9.624 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.624 * [taylor]: Taking taylor expansion of (* x y) in x
9.624 * [taylor]: Taking taylor expansion of x in x
9.624 * [taylor]: Taking taylor expansion of y in x
9.624 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
9.624 * [taylor]: Taking taylor expansion of (* z y) in x
9.624 * [taylor]: Taking taylor expansion of z in x
9.624 * [taylor]: Taking taylor expansion of y in x
9.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.624 * [taylor]: Taking taylor expansion of y in y
9.626 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (* z y))) in y
9.626 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.626 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.626 * [taylor]: Taking taylor expansion of y in y
9.626 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
9.626 * [taylor]: Taking taylor expansion of (* z y) in y
9.626 * [taylor]: Taking taylor expansion of z in y
9.626 * [taylor]: Taking taylor expansion of y in y
9.627 * [taylor]: Taking taylor expansion of 1 in z
9.627 * [taylor]: Taking taylor expansion of 1 in z
9.629 * [taylor]: Taking taylor expansion of 0 in y
9.629 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
9.630 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.630 * [taylor]: Taking taylor expansion of z in z
9.630 * [taylor]: Taking taylor expansion of 0 in z
9.631 * * * [progress]: simplifying candidates
9.632 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (- (+ (* x y) (* y y)) (* y z))) (cbrt (- (+ (* x y) (* y y)) (* y z)))) (cbrt (- (+ (* x y) (* y y)) (* y z))) (- (* y y)))
  (fma (- y) y (* y y))
  (fma (sqrt (- (+ (* x y) (* y y)) (* y z))) (sqrt (- (+ (* x y) (* y y)) (* y z))) (- (* y y)))
  (fma (- y) y (* y y))
  (fma 1 (- (+ (* x y) (* y y)) (* y z)) (- (* y y)))
  (fma (- y) y (* y y))
  (fma y (- (+ x y) z) (- (* y y)))
  (fma (- y) y (* y y))
  (expm1 (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (log1p (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (- (* y y))
  (- (* y y))
  (- (* y y))
  (- (* y y))
  (/ (/ (* (exp (* x y)) (exp (* y y))) (exp (* y z))) (exp (* y y)))
  (/ (/ (exp (+ (* x y) (* y y))) (exp (* y z))) (exp (* y y)))
  (/ (exp (- (+ (* x y) (* y y)) (* y z))) (exp (* y y)))
  (log (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (exp (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (* (cbrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (cbrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y))))
  (cbrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (* (* (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (- (+ (* x y) (* y y)) (* y z)) (* y y))) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (sqrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (sqrt (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))
  (- (pow (- (+ (* x y) (* y y)) (* y z)) 3) (pow (* y y) 3))
  (+ (* (- (+ (* x y) (* y y)) (* y z)) (- (+ (* x y) (* y y)) (* y z))) (+ (* (* y y) (* y y)) (* (- (+ (* x y) (* y y)) (* y z)) (* y y))))
  (- (* y y))
  (- (* (- (+ (* x y) (* y y)) (* y z)) (- (+ (* x y) (* y y)) (* y z))) (* (* y y) (* y y)))
  (+ (- (+ (* x y) (* y y)) (* y z)) (* y y))
  (+ (sqrt (- (+ (* x y) (* y y)) (* y z))) y)
  (- (sqrt (- (+ (* x y) (* y y)) (* y z))) y)
  (- (- (+ x y) z) y)
  (- (fma (- z) y (* z y)) (* y y))
  (- (fma (- z) y (* z y)) (* y y))
  (- (fma (- z) y (* z y)) (* y y))
  (- (fma (- z) y (* z y)) (* y y))
  (- (- (* y z)) (* y y))
  (- (- (* y y) (* y z)) (* y y))
  (- (- (* y z)) (* y y))
  (+ (* y z) (* y y))
  (- (* y y))
  (expm1 (+ (* x y) (* y y)))
  (log1p (+ (* x y) (* y y)))
  (* (exp (* x y)) (exp (* y y)))
  (log (+ (* x y) (* y y)))
  (exp (+ (* x y) (* y y)))
  (* (cbrt (+ (* x y) (* y y))) (cbrt (+ (* x y) (* y y))))
  (cbrt (+ (* x y) (* y y)))
  (* (* (+ (* x y) (* y y)) (+ (* x y) (* y y))) (+ (* x y) (* y y)))
  (sqrt (+ (* x y) (* y y)))
  (sqrt (+ (* x y) (* y y)))
  (+ (pow (* x y) 3) (pow (* y y) 3))
  (+ (* (* x y) (* x y)) (- (* (* y y) (* y y)) (* (* x y) (* y y))))
  (- (* (* x y) (* x y)) (* (* y y) (* y y)))
  (- (* x y) (* y y))
  (+ x y)
  (fma (* (cbrt (+ (* x y) (* y y))) (cbrt (+ (* x y) (* y y)))) (cbrt (+ (* x y) (* y y))) (- (* z y)))
  (fma (- z) y (* z y))
  (fma (sqrt (+ (* x y) (* y y))) (sqrt (+ (* x y) (* y y))) (- (* z y)))
  (fma (- z) y (* z y))
  (fma 1 (+ (* x y) (* y y)) (- (* z y)))
  (fma (- z) y (* z y))
  (fma y (+ x y) (- (* z y)))
  (fma (- z) y (* z y))
  (expm1 (- (+ (* x y) (* y y)) (* y z)))
  (log1p (- (+ (* x y) (* y y)) (* y z)))
  (- (* y z))
  (- (* y z))
  (- (* y z))
  (- (* y z))
  (/ (* (exp (* x y)) (exp (* y y))) (exp (* y z)))
  (/ (exp (+ (* x y) (* y y))) (exp (* y z)))
  (log (- (+ (* x y) (* y y)) (* y z)))
  (exp (- (+ (* x y) (* y y)) (* y z)))
  (* (cbrt (- (+ (* x y) (* y y)) (* y z))) (cbrt (- (+ (* x y) (* y y)) (* y z))))
  (cbrt (- (+ (* x y) (* y y)) (* y z)))
  (* (* (- (+ (* x y) (* y y)) (* y z)) (- (+ (* x y) (* y y)) (* y z))) (- (+ (* x y) (* y y)) (* y z)))
  (sqrt (- (+ (* x y) (* y y)) (* y z)))
  (sqrt (- (+ (* x y) (* y y)) (* y z)))
  (- (pow (+ (* x y) (* y y)) 3) (pow (* y z) 3))
  (+ (* (+ (* x y) (* y y)) (+ (* x y) (* y y))) (+ (* (* y z) (* y z)) (* (+ (* x y) (* y y)) (* y z))))
  (- (* y z))
  (- (* (+ (* x y) (* y y)) (+ (* x y) (* y y))) (* (* y z) (* y z)))
  (+ (+ (* x y) (* y y)) (* y z))
  (- (+ x y) z)
  (- (* y y) (* y z))
  (- (* y z))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (+ (pow y 2) (* x y))
  (+ (pow y 2) (* x y))
  (+ (pow y 2) (* x y))
  (- (+ (pow y 2) (* x y)) (* z y))
  (- (+ (pow y 2) (* x y)) (* z y))
  (- (+ (pow y 2) (* x y)) (* z y))
9.635 * * [simplify]: iteration  0 :  104  enodes  (cost  1253 )
9.659 * * [simplify]: iteration  1 :  289  enodes  (cost  998 )
9.731 * * [simplify]: iteration  2 :  1027  enodes  (cost  818 )
10.815 * * [simplify]: iteration  done :  5000  enodes  (cost  715 )
10.815 * [simplify]: Simplified to:
   (- (pow (cbrt (* y (- (+ x y) z))) 3) (* y y))
  0
  (+ (* (- x z) y) 0)
  0
  (+ (* (- x z) y) 0)
  0
  (+ (* (- x z) y) 0)
  0
  (expm1 (+ (* (- x z) y) 0))
  (log1p (+ (* (- x z) y) 0))
  (- (* y y))
  (- (* y y))
  (- (* y y))
  (- (* y y))
  (* 1 (exp (* y (- x z))))
  (* 1 (exp (* y (- x z))))
  (* 1 (exp (* y (- x z))))
  (log (+ (* (- x z) y) 0))
  (* 1 (exp (* y (- x z))))
  (* (cbrt (+ (* (- x z) y) 0)) (cbrt (+ (* (- x z) y) 0)))
  (cbrt (+ (* (- x z) y) 0))
  (pow (+ (* (- x z) y) 0) 3)
  (sqrt (+ (* (- x z) y) 0))
  (sqrt (+ (* (- x z) y) 0))
  (- (pow (* y (- (+ x y) z)) 3) (pow y 6))
  (+ (pow y 4) (* y (* (- (+ x y) z) (* y (+ y (- (+ x y) z))))))
  (- (* y y))
  (* (* y (+ y (- (+ x y) z))) (+ (* (- x z) y) 0))
  (* y (+ y (- (+ x y) z)))
  (+ (sqrt (* (- (+ x y) z) y)) y)
  (- (sqrt (* (- (+ x y) z) y)) y)
  (- (- (+ x y) z) y)
  (* y (+ (- z) (- z y)))
  (* y (+ (- z) (- z y)))
  (* y (+ (- z) (- z y)))
  (* y (+ (- z) (- z y)))
  (* (- y) (+ z y))
  (- 0 (* z y))
  (* (- y) (+ z y))
  (* y (+ z y))
  (- (* y y))
  (expm1 (* y (+ x y)))
  (log1p (* y (+ x y)))
  (exp (* y (+ x y)))
  (log (* y (+ x y)))
  (exp (* y (+ x y)))
  (* (cbrt (* y (+ x y))) (cbrt (* y (+ x y))))
  (cbrt (* y (+ x y)))
  (pow (* y (+ x y)) 3)
  (sqrt (* y (+ x y)))
  (sqrt (* y (+ x y)))
  (+ (pow y 6) (pow (* x y) 3))
  (- (pow y 4) (* (* (* x y) y) (- y x)))
  (* (* y (+ x y)) (* y (- x y)))
  (* y (- x y))
  (+ x y)
  (- (pow (cbrt (* y (+ x y))) 3) (* z y))
  (* z (+ (- y) y))
  (* (- (+ x y) z) y)
  (* z (+ (- y) y))
  (* (- (+ x y) z) y)
  (* z (+ (- y) y))
  (* (- (+ x y) z) y)
  (* z (+ (- y) y))
  (expm1 (* (- (+ x y) z) y))
  (log1p (* (- (+ x y) z) y))
  (* (- y) z)
  (* (- y) z)
  (* (- y) z)
  (* (- y) z)
  (exp (* (- (+ x y) z) y))
  (exp (* (- (+ x y) z) y))
  (log (* (- (+ x y) z) y))
  (exp (* (- (+ x y) z) y))
  (* (cbrt (* y (- (+ x y) z))) (cbrt (* y (- (+ x y) z))))
  (cbrt (* y (- (+ x y) z)))
  (pow (* y (- (+ x y) z)) 3)
  (sqrt (* (- (+ x y) z) y))
  (sqrt (* (- (+ x y) z) y))
  (- (pow (* y (+ x y)) 3) (pow (* y z) 3))
  (+ (* (* y (+ x y)) (* y (+ z (+ x y)))) (* (* y z) (* y z)))
  (* (- y) z)
  (* (* y (+ z (+ x y))) (* y (- (+ x y) z)))
  (* y (+ z (+ x y)))
  (- (+ x y) z)
  (* (- y z) y)
  (* (- y) z)
  (* (- x z) y)
  (* (- x z) y)
  (* (- x z) y)
  (* y (+ x y))
  (* y (+ x y))
  (* y (+ x y))
  (* (- (+ x y) z) y)
  (* (- (+ x y) z) y)
  (* (- (+ x y) z) y)
10.816 * * * [progress]: adding candidates to table
10.988 * * [progress]: iteration 3 / 4
10.988 * * * [progress]: picking best candidate
10.991 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))>
10.991 * * * [progress]: localizing error
11.007 * * * [progress]: generating rewritten candidates
11.007 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
11.047 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
11.112 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
11.135 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
11.153 * * * [progress]: generating series expansions
11.154 * * * * [progress]: [ 1 / 4 ] generating series at (2)
11.154 * [approximate]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in (x z y) around 0
11.154 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in y
11.154 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in y
11.154 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in y
11.154 * [taylor]: Taking taylor expansion of (pow x 3) in y
11.154 * [taylor]: Taking taylor expansion of x in y
11.154 * [taylor]: Taking taylor expansion of (pow z 3) in y
11.154 * [taylor]: Taking taylor expansion of z in y
11.154 * [taylor]: Taking taylor expansion of y in y
11.154 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in y
11.154 * [taylor]: Taking taylor expansion of (* x z) in y
11.154 * [taylor]: Taking taylor expansion of x in y
11.154 * [taylor]: Taking taylor expansion of z in y
11.154 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in y
11.154 * [taylor]: Taking taylor expansion of (pow x 2) in y
11.154 * [taylor]: Taking taylor expansion of x in y
11.154 * [taylor]: Taking taylor expansion of (pow z 2) in y
11.154 * [taylor]: Taking taylor expansion of z in y
11.157 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in z
11.157 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in z
11.157 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in z
11.157 * [taylor]: Taking taylor expansion of (pow x 3) in z
11.157 * [taylor]: Taking taylor expansion of x in z
11.157 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.157 * [taylor]: Taking taylor expansion of z in z
11.157 * [taylor]: Taking taylor expansion of y in z
11.157 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in z
11.157 * [taylor]: Taking taylor expansion of (* x z) in z
11.157 * [taylor]: Taking taylor expansion of x in z
11.157 * [taylor]: Taking taylor expansion of z in z
11.157 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in z
11.157 * [taylor]: Taking taylor expansion of (pow x 2) in z
11.157 * [taylor]: Taking taylor expansion of x in z
11.157 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.157 * [taylor]: Taking taylor expansion of z in z
11.157 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in x
11.157 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x
11.157 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x
11.157 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.157 * [taylor]: Taking taylor expansion of x in x
11.157 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.157 * [taylor]: Taking taylor expansion of z in x
11.158 * [taylor]: Taking taylor expansion of y in x
11.158 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in x
11.158 * [taylor]: Taking taylor expansion of (* x z) in x
11.158 * [taylor]: Taking taylor expansion of x in x
11.158 * [taylor]: Taking taylor expansion of z in x
11.158 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in x
11.158 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.158 * [taylor]: Taking taylor expansion of x in x
11.158 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.158 * [taylor]: Taking taylor expansion of z in x
11.158 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in x
11.158 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x
11.158 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x
11.158 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.158 * [taylor]: Taking taylor expansion of x in x
11.158 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.158 * [taylor]: Taking taylor expansion of z in x
11.158 * [taylor]: Taking taylor expansion of y in x
11.158 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in x
11.158 * [taylor]: Taking taylor expansion of (* x z) in x
11.158 * [taylor]: Taking taylor expansion of x in x
11.158 * [taylor]: Taking taylor expansion of z in x
11.158 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in x
11.158 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.158 * [taylor]: Taking taylor expansion of x in x
11.158 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.159 * [taylor]: Taking taylor expansion of z in x
11.159 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
11.159 * [taylor]: Taking taylor expansion of -1 in z
11.159 * [taylor]: Taking taylor expansion of (* z y) in z
11.159 * [taylor]: Taking taylor expansion of z in z
11.159 * [taylor]: Taking taylor expansion of y in z
11.160 * [taylor]: Taking taylor expansion of 0 in y
11.161 * [taylor]: Taking taylor expansion of y in z
11.161 * [taylor]: Taking taylor expansion of y in y
11.162 * [taylor]: Taking taylor expansion of (- y) in y
11.162 * [taylor]: Taking taylor expansion of y in y
11.165 * [taylor]: Taking taylor expansion of 0 in z
11.165 * [taylor]: Taking taylor expansion of 0 in y
11.165 * [taylor]: Taking taylor expansion of 0 in y
11.166 * [taylor]: Taking taylor expansion of 0 in y
11.167 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in (x z y) around 0
11.167 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in y
11.167 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in y
11.167 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
11.167 * [taylor]: Taking taylor expansion of (pow x 3) in y
11.167 * [taylor]: Taking taylor expansion of x in y
11.167 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
11.167 * [taylor]: Taking taylor expansion of (pow z 3) in y
11.167 * [taylor]: Taking taylor expansion of z in y
11.168 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in y
11.168 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in y
11.168 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
11.168 * [taylor]: Taking taylor expansion of (pow x 2) in y
11.168 * [taylor]: Taking taylor expansion of x in y
11.168 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in y
11.168 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
11.168 * [taylor]: Taking taylor expansion of (pow z 2) in y
11.168 * [taylor]: Taking taylor expansion of z in y
11.168 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
11.168 * [taylor]: Taking taylor expansion of (* x z) in y
11.168 * [taylor]: Taking taylor expansion of x in y
11.168 * [taylor]: Taking taylor expansion of z in y
11.168 * [taylor]: Taking taylor expansion of y in y
11.171 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in z
11.171 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in z
11.171 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
11.171 * [taylor]: Taking taylor expansion of (pow x 3) in z
11.171 * [taylor]: Taking taylor expansion of x in z
11.171 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
11.171 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.171 * [taylor]: Taking taylor expansion of z in z
11.172 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in z
11.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in z
11.172 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
11.172 * [taylor]: Taking taylor expansion of (pow x 2) in z
11.172 * [taylor]: Taking taylor expansion of x in z
11.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in z
11.172 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
11.172 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.172 * [taylor]: Taking taylor expansion of z in z
11.172 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.172 * [taylor]: Taking taylor expansion of (* x z) in z
11.172 * [taylor]: Taking taylor expansion of x in z
11.172 * [taylor]: Taking taylor expansion of z in z
11.173 * [taylor]: Taking taylor expansion of y in z
11.174 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in x
11.174 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
11.174 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.174 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.174 * [taylor]: Taking taylor expansion of x in x
11.175 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.175 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.175 * [taylor]: Taking taylor expansion of z in x
11.175 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x
11.175 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
11.175 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.175 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.175 * [taylor]: Taking taylor expansion of x in x
11.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
11.176 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
11.176 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.176 * [taylor]: Taking taylor expansion of z in x
11.176 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.176 * [taylor]: Taking taylor expansion of (* x z) in x
11.176 * [taylor]: Taking taylor expansion of x in x
11.176 * [taylor]: Taking taylor expansion of z in x
11.176 * [taylor]: Taking taylor expansion of y in x
11.177 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in x
11.177 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
11.177 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.177 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.177 * [taylor]: Taking taylor expansion of x in x
11.177 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.178 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.178 * [taylor]: Taking taylor expansion of z in x
11.178 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x
11.178 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
11.178 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.178 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.178 * [taylor]: Taking taylor expansion of x in x
11.178 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
11.178 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
11.178 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.178 * [taylor]: Taking taylor expansion of z in x
11.178 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.178 * [taylor]: Taking taylor expansion of (* x z) in x
11.179 * [taylor]: Taking taylor expansion of x in x
11.179 * [taylor]: Taking taylor expansion of z in x
11.179 * [taylor]: Taking taylor expansion of y in x
11.179 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.179 * [taylor]: Taking taylor expansion of y in z
11.182 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
11.182 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.182 * [taylor]: Taking taylor expansion of (* z y) in z
11.182 * [taylor]: Taking taylor expansion of z in z
11.182 * [taylor]: Taking taylor expansion of y in z
11.183 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.183 * [taylor]: Taking taylor expansion of y in y
11.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.183 * [taylor]: Taking taylor expansion of y in y
11.187 * [taylor]: Taking taylor expansion of 0 in z
11.188 * [taylor]: Taking taylor expansion of 0 in y
11.189 * [taylor]: Taking taylor expansion of 0 in y
11.195 * [taylor]: Taking taylor expansion of 0 in z
11.195 * [taylor]: Taking taylor expansion of 0 in y
11.196 * [taylor]: Taking taylor expansion of 0 in y
11.196 * [taylor]: Taking taylor expansion of 0 in y
11.198 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y))) in (x z y) around 0
11.198 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y))) in y
11.198 * [taylor]: Taking taylor expansion of -1 in y
11.198 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in y
11.198 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in y
11.198 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
11.198 * [taylor]: Taking taylor expansion of (pow z 3) in y
11.198 * [taylor]: Taking taylor expansion of z in y
11.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
11.198 * [taylor]: Taking taylor expansion of (pow x 3) in y
11.198 * [taylor]: Taking taylor expansion of x in y
11.199 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in y
11.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in y
11.199 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
11.199 * [taylor]: Taking taylor expansion of (pow x 2) in y
11.199 * [taylor]: Taking taylor expansion of x in y
11.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in y
11.199 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
11.199 * [taylor]: Taking taylor expansion of (pow z 2) in y
11.199 * [taylor]: Taking taylor expansion of z in y
11.199 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
11.199 * [taylor]: Taking taylor expansion of (* x z) in y
11.199 * [taylor]: Taking taylor expansion of x in y
11.199 * [taylor]: Taking taylor expansion of z in y
11.199 * [taylor]: Taking taylor expansion of y in y
11.201 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y))) in z
11.202 * [taylor]: Taking taylor expansion of -1 in z
11.202 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in z
11.202 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in z
11.202 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
11.202 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.202 * [taylor]: Taking taylor expansion of z in z
11.202 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
11.202 * [taylor]: Taking taylor expansion of (pow x 3) in z
11.202 * [taylor]: Taking taylor expansion of x in z
11.203 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in z
11.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in z
11.203 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
11.203 * [taylor]: Taking taylor expansion of (pow x 2) in z
11.203 * [taylor]: Taking taylor expansion of x in z
11.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in z
11.203 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
11.203 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.203 * [taylor]: Taking taylor expansion of z in z
11.203 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.203 * [taylor]: Taking taylor expansion of (* x z) in z
11.203 * [taylor]: Taking taylor expansion of x in z
11.203 * [taylor]: Taking taylor expansion of z in z
11.204 * [taylor]: Taking taylor expansion of y in z
11.204 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y))) in x
11.204 * [taylor]: Taking taylor expansion of -1 in x
11.204 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in x
11.205 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x
11.205 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.205 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.205 * [taylor]: Taking taylor expansion of z in x
11.205 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.205 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.205 * [taylor]: Taking taylor expansion of x in x
11.205 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x
11.205 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
11.206 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.206 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.206 * [taylor]: Taking taylor expansion of x in x
11.206 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
11.206 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
11.206 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.206 * [taylor]: Taking taylor expansion of z in x
11.206 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.206 * [taylor]: Taking taylor expansion of (* x z) in x
11.206 * [taylor]: Taking taylor expansion of x in x
11.206 * [taylor]: Taking taylor expansion of z in x
11.207 * [taylor]: Taking taylor expansion of y in x
11.207 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y))) in x
11.207 * [taylor]: Taking taylor expansion of -1 in x
11.208 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in x
11.208 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x
11.208 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.208 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.208 * [taylor]: Taking taylor expansion of z in x
11.208 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.208 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.208 * [taylor]: Taking taylor expansion of x in x
11.209 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x
11.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x
11.209 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.209 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.209 * [taylor]: Taking taylor expansion of x in x
11.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x
11.209 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
11.209 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.209 * [taylor]: Taking taylor expansion of z in x
11.209 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.209 * [taylor]: Taking taylor expansion of (* x z) in x
11.209 * [taylor]: Taking taylor expansion of x in x
11.209 * [taylor]: Taking taylor expansion of z in x
11.210 * [taylor]: Taking taylor expansion of y in x
11.211 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.211 * [taylor]: Taking taylor expansion of y in z
11.213 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z
11.214 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.214 * [taylor]: Taking taylor expansion of (* z y) in z
11.214 * [taylor]: Taking taylor expansion of z in z
11.214 * [taylor]: Taking taylor expansion of y in z
11.214 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.214 * [taylor]: Taking taylor expansion of y in y
11.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.215 * [taylor]: Taking taylor expansion of y in y
11.220 * [taylor]: Taking taylor expansion of 0 in z
11.220 * [taylor]: Taking taylor expansion of 0 in y
11.221 * [taylor]: Taking taylor expansion of 0 in y
11.232 * [taylor]: Taking taylor expansion of 0 in z
11.232 * [taylor]: Taking taylor expansion of 0 in y
11.233 * [taylor]: Taking taylor expansion of 0 in y
11.233 * [taylor]: Taking taylor expansion of 0 in y
11.235 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
11.235 * [approximate]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in (x z y) around 0
11.235 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in y
11.235 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in y
11.235 * [taylor]: Taking taylor expansion of (pow x 3) in y
11.235 * [taylor]: Taking taylor expansion of x in y
11.235 * [taylor]: Taking taylor expansion of (pow z 3) in y
11.235 * [taylor]: Taking taylor expansion of z in y
11.235 * [taylor]: Taking taylor expansion of y in y
11.235 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in z
11.235 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in z
11.235 * [taylor]: Taking taylor expansion of (pow x 3) in z
11.235 * [taylor]: Taking taylor expansion of x in z
11.235 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.235 * [taylor]: Taking taylor expansion of z in z
11.235 * [taylor]: Taking taylor expansion of y in z
11.235 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x
11.235 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x
11.235 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.235 * [taylor]: Taking taylor expansion of x in x
11.235 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.235 * [taylor]: Taking taylor expansion of z in x
11.235 * [taylor]: Taking taylor expansion of y in x
11.235 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x
11.235 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x
11.235 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.235 * [taylor]: Taking taylor expansion of x in x
11.235 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.235 * [taylor]: Taking taylor expansion of z in x
11.235 * [taylor]: Taking taylor expansion of y in x
11.236 * [taylor]: Taking taylor expansion of (* -1 (* (pow z 3) y)) in z
11.236 * [taylor]: Taking taylor expansion of -1 in z
11.236 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in z
11.236 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.236 * [taylor]: Taking taylor expansion of z in z
11.236 * [taylor]: Taking taylor expansion of y in z
11.237 * [taylor]: Taking taylor expansion of 0 in z
11.237 * [taylor]: Taking taylor expansion of 0 in y
11.238 * [taylor]: Taking taylor expansion of 0 in z
11.238 * [taylor]: Taking taylor expansion of 0 in y
11.238 * [taylor]: Taking taylor expansion of 0 in y
11.241 * [taylor]: Taking taylor expansion of y in z
11.241 * [taylor]: Taking taylor expansion of y in y
11.241 * [taylor]: Taking taylor expansion of 0 in y
11.241 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in (x z y) around 0
11.241 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in y
11.241 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in y
11.241 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
11.241 * [taylor]: Taking taylor expansion of (pow x 3) in y
11.241 * [taylor]: Taking taylor expansion of x in y
11.242 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
11.242 * [taylor]: Taking taylor expansion of (pow z 3) in y
11.242 * [taylor]: Taking taylor expansion of z in y
11.242 * [taylor]: Taking taylor expansion of y in y
11.242 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in z
11.242 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in z
11.242 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
11.242 * [taylor]: Taking taylor expansion of (pow x 3) in z
11.242 * [taylor]: Taking taylor expansion of x in z
11.242 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
11.242 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.242 * [taylor]: Taking taylor expansion of z in z
11.243 * [taylor]: Taking taylor expansion of y in z
11.244 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in x
11.244 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
11.244 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.244 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.244 * [taylor]: Taking taylor expansion of x in x
11.244 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.244 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.244 * [taylor]: Taking taylor expansion of z in x
11.245 * [taylor]: Taking taylor expansion of y in x
11.245 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in x
11.245 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
11.245 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.245 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.245 * [taylor]: Taking taylor expansion of x in x
11.246 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.246 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.246 * [taylor]: Taking taylor expansion of z in x
11.246 * [taylor]: Taking taylor expansion of y in x
11.246 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.246 * [taylor]: Taking taylor expansion of y in z
11.248 * [taylor]: Taking taylor expansion of 0 in z
11.250 * [taylor]: Taking taylor expansion of 0 in z
11.252 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 3) y))) in z
11.252 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) y)) in z
11.252 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in z
11.252 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.252 * [taylor]: Taking taylor expansion of z in z
11.252 * [taylor]: Taking taylor expansion of y in z
11.252 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.252 * [taylor]: Taking taylor expansion of y in y
11.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.253 * [taylor]: Taking taylor expansion of y in y
11.256 * [taylor]: Taking taylor expansion of 0 in z
11.257 * [taylor]: Taking taylor expansion of 0 in y
11.257 * [taylor]: Taking taylor expansion of 0 in y
11.258 * [taylor]: Taking taylor expansion of 0 in y
11.262 * [taylor]: Taking taylor expansion of 0 in z
11.264 * [taylor]: Taking taylor expansion of 0 in y
11.264 * [taylor]: Taking taylor expansion of 0 in y
11.264 * [taylor]: Taking taylor expansion of 0 in y
11.264 * [taylor]: Taking taylor expansion of 0 in y
11.266 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in (x z y) around 0
11.266 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in y
11.266 * [taylor]: Taking taylor expansion of -1 in y
11.266 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in y
11.266 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in y
11.266 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
11.266 * [taylor]: Taking taylor expansion of (pow z 3) in y
11.266 * [taylor]: Taking taylor expansion of z in y
11.266 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
11.266 * [taylor]: Taking taylor expansion of (pow x 3) in y
11.266 * [taylor]: Taking taylor expansion of x in y
11.266 * [taylor]: Taking taylor expansion of y in y
11.267 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in z
11.267 * [taylor]: Taking taylor expansion of -1 in z
11.267 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in z
11.267 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in z
11.267 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
11.267 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.267 * [taylor]: Taking taylor expansion of z in z
11.267 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
11.267 * [taylor]: Taking taylor expansion of (pow x 3) in z
11.268 * [taylor]: Taking taylor expansion of x in z
11.268 * [taylor]: Taking taylor expansion of y in z
11.268 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in x
11.268 * [taylor]: Taking taylor expansion of -1 in x
11.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in x
11.268 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x
11.268 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.268 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.268 * [taylor]: Taking taylor expansion of z in x
11.268 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.268 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.268 * [taylor]: Taking taylor expansion of x in x
11.269 * [taylor]: Taking taylor expansion of y in x
11.270 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in x
11.270 * [taylor]: Taking taylor expansion of -1 in x
11.270 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in x
11.270 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x
11.270 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.270 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.270 * [taylor]: Taking taylor expansion of z in x
11.270 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.270 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.270 * [taylor]: Taking taylor expansion of x in x
11.271 * [taylor]: Taking taylor expansion of y in x
11.271 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.271 * [taylor]: Taking taylor expansion of y in z
11.273 * [taylor]: Taking taylor expansion of 0 in z
11.276 * [taylor]: Taking taylor expansion of 0 in z
11.279 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 3) y))) in z
11.279 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) y)) in z
11.279 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in z
11.279 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.279 * [taylor]: Taking taylor expansion of z in z
11.279 * [taylor]: Taking taylor expansion of y in z
11.279 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
11.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.279 * [taylor]: Taking taylor expansion of y in y
11.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.280 * [taylor]: Taking taylor expansion of y in y
11.284 * [taylor]: Taking taylor expansion of 0 in z
11.285 * [taylor]: Taking taylor expansion of 0 in y
11.285 * [taylor]: Taking taylor expansion of 0 in y
11.285 * [taylor]: Taking taylor expansion of 0 in y
11.291 * [taylor]: Taking taylor expansion of 0 in z
11.293 * [taylor]: Taking taylor expansion of 0 in y
11.293 * [taylor]: Taking taylor expansion of 0 in y
11.293 * [taylor]: Taking taylor expansion of 0 in y
11.293 * [taylor]: Taking taylor expansion of 0 in y
11.294 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
11.294 * [approximate]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in (x z) around 0
11.294 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in z
11.294 * [taylor]: Taking taylor expansion of (pow x 3) in z
11.294 * [taylor]: Taking taylor expansion of x in z
11.294 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.294 * [taylor]: Taking taylor expansion of z in z
11.294 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x
11.294 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.294 * [taylor]: Taking taylor expansion of x in x
11.294 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.295 * [taylor]: Taking taylor expansion of z in x
11.295 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x
11.295 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.295 * [taylor]: Taking taylor expansion of x in x
11.295 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.295 * [taylor]: Taking taylor expansion of z in x
11.295 * [taylor]: Taking taylor expansion of (- (pow z 3)) in z
11.295 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.295 * [taylor]: Taking taylor expansion of z in z
11.295 * [taylor]: Taking taylor expansion of 0 in z
11.297 * [taylor]: Taking taylor expansion of 0 in z
11.299 * [taylor]: Taking taylor expansion of 1 in z
11.302 * [taylor]: Taking taylor expansion of 0 in z
11.307 * [taylor]: Taking taylor expansion of 0 in z
11.307 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in (x z) around 0
11.307 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in z
11.307 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
11.307 * [taylor]: Taking taylor expansion of (pow x 3) in z
11.307 * [taylor]: Taking taylor expansion of x in z
11.308 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
11.308 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.308 * [taylor]: Taking taylor expansion of z in z
11.308 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
11.308 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.308 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.308 * [taylor]: Taking taylor expansion of x in x
11.309 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.309 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.309 * [taylor]: Taking taylor expansion of z in x
11.309 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x
11.309 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.309 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.309 * [taylor]: Taking taylor expansion of x in x
11.310 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.310 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.310 * [taylor]: Taking taylor expansion of z in x
11.311 * [taylor]: Taking taylor expansion of 1 in z
11.312 * [taylor]: Taking taylor expansion of 0 in z
11.314 * [taylor]: Taking taylor expansion of 0 in z
11.318 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3))) in z
11.318 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
11.318 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.318 * [taylor]: Taking taylor expansion of z in z
11.322 * [taylor]: Taking taylor expansion of 0 in z
11.326 * [taylor]: Taking taylor expansion of 0 in z
11.328 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in (x z) around 0
11.329 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in z
11.329 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
11.329 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.329 * [taylor]: Taking taylor expansion of z in z
11.329 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
11.329 * [taylor]: Taking taylor expansion of (pow x 3) in z
11.329 * [taylor]: Taking taylor expansion of x in z
11.330 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x
11.330 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.330 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.330 * [taylor]: Taking taylor expansion of z in x
11.330 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.330 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.330 * [taylor]: Taking taylor expansion of x in x
11.330 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x
11.330 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x
11.331 * [taylor]: Taking taylor expansion of (pow z 3) in x
11.331 * [taylor]: Taking taylor expansion of z in x
11.331 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
11.331 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.331 * [taylor]: Taking taylor expansion of x in x
11.332 * [taylor]: Taking taylor expansion of -1 in z
11.334 * [taylor]: Taking taylor expansion of 0 in z
11.335 * [taylor]: Taking taylor expansion of 0 in z
11.337 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
11.337 * [taylor]: Taking taylor expansion of (pow z 3) in z
11.337 * [taylor]: Taking taylor expansion of z in z
11.341 * [taylor]: Taking taylor expansion of 0 in z
11.345 * [taylor]: Taking taylor expansion of 0 in z
11.347 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
11.347 * [approximate]: Taking taylor expansion of (+ (* x z) (pow z 2)) in (z x) around 0
11.347 * [taylor]: Taking taylor expansion of (+ (* x z) (pow z 2)) in x
11.347 * [taylor]: Taking taylor expansion of (* x z) in x
11.348 * [taylor]: Taking taylor expansion of x in x
11.348 * [taylor]: Taking taylor expansion of z in x
11.348 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.348 * [taylor]: Taking taylor expansion of z in x
11.348 * [taylor]: Taking taylor expansion of (+ (* x z) (pow z 2)) in z
11.348 * [taylor]: Taking taylor expansion of (* x z) in z
11.348 * [taylor]: Taking taylor expansion of x in z
11.348 * [taylor]: Taking taylor expansion of z in z
11.348 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.348 * [taylor]: Taking taylor expansion of z in z
11.348 * [taylor]: Taking taylor expansion of (+ (* x z) (pow z 2)) in z
11.348 * [taylor]: Taking taylor expansion of (* x z) in z
11.348 * [taylor]: Taking taylor expansion of x in z
11.348 * [taylor]: Taking taylor expansion of z in z
11.348 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.348 * [taylor]: Taking taylor expansion of z in z
11.348 * [taylor]: Taking taylor expansion of 0 in x
11.348 * [taylor]: Taking taylor expansion of x in x
11.350 * [taylor]: Taking taylor expansion of 1 in x
11.351 * [taylor]: Taking taylor expansion of 0 in x
11.352 * [taylor]: Taking taylor expansion of 0 in x
11.352 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in (z x) around 0
11.352 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in x
11.353 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.353 * [taylor]: Taking taylor expansion of (* x z) in x
11.353 * [taylor]: Taking taylor expansion of x in x
11.353 * [taylor]: Taking taylor expansion of z in x
11.353 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
11.353 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.353 * [taylor]: Taking taylor expansion of z in x
11.353 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z
11.353 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.353 * [taylor]: Taking taylor expansion of (* x z) in z
11.353 * [taylor]: Taking taylor expansion of x in z
11.353 * [taylor]: Taking taylor expansion of z in z
11.353 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
11.353 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.353 * [taylor]: Taking taylor expansion of z in z
11.354 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z
11.354 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.354 * [taylor]: Taking taylor expansion of (* x z) in z
11.354 * [taylor]: Taking taylor expansion of x in z
11.354 * [taylor]: Taking taylor expansion of z in z
11.354 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
11.354 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.354 * [taylor]: Taking taylor expansion of z in z
11.355 * [taylor]: Taking taylor expansion of 1 in x
11.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.356 * [taylor]: Taking taylor expansion of x in x
11.358 * [taylor]: Taking taylor expansion of 0 in x
11.360 * [taylor]: Taking taylor expansion of 0 in x
11.363 * [taylor]: Taking taylor expansion of 0 in x
11.363 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in (z x) around 0
11.363 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in x
11.363 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.363 * [taylor]: Taking taylor expansion of (* x z) in x
11.363 * [taylor]: Taking taylor expansion of x in x
11.363 * [taylor]: Taking taylor expansion of z in x
11.363 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
11.363 * [taylor]: Taking taylor expansion of (pow z 2) in x
11.363 * [taylor]: Taking taylor expansion of z in x
11.364 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z
11.364 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.364 * [taylor]: Taking taylor expansion of (* x z) in z
11.364 * [taylor]: Taking taylor expansion of x in z
11.364 * [taylor]: Taking taylor expansion of z in z
11.364 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
11.364 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.364 * [taylor]: Taking taylor expansion of z in z
11.364 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z
11.364 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.364 * [taylor]: Taking taylor expansion of (* x z) in z
11.365 * [taylor]: Taking taylor expansion of x in z
11.365 * [taylor]: Taking taylor expansion of z in z
11.365 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
11.365 * [taylor]: Taking taylor expansion of (pow z 2) in z
11.365 * [taylor]: Taking taylor expansion of z in z
11.366 * [taylor]: Taking taylor expansion of 1 in x
11.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.367 * [taylor]: Taking taylor expansion of x in x
11.369 * [taylor]: Taking taylor expansion of 0 in x
11.371 * [taylor]: Taking taylor expansion of 0 in x
11.373 * [taylor]: Taking taylor expansion of 0 in x
11.374 * * * [progress]: simplifying candidates
11.379 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))
  (log1p (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))
  (- (+ (log (- (pow x 3) (pow z 3))) (log y)) (log (+ (* x x) (+ (* z z) (* x z)))))
  (- (log (* (- (pow x 3) (pow z 3)) y)) (log (+ (* x x) (+ (* z z) (* x z)))))
  (log (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))
  (exp (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))
  (/ (* (* (* (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3))) (- (pow x 3) (pow z 3))) (* (* y y) y)) (* (* (+ (* x x) (+ (* z z) (* x z))) (+ (* x x) (+ (* z z) (* x z)))) (+ (* x x) (+ (* z z) (* x z)))))
  (/ (* (* (* (- (pow x 3) (pow z 3)) y) (* (- (pow x 3) (pow z 3)) y)) (* (- (pow x 3) (pow z 3)) y)) (* (* (+ (* x x) (+ (* z z) (* x z))) (+ (* x x) (+ (* z z) (* x z)))) (+ (* x x) (+ (* z z) (* x z)))))
  (* (cbrt (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))) (cbrt (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))))
  (cbrt (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))
  (* (* (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))) (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))) (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))
  (sqrt (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))
  (sqrt (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))
  (- (* (- (pow x 3) (pow z 3)) y))
  (- (+ (* x x) (+ (* z z) (* x z))))
  (/ (- (pow x 3) (pow z 3)) (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ (* x x) (+ (* z z) (* x z))))))
  (/ y (cbrt (+ (* x x) (+ (* z z) (* x z)))))
  (/ (- (pow x 3) (pow z 3)) (sqrt (+ (* x x) (+ (* z z) (* x z)))))
  (/ y (sqrt (+ (* x x) (+ (* z z) (* x z)))))
  (/ (- (pow x 3) (pow z 3)) 1)
  (/ y (+ (* x x) (+ (* z z) (* x z))))
  (/ 1 (+ (* x x) (+ (* z z) (* x z))))
  (/ (+ (* x x) (+ (* z z) (* x z))) (* (- (pow x 3) (pow z 3)) y))
  (/ (* (- (pow x 3) (pow z 3)) y) (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ (* x x) (+ (* z z) (* x z))))))
  (/ (* (- (pow x 3) (pow z 3)) y) (sqrt (+ (* x x) (+ (* z z) (* x z)))))
  (/ (* (- (pow x 3) (pow z 3)) y) 1)
  (/ (+ (* x x) (+ (* z z) (* x z))) y)
  (/ (* (- (pow x 3) (pow z 3)) y) (+ (pow (* x x) 3) (pow (+ (* z z) (* x z)) 3)))
  (/ (* (- (pow x 3) (pow z 3)) y) (- (* (* x x) (* x x)) (* (+ (* z z) (* x z)) (+ (* z z) (* x z)))))
  (* (+ (* x x) (+ (* z z) (* x z))) (+ (* (pow x 3) (pow x 3)) (+ (* (pow z 3) (pow z 3)) (* (pow x 3) (pow z 3)))))
  (* (+ (* x x) (+ (* z z) (* x z))) (+ (pow x 3) (pow z 3)))
  (expm1 (* (- (pow x 3) (pow z 3)) y))
  (log1p (* (- (pow x 3) (pow z 3)) y))
  (* (- (pow x 3) (pow z 3)) y)
  (+ (log (- (pow x 3) (pow z 3))) (log y))
  (log (* (- (pow x 3) (pow z 3)) y))
  (exp (* (- (pow x 3) (pow z 3)) y))
  (* (* (* (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3))) (- (pow x 3) (pow z 3))) (* (* y y) y))
  (* (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (* (- (pow x 3) (pow z 3)) y)))
  (cbrt (* (- (pow x 3) (pow z 3)) y))
  (* (* (* (- (pow x 3) (pow z 3)) y) (* (- (pow x 3) (pow z 3)) y)) (* (- (pow x 3) (pow z 3)) y))
  (sqrt (* (- (pow x 3) (pow z 3)) y))
  (sqrt (* (- (pow x 3) (pow z 3)) y))
  (* (sqrt (- (pow x 3) (pow z 3))) (sqrt y))
  (* (sqrt (- (pow x 3) (pow z 3))) (sqrt y))
  (* (- (pow x 3) (pow z 3)) (* (cbrt y) (cbrt y)))
  (* (- (pow x 3) (pow z 3)) (sqrt y))
  (* (- (pow x 3) (pow z 3)) 1)
  (* (cbrt (- (pow x 3) (pow z 3))) y)
  (* (sqrt (- (pow x 3) (pow z 3))) y)
  (* (- x z) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y)
  (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y)
  (* (- (pow (sqrt x) 3) (sqrt (pow z 3))) y)
  (* (- (pow (sqrt x) 3) (pow z (/ 3 2))) y)
  (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y)
  (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y)
  (* (- (pow (sqrt x) 3) (sqrt (pow z 3))) y)
  (* (- (pow (sqrt x) 3) (pow z (/ 3 2))) y)
  (* (- (sqrt (pow x 3)) (pow (sqrt z) 3)) y)
  (* (- (sqrt (pow x 3)) (pow (sqrt z) 3)) y)
  (* (- (sqrt (pow x 3)) (sqrt (pow z 3))) y)
  (* (- (sqrt (pow x 3)) (pow z (/ 3 2))) y)
  (* (- (pow x (/ 3 2)) (pow (sqrt z) 3)) y)
  (* (- (pow x (/ 3 2)) (pow (sqrt z) 3)) y)
  (* (- (pow x (/ 3 2)) (sqrt (pow z 3))) y)
  (* (- (pow x (/ 3 2)) (pow z (/ 3 2))) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow (pow x 3) 3) (pow (pow z 3) 3)) y)
  (* (- (* (pow x 3) (pow x 3)) (* (pow z 3) (pow z 3))) y)
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma (pow 1 3) (pow x 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow 1 3) (pow x 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow 1 3) (pow x 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow 1 3) (pow x 3) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma (pow 1 3) (pow x 3) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma (pow 1 3) (pow x 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow 1 3) (pow x 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow 1 3) (pow x 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow 1 3) (pow x 3) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma (pow 1 3) (pow x 3) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma (pow 1 3) (pow x 3) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma (pow 1 3) (pow x 3) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma (* x x) x (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (* x x) x (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (* x x) x (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (* x x) x (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma (* x x) x (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma (* x x) x (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (* x x) x (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (* x x) x (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (* x x) x (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma (* x x) x (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma (* x x) x (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma (* x x) x (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma (* (cbrt (pow x 3)) (cbrt (pow x 3))) (cbrt (pow x 3)) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma (pow (* (cbrt x) (cbrt x)) 3) (pow (cbrt x) 3) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma (pow (sqrt x) 3) (pow (sqrt x) 3) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma (pow 1 3) (pow x 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow 1 3) (pow x 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow 1 3) (pow x 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow 1 3) (pow x 3) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma (pow 1 3) (pow x 3) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma (pow 1 3) (pow x 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow 1 3) (pow x 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow 1 3) (pow x 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow 1 3) (pow x 3) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma (pow 1 3) (pow x 3) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma (pow 1 3) (pow x 3) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma (pow 1 3) (pow x 3) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma x (* x x) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma x (* x x) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma x (* x x) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma x (* x x) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma x (* x x) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma x (* x x) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma x (* x x) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma x (* x x) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma x (* x x) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma x (* x x) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma x (* x x) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma x (* x x) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma (sqrt (pow x 3)) (sqrt (pow x 3)) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma 1 (pow x 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma 1 (pow x 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma 1 (pow x 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma 1 (pow x 3) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma 1 (pow x 3) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma 1 (pow x 3) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma 1 (pow x 3) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma 1 (pow x 3) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma 1 (pow x 3) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma 1 (pow x 3) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma 1 (pow x 3) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma 1 (pow x 3) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* z (* z z))))
  (fma (- z) (* z z) (* z (* z z)))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3))))))
  (fma (- (cbrt (pow z 3))) (* (cbrt (pow z 3)) (cbrt (pow z 3))) (* (cbrt (pow z 3)) (* (cbrt (pow z 3)) (cbrt (pow z 3)))))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3))))
  (fma (- (pow (cbrt z) 3)) (pow (* (cbrt z) (cbrt z)) 3) (* (pow (cbrt z) 3) (pow (* (cbrt z) (cbrt z)) 3)))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow (sqrt z) 3) (pow (sqrt z) 3))))
  (fma (- (pow (sqrt z) 3)) (pow (sqrt z) 3) (* (pow (sqrt z) 3) (pow (sqrt z) 3)))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow z 3) (pow 1 3))))
  (fma (- (pow z 3)) (pow 1 3) (* (pow z 3) (pow 1 3)))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (* z z) z)))
  (fma (- (* z z)) z (* (* z z) z))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (sqrt (pow z 3)) (sqrt (pow z 3)))))
  (fma (- (sqrt (pow z 3))) (sqrt (pow z 3)) (* (sqrt (pow z 3)) (sqrt (pow z 3))))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow z 3) 1)))
  (fma (- (pow z 3)) 1 (* (pow z 3) 1))
  (fma (pow x (/ 3 2)) (pow x (/ 3 2)) (- (* (pow z (/ 3 2)) (pow z (/ 3 2)))))
  (fma (- (pow z (/ 3 2))) (pow z (/ 3 2)) (* (pow z (/ 3 2)) (pow z (/ 3 2))))
  (expm1 (- (pow x 3) (pow z 3)))
  (log1p (- (pow x 3) (pow z 3)))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (/ (exp (pow x 3)) (exp (pow z 3)))
  (log (- (pow x 3) (pow z 3)))
  (exp (- (pow x 3) (pow z 3)))
  (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (pow x 3) (pow z 3))))
  (cbrt (- (pow x 3) (pow z 3)))
  (* (* (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3))) (- (pow x 3) (pow z 3)))
  (sqrt (- (pow x 3) (pow z 3)))
  (sqrt (- (pow x 3) (pow z 3)))
  (+ (* x x) (+ (* z z) (* x z)))
  (- x z)
  (- (pow (pow x 3) 3) (pow (pow z 3) 3))
  (+ (* (pow x 3) (pow x 3)) (+ (* (pow z 3) (pow z 3)) (* (pow x 3) (pow z 3))))
  (- (pow z 3))
  (- (* (pow x 3) (pow x 3)) (* (pow z 3) (pow z 3)))
  (+ (pow x 3) (pow z 3))
  (+ (pow (sqrt x) 3) (pow (sqrt z) 3))
  (- (pow (sqrt x) 3) (pow (sqrt z) 3))
  (+ (pow (sqrt x) 3) (pow (sqrt z) 3))
  (- (pow (sqrt x) 3) (pow (sqrt z) 3))
  (+ (pow (sqrt x) 3) (sqrt (pow z 3)))
  (- (pow (sqrt x) 3) (sqrt (pow z 3)))
  (+ (pow (sqrt x) 3) (pow z (/ 3 2)))
  (- (pow (sqrt x) 3) (pow z (/ 3 2)))
  (+ (pow (sqrt x) 3) (pow (sqrt z) 3))
  (- (pow (sqrt x) 3) (pow (sqrt z) 3))
  (+ (pow (sqrt x) 3) (pow (sqrt z) 3))
  (- (pow (sqrt x) 3) (pow (sqrt z) 3))
  (+ (pow (sqrt x) 3) (sqrt (pow z 3)))
  (- (pow (sqrt x) 3) (sqrt (pow z 3)))
  (+ (pow (sqrt x) 3) (pow z (/ 3 2)))
  (- (pow (sqrt x) 3) (pow z (/ 3 2)))
  (+ (sqrt (pow x 3)) (pow (sqrt z) 3))
  (- (sqrt (pow x 3)) (pow (sqrt z) 3))
  (+ (sqrt (pow x 3)) (pow (sqrt z) 3))
  (- (sqrt (pow x 3)) (pow (sqrt z) 3))
  (+ (sqrt (pow x 3)) (sqrt (pow z 3)))
  (- (sqrt (pow x 3)) (sqrt (pow z 3)))
  (+ (sqrt (pow x 3)) (pow z (/ 3 2)))
  (- (sqrt (pow x 3)) (pow z (/ 3 2)))
  (+ (pow x (/ 3 2)) (pow (sqrt z) 3))
  (- (pow x (/ 3 2)) (pow (sqrt z) 3))
  (+ (pow x (/ 3 2)) (pow (sqrt z) 3))
  (- (pow x (/ 3 2)) (pow (sqrt z) 3))
  (+ (pow x (/ 3 2)) (sqrt (pow z 3)))
  (- (pow x (/ 3 2)) (sqrt (pow z 3)))
  (+ (pow x (/ 3 2)) (pow z (/ 3 2)))
  (- (pow x (/ 3 2)) (pow z (/ 3 2)))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow z 3))
  (expm1 (+ (* z z) (* x z)))
  (log1p (+ (* z z) (* x z)))
  (* (exp (* z z)) (exp (* x z)))
  (log (+ (* z z) (* x z)))
  (exp (+ (* z z) (* x z)))
  (* (cbrt (+ (* z z) (* x z))) (cbrt (+ (* z z) (* x z))))
  (cbrt (+ (* z z) (* x z)))
  (* (* (+ (* z z) (* x z)) (+ (* z z) (* x z))) (+ (* z z) (* x z)))
  (sqrt (+ (* z z) (* x z)))
  (sqrt (+ (* z z) (* x z)))
  (+ (pow (* z z) 3) (pow (* x z) 3))
  (+ (* (* z z) (* z z)) (- (* (* x z) (* x z)) (* (* z z) (* x z))))
  (- (* (* z z) (* z z)) (* (* x z) (* x z)))
  (- (* z z) (* x z))
  (+ z x)
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  0
  (- (* (pow x 3) y) (* (pow z 3) y))
  (- (* (pow x 3) y) (* (pow z 3) y))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (+ (* x z) (pow z 2))
  (+ (* x z) (pow z 2))
  (+ (* x z) (pow z 2))
11.397 * * [simplify]: iteration  0 :  304  enodes  (cost  7457 )
11.476 * * [simplify]: iteration  1 :  656  enodes  (cost  4381 )
11.842 * * [simplify]: iteration  2 :  2657  enodes  (cost  3400 )
12.562 * * [simplify]: iteration  done :  5001  enodes  (cost  3400 )
12.564 * [simplify]: Simplified to:
   (expm1 (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))))
  (log1p (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))))
  (log (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))))
  (log (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))))
  (log (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))))
  (exp (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))))
  (pow (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))) 3)
  (pow (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))) 3)
  (* (cbrt (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x))))) (cbrt (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x))))))
  (cbrt (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))))
  (pow (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))) 3)
  (sqrt (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))))
  (sqrt (/ (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ z x)))))
  (- (* (- (pow x 3) (pow z 3)) y))
  (- (fma x x (* z (+ z x))))
  (/ (- (pow x 3) (pow z 3)) (* (cbrt (fma x x (* z (+ z x)))) (cbrt (fma x x (* z (+ z x))))))
  (/ y (cbrt (fma x x (* z (+ z x)))))
  (/ (- (pow x 3) (pow z 3)) (sqrt (fma x x (* z (+ z x)))))
  (/ y (sqrt (fma x x (* z (+ z x)))))
  (- (pow x 3) (pow z 3))
  (/ y (fma x x (* z (+ z x))))
  (/ 1 (fma x x (* z (+ z x))))
  (/ (fma x x (* z (+ z x))) (* (- (pow x 3) (pow z 3)) y))
  (/ (* (- (pow x 3) (pow z 3)) y) (* (cbrt (fma x x (* z (+ z x)))) (cbrt (fma x x (* z (+ z x))))))
  (/ (* (- (pow x 3) (pow z 3)) y) (sqrt (fma x x (* z (+ z x)))))
  (* (- (pow x 3) (pow z 3)) y)
  (/ (fma x x (* z (+ z x))) y)
  (/ (* (- (pow x 3) (pow z 3)) y) (+ (pow (* z (+ z x)) 3) (pow x 6)))
  (/ y (/ (- (pow x 4) (* (* z (+ z x)) (* z (+ z x)))) (- (pow x 3) (pow z 3))))
  (* (+ (+ (pow z 6) (pow (* x z) 3)) (pow x 6)) (fma x x (* z (+ z x))))
  (* (+ (pow x 3) (pow z 3)) (fma x x (* z (+ z x))))
  (expm1 (* (- (pow x 3) (pow z 3)) y))
  (log1p (* (- (pow x 3) (pow z 3)) y))
  (* (- (pow x 3) (pow z 3)) y)
  (log (* (- (pow x 3) (pow z 3)) y))
  (log (* (- (pow x 3) (pow z 3)) y))
  (exp (* (- (pow x 3) (pow z 3)) y))
  (pow (* (- (pow x 3) (pow z 3)) y) 3)
  (* (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (* (- (pow x 3) (pow z 3)) y)))
  (cbrt (* (- (pow x 3) (pow z 3)) y))
  (pow (* (- (pow x 3) (pow z 3)) y) 3)
  (sqrt (* (- (pow x 3) (pow z 3)) y))
  (sqrt (* (- (pow x 3) (pow z 3)) y))
  (* (sqrt (- (pow x 3) (pow z 3))) (sqrt y))
  (* (sqrt (- (pow x 3) (pow z 3))) (sqrt y))
  (* (- (pow x 3) (pow z 3)) (* (cbrt y) (cbrt y)))
  (* (- (pow x 3) (pow z 3)) (sqrt y))
  (- (pow x 3) (pow z 3))
  (* (cbrt (- (pow x 3) (pow z 3))) y)
  (* (sqrt (- (pow x 3) (pow z 3))) y)
  (* (- x z) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y)
  (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y)
  (* (- (pow (sqrt x) 3) (sqrt (pow z 3))) y)
  (* y (- (pow (sqrt x) 3) (pow z 3/2)))
  (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y)
  (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y)
  (* (- (pow (sqrt x) 3) (sqrt (pow z 3))) y)
  (* y (- (pow (sqrt x) 3) (pow z 3/2)))
  (* (- (sqrt (pow x 3)) (pow (sqrt z) 3)) y)
  (* (- (sqrt (pow x 3)) (pow (sqrt z) 3)) y)
  (* (- (sqrt (pow x 3)) (sqrt (pow z 3))) y)
  (* y (- (sqrt (pow x 3)) (pow z 3/2)))
  (* y (- (pow x 3/2) (pow (sqrt z) 3)))
  (* y (- (pow x 3/2) (pow (sqrt z) 3)))
  (* (- (pow x 3/2) (sqrt (pow z 3))) y)
  (* (- (pow x 3/2) (pow z 3/2)) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow (pow x 3) 3) (pow (pow z 3) 3)) y)
  (* (- (pow x 6) (pow z 6)) y)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (- (pow x 3) (pow z 3))
  (* (pow z 3) 0)
  (expm1 (- (pow x 3) (pow z 3)))
  (log1p (- (pow x 3) (pow z 3)))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (- (pow z 3))
  (exp (- (pow x 3) (pow z 3)))
  (log (- (pow x 3) (pow z 3)))
  (exp (- (pow x 3) (pow z 3)))
  (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (pow x 3) (pow z 3))))
  (cbrt (- (pow x 3) (pow z 3)))
  (pow (- (pow x 3) (pow z 3)) 3)
  (sqrt (- (pow x 3) (pow z 3)))
  (sqrt (- (pow x 3) (pow z 3)))
  (fma x x (* z (+ z x)))
  (- x z)
  (- (pow (pow x 3) 3) (pow (pow z 3) 3))
  (+ (+ (pow z 6) (pow (* x z) 3)) (pow x 6))
  (- (pow z 3))
  (- (pow x 6) (pow z 6))
  (+ (pow x 3) (pow z 3))
  (fma (sqrt z) z (pow (sqrt x) 3))
  (- (pow (sqrt x) 3) (pow (sqrt z) 3))
  (fma (sqrt z) z (pow (sqrt x) 3))
  (- (pow (sqrt x) 3) (pow (sqrt z) 3))
  (fma x (sqrt x) (sqrt (pow z 3)))
  (- (pow (sqrt x) 3) (sqrt (pow z 3)))
  (fma (sqrt x) x (pow z 3/2))
  (- (pow (sqrt x) 3) (pow z 3/2))
  (fma (sqrt z) z (pow (sqrt x) 3))
  (- (pow (sqrt x) 3) (pow (sqrt z) 3))
  (fma (sqrt z) z (pow (sqrt x) 3))
  (- (pow (sqrt x) 3) (pow (sqrt z) 3))
  (fma x (sqrt x) (sqrt (pow z 3)))
  (- (pow (sqrt x) 3) (sqrt (pow z 3)))
  (fma (sqrt x) x (pow z 3/2))
  (- (pow (sqrt x) 3) (pow z 3/2))
  (fma z (sqrt z) (sqrt (pow x 3)))
  (- (sqrt (pow x 3)) (pow (sqrt z) 3))
  (fma z (sqrt z) (sqrt (pow x 3)))
  (- (sqrt (pow x 3)) (pow (sqrt z) 3))
  (+ (sqrt (pow x 3)) (sqrt (pow z 3)))
  (- (sqrt (pow x 3)) (sqrt (pow z 3)))
  (+ (pow z 3/2) (sqrt (pow x 3)))
  (- (sqrt (pow x 3)) (pow z 3/2))
  (fma (sqrt z) z (pow x 3/2))
  (- (pow x 3/2) (pow (sqrt z) 3))
  (fma (sqrt z) z (pow x 3/2))
  (- (pow x 3/2) (pow (sqrt z) 3))
  (+ (sqrt (pow z 3)) (pow x 3/2))
  (- (pow x 3/2) (sqrt (pow z 3)))
  (+ (pow x 3/2) (pow z 3/2))
  (- (pow x 3/2) (pow z 3/2))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow z 3))
  (expm1 (* z (+ z x)))
  (log1p (* z (+ z x)))
  (exp (* z (+ z x)))
  (log (* z (+ z x)))
  (exp (* z (+ z x)))
  (* (cbrt (* z (+ z x))) (cbrt (* z (+ z x))))
  (cbrt (* z (+ z x)))
  (pow (* z (+ z x)) 3)
  (sqrt (* z (+ z x)))
  (sqrt (* z (+ z x)))
  (+ (pow z 6) (pow (* x z) 3))
  (fma (* x z) (* z (- x z)) (pow z 4))
  (* (* z (+ z x)) (* z (- z x)))
  (* z (- z x))
  (+ z x)
  (* (- x z) y)
  (* (- x z) y)
  (* (- x z) y)
  0
  (* (- (pow x 3) (pow z 3)) y)
  (* (- (pow x 3) (pow z 3)) y)
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (- (pow x 3) (pow z 3))
  (* z (+ z x))
  (* z (+ z x))
  (* z (+ z x))
12.566 * * * [progress]: adding candidates to table
12.946 * [progress]: [Phase 3 of 3] Extracting.
12.946 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))>)
12.947 * * * [regime-changes]: Trying 4 branch expressions: ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) z y x)
12.947 * * * * [regimes]: Trying to branch on (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))>)
12.962 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))>)
12.980 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))>)
12.997 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (- x z) y))> #<alt (λ (x y z) (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))> #<alt (λ (x y z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)))>)
13.012 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
13.012 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- x z) y)
13.013 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
13.013 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
13.013 * * [simplify]: iteration  done :  6  enodes  (cost  5 )
13.013 * [simplify]: Simplified to:
   (* (- x z) y)
13.843 * [regime-testing]: Baseline error score: 0.011626453306663334
13.844 * [regime-testing]: Oracle error score: 0.007000875109388674
13.845 * [regime-testing]: End program error score: 0.011626453306663334
13.866 * [regime-testing]: Target error score: 0.011626453306663334