18.349 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* x (- 1.0 (* (- 1.0 y) z)))
0.027 * * [simplify]: iteration  0 :  14  enodes  (cost  4 )
0.028 * * [simplify]: iteration  1 :  34  enodes  (cost  4 )
0.029 * * [simplify]: iteration  2 :  84  enodes  (cost  4 )
0.031 * * [simplify]: iteration  3 :  206  enodes  (cost  4 )
0.035 * * [simplify]: iteration  4 :  406  enodes  (cost  4 )
0.039 * * [simplify]: iteration  5 :  540  enodes  (cost  4 )
0.046 * * [simplify]: iteration  6 :  706  enodes  (cost  4 )
0.053 * * [simplify]: iteration  7 :  957  enodes  (cost  4 )
0.064 * * [simplify]: iteration  8 :  1458  enodes  (cost  4 )
0.083 * * [simplify]: iteration  9 :  2384  enodes  (cost  4 )
0.117 * * [simplify]: iteration  10 :  3375  enodes  (cost  4 )
0.151 * * [simplify]: iteration  11 :  3762  enodes  (cost  4 )
0.188 * * [simplify]: iteration  12 :  4376  enodes  (cost  4 )
0.244 * * [simplify]: iteration  13 :  5002  enodes  (cost  4 )
0.244 * [simplify]: Simplified to:
  (* x (- 1.0 (* (- 1.0 y) z)))
0.245 * * [progress]: iteration 1 / 4
0.245 * * * [progress]: picking best candidate
0.252 * * * * [pick]: Picked  #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))>
0.252 * * * [progress]: localizing error
0.259 * * * [progress]: generating rewritten candidates
0.259 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.264 * * * [progress]: generating series expansions
0.264 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.265 * [approximate]: Approximating (* x (- (+ (* z y) 1.0) (* 1.0 z))) in (x y z) around 0
0.265 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in y
0.265 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
0.267 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in y
0.268 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
0.269 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
0.272 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in y
0.272 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
0.273 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
0.273 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
0.279 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in y
0.279 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
0.279 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
0.281 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
0.281 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
0.282 * [approximate]: Approximating (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in (x y z) around 0
0.285 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in y
0.286 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in z
0.288 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in y
0.289 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in z
0.296 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in y
0.296 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in z
0.298 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in z
0.300 * [approximate]: Approximating (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in (x y z) around 0
0.303 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in y
0.304 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in z
0.307 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in y
0.307 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in z
0.314 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in y
0.314 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in z
0.316 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in z
0.319 * * * [progress]: simplifying candidates
0.320 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* x (- 1.0 (* (- 1.0 y) z)))
  (+ (log x) (log (- 1.0 (* (- 1.0 y) z))))
  (log (* x (- 1.0 (* (- 1.0 y) z))))
  (exp (* x (- 1.0 (* (- 1.0 y) z))))
  (* (* (* x x) x) (* (* (- 1.0 (* (- 1.0 y) z)) (- 1.0 (* (- 1.0 y) z))) (- 1.0 (* (- 1.0 y) z))))
  (* (cbrt (* x (- 1.0 (* (- 1.0 y) z)))) (cbrt (* x (- 1.0 (* (- 1.0 y) z)))))
  (cbrt (* x (- 1.0 (* (- 1.0 y) z))))
  (* (* (* x (- 1.0 (* (- 1.0 y) z))) (* x (- 1.0 (* (- 1.0 y) z)))) (* x (- 1.0 (* (- 1.0 y) z))))
  (sqrt (* x (- 1.0 (* (- 1.0 y) z))))
  (sqrt (* x (- 1.0 (* (- 1.0 y) z))))
  (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* x 1.0)
  (* x (neg (* (- 1.0 y) z)))
  (* x 1.0)
  (* x (neg (* (- 1.0 y) z)))
  (* 1.0 x)
  (* (neg (* (- 1.0 y) z)) x)
  (* 1.0 x)
  (* (neg (* (- 1.0 y) z)) x)
  (* x (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z)))))
  (* x (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* x 1)
  (* (cbrt x) (- 1.0 (* (- 1.0 y) z)))
  (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))
  (* x (- 1.0 (* (- 1.0 y) z)))
  (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3)))
  (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z))))
  (- (* 1.0 x) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
0.323 * * [simplify]: iteration  0 :  139  enodes  (cost  165 )
0.326 * * [simplify]: iteration  1 :  584  enodes  (cost  143 )
0.339 * * [simplify]: iteration  2 :  2608  enodes  (cost  137 )
0.387 * * [simplify]: iteration  3 :  5003  enodes  (cost  137 )
0.388 * [simplify]: Simplified to:
  (* x (- 1.0 (* (- 1.0 y) z)))
  (log (* x (- 1.0 (* (- 1.0 y) z))))
  (log (* x (- 1.0 (* (- 1.0 y) z))))
  (exp (* x (- 1.0 (* (- 1.0 y) z))))
  (pow (* x (- 1.0 (* (- 1.0 y) z))) 3)
  (* (cbrt (* x (- 1.0 (* (- 1.0 y) z)))) (cbrt (* x (- 1.0 (* (- 1.0 y) z)))))
  (cbrt (* x (- 1.0 (* (- 1.0 y) z))))
  (pow (* x (- 1.0 (* (- 1.0 y) z))) 3)
  (sqrt (* x (- 1.0 (* (- 1.0 y) z))))
  (sqrt (* x (- 1.0 (* (- 1.0 y) z))))
  (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* x 1.0)
  (* (* x z) (- y 1.0))
  (* x 1.0)
  (* (* x z) (- y 1.0))
  (* x 1.0)
  (* (* x z) (- y 1.0))
  (* x 1.0)
  (* (* x z) (- y 1.0))
  (* x (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z)))))
  (* x (sqrt (- 1.0 (* (- 1.0 y) z))))
  x
  (* (cbrt x) (- 1.0 (* (- 1.0 y) z)))
  (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))
  (* x (- 1.0 (* (- 1.0 y) z)))
  (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3)))
  (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z))))
  (* 1.0 (- x (* x z)))
  (* x (- 1.0 (* (- 1.0 y) z)))
  (* x (- 1.0 (* (- 1.0 y) z)))
0.389 * * * [progress]: adding candidates to table
0.432 * * [progress]: iteration 2 / 4
0.432 * * * [progress]: picking best candidate
0.448 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))>
0.448 * * * [progress]: localizing error
0.459 * * * [progress]: generating rewritten candidates
0.459 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.466 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.471 * * * [progress]: generating series expansions
0.471 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.471 * [approximate]: Approximating (* x (* z (- y 1.0))) in (x z y) around 0
0.473 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
0.473 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
0.474 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
0.475 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
0.475 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
0.477 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
0.477 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
0.479 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
0.481 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
0.483 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
0.483 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
0.483 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
0.484 * [approximate]: Approximating (/ (- (/ 1 y) 1.0) (* x z)) in (x z y) around 0
0.488 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
0.489 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
0.491 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
0.493 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
0.496 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
0.496 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
0.499 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
0.502 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
0.502 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
0.503 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
0.505 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
0.507 * [approximate]: Approximating (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in (x z y) around 0
0.509 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
0.509 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
0.512 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
0.514 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
0.518 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
0.519 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
0.521 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
0.526 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
0.526 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
0.526 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
0.529 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
0.531 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.532 * [approximate]: Approximating (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in (x z y) around 0
0.533 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in z
0.534 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y
0.536 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in z
0.542 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y
0.542 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y
0.547 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in z
0.547 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y
0.549 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y
0.550 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y
0.556 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in z
0.556 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y
0.556 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y
0.557 * [approximate]: Approximating (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in (x z y) around 0
0.562 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in z
0.564 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in y
0.569 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in z
0.572 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in y
0.579 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in z
0.579 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in y
0.583 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in y
0.584 * [approximate]: Approximating (neg (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in (x z y) around 0
0.589 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in z
0.590 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in y
0.596 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in z
0.599 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in y
0.606 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in z
0.606 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in y
0.609 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in y
0.611 * * * [progress]: simplifying candidates
0.612 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (+ (+ (log x) (log z)) (log (- y 1.0)))
  (+ (log (* x z)) (log (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (exp (* (* x z) (- y 1.0)))
  (* (* (* (* x x) x) (* (* z z) z)) (* (* (- y 1.0) (- y 1.0)) (- y 1.0)))
  (* (* (* (* x z) (* x z)) (* x z)) (* (* (- y 1.0) (- y 1.0)) (- y 1.0)))
  (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* (* x z) (- y 1.0)))
  (* (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0))) (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (* (* x z) y)
  (* (* x z) (neg 1.0))
  (* (* x z) y)
  (* (* x z) (neg 1.0))
  (* y (* x z))
  (* (neg 1.0) (* x z))
  (* y (* x z))
  (* (neg 1.0) (* x z))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (sqrt (- y 1.0)))
  (* (* x z) 1)
  (* (* x z) (+ (sqrt y) (sqrt 1.0)))
  (* (* x z) 1)
  (* z (- y 1.0))
  (* (* x z) (- (pow y 3) (pow 1.0 3)))
  (* (* x z) (- (* y y) (* 1.0 1.0)))
  (* (exp (* x 1.0)) (exp (* (* x z) (- y 1.0))))
  (log (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (exp (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (* (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0)))) (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0)))))
  (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (* (* (+ (* x 1.0) (* (* x z) (- y 1.0))) (+ (* x 1.0) (* (* x z) (- y 1.0)))) (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (sqrt (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (sqrt (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (+ (pow (* x 1.0) 3) (pow (* (* x z) (- y 1.0)) 3))
  (+ (* (* x 1.0) (* x 1.0)) (- (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0))) (* (* x 1.0) (* (* x z) (- y 1.0)))))
  (- (* (* x 1.0) (* x 1.0)) (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0))))
  (- (* x 1.0) (* (* x z) (- y 1.0)))
  (+ (* x 1.0) (* (* x z) y))
  (+ (* x 1.0) (* (* x z) y))
  (+ (* x 1.0) (* y (* x z)))
  (+ (* x 1.0) (* y (* x z)))
  (* -1.0 (* x z))
  (- (* x (* z y)) (* 1.0 (* x z)))
  (- (* x (* z y)) (* 1.0 (* x z)))
  (- (* 1.0 x) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
0.616 * * [simplify]: iteration  0 :  257  enodes  (cost  266 )
0.622 * * [simplify]: iteration  1 :  1177  enodes  (cost  224 )
0.652 * * [simplify]: iteration  2 :  5002  enodes  (cost  219 )
0.654 * [simplify]: Simplified to:
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (log (* (* x z) (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (exp (* (* x z) (- y 1.0)))
  (pow (* (* x z) (- y 1.0)) 3)
  (pow (* (* x z) (- y 1.0)) 3)
  (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* (* x z) (- y 1.0)))
  (pow (* (* x z) (- y 1.0)) 3)
  (sqrt (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (* x (* z y))
  (* (* x z) (neg 1.0))
  (* x (* z y))
  (* (* x z) (neg 1.0))
  (* x (* z y))
  (* (* x z) (neg 1.0))
  (* x (* z y))
  (* (* x z) (neg 1.0))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (sqrt (- y 1.0)))
  (* x z)
  (* (* x z) (+ (sqrt y) (sqrt 1.0)))
  (* x z)
  (* z (- y 1.0))
  (* (* x z) (- (pow y 3) (pow 1.0 3)))
  (* (* x z) (- (* y y) (* 1.0 1.0)))
  (exp (* x (+ (* z (- y 1.0)) 1.0)))
  (log (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (exp (* x (+ (* z (- y 1.0)) 1.0)))
  (* (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0)))) (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0)))))
  (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (pow (* x (+ (* z (- y 1.0)) 1.0)) 3)
  (sqrt (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (sqrt (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (+ (pow (* x 1.0) 3) (pow (* (* x z) (- y 1.0)) 3))
  (* x (+ (* 1.0 (* x 1.0)) (* (* z (- y 1.0)) (* x (- (* z (- y 1.0)) 1.0)))))
  (* (* x (- 1.0 (* z (- y 1.0)))) (* x (+ (* z (- y 1.0)) 1.0)))
  (* x (- 1.0 (* z (- y 1.0))))
  (* x (+ (* z y) 1.0))
  (* x (+ (* z y) 1.0))
  (* x (+ (* z y) 1.0))
  (* x (+ (* z y) 1.0))
  (* -1.0 (* x z))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (* 1.0 (- x (* x z)))
  (* x (+ (* z (- y 1.0)) 1.0))
  (* x (+ (* z (- y 1.0)) 1.0))
0.655 * * * [progress]: adding candidates to table
0.744 * * [progress]: iteration 3 / 4
0.744 * * * [progress]: picking best candidate
0.772 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))>
0.772 * * * [progress]: localizing error
0.782 * * * [progress]: generating rewritten candidates
0.782 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.796 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.820 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.823 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2)
0.832 * * * [progress]: generating series expansions
0.832 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.832 * [approximate]: Approximating (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in (x z y) around 0
0.841 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in z
0.841 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in y
0.844 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in z
0.845 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in y
0.845 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in y
0.850 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in z
0.851 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in y
0.853 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in y
0.858 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in y
0.866 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in z
0.866 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in y
0.866 * [taylor]: Taking taylor expansion of (* (* x z) (pow (pow (- y 1.0) 2) 1/3)) in y
0.867 * [approximate]: Approximating (* (/ 1 (* x z)) (pow (pow (- (/ 1 y) 1.0) 2) 1/3)) in (x z y) around 0
0.873 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (pow (- (/ 1 y) 1.0) 2) 1/3)) in z
0.875 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (pow (- (/ 1 y) 1.0) 2) 1/3)) in y
0.887 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (pow (- (/ 1 y) 1.0) 2) 1/3)) in z
0.891 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (pow (- (/ 1 y) 1.0) 2) 1/3)) in y
0.909 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (pow (- (/ 1 y) 1.0) 2) 1/3)) in z
0.909 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (pow (- (/ 1 y) 1.0) 2) 1/3)) in y
0.915 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (pow (- (/ 1 y) 1.0) 2) 1/3)) in y
0.938 * [approximate]: Approximating (* (/ (pow (cbrt -1) 2) (* x z)) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in (x z y) around 0
0.955 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x z)) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in z
0.959 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x z)) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in y
0.977 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x z)) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in z
0.981 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x z)) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in y
1.003 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x z)) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in z
1.003 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x z)) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in y
1.010 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (* x z)) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in y
1.037 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.037 * [approximate]: Approximating (* x (* z (- y 1.0))) in (x z y) around 0
1.038 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
1.038 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
1.039 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
1.040 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
1.041 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
1.042 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
1.042 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
1.050 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
1.051 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
1.054 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
1.054 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
1.054 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
1.055 * [approximate]: Approximating (/ (- (/ 1 y) 1.0) (* x z)) in (x z y) around 0
1.059 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
1.060 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
1.062 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
1.063 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
1.067 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
1.067 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
1.069 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
1.072 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
1.072 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
1.072 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
1.075 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
1.077 * [approximate]: Approximating (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in (x z y) around 0
1.099 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in z
1.099 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in y
1.103 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in z
1.105 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in y
1.113 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in z
1.113 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in y
1.115 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in y
1.123 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in z
1.123 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in y
1.123 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in y
1.132 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (+ (/ 1 y) 1.0)) (* x z)) in y
1.134 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.135 * [approximate]: Approximating (pow (- y 1.0) 1/3) in (y) around 0
1.191 * [approximate]: Approximating (pow (- (/ 1 y) 1.0) 1/3) in (y) around 0
1.226 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in (y) around 0
1.259 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2)
1.259 * [approximate]: Approximating (pow (- y 1.0) 1/3) in (y) around 0
1.320 * [approximate]: Approximating (pow (- (/ 1 y) 1.0) 1/3) in (y) around 0
1.349 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in (y) around 0
1.388 * * * [progress]: simplifying candidates
1.390 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (+ (+ (log x) (log z)) (+ (log (cbrt (- y 1.0))) (log (cbrt (- y 1.0)))))
  (+ (+ (log x) (log z)) (log (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (+ (log (* x z)) (+ (log (cbrt (- y 1.0))) (log (cbrt (- y 1.0)))))
  (+ (log (* x z)) (log (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (log (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (exp (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (* (* (* x x) x) (* (* z z) z)) (* (- y 1.0) (- y 1.0)))
  (* (* (* (* x x) x) (* (* z z) z)) (* (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (* (* (* x z) (* x z)) (* x z)) (* (- y 1.0) (- y 1.0)))
  (* (* (* (* x z) (* x z)) (* x z)) (* (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (cbrt (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (cbrt (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))))
  (cbrt (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (sqrt (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (sqrt (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (* x z) (cbrt (- y 1.0)))
  (* z (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (pow y 3) (pow 1.0 3)))))
  (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (* y y) (* 1.0 1.0)))))
  (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3)))))
  (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (* y y) (* 1.0 1.0)))))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- (pow y 3) (pow 1.0 3)))))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- (* y y) (* 1.0 1.0)))))
  (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- y 1.0))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
  (+ (+ (+ (log x) (log z)) (+ (log (cbrt (- y 1.0))) (log (cbrt (- y 1.0))))) (log (cbrt (- y 1.0))))
  (+ (+ (+ (log x) (log z)) (log (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (log (cbrt (- y 1.0))))
  (+ (+ (log (* x z)) (+ (log (cbrt (- y 1.0))) (log (cbrt (- y 1.0))))) (log (cbrt (- y 1.0))))
  (+ (+ (log (* x z)) (log (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (log (cbrt (- y 1.0))))
  (+ (log (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (log (cbrt (- y 1.0))))
  (log (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0))))
  (exp (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0))))
  (* (* (* (* (* x x) x) (* (* z z) z)) (* (- y 1.0) (- y 1.0))) (- y 1.0))
  (* (* (* (* (* x x) x) (* (* z z) z)) (* (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (- y 1.0))
  (* (* (* (* (* x z) (* x z)) (* x z)) (* (- y 1.0) (- y 1.0))) (- y 1.0))
  (* (* (* (* (* x z) (* x z)) (* x z)) (* (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (- y 1.0))
  (* (* (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (- y 1.0))
  (* (cbrt (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))) (cbrt (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))
  (cbrt (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0))))
  (* (* (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0))) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0))))
  (sqrt (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0))))
  (sqrt (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (* y y) (* 1.0 1.0))))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (* y y) (* 1.0 1.0))))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (cbrt (+ y 1.0)) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (cbrt (+ y 1.0)) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (* y y) (* 1.0 1.0))))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (* y y) (* 1.0 1.0))))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- (* y y) (* 1.0 1.0))))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (+ y 1.0)) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- (* y y) (* 1.0 1.0))))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- y 1.0)))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (+ y 1.0)) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (sqrt (- y 1.0))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt 1))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (+ (sqrt y) (sqrt 1.0))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt 1))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0)))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (sqrt (cbrt (- y 1.0))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) 1)
  (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (* y y) (* 1.0 1.0))))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (* y y) (* 1.0 1.0))))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- (* y y) (* 1.0 1.0))))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))
  (log (cbrt (- y 1.0)))
  (exp (cbrt (- y 1.0)))
  (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (+ (sqrt y) (sqrt 1.0)))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (- (pow y 3) (pow 1.0 3)))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (- (* y y) (* 1.0 1.0)))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (log (cbrt (- y 1.0)))
  (exp (cbrt (- y 1.0)))
  (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (+ (sqrt y) (sqrt 1.0)))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (- (pow y 3) (pow 1.0 3)))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (- (* y y) (* 1.0 1.0)))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (* (* x z) (pow 1.0 1/3))
  (- (* (* x z) (pow (pow y 2) 1/3)) (+ (* 0.1111111111111111 (* (* x z) (pow (/ 1 (pow y 4)) 1/3))) (* 0.6666666666666666 (* (* x z) (pow (/ 1 y) 1/3)))))
  (- (* (* (pow (cbrt -1) 2) (* x z)) (pow (pow y 2) 1/3)) (+ (* 0.1111111111111111 (* (* (pow (cbrt -1) 2) (* x z)) (pow (/ 1 (pow y 4)) 1/3))) (* 0.6666666666666666 (* (* (pow (cbrt -1) 2) (* x z)) (pow (/ 1 y) 1/3)))))
  (* -1.0 (* x z))
  (- (* x (* z y)) (* 1.0 (* x z)))
  (- (* x (* z y)) (* 1.0 (* x z)))
  (- (+ (pow (neg 1.0) 1/3) (* 0.05555555555555555 (* (pow -1.0 1/3) (pow y 2)))) (+ (* 0.3333333333333333 (* (pow -1.0 1/3) y)) (* 1/6 (* (pow (/ 1 (pow -1.0 5)) 1/3) (pow y 2)))))
  (- (pow (/ 1 y) -1/3) (+ (* 0.3333333333333333 (pow (/ 1 (pow y 2)) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow y 5)) 1/3))))
  (- (* (pow (* -1 y) 1/3) (cbrt -1)) (+ (* 0.3333333333333333 (* (pow (/ -1 (pow y 2)) 1/3) (cbrt -1))) (* 0.1111111111111111 (* (pow (/ -1 (pow y 5)) 1/3) (cbrt -1)))))
  (- (+ (pow (neg 1.0) 1/3) (* 0.05555555555555555 (* (pow -1.0 1/3) (pow y 2)))) (+ (* 0.3333333333333333 (* (pow -1.0 1/3) y)) (* 1/6 (* (pow (/ 1 (pow -1.0 5)) 1/3) (pow y 2)))))
  (- (pow (/ 1 y) -1/3) (+ (* 0.3333333333333333 (pow (/ 1 (pow y 2)) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow y 5)) 1/3))))
  (- (* (pow (* -1 y) 1/3) (cbrt -1)) (+ (* 0.3333333333333333 (* (pow (/ -1 (pow y 2)) 1/3) (cbrt -1))) (* 0.1111111111111111 (* (pow (/ -1 (pow y 5)) 1/3) (cbrt -1)))))
1.399 * * [simplify]: iteration  0 :  665  enodes  (cost  1553 )
1.410 * * [simplify]: iteration  1 :  2582  enodes  (cost  1345 )
1.458 * * [simplify]: iteration  2 :  5001  enodes  (cost  1279 )
1.464 * [simplify]: Simplified to:
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (+ (* 2 (log (cbrt (- y 1.0)))) (log (* x z)))
  (+ (* 2 (log (cbrt (- y 1.0)))) (log (* x z)))
  (+ (* 2 (log (cbrt (- y 1.0)))) (log (* x z)))
  (+ (* 2 (log (cbrt (- y 1.0)))) (log (* x z)))
  (+ (* 2 (log (cbrt (- y 1.0)))) (log (* x z)))
  (exp (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (- y 1.0) (* (- y 1.0) (pow (* x z) 3)))
  (* (- y 1.0) (* (- y 1.0) (pow (* x z) 3)))
  (* (- y 1.0) (* (- y 1.0) (pow (* x z) 3)))
  (* (- y 1.0) (* (- y 1.0) (pow (* x z) 3)))
  (* (cbrt (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))) (cbrt (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))))
  (cbrt (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (- y 1.0) (* (- y 1.0) (pow (* x z) 3)))
  (sqrt (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (sqrt (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (* x z) (cbrt (- y 1.0)))
  (* z (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (pow y 3) (pow 1.0 3)))))
  (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3)))))
  (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3)))))
  (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (* y y) (* 1.0 1.0)))))
  (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- y 1.0))))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (+ (* 3 (log (cbrt (- y 1.0)))) (log (* x z)))
  (+ (* 3 (log (cbrt (- y 1.0)))) (log (* x z)))
  (+ (* 3 (log (cbrt (- y 1.0)))) (log (* x z)))
  (+ (* 3 (log (cbrt (- y 1.0)))) (log (* x z)))
  (+ (* 3 (log (cbrt (- y 1.0)))) (log (* x z)))
  (+ (* 3 (log (cbrt (- y 1.0)))) (log (* x z)))
  (pow (exp (pow (cbrt (- y 1.0)) 3)) (* x z))
  (pow (* (pow (cbrt (- y 1.0)) 3) (* x z)) 3)
  (pow (* (pow (cbrt (- y 1.0)) 3) (* x z)) 3)
  (pow (* (pow (cbrt (- y 1.0)) 3) (* x z)) 3)
  (pow (* (pow (cbrt (- y 1.0)) 3) (* x z)) 3)
  (pow (* (pow (cbrt (- y 1.0)) 3) (* x z)) 3)
  (* (cbrt (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))) (cbrt (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))
  (cbrt (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0))))
  (pow (* (pow (cbrt (- y 1.0)) 3) (* x z)) 3)
  (sqrt (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0))))
  (sqrt (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (+ (* 1.0 (+ 1.0 y)) (pow y 2))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3))))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (* y y) (* 1.0 1.0))))) (cbrt (- (* y y) (* 1.0 1.0))))
  (+ y 1.0)
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (sqrt (- y 1.0))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt 1))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (+ (sqrt y) (sqrt 1.0))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt 1))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0)))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (sqrt (cbrt (- y 1.0))))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (- y 1.0)
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (* x z) (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (* x z) (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- (* y y) (* 1.0 1.0))))
  (log (cbrt (- y 1.0)))
  (exp (cbrt (- y 1.0)))
  (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (+ (sqrt y) (sqrt 1.0)))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (- (pow y 3) (pow 1.0 3)))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (- (* y y) (* 1.0 1.0)))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (- y 1.0)
  (sqrt (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (log (cbrt (- y 1.0)))
  (exp (cbrt (- y 1.0)))
  (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (+ (sqrt y) (sqrt 1.0)))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (- (pow y 3) (pow 1.0 3)))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (- (* y y) (* 1.0 1.0)))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (- y 1.0)
  (sqrt (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (* (* x z) (pow 1.0 1/3))
  (- (* (* x z) (pow (pow y 2) 1/3)) (+ (* 0.1111111111111111 (* (* x z) (pow (/ 1 (pow y 4)) 1/3))) (* 0.6666666666666666 (* (* x z) (pow (/ 1 y) 1/3)))))
  (- (* (* (pow (cbrt -1) 2) (* x z)) (pow (pow y 2) 1/3)) (+ (* 0.1111111111111111 (* (* (pow (cbrt -1) 2) (* x z)) (pow (/ 1 (pow y 4)) 1/3))) (* 0.6666666666666666 (* (* (pow (cbrt -1) 2) (* x z)) (pow (/ 1 y) 1/3)))))
  (* -1.0 (* x z))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (+ (pow (neg 1.0) 1/3) (+ (* (pow -1.0 1/3) (- (* (pow y 2) 0.05555555555555555) (* y 0.3333333333333333))) (* -1/6 (* (pow (/ 1 (pow -1.0 5)) 1/3) (pow y 2)))))
  (- (pow (/ 1 y) -1/3) (+ (* 0.3333333333333333 (pow (/ 1 (pow y 2)) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow y 5)) 1/3))))
  (* (cbrt -1) (- (- (pow (* -1 y) 1/3) (* 0.3333333333333333 (pow (/ -1 (pow y 2)) 1/3))) (* 0.1111111111111111 (pow (/ -1 (pow y 5)) 1/3))))
  (+ (pow (neg 1.0) 1/3) (+ (* (pow -1.0 1/3) (- (* (pow y 2) 0.05555555555555555) (* y 0.3333333333333333))) (* -1/6 (* (pow (/ 1 (pow -1.0 5)) 1/3) (pow y 2)))))
  (- (pow (/ 1 y) -1/3) (+ (* 0.3333333333333333 (pow (/ 1 (pow y 2)) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow y 5)) 1/3))))
  (* (cbrt -1) (- (- (pow (* -1 y) 1/3) (* 0.3333333333333333 (pow (/ -1 (pow y 2)) 1/3))) (* 0.1111111111111111 (pow (/ -1 (pow y 5)) 1/3))))
1.465 * * * [progress]: adding candidates to table
2.084 * * [progress]: iteration 4 / 4
2.084 * * * [progress]: picking best candidate
2.110 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))>
2.110 * * * [progress]: localizing error
2.121 * * * [progress]: generating rewritten candidates
2.121 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.127 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
2.133 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
2.138 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
2.147 * * * [progress]: generating series expansions
2.147 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.147 * [approximate]: Approximating (pow (* x (* z (- y 1.0))) 1/3) in (x z y) around 0
2.157 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in z
2.165 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.175 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in z
2.175 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.180 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.199 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in z
2.199 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.199 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.206 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.249 * [approximate]: Approximating (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in (x z y) around 0
2.256 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in z
2.258 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.263 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in z
2.263 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.268 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.286 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in z
2.286 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.286 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.293 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.314 * [approximate]: Approximating (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in (x z y) around 0
2.328 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in z
2.331 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.338 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in z
2.338 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.343 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.361 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in z
2.361 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.361 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.369 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.391 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
2.392 * [approximate]: Approximating (pow (* x (* z (- y 1.0))) 1/3) in (x z y) around 0
2.401 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in z
2.411 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.420 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in z
2.420 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.425 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.444 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in z
2.444 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.444 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.451 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.493 * [approximate]: Approximating (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in (x z y) around 0
2.499 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in z
2.501 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.506 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in z
2.507 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.511 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.529 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in z
2.529 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.529 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.536 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.556 * [approximate]: Approximating (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in (x z y) around 0
2.571 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in z
2.573 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.580 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in z
2.581 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.585 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.603 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in z
2.603 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.603 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.612 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.634 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
2.634 * [approximate]: Approximating (pow (* x (* z (- y 1.0))) 1/3) in (x z y) around 0
2.649 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in z
2.652 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.662 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in z
2.662 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.667 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.686 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in z
2.686 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.686 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.694 * [taylor]: Taking taylor expansion of (pow (* x (* z (- y 1.0))) 1/3) in y
2.738 * [approximate]: Approximating (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in (x z y) around 0
2.745 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in z
2.746 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.752 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in z
2.752 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.757 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.775 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in z
2.776 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.776 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.783 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) 1.0) (* x z)) 1/3) in y
2.804 * [approximate]: Approximating (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in (x z y) around 0
2.820 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in z
2.823 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.831 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in z
2.831 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.836 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.855 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in z
2.855 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.855 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.864 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (+ (/ 1 y) 1.0) (* x z)) 1/3)) in y
2.887 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
2.887 * [approximate]: Approximating (* x (* z (- y 1.0))) in (x z y) around 0
2.888 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
2.888 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
2.889 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
2.891 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
2.891 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
2.892 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
2.892 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
2.901 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
2.903 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
2.905 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
2.905 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
2.905 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
2.906 * [approximate]: Approximating (/ (- (/ 1 y) 1.0) (* x z)) in (x z y) around 0
2.910 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
2.911 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
2.913 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
2.915 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
2.919 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
2.919 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
2.921 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
2.924 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
2.924 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
2.924 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
2.927 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
2.929 * [approximate]: Approximating (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in (x z y) around 0
2.932 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
2.932 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
2.935 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
2.936 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
2.941 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
2.941 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
2.944 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
2.949 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
2.949 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
2.949 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
2.952 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
2.955 * * * [progress]: simplifying candidates
2.956 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (* (* x z) (- y 1.0))))
  (exp (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* x z))
  (cbrt (- y 1.0))
  (cbrt (* (* x z) (- (pow y 3) (pow 1.0 3))))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (* (* x z) (- (* y y) (* 1.0 1.0))))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (* (* x z) (- y 1.0)))) (cbrt (cbrt (* (* x z) (- y 1.0)))))
  (cbrt (cbrt (* (* x z) (- y 1.0))))
  (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (log (cbrt (* (* x z) (- y 1.0))))
  (exp (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* x z))
  (cbrt (- y 1.0))
  (cbrt (* (* x z) (- (pow y 3) (pow 1.0 3))))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (* (* x z) (- (* y y) (* 1.0 1.0))))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (* (* x z) (- y 1.0)))) (cbrt (cbrt (* (* x z) (- y 1.0)))))
  (cbrt (cbrt (* (* x z) (- y 1.0))))
  (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (log (cbrt (* (* x z) (- y 1.0))))
  (exp (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* x z))
  (cbrt (- y 1.0))
  (cbrt (* (* x z) (- (pow y 3) (pow 1.0 3))))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (* (* x z) (- (* y y) (* 1.0 1.0))))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (* (* x z) (- y 1.0)))) (cbrt (cbrt (* (* x z) (- y 1.0)))))
  (cbrt (cbrt (* (* x z) (- y 1.0))))
  (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (+ (+ (log x) (log z)) (log (- y 1.0)))
  (+ (log (* x z)) (log (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (exp (* (* x z) (- y 1.0)))
  (* (* (* (* x x) x) (* (* z z) z)) (* (* (- y 1.0) (- y 1.0)) (- y 1.0)))
  (* (* (* (* x z) (* x z)) (* x z)) (* (* (- y 1.0) (- y 1.0)) (- y 1.0)))
  (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* (* x z) (- y 1.0)))
  (* (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0))) (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (* (* x z) y)
  (* (* x z) (neg 1.0))
  (* (* x z) y)
  (* (* x z) (neg 1.0))
  (* y (* x z))
  (* (neg 1.0) (* x z))
  (* y (* x z))
  (* (neg 1.0) (* x z))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (sqrt (- y 1.0)))
  (* (* x z) 1)
  (* (* x z) (+ (sqrt y) (sqrt 1.0)))
  (* (* x z) 1)
  (* z (- y 1.0))
  (* (* x z) (- (pow y 3) (pow 1.0 3)))
  (* (* x z) (- (* y y) (* 1.0 1.0)))
  (- (+ (* 0.05555555555555555 (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) (pow y 2))) (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0))))))) (+ (* 1/6 (/ (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) (pow y 2)) (pow -1.0 2))) (* 0.3333333333333333 (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) y))))
  (- (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (+ (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (pow y 2))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) y))))
  (- (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (+ (* 0.3333333333333333 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) y)) (* 0.1111111111111111 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (pow y 2)))))
  (- (+ (* 0.05555555555555555 (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) (pow y 2))) (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0))))))) (+ (* 1/6 (/ (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) (pow y 2)) (pow -1.0 2))) (* 0.3333333333333333 (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) y))))
  (- (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (+ (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (pow y 2))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) y))))
  (- (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (+ (* 0.3333333333333333 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) y)) (* 0.1111111111111111 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (pow y 2)))))
  (- (+ (* 0.05555555555555555 (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) (pow y 2))) (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0))))))) (+ (* 1/6 (/ (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) (pow y 2)) (pow -1.0 2))) (* 0.3333333333333333 (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) y))))
  (- (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (+ (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (pow y 2))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) y))))
  (- (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (+ (* 0.3333333333333333 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) y)) (* 0.1111111111111111 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (pow y 2)))))
  (* -1.0 (* x z))
  (- (* x (* z y)) (* 1.0 (* x z)))
  (- (* x (* z y)) (* 1.0 (* x z)))
2.961 * * [simplify]: iteration  0 :  355  enodes  (cost  735 )
2.967 * * [simplify]: iteration  1 :  1389  enodes  (cost  683 )
2.994 * * [simplify]: iteration  2 :  5001  enodes  (cost  650 )
2.998 * [simplify]: Simplified to:
  (log (cbrt (* (* x z) (- y 1.0))))
  (exp (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* x z))
  (cbrt (- y 1.0))
  (cbrt (* (* x z) (- (pow y 3) (pow 1.0 3))))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (* (* x z) (- (* y y) (* 1.0 1.0))))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (* (* x z) (- y 1.0)))) (cbrt (cbrt (* (* x z) (- y 1.0)))))
  (cbrt (cbrt (* (* x z) (- y 1.0))))
  (* (* x z) (- y 1.0))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (log (cbrt (* (* x z) (- y 1.0))))
  (exp (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* x z))
  (cbrt (- y 1.0))
  (cbrt (* (* x z) (- (pow y 3) (pow 1.0 3))))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (* (* x z) (- (* y y) (* 1.0 1.0))))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (* (* x z) (- y 1.0)))) (cbrt (cbrt (* (* x z) (- y 1.0)))))
  (cbrt (cbrt (* (* x z) (- y 1.0))))
  (* (* x z) (- y 1.0))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (log (cbrt (* (* x z) (- y 1.0))))
  (exp (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* x z))
  (cbrt (- y 1.0))
  (cbrt (* (* x z) (- (pow y 3) (pow 1.0 3))))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (* (* x z) (- (* y y) (* 1.0 1.0))))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (* (* x z) (- y 1.0)))) (cbrt (cbrt (* (* x z) (- y 1.0)))))
  (cbrt (cbrt (* (* x z) (- y 1.0))))
  (* (* x z) (- y 1.0))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (sqrt (cbrt (* (* x z) (- y 1.0))))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (log (* (* x z) (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (exp (* (* x z) (- y 1.0)))
  (pow (* (* x z) (- y 1.0)) 3)
  (pow (* (* x z) (- y 1.0)) 3)
  (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* (* x z) (- y 1.0)))
  (pow (* (* x z) (- y 1.0)) 3)
  (sqrt (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (* x (* z y))
  (* (* x z) (neg 1.0))
  (* x (* z y))
  (* (* x z) (neg 1.0))
  (* x (* z y))
  (* (* x z) (neg 1.0))
  (* x (* z y))
  (* (* x z) (neg 1.0))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (sqrt (- y 1.0)))
  (* x z)
  (* (* x z) (+ (sqrt y) (sqrt 1.0)))
  (* x z)
  (* z (- y 1.0))
  (* (* x z) (- (pow y 3) (pow 1.0 3)))
  (* (* x z) (- (* y y) (* 1.0 1.0)))
  (+ (* (+ (* 0.05555555555555555 (pow y 2)) 1) (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0))))))) (- (* -1/6 (/ (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) (pow y 2)) (pow -1.0 2))) (* 0.3333333333333333 (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) y))))
  (+ (* (pow (exp -1/3) (neg (+ (log y) (log z)))) (pow (/ 1 x) -1/3)) (- (* (neg 0.1111111111111111) (* (/ (pow (/ 1 x) -1/3) y) (/ (pow (exp -1/3) (neg (+ (log y) (log z)))) y))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) y))))
  (- (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (+ (* 0.3333333333333333 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) y)) (* 0.1111111111111111 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (pow y 2)))))
  (+ (* (+ (* 0.05555555555555555 (pow y 2)) 1) (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0))))))) (- (* -1/6 (/ (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) (pow y 2)) (pow -1.0 2))) (* 0.3333333333333333 (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) y))))
  (+ (* (pow (exp -1/3) (neg (+ (log y) (log z)))) (pow (/ 1 x) -1/3)) (- (* (neg 0.1111111111111111) (* (/ (pow (/ 1 x) -1/3) y) (/ (pow (exp -1/3) (neg (+ (log y) (log z)))) y))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) y))))
  (- (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (+ (* 0.3333333333333333 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) y)) (* 0.1111111111111111 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (pow y 2)))))
  (+ (* (+ (* 0.05555555555555555 (pow y 2)) 1) (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0))))))) (- (* -1/6 (/ (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) (pow y 2)) (pow -1.0 2))) (* 0.3333333333333333 (* (exp (* 1/3 (+ (log z) (+ (log x) (log (neg 1.0)))))) y))))
  (+ (* (pow (exp -1/3) (neg (+ (log y) (log z)))) (pow (/ 1 x) -1/3)) (- (* (neg 0.1111111111111111) (* (/ (pow (/ 1 x) -1/3) y) (/ (pow (exp -1/3) (neg (+ (log y) (log z)))) y))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) y))))
  (- (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (+ (* 0.3333333333333333 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) y)) (* 0.1111111111111111 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x))))))) (pow y 2)))))
  (* -1.0 (* x z))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
2.999 * * * [progress]: adding candidates to table
3.572 * [progress]: [Phase 3 of 3] Extracting.
3.572 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (cbrt (pow (* (* x z) (- y 1.0)) 3))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (+ (* x 1.0) (/ (* (* x z) (- (* y y) (* 1.0 1.0))) (+ y 1.0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
3.573 * * * [regime-changes]: Trying 7 branch expressions: ((- 1.0 y) (* (- 1.0 y) z) (- 1.0 (* (- 1.0 y) z)) (* x (- 1.0 (* (- 1.0 y) z))) z y x)
3.573 * * * * [regimes]: Trying to branch on (- 1.0 y) from (#<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (cbrt (pow (* (* x z) (- y 1.0)) 3))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (+ (* x 1.0) (/ (* (* x z) (- (* y y) (* 1.0 1.0))) (+ y 1.0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
3.644 * * * * [regimes]: Trying to branch on (- 1.0 y) from (#<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
3.693 * * * * [regimes]: Trying to branch on (* (- 1.0 y) z) from (#<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (cbrt (pow (* (* x z) (- y 1.0)) 3))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (+ (* x 1.0) (/ (* (* x z) (- (* y y) (* 1.0 1.0))) (+ y 1.0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
3.780 * * * * [regimes]: Trying to branch on (* (- 1.0 y) z) from (#<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
3.831 * * * * [regimes]: Trying to branch on (- 1.0 (* (- 1.0 y) z)) from (#<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (cbrt (pow (* (* x z) (- y 1.0)) 3))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (+ (* x 1.0) (/ (* (* x z) (- (* y y) (* 1.0 1.0))) (+ y 1.0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
3.906 * * * * [regimes]: Trying to branch on (- 1.0 (* (- 1.0 y) z)) from (#<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))>)
3.948 * * * * [regimes]: Trying to branch on (* x (- 1.0 (* (- 1.0 y) z))) from (#<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (cbrt (pow (* (* x z) (- y 1.0)) 3))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (+ (* x 1.0) (/ (* (* x z) (- (* y y) (* 1.0 1.0))) (+ y 1.0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
4.036 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (cbrt (pow (* (* x z) (- y 1.0)) 3))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (+ (* x 1.0) (/ (* (* x z) (- (* y y) (* 1.0 1.0))) (+ y 1.0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
4.122 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (cbrt (pow (* (* x z) (- y 1.0)) 3))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (+ (* x 1.0) (/ (* (* x z) (- (* y y) (* 1.0 1.0))) (+ y 1.0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
4.193 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (cbrt (pow (* (* x z) (- y 1.0)) 3))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (+ (* x 1.0) (/ (* (* x z) (- (* y y) (* 1.0 1.0))) (+ y 1.0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
4.266 * * * [regime]: Found split indices: #<option (#s(si 1 8) #s(si 4 70) #s(si 1 255))>
4.267 * [binary-search]: Only using regimes for bounds on (* (- 1.0 y) z) and (#<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (cbrt (pow (* (* x z) (- y 1.0)) 3))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (+ (* x 1.0) (/ (* (* x z) (- (* y y) (* 1.0 1.0))) (+ y 1.0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
4.268 * [regimes]: Found splitpoints: (#s(sp 1 (* (- 1.0 y) z) -inf.0) #s(sp 4 (* (- 1.0 y) z) -521302.2359146149) #s(sp 1 (* (- 1.0 y) z) +nan.0)) , with alts (#<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (- y 1.0)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (cbrt (pow (* (* x z) (- y 1.0)) 3))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))))))> #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (/ (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (+ 1.0 (* (- 1.0 y) z))))> #<alt (λ (x y z) (+ (* x 1.0) (/ (* (* x z) (- (* y y) (* 1.0 1.0))) (+ y 1.0))))> #<alt (λ (x y z) (* (sqrt x) (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))))> #<alt (λ (x y z) (/ (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z))))))>)
4.269 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= (* (- 1.0 y) z) -inf.0) (+ (* x 1.0) (* (* x z) (- y 1.0))) (if (<= (* (- 1.0 y) z) -521302.2359146149) (* x (- 1.0 (* (- 1.0 y) z))) (+ (* x 1.0) (* (* x z) (- y 1.0)))))
4.269 * * [simplify]: iteration  0 :  28  enodes  (cost  13 )
4.270 * * [simplify]: iteration  1 :  28  enodes  (cost  13 )
4.270 * [simplify]: Simplified to:
  (if (or (<= (* (- 1.0 y) z) -inf.0) (not (<= (* (- 1.0 y) z) -521302.2359146149))) (+ (* x 1.0) (* (* x z) (- y 1.0))) (* x (- 1.0 (* (- 1.0 y) z))))