19.973 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.013 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* x y) z)
0.016 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
0.017 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
0.018 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
0.019 * * [simplify]: iteration  3 :  15  enodes  (cost  5 )
0.021 * * [simplify]: iteration  4 :  16  enodes  (cost  5 )
0.022 * * [simplify]: iteration  done :  16  enodes  (cost  5 )
0.023 * [simplify]: Simplified to:
   (/ (* x y) z)
0.023 * * [progress]: iteration 1 / 4
0.023 * * * [progress]: picking best candidate
0.024 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* x y) z))>
0.024 * * * [progress]: localizing error
0.028 * * * [progress]: generating rewritten candidates
0.028 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.032 * * * [progress]: generating series expansions
0.032 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.033 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
0.033 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
0.033 * [taylor]: Taking taylor expansion of (* x y) in z
0.033 * [taylor]: Taking taylor expansion of x in z
0.033 * [taylor]: Taking taylor expansion of y in z
0.033 * [taylor]: Taking taylor expansion of z in z
0.033 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
0.033 * [taylor]: Taking taylor expansion of (* x y) in y
0.033 * [taylor]: Taking taylor expansion of x in y
0.033 * [taylor]: Taking taylor expansion of y in y
0.033 * [taylor]: Taking taylor expansion of z in y
0.033 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.033 * [taylor]: Taking taylor expansion of (* x y) in x
0.033 * [taylor]: Taking taylor expansion of x in x
0.033 * [taylor]: Taking taylor expansion of y in x
0.033 * [taylor]: Taking taylor expansion of z in x
0.034 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.034 * [taylor]: Taking taylor expansion of (* x y) in x
0.034 * [taylor]: Taking taylor expansion of x in x
0.034 * [taylor]: Taking taylor expansion of y in x
0.034 * [taylor]: Taking taylor expansion of z in x
0.034 * [taylor]: Taking taylor expansion of (/ y z) in y
0.034 * [taylor]: Taking taylor expansion of y in y
0.034 * [taylor]: Taking taylor expansion of z in y
0.034 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.034 * [taylor]: Taking taylor expansion of z in z
0.035 * [taylor]: Taking taylor expansion of 0 in y
0.035 * [taylor]: Taking taylor expansion of 0 in z
0.035 * [taylor]: Taking taylor expansion of 0 in z
0.037 * [taylor]: Taking taylor expansion of 0 in y
0.037 * [taylor]: Taking taylor expansion of 0 in z
0.037 * [taylor]: Taking taylor expansion of 0 in z
0.037 * [taylor]: Taking taylor expansion of 0 in z
0.039 * [taylor]: Taking taylor expansion of 0 in y
0.039 * [taylor]: Taking taylor expansion of 0 in z
0.039 * [taylor]: Taking taylor expansion of 0 in z
0.039 * [taylor]: Taking taylor expansion of 0 in z
0.039 * [taylor]: Taking taylor expansion of 0 in z
0.039 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
0.039 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.039 * [taylor]: Taking taylor expansion of z in z
0.039 * [taylor]: Taking taylor expansion of (* x y) in z
0.039 * [taylor]: Taking taylor expansion of x in z
0.039 * [taylor]: Taking taylor expansion of y in z
0.039 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.039 * [taylor]: Taking taylor expansion of z in y
0.039 * [taylor]: Taking taylor expansion of (* x y) in y
0.039 * [taylor]: Taking taylor expansion of x in y
0.039 * [taylor]: Taking taylor expansion of y in y
0.040 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.040 * [taylor]: Taking taylor expansion of z in x
0.040 * [taylor]: Taking taylor expansion of (* x y) in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of y in x
0.040 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.040 * [taylor]: Taking taylor expansion of z in x
0.040 * [taylor]: Taking taylor expansion of (* x y) in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of y in x
0.041 * [taylor]: Taking taylor expansion of (/ z y) in y
0.041 * [taylor]: Taking taylor expansion of z in y
0.041 * [taylor]: Taking taylor expansion of y in y
0.041 * [taylor]: Taking taylor expansion of z in z
0.041 * [taylor]: Taking taylor expansion of 0 in y
0.042 * [taylor]: Taking taylor expansion of 0 in z
0.043 * [taylor]: Taking taylor expansion of 0 in y
0.043 * [taylor]: Taking taylor expansion of 0 in z
0.044 * [taylor]: Taking taylor expansion of 0 in z
0.044 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
0.044 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
0.044 * [taylor]: Taking taylor expansion of -1 in z
0.044 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.044 * [taylor]: Taking taylor expansion of z in z
0.044 * [taylor]: Taking taylor expansion of (* x y) in z
0.044 * [taylor]: Taking taylor expansion of x in z
0.044 * [taylor]: Taking taylor expansion of y in z
0.044 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
0.044 * [taylor]: Taking taylor expansion of -1 in y
0.044 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.044 * [taylor]: Taking taylor expansion of z in y
0.044 * [taylor]: Taking taylor expansion of (* x y) in y
0.044 * [taylor]: Taking taylor expansion of x in y
0.044 * [taylor]: Taking taylor expansion of y in y
0.047 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.048 * [taylor]: Taking taylor expansion of -1 in x
0.048 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.048 * [taylor]: Taking taylor expansion of z in x
0.048 * [taylor]: Taking taylor expansion of (* x y) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of y in x
0.048 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.048 * [taylor]: Taking taylor expansion of -1 in x
0.048 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.048 * [taylor]: Taking taylor expansion of z in x
0.048 * [taylor]: Taking taylor expansion of (* x y) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of y in x
0.049 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
0.049 * [taylor]: Taking taylor expansion of -1 in y
0.049 * [taylor]: Taking taylor expansion of (/ z y) in y
0.049 * [taylor]: Taking taylor expansion of z in y
0.049 * [taylor]: Taking taylor expansion of y in y
0.049 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.049 * [taylor]: Taking taylor expansion of -1 in z
0.049 * [taylor]: Taking taylor expansion of z in z
0.050 * [taylor]: Taking taylor expansion of 0 in y
0.051 * [taylor]: Taking taylor expansion of 0 in z
0.053 * [taylor]: Taking taylor expansion of 0 in y
0.053 * [taylor]: Taking taylor expansion of 0 in z
0.055 * [taylor]: Taking taylor expansion of 0 in z
0.056 * * * [progress]: simplifying candidates
0.056 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (- (+ (log x) (log y)) (log z))
  (- (log (* x y)) (log z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  (/ x 1)
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (/ (* x y) 1)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
0.058 * * [simplify]: iteration  0 :  50  enodes  (cost  198 )
0.066 * * [simplify]: iteration  1 :  113  enodes  (cost  191 )
0.089 * * [simplify]: iteration  2 :  385  enodes  (cost  161 )
0.432 * * [simplify]: iteration  3 :  1802  enodes  (cost  161 )
2.348 * * [simplify]: iteration  done :  5000  enodes  (cost  161 )
2.348 * [simplify]: Simplified to:
   (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  (/ 1 z)
  (/ (/ z x) y)
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (* x y)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
2.349 * * * [progress]: adding candidates to table
2.405 * * [progress]: iteration 2 / 4
2.405 * * * [progress]: picking best candidate
2.416 * * * * [pick]: Picked  #<alt (λ (x y z) (* (* x y) (/ 1 z)))>
2.416 * * * [progress]: localizing error
2.422 * * * [progress]: generating rewritten candidates
2.422 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.435 * * * [progress]: generating series expansions
2.435 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.435 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
2.435 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.435 * [taylor]: Taking taylor expansion of (* x y) in z
2.435 * [taylor]: Taking taylor expansion of x in z
2.435 * [taylor]: Taking taylor expansion of y in z
2.435 * [taylor]: Taking taylor expansion of z in z
2.435 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
2.435 * [taylor]: Taking taylor expansion of (* x y) in y
2.435 * [taylor]: Taking taylor expansion of x in y
2.435 * [taylor]: Taking taylor expansion of y in y
2.435 * [taylor]: Taking taylor expansion of z in y
2.436 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.436 * [taylor]: Taking taylor expansion of (* x y) in x
2.436 * [taylor]: Taking taylor expansion of x in x
2.436 * [taylor]: Taking taylor expansion of y in x
2.436 * [taylor]: Taking taylor expansion of z in x
2.436 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.436 * [taylor]: Taking taylor expansion of (* x y) in x
2.436 * [taylor]: Taking taylor expansion of x in x
2.436 * [taylor]: Taking taylor expansion of y in x
2.436 * [taylor]: Taking taylor expansion of z in x
2.437 * [taylor]: Taking taylor expansion of (/ y z) in y
2.437 * [taylor]: Taking taylor expansion of y in y
2.437 * [taylor]: Taking taylor expansion of z in y
2.437 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.437 * [taylor]: Taking taylor expansion of z in z
2.441 * [taylor]: Taking taylor expansion of 0 in y
2.441 * [taylor]: Taking taylor expansion of 0 in z
2.441 * [taylor]: Taking taylor expansion of 0 in z
2.443 * [taylor]: Taking taylor expansion of 0 in y
2.443 * [taylor]: Taking taylor expansion of 0 in z
2.443 * [taylor]: Taking taylor expansion of 0 in z
2.443 * [taylor]: Taking taylor expansion of 0 in z
2.445 * [taylor]: Taking taylor expansion of 0 in y
2.445 * [taylor]: Taking taylor expansion of 0 in z
2.445 * [taylor]: Taking taylor expansion of 0 in z
2.445 * [taylor]: Taking taylor expansion of 0 in z
2.445 * [taylor]: Taking taylor expansion of 0 in z
2.445 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
2.445 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.445 * [taylor]: Taking taylor expansion of z in z
2.445 * [taylor]: Taking taylor expansion of (* x y) in z
2.445 * [taylor]: Taking taylor expansion of x in z
2.445 * [taylor]: Taking taylor expansion of y in z
2.445 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.445 * [taylor]: Taking taylor expansion of z in y
2.445 * [taylor]: Taking taylor expansion of (* x y) in y
2.445 * [taylor]: Taking taylor expansion of x in y
2.445 * [taylor]: Taking taylor expansion of y in y
2.446 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.446 * [taylor]: Taking taylor expansion of z in x
2.446 * [taylor]: Taking taylor expansion of (* x y) in x
2.446 * [taylor]: Taking taylor expansion of x in x
2.446 * [taylor]: Taking taylor expansion of y in x
2.446 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.446 * [taylor]: Taking taylor expansion of z in x
2.446 * [taylor]: Taking taylor expansion of (* x y) in x
2.446 * [taylor]: Taking taylor expansion of x in x
2.446 * [taylor]: Taking taylor expansion of y in x
2.447 * [taylor]: Taking taylor expansion of (/ z y) in y
2.447 * [taylor]: Taking taylor expansion of z in y
2.447 * [taylor]: Taking taylor expansion of y in y
2.447 * [taylor]: Taking taylor expansion of z in z
2.448 * [taylor]: Taking taylor expansion of 0 in y
2.448 * [taylor]: Taking taylor expansion of 0 in z
2.449 * [taylor]: Taking taylor expansion of 0 in y
2.449 * [taylor]: Taking taylor expansion of 0 in z
2.450 * [taylor]: Taking taylor expansion of 0 in z
2.450 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
2.450 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
2.450 * [taylor]: Taking taylor expansion of -1 in z
2.450 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.450 * [taylor]: Taking taylor expansion of z in z
2.450 * [taylor]: Taking taylor expansion of (* x y) in z
2.450 * [taylor]: Taking taylor expansion of x in z
2.450 * [taylor]: Taking taylor expansion of y in z
2.451 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
2.451 * [taylor]: Taking taylor expansion of -1 in y
2.451 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.451 * [taylor]: Taking taylor expansion of z in y
2.451 * [taylor]: Taking taylor expansion of (* x y) in y
2.451 * [taylor]: Taking taylor expansion of x in y
2.451 * [taylor]: Taking taylor expansion of y in y
2.451 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
2.451 * [taylor]: Taking taylor expansion of -1 in x
2.451 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.451 * [taylor]: Taking taylor expansion of z in x
2.451 * [taylor]: Taking taylor expansion of (* x y) in x
2.451 * [taylor]: Taking taylor expansion of x in x
2.451 * [taylor]: Taking taylor expansion of y in x
2.452 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
2.452 * [taylor]: Taking taylor expansion of -1 in x
2.452 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.452 * [taylor]: Taking taylor expansion of z in x
2.452 * [taylor]: Taking taylor expansion of (* x y) in x
2.452 * [taylor]: Taking taylor expansion of x in x
2.452 * [taylor]: Taking taylor expansion of y in x
2.452 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
2.452 * [taylor]: Taking taylor expansion of -1 in y
2.452 * [taylor]: Taking taylor expansion of (/ z y) in y
2.452 * [taylor]: Taking taylor expansion of z in y
2.452 * [taylor]: Taking taylor expansion of y in y
2.452 * [taylor]: Taking taylor expansion of (* -1 z) in z
2.452 * [taylor]: Taking taylor expansion of -1 in z
2.452 * [taylor]: Taking taylor expansion of z in z
2.454 * [taylor]: Taking taylor expansion of 0 in y
2.455 * [taylor]: Taking taylor expansion of 0 in z
2.457 * [taylor]: Taking taylor expansion of 0 in y
2.457 * [taylor]: Taking taylor expansion of 0 in z
2.458 * [taylor]: Taking taylor expansion of 0 in z
2.459 * * * [progress]: simplifying candidates
2.460 * [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)
2.462 * * [simplify]: iteration  0 :  85  enodes  (cost  427 )
2.484 * * [simplify]: iteration  1 :  245  enodes  (cost  336 )
2.609 * * [simplify]: iteration  2 :  823  enodes  (cost  250 )
4.188 * * [simplify]: iteration  3 :  3083  enodes  (cost  250 )
5.547 * * [simplify]: iteration  done :  5000  enodes  (cost  250 )
5.547 * [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)))
  (* x (/ y (sqrt z)))
  (* y x)
  (/ (* y x) (* (cbrt z) (cbrt z)))
  (* x (/ y (sqrt z)))
  (* y x)
  (/ (* y x) (* (cbrt z) (cbrt z)))
  (* x (/ y (sqrt z)))
  (* y x)
  (* y x)
  (* y x)
  (/ y z)
  (* y x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
5.547 * * * [progress]: adding candidates to table
5.610 * * [progress]: iteration 3 / 4
5.610 * * * [progress]: picking best candidate
5.618 * * * * [pick]: Picked  #<alt (λ (x y z) (* x (/ y z)))>
5.618 * * * [progress]: localizing error
5.622 * * * [progress]: generating rewritten candidates
5.623 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.632 * * * [progress]: generating series expansions
5.632 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.632 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
5.632 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
5.632 * [taylor]: Taking taylor expansion of (* x y) in z
5.632 * [taylor]: Taking taylor expansion of x in z
5.632 * [taylor]: Taking taylor expansion of y in z
5.632 * [taylor]: Taking taylor expansion of z in z
5.632 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
5.632 * [taylor]: Taking taylor expansion of (* x y) in y
5.632 * [taylor]: Taking taylor expansion of x in y
5.632 * [taylor]: Taking taylor expansion of y in y
5.632 * [taylor]: Taking taylor expansion of z in y
5.633 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
5.633 * [taylor]: Taking taylor expansion of (* x y) in x
5.633 * [taylor]: Taking taylor expansion of x in x
5.633 * [taylor]: Taking taylor expansion of y in x
5.633 * [taylor]: Taking taylor expansion of z in x
5.633 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
5.633 * [taylor]: Taking taylor expansion of (* x y) in x
5.633 * [taylor]: Taking taylor expansion of x in x
5.633 * [taylor]: Taking taylor expansion of y in x
5.633 * [taylor]: Taking taylor expansion of z in x
5.634 * [taylor]: Taking taylor expansion of (/ y z) in y
5.634 * [taylor]: Taking taylor expansion of y in y
5.634 * [taylor]: Taking taylor expansion of z in y
5.634 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.634 * [taylor]: Taking taylor expansion of z in z
5.635 * [taylor]: Taking taylor expansion of 0 in y
5.635 * [taylor]: Taking taylor expansion of 0 in z
5.635 * [taylor]: Taking taylor expansion of 0 in z
5.636 * [taylor]: Taking taylor expansion of 0 in y
5.636 * [taylor]: Taking taylor expansion of 0 in z
5.636 * [taylor]: Taking taylor expansion of 0 in z
5.637 * [taylor]: Taking taylor expansion of 0 in z
5.638 * [taylor]: Taking taylor expansion of 0 in y
5.638 * [taylor]: Taking taylor expansion of 0 in z
5.638 * [taylor]: Taking taylor expansion of 0 in z
5.638 * [taylor]: Taking taylor expansion of 0 in z
5.639 * [taylor]: Taking taylor expansion of 0 in z
5.639 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
5.639 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.639 * [taylor]: Taking taylor expansion of z in z
5.639 * [taylor]: Taking taylor expansion of (* x y) in z
5.639 * [taylor]: Taking taylor expansion of x in z
5.639 * [taylor]: Taking taylor expansion of y in z
5.639 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.639 * [taylor]: Taking taylor expansion of z in y
5.639 * [taylor]: Taking taylor expansion of (* x y) in y
5.639 * [taylor]: Taking taylor expansion of x in y
5.639 * [taylor]: Taking taylor expansion of y in y
5.639 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.640 * [taylor]: Taking taylor expansion of z in x
5.640 * [taylor]: Taking taylor expansion of (* x y) in x
5.640 * [taylor]: Taking taylor expansion of x in x
5.640 * [taylor]: Taking taylor expansion of y in x
5.640 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.640 * [taylor]: Taking taylor expansion of z in x
5.640 * [taylor]: Taking taylor expansion of (* x y) in x
5.640 * [taylor]: Taking taylor expansion of x in x
5.640 * [taylor]: Taking taylor expansion of y in x
5.640 * [taylor]: Taking taylor expansion of (/ z y) in y
5.640 * [taylor]: Taking taylor expansion of z in y
5.640 * [taylor]: Taking taylor expansion of y in y
5.640 * [taylor]: Taking taylor expansion of z in z
5.641 * [taylor]: Taking taylor expansion of 0 in y
5.642 * [taylor]: Taking taylor expansion of 0 in z
5.643 * [taylor]: Taking taylor expansion of 0 in y
5.643 * [taylor]: Taking taylor expansion of 0 in z
5.644 * [taylor]: Taking taylor expansion of 0 in z
5.644 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
5.644 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
5.644 * [taylor]: Taking taylor expansion of -1 in z
5.644 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.644 * [taylor]: Taking taylor expansion of z in z
5.644 * [taylor]: Taking taylor expansion of (* x y) in z
5.644 * [taylor]: Taking taylor expansion of x in z
5.644 * [taylor]: Taking taylor expansion of y in z
5.644 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
5.644 * [taylor]: Taking taylor expansion of -1 in y
5.644 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.644 * [taylor]: Taking taylor expansion of z in y
5.644 * [taylor]: Taking taylor expansion of (* x y) in y
5.644 * [taylor]: Taking taylor expansion of x in y
5.644 * [taylor]: Taking taylor expansion of y in y
5.645 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
5.645 * [taylor]: Taking taylor expansion of -1 in x
5.645 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.645 * [taylor]: Taking taylor expansion of z in x
5.645 * [taylor]: Taking taylor expansion of (* x y) in x
5.645 * [taylor]: Taking taylor expansion of x in x
5.645 * [taylor]: Taking taylor expansion of y in x
5.645 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
5.645 * [taylor]: Taking taylor expansion of -1 in x
5.645 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.645 * [taylor]: Taking taylor expansion of z in x
5.645 * [taylor]: Taking taylor expansion of (* x y) in x
5.645 * [taylor]: Taking taylor expansion of x in x
5.645 * [taylor]: Taking taylor expansion of y in x
5.646 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
5.646 * [taylor]: Taking taylor expansion of -1 in y
5.646 * [taylor]: Taking taylor expansion of (/ z y) in y
5.646 * [taylor]: Taking taylor expansion of z in y
5.646 * [taylor]: Taking taylor expansion of y in y
5.646 * [taylor]: Taking taylor expansion of (* -1 z) in z
5.646 * [taylor]: Taking taylor expansion of -1 in z
5.646 * [taylor]: Taking taylor expansion of z in z
5.647 * [taylor]: Taking taylor expansion of 0 in y
5.648 * [taylor]: Taking taylor expansion of 0 in z
5.650 * [taylor]: Taking taylor expansion of 0 in y
5.650 * [taylor]: Taking taylor expansion of 0 in z
5.652 * [taylor]: Taking taylor expansion of 0 in z
5.653 * * * [progress]: simplifying candidates
5.653 * [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)
5.655 * * [simplify]: iteration  0 :  71  enodes  (cost  289 )
5.677 * * [simplify]: iteration  1 :  168  enodes  (cost  272 )
5.709 * * [simplify]: iteration  2 :  449  enodes  (cost  242 )
5.923 * * [simplify]: iteration  3 :  1366  enodes  (cost  242 )
7.705 * * [simplify]: iteration  4 :  3721  enodes  (cost  242 )
9.634 * * [simplify]: iteration  done :  5000  enodes  (cost  242 )
9.634 * [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)
9.635 * * * [progress]: adding candidates to table
9.699 * * [progress]: iteration 4 / 4
9.699 * * * [progress]: picking best candidate
9.709 * * * * [pick]: Picked  #<alt (λ (x y z) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>
9.709 * * * [progress]: localizing error
9.717 * * * [progress]: generating rewritten candidates
9.717 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
9.767 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
9.767 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
9.768 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
9.771 * * * [progress]: generating series expansions
9.771 * * * * [progress]: [ 1 / 4 ] generating series at (2)
9.771 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
9.771 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
9.771 * [taylor]: Taking taylor expansion of (* x y) in z
9.772 * [taylor]: Taking taylor expansion of x in z
9.772 * [taylor]: Taking taylor expansion of y in z
9.772 * [taylor]: Taking taylor expansion of z in z
9.772 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
9.772 * [taylor]: Taking taylor expansion of (* x y) in x
9.772 * [taylor]: Taking taylor expansion of x in x
9.772 * [taylor]: Taking taylor expansion of y in x
9.772 * [taylor]: Taking taylor expansion of z in x
9.772 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
9.772 * [taylor]: Taking taylor expansion of (* x y) in y
9.772 * [taylor]: Taking taylor expansion of x in y
9.772 * [taylor]: Taking taylor expansion of y in y
9.772 * [taylor]: Taking taylor expansion of z in y
9.773 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
9.773 * [taylor]: Taking taylor expansion of (* x y) in y
9.773 * [taylor]: Taking taylor expansion of x in y
9.773 * [taylor]: Taking taylor expansion of y in y
9.773 * [taylor]: Taking taylor expansion of z in y
9.773 * [taylor]: Taking taylor expansion of (/ x z) in x
9.773 * [taylor]: Taking taylor expansion of x in x
9.773 * [taylor]: Taking taylor expansion of z in x
9.773 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.773 * [taylor]: Taking taylor expansion of z in z
9.774 * [taylor]: Taking taylor expansion of 0 in x
9.774 * [taylor]: Taking taylor expansion of 0 in z
9.774 * [taylor]: Taking taylor expansion of 0 in z
9.776 * [taylor]: Taking taylor expansion of 0 in x
9.776 * [taylor]: Taking taylor expansion of 0 in z
9.776 * [taylor]: Taking taylor expansion of 0 in z
9.776 * [taylor]: Taking taylor expansion of 0 in z
9.777 * [taylor]: Taking taylor expansion of 0 in x
9.777 * [taylor]: Taking taylor expansion of 0 in z
9.777 * [taylor]: Taking taylor expansion of 0 in z
9.777 * [taylor]: Taking taylor expansion of 0 in z
9.777 * [taylor]: Taking taylor expansion of 0 in z
9.778 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
9.778 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
9.778 * [taylor]: Taking taylor expansion of z in z
9.778 * [taylor]: Taking taylor expansion of (* x y) in z
9.778 * [taylor]: Taking taylor expansion of x in z
9.778 * [taylor]: Taking taylor expansion of y in z
9.778 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
9.778 * [taylor]: Taking taylor expansion of z in x
9.778 * [taylor]: Taking taylor expansion of (* x y) in x
9.778 * [taylor]: Taking taylor expansion of x in x
9.778 * [taylor]: Taking taylor expansion of y in x
9.778 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
9.778 * [taylor]: Taking taylor expansion of z in y
9.778 * [taylor]: Taking taylor expansion of (* x y) in y
9.778 * [taylor]: Taking taylor expansion of x in y
9.778 * [taylor]: Taking taylor expansion of y in y
9.779 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
9.779 * [taylor]: Taking taylor expansion of z in y
9.779 * [taylor]: Taking taylor expansion of (* x y) in y
9.779 * [taylor]: Taking taylor expansion of x in y
9.779 * [taylor]: Taking taylor expansion of y in y
9.779 * [taylor]: Taking taylor expansion of (/ z x) in x
9.779 * [taylor]: Taking taylor expansion of z in x
9.779 * [taylor]: Taking taylor expansion of x in x
9.779 * [taylor]: Taking taylor expansion of z in z
9.780 * [taylor]: Taking taylor expansion of 0 in x
9.781 * [taylor]: Taking taylor expansion of 0 in z
9.781 * [taylor]: Taking taylor expansion of 0 in x
9.781 * [taylor]: Taking taylor expansion of 0 in z
9.782 * [taylor]: Taking taylor expansion of 0 in z
9.783 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in (y x z) around 0
9.783 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in z
9.783 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z
9.783 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
9.783 * [taylor]: Taking taylor expansion of (cbrt -1) in z
9.783 * [taylor]: Taking taylor expansion of -1 in z
9.784 * [taylor]: Taking taylor expansion of z in z
9.784 * [taylor]: Taking taylor expansion of (* x y) in z
9.784 * [taylor]: Taking taylor expansion of x in z
9.784 * [taylor]: Taking taylor expansion of y in z
9.789 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in x
9.790 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x
9.790 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
9.790 * [taylor]: Taking taylor expansion of (cbrt -1) in x
9.790 * [taylor]: Taking taylor expansion of -1 in x
9.790 * [taylor]: Taking taylor expansion of z in x
9.790 * [taylor]: Taking taylor expansion of (* x y) in x
9.790 * [taylor]: Taking taylor expansion of x in x
9.790 * [taylor]: Taking taylor expansion of y in x
9.793 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in y
9.794 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
9.794 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
9.794 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.794 * [taylor]: Taking taylor expansion of -1 in y
9.794 * [taylor]: Taking taylor expansion of z in y
9.794 * [taylor]: Taking taylor expansion of (* x y) in y
9.794 * [taylor]: Taking taylor expansion of x in y
9.794 * [taylor]: Taking taylor expansion of y in y
9.798 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in y
9.798 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
9.798 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
9.798 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.798 * [taylor]: Taking taylor expansion of -1 in y
9.799 * [taylor]: Taking taylor expansion of z in y
9.799 * [taylor]: Taking taylor expansion of (* x y) in y
9.799 * [taylor]: Taking taylor expansion of x in y
9.799 * [taylor]: Taking taylor expansion of y in y
9.802 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x
9.802 * [taylor]: Taking taylor expansion of -1 in x
9.802 * [taylor]: Taking taylor expansion of (/ z x) in x
9.802 * [taylor]: Taking taylor expansion of z in x
9.802 * [taylor]: Taking taylor expansion of x in x
9.802 * [taylor]: Taking taylor expansion of (* -1 z) in z
9.802 * [taylor]: Taking taylor expansion of -1 in z
9.802 * [taylor]: Taking taylor expansion of z in z
9.804 * [taylor]: Taking taylor expansion of 0 in x
9.805 * [taylor]: Taking taylor expansion of 0 in z
9.809 * [taylor]: Taking taylor expansion of 0 in x
9.809 * [taylor]: Taking taylor expansion of 0 in z
9.810 * [taylor]: Taking taylor expansion of 0 in z
9.811 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
9.811 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
9.811 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
9.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
9.811 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
9.811 * [taylor]: Taking taylor expansion of 1/3 in y
9.811 * [taylor]: Taking taylor expansion of (log y) in y
9.811 * [taylor]: Taking taylor expansion of y in y
9.812 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
9.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
9.812 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
9.812 * [taylor]: Taking taylor expansion of 1/3 in y
9.812 * [taylor]: Taking taylor expansion of (log y) in y
9.812 * [taylor]: Taking taylor expansion of y in y
9.865 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
9.865 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.865 * [taylor]: Taking taylor expansion of 1/3 in y
9.865 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.865 * [taylor]: Taking taylor expansion of y in y
9.866 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.866 * [taylor]: Taking taylor expansion of 1/3 in y
9.866 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.866 * [taylor]: Taking taylor expansion of y in y
9.923 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
9.923 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
9.923 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.923 * [taylor]: Taking taylor expansion of -1 in y
9.924 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.924 * [taylor]: Taking taylor expansion of 1/3 in y
9.924 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.924 * [taylor]: Taking taylor expansion of y in y
9.925 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
9.925 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.925 * [taylor]: Taking taylor expansion of -1 in y
9.926 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.926 * [taylor]: Taking taylor expansion of 1/3 in y
9.926 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.926 * [taylor]: Taking taylor expansion of y in y
9.993 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
9.993 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
9.993 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
9.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
9.993 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
9.993 * [taylor]: Taking taylor expansion of 1/3 in y
9.993 * [taylor]: Taking taylor expansion of (log y) in y
9.993 * [taylor]: Taking taylor expansion of y in y
9.994 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
9.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
9.994 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
9.994 * [taylor]: Taking taylor expansion of 1/3 in y
9.994 * [taylor]: Taking taylor expansion of (log y) in y
9.994 * [taylor]: Taking taylor expansion of y in y
10.042 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
10.042 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
10.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
10.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
10.042 * [taylor]: Taking taylor expansion of 1/3 in y
10.042 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.042 * [taylor]: Taking taylor expansion of y in y
10.043 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
10.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
10.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
10.043 * [taylor]: Taking taylor expansion of 1/3 in y
10.043 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.043 * [taylor]: Taking taylor expansion of y in y
10.099 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
10.099 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
10.099 * [taylor]: Taking taylor expansion of (cbrt -1) in y
10.099 * [taylor]: Taking taylor expansion of -1 in y
10.099 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
10.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
10.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
10.100 * [taylor]: Taking taylor expansion of 1/3 in y
10.100 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.100 * [taylor]: Taking taylor expansion of y in y
10.100 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
10.101 * [taylor]: Taking taylor expansion of (cbrt -1) in y
10.101 * [taylor]: Taking taylor expansion of -1 in y
10.101 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
10.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
10.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
10.101 * [taylor]: Taking taylor expansion of 1/3 in y
10.101 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.101 * [taylor]: Taking taylor expansion of y in y
10.169 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
10.169 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
10.169 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
10.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
10.169 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
10.169 * [taylor]: Taking taylor expansion of 1/3 in y
10.169 * [taylor]: Taking taylor expansion of (log y) in y
10.169 * [taylor]: Taking taylor expansion of y in y
10.169 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
10.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
10.169 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
10.170 * [taylor]: Taking taylor expansion of 1/3 in y
10.170 * [taylor]: Taking taylor expansion of (log y) in y
10.170 * [taylor]: Taking taylor expansion of y in y
10.224 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
10.224 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
10.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
10.224 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
10.224 * [taylor]: Taking taylor expansion of 1/3 in y
10.224 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.224 * [taylor]: Taking taylor expansion of y in y
10.225 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
10.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
10.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
10.225 * [taylor]: Taking taylor expansion of 1/3 in y
10.225 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.225 * [taylor]: Taking taylor expansion of y in y
10.279 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
10.279 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
10.279 * [taylor]: Taking taylor expansion of (cbrt -1) in y
10.279 * [taylor]: Taking taylor expansion of -1 in y
10.280 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
10.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
10.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
10.280 * [taylor]: Taking taylor expansion of 1/3 in y
10.280 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.280 * [taylor]: Taking taylor expansion of y in y
10.281 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
10.281 * [taylor]: Taking taylor expansion of (cbrt -1) in y
10.281 * [taylor]: Taking taylor expansion of -1 in y
10.282 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
10.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
10.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
10.282 * [taylor]: Taking taylor expansion of 1/3 in y
10.282 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.282 * [taylor]: Taking taylor expansion of y in y
10.350 * * * [progress]: simplifying candidates
10.351 * [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))
10.355 * * [simplify]: iteration  0 :  124  enodes  (cost  1035 )
10.389 * * [simplify]: iteration  1 :  362  enodes  (cost  985 )
10.623 * * [simplify]: iteration  2 :  1679  enodes  (cost  699 )
11.246 * * [simplify]: iteration  done :  5000  enodes  (cost  699 )
11.247 * [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 y) (/ (* (pow x 3) y) (pow z 3)))
  (* (pow x 3) (* (* y y) (pow (/ (cbrt y) z) 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))
  (* (* (* (cbrt (/ (cbrt y) z)) (cbrt (/ (cbrt y) z))) (pow y 2/3)) x)
  (* (* x (sqrt (/ (cbrt y) z))) (pow y 2/3))
  (* (pow y 2/3) (/ (* x (/ (cbrt (pow y 2/3)) (cbrt z))) (cbrt z)))
  (/ (* (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) (* x (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt z) (cbrt z)))))
  (* (* x (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) (sqrt z))) (pow y 2/3))
  (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (pow y 2/3)) x)
  (* (pow y 2/3) (* x (/ (sqrt (cbrt y)) (* (cbrt z) (cbrt z)))))
  (/ (pow y 2/3) (/ (sqrt z) (* x (sqrt (cbrt y)))))
  (* (* 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))
11.247 * * * [progress]: adding candidates to table
11.496 * [progress]: [Phase 3 of 3] Extracting.
11.496 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (* (cbrt y) (cbrt y)) (* x (/ (cbrt y) z))))> #<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>)
11.497 * * * [regime-changes]: Trying 5 branch expressions: ((* x y) (/ (* x y) z) z y x)
11.497 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (* (* (cbrt y) (cbrt y)) (* x (/ (cbrt y) z))))> #<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>)
11.547 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))>)
11.560 * * * * [regimes]: Trying to branch on (/ (* x y) z) from (#<alt (λ (x y z) (* (* (cbrt y) (cbrt y)) (* x (/ (cbrt y) z))))> #<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>)
11.608 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (* (cbrt y) (cbrt y)) (* x (/ (cbrt y) z))))> #<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>)
11.650 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (* (cbrt y) (cbrt y)) (* x (/ (cbrt y) z))))> #<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>)
11.684 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (* (cbrt y) (cbrt y)) (* x (/ (cbrt y) z))))> #<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>)
11.724 * * * [regime]: Found split indices: #<option (#s(si 2 19) #s(si 5 77) #s(si 2 128) #s(si 5 231) #s(si 3 255))>
11.725 * [binary-search]: Only using regimes for bounds on (* x y) and (#<alt (λ (x y z) (* (* (cbrt y) (cbrt y)) (* x (/ (cbrt y) z))))> #<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>)
11.725 * [regimes]: Found splitpoints: (#s(sp 2 (* x y) -1.6207759867400651e+260) #s(sp 5 (* x y) -5.690091755078038e-61) #s(sp 2 (* x y) -0.0) #s(sp 5 (* x y) 4.3629336611497376e+104) #s(sp 3 (* x y) +nan.0)) , with alts (#<alt (λ (x y z) (* (* (cbrt y) (cbrt y)) (* x (/ (cbrt y) z))))> #<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (/ x (/ z y)))> #<alt (λ (x y z) (* (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z) (* (* x y) (/ 1 z)))> #<alt (λ (x y z) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))>)
11.725 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* x y) -1.6207759867400651e+260) (* x (/ y z)) (if (<= (* x y) -5.690091755078038e-61) (/ (* x y) z) (if (<= (* x y) -0.0) (* x (/ y z)) (if (<= (* x y) 4.3629336611497376e+104) (/ (* x y) z) (/ x (/ z y))))))
11.726 * * [simplify]: iteration  0 :  21  enodes  (cost  49 )
11.726 * * [simplify]: iteration  1 :  23  enodes  (cost  49 )
11.727 * * [simplify]: iteration  done :  23  enodes  (cost  49 )
11.727 * [simplify]: Simplified to:
   (if (<= (* x y) -1.6207759867400651e+260) (* x (/ y z)) (if (<= (* x y) -5.690091755078038e-61) (/ (* x y) z) (if (<= (* x y) -0.0) (* x (/ y z)) (if (<= (* x y) 4.3629336611497376e+104) (/ (* x y) z) (/ x (/ z y))))))
12.306 * [regime-testing]: Baseline error score: 6.493756716986588
12.306 * [regime-testing]: Oracle error score: 0.009626203275409426
12.308 * [regime-testing]: End program error score: 1.6231192622501316
12.334 * [regime-testing]: Target error score: 6.411751012659449