37.653 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (/ (* (/ y z) t) t))
0.023 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.025 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
0.027 * * [simplify]: iteration  2 :  40  enodes  (cost  7 )
0.036 * * [simplify]: iteration  3 :  98  enodes  (cost  5 )
0.083 * * [simplify]: iteration  4 :  411  enodes  (cost  5 )
1.678 * * [simplify]: iteration  5 :  2442  enodes  (cost  5 )
3.372 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
3.372 * [simplify]: Simplified to:
   (* x (/ y z))
3.376 * * [progress]: iteration 1 / 4
3.376 * * * [progress]: picking best candidate
3.380 * * * * [pick]: Picked  #<alt (λ (x y z t) (* x (/ y z)))>
3.381 * * * [progress]: localizing error
3.386 * * * [progress]: generating rewritten candidates
3.386 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.403 * * * [progress]: generating series expansions
3.403 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.403 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
3.403 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
3.403 * [taylor]: Taking taylor expansion of (* x y) in z
3.403 * [taylor]: Taking taylor expansion of x in z
3.403 * [taylor]: Taking taylor expansion of y in z
3.403 * [taylor]: Taking taylor expansion of z in z
3.403 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
3.403 * [taylor]: Taking taylor expansion of (* x y) in y
3.403 * [taylor]: Taking taylor expansion of x in y
3.403 * [taylor]: Taking taylor expansion of y in y
3.403 * [taylor]: Taking taylor expansion of z in y
3.404 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
3.404 * [taylor]: Taking taylor expansion of (* x y) in x
3.404 * [taylor]: Taking taylor expansion of x in x
3.404 * [taylor]: Taking taylor expansion of y in x
3.404 * [taylor]: Taking taylor expansion of z in x
3.405 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
3.405 * [taylor]: Taking taylor expansion of (* x y) in x
3.405 * [taylor]: Taking taylor expansion of x in x
3.405 * [taylor]: Taking taylor expansion of y in x
3.405 * [taylor]: Taking taylor expansion of z in x
3.406 * [taylor]: Taking taylor expansion of (/ y z) in y
3.406 * [taylor]: Taking taylor expansion of y in y
3.406 * [taylor]: Taking taylor expansion of z in y
3.406 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.406 * [taylor]: Taking taylor expansion of z in z
3.407 * [taylor]: Taking taylor expansion of 0 in y
3.407 * [taylor]: Taking taylor expansion of 0 in z
3.407 * [taylor]: Taking taylor expansion of 0 in z
3.409 * [taylor]: Taking taylor expansion of 0 in y
3.410 * [taylor]: Taking taylor expansion of 0 in z
3.410 * [taylor]: Taking taylor expansion of 0 in z
3.410 * [taylor]: Taking taylor expansion of 0 in z
3.413 * [taylor]: Taking taylor expansion of 0 in y
3.413 * [taylor]: Taking taylor expansion of 0 in z
3.413 * [taylor]: Taking taylor expansion of 0 in z
3.413 * [taylor]: Taking taylor expansion of 0 in z
3.413 * [taylor]: Taking taylor expansion of 0 in z
3.413 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
3.413 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
3.413 * [taylor]: Taking taylor expansion of z in z
3.413 * [taylor]: Taking taylor expansion of (* x y) in z
3.413 * [taylor]: Taking taylor expansion of x in z
3.413 * [taylor]: Taking taylor expansion of y in z
3.413 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
3.413 * [taylor]: Taking taylor expansion of z in y
3.414 * [taylor]: Taking taylor expansion of (* x y) in y
3.414 * [taylor]: Taking taylor expansion of x in y
3.414 * [taylor]: Taking taylor expansion of y in y
3.414 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.414 * [taylor]: Taking taylor expansion of z in x
3.414 * [taylor]: Taking taylor expansion of (* x y) in x
3.414 * [taylor]: Taking taylor expansion of x in x
3.414 * [taylor]: Taking taylor expansion of y in x
3.415 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.415 * [taylor]: Taking taylor expansion of z in x
3.415 * [taylor]: Taking taylor expansion of (* x y) in x
3.415 * [taylor]: Taking taylor expansion of x in x
3.415 * [taylor]: Taking taylor expansion of y in x
3.416 * [taylor]: Taking taylor expansion of (/ z y) in y
3.416 * [taylor]: Taking taylor expansion of z in y
3.416 * [taylor]: Taking taylor expansion of y in y
3.416 * [taylor]: Taking taylor expansion of z in z
3.417 * [taylor]: Taking taylor expansion of 0 in y
3.418 * [taylor]: Taking taylor expansion of 0 in z
3.419 * [taylor]: Taking taylor expansion of 0 in y
3.419 * [taylor]: Taking taylor expansion of 0 in z
3.420 * [taylor]: Taking taylor expansion of 0 in z
3.421 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
3.421 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
3.421 * [taylor]: Taking taylor expansion of -1 in z
3.421 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
3.421 * [taylor]: Taking taylor expansion of z in z
3.421 * [taylor]: Taking taylor expansion of (* x y) in z
3.421 * [taylor]: Taking taylor expansion of x in z
3.421 * [taylor]: Taking taylor expansion of y in z
3.421 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
3.421 * [taylor]: Taking taylor expansion of -1 in y
3.421 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
3.421 * [taylor]: Taking taylor expansion of z in y
3.421 * [taylor]: Taking taylor expansion of (* x y) in y
3.421 * [taylor]: Taking taylor expansion of x in y
3.421 * [taylor]: Taking taylor expansion of y in y
3.422 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
3.422 * [taylor]: Taking taylor expansion of -1 in x
3.422 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.422 * [taylor]: Taking taylor expansion of z in x
3.422 * [taylor]: Taking taylor expansion of (* x y) in x
3.422 * [taylor]: Taking taylor expansion of x in x
3.422 * [taylor]: Taking taylor expansion of y in x
3.422 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
3.423 * [taylor]: Taking taylor expansion of -1 in x
3.423 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.423 * [taylor]: Taking taylor expansion of z in x
3.423 * [taylor]: Taking taylor expansion of (* x y) in x
3.423 * [taylor]: Taking taylor expansion of x in x
3.423 * [taylor]: Taking taylor expansion of y in x
3.423 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
3.423 * [taylor]: Taking taylor expansion of -1 in y
3.423 * [taylor]: Taking taylor expansion of (/ z y) in y
3.423 * [taylor]: Taking taylor expansion of z in y
3.423 * [taylor]: Taking taylor expansion of y in y
3.424 * [taylor]: Taking taylor expansion of (* -1 z) in z
3.424 * [taylor]: Taking taylor expansion of -1 in z
3.424 * [taylor]: Taking taylor expansion of z in z
3.426 * [taylor]: Taking taylor expansion of 0 in y
3.427 * [taylor]: Taking taylor expansion of 0 in z
3.430 * [taylor]: Taking taylor expansion of 0 in y
3.430 * [taylor]: Taking taylor expansion of 0 in z
3.432 * [taylor]: Taking taylor expansion of 0 in z
3.433 * * * [progress]: simplifying candidates
3.433 * [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.436 * * [simplify]: iteration  0 :  71  enodes  (cost  289 )
3.452 * * [simplify]: iteration  1 :  168  enodes  (cost  272 )
3.494 * * [simplify]: iteration  2 :  447  enodes  (cost  242 )
3.723 * * [simplify]: iteration  3 :  1359  enodes  (cost  242 )
5.335 * * [simplify]: iteration  4 :  3688  enodes  (cost  242 )
7.063 * * [simplify]: iteration  done :  5001  enodes  (cost  242 )
7.063 * [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)
7.064 * * * [progress]: adding candidates to table
7.157 * * [progress]: iteration 2 / 4
7.158 * * * [progress]: picking best candidate
7.178 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>
7.178 * * * [progress]: localizing error
7.187 * * * [progress]: generating rewritten candidates
7.188 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
7.241 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
7.242 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
7.243 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
7.246 * * * [progress]: generating series expansions
7.246 * * * * [progress]: [ 1 / 4 ] generating series at (2)
7.246 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
7.246 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
7.246 * [taylor]: Taking taylor expansion of (* x y) in z
7.246 * [taylor]: Taking taylor expansion of x in z
7.246 * [taylor]: Taking taylor expansion of y in z
7.246 * [taylor]: Taking taylor expansion of z in z
7.246 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
7.246 * [taylor]: Taking taylor expansion of (* x y) in x
7.247 * [taylor]: Taking taylor expansion of x in x
7.247 * [taylor]: Taking taylor expansion of y in x
7.247 * [taylor]: Taking taylor expansion of z in x
7.247 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
7.247 * [taylor]: Taking taylor expansion of (* x y) in y
7.247 * [taylor]: Taking taylor expansion of x in y
7.247 * [taylor]: Taking taylor expansion of y in y
7.247 * [taylor]: Taking taylor expansion of z in y
7.248 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
7.248 * [taylor]: Taking taylor expansion of (* x y) in y
7.248 * [taylor]: Taking taylor expansion of x in y
7.248 * [taylor]: Taking taylor expansion of y in y
7.248 * [taylor]: Taking taylor expansion of z in y
7.249 * [taylor]: Taking taylor expansion of (/ x z) in x
7.249 * [taylor]: Taking taylor expansion of x in x
7.249 * [taylor]: Taking taylor expansion of z in x
7.249 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.249 * [taylor]: Taking taylor expansion of z in z
7.250 * [taylor]: Taking taylor expansion of 0 in x
7.250 * [taylor]: Taking taylor expansion of 0 in z
7.250 * [taylor]: Taking taylor expansion of 0 in z
7.251 * [taylor]: Taking taylor expansion of 0 in x
7.251 * [taylor]: Taking taylor expansion of 0 in z
7.252 * [taylor]: Taking taylor expansion of 0 in z
7.252 * [taylor]: Taking taylor expansion of 0 in z
7.253 * [taylor]: Taking taylor expansion of 0 in x
7.253 * [taylor]: Taking taylor expansion of 0 in z
7.253 * [taylor]: Taking taylor expansion of 0 in z
7.253 * [taylor]: Taking taylor expansion of 0 in z
7.254 * [taylor]: Taking taylor expansion of 0 in z
7.254 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
7.254 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
7.254 * [taylor]: Taking taylor expansion of z in z
7.254 * [taylor]: Taking taylor expansion of (* x y) in z
7.254 * [taylor]: Taking taylor expansion of x in z
7.254 * [taylor]: Taking taylor expansion of y in z
7.254 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
7.254 * [taylor]: Taking taylor expansion of z in x
7.255 * [taylor]: Taking taylor expansion of (* x y) in x
7.255 * [taylor]: Taking taylor expansion of x in x
7.255 * [taylor]: Taking taylor expansion of y in x
7.255 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
7.255 * [taylor]: Taking taylor expansion of z in y
7.255 * [taylor]: Taking taylor expansion of (* x y) in y
7.255 * [taylor]: Taking taylor expansion of x in y
7.255 * [taylor]: Taking taylor expansion of y in y
7.256 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
7.256 * [taylor]: Taking taylor expansion of z in y
7.256 * [taylor]: Taking taylor expansion of (* x y) in y
7.256 * [taylor]: Taking taylor expansion of x in y
7.256 * [taylor]: Taking taylor expansion of y in y
7.256 * [taylor]: Taking taylor expansion of (/ z x) in x
7.256 * [taylor]: Taking taylor expansion of z in x
7.256 * [taylor]: Taking taylor expansion of x in x
7.257 * [taylor]: Taking taylor expansion of z in z
7.257 * [taylor]: Taking taylor expansion of 0 in x
7.258 * [taylor]: Taking taylor expansion of 0 in z
7.259 * [taylor]: Taking taylor expansion of 0 in x
7.259 * [taylor]: Taking taylor expansion of 0 in z
7.260 * [taylor]: Taking taylor expansion of 0 in z
7.261 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in (y x z) around 0
7.261 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in z
7.261 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z
7.261 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
7.261 * [taylor]: Taking taylor expansion of (cbrt -1) in z
7.261 * [taylor]: Taking taylor expansion of -1 in z
7.263 * [taylor]: Taking taylor expansion of z in z
7.263 * [taylor]: Taking taylor expansion of (* x y) in z
7.263 * [taylor]: Taking taylor expansion of x in z
7.263 * [taylor]: Taking taylor expansion of y in z
7.270 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in x
7.270 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x
7.270 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
7.270 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.270 * [taylor]: Taking taylor expansion of -1 in x
7.271 * [taylor]: Taking taylor expansion of z in x
7.272 * [taylor]: Taking taylor expansion of (* x y) in x
7.272 * [taylor]: Taking taylor expansion of x in x
7.272 * [taylor]: Taking taylor expansion of y in x
7.276 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in y
7.276 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
7.276 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
7.276 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.276 * [taylor]: Taking taylor expansion of -1 in y
7.277 * [taylor]: Taking taylor expansion of z in y
7.277 * [taylor]: Taking taylor expansion of (* x y) in y
7.277 * [taylor]: Taking taylor expansion of x in y
7.277 * [taylor]: Taking taylor expansion of y in y
7.281 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in y
7.281 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
7.281 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
7.281 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.281 * [taylor]: Taking taylor expansion of -1 in y
7.282 * [taylor]: Taking taylor expansion of z in y
7.282 * [taylor]: Taking taylor expansion of (* x y) in y
7.282 * [taylor]: Taking taylor expansion of x in y
7.282 * [taylor]: Taking taylor expansion of y in y
7.286 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x
7.286 * [taylor]: Taking taylor expansion of -1 in x
7.286 * [taylor]: Taking taylor expansion of (/ z x) in x
7.286 * [taylor]: Taking taylor expansion of z in x
7.286 * [taylor]: Taking taylor expansion of x in x
7.286 * [taylor]: Taking taylor expansion of (* -1 z) in z
7.286 * [taylor]: Taking taylor expansion of -1 in z
7.286 * [taylor]: Taking taylor expansion of z in z
7.294 * [taylor]: Taking taylor expansion of 0 in x
7.296 * [taylor]: Taking taylor expansion of 0 in z
7.300 * [taylor]: Taking taylor expansion of 0 in x
7.301 * [taylor]: Taking taylor expansion of 0 in z
7.302 * [taylor]: Taking taylor expansion of 0 in z
7.303 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
7.304 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
7.304 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.304 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.304 * [taylor]: Taking taylor expansion of 1/3 in y
7.304 * [taylor]: Taking taylor expansion of (log y) in y
7.304 * [taylor]: Taking taylor expansion of y in y
7.305 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.305 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.305 * [taylor]: Taking taylor expansion of 1/3 in y
7.305 * [taylor]: Taking taylor expansion of (log y) in y
7.305 * [taylor]: Taking taylor expansion of y in y
7.363 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
7.363 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.364 * [taylor]: Taking taylor expansion of 1/3 in y
7.364 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.364 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.364 * [taylor]: Taking taylor expansion of y in y
7.365 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.365 * [taylor]: Taking taylor expansion of 1/3 in y
7.365 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.365 * [taylor]: Taking taylor expansion of y in y
7.432 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
7.432 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.432 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.432 * [taylor]: Taking taylor expansion of -1 in y
7.433 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.433 * [taylor]: Taking taylor expansion of 1/3 in y
7.433 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.433 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.433 * [taylor]: Taking taylor expansion of y in y
7.435 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.435 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.435 * [taylor]: Taking taylor expansion of -1 in y
7.436 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.436 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.436 * [taylor]: Taking taylor expansion of 1/3 in y
7.436 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.436 * [taylor]: Taking taylor expansion of y in y
7.517 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
7.517 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
7.517 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.517 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.517 * [taylor]: Taking taylor expansion of 1/3 in y
7.517 * [taylor]: Taking taylor expansion of (log y) in y
7.517 * [taylor]: Taking taylor expansion of y in y
7.518 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.518 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.518 * [taylor]: Taking taylor expansion of 1/3 in y
7.518 * [taylor]: Taking taylor expansion of (log y) in y
7.518 * [taylor]: Taking taylor expansion of y in y
7.581 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
7.581 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.582 * [taylor]: Taking taylor expansion of 1/3 in y
7.582 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.582 * [taylor]: Taking taylor expansion of y in y
7.583 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.583 * [taylor]: Taking taylor expansion of 1/3 in y
7.583 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.583 * [taylor]: Taking taylor expansion of y in y
7.645 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
7.645 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.645 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.645 * [taylor]: Taking taylor expansion of -1 in y
7.647 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.647 * [taylor]: Taking taylor expansion of 1/3 in y
7.647 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.647 * [taylor]: Taking taylor expansion of y in y
7.648 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.648 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.648 * [taylor]: Taking taylor expansion of -1 in y
7.649 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.649 * [taylor]: Taking taylor expansion of 1/3 in y
7.649 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.649 * [taylor]: Taking taylor expansion of y in y
7.734 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
7.734 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
7.734 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.734 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.734 * [taylor]: Taking taylor expansion of 1/3 in y
7.734 * [taylor]: Taking taylor expansion of (log y) in y
7.734 * [taylor]: Taking taylor expansion of y in y
7.735 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.735 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.735 * [taylor]: Taking taylor expansion of 1/3 in y
7.735 * [taylor]: Taking taylor expansion of (log y) in y
7.735 * [taylor]: Taking taylor expansion of y in y
7.802 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
7.802 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.802 * [taylor]: Taking taylor expansion of 1/3 in y
7.802 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.802 * [taylor]: Taking taylor expansion of y in y
7.803 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.803 * [taylor]: Taking taylor expansion of 1/3 in y
7.803 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.803 * [taylor]: Taking taylor expansion of y in y
7.873 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
7.873 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.873 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.873 * [taylor]: Taking taylor expansion of -1 in y
7.875 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.875 * [taylor]: Taking taylor expansion of 1/3 in y
7.875 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.875 * [taylor]: Taking taylor expansion of y in y
7.876 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.876 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.876 * [taylor]: Taking taylor expansion of -1 in y
7.877 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.877 * [taylor]: Taking taylor expansion of 1/3 in y
7.877 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.877 * [taylor]: Taking taylor expansion of y in y
7.961 * * * [progress]: simplifying candidates
7.963 * [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.967 * * [simplify]: iteration  0 :  124  enodes  (cost  1035 )
8.002 * * [simplify]: iteration  1 :  362  enodes  (cost  979 )
8.247 * * [simplify]: iteration  2 :  1651  enodes  (cost  699 )
8.831 * * [simplify]: iteration  done :  5000  enodes  (cost  699 )
8.831 * [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.832 * * * [progress]: adding candidates to table
9.138 * * [progress]: iteration 3 / 4
9.138 * * * [progress]: picking best candidate
9.157 * * * * [pick]: Picked  #<alt (λ (x y z t) (pow (/ (* x y) z) 1))>
9.158 * * * [progress]: localizing error
9.164 * * * [progress]: generating rewritten candidates
9.165 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
9.169 * * * [progress]: generating series expansions
9.169 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
9.169 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
9.169 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
9.169 * [taylor]: Taking taylor expansion of (* x y) in z
9.169 * [taylor]: Taking taylor expansion of x in z
9.169 * [taylor]: Taking taylor expansion of y in z
9.169 * [taylor]: Taking taylor expansion of z in z
9.169 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
9.169 * [taylor]: Taking taylor expansion of (* x y) in y
9.169 * [taylor]: Taking taylor expansion of x in y
9.169 * [taylor]: Taking taylor expansion of y in y
9.169 * [taylor]: Taking taylor expansion of z in y
9.170 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
9.170 * [taylor]: Taking taylor expansion of (* x y) in x
9.170 * [taylor]: Taking taylor expansion of x in x
9.170 * [taylor]: Taking taylor expansion of y in x
9.170 * [taylor]: Taking taylor expansion of z in x
9.171 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
9.171 * [taylor]: Taking taylor expansion of (* x y) in x
9.171 * [taylor]: Taking taylor expansion of x in x
9.171 * [taylor]: Taking taylor expansion of y in x
9.171 * [taylor]: Taking taylor expansion of z in x
9.171 * [taylor]: Taking taylor expansion of (/ y z) in y
9.172 * [taylor]: Taking taylor expansion of y in y
9.172 * [taylor]: Taking taylor expansion of z in y
9.172 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.172 * [taylor]: Taking taylor expansion of z in z
9.173 * [taylor]: Taking taylor expansion of 0 in y
9.173 * [taylor]: Taking taylor expansion of 0 in z
9.173 * [taylor]: Taking taylor expansion of 0 in z
9.175 * [taylor]: Taking taylor expansion of 0 in y
9.175 * [taylor]: Taking taylor expansion of 0 in z
9.175 * [taylor]: Taking taylor expansion of 0 in z
9.175 * [taylor]: Taking taylor expansion of 0 in z
9.177 * [taylor]: Taking taylor expansion of 0 in y
9.177 * [taylor]: Taking taylor expansion of 0 in z
9.177 * [taylor]: Taking taylor expansion of 0 in z
9.177 * [taylor]: Taking taylor expansion of 0 in z
9.178 * [taylor]: Taking taylor expansion of 0 in z
9.178 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
9.178 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
9.178 * [taylor]: Taking taylor expansion of z in z
9.178 * [taylor]: Taking taylor expansion of (* x y) in z
9.178 * [taylor]: Taking taylor expansion of x in z
9.178 * [taylor]: Taking taylor expansion of y in z
9.178 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
9.178 * [taylor]: Taking taylor expansion of z in y
9.178 * [taylor]: Taking taylor expansion of (* x y) in y
9.178 * [taylor]: Taking taylor expansion of x in y
9.178 * [taylor]: Taking taylor expansion of y in y
9.179 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
9.179 * [taylor]: Taking taylor expansion of z in x
9.179 * [taylor]: Taking taylor expansion of (* x y) in x
9.179 * [taylor]: Taking taylor expansion of x in x
9.179 * [taylor]: Taking taylor expansion of y in x
9.179 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
9.179 * [taylor]: Taking taylor expansion of z in x
9.179 * [taylor]: Taking taylor expansion of (* x y) in x
9.179 * [taylor]: Taking taylor expansion of x in x
9.179 * [taylor]: Taking taylor expansion of y in x
9.180 * [taylor]: Taking taylor expansion of (/ z y) in y
9.180 * [taylor]: Taking taylor expansion of z in y
9.180 * [taylor]: Taking taylor expansion of y in y
9.180 * [taylor]: Taking taylor expansion of z in z
9.181 * [taylor]: Taking taylor expansion of 0 in y
9.182 * [taylor]: Taking taylor expansion of 0 in z
9.183 * [taylor]: Taking taylor expansion of 0 in y
9.183 * [taylor]: Taking taylor expansion of 0 in z
9.184 * [taylor]: Taking taylor expansion of 0 in z
9.184 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
9.184 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
9.184 * [taylor]: Taking taylor expansion of -1 in z
9.184 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
9.184 * [taylor]: Taking taylor expansion of z in z
9.184 * [taylor]: Taking taylor expansion of (* x y) in z
9.184 * [taylor]: Taking taylor expansion of x in z
9.184 * [taylor]: Taking taylor expansion of y in z
9.185 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
9.185 * [taylor]: Taking taylor expansion of -1 in y
9.185 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
9.185 * [taylor]: Taking taylor expansion of z in y
9.185 * [taylor]: Taking taylor expansion of (* x y) in y
9.185 * [taylor]: Taking taylor expansion of x in y
9.185 * [taylor]: Taking taylor expansion of y in y
9.185 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
9.185 * [taylor]: Taking taylor expansion of -1 in x
9.185 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
9.185 * [taylor]: Taking taylor expansion of z in x
9.185 * [taylor]: Taking taylor expansion of (* x y) in x
9.185 * [taylor]: Taking taylor expansion of x in x
9.185 * [taylor]: Taking taylor expansion of y in x
9.186 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
9.186 * [taylor]: Taking taylor expansion of -1 in x
9.186 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
9.186 * [taylor]: Taking taylor expansion of z in x
9.186 * [taylor]: Taking taylor expansion of (* x y) in x
9.186 * [taylor]: Taking taylor expansion of x in x
9.186 * [taylor]: Taking taylor expansion of y in x
9.186 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
9.187 * [taylor]: Taking taylor expansion of -1 in y
9.187 * [taylor]: Taking taylor expansion of (/ z y) in y
9.187 * [taylor]: Taking taylor expansion of z in y
9.187 * [taylor]: Taking taylor expansion of y in y
9.187 * [taylor]: Taking taylor expansion of (* -1 z) in z
9.187 * [taylor]: Taking taylor expansion of -1 in z
9.187 * [taylor]: Taking taylor expansion of z in z
9.188 * [taylor]: Taking taylor expansion of 0 in y
9.190 * [taylor]: Taking taylor expansion of 0 in z
9.192 * [taylor]: Taking taylor expansion of 0 in y
9.192 * [taylor]: Taking taylor expansion of 0 in z
9.194 * [taylor]: Taking taylor expansion of 0 in z
9.195 * * * [progress]: simplifying candidates
9.196 * [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)
9.197 * * [simplify]: iteration  0 :  50  enodes  (cost  198 )
9.212 * * [simplify]: iteration  1 :  113  enodes  (cost  191 )
9.238 * * [simplify]: iteration  2 :  385  enodes  (cost  161 )
9.597 * * [simplify]: iteration  3 :  1798  enodes  (cost  161 )
11.929 * * [simplify]: iteration  done :  5000  enodes  (cost  161 )
11.929 * [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.929 * * * [progress]: adding candidates to table
11.998 * * [progress]: iteration 4 / 4
11.998 * * * [progress]: picking best candidate
12.015 * * * * [pick]: Picked  #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))>
12.015 * * * [progress]: localizing error
12.023 * * * [progress]: generating rewritten candidates
12.023 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
12.036 * * * [progress]: generating series expansions
12.036 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
12.036 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
12.036 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
12.036 * [taylor]: Taking taylor expansion of (* x y) in z
12.036 * [taylor]: Taking taylor expansion of x in z
12.036 * [taylor]: Taking taylor expansion of y in z
12.036 * [taylor]: Taking taylor expansion of z in z
12.037 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
12.037 * [taylor]: Taking taylor expansion of (* x y) in y
12.037 * [taylor]: Taking taylor expansion of x in y
12.037 * [taylor]: Taking taylor expansion of y in y
12.037 * [taylor]: Taking taylor expansion of z in y
12.037 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
12.037 * [taylor]: Taking taylor expansion of (* x y) in x
12.037 * [taylor]: Taking taylor expansion of x in x
12.037 * [taylor]: Taking taylor expansion of y in x
12.037 * [taylor]: Taking taylor expansion of z in x
12.038 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
12.038 * [taylor]: Taking taylor expansion of (* x y) in x
12.038 * [taylor]: Taking taylor expansion of x in x
12.038 * [taylor]: Taking taylor expansion of y in x
12.038 * [taylor]: Taking taylor expansion of z in x
12.039 * [taylor]: Taking taylor expansion of (/ y z) in y
12.039 * [taylor]: Taking taylor expansion of y in y
12.039 * [taylor]: Taking taylor expansion of z in y
12.039 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.039 * [taylor]: Taking taylor expansion of z in z
12.040 * [taylor]: Taking taylor expansion of 0 in y
12.040 * [taylor]: Taking taylor expansion of 0 in z
12.040 * [taylor]: Taking taylor expansion of 0 in z
12.042 * [taylor]: Taking taylor expansion of 0 in y
12.042 * [taylor]: Taking taylor expansion of 0 in z
12.042 * [taylor]: Taking taylor expansion of 0 in z
12.042 * [taylor]: Taking taylor expansion of 0 in z
12.045 * [taylor]: Taking taylor expansion of 0 in y
12.045 * [taylor]: Taking taylor expansion of 0 in z
12.045 * [taylor]: Taking taylor expansion of 0 in z
12.045 * [taylor]: Taking taylor expansion of 0 in z
12.045 * [taylor]: Taking taylor expansion of 0 in z
12.045 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
12.045 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
12.045 * [taylor]: Taking taylor expansion of z in z
12.045 * [taylor]: Taking taylor expansion of (* x y) in z
12.045 * [taylor]: Taking taylor expansion of x in z
12.045 * [taylor]: Taking taylor expansion of y in z
12.045 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
12.045 * [taylor]: Taking taylor expansion of z in y
12.045 * [taylor]: Taking taylor expansion of (* x y) in y
12.045 * [taylor]: Taking taylor expansion of x in y
12.045 * [taylor]: Taking taylor expansion of y in y
12.046 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
12.046 * [taylor]: Taking taylor expansion of z in x
12.046 * [taylor]: Taking taylor expansion of (* x y) in x
12.046 * [taylor]: Taking taylor expansion of x in x
12.046 * [taylor]: Taking taylor expansion of y in x
12.047 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
12.047 * [taylor]: Taking taylor expansion of z in x
12.047 * [taylor]: Taking taylor expansion of (* x y) in x
12.047 * [taylor]: Taking taylor expansion of x in x
12.047 * [taylor]: Taking taylor expansion of y in x
12.047 * [taylor]: Taking taylor expansion of (/ z y) in y
12.047 * [taylor]: Taking taylor expansion of z in y
12.047 * [taylor]: Taking taylor expansion of y in y
12.047 * [taylor]: Taking taylor expansion of z in z
12.048 * [taylor]: Taking taylor expansion of 0 in y
12.049 * [taylor]: Taking taylor expansion of 0 in z
12.050 * [taylor]: Taking taylor expansion of 0 in y
12.050 * [taylor]: Taking taylor expansion of 0 in z
12.051 * [taylor]: Taking taylor expansion of 0 in z
12.052 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
12.052 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
12.052 * [taylor]: Taking taylor expansion of -1 in z
12.052 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
12.052 * [taylor]: Taking taylor expansion of z in z
12.052 * [taylor]: Taking taylor expansion of (* x y) in z
12.052 * [taylor]: Taking taylor expansion of x in z
12.052 * [taylor]: Taking taylor expansion of y in z
12.052 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
12.052 * [taylor]: Taking taylor expansion of -1 in y
12.052 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
12.052 * [taylor]: Taking taylor expansion of z in y
12.052 * [taylor]: Taking taylor expansion of (* x y) in y
12.052 * [taylor]: Taking taylor expansion of x in y
12.052 * [taylor]: Taking taylor expansion of y in y
12.053 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
12.053 * [taylor]: Taking taylor expansion of -1 in x
12.053 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
12.053 * [taylor]: Taking taylor expansion of z in x
12.053 * [taylor]: Taking taylor expansion of (* x y) in x
12.053 * [taylor]: Taking taylor expansion of x in x
12.053 * [taylor]: Taking taylor expansion of y in x
12.053 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
12.053 * [taylor]: Taking taylor expansion of -1 in x
12.053 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
12.053 * [taylor]: Taking taylor expansion of z in x
12.053 * [taylor]: Taking taylor expansion of (* x y) in x
12.053 * [taylor]: Taking taylor expansion of x in x
12.053 * [taylor]: Taking taylor expansion of y in x
12.054 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
12.054 * [taylor]: Taking taylor expansion of -1 in y
12.054 * [taylor]: Taking taylor expansion of (/ z y) in y
12.054 * [taylor]: Taking taylor expansion of z in y
12.054 * [taylor]: Taking taylor expansion of y in y
12.054 * [taylor]: Taking taylor expansion of (* -1 z) in z
12.054 * [taylor]: Taking taylor expansion of -1 in z
12.054 * [taylor]: Taking taylor expansion of z in z
12.056 * [taylor]: Taking taylor expansion of 0 in y
12.057 * [taylor]: Taking taylor expansion of 0 in z
12.059 * [taylor]: Taking taylor expansion of 0 in y
12.059 * [taylor]: Taking taylor expansion of 0 in z
12.061 * [taylor]: Taking taylor expansion of 0 in z
12.062 * * * [progress]: simplifying candidates
12.063 * [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)
12.066 * * [simplify]: iteration  0 :  85  enodes  (cost  427 )
12.095 * * [simplify]: iteration  1 :  245  enodes  (cost  318 )
12.175 * * [simplify]: iteration  2 :  744  enodes  (cost  250 )
13.511 * * [simplify]: iteration  3 :  3006  enodes  (cost  250 )
14.437 * * [simplify]: iteration  done :  5001  enodes  (cost  250 )
14.438 * [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)
14.438 * * * [progress]: adding candidates to table
14.515 * [progress]: [Phase 3 of 3] Extracting.
14.515 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (pow (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))) 1))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (pow (/ 1 (/ z (* x y))) 1))> #<alt (λ (x y z t) (pow (/ (* x y) z) 1))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (pow (/ (/ (* x y) (sqrt z)) (sqrt z)) 1))> #<alt (λ (x y z t) (pow (/ x (/ z y)) 1))>)
14.516 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x)
14.517 * * * * [regimes]: Trying to branch on (/ y z) from (#<alt (λ (x y z t) (pow (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))) 1))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (pow (/ 1 (/ z (* x y))) 1))> #<alt (λ (x y z t) (pow (/ (* x y) z) 1))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (pow (/ (/ (* x y) (sqrt z)) (sqrt z)) 1))> #<alt (λ (x y z t) (pow (/ x (/ z y)) 1))>)
14.579 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (pow (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))) 1))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (pow (/ 1 (/ z (* x y))) 1))> #<alt (λ (x y z t) (pow (/ (* x y) z) 1))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (pow (/ (/ (* x y) (sqrt z)) (sqrt z)) 1))> #<alt (λ (x y z t) (pow (/ x (/ z y)) 1))>)
14.615 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (pow (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))) 1))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (pow (/ 1 (/ z (* x y))) 1))> #<alt (λ (x y z t) (pow (/ (* x y) z) 1))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (pow (/ (/ (* x y) (sqrt z)) (sqrt z)) 1))> #<alt (λ (x y z t) (pow (/ x (/ z y)) 1))>)
14.662 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (pow (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))) 1))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (pow (/ 1 (/ z (* x y))) 1))> #<alt (λ (x y z t) (pow (/ (* x y) z) 1))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (pow (/ (/ (* x y) (sqrt z)) (sqrt z)) 1))> #<alt (λ (x y z t) (pow (/ x (/ z y)) 1))>)
14.713 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (pow (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))) 1))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (pow (/ 1 (/ z (* x y))) 1))> #<alt (λ (x y z t) (pow (/ (* x y) z) 1))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (pow (/ (/ (* x y) (sqrt z)) (sqrt z)) 1))> #<alt (λ (x y z t) (pow (/ x (/ z y)) 1))>)
14.758 * * * [regime]: Found split indices: #<option (#s(si 4 23) #s(si 8 99) #s(si 5 170) #s(si 8 238) #s(si 5 255))>
14.759 * [binary-search]: Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (pow (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))) 1))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (pow (/ 1 (/ z (* x y))) 1))> #<alt (λ (x y z t) (pow (/ (* x y) z) 1))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (pow (/ (/ (* x y) (sqrt z)) (sqrt z)) 1))> #<alt (λ (x y z t) (pow (/ x (/ z y)) 1))>)
14.759 * [regimes]: Found splitpoints: (#s(sp 4 (/ y z) -1.057433920064963e+133) #s(sp 8 (/ y z) -1.0665637347194774e-221) #s(sp 5 (/ y z) 1.5828563463705101e-127) #s(sp 8 (/ y z) 2.5905951762285947e+176) #s(sp 5 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (pow (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))) 1))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (pow (/ 1 (/ z (* x y))) 1))> #<alt (λ (x y z t) (pow (/ (* x y) z) 1))> #<alt (λ (x y z t) (* (* (sqrt y) x) (/ (sqrt y) z)))> #<alt (λ (x y z t) (pow (/ (/ (* x y) (sqrt z)) (sqrt z)) 1))> #<alt (λ (x y z t) (pow (/ x (/ z y)) 1))>)
14.760 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (/ y z) -1.057433920064963e+133) (pow (/ 1 (/ z (* x y))) 1) (if (<= (/ y z) -1.0665637347194774e-221) (pow (/ x (/ z y)) 1) (if (<= (/ y z) 1.5828563463705101e-127) (pow (/ (* x y) z) 1) (if (<= (/ y z) 2.5905951762285947e+176) (pow (/ x (/ z y)) 1) (pow (/ (* x y) z) 1)))))
14.761 * * [simplify]: iteration  0 :  26  enodes  (cost  61 )
14.762 * * [simplify]: iteration  1 :  32  enodes  (cost  47 )
14.763 * * [simplify]: iteration  2 :  35  enodes  (cost  43 )
14.764 * * [simplify]: iteration  3 :  38  enodes  (cost  43 )
14.765 * * [simplify]: iteration  done :  38  enodes  (cost  42 )
14.765 * [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)))
15.613 * [regime-testing]: Baseline error score: 5.2995686340588035
15.614 * [regime-testing]: Oracle error score: 0.019002375296912115
15.615 * [regime-testing]: End program error score: 1.003487316658462