27.749 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (/ (* (/ y z) t) t))
0.027 * * [simplify]: iteration  0 :  16  enodes  (cost  4 )
0.029 * * [simplify]: iteration  1 :  42  enodes  (cost  3 )
0.031 * * [simplify]: iteration  2 :  109  enodes  (cost  2 )
0.035 * * [simplify]: iteration  3 :  577  enodes  (cost  2 )
0.054 * * [simplify]: iteration  4 :  4438  enodes  (cost  2 )
0.119 * * [simplify]: iteration  5 :  5001  enodes  (cost  2 )
0.119 * [simplify]: Simplified to:
   (* x (/ y z))
0.123 * * [progress]: iteration 1 / 4
0.123 * * * [progress]: picking best candidate
0.126 * * * * [pick]: Picked  #<alt (λ (x y z t) (* x (/ y z)))>
0.126 * * * [progress]: localizing error
0.133 * * * [progress]: generating rewritten candidates
0.133 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.142 * * * [progress]: generating series expansions
0.142 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.142 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
0.142 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
0.142 * [taylor]: Taking taylor expansion of (* x y) in z
0.142 * [taylor]: Taking taylor expansion of x in z
0.142 * [taylor]: Taking taylor expansion of y in z
0.142 * [taylor]: Taking taylor expansion of z in z
0.142 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
0.142 * [taylor]: Taking taylor expansion of (* x y) in y
0.142 * [taylor]: Taking taylor expansion of x in y
0.142 * [taylor]: Taking taylor expansion of y in y
0.142 * [taylor]: Taking taylor expansion of z in y
0.143 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.143 * [taylor]: Taking taylor expansion of (* x y) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of y in x
0.143 * [taylor]: Taking taylor expansion of z in x
0.143 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.143 * [taylor]: Taking taylor expansion of (* x y) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of y in x
0.143 * [taylor]: Taking taylor expansion of z in x
0.144 * [taylor]: Taking taylor expansion of (/ y z) in y
0.144 * [taylor]: Taking taylor expansion of y in y
0.144 * [taylor]: Taking taylor expansion of z in y
0.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.144 * [taylor]: Taking taylor expansion of z in z
0.145 * [taylor]: Taking taylor expansion of 0 in y
0.145 * [taylor]: Taking taylor expansion of 0 in z
0.145 * [taylor]: Taking taylor expansion of 0 in z
0.147 * [taylor]: Taking taylor expansion of 0 in y
0.147 * [taylor]: Taking taylor expansion of 0 in z
0.147 * [taylor]: Taking taylor expansion of 0 in z
0.147 * [taylor]: Taking taylor expansion of 0 in z
0.149 * [taylor]: Taking taylor expansion of 0 in y
0.149 * [taylor]: Taking taylor expansion of 0 in z
0.149 * [taylor]: Taking taylor expansion of 0 in z
0.149 * [taylor]: Taking taylor expansion of 0 in z
0.149 * [taylor]: Taking taylor expansion of 0 in z
0.149 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
0.149 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.149 * [taylor]: Taking taylor expansion of z in z
0.149 * [taylor]: Taking taylor expansion of (* x y) in z
0.149 * [taylor]: Taking taylor expansion of x in z
0.149 * [taylor]: Taking taylor expansion of y in z
0.149 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.149 * [taylor]: Taking taylor expansion of z in y
0.149 * [taylor]: Taking taylor expansion of (* x y) in y
0.149 * [taylor]: Taking taylor expansion of x in y
0.149 * [taylor]: Taking taylor expansion of y in y
0.150 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.150 * [taylor]: Taking taylor expansion of z in x
0.150 * [taylor]: Taking taylor expansion of (* x y) in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of y in x
0.150 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.150 * [taylor]: Taking taylor expansion of z in x
0.150 * [taylor]: Taking taylor expansion of (* x y) in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of y in x
0.151 * [taylor]: Taking taylor expansion of (/ z y) in y
0.151 * [taylor]: Taking taylor expansion of z in y
0.151 * [taylor]: Taking taylor expansion of y in y
0.151 * [taylor]: Taking taylor expansion of z in z
0.152 * [taylor]: Taking taylor expansion of 0 in y
0.152 * [taylor]: Taking taylor expansion of 0 in z
0.153 * [taylor]: Taking taylor expansion of 0 in y
0.153 * [taylor]: Taking taylor expansion of 0 in z
0.154 * [taylor]: Taking taylor expansion of 0 in z
0.155 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
0.155 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
0.155 * [taylor]: Taking taylor expansion of -1 in z
0.155 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.155 * [taylor]: Taking taylor expansion of z in z
0.155 * [taylor]: Taking taylor expansion of (* x y) in z
0.155 * [taylor]: Taking taylor expansion of x in z
0.155 * [taylor]: Taking taylor expansion of y in z
0.155 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
0.155 * [taylor]: Taking taylor expansion of -1 in y
0.155 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.155 * [taylor]: Taking taylor expansion of z in y
0.155 * [taylor]: Taking taylor expansion of (* x y) in y
0.155 * [taylor]: Taking taylor expansion of x in y
0.155 * [taylor]: Taking taylor expansion of y in y
0.155 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.155 * [taylor]: Taking taylor expansion of -1 in x
0.155 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.155 * [taylor]: Taking taylor expansion of z in x
0.155 * [taylor]: Taking taylor expansion of (* x y) in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of y in x
0.156 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.156 * [taylor]: Taking taylor expansion of -1 in x
0.156 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.156 * [taylor]: Taking taylor expansion of z in x
0.156 * [taylor]: Taking taylor expansion of (* x y) in x
0.156 * [taylor]: Taking taylor expansion of x in x
0.156 * [taylor]: Taking taylor expansion of y in x
0.156 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
0.156 * [taylor]: Taking taylor expansion of -1 in y
0.157 * [taylor]: Taking taylor expansion of (/ z y) in y
0.157 * [taylor]: Taking taylor expansion of z in y
0.157 * [taylor]: Taking taylor expansion of y in y
0.157 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.157 * [taylor]: Taking taylor expansion of -1 in z
0.157 * [taylor]: Taking taylor expansion of z in z
0.158 * [taylor]: Taking taylor expansion of 0 in y
0.159 * [taylor]: Taking taylor expansion of 0 in z
0.161 * [taylor]: Taking taylor expansion of 0 in y
0.161 * [taylor]: Taking taylor expansion of 0 in z
0.163 * [taylor]: Taking taylor expansion of 0 in z
0.164 * * * [progress]: simplifying candidates
0.164 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* x (/ y z)))
  (log1p (* x (/ y z)))
  (* x (/ y z))
  (+ (log x) (- (log y) (log z)))
  (+ (log x) (log (/ y z)))
  (log (* x (/ y z)))
  (exp (* x (/ y z)))
  (* (* (* x x) x) (/ (* (* y y) y) (* (* z z) z)))
  (* (* (* x x) x) (* (* (/ y z) (/ y z)) (/ y z)))
  (* (cbrt (* x (/ y z))) (cbrt (* x (/ y z))))
  (cbrt (* x (/ y z)))
  (* (* (* x (/ y z)) (* x (/ y z))) (* x (/ y z)))
  (sqrt (* x (/ y z)))
  (sqrt (* x (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* x (* (cbrt (/ y z)) (cbrt (/ y z))))
  (* x (sqrt (/ y z)))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (sqrt z)))
  (* x (/ (* (cbrt y) (cbrt y)) 1))
  (* x (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (* x (/ (sqrt y) (sqrt z)))
  (* x (/ (sqrt y) 1))
  (* x (/ 1 (* (cbrt z) (cbrt z))))
  (* x (/ 1 (sqrt z)))
  (* x (/ 1 1))
  (* x 1)
  (* x y)
  (* (cbrt x) (/ y z))
  (* (sqrt x) (/ y z))
  (* x (/ y z))
  (* x y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
0.168 * * [simplify]: iteration  0 :  168  enodes  (cost  139 )
0.173 * * [simplify]: iteration  1 :  746  enodes  (cost  124 )
0.190 * * [simplify]: iteration  2 :  3155  enodes  (cost  124 )
0.238 * * [simplify]: iteration  3 :  5002  enodes  (cost  124 )
0.240 * [simplify]: Simplified to:
   (expm1 (* x (/ y z)))
  (log1p (* x (/ y z)))
  (* x (/ y z))
  (log (* x (/ y z)))
  (log (* x (/ y z)))
  (log (* x (/ y z)))
  (exp (* x (/ y z)))
  (pow (* x (/ y z)) 3)
  (pow (* x (/ y z)) 3)
  (* (cbrt (* x (/ y z))) (cbrt (* x (/ y z))))
  (cbrt (* x (/ y z)))
  (pow (* x (/ y z)) 3)
  (sqrt (* x (/ y z)))
  (sqrt (* x (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* x (* (cbrt (/ y z)) (cbrt (/ y z))))
  (* x (sqrt (/ y z)))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (sqrt z)))
  (* (* (cbrt y) (cbrt y)) x)
  (* x (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (* x (/ (sqrt y) (sqrt z)))
  (* (sqrt y) x)
  (/ x (* (cbrt z) (cbrt z)))
  (/ x (sqrt z))
  x
  x
  (* x y)
  (* (cbrt x) (/ y z))
  (* (sqrt x) (/ y z))
  (* x (/ y z))
  (* x y)
  (* x (/ y z))
  (* x (/ y z))
  (* x (/ y z))
0.240 * * * [progress]: adding candidates to table
0.315 * * [progress]: iteration 2 / 4
0.315 * * * [progress]: picking best candidate
0.330 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (cbrt z))))>
0.330 * * * [progress]: localizing error
0.342 * * * [progress]: generating rewritten candidates
0.342 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.358 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.359 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
0.360 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
0.364 * * * [progress]: generating series expansions
0.364 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.364 * [approximate]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in (x y z) around 0
0.364 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in z
0.364 * [taylor]: Taking taylor expansion of x in z
0.364 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in z
0.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in z
0.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in z
0.364 * [taylor]: Taking taylor expansion of 1/3 in z
0.364 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in z
0.364 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in z
0.364 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.364 * [taylor]: Taking taylor expansion of y in z
0.364 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.364 * [taylor]: Taking taylor expansion of z in z
0.366 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in y
0.366 * [taylor]: Taking taylor expansion of x in y
0.366 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y
0.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y
0.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y
0.366 * [taylor]: Taking taylor expansion of 1/3 in y
0.366 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
0.366 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
0.366 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.366 * [taylor]: Taking taylor expansion of y in y
0.366 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.366 * [taylor]: Taking taylor expansion of z in y
0.367 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x
0.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x
0.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x
0.368 * [taylor]: Taking taylor expansion of 1/3 in x
0.368 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x
0.368 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x
0.368 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.368 * [taylor]: Taking taylor expansion of y in x
0.368 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.368 * [taylor]: Taking taylor expansion of z in x
0.368 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.368 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x
0.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x
0.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x
0.368 * [taylor]: Taking taylor expansion of 1/3 in x
0.368 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x
0.368 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x
0.368 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.368 * [taylor]: Taking taylor expansion of y in x
0.368 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.368 * [taylor]: Taking taylor expansion of z in x
0.369 * [taylor]: Taking taylor expansion of 0 in y
0.369 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y
0.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y
0.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y
0.373 * [taylor]: Taking taylor expansion of 1/3 in y
0.373 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
0.373 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
0.373 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.373 * [taylor]: Taking taylor expansion of y in y
0.373 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.373 * [taylor]: Taking taylor expansion of z in y
0.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y))))) in z
0.374 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y)))) in z
0.374 * [taylor]: Taking taylor expansion of 1/3 in z
0.374 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow z 2))) (* 2 (log y))) in z
0.374 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
0.374 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.374 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.374 * [taylor]: Taking taylor expansion of z in z
0.375 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
0.375 * [taylor]: Taking taylor expansion of 2 in z
0.375 * [taylor]: Taking taylor expansion of (log y) in z
0.375 * [taylor]: Taking taylor expansion of y in z
0.376 * [taylor]: Taking taylor expansion of 0 in z
0.381 * [taylor]: Taking taylor expansion of 0 in y
0.381 * [taylor]: Taking taylor expansion of 0 in z
0.384 * [taylor]: Taking taylor expansion of 0 in z
0.385 * [taylor]: Taking taylor expansion of 0 in z
0.389 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in (x y z) around 0
0.389 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z
0.389 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.389 * [taylor]: Taking taylor expansion of x in z
0.389 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z
0.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z
0.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z
0.389 * [taylor]: Taking taylor expansion of 1/3 in z
0.389 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z
0.389 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z
0.389 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.389 * [taylor]: Taking taylor expansion of z in z
0.389 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.389 * [taylor]: Taking taylor expansion of y in z
0.391 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
0.391 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.391 * [taylor]: Taking taylor expansion of x in y
0.391 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
0.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
0.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
0.391 * [taylor]: Taking taylor expansion of 1/3 in y
0.391 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
0.391 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
0.391 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.391 * [taylor]: Taking taylor expansion of z in y
0.391 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.391 * [taylor]: Taking taylor expansion of y in y
0.392 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
0.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.392 * [taylor]: Taking taylor expansion of x in x
0.393 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
0.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
0.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
0.393 * [taylor]: Taking taylor expansion of 1/3 in x
0.393 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
0.393 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
0.393 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.393 * [taylor]: Taking taylor expansion of z in x
0.393 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.393 * [taylor]: Taking taylor expansion of y in x
0.393 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
0.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.393 * [taylor]: Taking taylor expansion of x in x
0.394 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
0.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
0.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
0.394 * [taylor]: Taking taylor expansion of 1/3 in x
0.394 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
0.394 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
0.394 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.394 * [taylor]: Taking taylor expansion of z in x
0.394 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.394 * [taylor]: Taking taylor expansion of y in x
0.395 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
0.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
0.395 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
0.395 * [taylor]: Taking taylor expansion of 1/3 in y
0.395 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
0.395 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
0.395 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.395 * [taylor]: Taking taylor expansion of z in y
0.395 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.395 * [taylor]: Taking taylor expansion of y in y
0.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z
0.396 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z
0.396 * [taylor]: Taking taylor expansion of 1/3 in z
0.396 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z
0.396 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
0.396 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.396 * [taylor]: Taking taylor expansion of z in z
0.397 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
0.397 * [taylor]: Taking taylor expansion of 2 in z
0.397 * [taylor]: Taking taylor expansion of (log y) in z
0.397 * [taylor]: Taking taylor expansion of y in z
0.401 * [taylor]: Taking taylor expansion of 0 in y
0.401 * [taylor]: Taking taylor expansion of 0 in z
0.405 * [taylor]: Taking taylor expansion of 0 in z
0.414 * [taylor]: Taking taylor expansion of 0 in y
0.414 * [taylor]: Taking taylor expansion of 0 in z
0.414 * [taylor]: Taking taylor expansion of 0 in z
0.419 * [taylor]: Taking taylor expansion of 0 in z
0.420 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in (x y z) around 0
0.420 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in z
0.420 * [taylor]: Taking taylor expansion of -1 in z
0.420 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z
0.420 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.420 * [taylor]: Taking taylor expansion of x in z
0.420 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z
0.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z
0.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z
0.420 * [taylor]: Taking taylor expansion of 1/3 in z
0.420 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z
0.420 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z
0.420 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.420 * [taylor]: Taking taylor expansion of z in z
0.420 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.420 * [taylor]: Taking taylor expansion of y in z
0.422 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in y
0.422 * [taylor]: Taking taylor expansion of -1 in y
0.422 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
0.422 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.422 * [taylor]: Taking taylor expansion of x in y
0.422 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
0.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
0.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
0.422 * [taylor]: Taking taylor expansion of 1/3 in y
0.422 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
0.422 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
0.422 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.422 * [taylor]: Taking taylor expansion of z in y
0.422 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.422 * [taylor]: Taking taylor expansion of y in y
0.423 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x
0.423 * [taylor]: Taking taylor expansion of -1 in x
0.423 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
0.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.423 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
0.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
0.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
0.424 * [taylor]: Taking taylor expansion of 1/3 in x
0.424 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
0.424 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
0.424 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.424 * [taylor]: Taking taylor expansion of z in x
0.424 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.424 * [taylor]: Taking taylor expansion of y in x
0.424 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x
0.424 * [taylor]: Taking taylor expansion of -1 in x
0.424 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.425 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
0.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
0.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
0.425 * [taylor]: Taking taylor expansion of 1/3 in x
0.425 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
0.425 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
0.425 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.425 * [taylor]: Taking taylor expansion of z in x
0.425 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.425 * [taylor]: Taking taylor expansion of y in x
0.426 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
0.426 * [taylor]: Taking taylor expansion of -1 in y
0.426 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
0.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
0.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
0.426 * [taylor]: Taking taylor expansion of 1/3 in y
0.426 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
0.426 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
0.426 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.426 * [taylor]: Taking taylor expansion of z in y
0.426 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.426 * [taylor]: Taking taylor expansion of y in y
0.428 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y)))))) in z
0.428 * [taylor]: Taking taylor expansion of -1 in z
0.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z
0.428 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z
0.428 * [taylor]: Taking taylor expansion of 1/3 in z
0.428 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z
0.428 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
0.428 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.428 * [taylor]: Taking taylor expansion of z in z
0.428 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
0.428 * [taylor]: Taking taylor expansion of 2 in z
0.428 * [taylor]: Taking taylor expansion of (log y) in z
0.428 * [taylor]: Taking taylor expansion of y in z
0.433 * [taylor]: Taking taylor expansion of 0 in y
0.434 * [taylor]: Taking taylor expansion of 0 in z
0.437 * [taylor]: Taking taylor expansion of 0 in z
0.448 * [taylor]: Taking taylor expansion of 0 in y
0.448 * [taylor]: Taking taylor expansion of 0 in z
0.448 * [taylor]: Taking taylor expansion of 0 in z
0.454 * [taylor]: Taking taylor expansion of 0 in z
0.455 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.455 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.455 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.455 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.455 * [taylor]: Taking taylor expansion of 1/3 in y
0.455 * [taylor]: Taking taylor expansion of (log y) in y
0.455 * [taylor]: Taking taylor expansion of y in y
0.455 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.456 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.456 * [taylor]: Taking taylor expansion of 1/3 in y
0.456 * [taylor]: Taking taylor expansion of (log y) in y
0.456 * [taylor]: Taking taylor expansion of y in y
0.511 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.511 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.511 * [taylor]: Taking taylor expansion of 1/3 in y
0.511 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.511 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.511 * [taylor]: Taking taylor expansion of y in y
0.512 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.513 * [taylor]: Taking taylor expansion of 1/3 in y
0.513 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.513 * [taylor]: Taking taylor expansion of y in y
0.571 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.571 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.571 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.571 * [taylor]: Taking taylor expansion of -1 in y
0.572 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.572 * [taylor]: Taking taylor expansion of 1/3 in y
0.572 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.572 * [taylor]: Taking taylor expansion of y in y
0.573 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.573 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.573 * [taylor]: Taking taylor expansion of -1 in y
0.574 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.574 * [taylor]: Taking taylor expansion of 1/3 in y
0.574 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.574 * [taylor]: Taking taylor expansion of y in y
0.646 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
0.646 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.646 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.646 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.646 * [taylor]: Taking taylor expansion of 1/3 in y
0.646 * [taylor]: Taking taylor expansion of (log y) in y
0.646 * [taylor]: Taking taylor expansion of y in y
0.647 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.647 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.647 * [taylor]: Taking taylor expansion of 1/3 in y
0.647 * [taylor]: Taking taylor expansion of (log y) in y
0.647 * [taylor]: Taking taylor expansion of y in y
0.702 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.702 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.702 * [taylor]: Taking taylor expansion of 1/3 in y
0.702 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.702 * [taylor]: Taking taylor expansion of y in y
0.703 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.704 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.704 * [taylor]: Taking taylor expansion of 1/3 in y
0.704 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.704 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.704 * [taylor]: Taking taylor expansion of y in y
0.758 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.758 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.758 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.758 * [taylor]: Taking taylor expansion of -1 in y
0.759 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.759 * [taylor]: Taking taylor expansion of 1/3 in y
0.759 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.759 * [taylor]: Taking taylor expansion of y in y
0.760 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.760 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.760 * [taylor]: Taking taylor expansion of -1 in y
0.761 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.761 * [taylor]: Taking taylor expansion of 1/3 in y
0.761 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.761 * [taylor]: Taking taylor expansion of y in y
0.832 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
0.832 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.832 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.832 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.832 * [taylor]: Taking taylor expansion of 1/3 in y
0.832 * [taylor]: Taking taylor expansion of (log y) in y
0.832 * [taylor]: Taking taylor expansion of y in y
0.833 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.833 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.833 * [taylor]: Taking taylor expansion of 1/3 in y
0.833 * [taylor]: Taking taylor expansion of (log y) in y
0.833 * [taylor]: Taking taylor expansion of y in y
0.888 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.888 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.888 * [taylor]: Taking taylor expansion of 1/3 in y
0.888 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.889 * [taylor]: Taking taylor expansion of y in y
0.890 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.890 * [taylor]: Taking taylor expansion of 1/3 in y
0.890 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.890 * [taylor]: Taking taylor expansion of y in y
0.949 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.950 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.950 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.950 * [taylor]: Taking taylor expansion of -1 in y
0.951 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.951 * [taylor]: Taking taylor expansion of 1/3 in y
0.951 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.951 * [taylor]: Taking taylor expansion of y in y
0.952 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.952 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.952 * [taylor]: Taking taylor expansion of -1 in y
0.953 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.953 * [taylor]: Taking taylor expansion of 1/3 in y
0.953 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.953 * [taylor]: Taking taylor expansion of y in y
1.021 * * * [progress]: simplifying candidates
1.028 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log1p (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt z)) (log (cbrt z)))))
  (+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt z) (cbrt z)))))
  (+ (log x) (- (log (* (cbrt y) (cbrt y))) (+ (log (cbrt z)) (log (cbrt z)))))
  (+ (log x) (- (log (* (cbrt y) (cbrt y))) (log (* (cbrt z) (cbrt z)))))
  (+ (log x) (log (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (exp (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (* x x) x) (/ (* y y) (* z z)))
  (* (* (* x x) x) (/ (* y y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))))
  (* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* z z)))
  (* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))))
  (* (* (* x x) x) (* (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* x (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* x (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* x (/ (cbrt y) (cbrt z)))
  (* x 1)
  (* x (* (cbrt y) (cbrt y)))
  (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (sqrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (* (cbrt y) (cbrt y)))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* (exp (* 1/3 (- (* 2 (log y)) (* 2 (log z))))) x)
  (* (exp (* 1/3 (- (* 2 (log (/ 1 z))) (* 2 (log (/ 1 y)))))) x)
  (* (exp (* 1/3 (- (* 2 (log (/ -1 z))) (* 2 (log (/ -1 y)))))) x)
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
1.034 * * [simplify]: iteration  0 :  308  enodes  (cost  503 )
1.040 * * [simplify]: iteration  1 :  1346  enodes  (cost  407 )
1.071 * * [simplify]: iteration  2 :  5002  enodes  (cost  368 )
1.074 * [simplify]: Simplified to:
   (expm1 (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log1p (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (/ (* (pow y 2/3) x) (* (cbrt z) (cbrt z)))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (pow (exp 1) (/ (* (pow y 2/3) x) (* (cbrt z) (cbrt z))))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* x (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* x (fabs (/ (cbrt y) (cbrt z))))
  (* x (/ (cbrt y) (cbrt z)))
  x
  (* x (pow y 2/3))
  (/ (* (pow y 2/3) (cbrt x)) (* (cbrt z) (cbrt z)))
  (/ (* (pow y 2/3) (sqrt x)) (* (cbrt z) (cbrt z)))
  (/ (* (pow y 2/3) x) (* (cbrt z) (cbrt z)))
  (* x (pow y 2/3))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* (pow (exp (* 2 (- (log y) (log z)))) 1/3) x)
  (* (pow (exp (* 2 (- (log y) (log z)))) 1/3) x)
  (* (pow (exp (* 2 (- (log (/ -1 z)) (log (/ -1 y))))) 1/3) x)
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
1.074 * * * [progress]: adding candidates to table
1.283 * * [progress]: iteration 3 / 4
1.283 * * * [progress]: picking best candidate
1.303 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))>
1.304 * * * [progress]: localizing error
1.320 * * * [progress]: generating rewritten candidates
1.320 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.333 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
1.335 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
1.336 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
1.340 * * * [progress]: generating series expansions
1.340 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.340 * [approximate]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in (x y z) around 0
1.341 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in z
1.341 * [taylor]: Taking taylor expansion of x in z
1.341 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in z
1.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in z
1.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in z
1.341 * [taylor]: Taking taylor expansion of 1/3 in z
1.341 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in z
1.341 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in z
1.341 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.341 * [taylor]: Taking taylor expansion of y in z
1.341 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.341 * [taylor]: Taking taylor expansion of z in z
1.342 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in y
1.342 * [taylor]: Taking taylor expansion of x in y
1.342 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y
1.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y
1.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y
1.342 * [taylor]: Taking taylor expansion of 1/3 in y
1.342 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
1.342 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
1.342 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.342 * [taylor]: Taking taylor expansion of y in y
1.342 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.342 * [taylor]: Taking taylor expansion of z in y
1.344 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x
1.344 * [taylor]: Taking taylor expansion of x in x
1.344 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x
1.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x
1.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x
1.344 * [taylor]: Taking taylor expansion of 1/3 in x
1.344 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x
1.344 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x
1.344 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.344 * [taylor]: Taking taylor expansion of y in x
1.344 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.344 * [taylor]: Taking taylor expansion of z in x
1.345 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x
1.345 * [taylor]: Taking taylor expansion of x in x
1.345 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x
1.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x
1.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x
1.345 * [taylor]: Taking taylor expansion of 1/3 in x
1.345 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x
1.345 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x
1.345 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.345 * [taylor]: Taking taylor expansion of y in x
1.345 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.345 * [taylor]: Taking taylor expansion of z in x
1.345 * [taylor]: Taking taylor expansion of 0 in y
1.345 * [taylor]: Taking taylor expansion of 0 in z
1.348 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y
1.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y
1.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y
1.349 * [taylor]: Taking taylor expansion of 1/3 in y
1.349 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
1.349 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
1.349 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.349 * [taylor]: Taking taylor expansion of y in y
1.349 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.349 * [taylor]: Taking taylor expansion of z in y
1.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y))))) in z
1.350 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y)))) in z
1.350 * [taylor]: Taking taylor expansion of 1/3 in z
1.350 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow z 2))) (* 2 (log y))) in z
1.350 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.350 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.350 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.350 * [taylor]: Taking taylor expansion of z in z
1.351 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.351 * [taylor]: Taking taylor expansion of 2 in z
1.351 * [taylor]: Taking taylor expansion of (log y) in z
1.351 * [taylor]: Taking taylor expansion of y in z
1.356 * [taylor]: Taking taylor expansion of 0 in z
1.361 * [taylor]: Taking taylor expansion of 0 in y
1.361 * [taylor]: Taking taylor expansion of 0 in z
1.364 * [taylor]: Taking taylor expansion of 0 in z
1.365 * [taylor]: Taking taylor expansion of 0 in z
1.369 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in (x y z) around 0
1.369 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z
1.369 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.369 * [taylor]: Taking taylor expansion of x in z
1.369 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z
1.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z
1.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z
1.369 * [taylor]: Taking taylor expansion of 1/3 in z
1.369 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z
1.369 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z
1.369 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.369 * [taylor]: Taking taylor expansion of z in z
1.369 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.369 * [taylor]: Taking taylor expansion of y in z
1.371 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
1.371 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.371 * [taylor]: Taking taylor expansion of x in y
1.371 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
1.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
1.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
1.371 * [taylor]: Taking taylor expansion of 1/3 in y
1.371 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
1.371 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
1.371 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.371 * [taylor]: Taking taylor expansion of z in y
1.371 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.371 * [taylor]: Taking taylor expansion of y in y
1.372 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
1.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.372 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
1.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
1.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
1.373 * [taylor]: Taking taylor expansion of 1/3 in x
1.373 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
1.373 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
1.373 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.373 * [taylor]: Taking taylor expansion of z in x
1.373 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.373 * [taylor]: Taking taylor expansion of y in x
1.373 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
1.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.373 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
1.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
1.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
1.374 * [taylor]: Taking taylor expansion of 1/3 in x
1.374 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
1.374 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
1.374 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.374 * [taylor]: Taking taylor expansion of z in x
1.374 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.374 * [taylor]: Taking taylor expansion of y in x
1.375 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
1.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
1.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
1.375 * [taylor]: Taking taylor expansion of 1/3 in y
1.375 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
1.375 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
1.375 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.375 * [taylor]: Taking taylor expansion of z in y
1.375 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.375 * [taylor]: Taking taylor expansion of y in y
1.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z
1.376 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z
1.376 * [taylor]: Taking taylor expansion of 1/3 in z
1.376 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z
1.376 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.376 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.376 * [taylor]: Taking taylor expansion of z in z
1.377 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.377 * [taylor]: Taking taylor expansion of 2 in z
1.377 * [taylor]: Taking taylor expansion of (log y) in z
1.377 * [taylor]: Taking taylor expansion of y in z
1.381 * [taylor]: Taking taylor expansion of 0 in y
1.381 * [taylor]: Taking taylor expansion of 0 in z
1.385 * [taylor]: Taking taylor expansion of 0 in z
1.394 * [taylor]: Taking taylor expansion of 0 in y
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.399 * [taylor]: Taking taylor expansion of 0 in z
1.400 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in (x y z) around 0
1.400 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in z
1.400 * [taylor]: Taking taylor expansion of -1 in z
1.400 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z
1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.400 * [taylor]: Taking taylor expansion of x in z
1.400 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z
1.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z
1.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z
1.400 * [taylor]: Taking taylor expansion of 1/3 in z
1.400 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z
1.400 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z
1.400 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.400 * [taylor]: Taking taylor expansion of z in z
1.400 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.400 * [taylor]: Taking taylor expansion of y in z
1.402 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in y
1.402 * [taylor]: Taking taylor expansion of -1 in y
1.402 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
1.402 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.402 * [taylor]: Taking taylor expansion of x in y
1.402 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
1.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
1.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
1.402 * [taylor]: Taking taylor expansion of 1/3 in y
1.402 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
1.402 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
1.402 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.402 * [taylor]: Taking taylor expansion of z in y
1.402 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.402 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x
1.403 * [taylor]: Taking taylor expansion of -1 in x
1.403 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.403 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
1.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
1.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
1.404 * [taylor]: Taking taylor expansion of 1/3 in x
1.404 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
1.404 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
1.404 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.404 * [taylor]: Taking taylor expansion of z in x
1.404 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.404 * [taylor]: Taking taylor expansion of y in x
1.404 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x
1.404 * [taylor]: Taking taylor expansion of -1 in x
1.404 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.405 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
1.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
1.405 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
1.405 * [taylor]: Taking taylor expansion of 1/3 in x
1.405 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
1.405 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
1.405 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.405 * [taylor]: Taking taylor expansion of z in x
1.405 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.405 * [taylor]: Taking taylor expansion of y in x
1.406 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
1.406 * [taylor]: Taking taylor expansion of -1 in y
1.406 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
1.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
1.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
1.406 * [taylor]: Taking taylor expansion of 1/3 in y
1.406 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
1.406 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
1.406 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.406 * [taylor]: Taking taylor expansion of z in y
1.406 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.406 * [taylor]: Taking taylor expansion of y in y
1.407 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y)))))) in z
1.407 * [taylor]: Taking taylor expansion of -1 in z
1.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z
1.407 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z
1.407 * [taylor]: Taking taylor expansion of 1/3 in z
1.407 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z
1.407 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.407 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.407 * [taylor]: Taking taylor expansion of z in z
1.408 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.408 * [taylor]: Taking taylor expansion of 2 in z
1.408 * [taylor]: Taking taylor expansion of (log y) in z
1.408 * [taylor]: Taking taylor expansion of y in z
1.413 * [taylor]: Taking taylor expansion of 0 in y
1.413 * [taylor]: Taking taylor expansion of 0 in z
1.417 * [taylor]: Taking taylor expansion of 0 in z
1.428 * [taylor]: Taking taylor expansion of 0 in y
1.428 * [taylor]: Taking taylor expansion of 0 in z
1.428 * [taylor]: Taking taylor expansion of 0 in z
1.434 * [taylor]: Taking taylor expansion of 0 in z
1.434 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
1.434 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
1.434 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.435 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.435 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.435 * [taylor]: Taking taylor expansion of 1/9 in y
1.435 * [taylor]: Taking taylor expansion of (log y) in y
1.435 * [taylor]: Taking taylor expansion of y in y
1.435 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.435 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.435 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.435 * [taylor]: Taking taylor expansion of 1/9 in y
1.435 * [taylor]: Taking taylor expansion of (log y) in y
1.435 * [taylor]: Taking taylor expansion of y in y
1.492 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
1.492 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.492 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.492 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.492 * [taylor]: Taking taylor expansion of 1/9 in y
1.492 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.492 * [taylor]: Taking taylor expansion of y in y
1.493 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.493 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.493 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.493 * [taylor]: Taking taylor expansion of 1/9 in y
1.493 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.493 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.493 * [taylor]: Taking taylor expansion of y in y
1.554 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
1.554 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
1.554 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
1.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
1.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
1.554 * [taylor]: Taking taylor expansion of 1/3 in y
1.554 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
1.554 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.554 * [taylor]: Taking taylor expansion of -1 in y
1.558 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.558 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.558 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.558 * [taylor]: Taking taylor expansion of 1/9 in y
1.558 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.558 * [taylor]: Taking taylor expansion of y in y
1.559 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
1.559 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
1.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
1.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
1.559 * [taylor]: Taking taylor expansion of 1/3 in y
1.559 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
1.559 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.559 * [taylor]: Taking taylor expansion of -1 in y
1.563 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.563 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.563 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.563 * [taylor]: Taking taylor expansion of 1/9 in y
1.563 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.563 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.563 * [taylor]: Taking taylor expansion of y in y
1.692 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
1.692 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
1.692 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.692 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.692 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.692 * [taylor]: Taking taylor expansion of 1/9 in y
1.692 * [taylor]: Taking taylor expansion of (log y) in y
1.692 * [taylor]: Taking taylor expansion of y in y
1.693 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.693 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.693 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.693 * [taylor]: Taking taylor expansion of 1/9 in y
1.693 * [taylor]: Taking taylor expansion of (log y) in y
1.693 * [taylor]: Taking taylor expansion of y in y
1.752 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
1.752 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.752 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.752 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.752 * [taylor]: Taking taylor expansion of 1/9 in y
1.752 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.752 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.752 * [taylor]: Taking taylor expansion of y in y
1.753 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.754 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.754 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.754 * [taylor]: Taking taylor expansion of 1/9 in y
1.754 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.754 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.754 * [taylor]: Taking taylor expansion of y in y
1.816 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
1.816 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
1.816 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
1.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
1.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
1.816 * [taylor]: Taking taylor expansion of 1/3 in y
1.816 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
1.816 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.816 * [taylor]: Taking taylor expansion of -1 in y
1.821 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.821 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.821 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.821 * [taylor]: Taking taylor expansion of 1/9 in y
1.821 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.821 * [taylor]: Taking taylor expansion of y in y
1.822 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
1.822 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
1.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
1.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
1.822 * [taylor]: Taking taylor expansion of 1/3 in y
1.822 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
1.822 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.822 * [taylor]: Taking taylor expansion of -1 in y
1.826 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
1.826 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
1.826 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
1.826 * [taylor]: Taking taylor expansion of 1/9 in y
1.826 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.826 * [taylor]: Taking taylor expansion of y in y
1.968 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
1.968 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
1.968 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.968 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.968 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.968 * [taylor]: Taking taylor expansion of 1/9 in y
1.968 * [taylor]: Taking taylor expansion of (log y) in y
1.968 * [taylor]: Taking taylor expansion of y in y
1.969 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
1.969 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
1.969 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
1.969 * [taylor]: Taking taylor expansion of 1/9 in y
1.969 * [taylor]: Taking taylor expansion of (log y) in y
1.969 * [taylor]: Taking taylor expansion of y in y
2.022 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
2.022 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
2.022 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
2.022 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
2.022 * [taylor]: Taking taylor expansion of 1/9 in y
2.022 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.022 * [taylor]: Taking taylor expansion of y in y
2.023 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
2.023 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
2.023 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
2.023 * [taylor]: Taking taylor expansion of 1/9 in y
2.023 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.023 * [taylor]: Taking taylor expansion of y in y
2.084 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
2.084 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
2.084 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
2.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
2.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
2.084 * [taylor]: Taking taylor expansion of 1/3 in y
2.084 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
2.084 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.084 * [taylor]: Taking taylor expansion of -1 in y
2.088 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
2.088 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
2.088 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
2.088 * [taylor]: Taking taylor expansion of 1/9 in y
2.088 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.088 * [taylor]: Taking taylor expansion of y in y
2.089 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
2.089 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
2.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
2.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
2.089 * [taylor]: Taking taylor expansion of 1/3 in y
2.089 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
2.089 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.089 * [taylor]: Taking taylor expansion of -1 in y
2.093 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
2.093 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
2.093 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
2.093 * [taylor]: Taking taylor expansion of 1/9 in y
2.093 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.093 * [taylor]: Taking taylor expansion of y in y
2.231 * * * [progress]: simplifying candidates
2.232 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log1p (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt z)) (log (cbrt z)))))
  (+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt z) (cbrt z)))))
  (+ (log x) (- (log (* (cbrt y) (cbrt y))) (+ (log (cbrt z)) (log (cbrt z)))))
  (+ (log x) (- (log (* (cbrt y) (cbrt y))) (log (* (cbrt z) (cbrt z)))))
  (+ (log x) (log (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (exp (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (* x x) x) (/ (* y y) (* z z)))
  (* (* (* x x) x) (/ (* y y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))))
  (* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* z z)))
  (* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))))
  (* (* (* x x) x) (* (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* x (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* x (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* x (/ (cbrt y) (cbrt z)))
  (* x 1)
  (* x (* (cbrt y) (cbrt y)))
  (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (sqrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (* (cbrt y) (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (* (exp (* 1/3 (- (* 2 (log y)) (* 2 (log z))))) x)
  (* (exp (* 1/3 (- (* 2 (log (/ 1 z))) (* 2 (log (/ 1 y)))))) x)
  (* (exp (* 1/3 (- (* 2 (log (/ -1 z))) (* 2 (log (/ -1 y)))))) x)
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
2.238 * * [simplify]: iteration  0 :  324  enodes  (cost  614 )
2.244 * * [simplify]: iteration  1 :  1324  enodes  (cost  524 )
2.274 * * [simplify]: iteration  2 :  5002  enodes  (cost  486 )
2.277 * [simplify]: Simplified to:
   (expm1 (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log1p (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log x))
  (exp (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* x (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* x (fabs (/ (cbrt y) (cbrt z))))
  (* x (/ (cbrt y) (cbrt z)))
  x
  (* x (* (cbrt y) (cbrt y)))
  (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (sqrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (* (cbrt y) (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt y)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt y)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt y)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (* (pow (exp (* 2 (- (log y) (log z)))) 1/3) x)
  (* (pow (exp (* 2 (- (log y) (log z)))) 1/3) x)
  (* (pow (exp (* 2 (- (log (/ -1 z)) (log (/ -1 y))))) 1/3) x)
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
2.278 * * * [progress]: adding candidates to table
2.562 * * [progress]: iteration 4 / 4
2.562 * * * [progress]: picking best candidate
2.590 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))>
2.590 * * * [progress]: localizing error
2.611 * * * [progress]: generating rewritten candidates
2.611 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
2.624 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.643 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
2.644 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2)
2.650 * * * [progress]: generating series expansions
2.650 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
2.651 * [approximate]: Taking taylor expansion of (pow (/ (* x (pow y 2)) (pow z 2)) 1/3) in (x y z) around 0
2.651 * [taylor]: Taking taylor expansion of (pow (/ (* x (pow y 2)) (pow z 2)) 1/3) in z
2.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (pow y 2)) (pow z 2))))) in z
2.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (pow y 2)) (pow z 2)))) in z
2.651 * [taylor]: Taking taylor expansion of 1/3 in z
2.651 * [taylor]: Taking taylor expansion of (log (/ (* x (pow y 2)) (pow z 2))) in z
2.651 * [taylor]: Taking taylor expansion of (/ (* x (pow y 2)) (pow z 2)) in z
2.651 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in z
2.651 * [taylor]: Taking taylor expansion of x in z
2.651 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.651 * [taylor]: Taking taylor expansion of y in z
2.651 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.651 * [taylor]: Taking taylor expansion of z in z
2.653 * [taylor]: Taking taylor expansion of (pow (/ (* x (pow y 2)) (pow z 2)) 1/3) in y
2.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (pow y 2)) (pow z 2))))) in y
2.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (pow y 2)) (pow z 2)))) in y
2.653 * [taylor]: Taking taylor expansion of 1/3 in y
2.653 * [taylor]: Taking taylor expansion of (log (/ (* x (pow y 2)) (pow z 2))) in y
2.653 * [taylor]: Taking taylor expansion of (/ (* x (pow y 2)) (pow z 2)) in y
2.653 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
2.653 * [taylor]: Taking taylor expansion of x in y
2.653 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.653 * [taylor]: Taking taylor expansion of y in y
2.653 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.653 * [taylor]: Taking taylor expansion of z in y
2.654 * [taylor]: Taking taylor expansion of (pow (/ (* x (pow y 2)) (pow z 2)) 1/3) in x
2.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (pow y 2)) (pow z 2))))) in x
2.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (pow y 2)) (pow z 2)))) in x
2.654 * [taylor]: Taking taylor expansion of 1/3 in x
2.654 * [taylor]: Taking taylor expansion of (log (/ (* x (pow y 2)) (pow z 2))) in x
2.654 * [taylor]: Taking taylor expansion of (/ (* x (pow y 2)) (pow z 2)) in x
2.654 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.654 * [taylor]: Taking taylor expansion of x in x
2.654 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.654 * [taylor]: Taking taylor expansion of y in x
2.654 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.655 * [taylor]: Taking taylor expansion of z in x
2.656 * [taylor]: Taking taylor expansion of (pow (/ (* x (pow y 2)) (pow z 2)) 1/3) in x
2.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* x (pow y 2)) (pow z 2))))) in x
2.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* x (pow y 2)) (pow z 2)))) in x
2.656 * [taylor]: Taking taylor expansion of 1/3 in x
2.656 * [taylor]: Taking taylor expansion of (log (/ (* x (pow y 2)) (pow z 2))) in x
2.656 * [taylor]: Taking taylor expansion of (/ (* x (pow y 2)) (pow z 2)) in x
2.656 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.656 * [taylor]: Taking taylor expansion of x in x
2.656 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.656 * [taylor]: Taking taylor expansion of y in x
2.656 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.656 * [taylor]: Taking taylor expansion of z in x
2.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ (pow y 2) (pow z 2))) (log x)))) in y
2.658 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ (pow y 2) (pow z 2))) (log x))) in y
2.658 * [taylor]: Taking taylor expansion of 1/3 in y
2.658 * [taylor]: Taking taylor expansion of (+ (log (/ (pow y 2) (pow z 2))) (log x)) in y
2.658 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
2.658 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
2.658 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.658 * [taylor]: Taking taylor expansion of y in y
2.658 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.658 * [taylor]: Taking taylor expansion of z in y
2.659 * [taylor]: Taking taylor expansion of (log x) in y
2.659 * [taylor]: Taking taylor expansion of x in y
2.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (pow z 2))) (+ (* 2 (log y)) (log x))))) in z
2.660 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (pow z 2))) (+ (* 2 (log y)) (log x)))) in z
2.660 * [taylor]: Taking taylor expansion of 1/3 in z
2.660 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow z 2))) (+ (* 2 (log y)) (log x))) in z
2.660 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
2.660 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.660 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.660 * [taylor]: Taking taylor expansion of z in z
2.661 * [taylor]: Taking taylor expansion of (+ (* 2 (log y)) (log x)) in z
2.661 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
2.661 * [taylor]: Taking taylor expansion of 2 in z
2.661 * [taylor]: Taking taylor expansion of (log y) in z
2.661 * [taylor]: Taking taylor expansion of y in z
2.661 * [taylor]: Taking taylor expansion of (log x) in z
2.661 * [taylor]: Taking taylor expansion of x in z
2.666 * [taylor]: Taking taylor expansion of 0 in y
2.666 * [taylor]: Taking taylor expansion of 0 in z
2.674 * [taylor]: Taking taylor expansion of 0 in z
2.685 * [taylor]: Taking taylor expansion of 0 in y
2.685 * [taylor]: Taking taylor expansion of 0 in z
2.685 * [taylor]: Taking taylor expansion of 0 in z
2.691 * [taylor]: Taking taylor expansion of 0 in z
2.692 * [approximate]: Taking taylor expansion of (pow (/ (pow z 2) (* x (pow y 2))) 1/3) in (x y z) around 0
2.692 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (* x (pow y 2))) 1/3) in z
2.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (* x (pow y 2)))))) in z
2.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (* x (pow y 2))))) in z
2.692 * [taylor]: Taking taylor expansion of 1/3 in z
2.692 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (* x (pow y 2)))) in z
2.692 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (pow y 2))) in z
2.692 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.692 * [taylor]: Taking taylor expansion of z in z
2.692 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in z
2.692 * [taylor]: Taking taylor expansion of x in z
2.692 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.692 * [taylor]: Taking taylor expansion of y in z
2.694 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (* x (pow y 2))) 1/3) in y
2.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (* x (pow y 2)))))) in y
2.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (* x (pow y 2))))) in y
2.694 * [taylor]: Taking taylor expansion of 1/3 in y
2.694 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (* x (pow y 2)))) in y
2.694 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (pow y 2))) in y
2.694 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.694 * [taylor]: Taking taylor expansion of z in y
2.694 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
2.694 * [taylor]: Taking taylor expansion of x in y
2.694 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.694 * [taylor]: Taking taylor expansion of y in y
2.695 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (* x (pow y 2))) 1/3) in x
2.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (* x (pow y 2)))))) in x
2.695 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (* x (pow y 2))))) in x
2.695 * [taylor]: Taking taylor expansion of 1/3 in x
2.695 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (* x (pow y 2)))) in x
2.696 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (pow y 2))) in x
2.696 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.696 * [taylor]: Taking taylor expansion of z in x
2.696 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.696 * [taylor]: Taking taylor expansion of x in x
2.696 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.696 * [taylor]: Taking taylor expansion of y in x
2.697 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (* x (pow y 2))) 1/3) in x
2.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (* x (pow y 2)))))) in x
2.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (* x (pow y 2))))) in x
2.697 * [taylor]: Taking taylor expansion of 1/3 in x
2.697 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (* x (pow y 2)))) in x
2.697 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (pow y 2))) in x
2.697 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.697 * [taylor]: Taking taylor expansion of z in x
2.697 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.697 * [taylor]: Taking taylor expansion of x in x
2.697 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.697 * [taylor]: Taking taylor expansion of y in x
2.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ (pow z 2) (pow y 2))) (log x)))) in y
2.699 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ (pow z 2) (pow y 2))) (log x))) in y
2.699 * [taylor]: Taking taylor expansion of 1/3 in y
2.699 * [taylor]: Taking taylor expansion of (- (log (/ (pow z 2) (pow y 2))) (log x)) in y
2.699 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
2.699 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
2.699 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.699 * [taylor]: Taking taylor expansion of z in y
2.699 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.699 * [taylor]: Taking taylor expansion of y in y
2.700 * [taylor]: Taking taylor expansion of (log x) in y
2.700 * [taylor]: Taking taylor expansion of x in y
2.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (+ (log x) (* 2 (log y)))))) in z
2.701 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (+ (log x) (* 2 (log y))))) in z
2.701 * [taylor]: Taking taylor expansion of 1/3 in z
2.701 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (+ (log x) (* 2 (log y)))) in z
2.701 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
2.701 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.701 * [taylor]: Taking taylor expansion of z in z
2.702 * [taylor]: Taking taylor expansion of (+ (log x) (* 2 (log y))) in z
2.702 * [taylor]: Taking taylor expansion of (log x) in z
2.702 * [taylor]: Taking taylor expansion of x in z
2.702 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
2.702 * [taylor]: Taking taylor expansion of 2 in z
2.702 * [taylor]: Taking taylor expansion of (log y) in z
2.702 * [taylor]: Taking taylor expansion of y in z
2.707 * [taylor]: Taking taylor expansion of 0 in y
2.707 * [taylor]: Taking taylor expansion of 0 in z
2.711 * [taylor]: Taking taylor expansion of 0 in z
2.721 * [taylor]: Taking taylor expansion of 0 in y
2.721 * [taylor]: Taking taylor expansion of 0 in z
2.721 * [taylor]: Taking taylor expansion of 0 in z
2.729 * [taylor]: Taking taylor expansion of 0 in z
2.730 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (pow z 2) (* x (pow y 2))) 1/3)) in (x y z) around 0
2.730 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (pow z 2) (* x (pow y 2))) 1/3)) in z
2.730 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.730 * [taylor]: Taking taylor expansion of -1 in z
2.731 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (* x (pow y 2))) 1/3) in z
2.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (* x (pow y 2)))))) in z
2.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (* x (pow y 2))))) in z
2.731 * [taylor]: Taking taylor expansion of 1/3 in z
2.731 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (* x (pow y 2)))) in z
2.731 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (pow y 2))) in z
2.731 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.731 * [taylor]: Taking taylor expansion of z in z
2.731 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in z
2.731 * [taylor]: Taking taylor expansion of x in z
2.731 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.731 * [taylor]: Taking taylor expansion of y in z
2.732 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (pow z 2) (* x (pow y 2))) 1/3)) in y
2.732 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.733 * [taylor]: Taking taylor expansion of -1 in y
2.733 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (* x (pow y 2))) 1/3) in y
2.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (* x (pow y 2)))))) in y
2.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (* x (pow y 2))))) in y
2.733 * [taylor]: Taking taylor expansion of 1/3 in y
2.733 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (* x (pow y 2)))) in y
2.733 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (pow y 2))) in y
2.734 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.734 * [taylor]: Taking taylor expansion of z in y
2.734 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
2.734 * [taylor]: Taking taylor expansion of x in y
2.734 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.734 * [taylor]: Taking taylor expansion of y in y
2.735 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (pow z 2) (* x (pow y 2))) 1/3)) in x
2.735 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.735 * [taylor]: Taking taylor expansion of -1 in x
2.736 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (* x (pow y 2))) 1/3) in x
2.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (* x (pow y 2)))))) in x
2.736 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (* x (pow y 2))))) in x
2.736 * [taylor]: Taking taylor expansion of 1/3 in x
2.736 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (* x (pow y 2)))) in x
2.736 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (pow y 2))) in x
2.736 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.736 * [taylor]: Taking taylor expansion of z in x
2.736 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.736 * [taylor]: Taking taylor expansion of x in x
2.736 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.736 * [taylor]: Taking taylor expansion of y in x
2.738 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (pow z 2) (* x (pow y 2))) 1/3)) in x
2.738 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.738 * [taylor]: Taking taylor expansion of -1 in x
2.739 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (* x (pow y 2))) 1/3) in x
2.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (* x (pow y 2)))))) in x
2.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (* x (pow y 2))))) in x
2.739 * [taylor]: Taking taylor expansion of 1/3 in x
2.739 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (* x (pow y 2)))) in x
2.739 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (pow y 2))) in x
2.739 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.739 * [taylor]: Taking taylor expansion of z in x
2.739 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.739 * [taylor]: Taking taylor expansion of x in x
2.739 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.739 * [taylor]: Taking taylor expansion of y in x
2.741 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ (pow z 2) (pow y 2))) (log x)))) (cbrt -1)) in y
2.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ (pow z 2) (pow y 2))) (log x)))) in y
2.741 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ (pow z 2) (pow y 2))) (log x))) in y
2.741 * [taylor]: Taking taylor expansion of 1/3 in y
2.741 * [taylor]: Taking taylor expansion of (- (log (/ (pow z 2) (pow y 2))) (log x)) in y
2.741 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
2.741 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
2.741 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.741 * [taylor]: Taking taylor expansion of z in y
2.741 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.741 * [taylor]: Taking taylor expansion of y in y
2.742 * [taylor]: Taking taylor expansion of (log x) in y
2.742 * [taylor]: Taking taylor expansion of x in y
2.743 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.743 * [taylor]: Taking taylor expansion of -1 in y
2.744 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (pow z 2)) (+ (log x) (* 2 (log y))))))) in z
2.744 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.744 * [taylor]: Taking taylor expansion of -1 in z
2.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (+ (log x) (* 2 (log y)))))) in z
2.745 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (+ (log x) (* 2 (log y))))) in z
2.745 * [taylor]: Taking taylor expansion of 1/3 in z
2.745 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (+ (log x) (* 2 (log y)))) in z
2.745 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
2.745 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.745 * [taylor]: Taking taylor expansion of z in z
2.746 * [taylor]: Taking taylor expansion of (+ (log x) (* 2 (log y))) in z
2.746 * [taylor]: Taking taylor expansion of (log x) in z
2.746 * [taylor]: Taking taylor expansion of x in z
2.746 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
2.746 * [taylor]: Taking taylor expansion of 2 in z
2.746 * [taylor]: Taking taylor expansion of (log y) in z
2.746 * [taylor]: Taking taylor expansion of y in z
2.752 * [taylor]: Taking taylor expansion of 0 in y
2.752 * [taylor]: Taking taylor expansion of 0 in z
2.757 * [taylor]: Taking taylor expansion of 0 in z
2.770 * [taylor]: Taking taylor expansion of 0 in y
2.770 * [taylor]: Taking taylor expansion of 0 in z
2.770 * [taylor]: Taking taylor expansion of 0 in z
2.784 * [taylor]: Taking taylor expansion of 0 in z
2.785 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.785 * [approximate]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in (x y z) around 0
2.785 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in z
2.785 * [taylor]: Taking taylor expansion of x in z
2.785 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in z
2.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in z
2.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in z
2.785 * [taylor]: Taking taylor expansion of 1/3 in z
2.785 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in z
2.785 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in z
2.785 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.785 * [taylor]: Taking taylor expansion of y in z
2.785 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.785 * [taylor]: Taking taylor expansion of z in z
2.787 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in y
2.787 * [taylor]: Taking taylor expansion of x in y
2.787 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y
2.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y
2.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y
2.787 * [taylor]: Taking taylor expansion of 1/3 in y
2.787 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
2.787 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
2.787 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.787 * [taylor]: Taking taylor expansion of y in y
2.787 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.787 * [taylor]: Taking taylor expansion of z in y
2.788 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x
2.788 * [taylor]: Taking taylor expansion of x in x
2.788 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x
2.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x
2.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x
2.788 * [taylor]: Taking taylor expansion of 1/3 in x
2.788 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x
2.788 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x
2.788 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.788 * [taylor]: Taking taylor expansion of y in x
2.788 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.788 * [taylor]: Taking taylor expansion of z in x
2.789 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x
2.789 * [taylor]: Taking taylor expansion of x in x
2.789 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x
2.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x
2.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x
2.789 * [taylor]: Taking taylor expansion of 1/3 in x
2.789 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x
2.789 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x
2.789 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.789 * [taylor]: Taking taylor expansion of y in x
2.789 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.789 * [taylor]: Taking taylor expansion of z in x
2.790 * [taylor]: Taking taylor expansion of 0 in y
2.790 * [taylor]: Taking taylor expansion of 0 in z
2.792 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y
2.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y
2.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y
2.793 * [taylor]: Taking taylor expansion of 1/3 in y
2.793 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
2.793 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
2.793 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.793 * [taylor]: Taking taylor expansion of y in y
2.793 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.793 * [taylor]: Taking taylor expansion of z in y
2.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y))))) in z
2.794 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y)))) in z
2.794 * [taylor]: Taking taylor expansion of 1/3 in z
2.794 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow z 2))) (* 2 (log y))) in z
2.794 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
2.794 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.794 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.794 * [taylor]: Taking taylor expansion of z in z
2.795 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
2.795 * [taylor]: Taking taylor expansion of 2 in z
2.795 * [taylor]: Taking taylor expansion of (log y) in z
2.795 * [taylor]: Taking taylor expansion of y in z
2.796 * [taylor]: Taking taylor expansion of 0 in z
2.801 * [taylor]: Taking taylor expansion of 0 in y
2.801 * [taylor]: Taking taylor expansion of 0 in z
2.804 * [taylor]: Taking taylor expansion of 0 in z
2.804 * [taylor]: Taking taylor expansion of 0 in z
2.808 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in (x y z) around 0
2.808 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z
2.808 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.808 * [taylor]: Taking taylor expansion of x in z
2.808 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z
2.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z
2.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z
2.808 * [taylor]: Taking taylor expansion of 1/3 in z
2.808 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z
2.808 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z
2.808 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.808 * [taylor]: Taking taylor expansion of z in z
2.808 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.808 * [taylor]: Taking taylor expansion of y in z
2.810 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
2.810 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.810 * [taylor]: Taking taylor expansion of x in y
2.810 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
2.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
2.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
2.810 * [taylor]: Taking taylor expansion of 1/3 in y
2.810 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
2.810 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
2.810 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.810 * [taylor]: Taking taylor expansion of z in y
2.810 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.810 * [taylor]: Taking taylor expansion of y in y
2.811 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
2.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.811 * [taylor]: Taking taylor expansion of x in x
2.812 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
2.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
2.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
2.812 * [taylor]: Taking taylor expansion of 1/3 in x
2.812 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
2.812 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
2.812 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.812 * [taylor]: Taking taylor expansion of z in x
2.812 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.812 * [taylor]: Taking taylor expansion of y in x
2.812 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
2.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.812 * [taylor]: Taking taylor expansion of x in x
2.813 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
2.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
2.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
2.813 * [taylor]: Taking taylor expansion of 1/3 in x
2.813 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
2.813 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
2.813 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.813 * [taylor]: Taking taylor expansion of z in x
2.813 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.813 * [taylor]: Taking taylor expansion of y in x
2.814 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
2.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
2.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
2.814 * [taylor]: Taking taylor expansion of 1/3 in y
2.814 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
2.814 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
2.814 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.814 * [taylor]: Taking taylor expansion of z in y
2.814 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.814 * [taylor]: Taking taylor expansion of y in y
2.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z
2.815 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z
2.815 * [taylor]: Taking taylor expansion of 1/3 in z
2.815 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z
2.815 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
2.815 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.815 * [taylor]: Taking taylor expansion of z in z
2.816 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
2.816 * [taylor]: Taking taylor expansion of 2 in z
2.816 * [taylor]: Taking taylor expansion of (log y) in z
2.816 * [taylor]: Taking taylor expansion of y in z
2.820 * [taylor]: Taking taylor expansion of 0 in y
2.820 * [taylor]: Taking taylor expansion of 0 in z
2.824 * [taylor]: Taking taylor expansion of 0 in z
2.833 * [taylor]: Taking taylor expansion of 0 in y
2.833 * [taylor]: Taking taylor expansion of 0 in z
2.833 * [taylor]: Taking taylor expansion of 0 in z
2.839 * [taylor]: Taking taylor expansion of 0 in z
2.840 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt -1) 3) x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in (x y z) around 0
2.840 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 3) x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z
2.840 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) x) in z
2.840 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
2.840 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.840 * [taylor]: Taking taylor expansion of -1 in z
2.841 * [taylor]: Taking taylor expansion of x in z
2.844 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z
2.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z
2.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z
2.844 * [taylor]: Taking taylor expansion of 1/3 in z
2.844 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z
2.844 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z
2.844 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.844 * [taylor]: Taking taylor expansion of z in z
2.844 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.844 * [taylor]: Taking taylor expansion of y in z
2.846 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 3) x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
2.846 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) x) in y
2.846 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
2.846 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.846 * [taylor]: Taking taylor expansion of -1 in y
2.846 * [taylor]: Taking taylor expansion of x in y
2.850 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
2.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
2.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
2.850 * [taylor]: Taking taylor expansion of 1/3 in y
2.850 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
2.850 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
2.850 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.850 * [taylor]: Taking taylor expansion of z in y
2.850 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.850 * [taylor]: Taking taylor expansion of y in y
2.851 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 3) x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
2.851 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) x) in x
2.851 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
2.851 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.851 * [taylor]: Taking taylor expansion of -1 in x
2.852 * [taylor]: Taking taylor expansion of x in x
2.855 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
2.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
2.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
2.855 * [taylor]: Taking taylor expansion of 1/3 in x
2.856 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
2.856 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
2.856 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.856 * [taylor]: Taking taylor expansion of z in x
2.856 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.856 * [taylor]: Taking taylor expansion of y in x
2.856 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 3) x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
2.856 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) x) in x
2.856 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
2.856 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.856 * [taylor]: Taking taylor expansion of -1 in x
2.857 * [taylor]: Taking taylor expansion of x in x
2.861 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
2.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
2.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
2.861 * [taylor]: Taking taylor expansion of 1/3 in x
2.861 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
2.861 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
2.861 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.861 * [taylor]: Taking taylor expansion of z in x
2.861 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.861 * [taylor]: Taking taylor expansion of y in x
2.861 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
2.862 * [taylor]: Taking taylor expansion of -1 in y
2.862 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
2.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
2.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
2.862 * [taylor]: Taking taylor expansion of 1/3 in y
2.862 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
2.862 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
2.862 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.862 * [taylor]: Taking taylor expansion of z in y
2.862 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.862 * [taylor]: Taking taylor expansion of y in y
2.863 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y)))))) in z
2.863 * [taylor]: Taking taylor expansion of -1 in z
2.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z
2.863 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z
2.863 * [taylor]: Taking taylor expansion of 1/3 in z
2.863 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z
2.863 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
2.863 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.863 * [taylor]: Taking taylor expansion of z in z
2.864 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
2.864 * [taylor]: Taking taylor expansion of 2 in z
2.864 * [taylor]: Taking taylor expansion of (log y) in z
2.864 * [taylor]: Taking taylor expansion of y in z
2.869 * [taylor]: Taking taylor expansion of 0 in y
2.869 * [taylor]: Taking taylor expansion of 0 in z
2.873 * [taylor]: Taking taylor expansion of 0 in z
2.885 * [taylor]: Taking taylor expansion of 0 in y
2.885 * [taylor]: Taking taylor expansion of 0 in z
2.885 * [taylor]: Taking taylor expansion of 0 in z
2.896 * [taylor]: Taking taylor expansion of 0 in z
2.896 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
2.897 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
2.897 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
2.897 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
2.897 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
2.897 * [taylor]: Taking taylor expansion of 1/9 in y
2.897 * [taylor]: Taking taylor expansion of (log y) in y
2.897 * [taylor]: Taking taylor expansion of y in y
2.897 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
2.897 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
2.898 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
2.898 * [taylor]: Taking taylor expansion of 1/9 in y
2.898 * [taylor]: Taking taylor expansion of (log y) in y
2.898 * [taylor]: Taking taylor expansion of y in y
2.948 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
2.948 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
2.948 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
2.948 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
2.948 * [taylor]: Taking taylor expansion of 1/9 in y
2.948 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.948 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.948 * [taylor]: Taking taylor expansion of y in y
2.949 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
2.949 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
2.949 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
2.949 * [taylor]: Taking taylor expansion of 1/9 in y
2.949 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.949 * [taylor]: Taking taylor expansion of y in y
3.010 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
3.010 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
3.010 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
3.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
3.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
3.010 * [taylor]: Taking taylor expansion of 1/3 in y
3.010 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
3.010 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.010 * [taylor]: Taking taylor expansion of -1 in y
3.014 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
3.014 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
3.014 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
3.014 * [taylor]: Taking taylor expansion of 1/9 in y
3.015 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.015 * [taylor]: Taking taylor expansion of y in y
3.015 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
3.016 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
3.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
3.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
3.016 * [taylor]: Taking taylor expansion of 1/3 in y
3.016 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
3.016 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.016 * [taylor]: Taking taylor expansion of -1 in y
3.019 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
3.019 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
3.019 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
3.020 * [taylor]: Taking taylor expansion of 1/9 in y
3.020 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.020 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.020 * [taylor]: Taking taylor expansion of y in y
3.158 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2)
3.158 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
3.158 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
3.158 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
3.158 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
3.158 * [taylor]: Taking taylor expansion of 1/9 in y
3.158 * [taylor]: Taking taylor expansion of (log y) in y
3.158 * [taylor]: Taking taylor expansion of y in y
3.159 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
3.159 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
3.159 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
3.159 * [taylor]: Taking taylor expansion of 1/9 in y
3.159 * [taylor]: Taking taylor expansion of (log y) in y
3.159 * [taylor]: Taking taylor expansion of y in y
3.219 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
3.219 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
3.219 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
3.219 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
3.219 * [taylor]: Taking taylor expansion of 1/9 in y
3.219 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.219 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.219 * [taylor]: Taking taylor expansion of y in y
3.220 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
3.220 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
3.220 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
3.220 * [taylor]: Taking taylor expansion of 1/9 in y
3.220 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.220 * [taylor]: Taking taylor expansion of y in y
3.276 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
3.276 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
3.276 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
3.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
3.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
3.277 * [taylor]: Taking taylor expansion of 1/3 in y
3.277 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
3.277 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.277 * [taylor]: Taking taylor expansion of -1 in y
3.281 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
3.281 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
3.281 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
3.281 * [taylor]: Taking taylor expansion of 1/9 in y
3.281 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.281 * [taylor]: Taking taylor expansion of y in y
3.282 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
3.282 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
3.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
3.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
3.282 * [taylor]: Taking taylor expansion of 1/3 in y
3.282 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
3.282 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.282 * [taylor]: Taking taylor expansion of -1 in y
3.286 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
3.286 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
3.286 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
3.286 * [taylor]: Taking taylor expansion of 1/9 in y
3.286 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.286 * [taylor]: Taking taylor expansion of y in y
3.426 * * * [progress]: simplifying candidates
3.428 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log1p (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (+ (log (cbrt x)) (- (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt z)) (log (cbrt z)))))
  (+ (log (cbrt x)) (- (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt z) (cbrt z)))))
  (+ (log (cbrt x)) (- (log (* (cbrt y) (cbrt y))) (+ (log (cbrt z)) (log (cbrt z)))))
  (+ (log (cbrt x)) (- (log (* (cbrt y) (cbrt y))) (log (* (cbrt z) (cbrt z)))))
  (+ (log (cbrt x)) (log (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (exp (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* x (/ (* y y) (* z z)))
  (* x (/ (* y y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))))
  (* x (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* z z)))
  (* x (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))))
  (* x (* (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (cbrt (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt (sqrt x)) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt (sqrt x)) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt (sqrt x)) (/ (cbrt y) (cbrt z)))
  (* (cbrt (sqrt x)) (/ (cbrt y) (cbrt z)))
  (* (sqrt (cbrt x)) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt (cbrt x)) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt (cbrt x)) (/ (cbrt y) (cbrt z)))
  (* (sqrt (cbrt x)) (/ (cbrt y) (cbrt z)))
  (* (cbrt x) (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (cbrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt x) (/ (cbrt y) (cbrt z)))
  (* (cbrt x) 1)
  (* (cbrt x) (* (cbrt y) (cbrt y)))
  (* (cbrt (cbrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (cbrt (sqrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (sqrt (cbrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (cbrt x) (* (cbrt y) (cbrt y)))
  (expm1 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (log1p (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (+ (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt x)) (- (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt z)) (log (cbrt z))))))
  (+ (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt x)) (- (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt z) (cbrt z))))))
  (+ (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt x)) (- (log (* (cbrt y) (cbrt y))) (+ (log (cbrt z)) (log (cbrt z))))))
  (+ (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt x)) (- (log (* (cbrt y) (cbrt y))) (log (* (cbrt z) (cbrt z))))))
  (+ (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt x)) (log (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (+ (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (+ (log (* (cbrt x) (cbrt x))) (+ (log (cbrt x)) (- (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt z)) (log (cbrt z))))))
  (+ (log (* (cbrt x) (cbrt x))) (+ (log (cbrt x)) (- (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt z) (cbrt z))))))
  (+ (log (* (cbrt x) (cbrt x))) (+ (log (cbrt x)) (- (log (* (cbrt y) (cbrt y))) (+ (log (cbrt z)) (log (cbrt z))))))
  (+ (log (* (cbrt x) (cbrt x))) (+ (log (cbrt x)) (- (log (* (cbrt y) (cbrt y))) (log (* (cbrt z) (cbrt z))))))
  (+ (log (* (cbrt x) (cbrt x))) (+ (log (cbrt x)) (log (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (+ (log (* (cbrt x) (cbrt x))) (log (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (log (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (exp (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (* x x) (* x (/ (* y y) (* z z))))
  (* (* x x) (* x (/ (* y y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))))
  (* (* x x) (* x (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* z z))))
  (* (* x x) (* x (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))))
  (* (* x x) (* x (* (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (* x x) (* (* (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* x (/ (* y y) (* z z))))
  (* (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* x (/ (* y y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))))
  (* (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* x (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* z z))))
  (* (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* x (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))))
  (* (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* x (* (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))))
  (cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (sqrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (sqrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (* (cbrt x) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt y) (cbrt y))))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (exp (* 1/3 (- (+ (log x) (* 2 (log y))) (* 2 (log z)))))
  (exp (* 1/3 (- (* 2 (log (/ 1 z))) (+ (log (/ 1 x)) (* 2 (log (/ 1 y)))))))
  (* (exp (* 1/3 (- (* 2 (log (/ -1 z))) (+ (* 2 (log (/ -1 y))) (log (/ -1 x)))))) (cbrt -1))
  (* (exp (* 1/3 (- (* 2 (log y)) (* 2 (log z))))) x)
  (* (exp (* 1/3 (- (* 2 (log (/ 1 z))) (* 2 (log (/ 1 y)))))) x)
  (* (exp (* 1/3 (- (* 2 (log (/ -1 z))) (* 2 (log (/ -1 y)))))) x)
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
3.436 * * [simplify]: iteration  0 :  524  enodes  (cost  1367 )
3.446 * * [simplify]: iteration  1 :  2135  enodes  (cost  1026 )
3.489 * * [simplify]: iteration  2 :  5001  enodes  (cost  867 )
3.494 * [simplify]: Simplified to:
   (expm1 (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log1p (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log (cbrt x)))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log (cbrt x)))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log (cbrt x)))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log (cbrt x)))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log (cbrt x)))
  (fma 2 (- (log (cbrt y)) (log (cbrt z))) (log (cbrt x)))
  (exp (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (/ y z) (/ y z)) x)
  (* (* (/ y z) (/ y z)) x)
  (* (* (/ y z) (/ y z)) x)
  (* (* (/ y z) (/ y z)) x)
  (* (* (/ y z) (/ y z)) x)
  (* (cbrt (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (cbrt (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (/ y z) (/ y z)) x)
  (sqrt (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt (sqrt x)) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt (sqrt x)) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt (sqrt x)) (/ (cbrt y) (cbrt z)))
  (* (cbrt (sqrt x)) (/ (cbrt y) (cbrt z)))
  (* (sqrt (cbrt x)) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt (cbrt x)) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt (cbrt x)) (/ (cbrt y) (cbrt z)))
  (* (sqrt (cbrt x)) (/ (cbrt y) (cbrt z)))
  (* (cbrt x) (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (cbrt x) (fabs (/ (cbrt y) (cbrt z))))
  (* (cbrt x) (/ (cbrt y) (cbrt z)))
  (cbrt x)
  (* (cbrt x) (* (cbrt y) (cbrt y)))
  (* (cbrt (cbrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (cbrt (sqrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (sqrt (cbrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (cbrt x) (* (cbrt y) (cbrt y)))
  (expm1 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (log1p (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (/ x (cbrt z)) (/ (* (cbrt y) (cbrt y)) (cbrt z)))
  (* (/ x (cbrt z)) (/ (* (cbrt y) (cbrt y)) (cbrt z)))
  (* (/ x (cbrt z)) (/ (* (cbrt y) (cbrt y)) (cbrt z)))
  (* (/ x (cbrt z)) (/ (* (cbrt y) (cbrt y)) (cbrt z)))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (fma 3 (log (cbrt x)) (* 2 (- (log (cbrt y)) (log (cbrt z)))))
  (pow (exp (* (pow (cbrt x) 3) (/ (cbrt y) (cbrt z)))) (/ (cbrt y) (cbrt z)))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (* (cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))))
  (cbrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* (/ (pow x 3) z) (/ (* y y) z))
  (sqrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (sqrt (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  x
  (* (cbrt x) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* x (* (cbrt y) (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt y)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt y)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (pow (exp 1/3) (fma 2 (- (log y) (log z)) (log x)))
  (pow (exp 1/3) (fma 2 (- (log y) (log z)) (log x)))
  (* (cbrt -1) (pow (exp 1/3) (fma 2 (log (/ -1 z)) (- (fma 2 (log (/ -1 y)) (log (/ -1 x)))))))
  (* (exp (* 1/3 (- (* 2 (log y)) (* 2 (log z))))) x)
  (* (exp (* 1/3 (- (* 2 (log y)) (* 2 (log z))))) x)
  (* (exp (* 1/3 (- (* 2 (log (/ -1 z))) (* 2 (log (/ -1 y)))))) x)
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
3.494 * * * [progress]: adding candidates to table
3.838 * [progress]: [Phase 3 of 3] Extracting.
3.838 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (exp (log (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (* (cbrt x) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (expm1 (log1p (cbrt y)))) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (cbrt z))))> #<alt (λ (x y z t) (* (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (cbrt (/ y z))))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ y z))))> #<alt (λ (x y z t) (* (/ (* x (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (cbrt (* (* (/ y z) (/ y z)) x))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))>)
3.842 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x)
3.842 * * * * [regimes]: Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (exp (log (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (* (cbrt x) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (expm1 (log1p (cbrt y)))) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (cbrt z))))> #<alt (λ (x y z t) (* (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (cbrt (/ y z))))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ y z))))> #<alt (λ (x y z t) (* (/ (* x (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (cbrt (* (* (/ y z) (/ y z)) x))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))>)
3.891 * * * * [regimes]: Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (cbrt (/ y z))))> #<alt (λ (x y z t) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ y z))))>)
3.910 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (exp (log (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (* (cbrt x) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (expm1 (log1p (cbrt y)))) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (cbrt z))))> #<alt (λ (x y z t) (* (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (cbrt (/ y z))))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ y z))))> #<alt (λ (x y z t) (* (/ (* x (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (cbrt (* (* (/ y z) (/ y z)) x))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))>)
3.959 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (exp (log (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (* (cbrt x) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (expm1 (log1p (cbrt y)))) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (cbrt z))))> #<alt (λ (x y z t) (* (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (cbrt (/ y z))))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ y z))))> #<alt (λ (x y z t) (* (/ (* x (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (cbrt (* (* (/ y z) (/ y z)) x))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))>)
4.009 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (exp (log (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (* (cbrt x) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (expm1 (log1p (cbrt y)))) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (cbrt z))))> #<alt (λ (x y z t) (* (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (cbrt (/ y z))))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ y z))))> #<alt (λ (x y z t) (* (/ (* x (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (cbrt (* (* (/ y z) (/ y z)) x))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))>)
4.058 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (exp (log (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (* (cbrt x) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (expm1 (log1p (cbrt y)))) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (cbrt z))))> #<alt (λ (x y z t) (* (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (cbrt (/ y z))))> #<alt (λ (x y z t) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))> #<alt (λ (x y z t) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (/ y z))))> #<alt (λ (x y z t) (* (/ (* x (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))> #<alt (λ (x y z t) (* (* (* (cbrt x) (cbrt x)) (cbrt (* (* (/ y z) (/ y z)) x))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z))))>)
4.107 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
4.110 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (* (cbrt x) (cbrt x)) (* (* (cbrt x) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z)))
4.111 * * [simplify]: iteration  0 :  26  enodes  (cost  25 )
4.112 * * [simplify]: iteration  1 :  26  enodes  (cost  25 )
4.112 * [simplify]: Simplified to:
   (* (* (* (cbrt x) (cbrt x)) (* (* (cbrt x) (* (cbrt y) (cbrt y))) (/ 1 (* (cbrt z) (cbrt z))))) (/ (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt z)))
5.269 * [regime-testing]: Baseline error score: 1.6271985728422993
5.270 * [regime-testing]: Oracle error score: 0.03037879734966871
5.271 * [regime-testing]: End program error score: 1.6271985728422993