15.981 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (* (* y z) z))
0.020 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.022 * * [simplify]: iteration  1 :  12  enodes  (cost  3 )
0.023 * * [simplify]: iteration  2 :  12  enodes  (cost  3 )
0.023 * [simplify]: Simplified to:
   (+ x (* (* y z) z))
0.023 * * [progress]: iteration 1 / 4
0.023 * * * [progress]: picking best candidate
0.024 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* y z) z)))>
0.024 * * * [progress]: localizing error
0.029 * * * [progress]: generating rewritten candidates
0.029 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.034 * * * [progress]: generating series expansions
0.034 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.034 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0
0.034 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.034 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.034 * [taylor]: Taking taylor expansion of z in z
0.034 * [taylor]: Taking taylor expansion of y in z
0.034 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.034 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.034 * [taylor]: Taking taylor expansion of z in y
0.034 * [taylor]: Taking taylor expansion of y in y
0.034 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.034 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.034 * [taylor]: Taking taylor expansion of z in y
0.034 * [taylor]: Taking taylor expansion of y in y
0.035 * [taylor]: Taking taylor expansion of 0 in z
0.035 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.035 * [taylor]: Taking taylor expansion of z in z
0.036 * [taylor]: Taking taylor expansion of 0 in z
0.038 * [taylor]: Taking taylor expansion of 0 in z
0.038 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0
0.038 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
0.038 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.038 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.038 * [taylor]: Taking taylor expansion of z in z
0.038 * [taylor]: Taking taylor expansion of y in z
0.038 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
0.038 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.038 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.038 * [taylor]: Taking taylor expansion of z in y
0.038 * [taylor]: Taking taylor expansion of y in y
0.039 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
0.039 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.039 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.039 * [taylor]: Taking taylor expansion of z in y
0.039 * [taylor]: Taking taylor expansion of y in y
0.039 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.039 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.039 * [taylor]: Taking taylor expansion of z in z
0.041 * [taylor]: Taking taylor expansion of 0 in z
0.043 * [taylor]: Taking taylor expansion of 0 in z
0.045 * [taylor]: Taking taylor expansion of 0 in z
0.048 * [taylor]: Taking taylor expansion of 0 in z
0.048 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0
0.048 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z
0.048 * [taylor]: Taking taylor expansion of -1 in z
0.048 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.048 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.048 * [taylor]: Taking taylor expansion of z in z
0.048 * [taylor]: Taking taylor expansion of y in z
0.049 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.049 * [taylor]: Taking taylor expansion of -1 in y
0.049 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.049 * [taylor]: Taking taylor expansion of (pow z 2) 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 (* (pow z 2) y)) in y
0.049 * [taylor]: Taking taylor expansion of -1 in y
0.049 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.049 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.049 * [taylor]: Taking taylor expansion of z in y
0.049 * [taylor]: Taking taylor expansion of y in y
0.050 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z
0.050 * [taylor]: Taking taylor expansion of -1 in z
0.050 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.050 * [taylor]: Taking taylor expansion of z in z
0.051 * [taylor]: Taking taylor expansion of 0 in z
0.054 * [taylor]: Taking taylor expansion of 0 in z
0.056 * [taylor]: Taking taylor expansion of 0 in z
0.059 * [taylor]: Taking taylor expansion of 0 in z
0.059 * * * [progress]: simplifying candidates
0.060 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* y z) z)
  (* (* y z) z)
  (+ (+ (log y) (log z)) (log z))
  (+ (log (* y z)) (log z))
  (log (* (* y z) z))
  (exp (* (* y z) z))
  (* (* (* (* y y) y) (* (* z z) z)) (* (* z z) z))
  (* (* (* (* y z) (* y z)) (* y z)) (* (* z z) z))
  (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))
  (cbrt (* (* y z) z))
  (* (* (* (* y z) z) (* (* y z) z)) (* (* y z) z))
  (sqrt (* (* y z) z))
  (sqrt (* (* y z) z))
  (* (* y z) (* (cbrt z) (cbrt z)))
  (* (* y z) (sqrt z))
  (* (* y z) 1)
  (* z z)
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* (pow z 2) y)
0.062 * * [simplify]: iteration  0 :  95  enodes  (cost  72 )
0.065 * * [simplify]: iteration  1 :  466  enodes  (cost  57 )
0.077 * * [simplify]: iteration  2 :  2085  enodes  (cost  57 )
0.114 * * [simplify]: iteration  3 :  5001  enodes  (cost  56 )
0.115 * [simplify]: Simplified to:
   (* (* y z) z)
  (* (* y z) z)
  (log (* (* y z) z))
  (log (* (* y z) z))
  (log (* (* y z) z))
  (exp (* (* y z) z))
  (pow (* (* y z) z) 3)
  (pow (* (* y z) z) 3)
  (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))
  (cbrt (* (* y z) z))
  (pow (* (* y z) z) 3)
  (sqrt (* (* y z) z))
  (sqrt (* (* y z) z))
  (* (* y z) (* (cbrt z) (cbrt z)))
  (* y (pow z 3/2))
  (* y z)
  (pow z 2)
  (* (* y z) z)
  (* (* y z) z)
  (* (* y z) z)
0.115 * * * [progress]: adding candidates to table
0.142 * * [progress]: iteration 2 / 4
0.142 * * * [progress]: picking best candidate
0.147 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* y (pow z 2))))>
0.147 * * * [progress]: localizing error
0.152 * * * [progress]: generating rewritten candidates
0.152 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.158 * * * [progress]: generating series expansions
0.158 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.158 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0
0.158 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.158 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.158 * [taylor]: Taking taylor expansion of z in z
0.158 * [taylor]: Taking taylor expansion of y in z
0.158 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.158 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.158 * [taylor]: Taking taylor expansion of z in y
0.158 * [taylor]: Taking taylor expansion of y in y
0.158 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.158 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.158 * [taylor]: Taking taylor expansion of z in y
0.158 * [taylor]: Taking taylor expansion of y in y
0.159 * [taylor]: Taking taylor expansion of 0 in z
0.159 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.159 * [taylor]: Taking taylor expansion of z in z
0.160 * [taylor]: Taking taylor expansion of 0 in z
0.161 * [taylor]: Taking taylor expansion of 0 in z
0.162 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0
0.162 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
0.162 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.162 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.162 * [taylor]: Taking taylor expansion of z in z
0.162 * [taylor]: Taking taylor expansion of y in z
0.162 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
0.162 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.162 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.162 * [taylor]: Taking taylor expansion of z in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
0.163 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.163 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.163 * [taylor]: Taking taylor expansion of z in y
0.163 * [taylor]: Taking taylor expansion of y in y
0.163 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.163 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.163 * [taylor]: Taking taylor expansion of z in z
0.165 * [taylor]: Taking taylor expansion of 0 in z
0.166 * [taylor]: Taking taylor expansion of 0 in z
0.169 * [taylor]: Taking taylor expansion of 0 in z
0.172 * [taylor]: Taking taylor expansion of 0 in z
0.172 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0
0.172 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z
0.172 * [taylor]: Taking taylor expansion of -1 in z
0.172 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.172 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.172 * [taylor]: Taking taylor expansion of z in z
0.172 * [taylor]: Taking taylor expansion of y in z
0.173 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.173 * [taylor]: Taking taylor expansion of -1 in y
0.173 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.173 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.173 * [taylor]: Taking taylor expansion of z in y
0.173 * [taylor]: Taking taylor expansion of y in y
0.173 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.173 * [taylor]: Taking taylor expansion of -1 in y
0.173 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.173 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.173 * [taylor]: Taking taylor expansion of z in y
0.173 * [taylor]: Taking taylor expansion of y in y
0.174 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z
0.174 * [taylor]: Taking taylor expansion of -1 in z
0.174 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.174 * [taylor]: Taking taylor expansion of z in z
0.175 * [taylor]: Taking taylor expansion of 0 in z
0.178 * [taylor]: Taking taylor expansion of 0 in z
0.180 * [taylor]: Taking taylor expansion of 0 in z
0.183 * [taylor]: Taking taylor expansion of 0 in z
0.183 * * * [progress]: simplifying candidates
0.184 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (log y) (* (log z) 2))
  (+ (log y) (* (log z) 2))
  (+ (log y) (log (pow z 2)))
  (log (* y (pow z 2)))
  (exp (* y (pow z 2)))
  (* (* (* y y) y) (* (* (pow z 2) (pow z 2)) (pow z 2)))
  (* (cbrt (* y (pow z 2))) (cbrt (* y (pow z 2))))
  (cbrt (* y (pow z 2)))
  (* (* (* y (pow z 2)) (* y (pow z 2))) (* y (pow z 2)))
  (sqrt (* y (pow z 2)))
  (sqrt (* y (pow z 2)))
  (* (sqrt y) (pow (sqrt z) 2))
  (* (sqrt y) (pow (sqrt z) 2))
  (* (sqrt y) z)
  (* (sqrt y) z)
  (* (sqrt y) (sqrt (pow z 2)))
  (* (sqrt y) (sqrt (pow z 2)))
  (* (sqrt y) (pow z (/ 2 2)))
  (* (sqrt y) (pow z (/ 2 2)))
  (* y (pow (* (cbrt z) (cbrt z)) 2))
  (* y (pow (sqrt z) 2))
  (* y (pow 1 2))
  (* y z)
  (* y (* (cbrt (pow z 2)) (cbrt (pow z 2))))
  (* y (sqrt (pow z 2)))
  (* y 1)
  (* y (pow z (/ 2 2)))
  (* (cbrt y) (pow z 2))
  (* (sqrt y) (pow z 2))
  (* y (pow z 2))
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* (pow z 2) y)
0.187 * * [simplify]: iteration  0 :  107  enodes  (cost  102 )
0.189 * * [simplify]: iteration  1 :  404  enodes  (cost  87 )
0.198 * * [simplify]: iteration  2 :  1988  enodes  (cost  87 )
0.253 * * [simplify]: iteration  3 :  5002  enodes  (cost  86 )
0.254 * [simplify]: Simplified to:
   (log (* y (pow z 2)))
  (log (* y (pow z 2)))
  (log (* y (pow z 2)))
  (log (* y (pow z 2)))
  (exp (* y (pow z 2)))
  (pow (* y (pow z 2)) 3)
  (* (cbrt (* y (pow z 2))) (cbrt (* y (pow z 2))))
  (cbrt (* y (pow z 2)))
  (pow (* y (pow z 2)) 3)
  (sqrt (* y (pow z 2)))
  (sqrt (* y (pow z 2)))
  (* z (sqrt y))
  (* z (sqrt y))
  (* z (sqrt y))
  (* z (sqrt y))
  (* (sqrt y) (sqrt (pow z 2)))
  (* (sqrt y) (sqrt (pow z 2)))
  (* z (sqrt y))
  (* z (sqrt y))
  (* (/ (pow (cbrt z) 4) 1) y)
  (* z y)
  y
  (* z y)
  (* y (* (cbrt (pow z 2)) (cbrt (pow z 2))))
  (* y (fabs z))
  y
  (* z y)
  (* (cbrt y) (pow z 2))
  (* (sqrt y) (pow z 2))
  (* y (pow z 2))
  (* y (pow z 2))
  (* y (pow z 2))
  (* y (pow z 2))
0.254 * * * [progress]: adding candidates to table
0.292 * * [progress]: iteration 3 / 4
0.292 * * * [progress]: picking best candidate
0.296 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (sqrt (* (* y z) z)) (sqrt (* (* y z) z)))))>
0.296 * * * [progress]: localizing error
0.303 * * * [progress]: generating rewritten candidates
0.303 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.307 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.310 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
0.315 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.321 * * * [progress]: generating series expansions
0.321 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.321 * [approximate]: Taking taylor expansion of (* z (sqrt y)) in (y z) around 0
0.321 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in z
0.321 * [taylor]: Taking taylor expansion of z in z
0.321 * [taylor]: Taking taylor expansion of (sqrt y) in z
0.321 * [taylor]: Taking taylor expansion of y in z
0.322 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in y
0.322 * [taylor]: Taking taylor expansion of z in y
0.322 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.322 * [taylor]: Taking taylor expansion of y in y
0.323 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in y
0.323 * [taylor]: Taking taylor expansion of z in y
0.323 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.323 * [taylor]: Taking taylor expansion of y in y
0.324 * [taylor]: Taking taylor expansion of 0 in z
0.324 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z
0.324 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
0.324 * [taylor]: Taking taylor expansion of +nan.0 in z
0.325 * [taylor]: Taking taylor expansion of z in z
0.327 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z
0.327 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
0.327 * [taylor]: Taking taylor expansion of +nan.0 in z
0.327 * [taylor]: Taking taylor expansion of z in z
0.335 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z
0.335 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
0.335 * [taylor]: Taking taylor expansion of +nan.0 in z
0.335 * [taylor]: Taking taylor expansion of z in z
0.341 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z
0.341 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
0.341 * [taylor]: Taking taylor expansion of +nan.0 in z
0.341 * [taylor]: Taking taylor expansion of z in z
0.344 * [approximate]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in (y z) around 0
0.344 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in z
0.344 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.344 * [taylor]: Taking taylor expansion of z in z
0.345 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
0.345 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.345 * [taylor]: Taking taylor expansion of y in z
0.345 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in y
0.345 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.345 * [taylor]: Taking taylor expansion of z in y
0.345 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.345 * [taylor]: Taking taylor expansion of y in y
0.346 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in y
0.346 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.346 * [taylor]: Taking taylor expansion of z in y
0.346 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.346 * [taylor]: Taking taylor expansion of y in y
0.347 * [taylor]: Taking taylor expansion of 0 in z
0.348 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
0.348 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
0.348 * [taylor]: Taking taylor expansion of +nan.0 in z
0.348 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.348 * [taylor]: Taking taylor expansion of z in z
0.351 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
0.351 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
0.351 * [taylor]: Taking taylor expansion of +nan.0 in z
0.351 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.351 * [taylor]: Taking taylor expansion of z in z
0.357 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
0.357 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
0.357 * [taylor]: Taking taylor expansion of +nan.0 in z
0.357 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.357 * [taylor]: Taking taylor expansion of z in z
0.359 * [approximate]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in (y z) around 0
0.359 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in z
0.359 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z
0.359 * [taylor]: Taking taylor expansion of -1 in z
0.359 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.359 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.359 * [taylor]: Taking taylor expansion of z in z
0.359 * [taylor]: Taking taylor expansion of y in z
0.360 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in y
0.360 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.360 * [taylor]: Taking taylor expansion of -1 in y
0.360 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.360 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.360 * [taylor]: Taking taylor expansion of z in y
0.360 * [taylor]: Taking taylor expansion of y in y
0.361 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in y
0.361 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.361 * [taylor]: Taking taylor expansion of -1 in y
0.361 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.361 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.361 * [taylor]: Taking taylor expansion of z in y
0.361 * [taylor]: Taking taylor expansion of y in y
0.363 * [taylor]: Taking taylor expansion of 0 in z
0.363 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 2)) in z
0.363 * [taylor]: Taking taylor expansion of +nan.0 in z
0.363 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.363 * [taylor]: Taking taylor expansion of z in z
0.366 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 4)) in z
0.366 * [taylor]: Taking taylor expansion of +nan.0 in z
0.366 * [taylor]: Taking taylor expansion of (pow z 4) in z
0.366 * [taylor]: Taking taylor expansion of z in z
0.373 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 6)) in z
0.373 * [taylor]: Taking taylor expansion of +nan.0 in z
0.373 * [taylor]: Taking taylor expansion of (pow z 6) in z
0.373 * [taylor]: Taking taylor expansion of z in z
0.384 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.384 * [approximate]: Taking taylor expansion of (* z (sqrt y)) in (y z) around 0
0.384 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in z
0.384 * [taylor]: Taking taylor expansion of z in z
0.384 * [taylor]: Taking taylor expansion of (sqrt y) in z
0.384 * [taylor]: Taking taylor expansion of y in z
0.384 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in y
0.384 * [taylor]: Taking taylor expansion of z in y
0.384 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.384 * [taylor]: Taking taylor expansion of y in y
0.385 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in y
0.386 * [taylor]: Taking taylor expansion of z in y
0.386 * [taylor]: Taking taylor expansion of (sqrt y) in y
0.386 * [taylor]: Taking taylor expansion of y in y
0.387 * [taylor]: Taking taylor expansion of 0 in z
0.387 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z
0.387 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
0.387 * [taylor]: Taking taylor expansion of +nan.0 in z
0.387 * [taylor]: Taking taylor expansion of z in z
0.390 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z
0.390 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
0.390 * [taylor]: Taking taylor expansion of +nan.0 in z
0.390 * [taylor]: Taking taylor expansion of z in z
0.394 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z
0.394 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
0.394 * [taylor]: Taking taylor expansion of +nan.0 in z
0.394 * [taylor]: Taking taylor expansion of z in z
0.400 * [taylor]: Taking taylor expansion of (- (* +nan.0 z)) in z
0.400 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
0.400 * [taylor]: Taking taylor expansion of +nan.0 in z
0.400 * [taylor]: Taking taylor expansion of z in z
0.403 * [approximate]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in (y z) around 0
0.403 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in z
0.403 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.404 * [taylor]: Taking taylor expansion of z in z
0.404 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
0.404 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.404 * [taylor]: Taking taylor expansion of y in z
0.404 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in y
0.404 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.404 * [taylor]: Taking taylor expansion of z in y
0.404 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.404 * [taylor]: Taking taylor expansion of y in y
0.405 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in y
0.405 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.405 * [taylor]: Taking taylor expansion of z in y
0.405 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
0.405 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.405 * [taylor]: Taking taylor expansion of y in y
0.407 * [taylor]: Taking taylor expansion of 0 in z
0.407 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
0.407 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
0.407 * [taylor]: Taking taylor expansion of +nan.0 in z
0.407 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.407 * [taylor]: Taking taylor expansion of z in z
0.411 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
0.411 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
0.411 * [taylor]: Taking taylor expansion of +nan.0 in z
0.411 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.411 * [taylor]: Taking taylor expansion of z in z
0.418 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
0.418 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
0.418 * [taylor]: Taking taylor expansion of +nan.0 in z
0.418 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.418 * [taylor]: Taking taylor expansion of z in z
0.420 * [approximate]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in (y z) around 0
0.420 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in z
0.421 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z
0.421 * [taylor]: Taking taylor expansion of -1 in z
0.421 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.421 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.421 * [taylor]: Taking taylor expansion of z in z
0.421 * [taylor]: Taking taylor expansion of y in z
0.422 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in y
0.422 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.422 * [taylor]: Taking taylor expansion of -1 in y
0.422 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.422 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.422 * [taylor]: Taking taylor expansion of z in y
0.422 * [taylor]: Taking taylor expansion of y in y
0.423 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (* (pow z 2) y))) in y
0.423 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.423 * [taylor]: Taking taylor expansion of -1 in y
0.423 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.423 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.423 * [taylor]: Taking taylor expansion of z in y
0.423 * [taylor]: Taking taylor expansion of y in y
0.424 * [taylor]: Taking taylor expansion of 0 in z
0.424 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 2)) in z
0.424 * [taylor]: Taking taylor expansion of +nan.0 in z
0.424 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.424 * [taylor]: Taking taylor expansion of z in z
0.427 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 4)) in z
0.427 * [taylor]: Taking taylor expansion of +nan.0 in z
0.427 * [taylor]: Taking taylor expansion of (pow z 4) in z
0.427 * [taylor]: Taking taylor expansion of z in z
0.434 * [taylor]: Taking taylor expansion of (/ +nan.0 (pow z 6)) in z
0.434 * [taylor]: Taking taylor expansion of +nan.0 in z
0.435 * [taylor]: Taking taylor expansion of (pow z 6) in z
0.435 * [taylor]: Taking taylor expansion of z in z
0.445 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
0.446 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0
0.446 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.446 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.446 * [taylor]: Taking taylor expansion of z in z
0.446 * [taylor]: Taking taylor expansion of y in z
0.446 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.446 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.446 * [taylor]: Taking taylor expansion of z in y
0.446 * [taylor]: Taking taylor expansion of y in y
0.446 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.446 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.446 * [taylor]: Taking taylor expansion of z in y
0.446 * [taylor]: Taking taylor expansion of y in y
0.446 * [taylor]: Taking taylor expansion of 0 in z
0.446 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.446 * [taylor]: Taking taylor expansion of z in z
0.447 * [taylor]: Taking taylor expansion of 0 in z
0.449 * [taylor]: Taking taylor expansion of 0 in z
0.449 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
0.449 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.449 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.449 * [taylor]: Taking taylor expansion of z in z
0.449 * [taylor]: Taking taylor expansion of y in z
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
0.449 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.449 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.449 * [taylor]: Taking taylor expansion of z in y
0.449 * [taylor]: Taking taylor expansion of y in y
0.450 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
0.450 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.450 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.450 * [taylor]: Taking taylor expansion of z in y
0.450 * [taylor]: Taking taylor expansion of y in y
0.450 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.450 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.450 * [taylor]: Taking taylor expansion of z in z
0.452 * [taylor]: Taking taylor expansion of 0 in z
0.454 * [taylor]: Taking taylor expansion of 0 in z
0.456 * [taylor]: Taking taylor expansion of 0 in z
0.459 * [taylor]: Taking taylor expansion of 0 in z
0.459 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0
0.459 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z
0.459 * [taylor]: Taking taylor expansion of -1 in z
0.459 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.459 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.460 * [taylor]: Taking taylor expansion of z in z
0.460 * [taylor]: Taking taylor expansion of y in z
0.460 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.460 * [taylor]: Taking taylor expansion of -1 in y
0.460 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.460 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.460 * [taylor]: Taking taylor expansion of z in y
0.460 * [taylor]: Taking taylor expansion of y in y
0.460 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.460 * [taylor]: Taking taylor expansion of -1 in y
0.460 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.460 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.460 * [taylor]: Taking taylor expansion of z in y
0.461 * [taylor]: Taking taylor expansion of y in y
0.461 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z
0.461 * [taylor]: Taking taylor expansion of -1 in z
0.461 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.461 * [taylor]: Taking taylor expansion of z in z
0.462 * [taylor]: Taking taylor expansion of 0 in z
0.465 * [taylor]: Taking taylor expansion of 0 in z
0.467 * [taylor]: Taking taylor expansion of 0 in z
0.470 * [taylor]: Taking taylor expansion of 0 in z
0.470 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
0.470 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0
0.470 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.470 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.470 * [taylor]: Taking taylor expansion of z in z
0.470 * [taylor]: Taking taylor expansion of y in z
0.470 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.470 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.470 * [taylor]: Taking taylor expansion of z in y
0.471 * [taylor]: Taking taylor expansion of y in y
0.471 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.471 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.471 * [taylor]: Taking taylor expansion of z in y
0.471 * [taylor]: Taking taylor expansion of y in y
0.471 * [taylor]: Taking taylor expansion of 0 in z
0.471 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.471 * [taylor]: Taking taylor expansion of z in z
0.472 * [taylor]: Taking taylor expansion of 0 in z
0.473 * [taylor]: Taking taylor expansion of 0 in z
0.474 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0
0.474 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
0.474 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.474 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.474 * [taylor]: Taking taylor expansion of z in z
0.474 * [taylor]: Taking taylor expansion of y in z
0.474 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
0.474 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.474 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.474 * [taylor]: Taking taylor expansion of z in y
0.474 * [taylor]: Taking taylor expansion of y in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
0.475 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.475 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.475 * [taylor]: Taking taylor expansion of z in y
0.475 * [taylor]: Taking taylor expansion of y in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.475 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.475 * [taylor]: Taking taylor expansion of z in z
0.477 * [taylor]: Taking taylor expansion of 0 in z
0.478 * [taylor]: Taking taylor expansion of 0 in z
0.481 * [taylor]: Taking taylor expansion of 0 in z
0.484 * [taylor]: Taking taylor expansion of 0 in z
0.484 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0
0.484 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z
0.484 * [taylor]: Taking taylor expansion of -1 in z
0.484 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.484 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.484 * [taylor]: Taking taylor expansion of z in z
0.484 * [taylor]: Taking taylor expansion of y in z
0.485 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.485 * [taylor]: Taking taylor expansion of -1 in y
0.485 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.485 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.485 * [taylor]: Taking taylor expansion of z in y
0.485 * [taylor]: Taking taylor expansion of y in y
0.485 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
0.485 * [taylor]: Taking taylor expansion of -1 in y
0.485 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.485 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.485 * [taylor]: Taking taylor expansion of z in y
0.485 * [taylor]: Taking taylor expansion of y in y
0.486 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z
0.486 * [taylor]: Taking taylor expansion of -1 in z
0.486 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.486 * [taylor]: Taking taylor expansion of z in z
0.487 * [taylor]: Taking taylor expansion of 0 in z
0.489 * [taylor]: Taking taylor expansion of 0 in z
0.492 * [taylor]: Taking taylor expansion of 0 in z
0.497 * [taylor]: Taking taylor expansion of 0 in z
0.497 * * * [progress]: simplifying candidates
0.498 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (* (* y z) z)))
  (exp (sqrt (* (* y z) z)))
  (* (cbrt (sqrt (* (* y z) z))) (cbrt (sqrt (* (* y z) z))))
  (cbrt (sqrt (* (* y z) z)))
  (* (* (sqrt (* (* y z) z)) (sqrt (* (* y z) z))) (sqrt (* (* y z) z)))
  (sqrt (* y z))
  (sqrt z)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* y z) z)))
  (sqrt (sqrt (* (* y z) z)))
  (log (sqrt (* (* y z) z)))
  (exp (sqrt (* (* y z) z)))
  (* (cbrt (sqrt (* (* y z) z))) (cbrt (sqrt (* (* y z) z))))
  (cbrt (sqrt (* (* y z) z)))
  (* (* (sqrt (* (* y z) z)) (sqrt (* (* y z) z))) (sqrt (* (* y z) z)))
  (sqrt (* y z))
  (sqrt z)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* y z) z)))
  (sqrt (sqrt (* (* y z) z)))
  (* (* y z) z)
  (* (* y z) z)
  (+ (+ (log y) (log z)) (log z))
  (+ (log (* y z)) (log z))
  (log (* (* y z) z))
  (exp (* (* y z) z))
  (* (* (* (* y y) y) (* (* z z) z)) (* (* z z) z))
  (* (* (* (* y z) (* y z)) (* y z)) (* (* z z) z))
  (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))
  (cbrt (* (* y z) z))
  (* (* (* (* y z) z) (* (* y z) z)) (* (* y z) z))
  (sqrt (* (* y z) z))
  (sqrt (* (* y z) z))
  (* (* y z) (* (cbrt z) (cbrt z)))
  (* (* y z) (sqrt z))
  (* (* y z) 1)
  (* z z)
  (* (* y z) z)
  (* (* y z) z)
  (+ (+ (log y) (log z)) (log z))
  (+ (log (* y z)) (log z))
  (log (* (* y z) z))
  (exp (* (* y z) z))
  (* (* (* (* y y) y) (* (* z z) z)) (* (* z z) z))
  (* (* (* (* y z) (* y z)) (* y z)) (* (* z z) z))
  (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))
  (cbrt (* (* y z) z))
  (* (* (* (* y z) z) (* (* y z) z)) (* (* y z) z))
  (sqrt (* (* y z) z))
  (sqrt (* (* y z) z))
  (* (* y z) (* (cbrt z) (cbrt z)))
  (* (* y z) (sqrt z))
  (* (* y z) 1)
  (* z z)
  (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (* z (pow y 3))) (- (* +nan.0 (* z (pow y 2))))))))
  (- (+ (* +nan.0 (/ z (pow y 2))) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y)))))))
  0
  (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (* z (pow y 3))) (- (* +nan.0 (* z (pow y 2))))))))
  (- (+ (* +nan.0 (/ z (pow y 2))) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y)))))))
  0
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* (pow z 2) y)
0.502 * * [simplify]: iteration  0 :  176  enodes  (cost  266 )
0.506 * * [simplify]: iteration  1 :  786  enodes  (cost  220 )
0.524 * * [simplify]: iteration  2 :  4217  enodes  (cost  214 )
0.621 * * [simplify]: iteration  3 :  5002  enodes  (cost  214 )
0.622 * [simplify]: Simplified to:
   (log (sqrt (* (* y z) z)))
  (exp (sqrt (* (* y z) z)))
  (* (cbrt (sqrt (* (* y z) z))) (cbrt (sqrt (* (* y z) z))))
  (cbrt (sqrt (* (* y z) z)))
  (pow (sqrt (* (* y z) z)) 3)
  (sqrt (* y z))
  (sqrt z)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* y z) z)))
  (sqrt (sqrt (* (* y z) z)))
  (log (sqrt (* (* y z) z)))
  (exp (sqrt (* (* y z) z)))
  (* (cbrt (sqrt (* (* y z) z))) (cbrt (sqrt (* (* y z) z))))
  (cbrt (sqrt (* (* y z) z)))
  (pow (sqrt (* (* y z) z)) 3)
  (sqrt (* y z))
  (sqrt z)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* y z) z)))
  (sqrt (sqrt (* (* y z) z)))
  (* (* y z) z)
  (* (* y z) z)
  (log (* (* y z) z))
  (log (* (* y z) z))
  (log (* (* y z) z))
  (exp (* (* y z) z))
  (pow (* (* y z) z) 3)
  (pow (* (* y z) z) 3)
  (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))
  (cbrt (* (* y z) z))
  (pow (* (* y z) z) 3)
  (sqrt (* (* y z) z))
  (sqrt (* (* y z) z))
  (* (* y z) (* (cbrt z) (cbrt z)))
  (* (* y z) (sqrt z))
  (* y z)
  (pow z 2)
  (* (* y z) z)
  (* (* y z) z)
  (log (* (* y z) z))
  (log (* (* y z) z))
  (log (* (* y z) z))
  (exp (* (* y z) z))
  (pow (* (* y z) z) 3)
  (pow (* (* y z) z) 3)
  (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z)))
  (cbrt (* (* y z) z))
  (pow (* (* y z) z) 3)
  (sqrt (* (* y z) z))
  (sqrt (* (* y z) z))
  (* (* y z) (* (cbrt z) (cbrt z)))
  (* (* y z) (sqrt z))
  (* y z)
  (pow z 2)
  (* (* +nan.0 z) (+ (- y) (- (pow y 3) (pow y 2))))
  (* +nan.0 (+ (- (/ z (pow y 2))) (- z (/ z y))))
  0
  (* (* +nan.0 z) (+ (- y) (- (pow y 3) (pow y 2))))
  (* +nan.0 (+ (- (/ z (pow y 2))) (- z (/ z y))))
  0
  (* (* y z) z)
  (* (* y z) z)
  (* (* y z) z)
  (* (* y z) z)
  (* (* y z) z)
  (* (* y z) z)
0.623 * * * [progress]: adding candidates to table
0.728 * * [progress]: iteration 4 / 4
0.728 * * * [progress]: picking best candidate
0.730 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* y (pow z 3/2)) (sqrt z))))>
0.730 * * * [progress]: localizing error
0.740 * * * [progress]: generating rewritten candidates
0.740 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
0.747 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.754 * * * [progress]: generating series expansions
0.754 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
0.755 * [approximate]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in (y z) around 0
0.755 * [taylor]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in z
0.755 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in z
0.755 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.755 * [taylor]: Taking taylor expansion of z in z
0.757 * [taylor]: Taking taylor expansion of y in z
0.757 * [taylor]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in y
0.757 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in y
0.757 * [taylor]: Taking taylor expansion of (pow z 3) in y
0.757 * [taylor]: Taking taylor expansion of z in y
0.757 * [taylor]: Taking taylor expansion of y in y
0.757 * [taylor]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in y
0.757 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in y
0.757 * [taylor]: Taking taylor expansion of (pow z 3) in y
0.757 * [taylor]: Taking taylor expansion of z in y
0.757 * [taylor]: Taking taylor expansion of y in y
0.758 * [taylor]: Taking taylor expansion of 0 in z
0.758 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in z
0.758 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.758 * [taylor]: Taking taylor expansion of z in z
0.761 * [taylor]: Taking taylor expansion of 0 in z
0.763 * [taylor]: Taking taylor expansion of 0 in z
0.768 * [taylor]: Taking taylor expansion of 0 in z
0.772 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in (y z) around 0
0.772 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in z
0.772 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in z
0.772 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
0.772 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.772 * [taylor]: Taking taylor expansion of z in z
0.773 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.773 * [taylor]: Taking taylor expansion of y in z
0.773 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in y
0.773 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in y
0.773 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
0.773 * [taylor]: Taking taylor expansion of (pow z 3) in y
0.773 * [taylor]: Taking taylor expansion of z in y
0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.774 * [taylor]: Taking taylor expansion of y in y
0.774 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in y
0.774 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in y
0.774 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y
0.774 * [taylor]: Taking taylor expansion of (pow z 3) in y
0.774 * [taylor]: Taking taylor expansion of z in y
0.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.775 * [taylor]: Taking taylor expansion of y in y
0.775 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in z
0.775 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z
0.775 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.775 * [taylor]: Taking taylor expansion of z in z
0.778 * [taylor]: Taking taylor expansion of 0 in z
0.780 * [taylor]: Taking taylor expansion of 0 in z
0.786 * [taylor]: Taking taylor expansion of 0 in z
0.789 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in (y z) around 0
0.789 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in z
0.789 * [taylor]: Taking taylor expansion of -1 in z
0.789 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y)) in z
0.790 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in z
0.790 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in z
0.790 * [taylor]: Taking taylor expansion of (pow -1 3) in z
0.790 * [taylor]: Taking taylor expansion of -1 in z
0.790 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.790 * [taylor]: Taking taylor expansion of z in z
0.792 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.792 * [taylor]: Taking taylor expansion of y in z
0.792 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in y
0.792 * [taylor]: Taking taylor expansion of -1 in y
0.792 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y)) in y
0.792 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in y
0.792 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y
0.792 * [taylor]: Taking taylor expansion of (pow -1 3) in y
0.792 * [taylor]: Taking taylor expansion of -1 in y
0.792 * [taylor]: Taking taylor expansion of (pow z 3) in y
0.792 * [taylor]: Taking taylor expansion of z in y
0.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.794 * [taylor]: Taking taylor expansion of y in y
0.794 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in y
0.794 * [taylor]: Taking taylor expansion of -1 in y
0.794 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y)) in y
0.794 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in y
0.794 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y
0.794 * [taylor]: Taking taylor expansion of (pow -1 3) in y
0.794 * [taylor]: Taking taylor expansion of -1 in y
0.794 * [taylor]: Taking taylor expansion of (pow z 3) in y
0.794 * [taylor]: Taking taylor expansion of z in y
0.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.796 * [taylor]: Taking taylor expansion of y in y
0.796 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 (pow z 3)))) in z
0.796 * [taylor]: Taking taylor expansion of -1 in z
0.796 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (pow z 3))) in z
0.796 * [taylor]: Taking taylor expansion of (/ -1 (pow z 3)) in z
0.797 * [taylor]: Taking taylor expansion of -1 in z
0.797 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.797 * [taylor]: Taking taylor expansion of z in z
0.800 * [taylor]: Taking taylor expansion of 0 in z
0.804 * [taylor]: Taking taylor expansion of 0 in z
0.813 * [taylor]: Taking taylor expansion of 0 in z
0.819 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.819 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0
0.819 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.819 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.819 * [taylor]: Taking taylor expansion of z in z
0.819 * [taylor]: Taking taylor expansion of y in z
0.819 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.819 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.819 * [taylor]: Taking taylor expansion of z in y
0.819 * [taylor]: Taking taylor expansion of y in y
0.819 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.819 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.819 * [taylor]: Taking taylor expansion of z in y
0.819 * [taylor]: Taking taylor expansion of y in y
0.819 * [taylor]: Taking taylor expansion of 0 in z
0.820 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.820 * [taylor]: Taking taylor expansion of z in z
0.821 * [taylor]: Taking taylor expansion of 0 in z
0.822 * [taylor]: Taking taylor expansion of 0 in z
0.823 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0
0.823 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
0.823 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
0.823 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.823 * [taylor]: Taking taylor expansion of z in z
0.823 * [taylor]: Taking taylor expansion of y in z
0.823 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
0.823 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.823 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.823 * [taylor]: Taking taylor expansion of z in y
0.823 * [taylor]: Taking taylor expansion of y in y
0.823 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
0.823 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.823 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.823 * [taylor]: Taking taylor expansion of z in y
0.824 * [taylor]: Taking taylor expansion of y in y
0.824 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.824 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.824 * [taylor]: Taking taylor expansion of z in z
0.825 * [taylor]: Taking taylor expansion of 0 in z
0.830 * [taylor]: Taking taylor expansion of 0 in z
0.833 * [taylor]: Taking taylor expansion of 0 in z
0.835 * [taylor]: Taking taylor expansion of 0 in z
0.836 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in (y z) around 0
0.836 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in z
0.836 * [taylor]: Taking taylor expansion of -1 in z
0.836 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y) in z
0.836 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) in z
0.836 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.836 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.836 * [taylor]: Taking taylor expansion of -1 in z
0.836 * [taylor]: Taking taylor expansion of z in z
0.837 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in z
0.837 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in z
0.837 * [taylor]: Taking taylor expansion of (pow -1 3) in z
0.837 * [taylor]: Taking taylor expansion of -1 in z
0.837 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.837 * [taylor]: Taking taylor expansion of z in z
0.839 * [taylor]: Taking taylor expansion of y in z
0.847 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in y
0.847 * [taylor]: Taking taylor expansion of -1 in y
0.847 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y) in y
0.847 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) in y
0.847 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.847 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.847 * [taylor]: Taking taylor expansion of -1 in y
0.847 * [taylor]: Taking taylor expansion of z in y
0.847 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in y
0.847 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y
0.847 * [taylor]: Taking taylor expansion of (pow -1 3) in y
0.848 * [taylor]: Taking taylor expansion of -1 in y
0.848 * [taylor]: Taking taylor expansion of (pow z 3) in y
0.848 * [taylor]: Taking taylor expansion of z in y
0.849 * [taylor]: Taking taylor expansion of y in y
0.850 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in y
0.850 * [taylor]: Taking taylor expansion of -1 in y
0.850 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y) in y
0.850 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) in y
0.850 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.850 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.850 * [taylor]: Taking taylor expansion of -1 in y
0.850 * [taylor]: Taking taylor expansion of z in y
0.850 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in y
0.850 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y
0.850 * [taylor]: Taking taylor expansion of (pow -1 3) in y
0.850 * [taylor]: Taking taylor expansion of -1 in y
0.850 * [taylor]: Taking taylor expansion of (pow z 3) in y
0.850 * [taylor]: Taking taylor expansion of z in y
0.852 * [taylor]: Taking taylor expansion of y in y
0.852 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ -1 z)) (sqrt (/ -1 (pow z 3))))) in z
0.852 * [taylor]: Taking taylor expansion of -1 in z
0.852 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (sqrt (/ -1 (pow z 3)))) in z
0.852 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.852 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.852 * [taylor]: Taking taylor expansion of -1 in z
0.852 * [taylor]: Taking taylor expansion of z in z
0.853 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (pow z 3))) in z
0.853 * [taylor]: Taking taylor expansion of (/ -1 (pow z 3)) in z
0.853 * [taylor]: Taking taylor expansion of -1 in z
0.853 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.853 * [taylor]: Taking taylor expansion of z in z
0.864 * [taylor]: Taking taylor expansion of 0 in z
0.879 * [taylor]: Taking taylor expansion of 0 in z
0.892 * * * [progress]: simplifying candidates
0.893 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (log y) (* (log z) 3/2))
  (+ (log y) (* (log z) 3/2))
  (+ (log y) (log (pow z 3/2)))
  (log (* y (pow z 3/2)))
  (exp (* y (pow z 3/2)))
  (* (* (* y y) y) (* (* (pow z 3/2) (pow z 3/2)) (pow z 3/2)))
  (* (cbrt (* y (pow z 3/2))) (cbrt (* y (pow z 3/2))))
  (cbrt (* y (pow z 3/2)))
  (* (* (* y (pow z 3/2)) (* y (pow z 3/2))) (* y (pow z 3/2)))
  (sqrt (* y (pow z 3/2)))
  (sqrt (* y (pow z 3/2)))
  (* (sqrt y) (pow (sqrt z) 3/2))
  (* (sqrt y) (pow (sqrt z) 3/2))
  (* (sqrt y) (sqrt (pow z 3/2)))
  (* (sqrt y) (sqrt (pow z 3/2)))
  (* (sqrt y) (pow z (/ 3/2 2)))
  (* (sqrt y) (pow z (/ 3/2 2)))
  (* y (pow (* (cbrt z) (cbrt z)) 3/2))
  (* y (pow (sqrt z) 3/2))
  (* y (pow 1 3/2))
  (* y (* (cbrt (pow z 3/2)) (cbrt (pow z 3/2))))
  (* y (sqrt (pow z 3/2)))
  (* y 1)
  (* y (pow z (/ 3/2 2)))
  (* (cbrt y) (pow z 3/2))
  (* (sqrt y) (pow z 3/2))
  (* y (pow z 3/2))
  (* (* y (pow z 3/2)) (sqrt z))
  (+ (+ (log y) (* (log z) 3/2)) (log (sqrt z)))
  (+ (+ (log y) (* (log z) 3/2)) (log (sqrt z)))
  (+ (+ (log y) (log (pow z 3/2))) (log (sqrt z)))
  (+ (log (* y (pow z 3/2))) (log (sqrt z)))
  (log (* (* y (pow z 3/2)) (sqrt z)))
  (exp (* (* y (pow z 3/2)) (sqrt z)))
  (* (* (* (* y y) y) (* (* (pow z 3/2) (pow z 3/2)) (pow z 3/2))) (* (* (sqrt z) (sqrt z)) (sqrt z)))
  (* (* (* (* y (pow z 3/2)) (* y (pow z 3/2))) (* y (pow z 3/2))) (* (* (sqrt z) (sqrt z)) (sqrt z)))
  (* (cbrt (* (* y (pow z 3/2)) (sqrt z))) (cbrt (* (* y (pow z 3/2)) (sqrt z))))
  (cbrt (* (* y (pow z 3/2)) (sqrt z)))
  (* (* (* (* y (pow z 3/2)) (sqrt z)) (* (* y (pow z 3/2)) (sqrt z))) (* (* y (pow z 3/2)) (sqrt z)))
  (sqrt (* (* y (pow z 3/2)) (sqrt z)))
  (sqrt (* (* y (pow z 3/2)) (sqrt z)))
  (* (* y (pow z 3/2)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (* (* y (pow z 3/2)) (sqrt (* (cbrt z) (cbrt z))))
  (* (* y (pow z 3/2)) (sqrt (sqrt z)))
  (* (* y (pow z 3/2)) (sqrt 1))
  (* (* y (pow z 3/2)) (sqrt (sqrt z)))
  (* (* y (pow z 3/2)) 1)
  (* (pow z 3/2) (sqrt z))
  (- (+ (* +nan.0 (* (pow z 4) y)) (- (+ (* +nan.0 (* (pow z 2) y)) (- (* +nan.0 (* (pow z 3) y)))))))
  (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y))))))
  (* (pow z 2) y)
  (* (pow z 2) y)
  (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y))))))
0.897 * * [simplify]: iteration  0 :  259  enodes  (cost  265 )
0.903 * * [simplify]: iteration  1 :  1280  enodes  (cost  227 )
0.930 * * [simplify]: iteration  2 :  5001  enodes  (cost  223 )
0.932 * [simplify]: Simplified to:
   (log (* y (pow z 3/2)))
  (log (* y (pow z 3/2)))
  (log (* y (pow z 3/2)))
  (log (* y (pow z 3/2)))
  (exp (* y (pow z 3/2)))
  (pow (* y (pow z 3/2)) 3)
  (* (cbrt (* y (pow z 3/2))) (cbrt (* y (pow z 3/2))))
  (cbrt (* y (pow z 3/2)))
  (pow (* y (pow z 3/2)) 3)
  (sqrt (* y (pow z 3/2)))
  (sqrt (* y (pow z 3/2)))
  (* (sqrt y) (pow (sqrt z) 3/2))
  (* (sqrt y) (pow (sqrt z) 3/2))
  (* (sqrt y) (sqrt (pow z 3/2)))
  (* (sqrt y) (sqrt (pow z 3/2)))
  (* (sqrt y) (pow z 3/4))
  (* (sqrt y) (pow z 3/4))
  (* y (pow (* (cbrt z) (cbrt z)) 3/2))
  (* y (pow (sqrt z) 3/2))
  y
  (* y (* (cbrt (pow z 3/2)) (cbrt (pow z 3/2))))
  (* y (sqrt (pow z 3/2)))
  y
  (* y (pow z 3/4))
  (* (cbrt y) (pow z 3/2))
  (* (sqrt y) (pow z 3/2))
  (* y (pow z 3/2))
  (* (* y (pow z 3/2)) (sqrt z))
  (log (* (* y (pow z 3/2)) (sqrt z)))
  (log (* (* y (pow z 3/2)) (sqrt z)))
  (log (* (* y (pow z 3/2)) (sqrt z)))
  (log (* (* y (pow z 3/2)) (sqrt z)))
  (log (* (* y (pow z 3/2)) (sqrt z)))
  (exp (* (* y (pow z 3/2)) (sqrt z)))
  (pow (* (* y (pow z 3/2)) (sqrt z)) 3)
  (pow (* (* y (pow z 3/2)) (sqrt z)) 3)
  (* (cbrt (* (* y (pow z 3/2)) (sqrt z))) (cbrt (* (* y (pow z 3/2)) (sqrt z))))
  (cbrt (* (* y (pow z 3/2)) (sqrt z)))
  (pow (* (* y (pow z 3/2)) (sqrt z)) 3)
  (sqrt (* (* y (pow z 3/2)) (sqrt z)))
  (sqrt (* (* y (pow z 3/2)) (sqrt z)))
  (* (* y (pow z 3/2)) (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (* y (* (pow z 3/2) (fabs (cbrt z))))
  (* (* y (pow z 3/2)) (sqrt (sqrt z)))
  (* y (pow z 3/2))
  (* (* y (pow z 3/2)) (sqrt (sqrt z)))
  (* y (pow z 3/2))
  (* (pow z 3/2) (sqrt z))
  (* +nan.0 (+ (- (* (pow z 4) y)) (- (* (pow z 2) y) (* (pow z 3) y))))
  (* +nan.0 (+ (- (* z y)) (- (/ y z) y)))
  (* +nan.0 (+ (- (* z y)) (- (/ y z) y)))
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* +nan.0 (+ (- (* z y)) (- (/ y z) y)))
0.932 * * * [progress]: adding candidates to table
1.015 * [progress]: [Phase 3 of 3] Extracting.
1.015 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (* (* y (pow z 3/2)) (sqrt z))))> #<alt (λ (x y z) (+ x (* y (pow z 2))))> #<alt (λ (x y z) (+ x (* (* y z) z)))> #<alt (λ (x y z) (+ x (* (sqrt (* (* y z) z)) (sqrt (* (* y z) z)))))>)
1.016 * * * [regime-changes]: Trying 5 branch expressions: ((* (* y z) z) (+ x (* (* y z) z)) z y x)
1.016 * * * * [regimes]: Trying to branch on (* (* y z) z) from (#<alt (λ (x y z) (+ x (* (* y (pow z 3/2)) (sqrt z))))> #<alt (λ (x y z) (+ x (* y (pow z 2))))> #<alt (λ (x y z) (+ x (* (* y z) z)))> #<alt (λ (x y z) (+ x (* (sqrt (* (* y z) z)) (sqrt (* (* y z) z)))))>)
1.031 * * * * [regimes]: Trying to branch on (+ x (* (* y z) z)) from (#<alt (λ (x y z) (+ x (* (* y (pow z 3/2)) (sqrt z))))> #<alt (λ (x y z) (+ x (* y (pow z 2))))> #<alt (λ (x y z) (+ x (* (* y z) z)))> #<alt (λ (x y z) (+ x (* (sqrt (* (* y z) z)) (sqrt (* (* y z) z)))))>)
1.050 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (* (* y (pow z 3/2)) (sqrt z))))> #<alt (λ (x y z) (+ x (* y (pow z 2))))> #<alt (λ (x y z) (+ x (* (* y z) z)))> #<alt (λ (x y z) (+ x (* (sqrt (* (* y z) z)) (sqrt (* (* y z) z)))))>)
1.066 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (* (* y (pow z 3/2)) (sqrt z))))> #<alt (λ (x y z) (+ x (* y (pow z 2))))> #<alt (λ (x y z) (+ x (* (* y z) z)))> #<alt (λ (x y z) (+ x (* (sqrt (* (* y z) z)) (sqrt (* (* y z) z)))))>)
1.084 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (* (* y (pow z 3/2)) (sqrt z))))> #<alt (λ (x y z) (+ x (* y (pow z 2))))> #<alt (λ (x y z) (+ x (* (* y z) z)))> #<alt (λ (x y z) (+ x (* (sqrt (* (* y z) z)) (sqrt (* (* y z) z)))))>)
1.100 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.100 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (* (* y z) z))
1.101 * * [simplify]: iteration  0 :  9  enodes  (cost  3 )
1.101 * * [simplify]: iteration  1 :  9  enodes  (cost  3 )
1.101 * [simplify]: Simplified to:
   (+ x (* (* y z) z))
1.707 * [regime-testing]: Baseline error score: 0.08620889642464323
1.707 * [regime-testing]: Oracle error score: 0.030201895549533838
1.708 * [regime-testing]: End program error score: 0.08620889642464323