21.095 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (/ (* y y) z))
0.019 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.019 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.020 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
0.022 * * [simplify]: iteration  3 :  13  enodes  (cost  6 )
0.023 * * [simplify]: iteration  4 :  14  enodes  (cost  6 )
0.025 * * [simplify]: iteration  done :  14  enodes  (cost  6 )
0.025 * [simplify]: Simplified to:
   (fma (/ y z) y x)
0.027 * * [progress]: iteration 1 / 4
0.027 * * * [progress]: picking best candidate
0.033 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (/ y z) y x))>
0.033 * * * [progress]: localizing error
0.037 * * * [progress]: generating rewritten candidates
0.037 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.038 * * * [progress]: generating series expansions
0.038 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.038 * [approximate]: Taking taylor expansion of (fma (/ y z) y x) in (y z x) around 0
0.038 * [taylor]: Taking taylor expansion of (fma (/ y z) y x) in x
0.038 * [taylor]: Rewrote expression to (+ (* (/ y z) y) x)
0.038 * [taylor]: Taking taylor expansion of (* (/ y z) y) in x
0.038 * [taylor]: Taking taylor expansion of (/ y z) in x
0.038 * [taylor]: Taking taylor expansion of y in x
0.038 * [taylor]: Taking taylor expansion of z in x
0.038 * [taylor]: Taking taylor expansion of y in x
0.038 * [taylor]: Taking taylor expansion of x in x
0.038 * [taylor]: Taking taylor expansion of (fma (/ y z) y x) in z
0.038 * [taylor]: Rewrote expression to (+ (* (/ y z) y) x)
0.038 * [taylor]: Taking taylor expansion of (* (/ y z) y) in z
0.038 * [taylor]: Taking taylor expansion of (/ y z) in z
0.038 * [taylor]: Taking taylor expansion of y in z
0.038 * [taylor]: Taking taylor expansion of z in z
0.038 * [taylor]: Taking taylor expansion of y in z
0.038 * [taylor]: Taking taylor expansion of x in z
0.038 * [taylor]: Taking taylor expansion of (fma (/ y z) y x) in y
0.038 * [taylor]: Rewrote expression to (+ (* (/ y z) y) x)
0.039 * [taylor]: Taking taylor expansion of (* (/ y z) y) in y
0.039 * [taylor]: Taking taylor expansion of (/ y z) in y
0.039 * [taylor]: Taking taylor expansion of y in y
0.039 * [taylor]: Taking taylor expansion of z in y
0.039 * [taylor]: Taking taylor expansion of y in y
0.039 * [taylor]: Taking taylor expansion of x in y
0.039 * [taylor]: Taking taylor expansion of (fma (/ y z) y x) in y
0.039 * [taylor]: Rewrote expression to (+ (* (/ y z) y) x)
0.039 * [taylor]: Taking taylor expansion of (* (/ y z) y) in y
0.039 * [taylor]: Taking taylor expansion of (/ y z) in y
0.039 * [taylor]: Taking taylor expansion of y in y
0.039 * [taylor]: Taking taylor expansion of z in y
0.039 * [taylor]: Taking taylor expansion of y in y
0.039 * [taylor]: Taking taylor expansion of x in y
0.039 * [taylor]: Taking taylor expansion of x in z
0.039 * [taylor]: Taking taylor expansion of 0 in z
0.039 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.040 * [taylor]: Taking taylor expansion of z in z
0.040 * [taylor]: Taking taylor expansion of 1 in x
0.040 * [taylor]: Taking taylor expansion of 0 in x
0.040 * [taylor]: Taking taylor expansion of 0 in x
0.041 * [taylor]: Taking taylor expansion of 0 in z
0.042 * [taylor]: Taking taylor expansion of 0 in x
0.042 * [taylor]: Taking taylor expansion of 0 in x
0.042 * [taylor]: Taking taylor expansion of 0 in x
0.042 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 y) (/ 1 x)) in (y z x) around 0
0.042 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 y) (/ 1 x)) in x
0.042 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 y)) (/ 1 x))
0.042 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 y)) in x
0.042 * [taylor]: Taking taylor expansion of (/ z y) in x
0.042 * [taylor]: Taking taylor expansion of z in x
0.043 * [taylor]: Taking taylor expansion of y in x
0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.043 * [taylor]: Taking taylor expansion of y in x
0.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.043 * [taylor]: Taking taylor expansion of x in x
0.043 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 y) (/ 1 x)) in z
0.043 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 y)) (/ 1 x))
0.043 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 y)) in z
0.043 * [taylor]: Taking taylor expansion of (/ z y) in z
0.043 * [taylor]: Taking taylor expansion of z in z
0.043 * [taylor]: Taking taylor expansion of y in z
0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.043 * [taylor]: Taking taylor expansion of y in z
0.043 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.043 * [taylor]: Taking taylor expansion of x in z
0.043 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 y) (/ 1 x)) in y
0.043 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 y)) (/ 1 x))
0.043 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 y)) in y
0.043 * [taylor]: Taking taylor expansion of (/ z y) in y
0.043 * [taylor]: Taking taylor expansion of z in y
0.043 * [taylor]: Taking taylor expansion of y in y
0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.043 * [taylor]: Taking taylor expansion of y in y
0.044 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.044 * [taylor]: Taking taylor expansion of x in y
0.044 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 y) (/ 1 x)) in y
0.044 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 y)) (/ 1 x))
0.044 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 y)) in y
0.044 * [taylor]: Taking taylor expansion of (/ z y) in y
0.044 * [taylor]: Taking taylor expansion of z in y
0.044 * [taylor]: Taking taylor expansion of y in y
0.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.044 * [taylor]: Taking taylor expansion of y in y
0.044 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.044 * [taylor]: Taking taylor expansion of x in y
0.044 * [taylor]: Taking taylor expansion of z in z
0.044 * [taylor]: Taking taylor expansion of 0 in x
0.046 * [taylor]: Taking taylor expansion of 0 in z
0.046 * [taylor]: Taking taylor expansion of 0 in x
0.046 * [taylor]: Taking taylor expansion of 1 in x
0.048 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.048 * [taylor]: Taking taylor expansion of x in z
0.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of 0 in x
0.048 * [taylor]: Taking taylor expansion of 0 in x
0.050 * [taylor]: Taking taylor expansion of 0 in z
0.051 * [taylor]: Taking taylor expansion of 0 in x
0.051 * [taylor]: Taking taylor expansion of 0 in x
0.051 * [taylor]: Taking taylor expansion of 0 in x
0.051 * [taylor]: Taking taylor expansion of 0 in x
0.052 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 y) (/ -1 x)) in (y z x) around 0
0.052 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 y) (/ -1 x)) in x
0.052 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 y)) (/ -1 x))
0.052 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 y)) in x
0.052 * [taylor]: Taking taylor expansion of (/ z y) in x
0.052 * [taylor]: Taking taylor expansion of z in x
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.052 * [taylor]: Taking taylor expansion of -1 in x
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.052 * [taylor]: Taking taylor expansion of -1 in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 y) (/ -1 x)) in z
0.053 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 y)) (/ -1 x))
0.053 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 y)) in z
0.053 * [taylor]: Taking taylor expansion of (/ z y) in z
0.053 * [taylor]: Taking taylor expansion of z in z
0.053 * [taylor]: Taking taylor expansion of y in z
0.053 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.053 * [taylor]: Taking taylor expansion of -1 in z
0.053 * [taylor]: Taking taylor expansion of y in z
0.053 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.053 * [taylor]: Taking taylor expansion of -1 in z
0.053 * [taylor]: Taking taylor expansion of x in z
0.053 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 y) (/ -1 x)) in y
0.053 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 y)) (/ -1 x))
0.053 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 y)) in y
0.053 * [taylor]: Taking taylor expansion of (/ z y) in y
0.053 * [taylor]: Taking taylor expansion of z in y
0.053 * [taylor]: Taking taylor expansion of y in y
0.053 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.053 * [taylor]: Taking taylor expansion of -1 in y
0.053 * [taylor]: Taking taylor expansion of y in y
0.053 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.053 * [taylor]: Taking taylor expansion of -1 in y
0.053 * [taylor]: Taking taylor expansion of x in y
0.053 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 y) (/ -1 x)) in y
0.053 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 y)) (/ -1 x))
0.054 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 y)) in y
0.054 * [taylor]: Taking taylor expansion of (/ z y) in y
0.054 * [taylor]: Taking taylor expansion of z in y
0.054 * [taylor]: Taking taylor expansion of y in y
0.054 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.054 * [taylor]: Taking taylor expansion of -1 in y
0.054 * [taylor]: Taking taylor expansion of y in y
0.054 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.054 * [taylor]: Taking taylor expansion of -1 in y
0.054 * [taylor]: Taking taylor expansion of x in y
0.054 * [taylor]: Taking taylor expansion of (- z) in z
0.054 * [taylor]: Taking taylor expansion of z in z
0.054 * [taylor]: Taking taylor expansion of 0 in x
0.056 * [taylor]: Taking taylor expansion of 0 in z
0.056 * [taylor]: Taking taylor expansion of 0 in x
0.056 * [taylor]: Taking taylor expansion of -1 in x
0.058 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.058 * [taylor]: Taking taylor expansion of x in z
0.058 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.058 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of 0 in x
0.059 * [taylor]: Taking taylor expansion of 0 in x
0.061 * [taylor]: Taking taylor expansion of 0 in z
0.061 * [taylor]: Taking taylor expansion of 0 in x
0.062 * [taylor]: Taking taylor expansion of 0 in x
0.062 * [taylor]: Taking taylor expansion of 0 in x
0.062 * [taylor]: Taking taylor expansion of 0 in x
0.063 * * * [progress]: simplifying candidates
0.063 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (/ y z) y x))
  (log1p (fma (/ y z) y x))
  (* (/ y z) y)
  (log (fma (/ y z) y x))
  (exp (fma (/ y z) y x))
  (* (cbrt (fma (/ y z) y x)) (cbrt (fma (/ y z) y x)))
  (cbrt (fma (/ y z) y x))
  (* (* (fma (/ y z) y x) (fma (/ y z) y x)) (fma (/ y z) y x))
  (sqrt (fma (/ y z) y x))
  (sqrt (fma (/ y z) y x))
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
0.065 * * [simplify]: iteration  0 :  19  enodes  (cost  110 )
0.068 * * [simplify]: iteration  1 :  29  enodes  (cost  107 )
0.073 * * [simplify]: iteration  2 :  71  enodes  (cost  95 )
0.090 * * [simplify]: iteration  3 :  195  enodes  (cost  95 )
0.160 * * [simplify]: iteration  4 :  693  enodes  (cost  95 )
0.510 * * [simplify]: iteration  5 :  3689  enodes  (cost  95 )
2.293 * * [simplify]: iteration  done :  5001  enodes  (cost  95 )
2.293 * [simplify]: Simplified to:
   (expm1 (fma (/ y z) y x))
  (log1p (fma (/ y z) y x))
  (/ (pow y 2) z)
  (log (fma (/ y z) y x))
  (exp (fma (/ y z) y x))
  (* (cbrt (fma (/ y z) y x)) (cbrt (fma (/ y z) y x)))
  (cbrt (fma (/ y z) y x))
  (pow (fma (/ y z) y x) 3)
  (sqrt (fma (/ y z) y x))
  (sqrt (fma (/ y z) y x))
  (fma (/ y z) y x)
  (fma (/ y z) y x)
  (fma (/ y z) y x)
2.293 * * * [progress]: adding candidates to table
2.322 * * [progress]: iteration 2 / 4
2.322 * * * [progress]: picking best candidate
2.326 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (/ (pow y 2) z) x))>
2.326 * * * [progress]: localizing error
2.332 * * * [progress]: generating rewritten candidates
2.332 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.337 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.363 * * * [progress]: generating series expansions
2.363 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.363 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (y z) around 0
2.363 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
2.363 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.363 * [taylor]: Taking taylor expansion of y in z
2.363 * [taylor]: Taking taylor expansion of z in z
2.363 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
2.364 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.364 * [taylor]: Taking taylor expansion of y in y
2.364 * [taylor]: Taking taylor expansion of z in y
2.364 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
2.364 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.364 * [taylor]: Taking taylor expansion of y in y
2.364 * [taylor]: Taking taylor expansion of z in y
2.364 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.364 * [taylor]: Taking taylor expansion of z in z
2.365 * [taylor]: Taking taylor expansion of 0 in z
2.366 * [taylor]: Taking taylor expansion of 0 in z
2.367 * [taylor]: Taking taylor expansion of 0 in z
2.368 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (y z) around 0
2.368 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
2.368 * [taylor]: Taking taylor expansion of z in z
2.368 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.368 * [taylor]: Taking taylor expansion of y in z
2.368 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
2.368 * [taylor]: Taking taylor expansion of z in y
2.368 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.368 * [taylor]: Taking taylor expansion of y in y
2.369 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
2.369 * [taylor]: Taking taylor expansion of z in y
2.369 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.369 * [taylor]: Taking taylor expansion of y in y
2.369 * [taylor]: Taking taylor expansion of z in z
2.370 * [taylor]: Taking taylor expansion of 0 in z
2.371 * [taylor]: Taking taylor expansion of 0 in z
2.373 * [taylor]: Taking taylor expansion of 0 in z
2.373 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (y z) around 0
2.373 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z
2.373 * [taylor]: Taking taylor expansion of -1 in z
2.373 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
2.373 * [taylor]: Taking taylor expansion of z in z
2.373 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.373 * [taylor]: Taking taylor expansion of y in z
2.374 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
2.374 * [taylor]: Taking taylor expansion of -1 in y
2.374 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
2.374 * [taylor]: Taking taylor expansion of z in y
2.374 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.374 * [taylor]: Taking taylor expansion of y in y
2.374 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
2.374 * [taylor]: Taking taylor expansion of -1 in y
2.374 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
2.374 * [taylor]: Taking taylor expansion of z in y
2.374 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.374 * [taylor]: Taking taylor expansion of y in y
2.374 * [taylor]: Taking taylor expansion of (* -1 z) in z
2.374 * [taylor]: Taking taylor expansion of -1 in z
2.374 * [taylor]: Taking taylor expansion of z in z
2.376 * [taylor]: Taking taylor expansion of 0 in z
2.378 * [taylor]: Taking taylor expansion of 0 in z
2.381 * [taylor]: Taking taylor expansion of 0 in z
2.381 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.382 * [approximate]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in (y z x) around 0
2.382 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in x
2.382 * [taylor]: Taking taylor expansion of x in x
2.382 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in x
2.382 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.382 * [taylor]: Taking taylor expansion of y in x
2.382 * [taylor]: Taking taylor expansion of z in x
2.382 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in z
2.382 * [taylor]: Taking taylor expansion of x in z
2.382 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
2.382 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.382 * [taylor]: Taking taylor expansion of y in z
2.382 * [taylor]: Taking taylor expansion of z in z
2.382 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in y
2.382 * [taylor]: Taking taylor expansion of x in y
2.382 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
2.382 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.382 * [taylor]: Taking taylor expansion of y in y
2.382 * [taylor]: Taking taylor expansion of z in y
2.382 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in y
2.382 * [taylor]: Taking taylor expansion of x in y
2.382 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
2.382 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.382 * [taylor]: Taking taylor expansion of y in y
2.382 * [taylor]: Taking taylor expansion of z in y
2.383 * [taylor]: Taking taylor expansion of x in z
2.383 * [taylor]: Taking taylor expansion of 0 in z
2.383 * [taylor]: Taking taylor expansion of x in x
2.383 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.383 * [taylor]: Taking taylor expansion of z in z
2.383 * [taylor]: Taking taylor expansion of 1 in x
2.384 * [taylor]: Taking taylor expansion of 0 in x
2.384 * [taylor]: Taking taylor expansion of 0 in x
2.384 * [taylor]: Taking taylor expansion of 0 in z
2.385 * [taylor]: Taking taylor expansion of 0 in x
2.385 * [taylor]: Taking taylor expansion of 0 in x
2.385 * [taylor]: Taking taylor expansion of 0 in x
2.385 * [approximate]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in (y z x) around 0
2.385 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x
2.385 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x
2.385 * [taylor]: Taking taylor expansion of z in x
2.385 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.385 * [taylor]: Taking taylor expansion of y in x
2.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.386 * [taylor]: Taking taylor expansion of x in x
2.386 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z
2.386 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
2.386 * [taylor]: Taking taylor expansion of z in z
2.386 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.386 * [taylor]: Taking taylor expansion of y in z
2.386 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.386 * [taylor]: Taking taylor expansion of x in z
2.386 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
2.386 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
2.386 * [taylor]: Taking taylor expansion of z in y
2.386 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.386 * [taylor]: Taking taylor expansion of y in y
2.386 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.386 * [taylor]: Taking taylor expansion of x in y
2.387 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
2.387 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
2.387 * [taylor]: Taking taylor expansion of z in y
2.387 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.387 * [taylor]: Taking taylor expansion of y in y
2.387 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.387 * [taylor]: Taking taylor expansion of x in y
2.387 * [taylor]: Taking taylor expansion of z in z
2.387 * [taylor]: Taking taylor expansion of 0 in x
2.388 * [taylor]: Taking taylor expansion of 0 in z
2.388 * [taylor]: Taking taylor expansion of 0 in x
2.388 * [taylor]: Taking taylor expansion of 1 in x
2.390 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.390 * [taylor]: Taking taylor expansion of x in z
2.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.390 * [taylor]: Taking taylor expansion of x in x
2.390 * [taylor]: Taking taylor expansion of 0 in x
2.390 * [taylor]: Taking taylor expansion of 0 in x
2.395 * [taylor]: Taking taylor expansion of 0 in z
2.395 * [taylor]: Taking taylor expansion of 0 in x
2.395 * [taylor]: Taking taylor expansion of 0 in x
2.395 * [taylor]: Taking taylor expansion of 0 in x
2.395 * [taylor]: Taking taylor expansion of 0 in x
2.397 * [approximate]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in (y z x) around 0
2.397 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in x
2.397 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x
2.397 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x
2.397 * [taylor]: Taking taylor expansion of z in x
2.397 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.397 * [taylor]: Taking taylor expansion of y in x
2.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.397 * [taylor]: Taking taylor expansion of x in x
2.397 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in z
2.397 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z
2.397 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
2.397 * [taylor]: Taking taylor expansion of z in z
2.397 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.397 * [taylor]: Taking taylor expansion of y in z
2.397 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.397 * [taylor]: Taking taylor expansion of x in z
2.397 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in y
2.397 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
2.397 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
2.398 * [taylor]: Taking taylor expansion of z in y
2.398 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.398 * [taylor]: Taking taylor expansion of y in y
2.398 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.398 * [taylor]: Taking taylor expansion of x in y
2.398 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in y
2.398 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
2.398 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
2.398 * [taylor]: Taking taylor expansion of z in y
2.398 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.398 * [taylor]: Taking taylor expansion of y in y
2.398 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.398 * [taylor]: Taking taylor expansion of x in y
2.398 * [taylor]: Taking taylor expansion of (- z) in z
2.398 * [taylor]: Taking taylor expansion of z in z
2.399 * [taylor]: Taking taylor expansion of 0 in x
2.400 * [taylor]: Taking taylor expansion of 0 in z
2.400 * [taylor]: Taking taylor expansion of 0 in x
2.400 * [taylor]: Taking taylor expansion of -1 in x
2.402 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
2.402 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.402 * [taylor]: Taking taylor expansion of x in z
2.402 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.402 * [taylor]: Taking taylor expansion of x in x
2.402 * [taylor]: Taking taylor expansion of 0 in x
2.403 * [taylor]: Taking taylor expansion of 0 in x
2.405 * [taylor]: Taking taylor expansion of 0 in z
2.405 * [taylor]: Taking taylor expansion of 0 in x
2.405 * [taylor]: Taking taylor expansion of 0 in x
2.405 * [taylor]: Taking taylor expansion of 0 in x
2.405 * [taylor]: Taking taylor expansion of 0 in x
2.407 * * * [progress]: simplifying candidates
2.408 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (pow y 2) z))
  (log1p (/ (pow y 2) z))
  (- (* (log y) 2) (log z))
  (- (* (log y) 2) (log z))
  (- (log (pow y 2)) (log z))
  (log (/ (pow y 2) z))
  (exp (/ (pow y 2) z))
  (/ (* (* (pow y 2) (pow y 2)) (pow y 2)) (* (* z z) z))
  (* (cbrt (/ (pow y 2) z)) (cbrt (/ (pow y 2) z)))
  (cbrt (/ (pow y 2) z))
  (* (* (/ (pow y 2) z) (/ (pow y 2) z)) (/ (pow y 2) z))
  (sqrt (/ (pow y 2) z))
  (sqrt (/ (pow y 2) z))
  (- (pow y 2))
  (- z)
  (/ (pow (* (cbrt y) (cbrt y)) 2) (* (cbrt z) (cbrt z)))
  (/ (pow (cbrt y) 2) (cbrt z))
  (/ (pow (* (cbrt y) (cbrt y)) 2) (sqrt z))
  (/ (pow (cbrt y) 2) (sqrt z))
  (/ (pow (* (cbrt y) (cbrt y)) 2) 1)
  (/ (pow (cbrt y) 2) z)
  (/ (pow (sqrt y) 2) (* (cbrt z) (cbrt z)))
  (/ (pow (sqrt y) 2) (cbrt z))
  (/ (pow (sqrt y) 2) (sqrt z))
  (/ (pow (sqrt y) 2) (sqrt z))
  (/ (pow (sqrt y) 2) 1)
  (/ (pow (sqrt y) 2) z)
  (/ (pow 1 2) (* (cbrt z) (cbrt z)))
  (/ (pow y 2) (cbrt z))
  (/ (pow 1 2) (sqrt z))
  (/ (pow y 2) (sqrt z))
  (/ (pow 1 2) 1)
  (/ (pow y 2) z)
  (/ y (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ y (sqrt z))
  (/ y (sqrt z))
  (/ y 1)
  (/ y z)
  (/ (* (cbrt (pow y 2)) (cbrt (pow y 2))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (pow y 2)) (cbrt z))
  (/ (* (cbrt (pow y 2)) (cbrt (pow y 2))) (sqrt z))
  (/ (cbrt (pow y 2)) (sqrt z))
  (/ (* (cbrt (pow y 2)) (cbrt (pow y 2))) 1)
  (/ (cbrt (pow y 2)) z)
  (/ (sqrt (pow y 2)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (pow y 2)) (cbrt z))
  (/ (sqrt (pow y 2)) (sqrt z))
  (/ (sqrt (pow y 2)) (sqrt z))
  (/ (sqrt (pow y 2)) 1)
  (/ (sqrt (pow y 2)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (pow y 2) (cbrt z))
  (/ 1 (sqrt z))
  (/ (pow y 2) (sqrt z))
  (/ 1 1)
  (/ (pow y 2) z)
  (/ (pow y (/ 2 2)) (* (cbrt z) (cbrt z)))
  (/ (pow y (/ 2 2)) (cbrt z))
  (/ (pow y (/ 2 2)) (sqrt z))
  (/ (pow y (/ 2 2)) (sqrt z))
  (/ (pow y (/ 2 2)) 1)
  (/ (pow y (/ 2 2)) z)
  (/ 1 z)
  (/ z (pow y 2))
  (/ (pow y 2) (* (cbrt z) (cbrt z)))
  (/ (pow y 2) (sqrt z))
  (/ (pow y 2) 1)
  (/ z (pow (cbrt y) 2))
  (/ z (pow (sqrt y) 2))
  (/ z (pow y 2))
  (/ z y)
  (/ z (cbrt (pow y 2)))
  (/ z (sqrt (pow y 2)))
  (/ z (pow y 2))
  (/ z (pow y (/ 2 2)))
  (expm1 (+ (/ (pow y 2) z) x))
  (log1p (+ (/ (pow y 2) z) x))
  (* (exp (/ (pow y 2) z)) (exp x))
  (log (+ (/ (pow y 2) z) x))
  (exp (+ (/ (pow y 2) z) x))
  (* (cbrt (+ (/ (pow y 2) z) x)) (cbrt (+ (/ (pow y 2) z) x)))
  (cbrt (+ (/ (pow y 2) z) x))
  (* (* (+ (/ (pow y 2) z) x) (+ (/ (pow y 2) z) x)) (+ (/ (pow y 2) z) x))
  (sqrt (+ (/ (pow y 2) z) x))
  (sqrt (+ (/ (pow y 2) z) x))
  (+ (pow (/ (pow y 2) z) 3) (pow x 3))
  (+ (* (/ (pow y 2) z) (/ (pow y 2) z)) (- (* x x) (* (/ (pow y 2) z) x)))
  (- (* (/ (pow y 2) z) (/ (pow y 2) z)) (* x x))
  (- (/ (pow y 2) z) x)
  (+ (/ (pow y 2) z) x)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
2.410 * * [simplify]: iteration  0 :  117  enodes  (cost  730 )
2.430 * * [simplify]: iteration  1 :  228  enodes  (cost  668 )
2.482 * * [simplify]: iteration  2 :  735  enodes  (cost  585 )
2.830 * * [simplify]: iteration  3 :  3997  enodes  (cost  585 )
5.638 * * [simplify]: iteration  done :  5000  enodes  (cost  585 )
5.638 * [simplify]: Simplified to:
   (expm1 (/ (pow y 2) z))
  (log1p (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (exp (/ (pow y 2) z))
  (pow (/ (pow y 2) z) 3)
  (* (cbrt (/ (pow y 2) z)) (cbrt (/ (pow y 2) z)))
  (cbrt (/ (pow y 2) z))
  (pow (/ (pow y 2) z) 3)
  (sqrt (/ (pow y 2) z))
  (sqrt (/ (pow y 2) z))
  (- (pow y 2))
  (- z)
  (/ (pow (cbrt y) 4) (* (cbrt z) (cbrt z)))
  (/ (pow (cbrt y) 2) (cbrt z))
  (/ (pow (cbrt y) 4) (sqrt z))
  (/ (pow (cbrt y) 2) (sqrt z))
  (pow (cbrt y) 4)
  (/ (pow (cbrt y) 2) z)
  (/ y (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ y (sqrt z))
  (/ y (sqrt z))
  y
  (/ y z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (* y (/ y (cbrt z)))
  (/ 1 (sqrt z))
  (/ (pow y 2) (sqrt z))
  1
  (/ (pow y 2) z)
  (/ y (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ y (sqrt z))
  (/ y (sqrt z))
  y
  (/ y z)
  (/ (* (cbrt (pow y 2)) (cbrt (pow y 2))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (pow y 2)) (cbrt z))
  (/ (* (cbrt (pow y 2)) (cbrt (pow y 2))) (sqrt z))
  (/ (cbrt (pow y 2)) (sqrt z))
  (* (cbrt (pow y 2)) (cbrt (pow y 2)))
  (/ (cbrt (pow y 2)) z)
  (/ (fabs y) (* (cbrt z) (cbrt z)))
  (/ (fabs y) (cbrt z))
  (/ (fabs y) (sqrt z))
  (/ (fabs y) (sqrt z))
  (fabs y)
  (/ (fabs y) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (* y (/ y (cbrt z)))
  (/ 1 (sqrt z))
  (/ (pow y 2) (sqrt z))
  1
  (/ (pow y 2) z)
  (/ y (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ y (sqrt z))
  (/ y (sqrt z))
  y
  (/ y z)
  (/ 1 z)
  (/ z (pow y 2))
  (/ (pow y 2) (* (cbrt z) (cbrt z)))
  (/ (pow y 2) (sqrt z))
  (pow y 2)
  (/ z (pow (cbrt y) 2))
  (/ z y)
  (/ z (pow y 2))
  (/ z y)
  (/ z (cbrt (pow y 2)))
  (/ z (fabs y))
  (/ z (pow y 2))
  (/ z y)
  (expm1 (+ (/ (pow y 2) z) x))
  (log1p (+ (/ (pow y 2) z) x))
  (exp (+ (/ (pow y 2) z) x))
  (log (+ (/ (pow y 2) z) x))
  (exp (+ (/ (pow y 2) z) x))
  (* (cbrt (+ (/ (pow y 2) z) x)) (cbrt (+ (/ (pow y 2) z) x)))
  (cbrt (+ (/ (pow y 2) z) x))
  (pow (+ (/ (pow y 2) z) x) 3)
  (sqrt (+ (/ (pow y 2) z) x))
  (sqrt (+ (/ (pow y 2) z) x))
  (+ (pow (/ (pow y 2) z) 3) (pow x 3))
  (fma x (- x (/ (pow y 2) z)) (/ (pow y 4) (* z z)))
  (- (/ (pow y 4) (* z z)) (* x x))
  (- (/ (pow y 2) z) x)
  (+ (/ (pow y 2) z) x)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (+ (/ (pow y 2) z) x)
  (+ (/ (pow y 2) z) x)
  (+ (/ (pow y 2) z) x)
5.639 * * * [progress]: adding candidates to table
5.856 * * [progress]: iteration 3 / 4
5.856 * * * [progress]: picking best candidate
5.865 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (/ (pow y (/ 2 2)) (/ z y)) x))>
5.865 * * * [progress]: localizing error
5.875 * * * [progress]: generating rewritten candidates
5.875 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
5.884 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.965 * * * [progress]: generating series expansions
5.965 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
5.965 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (y z) around 0
5.966 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
5.966 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.966 * [taylor]: Taking taylor expansion of y in z
5.966 * [taylor]: Taking taylor expansion of z in z
5.966 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
5.966 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.966 * [taylor]: Taking taylor expansion of y in y
5.966 * [taylor]: Taking taylor expansion of z in y
5.966 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
5.966 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.966 * [taylor]: Taking taylor expansion of y in y
5.966 * [taylor]: Taking taylor expansion of z in y
5.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.966 * [taylor]: Taking taylor expansion of z in z
5.967 * [taylor]: Taking taylor expansion of 0 in z
5.968 * [taylor]: Taking taylor expansion of 0 in z
5.969 * [taylor]: Taking taylor expansion of 0 in z
5.970 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (y z) around 0
5.970 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
5.970 * [taylor]: Taking taylor expansion of z in z
5.970 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.970 * [taylor]: Taking taylor expansion of y in z
5.971 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
5.971 * [taylor]: Taking taylor expansion of z in y
5.971 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.971 * [taylor]: Taking taylor expansion of y in y
5.971 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
5.971 * [taylor]: Taking taylor expansion of z in y
5.971 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.971 * [taylor]: Taking taylor expansion of y in y
5.971 * [taylor]: Taking taylor expansion of z in z
5.972 * [taylor]: Taking taylor expansion of 0 in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.975 * [taylor]: Taking taylor expansion of 0 in z
5.976 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (y z) around 0
5.976 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z
5.976 * [taylor]: Taking taylor expansion of -1 in z
5.976 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
5.976 * [taylor]: Taking taylor expansion of z in z
5.976 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.976 * [taylor]: Taking taylor expansion of y in z
5.976 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
5.976 * [taylor]: Taking taylor expansion of -1 in y
5.976 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
5.976 * [taylor]: Taking taylor expansion of z in y
5.976 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.976 * [taylor]: Taking taylor expansion of y in y
5.976 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
5.976 * [taylor]: Taking taylor expansion of -1 in y
5.976 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
5.976 * [taylor]: Taking taylor expansion of z in y
5.977 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.977 * [taylor]: Taking taylor expansion of y in y
5.977 * [taylor]: Taking taylor expansion of (* -1 z) in z
5.977 * [taylor]: Taking taylor expansion of -1 in z
5.977 * [taylor]: Taking taylor expansion of z in z
5.978 * [taylor]: Taking taylor expansion of 0 in z
5.981 * [taylor]: Taking taylor expansion of 0 in z
5.984 * [taylor]: Taking taylor expansion of 0 in z
5.984 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.985 * [approximate]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in (y z x) around 0
5.985 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in x
5.985 * [taylor]: Taking taylor expansion of x in x
5.985 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in x
5.985 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.985 * [taylor]: Taking taylor expansion of y in x
5.985 * [taylor]: Taking taylor expansion of z in x
5.985 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in z
5.985 * [taylor]: Taking taylor expansion of x in z
5.985 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
5.985 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.985 * [taylor]: Taking taylor expansion of y in z
5.985 * [taylor]: Taking taylor expansion of z in z
5.985 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in y
5.985 * [taylor]: Taking taylor expansion of x in y
5.985 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
5.985 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.985 * [taylor]: Taking taylor expansion of y in y
5.985 * [taylor]: Taking taylor expansion of z in y
5.985 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in y
5.985 * [taylor]: Taking taylor expansion of x in y
5.985 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
5.985 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.985 * [taylor]: Taking taylor expansion of y in y
5.986 * [taylor]: Taking taylor expansion of z in y
5.986 * [taylor]: Taking taylor expansion of x in z
5.986 * [taylor]: Taking taylor expansion of 0 in z
5.986 * [taylor]: Taking taylor expansion of x in x
5.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.986 * [taylor]: Taking taylor expansion of z in z
5.986 * [taylor]: Taking taylor expansion of 1 in x
5.987 * [taylor]: Taking taylor expansion of 0 in x
5.987 * [taylor]: Taking taylor expansion of 0 in x
5.987 * [taylor]: Taking taylor expansion of 0 in z
5.988 * [taylor]: Taking taylor expansion of 0 in x
5.988 * [taylor]: Taking taylor expansion of 0 in x
5.988 * [taylor]: Taking taylor expansion of 0 in x
5.989 * [approximate]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in (y z x) around 0
5.989 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x
5.989 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x
5.989 * [taylor]: Taking taylor expansion of z in x
5.989 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.989 * [taylor]: Taking taylor expansion of y in x
5.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.989 * [taylor]: Taking taylor expansion of x in x
5.989 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z
5.989 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
5.989 * [taylor]: Taking taylor expansion of z in z
5.989 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.989 * [taylor]: Taking taylor expansion of y in z
5.989 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.989 * [taylor]: Taking taylor expansion of x in z
5.989 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
5.989 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
5.989 * [taylor]: Taking taylor expansion of z in y
5.989 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.989 * [taylor]: Taking taylor expansion of y in y
5.990 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.990 * [taylor]: Taking taylor expansion of x in y
5.990 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
5.990 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
5.990 * [taylor]: Taking taylor expansion of z in y
5.990 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.990 * [taylor]: Taking taylor expansion of y in y
5.990 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.990 * [taylor]: Taking taylor expansion of x in y
5.990 * [taylor]: Taking taylor expansion of z in z
5.990 * [taylor]: Taking taylor expansion of 0 in x
5.991 * [taylor]: Taking taylor expansion of 0 in z
5.991 * [taylor]: Taking taylor expansion of 0 in x
5.992 * [taylor]: Taking taylor expansion of 1 in x
5.993 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.993 * [taylor]: Taking taylor expansion of x in z
5.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.993 * [taylor]: Taking taylor expansion of x in x
5.993 * [taylor]: Taking taylor expansion of 0 in x
5.993 * [taylor]: Taking taylor expansion of 0 in x
5.995 * [taylor]: Taking taylor expansion of 0 in z
5.995 * [taylor]: Taking taylor expansion of 0 in x
5.995 * [taylor]: Taking taylor expansion of 0 in x
5.995 * [taylor]: Taking taylor expansion of 0 in x
5.995 * [taylor]: Taking taylor expansion of 0 in x
5.997 * [approximate]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in (y z x) around 0
5.997 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in x
5.997 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x
5.997 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x
5.997 * [taylor]: Taking taylor expansion of z in x
5.997 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.997 * [taylor]: Taking taylor expansion of y in x
5.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.997 * [taylor]: Taking taylor expansion of x in x
5.997 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in z
5.998 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z
5.998 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
5.998 * [taylor]: Taking taylor expansion of z in z
5.998 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.998 * [taylor]: Taking taylor expansion of y in z
5.998 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.998 * [taylor]: Taking taylor expansion of x in z
5.998 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in y
5.998 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
5.998 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
5.998 * [taylor]: Taking taylor expansion of z in y
5.998 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.998 * [taylor]: Taking taylor expansion of y in y
5.998 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.998 * [taylor]: Taking taylor expansion of x in y
5.998 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in y
5.998 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
5.998 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
5.998 * [taylor]: Taking taylor expansion of z in y
5.998 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.998 * [taylor]: Taking taylor expansion of y in y
5.999 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.999 * [taylor]: Taking taylor expansion of x in y
5.999 * [taylor]: Taking taylor expansion of (- z) in z
5.999 * [taylor]: Taking taylor expansion of z in z
5.999 * [taylor]: Taking taylor expansion of 0 in x
6.000 * [taylor]: Taking taylor expansion of 0 in z
6.000 * [taylor]: Taking taylor expansion of 0 in x
6.001 * [taylor]: Taking taylor expansion of -1 in x
6.002 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
6.002 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.002 * [taylor]: Taking taylor expansion of x in z
6.002 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.002 * [taylor]: Taking taylor expansion of x in x
6.003 * [taylor]: Taking taylor expansion of 0 in x
6.003 * [taylor]: Taking taylor expansion of 0 in x
6.005 * [taylor]: Taking taylor expansion of 0 in z
6.005 * [taylor]: Taking taylor expansion of 0 in x
6.005 * [taylor]: Taking taylor expansion of 0 in x
6.005 * [taylor]: Taking taylor expansion of 0 in x
6.006 * [taylor]: Taking taylor expansion of 0 in x
6.007 * * * [progress]: simplifying candidates
6.013 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (pow y (/ 2 2)) (/ z y)))
  (log1p (/ (pow y (/ 2 2)) (/ z y)))
  (- (* (log y) (/ 2 2)) (- (log z) (log y)))
  (- (* (log y) (/ 2 2)) (log (/ z y)))
  (- (* (log y) (/ 2 2)) (- (log z) (log y)))
  (- (* (log y) (/ 2 2)) (log (/ z y)))
  (- (log (pow y (/ 2 2))) (- (log z) (log y)))
  (- (log (pow y (/ 2 2))) (log (/ z y)))
  (log (/ (pow y (/ 2 2)) (/ z y)))
  (exp (/ (pow y (/ 2 2)) (/ z y)))
  (/ (* (* (pow y (/ 2 2)) (pow y (/ 2 2))) (pow y (/ 2 2))) (/ (* (* z z) z) (* (* y y) y)))
  (/ (* (* (pow y (/ 2 2)) (pow y (/ 2 2))) (pow y (/ 2 2))) (* (* (/ z y) (/ z y)) (/ z y)))
  (* (cbrt (/ (pow y (/ 2 2)) (/ z y))) (cbrt (/ (pow y (/ 2 2)) (/ z y))))
  (cbrt (/ (pow y (/ 2 2)) (/ z y)))
  (* (* (/ (pow y (/ 2 2)) (/ z y)) (/ (pow y (/ 2 2)) (/ z y))) (/ (pow y (/ 2 2)) (/ z y)))
  (sqrt (/ (pow y (/ 2 2)) (/ z y)))
  (sqrt (/ (pow y (/ 2 2)) (/ z y)))
  (- (pow y (/ 2 2)))
  (- (/ z y))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow (cbrt y) (/ 2 2)) (cbrt (/ z y)))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (sqrt (/ z y)))
  (/ (pow (cbrt y) (/ 2 2)) (sqrt (/ z y)))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (pow (cbrt y) (/ 2 2)) (/ (cbrt z) (cbrt y)))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (pow (cbrt y) (/ 2 2)) (/ (cbrt z) (sqrt y)))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (pow (cbrt y) (/ 2 2)) (/ (cbrt z) y))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (pow (cbrt y) (/ 2 2)) (/ (sqrt z) (cbrt y)))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (/ (sqrt z) (sqrt y)))
  (/ (pow (cbrt y) (/ 2 2)) (/ (sqrt z) (sqrt y)))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (/ (sqrt z) 1))
  (/ (pow (cbrt y) (/ 2 2)) (/ (sqrt z) y))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (pow (cbrt y) (/ 2 2)) (/ z (cbrt y)))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (/ 1 (sqrt y)))
  (/ (pow (cbrt y) (/ 2 2)) (/ z (sqrt y)))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) (/ 1 1))
  (/ (pow (cbrt y) (/ 2 2)) (/ z y))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) 1)
  (/ (pow (cbrt y) (/ 2 2)) (/ z y))
  (/ (pow (* (cbrt y) (cbrt y)) (/ 2 2)) z)
  (/ (pow (cbrt y) (/ 2 2)) (/ 1 y))
  (/ (pow (sqrt y) (/ 2 2)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow (sqrt y) (/ 2 2)) (cbrt (/ z y)))
  (/ (pow (sqrt y) (/ 2 2)) (sqrt (/ z y)))
  (/ (pow (sqrt y) (/ 2 2)) (sqrt (/ z y)))
  (/ (pow (sqrt y) (/ 2 2)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (pow (sqrt y) (/ 2 2)) (/ (cbrt z) (cbrt y)))
  (/ (pow (sqrt y) (/ 2 2)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (pow (sqrt y) (/ 2 2)) (/ (cbrt z) (sqrt y)))
  (/ (pow (sqrt y) (/ 2 2)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (pow (sqrt y) (/ 2 2)) (/ (cbrt z) y))
  (/ (pow (sqrt y) (/ 2 2)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (pow (sqrt y) (/ 2 2)) (/ (sqrt z) (cbrt y)))
  (/ (pow (sqrt y) (/ 2 2)) (/ (sqrt z) (sqrt y)))
  (/ (pow (sqrt y) (/ 2 2)) (/ (sqrt z) (sqrt y)))
  (/ (pow (sqrt y) (/ 2 2)) (/ (sqrt z) 1))
  (/ (pow (sqrt y) (/ 2 2)) (/ (sqrt z) y))
  (/ (pow (sqrt y) (/ 2 2)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (pow (sqrt y) (/ 2 2)) (/ z (cbrt y)))
  (/ (pow (sqrt y) (/ 2 2)) (/ 1 (sqrt y)))
  (/ (pow (sqrt y) (/ 2 2)) (/ z (sqrt y)))
  (/ (pow (sqrt y) (/ 2 2)) (/ 1 1))
  (/ (pow (sqrt y) (/ 2 2)) (/ z y))
  (/ (pow (sqrt y) (/ 2 2)) 1)
  (/ (pow (sqrt y) (/ 2 2)) (/ z y))
  (/ (pow (sqrt y) (/ 2 2)) z)
  (/ (pow (sqrt y) (/ 2 2)) (/ 1 y))
  (/ (pow 1 (/ 2 2)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow y (/ 2 2)) (cbrt (/ z y)))
  (/ (pow 1 (/ 2 2)) (sqrt (/ z y)))
  (/ (pow y (/ 2 2)) (sqrt (/ z y)))
  (/ (pow 1 (/ 2 2)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (pow y (/ 2 2)) (/ (cbrt z) (cbrt y)))
  (/ (pow 1 (/ 2 2)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (pow y (/ 2 2)) (/ (cbrt z) (sqrt y)))
  (/ (pow 1 (/ 2 2)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (pow y (/ 2 2)) (/ (cbrt z) y))
  (/ (pow 1 (/ 2 2)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (pow y (/ 2 2)) (/ (sqrt z) (cbrt y)))
  (/ (pow 1 (/ 2 2)) (/ (sqrt z) (sqrt y)))
  (/ (pow y (/ 2 2)) (/ (sqrt z) (sqrt y)))
  (/ (pow 1 (/ 2 2)) (/ (sqrt z) 1))
  (/ (pow y (/ 2 2)) (/ (sqrt z) y))
  (/ (pow 1 (/ 2 2)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (pow y (/ 2 2)) (/ z (cbrt y)))
  (/ (pow 1 (/ 2 2)) (/ 1 (sqrt y)))
  (/ (pow y (/ 2 2)) (/ z (sqrt y)))
  (/ (pow 1 (/ 2 2)) (/ 1 1))
  (/ (pow y (/ 2 2)) (/ z y))
  (/ (pow 1 (/ 2 2)) 1)
  (/ (pow y (/ 2 2)) (/ z y))
  (/ (pow 1 (/ 2 2)) z)
  (/ (pow y (/ 2 2)) (/ 1 y))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt (pow y (/ 2 2))) (cbrt (/ z y)))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (sqrt (/ z y)))
  (/ (cbrt (pow y (/ 2 2))) (sqrt (/ z y)))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (cbrt (pow y (/ 2 2))) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (cbrt (pow y (/ 2 2))) (/ (cbrt z) (sqrt y)))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cbrt (pow y (/ 2 2))) (/ (cbrt z) y))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt (pow y (/ 2 2))) (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (/ (sqrt z) (sqrt y)))
  (/ (cbrt (pow y (/ 2 2))) (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (/ (sqrt z) 1))
  (/ (cbrt (pow y (/ 2 2))) (/ (sqrt z) y))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt (pow y (/ 2 2))) (/ z (cbrt y)))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (/ 1 (sqrt y)))
  (/ (cbrt (pow y (/ 2 2))) (/ z (sqrt y)))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) (/ 1 1))
  (/ (cbrt (pow y (/ 2 2))) (/ z y))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) 1)
  (/ (cbrt (pow y (/ 2 2))) (/ z y))
  (/ (* (cbrt (pow y (/ 2 2))) (cbrt (pow y (/ 2 2)))) z)
  (/ (cbrt (pow y (/ 2 2))) (/ 1 y))
  (/ (sqrt (pow y (/ 2 2))) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt (pow y (/ 2 2))) (cbrt (/ z y)))
  (/ (sqrt (pow y (/ 2 2))) (sqrt (/ z y)))
  (/ (sqrt (pow y (/ 2 2))) (sqrt (/ z y)))
  (/ (sqrt (pow y (/ 2 2))) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (sqrt (pow y (/ 2 2))) (/ (cbrt z) (cbrt y)))
  (/ (sqrt (pow y (/ 2 2))) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt (pow y (/ 2 2))) (/ (cbrt z) (sqrt y)))
  (/ (sqrt (pow y (/ 2 2))) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (sqrt (pow y (/ 2 2))) (/ (cbrt z) y))
  (/ (sqrt (pow y (/ 2 2))) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt (pow y (/ 2 2))) (/ (sqrt z) (cbrt y)))
  (/ (sqrt (pow y (/ 2 2))) (/ (sqrt z) (sqrt y)))
  (/ (sqrt (pow y (/ 2 2))) (/ (sqrt z) (sqrt y)))
  (/ (sqrt (pow y (/ 2 2))) (/ (sqrt z) 1))
  (/ (sqrt (pow y (/ 2 2))) (/ (sqrt z) y))
  (/ (sqrt (pow y (/ 2 2))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt (pow y (/ 2 2))) (/ z (cbrt y)))
  (/ (sqrt (pow y (/ 2 2))) (/ 1 (sqrt y)))
  (/ (sqrt (pow y (/ 2 2))) (/ z (sqrt y)))
  (/ (sqrt (pow y (/ 2 2))) (/ 1 1))
  (/ (sqrt (pow y (/ 2 2))) (/ z y))
  (/ (sqrt (pow y (/ 2 2))) 1)
  (/ (sqrt (pow y (/ 2 2))) (/ z y))
  (/ (sqrt (pow y (/ 2 2))) z)
  (/ (sqrt (pow y (/ 2 2))) (/ 1 y))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow y (/ 2 2)) (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ (pow y (/ 2 2)) (sqrt (/ z y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (pow y (/ 2 2)) (/ (cbrt z) (cbrt y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (pow y (/ 2 2)) (/ (cbrt z) (sqrt y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) 1))
  (/ (pow y (/ 2 2)) (/ (cbrt z) y))
  (/ 1 (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (pow y (/ 2 2)) (/ (sqrt z) (cbrt y)))
  (/ 1 (/ (sqrt z) (sqrt y)))
  (/ (pow y (/ 2 2)) (/ (sqrt z) (sqrt y)))
  (/ 1 (/ (sqrt z) 1))
  (/ (pow y (/ 2 2)) (/ (sqrt z) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ (pow y (/ 2 2)) (/ z (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ (pow y (/ 2 2)) (/ z (sqrt y)))
  (/ 1 (/ 1 1))
  (/ (pow y (/ 2 2)) (/ z y))
  (/ 1 1)
  (/ (pow y (/ 2 2)) (/ z y))
  (/ 1 z)
  (/ (pow y (/ 2 2)) (/ 1 y))
  (/ (pow y (/ (/ 2 2) 2)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow y (/ (/ 2 2) 2)) (cbrt (/ z y)))
  (/ (pow y (/ (/ 2 2) 2)) (sqrt (/ z y)))
  (/ (pow y (/ (/ 2 2) 2)) (sqrt (/ z y)))
  (/ (pow y (/ (/ 2 2) 2)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (pow y (/ (/ 2 2) 2)) (/ (cbrt z) (cbrt y)))
  (/ (pow y (/ (/ 2 2) 2)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (pow y (/ (/ 2 2) 2)) (/ (cbrt z) (sqrt y)))
  (/ (pow y (/ (/ 2 2) 2)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (pow y (/ (/ 2 2) 2)) (/ (cbrt z) y))
  (/ (pow y (/ (/ 2 2) 2)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (pow y (/ (/ 2 2) 2)) (/ (sqrt z) (cbrt y)))
  (/ (pow y (/ (/ 2 2) 2)) (/ (sqrt z) (sqrt y)))
  (/ (pow y (/ (/ 2 2) 2)) (/ (sqrt z) (sqrt y)))
  (/ (pow y (/ (/ 2 2) 2)) (/ (sqrt z) 1))
  (/ (pow y (/ (/ 2 2) 2)) (/ (sqrt z) y))
  (/ (pow y (/ (/ 2 2) 2)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (pow y (/ (/ 2 2) 2)) (/ z (cbrt y)))
  (/ (pow y (/ (/ 2 2) 2)) (/ 1 (sqrt y)))
  (/ (pow y (/ (/ 2 2) 2)) (/ z (sqrt y)))
  (/ (pow y (/ (/ 2 2) 2)) (/ 1 1))
  (/ (pow y (/ (/ 2 2) 2)) (/ z y))
  (/ (pow y (/ (/ 2 2) 2)) 1)
  (/ (pow y (/ (/ 2 2) 2)) (/ z y))
  (/ (pow y (/ (/ 2 2) 2)) z)
  (/ (pow y (/ (/ 2 2) 2)) (/ 1 y))
  (/ 1 (/ z y))
  (/ (/ z y) (pow y (/ 2 2)))
  (/ (pow y (/ 2 2)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow y (/ 2 2)) (sqrt (/ z y)))
  (/ (pow y (/ 2 2)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (pow y (/ 2 2)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (pow y (/ 2 2)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (pow y (/ 2 2)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (pow y (/ 2 2)) (/ (sqrt z) (sqrt y)))
  (/ (pow y (/ 2 2)) (/ (sqrt z) 1))
  (/ (pow y (/ 2 2)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (pow y (/ 2 2)) (/ 1 (sqrt y)))
  (/ (pow y (/ 2 2)) (/ 1 1))
  (/ (pow y (/ 2 2)) 1)
  (/ (pow y (/ 2 2)) z)
  (/ (/ z y) (pow (cbrt y) (/ 2 2)))
  (/ (/ z y) (pow (sqrt y) (/ 2 2)))
  (/ (/ z y) (pow y (/ 2 2)))
  (/ (/ z y) (cbrt (pow y (/ 2 2))))
  (/ (/ z y) (sqrt (pow y (/ 2 2))))
  (/ (/ z y) (pow y (/ 2 2)))
  (/ (/ z y) (pow y (/ (/ 2 2) 2)))
  (/ (pow y (/ 2 2)) z)
  (expm1 (+ (/ (pow y (/ 2 2)) (/ z y)) x))
  (log1p (+ (/ (pow y (/ 2 2)) (/ z y)) x))
  (* (exp (/ (pow y (/ 2 2)) (/ z y))) (exp x))
  (log (+ (/ (pow y (/ 2 2)) (/ z y)) x))
  (exp (+ (/ (pow y (/ 2 2)) (/ z y)) x))
  (* (cbrt (+ (/ (pow y (/ 2 2)) (/ z y)) x)) (cbrt (+ (/ (pow y (/ 2 2)) (/ z y)) x)))
  (cbrt (+ (/ (pow y (/ 2 2)) (/ z y)) x))
  (* (* (+ (/ (pow y (/ 2 2)) (/ z y)) x) (+ (/ (pow y (/ 2 2)) (/ z y)) x)) (+ (/ (pow y (/ 2 2)) (/ z y)) x))
  (sqrt (+ (/ (pow y (/ 2 2)) (/ z y)) x))
  (sqrt (+ (/ (pow y (/ 2 2)) (/ z y)) x))
  (+ (pow (/ (pow y (/ 2 2)) (/ z y)) 3) (pow x 3))
  (+ (* (/ (pow y (/ 2 2)) (/ z y)) (/ (pow y (/ 2 2)) (/ z y))) (- (* x x) (* (/ (pow y (/ 2 2)) (/ z y)) x)))
  (- (* (/ (pow y (/ 2 2)) (/ z y)) (/ (pow y (/ 2 2)) (/ z y))) (* x x))
  (- (/ (pow y (/ 2 2)) (/ z y)) x)
  (+ (/ (pow y (/ 2 2)) (/ z y)) x)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
6.020 * * [simplify]: iteration  0 :  274  enodes  (cost  2986 )
6.068 * * [simplify]: iteration  1 :  611  enodes  (cost  2295 )
6.232 * * [simplify]: iteration  2 :  2714  enodes  (cost  2031 )
7.097 * * [simplify]: iteration  done :  5000  enodes  (cost  2031 )
7.098 * [simplify]: Simplified to:
   (expm1 (/ (pow y 2) z))
  (log1p (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (exp (/ (pow y 2) z))
  (pow (/ (pow y 2) z) 3)
  (pow (/ (pow y 2) z) 3)
  (* (cbrt (/ (pow y 2) z)) (cbrt (/ (pow y 2) z)))
  (cbrt (/ (pow y 2) z))
  (pow (/ (pow y 2) z) 3)
  (sqrt (/ (pow y 2) z))
  (sqrt (/ (pow y 2) z))
  (- (pow y 1))
  (- (/ z y))
  (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow (cbrt y) 1) (cbrt (/ z y)))
  (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt (/ z y)))
  (/ (pow (cbrt y) 1) (sqrt (/ z y)))
  (/ (pow (* (cbrt y) (cbrt y)) 2) (* (cbrt z) (cbrt z)))
  (/ (pow (cbrt y) 1) (/ (cbrt z) (cbrt y)))
  (/ (pow (* (cbrt y) (cbrt y)) 1) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (pow (cbrt y) 1) (/ (cbrt z) (sqrt y)))
  (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z)))
  (/ (pow (cbrt y) 1) (/ (cbrt z) y))
  (/ (pow (* (cbrt y) (cbrt y)) 2) (sqrt z))
  (/ (pow (cbrt y) 1) (/ (sqrt z) (cbrt y)))
  (/ (pow (* (cbrt y) (cbrt y)) 1) (/ (sqrt z) (sqrt y)))
  (/ (pow (cbrt y) 1) (/ (sqrt z) (sqrt y)))
  (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z))
  (/ (pow (cbrt y) 1) (/ (sqrt z) y))
  (pow (* (cbrt y) (cbrt y)) 2)
  (/ (pow (cbrt y) 1) (/ z (cbrt y)))
  (* (pow (* (cbrt y) (cbrt y)) 1) (sqrt y))
  (/ (pow (cbrt y) 1) (/ z (sqrt y)))
  (pow (* (cbrt y) (cbrt y)) 1)
  (/ (pow (cbrt y) 1) (/ z y))
  (pow (* (cbrt y) (cbrt y)) 1)
  (/ (pow (cbrt y) 1) (/ z y))
  (/ (pow (* (cbrt y) (cbrt y)) 1) z)
  (* (pow (cbrt y) 1) y)
  (/ (/ (pow (sqrt y) 1) (cbrt (/ z y))) (cbrt (/ z y)))
  (/ (pow (sqrt y) 1) (cbrt (/ z y)))
  (/ (pow (sqrt y) 1) (sqrt (/ z y)))
  (/ (pow (sqrt y) 1) (sqrt (/ z y)))
  (/ (pow (sqrt y) 1) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (* (/ (pow (sqrt y) 1) (cbrt z)) (cbrt y))
  (/ (pow (sqrt y) 2) (* (cbrt z) (cbrt z)))
  (/ (pow (sqrt y) 2) (cbrt z))
  (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z)))
  (/ (pow (sqrt y) 1) (/ (cbrt z) y))
  (/ (pow (sqrt y) 1) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (* (/ (pow (sqrt y) 1) (sqrt z)) (cbrt y))
  (/ (pow (sqrt y) 2) (sqrt z))
  (/ (pow (sqrt y) 2) (sqrt z))
  (/ (pow (sqrt y) 1) (sqrt z))
  (* (/ (pow (sqrt y) 1) (sqrt z)) y)
  (* (pow (sqrt y) 1) (* (cbrt y) (cbrt y)))
  (/ (pow (sqrt y) 1) (/ z (cbrt y)))
  (pow (sqrt y) 2)
  (/ (pow (sqrt y) 2) z)
  (pow (sqrt y) 1)
  (/ (pow (sqrt y) 1) (/ z y))
  (pow (sqrt y) 1)
  (/ (pow (sqrt y) 1) (/ z y))
  (/ (pow (sqrt y) 1) z)
  (* (pow (sqrt y) 1) y)
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow y 1) (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ (pow y 1) (sqrt (/ z y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (pow y 1) (/ (cbrt z) (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (pow y 1) (/ (cbrt z) (sqrt y)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (pow y 2) (cbrt z))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (pow y 1) (/ (sqrt z) (cbrt y)))
  (/ (sqrt y) (sqrt z))
  (/ (pow y 1) (/ (sqrt z) (sqrt y)))
  (/ 1 (sqrt z))
  (/ (pow y 2) (sqrt z))
  (* (cbrt y) (cbrt y))
  (/ (pow y 1) (/ z (cbrt y)))
  (sqrt y)
  (/ (pow y 1) (/ z (sqrt y)))
  1
  (/ (pow y 2) z)
  1
  (/ (pow y 2) z)
  (/ 1 z)
  (pow y 2)
  (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt (pow y 1)) (cbrt (/ z y)))
  (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt (/ z y)))
  (/ (cbrt (pow y 1)) (sqrt (/ z y)))
  (* (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (pow y 1)) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (* (/ (cbrt (pow y 1)) (cbrt z)) (sqrt y))
  (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (pow y 1)) (/ (cbrt z) y))
  (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt (pow y 1)) (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (/ (sqrt z) (sqrt y)))
  (/ (cbrt (pow y 1)) (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z))
  (/ (cbrt (pow y 1)) (/ (sqrt z) y))
  (* (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (pow y 1)) (/ z (cbrt y)))
  (* (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt y))
  (/ (cbrt (pow y 1)) (/ z (sqrt y)))
  (* (cbrt (pow y 1)) (cbrt (pow y 1)))
  (/ (cbrt (pow y 1)) (/ z y))
  (* (cbrt (pow y 1)) (cbrt (pow y 1)))
  (/ (cbrt (pow y 1)) (/ z y))
  (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) z)
  (* (cbrt (pow y 1)) y)
  (/ (sqrt (pow y 1)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt (pow y 1)) (cbrt (/ z y)))
  (/ (sqrt (pow y 1)) (sqrt (/ z y)))
  (/ (sqrt (pow y 1)) (sqrt (/ z y)))
  (/ (sqrt (pow y 1)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (sqrt (pow y 1)) (/ (cbrt z) (cbrt y)))
  (/ (sqrt (pow y 1)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt (pow y 1)) (/ (cbrt z) (sqrt y)))
  (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (pow y 1)) (/ (cbrt z) y))
  (/ (sqrt (pow y 1)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt (pow y 1)) (/ (sqrt z) (cbrt y)))
  (/ (sqrt (pow y 1)) (/ (sqrt z) (sqrt y)))
  (/ (sqrt (pow y 1)) (/ (sqrt z) (sqrt y)))
  (/ (sqrt (pow y 1)) (sqrt z))
  (/ (sqrt (pow y 1)) (/ (sqrt z) y))
  (* (sqrt (pow y 1)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (pow y 1)) (/ z (cbrt y)))
  (* (sqrt (pow y 1)) (sqrt y))
  (/ (sqrt (pow y 1)) (/ z (sqrt y)))
  (sqrt (pow y 1))
  (* (/ (sqrt (pow y 1)) z) y)
  (sqrt (pow y 1))
  (* (/ (sqrt (pow y 1)) z) y)
  (/ (sqrt (pow y 1)) z)
  (* (sqrt (pow y 1)) y)
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow y 1) (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ (pow y 1) (sqrt (/ z y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (pow y 1) (/ (cbrt z) (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (pow y 1) (/ (cbrt z) (sqrt y)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (pow y 2) (cbrt z))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (pow y 1) (/ (sqrt z) (cbrt y)))
  (/ (sqrt y) (sqrt z))
  (/ (pow y 1) (/ (sqrt z) (sqrt y)))
  (/ 1 (sqrt z))
  (/ (pow y 2) (sqrt z))
  (* (cbrt y) (cbrt y))
  (/ (pow y 1) (/ z (cbrt y)))
  (sqrt y)
  (/ (pow y 1) (/ z (sqrt y)))
  1
  (/ (pow y 2) z)
  1
  (/ (pow y 2) z)
  (/ 1 z)
  (pow y 2)
  (/ (pow y 1/2) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow y 1/2) (cbrt (/ z y)))
  (/ (pow y 1/2) (sqrt (/ z y)))
  (/ (pow y 1/2) (sqrt (/ z y)))
  (/ (pow y 1/2) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (pow y 1/2) (/ (cbrt z) (cbrt y)))
  (/ (* (pow y 1/2) (sqrt y)) (* (cbrt z) (cbrt z)))
  (/ (pow y 1/2) (/ (cbrt z) (sqrt y)))
  (/ (pow y 1/2) (* (cbrt z) (cbrt z)))
  (/ (pow y 3/2) (cbrt z))
  (* (/ (pow y 1/2) (/ (sqrt z) (cbrt y))) (cbrt y))
  (/ (pow y 1/2) (/ (sqrt z) (cbrt y)))
  (* (/ (pow y 1/2) (sqrt z)) (sqrt y))
  (* (/ (pow y 1/2) (sqrt z)) (sqrt y))
  (/ (pow y 1/2) (sqrt z))
  (/ (pow y 3/2) (sqrt z))
  (* (pow y 1/2) (* (cbrt y) (cbrt y)))
  (/ (pow y 1/2) (/ z (cbrt y)))
  (* (pow y 1/2) (sqrt y))
  (* (/ (pow y 1/2) z) (sqrt y))
  (pow y 1/2)
  (/ (pow y 3/2) z)
  (pow y 1/2)
  (/ (pow y 3/2) z)
  (/ (pow y 1/2) z)
  (pow y 3/2)
  (/ 1 (/ z y))
  (/ z (* y y))
  (/ (pow y 1) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (pow y 1) (sqrt (/ z y)))
  (/ (pow y 1) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (pow y 1) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (pow y 1) (* (cbrt z) (cbrt z)))
  (/ (pow y 1) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (pow y 1) (/ (sqrt z) (sqrt y)))
  (/ (pow y 1) (sqrt z))
  (* (pow y 1) (* (cbrt y) (cbrt y)))
  (* (pow y 1) (sqrt y))
  (pow y 1)
  (pow y 1)
  (/ (pow y 1) z)
  (/ (/ z y) (pow (cbrt y) 1))
  (/ (/ z y) (pow (sqrt y) 1))
  (/ z (* y y))
  (/ (/ z y) (cbrt (pow y 1)))
  (/ (/ z y) (sqrt (pow y 1)))
  (/ z (* y y))
  (/ z (pow y 3/2))
  (/ (pow y 1) z)
  (expm1 (+ x (/ (pow y 2) z)))
  (log1p (+ x (/ (pow y 2) z)))
  (exp (+ x (/ (pow y 2) z)))
  (log (+ x (/ (pow y 2) z)))
  (exp (+ x (/ (pow y 2) z)))
  (* (cbrt (+ x (/ (pow y 2) z))) (cbrt (+ x (/ (pow y 2) z))))
  (cbrt (+ x (/ (pow y 2) z)))
  (pow (+ x (/ (pow y 2) z)) 3)
  (sqrt (+ x (/ (pow y 2) z)))
  (sqrt (+ x (/ (pow y 2) z)))
  (+ (pow x 3) (pow (/ (pow y 2) z) 3))
  (fma x (- x (/ (pow y 2) z)) (/ (/ (pow y 3) z) (/ z y)))
  (- (/ (/ (pow y 3) z) (/ z y)) (* x x))
  (- (/ (pow y 2) z) x)
  (+ x (/ (pow y 2) z))
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
7.099 * * * [progress]: adding candidates to table
7.806 * * [progress]: iteration 4 / 4
7.806 * * * [progress]: picking best candidate
7.813 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (/ (/ (pow y 1) z) (/ 1 y)) x))>
7.814 * * * [progress]: localizing error
7.822 * * * [progress]: generating rewritten candidates
7.822 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
7.841 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
8.121 * * * [progress]: generating series expansions
8.121 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
8.122 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (y z) around 0
8.122 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
8.122 * [taylor]: Taking taylor expansion of (pow y 2) in z
8.122 * [taylor]: Taking taylor expansion of y in z
8.122 * [taylor]: Taking taylor expansion of z in z
8.122 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
8.122 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.122 * [taylor]: Taking taylor expansion of y in y
8.122 * [taylor]: Taking taylor expansion of z in y
8.122 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
8.122 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.123 * [taylor]: Taking taylor expansion of y in y
8.123 * [taylor]: Taking taylor expansion of z in y
8.123 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.123 * [taylor]: Taking taylor expansion of z in z
8.124 * [taylor]: Taking taylor expansion of 0 in z
8.125 * [taylor]: Taking taylor expansion of 0 in z
8.126 * [taylor]: Taking taylor expansion of 0 in z
8.127 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (y z) around 0
8.127 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
8.127 * [taylor]: Taking taylor expansion of z in z
8.127 * [taylor]: Taking taylor expansion of (pow y 2) in z
8.127 * [taylor]: Taking taylor expansion of y in z
8.127 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
8.127 * [taylor]: Taking taylor expansion of z in y
8.127 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.127 * [taylor]: Taking taylor expansion of y in y
8.127 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
8.127 * [taylor]: Taking taylor expansion of z in y
8.127 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.127 * [taylor]: Taking taylor expansion of y in y
8.128 * [taylor]: Taking taylor expansion of z in z
8.129 * [taylor]: Taking taylor expansion of 0 in z
8.130 * [taylor]: Taking taylor expansion of 0 in z
8.132 * [taylor]: Taking taylor expansion of 0 in z
8.132 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (y z) around 0
8.132 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z
8.132 * [taylor]: Taking taylor expansion of -1 in z
8.132 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
8.132 * [taylor]: Taking taylor expansion of z in z
8.132 * [taylor]: Taking taylor expansion of (pow y 2) in z
8.132 * [taylor]: Taking taylor expansion of y in z
8.132 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
8.132 * [taylor]: Taking taylor expansion of -1 in y
8.132 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
8.132 * [taylor]: Taking taylor expansion of z in y
8.132 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.133 * [taylor]: Taking taylor expansion of y in y
8.133 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
8.133 * [taylor]: Taking taylor expansion of -1 in y
8.133 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
8.133 * [taylor]: Taking taylor expansion of z in y
8.133 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.133 * [taylor]: Taking taylor expansion of y in y
8.133 * [taylor]: Taking taylor expansion of (* -1 z) in z
8.133 * [taylor]: Taking taylor expansion of -1 in z
8.133 * [taylor]: Taking taylor expansion of z in z
8.135 * [taylor]: Taking taylor expansion of 0 in z
8.137 * [taylor]: Taking taylor expansion of 0 in z
8.140 * [taylor]: Taking taylor expansion of 0 in z
8.141 * * * * [progress]: [ 2 / 2 ] generating series at (2)
8.141 * [approximate]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in (y z x) around 0
8.141 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in x
8.141 * [taylor]: Taking taylor expansion of x in x
8.141 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in x
8.141 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.141 * [taylor]: Taking taylor expansion of y in x
8.141 * [taylor]: Taking taylor expansion of z in x
8.141 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in z
8.141 * [taylor]: Taking taylor expansion of x in z
8.141 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
8.141 * [taylor]: Taking taylor expansion of (pow y 2) in z
8.141 * [taylor]: Taking taylor expansion of y in z
8.141 * [taylor]: Taking taylor expansion of z in z
8.141 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in y
8.141 * [taylor]: Taking taylor expansion of x in y
8.141 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
8.141 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.141 * [taylor]: Taking taylor expansion of y in y
8.141 * [taylor]: Taking taylor expansion of z in y
8.142 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in y
8.142 * [taylor]: Taking taylor expansion of x in y
8.142 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
8.142 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.142 * [taylor]: Taking taylor expansion of y in y
8.142 * [taylor]: Taking taylor expansion of z in y
8.142 * [taylor]: Taking taylor expansion of x in z
8.143 * [taylor]: Taking taylor expansion of 0 in z
8.143 * [taylor]: Taking taylor expansion of x in x
8.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.143 * [taylor]: Taking taylor expansion of z in z
8.143 * [taylor]: Taking taylor expansion of 1 in x
8.143 * [taylor]: Taking taylor expansion of 0 in x
8.143 * [taylor]: Taking taylor expansion of 0 in x
8.144 * [taylor]: Taking taylor expansion of 0 in z
8.144 * [taylor]: Taking taylor expansion of 0 in x
8.144 * [taylor]: Taking taylor expansion of 0 in x
8.144 * [taylor]: Taking taylor expansion of 0 in x
8.145 * [approximate]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in (y z x) around 0
8.145 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x
8.145 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x
8.145 * [taylor]: Taking taylor expansion of z in x
8.145 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.145 * [taylor]: Taking taylor expansion of y in x
8.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.145 * [taylor]: Taking taylor expansion of x in x
8.146 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z
8.146 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
8.146 * [taylor]: Taking taylor expansion of z in z
8.146 * [taylor]: Taking taylor expansion of (pow y 2) in z
8.146 * [taylor]: Taking taylor expansion of y in z
8.146 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.146 * [taylor]: Taking taylor expansion of x in z
8.146 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
8.146 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
8.146 * [taylor]: Taking taylor expansion of z in y
8.146 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.146 * [taylor]: Taking taylor expansion of y in y
8.146 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.146 * [taylor]: Taking taylor expansion of x in y
8.146 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
8.146 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
8.146 * [taylor]: Taking taylor expansion of z in y
8.146 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.146 * [taylor]: Taking taylor expansion of y in y
8.147 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.147 * [taylor]: Taking taylor expansion of x in y
8.147 * [taylor]: Taking taylor expansion of z in z
8.147 * [taylor]: Taking taylor expansion of 0 in x
8.148 * [taylor]: Taking taylor expansion of 0 in z
8.148 * [taylor]: Taking taylor expansion of 0 in x
8.148 * [taylor]: Taking taylor expansion of 1 in x
8.149 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.149 * [taylor]: Taking taylor expansion of x in z
8.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.149 * [taylor]: Taking taylor expansion of x in x
8.150 * [taylor]: Taking taylor expansion of 0 in x
8.150 * [taylor]: Taking taylor expansion of 0 in x
8.152 * [taylor]: Taking taylor expansion of 0 in z
8.152 * [taylor]: Taking taylor expansion of 0 in x
8.152 * [taylor]: Taking taylor expansion of 0 in x
8.152 * [taylor]: Taking taylor expansion of 0 in x
8.152 * [taylor]: Taking taylor expansion of 0 in x
8.153 * [approximate]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in (y z x) around 0
8.153 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in x
8.153 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x
8.153 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x
8.153 * [taylor]: Taking taylor expansion of z in x
8.153 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.153 * [taylor]: Taking taylor expansion of y in x
8.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.153 * [taylor]: Taking taylor expansion of x in x
8.154 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in z
8.154 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z
8.154 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
8.154 * [taylor]: Taking taylor expansion of z in z
8.154 * [taylor]: Taking taylor expansion of (pow y 2) in z
8.154 * [taylor]: Taking taylor expansion of y in z
8.154 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.154 * [taylor]: Taking taylor expansion of x in z
8.154 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in y
8.154 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
8.154 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
8.154 * [taylor]: Taking taylor expansion of z in y
8.154 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.154 * [taylor]: Taking taylor expansion of y in y
8.154 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.154 * [taylor]: Taking taylor expansion of x in y
8.154 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in y
8.154 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y
8.154 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
8.154 * [taylor]: Taking taylor expansion of z in y
8.154 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.154 * [taylor]: Taking taylor expansion of y in y
8.155 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.155 * [taylor]: Taking taylor expansion of x in y
8.155 * [taylor]: Taking taylor expansion of (- z) in z
8.155 * [taylor]: Taking taylor expansion of z in z
8.155 * [taylor]: Taking taylor expansion of 0 in x
8.156 * [taylor]: Taking taylor expansion of 0 in z
8.156 * [taylor]: Taking taylor expansion of 0 in x
8.157 * [taylor]: Taking taylor expansion of -1 in x
8.158 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
8.158 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.158 * [taylor]: Taking taylor expansion of x in z
8.158 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
8.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.158 * [taylor]: Taking taylor expansion of x in x
8.159 * [taylor]: Taking taylor expansion of 0 in x
8.159 * [taylor]: Taking taylor expansion of 0 in x
8.161 * [taylor]: Taking taylor expansion of 0 in z
8.161 * [taylor]: Taking taylor expansion of 0 in x
8.162 * [taylor]: Taking taylor expansion of 0 in x
8.162 * [taylor]: Taking taylor expansion of 0 in x
8.162 * [taylor]: Taking taylor expansion of 0 in x
8.163 * * * [progress]: simplifying candidates
8.172 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (/ (pow y 1) z) (/ 1 y)))
  (log1p (/ (/ (pow y 1) z) (/ 1 y)))
  (- (- (* (log y) 1) (log z)) (- (log y)))
  (- (- (* (log y) 1) (log z)) (- 0 (log y)))
  (- (- (* (log y) 1) (log z)) (- (log 1) (log y)))
  (- (- (* (log y) 1) (log z)) (log (/ 1 y)))
  (- (- (* (log y) 1) (log z)) (- (log y)))
  (- (- (* (log y) 1) (log z)) (- 0 (log y)))
  (- (- (* (log y) 1) (log z)) (- (log 1) (log y)))
  (- (- (* (log y) 1) (log z)) (log (/ 1 y)))
  (- (- (log (pow y 1)) (log z)) (- (log y)))
  (- (- (log (pow y 1)) (log z)) (- 0 (log y)))
  (- (- (log (pow y 1)) (log z)) (- (log 1) (log y)))
  (- (- (log (pow y 1)) (log z)) (log (/ 1 y)))
  (- (log (/ (pow y 1) z)) (- (log y)))
  (- (log (/ (pow y 1) z)) (- 0 (log y)))
  (- (log (/ (pow y 1) z)) (- (log 1) (log y)))
  (- (log (/ (pow y 1) z)) (log (/ 1 y)))
  (log (/ (/ (pow y 1) z) (/ 1 y)))
  (exp (/ (/ (pow y 1) z) (/ 1 y)))
  (/ (/ (* (* (pow y 1) (pow y 1)) (pow y 1)) (* (* z z) z)) (/ (* (* 1 1) 1) (* (* y y) y)))
  (/ (/ (* (* (pow y 1) (pow y 1)) (pow y 1)) (* (* z z) z)) (* (* (/ 1 y) (/ 1 y)) (/ 1 y)))
  (/ (* (* (/ (pow y 1) z) (/ (pow y 1) z)) (/ (pow y 1) z)) (/ (* (* 1 1) 1) (* (* y y) y)))
  (/ (* (* (/ (pow y 1) z) (/ (pow y 1) z)) (/ (pow y 1) z)) (* (* (/ 1 y) (/ 1 y)) (/ 1 y)))
  (* (cbrt (/ (/ (pow y 1) z) (/ 1 y))) (cbrt (/ (/ (pow y 1) z) (/ 1 y))))
  (cbrt (/ (/ (pow y 1) z) (/ 1 y)))
  (* (* (/ (/ (pow y 1) z) (/ 1 y)) (/ (/ (pow y 1) z) (/ 1 y))) (/ (/ (pow y 1) z) (/ 1 y)))
  (sqrt (/ (/ (pow y 1) z) (/ 1 y)))
  (sqrt (/ (/ (pow y 1) z) (/ 1 y)))
  (- (/ (pow y 1) z))
  (- (/ 1 y))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (cbrt (/ (pow y 1) z)) (cbrt (/ 1 y)))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (sqrt (/ 1 y)))
  (/ (cbrt (/ (pow y 1) z)) (sqrt (/ 1 y)))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (cbrt (/ (pow y 1) z)) (/ (cbrt 1) (cbrt y)))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (cbrt (/ (pow y 1) z)) (/ (cbrt 1) (sqrt y)))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (cbrt (/ (pow y 1) z)) (/ (cbrt 1) y))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (cbrt (/ (pow y 1) z)) (/ (sqrt 1) (cbrt y)))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (/ (sqrt 1) (sqrt y)))
  (/ (cbrt (/ (pow y 1) z)) (/ (sqrt 1) (sqrt y)))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (/ (sqrt 1) 1))
  (/ (cbrt (/ (pow y 1) z)) (/ (sqrt 1) y))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt (/ (pow y 1) z)) (/ 1 (cbrt y)))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (/ 1 (sqrt y)))
  (/ (cbrt (/ (pow y 1) z)) (/ 1 (sqrt y)))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) (/ 1 1))
  (/ (cbrt (/ (pow y 1) z)) (/ 1 y))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) 1)
  (/ (cbrt (/ (pow y 1) z)) (/ 1 y))
  (/ (* (cbrt (/ (pow y 1) z)) (cbrt (/ (pow y 1) z))) 1)
  (/ (cbrt (/ (pow y 1) z)) (/ 1 y))
  (/ (sqrt (/ (pow y 1) z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (sqrt (/ (pow y 1) z)) (cbrt (/ 1 y)))
  (/ (sqrt (/ (pow y 1) z)) (sqrt (/ 1 y)))
  (/ (sqrt (/ (pow y 1) z)) (sqrt (/ 1 y)))
  (/ (sqrt (/ (pow y 1) z)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (sqrt (/ (pow y 1) z)) (/ (cbrt 1) (cbrt y)))
  (/ (sqrt (/ (pow y 1) z)) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (sqrt (/ (pow y 1) z)) (/ (cbrt 1) (sqrt y)))
  (/ (sqrt (/ (pow y 1) z)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (sqrt (/ (pow y 1) z)) (/ (cbrt 1) y))
  (/ (sqrt (/ (pow y 1) z)) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (sqrt (/ (pow y 1) z)) (/ (sqrt 1) (cbrt y)))
  (/ (sqrt (/ (pow y 1) z)) (/ (sqrt 1) (sqrt y)))
  (/ (sqrt (/ (pow y 1) z)) (/ (sqrt 1) (sqrt y)))
  (/ (sqrt (/ (pow y 1) z)) (/ (sqrt 1) 1))
  (/ (sqrt (/ (pow y 1) z)) (/ (sqrt 1) y))
  (/ (sqrt (/ (pow y 1) z)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt (/ (pow y 1) z)) (/ 1 (cbrt y)))
  (/ (sqrt (/ (pow y 1) z)) (/ 1 (sqrt y)))
  (/ (sqrt (/ (pow y 1) z)) (/ 1 (sqrt y)))
  (/ (sqrt (/ (pow y 1) z)) (/ 1 1))
  (/ (sqrt (/ (pow y 1) z)) (/ 1 y))
  (/ (sqrt (/ (pow y 1) z)) 1)
  (/ (sqrt (/ (pow y 1) z)) (/ 1 y))
  (/ (sqrt (/ (pow y 1) z)) 1)
  (/ (sqrt (/ (pow y 1) z)) (/ 1 y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ (cbrt 1) y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (/ (sqrt 1) 1))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ (sqrt 1) y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ 1 (cbrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (/ 1 (sqrt y)))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) (/ 1 1))
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ 1 y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ 1 y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (pow (cbrt y) 1) (cbrt z)) (/ 1 y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ (cbrt 1) y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (/ (sqrt 1) 1))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ (sqrt 1) y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ 1 (cbrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) (/ 1 1))
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ 1 y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) 1)
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ 1 y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) (sqrt z)) 1)
  (/ (/ (pow (cbrt y) 1) (sqrt z)) (/ 1 y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow (cbrt y) 1) z) (cbrt (/ 1 y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (sqrt (/ 1 y)))
  (/ (/ (pow (cbrt y) 1) z) (sqrt (/ 1 y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (cbrt y) 1) z) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow (cbrt y) 1) z) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow (cbrt y) 1) z) (/ (cbrt 1) y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (cbrt y) 1) z) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (cbrt y) 1) z) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (/ (sqrt 1) 1))
  (/ (/ (pow (cbrt y) 1) z) (/ (sqrt 1) y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow (cbrt y) 1) z) (/ 1 (cbrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (/ 1 (sqrt y)))
  (/ (/ (pow (cbrt y) 1) z) (/ 1 (sqrt y)))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) (/ 1 1))
  (/ (/ (pow (cbrt y) 1) z) (/ 1 y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) 1)
  (/ (/ (pow (cbrt y) 1) z) (/ 1 y))
  (/ (/ (pow (* (cbrt y) (cbrt y)) 1) 1) 1)
  (/ (/ (pow (cbrt y) 1) z) (/ 1 y))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ (cbrt 1) y))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (/ (sqrt 1) 1))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ (sqrt 1) y))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ 1 (cbrt y)))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (/ 1 (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) (/ 1 1))
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ 1 y))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ 1 y))
  (/ (/ (pow (sqrt y) 1) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (pow (sqrt y) 1) (cbrt z)) (/ 1 y))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (cbrt 1) y))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (sqrt 1) 1))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ (sqrt 1) y))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ 1 (cbrt y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ 1 1))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ 1 y))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) 1)
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ 1 y))
  (/ (/ (pow (sqrt y) 1) (sqrt z)) 1)
  (/ (/ (pow (sqrt y) 1) (sqrt z)) (/ 1 y))
  (/ (/ (pow (sqrt y) 1) 1) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow (sqrt y) 1) z) (cbrt (/ 1 y)))
  (/ (/ (pow (sqrt y) 1) 1) (sqrt (/ 1 y)))
  (/ (/ (pow (sqrt y) 1) z) (sqrt (/ 1 y)))
  (/ (/ (pow (sqrt y) 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (sqrt y) 1) z) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow (sqrt y) 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) z) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow (sqrt y) 1) z) (/ (cbrt 1) y))
  (/ (/ (pow (sqrt y) 1) 1) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow (sqrt y) 1) z) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow (sqrt y) 1) 1) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) z) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow (sqrt y) 1) 1) (/ (sqrt 1) 1))
  (/ (/ (pow (sqrt y) 1) z) (/ (sqrt 1) y))
  (/ (/ (pow (sqrt y) 1) 1) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow (sqrt y) 1) z) (/ 1 (cbrt y)))
  (/ (/ (pow (sqrt y) 1) 1) (/ 1 (sqrt y)))
  (/ (/ (pow (sqrt y) 1) z) (/ 1 (sqrt y)))
  (/ (/ (pow (sqrt y) 1) 1) (/ 1 1))
  (/ (/ (pow (sqrt y) 1) z) (/ 1 y))
  (/ (/ (pow (sqrt y) 1) 1) 1)
  (/ (/ (pow (sqrt y) 1) z) (/ 1 y))
  (/ (/ (pow (sqrt y) 1) 1) 1)
  (/ (/ (pow (sqrt y) 1) z) (/ 1 y))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1) (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ (pow y 1) (cbrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (cbrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y 1) (cbrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y 1) (cbrt z)) (/ (cbrt 1) y))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (cbrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y 1) (cbrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (/ (sqrt 1) 1))
  (/ (/ (pow y 1) (cbrt z)) (/ (sqrt 1) y))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (cbrt z)) (/ 1 (cbrt y)))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (/ 1 (sqrt y)))
  (/ (/ (pow y 1) (cbrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) (/ 1 1))
  (/ (/ (pow y 1) (cbrt z)) (/ 1 y))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (pow y 1) (cbrt z)) (/ 1 y))
  (/ (/ (pow 1 1) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (pow y 1) (cbrt z)) (/ 1 y))
  (/ (/ (pow 1 1) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1) (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ (pow 1 1) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow y 1) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow 1 1) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (sqrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow 1 1) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y 1) (sqrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow 1 1) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y 1) (sqrt z)) (/ (cbrt 1) y))
  (/ (/ (pow 1 1) (sqrt z)) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (sqrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow 1 1) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y 1) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow 1 1) (sqrt z)) (/ (sqrt 1) 1))
  (/ (/ (pow y 1) (sqrt z)) (/ (sqrt 1) y))
  (/ (/ (pow 1 1) (sqrt z)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (sqrt z)) (/ 1 (cbrt y)))
  (/ (/ (pow 1 1) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow y 1) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow 1 1) (sqrt z)) (/ 1 1))
  (/ (/ (pow y 1) (sqrt z)) (/ 1 y))
  (/ (/ (pow 1 1) (sqrt z)) 1)
  (/ (/ (pow y 1) (sqrt z)) (/ 1 y))
  (/ (/ (pow 1 1) (sqrt z)) 1)
  (/ (/ (pow y 1) (sqrt z)) (/ 1 y))
  (/ (/ (pow 1 1) 1) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1) z) (cbrt (/ 1 y)))
  (/ (/ (pow 1 1) 1) (sqrt (/ 1 y)))
  (/ (/ (pow y 1) z) (sqrt (/ 1 y)))
  (/ (/ (pow 1 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow 1 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y 1) z) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow 1 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y 1) z) (/ (cbrt 1) y))
  (/ (/ (pow 1 1) 1) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow 1 1) 1) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y 1) z) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow 1 1) 1) (/ (sqrt 1) 1))
  (/ (/ (pow y 1) z) (/ (sqrt 1) y))
  (/ (/ (pow 1 1) 1) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ 1 (cbrt y)))
  (/ (/ (pow 1 1) 1) (/ 1 (sqrt y)))
  (/ (/ (pow y 1) z) (/ 1 (sqrt y)))
  (/ (/ (pow 1 1) 1) (/ 1 1))
  (/ (/ (pow y 1) z) (/ 1 y))
  (/ (/ (pow 1 1) 1) 1)
  (/ (/ (pow y 1) z) (/ 1 y))
  (/ (/ (pow 1 1) 1) 1)
  (/ (/ (pow y 1) z) (/ 1 y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (sqrt (/ 1 y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ (cbrt 1) y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (sqrt y)))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (/ (sqrt 1) 1))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ (sqrt 1) y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ 1 (cbrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (/ 1 (sqrt y)))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ 1 (sqrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) (/ 1 1))
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ 1 y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ 1 y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (cbrt (pow y 1)) (cbrt z)) (/ 1 y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ (cbrt 1) y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (/ (sqrt 1) 1))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ (sqrt 1) y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ 1 (cbrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) (/ 1 1))
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ 1 y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) 1)
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ 1 y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) (sqrt z)) 1)
  (/ (/ (cbrt (pow y 1)) (sqrt z)) (/ 1 y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (cbrt (pow y 1)) z) (cbrt (/ 1 y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (sqrt (/ 1 y)))
  (/ (/ (cbrt (pow y 1)) z) (sqrt (/ 1 y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (cbrt (pow y 1)) z) (/ (cbrt 1) (cbrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (cbrt (pow y 1)) z) (/ (cbrt 1) (sqrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt (pow y 1)) z) (/ (cbrt 1) y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (cbrt (pow y 1)) z) (/ (sqrt 1) (cbrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (/ (sqrt 1) (sqrt y)))
  (/ (/ (cbrt (pow y 1)) z) (/ (sqrt 1) (sqrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (/ (sqrt 1) 1))
  (/ (/ (cbrt (pow y 1)) z) (/ (sqrt 1) y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (cbrt (pow y 1)) z) (/ 1 (cbrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (/ 1 (sqrt y)))
  (/ (/ (cbrt (pow y 1)) z) (/ 1 (sqrt y)))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) (/ 1 1))
  (/ (/ (cbrt (pow y 1)) z) (/ 1 y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) 1)
  (/ (/ (cbrt (pow y 1)) z) (/ 1 y))
  (/ (/ (* (cbrt (pow y 1)) (cbrt (pow y 1))) 1) 1)
  (/ (/ (cbrt (pow y 1)) z) (/ 1 y))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (sqrt (/ 1 y)))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ (cbrt 1) y))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (/ (sqrt 1) 1))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ (sqrt 1) y))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ 1 (cbrt y)))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (/ 1 (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ 1 (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) (/ 1 1))
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ 1 y))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ 1 y))
  (/ (/ (sqrt (pow y 1)) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (sqrt (pow y 1)) (cbrt z)) (/ 1 y))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (cbrt 1) y))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (sqrt 1) 1))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ (sqrt 1) y))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ 1 (cbrt y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ 1 1))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ 1 y))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) 1)
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ 1 y))
  (/ (/ (sqrt (pow y 1)) (sqrt z)) 1)
  (/ (/ (sqrt (pow y 1)) (sqrt z)) (/ 1 y))
  (/ (/ (sqrt (pow y 1)) 1) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (sqrt (pow y 1)) z) (cbrt (/ 1 y)))
  (/ (/ (sqrt (pow y 1)) 1) (sqrt (/ 1 y)))
  (/ (/ (sqrt (pow y 1)) z) (sqrt (/ 1 y)))
  (/ (/ (sqrt (pow y 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt (pow y 1)) z) (/ (cbrt 1) (cbrt y)))
  (/ (/ (sqrt (pow y 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) z) (/ (cbrt 1) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt (pow y 1)) z) (/ (cbrt 1) y))
  (/ (/ (sqrt (pow y 1)) 1) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt (pow y 1)) z) (/ (sqrt 1) (cbrt y)))
  (/ (/ (sqrt (pow y 1)) 1) (/ (sqrt 1) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) z) (/ (sqrt 1) (sqrt y)))
  (/ (/ (sqrt (pow y 1)) 1) (/ (sqrt 1) 1))
  (/ (/ (sqrt (pow y 1)) z) (/ (sqrt 1) y))
  (/ (/ (sqrt (pow y 1)) 1) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt (pow y 1)) z) (/ 1 (cbrt y)))
  (/ (/ (sqrt (pow y 1)) 1) (/ 1 (sqrt y)))
  (/ (/ (sqrt (pow y 1)) z) (/ 1 (sqrt y)))
  (/ (/ (sqrt (pow y 1)) 1) (/ 1 1))
  (/ (/ (sqrt (pow y 1)) z) (/ 1 y))
  (/ (/ (sqrt (pow y 1)) 1) 1)
  (/ (/ (sqrt (pow y 1)) z) (/ 1 y))
  (/ (/ (sqrt (pow y 1)) 1) 1)
  (/ (/ (sqrt (pow y 1)) z) (/ 1 y))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1) (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ (pow y 1) (cbrt z)) (sqrt (/ 1 y)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (cbrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y 1) (cbrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y 1) (cbrt z)) (/ (cbrt 1) y))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (cbrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y 1) (cbrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (/ (sqrt 1) 1))
  (/ (/ (pow y 1) (cbrt z)) (/ (sqrt 1) y))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (cbrt z)) (/ 1 (cbrt y)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (/ 1 (sqrt y)))
  (/ (/ (pow y 1) (cbrt z)) (/ 1 (sqrt y)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (/ 1 1))
  (/ (/ (pow y 1) (cbrt z)) (/ 1 y))
  (/ (/ 1 (* (cbrt z) (cbrt z))) 1)
  (/ (/ (pow y 1) (cbrt z)) (/ 1 y))
  (/ (/ 1 (* (cbrt z) (cbrt z))) 1)
  (/ (/ (pow y 1) (cbrt z)) (/ 1 y))
  (/ (/ 1 (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1) (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ 1 (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow y 1) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ 1 (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (sqrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ 1 (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y 1) (sqrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ 1 (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y 1) (sqrt z)) (/ (cbrt 1) y))
  (/ (/ 1 (sqrt z)) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (sqrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ 1 (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y 1) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ 1 (sqrt z)) (/ (sqrt 1) 1))
  (/ (/ (pow y 1) (sqrt z)) (/ (sqrt 1) y))
  (/ (/ 1 (sqrt z)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) (sqrt z)) (/ 1 (cbrt y)))
  (/ (/ 1 (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow y 1) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ 1 (sqrt z)) (/ 1 1))
  (/ (/ (pow y 1) (sqrt z)) (/ 1 y))
  (/ (/ 1 (sqrt z)) 1)
  (/ (/ (pow y 1) (sqrt z)) (/ 1 y))
  (/ (/ 1 (sqrt z)) 1)
  (/ (/ (pow y 1) (sqrt z)) (/ 1 y))
  (/ (/ 1 1) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1) z) (cbrt (/ 1 y)))
  (/ (/ 1 1) (sqrt (/ 1 y)))
  (/ (/ (pow y 1) z) (sqrt (/ 1 y)))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ (cbrt 1) (cbrt y)))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y 1) z) (/ (cbrt 1) (sqrt y)))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y 1) z) (/ (cbrt 1) y))
  (/ (/ 1 1) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ (sqrt 1) (cbrt y)))
  (/ (/ 1 1) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y 1) z) (/ (sqrt 1) (sqrt y)))
  (/ (/ 1 1) (/ (sqrt 1) 1))
  (/ (/ (pow y 1) z) (/ (sqrt 1) y))
  (/ (/ 1 1) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ 1 (cbrt y)))
  (/ (/ 1 1) (/ 1 (sqrt y)))
  (/ (/ (pow y 1) z) (/ 1 (sqrt y)))
  (/ (/ 1 1) (/ 1 1))
  (/ (/ (pow y 1) z) (/ 1 y))
  (/ (/ 1 1) 1)
  (/ (/ (pow y 1) z) (/ 1 y))
  (/ (/ 1 1) 1)
  (/ (/ (pow y 1) z) (/ 1 y))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ (cbrt 1) y))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (/ (sqrt 1) 1))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ (sqrt 1) y))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ 1 (cbrt y)))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (/ 1 (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) (/ 1 1))
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ 1 y))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ 1 y))
  (/ (/ (pow y (/ 1 2)) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (pow y (/ 1 2)) (cbrt z)) (/ 1 y))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (cbrt 1) y))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (sqrt 1) 1))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ (sqrt 1) y))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ 1 (cbrt y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ 1 (sqrt y)))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ 1 1))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ 1 y))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) 1)
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ 1 y))
  (/ (/ (pow y (/ 1 2)) (sqrt z)) 1)
  (/ (/ (pow y (/ 1 2)) (sqrt z)) (/ 1 y))
  (/ (/ (pow y (/ 1 2)) 1) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y (/ 1 2)) z) (cbrt (/ 1 y)))
  (/ (/ (pow y (/ 1 2)) 1) (sqrt (/ 1 y)))
  (/ (/ (pow y (/ 1 2)) z) (sqrt (/ 1 y)))
  (/ (/ (pow y (/ 1 2)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y (/ 1 2)) z) (/ (cbrt 1) (cbrt y)))
  (/ (/ (pow y (/ 1 2)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) z) (/ (cbrt 1) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y (/ 1 2)) z) (/ (cbrt 1) y))
  (/ (/ (pow y (/ 1 2)) 1) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y (/ 1 2)) z) (/ (sqrt 1) (cbrt y)))
  (/ (/ (pow y (/ 1 2)) 1) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) z) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y (/ 1 2)) 1) (/ (sqrt 1) 1))
  (/ (/ (pow y (/ 1 2)) z) (/ (sqrt 1) y))
  (/ (/ (pow y (/ 1 2)) 1) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y (/ 1 2)) z) (/ 1 (cbrt y)))
  (/ (/ (pow y (/ 1 2)) 1) (/ 1 (sqrt y)))
  (/ (/ (pow y (/ 1 2)) z) (/ 1 (sqrt y)))
  (/ (/ (pow y (/ 1 2)) 1) (/ 1 1))
  (/ (/ (pow y (/ 1 2)) z) (/ 1 y))
  (/ (/ (pow y (/ 1 2)) 1) 1)
  (/ (/ (pow y (/ 1 2)) z) (/ 1 y))
  (/ (/ (pow y (/ 1 2)) 1) 1)
  (/ (/ (pow y (/ 1 2)) z) (/ 1 y))
  (/ 1 (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1) z) (cbrt (/ 1 y)))
  (/ 1 (sqrt (/ 1 y)))
  (/ (/ (pow y 1) z) (sqrt (/ 1 y)))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ (cbrt 1) (cbrt y)))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y 1) z) (/ (cbrt 1) (sqrt y)))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y 1) z) (/ (cbrt 1) y))
  (/ 1 (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ (sqrt 1) (cbrt y)))
  (/ 1 (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y 1) z) (/ (sqrt 1) (sqrt y)))
  (/ 1 (/ (sqrt 1) 1))
  (/ (/ (pow y 1) z) (/ (sqrt 1) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ 1 (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ (/ (pow y 1) z) (/ 1 (sqrt y)))
  (/ 1 (/ 1 1))
  (/ (/ (pow y 1) z) (/ 1 y))
  (/ 1 1)
  (/ (/ (pow y 1) z) (/ 1 y))
  (/ 1 1)
  (/ (/ (pow y 1) z) (/ 1 y))
  (/ (pow y 1) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ 1 z) (cbrt (/ 1 y)))
  (/ (pow y 1) (sqrt (/ 1 y)))
  (/ (/ 1 z) (sqrt (/ 1 y)))
  (/ (pow y 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ 1 z) (/ (cbrt 1) (cbrt y)))
  (/ (pow y 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ 1 z) (/ (cbrt 1) (sqrt y)))
  (/ (pow y 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 z) (/ (cbrt 1) y))
  (/ (pow y 1) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ 1 z) (/ (sqrt 1) (cbrt y)))
  (/ (pow y 1) (/ (sqrt 1) (sqrt y)))
  (/ (/ 1 z) (/ (sqrt 1) (sqrt y)))
  (/ (pow y 1) (/ (sqrt 1) 1))
  (/ (/ 1 z) (/ (sqrt 1) y))
  (/ (pow y 1) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ 1 z) (/ 1 (cbrt y)))
  (/ (pow y 1) (/ 1 (sqrt y)))
  (/ (/ 1 z) (/ 1 (sqrt y)))
  (/ (pow y 1) (/ 1 1))
  (/ (/ 1 z) (/ 1 y))
  (/ (pow y 1) 1)
  (/ (/ 1 z) (/ 1 y))
  (/ (pow y 1) 1)
  (/ (/ 1 z) (/ 1 y))
  (/ 1 (/ 1 y))
  (/ (/ 1 y) (/ (pow y 1) z))
  (/ (/ (pow y 1) z) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1) z) (sqrt (/ 1 y)))
  (/ (/ (pow y 1) z) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (/ (/ (pow y 1) z) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (pow y 1) z) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ (sqrt 1) (sqrt y)))
  (/ (/ (pow y 1) z) (/ (sqrt 1) 1))
  (/ (/ (pow y 1) z) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (/ (pow y 1) z) (/ 1 (sqrt y)))
  (/ (/ (pow y 1) z) (/ 1 1))
  (/ (/ (pow y 1) z) 1)
  (/ (/ (pow y 1) z) 1)
  (/ (/ 1 y) (cbrt (/ (pow y 1) z)))
  (/ (/ 1 y) (sqrt (/ (pow y 1) z)))
  (/ (/ 1 y) (/ (pow (cbrt y) 1) (cbrt z)))
  (/ (/ 1 y) (/ (pow (cbrt y) 1) (sqrt z)))
  (/ (/ 1 y) (/ (pow (cbrt y) 1) z))
  (/ (/ 1 y) (/ (pow (sqrt y) 1) (cbrt z)))
  (/ (/ 1 y) (/ (pow (sqrt y) 1) (sqrt z)))
  (/ (/ 1 y) (/ (pow (sqrt y) 1) z))
  (/ (/ 1 y) (/ (pow y 1) (cbrt z)))
  (/ (/ 1 y) (/ (pow y 1) (sqrt z)))
  (/ (/ 1 y) (/ (pow y 1) z))
  (/ (/ 1 y) (/ (cbrt (pow y 1)) (cbrt z)))
  (/ (/ 1 y) (/ (cbrt (pow y 1)) (sqrt z)))
  (/ (/ 1 y) (/ (cbrt (pow y 1)) z))
  (/ (/ 1 y) (/ (sqrt (pow y 1)) (cbrt z)))
  (/ (/ 1 y) (/ (sqrt (pow y 1)) (sqrt z)))
  (/ (/ 1 y) (/ (sqrt (pow y 1)) z))
  (/ (/ 1 y) (/ (pow y 1) (cbrt z)))
  (/ (/ 1 y) (/ (pow y 1) (sqrt z)))
  (/ (/ 1 y) (/ (pow y 1) z))
  (/ (/ 1 y) (/ (pow y (/ 1 2)) (cbrt z)))
  (/ (/ 1 y) (/ (pow y (/ 1 2)) (sqrt z)))
  (/ (/ 1 y) (/ (pow y (/ 1 2)) z))
  (/ (/ 1 y) (/ (pow y 1) z))
  (/ (/ 1 y) (/ 1 z))
  (/ (/ (pow y 1) z) 1)
  (* (/ 1 y) z)
  (expm1 (+ (/ (/ (pow y 1) z) (/ 1 y)) x))
  (log1p (+ (/ (/ (pow y 1) z) (/ 1 y)) x))
  (* (exp (/ (/ (pow y 1) z) (/ 1 y))) (exp x))
  (log (+ (/ (/ (pow y 1) z) (/ 1 y)) x))
  (exp (+ (/ (/ (pow y 1) z) (/ 1 y)) x))
  (* (cbrt (+ (/ (/ (pow y 1) z) (/ 1 y)) x)) (cbrt (+ (/ (/ (pow y 1) z) (/ 1 y)) x)))
  (cbrt (+ (/ (/ (pow y 1) z) (/ 1 y)) x))
  (* (* (+ (/ (/ (pow y 1) z) (/ 1 y)) x) (+ (/ (/ (pow y 1) z) (/ 1 y)) x)) (+ (/ (/ (pow y 1) z) (/ 1 y)) x))
  (sqrt (+ (/ (/ (pow y 1) z) (/ 1 y)) x))
  (sqrt (+ (/ (/ (pow y 1) z) (/ 1 y)) x))
  (+ (pow (/ (/ (pow y 1) z) (/ 1 y)) 3) (pow x 3))
  (+ (* (/ (/ (pow y 1) z) (/ 1 y)) (/ (/ (pow y 1) z) (/ 1 y))) (- (* x x) (* (/ (/ (pow y 1) z) (/ 1 y)) x)))
  (- (* (/ (/ (pow y 1) z) (/ 1 y)) (/ (/ (pow y 1) z) (/ 1 y))) (* x x))
  (- (/ (/ (pow y 1) z) (/ 1 y)) x)
  (+ (/ (/ (pow y 1) z) (/ 1 y)) x)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
8.208 * * [simplify]: iteration  0 :  711  enodes  (cost  9558 )
8.362 * * [simplify]: iteration  1 :  2115  enodes  (cost  6861 )
9.000 * * [simplify]: iteration  done :  5001  enodes  (cost  6057 )
9.003 * [simplify]: Simplified to:
   (expm1 (* (/ y z) y))
  (log1p (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (log (* (/ y z) y))
  (exp (* (/ y z) y))
  (/ (/ (* y (* y y)) (* (* z z) z)) (/ 1 (* y (* y y))))
  (/ (/ (* y (* y y)) (* (* z z) z)) (/ 1 (* y (* y y))))
  (* (/ (* (/ y z) (* (/ y z) (/ y z))) (/ (/ 1 y) y)) y)
  (* (/ (* (/ y z) (* (/ y z) (/ y z))) (/ (/ 1 y) y)) y)
  (* (cbrt (* (/ y z) y)) (cbrt (* (/ y z) y)))
  (cbrt (* (/ y z) y))
  (pow (* (/ y z) y) 3)
  (sqrt (* (/ y z) y))
  (sqrt (* (/ y z) y))
  (/ (- y) z)
  (/ -1 y)
  (/ (cbrt (/ y z)) (/ (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) (cbrt (/ y z))))
  (/ (cbrt (/ y z)) (cbrt (/ 1 y)))
  (/ (* (cbrt (/ y z)) (cbrt (/ y z))) (sqrt (/ 1 y)))
  (/ (cbrt (/ y z)) (sqrt (/ 1 y)))
  (* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt y) (cbrt y)))
  (* (/ (cbrt (/ y z)) 1) (cbrt y))
  (* (* (cbrt (/ y z)) (cbrt (/ y z))) (sqrt y))
  (* (/ (cbrt (/ y z)) 1) (sqrt y))
  (* (cbrt (/ y z)) (cbrt (/ y z)))
  (* (/ (cbrt (/ y z)) 1) y)
  (* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt y) (cbrt y)))
  (* (/ (cbrt (/ y z)) 1) (cbrt y))
  (* (* (cbrt (/ y z)) (cbrt (/ y z))) (sqrt y))
  (* (/ (cbrt (/ y z)) 1) (sqrt y))
  (* (cbrt (/ y z)) (cbrt (/ y z)))
  (* (/ (cbrt (/ y z)) 1) y)
  (* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt y) (cbrt y)))
  (* (/ (cbrt (/ y z)) 1) (cbrt y))
  (* (* (cbrt (/ y z)) (cbrt (/ y z))) (sqrt y))
  (* (/ (cbrt (/ y z)) 1) (sqrt y))
  (* (cbrt (/ y z)) (cbrt (/ y z)))
  (* (/ (cbrt (/ y z)) 1) y)
  (* (cbrt (/ y z)) (cbrt (/ y z)))
  (* (/ (cbrt (/ y z)) 1) y)
  (* (cbrt (/ y z)) (cbrt (/ y z)))
  (* (/ (cbrt (/ y z)) 1) y)
  (/ (sqrt (/ y z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (sqrt (/ y z)) (cbrt (/ 1 y)))
  (/ (sqrt (/ y z)) (sqrt (/ 1 y)))
  (/ (sqrt (/ y z)) (sqrt (/ 1 y)))
  (* (sqrt (/ y z)) (* (cbrt y) (cbrt y)))
  (* (sqrt (/ y z)) (cbrt y))
  (* (sqrt (/ y z)) (sqrt y))
  (* (sqrt (/ y z)) (sqrt y))
  (sqrt (/ y z))
  (* (sqrt (/ y z)) y)
  (* (sqrt (/ y z)) (* (cbrt y) (cbrt y)))
  (* (sqrt (/ y z)) (cbrt y))
  (* (sqrt (/ y z)) (sqrt y))
  (* (sqrt (/ y z)) (sqrt y))
  (sqrt (/ y z))
  (* (sqrt (/ y z)) y)
  (* (sqrt (/ y z)) (* (cbrt y) (cbrt y)))
  (* (sqrt (/ y z)) (cbrt y))
  (* (sqrt (/ y z)) (sqrt y))
  (* (sqrt (/ y z)) (sqrt y))
  (sqrt (/ y z))
  (* (sqrt (/ y z)) y)
  (sqrt (/ y z))
  (* (sqrt (/ y z)) y)
  (sqrt (/ y z))
  (* (sqrt (/ y z)) y)
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (cbrt y) (cbrt z)) (cbrt (/ 1 y)))
  (/ (* (cbrt y) (cbrt y)) (* (sqrt (/ 1 y)) (* (cbrt z) (cbrt z))))
  (/ (/ (cbrt y) (cbrt z)) (sqrt (/ 1 y)))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt y) (cbrt y)) (cbrt z))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 y))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt y) (cbrt y)) (cbrt z))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 y))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt y) (cbrt y)) (cbrt z))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 y))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (cbrt y) (* (cbrt (/ 1 y)) (sqrt z)))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (cbrt y) (sqrt z)) (sqrt (/ 1 y)))
  (* (* (cbrt y) (cbrt y)) (* (/ (cbrt y) (sqrt z)) (cbrt y)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (* (/ (cbrt y) (sqrt z)) (cbrt y)) (sqrt y))
  (* (/ (/ (cbrt y) (sqrt z)) 1) (sqrt y))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) (sqrt z)))
  (* (* (cbrt y) (cbrt y)) (* (/ (cbrt y) (sqrt z)) (cbrt y)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (* (/ (cbrt y) (sqrt z)) (cbrt y)) (sqrt y))
  (* (/ (/ (cbrt y) (sqrt z)) 1) (sqrt y))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) (sqrt z)))
  (* (* (cbrt y) (cbrt y)) (* (/ (cbrt y) (sqrt z)) (cbrt y)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (* (/ (cbrt y) (sqrt z)) (cbrt y)) (sqrt y))
  (* (/ (/ (cbrt y) (sqrt z)) 1) (sqrt y))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) (sqrt z)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) (sqrt z)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (cbrt y) z) (cbrt (/ 1 y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ 1 y)))
  (/ (/ (cbrt y) z) (sqrt (/ 1 y)))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt y) z) (/ 1 (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (/ (cbrt y) z) (/ 1 (sqrt y)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) z))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt y) z) (/ 1 (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (/ (cbrt y) z) (/ 1 (sqrt y)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) z))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt y) z) (/ 1 (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (/ (cbrt y) z) (/ 1 (sqrt y)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) z))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) z))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) z))
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (sqrt y) (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ (sqrt y) (cbrt z)) (sqrt (/ 1 y)))
  (* (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (cbrt y)))
  (* (sqrt y) (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 y))
  (* (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (cbrt y)))
  (* (sqrt y) (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 y))
  (* (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (cbrt y)))
  (* (sqrt y) (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 y))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 y))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 y))
  (/ (/ (sqrt y) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (sqrt y) (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ (sqrt y) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (sqrt y) (sqrt z)) (sqrt (/ 1 y)))
  (* (* (cbrt y) (/ (sqrt y) (sqrt z))) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (/ (sqrt y) (sqrt z))
  (* y (/ (sqrt y) (sqrt z)))
  (* (* (cbrt y) (/ (sqrt y) (sqrt z))) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (/ (sqrt y) (sqrt z))
  (* y (/ (sqrt y) (sqrt z)))
  (* (* (cbrt y) (/ (sqrt y) (sqrt z))) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (/ (sqrt y) (sqrt z))
  (* y (/ (sqrt y) (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (* y (/ (sqrt y) (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (* y (/ (sqrt y) (sqrt z)))
  (/ (sqrt y) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (sqrt y) z) (cbrt (/ 1 y)))
  (/ (sqrt y) (sqrt (/ 1 y)))
  (/ (/ (sqrt y) z) (sqrt (/ 1 y)))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (* (/ (sqrt y) z) (cbrt y))
  (* (sqrt y) (sqrt y))
  (* (sqrt y) (/ (sqrt y) z))
  (sqrt y)
  (* y (/ (sqrt y) z))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (* (/ (sqrt y) z) (cbrt y))
  (* (sqrt y) (sqrt y))
  (* (sqrt y) (/ (sqrt y) z))
  (sqrt y)
  (* y (/ (sqrt y) z))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (* (/ (sqrt y) z) (cbrt y))
  (* (sqrt y) (sqrt y))
  (* (sqrt y) (/ (sqrt y) z))
  (sqrt y)
  (* y (/ (sqrt y) z))
  (sqrt y)
  (* y (/ (sqrt y) z))
  (sqrt y)
  (* y (/ (sqrt y) z))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ y (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ y (cbrt z)) (sqrt (/ 1 y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (* (/ 1 (sqrt y)) (cbrt z)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (* (/ 1 (sqrt y)) (cbrt z)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (* (/ 1 (sqrt y)) (cbrt z)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 y))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 y))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 y))
  (/ (/ 1 (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ y (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ 1 (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ y (sqrt z)) (sqrt (/ 1 y)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (cbrt y) (/ y (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (* (sqrt y) (/ y (sqrt z)))
  (/ 1 (sqrt z))
  (* y (/ y (sqrt z)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (cbrt y) (/ y (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (* (sqrt y) (/ y (sqrt z)))
  (/ 1 (sqrt z))
  (* y (/ y (sqrt z)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (cbrt y) (/ y (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (* (sqrt y) (/ y (sqrt z)))
  (/ 1 (sqrt z))
  (* y (/ y (sqrt z)))
  (/ 1 (sqrt z))
  (* y (/ y (sqrt z)))
  (/ 1 (sqrt z))
  (* y (/ y (sqrt z)))
  (/ 1 (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ y z) (cbrt (/ 1 y)))
  (/ 1 (sqrt (/ 1 y)))
  (/ (/ y z) (sqrt (/ 1 y)))
  (* (cbrt y) (cbrt y))
  (* (cbrt y) (/ y z))
  (sqrt y)
  (* (sqrt y) (/ y z))
  1
  (* y (/ y z))
  (* (cbrt y) (cbrt y))
  (* (cbrt y) (/ y z))
  (sqrt y)
  (* (sqrt y) (/ y z))
  1
  (* y (/ y z))
  (* (cbrt y) (cbrt y))
  (* (cbrt y) (/ y z))
  (sqrt y)
  (* (sqrt y) (/ y z))
  1
  (* y (/ y z))
  1
  (* y (/ y z))
  1
  (* y (/ y z))
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (cbrt y) (cbrt z)) (cbrt (/ 1 y)))
  (/ (* (cbrt y) (cbrt y)) (* (sqrt (/ 1 y)) (* (cbrt z) (cbrt z))))
  (/ (/ (cbrt y) (cbrt z)) (sqrt (/ 1 y)))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt y) (cbrt y)) (cbrt z))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 y))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt y) (cbrt y)) (cbrt z))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 y))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (* (cbrt y) (cbrt y)) (cbrt z))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) (/ 1 y))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (cbrt y) (* (cbrt (/ 1 y)) (sqrt z)))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (cbrt y) (sqrt z)) (sqrt (/ 1 y)))
  (* (* (cbrt y) (cbrt y)) (* (/ (cbrt y) (sqrt z)) (cbrt y)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (* (/ (cbrt y) (sqrt z)) (cbrt y)) (sqrt y))
  (* (/ (/ (cbrt y) (sqrt z)) 1) (sqrt y))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) (sqrt z)))
  (* (* (cbrt y) (cbrt y)) (* (/ (cbrt y) (sqrt z)) (cbrt y)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (* (/ (cbrt y) (sqrt z)) (cbrt y)) (sqrt y))
  (* (/ (/ (cbrt y) (sqrt z)) 1) (sqrt y))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) (sqrt z)))
  (* (* (cbrt y) (cbrt y)) (* (/ (cbrt y) (sqrt z)) (cbrt y)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (* (/ (cbrt y) (sqrt z)) (cbrt y)) (sqrt y))
  (* (/ (/ (cbrt y) (sqrt z)) 1) (sqrt y))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) (sqrt z)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) (sqrt z)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (cbrt y) z) (cbrt (/ 1 y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ 1 y)))
  (/ (/ (cbrt y) z) (sqrt (/ 1 y)))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt y) z) (/ 1 (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (/ (cbrt y) z) (/ 1 (sqrt y)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) z))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt y) z) (/ 1 (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (/ (cbrt y) z) (/ 1 (sqrt y)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) z))
  (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt y) z) (/ 1 (cbrt y)))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (/ (cbrt y) z) (/ 1 (sqrt y)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) z))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) z))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* (/ 1 y) z))
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (sqrt y) (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ (sqrt y) (cbrt z)) (sqrt (/ 1 y)))
  (* (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (cbrt y)))
  (* (sqrt y) (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 y))
  (* (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (cbrt y)))
  (* (sqrt y) (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 y))
  (* (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (cbrt y)))
  (* (sqrt y) (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 (sqrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 y))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 y))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) (/ 1 y))
  (/ (/ (sqrt y) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (sqrt y) (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ (sqrt y) (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ (sqrt y) (sqrt z)) (sqrt (/ 1 y)))
  (* (* (cbrt y) (/ (sqrt y) (sqrt z))) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (/ (sqrt y) (sqrt z))
  (* y (/ (sqrt y) (sqrt z)))
  (* (* (cbrt y) (/ (sqrt y) (sqrt z))) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (/ (sqrt y) (sqrt z))
  (* y (/ (sqrt y) (sqrt z)))
  (* (* (cbrt y) (/ (sqrt y) (sqrt z))) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (cbrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (* (/ (sqrt y) (sqrt z)) (sqrt y))
  (/ (sqrt y) (sqrt z))
  (* y (/ (sqrt y) (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (* y (/ (sqrt y) (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (* y (/ (sqrt y) (sqrt z)))
  (/ (sqrt y) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (sqrt y) z) (cbrt (/ 1 y)))
  (/ (sqrt y) (sqrt (/ 1 y)))
  (/ (/ (sqrt y) z) (sqrt (/ 1 y)))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (* (/ (sqrt y) z) (cbrt y))
  (* (sqrt y) (sqrt y))
  (* (sqrt y) (/ (sqrt y) z))
  (sqrt y)
  (* y (/ (sqrt y) z))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (* (/ (sqrt y) z) (cbrt y))
  (* (sqrt y) (sqrt y))
  (* (sqrt y) (/ (sqrt y) z))
  (sqrt y)
  (* y (/ (sqrt y) z))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (* (/ (sqrt y) z) (cbrt y))
  (* (sqrt y) (sqrt y))
  (* (sqrt y) (/ (sqrt y) z))
  (sqrt y)
  (* y (/ (sqrt y) z))
  (sqrt y)
  (* y (/ (sqrt y) z))
  (sqrt y)
  (* y (/ (sqrt y) z))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ y (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (/ y (cbrt z)) (sqrt (/ 1 y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (* (/ 1 (sqrt y)) (cbrt z)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (* (/ 1 (sqrt y)) (cbrt z)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 y))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (* (/ 1 (sqrt y)) (cbrt z)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 y))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 y))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) (/ 1 y))
  (/ (/ 1 (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ y (sqrt z)) (cbrt (/ 1 y)))
  (/ (/ 1 (sqrt z)) (sqrt (/ 1 y)))
  (/ (/ y (sqrt z)) (sqrt (/ 1 y)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (cbrt y) (/ y (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (* (sqrt y) (/ y (sqrt z)))
  (/ 1 (sqrt z))
  (* y (/ y (sqrt z)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (cbrt y) (/ y (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (* (sqrt y) (/ y (sqrt z)))
  (/ 1 (sqrt z))
  (* y (/ y (sqrt z)))
  (* (/ (cbrt y) (sqrt z)) (cbrt y))
  (* (cbrt y) (/ y (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (* (sqrt y) (/ y (sqrt z)))
  (/ 1 (sqrt z))
  (* y (/ y (sqrt z)))
  (/ 1 (sqrt z))
  (* y (/ y (sqrt z)))
  (/ 1 (sqrt z))
  (* y (/ y (sqrt z)))
  (/ 1 (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ y z) (cbrt (/ 1 y)))
  (/ 1 (sqrt (/ 1 y)))
  (/ (/ y z) (sqrt (/ 1 y)))
  (* (cbrt y) (cbrt y))
  (* (cbrt y) (/ y z))
  (sqrt y)
  (* (sqrt y) (/ y z))
  1
  (* y (/ y z))
  (* (cbrt y) (cbrt y))
  (* (cbrt y) (/ y z))
  (sqrt y)
  (* (sqrt y) (/ y z))
  1
  (* y (/ y z))
  (* (cbrt y) (cbrt y))
  (* (cbrt y) (/ y z))
  (sqrt y)
  (* (sqrt y) (/ y z))
  1
  (* y (/ y z))
  1
  (* y (/ y z))
  1
  (* y (/ y z))
  (/ (/ (pow y 1/2) (* (cbrt z) (cbrt z))) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1/2) (cbrt z)) (cbrt (/ 1 y)))
  (/ (/ (pow y 1/2) (* (cbrt z) (cbrt z))) (sqrt (/ 1 y)))
  (/ (pow y 1/2) (* (sqrt (/ 1 y)) (cbrt z)))
  (* (/ (pow y 1/2) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (pow y 1/2) (* (/ 1 (cbrt y)) (cbrt z)))
  (* (/ (pow y 1/2) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (pow y 1/2) (* (/ 1 (sqrt y)) (cbrt z)))
  (/ (pow y 1/2) (* (cbrt z) (cbrt z)))
  (/ (pow y 1/2) (* (/ 1 y) (cbrt z)))
  (* (/ (pow y 1/2) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (pow y 1/2) (* (/ 1 (cbrt y)) (cbrt z)))
  (* (/ (pow y 1/2) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (pow y 1/2) (* (/ 1 (sqrt y)) (cbrt z)))
  (/ (pow y 1/2) (* (cbrt z) (cbrt z)))
  (/ (pow y 1/2) (* (/ 1 y) (cbrt z)))
  (* (/ (pow y 1/2) (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (/ (pow y 1/2) (* (/ 1 (cbrt y)) (cbrt z)))
  (* (/ (pow y 1/2) (* (cbrt z) (cbrt z))) (sqrt y))
  (/ (pow y 1/2) (* (/ 1 (sqrt y)) (cbrt z)))
  (/ (pow y 1/2) (* (cbrt z) (cbrt z)))
  (/ (pow y 1/2) (* (/ 1 y) (cbrt z)))
  (/ (pow y 1/2) (* (cbrt z) (cbrt z)))
  (/ (pow y 1/2) (* (/ 1 y) (cbrt z)))
  (/ (pow y 1/2) (* (cbrt z) (cbrt z)))
  (/ (pow y 1/2) (* (/ 1 y) (cbrt z)))
  (/ (/ (pow y 1/2) (sqrt z)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1/2) (sqrt z)) (cbrt (/ 1 y)))
  (/ (pow y 1/2) (* (sqrt (/ 1 y)) (sqrt z)))
  (/ (pow y 1/2) (* (sqrt (/ 1 y)) (sqrt z)))
  (* (/ (pow y 1/2) (sqrt z)) (* (cbrt y) (cbrt y)))
  (* (cbrt y) (/ (pow y 1/2) (sqrt z)))
  (* (/ (pow y 1/2) (sqrt z)) (sqrt y))
  (* (/ (pow y 1/2) (sqrt z)) (sqrt y))
  (/ (pow y 1/2) (sqrt z))
  (* (/ (pow y 1/2) (sqrt z)) y)
  (* (/ (pow y 1/2) (sqrt z)) (* (cbrt y) (cbrt y)))
  (* (cbrt y) (/ (pow y 1/2) (sqrt z)))
  (* (/ (pow y 1/2) (sqrt z)) (sqrt y))
  (* (/ (pow y 1/2) (sqrt z)) (sqrt y))
  (/ (pow y 1/2) (sqrt z))
  (* (/ (pow y 1/2) (sqrt z)) y)
  (* (/ (pow y 1/2) (sqrt z)) (* (cbrt y) (cbrt y)))
  (* (cbrt y) (/ (pow y 1/2) (sqrt z)))
  (* (/ (pow y 1/2) (sqrt z)) (sqrt y))
  (* (/ (pow y 1/2) (sqrt z)) (sqrt y))
  (/ (pow y 1/2) (sqrt z))
  (* (/ (pow y 1/2) (sqrt z)) y)
  (/ (pow y 1/2) (sqrt z))
  (* (/ (pow y 1/2) (sqrt z)) y)
  (/ (pow y 1/2) (sqrt z))
  (* (/ (pow y 1/2) (sqrt z)) y)
  (/ (pow y 1/2) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ (pow y 1/2) z) (cbrt (/ 1 y)))
  (/ (pow y 1/2) (sqrt (/ 1 y)))
  (/ (/ (pow y 1/2) z) (sqrt (/ 1 y)))
  (* (pow y 1/2) (* (cbrt y) (cbrt y)))
  (* (/ (pow y 1/2) z) (cbrt y))
  (* (pow y 1/2) (sqrt y))
  (* (sqrt y) (/ (pow y 1/2) z))
  (pow y 1/2)
  (* y (/ (pow y 1/2) z))
  (* (pow y 1/2) (* (cbrt y) (cbrt y)))
  (* (/ (pow y 1/2) z) (cbrt y))
  (* (pow y 1/2) (sqrt y))
  (* (sqrt y) (/ (pow y 1/2) z))
  (pow y 1/2)
  (* y (/ (pow y 1/2) z))
  (* (pow y 1/2) (* (cbrt y) (cbrt y)))
  (* (/ (pow y 1/2) z) (cbrt y))
  (* (pow y 1/2) (sqrt y))
  (* (sqrt y) (/ (pow y 1/2) z))
  (pow y 1/2)
  (* y (/ (pow y 1/2) z))
  (pow y 1/2)
  (* y (/ (pow y 1/2) z))
  (pow y 1/2)
  (* y (/ (pow y 1/2) z))
  (/ 1 (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ y z) (cbrt (/ 1 y)))
  (/ 1 (sqrt (/ 1 y)))
  (/ (/ y z) (sqrt (/ 1 y)))
  (* (cbrt y) (cbrt y))
  (* (cbrt y) (/ y z))
  (sqrt y)
  (* (sqrt y) (/ y z))
  1
  (* y (/ y z))
  (* (cbrt y) (cbrt y))
  (* (cbrt y) (/ y z))
  (sqrt y)
  (* (sqrt y) (/ y z))
  1
  (* y (/ y z))
  (* (cbrt y) (cbrt y))
  (* (cbrt y) (/ y z))
  (sqrt y)
  (* (sqrt y) (/ y z))
  1
  (* y (/ y z))
  1
  (* y (/ y z))
  1
  (* y (/ y z))
  (/ y (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (/ (/ 1 z) (cbrt (/ 1 y)))
  (/ y (sqrt (/ 1 y)))
  (/ (/ 1 z) (sqrt (/ 1 y)))
  (* y (* (cbrt y) (cbrt y)))
  (* (/ 1 z) (cbrt y))
  (* (sqrt y) y)
  (/ (sqrt y) z)
  y
  (/ y z)
  (* y (* (cbrt y) (cbrt y)))
  (* (/ 1 z) (cbrt y))
  (* (sqrt y) y)
  (/ (sqrt y) z)
  y
  (/ y z)
  (* y (* (cbrt y) (cbrt y)))
  (* (/ 1 z) (cbrt y))
  (* (sqrt y) y)
  (/ (sqrt y) z)
  y
  (/ y z)
  y
  (/ y z)
  y
  (/ y z)
  y
  (/ 1 (* (/ y z) y))
  (/ (/ (/ y z) (cbrt (/ 1 y))) (cbrt (/ 1 y)))
  (/ (/ y z) (sqrt (/ 1 y)))
  (* (/ y z) (* (cbrt y) (cbrt y)))
  (* (sqrt y) (/ y z))
  (/ y z)
  (* (/ y z) (* (cbrt y) (cbrt y)))
  (* (sqrt y) (/ y z))
  (/ y z)
  (* (/ y z) (* (cbrt y) (cbrt y)))
  (* (sqrt y) (/ y z))
  (/ y z)
  (/ y z)
  (/ y z)
  (/ (/ 1 y) (cbrt (/ y z)))
  (/ (/ 1 y) (sqrt (/ y z)))
  (/ (/ 1 y) (/ (cbrt y) (cbrt z)))
  (/ (/ 1 y) (/ (cbrt y) (sqrt z)))
  (/ (/ 1 y) (/ (cbrt y) z))
  (/ 1 (* (/ (sqrt y) (cbrt z)) y))
  (/ (/ 1 y) (/ (sqrt y) (sqrt z)))
  (/ (/ 1 y) (/ (sqrt y) z))
  (/ (/ 1 y) (/ y (cbrt z)))
  (/ (/ 1 y) (/ y (sqrt z)))
  (/ 1 (* (/ y z) y))
  (/ (/ 1 y) (/ (cbrt y) (cbrt z)))
  (/ (/ 1 y) (/ (cbrt y) (sqrt z)))
  (/ (/ 1 y) (/ (cbrt y) z))
  (/ 1 (* (/ (sqrt y) (cbrt z)) y))
  (/ (/ 1 y) (/ (sqrt y) (sqrt z)))
  (/ (/ 1 y) (/ (sqrt y) z))
  (/ (/ 1 y) (/ y (cbrt z)))
  (/ (/ 1 y) (/ y (sqrt z)))
  (/ 1 (* (/ y z) y))
  (* (/ (/ 1 y) (pow y 1/2)) (cbrt z))
  (* (/ (/ 1 y) (pow y 1/2)) (sqrt z))
  (* (/ (/ 1 y) (pow y 1/2)) z)
  (/ 1 (* (/ y z) y))
  (* (/ 1 y) z)
  (/ y z)
  (* (/ 1 y) z)
  (expm1 (+ (* (/ y z) y) x))
  (log1p (+ (* (/ y z) y) x))
  (exp (+ (* (/ y z) y) x))
  (log (+ (* (/ y z) y) x))
  (exp (+ (* (/ y z) y) x))
  (* (cbrt (+ (* (/ y z) y) x)) (cbrt (+ (* (/ y z) y) x)))
  (cbrt (+ (* (/ y z) y) x))
  (* (+ (* (/ y z) y) x) (* (+ (* (/ y z) y) x) (+ (* (/ y z) y) x)))
  (sqrt (+ (* (/ y z) y) x))
  (sqrt (+ (* (/ y z) y) x))
  (+ (pow x 3) (pow (* (/ y z) y) 3))
  (fma (* (/ y z) y) (* (/ y z) y) (* x (- x (* (/ y z) y))))
  (fma (* (/ y z) y) (* (/ y z) y) (- (* x x)))
  (- (* (/ y z) y) x)
  (+ (* (/ y z) y) x)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
  (+ x (/ (pow y 2) z))
9.007 * * * [progress]: adding candidates to table
10.567 * [progress]: [Phase 3 of 3] Extracting.
10.567 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma (/ y z) y x))> #<alt (λ (x y z) (+ (/ (pow 1 2) (/ z (pow y 2))) x))> #<alt (λ (x y z) (+ (/ (/ (pow y 1) z) (/ 1 y)) x))> #<alt (λ (x y z) (+ (/ (/ (/ (/ y z) (cbrt (/ 1 y))) (cbrt (/ 1 y))) (cbrt (/ 1 y))) x))> #<alt (λ (x y z) (+ (/ (pow y (/ 2 2)) (/ z y)) x))> #<alt (λ (x y z) (fma (/ (pow y 1) 1) (/ (/ 1 z) (/ 1 y)) x))>)
10.568 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
10.568 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma (/ y z) y x))> #<alt (λ (x y z) (+ (/ (pow 1 2) (/ z (pow y 2))) x))> #<alt (λ (x y z) (+ (/ (/ (pow y 1) z) (/ 1 y)) x))> #<alt (λ (x y z) (+ (/ (/ (/ (/ y z) (cbrt (/ 1 y))) (cbrt (/ 1 y))) (cbrt (/ 1 y))) x))> #<alt (λ (x y z) (+ (/ (pow y (/ 2 2)) (/ z y)) x))> #<alt (λ (x y z) (fma (/ (pow y 1) 1) (/ (/ 1 z) (/ 1 y)) x))>)
10.594 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma (/ y z) y x))> #<alt (λ (x y z) (+ (/ (pow 1 2) (/ z (pow y 2))) x))> #<alt (λ (x y z) (+ (/ (/ (pow y 1) z) (/ 1 y)) x))> #<alt (λ (x y z) (+ (/ (/ (/ (/ y z) (cbrt (/ 1 y))) (cbrt (/ 1 y))) (cbrt (/ 1 y))) x))> #<alt (λ (x y z) (+ (/ (pow y (/ 2 2)) (/ z y)) x))> #<alt (λ (x y z) (fma (/ (pow y 1) 1) (/ (/ 1 z) (/ 1 y)) x))>)
10.617 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma (/ y z) y x))> #<alt (λ (x y z) (+ (/ (pow 1 2) (/ z (pow y 2))) x))> #<alt (λ (x y z) (+ (/ (/ (pow y 1) z) (/ 1 y)) x))> #<alt (λ (x y z) (+ (/ (/ (/ (/ y z) (cbrt (/ 1 y))) (cbrt (/ 1 y))) (cbrt (/ 1 y))) x))> #<alt (λ (x y z) (+ (/ (pow y (/ 2 2)) (/ z y)) x))> #<alt (λ (x y z) (fma (/ (pow y 1) 1) (/ (/ 1 z) (/ 1 y)) x))>)
10.639 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
10.640 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (/ (pow y (/ 2 2)) (/ z y)) x)
10.640 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
10.640 * * [simplify]: iteration  1 :  10  enodes  (cost  11 )
10.640 * * [simplify]: iteration  done :  10  enodes  (cost  11 )
10.640 * [simplify]: Simplified to:
   (+ (/ (pow y (/ 2 2)) (/ z y)) x)
11.311 * [regime-testing]: Baseline error score: 0.08558381828987638
11.312 * [regime-testing]: Oracle error score: 0.005375671958994874
11.313 * [regime-testing]: End program error score: 0.08558381828987638
11.332 * [regime-testing]: Target error score: 0.0831353919239905