58.646 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* x (+ y z)) z)
0.017 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.018 * * [simplify]: iteration  1 :  16  enodes  (cost  7 )
0.020 * * [simplify]: iteration  2 :  23  enodes  (cost  7 )
0.022 * * [simplify]: iteration  3 :  36  enodes  (cost  7 )
0.026 * * [simplify]: iteration  4 :  43  enodes  (cost  7 )
0.034 * * [simplify]: iteration  5 :  49  enodes  (cost  7 )
0.039 * * [simplify]: iteration  6 :  53  enodes  (cost  7 )
0.048 * * [simplify]: iteration  7 :  63  enodes  (cost  6 )
0.053 * * [simplify]: iteration  8 :  66  enodes  (cost  6 )
0.059 * * [simplify]: iteration  done :  66  enodes  (cost  6 )
0.059 * [simplify]: Simplified to:
   (fma (/ x z) y x)
0.062 * * [progress]: iteration 1 / 4
0.062 * * * [progress]: picking best candidate
0.065 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (/ x z) y x))>
0.065 * * * [progress]: localizing error
0.070 * * * [progress]: generating rewritten candidates
0.070 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.070 * * * [progress]: generating series expansions
0.070 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.070 * [approximate]: Taking taylor expansion of (fma (/ x z) y x) in (x z y) around 0
0.070 * [taylor]: Taking taylor expansion of (fma (/ x z) y x) in y
0.070 * [taylor]: Rewrote expression to (+ (* (/ x z) y) x)
0.070 * [taylor]: Taking taylor expansion of (* (/ x z) y) in y
0.071 * [taylor]: Taking taylor expansion of (/ x z) in y
0.071 * [taylor]: Taking taylor expansion of x in y
0.071 * [taylor]: Taking taylor expansion of z in y
0.071 * [taylor]: Taking taylor expansion of y in y
0.071 * [taylor]: Taking taylor expansion of x in y
0.071 * [taylor]: Taking taylor expansion of (fma (/ x z) y x) in z
0.071 * [taylor]: Rewrote expression to (+ (* (/ x z) y) x)
0.071 * [taylor]: Taking taylor expansion of (* (/ x z) y) in z
0.071 * [taylor]: Taking taylor expansion of (/ x z) in z
0.071 * [taylor]: Taking taylor expansion of x in z
0.071 * [taylor]: Taking taylor expansion of z in z
0.071 * [taylor]: Taking taylor expansion of y in z
0.071 * [taylor]: Taking taylor expansion of x in z
0.071 * [taylor]: Taking taylor expansion of (fma (/ x z) y x) in x
0.071 * [taylor]: Rewrote expression to (+ (* (/ x z) y) x)
0.071 * [taylor]: Taking taylor expansion of (* (/ x z) y) in x
0.071 * [taylor]: Taking taylor expansion of (/ x z) in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.071 * [taylor]: Taking taylor expansion of z in x
0.071 * [taylor]: Taking taylor expansion of y in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.071 * [taylor]: Taking taylor expansion of (fma (/ x z) y x) in x
0.071 * [taylor]: Rewrote expression to (+ (* (/ x z) y) x)
0.071 * [taylor]: Taking taylor expansion of (* (/ x z) y) in x
0.071 * [taylor]: Taking taylor expansion of (/ x z) in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.071 * [taylor]: Taking taylor expansion of z in x
0.071 * [taylor]: Taking taylor expansion of y in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of 0 in z
0.072 * [taylor]: Taking taylor expansion of (+ (/ y z) 1) in z
0.072 * [taylor]: Taking taylor expansion of (/ y z) in z
0.072 * [taylor]: Taking taylor expansion of y in z
0.072 * [taylor]: Taking taylor expansion of z in z
0.072 * [taylor]: Taking taylor expansion of 1 in z
0.072 * [taylor]: Taking taylor expansion of y in y
0.072 * [taylor]: Taking taylor expansion of 0 in y
0.072 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [taylor]: Taking taylor expansion of 1 in y
0.073 * [taylor]: Taking taylor expansion of 0 in y
0.074 * [taylor]: Taking taylor expansion of 0 in z
0.074 * [taylor]: Taking taylor expansion of 0 in y
0.075 * [taylor]: Taking taylor expansion of 0 in y
0.075 * [taylor]: Taking taylor expansion of 0 in y
0.076 * [approximate]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ 1 x)) in (x z y) around 0
0.076 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ 1 x)) in y
0.076 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ 1 x))
0.076 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in y
0.076 * [taylor]: Taking taylor expansion of (/ z x) in y
0.076 * [taylor]: Taking taylor expansion of z in y
0.076 * [taylor]: Taking taylor expansion of x in y
0.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.076 * [taylor]: Taking taylor expansion of y in y
0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.076 * [taylor]: Taking taylor expansion of x in y
0.076 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ 1 x)) in z
0.076 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ 1 x))
0.076 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in z
0.076 * [taylor]: Taking taylor expansion of (/ z x) in z
0.076 * [taylor]: Taking taylor expansion of z in z
0.076 * [taylor]: Taking taylor expansion of x in z
0.076 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.076 * [taylor]: Taking taylor expansion of y in z
0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.076 * [taylor]: Taking taylor expansion of x in z
0.076 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ 1 x)) in x
0.077 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ 1 x))
0.077 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in x
0.077 * [taylor]: Taking taylor expansion of (/ z x) in x
0.077 * [taylor]: Taking taylor expansion of z in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.077 * [taylor]: Taking taylor expansion of y in x
0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ 1 x)) in x
0.077 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ 1 x))
0.077 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in x
0.077 * [taylor]: Taking taylor expansion of (/ z x) in x
0.077 * [taylor]: Taking taylor expansion of z in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.077 * [taylor]: Taking taylor expansion of y in x
0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in z
0.078 * [taylor]: Taking taylor expansion of (/ z y) in z
0.078 * [taylor]: Taking taylor expansion of z in z
0.078 * [taylor]: Taking taylor expansion of y in z
0.078 * [taylor]: Taking taylor expansion of 1 in z
0.078 * [taylor]: Taking taylor expansion of 1 in y
0.079 * [taylor]: Taking taylor expansion of 0 in z
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.080 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.080 * [taylor]: Taking taylor expansion of y in y
0.082 * [taylor]: Taking taylor expansion of 0 in z
0.082 * [taylor]: Taking taylor expansion of 0 in y
0.082 * [taylor]: Taking taylor expansion of 0 in y
0.082 * [taylor]: Taking taylor expansion of 0 in y
0.085 * [taylor]: Taking taylor expansion of 0 in z
0.085 * [taylor]: Taking taylor expansion of 0 in y
0.085 * [taylor]: Taking taylor expansion of 0 in y
0.085 * [taylor]: Taking taylor expansion of 0 in y
0.086 * [taylor]: Taking taylor expansion of 0 in y
0.086 * [approximate]: Taking taylor expansion of (fma (/ z x) (/ -1 y) (/ -1 x)) in (x z y) around 0
0.086 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ -1 y) (/ -1 x)) in y
0.086 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ -1 y)) (/ -1 x))
0.086 * [taylor]: Taking taylor expansion of (* (/ z x) (/ -1 y)) in y
0.086 * [taylor]: Taking taylor expansion of (/ z x) in y
0.086 * [taylor]: Taking taylor expansion of z in y
0.086 * [taylor]: Taking taylor expansion of x in y
0.086 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.086 * [taylor]: Taking taylor expansion of -1 in y
0.087 * [taylor]: Taking taylor expansion of y in y
0.087 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.087 * [taylor]: Taking taylor expansion of -1 in y
0.087 * [taylor]: Taking taylor expansion of x in y
0.087 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ -1 y) (/ -1 x)) in z
0.087 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ -1 y)) (/ -1 x))
0.087 * [taylor]: Taking taylor expansion of (* (/ z x) (/ -1 y)) in z
0.087 * [taylor]: Taking taylor expansion of (/ z x) in z
0.087 * [taylor]: Taking taylor expansion of z in z
0.087 * [taylor]: Taking taylor expansion of x in z
0.087 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.087 * [taylor]: Taking taylor expansion of -1 in z
0.087 * [taylor]: Taking taylor expansion of y in z
0.087 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.087 * [taylor]: Taking taylor expansion of -1 in z
0.087 * [taylor]: Taking taylor expansion of x in z
0.087 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ -1 y) (/ -1 x)) in x
0.087 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ -1 y)) (/ -1 x))
0.087 * [taylor]: Taking taylor expansion of (* (/ z x) (/ -1 y)) in x
0.087 * [taylor]: Taking taylor expansion of (/ z x) in x
0.087 * [taylor]: Taking taylor expansion of z in x
0.087 * [taylor]: Taking taylor expansion of x in x
0.087 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.087 * [taylor]: Taking taylor expansion of -1 in x
0.087 * [taylor]: Taking taylor expansion of y in x
0.088 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.088 * [taylor]: Taking taylor expansion of -1 in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.088 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ -1 y) (/ -1 x)) in x
0.088 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ -1 y)) (/ -1 x))
0.088 * [taylor]: Taking taylor expansion of (* (/ z x) (/ -1 y)) in x
0.088 * [taylor]: Taking taylor expansion of (/ z x) in x
0.088 * [taylor]: Taking taylor expansion of z in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.088 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.088 * [taylor]: Taking taylor expansion of -1 in x
0.088 * [taylor]: Taking taylor expansion of y in x
0.088 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.088 * [taylor]: Taking taylor expansion of -1 in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of (- (+ (/ z y) 1)) in z
0.089 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in z
0.089 * [taylor]: Taking taylor expansion of (/ z y) in z
0.089 * [taylor]: Taking taylor expansion of z in z
0.089 * [taylor]: Taking taylor expansion of y in z
0.089 * [taylor]: Taking taylor expansion of 1 in z
0.089 * [taylor]: Taking taylor expansion of -1 in y
0.091 * [taylor]: Taking taylor expansion of 0 in z
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.098 * [taylor]: Taking taylor expansion of 0 in z
0.098 * [taylor]: Taking taylor expansion of 0 in y
0.098 * [taylor]: Taking taylor expansion of 0 in y
0.098 * [taylor]: Taking taylor expansion of 0 in y
0.102 * [taylor]: Taking taylor expansion of 0 in z
0.102 * [taylor]: Taking taylor expansion of 0 in y
0.102 * [taylor]: Taking taylor expansion of 0 in y
0.102 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [taylor]: Taking taylor expansion of 0 in y
0.103 * * * [progress]: simplifying candidates
0.103 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (/ x z) y x))
  (log1p (fma (/ x z) y x))
  (* (/ x z) y)
  (log (fma (/ x z) y x))
  (exp (fma (/ x z) y x))
  (* (cbrt (fma (/ x z) y x)) (cbrt (fma (/ x z) y x)))
  (cbrt (fma (/ x z) y x))
  (* (* (fma (/ x z) y x) (fma (/ x z) y x)) (fma (/ x z) y x))
  (sqrt (fma (/ x z) y x))
  (sqrt (fma (/ x z) y x))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
0.105 * * [simplify]: iteration  0 :  18  enodes  (cost  110 )
0.107 * * [simplify]: iteration  1 :  24  enodes  (cost  107 )
0.110 * * [simplify]: iteration  2 :  49  enodes  (cost  95 )
0.118 * * [simplify]: iteration  3 :  130  enodes  (cost  95 )
0.147 * * [simplify]: iteration  4 :  436  enodes  (cost  95 )
0.307 * * [simplify]: iteration  5 :  1693  enodes  (cost  95 )
1.160 * * [simplify]: iteration  done :  5000  enodes  (cost  95 )
1.160 * [simplify]: Simplified to:
   (expm1 (fma (/ x z) y x))
  (log1p (fma (/ x z) y x))
  (/ (* x y) z)
  (log (fma (/ x z) y x))
  (exp (fma (/ x z) y x))
  (* (cbrt (fma (/ x z) y x)) (cbrt (fma (/ x z) y x)))
  (cbrt (fma (/ x z) y x))
  (pow (fma (/ x z) y x) 3)
  (sqrt (fma (/ x z) y x))
  (sqrt (fma (/ x z) y x))
  (fma (/ x z) y x)
  (fma (/ x z) y x)
  (fma (/ x z) y x)
1.161 * * * [progress]: adding candidates to table
1.190 * * [progress]: iteration 2 / 4
1.190 * * * [progress]: picking best candidate
1.193 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (/ (* x y) z) x))>
1.193 * * * [progress]: localizing error
1.198 * * * [progress]: generating rewritten candidates
1.199 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1.202 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.211 * * * [progress]: generating series expansions
1.211 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1.211 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
1.211 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
1.211 * [taylor]: Taking taylor expansion of (* x y) in z
1.211 * [taylor]: Taking taylor expansion of x in z
1.211 * [taylor]: Taking taylor expansion of y in z
1.211 * [taylor]: Taking taylor expansion of z in z
1.211 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
1.211 * [taylor]: Taking taylor expansion of (* x y) in y
1.211 * [taylor]: Taking taylor expansion of x in y
1.211 * [taylor]: Taking taylor expansion of y in y
1.211 * [taylor]: Taking taylor expansion of z in y
1.212 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.212 * [taylor]: Taking taylor expansion of (* x y) in x
1.212 * [taylor]: Taking taylor expansion of x in x
1.212 * [taylor]: Taking taylor expansion of y in x
1.212 * [taylor]: Taking taylor expansion of z in x
1.212 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.212 * [taylor]: Taking taylor expansion of (* x y) in x
1.212 * [taylor]: Taking taylor expansion of x in x
1.212 * [taylor]: Taking taylor expansion of y in x
1.212 * [taylor]: Taking taylor expansion of z in x
1.213 * [taylor]: Taking taylor expansion of (/ y z) in y
1.213 * [taylor]: Taking taylor expansion of y in y
1.213 * [taylor]: Taking taylor expansion of z in y
1.213 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.213 * [taylor]: Taking taylor expansion of z in z
1.214 * [taylor]: Taking taylor expansion of 0 in y
1.214 * [taylor]: Taking taylor expansion of 0 in z
1.214 * [taylor]: Taking taylor expansion of 0 in z
1.216 * [taylor]: Taking taylor expansion of 0 in y
1.216 * [taylor]: Taking taylor expansion of 0 in z
1.216 * [taylor]: Taking taylor expansion of 0 in z
1.216 * [taylor]: Taking taylor expansion of 0 in z
1.217 * [taylor]: Taking taylor expansion of 0 in y
1.217 * [taylor]: Taking taylor expansion of 0 in z
1.218 * [taylor]: Taking taylor expansion of 0 in z
1.218 * [taylor]: Taking taylor expansion of 0 in z
1.218 * [taylor]: Taking taylor expansion of 0 in z
1.218 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
1.218 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
1.218 * [taylor]: Taking taylor expansion of z in z
1.218 * [taylor]: Taking taylor expansion of (* x y) in z
1.218 * [taylor]: Taking taylor expansion of x in z
1.218 * [taylor]: Taking taylor expansion of y in z
1.218 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.218 * [taylor]: Taking taylor expansion of z in y
1.218 * [taylor]: Taking taylor expansion of (* x y) in y
1.218 * [taylor]: Taking taylor expansion of x in y
1.218 * [taylor]: Taking taylor expansion of y in y
1.218 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.218 * [taylor]: Taking taylor expansion of z in x
1.218 * [taylor]: Taking taylor expansion of (* x y) in x
1.218 * [taylor]: Taking taylor expansion of x in x
1.218 * [taylor]: Taking taylor expansion of y in x
1.219 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.219 * [taylor]: Taking taylor expansion of z in x
1.219 * [taylor]: Taking taylor expansion of (* x y) in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of y in x
1.219 * [taylor]: Taking taylor expansion of (/ z y) in y
1.219 * [taylor]: Taking taylor expansion of z in y
1.219 * [taylor]: Taking taylor expansion of y in y
1.219 * [taylor]: Taking taylor expansion of z in z
1.220 * [taylor]: Taking taylor expansion of 0 in y
1.221 * [taylor]: Taking taylor expansion of 0 in z
1.222 * [taylor]: Taking taylor expansion of 0 in y
1.222 * [taylor]: Taking taylor expansion of 0 in z
1.222 * [taylor]: Taking taylor expansion of 0 in z
1.223 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
1.223 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
1.223 * [taylor]: Taking taylor expansion of -1 in z
1.223 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
1.223 * [taylor]: Taking taylor expansion of z in z
1.223 * [taylor]: Taking taylor expansion of (* x y) in z
1.223 * [taylor]: Taking taylor expansion of x in z
1.223 * [taylor]: Taking taylor expansion of y in z
1.223 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
1.223 * [taylor]: Taking taylor expansion of -1 in y
1.223 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.223 * [taylor]: Taking taylor expansion of z in y
1.223 * [taylor]: Taking taylor expansion of (* x y) in y
1.223 * [taylor]: Taking taylor expansion of x in y
1.223 * [taylor]: Taking taylor expansion of y in y
1.223 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
1.223 * [taylor]: Taking taylor expansion of -1 in x
1.223 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.223 * [taylor]: Taking taylor expansion of z in x
1.223 * [taylor]: Taking taylor expansion of (* x y) in x
1.223 * [taylor]: Taking taylor expansion of x in x
1.224 * [taylor]: Taking taylor expansion of y in x
1.224 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
1.224 * [taylor]: Taking taylor expansion of -1 in x
1.224 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.224 * [taylor]: Taking taylor expansion of z in x
1.224 * [taylor]: Taking taylor expansion of (* x y) in x
1.224 * [taylor]: Taking taylor expansion of x in x
1.224 * [taylor]: Taking taylor expansion of y in x
1.224 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
1.224 * [taylor]: Taking taylor expansion of -1 in y
1.224 * [taylor]: Taking taylor expansion of (/ z y) in y
1.224 * [taylor]: Taking taylor expansion of z in y
1.224 * [taylor]: Taking taylor expansion of y in y
1.224 * [taylor]: Taking taylor expansion of (* -1 z) in z
1.224 * [taylor]: Taking taylor expansion of -1 in z
1.225 * [taylor]: Taking taylor expansion of z in z
1.226 * [taylor]: Taking taylor expansion of 0 in y
1.227 * [taylor]: Taking taylor expansion of 0 in z
1.229 * [taylor]: Taking taylor expansion of 0 in y
1.229 * [taylor]: Taking taylor expansion of 0 in z
1.230 * [taylor]: Taking taylor expansion of 0 in z
1.231 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.231 * [approximate]: Taking taylor expansion of (+ (/ (* x y) z) x) in (x y z) around 0
1.231 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in z
1.231 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
1.231 * [taylor]: Taking taylor expansion of (* x y) in z
1.231 * [taylor]: Taking taylor expansion of x in z
1.231 * [taylor]: Taking taylor expansion of y in z
1.231 * [taylor]: Taking taylor expansion of z in z
1.231 * [taylor]: Taking taylor expansion of x in z
1.231 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in y
1.231 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
1.231 * [taylor]: Taking taylor expansion of (* x y) in y
1.231 * [taylor]: Taking taylor expansion of x in y
1.231 * [taylor]: Taking taylor expansion of y in y
1.231 * [taylor]: Taking taylor expansion of z in y
1.232 * [taylor]: Taking taylor expansion of x in y
1.232 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in x
1.232 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.232 * [taylor]: Taking taylor expansion of (* x y) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of y in x
1.232 * [taylor]: Taking taylor expansion of z in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in x
1.232 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.232 * [taylor]: Taking taylor expansion of (* x y) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of y in x
1.232 * [taylor]: Taking taylor expansion of z in x
1.233 * [taylor]: Taking taylor expansion of x in x
1.233 * [taylor]: Taking taylor expansion of 0 in y
1.233 * [taylor]: Taking taylor expansion of 0 in z
1.233 * [taylor]: Taking taylor expansion of (+ (/ y z) 1) in y
1.233 * [taylor]: Taking taylor expansion of (/ y z) in y
1.233 * [taylor]: Taking taylor expansion of y in y
1.233 * [taylor]: Taking taylor expansion of z in y
1.233 * [taylor]: Taking taylor expansion of 1 in y
1.233 * [taylor]: Taking taylor expansion of 1 in z
1.233 * [taylor]: Taking taylor expansion of 0 in z
1.234 * [taylor]: Taking taylor expansion of 0 in y
1.234 * [taylor]: Taking taylor expansion of 0 in z
1.234 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.234 * [taylor]: Taking taylor expansion of z in z
1.235 * [taylor]: Taking taylor expansion of 0 in z
1.236 * [taylor]: Taking taylor expansion of 0 in y
1.236 * [taylor]: Taking taylor expansion of 0 in z
1.236 * [taylor]: Taking taylor expansion of 0 in z
1.236 * [taylor]: Taking taylor expansion of 0 in z
1.236 * [taylor]: Taking taylor expansion of 0 in z
1.237 * [approximate]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in (x y z) around 0
1.237 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
1.237 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
1.237 * [taylor]: Taking taylor expansion of z in z
1.237 * [taylor]: Taking taylor expansion of (* x y) in z
1.237 * [taylor]: Taking taylor expansion of x in z
1.237 * [taylor]: Taking taylor expansion of y in z
1.237 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.237 * [taylor]: Taking taylor expansion of x in z
1.237 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
1.237 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.237 * [taylor]: Taking taylor expansion of z in y
1.237 * [taylor]: Taking taylor expansion of (* x y) in y
1.237 * [taylor]: Taking taylor expansion of x in y
1.237 * [taylor]: Taking taylor expansion of y in y
1.238 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.238 * [taylor]: Taking taylor expansion of x in y
1.238 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
1.238 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.238 * [taylor]: Taking taylor expansion of z in x
1.238 * [taylor]: Taking taylor expansion of (* x y) in x
1.238 * [taylor]: Taking taylor expansion of x in x
1.238 * [taylor]: Taking taylor expansion of y in x
1.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.238 * [taylor]: Taking taylor expansion of x in x
1.238 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
1.238 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.238 * [taylor]: Taking taylor expansion of z in x
1.238 * [taylor]: Taking taylor expansion of (* x y) in x
1.238 * [taylor]: Taking taylor expansion of x in x
1.238 * [taylor]: Taking taylor expansion of y in x
1.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.239 * [taylor]: Taking taylor expansion of x in x
1.239 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in y
1.239 * [taylor]: Taking taylor expansion of (/ z y) in y
1.239 * [taylor]: Taking taylor expansion of z in y
1.239 * [taylor]: Taking taylor expansion of y in y
1.239 * [taylor]: Taking taylor expansion of 1 in y
1.239 * [taylor]: Taking taylor expansion of z in z
1.241 * [taylor]: Taking taylor expansion of 0 in y
1.242 * [taylor]: Taking taylor expansion of 1 in z
1.243 * [taylor]: Taking taylor expansion of 0 in y
1.243 * [taylor]: Taking taylor expansion of 0 in z
1.244 * [taylor]: Taking taylor expansion of 0 in z
1.246 * [taylor]: Taking taylor expansion of 0 in y
1.246 * [taylor]: Taking taylor expansion of 0 in z
1.246 * [taylor]: Taking taylor expansion of 0 in z
1.247 * [approximate]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in (x y z) around 0
1.247 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in z
1.247 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
1.247 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
1.247 * [taylor]: Taking taylor expansion of z in z
1.247 * [taylor]: Taking taylor expansion of (* x y) in z
1.247 * [taylor]: Taking taylor expansion of x in z
1.247 * [taylor]: Taking taylor expansion of y in z
1.247 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.247 * [taylor]: Taking taylor expansion of x in z
1.247 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in y
1.247 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
1.247 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.247 * [taylor]: Taking taylor expansion of z in y
1.247 * [taylor]: Taking taylor expansion of (* x y) in y
1.247 * [taylor]: Taking taylor expansion of x in y
1.247 * [taylor]: Taking taylor expansion of y in y
1.248 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.248 * [taylor]: Taking taylor expansion of x in y
1.248 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in x
1.248 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
1.248 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.248 * [taylor]: Taking taylor expansion of z in x
1.248 * [taylor]: Taking taylor expansion of (* x y) in x
1.248 * [taylor]: Taking taylor expansion of x in x
1.248 * [taylor]: Taking taylor expansion of y in x
1.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.248 * [taylor]: Taking taylor expansion of x in x
1.248 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in x
1.249 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
1.249 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.249 * [taylor]: Taking taylor expansion of z in x
1.249 * [taylor]: Taking taylor expansion of (* x y) in x
1.249 * [taylor]: Taking taylor expansion of x in x
1.249 * [taylor]: Taking taylor expansion of y in x
1.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.249 * [taylor]: Taking taylor expansion of x in x
1.249 * [taylor]: Taking taylor expansion of (- (+ (/ z y) 1)) in y
1.249 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in y
1.249 * [taylor]: Taking taylor expansion of (/ z y) in y
1.249 * [taylor]: Taking taylor expansion of z in y
1.249 * [taylor]: Taking taylor expansion of y in y
1.250 * [taylor]: Taking taylor expansion of 1 in y
1.250 * [taylor]: Taking taylor expansion of (- z) in z
1.250 * [taylor]: Taking taylor expansion of z in z
1.251 * [taylor]: Taking taylor expansion of 0 in y
1.253 * [taylor]: Taking taylor expansion of -1 in z
1.256 * [taylor]: Taking taylor expansion of 0 in y
1.256 * [taylor]: Taking taylor expansion of 0 in z
1.257 * [taylor]: Taking taylor expansion of 0 in z
1.259 * [taylor]: Taking taylor expansion of 0 in y
1.259 * [taylor]: Taking taylor expansion of 0 in z
1.259 * [taylor]: Taking taylor expansion of 0 in z
1.260 * * * [progress]: simplifying candidates
1.260 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (- (+ (log x) (log y)) (log z))
  (- (log (* x y)) (log z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  (/ x 1)
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (/ (* x y) 1)
  (/ z y)
  (expm1 (+ (/ (* x y) z) x))
  (log1p (+ (/ (* x y) z) x))
  (* (exp (/ (* x y) z)) (exp x))
  (log (+ (/ (* x y) z) x))
  (exp (+ (/ (* x y) z) x))
  (* (cbrt (+ (/ (* x y) z) x)) (cbrt (+ (/ (* x y) z) x)))
  (cbrt (+ (/ (* x y) z) x))
  (* (* (+ (/ (* x y) z) x) (+ (/ (* x y) z) x)) (+ (/ (* x y) z) x))
  (sqrt (+ (/ (* x y) z) x))
  (sqrt (+ (/ (* x y) z) x))
  (+ (pow (/ (* x y) z) 3) (pow x 3))
  (+ (* (/ (* x y) z) (/ (* x y) z)) (- (* x x) (* (/ (* x y) z) x)))
  (- (* (/ (* x y) z) (/ (* x y) z)) (* x x))
  (- (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
1.262 * * [simplify]: iteration  0 :  71  enodes  (cost  387 )
1.281 * * [simplify]: iteration  1 :  176  enodes  (cost  364 )
1.314 * * [simplify]: iteration  2 :  545  enodes  (cost  332 )
1.561 * * [simplify]: iteration  3 :  2509  enodes  (cost  312 )
2.206 * * [simplify]: iteration  done :  5000  enodes  (cost  312 )
2.207 * [simplify]: Simplified to:
   (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (* x y)
  (/ z y)
  (expm1 (fma (/ x z) y x))
  (log1p (fma (/ x z) y x))
  (exp (fma (/ x z) y x))
  (log (fma (/ x z) y x))
  (exp (fma (/ x z) y x))
  (* (cbrt (fma (/ x z) y x)) (cbrt (fma (/ x z) y x)))
  (cbrt (fma (/ x z) y x))
  (pow (fma (/ x z) y x) 3)
  (sqrt (fma (/ x z) y x))
  (sqrt (fma (/ x z) y x))
  (+ (pow (/ (* x y) z) 3) (pow x 3))
  (fma x x (* (/ (* x y) z) (- (/ (* x y) z) x)))
  (* (fma (/ x z) y x) (- (/ (* x y) z) x))
  (- (/ (* x y) z) x)
  (fma (/ x z) y x)
  (* x (/ y z))
  (* x (/ y z))
  (* x (/ y z))
  (fma (/ x z) y x)
  (fma (/ x z) y x)
  (fma (/ x z) y x)
2.207 * * * [progress]: adding candidates to table
2.307 * * [progress]: iteration 3 / 4
2.307 * * * [progress]: picking best candidate
2.313 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (/ x (/ z y)) x))>
2.313 * * * [progress]: localizing error
2.318 * * * [progress]: generating rewritten candidates
2.318 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.323 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.365 * * * [progress]: generating series expansions
2.365 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.365 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
2.365 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
2.365 * [taylor]: Taking taylor expansion of (* x y) in y
2.365 * [taylor]: Taking taylor expansion of x in y
2.365 * [taylor]: Taking taylor expansion of y in y
2.365 * [taylor]: Taking taylor expansion of z in y
2.366 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.366 * [taylor]: Taking taylor expansion of (* x y) in z
2.366 * [taylor]: Taking taylor expansion of x in z
2.366 * [taylor]: Taking taylor expansion of y in z
2.366 * [taylor]: Taking taylor expansion of z in z
2.366 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.366 * [taylor]: Taking taylor expansion of (* x y) in x
2.366 * [taylor]: Taking taylor expansion of x in x
2.366 * [taylor]: Taking taylor expansion of y in x
2.366 * [taylor]: Taking taylor expansion of z in x
2.366 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.367 * [taylor]: Taking taylor expansion of (* x y) in x
2.367 * [taylor]: Taking taylor expansion of x in x
2.367 * [taylor]: Taking taylor expansion of y in x
2.367 * [taylor]: Taking taylor expansion of z in x
2.367 * [taylor]: Taking taylor expansion of (/ y z) in z
2.367 * [taylor]: Taking taylor expansion of y in z
2.367 * [taylor]: Taking taylor expansion of z in z
2.367 * [taylor]: Taking taylor expansion of y in y
2.368 * [taylor]: Taking taylor expansion of 0 in z
2.368 * [taylor]: Taking taylor expansion of 0 in y
2.369 * [taylor]: Taking taylor expansion of 0 in z
2.369 * [taylor]: Taking taylor expansion of 0 in y
2.370 * [taylor]: Taking taylor expansion of 0 in y
2.371 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
2.371 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.371 * [taylor]: Taking taylor expansion of z in y
2.371 * [taylor]: Taking taylor expansion of (* x y) in y
2.371 * [taylor]: Taking taylor expansion of x in y
2.371 * [taylor]: Taking taylor expansion of y in y
2.371 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.371 * [taylor]: Taking taylor expansion of z in z
2.371 * [taylor]: Taking taylor expansion of (* x y) in z
2.371 * [taylor]: Taking taylor expansion of x in z
2.371 * [taylor]: Taking taylor expansion of y in z
2.371 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.371 * [taylor]: Taking taylor expansion of z in x
2.371 * [taylor]: Taking taylor expansion of (* x y) in x
2.371 * [taylor]: Taking taylor expansion of x in x
2.371 * [taylor]: Taking taylor expansion of y in x
2.372 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.372 * [taylor]: Taking taylor expansion of z in x
2.372 * [taylor]: Taking taylor expansion of (* x y) in x
2.372 * [taylor]: Taking taylor expansion of x in x
2.372 * [taylor]: Taking taylor expansion of y in x
2.372 * [taylor]: Taking taylor expansion of (/ z y) in z
2.372 * [taylor]: Taking taylor expansion of z in z
2.372 * [taylor]: Taking taylor expansion of y in z
2.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.372 * [taylor]: Taking taylor expansion of y in y
2.373 * [taylor]: Taking taylor expansion of 0 in z
2.373 * [taylor]: Taking taylor expansion of 0 in y
2.373 * [taylor]: Taking taylor expansion of 0 in y
2.375 * [taylor]: Taking taylor expansion of 0 in z
2.375 * [taylor]: Taking taylor expansion of 0 in y
2.375 * [taylor]: Taking taylor expansion of 0 in y
2.375 * [taylor]: Taking taylor expansion of 0 in y
2.376 * [taylor]: Taking taylor expansion of 0 in z
2.376 * [taylor]: Taking taylor expansion of 0 in y
2.376 * [taylor]: Taking taylor expansion of 0 in y
2.376 * [taylor]: Taking taylor expansion of 0 in y
2.377 * [taylor]: Taking taylor expansion of 0 in y
2.377 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0
2.377 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
2.377 * [taylor]: Taking taylor expansion of -1 in y
2.377 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.377 * [taylor]: Taking taylor expansion of z in y
2.377 * [taylor]: Taking taylor expansion of (* x y) in y
2.377 * [taylor]: Taking taylor expansion of x in y
2.377 * [taylor]: Taking taylor expansion of y in y
2.377 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
2.377 * [taylor]: Taking taylor expansion of -1 in z
2.377 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.377 * [taylor]: Taking taylor expansion of z in z
2.377 * [taylor]: Taking taylor expansion of (* x y) in z
2.377 * [taylor]: Taking taylor expansion of x in z
2.377 * [taylor]: Taking taylor expansion of y in z
2.377 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
2.378 * [taylor]: Taking taylor expansion of -1 in x
2.378 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.378 * [taylor]: Taking taylor expansion of z in x
2.378 * [taylor]: Taking taylor expansion of (* x y) in x
2.378 * [taylor]: Taking taylor expansion of x in x
2.378 * [taylor]: Taking taylor expansion of y in x
2.378 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
2.378 * [taylor]: Taking taylor expansion of -1 in x
2.378 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.378 * [taylor]: Taking taylor expansion of z in x
2.378 * [taylor]: Taking taylor expansion of (* x y) in x
2.378 * [taylor]: Taking taylor expansion of x in x
2.378 * [taylor]: Taking taylor expansion of y in x
2.378 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
2.378 * [taylor]: Taking taylor expansion of -1 in z
2.378 * [taylor]: Taking taylor expansion of (/ z y) in z
2.378 * [taylor]: Taking taylor expansion of z in z
2.378 * [taylor]: Taking taylor expansion of y in z
2.379 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.379 * [taylor]: Taking taylor expansion of -1 in y
2.379 * [taylor]: Taking taylor expansion of y in y
2.380 * [taylor]: Taking taylor expansion of 0 in z
2.380 * [taylor]: Taking taylor expansion of 0 in y
2.380 * [taylor]: Taking taylor expansion of 0 in y
2.382 * [taylor]: Taking taylor expansion of 0 in z
2.382 * [taylor]: Taking taylor expansion of 0 in y
2.382 * [taylor]: Taking taylor expansion of 0 in y
2.383 * [taylor]: Taking taylor expansion of 0 in y
2.385 * [taylor]: Taking taylor expansion of 0 in z
2.385 * [taylor]: Taking taylor expansion of 0 in y
2.385 * [taylor]: Taking taylor expansion of 0 in y
2.385 * [taylor]: Taking taylor expansion of 0 in y
2.386 * [taylor]: Taking taylor expansion of 0 in y
2.387 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.387 * [approximate]: Taking taylor expansion of (+ (/ (* x y) z) x) in (x z y) around 0
2.387 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in y
2.387 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
2.387 * [taylor]: Taking taylor expansion of (* x y) in y
2.387 * [taylor]: Taking taylor expansion of x in y
2.387 * [taylor]: Taking taylor expansion of y in y
2.387 * [taylor]: Taking taylor expansion of z in y
2.387 * [taylor]: Taking taylor expansion of x in y
2.387 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in z
2.387 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.387 * [taylor]: Taking taylor expansion of (* x y) in z
2.387 * [taylor]: Taking taylor expansion of x in z
2.387 * [taylor]: Taking taylor expansion of y in z
2.387 * [taylor]: Taking taylor expansion of z in z
2.388 * [taylor]: Taking taylor expansion of x in z
2.388 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in x
2.388 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.388 * [taylor]: Taking taylor expansion of (* x y) in x
2.388 * [taylor]: Taking taylor expansion of x in x
2.388 * [taylor]: Taking taylor expansion of y in x
2.388 * [taylor]: Taking taylor expansion of z in x
2.388 * [taylor]: Taking taylor expansion of x in x
2.388 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in x
2.388 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.388 * [taylor]: Taking taylor expansion of (* x y) in x
2.388 * [taylor]: Taking taylor expansion of x in x
2.388 * [taylor]: Taking taylor expansion of y in x
2.388 * [taylor]: Taking taylor expansion of z in x
2.388 * [taylor]: Taking taylor expansion of x in x
2.389 * [taylor]: Taking taylor expansion of 0 in z
2.389 * [taylor]: Taking taylor expansion of (+ (/ y z) 1) in z
2.389 * [taylor]: Taking taylor expansion of (/ y z) in z
2.389 * [taylor]: Taking taylor expansion of y in z
2.389 * [taylor]: Taking taylor expansion of z in z
2.389 * [taylor]: Taking taylor expansion of 1 in z
2.389 * [taylor]: Taking taylor expansion of y in y
2.389 * [taylor]: Taking taylor expansion of 0 in y
2.390 * [taylor]: Taking taylor expansion of 0 in z
2.391 * [taylor]: Taking taylor expansion of 1 in y
2.391 * [taylor]: Taking taylor expansion of 0 in y
2.392 * [taylor]: Taking taylor expansion of 0 in z
2.392 * [taylor]: Taking taylor expansion of 0 in y
2.393 * [taylor]: Taking taylor expansion of 0 in y
2.393 * [taylor]: Taking taylor expansion of 0 in y
2.393 * [approximate]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in (x z y) around 0
2.393 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
2.393 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.393 * [taylor]: Taking taylor expansion of z in y
2.393 * [taylor]: Taking taylor expansion of (* x y) in y
2.393 * [taylor]: Taking taylor expansion of x in y
2.393 * [taylor]: Taking taylor expansion of y in y
2.394 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.394 * [taylor]: Taking taylor expansion of x in y
2.394 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
2.394 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.394 * [taylor]: Taking taylor expansion of z in z
2.394 * [taylor]: Taking taylor expansion of (* x y) in z
2.394 * [taylor]: Taking taylor expansion of x in z
2.394 * [taylor]: Taking taylor expansion of y in z
2.394 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.394 * [taylor]: Taking taylor expansion of x in z
2.394 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
2.394 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.394 * [taylor]: Taking taylor expansion of z in x
2.394 * [taylor]: Taking taylor expansion of (* x y) in x
2.394 * [taylor]: Taking taylor expansion of x in x
2.394 * [taylor]: Taking taylor expansion of y in x
2.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.395 * [taylor]: Taking taylor expansion of x in x
2.395 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
2.395 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.395 * [taylor]: Taking taylor expansion of z in x
2.395 * [taylor]: Taking taylor expansion of (* x y) in x
2.395 * [taylor]: Taking taylor expansion of x in x
2.395 * [taylor]: Taking taylor expansion of y in x
2.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.395 * [taylor]: Taking taylor expansion of x in x
2.396 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in z
2.396 * [taylor]: Taking taylor expansion of (/ z y) in z
2.396 * [taylor]: Taking taylor expansion of z in z
2.396 * [taylor]: Taking taylor expansion of y in z
2.396 * [taylor]: Taking taylor expansion of 1 in z
2.396 * [taylor]: Taking taylor expansion of 1 in y
2.397 * [taylor]: Taking taylor expansion of 0 in z
2.397 * [taylor]: Taking taylor expansion of 0 in y
2.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.397 * [taylor]: Taking taylor expansion of y in y
2.399 * [taylor]: Taking taylor expansion of 0 in z
2.399 * [taylor]: Taking taylor expansion of 0 in y
2.399 * [taylor]: Taking taylor expansion of 0 in y
2.400 * [taylor]: Taking taylor expansion of 0 in y
2.402 * [taylor]: Taking taylor expansion of 0 in z
2.402 * [taylor]: Taking taylor expansion of 0 in y
2.402 * [taylor]: Taking taylor expansion of 0 in y
2.402 * [taylor]: Taking taylor expansion of 0 in y
2.403 * [taylor]: Taking taylor expansion of 0 in y
2.403 * [approximate]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in (x z y) around 0
2.403 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in y
2.403 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
2.403 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.403 * [taylor]: Taking taylor expansion of z in y
2.403 * [taylor]: Taking taylor expansion of (* x y) in y
2.403 * [taylor]: Taking taylor expansion of x in y
2.403 * [taylor]: Taking taylor expansion of y in y
2.403 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.403 * [taylor]: Taking taylor expansion of x in y
2.404 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in z
2.404 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
2.404 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.404 * [taylor]: Taking taylor expansion of z in z
2.404 * [taylor]: Taking taylor expansion of (* x y) in z
2.404 * [taylor]: Taking taylor expansion of x in z
2.404 * [taylor]: Taking taylor expansion of y in z
2.404 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.404 * [taylor]: Taking taylor expansion of x in z
2.404 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in x
2.404 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
2.404 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.404 * [taylor]: Taking taylor expansion of z in x
2.404 * [taylor]: Taking taylor expansion of (* x y) in x
2.404 * [taylor]: Taking taylor expansion of x in x
2.404 * [taylor]: Taking taylor expansion of y in x
2.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.404 * [taylor]: Taking taylor expansion of x in x
2.404 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in x
2.404 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
2.404 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.405 * [taylor]: Taking taylor expansion of z in x
2.405 * [taylor]: Taking taylor expansion of (* x y) in x
2.405 * [taylor]: Taking taylor expansion of x in x
2.405 * [taylor]: Taking taylor expansion of y in x
2.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.405 * [taylor]: Taking taylor expansion of x in x
2.405 * [taylor]: Taking taylor expansion of (- (+ (/ z y) 1)) in z
2.405 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in z
2.405 * [taylor]: Taking taylor expansion of (/ z y) in z
2.405 * [taylor]: Taking taylor expansion of z in z
2.405 * [taylor]: Taking taylor expansion of y in z
2.405 * [taylor]: Taking taylor expansion of 1 in z
2.406 * [taylor]: Taking taylor expansion of -1 in y
2.407 * [taylor]: Taking taylor expansion of 0 in z
2.408 * [taylor]: Taking taylor expansion of 0 in y
2.408 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
2.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.408 * [taylor]: Taking taylor expansion of y in y
2.410 * [taylor]: Taking taylor expansion of 0 in z
2.410 * [taylor]: Taking taylor expansion of 0 in y
2.410 * [taylor]: Taking taylor expansion of 0 in y
2.411 * [taylor]: Taking taylor expansion of 0 in y
2.413 * [taylor]: Taking taylor expansion of 0 in z
2.413 * [taylor]: Taking taylor expansion of 0 in y
2.413 * [taylor]: Taking taylor expansion of 0 in y
2.414 * [taylor]: Taking taylor expansion of 0 in y
2.414 * [taylor]: Taking taylor expansion of 0 in y
2.414 * * * [progress]: simplifying candidates
2.416 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  (- (log x) (- (log z) (log y)))
  (- (log x) (log (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (/ (* (* x x) x) (/ (* (* z z) z) (* (* y y) y)))
  (/ (* (* x x) x) (* (* (/ z y) (/ z y)) (/ z 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)))
  (- x)
  (- (/ z y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ z y)))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) 1))
  (/ (cbrt x) (/ (sqrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ z (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt y)))
  (/ (cbrt x) (/ z (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 1))
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) z)
  (/ (cbrt x) (/ 1 y))
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (cbrt z) (cbrt y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt x) (/ (cbrt z) (sqrt y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (sqrt x) (/ (cbrt z) y))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (cbrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) 1))
  (/ (sqrt x) (/ (sqrt z) y))
  (/ (sqrt x) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ z (cbrt y)))
  (/ (sqrt x) (/ 1 (sqrt y)))
  (/ (sqrt x) (/ z (sqrt y)))
  (/ (sqrt x) (/ 1 1))
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) 1)
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) z)
  (/ (sqrt x) (/ 1 y))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (cbrt z) (cbrt y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (/ (cbrt z) (sqrt y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (cbrt z) y))
  (/ 1 (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (cbrt y)))
  (/ 1 (/ (sqrt z) (sqrt y)))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ 1 (/ (sqrt z) 1))
  (/ x (/ (sqrt z) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ x (/ z (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ x (/ z (sqrt y)))
  (/ 1 (/ 1 1))
  (/ x (/ z y))
  (/ 1 1)
  (/ x (/ z y))
  (/ 1 z)
  (/ x (/ 1 y))
  (/ 1 (/ z y))
  (/ (/ z y) x)
  (/ x (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (sqrt (/ z y)))
  (/ x (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ x (/ (sqrt z) 1))
  (/ x (/ 1 (* (cbrt y) (cbrt y))))
  (/ x (/ 1 (sqrt y)))
  (/ x (/ 1 1))
  (/ x 1)
  (/ x z)
  (/ (/ z y) (cbrt x))
  (/ (/ z y) (sqrt x))
  (/ (/ z y) x)
  (/ x z)
  (expm1 (+ (/ x (/ z y)) x))
  (log1p (+ (/ x (/ z y)) x))
  (* (exp (/ x (/ z y))) (exp x))
  (log (+ (/ x (/ z y)) x))
  (exp (+ (/ x (/ z y)) x))
  (* (cbrt (+ (/ x (/ z y)) x)) (cbrt (+ (/ x (/ z y)) x)))
  (cbrt (+ (/ x (/ z y)) x))
  (* (* (+ (/ x (/ z y)) x) (+ (/ x (/ z y)) x)) (+ (/ x (/ z y)) x))
  (sqrt (+ (/ x (/ z y)) x))
  (sqrt (+ (/ x (/ z y)) x))
  (+ (pow (/ x (/ z y)) 3) (pow x 3))
  (+ (* (/ x (/ z y)) (/ x (/ z y))) (- (* x x) (* (/ x (/ z y)) x)))
  (- (* (/ x (/ z y)) (/ x (/ z y))) (* x x))
  (- (/ x (/ z y)) x)
  (+ (/ x (/ z y)) x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
2.420 * * [simplify]: iteration  0 :  174  enodes  (cost  1081 )
2.465 * * [simplify]: iteration  1 :  388  enodes  (cost  996 )
2.544 * * [simplify]: iteration  2 :  1141  enodes  (cost  940 )
3.364 * * [simplify]: iteration  3 :  4303  enodes  (cost  934 )
4.343 * * [simplify]: iteration  done :  5000  enodes  (cost  934 )
4.344 * [simplify]: Simplified to:
   (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y))))
  (cbrt (/ x (/ z y)))
  (pow (/ (* x y) z) 3)
  (sqrt (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (- x)
  (- (/ z y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ z y)))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ (cbrt x) (/ (sqrt z) y))
  (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))
  (/ (cbrt x) (/ z (cbrt y)))
  (* (* (cbrt x) (cbrt x)) (sqrt y))
  (/ (cbrt x) (/ z (sqrt y)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) z)
  (* (cbrt x) y)
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (* (sqrt x) (/ (sqrt y) (cbrt z)))
  (/ (sqrt x) (* (cbrt z) (cbrt z)))
  (/ (sqrt x) (/ (cbrt z) y))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (cbrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (/ (sqrt z) y))
  (* (sqrt x) (* (cbrt y) (cbrt y)))
  (/ (sqrt x) (/ z (cbrt y)))
  (* (sqrt x) (sqrt y))
  (/ (sqrt x) (/ z (sqrt y)))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) z)
  (* (sqrt x) y)
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ x (/ (cbrt z) (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ x (/ (cbrt z) (sqrt y)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ x (/ (cbrt z) y))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ x (/ (sqrt z) (cbrt y)))
  (/ (sqrt y) (sqrt z))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ 1 (sqrt z))
  (/ x (/ (sqrt z) y))
  (* (cbrt y) (cbrt y))
  (/ x (/ z (cbrt y)))
  (sqrt y)
  (/ x (/ z (sqrt y)))
  1
  (* x (/ y z))
  1
  (* x (/ y z))
  (/ 1 z)
  (* x y)
  (/ y z)
  (/ (/ z y) x)
  (/ x (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (sqrt (/ z y)))
  (/ x (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (* (cbrt z) (cbrt z)))
  (/ x (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ x (sqrt z))
  (* x (* (cbrt y) (cbrt y)))
  (* x (sqrt y))
  x
  x
  (/ x z)
  (/ (/ z y) (cbrt x))
  (/ (/ z y) (sqrt x))
  (/ (/ z y) x)
  (/ x z)
  (expm1 (fma (/ x z) y x))
  (log1p (fma (/ x z) y x))
  (exp (fma (/ x z) y x))
  (log (fma (/ x z) y x))
  (exp (fma (/ x z) y x))
  (* (cbrt (fma (/ x z) y x)) (cbrt (fma (/ x z) y x)))
  (cbrt (fma (/ x z) y x))
  (pow (fma (/ x z) y x) 3)
  (sqrt (fma (/ x z) y x))
  (sqrt (fma (/ x z) y x))
  (+ (pow (/ x (/ z y)) 3) (pow x 3))
  (fma x x (* (/ (* x y) z) (- (/ x (/ z y)) x)))
  (* (- (/ x (/ z y)) x) (fma (/ x z) y x))
  (- (/ x (/ z y)) x)
  (fma (/ x z) y x)
  (* x (/ y z))
  (* x (/ y z))
  (* x (/ y z))
  (fma (/ x z) y x)
  (fma (/ x z) y x)
  (fma (/ x z) y x)
4.345 * * * [progress]: adding candidates to table
4.688 * * [progress]: iteration 4 / 4
4.688 * * * [progress]: picking best candidate
4.693 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))) x))>
4.693 * * * [progress]: localizing error
4.702 * * * [progress]: generating rewritten candidates
4.702 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.727 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
4.734 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
4.734 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
4.754 * * * [progress]: generating series expansions
4.754 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.755 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
4.755 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.755 * [taylor]: Taking taylor expansion of (* x y) in y
4.755 * [taylor]: Taking taylor expansion of x in y
4.755 * [taylor]: Taking taylor expansion of y in y
4.755 * [taylor]: Taking taylor expansion of z in y
4.755 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.755 * [taylor]: Taking taylor expansion of (* x y) in z
4.755 * [taylor]: Taking taylor expansion of x in z
4.755 * [taylor]: Taking taylor expansion of y in z
4.755 * [taylor]: Taking taylor expansion of z in z
4.755 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.756 * [taylor]: Taking taylor expansion of (* x y) in x
4.756 * [taylor]: Taking taylor expansion of x in x
4.756 * [taylor]: Taking taylor expansion of y in x
4.756 * [taylor]: Taking taylor expansion of z in x
4.756 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.756 * [taylor]: Taking taylor expansion of (* x y) in x
4.756 * [taylor]: Taking taylor expansion of x in x
4.756 * [taylor]: Taking taylor expansion of y in x
4.756 * [taylor]: Taking taylor expansion of z in x
4.756 * [taylor]: Taking taylor expansion of (/ y z) in z
4.756 * [taylor]: Taking taylor expansion of y in z
4.756 * [taylor]: Taking taylor expansion of z in z
4.757 * [taylor]: Taking taylor expansion of y in y
4.757 * [taylor]: Taking taylor expansion of 0 in z
4.758 * [taylor]: Taking taylor expansion of 0 in y
4.759 * [taylor]: Taking taylor expansion of 0 in z
4.759 * [taylor]: Taking taylor expansion of 0 in y
4.760 * [taylor]: Taking taylor expansion of 0 in y
4.760 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
4.760 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.760 * [taylor]: Taking taylor expansion of z in y
4.760 * [taylor]: Taking taylor expansion of (* x y) in y
4.760 * [taylor]: Taking taylor expansion of x in y
4.760 * [taylor]: Taking taylor expansion of y in y
4.761 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.761 * [taylor]: Taking taylor expansion of z in z
4.761 * [taylor]: Taking taylor expansion of (* x y) in z
4.761 * [taylor]: Taking taylor expansion of x in z
4.761 * [taylor]: Taking taylor expansion of y in z
4.761 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.761 * [taylor]: Taking taylor expansion of z in x
4.761 * [taylor]: Taking taylor expansion of (* x y) in x
4.761 * [taylor]: Taking taylor expansion of x in x
4.761 * [taylor]: Taking taylor expansion of y in x
4.761 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.761 * [taylor]: Taking taylor expansion of z in x
4.761 * [taylor]: Taking taylor expansion of (* x y) in x
4.761 * [taylor]: Taking taylor expansion of x in x
4.761 * [taylor]: Taking taylor expansion of y in x
4.762 * [taylor]: Taking taylor expansion of (/ z y) in z
4.762 * [taylor]: Taking taylor expansion of z in z
4.762 * [taylor]: Taking taylor expansion of y in z
4.762 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.762 * [taylor]: Taking taylor expansion of y in y
4.763 * [taylor]: Taking taylor expansion of 0 in z
4.763 * [taylor]: Taking taylor expansion of 0 in y
4.763 * [taylor]: Taking taylor expansion of 0 in y
4.764 * [taylor]: Taking taylor expansion of 0 in z
4.764 * [taylor]: Taking taylor expansion of 0 in y
4.764 * [taylor]: Taking taylor expansion of 0 in y
4.765 * [taylor]: Taking taylor expansion of 0 in y
4.766 * [taylor]: Taking taylor expansion of 0 in z
4.766 * [taylor]: Taking taylor expansion of 0 in y
4.766 * [taylor]: Taking taylor expansion of 0 in y
4.766 * [taylor]: Taking taylor expansion of 0 in y
4.766 * [taylor]: Taking taylor expansion of 0 in y
4.767 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in (x z y) around 0
4.767 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in y
4.767 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
4.767 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
4.767 * [taylor]: Taking taylor expansion of (cbrt -1) in y
4.767 * [taylor]: Taking taylor expansion of -1 in y
4.768 * [taylor]: Taking taylor expansion of z in y
4.768 * [taylor]: Taking taylor expansion of (* x y) in y
4.768 * [taylor]: Taking taylor expansion of x in y
4.768 * [taylor]: Taking taylor expansion of y in y
4.772 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in z
4.772 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z
4.772 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
4.772 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.772 * [taylor]: Taking taylor expansion of -1 in z
4.772 * [taylor]: Taking taylor expansion of z in z
4.772 * [taylor]: Taking taylor expansion of (* x y) in z
4.772 * [taylor]: Taking taylor expansion of x in z
4.773 * [taylor]: Taking taylor expansion of y in z
4.779 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in x
4.779 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x
4.779 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
4.779 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.779 * [taylor]: Taking taylor expansion of -1 in x
4.780 * [taylor]: Taking taylor expansion of z in x
4.780 * [taylor]: Taking taylor expansion of (* x y) in x
4.780 * [taylor]: Taking taylor expansion of x in x
4.780 * [taylor]: Taking taylor expansion of y in x
4.783 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in x
4.783 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x
4.783 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
4.783 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.783 * [taylor]: Taking taylor expansion of -1 in x
4.784 * [taylor]: Taking taylor expansion of z in x
4.784 * [taylor]: Taking taylor expansion of (* x y) in x
4.784 * [taylor]: Taking taylor expansion of x in x
4.784 * [taylor]: Taking taylor expansion of y in x
4.787 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
4.787 * [taylor]: Taking taylor expansion of -1 in z
4.787 * [taylor]: Taking taylor expansion of (/ z y) in z
4.787 * [taylor]: Taking taylor expansion of z in z
4.787 * [taylor]: Taking taylor expansion of y in z
4.787 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.787 * [taylor]: Taking taylor expansion of -1 in y
4.787 * [taylor]: Taking taylor expansion of y in y
4.790 * [taylor]: Taking taylor expansion of 0 in z
4.790 * [taylor]: Taking taylor expansion of 0 in y
4.790 * [taylor]: Taking taylor expansion of 0 in y
4.795 * [taylor]: Taking taylor expansion of 0 in z
4.795 * [taylor]: Taking taylor expansion of 0 in y
4.795 * [taylor]: Taking taylor expansion of 0 in y
4.802 * [taylor]: Taking taylor expansion of 0 in y
4.807 * [taylor]: Taking taylor expansion of 0 in z
4.807 * [taylor]: Taking taylor expansion of 0 in y
4.807 * [taylor]: Taking taylor expansion of 0 in y
4.807 * [taylor]: Taking taylor expansion of 0 in y
4.808 * [taylor]: Taking taylor expansion of 0 in y
4.809 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
4.809 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ z y)) in (z y x) around 0
4.809 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ z y)) in x
4.809 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.809 * [taylor]: Taking taylor expansion of 1/3 in x
4.809 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.809 * [taylor]: Taking taylor expansion of x in x
4.810 * [taylor]: Taking taylor expansion of (/ z y) in x
4.810 * [taylor]: Taking taylor expansion of z in x
4.810 * [taylor]: Taking taylor expansion of y in x
4.810 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ z y)) in y
4.810 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
4.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
4.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
4.810 * [taylor]: Taking taylor expansion of 1/3 in y
4.810 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
4.810 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.810 * [taylor]: Taking taylor expansion of x in y
4.810 * [taylor]: Taking taylor expansion of (/ z y) in y
4.810 * [taylor]: Taking taylor expansion of z in y
4.810 * [taylor]: Taking taylor expansion of y in y
4.810 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ z y)) in z
4.810 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z
4.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z
4.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z
4.810 * [taylor]: Taking taylor expansion of 1/3 in z
4.810 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z
4.810 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.810 * [taylor]: Taking taylor expansion of x in z
4.810 * [taylor]: Taking taylor expansion of (/ z y) in z
4.810 * [taylor]: Taking taylor expansion of z in z
4.810 * [taylor]: Taking taylor expansion of y in z
4.810 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ z y)) in z
4.810 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z
4.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z
4.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z
4.811 * [taylor]: Taking taylor expansion of 1/3 in z
4.811 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z
4.811 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.811 * [taylor]: Taking taylor expansion of x in z
4.811 * [taylor]: Taking taylor expansion of (/ z y) in z
4.811 * [taylor]: Taking taylor expansion of z in z
4.811 * [taylor]: Taking taylor expansion of y in z
4.811 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 y)) in y
4.811 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y
4.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y
4.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y
4.811 * [taylor]: Taking taylor expansion of 1/3 in y
4.811 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
4.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.811 * [taylor]: Taking taylor expansion of x in y
4.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.812 * [taylor]: Taking taylor expansion of y in y
4.812 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.812 * [taylor]: Taking taylor expansion of 1/3 in x
4.812 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.812 * [taylor]: Taking taylor expansion of x in x
4.815 * [taylor]: Taking taylor expansion of 0 in y
4.817 * [taylor]: Taking taylor expansion of 0 in x
4.822 * [taylor]: Taking taylor expansion of 0 in y
4.822 * [taylor]: Taking taylor expansion of 0 in x
4.826 * [taylor]: Taking taylor expansion of 0 in x
4.830 * [approximate]: Taking taylor expansion of (* (pow x 1/3) (/ y z)) in (z y x) around 0
4.830 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (/ y z)) in x
4.830 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.830 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.830 * [taylor]: Taking taylor expansion of 1/3 in x
4.830 * [taylor]: Taking taylor expansion of (log x) in x
4.830 * [taylor]: Taking taylor expansion of x in x
4.830 * [taylor]: Taking taylor expansion of (/ y z) in x
4.830 * [taylor]: Taking taylor expansion of y in x
4.830 * [taylor]: Taking taylor expansion of z in x
4.830 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (/ y z)) in y
4.830 * [taylor]: Taking taylor expansion of (pow x 1/3) in y
4.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y
4.830 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y
4.831 * [taylor]: Taking taylor expansion of 1/3 in y
4.831 * [taylor]: Taking taylor expansion of (log x) in y
4.831 * [taylor]: Taking taylor expansion of x in y
4.831 * [taylor]: Taking taylor expansion of (/ y z) in y
4.831 * [taylor]: Taking taylor expansion of y in y
4.831 * [taylor]: Taking taylor expansion of z in y
4.831 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (/ y z)) in z
4.831 * [taylor]: Taking taylor expansion of (pow x 1/3) in z
4.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in z
4.831 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in z
4.831 * [taylor]: Taking taylor expansion of 1/3 in z
4.831 * [taylor]: Taking taylor expansion of (log x) in z
4.831 * [taylor]: Taking taylor expansion of x in z
4.831 * [taylor]: Taking taylor expansion of (/ y z) in z
4.831 * [taylor]: Taking taylor expansion of y in z
4.831 * [taylor]: Taking taylor expansion of z in z
4.831 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (/ y z)) in z
4.831 * [taylor]: Taking taylor expansion of (pow x 1/3) in z
4.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in z
4.831 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in z
4.831 * [taylor]: Taking taylor expansion of 1/3 in z
4.831 * [taylor]: Taking taylor expansion of (log x) in z
4.831 * [taylor]: Taking taylor expansion of x in z
4.831 * [taylor]: Taking taylor expansion of (/ y z) in z
4.831 * [taylor]: Taking taylor expansion of y in z
4.831 * [taylor]: Taking taylor expansion of z in z
4.831 * [taylor]: Taking taylor expansion of (* (pow x 1/3) y) in y
4.831 * [taylor]: Taking taylor expansion of (pow x 1/3) in y
4.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y
4.831 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y
4.831 * [taylor]: Taking taylor expansion of 1/3 in y
4.831 * [taylor]: Taking taylor expansion of (log x) in y
4.831 * [taylor]: Taking taylor expansion of x in y
4.832 * [taylor]: Taking taylor expansion of y in y
4.833 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.833 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.833 * [taylor]: Taking taylor expansion of 1/3 in x
4.833 * [taylor]: Taking taylor expansion of (log x) in x
4.833 * [taylor]: Taking taylor expansion of x in x
4.836 * [taylor]: Taking taylor expansion of 0 in y
4.836 * [taylor]: Taking taylor expansion of 0 in x
4.839 * [taylor]: Taking taylor expansion of 0 in x
4.844 * [taylor]: Taking taylor expansion of 0 in y
4.844 * [taylor]: Taking taylor expansion of 0 in x
4.844 * [taylor]: Taking taylor expansion of 0 in x
4.848 * [taylor]: Taking taylor expansion of 0 in x
4.849 * [approximate]: Taking taylor expansion of (* (/ y (* (cbrt -1) z)) (pow x 1/3)) in (z y x) around 0
4.849 * [taylor]: Taking taylor expansion of (* (/ y (* (cbrt -1) z)) (pow x 1/3)) in x
4.849 * [taylor]: Taking taylor expansion of (/ y (* (cbrt -1) z)) in x
4.849 * [taylor]: Taking taylor expansion of y in x
4.849 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in x
4.849 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.849 * [taylor]: Taking taylor expansion of -1 in x
4.850 * [taylor]: Taking taylor expansion of z in x
4.850 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.850 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.850 * [taylor]: Taking taylor expansion of 1/3 in x
4.850 * [taylor]: Taking taylor expansion of (log x) in x
4.850 * [taylor]: Taking taylor expansion of x in x
4.851 * [taylor]: Taking taylor expansion of (* (/ y (* (cbrt -1) z)) (pow x 1/3)) in y
4.851 * [taylor]: Taking taylor expansion of (/ y (* (cbrt -1) z)) in y
4.851 * [taylor]: Taking taylor expansion of y in y
4.851 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in y
4.851 * [taylor]: Taking taylor expansion of (cbrt -1) in y
4.851 * [taylor]: Taking taylor expansion of -1 in y
4.852 * [taylor]: Taking taylor expansion of z in y
4.853 * [taylor]: Taking taylor expansion of (pow x 1/3) in y
4.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y
4.853 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y
4.853 * [taylor]: Taking taylor expansion of 1/3 in y
4.853 * [taylor]: Taking taylor expansion of (log x) in y
4.853 * [taylor]: Taking taylor expansion of x in y
4.853 * [taylor]: Taking taylor expansion of (* (/ y (* (cbrt -1) z)) (pow x 1/3)) in z
4.853 * [taylor]: Taking taylor expansion of (/ y (* (cbrt -1) z)) in z
4.853 * [taylor]: Taking taylor expansion of y in z
4.853 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in z
4.853 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.853 * [taylor]: Taking taylor expansion of -1 in z
4.854 * [taylor]: Taking taylor expansion of z in z
4.855 * [taylor]: Taking taylor expansion of (pow x 1/3) in z
4.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in z
4.856 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in z
4.856 * [taylor]: Taking taylor expansion of 1/3 in z
4.856 * [taylor]: Taking taylor expansion of (log x) in z
4.856 * [taylor]: Taking taylor expansion of x in z
4.856 * [taylor]: Taking taylor expansion of (* (/ y (* (cbrt -1) z)) (pow x 1/3)) in z
4.856 * [taylor]: Taking taylor expansion of (/ y (* (cbrt -1) z)) in z
4.856 * [taylor]: Taking taylor expansion of y in z
4.856 * [taylor]: Taking taylor expansion of (* (cbrt -1) z) in z
4.856 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.856 * [taylor]: Taking taylor expansion of -1 in z
4.857 * [taylor]: Taking taylor expansion of z in z
4.859 * [taylor]: Taking taylor expansion of (pow x 1/3) in z
4.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in z
4.859 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in z
4.859 * [taylor]: Taking taylor expansion of 1/3 in z
4.859 * [taylor]: Taking taylor expansion of (log x) in z
4.859 * [taylor]: Taking taylor expansion of x in z
4.859 * [taylor]: Taking taylor expansion of (* (/ y (cbrt -1)) (pow x 1/3)) in y
4.859 * [taylor]: Taking taylor expansion of (/ y (cbrt -1)) in y
4.860 * [taylor]: Taking taylor expansion of y in y
4.860 * [taylor]: Taking taylor expansion of (cbrt -1) in y
4.860 * [taylor]: Taking taylor expansion of -1 in y
4.861 * [taylor]: Taking taylor expansion of (pow x 1/3) in y
4.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y
4.861 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y
4.861 * [taylor]: Taking taylor expansion of 1/3 in y
4.861 * [taylor]: Taking taylor expansion of (log x) in y
4.861 * [taylor]: Taking taylor expansion of x in y
4.862 * [taylor]: Taking taylor expansion of (* (/ 1 (cbrt -1)) (pow x 1/3)) in x
4.862 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in x
4.862 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.862 * [taylor]: Taking taylor expansion of -1 in x
4.864 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.864 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.864 * [taylor]: Taking taylor expansion of 1/3 in x
4.864 * [taylor]: Taking taylor expansion of (log x) in x
4.864 * [taylor]: Taking taylor expansion of x in x
4.870 * [taylor]: Taking taylor expansion of 0 in y
4.870 * [taylor]: Taking taylor expansion of 0 in x
4.872 * [taylor]: Taking taylor expansion of 0 in x
4.881 * [taylor]: Taking taylor expansion of 0 in y
4.881 * [taylor]: Taking taylor expansion of 0 in x
4.881 * [taylor]: Taking taylor expansion of 0 in x
4.886 * [taylor]: Taking taylor expansion of 0 in x
4.887 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
4.887 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.887 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.887 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.887 * [taylor]: Taking taylor expansion of 1/3 in x
4.887 * [taylor]: Taking taylor expansion of (log x) in x
4.887 * [taylor]: Taking taylor expansion of x in x
4.888 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.888 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.888 * [taylor]: Taking taylor expansion of 1/3 in x
4.888 * [taylor]: Taking taylor expansion of (log x) in x
4.888 * [taylor]: Taking taylor expansion of x in x
4.945 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
4.945 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.945 * [taylor]: Taking taylor expansion of 1/3 in x
4.945 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.945 * [taylor]: Taking taylor expansion of x in x
4.946 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.946 * [taylor]: Taking taylor expansion of 1/3 in x
4.946 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.946 * [taylor]: Taking taylor expansion of x in x
5.006 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
5.006 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.006 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.006 * [taylor]: Taking taylor expansion of -1 in x
5.007 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.007 * [taylor]: Taking taylor expansion of 1/3 in x
5.007 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.007 * [taylor]: Taking taylor expansion of x in x
5.008 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.008 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.008 * [taylor]: Taking taylor expansion of -1 in x
5.009 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.009 * [taylor]: Taking taylor expansion of 1/3 in x
5.009 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.009 * [taylor]: Taking taylor expansion of x in x
5.082 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
5.082 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
5.083 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.083 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.083 * [taylor]: Taking taylor expansion of 1/3 in x
5.083 * [taylor]: Taking taylor expansion of (log x) in x
5.083 * [taylor]: Taking taylor expansion of x in x
5.083 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.083 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.083 * [taylor]: Taking taylor expansion of 1/3 in x
5.083 * [taylor]: Taking taylor expansion of (log x) in x
5.083 * [taylor]: Taking taylor expansion of x in x
5.133 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
5.133 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.133 * [taylor]: Taking taylor expansion of 1/3 in x
5.133 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.133 * [taylor]: Taking taylor expansion of x in x
5.134 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.134 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.134 * [taylor]: Taking taylor expansion of 1/3 in x
5.134 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.134 * [taylor]: Taking taylor expansion of x in x
5.194 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
5.194 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.194 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.195 * [taylor]: Taking taylor expansion of -1 in x
5.195 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.195 * [taylor]: Taking taylor expansion of 1/3 in x
5.195 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.195 * [taylor]: Taking taylor expansion of x in x
5.196 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.196 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.196 * [taylor]: Taking taylor expansion of -1 in x
5.197 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.197 * [taylor]: Taking taylor expansion of 1/3 in x
5.197 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.197 * [taylor]: Taking taylor expansion of x in x
5.269 * * * [progress]: simplifying candidates
5.274 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))))
  (log1p (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))))
  (- (+ (log (cbrt x)) (log (cbrt x))) (- (- (log z) (log y)) (log (cbrt x))))
  (- (+ (log (cbrt x)) (log (cbrt x))) (- (log (/ z y)) (log (cbrt x))))
  (- (+ (log (cbrt x)) (log (cbrt x))) (log (/ (/ z y) (cbrt x))))
  (- (log (* (cbrt x) (cbrt x))) (- (- (log z) (log y)) (log (cbrt x))))
  (- (log (* (cbrt x) (cbrt x))) (- (log (/ z y)) (log (cbrt x))))
  (- (log (* (cbrt x) (cbrt x))) (log (/ (/ z y) (cbrt x))))
  (log (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))))
  (exp (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))))
  (/ (* x x) (/ (/ (* (* z z) z) (* (* y y) y)) x))
  (/ (* x x) (/ (* (* (/ z y) (/ z y)) (/ z y)) x))
  (/ (* x x) (* (* (/ (/ z y) (cbrt x)) (/ (/ z y) (cbrt x))) (/ (/ z y) (cbrt x))))
  (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (* (* z z) z) (* (* y y) y)) x))
  (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (* (* (/ z y) (/ z y)) (/ z y)) x))
  (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (/ (/ z y) (cbrt x)) (/ (/ z y) (cbrt x))) (/ (/ z y) (cbrt x))))
  (* (cbrt (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x)))) (cbrt (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x)))))
  (cbrt (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))))
  (* (* (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))) (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x)))) (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))))
  (sqrt (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))))
  (sqrt (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))))
  (- (* (cbrt x) (cbrt x)))
  (- (/ (/ z y) (cbrt x)))
  (/ (cbrt x) (* (cbrt (/ (/ z y) (cbrt x))) (cbrt (/ (/ z y) (cbrt x)))))
  (/ (cbrt x) (cbrt (/ (/ z y) (cbrt x))))
  (/ (cbrt x) (sqrt (/ (/ z y) (cbrt x))))
  (/ (cbrt x) (sqrt (/ (/ z y) (cbrt x))))
  (/ (cbrt x) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (cbrt (/ z y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (cbrt (/ z y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt 1)))
  (/ (cbrt x) (/ (cbrt (/ z y)) (cbrt x)))
  (/ (cbrt x) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (cbrt (/ z y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (cbrt (/ z y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1))
  (/ (cbrt x) (/ (cbrt (/ z y)) (cbrt x)))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt 1)))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt x)))
  (/ (cbrt x) (/ (sqrt (/ z y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (sqrt (/ z y)) 1))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt x)))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ (cbrt z) (cbrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (cbrt z) (cbrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt 1)))
  (/ (cbrt x) (/ (/ (cbrt z) (cbrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (cbrt z) (cbrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (cbrt z) (cbrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt x) (/ (/ (cbrt z) (cbrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ (cbrt z) (sqrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (cbrt z) (sqrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt 1)))
  (/ (cbrt x) (/ (/ (cbrt z) (sqrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (cbrt z) (sqrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (cbrt z) (sqrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1))
  (/ (cbrt x) (/ (/ (cbrt z) (sqrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) 1) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ (cbrt z) y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) 1) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (cbrt z) y) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) 1) (cbrt 1)))
  (/ (cbrt x) (/ (/ (cbrt z) y) (cbrt x)))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (cbrt z) y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (cbrt z) y) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ (cbrt x) (/ (/ (cbrt z) y) (cbrt x)))
  (/ (cbrt x) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ (sqrt z) (cbrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (cbrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt 1)))
  (/ (cbrt x) (/ (/ (sqrt z) (cbrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (sqrt z) (cbrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (cbrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt x) (/ (/ (sqrt z) (cbrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt 1)))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) 1))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ (sqrt z) 1) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ (sqrt z) y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) 1) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) y) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) 1) (cbrt 1)))
  (/ (cbrt x) (/ (/ (sqrt z) y) (cbrt x)))
  (/ (cbrt x) (/ (/ (sqrt z) 1) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (sqrt z) y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) 1) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) y) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) 1) 1))
  (/ (cbrt x) (/ (/ (sqrt z) y) (cbrt x)))
  (/ (cbrt x) (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ z (cbrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ z (cbrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt 1)))
  (/ (cbrt x) (/ (/ z (cbrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ z (cbrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ z (cbrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt x) (/ (/ z (cbrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ 1 (sqrt y)) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ z (sqrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ 1 (sqrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ z (sqrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ 1 (sqrt y)) (cbrt 1)))
  (/ (cbrt x) (/ (/ z (sqrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ 1 (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ z (sqrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ 1 (sqrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ z (sqrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ 1 (sqrt y)) 1))
  (/ (cbrt x) (/ (/ z (sqrt y)) (cbrt x)))
  (/ (cbrt x) (/ (/ 1 1) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ z y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ 1 1) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ z y) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ 1 1) (cbrt 1)))
  (/ (cbrt x) (/ (/ z y) (cbrt x)))
  (/ (cbrt x) (/ (/ 1 1) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ z y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ 1 1) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ z y) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ 1 1) 1))
  (/ (cbrt x) (/ (/ z y) (cbrt x)))
  (/ (cbrt x) (/ 1 (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ z y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ 1 (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ z y) (cbrt (sqrt x))))
  (/ (cbrt x) (/ 1 (cbrt 1)))
  (/ (cbrt x) (/ (/ z y) (cbrt x)))
  (/ (cbrt x) (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ z y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ 1 (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ z y) (sqrt (cbrt x))))
  (/ (cbrt x) (/ 1 1))
  (/ (cbrt x) (/ (/ z y) (cbrt x)))
  (/ (cbrt x) (/ z (cbrt (* (cbrt x) (cbrt x)))))
  (/ (cbrt x) (/ (/ 1 y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ z (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ 1 y) (cbrt (sqrt x))))
  (/ (cbrt x) (/ z (cbrt 1)))
  (/ (cbrt x) (/ (/ 1 y) (cbrt x)))
  (/ (cbrt x) (/ z (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ 1 y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ z (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ 1 y) (sqrt (cbrt x))))
  (/ (cbrt x) (/ z 1))
  (/ (cbrt x) (/ (/ 1 y) (cbrt x)))
  (/ (cbrt x) 1)
  (/ (cbrt x) (/ (/ z y) (cbrt x)))
  (/ (cbrt x) (/ z y))
  (/ (cbrt x) (/ 1 (cbrt x)))
  (/ 1 (/ (/ z y) (cbrt x)))
  (/ (/ (/ z y) (cbrt x)) (* (cbrt x) (cbrt x)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ (/ z y) (cbrt x))) (cbrt (/ (/ z y) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ (/ z y) (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt (/ z y)) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt (/ z y)) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt (/ z y)) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt (/ z y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt (/ z y)) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt (/ z y)) 1))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) 1) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) 1) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) 1) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (sqrt y)) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (sqrt y)) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (sqrt y)) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (sqrt y)) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) (sqrt y)) 1))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) 1) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) 1) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) 1) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) 1) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) 1) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ (sqrt z) 1) 1))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (sqrt y)) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (sqrt y)) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (sqrt y)) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (sqrt y)) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 (sqrt y)) 1))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 1) (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 1) (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 1) (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 1) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 1) (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ (/ 1 1) 1))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ 1 1))
  (/ (* (cbrt x) (cbrt x)) (/ z (cbrt (* (cbrt x) (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ z (cbrt (sqrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ z (cbrt 1)))
  (/ (* (cbrt x) (cbrt x)) (/ z (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (cbrt x) (cbrt x)) (/ z (sqrt (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (/ z 1))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (* (cbrt x) (cbrt x)) (/ z y))
  (/ (/ (/ z y) (cbrt x)) (cbrt x))
  (/ (* (cbrt x) (cbrt x)) (/ z y))
  (expm1 (/ (/ z y) (cbrt x)))
  (log1p (/ (/ z y) (cbrt x)))
  (- (- (log z) (log y)) (log (cbrt x)))
  (- (log (/ z y)) (log (cbrt x)))
  (log (/ (/ z y) (cbrt x)))
  (exp (/ (/ z y) (cbrt x)))
  (/ (/ (* (* z z) z) (* (* y y) y)) x)
  (/ (* (* (/ z y) (/ z y)) (/ z y)) x)
  (* (cbrt (/ (/ z y) (cbrt x))) (cbrt (/ (/ z y) (cbrt x))))
  (cbrt (/ (/ z y) (cbrt x)))
  (* (* (/ (/ z y) (cbrt x)) (/ (/ z y) (cbrt x))) (/ (/ z y) (cbrt x)))
  (sqrt (/ (/ z y) (cbrt x)))
  (sqrt (/ (/ z y) (cbrt x)))
  (- (/ z y))
  (- (cbrt x))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (* (cbrt x) (cbrt x))))
  (/ (cbrt (/ z y)) (cbrt (cbrt x)))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (sqrt x)))
  (/ (cbrt (/ z y)) (cbrt (sqrt x)))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt 1))
  (/ (cbrt (/ z y)) (cbrt x))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (cbrt (/ z y)) (cbrt (cbrt x)))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt (cbrt x)))
  (/ (cbrt (/ z y)) (sqrt (cbrt x)))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1)
  (/ (cbrt (/ z y)) (cbrt x))
  (/ (sqrt (/ z y)) (cbrt (* (cbrt x) (cbrt x))))
  (/ (sqrt (/ z y)) (cbrt (cbrt x)))
  (/ (sqrt (/ z y)) (cbrt (sqrt x)))
  (/ (sqrt (/ z y)) (cbrt (sqrt x)))
  (/ (sqrt (/ z y)) (cbrt 1))
  (/ (sqrt (/ z y)) (cbrt x))
  (/ (sqrt (/ z y)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (sqrt (/ z y)) (cbrt (cbrt x)))
  (/ (sqrt (/ z y)) (sqrt (cbrt x)))
  (/ (sqrt (/ z y)) (sqrt (cbrt x)))
  (/ (sqrt (/ z y)) 1)
  (/ (sqrt (/ z y)) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ (cbrt z) (cbrt y)) (cbrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (sqrt x)))
  (/ (/ (cbrt z) (cbrt y)) (cbrt (sqrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt 1))
  (/ (/ (cbrt z) (cbrt y)) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (cbrt z) (cbrt y)) (cbrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt (cbrt x)))
  (/ (/ (cbrt z) (cbrt y)) (sqrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (cbrt z) (cbrt y)) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ (cbrt z) (sqrt y)) (cbrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt (sqrt x)))
  (/ (/ (cbrt z) (sqrt y)) (cbrt (sqrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt 1))
  (/ (/ (cbrt z) (sqrt y)) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (cbrt z) (sqrt y)) (cbrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt (cbrt x)))
  (/ (/ (cbrt z) (sqrt y)) (sqrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1)
  (/ (/ (cbrt z) (sqrt y)) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) 1) (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ (cbrt z) y) (cbrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) 1) (cbrt (sqrt x)))
  (/ (/ (cbrt z) y) (cbrt (sqrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) 1) (cbrt 1))
  (/ (/ (cbrt z) y) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (cbrt z) y) (cbrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt (cbrt x)))
  (/ (/ (cbrt z) y) (sqrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) 1) 1)
  (/ (/ (cbrt z) y) (cbrt x))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ (sqrt z) (cbrt y)) (cbrt (cbrt x)))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt (sqrt x)))
  (/ (/ (sqrt z) (cbrt y)) (cbrt (sqrt x)))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt 1))
  (/ (/ (sqrt z) (cbrt y)) (cbrt x))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (sqrt z) (cbrt y)) (cbrt (cbrt x)))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt (cbrt x)))
  (/ (/ (sqrt z) (cbrt y)) (sqrt (cbrt x)))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (sqrt z) (cbrt y)) (cbrt x))
  (/ (/ (sqrt z) (sqrt y)) (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ (sqrt z) (sqrt y)) (cbrt (cbrt x)))
  (/ (/ (sqrt z) (sqrt y)) (cbrt (sqrt x)))
  (/ (/ (sqrt z) (sqrt y)) (cbrt (sqrt x)))
  (/ (/ (sqrt z) (sqrt y)) (cbrt 1))
  (/ (/ (sqrt z) (sqrt y)) (cbrt x))
  (/ (/ (sqrt z) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (sqrt z) (sqrt y)) (cbrt (cbrt x)))
  (/ (/ (sqrt z) (sqrt y)) (sqrt (cbrt x)))
  (/ (/ (sqrt z) (sqrt y)) (sqrt (cbrt x)))
  (/ (/ (sqrt z) (sqrt y)) 1)
  (/ (/ (sqrt z) (sqrt y)) (cbrt x))
  (/ (/ (sqrt z) 1) (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ (sqrt z) y) (cbrt (cbrt x)))
  (/ (/ (sqrt z) 1) (cbrt (sqrt x)))
  (/ (/ (sqrt z) y) (cbrt (sqrt x)))
  (/ (/ (sqrt z) 1) (cbrt 1))
  (/ (/ (sqrt z) y) (cbrt x))
  (/ (/ (sqrt z) 1) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (sqrt z) y) (cbrt (cbrt x)))
  (/ (/ (sqrt z) 1) (sqrt (cbrt x)))
  (/ (/ (sqrt z) y) (sqrt (cbrt x)))
  (/ (/ (sqrt z) 1) 1)
  (/ (/ (sqrt z) y) (cbrt x))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ z (cbrt y)) (cbrt (cbrt x)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt (sqrt x)))
  (/ (/ z (cbrt y)) (cbrt (sqrt x)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt 1))
  (/ (/ z (cbrt y)) (cbrt x))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ z (cbrt y)) (cbrt (cbrt x)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (cbrt x)))
  (/ (/ z (cbrt y)) (sqrt (cbrt x)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) 1)
  (/ (/ z (cbrt y)) (cbrt x))
  (/ (/ 1 (sqrt y)) (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ z (sqrt y)) (cbrt (cbrt x)))
  (/ (/ 1 (sqrt y)) (cbrt (sqrt x)))
  (/ (/ z (sqrt y)) (cbrt (sqrt x)))
  (/ (/ 1 (sqrt y)) (cbrt 1))
  (/ (/ z (sqrt y)) (cbrt x))
  (/ (/ 1 (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ z (sqrt y)) (cbrt (cbrt x)))
  (/ (/ 1 (sqrt y)) (sqrt (cbrt x)))
  (/ (/ z (sqrt y)) (sqrt (cbrt x)))
  (/ (/ 1 (sqrt y)) 1)
  (/ (/ z (sqrt y)) (cbrt x))
  (/ (/ 1 1) (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ z y) (cbrt (cbrt x)))
  (/ (/ 1 1) (cbrt (sqrt x)))
  (/ (/ z y) (cbrt (sqrt x)))
  (/ (/ 1 1) (cbrt 1))
  (/ (/ z y) (cbrt x))
  (/ (/ 1 1) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ z y) (cbrt (cbrt x)))
  (/ (/ 1 1) (sqrt (cbrt x)))
  (/ (/ z y) (sqrt (cbrt x)))
  (/ (/ 1 1) 1)
  (/ (/ z y) (cbrt x))
  (/ 1 (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ z y) (cbrt (cbrt x)))
  (/ 1 (cbrt (sqrt x)))
  (/ (/ z y) (cbrt (sqrt x)))
  (/ 1 (cbrt 1))
  (/ (/ z y) (cbrt x))
  (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ z y) (cbrt (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ (/ z y) (sqrt (cbrt x)))
  (/ 1 1)
  (/ (/ z y) (cbrt x))
  (/ z (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ 1 y) (cbrt (cbrt x)))
  (/ z (cbrt (sqrt x)))
  (/ (/ 1 y) (cbrt (sqrt x)))
  (/ z (cbrt 1))
  (/ (/ 1 y) (cbrt x))
  (/ z (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ 1 y) (cbrt (cbrt x)))
  (/ z (sqrt (cbrt x)))
  (/ (/ 1 y) (sqrt (cbrt x)))
  (/ z 1)
  (/ (/ 1 y) (cbrt x))
  (/ 1 (cbrt x))
  (/ (cbrt x) (/ z y))
  (/ (/ z y) (cbrt (* (cbrt x) (cbrt x))))
  (/ (/ z y) (cbrt (sqrt x)))
  (/ (/ z y) (cbrt 1))
  (/ (/ z y) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ z y) (sqrt (cbrt x)))
  (/ (/ z y) 1)
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) y))
  (/ (cbrt x) (/ z (cbrt y)))
  (/ (cbrt x) (/ z (sqrt y)))
  (/ (cbrt x) (/ z y))
  (/ (cbrt x) (/ z y))
  (/ (cbrt x) (/ 1 y))
  (* (cbrt x) y)
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (* (pow (/ 1 x) 1/3) (/ z y))
  (* (pow (/ 1 x) 1/3) (/ z y))
  (* (pow (/ -1 x) 1/3) (/ z (* (cbrt -1) y)))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
5.298 * * [simplify]: iteration  0 :  470  enodes  (cost  5587 )
5.562 * * [simplify]: iteration  1 :  1191  enodes  (cost  5182 )
6.130 * * [simplify]: iteration  2 :  4689  enodes  (cost  4610 )
7.000 * * [simplify]: iteration  done :  5000  enodes  (cost  4610 )
7.002 * [simplify]: Simplified to:
   (expm1 (/ (pow (cbrt x) 3) (/ z y)))
  (log1p (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (exp (/ (pow (cbrt x) 3) (/ z y)))
  (* (/ (* x x) (pow (/ z y) 3)) x)
  (* (/ (* x x) (pow (/ z y) 3)) x)
  (* (/ x (pow (/ (/ z y) (cbrt x)) 3)) x)
  (/ (pow (pow x 2/3) 3) (/ (pow (/ z y) 3) x))
  (/ (pow (pow x 2/3) 3) (/ (pow (/ z y) 3) x))
  (pow (/ (pow (cbrt x) 3) (/ z y)) 3)
  (* (cbrt (/ (pow (cbrt x) 3) (/ z y))) (cbrt (/ (pow (cbrt x) 3) (/ z y))))
  (cbrt (/ (pow (cbrt x) 3) (/ z y)))
  (pow (/ (pow (cbrt x) 3) (/ z y)) 3)
  (sqrt (/ (pow (cbrt x) 3) (/ z y)))
  (sqrt (/ (pow (cbrt x) 3) (/ z y)))
  (- (pow x 2/3))
  (- (/ (/ z y) (cbrt x)))
  (/ (cbrt x) (* (cbrt (/ (/ z y) (cbrt x))) (cbrt (/ (/ z y) (cbrt x)))))
  (/ (cbrt x) (cbrt (/ (/ z y) (cbrt x))))
  (/ (cbrt x) (sqrt (/ (/ z y) (cbrt x))))
  (/ (cbrt x) (sqrt (/ (/ z y) (cbrt x))))
  (/ (* (cbrt (pow x 2/3)) (cbrt x)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt x) (/ (cbrt (/ z y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (cbrt (/ z y)) (cbrt (sqrt x))))
  (/ (cbrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow x 2/3) (cbrt (/ z y)))
  (/ (cbrt x) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (cbrt (/ z y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (cbrt (/ z y)) (sqrt (cbrt x))))
  (/ (cbrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow x 2/3) (cbrt (/ z y)))
  (* (cbrt (pow x 2/3)) (/ (cbrt x) (sqrt (/ z y))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt (sqrt x))))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (pow x 2/3) (sqrt (/ z y)))
  (/ (cbrt x) (/ (sqrt (/ z y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (sqrt (/ z y)) (sqrt (cbrt x))))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (pow x 2/3) (sqrt (/ z y)))
  (* (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (cbrt (pow x 2/3)))
  (/ (cbrt x) (/ (/ (cbrt z) (cbrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (cbrt z) (cbrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (pow x 2/3) (/ (cbrt z) (cbrt y)))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (cbrt z) (cbrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (cbrt z) (cbrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (pow x 2/3) (/ (cbrt z) (cbrt y)))
  (* (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (cbrt (pow x 2/3)))
  (/ (cbrt x) (/ (/ (cbrt z) (sqrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (cbrt z) (sqrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (pow x 2/3) (/ (cbrt z) (sqrt y)))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (cbrt z) (sqrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (cbrt z) (sqrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (pow x 2/3) (/ (cbrt z) (sqrt y)))
  (* (cbrt (pow x 2/3)) (/ (cbrt x) (* (cbrt z) (cbrt z))))
  (/ (cbrt x) (/ (/ (cbrt z) y) (cbrt (cbrt x))))
  (* (/ (cbrt x) (* (cbrt z) (cbrt z))) (cbrt (sqrt x)))
  (/ (cbrt x) (/ (/ (cbrt z) y) (cbrt (sqrt x))))
  (/ (cbrt x) (* (cbrt z) (cbrt z)))
  (/ (pow x 2/3) (/ (cbrt z) y))
  (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (cbrt z) y) (cbrt (cbrt x))))
  (* (/ (cbrt x) (* (cbrt z) (cbrt z))) (sqrt (cbrt x)))
  (/ (cbrt x) (/ (/ (cbrt z) y) (sqrt (cbrt x))))
  (/ (cbrt x) (* (cbrt z) (cbrt z)))
  (/ (pow x 2/3) (/ (cbrt z) y))
  (* (cbrt (pow x 2/3)) (/ (cbrt x) (/ (sqrt z) (* (cbrt y) (cbrt y)))))
  (/ (cbrt x) (/ (/ (sqrt z) (cbrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (cbrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (pow x 2/3) (/ (sqrt z) (cbrt y)))
  (/ (cbrt x) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (sqrt z) (cbrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (cbrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (pow x 2/3) (/ (sqrt z) (cbrt y)))
  (* (cbrt (pow x 2/3)) (/ (cbrt x) (/ (sqrt z) (sqrt y))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt (sqrt x))))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (pow x 2/3) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) (sqrt y)) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (pow x 2/3) (/ (sqrt z) (sqrt y)))
  (* (/ (cbrt x) (sqrt z)) (cbrt (pow x 2/3)))
  (/ (cbrt x) (/ (/ (sqrt z) y) (cbrt (cbrt x))))
  (* (/ (cbrt x) (sqrt z)) (cbrt (sqrt x)))
  (/ (cbrt x) (/ (/ (sqrt z) y) (cbrt (sqrt x))))
  (/ (cbrt x) (sqrt z))
  (/ (pow x 2/3) (/ (sqrt z) y))
  (/ (cbrt x) (/ (sqrt z) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (cbrt x) (/ (/ (sqrt z) y) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (sqrt z) (sqrt (cbrt x))))
  (/ (cbrt x) (/ (/ (sqrt z) y) (sqrt (cbrt x))))
  (/ (cbrt x) (sqrt z))
  (/ (pow x 2/3) (/ (sqrt z) y))
  (* (cbrt (pow x 2/3)) (* (cbrt x) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (/ z (cbrt y)) (cbrt (cbrt x))))
  (* (cbrt x) (* (cbrt (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (/ z (cbrt y)) (cbrt (sqrt x))))
  (* (cbrt x) (* (cbrt y) (cbrt y)))
  (/ (pow x 2/3) (/ z (cbrt y)))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt x) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (/ z (cbrt y)) (cbrt (cbrt x))))
  (* (sqrt (cbrt x)) (* (cbrt x) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (/ z (cbrt y)) (sqrt (cbrt x))))
  (* (cbrt x) (* (cbrt y) (cbrt y)))
  (/ (pow x 2/3) (/ z (cbrt y)))
  (* (cbrt (pow x 2/3)) (* (cbrt x) (sqrt y)))
  (/ (cbrt x) (/ (/ z (sqrt y)) (cbrt (cbrt x))))
  (* (cbrt (sqrt x)) (* (cbrt x) (sqrt y)))
  (/ (cbrt x) (/ (/ z (sqrt y)) (cbrt (sqrt x))))
  (* (cbrt x) (sqrt y))
  (/ (pow x 2/3) (/ z (sqrt y)))
  (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt y)))
  (/ (cbrt x) (/ (/ z (sqrt y)) (cbrt (cbrt x))))
  (* (cbrt x) (* (sqrt (cbrt x)) (sqrt y)))
  (/ (cbrt x) (/ (/ z (sqrt y)) (sqrt (cbrt x))))
  (* (cbrt x) (sqrt y))
  (/ (pow x 2/3) (/ z (sqrt y)))
  (* (cbrt (pow x 2/3)) (cbrt x))
  (/ (cbrt x) (/ (/ z y) (cbrt (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (/ (cbrt x) (/ (/ z y) (cbrt (sqrt x))))
  (cbrt x)
  (* (/ (pow x 2/3) z) y)
  (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ z y) (cbrt (cbrt x))))
  (* (cbrt x) (sqrt (cbrt x)))
  (/ (cbrt x) (/ (/ z y) (sqrt (cbrt x))))
  (cbrt x)
  (* (/ (pow x 2/3) z) y)
  (* (cbrt (pow x 2/3)) (cbrt x))
  (/ (cbrt x) (/ (/ z y) (cbrt (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (/ (cbrt x) (/ (/ z y) (cbrt (sqrt x))))
  (cbrt x)
  (* (/ (pow x 2/3) z) y)
  (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (cbrt x) (/ (/ z y) (cbrt (cbrt x))))
  (* (cbrt x) (sqrt (cbrt x)))
  (/ (cbrt x) (/ (/ z y) (sqrt (cbrt x))))
  (cbrt x)
  (* (/ (pow x 2/3) z) y)
  (/ (* (cbrt (pow x 2/3)) (cbrt x)) z)
  (* (* (cbrt x) y) (cbrt (cbrt x)))
  (/ (cbrt x) (/ z (cbrt (sqrt x))))
  (* (* (cbrt x) y) (cbrt (sqrt x)))
  (/ (cbrt x) z)
  (* y (pow x 2/3))
  (/ (cbrt x) (/ z (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (* (* (cbrt x) y) (cbrt (cbrt x)))
  (/ (cbrt x) (/ z (sqrt (cbrt x))))
  (* (* (cbrt x) y) (sqrt (cbrt x)))
  (/ (cbrt x) z)
  (* y (pow x 2/3))
  (cbrt x)
  (* (/ (pow x 2/3) z) y)
  (/ (cbrt x) (/ z y))
  (pow x 2/3)
  (/ (cbrt x) (/ z y))
  (/ (/ z y) (pow (cbrt x) 3))
  (/ (pow x 2/3) (* (cbrt (/ (/ z y) (cbrt x))) (cbrt (/ (/ z y) (cbrt x)))))
  (/ (pow x 2/3) (sqrt (/ (/ z y) (cbrt x))))
  (* (cbrt (pow x 2/3)) (/ (/ (pow x 2/3) (cbrt (/ z y))) (cbrt (/ z y))))
  (* (cbrt (sqrt x)) (/ (/ (pow x 2/3) (cbrt (/ z y))) (cbrt (/ z y))))
  (/ (/ (pow x 2/3) (cbrt (/ z y))) (cbrt (/ z y)))
  (/ (pow x 2/3) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (* (sqrt (cbrt x)) (/ (/ (pow x 2/3) (cbrt (/ z y))) (cbrt (/ z y))))
  (/ (/ (pow x 2/3) (cbrt (/ z y))) (cbrt (/ z y)))
  (* (/ (pow x 2/3) (sqrt (/ z y))) (cbrt (pow x 2/3)))
  (* (cbrt (sqrt x)) (/ (pow x 2/3) (sqrt (/ z y))))
  (/ (pow x 2/3) (sqrt (/ z y)))
  (/ (pow x 2/3) (/ (sqrt (/ z y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (* (sqrt (cbrt x)) (/ (pow x 2/3) (sqrt (/ z y))))
  (/ (pow x 2/3) (sqrt (/ z y)))
  (/ (pow x 2/3) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (pow x 2/3))))
  (/ (pow x 2/3) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (sqrt x))))
  (* (/ (pow x 2/3) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (* (/ (pow x 2/3) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (cbrt x)))) (cbrt (cbrt x)))
  (/ (* (pow x 2/3) (sqrt (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (* (/ (pow x 2/3) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (* (cbrt (pow x 2/3)) (* (/ (pow x 2/3) (* (cbrt z) (cbrt z))) (sqrt y)))
  (/ (* (pow x 2/3) (cbrt (sqrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (* (/ (pow x 2/3) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (pow x 2/3) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (* (* (/ (pow x 2/3) (* (cbrt z) (cbrt z))) (sqrt y)) (sqrt (cbrt x)))
  (* (/ (pow x 2/3) (* (cbrt z) (cbrt z))) (sqrt y))
  (* (cbrt (pow x 2/3)) (/ (pow x 2/3) (* (cbrt z) (cbrt z))))
  (/ (pow x 2/3) (/ (* (cbrt z) (cbrt z)) (cbrt (sqrt x))))
  (/ (pow x 2/3) (* (cbrt z) (cbrt z)))
  (/ (pow x 2/3) (/ (* (cbrt z) (cbrt z)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (pow x 2/3) (/ (* (cbrt z) (cbrt z)) (sqrt (cbrt x))))
  (/ (pow x 2/3) (* (cbrt z) (cbrt z)))
  (* (cbrt (pow x 2/3)) (/ (pow x 2/3) (/ (/ (sqrt z) (cbrt y)) (cbrt y))))
  (* (cbrt (sqrt x)) (/ (pow x 2/3) (/ (/ (sqrt z) (cbrt y)) (cbrt y))))
  (/ (pow x 2/3) (/ (/ (sqrt z) (cbrt y)) (cbrt y)))
  (* (/ (pow x 2/3) (/ (/ (sqrt z) (cbrt y)) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (* (pow x 2/3) (sqrt (cbrt x))) (/ (/ (sqrt z) (cbrt y)) (cbrt y)))
  (/ (pow x 2/3) (/ (/ (sqrt z) (cbrt y)) (cbrt y)))
  (* (cbrt (pow x 2/3)) (/ (pow x 2/3) (/ (sqrt z) (sqrt y))))
  (* (/ (pow x 2/3) (/ (sqrt z) (sqrt y))) (cbrt (sqrt x)))
  (/ (pow x 2/3) (/ (sqrt z) (sqrt y)))
  (/ (pow x 2/3) (/ (/ (sqrt z) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (/ (* (pow x 2/3) (sqrt (cbrt x))) (/ (sqrt z) (sqrt y)))
  (/ (pow x 2/3) (/ (sqrt z) (sqrt y)))
  (/ (* (pow x 2/3) (cbrt (pow x 2/3))) (sqrt z))
  (/ (pow x 2/3) (/ (sqrt z) (cbrt (sqrt x))))
  (/ (pow x 2/3) (sqrt z))
  (* (/ (pow x 2/3) (sqrt z)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (* (pow x 2/3) (sqrt (cbrt x))) (sqrt z))
  (/ (pow x 2/3) (sqrt z))
  (* (cbrt (pow x 2/3)) (* (pow x 2/3) (* (cbrt y) (cbrt y))))
  (* (* (pow x 2/3) (* (cbrt y) (cbrt y))) (cbrt (sqrt x)))
  (* (pow x 2/3) (* (cbrt y) (cbrt y)))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (pow x 2/3) (* (cbrt y) (cbrt y))))
  (* (pow x 2/3) (* (sqrt (cbrt x)) (* (cbrt y) (cbrt y))))
  (* (pow x 2/3) (* (cbrt y) (cbrt y)))
  (* (* (pow x 2/3) (sqrt y)) (cbrt (pow x 2/3)))
  (* (pow x 2/3) (* (cbrt (sqrt x)) (sqrt y)))
  (* (pow x 2/3) (sqrt y))
  (* (pow x 2/3) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt y)))
  (* (pow x 2/3) (* (sqrt (cbrt x)) (sqrt y)))
  (* (pow x 2/3) (sqrt y))
  (* (pow x 2/3) (cbrt (pow x 2/3)))
  (* (pow x 2/3) (cbrt (sqrt x)))
  (pow x 2/3)
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (pow x 2/3))
  (* (pow x 2/3) (sqrt (cbrt x)))
  (pow x 2/3)
  (* (pow x 2/3) (cbrt (pow x 2/3)))
  (* (pow x 2/3) (cbrt (sqrt x)))
  (pow x 2/3)
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (pow x 2/3))
  (* (pow x 2/3) (sqrt (cbrt x)))
  (pow x 2/3)
  (* (/ (pow x 2/3) z) (cbrt (pow x 2/3)))
  (* (cbrt (sqrt x)) (/ (pow x 2/3) z))
  (/ (pow x 2/3) z)
  (/ (pow x 2/3) (/ z (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (* (sqrt (cbrt x)) (/ (pow x 2/3) z))
  (/ (pow x 2/3) z)
  (pow x 2/3)
  (* (/ (pow x 2/3) z) y)
  (/ z (* y (pow x 2/3)))
  (* (/ (pow x 2/3) z) y)
  (expm1 (/ (/ z y) (cbrt x)))
  (log1p (/ (/ z y) (cbrt x)))
  (log (/ (/ z y) (cbrt x)))
  (log (/ (/ z y) (cbrt x)))
  (log (/ (/ z y) (cbrt x)))
  (exp (/ (/ z y) (cbrt x)))
  (/ (pow (/ z y) 3) x)
  (/ (pow (/ z y) 3) x)
  (* (cbrt (/ (/ z y) (cbrt x))) (cbrt (/ (/ z y) (cbrt x))))
  (cbrt (/ (/ z y) (cbrt x)))
  (pow (/ (/ z y) (cbrt x)) 3)
  (sqrt (/ (/ z y) (cbrt x)))
  (sqrt (/ (/ z y) (cbrt x)))
  (- (/ z y))
  (- (cbrt x))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (pow x 2/3)))
  (/ (cbrt (/ z y)) (cbrt (cbrt x)))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (sqrt x)))
  (/ (cbrt (/ z y)) (cbrt (sqrt x)))
  (* (cbrt (/ z y)) (cbrt (/ z y)))
  (/ (cbrt (/ z y)) (cbrt x))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (cbrt (/ z y)) (cbrt (cbrt x)))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt (cbrt x)))
  (/ (cbrt (/ z y)) (sqrt (cbrt x)))
  (* (cbrt (/ z y)) (cbrt (/ z y)))
  (/ (cbrt (/ z y)) (cbrt x))
  (/ (sqrt (/ z y)) (cbrt (pow x 2/3)))
  (/ (sqrt (/ z y)) (cbrt (cbrt x)))
  (/ (sqrt (/ z y)) (cbrt (sqrt x)))
  (/ (sqrt (/ z y)) (cbrt (sqrt x)))
  (sqrt (/ z y))
  (/ (sqrt (/ z y)) (cbrt x))
  (/ (sqrt (/ z y)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (sqrt (/ z y)) (cbrt (cbrt x)))
  (/ (sqrt (/ z y)) (sqrt (cbrt x)))
  (/ (sqrt (/ z y)) (sqrt (cbrt x)))
  (sqrt (/ z y))
  (/ (sqrt (/ z y)) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (pow x 2/3)))
  (/ (/ (cbrt z) (cbrt y)) (cbrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (cbrt (sqrt x)))
  (/ (/ (cbrt z) (cbrt y)) (cbrt (sqrt x)))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt z) (cbrt y)) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (cbrt z) (cbrt y)) (cbrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt (cbrt x)))
  (/ (/ (cbrt z) (cbrt y)) (sqrt (cbrt x)))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt z) (cbrt y)) (cbrt x))
  (/ (* (cbrt z) (cbrt z)) (* (sqrt y) (cbrt (pow x 2/3))))
  (/ (/ (cbrt z) (sqrt y)) (cbrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (cbrt (sqrt x)))
  (/ (/ (cbrt z) (sqrt y)) (cbrt (sqrt x)))
  (/ (* (cbrt z) (cbrt z)) (sqrt y))
  (/ (/ (cbrt z) (sqrt y)) (cbrt x))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (cbrt z) (sqrt y)) (cbrt (cbrt x)))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt (cbrt x)))
  (/ (/ (cbrt z) (sqrt y)) (sqrt (cbrt x)))
  (/ (* (cbrt z) (cbrt z)) (sqrt y))
  (/ (/ (cbrt z) (sqrt y)) (cbrt x))
  (/ (* (cbrt z) (cbrt z)) (cbrt (pow x 2/3)))
  (/ (/ (cbrt z) y) (cbrt (cbrt x)))
  (/ (* (cbrt z) (cbrt z)) (cbrt (sqrt x)))
  (/ (/ (cbrt z) y) (cbrt (sqrt x)))
  (* (cbrt z) (cbrt z))
  (/ (/ (cbrt z) y) (cbrt x))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (cbrt z) y) (cbrt (cbrt x)))
  (/ (* (cbrt z) (cbrt z)) (sqrt (cbrt x)))
  (/ (/ (cbrt z) y) (sqrt (cbrt x)))
  (* (cbrt z) (cbrt z))
  (/ (/ (cbrt z) y) (cbrt x))
  (/ (sqrt z) (* (* (cbrt (pow x 2/3)) (cbrt y)) (cbrt y)))
  (/ (/ (sqrt z) (cbrt y)) (cbrt (cbrt x)))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (cbrt (sqrt x)))
  (/ (/ (sqrt z) (cbrt y)) (cbrt (sqrt x)))
  (/ (/ (sqrt z) (cbrt y)) (cbrt y))
  (/ (/ (sqrt z) (cbrt y)) (cbrt x))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (sqrt z) (cbrt y)) (cbrt (cbrt x)))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt (cbrt x)))
  (/ (/ (sqrt z) (cbrt y)) (sqrt (cbrt x)))
  (/ (/ (sqrt z) (cbrt y)) (cbrt y))
  (/ (/ (sqrt z) (cbrt y)) (cbrt x))
  (/ (sqrt z) (* (sqrt y) (cbrt (pow x 2/3))))
  (/ (/ (sqrt z) (sqrt y)) (cbrt (cbrt x)))
  (/ (/ (sqrt z) (sqrt y)) (cbrt (sqrt x)))
  (/ (/ (sqrt z) (sqrt y)) (cbrt (sqrt x)))
  (/ (sqrt z) (sqrt y))
  (/ (/ (sqrt z) (sqrt y)) (cbrt x))
  (/ (/ (sqrt z) (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (sqrt z) (sqrt y)) (cbrt (cbrt x)))
  (/ (/ (sqrt z) (sqrt y)) (sqrt (cbrt x)))
  (/ (/ (sqrt z) (sqrt y)) (sqrt (cbrt x)))
  (/ (sqrt z) (sqrt y))
  (/ (/ (sqrt z) (sqrt y)) (cbrt x))
  (/ (sqrt z) (cbrt (pow x 2/3)))
  (/ (/ (sqrt z) y) (cbrt (cbrt x)))
  (/ (sqrt z) (cbrt (sqrt x)))
  (/ (/ (sqrt z) y) (cbrt (sqrt x)))
  (sqrt z)
  (/ (/ (sqrt z) y) (cbrt x))
  (/ (sqrt z) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ (sqrt z) y) (cbrt (cbrt x)))
  (/ (sqrt z) (sqrt (cbrt x)))
  (/ (/ (sqrt z) y) (sqrt (cbrt x)))
  (sqrt z)
  (/ (/ (sqrt z) y) (cbrt x))
  (/ 1 (* (* (cbrt (pow x 2/3)) (cbrt y)) (cbrt y)))
  (/ (/ z (cbrt y)) (cbrt (cbrt x)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (cbrt (sqrt x)))
  (/ (/ z (cbrt y)) (cbrt (sqrt x)))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ z (cbrt y)) (cbrt x))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ z (cbrt y)) (cbrt (cbrt x)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (cbrt x)))
  (/ (/ z (cbrt y)) (sqrt (cbrt x)))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ z (cbrt y)) (cbrt x))
  (/ (/ 1 (sqrt y)) (cbrt (pow x 2/3)))
  (/ (/ z (sqrt y)) (cbrt (cbrt x)))
  (/ (/ 1 (sqrt y)) (cbrt (sqrt x)))
  (/ (/ z (sqrt y)) (cbrt (sqrt x)))
  (/ 1 (sqrt y))
  (/ (/ z (sqrt y)) (cbrt x))
  (/ (/ 1 (sqrt y)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ z (sqrt y)) (cbrt (cbrt x)))
  (/ (/ 1 (sqrt y)) (sqrt (cbrt x)))
  (/ (/ z (sqrt y)) (sqrt (cbrt x)))
  (/ 1 (sqrt y))
  (/ (/ z (sqrt y)) (cbrt x))
  (/ 1 (cbrt (pow x 2/3)))
  (/ (/ z y) (cbrt (cbrt x)))
  (/ 1 (cbrt (sqrt x)))
  (/ (/ z y) (cbrt (sqrt x)))
  1
  (/ (/ z y) (cbrt x))
  (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ z y) (cbrt (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ (/ z y) (sqrt (cbrt x)))
  1
  (/ (/ z y) (cbrt x))
  (/ 1 (cbrt (pow x 2/3)))
  (/ (/ z y) (cbrt (cbrt x)))
  (/ 1 (cbrt (sqrt x)))
  (/ (/ z y) (cbrt (sqrt x)))
  1
  (/ (/ z y) (cbrt x))
  (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ z y) (cbrt (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ (/ z y) (sqrt (cbrt x)))
  1
  (/ (/ z y) (cbrt x))
  (/ z (cbrt (pow x 2/3)))
  (/ (/ 1 y) (cbrt (cbrt x)))
  (/ z (cbrt (sqrt x)))
  (/ (/ 1 y) (cbrt (sqrt x)))
  z
  (/ (/ 1 y) (cbrt x))
  (/ z (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ 1 y) (cbrt (cbrt x)))
  (/ z (sqrt (cbrt x)))
  (/ (/ 1 y) (sqrt (cbrt x)))
  z
  (/ (/ 1 y) (cbrt x))
  (/ 1 (cbrt x))
  (/ (cbrt x) (/ z y))
  (/ (/ z y) (cbrt (pow x 2/3)))
  (/ (/ z y) (cbrt (sqrt x)))
  (/ z y)
  (/ (/ z y) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (/ (/ z y) (sqrt (cbrt x)))
  (/ z y)
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) y))
  (/ (cbrt x) (/ z (cbrt y)))
  (/ (cbrt x) (/ z (sqrt y)))
  (/ (cbrt x) (/ z y))
  (/ (cbrt x) (/ z y))
  (* (cbrt x) y)
  (* (cbrt x) y)
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (* (/ z y) (cbrt (/ 1 x)))
  (* (/ z y) (cbrt (/ 1 x)))
  (* (/ z (* (cbrt -1) y)) (cbrt (/ -1 x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt (- x)) (cbrt -1))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt (- x)) (cbrt -1))
7.005 * * * [progress]: adding candidates to table
7.937 * [progress]: [Phase 3 of 3] Extracting.
7.937 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (fma (/ x 1) (/ y z) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (fma (/ x z) y x))> #<alt (λ (x y z) (+ (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))) x))> #<alt (λ (x y z) (fma (/ 1 z) (/ x (/ 1 y)) x))>)
7.938 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
7.938 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (fma (/ x 1) (/ y z) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (fma (/ x z) y x))> #<alt (λ (x y z) (+ (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))) x))> #<alt (λ (x y z) (fma (/ 1 z) (/ x (/ 1 y)) x))>)
7.971 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (fma (/ x 1) (/ y z) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (fma (/ x z) y x))> #<alt (λ (x y z) (+ (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))) x))> #<alt (λ (x y z) (fma (/ 1 z) (/ x (/ 1 y)) x))>)
7.996 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (fma (/ x 1) (/ y z) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (fma (/ x z) y x))> #<alt (λ (x y z) (+ (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))) x))> #<alt (λ (x y z) (fma (/ 1 z) (/ x (/ 1 y)) x))>)
8.029 * * * [regime]: Found split indices: #<option (#s(si 3 47) #s(si 0 255))>
8.029 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (fma (/ x 1) (/ y z) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (fma (/ x z) y x))> #<alt (λ (x y z) (+ (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))) x))> #<alt (λ (x y z) (fma (/ 1 z) (/ x (/ 1 y)) x))>)
8.056 * [regimes]: Found splitpoints: (#s(sp 3 y -9.080053955304944e+51) #s(sp 0 y +nan.0)) , with alts (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (fma (/ x 1) (/ y z) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (fma (/ x z) y x))> #<alt (λ (x y z) (+ (/ (* (cbrt x) (cbrt x)) (/ (/ z y) (cbrt x))) x))> #<alt (λ (x y z) (fma (/ 1 z) (/ x (/ 1 y)) x))>)
8.056 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= y -9.080053955304944e+51) (fma (/ x z) y x) (+ (/ x (/ z y)) x))
8.056 * * [simplify]: iteration  0 :  11  enodes  (cost  17 )
8.057 * * [simplify]: iteration  1 :  12  enodes  (cost  17 )
8.057 * * [simplify]: iteration  done :  12  enodes  (cost  17 )
8.057 * [simplify]: Simplified to:
   (if (<= y -9.080053955304944e+51) (fma (/ x z) y x) (+ (/ x (/ z y)) x))
8.612 * [regime-testing]: Baseline error score: 3.114213019101563
8.613 * [regime-testing]: Oracle error score: 0.006250781347668459
8.614 * [regime-testing]: End program error score: 2.2583725816754936
8.636 * [regime-testing]: Target error score: 3.1237873362037907