26.972 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (/ (* (/ y z) t) t))
0.021 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.022 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
0.024 * * [simplify]: iteration  2 :  40  enodes  (cost  7 )
0.032 * * [simplify]: iteration  3 :  98  enodes  (cost  5 )
0.077 * * [simplify]: iteration  4 :  411  enodes  (cost  5 )
1.605 * * [simplify]: iteration  5 :  2442  enodes  (cost  5 )
3.169 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
3.169 * [simplify]: Simplified to:
   (* x (/ y z))
3.173 * * [progress]: iteration 1 / 4
3.173 * * * [progress]: picking best candidate
3.176 * * * * [pick]: Picked  #<alt (λ (x y z t) (* x (/ y z)))>
3.176 * * * [progress]: localizing error
3.180 * * * [progress]: generating rewritten candidates
3.180 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.190 * * * [progress]: generating series expansions
3.190 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.190 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
3.190 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
3.190 * [taylor]: Taking taylor expansion of (* x y) in z
3.190 * [taylor]: Taking taylor expansion of x in z
3.190 * [taylor]: Taking taylor expansion of y in z
3.190 * [taylor]: Taking taylor expansion of z in z
3.190 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
3.190 * [taylor]: Taking taylor expansion of (* x y) in y
3.190 * [taylor]: Taking taylor expansion of x in y
3.190 * [taylor]: Taking taylor expansion of y in y
3.190 * [taylor]: Taking taylor expansion of z in y
3.191 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
3.191 * [taylor]: Taking taylor expansion of (* x y) in x
3.191 * [taylor]: Taking taylor expansion of x in x
3.191 * [taylor]: Taking taylor expansion of y in x
3.191 * [taylor]: Taking taylor expansion of z in x
3.191 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
3.191 * [taylor]: Taking taylor expansion of (* x y) in x
3.191 * [taylor]: Taking taylor expansion of x in x
3.191 * [taylor]: Taking taylor expansion of y in x
3.191 * [taylor]: Taking taylor expansion of z in x
3.192 * [taylor]: Taking taylor expansion of (/ y z) in y
3.192 * [taylor]: Taking taylor expansion of y in y
3.192 * [taylor]: Taking taylor expansion of z in y
3.192 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.192 * [taylor]: Taking taylor expansion of z in z
3.193 * [taylor]: Taking taylor expansion of 0 in y
3.193 * [taylor]: Taking taylor expansion of 0 in z
3.193 * [taylor]: Taking taylor expansion of 0 in z
3.195 * [taylor]: Taking taylor expansion of 0 in y
3.195 * [taylor]: Taking taylor expansion of 0 in z
3.195 * [taylor]: Taking taylor expansion of 0 in z
3.195 * [taylor]: Taking taylor expansion of 0 in z
3.197 * [taylor]: Taking taylor expansion of 0 in y
3.197 * [taylor]: Taking taylor expansion of 0 in z
3.197 * [taylor]: Taking taylor expansion of 0 in z
3.197 * [taylor]: Taking taylor expansion of 0 in z
3.197 * [taylor]: Taking taylor expansion of 0 in z
3.197 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
3.197 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
3.197 * [taylor]: Taking taylor expansion of z in z
3.197 * [taylor]: Taking taylor expansion of (* x y) in z
3.197 * [taylor]: Taking taylor expansion of x in z
3.197 * [taylor]: Taking taylor expansion of y in z
3.198 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
3.198 * [taylor]: Taking taylor expansion of z in y
3.198 * [taylor]: Taking taylor expansion of (* x y) in y
3.198 * [taylor]: Taking taylor expansion of x in y
3.198 * [taylor]: Taking taylor expansion of y in y
3.198 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.198 * [taylor]: Taking taylor expansion of z in x
3.198 * [taylor]: Taking taylor expansion of (* x y) in x
3.198 * [taylor]: Taking taylor expansion of x in x
3.198 * [taylor]: Taking taylor expansion of y in x
3.198 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.198 * [taylor]: Taking taylor expansion of z in x
3.199 * [taylor]: Taking taylor expansion of (* x y) in x
3.199 * [taylor]: Taking taylor expansion of x in x
3.199 * [taylor]: Taking taylor expansion of y in x
3.199 * [taylor]: Taking taylor expansion of (/ z y) in y
3.199 * [taylor]: Taking taylor expansion of z in y
3.199 * [taylor]: Taking taylor expansion of y in y
3.199 * [taylor]: Taking taylor expansion of z in z
3.200 * [taylor]: Taking taylor expansion of 0 in y
3.200 * [taylor]: Taking taylor expansion of 0 in z
3.201 * [taylor]: Taking taylor expansion of 0 in y
3.201 * [taylor]: Taking taylor expansion of 0 in z
3.202 * [taylor]: Taking taylor expansion of 0 in z
3.203 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
3.203 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
3.203 * [taylor]: Taking taylor expansion of -1 in z
3.203 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
3.203 * [taylor]: Taking taylor expansion of z in z
3.203 * [taylor]: Taking taylor expansion of (* x y) in z
3.203 * [taylor]: Taking taylor expansion of x in z
3.203 * [taylor]: Taking taylor expansion of y in z
3.203 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
3.203 * [taylor]: Taking taylor expansion of -1 in y
3.203 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
3.203 * [taylor]: Taking taylor expansion of z in y
3.203 * [taylor]: Taking taylor expansion of (* x y) in y
3.203 * [taylor]: Taking taylor expansion of x in y
3.203 * [taylor]: Taking taylor expansion of y in y
3.203 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
3.203 * [taylor]: Taking taylor expansion of -1 in x
3.203 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.203 * [taylor]: Taking taylor expansion of z in x
3.203 * [taylor]: Taking taylor expansion of (* x y) in x
3.203 * [taylor]: Taking taylor expansion of x in x
3.203 * [taylor]: Taking taylor expansion of y in x
3.204 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
3.204 * [taylor]: Taking taylor expansion of -1 in x
3.204 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.204 * [taylor]: Taking taylor expansion of z in x
3.204 * [taylor]: Taking taylor expansion of (* x y) in x
3.204 * [taylor]: Taking taylor expansion of x in x
3.204 * [taylor]: Taking taylor expansion of y in x
3.204 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
3.204 * [taylor]: Taking taylor expansion of -1 in y
3.204 * [taylor]: Taking taylor expansion of (/ z y) in y
3.204 * [taylor]: Taking taylor expansion of z in y
3.204 * [taylor]: Taking taylor expansion of y in y
3.204 * [taylor]: Taking taylor expansion of (* -1 z) in z
3.205 * [taylor]: Taking taylor expansion of -1 in z
3.205 * [taylor]: Taking taylor expansion of z in z
3.206 * [taylor]: Taking taylor expansion of 0 in y
3.207 * [taylor]: Taking taylor expansion of 0 in z
3.209 * [taylor]: Taking taylor expansion of 0 in y
3.209 * [taylor]: Taking taylor expansion of 0 in z
3.211 * [taylor]: Taking taylor expansion of 0 in z
3.212 * * * [progress]: simplifying candidates
3.212 * [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)
3.215 * * [simplify]: iteration  0 :  71  enodes  (cost  289 )
3.230 * * [simplify]: iteration  1 :  168  enodes  (cost  272 )
3.268 * * [simplify]: iteration  2 :  447  enodes  (cost  242 )
3.471 * * [simplify]: iteration  3 :  1359  enodes  (cost  242 )
4.963 * * [simplify]: iteration  4 :  3688  enodes  (cost  242 )
6.823 * * [simplify]: iteration  done :  5001  enodes  (cost  242 )
6.823 * [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)
6.824 * * * [progress]: adding candidates to table
6.906 * * [progress]: iteration 2 / 4
6.906 * * * [progress]: picking best candidate
6.927 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>
6.927 * * * [progress]: localizing error
6.935 * * * [progress]: generating rewritten candidates
6.935 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.985 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
6.986 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
6.986 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
6.990 * * * [progress]: generating series expansions
6.990 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.990 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
6.990 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
6.990 * [taylor]: Taking taylor expansion of (* x y) in z
6.990 * [taylor]: Taking taylor expansion of x in z
6.990 * [taylor]: Taking taylor expansion of y in z
6.990 * [taylor]: Taking taylor expansion of z in z
6.991 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
6.991 * [taylor]: Taking taylor expansion of (* x y) in x
6.991 * [taylor]: Taking taylor expansion of x in x
6.991 * [taylor]: Taking taylor expansion of y in x
6.991 * [taylor]: Taking taylor expansion of z in x
6.991 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
6.991 * [taylor]: Taking taylor expansion of (* x y) in y
6.991 * [taylor]: Taking taylor expansion of x in y
6.991 * [taylor]: Taking taylor expansion of y in y
6.991 * [taylor]: Taking taylor expansion of z in y
6.992 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
6.992 * [taylor]: Taking taylor expansion of (* x y) in y
6.992 * [taylor]: Taking taylor expansion of x in y
6.992 * [taylor]: Taking taylor expansion of y in y
6.992 * [taylor]: Taking taylor expansion of z in y
6.992 * [taylor]: Taking taylor expansion of (/ x z) in x
6.992 * [taylor]: Taking taylor expansion of x in x
6.992 * [taylor]: Taking taylor expansion of z in x
6.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.992 * [taylor]: Taking taylor expansion of z in z
6.993 * [taylor]: Taking taylor expansion of 0 in x
6.993 * [taylor]: Taking taylor expansion of 0 in z
6.993 * [taylor]: Taking taylor expansion of 0 in z
6.995 * [taylor]: Taking taylor expansion of 0 in x
6.995 * [taylor]: Taking taylor expansion of 0 in z
6.995 * [taylor]: Taking taylor expansion of 0 in z
6.995 * [taylor]: Taking taylor expansion of 0 in z
6.996 * [taylor]: Taking taylor expansion of 0 in x
6.996 * [taylor]: Taking taylor expansion of 0 in z
6.996 * [taylor]: Taking taylor expansion of 0 in z
6.996 * [taylor]: Taking taylor expansion of 0 in z
6.996 * [taylor]: Taking taylor expansion of 0 in z
6.997 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
6.997 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
6.997 * [taylor]: Taking taylor expansion of z in z
6.997 * [taylor]: Taking taylor expansion of (* x y) in z
6.997 * [taylor]: Taking taylor expansion of x in z
6.997 * [taylor]: Taking taylor expansion of y in z
6.997 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
6.997 * [taylor]: Taking taylor expansion of z in x
6.997 * [taylor]: Taking taylor expansion of (* x y) in x
6.997 * [taylor]: Taking taylor expansion of x in x
6.997 * [taylor]: Taking taylor expansion of y in x
6.997 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
6.997 * [taylor]: Taking taylor expansion of z in y
6.997 * [taylor]: Taking taylor expansion of (* x y) in y
6.997 * [taylor]: Taking taylor expansion of x in y
6.997 * [taylor]: Taking taylor expansion of y in y
6.998 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
6.998 * [taylor]: Taking taylor expansion of z in y
6.998 * [taylor]: Taking taylor expansion of (* x y) in y
6.998 * [taylor]: Taking taylor expansion of x in y
6.998 * [taylor]: Taking taylor expansion of y in y
6.998 * [taylor]: Taking taylor expansion of (/ z x) in x
6.998 * [taylor]: Taking taylor expansion of z in x
6.998 * [taylor]: Taking taylor expansion of x in x
6.998 * [taylor]: Taking taylor expansion of z in z
6.999 * [taylor]: Taking taylor expansion of 0 in x
7.000 * [taylor]: Taking taylor expansion of 0 in z
7.000 * [taylor]: Taking taylor expansion of 0 in x
7.000 * [taylor]: Taking taylor expansion of 0 in z
7.001 * [taylor]: Taking taylor expansion of 0 in z
7.002 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in (y x z) around 0
7.002 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in z
7.002 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z
7.002 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
7.002 * [taylor]: Taking taylor expansion of (cbrt -1) in z
7.002 * [taylor]: Taking taylor expansion of -1 in z
7.006 * [taylor]: Taking taylor expansion of z in z
7.006 * [taylor]: Taking taylor expansion of (* x y) in z
7.006 * [taylor]: Taking taylor expansion of x in z
7.007 * [taylor]: Taking taylor expansion of y in z
7.013 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in x
7.013 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x
7.013 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
7.013 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.013 * [taylor]: Taking taylor expansion of -1 in x
7.014 * [taylor]: Taking taylor expansion of z in x
7.014 * [taylor]: Taking taylor expansion of (* x y) in x
7.014 * [taylor]: Taking taylor expansion of x in x
7.014 * [taylor]: Taking taylor expansion of y in x
7.018 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in y
7.018 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
7.018 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
7.018 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.018 * [taylor]: Taking taylor expansion of -1 in y
7.019 * [taylor]: Taking taylor expansion of z in y
7.019 * [taylor]: Taking taylor expansion of (* x y) in y
7.019 * [taylor]: Taking taylor expansion of x in y
7.019 * [taylor]: Taking taylor expansion of y in y
7.022 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in y
7.022 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
7.022 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
7.022 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.022 * [taylor]: Taking taylor expansion of -1 in y
7.023 * [taylor]: Taking taylor expansion of z in y
7.023 * [taylor]: Taking taylor expansion of (* x y) in y
7.023 * [taylor]: Taking taylor expansion of x in y
7.023 * [taylor]: Taking taylor expansion of y in y
7.027 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x
7.027 * [taylor]: Taking taylor expansion of -1 in x
7.027 * [taylor]: Taking taylor expansion of (/ z x) in x
7.027 * [taylor]: Taking taylor expansion of z in x
7.027 * [taylor]: Taking taylor expansion of x in x
7.027 * [taylor]: Taking taylor expansion of (* -1 z) in z
7.027 * [taylor]: Taking taylor expansion of -1 in z
7.027 * [taylor]: Taking taylor expansion of z in z
7.029 * [taylor]: Taking taylor expansion of 0 in x
7.030 * [taylor]: Taking taylor expansion of 0 in z
7.035 * [taylor]: Taking taylor expansion of 0 in x
7.035 * [taylor]: Taking taylor expansion of 0 in z
7.036 * [taylor]: Taking taylor expansion of 0 in z
7.037 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
7.037 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
7.037 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.037 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.037 * [taylor]: Taking taylor expansion of 1/3 in y
7.037 * [taylor]: Taking taylor expansion of (log y) in y
7.037 * [taylor]: Taking taylor expansion of y in y
7.038 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.038 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.038 * [taylor]: Taking taylor expansion of 1/3 in y
7.038 * [taylor]: Taking taylor expansion of (log y) in y
7.038 * [taylor]: Taking taylor expansion of y in y
7.095 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
7.095 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.095 * [taylor]: Taking taylor expansion of 1/3 in y
7.095 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.095 * [taylor]: Taking taylor expansion of y in y
7.096 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.096 * [taylor]: Taking taylor expansion of 1/3 in y
7.097 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.097 * [taylor]: Taking taylor expansion of y in y
7.154 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
7.154 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.154 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.154 * [taylor]: Taking taylor expansion of -1 in y
7.155 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.155 * [taylor]: Taking taylor expansion of 1/3 in y
7.155 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.155 * [taylor]: Taking taylor expansion of y in y
7.156 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.156 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.156 * [taylor]: Taking taylor expansion of -1 in y
7.157 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.157 * [taylor]: Taking taylor expansion of 1/3 in y
7.157 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.157 * [taylor]: Taking taylor expansion of y in y
7.231 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
7.231 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
7.231 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.231 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.231 * [taylor]: Taking taylor expansion of 1/3 in y
7.231 * [taylor]: Taking taylor expansion of (log y) in y
7.231 * [taylor]: Taking taylor expansion of y in y
7.232 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.232 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.232 * [taylor]: Taking taylor expansion of 1/3 in y
7.232 * [taylor]: Taking taylor expansion of (log y) in y
7.232 * [taylor]: Taking taylor expansion of y in y
7.290 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
7.290 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.290 * [taylor]: Taking taylor expansion of 1/3 in y
7.290 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.290 * [taylor]: Taking taylor expansion of y in y
7.291 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.291 * [taylor]: Taking taylor expansion of 1/3 in y
7.291 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.291 * [taylor]: Taking taylor expansion of y in y
7.353 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
7.354 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.354 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.354 * [taylor]: Taking taylor expansion of -1 in y
7.355 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.355 * [taylor]: Taking taylor expansion of 1/3 in y
7.355 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.355 * [taylor]: Taking taylor expansion of y in y
7.356 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.356 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.356 * [taylor]: Taking taylor expansion of -1 in y
7.357 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.357 * [taylor]: Taking taylor expansion of 1/3 in y
7.357 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.357 * [taylor]: Taking taylor expansion of y in y
7.432 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
7.432 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
7.432 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.432 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.432 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.432 * [taylor]: Taking taylor expansion of 1/3 in y
7.432 * [taylor]: Taking taylor expansion of (log y) in y
7.432 * [taylor]: Taking taylor expansion of y in y
7.433 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.433 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.433 * [taylor]: Taking taylor expansion of 1/3 in y
7.433 * [taylor]: Taking taylor expansion of (log y) in y
7.433 * [taylor]: Taking taylor expansion of y in y
7.486 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
7.486 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.486 * [taylor]: Taking taylor expansion of 1/3 in y
7.486 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.486 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.486 * [taylor]: Taking taylor expansion of y in y
7.487 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.488 * [taylor]: Taking taylor expansion of 1/3 in y
7.488 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.488 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.488 * [taylor]: Taking taylor expansion of y in y
7.549 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
7.549 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.549 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.549 * [taylor]: Taking taylor expansion of -1 in y
7.550 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.550 * [taylor]: Taking taylor expansion of 1/3 in y
7.550 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.550 * [taylor]: Taking taylor expansion of y in y
7.551 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.551 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.551 * [taylor]: Taking taylor expansion of -1 in y
7.552 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.552 * [taylor]: Taking taylor expansion of 1/3 in y
7.552 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.552 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.552 * [taylor]: Taking taylor expansion of y in y
7.628 * * * [progress]: simplifying candidates
7.630 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))
  (log1p (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))
  (+ (+ (+ (log (cbrt y)) (log (cbrt y))) (log x)) (- (log (cbrt y)) (log z)))
  (+ (+ (+ (log (cbrt y)) (log (cbrt y))) (log x)) (log (/ (cbrt y) z)))
  (+ (+ (log (* (cbrt y) (cbrt y))) (log x)) (- (log (cbrt y)) (log z)))
  (+ (+ (log (* (cbrt y) (cbrt y))) (log x)) (log (/ (cbrt y) z)))
  (+ (log (* (* (cbrt y) (cbrt y)) x)) (- (log (cbrt y)) (log z)))
  (+ (log (* (* (cbrt y) (cbrt y)) x)) (log (/ (cbrt y) z)))
  (log (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))
  (exp (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))
  (* (* (* y y) (* (* x x) x)) (/ y (* (* z z) z)))
  (* (* (* y y) (* (* x x) x)) (* (* (/ (cbrt y) z) (/ (cbrt y) z)) (/ (cbrt y) z)))
  (* (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* x x) x)) (/ y (* (* z z) z)))
  (* (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* x x) x)) (* (* (/ (cbrt y) z) (/ (cbrt y) z)) (/ (cbrt y) z)))
  (* (* (* (* (* (cbrt y) (cbrt y)) x) (* (* (cbrt y) (cbrt y)) x)) (* (* (cbrt y) (cbrt y)) x)) (/ y (* (* z z) z)))
  (* (* (* (* (* (cbrt y) (cbrt y)) x) (* (* (cbrt y) (cbrt y)) x)) (* (* (cbrt y) (cbrt y)) x)) (* (* (/ (cbrt y) z) (/ (cbrt y) z)) (/ (cbrt y) z)))
  (* (cbrt (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (cbrt (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))))
  (cbrt (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))
  (* (* (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))
  (sqrt (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))
  (sqrt (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))
  (* (* (* (cbrt y) (cbrt y)) x) (* (cbrt (/ (cbrt y) z)) (cbrt (/ (cbrt y) z))))
  (* (* (* (cbrt y) (cbrt y)) x) (sqrt (/ (cbrt y) z)))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (* (cbrt y) (cbrt y))) (sqrt z)))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (* (cbrt y) (cbrt y))) 1))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (sqrt y)) (* (cbrt z) (cbrt z))))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (sqrt y)) (sqrt z)))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (sqrt y)) 1))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt 1) (* (cbrt z) (cbrt z))))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt 1) (sqrt z)))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt 1) 1))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt z) (cbrt z))))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) (sqrt z)))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) 1))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (sqrt (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (sqrt (cbrt y)) (sqrt z)))
  (* (* (* (cbrt y) (cbrt y)) x) (/ (sqrt (cbrt y)) 1))
  (* (* (* (cbrt y) (cbrt y)) x) (/ 1 (* (cbrt z) (cbrt z))))
  (* (* (* (cbrt y) (cbrt y)) x) (/ 1 (sqrt z)))
  (* (* (* (cbrt y) (cbrt y)) x) (/ 1 1))
  (* (* (* (cbrt y) (cbrt y)) x) 1)
  (* (* (* (cbrt y) (cbrt y)) x) (cbrt y))
  (* x (/ (cbrt y) z))
  (* (* (* (cbrt y) (cbrt y)) x) (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
7.633 * * [simplify]: iteration  0 :  124  enodes  (cost  1035 )
7.671 * * [simplify]: iteration  1 :  362  enodes  (cost  979 )
7.896 * * [simplify]: iteration  2 :  1651  enodes  (cost  699 )
8.426 * * [simplify]: iteration  done :  5000  enodes  (cost  699 )
8.426 * [simplify]: Simplified to:
   (expm1 (/ (* (pow (cbrt y) 3) x) z))
  (log1p (/ (* (pow (cbrt y) 3) x) z))
  (/ (* (pow (cbrt y) 3) x) z)
  (/ (* (pow (cbrt y) 3) x) z)
  (/ (* (pow (cbrt y) 3) x) z)
  (log (/ (* (pow (cbrt y) 3) x) z))
  (log (/ (* (pow (cbrt y) 3) x) z))
  (log (/ (* (pow (cbrt y) 3) x) z))
  (log (/ (* (pow (cbrt y) 3) x) z))
  (log (/ (* (pow (cbrt y) 3) x) z))
  (log (/ (* (pow (cbrt y) 3) x) z))
  (log (/ (* (pow (cbrt y) 3) x) z))
  (exp (/ (* (pow (cbrt y) 3) x) z))
  (/ (* y (* (pow x 3) y)) (/ (pow z 3) y))
  (* (* (pow (/ (cbrt y) z) 3) (* y y)) (pow x 3))
  (* (pow (* (pow y 2/3) x) 3) (/ y (pow z 3)))
  (pow (/ (* (pow (cbrt y) 3) x) z) 3)
  (* (pow (* (pow y 2/3) x) 3) (/ y (pow z 3)))
  (pow (/ (* (pow (cbrt y) 3) x) z) 3)
  (* (cbrt (/ (* (pow (cbrt y) 3) x) z)) (cbrt (/ (* (pow (cbrt y) 3) x) z)))
  (cbrt (/ (* (pow (cbrt y) 3) x) z))
  (pow (/ (* (pow (cbrt y) 3) x) z) 3)
  (sqrt (/ (* (pow (cbrt y) 3) x) z))
  (sqrt (/ (* (pow (cbrt y) 3) x) z))
  (* (pow y 2/3) (* x (* (cbrt (/ (cbrt y) z)) (cbrt (/ (cbrt y) z)))))
  (* (* x (sqrt (/ (cbrt y) z))) (pow y 2/3))
  (/ (pow y 2/3) (/ (* (cbrt z) (cbrt z)) (* x (cbrt (pow y 2/3)))))
  (/ (* (pow y 2/3) x) (/ (sqrt z) (cbrt (pow y 2/3))))
  (* (* (pow y 2/3) x) (cbrt (pow y 2/3)))
  (* (pow y 2/3) (* x (/ (cbrt (sqrt y)) (* (cbrt z) (cbrt z)))))
  (/ (* (pow y 2/3) (* x (cbrt (sqrt y)))) (sqrt z))
  (* (pow y 2/3) (* x (cbrt (sqrt y))))
  (/ (pow y 2/3) (/ (* (cbrt z) (cbrt z)) x))
  (/ (pow y 2/3) (/ (sqrt z) x))
  (* (pow y 2/3) x)
  (/ (pow y 2/3) (/ (* (cbrt z) (cbrt z)) (* x (* (cbrt (cbrt y)) (cbrt (cbrt y))))))
  (* (* x (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) (sqrt z))) (pow y 2/3))
  (* (* x (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (pow y 2/3))
  (* (pow y 2/3) (* x (/ (sqrt (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* x (/ (sqrt (cbrt y)) (sqrt z))) (pow y 2/3))
  (* (* x (sqrt (cbrt y))) (pow y 2/3))
  (/ (pow y 2/3) (/ (* (cbrt z) (cbrt z)) x))
  (/ (pow y 2/3) (/ (sqrt z) x))
  (* (pow y 2/3) x)
  (* (pow y 2/3) x)
  (* (pow (cbrt y) 3) x)
  (* x (/ (cbrt y) z))
  (* (pow (cbrt y) 3) x)
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (pow (cbrt y) 3)
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (pow (cbrt y) 3)
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (pow (cbrt y) 3)
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
8.427 * * * [progress]: adding candidates to table
8.704 * * [progress]: iteration 3 / 4
8.704 * * * [progress]: picking best candidate
8.720 * * * * [pick]: Picked  #<alt (λ (x y z t) (* 1 (/ (* x y) z)))>
8.720 * * * [progress]: localizing error
8.725 * * * [progress]: generating rewritten candidates
8.725 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
8.730 * * * [progress]: generating series expansions
8.730 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
8.730 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
8.730 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
8.730 * [taylor]: Taking taylor expansion of (* x y) in z
8.730 * [taylor]: Taking taylor expansion of x in z
8.730 * [taylor]: Taking taylor expansion of y in z
8.730 * [taylor]: Taking taylor expansion of z in z
8.730 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
8.730 * [taylor]: Taking taylor expansion of (* x y) in y
8.730 * [taylor]: Taking taylor expansion of x in y
8.730 * [taylor]: Taking taylor expansion of y in y
8.730 * [taylor]: Taking taylor expansion of z in y
8.731 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
8.731 * [taylor]: Taking taylor expansion of (* x y) in x
8.731 * [taylor]: Taking taylor expansion of x in x
8.731 * [taylor]: Taking taylor expansion of y in x
8.731 * [taylor]: Taking taylor expansion of z in x
8.731 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
8.731 * [taylor]: Taking taylor expansion of (* x y) in x
8.731 * [taylor]: Taking taylor expansion of x in x
8.731 * [taylor]: Taking taylor expansion of y in x
8.731 * [taylor]: Taking taylor expansion of z in x
8.732 * [taylor]: Taking taylor expansion of (/ y z) in y
8.732 * [taylor]: Taking taylor expansion of y in y
8.732 * [taylor]: Taking taylor expansion of z in y
8.732 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.732 * [taylor]: Taking taylor expansion of z in z
8.733 * [taylor]: Taking taylor expansion of 0 in y
8.733 * [taylor]: Taking taylor expansion of 0 in z
8.733 * [taylor]: Taking taylor expansion of 0 in z
8.734 * [taylor]: Taking taylor expansion of 0 in y
8.735 * [taylor]: Taking taylor expansion of 0 in z
8.735 * [taylor]: Taking taylor expansion of 0 in z
8.735 * [taylor]: Taking taylor expansion of 0 in z
8.736 * [taylor]: Taking taylor expansion of 0 in y
8.737 * [taylor]: Taking taylor expansion of 0 in z
8.737 * [taylor]: Taking taylor expansion of 0 in z
8.737 * [taylor]: Taking taylor expansion of 0 in z
8.737 * [taylor]: Taking taylor expansion of 0 in z
8.737 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
8.737 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
8.737 * [taylor]: Taking taylor expansion of z in z
8.737 * [taylor]: Taking taylor expansion of (* x y) in z
8.737 * [taylor]: Taking taylor expansion of x in z
8.737 * [taylor]: Taking taylor expansion of y in z
8.737 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
8.737 * [taylor]: Taking taylor expansion of z in y
8.737 * [taylor]: Taking taylor expansion of (* x y) in y
8.737 * [taylor]: Taking taylor expansion of x in y
8.737 * [taylor]: Taking taylor expansion of y in y
8.738 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
8.738 * [taylor]: Taking taylor expansion of z in x
8.738 * [taylor]: Taking taylor expansion of (* x y) in x
8.738 * [taylor]: Taking taylor expansion of x in x
8.738 * [taylor]: Taking taylor expansion of y in x
8.738 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
8.738 * [taylor]: Taking taylor expansion of z in x
8.738 * [taylor]: Taking taylor expansion of (* x y) in x
8.738 * [taylor]: Taking taylor expansion of x in x
8.738 * [taylor]: Taking taylor expansion of y in x
8.738 * [taylor]: Taking taylor expansion of (/ z y) in y
8.739 * [taylor]: Taking taylor expansion of z in y
8.739 * [taylor]: Taking taylor expansion of y in y
8.739 * [taylor]: Taking taylor expansion of z in z
8.739 * [taylor]: Taking taylor expansion of 0 in y
8.740 * [taylor]: Taking taylor expansion of 0 in z
8.741 * [taylor]: Taking taylor expansion of 0 in y
8.741 * [taylor]: Taking taylor expansion of 0 in z
8.742 * [taylor]: Taking taylor expansion of 0 in z
8.742 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
8.742 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
8.742 * [taylor]: Taking taylor expansion of -1 in z
8.742 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
8.742 * [taylor]: Taking taylor expansion of z in z
8.742 * [taylor]: Taking taylor expansion of (* x y) in z
8.742 * [taylor]: Taking taylor expansion of x in z
8.742 * [taylor]: Taking taylor expansion of y in z
8.742 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
8.742 * [taylor]: Taking taylor expansion of -1 in y
8.742 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
8.742 * [taylor]: Taking taylor expansion of z in y
8.742 * [taylor]: Taking taylor expansion of (* x y) in y
8.742 * [taylor]: Taking taylor expansion of x in y
8.742 * [taylor]: Taking taylor expansion of y in y
8.743 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
8.743 * [taylor]: Taking taylor expansion of -1 in x
8.743 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
8.743 * [taylor]: Taking taylor expansion of z in x
8.743 * [taylor]: Taking taylor expansion of (* x y) in x
8.743 * [taylor]: Taking taylor expansion of x in x
8.743 * [taylor]: Taking taylor expansion of y in x
8.743 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
8.743 * [taylor]: Taking taylor expansion of -1 in x
8.743 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
8.743 * [taylor]: Taking taylor expansion of z in x
8.743 * [taylor]: Taking taylor expansion of (* x y) in x
8.743 * [taylor]: Taking taylor expansion of x in x
8.743 * [taylor]: Taking taylor expansion of y in x
8.744 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
8.744 * [taylor]: Taking taylor expansion of -1 in y
8.744 * [taylor]: Taking taylor expansion of (/ z y) in y
8.744 * [taylor]: Taking taylor expansion of z in y
8.744 * [taylor]: Taking taylor expansion of y in y
8.744 * [taylor]: Taking taylor expansion of (* -1 z) in z
8.744 * [taylor]: Taking taylor expansion of -1 in z
8.744 * [taylor]: Taking taylor expansion of z in z
8.746 * [taylor]: Taking taylor expansion of 0 in y
8.746 * [taylor]: Taking taylor expansion of 0 in z
8.752 * [taylor]: Taking taylor expansion of 0 in y
8.752 * [taylor]: Taking taylor expansion of 0 in z
8.754 * [taylor]: Taking taylor expansion of 0 in z
8.755 * * * [progress]: simplifying candidates
8.755 * [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)
8.757 * * [simplify]: iteration  0 :  50  enodes  (cost  198 )
8.766 * * [simplify]: iteration  1 :  113  enodes  (cost  191 )
8.790 * * [simplify]: iteration  2 :  385  enodes  (cost  161 )
9.137 * * [simplify]: iteration  3 :  1798  enodes  (cost  161 )
11.129 * * [simplify]: iteration  done :  5000  enodes  (cost  161 )
11.129 * [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)
11.129 * * * [progress]: adding candidates to table
11.186 * * [progress]: iteration 4 / 4
11.186 * * * [progress]: picking best candidate
11.198 * * * * [pick]: Picked  #<alt (λ (x y z t) (* 1 (* (* x y) (/ 1 z))))>
11.198 * * * [progress]: localizing error
11.205 * * * [progress]: generating rewritten candidates
11.205 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
11.218 * * * [progress]: generating series expansions
11.218 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
11.218 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
11.218 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
11.219 * [taylor]: Taking taylor expansion of (* x y) in z
11.219 * [taylor]: Taking taylor expansion of x in z
11.219 * [taylor]: Taking taylor expansion of y in z
11.219 * [taylor]: Taking taylor expansion of z in z
11.219 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
11.219 * [taylor]: Taking taylor expansion of (* x y) in y
11.219 * [taylor]: Taking taylor expansion of x in y
11.219 * [taylor]: Taking taylor expansion of y in y
11.219 * [taylor]: Taking taylor expansion of z in y
11.219 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
11.219 * [taylor]: Taking taylor expansion of (* x y) in x
11.219 * [taylor]: Taking taylor expansion of x in x
11.219 * [taylor]: Taking taylor expansion of y in x
11.219 * [taylor]: Taking taylor expansion of z in x
11.220 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
11.220 * [taylor]: Taking taylor expansion of (* x y) in x
11.220 * [taylor]: Taking taylor expansion of x in x
11.220 * [taylor]: Taking taylor expansion of y in x
11.220 * [taylor]: Taking taylor expansion of z in x
11.220 * [taylor]: Taking taylor expansion of (/ y z) in y
11.220 * [taylor]: Taking taylor expansion of y in y
11.220 * [taylor]: Taking taylor expansion of z in y
11.221 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.221 * [taylor]: Taking taylor expansion of z in z
11.222 * [taylor]: Taking taylor expansion of 0 in y
11.222 * [taylor]: Taking taylor expansion of 0 in z
11.222 * [taylor]: Taking taylor expansion of 0 in z
11.223 * [taylor]: Taking taylor expansion of 0 in y
11.223 * [taylor]: Taking taylor expansion of 0 in z
11.223 * [taylor]: Taking taylor expansion of 0 in z
11.223 * [taylor]: Taking taylor expansion of 0 in z
11.225 * [taylor]: Taking taylor expansion of 0 in y
11.225 * [taylor]: Taking taylor expansion of 0 in z
11.225 * [taylor]: Taking taylor expansion of 0 in z
11.225 * [taylor]: Taking taylor expansion of 0 in z
11.226 * [taylor]: Taking taylor expansion of 0 in z
11.226 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
11.226 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
11.226 * [taylor]: Taking taylor expansion of z in z
11.226 * [taylor]: Taking taylor expansion of (* x y) in z
11.226 * [taylor]: Taking taylor expansion of x in z
11.226 * [taylor]: Taking taylor expansion of y in z
11.226 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
11.226 * [taylor]: Taking taylor expansion of z in y
11.226 * [taylor]: Taking taylor expansion of (* x y) in y
11.226 * [taylor]: Taking taylor expansion of x in y
11.226 * [taylor]: Taking taylor expansion of y in y
11.226 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
11.226 * [taylor]: Taking taylor expansion of z in x
11.226 * [taylor]: Taking taylor expansion of (* x y) in x
11.226 * [taylor]: Taking taylor expansion of x in x
11.226 * [taylor]: Taking taylor expansion of y in x
11.227 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
11.227 * [taylor]: Taking taylor expansion of z in x
11.227 * [taylor]: Taking taylor expansion of (* x y) in x
11.227 * [taylor]: Taking taylor expansion of x in x
11.227 * [taylor]: Taking taylor expansion of y in x
11.227 * [taylor]: Taking taylor expansion of (/ z y) in y
11.227 * [taylor]: Taking taylor expansion of z in y
11.227 * [taylor]: Taking taylor expansion of y in y
11.227 * [taylor]: Taking taylor expansion of z in z
11.228 * [taylor]: Taking taylor expansion of 0 in y
11.229 * [taylor]: Taking taylor expansion of 0 in z
11.230 * [taylor]: Taking taylor expansion of 0 in y
11.230 * [taylor]: Taking taylor expansion of 0 in z
11.231 * [taylor]: Taking taylor expansion of 0 in z
11.231 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
11.231 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
11.231 * [taylor]: Taking taylor expansion of -1 in z
11.231 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
11.231 * [taylor]: Taking taylor expansion of z in z
11.231 * [taylor]: Taking taylor expansion of (* x y) in z
11.231 * [taylor]: Taking taylor expansion of x in z
11.231 * [taylor]: Taking taylor expansion of y in z
11.232 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
11.232 * [taylor]: Taking taylor expansion of -1 in y
11.232 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
11.232 * [taylor]: Taking taylor expansion of z in y
11.232 * [taylor]: Taking taylor expansion of (* x y) in y
11.232 * [taylor]: Taking taylor expansion of x in y
11.232 * [taylor]: Taking taylor expansion of y in y
11.232 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
11.232 * [taylor]: Taking taylor expansion of -1 in x
11.232 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
11.232 * [taylor]: Taking taylor expansion of z in x
11.232 * [taylor]: Taking taylor expansion of (* x y) in x
11.232 * [taylor]: Taking taylor expansion of x in x
11.232 * [taylor]: Taking taylor expansion of y in x
11.232 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
11.232 * [taylor]: Taking taylor expansion of -1 in x
11.232 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
11.232 * [taylor]: Taking taylor expansion of z in x
11.233 * [taylor]: Taking taylor expansion of (* x y) in x
11.233 * [taylor]: Taking taylor expansion of x in x
11.233 * [taylor]: Taking taylor expansion of y in x
11.233 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
11.233 * [taylor]: Taking taylor expansion of -1 in y
11.233 * [taylor]: Taking taylor expansion of (/ z y) in y
11.233 * [taylor]: Taking taylor expansion of z in y
11.233 * [taylor]: Taking taylor expansion of y in y
11.233 * [taylor]: Taking taylor expansion of (* -1 z) in z
11.233 * [taylor]: Taking taylor expansion of -1 in z
11.233 * [taylor]: Taking taylor expansion of z in z
11.235 * [taylor]: Taking taylor expansion of 0 in y
11.235 * [taylor]: Taking taylor expansion of 0 in z
11.238 * [taylor]: Taking taylor expansion of 0 in y
11.238 * [taylor]: Taking taylor expansion of 0 in z
11.239 * [taylor]: Taking taylor expansion of 0 in z
11.240 * * * [progress]: simplifying candidates
11.241 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* x y) (/ 1 z)))
  (log1p (* (* x y) (/ 1 z)))
  (* (* x y) (/ 1 z))
  (* (* x y) (/ 1 z))
  (+ (+ (log x) (log y)) (- (log z)))
  (+ (+ (log x) (log y)) (- 0 (log z)))
  (+ (+ (log x) (log y)) (- (log 1) (log z)))
  (+ (+ (log x) (log y)) (log (/ 1 z)))
  (+ (log (* x y)) (- (log z)))
  (+ (log (* x y)) (- 0 (log z)))
  (+ (log (* x y)) (- (log 1) (log z)))
  (+ (log (* x y)) (log (/ 1 z)))
  (log (* (* x y) (/ 1 z)))
  (exp (* (* x y) (/ 1 z)))
  (* (* (* (* x x) x) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* z z) z)))
  (* (* (* (* x x) x) (* (* y y) y)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z)))
  (* (* (* (* x y) (* x y)) (* x y)) (/ (* (* 1 1) 1) (* (* z z) z)))
  (* (* (* (* x y) (* x y)) (* x y)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z)))
  (* (cbrt (* (* x y) (/ 1 z))) (cbrt (* (* x y) (/ 1 z))))
  (cbrt (* (* x y) (/ 1 z)))
  (* (* (* (* x y) (/ 1 z)) (* (* x y) (/ 1 z))) (* (* x y) (/ 1 z)))
  (sqrt (* (* x y) (/ 1 z)))
  (sqrt (* (* x y) (/ 1 z)))
  (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z))))
  (* (* x y) (sqrt (/ 1 z)))
  (* (* x y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z))))
  (* (* x y) (/ (* (cbrt 1) (cbrt 1)) (sqrt z)))
  (* (* x y) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (* x y) (/ (sqrt 1) (* (cbrt z) (cbrt z))))
  (* (* x y) (/ (sqrt 1) (sqrt z)))
  (* (* x y) (/ (sqrt 1) 1))
  (* (* x y) (/ 1 (* (cbrt z) (cbrt z))))
  (* (* x y) (/ 1 (sqrt z)))
  (* (* x y) (/ 1 1))
  (* (* x y) 1)
  (* (* x y) 1)
  (* y (/ 1 z))
  (* (* x y) 1)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
11.243 * * [simplify]: iteration  0 :  85  enodes  (cost  427 )
11.271 * * [simplify]: iteration  1 :  245  enodes  (cost  318 )
11.350 * * [simplify]: iteration  2 :  744  enodes  (cost  250 )
12.626 * * [simplify]: iteration  3 :  3006  enodes  (cost  250 )
13.491 * * [simplify]: iteration  done :  5001  enodes  (cost  250 )
13.492 * [simplify]: Simplified to:
   (expm1 (/ (* y x) z))
  (log1p (/ (* y x) z))
  (/ (* x y) z)
  (/ (* x y) z)
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* 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)
  (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 (/ (* y x) z))
  (sqrt (/ (* y x) z))
  (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z))))
  (* (* x y) (sqrt (/ 1 z)))
  (/ (* y x) (* (cbrt z) (cbrt z)))
  (/ (* y x) (sqrt z))
  (* x y)
  (/ (* y x) (* (cbrt z) (cbrt z)))
  (/ (* y x) (sqrt z))
  (* x y)
  (/ (* y x) (* (cbrt z) (cbrt z)))
  (/ (* y x) (sqrt z))
  (* x y)
  (* x y)
  (* x y)
  (/ y z)
  (* x y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
13.492 * * * [progress]: adding candidates to table
13.559 * [progress]: [Phase 3 of 3] Extracting.
13.559 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* 1 (/ (/ (* x y) (sqrt z)) (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z t) (* 1 (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>)
13.560 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x)
13.560 * * * * [regimes]: Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* 1 (/ (/ (* x y) (sqrt z)) (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z t) (* 1 (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>)
13.616 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* 1 (/ (/ (* x y) (sqrt z)) (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z t) (* 1 (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>)
13.648 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* 1 (/ (/ (* x y) (sqrt z)) (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z t) (* 1 (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>)
13.689 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* 1 (/ (/ (* x y) (sqrt z)) (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z t) (* 1 (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>)
13.734 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* 1 (/ (/ (* x y) (sqrt z)) (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z t) (* 1 (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>)
13.773 * * * [regime]: Found split indices: #<option (#s(si 8 23) #s(si 2 99) #s(si 4 170) #s(si 2 238) #s(si 4 255))>
13.774 * [binary-search]: Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* 1 (/ (/ (* x y) (sqrt z)) (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z t) (* 1 (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>)
13.774 * [regimes]: Found splitpoints: (#s(sp 8 (/ y z) -1.057433920064963e+133) #s(sp 2 (/ y z) -1.0665637347194774e-221) #s(sp 4 (/ y z) 1.5828563463705101e-127) #s(sp 2 (/ y z) 2.5905951762285947e+176) #s(sp 4 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* 1 (/ (/ (* x y) (sqrt z)) (sqrt z))))> #<alt (λ (x y z t) (* 1 (/ x (/ z y))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* 1 (/ (* x y) z)))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (* 1 (* (* x y) (/ 1 z))))> #<alt (λ (x y z t) (* 1 (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)))))> #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>)
13.775 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (/ y z) -1.057433920064963e+133) (* 1 (/ 1 (/ z (* x y)))) (if (<= (/ y z) -1.0665637347194774e-221) (* 1 (/ x (/ z y))) (if (<= (/ y z) 1.5828563463705101e-127) (* 1 (/ (* x y) z)) (if (<= (/ y z) 2.5905951762285947e+176) (* 1 (/ x (/ z y))) (* 1 (/ (* x y) z))))))
13.775 * * [simplify]: iteration  0 :  26  enodes  (cost  61 )
13.776 * * [simplify]: iteration  1 :  35  enodes  (cost  47 )
13.778 * * [simplify]: iteration  2 :  38  enodes  (cost  43 )
13.779 * * [simplify]: iteration  3 :  41  enodes  (cost  43 )
13.780 * * [simplify]: iteration  done :  41  enodes  (cost  42 )
13.780 * [simplify]: Simplified to:
   (if (<= (/ y z) -1.057433920064963e+133) (/ 1 (/ z (* x y))) (if (or (<= (/ y z) -1.0665637347194774e-221) (and (not (<= (/ y z) 1.5828563463705101e-127)) (<= (/ y z) 2.5905951762285947e+176))) (/ x (/ z y)) (/ (* x y) z)))
14.545 * [regime-testing]: Baseline error score: 5.2995686340588035
14.546 * [regime-testing]: Oracle error score: 0.019002375296912115
14.547 * [regime-testing]: End program error score: 1.003487316658462
14.582 * [regime-testing]: Target error score: 1.4990515703616836