35.618 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* x y) z)
0.018 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.018 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
0.019 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
0.021 * * [simplify]: iteration  3 :  15  enodes  (cost  5 )
0.022 * * [simplify]: iteration  4 :  16  enodes  (cost  5 )
0.024 * * [simplify]: iteration  done :  16  enodes  (cost  5 )
0.024 * [simplify]: Simplified to:
   (/ (* x y) z)
0.024 * * [progress]: iteration 1 / 4
0.024 * * * [progress]: picking best candidate
0.026 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* x y) z))>
0.026 * * * [progress]: localizing error
0.030 * * * [progress]: generating rewritten candidates
0.030 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.034 * * * [progress]: generating series expansions
0.034 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.034 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
0.034 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
0.034 * [taylor]: Taking taylor expansion of (* x y) in z
0.034 * [taylor]: Taking taylor expansion of x in z
0.034 * [taylor]: Taking taylor expansion of y in z
0.034 * [taylor]: Taking taylor expansion of z in z
0.034 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
0.034 * [taylor]: Taking taylor expansion of (* x y) in y
0.034 * [taylor]: Taking taylor expansion of x in y
0.034 * [taylor]: Taking taylor expansion of y in y
0.034 * [taylor]: Taking taylor expansion of z in y
0.034 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.035 * [taylor]: Taking taylor expansion of (* x y) in x
0.035 * [taylor]: Taking taylor expansion of x in x
0.035 * [taylor]: Taking taylor expansion of y in x
0.035 * [taylor]: Taking taylor expansion of z in x
0.035 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.035 * [taylor]: Taking taylor expansion of (* x y) in x
0.035 * [taylor]: Taking taylor expansion of x in x
0.035 * [taylor]: Taking taylor expansion of y in x
0.035 * [taylor]: Taking taylor expansion of z in x
0.035 * [taylor]: Taking taylor expansion of (/ y z) in y
0.035 * [taylor]: Taking taylor expansion of y in y
0.035 * [taylor]: Taking taylor expansion of z in y
0.035 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.036 * [taylor]: Taking taylor expansion of z in z
0.036 * [taylor]: Taking taylor expansion of 0 in y
0.036 * [taylor]: Taking taylor expansion of 0 in z
0.037 * [taylor]: Taking taylor expansion of 0 in z
0.038 * [taylor]: Taking taylor expansion of 0 in y
0.038 * [taylor]: Taking taylor expansion of 0 in z
0.038 * [taylor]: Taking taylor expansion of 0 in z
0.038 * [taylor]: Taking taylor expansion of 0 in z
0.040 * [taylor]: Taking taylor expansion of 0 in y
0.040 * [taylor]: Taking taylor expansion of 0 in z
0.040 * [taylor]: Taking taylor expansion of 0 in z
0.040 * [taylor]: Taking taylor expansion of 0 in z
0.040 * [taylor]: Taking taylor expansion of 0 in z
0.040 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
0.040 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.040 * [taylor]: Taking taylor expansion of z in z
0.040 * [taylor]: Taking taylor expansion of (* x y) in z
0.040 * [taylor]: Taking taylor expansion of x in z
0.041 * [taylor]: Taking taylor expansion of y in z
0.041 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.041 * [taylor]: Taking taylor expansion of z in y
0.041 * [taylor]: Taking taylor expansion of (* x y) in y
0.041 * [taylor]: Taking taylor expansion of x in y
0.041 * [taylor]: Taking taylor expansion of y in y
0.041 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.041 * [taylor]: Taking taylor expansion of z in x
0.041 * [taylor]: Taking taylor expansion of (* x y) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of y in x
0.041 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.041 * [taylor]: Taking taylor expansion of z in x
0.041 * [taylor]: Taking taylor expansion of (* x y) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of y in x
0.042 * [taylor]: Taking taylor expansion of (/ z y) in y
0.042 * [taylor]: Taking taylor expansion of z in y
0.042 * [taylor]: Taking taylor expansion of y in y
0.042 * [taylor]: Taking taylor expansion of z in z
0.043 * [taylor]: Taking taylor expansion of 0 in y
0.043 * [taylor]: Taking taylor expansion of 0 in z
0.044 * [taylor]: Taking taylor expansion of 0 in y
0.044 * [taylor]: Taking taylor expansion of 0 in z
0.045 * [taylor]: Taking taylor expansion of 0 in z
0.045 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
0.045 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
0.045 * [taylor]: Taking taylor expansion of -1 in z
0.045 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.045 * [taylor]: Taking taylor expansion of z in z
0.045 * [taylor]: Taking taylor expansion of (* x y) in z
0.045 * [taylor]: Taking taylor expansion of x in z
0.045 * [taylor]: Taking taylor expansion of y in z
0.045 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
0.045 * [taylor]: Taking taylor expansion of -1 in y
0.045 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.045 * [taylor]: Taking taylor expansion of z in y
0.045 * [taylor]: Taking taylor expansion of (* x y) in y
0.045 * [taylor]: Taking taylor expansion of x in y
0.046 * [taylor]: Taking taylor expansion of y in y
0.046 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.046 * [taylor]: Taking taylor expansion of -1 in x
0.046 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.046 * [taylor]: Taking taylor expansion of z in x
0.046 * [taylor]: Taking taylor expansion of (* x y) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [taylor]: Taking taylor expansion of y in x
0.046 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.046 * [taylor]: Taking taylor expansion of -1 in x
0.046 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.046 * [taylor]: Taking taylor expansion of z in x
0.046 * [taylor]: Taking taylor expansion of (* x y) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [taylor]: Taking taylor expansion of y in x
0.047 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
0.047 * [taylor]: Taking taylor expansion of -1 in y
0.047 * [taylor]: Taking taylor expansion of (/ z y) in y
0.047 * [taylor]: Taking taylor expansion of z in y
0.047 * [taylor]: Taking taylor expansion of y in y
0.047 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.047 * [taylor]: Taking taylor expansion of -1 in z
0.047 * [taylor]: Taking taylor expansion of z in z
0.048 * [taylor]: Taking taylor expansion of 0 in y
0.049 * [taylor]: Taking taylor expansion of 0 in z
0.051 * [taylor]: Taking taylor expansion of 0 in y
0.051 * [taylor]: Taking taylor expansion of 0 in z
0.053 * [taylor]: Taking taylor expansion of 0 in z
0.054 * * * [progress]: simplifying candidates
0.054 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (- (+ (log x) (log y)) (log z))
  (- (log (* x y)) (log z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  (/ x 1)
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (/ (* x y) 1)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
0.055 * * [simplify]: iteration  0 :  50  enodes  (cost  198 )
0.064 * * [simplify]: iteration  1 :  113  enodes  (cost  191 )
0.089 * * [simplify]: iteration  2 :  385  enodes  (cost  161 )
0.406 * * [simplify]: iteration  3 :  1802  enodes  (cost  161 )
2.178 * * [simplify]: iteration  done :  5000  enodes  (cost  161 )
2.178 * [simplify]: Simplified to:
   (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  (/ 1 z)
  (/ (/ z x) y)
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (* x y)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
2.179 * * * [progress]: adding candidates to table
2.222 * * [progress]: iteration 2 / 4
2.222 * * * [progress]: picking best candidate
2.231 * * * * [pick]: Picked  #<alt (λ (x y z) (/ x (/ z y)))>
2.231 * * * [progress]: localizing error
2.235 * * * [progress]: generating rewritten candidates
2.235 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.243 * * * [progress]: generating series expansions
2.243 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.243 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
2.243 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
2.243 * [taylor]: Taking taylor expansion of (* x y) in y
2.243 * [taylor]: Taking taylor expansion of x in y
2.243 * [taylor]: Taking taylor expansion of y in y
2.243 * [taylor]: Taking taylor expansion of z in y
2.244 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.244 * [taylor]: Taking taylor expansion of (* x y) in z
2.244 * [taylor]: Taking taylor expansion of x in z
2.244 * [taylor]: Taking taylor expansion of y in z
2.244 * [taylor]: Taking taylor expansion of z in z
2.244 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.244 * [taylor]: Taking taylor expansion of (* x y) in x
2.244 * [taylor]: Taking taylor expansion of x in x
2.244 * [taylor]: Taking taylor expansion of y in x
2.244 * [taylor]: Taking taylor expansion of z in x
2.244 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.244 * [taylor]: Taking taylor expansion of (* x y) in x
2.244 * [taylor]: Taking taylor expansion of x in x
2.244 * [taylor]: Taking taylor expansion of y in x
2.244 * [taylor]: Taking taylor expansion of z in x
2.245 * [taylor]: Taking taylor expansion of (/ y z) in z
2.245 * [taylor]: Taking taylor expansion of y in z
2.245 * [taylor]: Taking taylor expansion of z in z
2.245 * [taylor]: Taking taylor expansion of y in y
2.246 * [taylor]: Taking taylor expansion of 0 in z
2.246 * [taylor]: Taking taylor expansion of 0 in y
2.247 * [taylor]: Taking taylor expansion of 0 in z
2.247 * [taylor]: Taking taylor expansion of 0 in y
2.248 * [taylor]: Taking taylor expansion of 0 in y
2.248 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
2.248 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.248 * [taylor]: Taking taylor expansion of z in y
2.248 * [taylor]: Taking taylor expansion of (* x y) in y
2.248 * [taylor]: Taking taylor expansion of x in y
2.248 * [taylor]: Taking taylor expansion of y in y
2.249 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.249 * [taylor]: Taking taylor expansion of z in z
2.249 * [taylor]: Taking taylor expansion of (* x y) in z
2.249 * [taylor]: Taking taylor expansion of x in z
2.249 * [taylor]: Taking taylor expansion of y in z
2.249 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.249 * [taylor]: Taking taylor expansion of z in x
2.249 * [taylor]: Taking taylor expansion of (* x y) in x
2.249 * [taylor]: Taking taylor expansion of x in x
2.249 * [taylor]: Taking taylor expansion of y in x
2.249 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.249 * [taylor]: Taking taylor expansion of z in x
2.249 * [taylor]: Taking taylor expansion of (* x y) in x
2.249 * [taylor]: Taking taylor expansion of x in x
2.249 * [taylor]: Taking taylor expansion of y in x
2.250 * [taylor]: Taking taylor expansion of (/ z y) in z
2.250 * [taylor]: Taking taylor expansion of z in z
2.250 * [taylor]: Taking taylor expansion of y in z
2.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.250 * [taylor]: Taking taylor expansion of y in y
2.251 * [taylor]: Taking taylor expansion of 0 in z
2.251 * [taylor]: Taking taylor expansion of 0 in y
2.251 * [taylor]: Taking taylor expansion of 0 in y
2.252 * [taylor]: Taking taylor expansion of 0 in z
2.252 * [taylor]: Taking taylor expansion of 0 in y
2.252 * [taylor]: Taking taylor expansion of 0 in y
2.252 * [taylor]: Taking taylor expansion of 0 in y
2.254 * [taylor]: Taking taylor expansion of 0 in z
2.254 * [taylor]: Taking taylor expansion of 0 in y
2.254 * [taylor]: Taking taylor expansion of 0 in y
2.254 * [taylor]: Taking taylor expansion of 0 in y
2.254 * [taylor]: Taking taylor expansion of 0 in y
2.255 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0
2.255 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
2.255 * [taylor]: Taking taylor expansion of -1 in y
2.255 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.255 * [taylor]: Taking taylor expansion of z in y
2.255 * [taylor]: Taking taylor expansion of (* x y) in y
2.255 * [taylor]: Taking taylor expansion of x in y
2.255 * [taylor]: Taking taylor expansion of y in y
2.255 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
2.255 * [taylor]: Taking taylor expansion of -1 in z
2.255 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.255 * [taylor]: Taking taylor expansion of z in z
2.255 * [taylor]: Taking taylor expansion of (* x y) in z
2.255 * [taylor]: Taking taylor expansion of x in z
2.255 * [taylor]: Taking taylor expansion of y in z
2.255 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
2.255 * [taylor]: Taking taylor expansion of -1 in x
2.255 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.255 * [taylor]: Taking taylor expansion of z in x
2.255 * [taylor]: Taking taylor expansion of (* x y) in x
2.255 * [taylor]: Taking taylor expansion of x in x
2.255 * [taylor]: Taking taylor expansion of y in x
2.256 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
2.256 * [taylor]: Taking taylor expansion of -1 in x
2.256 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.256 * [taylor]: Taking taylor expansion of z in x
2.256 * [taylor]: Taking taylor expansion of (* x y) in x
2.256 * [taylor]: Taking taylor expansion of x in x
2.256 * [taylor]: Taking taylor expansion of y in x
2.256 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
2.256 * [taylor]: Taking taylor expansion of -1 in z
2.256 * [taylor]: Taking taylor expansion of (/ z y) in z
2.256 * [taylor]: Taking taylor expansion of z in z
2.256 * [taylor]: Taking taylor expansion of y in z
2.256 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.256 * [taylor]: Taking taylor expansion of -1 in y
2.256 * [taylor]: Taking taylor expansion of y in y
2.257 * [taylor]: Taking taylor expansion of 0 in z
2.257 * [taylor]: Taking taylor expansion of 0 in y
2.258 * [taylor]: Taking taylor expansion of 0 in y
2.260 * [taylor]: Taking taylor expansion of 0 in z
2.260 * [taylor]: Taking taylor expansion of 0 in y
2.260 * [taylor]: Taking taylor expansion of 0 in y
2.261 * [taylor]: Taking taylor expansion of 0 in y
2.263 * [taylor]: Taking taylor expansion of 0 in z
2.263 * [taylor]: Taking taylor expansion of 0 in y
2.263 * [taylor]: Taking taylor expansion of 0 in y
2.263 * [taylor]: Taking taylor expansion of 0 in y
2.264 * [taylor]: Taking taylor expansion of 0 in y
2.264 * * * [progress]: simplifying candidates
2.265 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  (- (log x) (- (log z) (log y)))
  (- (log x) (log (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (/ (* (* x x) x) (/ (* (* z z) z) (* (* y y) y)))
  (/ (* (* x x) x) (* (* (/ z y) (/ z y)) (/ z y)))
  (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y))))
  (cbrt (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (- x)
  (- (/ z y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ z y)))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) 1))
  (/ (cbrt x) (/ (sqrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ z (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt y)))
  (/ (cbrt x) (/ z (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 1))
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) z)
  (/ (cbrt x) (/ 1 y))
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (cbrt z) (cbrt y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt x) (/ (cbrt z) (sqrt y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (sqrt x) (/ (cbrt z) y))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (cbrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) 1))
  (/ (sqrt x) (/ (sqrt z) y))
  (/ (sqrt x) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ z (cbrt y)))
  (/ (sqrt x) (/ 1 (sqrt y)))
  (/ (sqrt x) (/ z (sqrt y)))
  (/ (sqrt x) (/ 1 1))
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) 1)
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) z)
  (/ (sqrt x) (/ 1 y))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (cbrt z) (cbrt y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (/ (cbrt z) (sqrt y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (cbrt z) y))
  (/ 1 (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (cbrt y)))
  (/ 1 (/ (sqrt z) (sqrt y)))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ 1 (/ (sqrt z) 1))
  (/ x (/ (sqrt z) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ x (/ z (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ x (/ z (sqrt y)))
  (/ 1 (/ 1 1))
  (/ x (/ z y))
  (/ 1 1)
  (/ x (/ z y))
  (/ 1 z)
  (/ x (/ 1 y))
  (/ 1 (/ z y))
  (/ (/ z y) x)
  (/ x (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (sqrt (/ z y)))
  (/ x (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ x (/ (sqrt z) 1))
  (/ x (/ 1 (* (cbrt y) (cbrt y))))
  (/ x (/ 1 (sqrt y)))
  (/ x (/ 1 1))
  (/ x 1)
  (/ x z)
  (/ (/ z y) (cbrt x))
  (/ (/ z y) (sqrt x))
  (/ (/ z y) x)
  (/ x z)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
2.269 * * [simplify]: iteration  0 :  152  enodes  (cost  892 )
2.307 * * [simplify]: iteration  1 :  327  enodes  (cost  825 )
2.384 * * [simplify]: iteration  2 :  966  enodes  (cost  785 )
3.281 * * [simplify]: iteration  3 :  3655  enodes  (cost  783 )
4.180 * * [simplify]: iteration  done :  5001  enodes  (cost  783 )
4.180 * [simplify]: Simplified to:
   (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y))))
  (cbrt (/ x (/ z y)))
  (pow (/ (* x y) z) 3)
  (sqrt (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (- x)
  (- (/ z y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt x) (cbrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ z y)))
  (/ (cbrt x) (sqrt (/ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (cbrt x) (/ (cbrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))
  (/ (cbrt x) (/ (cbrt z) y))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ (cbrt x) (/ (sqrt z) y))
  (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))
  (/ (cbrt x) (/ z (cbrt y)))
  (* (* (cbrt x) (cbrt x)) (sqrt y))
  (/ (cbrt x) (/ z (sqrt y)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z y))
  (/ (* (cbrt x) (cbrt x)) z)
  (* (cbrt x) y)
  (/ (sqrt x) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt x) (cbrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (sqrt (/ z y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (* (sqrt x) (/ (sqrt y) (cbrt z)))
  (/ (sqrt x) (* (cbrt z) (cbrt z)))
  (/ (sqrt x) (/ (cbrt z) y))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ (sqrt x) (/ (sqrt z) (cbrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt y)))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (/ (sqrt z) y))
  (* (sqrt x) (* (cbrt y) (cbrt y)))
  (/ (sqrt x) (/ z (cbrt y)))
  (* (sqrt x) (sqrt y))
  (/ (sqrt x) (/ z (sqrt y)))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  (sqrt x)
  (/ (sqrt x) (/ z y))
  (/ (sqrt x) z)
  (* (sqrt x) y)
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (cbrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ x (sqrt (/ z y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ x (/ (cbrt z) (cbrt y)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ x (/ (cbrt z) (sqrt y)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ x (/ (cbrt z) y))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (* (cbrt y) x) (sqrt z))
  (/ (sqrt y) (sqrt z))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ 1 (sqrt z))
  (/ x (/ (sqrt z) y))
  (* (cbrt y) (cbrt y))
  (/ x (/ z (cbrt y)))
  (sqrt y)
  (/ x (/ z (sqrt y)))
  1
  (* x (/ y z))
  1
  (* x (/ y z))
  (/ 1 z)
  (* x y)
  (/ y z)
  (/ (/ z y) x)
  (/ x (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ x (sqrt (/ z y)))
  (/ x (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (/ x (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ x (* (cbrt z) (cbrt z)))
  (/ x (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (/ x (/ (sqrt z) (sqrt y)))
  (/ x (sqrt z))
  (* x (* (cbrt y) (cbrt y)))
  (* x (sqrt y))
  x
  x
  (/ x z)
  (/ (/ z y) (cbrt x))
  (/ (/ z y) (sqrt x))
  (/ (/ z y) x)
  (/ x z)
  (* x (/ y z))
  (* x (/ y z))
  (* x (/ y z))
4.181 * * * [progress]: adding candidates to table
4.332 * * [progress]: iteration 3 / 4
4.332 * * * [progress]: picking best candidate
4.337 * * * * [pick]: Picked  #<alt (λ (x y z) (* 1 (* x (/ y z))))>
4.338 * * * [progress]: localizing error
4.343 * * * [progress]: generating rewritten candidates
4.343 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
4.351 * * * [progress]: generating series expansions
4.351 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
4.351 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
4.351 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.351 * [taylor]: Taking taylor expansion of (* x y) in z
4.351 * [taylor]: Taking taylor expansion of x in z
4.351 * [taylor]: Taking taylor expansion of y in z
4.351 * [taylor]: Taking taylor expansion of z in z
4.351 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.351 * [taylor]: Taking taylor expansion of (* x y) in y
4.351 * [taylor]: Taking taylor expansion of x in y
4.351 * [taylor]: Taking taylor expansion of y in y
4.351 * [taylor]: Taking taylor expansion of z in y
4.352 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.352 * [taylor]: Taking taylor expansion of (* x y) in x
4.352 * [taylor]: Taking taylor expansion of x in x
4.352 * [taylor]: Taking taylor expansion of y in x
4.352 * [taylor]: Taking taylor expansion of z in x
4.353 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.353 * [taylor]: Taking taylor expansion of (* x y) in x
4.353 * [taylor]: Taking taylor expansion of x in x
4.353 * [taylor]: Taking taylor expansion of y in x
4.353 * [taylor]: Taking taylor expansion of z in x
4.353 * [taylor]: Taking taylor expansion of (/ y z) in y
4.353 * [taylor]: Taking taylor expansion of y in y
4.353 * [taylor]: Taking taylor expansion of z in y
4.353 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.353 * [taylor]: Taking taylor expansion of z in z
4.354 * [taylor]: Taking taylor expansion of 0 in y
4.354 * [taylor]: Taking taylor expansion of 0 in z
4.354 * [taylor]: Taking taylor expansion of 0 in z
4.356 * [taylor]: Taking taylor expansion of 0 in y
4.356 * [taylor]: Taking taylor expansion of 0 in z
4.356 * [taylor]: Taking taylor expansion of 0 in z
4.356 * [taylor]: Taking taylor expansion of 0 in z
4.357 * [taylor]: Taking taylor expansion of 0 in y
4.357 * [taylor]: Taking taylor expansion of 0 in z
4.357 * [taylor]: Taking taylor expansion of 0 in z
4.358 * [taylor]: Taking taylor expansion of 0 in z
4.358 * [taylor]: Taking taylor expansion of 0 in z
4.358 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
4.358 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.358 * [taylor]: Taking taylor expansion of z in z
4.358 * [taylor]: Taking taylor expansion of (* x y) in z
4.358 * [taylor]: Taking taylor expansion of x in z
4.358 * [taylor]: Taking taylor expansion of y in z
4.358 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.358 * [taylor]: Taking taylor expansion of z in y
4.358 * [taylor]: Taking taylor expansion of (* x y) in y
4.358 * [taylor]: Taking taylor expansion of x in y
4.358 * [taylor]: Taking taylor expansion of y in y
4.358 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.358 * [taylor]: Taking taylor expansion of z in x
4.358 * [taylor]: Taking taylor expansion of (* x y) in x
4.361 * [taylor]: Taking taylor expansion of x in x
4.361 * [taylor]: Taking taylor expansion of y in x
4.361 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.361 * [taylor]: Taking taylor expansion of z in x
4.361 * [taylor]: Taking taylor expansion of (* x y) in x
4.361 * [taylor]: Taking taylor expansion of x in x
4.361 * [taylor]: Taking taylor expansion of y in x
4.362 * [taylor]: Taking taylor expansion of (/ z y) in y
4.362 * [taylor]: Taking taylor expansion of z in y
4.362 * [taylor]: Taking taylor expansion of y in y
4.362 * [taylor]: Taking taylor expansion of z in z
4.363 * [taylor]: Taking taylor expansion of 0 in y
4.363 * [taylor]: Taking taylor expansion of 0 in z
4.364 * [taylor]: Taking taylor expansion of 0 in y
4.364 * [taylor]: Taking taylor expansion of 0 in z
4.365 * [taylor]: Taking taylor expansion of 0 in z
4.365 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
4.365 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
4.365 * [taylor]: Taking taylor expansion of -1 in z
4.365 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.365 * [taylor]: Taking taylor expansion of z in z
4.365 * [taylor]: Taking taylor expansion of (* x y) in z
4.365 * [taylor]: Taking taylor expansion of x in z
4.365 * [taylor]: Taking taylor expansion of y in z
4.366 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
4.366 * [taylor]: Taking taylor expansion of -1 in y
4.366 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.366 * [taylor]: Taking taylor expansion of z in y
4.366 * [taylor]: Taking taylor expansion of (* x y) in y
4.366 * [taylor]: Taking taylor expansion of x in y
4.366 * [taylor]: Taking taylor expansion of y in y
4.366 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
4.366 * [taylor]: Taking taylor expansion of -1 in x
4.366 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.366 * [taylor]: Taking taylor expansion of z in x
4.366 * [taylor]: Taking taylor expansion of (* x y) in x
4.366 * [taylor]: Taking taylor expansion of x in x
4.366 * [taylor]: Taking taylor expansion of y in x
4.366 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
4.366 * [taylor]: Taking taylor expansion of -1 in x
4.366 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.366 * [taylor]: Taking taylor expansion of z in x
4.366 * [taylor]: Taking taylor expansion of (* x y) in x
4.366 * [taylor]: Taking taylor expansion of x in x
4.367 * [taylor]: Taking taylor expansion of y in x
4.367 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
4.367 * [taylor]: Taking taylor expansion of -1 in y
4.367 * [taylor]: Taking taylor expansion of (/ z y) in y
4.367 * [taylor]: Taking taylor expansion of z in y
4.367 * [taylor]: Taking taylor expansion of y in y
4.367 * [taylor]: Taking taylor expansion of (* -1 z) in z
4.367 * [taylor]: Taking taylor expansion of -1 in z
4.367 * [taylor]: Taking taylor expansion of z in z
4.368 * [taylor]: Taking taylor expansion of 0 in y
4.369 * [taylor]: Taking taylor expansion of 0 in z
4.371 * [taylor]: Taking taylor expansion of 0 in y
4.371 * [taylor]: Taking taylor expansion of 0 in z
4.373 * [taylor]: Taking taylor expansion of 0 in z
4.373 * * * [progress]: simplifying candidates
4.374 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* x (/ y z)))
  (log1p (* x (/ y z)))
  (* x (/ y z))
  (+ (log x) (- (log y) (log z)))
  (+ (log x) (log (/ y z)))
  (log (* x (/ y z)))
  (exp (* x (/ y z)))
  (* (* (* x x) x) (/ (* (* y y) y) (* (* z z) z)))
  (* (* (* x x) x) (* (* (/ y z) (/ y z)) (/ y z)))
  (* (cbrt (* x (/ y z))) (cbrt (* x (/ y z))))
  (cbrt (* x (/ y z)))
  (* (* (* x (/ y z)) (* x (/ y z))) (* x (/ y z)))
  (sqrt (* x (/ y z)))
  (sqrt (* x (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* x (* (cbrt (/ y z)) (cbrt (/ y z))))
  (* x (sqrt (/ y z)))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (sqrt z)))
  (* x (/ (* (cbrt y) (cbrt y)) 1))
  (* x (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (* x (/ (sqrt y) (sqrt z)))
  (* x (/ (sqrt y) 1))
  (* x (/ 1 (* (cbrt z) (cbrt z))))
  (* x (/ 1 (sqrt z)))
  (* x (/ 1 1))
  (* x 1)
  (* x y)
  (* (cbrt x) (/ y z))
  (* (sqrt x) (/ y z))
  (* x (/ y z))
  (* x y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
4.376 * * [simplify]: iteration  0 :  71  enodes  (cost  289 )
4.393 * * [simplify]: iteration  1 :  168  enodes  (cost  272 )
4.428 * * [simplify]: iteration  2 :  449  enodes  (cost  242 )
4.629 * * [simplify]: iteration  3 :  1366  enodes  (cost  242 )
6.336 * * [simplify]: iteration  4 :  3721  enodes  (cost  242 )
8.323 * * [simplify]: iteration  done :  5000  enodes  (cost  242 )
8.323 * [simplify]: Simplified to:
   (expm1 (* x (/ y z)))
  (log1p (* x (/ y z)))
  (/ (* x y) z)
  (log (* x (/ y z)))
  (log (* x (/ y z)))
  (log (* x (/ y z)))
  (exp (* x (/ y z)))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (* x (/ y z))) (cbrt (* x (/ y z))))
  (cbrt (* x (/ y z)))
  (pow (/ (* x y) z) 3)
  (sqrt (* x (/ y z)))
  (sqrt (* x (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* x (* (cbrt (/ y z)) (cbrt (/ y z))))
  (* x (sqrt (/ y z)))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (sqrt z)))
  (* (* (cbrt y) (cbrt y)) x)
  (* x (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (* x (/ (sqrt y) (sqrt z)))
  (* (sqrt y) x)
  (/ x (* (cbrt z) (cbrt z)))
  (/ x (sqrt z))
  x
  x
  (* x y)
  (* (cbrt x) (/ y z))
  (* (sqrt x) (/ y z))
  (/ (* x y) z)
  (* x y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
8.323 * * * [progress]: adding candidates to table
8.392 * * [progress]: iteration 4 / 4
8.392 * * * [progress]: picking best candidate
8.396 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))>
8.396 * * * [progress]: localizing error
8.406 * * * [progress]: generating rewritten candidates
8.406 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
8.425 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
8.425 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
8.426 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
8.428 * * * [progress]: generating series expansions
8.428 * * * * [progress]: [ 1 / 4 ] generating series at (2)
8.428 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
8.428 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
8.428 * [taylor]: Taking taylor expansion of (* x y) in y
8.428 * [taylor]: Taking taylor expansion of x in y
8.428 * [taylor]: Taking taylor expansion of y in y
8.428 * [taylor]: Taking taylor expansion of z in y
8.429 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
8.429 * [taylor]: Taking taylor expansion of (* x y) in z
8.429 * [taylor]: Taking taylor expansion of x in z
8.429 * [taylor]: Taking taylor expansion of y in z
8.429 * [taylor]: Taking taylor expansion of z in z
8.429 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
8.429 * [taylor]: Taking taylor expansion of (* x y) in x
8.429 * [taylor]: Taking taylor expansion of x in x
8.429 * [taylor]: Taking taylor expansion of y in x
8.429 * [taylor]: Taking taylor expansion of z in x
8.429 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
8.429 * [taylor]: Taking taylor expansion of (* x y) in x
8.429 * [taylor]: Taking taylor expansion of x in x
8.429 * [taylor]: Taking taylor expansion of y in x
8.429 * [taylor]: Taking taylor expansion of z in x
8.430 * [taylor]: Taking taylor expansion of (/ y z) in z
8.430 * [taylor]: Taking taylor expansion of y in z
8.430 * [taylor]: Taking taylor expansion of z in z
8.430 * [taylor]: Taking taylor expansion of y in y
8.430 * [taylor]: Taking taylor expansion of 0 in z
8.431 * [taylor]: Taking taylor expansion of 0 in y
8.432 * [taylor]: Taking taylor expansion of 0 in z
8.432 * [taylor]: Taking taylor expansion of 0 in y
8.433 * [taylor]: Taking taylor expansion of 0 in y
8.433 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
8.433 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
8.433 * [taylor]: Taking taylor expansion of z in y
8.433 * [taylor]: Taking taylor expansion of (* x y) in y
8.433 * [taylor]: Taking taylor expansion of x in y
8.433 * [taylor]: Taking taylor expansion of y in y
8.434 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
8.434 * [taylor]: Taking taylor expansion of z in z
8.434 * [taylor]: Taking taylor expansion of (* x y) in z
8.434 * [taylor]: Taking taylor expansion of x in z
8.434 * [taylor]: Taking taylor expansion of y in z
8.434 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
8.434 * [taylor]: Taking taylor expansion of z in x
8.434 * [taylor]: Taking taylor expansion of (* x y) in x
8.434 * [taylor]: Taking taylor expansion of x in x
8.434 * [taylor]: Taking taylor expansion of y in x
8.434 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
8.434 * [taylor]: Taking taylor expansion of z in x
8.434 * [taylor]: Taking taylor expansion of (* x y) in x
8.434 * [taylor]: Taking taylor expansion of x in x
8.434 * [taylor]: Taking taylor expansion of y in x
8.435 * [taylor]: Taking taylor expansion of (/ z y) in z
8.435 * [taylor]: Taking taylor expansion of z in z
8.435 * [taylor]: Taking taylor expansion of y in z
8.435 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.435 * [taylor]: Taking taylor expansion of y in y
8.436 * [taylor]: Taking taylor expansion of 0 in z
8.436 * [taylor]: Taking taylor expansion of 0 in y
8.436 * [taylor]: Taking taylor expansion of 0 in y
8.437 * [taylor]: Taking taylor expansion of 0 in z
8.437 * [taylor]: Taking taylor expansion of 0 in y
8.437 * [taylor]: Taking taylor expansion of 0 in y
8.437 * [taylor]: Taking taylor expansion of 0 in y
8.439 * [taylor]: Taking taylor expansion of 0 in z
8.439 * [taylor]: Taking taylor expansion of 0 in y
8.439 * [taylor]: Taking taylor expansion of 0 in y
8.439 * [taylor]: Taking taylor expansion of 0 in y
8.439 * [taylor]: Taking taylor expansion of 0 in y
8.439 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in (x z y) around 0
8.440 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in y
8.440 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
8.440 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
8.440 * [taylor]: Taking taylor expansion of (cbrt -1) in y
8.440 * [taylor]: Taking taylor expansion of -1 in y
8.440 * [taylor]: Taking taylor expansion of z in y
8.440 * [taylor]: Taking taylor expansion of (* x y) in y
8.440 * [taylor]: Taking taylor expansion of x in y
8.440 * [taylor]: Taking taylor expansion of y in y
8.444 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in z
8.444 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z
8.444 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
8.444 * [taylor]: Taking taylor expansion of (cbrt -1) in z
8.444 * [taylor]: Taking taylor expansion of -1 in z
8.444 * [taylor]: Taking taylor expansion of z in z
8.444 * [taylor]: Taking taylor expansion of (* x y) in z
8.444 * [taylor]: Taking taylor expansion of x in z
8.445 * [taylor]: Taking taylor expansion of y in z
8.450 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in x
8.450 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x
8.450 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
8.450 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.450 * [taylor]: Taking taylor expansion of -1 in x
8.451 * [taylor]: Taking taylor expansion of z in x
8.451 * [taylor]: Taking taylor expansion of (* x y) in x
8.451 * [taylor]: Taking taylor expansion of x in x
8.451 * [taylor]: Taking taylor expansion of y in x
8.454 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in x
8.454 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x
8.454 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
8.454 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.454 * [taylor]: Taking taylor expansion of -1 in x
8.455 * [taylor]: Taking taylor expansion of z in x
8.455 * [taylor]: Taking taylor expansion of (* x y) in x
8.455 * [taylor]: Taking taylor expansion of x in x
8.455 * [taylor]: Taking taylor expansion of y in x
8.458 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
8.458 * [taylor]: Taking taylor expansion of -1 in z
8.458 * [taylor]: Taking taylor expansion of (/ z y) in z
8.458 * [taylor]: Taking taylor expansion of z in z
8.458 * [taylor]: Taking taylor expansion of y in z
8.458 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.458 * [taylor]: Taking taylor expansion of -1 in y
8.458 * [taylor]: Taking taylor expansion of y in y
8.461 * [taylor]: Taking taylor expansion of 0 in z
8.461 * [taylor]: Taking taylor expansion of 0 in y
8.461 * [taylor]: Taking taylor expansion of 0 in y
8.465 * [taylor]: Taking taylor expansion of 0 in z
8.465 * [taylor]: Taking taylor expansion of 0 in y
8.465 * [taylor]: Taking taylor expansion of 0 in y
8.466 * [taylor]: Taking taylor expansion of 0 in y
8.471 * [taylor]: Taking taylor expansion of 0 in z
8.471 * [taylor]: Taking taylor expansion of 0 in y
8.471 * [taylor]: Taking taylor expansion of 0 in y
8.471 * [taylor]: Taking taylor expansion of 0 in y
8.472 * [taylor]: Taking taylor expansion of 0 in y
8.472 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
8.472 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
8.472 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.472 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.472 * [taylor]: Taking taylor expansion of 1/3 in x
8.472 * [taylor]: Taking taylor expansion of (log x) in x
8.472 * [taylor]: Taking taylor expansion of x in x
8.473 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.473 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.473 * [taylor]: Taking taylor expansion of 1/3 in x
8.473 * [taylor]: Taking taylor expansion of (log x) in x
8.473 * [taylor]: Taking taylor expansion of x in x
8.525 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
8.525 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.525 * [taylor]: Taking taylor expansion of 1/3 in x
8.525 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.525 * [taylor]: Taking taylor expansion of x in x
8.526 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.526 * [taylor]: Taking taylor expansion of 1/3 in x
8.526 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.526 * [taylor]: Taking taylor expansion of x in x
8.580 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
8.580 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.580 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.580 * [taylor]: Taking taylor expansion of -1 in x
8.581 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.581 * [taylor]: Taking taylor expansion of 1/3 in x
8.581 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.581 * [taylor]: Taking taylor expansion of x in x
8.581 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.582 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.582 * [taylor]: Taking taylor expansion of -1 in x
8.582 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.582 * [taylor]: Taking taylor expansion of 1/3 in x
8.582 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.582 * [taylor]: Taking taylor expansion of x in x
8.647 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
8.648 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
8.648 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.648 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.648 * [taylor]: Taking taylor expansion of 1/3 in x
8.648 * [taylor]: Taking taylor expansion of (log x) in x
8.648 * [taylor]: Taking taylor expansion of x in x
8.648 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.648 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.648 * [taylor]: Taking taylor expansion of 1/3 in x
8.648 * [taylor]: Taking taylor expansion of (log x) in x
8.648 * [taylor]: Taking taylor expansion of x in x
8.696 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
8.696 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.696 * [taylor]: Taking taylor expansion of 1/3 in x
8.696 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.696 * [taylor]: Taking taylor expansion of x in x
8.697 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.697 * [taylor]: Taking taylor expansion of 1/3 in x
8.697 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.697 * [taylor]: Taking taylor expansion of x in x
8.751 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
8.751 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.751 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.751 * [taylor]: Taking taylor expansion of -1 in x
8.752 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.752 * [taylor]: Taking taylor expansion of 1/3 in x
8.752 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.752 * [taylor]: Taking taylor expansion of x in x
8.753 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.753 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.753 * [taylor]: Taking taylor expansion of -1 in x
8.754 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.754 * [taylor]: Taking taylor expansion of 1/3 in x
8.754 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.754 * [taylor]: Taking taylor expansion of x in x
8.818 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
8.818 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
8.818 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.818 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.818 * [taylor]: Taking taylor expansion of 1/3 in x
8.818 * [taylor]: Taking taylor expansion of (log x) in x
8.818 * [taylor]: Taking taylor expansion of x in x
8.819 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
8.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
8.819 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
8.819 * [taylor]: Taking taylor expansion of 1/3 in x
8.819 * [taylor]: Taking taylor expansion of (log x) in x
8.819 * [taylor]: Taking taylor expansion of x in x
8.869 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
8.870 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.870 * [taylor]: Taking taylor expansion of 1/3 in x
8.870 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.870 * [taylor]: Taking taylor expansion of x in x
8.870 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.871 * [taylor]: Taking taylor expansion of 1/3 in x
8.871 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.871 * [taylor]: Taking taylor expansion of x in x
8.926 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
8.926 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.926 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.926 * [taylor]: Taking taylor expansion of -1 in x
8.927 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.927 * [taylor]: Taking taylor expansion of 1/3 in x
8.927 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.927 * [taylor]: Taking taylor expansion of x in x
8.928 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.928 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.928 * [taylor]: Taking taylor expansion of -1 in x
8.929 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.929 * [taylor]: Taking taylor expansion of 1/3 in x
8.929 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.929 * [taylor]: Taking taylor expansion of x in x
8.995 * * * [progress]: simplifying candidates
8.996 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))
  (log1p (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))
  (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y))
  (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y))
  (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log z)) (+ (log (cbrt x)) (log y)))
  (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log z)) (log (* (cbrt x) y)))
  (+ (- (log (* (cbrt x) (cbrt x))) (log z)) (+ (log (cbrt x)) (log y)))
  (+ (- (log (* (cbrt x) (cbrt x))) (log z)) (log (* (cbrt x) y)))
  (+ (log (/ (* (cbrt x) (cbrt x)) z)) (+ (log (cbrt x)) (log y)))
  (+ (log (/ (* (cbrt x) (cbrt x)) z)) (log (* (cbrt x) y)))
  (log (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))
  (exp (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))
  (* (/ (* x x) (* (* z z) z)) (* x (* (* y y) y)))
  (* (/ (* x x) (* (* z z) z)) (* (* (* (cbrt x) y) (* (cbrt x) y)) (* (cbrt x) y)))
  (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* z z) z)) (* x (* (* y y) y)))
  (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* z z) z)) (* (* (* (cbrt x) y) (* (cbrt x) y)) (* (cbrt x) y)))
  (* (* (* (/ (* (cbrt x) (cbrt x)) z) (/ (* (cbrt x) (cbrt x)) z)) (/ (* (cbrt x) (cbrt x)) z)) (* x (* (* y y) y)))
  (* (* (* (/ (* (cbrt x) (cbrt x)) z) (/ (* (cbrt x) (cbrt x)) z)) (/ (* (cbrt x) (cbrt x)) z)) (* (* (* (cbrt x) y) (* (cbrt x) y)) (* (cbrt x) y)))
  (* (cbrt (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y))) (cbrt (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y))))
  (cbrt (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))
  (* (* (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y))) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))
  (sqrt (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))
  (sqrt (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))
  (* (/ (* (cbrt x) (cbrt x)) z) (cbrt x))
  (* (cbrt (/ (* (cbrt x) (cbrt x)) z)) (* (cbrt x) y))
  (* (sqrt (/ (* (cbrt x) (cbrt x)) z)) (* (cbrt x) y))
  (* (/ (cbrt x) (cbrt z)) (* (cbrt x) y))
  (* (/ (cbrt x) (sqrt z)) (* (cbrt x) y))
  (* (/ (cbrt x) z) (* (cbrt x) y))
  (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y))
  (* (/ 1 z) (* (cbrt x) y))
  (* (* (cbrt x) (cbrt x)) (* (cbrt x) y))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
8.999 * * [simplify]: iteration  0 :  93  enodes  (cost  775 )
9.019 * * [simplify]: iteration  1 :  253  enodes  (cost  748 )
9.085 * * [simplify]: iteration  2 :  930  enodes  (cost  504 )
9.634 * * [simplify]: iteration  done :  5001  enodes  (cost  504 )
9.634 * [simplify]: Simplified to:
   (expm1 (/ (pow (cbrt x) 3) (/ z y)))
  (log1p (/ (pow (cbrt x) 3) (/ z y)))
  (/ (pow (cbrt x) 3) (/ z y))
  (/ (pow (cbrt x) 3) (/ z y))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (log (/ (pow (cbrt x) 3) (/ z y)))
  (exp (/ (pow (cbrt x) 3) (/ z y)))
  (* (* (pow y 3) x) (* (/ x (pow z 3)) x))
  (/ (* x (* x (pow (* (cbrt x) y) 3))) (pow z 3))
  (* (pow (/ (pow x 2/3) z) 3) (* (pow y 3) x))
  (pow (/ (pow (cbrt x) 3) (/ z y)) 3)
  (* (pow (/ (pow x 2/3) z) 3) (* (pow y 3) x))
  (pow (/ (pow (cbrt x) 3) (/ z y)) 3)
  (* (cbrt (/ (pow (cbrt x) 3) (/ z y))) (cbrt (/ (pow (cbrt x) 3) (/ z y))))
  (cbrt (/ (pow (cbrt x) 3) (/ z y)))
  (pow (/ (pow (cbrt x) 3) (/ z y)) 3)
  (sqrt (/ (pow (cbrt x) 3) (/ z y)))
  (sqrt (/ (pow (cbrt x) 3) (/ z y)))
  (/ (pow (cbrt x) 3) z)
  (* (* (cbrt x) y) (cbrt (/ (pow x 2/3) z)))
  (* (cbrt x) (* y (sqrt (/ (pow x 2/3) z))))
  (* (/ (pow x 2/3) (cbrt z)) y)
  (* (/ (pow x 2/3) (sqrt z)) y)
  (* y (/ (pow x 2/3) z))
  (/ (pow (cbrt x) 3) (/ z y))
  (* y (/ (cbrt x) z))
  (* y (pow (cbrt x) 3))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt (- x)) (cbrt -1))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt (- x)) (cbrt -1))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt (- x)) (cbrt -1))
9.635 * * * [progress]: adding candidates to table
9.810 * [progress]: [Phase 3 of 3] Extracting.
9.810 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ x z) y))> #<alt (λ (x y z) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))> #<alt (λ (x y z) (* 1 (* x (/ y z))))> #<alt (λ (x y z) (/ (* x y) z))>)
9.810 * * * [regime-changes]: Trying 5 branch expressions: ((* x y) (/ (* x y) z) z y x)
9.810 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ x z) y))> #<alt (λ (x y z) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))> #<alt (λ (x y z) (* 1 (* x (/ y z))))> #<alt (λ (x y z) (/ (* x y) z))>)
9.854 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z) (/ (* x y) z))>)
9.867 * * * * [regimes]: Trying to branch on (/ (* x y) z) from (#<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ x z) y))> #<alt (λ (x y z) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))> #<alt (λ (x y z) (* 1 (* x (/ y z))))> #<alt (λ (x y z) (/ (* x y) z))>)
9.908 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ x z) y))> #<alt (λ (x y z) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))> #<alt (λ (x y z) (* 1 (* x (/ y z))))> #<alt (λ (x y z) (/ (* x y) z))>)
9.943 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ x z) y))> #<alt (λ (x y z) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))> #<alt (λ (x y z) (* 1 (* x (/ y z))))> #<alt (λ (x y z) (/ (* x y) z))>)
9.978 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ x z) y))> #<alt (λ (x y z) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))> #<alt (λ (x y z) (* 1 (* x (/ y z))))> #<alt (λ (x y z) (/ (* x y) z))>)
10.023 * * * [regime]: Found split indices: #<option (#s(si 1 11) #s(si 5 108) #s(si 4 150) #s(si 5 235) #s(si 0 255))>
10.024 * [binary-search]: Only using regimes for bounds on (* x y) and (#<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ x z) y))> #<alt (λ (x y z) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))> #<alt (λ (x y z) (* 1 (* x (/ y z))))> #<alt (λ (x y z) (/ (* x y) z))>)
10.024 * [regimes]: Found splitpoints: (#s(sp 1 (* x y) -inf.0) #s(sp 5 (* x y) -8.336715206023233e-240) #s(sp 4 (* x y) 0.0) #s(sp 5 (* x y) 4.8454449554477285e+177) #s(sp 0 (* x y) +nan.0)) , with alts (#<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (/ x z) y))> #<alt (λ (x y z) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z) (* (/ (* (cbrt x) (cbrt x)) z) (* (cbrt x) y)))> #<alt (λ (x y z) (* 1 (* x (/ y z))))> #<alt (λ (x y z) (/ (* x y) z))>)
10.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* x y) -inf.0) (* (/ x z) y) (if (<= (* x y) -8.336715206023233e-240) (/ (* x y) z) (if (<= (* x y) 0.0) (* 1 (* x (/ y z))) (if (<= (* x y) 4.8454449554477285e+177) (/ (* x y) z) (/ x (/ z y))))))
10.025 * * [simplify]: iteration  0 :  25  enodes  (cost  51 )
10.025 * * [simplify]: iteration  1 :  31  enodes  (cost  51 )
10.026 * * [simplify]: iteration  done :  31  enodes  (cost  49 )
10.026 * [simplify]: Simplified to:
   (if (<= (* x y) -inf.0) (* (/ x z) y) (if (<= (* x y) -8.336715206023233e-240) (/ (* x y) z) (if (<= (* x y) 0.0) (* x (/ y z)) (if (<= (* x y) 4.8454449554477285e+177) (/ (* x y) z) (/ x (/ z y))))))
10.538 * [regime-testing]: Baseline error score: 6.110699297798161
10.539 * [regime-testing]: Oracle error score: 0.014751843980497562
10.541 * [regime-testing]: End program error score: 0.4312279005352893
10.566 * [regime-testing]: Target error score: 6.445230526778858