13.129 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ 1.0 2.0) (+ x (* y (sqrt z))))
0.032 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
0.033 * * [simplify]: iteration  1 :  21  enodes  (cost  10 )
0.036 * * [simplify]: iteration  2 :  49  enodes  (cost  9 )
0.042 * * [simplify]: iteration  3 :  79  enodes  (cost  9 )
0.051 * * [simplify]: iteration  4 :  107  enodes  (cost  9 )
0.063 * * [simplify]: iteration  5 :  128  enodes  (cost  9 )
0.079 * * [simplify]: iteration  6 :  144  enodes  (cost  9 )
0.095 * * [simplify]: iteration  7 :  150  enodes  (cost  9 )
0.111 * * [simplify]: iteration  8 :  152  enodes  (cost  9 )
0.129 * * [simplify]: iteration  done :  152  enodes  (cost  9 )
0.129 * [simplify]: Simplified to:
   (* (/ 1.0 2.0) (fma (sqrt z) y x))
0.132 * * [progress]: iteration 1 / 4
0.132 * * * [progress]: picking best candidate
0.133 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))>
0.133 * * * [progress]: localizing error
0.140 * * * [progress]: generating rewritten candidates
0.140 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2)
0.145 * * * [progress]: generating series expansions
0.145 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2)
0.146 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0
0.146 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z
0.146 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.146 * [taylor]: Taking taylor expansion of z in z
0.147 * [taylor]: Taking taylor expansion of y in z
0.147 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y
0.147 * [taylor]: Taking taylor expansion of (sqrt z) in y
0.147 * [taylor]: Taking taylor expansion of z in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y
0.147 * [taylor]: Taking taylor expansion of (sqrt z) in y
0.147 * [taylor]: Taking taylor expansion of z in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of 0 in z
0.148 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.148 * [taylor]: Taking taylor expansion of z in z
0.150 * [taylor]: Taking taylor expansion of 0 in z
0.151 * [taylor]: Taking taylor expansion of 0 in z
0.153 * [taylor]: Taking taylor expansion of 0 in z
0.156 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0
0.156 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z
0.156 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.156 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.156 * [taylor]: Taking taylor expansion of z in z
0.157 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.157 * [taylor]: Taking taylor expansion of y in z
0.157 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y
0.157 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
0.158 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.158 * [taylor]: Taking taylor expansion of z in y
0.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.158 * [taylor]: Taking taylor expansion of y in y
0.158 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y
0.158 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
0.158 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.158 * [taylor]: Taking taylor expansion of z in y
0.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.158 * [taylor]: Taking taylor expansion of y in y
0.159 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.159 * [taylor]: Taking taylor expansion of z in z
0.161 * [taylor]: Taking taylor expansion of 0 in z
0.162 * [taylor]: Taking taylor expansion of 0 in z
0.166 * [taylor]: Taking taylor expansion of 0 in z
0.169 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0
0.169 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z
0.169 * [taylor]: Taking taylor expansion of -1 in z
0.169 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z
0.169 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.169 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.169 * [taylor]: Taking taylor expansion of -1 in z
0.169 * [taylor]: Taking taylor expansion of z in z
0.170 * [taylor]: Taking taylor expansion of y in z
0.171 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y
0.171 * [taylor]: Taking taylor expansion of -1 in y
0.171 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y
0.171 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.171 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.171 * [taylor]: Taking taylor expansion of -1 in y
0.171 * [taylor]: Taking taylor expansion of z in y
0.171 * [taylor]: Taking taylor expansion of y in y
0.171 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y
0.171 * [taylor]: Taking taylor expansion of -1 in y
0.171 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y
0.171 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
0.171 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.171 * [taylor]: Taking taylor expansion of -1 in y
0.171 * [taylor]: Taking taylor expansion of z in y
0.171 * [taylor]: Taking taylor expansion of y in y
0.171 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z
0.171 * [taylor]: Taking taylor expansion of -1 in z
0.171 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
0.171 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.171 * [taylor]: Taking taylor expansion of -1 in z
0.171 * [taylor]: Taking taylor expansion of z in z
0.174 * [taylor]: Taking taylor expansion of 0 in z
0.183 * [taylor]: Taking taylor expansion of 0 in z
0.188 * * * [progress]: simplifying candidates
0.188 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* y (sqrt z)))
  (log1p (* y (sqrt z)))
  (* y (sqrt z))
  (+ (log y) (log (sqrt z)))
  (log (* y (sqrt z)))
  (exp (* y (sqrt z)))
  (* (* (* y y) y) (* (* (sqrt z) (sqrt z)) (sqrt z)))
  (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z))))
  (cbrt (* y (sqrt z)))
  (* (* (* y (sqrt z)) (* y (sqrt z))) (* y (sqrt z)))
  (sqrt (* y (sqrt z)))
  (sqrt (* y (sqrt z)))
  (* (sqrt y) (sqrt (sqrt z)))
  (* (sqrt y) (sqrt (sqrt z)))
  (* (sqrt y) (sqrt (sqrt z)))
  (* (sqrt y) (sqrt (sqrt z)))
  (* y (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (* y (sqrt (* (cbrt z) (cbrt z))))
  (* y (sqrt (sqrt z)))
  (* y (sqrt 1))
  (* y (sqrt (sqrt z)))
  (* y 1)
  (* (cbrt y) (sqrt z))
  (* (sqrt y) (sqrt z))
  (* y (sqrt z))
  (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y)))))))
  (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2))))))))
  (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2))))))))
0.190 * * [simplify]: iteration  0 :  65  enodes  (cost  220 )
0.203 * * [simplify]: iteration  1 :  155  enodes  (cost  197 )
0.226 * * [simplify]: iteration  2 :  382  enodes  (cost  183 )
0.399 * * [simplify]: iteration  3 :  1152  enodes  (cost  175 )
1.199 * * [simplify]: iteration  4 :  3793  enodes  (cost  170 )
3.207 * * [simplify]: iteration  done :  5000  enodes  (cost  170 )
3.207 * [simplify]: Simplified to:
   (expm1 (* y (sqrt z)))
  (log1p (* y (sqrt z)))
  (* y (sqrt z))
  (log (* y (sqrt z)))
  (log (* y (sqrt z)))
  (exp (* y (sqrt z)))
  (pow (* y (sqrt z)) 3)
  (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z))))
  (cbrt (* y (sqrt z)))
  (pow (* y (sqrt z)) 3)
  (sqrt (* y (sqrt z)))
  (sqrt (* y (sqrt z)))
  (* (sqrt y) (sqrt (sqrt z)))
  (* (sqrt y) (sqrt (sqrt z)))
  (* (sqrt y) (sqrt (sqrt z)))
  (* (sqrt y) (sqrt (sqrt z)))
  (* y (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (* (fabs (cbrt z)) y)
  (* y (sqrt (sqrt z)))
  y
  (* y (sqrt (sqrt z)))
  y
  (* (cbrt y) (sqrt z))
  (* (sqrt y) (sqrt z))
  (* y (sqrt z))
  (- (* (* +nan.0 y) (- (fma z z (pow z 3)) z)))
  (* (- (- y (/ y (pow z 2))) (/ y z)) +nan.0)
  (* (- (- y (/ y (pow z 2))) (/ y z)) +nan.0)
3.208 * * * [progress]: adding candidates to table
3.258 * * [progress]: iteration 2 / 4
3.258 * * * [progress]: picking best candidate
3.268 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))))>
3.268 * * * [progress]: localizing error
3.277 * * * [progress]: generating rewritten candidates
3.277 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
3.294 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
3.301 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
3.305 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
3.308 * * * [progress]: generating series expansions
3.308 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
3.309 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0
3.309 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z
3.309 * [taylor]: Taking taylor expansion of (sqrt z) in z
3.309 * [taylor]: Taking taylor expansion of z in z
3.310 * [taylor]: Taking taylor expansion of y in z
3.310 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y
3.310 * [taylor]: Taking taylor expansion of (sqrt z) in y
3.310 * [taylor]: Taking taylor expansion of z in y
3.310 * [taylor]: Taking taylor expansion of y in y
3.310 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y
3.310 * [taylor]: Taking taylor expansion of (sqrt z) in y
3.310 * [taylor]: Taking taylor expansion of z in y
3.310 * [taylor]: Taking taylor expansion of y in y
3.310 * [taylor]: Taking taylor expansion of 0 in z
3.311 * [taylor]: Taking taylor expansion of (sqrt z) in z
3.311 * [taylor]: Taking taylor expansion of z in z
3.313 * [taylor]: Taking taylor expansion of 0 in z
3.314 * [taylor]: Taking taylor expansion of 0 in z
3.316 * [taylor]: Taking taylor expansion of 0 in z
3.319 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0
3.319 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z
3.319 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
3.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.319 * [taylor]: Taking taylor expansion of z in z
3.321 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.321 * [taylor]: Taking taylor expansion of y in z
3.321 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y
3.321 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
3.321 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.321 * [taylor]: Taking taylor expansion of z in y
3.321 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.321 * [taylor]: Taking taylor expansion of y in y
3.321 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y
3.321 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
3.321 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.321 * [taylor]: Taking taylor expansion of z in y
3.321 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.321 * [taylor]: Taking taylor expansion of y in y
3.322 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
3.322 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.322 * [taylor]: Taking taylor expansion of z in z
3.324 * [taylor]: Taking taylor expansion of 0 in z
3.325 * [taylor]: Taking taylor expansion of 0 in z
3.329 * [taylor]: Taking taylor expansion of 0 in z
3.332 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0
3.332 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z
3.332 * [taylor]: Taking taylor expansion of -1 in z
3.332 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z
3.332 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
3.332 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.332 * [taylor]: Taking taylor expansion of -1 in z
3.332 * [taylor]: Taking taylor expansion of z in z
3.334 * [taylor]: Taking taylor expansion of y in z
3.334 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y
3.334 * [taylor]: Taking taylor expansion of -1 in y
3.334 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y
3.334 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
3.334 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.334 * [taylor]: Taking taylor expansion of -1 in y
3.334 * [taylor]: Taking taylor expansion of z in y
3.334 * [taylor]: Taking taylor expansion of y in y
3.334 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y
3.334 * [taylor]: Taking taylor expansion of -1 in y
3.334 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y
3.334 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
3.334 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.334 * [taylor]: Taking taylor expansion of -1 in y
3.334 * [taylor]: Taking taylor expansion of z in y
3.334 * [taylor]: Taking taylor expansion of y in y
3.334 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z
3.334 * [taylor]: Taking taylor expansion of -1 in z
3.334 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
3.334 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.334 * [taylor]: Taking taylor expansion of -1 in z
3.334 * [taylor]: Taking taylor expansion of z in z
3.338 * [taylor]: Taking taylor expansion of 0 in z
3.343 * [taylor]: Taking taylor expansion of 0 in z
3.349 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
3.349 * [approximate]: Taking taylor expansion of (* (pow z 1/4) y) in (y z) around 0
3.349 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in z
3.349 * [taylor]: Taking taylor expansion of (pow z 1/4) in z
3.349 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z
3.349 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z
3.349 * [taylor]: Taking taylor expansion of 1/4 in z
3.349 * [taylor]: Taking taylor expansion of (log z) in z
3.349 * [taylor]: Taking taylor expansion of z in z
3.350 * [taylor]: Taking taylor expansion of y in z
3.350 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y
3.350 * [taylor]: Taking taylor expansion of (pow z 1/4) in y
3.350 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y
3.350 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y
3.350 * [taylor]: Taking taylor expansion of 1/4 in y
3.350 * [taylor]: Taking taylor expansion of (log z) in y
3.350 * [taylor]: Taking taylor expansion of z in y
3.350 * [taylor]: Taking taylor expansion of y in y
3.350 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y
3.350 * [taylor]: Taking taylor expansion of (pow z 1/4) in y
3.350 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y
3.350 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y
3.350 * [taylor]: Taking taylor expansion of 1/4 in y
3.350 * [taylor]: Taking taylor expansion of (log z) in y
3.350 * [taylor]: Taking taylor expansion of z in y
3.350 * [taylor]: Taking taylor expansion of y in y
3.350 * [taylor]: Taking taylor expansion of 0 in z
3.352 * [taylor]: Taking taylor expansion of (pow z 1/4) in z
3.352 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z
3.352 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z
3.352 * [taylor]: Taking taylor expansion of 1/4 in z
3.352 * [taylor]: Taking taylor expansion of (log z) in z
3.352 * [taylor]: Taking taylor expansion of z in z
3.355 * [taylor]: Taking taylor expansion of 0 in z
3.361 * [taylor]: Taking taylor expansion of 0 in z
3.361 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in (y z) around 0
3.361 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in z
3.361 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z
3.361 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z
3.361 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z
3.361 * [taylor]: Taking taylor expansion of 1/4 in z
3.361 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.361 * [taylor]: Taking taylor expansion of z in z
3.362 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.362 * [taylor]: Taking taylor expansion of y in z
3.362 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y
3.362 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y
3.362 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y
3.362 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y
3.362 * [taylor]: Taking taylor expansion of 1/4 in y
3.362 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
3.362 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.362 * [taylor]: Taking taylor expansion of z in y
3.362 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.362 * [taylor]: Taking taylor expansion of y in y
3.363 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y
3.363 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y
3.363 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y
3.363 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y
3.363 * [taylor]: Taking taylor expansion of 1/4 in y
3.363 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
3.363 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.363 * [taylor]: Taking taylor expansion of z in y
3.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.363 * [taylor]: Taking taylor expansion of y in y
3.363 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z
3.363 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z
3.363 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z
3.363 * [taylor]: Taking taylor expansion of 1/4 in z
3.363 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.363 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.363 * [taylor]: Taking taylor expansion of z in z
3.366 * [taylor]: Taking taylor expansion of 0 in z
3.372 * [taylor]: Taking taylor expansion of 0 in z
3.380 * [taylor]: Taking taylor expansion of 0 in z
3.380 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in (y z) around 0
3.380 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in z
3.380 * [taylor]: Taking taylor expansion of -1 in z
3.380 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in z
3.380 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z
3.380 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
3.380 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.380 * [taylor]: Taking taylor expansion of -1 in z
3.380 * [taylor]: Taking taylor expansion of z in z
3.389 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.389 * [taylor]: Taking taylor expansion of y in z
3.390 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y
3.390 * [taylor]: Taking taylor expansion of -1 in y
3.390 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y
3.390 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y
3.390 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
3.390 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.390 * [taylor]: Taking taylor expansion of -1 in y
3.390 * [taylor]: Taking taylor expansion of z in y
3.390 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.390 * [taylor]: Taking taylor expansion of y in y
3.390 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt (/ -1 z))) (/ 1 y))) in y
3.390 * [taylor]: Taking taylor expansion of -1 in y
3.390 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 z))) (/ 1 y)) in y
3.390 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y
3.390 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
3.390 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.390 * [taylor]: Taking taylor expansion of -1 in y
3.390 * [taylor]: Taking taylor expansion of z in y
3.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.391 * [taylor]: Taking taylor expansion of y in y
3.391 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 z)))) in z
3.391 * [taylor]: Taking taylor expansion of -1 in z
3.391 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z
3.391 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
3.391 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.391 * [taylor]: Taking taylor expansion of -1 in z
3.391 * [taylor]: Taking taylor expansion of z in z
3.398 * [taylor]: Taking taylor expansion of 0 in z
3.404 * [taylor]: Taking taylor expansion of 0 in z
3.428 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
3.428 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0
3.428 * [taylor]: Taking taylor expansion of (pow z 1/4) in z
3.428 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z
3.428 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z
3.428 * [taylor]: Taking taylor expansion of 1/4 in z
3.428 * [taylor]: Taking taylor expansion of (log z) in z
3.428 * [taylor]: Taking taylor expansion of z in z
3.429 * [taylor]: Taking taylor expansion of (pow z 1/4) in z
3.429 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z
3.429 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z
3.429 * [taylor]: Taking taylor expansion of 1/4 in z
3.429 * [taylor]: Taking taylor expansion of (log z) in z
3.429 * [taylor]: Taking taylor expansion of z in z
3.482 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0
3.482 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z
3.482 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z
3.482 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z
3.482 * [taylor]: Taking taylor expansion of 1/4 in z
3.482 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.482 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.482 * [taylor]: Taking taylor expansion of z in z
3.483 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z
3.483 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z
3.483 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z
3.483 * [taylor]: Taking taylor expansion of 1/4 in z
3.483 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.483 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.483 * [taylor]: Taking taylor expansion of z in z
3.534 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0
3.534 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z
3.534 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
3.534 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.534 * [taylor]: Taking taylor expansion of -1 in z
3.534 * [taylor]: Taking taylor expansion of z in z
3.544 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z
3.544 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
3.544 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.544 * [taylor]: Taking taylor expansion of -1 in z
3.544 * [taylor]: Taking taylor expansion of z in z
3.564 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
3.564 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0
3.564 * [taylor]: Taking taylor expansion of (pow z 1/4) in z
3.564 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z
3.564 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z
3.564 * [taylor]: Taking taylor expansion of 1/4 in z
3.564 * [taylor]: Taking taylor expansion of (log z) in z
3.564 * [taylor]: Taking taylor expansion of z in z
3.565 * [taylor]: Taking taylor expansion of (pow z 1/4) in z
3.565 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z
3.565 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z
3.565 * [taylor]: Taking taylor expansion of 1/4 in z
3.565 * [taylor]: Taking taylor expansion of (log z) in z
3.565 * [taylor]: Taking taylor expansion of z in z
3.613 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0
3.613 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z
3.613 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z
3.613 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z
3.613 * [taylor]: Taking taylor expansion of 1/4 in z
3.613 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.613 * [taylor]: Taking taylor expansion of z in z
3.619 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z
3.619 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z
3.619 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z
3.619 * [taylor]: Taking taylor expansion of 1/4 in z
3.619 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.619 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.619 * [taylor]: Taking taylor expansion of z in z
3.671 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0
3.671 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z
3.671 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
3.671 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.671 * [taylor]: Taking taylor expansion of -1 in z
3.671 * [taylor]: Taking taylor expansion of z in z
3.676 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z
3.676 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
3.676 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.676 * [taylor]: Taking taylor expansion of -1 in z
3.676 * [taylor]: Taking taylor expansion of z in z
3.702 * * * [progress]: simplifying candidates
3.704 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))
  (log1p (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))
  (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))
  (+ (+ (log y) (log (sqrt (sqrt z)))) (log (sqrt (sqrt z))))
  (+ (log (* y (sqrt (sqrt z)))) (log (sqrt (sqrt z))))
  (log (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))
  (exp (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))
  (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))))
  (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))))
  (* (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))))
  (cbrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))
  (* (* (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))
  (sqrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))
  (sqrt (* (* y (sqrt (sqrt z))) (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))))
  (* (* y (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))))
  (* (* y (sqrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z)))))
  (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt z))) (sqrt (sqrt 1)))
  (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt z))) (sqrt 1))
  (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt z))) 1)
  (* (sqrt (sqrt z)) (sqrt (sqrt z)))
  (expm1 (* y (sqrt (sqrt z))))
  (log1p (* y (sqrt (sqrt z))))
  (* y (sqrt (sqrt z)))
  (+ (log y) (log (sqrt (sqrt z))))
  (log (* y (sqrt (sqrt z))))
  (exp (* y (sqrt (sqrt z))))
  (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))))
  (* (cbrt (* y (sqrt (sqrt z)))) (cbrt (* y (sqrt (sqrt z)))))
  (cbrt (* y (sqrt (sqrt z))))
  (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z))))
  (sqrt (* y (sqrt (sqrt z))))
  (sqrt (* y (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* y (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))))
  (* y (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))))
  (* y (sqrt (sqrt (* (cbrt z) (cbrt z)))))
  (* y (sqrt (sqrt (sqrt z))))
  (* y (sqrt (sqrt 1)))
  (* y (sqrt (sqrt (sqrt z))))
  (* y (sqrt 1))
  (* y (sqrt (sqrt (sqrt z))))
  (* y 1)
  (* (cbrt y) (sqrt (sqrt z)))
  (* (sqrt y) (sqrt (sqrt z)))
  (* y (sqrt (sqrt z)))
  (expm1 (sqrt (sqrt z)))
  (log1p (sqrt (sqrt z)))
  (log (sqrt (sqrt z)))
  (exp (sqrt (sqrt z)))
  (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))
  (cbrt (sqrt (sqrt z)))
  (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))
  (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (sqrt (cbrt (sqrt z)))
  (sqrt (sqrt (* (cbrt z) (cbrt z))))
  (sqrt (sqrt (cbrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt 1))
  (sqrt (sqrt z))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt 1)
  (sqrt (sqrt z))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (expm1 (sqrt (sqrt z)))
  (log1p (sqrt (sqrt z)))
  (log (sqrt (sqrt z)))
  (exp (sqrt (sqrt z)))
  (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))
  (cbrt (sqrt (sqrt z)))
  (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))
  (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (sqrt (cbrt (sqrt z)))
  (sqrt (sqrt (* (cbrt z) (cbrt z))))
  (sqrt (sqrt (cbrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt 1))
  (sqrt (sqrt z))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt 1)
  (sqrt (sqrt z))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y)))))))
  (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2))))))))
  (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2))))))))
  (* (pow z 1/4) y)
  (* (pow z 1/4) y)
  (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow z 2)))) (- (* +nan.0 (/ y (* (sqrt +nan.0) z))))))))
  (pow z 1/4)
  (pow (/ 1 z) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow z 2)))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) z))))))))
  (pow z 1/4)
  (pow (/ 1 z) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow z 2)))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) z))))))))
3.708 * * [simplify]: iteration  0 :  138  enodes  (cost  963 )
3.745 * * [simplify]: iteration  1 :  355  enodes  (cost  754 )
3.862 * * [simplify]: iteration  2 :  1067  enodes  (cost  688 )
4.578 * * [simplify]: iteration  3 :  3302  enodes  (cost  672 )
5.451 * * [simplify]: iteration  done :  5001  enodes  (cost  670 )
5.451 * [simplify]: Simplified to:
   (expm1 (* y (sqrt z)))
  (log1p (* y (sqrt z)))
  (* y (sqrt z))
  (* y (sqrt z))
  (log (* y (sqrt z)))
  (log (* y (sqrt z)))
  (log (* y (sqrt z)))
  (exp (* y (sqrt z)))
  (pow (* y (sqrt z)) 3)
  (pow (* y (sqrt z)) 3)
  (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z))))
  (cbrt (* y (sqrt z)))
  (pow (* y (sqrt z)) 3)
  (sqrt (* y (sqrt z)))
  (sqrt (* y (sqrt z)))
  (* (* y (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))))
  (* (* y (sqrt (sqrt z))) (fabs (cbrt (sqrt z))))
  (* (sqrt (fabs (cbrt z))) (* y (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))
  (* y (sqrt (sqrt z)))
  (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))
  (* y (sqrt (sqrt z)))
  (* (* y (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))
  (* y (sqrt (sqrt z)))
  (sqrt z)
  (expm1 (* y (sqrt (sqrt z))))
  (log1p (* y (sqrt (sqrt z))))
  (* y (sqrt (sqrt z)))
  (log (* y (sqrt (sqrt z))))
  (log (* y (sqrt (sqrt z))))
  (exp (* y (sqrt (sqrt z))))
  (pow (* y (sqrt (sqrt z))) 3)
  (* (cbrt (* y (sqrt (sqrt z)))) (cbrt (* y (sqrt (sqrt z)))))
  (cbrt (* y (sqrt (sqrt z))))
  (pow (* y (sqrt (sqrt z))) 3)
  (sqrt (* y (sqrt (sqrt z))))
  (sqrt (* y (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* y (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))))
  (* y (fabs (cbrt (sqrt z))))
  (* (sqrt (fabs (cbrt z))) y)
  (* y (sqrt (sqrt (sqrt z))))
  y
  (* y (sqrt (sqrt (sqrt z))))
  y
  (* y (sqrt (sqrt (sqrt z))))
  y
  (* (cbrt y) (sqrt (sqrt z)))
  (* (sqrt y) (sqrt (sqrt z)))
  (* y (sqrt (sqrt z)))
  (expm1 (sqrt (sqrt z)))
  (log1p (sqrt (sqrt z)))
  (log (sqrt (sqrt z)))
  (exp (sqrt (sqrt z)))
  (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))
  (cbrt (sqrt (sqrt z)))
  (pow (sqrt (sqrt z)) 3)
  (fabs (cbrt (sqrt z)))
  (sqrt (cbrt (sqrt z)))
  (sqrt (fabs (cbrt z)))
  (sqrt (sqrt (cbrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  1
  (sqrt (sqrt z))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  1
  (sqrt (sqrt z))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (expm1 (sqrt (sqrt z)))
  (log1p (sqrt (sqrt z)))
  (log (sqrt (sqrt z)))
  (exp (sqrt (sqrt z)))
  (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))
  (cbrt (sqrt (sqrt z)))
  (pow (sqrt (sqrt z)) 3)
  (fabs (cbrt (sqrt z)))
  (sqrt (cbrt (sqrt z)))
  (sqrt (fabs (cbrt z)))
  (sqrt (sqrt (cbrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  1
  (sqrt (sqrt z))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  1
  (sqrt (sqrt z))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (- (* y (- (* +nan.0 (pow z 3)) (* z (- +nan.0 (* +nan.0 z))))))
  (- (* +nan.0 y) (* (/ y z) (+ (/ +nan.0 z) +nan.0)))
  (- (* +nan.0 y) (* (/ y z) (+ (/ +nan.0 z) +nan.0)))
  (* (pow z 1/4) y)
  (* (pow z 1/4) y)
  (- (- (* (sqrt +nan.0) y) (* (/ y (pow z 2)) (- (/ (/ +nan.0 (sqrt +nan.0)) +nan.0) (/ +nan.0 (sqrt +nan.0))))) (* +nan.0 (/ y (* (sqrt +nan.0) z))))
  (pow z 1/4)
  (pow (/ 1 z) -1/4)
  (- (sqrt +nan.0) (+ (* (/ +nan.0 (pow z 2)) (- (/ 1 (sqrt +nan.0)) (/ 1 (pow (sqrt +nan.0) 3)))) (/ +nan.0 (* (sqrt +nan.0) z))))
  (pow z 1/4)
  (pow (/ 1 z) -1/4)
  (- (sqrt +nan.0) (+ (* (/ +nan.0 (pow z 2)) (- (/ 1 (sqrt +nan.0)) (/ 1 (pow (sqrt +nan.0) 3)))) (/ +nan.0 (* (sqrt +nan.0) z))))
5.452 * * * [progress]: adding candidates to table
5.674 * * [progress]: iteration 3 / 4
5.674 * * * [progress]: picking best candidate
5.686 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))))>
5.686 * * * [progress]: localizing error
5.701 * * * [progress]: generating rewritten candidates
5.701 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
5.787 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
5.811 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
5.820 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
5.825 * * * [progress]: generating series expansions
5.825 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
5.825 * [approximate]: Taking taylor expansion of (* (sqrt z) y) in (y z) around 0
5.825 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in z
5.825 * [taylor]: Taking taylor expansion of (sqrt z) in z
5.825 * [taylor]: Taking taylor expansion of z in z
5.827 * [taylor]: Taking taylor expansion of y in z
5.827 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y
5.827 * [taylor]: Taking taylor expansion of (sqrt z) in y
5.827 * [taylor]: Taking taylor expansion of z in y
5.827 * [taylor]: Taking taylor expansion of y in y
5.827 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y
5.827 * [taylor]: Taking taylor expansion of (sqrt z) in y
5.827 * [taylor]: Taking taylor expansion of z in y
5.827 * [taylor]: Taking taylor expansion of y in y
5.827 * [taylor]: Taking taylor expansion of 0 in z
5.828 * [taylor]: Taking taylor expansion of (sqrt z) in z
5.828 * [taylor]: Taking taylor expansion of z in z
5.829 * [taylor]: Taking taylor expansion of 0 in z
5.830 * [taylor]: Taking taylor expansion of 0 in z
5.833 * [taylor]: Taking taylor expansion of 0 in z
5.836 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in (y z) around 0
5.836 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in z
5.836 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
5.836 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.836 * [taylor]: Taking taylor expansion of z in z
5.838 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.838 * [taylor]: Taking taylor expansion of y in z
5.838 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y
5.838 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
5.838 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.838 * [taylor]: Taking taylor expansion of z in y
5.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.838 * [taylor]: Taking taylor expansion of y in y
5.838 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y
5.838 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
5.838 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.838 * [taylor]: Taking taylor expansion of z in y
5.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.838 * [taylor]: Taking taylor expansion of y in y
5.839 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
5.839 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.839 * [taylor]: Taking taylor expansion of z in z
5.841 * [taylor]: Taking taylor expansion of 0 in z
5.842 * [taylor]: Taking taylor expansion of 0 in z
5.846 * [taylor]: Taking taylor expansion of 0 in z
5.853 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in (y z) around 0
5.853 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in z
5.853 * [taylor]: Taking taylor expansion of -1 in z
5.853 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in z
5.853 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
5.854 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.854 * [taylor]: Taking taylor expansion of -1 in z
5.854 * [taylor]: Taking taylor expansion of z in z
5.855 * [taylor]: Taking taylor expansion of y in z
5.855 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y
5.855 * [taylor]: Taking taylor expansion of -1 in y
5.855 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y
5.855 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
5.855 * [taylor]: Taking taylor expansion of (/ -1 z) in y
5.855 * [taylor]: Taking taylor expansion of -1 in y
5.855 * [taylor]: Taking taylor expansion of z in y
5.855 * [taylor]: Taking taylor expansion of y in y
5.855 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 z)) y)) in y
5.855 * [taylor]: Taking taylor expansion of -1 in y
5.855 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y
5.855 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
5.855 * [taylor]: Taking taylor expansion of (/ -1 z) in y
5.855 * [taylor]: Taking taylor expansion of -1 in y
5.855 * [taylor]: Taking taylor expansion of z in y
5.855 * [taylor]: Taking taylor expansion of y in y
5.856 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z
5.856 * [taylor]: Taking taylor expansion of -1 in z
5.856 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
5.856 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.856 * [taylor]: Taking taylor expansion of -1 in z
5.856 * [taylor]: Taking taylor expansion of z in z
5.859 * [taylor]: Taking taylor expansion of 0 in z
5.865 * [taylor]: Taking taylor expansion of 0 in z
5.870 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
5.870 * [approximate]: Taking taylor expansion of (* (pow z 1/4) y) in (y z) around 0
5.870 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in z
5.870 * [taylor]: Taking taylor expansion of (pow z 1/4) in z
5.870 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z
5.870 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z
5.870 * [taylor]: Taking taylor expansion of 1/4 in z
5.870 * [taylor]: Taking taylor expansion of (log z) in z
5.870 * [taylor]: Taking taylor expansion of z in z
5.871 * [taylor]: Taking taylor expansion of y in z
5.871 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y
5.871 * [taylor]: Taking taylor expansion of (pow z 1/4) in y
5.871 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y
5.871 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y
5.871 * [taylor]: Taking taylor expansion of 1/4 in y
5.871 * [taylor]: Taking taylor expansion of (log z) in y
5.871 * [taylor]: Taking taylor expansion of z in y
5.871 * [taylor]: Taking taylor expansion of y in y
5.871 * [taylor]: Taking taylor expansion of (* (pow z 1/4) y) in y
5.871 * [taylor]: Taking taylor expansion of (pow z 1/4) in y
5.871 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y
5.871 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y
5.871 * [taylor]: Taking taylor expansion of 1/4 in y
5.871 * [taylor]: Taking taylor expansion of (log z) in y
5.871 * [taylor]: Taking taylor expansion of z in y
5.871 * [taylor]: Taking taylor expansion of y in y
5.872 * [taylor]: Taking taylor expansion of 0 in z
5.873 * [taylor]: Taking taylor expansion of (pow z 1/4) in z
5.873 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z
5.873 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z
5.873 * [taylor]: Taking taylor expansion of 1/4 in z
5.873 * [taylor]: Taking taylor expansion of (log z) in z
5.873 * [taylor]: Taking taylor expansion of z in z
5.877 * [taylor]: Taking taylor expansion of 0 in z
5.882 * [taylor]: Taking taylor expansion of 0 in z
5.883 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in (y z) around 0
5.883 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in z
5.883 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z
5.883 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z
5.883 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z
5.883 * [taylor]: Taking taylor expansion of 1/4 in z
5.883 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
5.883 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.883 * [taylor]: Taking taylor expansion of z in z
5.884 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.884 * [taylor]: Taking taylor expansion of y in z
5.884 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y
5.884 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y
5.884 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y
5.884 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y
5.884 * [taylor]: Taking taylor expansion of 1/4 in y
5.884 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
5.884 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.884 * [taylor]: Taking taylor expansion of z in y
5.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.884 * [taylor]: Taking taylor expansion of y in y
5.884 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (/ 1 y)) in y
5.884 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y
5.884 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y
5.884 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y
5.884 * [taylor]: Taking taylor expansion of 1/4 in y
5.884 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
5.884 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.884 * [taylor]: Taking taylor expansion of z in y
5.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.885 * [taylor]: Taking taylor expansion of y in y
5.885 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z
5.885 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z
5.885 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z
5.885 * [taylor]: Taking taylor expansion of 1/4 in z
5.885 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
5.885 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.885 * [taylor]: Taking taylor expansion of z in z
5.889 * [taylor]: Taking taylor expansion of 0 in z
5.895 * [taylor]: Taking taylor expansion of 0 in z
5.903 * [taylor]: Taking taylor expansion of 0 in z
5.903 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 z))))) in (y z) around 0
5.903 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 z))))) in z
5.903 * [taylor]: Taking taylor expansion of -1 in z
5.903 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 z)))) in z
5.903 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.903 * [taylor]: Taking taylor expansion of y in z
5.903 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z
5.904 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
5.904 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.904 * [taylor]: Taking taylor expansion of -1 in z
5.904 * [taylor]: Taking taylor expansion of z in z
5.908 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 z))))) in y
5.908 * [taylor]: Taking taylor expansion of -1 in y
5.908 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 z)))) in y
5.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.908 * [taylor]: Taking taylor expansion of y in y
5.909 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y
5.909 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
5.909 * [taylor]: Taking taylor expansion of (/ -1 z) in y
5.909 * [taylor]: Taking taylor expansion of -1 in y
5.909 * [taylor]: Taking taylor expansion of z in y
5.909 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 z))))) in y
5.909 * [taylor]: Taking taylor expansion of -1 in y
5.909 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 z)))) in y
5.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.909 * [taylor]: Taking taylor expansion of y in y
5.909 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y
5.909 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
5.909 * [taylor]: Taking taylor expansion of (/ -1 z) in y
5.909 * [taylor]: Taking taylor expansion of -1 in y
5.909 * [taylor]: Taking taylor expansion of z in y
5.910 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 z)))) in z
5.910 * [taylor]: Taking taylor expansion of -1 in z
5.910 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z
5.910 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
5.910 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.910 * [taylor]: Taking taylor expansion of -1 in z
5.910 * [taylor]: Taking taylor expansion of z in z
5.917 * [taylor]: Taking taylor expansion of 0 in z
5.923 * [taylor]: Taking taylor expansion of 0 in z
5.956 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
5.956 * [approximate]: Taking taylor expansion of (* (pow z 1/8) y) in (y z) around 0
5.956 * [taylor]: Taking taylor expansion of (* (pow z 1/8) y) in z
5.956 * [taylor]: Taking taylor expansion of (pow z 1/8) in z
5.956 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log z))) in z
5.956 * [taylor]: Taking taylor expansion of (* 1/8 (log z)) in z
5.956 * [taylor]: Taking taylor expansion of 1/8 in z
5.956 * [taylor]: Taking taylor expansion of (log z) in z
5.956 * [taylor]: Taking taylor expansion of z in z
5.956 * [taylor]: Taking taylor expansion of y in z
5.956 * [taylor]: Taking taylor expansion of (* (pow z 1/8) y) in y
5.956 * [taylor]: Taking taylor expansion of (pow z 1/8) in y
5.957 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log z))) in y
5.957 * [taylor]: Taking taylor expansion of (* 1/8 (log z)) in y
5.957 * [taylor]: Taking taylor expansion of 1/8 in y
5.957 * [taylor]: Taking taylor expansion of (log z) in y
5.957 * [taylor]: Taking taylor expansion of z in y
5.957 * [taylor]: Taking taylor expansion of y in y
5.957 * [taylor]: Taking taylor expansion of (* (pow z 1/8) y) in y
5.957 * [taylor]: Taking taylor expansion of (pow z 1/8) in y
5.957 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log z))) in y
5.957 * [taylor]: Taking taylor expansion of (* 1/8 (log z)) in y
5.957 * [taylor]: Taking taylor expansion of 1/8 in y
5.957 * [taylor]: Taking taylor expansion of (log z) in y
5.957 * [taylor]: Taking taylor expansion of z in y
5.957 * [taylor]: Taking taylor expansion of y in y
5.957 * [taylor]: Taking taylor expansion of 0 in z
5.959 * [taylor]: Taking taylor expansion of (pow z 1/8) in z
5.959 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log z))) in z
5.959 * [taylor]: Taking taylor expansion of (* 1/8 (log z)) in z
5.959 * [taylor]: Taking taylor expansion of 1/8 in z
5.959 * [taylor]: Taking taylor expansion of (log z) in z
5.959 * [taylor]: Taking taylor expansion of z in z
5.962 * [taylor]: Taking taylor expansion of 0 in z
5.968 * [taylor]: Taking taylor expansion of 0 in z
5.969 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/8) (/ 1 y)) in (y z) around 0
5.969 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/8) (/ 1 y)) in z
5.969 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/8) in z
5.969 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 z)))) in z
5.969 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 z))) in z
5.969 * [taylor]: Taking taylor expansion of 1/8 in z
5.969 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
5.969 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.969 * [taylor]: Taking taylor expansion of z in z
5.970 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.970 * [taylor]: Taking taylor expansion of y in z
5.970 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/8) (/ 1 y)) in y
5.970 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/8) in y
5.970 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 z)))) in y
5.970 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 z))) in y
5.970 * [taylor]: Taking taylor expansion of 1/8 in y
5.970 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
5.970 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.970 * [taylor]: Taking taylor expansion of z in y
5.970 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.970 * [taylor]: Taking taylor expansion of y in y
5.970 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/8) (/ 1 y)) in y
5.970 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/8) in y
5.970 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 z)))) in y
5.970 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 z))) in y
5.970 * [taylor]: Taking taylor expansion of 1/8 in y
5.970 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
5.970 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.970 * [taylor]: Taking taylor expansion of z in y
5.970 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.970 * [taylor]: Taking taylor expansion of y in y
5.971 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/8) in z
5.971 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 z)))) in z
5.971 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 z))) in z
5.971 * [taylor]: Taking taylor expansion of 1/8 in z
5.971 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
5.971 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.971 * [taylor]: Taking taylor expansion of z in z
5.974 * [taylor]: Taking taylor expansion of 0 in z
5.980 * [taylor]: Taking taylor expansion of 0 in z
5.988 * [taylor]: Taking taylor expansion of 0 in z
5.989 * [approximate]: Taking taylor expansion of (* -1 (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y))) in (y z) around 0
5.989 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y))) in z
5.989 * [taylor]: Taking taylor expansion of -1 in z
5.989 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y)) in z
5.989 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in z
5.989 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in z
5.989 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in z
5.989 * [taylor]: Taking taylor expansion of 1/4 in z
5.989 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z
5.989 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
5.989 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.989 * [taylor]: Taking taylor expansion of -1 in z
5.989 * [taylor]: Taking taylor expansion of z in z
5.992 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.992 * [taylor]: Taking taylor expansion of y in z
5.992 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y))) in y
5.992 * [taylor]: Taking taylor expansion of -1 in y
5.992 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y)) in y
5.992 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in y
5.992 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in y
5.992 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in y
5.992 * [taylor]: Taking taylor expansion of 1/4 in y
5.992 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in y
5.992 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
5.992 * [taylor]: Taking taylor expansion of (/ -1 z) in y
5.992 * [taylor]: Taking taylor expansion of -1 in y
5.992 * [taylor]: Taking taylor expansion of z in y
5.992 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.992 * [taylor]: Taking taylor expansion of y in y
5.993 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y))) in y
5.993 * [taylor]: Taking taylor expansion of -1 in y
5.993 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 z)) 1/4) (/ 1 y)) in y
5.993 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in y
5.993 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in y
5.993 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in y
5.993 * [taylor]: Taking taylor expansion of 1/4 in y
5.993 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in y
5.993 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
5.993 * [taylor]: Taking taylor expansion of (/ -1 z) in y
5.993 * [taylor]: Taking taylor expansion of -1 in y
5.993 * [taylor]: Taking taylor expansion of z in y
5.993 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.993 * [taylor]: Taking taylor expansion of y in y
5.994 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 z)) 1/4)) in z
5.994 * [taylor]: Taking taylor expansion of -1 in z
5.994 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 1/4) in z
5.994 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 z))))) in z
5.994 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 z)))) in z
5.994 * [taylor]: Taking taylor expansion of 1/4 in z
5.994 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 z))) in z
5.994 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
5.994 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.994 * [taylor]: Taking taylor expansion of -1 in z
5.994 * [taylor]: Taking taylor expansion of z in z
6.001 * [taylor]: Taking taylor expansion of 0 in z
6.019 * [taylor]: Taking taylor expansion of 0 in z
6.049 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
6.049 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0
6.049 * [taylor]: Taking taylor expansion of (pow z 1/4) in z
6.049 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z
6.049 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z
6.050 * [taylor]: Taking taylor expansion of 1/4 in z
6.050 * [taylor]: Taking taylor expansion of (log z) in z
6.050 * [taylor]: Taking taylor expansion of z in z
6.050 * [taylor]: Taking taylor expansion of (pow z 1/4) in z
6.050 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z
6.050 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z
6.050 * [taylor]: Taking taylor expansion of 1/4 in z
6.050 * [taylor]: Taking taylor expansion of (log z) in z
6.050 * [taylor]: Taking taylor expansion of z in z
6.099 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0
6.099 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z
6.099 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z
6.099 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z
6.099 * [taylor]: Taking taylor expansion of 1/4 in z
6.099 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
6.099 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.099 * [taylor]: Taking taylor expansion of z in z
6.100 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z
6.100 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z
6.100 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z
6.100 * [taylor]: Taking taylor expansion of 1/4 in z
6.100 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
6.100 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.100 * [taylor]: Taking taylor expansion of z in z
6.158 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0
6.158 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z
6.158 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
6.158 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.158 * [taylor]: Taking taylor expansion of -1 in z
6.158 * [taylor]: Taking taylor expansion of z in z
6.163 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z
6.163 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
6.163 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.163 * [taylor]: Taking taylor expansion of -1 in z
6.163 * [taylor]: Taking taylor expansion of z in z
6.189 * * * [progress]: simplifying candidates
6.191 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))
  (log1p (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z)))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z)))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z)))
  (+ (+ (+ (log y) (log (sqrt (sqrt (sqrt z))))) (log (sqrt (sqrt (sqrt z))))) (log (sqrt (sqrt z))))
  (+ (+ (log (* y (sqrt (sqrt (sqrt z))))) (log (sqrt (sqrt (sqrt z))))) (log (sqrt (sqrt z))))
  (+ (log (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (log (sqrt (sqrt z))))
  (log (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))
  (exp (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))
  (* (* (* (* (* y y) y) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))))
  (* (* (* (* (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt (sqrt z))))) (* y (sqrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))))
  (* (* (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))))
  (* (cbrt (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z)))) (cbrt (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z)))))
  (cbrt (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))
  (* (* (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))) (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z)))) (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))
  (sqrt (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))
  (sqrt (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (* (cbrt z) (cbrt z)))))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt 1)))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt 1))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) 1)
  (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt z)))
  (expm1 (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (log1p (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))
  (+ (+ (log y) (log (sqrt (sqrt (sqrt z))))) (log (sqrt (sqrt (sqrt z)))))
  (+ (log (* y (sqrt (sqrt (sqrt z))))) (log (sqrt (sqrt (sqrt z)))))
  (log (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (exp (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (* (* (* (* y y) y) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (* (* (* (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt (sqrt z))))) (* y (sqrt (sqrt (sqrt z))))) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (* (cbrt (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (cbrt (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))))
  (cbrt (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (* (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z))))) (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (sqrt (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (sqrt (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (* (* y (sqrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z))))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (* (cbrt z) (cbrt z))))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt 1))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt 1)))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt 1))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (* y (sqrt (sqrt (sqrt z)))) 1)
  (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))))
  (expm1 (* y (sqrt (sqrt (sqrt z)))))
  (log1p (* y (sqrt (sqrt (sqrt z)))))
  (* y (sqrt (sqrt (sqrt z))))
  (+ (log y) (log (sqrt (sqrt (sqrt z)))))
  (log (* y (sqrt (sqrt (sqrt z)))))
  (exp (* y (sqrt (sqrt (sqrt z)))))
  (* (* (* y y) y) (* (* (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))))
  (* (cbrt (* y (sqrt (sqrt (sqrt z))))) (cbrt (* y (sqrt (sqrt (sqrt z))))))
  (cbrt (* y (sqrt (sqrt (sqrt z)))))
  (* (* (* y (sqrt (sqrt (sqrt z)))) (* y (sqrt (sqrt (sqrt z))))) (* y (sqrt (sqrt (sqrt z)))))
  (sqrt (* y (sqrt (sqrt (sqrt z)))))
  (sqrt (* y (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* y (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z))))))
  (* y (sqrt (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))))
  (* y (sqrt (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))))
  (* y (sqrt (sqrt (sqrt (* (cbrt z) (cbrt z))))))
  (* y (sqrt (sqrt (sqrt (sqrt z)))))
  (* y (sqrt (sqrt (sqrt 1))))
  (* y (sqrt (sqrt (sqrt (sqrt z)))))
  (* y (sqrt (sqrt 1)))
  (* y (sqrt (sqrt (sqrt (sqrt z)))))
  (* y (sqrt 1))
  (* y (sqrt (sqrt (sqrt (sqrt z)))))
  (* y 1)
  (* (cbrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* y (sqrt (sqrt (sqrt z))))
  (expm1 (sqrt (sqrt z)))
  (log1p (sqrt (sqrt z)))
  (log (sqrt (sqrt z)))
  (exp (sqrt (sqrt z)))
  (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))
  (cbrt (sqrt (sqrt z)))
  (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))
  (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (sqrt (cbrt (sqrt z)))
  (sqrt (sqrt (* (cbrt z) (cbrt z))))
  (sqrt (sqrt (cbrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt 1))
  (sqrt (sqrt z))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt 1)
  (sqrt (sqrt z))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (- (+ (* +nan.0 (* (pow z 3) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* (pow z 2) y)))))))
  (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2))))))))
  (- (+ (* +nan.0 (/ y z)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ y (pow z 2))))))))
  (* (pow z 1/4) y)
  (* (pow z 1/4) y)
  (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow z 2)))) (- (* +nan.0 (/ y (* (sqrt +nan.0) z))))))))
  (* (pow z 1/8) y)
  (* (pow z 1/8) y)
  (- (* (pow +nan.0 1/4) y) (+ (* +nan.0 (* (/ y z) (pow +nan.0 1/4))) (- (* +nan.0 (* (/ y (pow z 2)) (pow +nan.0 1/4))))))
  (pow z 1/4)
  (pow (/ 1 z) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow z 2)))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow z 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) z))))))))
6.197 * * [simplify]: iteration  0 :  188  enodes  (cost  1613 )
6.246 * * [simplify]: iteration  1 :  491  enodes  (cost  1127 )
6.416 * * [simplify]: iteration  2 :  1612  enodes  (cost  899 )
7.055 * * [simplify]: iteration  done :  5000  enodes  (cost  877 )
7.056 * [simplify]: Simplified to:
   (expm1 (* y (sqrt z)))
  (log1p (* y (sqrt z)))
  (* y (sqrt z))
  (* y (sqrt z))
  (* y (sqrt z))
  (log (* y (sqrt z)))
  (log (* y (sqrt z)))
  (log (* y (sqrt z)))
  (log (* y (sqrt z)))
  (exp (* y (sqrt z)))
  (pow (* y (sqrt z)) 3)
  (pow (* y (sqrt z)) 3)
  (pow (* y (sqrt z)) 3)
  (* (cbrt (* y (sqrt z))) (cbrt (* y (sqrt z))))
  (cbrt (* y (sqrt z)))
  (pow (* y (sqrt z)) 3)
  (sqrt (* y (sqrt z)))
  (sqrt (* y (sqrt z)))
  (* (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (* y (sqrt (sqrt z))))
  (* (fabs (cbrt (sqrt z))) (* y (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt z))) (sqrt (fabs (cbrt z))))
  (* y (pow (sqrt (sqrt (sqrt z))) 3))
  (* y (sqrt (sqrt z)))
  (* y (pow (sqrt (sqrt (sqrt z))) 3))
  (* y (sqrt (sqrt z)))
  (* y (pow (sqrt (sqrt (sqrt z))) 3))
  (* y (sqrt (sqrt z)))
  (pow (sqrt (sqrt (sqrt z))) 3)
  (expm1 (* y (sqrt (sqrt z))))
  (log1p (* y (sqrt (sqrt z))))
  (* y (sqrt (sqrt z)))
  (* y (sqrt (sqrt z)))
  (log (* y (sqrt (sqrt z))))
  (log (* y (sqrt (sqrt z))))
  (log (* y (sqrt (sqrt z))))
  (exp (* y (sqrt (sqrt z))))
  (pow (* y (sqrt (sqrt z))) 3)
  (pow (* y (sqrt (sqrt z))) 3)
  (* (cbrt (* y (sqrt (sqrt z)))) (cbrt (* y (sqrt (sqrt z)))))
  (cbrt (* y (sqrt (sqrt z))))
  (pow (* y (sqrt (sqrt z))) 3)
  (sqrt (* y (sqrt (sqrt z))))
  (sqrt (* y (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt (sqrt z)))) (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z))))))
  (* (* y (sqrt (sqrt (sqrt z)))) (fabs (cbrt (sqrt (sqrt z)))))
  (* (sqrt (fabs (cbrt (sqrt z)))) (* y (sqrt (sqrt (sqrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (* y (sqrt (sqrt (sqrt z)))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))))
  (* y (sqrt (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))))
  (* y (sqrt (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))))
  (* y (sqrt (sqrt (sqrt z))))
  (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt (sqrt z)))))
  (* y (sqrt (sqrt (sqrt z))))
  (sqrt (sqrt z))
  (expm1 (* y (sqrt (sqrt (sqrt z)))))
  (log1p (* y (sqrt (sqrt (sqrt z)))))
  (* y (sqrt (sqrt (sqrt z))))
  (log (* y (sqrt (sqrt (sqrt z)))))
  (log (* y (sqrt (sqrt (sqrt z)))))
  (exp (* y (sqrt (sqrt (sqrt z)))))
  (pow (* y (sqrt (sqrt (sqrt z)))) 3)
  (* (cbrt (* y (sqrt (sqrt (sqrt z))))) (cbrt (* y (sqrt (sqrt (sqrt z))))))
  (cbrt (* y (sqrt (sqrt (sqrt z)))))
  (pow (* y (sqrt (sqrt (sqrt z)))) 3)
  (sqrt (* y (sqrt (sqrt (sqrt z)))))
  (sqrt (* y (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* (sqrt y) (sqrt (sqrt (sqrt (sqrt z)))))
  (* y (* (cbrt (sqrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt (sqrt z))))))
  (* (fabs (cbrt (sqrt (sqrt z)))) y)
  (* (sqrt (fabs (cbrt (sqrt z)))) y)
  (* y (sqrt (sqrt (fabs (cbrt z)))))
  (* y (sqrt (sqrt (sqrt (sqrt z)))))
  y
  (* y (sqrt (sqrt (sqrt (sqrt z)))))
  y
  (* y (sqrt (sqrt (sqrt (sqrt z)))))
  y
  (* y (sqrt (sqrt (sqrt (sqrt z)))))
  y
  (* (cbrt y) (sqrt (sqrt (sqrt z))))
  (* (sqrt y) (sqrt (sqrt (sqrt z))))
  (* y (sqrt (sqrt (sqrt z))))
  (expm1 (sqrt (sqrt z)))
  (log1p (sqrt (sqrt z)))
  (log (sqrt (sqrt z)))
  (exp (sqrt (sqrt z)))
  (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))
  (cbrt (sqrt (sqrt z)))
  (pow (sqrt (sqrt z)) 3)
  (fabs (cbrt (sqrt z)))
  (sqrt (cbrt (sqrt z)))
  (sqrt (fabs (cbrt z)))
  (sqrt (sqrt (cbrt z)))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  1
  (sqrt (sqrt z))
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  1
  (sqrt (sqrt z))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt z)))
  (sqrt (sqrt (sqrt z)))
  (- (* y (- (* +nan.0 (pow z 3)) (* +nan.0 (- z (pow z 2))))))
  (- (- (* (/ y z) (+ (/ +nan.0 z) +nan.0)) (* +nan.0 y)))
  (- (- (* (/ y z) (+ (/ +nan.0 z) +nan.0)) (* +nan.0 y)))
  (* (pow z 1/4) y)
  (* (pow z 1/4) y)
  (- (- (* (sqrt +nan.0) y) (* (/ y (pow z 2)) (- (/ (/ +nan.0 (sqrt +nan.0)) +nan.0) (/ +nan.0 (sqrt +nan.0))))) (* +nan.0 (/ y (* (sqrt +nan.0) z))))
  (* (pow z 1/8) y)
  (* (pow z 1/8) y)
  (* (pow +nan.0 1/4) (- y (* (/ y z) (- +nan.0 (/ +nan.0 z)))))
  (pow z 1/4)
  (pow (/ 1 z) -1/4)
  (- (- (sqrt +nan.0) (* (/ +nan.0 (pow z 2)) (- (/ 1 (sqrt +nan.0)) (/ 1 (pow (sqrt +nan.0) 3))))) (/ +nan.0 (* (sqrt +nan.0) z)))
7.056 * * * [progress]: adding candidates to table
7.333 * * [progress]: iteration 4 / 4
7.333 * * * [progress]: picking best candidate
7.343 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))))>
7.343 * * * [progress]: localizing error
7.359 * * * [progress]: generating rewritten candidates
7.359 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 1)
7.360 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1 1)
7.360 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
7.389 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
7.406 * * * [progress]: generating series expansions
7.406 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 1)
7.406 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
7.406 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
7.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
7.406 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
7.406 * [taylor]: Taking taylor expansion of 1/3 in z
7.406 * [taylor]: Taking taylor expansion of (log z) in z
7.406 * [taylor]: Taking taylor expansion of z in z
7.407 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
7.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
7.407 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
7.407 * [taylor]: Taking taylor expansion of 1/3 in z
7.407 * [taylor]: Taking taylor expansion of (log z) in z
7.407 * [taylor]: Taking taylor expansion of z in z
7.455 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
7.456 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
7.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
7.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
7.456 * [taylor]: Taking taylor expansion of 1/3 in z
7.456 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.456 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.456 * [taylor]: Taking taylor expansion of z in z
7.457 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
7.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
7.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
7.457 * [taylor]: Taking taylor expansion of 1/3 in z
7.457 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.457 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.457 * [taylor]: Taking taylor expansion of z in z
7.513 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
7.513 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
7.513 * [taylor]: Taking taylor expansion of (cbrt -1) in z
7.513 * [taylor]: Taking taylor expansion of -1 in z
7.514 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
7.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
7.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
7.514 * [taylor]: Taking taylor expansion of 1/3 in z
7.514 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.514 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.514 * [taylor]: Taking taylor expansion of z in z
7.515 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
7.515 * [taylor]: Taking taylor expansion of (cbrt -1) in z
7.515 * [taylor]: Taking taylor expansion of -1 in z
7.516 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
7.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
7.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
7.516 * [taylor]: Taking taylor expansion of 1/3 in z
7.516 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.516 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.516 * [taylor]: Taking taylor expansion of z in z
7.584 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1 1)
7.584 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
7.584 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
7.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
7.584 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
7.584 * [taylor]: Taking taylor expansion of 1/3 in z
7.584 * [taylor]: Taking taylor expansion of (log z) in z
7.584 * [taylor]: Taking taylor expansion of z in z
7.585 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
7.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
7.585 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
7.585 * [taylor]: Taking taylor expansion of 1/3 in z
7.585 * [taylor]: Taking taylor expansion of (log z) in z
7.585 * [taylor]: Taking taylor expansion of z in z
7.640 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
7.640 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
7.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
7.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
7.640 * [taylor]: Taking taylor expansion of 1/3 in z
7.641 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.641 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.641 * [taylor]: Taking taylor expansion of z in z
7.641 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
7.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
7.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
7.641 * [taylor]: Taking taylor expansion of 1/3 in z
7.641 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.641 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.642 * [taylor]: Taking taylor expansion of z in z
7.693 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
7.693 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
7.693 * [taylor]: Taking taylor expansion of (cbrt -1) in z
7.693 * [taylor]: Taking taylor expansion of -1 in z
7.694 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
7.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
7.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
7.694 * [taylor]: Taking taylor expansion of 1/3 in z
7.694 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.694 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.694 * [taylor]: Taking taylor expansion of z in z
7.695 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
7.695 * [taylor]: Taking taylor expansion of (cbrt -1) in z
7.695 * [taylor]: Taking taylor expansion of -1 in z
7.695 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
7.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
7.695 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
7.695 * [taylor]: Taking taylor expansion of 1/3 in z
7.695 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.695 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.695 * [taylor]: Taking taylor expansion of z in z
7.766 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
7.766 * [approximate]: Taking taylor expansion of (* (sqrt (fabs (pow z 1/3))) (* (pow z 1/3) y)) in (y z) around 0
7.766 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow z 1/3))) (* (pow z 1/3) y)) in z
7.766 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow z 1/3))) in z
7.767 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z
7.767 * [taylor]: Taking taylor expansion of (* (pow z 1/3) y) in z
7.767 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
7.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
7.767 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
7.767 * [taylor]: Taking taylor expansion of 1/3 in z
7.767 * [taylor]: Taking taylor expansion of (log z) in z
7.767 * [taylor]: Taking taylor expansion of z in z
7.767 * [taylor]: Taking taylor expansion of y in z
7.767 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow z 1/3))) (* (pow z 1/3) y)) in y
7.768 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow z 1/3))) in y
7.768 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y
7.768 * [taylor]: Taking taylor expansion of (* (pow z 1/3) y) in y
7.768 * [taylor]: Taking taylor expansion of (pow z 1/3) in y
7.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in y
7.768 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in y
7.768 * [taylor]: Taking taylor expansion of 1/3 in y
7.768 * [taylor]: Taking taylor expansion of (log z) in y
7.768 * [taylor]: Taking taylor expansion of z in y
7.768 * [taylor]: Taking taylor expansion of y in y
7.768 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow z 1/3))) (* (pow z 1/3) y)) in y
7.768 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow z 1/3))) in y
7.768 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in y
7.768 * [taylor]: Taking taylor expansion of (* (pow z 1/3) y) in y
7.768 * [taylor]: Taking taylor expansion of (pow z 1/3) in y
7.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in y
7.768 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in y
7.768 * [taylor]: Taking taylor expansion of 1/3 in y
7.768 * [taylor]: Taking taylor expansion of (log z) in y
7.768 * [taylor]: Taking taylor expansion of z in y
7.768 * [taylor]: Taking taylor expansion of y in y
7.769 * [taylor]: Taking taylor expansion of 0 in z
7.771 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow z 1/3))) (pow z 1/3)) in z
7.771 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow z 1/3))) in z
7.771 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z
7.771 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
7.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
7.771 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
7.771 * [taylor]: Taking taylor expansion of 1/3 in z
7.771 * [taylor]: Taking taylor expansion of (log z) in z
7.771 * [taylor]: Taking taylor expansion of z in z
7.775 * [taylor]: Taking taylor expansion of 0 in z
7.789 * [taylor]: Taking taylor expansion of 0 in z
7.789 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (* (/ 1 y) (sqrt (fabs (pow (/ 1 z) 1/3))))) in (y z) around 0
7.789 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (* (/ 1 y) (sqrt (fabs (pow (/ 1 z) 1/3))))) in z
7.789 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
7.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
7.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
7.789 * [taylor]: Taking taylor expansion of 1/3 in z
7.789 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.789 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.790 * [taylor]: Taking taylor expansion of z in z
7.790 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (fabs (pow (/ 1 z) 1/3)))) in z
7.790 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.790 * [taylor]: Taking taylor expansion of y in z
7.790 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 z) 1/3))) in z
7.790 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z
7.791 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (* (/ 1 y) (sqrt (fabs (pow (/ 1 z) 1/3))))) in y
7.791 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in y
7.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in y
7.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in y
7.791 * [taylor]: Taking taylor expansion of 1/3 in y
7.791 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
7.791 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.791 * [taylor]: Taking taylor expansion of z in y
7.791 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (fabs (pow (/ 1 z) 1/3)))) in y
7.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.791 * [taylor]: Taking taylor expansion of y in y
7.791 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 z) 1/3))) in y
7.791 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y
7.792 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (* (/ 1 y) (sqrt (fabs (pow (/ 1 z) 1/3))))) in y
7.792 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in y
7.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in y
7.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in y
7.792 * [taylor]: Taking taylor expansion of 1/3 in y
7.792 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
7.792 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.792 * [taylor]: Taking taylor expansion of z in y
7.792 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (fabs (pow (/ 1 z) 1/3)))) in y
7.792 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.792 * [taylor]: Taking taylor expansion of y in y
7.792 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 z) 1/3))) in y
7.792 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in y
7.793 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (sqrt (fabs (pow (/ 1 z) 1/3)))) in z
7.793 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
7.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
7.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
7.793 * [taylor]: Taking taylor expansion of 1/3 in z
7.793 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.793 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.793 * [taylor]: Taking taylor expansion of z in z
7.794 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 z) 1/3))) in z
7.794 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z
7.797 * [taylor]: Taking taylor expansion of 0 in z
7.804 * [taylor]: Taking taylor expansion of 0 in z
7.815 * [taylor]: Taking taylor expansion of 0 in z
7.815 * [approximate]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/4) (* (/ 1 y) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12))))) in (y z) around 0
7.815 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/4) (* (/ 1 y) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12))))) in z
7.816 * [taylor]: Taking taylor expansion of -1 in z
7.816 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (/ 1 y) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12)))) in z
7.816 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in z
7.816 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in z
7.816 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in z
7.816 * [taylor]: Taking taylor expansion of 1/4 in z
7.816 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
7.816 * [taylor]: Taking taylor expansion of (cbrt -1) in z
7.816 * [taylor]: Taking taylor expansion of -1 in z
7.819 * [taylor]: Taking taylor expansion of (* (/ 1 y) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12))) in z
7.819 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.819 * [taylor]: Taking taylor expansion of y in z
7.819 * [taylor]: Taking taylor expansion of (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12)) in z
7.819 * [taylor]: Taking taylor expansion of (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) in z
7.819 * [taylor]: Taking taylor expansion of (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z))) in z
7.819 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z
7.820 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
7.820 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.820 * [taylor]: Taking taylor expansion of -1 in z
7.820 * [taylor]: Taking taylor expansion of z in z
7.827 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/12) in z
7.827 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 z)))) in z
7.827 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 z))) in z
7.827 * [taylor]: Taking taylor expansion of 1/12 in z
7.827 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.827 * [taylor]: Taking taylor expansion of z in z
7.828 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/4) (* (/ 1 y) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12))))) in y
7.828 * [taylor]: Taking taylor expansion of -1 in y
7.828 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (/ 1 y) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12)))) in y
7.828 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in y
7.828 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in y
7.828 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in y
7.828 * [taylor]: Taking taylor expansion of 1/4 in y
7.828 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
7.828 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.828 * [taylor]: Taking taylor expansion of -1 in y
7.831 * [taylor]: Taking taylor expansion of (* (/ 1 y) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12))) in y
7.831 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.831 * [taylor]: Taking taylor expansion of y in y
7.832 * [taylor]: Taking taylor expansion of (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12)) in y
7.832 * [taylor]: Taking taylor expansion of (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) in y
7.832 * [taylor]: Taking taylor expansion of (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z))) in y
7.832 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y
7.832 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
7.832 * [taylor]: Taking taylor expansion of (/ -1 z) in y
7.832 * [taylor]: Taking taylor expansion of -1 in y
7.832 * [taylor]: Taking taylor expansion of z in y
7.834 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/12) in y
7.835 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 z)))) in y
7.835 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 z))) in y
7.835 * [taylor]: Taking taylor expansion of 1/12 in y
7.835 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
7.835 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.835 * [taylor]: Taking taylor expansion of z in y
7.835 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/4) (* (/ 1 y) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12))))) in y
7.835 * [taylor]: Taking taylor expansion of -1 in y
7.835 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (/ 1 y) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12)))) in y
7.835 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in y
7.835 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in y
7.835 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in y
7.835 * [taylor]: Taking taylor expansion of 1/4 in y
7.835 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
7.835 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.835 * [taylor]: Taking taylor expansion of -1 in y
7.839 * [taylor]: Taking taylor expansion of (* (/ 1 y) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12))) in y
7.839 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.839 * [taylor]: Taking taylor expansion of y in y
7.839 * [taylor]: Taking taylor expansion of (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12)) in y
7.839 * [taylor]: Taking taylor expansion of (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) in y
7.839 * [taylor]: Taking taylor expansion of (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z))) in y
7.839 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in y
7.839 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
7.839 * [taylor]: Taking taylor expansion of (/ -1 z) in y
7.839 * [taylor]: Taking taylor expansion of -1 in y
7.839 * [taylor]: Taking taylor expansion of z in y
7.841 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/12) in y
7.841 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 z)))) in y
7.841 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 z))) in y
7.841 * [taylor]: Taking taylor expansion of 1/12 in y
7.841 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
7.841 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.842 * [taylor]: Taking taylor expansion of z in y
7.845 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/4) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12)))) in z
7.845 * [taylor]: Taking taylor expansion of -1 in z
7.845 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12))) in z
7.845 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in z
7.845 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in z
7.845 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in z
7.845 * [taylor]: Taking taylor expansion of 1/4 in z
7.846 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
7.846 * [taylor]: Taking taylor expansion of (cbrt -1) in z
7.846 * [taylor]: Taking taylor expansion of -1 in z
7.849 * [taylor]: Taking taylor expansion of (* (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/12)) in z
7.849 * [taylor]: Taking taylor expansion of (sqrt (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) in z
7.849 * [taylor]: Taking taylor expansion of (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z))) in z
7.849 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z
7.850 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
7.850 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.850 * [taylor]: Taking taylor expansion of -1 in z
7.850 * [taylor]: Taking taylor expansion of z in z
7.856 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/12) in z
7.856 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 z)))) in z
7.856 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 z))) in z
7.856 * [taylor]: Taking taylor expansion of 1/12 in z
7.856 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
7.856 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.857 * [taylor]: Taking taylor expansion of z in z
7.870 * [taylor]: Taking taylor expansion of 0 in z
7.905 * [taylor]: Taking taylor expansion of 0 in z
7.953 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
7.953 * [approximate]: Taking taylor expansion of (* (sqrt (fabs (pow z 1/3))) (pow z 1/12)) in (z) around 0
7.953 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow z 1/3))) (pow z 1/12)) in z
7.953 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow z 1/3))) in z
7.953 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z
7.954 * [taylor]: Taking taylor expansion of (pow z 1/12) in z
7.954 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log z))) in z
7.954 * [taylor]: Taking taylor expansion of (* 1/12 (log z)) in z
7.954 * [taylor]: Taking taylor expansion of 1/12 in z
7.954 * [taylor]: Taking taylor expansion of (log z) in z
7.954 * [taylor]: Taking taylor expansion of z in z
7.954 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow z 1/3))) (pow z 1/12)) in z
7.954 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow z 1/3))) in z
7.954 * [taylor]: Taking taylor expansion of (fabs (pow z 1/3)) in z
7.955 * [taylor]: Taking taylor expansion of (pow z 1/12) in z
7.955 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log z))) in z
7.955 * [taylor]: Taking taylor expansion of (* 1/12 (log z)) in z
7.955 * [taylor]: Taking taylor expansion of 1/12 in z
7.955 * [taylor]: Taking taylor expansion of (log z) in z
7.955 * [taylor]: Taking taylor expansion of z in z
8.016 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/12) (sqrt (fabs (pow (/ 1 z) 1/3)))) in (z) around 0
8.016 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/12) (sqrt (fabs (pow (/ 1 z) 1/3)))) in z
8.016 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/12) in z
8.016 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 z)))) in z
8.017 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 z))) in z
8.017 * [taylor]: Taking taylor expansion of 1/12 in z
8.017 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
8.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.017 * [taylor]: Taking taylor expansion of z in z
8.017 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 z) 1/3))) in z
8.017 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z
8.018 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/12) (sqrt (fabs (pow (/ 1 z) 1/3)))) in z
8.018 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/12) in z
8.018 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 z)))) in z
8.018 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 z))) in z
8.018 * [taylor]: Taking taylor expansion of 1/12 in z
8.018 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
8.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.018 * [taylor]: Taking taylor expansion of z in z
8.019 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 z) 1/3))) in z
8.019 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 z) 1/3)) in z
8.083 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) (pow (/ 1 z) 1/12))) in (z) around 0
8.083 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) (pow (/ 1 z) 1/12))) in z
8.083 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in z
8.083 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in z
8.083 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in z
8.083 * [taylor]: Taking taylor expansion of 1/4 in z
8.083 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
8.083 * [taylor]: Taking taylor expansion of (cbrt -1) in z
8.083 * [taylor]: Taking taylor expansion of -1 in z
8.087 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) (pow (/ 1 z) 1/12)) in z
8.087 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) in z
8.087 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z
8.088 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/12) in z
8.088 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 z)))) in z
8.088 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 z))) in z
8.088 * [taylor]: Taking taylor expansion of 1/12 in z
8.089 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
8.089 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.089 * [taylor]: Taking taylor expansion of z in z
8.089 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) (pow (/ 1 z) 1/12))) in z
8.089 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in z
8.089 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in z
8.089 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in z
8.089 * [taylor]: Taking taylor expansion of 1/4 in z
8.089 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
8.089 * [taylor]: Taking taylor expansion of (cbrt -1) in z
8.089 * [taylor]: Taking taylor expansion of -1 in z
8.093 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) (pow (/ 1 z) 1/12)) in z
8.093 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (cbrt -1) (pow (/ 1 z) 1/3)))) in z
8.093 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) in z
8.094 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/12) in z
8.094 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 z)))) in z
8.094 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 z))) in z
8.094 * [taylor]: Taking taylor expansion of 1/12 in z
8.094 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
8.094 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.094 * [taylor]: Taking taylor expansion of z in z
8.235 * * * [progress]: simplifying candidates
8.237 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (expm1 (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (log1p (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (+ (+ (log y) (log (sqrt (sqrt z)))) (+ (log (sqrt (fabs (cbrt z)))) (log (sqrt (sqrt (cbrt z))))))
  (+ (+ (log y) (log (sqrt (sqrt z)))) (log (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (+ (log (* y (sqrt (sqrt z)))) (+ (log (sqrt (fabs (cbrt z)))) (log (sqrt (sqrt (cbrt z))))))
  (+ (log (* y (sqrt (sqrt z)))) (log (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (log (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (exp (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (sqrt (fabs (cbrt z))) (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z)))) (* (* (sqrt (sqrt (cbrt z))) (sqrt (sqrt (cbrt z)))) (sqrt (sqrt (cbrt z))))))
  (* (* (* (* y y) y) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (* (sqrt (fabs (cbrt z))) (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z)))) (* (* (sqrt (sqrt (cbrt z))) (sqrt (sqrt (cbrt z)))) (sqrt (sqrt (cbrt z))))))
  (* (* (* (* y (sqrt (sqrt z))) (* y (sqrt (sqrt z)))) (* y (sqrt (sqrt z)))) (* (* (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (* (cbrt (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))) (cbrt (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))))
  (cbrt (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (* (* (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))) (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (sqrt (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (sqrt (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (* (* y (sqrt (sqrt z))) (sqrt (fabs (cbrt z))))
  (* (sqrt (sqrt z)) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (expm1 (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (log1p (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (fabs (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))
  (* (fabs (cbrt z)) (sqrt (cbrt z)))
  (+ (log (sqrt (fabs (cbrt z)))) (log (sqrt (sqrt (cbrt z)))))
  (log (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (exp (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (* (* (sqrt (fabs (cbrt z))) (sqrt (fabs (cbrt z)))) (sqrt (fabs (cbrt z)))) (* (* (sqrt (sqrt (cbrt z))) (sqrt (sqrt (cbrt z)))) (sqrt (sqrt (cbrt z)))))
  (* (cbrt (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) (cbrt (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (cbrt (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (* (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (fabs (cbrt z)) (sqrt (cbrt z)))
  (sqrt (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (sqrt (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt (sqrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt (sqrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt (sqrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt (sqrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (fabs (cbrt z))) (* (cbrt (sqrt (sqrt (cbrt z)))) (cbrt (sqrt (sqrt (cbrt z))))))
  (* (sqrt (fabs (cbrt z))) (sqrt (* (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt (* (cbrt z) (cbrt z))))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt (sqrt z)))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt 1))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt 1)))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (fabs (cbrt z))) (sqrt 1))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (fabs (cbrt z))) 1)
  (* (cbrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (cbrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (* (sqrt (fabs (pow z 1/3))) (* (pow z 1/3) y))
  (* (sqrt (fabs (pow z 1/3))) (* (pow z 1/3) y))
  (- (* (* (sqrt +nan.0) y) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 z) 1/3) (cbrt -1)))) (pow (* z -1) 1/12)))) (+ (* +nan.0 (* (/ y (pow (sqrt +nan.0) 3)) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 z) 1/3) (cbrt -1)))) (pow (/ -1 (pow z 23)) 1/12))))) (- (+ (* +nan.0 (* (/ y (sqrt +nan.0)) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 z) 1/3) (cbrt -1)))) (pow (/ -1 (pow z 23)) 1/12))))) (- (* +nan.0 (* (/ y (sqrt +nan.0)) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 z) 1/3) (cbrt -1)))) (pow (/ -1 (pow z 11)) 1/12))))))))))
  (* (sqrt (fabs (pow z 1/3))) (pow z 1/12))
  (* (sqrt (fabs (pow z 1/3))) (pow z 1/12))
  (* (pow (* -1 z) 1/12) (* (pow (cbrt -1) 1/4) (sqrt (fabs (* (pow (* -1 z) 1/3) (cbrt -1))))))
8.243 * * [simplify]: iteration  0 :  166  enodes  (cost  1413 )
8.278 * * [simplify]: iteration  1 :  380  enodes  (cost  1244 )
8.368 * * [simplify]: iteration  2 :  1269  enodes  (cost  1146 )
8.724 * * [simplify]: iteration  done :  5000  enodes  (cost  1146 )
8.725 * [simplify]: Simplified to:
   (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (pow z 2/3))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (pow (cbrt z) 3)
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (pow z 2/3))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (pow (cbrt z) 3)
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (expm1 (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (log1p (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (log (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (log (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (log (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (log (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (log (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (exp (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (pow (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) 3)
  (pow (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) 3)
  (pow (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) 3)
  (pow (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) 3)
  (* (cbrt (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))) (cbrt (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))))
  (cbrt (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (pow (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) 3)
  (sqrt (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (sqrt (* (* y (sqrt (sqrt z))) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (* (* y (sqrt (sqrt z))) (sqrt (fabs (cbrt z))))
  (* (sqrt (sqrt z)) (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (expm1 (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (log1p (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (sqrt (cbrt z)) (fabs (cbrt z)))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (cbrt z)) (fabs (cbrt z)))
  (log (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (log (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (exp (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (pow (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))) 3)
  (* (cbrt (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))) (cbrt (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))))
  (cbrt (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (pow (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))) 3)
  (* (sqrt (cbrt z)) (fabs (cbrt z)))
  (sqrt (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (sqrt (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt (sqrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt (sqrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt (sqrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt (sqrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (sqrt (cbrt z)))))
  (* (sqrt (fabs (cbrt z))) (* (cbrt (sqrt (sqrt (cbrt z)))) (cbrt (sqrt (sqrt (cbrt z))))))
  (* (sqrt (fabs (cbrt z))) (fabs (cbrt (sqrt (cbrt z)))))
  (* (sqrt (sqrt (cbrt (pow z 2/3)))) (sqrt (fabs (cbrt z))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt (sqrt z)))))
  (sqrt (fabs (cbrt z)))
  (* (sqrt (fabs (cbrt z))) (sqrt (fabs (cbrt (cbrt z)))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (sqrt (cbrt z)))))
  (sqrt (fabs (cbrt z)))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (sqrt (cbrt z)))))
  (sqrt (fabs (cbrt z)))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (sqrt (cbrt z)))))
  (sqrt (fabs (cbrt z)))
  (* (cbrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (cbrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (sqrt (fabs (cbrt z)))) (sqrt (sqrt (cbrt z))))
  (* (sqrt (fabs (cbrt z))) (sqrt (sqrt (cbrt z))))
  (cbrt z)
  (pow (/ 1 z) -1/3)
  (* (cbrt -1) (cbrt (- z)))
  (cbrt z)
  (pow (/ 1 z) -1/3)
  (* (cbrt -1) (cbrt (- z)))
  (* (sqrt (fabs (cbrt z))) (* y (cbrt z)))
  (* (sqrt (fabs (cbrt z))) (* y (cbrt z)))
  (fma (* (pow (cbrt -1) 1/4) (* (pow (- z) 1/12) (sqrt (fabs (* (cbrt -1) (cbrt (- z))))))) (* (sqrt +nan.0) y) (- (- (* (* +nan.0 (/ y (pow (sqrt +nan.0) 3))) (* (* (sqrt (fabs (* (cbrt -1) (cbrt (- z))))) (pow (/ -1 (pow z 23)) 1/12)) (pow (cbrt -1) 1/4))) (* (* +nan.0 (/ y (sqrt +nan.0))) (- (* (* (sqrt (fabs (* (cbrt -1) (cbrt (- z))))) (pow (/ -1 (pow z 23)) 1/12)) (pow (cbrt -1) 1/4)) (* (* (pow (cbrt -1) 1/4) (sqrt (fabs (* (cbrt -1) (cbrt (- z)))))) (pow (/ -1 (pow z 11)) 1/12)))))))
  (* (sqrt (fabs (cbrt z))) (pow z 1/12))
  (* (sqrt (fabs (cbrt z))) (pow z 1/12))
  (* (pow (cbrt -1) 1/4) (* (pow (- z) 1/12) (sqrt (fabs (* (cbrt -1) (cbrt (- z)))))))
8.726 * * * [progress]: adding candidates to table
9.087 * [progress]: [Phase 3 of 3] Extracting.
9.087 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (sqrt (sqrt z))) (sqrt (* (sqrt (cbrt z)) (fabs (cbrt z))))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))))>)
9.088 * * * [regime-changes]: Trying 7 branch expressions: ((sqrt z) (* y (sqrt z)) (+ x (* y (sqrt z))) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) z y x)
9.088 * * * * [regimes]: Trying to branch on (sqrt z) from (#<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (sqrt (sqrt z))) (sqrt (* (sqrt (cbrt z)) (fabs (cbrt z))))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))))>)
9.118 * * * * [regimes]: Trying to branch on (* y (sqrt z)) from (#<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (sqrt (sqrt z))) (sqrt (* (sqrt (cbrt z)) (fabs (cbrt z))))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))))>)
9.146 * * * * [regimes]: Trying to branch on (+ x (* y (sqrt z))) from (#<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (sqrt (sqrt z))) (sqrt (* (sqrt (cbrt z)) (fabs (cbrt z))))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))))>)
9.172 * * * * [regimes]: Trying to branch on (* (/ 1.0 2.0) (+ x (* y (sqrt z)))) from (#<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (sqrt (sqrt z))) (sqrt (* (sqrt (cbrt z)) (fabs (cbrt z))))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))))>)
9.202 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (sqrt (sqrt z))) (sqrt (* (sqrt (cbrt z)) (fabs (cbrt z))))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))))>)
9.227 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (sqrt (sqrt z))) (sqrt (* (sqrt (cbrt z)) (fabs (cbrt z))))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))))>)
9.250 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (cbrt (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (sqrt z))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* y (sqrt z)))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* y (sqrt (sqrt z))) (sqrt (* (sqrt (cbrt z)) (fabs (cbrt z))))))))> #<alt (λ (x y z) (* (/ 1.0 2.0) (+ x (* (* (* y (sqrt (sqrt (sqrt z)))) (sqrt (sqrt (sqrt z)))) (sqrt (sqrt z))))))>)
9.275 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
9.275 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ 1.0 2.0) (+ x (* y (sqrt z))))
9.276 * * [simplify]: iteration  0 :  10  enodes  (cost  10 )
9.276 * * [simplify]: iteration  1 :  13  enodes  (cost  10 )
9.276 * * [simplify]: iteration  done :  13  enodes  (cost  10 )
9.276 * [simplify]: Simplified to:
   (* (/ 1.0 2.0) (+ x (* y (sqrt z))))
10.279 * [regime-testing]: Baseline error score: 0.13600536199470042
10.279 * [regime-testing]: Oracle error score: 0.053171887497798144
10.280 * [regime-testing]: End program error score: 0.13600536199470042