20.885 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.760 * * * [progress]: [2/2] Setting up program.
0.764 * [progress]: [Phase 2 of 3] Improving.
0.764 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (/ (* (/ y z) t) t))
0.865 * * [simplify]: iteration  0 :  4973  enodes  (cost  5 )
0.865 * * [simplify]: iteration  1 :  4973  enodes  (cost  5 )
0.865 * [simplify]: Simplified to:
   (* x (/ y z))
0.870 * * [progress]: iteration 1 / 4
0.870 * * * [progress]: picking best candidate
0.880 * * * * [pick]: Picked  #<alt (λ (x y z t) (* x (/ y z)))>
0.880 * * * [progress]: localizing error
0.884 * * * [progress]: generating rewritten candidates
0.884 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.891 * * * [progress]: generating series expansions
0.891 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.891 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
0.891 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
0.891 * [taylor]: Taking taylor expansion of (* x y) in z
0.891 * [taylor]: Taking taylor expansion of x in z
0.891 * [taylor]: Taking taylor expansion of y in z
0.891 * [taylor]: Taking taylor expansion of z in z
0.891 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
0.891 * [taylor]: Taking taylor expansion of (* x y) in y
0.891 * [taylor]: Taking taylor expansion of x in y
0.891 * [taylor]: Taking taylor expansion of y in y
0.891 * [taylor]: Taking taylor expansion of z in y
0.891 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.891 * [taylor]: Taking taylor expansion of (* x y) in x
0.891 * [taylor]: Taking taylor expansion of x in x
0.891 * [taylor]: Taking taylor expansion of y in x
0.891 * [taylor]: Taking taylor expansion of z in x
0.892 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.892 * [taylor]: Taking taylor expansion of (* x y) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of y in x
0.892 * [taylor]: Taking taylor expansion of z in x
0.892 * [taylor]: Taking taylor expansion of (/ y z) in y
0.892 * [taylor]: Taking taylor expansion of y in y
0.892 * [taylor]: Taking taylor expansion of z in y
0.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.892 * [taylor]: Taking taylor expansion of z in z
0.892 * [taylor]: Taking taylor expansion of 0 in y
0.892 * [taylor]: Taking taylor expansion of 0 in z
0.892 * [taylor]: Taking taylor expansion of 0 in z
0.892 * [taylor]: Taking taylor expansion of 0 in y
0.892 * [taylor]: Taking taylor expansion of 0 in z
0.892 * [taylor]: Taking taylor expansion of 0 in z
0.892 * [taylor]: Taking taylor expansion of 0 in z
0.893 * [taylor]: Taking taylor expansion of 0 in y
0.893 * [taylor]: Taking taylor expansion of 0 in z
0.893 * [taylor]: Taking taylor expansion of 0 in z
0.893 * [taylor]: Taking taylor expansion of 0 in z
0.893 * [taylor]: Taking taylor expansion of 0 in z
0.893 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
0.893 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.893 * [taylor]: Taking taylor expansion of z in z
0.893 * [taylor]: Taking taylor expansion of (* x y) in z
0.893 * [taylor]: Taking taylor expansion of x in z
0.893 * [taylor]: Taking taylor expansion of y in z
0.893 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.893 * [taylor]: Taking taylor expansion of z in y
0.893 * [taylor]: Taking taylor expansion of (* x y) in y
0.893 * [taylor]: Taking taylor expansion of x in y
0.893 * [taylor]: Taking taylor expansion of y in y
0.893 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.893 * [taylor]: Taking taylor expansion of z in x
0.893 * [taylor]: Taking taylor expansion of (* x y) in x
0.893 * [taylor]: Taking taylor expansion of x in x
0.893 * [taylor]: Taking taylor expansion of y in x
0.893 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.893 * [taylor]: Taking taylor expansion of z in x
0.893 * [taylor]: Taking taylor expansion of (* x y) in x
0.893 * [taylor]: Taking taylor expansion of x in x
0.893 * [taylor]: Taking taylor expansion of y in x
0.893 * [taylor]: Taking taylor expansion of (/ z y) in y
0.893 * [taylor]: Taking taylor expansion of z in y
0.893 * [taylor]: Taking taylor expansion of y in y
0.894 * [taylor]: Taking taylor expansion of z in z
0.894 * [taylor]: Taking taylor expansion of 0 in y
0.894 * [taylor]: Taking taylor expansion of 0 in z
0.894 * [taylor]: Taking taylor expansion of 0 in y
0.894 * [taylor]: Taking taylor expansion of 0 in z
0.894 * [taylor]: Taking taylor expansion of 0 in z
0.894 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
0.894 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
0.894 * [taylor]: Taking taylor expansion of -1 in z
0.894 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.894 * [taylor]: Taking taylor expansion of z in z
0.894 * [taylor]: Taking taylor expansion of (* x y) in z
0.894 * [taylor]: Taking taylor expansion of x in z
0.894 * [taylor]: Taking taylor expansion of y in z
0.894 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
0.894 * [taylor]: Taking taylor expansion of -1 in y
0.894 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.894 * [taylor]: Taking taylor expansion of z in y
0.894 * [taylor]: Taking taylor expansion of (* x y) in y
0.894 * [taylor]: Taking taylor expansion of x in y
0.894 * [taylor]: Taking taylor expansion of y in y
0.894 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.894 * [taylor]: Taking taylor expansion of -1 in x
0.894 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.895 * [taylor]: Taking taylor expansion of z in x
0.895 * [taylor]: Taking taylor expansion of (* x y) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of y in x
0.895 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.895 * [taylor]: Taking taylor expansion of -1 in x
0.895 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.895 * [taylor]: Taking taylor expansion of z in x
0.895 * [taylor]: Taking taylor expansion of (* x y) in x
0.895 * [taylor]: Taking taylor expansion of x in x
0.895 * [taylor]: Taking taylor expansion of y in x
0.895 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
0.895 * [taylor]: Taking taylor expansion of -1 in y
0.895 * [taylor]: Taking taylor expansion of (/ z y) in y
0.895 * [taylor]: Taking taylor expansion of z in y
0.895 * [taylor]: Taking taylor expansion of y in y
0.895 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.895 * [taylor]: Taking taylor expansion of -1 in z
0.895 * [taylor]: Taking taylor expansion of z in z
0.895 * [taylor]: Taking taylor expansion of 0 in y
0.895 * [taylor]: Taking taylor expansion of 0 in z
0.895 * [taylor]: Taking taylor expansion of 0 in y
0.895 * [taylor]: Taking taylor expansion of 0 in z
0.896 * [taylor]: Taking taylor expansion of 0 in z
0.896 * * * [progress]: simplifying candidates
0.896 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 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.956 * * [simplify]: iteration  0 :  5355  enodes  (cost  230 )
0.958 * [simplify]: Simplified to:
   (* x (/ y z))
  (log (* x (/ y z)))
  (log (* x (/ y z)))
  (log (* x (/ y z)))
  (pow (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))))
  (* x (* (cbrt y) (cbrt y)))
  (* x (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (* x (/ (sqrt y) (sqrt z)))
  (* x (sqrt y))
  (/ x (* (cbrt z) (cbrt z)))
  (/ x (sqrt z))
  x
  x
  (* x y)
  (* y (/ (cbrt x) z))
  (* y (/ (sqrt x) z))
  (* x (/ y z))
  (* x y)
  (* x (/ y z))
  (* x (/ y z))
  (* x (/ y z))
0.958 * * * [progress]: adding candidates to table
1.202 * * [progress]: iteration 2 / 4
1.202 * * * [progress]: picking best candidate
1.235 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* x (* (cbrt y) (/ (cbrt y) (* (cbrt z) (cbrt z))))) (/ (cbrt y) (cbrt z))))>
1.235 * * * [progress]: localizing error
1.247 * * * [progress]: generating rewritten candidates
1.247 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.257 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.258 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1)
1.259 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
1.262 * * * [progress]: generating series expansions
1.262 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.262 * [approximate]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in (x y z) around 0
1.262 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in z
1.262 * [taylor]: Taking taylor expansion of x in z
1.262 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in z
1.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in z
1.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in z
1.262 * [taylor]: Taking taylor expansion of 1/3 in z
1.262 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in z
1.262 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in z
1.262 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.262 * [taylor]: Taking taylor expansion of y in z
1.262 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.262 * [taylor]: Taking taylor expansion of z in z
1.262 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in y
1.262 * [taylor]: Taking taylor expansion of x in y
1.262 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y
1.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y
1.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y
1.263 * [taylor]: Taking taylor expansion of 1/3 in y
1.263 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
1.263 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
1.263 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.263 * [taylor]: Taking taylor expansion of y in y
1.263 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.263 * [taylor]: Taking taylor expansion of z in y
1.263 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x
1.263 * [taylor]: Taking taylor expansion of x in x
1.263 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x
1.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x
1.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x
1.263 * [taylor]: Taking taylor expansion of 1/3 in x
1.263 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x
1.263 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x
1.263 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.263 * [taylor]: Taking taylor expansion of y in x
1.263 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.263 * [taylor]: Taking taylor expansion of z in x
1.264 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x
1.264 * [taylor]: Taking taylor expansion of x in x
1.264 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x
1.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x
1.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x
1.264 * [taylor]: Taking taylor expansion of 1/3 in x
1.264 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x
1.264 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x
1.264 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.264 * [taylor]: Taking taylor expansion of y in x
1.264 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.264 * [taylor]: Taking taylor expansion of z in x
1.264 * [taylor]: Taking taylor expansion of 0 in y
1.264 * [taylor]: Taking taylor expansion of 0 in z
1.265 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y
1.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y
1.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y
1.265 * [taylor]: Taking taylor expansion of 1/3 in y
1.265 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
1.265 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
1.265 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.265 * [taylor]: Taking taylor expansion of y in y
1.265 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.265 * [taylor]: Taking taylor expansion of z in y
1.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y))))) in z
1.266 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y)))) in z
1.266 * [taylor]: Taking taylor expansion of 1/3 in z
1.266 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow z 2))) (* 2 (log y))) in z
1.266 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.266 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.266 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.266 * [taylor]: Taking taylor expansion of z in z
1.266 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.266 * [taylor]: Taking taylor expansion of 2 in z
1.266 * [taylor]: Taking taylor expansion of (log y) in z
1.266 * [taylor]: Taking taylor expansion of y in z
1.267 * [taylor]: Taking taylor expansion of 0 in z
1.271 * [taylor]: Taking taylor expansion of 0 in y
1.271 * [taylor]: Taking taylor expansion of 0 in z
1.271 * [taylor]: Taking taylor expansion of 0 in z
1.271 * [taylor]: Taking taylor expansion of 0 in z
1.272 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in (x y z) around 0
1.272 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z
1.272 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.272 * [taylor]: Taking taylor expansion of x in z
1.272 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z
1.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z
1.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z
1.272 * [taylor]: Taking taylor expansion of 1/3 in z
1.272 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z
1.272 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z
1.272 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.272 * [taylor]: Taking taylor expansion of z in z
1.272 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.273 * [taylor]: Taking taylor expansion of y in z
1.273 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
1.273 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.273 * [taylor]: Taking taylor expansion of x in y
1.273 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
1.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
1.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
1.273 * [taylor]: Taking taylor expansion of 1/3 in y
1.273 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
1.273 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
1.273 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.273 * [taylor]: Taking taylor expansion of z in y
1.273 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.273 * [taylor]: Taking taylor expansion of y in y
1.274 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
1.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.274 * [taylor]: Taking taylor expansion of x in x
1.274 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
1.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
1.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
1.274 * [taylor]: Taking taylor expansion of 1/3 in x
1.274 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
1.274 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
1.274 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.274 * [taylor]: Taking taylor expansion of z in x
1.274 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.274 * [taylor]: Taking taylor expansion of y in x
1.274 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
1.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.274 * [taylor]: Taking taylor expansion of x in x
1.274 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
1.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
1.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
1.274 * [taylor]: Taking taylor expansion of 1/3 in x
1.274 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
1.274 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
1.274 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.274 * [taylor]: Taking taylor expansion of z in x
1.274 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.274 * [taylor]: Taking taylor expansion of y in x
1.275 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
1.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
1.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
1.275 * [taylor]: Taking taylor expansion of 1/3 in y
1.275 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
1.275 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
1.275 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.275 * [taylor]: Taking taylor expansion of z in y
1.275 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.275 * [taylor]: Taking taylor expansion of y in y
1.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z
1.275 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z
1.276 * [taylor]: Taking taylor expansion of 1/3 in z
1.276 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z
1.276 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.276 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.276 * [taylor]: Taking taylor expansion of z in z
1.276 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.276 * [taylor]: Taking taylor expansion of 2 in z
1.276 * [taylor]: Taking taylor expansion of (log y) in z
1.276 * [taylor]: Taking taylor expansion of y in z
1.277 * [taylor]: Taking taylor expansion of 0 in y
1.277 * [taylor]: Taking taylor expansion of 0 in z
1.277 * [taylor]: Taking taylor expansion of 0 in z
1.279 * [taylor]: Taking taylor expansion of 0 in y
1.279 * [taylor]: Taking taylor expansion of 0 in z
1.279 * [taylor]: Taking taylor expansion of 0 in z
1.280 * [taylor]: Taking taylor expansion of 0 in z
1.280 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in (x y z) around 0
1.280 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in z
1.280 * [taylor]: Taking taylor expansion of -1 in z
1.280 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z
1.281 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.281 * [taylor]: Taking taylor expansion of x in z
1.281 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z
1.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z
1.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z
1.281 * [taylor]: Taking taylor expansion of 1/3 in z
1.281 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z
1.281 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z
1.281 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.281 * [taylor]: Taking taylor expansion of z in z
1.281 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.281 * [taylor]: Taking taylor expansion of y in z
1.281 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in y
1.281 * [taylor]: Taking taylor expansion of -1 in y
1.281 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
1.281 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.281 * [taylor]: Taking taylor expansion of x in y
1.281 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
1.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
1.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
1.281 * [taylor]: Taking taylor expansion of 1/3 in y
1.281 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
1.281 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
1.281 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.281 * [taylor]: Taking taylor expansion of z in y
1.281 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.281 * [taylor]: Taking taylor expansion of y in y
1.282 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x
1.282 * [taylor]: Taking taylor expansion of -1 in x
1.282 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
1.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.282 * [taylor]: Taking taylor expansion of x in x
1.282 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
1.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
1.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
1.282 * [taylor]: Taking taylor expansion of 1/3 in x
1.282 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
1.282 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
1.282 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.282 * [taylor]: Taking taylor expansion of z in x
1.282 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.282 * [taylor]: Taking taylor expansion of y in x
1.282 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x
1.282 * [taylor]: Taking taylor expansion of -1 in x
1.282 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
1.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.283 * [taylor]: Taking taylor expansion of x in x
1.283 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
1.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
1.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
1.283 * [taylor]: Taking taylor expansion of 1/3 in x
1.283 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
1.283 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
1.283 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.283 * [taylor]: Taking taylor expansion of z in x
1.283 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.283 * [taylor]: Taking taylor expansion of y in x
1.283 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
1.283 * [taylor]: Taking taylor expansion of -1 in y
1.283 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
1.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
1.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
1.283 * [taylor]: Taking taylor expansion of 1/3 in y
1.283 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
1.283 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
1.284 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.284 * [taylor]: Taking taylor expansion of z in y
1.284 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.284 * [taylor]: Taking taylor expansion of y in y
1.284 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y)))))) in z
1.284 * [taylor]: Taking taylor expansion of -1 in z
1.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z
1.284 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z
1.284 * [taylor]: Taking taylor expansion of 1/3 in z
1.284 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z
1.284 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.284 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.284 * [taylor]: Taking taylor expansion of z in z
1.284 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.284 * [taylor]: Taking taylor expansion of 2 in z
1.284 * [taylor]: Taking taylor expansion of (log y) in z
1.284 * [taylor]: Taking taylor expansion of y in z
1.286 * [taylor]: Taking taylor expansion of 0 in y
1.286 * [taylor]: Taking taylor expansion of 0 in z
1.286 * [taylor]: Taking taylor expansion of 0 in z
1.288 * [taylor]: Taking taylor expansion of 0 in y
1.288 * [taylor]: Taking taylor expansion of 0 in z
1.288 * [taylor]: Taking taylor expansion of 0 in z
1.289 * [taylor]: Taking taylor expansion of 0 in z
1.289 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.289 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.289 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.289 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.289 * [taylor]: Taking taylor expansion of 1/3 in y
1.289 * [taylor]: Taking taylor expansion of (log y) in y
1.289 * [taylor]: Taking taylor expansion of y in y
1.290 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.290 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.290 * [taylor]: Taking taylor expansion of 1/3 in y
1.290 * [taylor]: Taking taylor expansion of (log y) in y
1.290 * [taylor]: Taking taylor expansion of y in y
1.296 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.296 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.296 * [taylor]: Taking taylor expansion of 1/3 in y
1.296 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.296 * [taylor]: Taking taylor expansion of y in y
1.296 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.296 * [taylor]: Taking taylor expansion of 1/3 in y
1.296 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.296 * [taylor]: Taking taylor expansion of y in y
1.302 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.302 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.302 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.302 * [taylor]: Taking taylor expansion of -1 in y
1.303 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.303 * [taylor]: Taking taylor expansion of 1/3 in y
1.303 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.303 * [taylor]: Taking taylor expansion of y in y
1.303 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.303 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.303 * [taylor]: Taking taylor expansion of -1 in y
1.303 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.303 * [taylor]: Taking taylor expansion of 1/3 in y
1.303 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.303 * [taylor]: Taking taylor expansion of y in y
1.311 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1)
1.311 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.311 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.311 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.311 * [taylor]: Taking taylor expansion of 1/3 in y
1.311 * [taylor]: Taking taylor expansion of (log y) in y
1.311 * [taylor]: Taking taylor expansion of y in y
1.311 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.311 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.311 * [taylor]: Taking taylor expansion of 1/3 in y
1.311 * [taylor]: Taking taylor expansion of (log y) in y
1.311 * [taylor]: Taking taylor expansion of y in y
1.317 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.317 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.317 * [taylor]: Taking taylor expansion of 1/3 in y
1.317 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.317 * [taylor]: Taking taylor expansion of y in y
1.317 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.317 * [taylor]: Taking taylor expansion of 1/3 in y
1.317 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.317 * [taylor]: Taking taylor expansion of y in y
1.323 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.323 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.323 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.323 * [taylor]: Taking taylor expansion of -1 in y
1.323 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.323 * [taylor]: Taking taylor expansion of 1/3 in y
1.324 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.324 * [taylor]: Taking taylor expansion of y in y
1.324 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.324 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.324 * [taylor]: Taking taylor expansion of -1 in y
1.324 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.324 * [taylor]: Taking taylor expansion of 1/3 in y
1.324 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.324 * [taylor]: Taking taylor expansion of y in y
1.331 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.332 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.332 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.332 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.332 * [taylor]: Taking taylor expansion of 1/3 in y
1.332 * [taylor]: Taking taylor expansion of (log y) in y
1.332 * [taylor]: Taking taylor expansion of y in y
1.332 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.332 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.332 * [taylor]: Taking taylor expansion of 1/3 in y
1.332 * [taylor]: Taking taylor expansion of (log y) in y
1.332 * [taylor]: Taking taylor expansion of y in y
1.338 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.338 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.338 * [taylor]: Taking taylor expansion of 1/3 in y
1.338 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.338 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.338 * [taylor]: Taking taylor expansion of y in y
1.338 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.338 * [taylor]: Taking taylor expansion of 1/3 in y
1.338 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.338 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.338 * [taylor]: Taking taylor expansion of y in y
1.344 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.344 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.344 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.344 * [taylor]: Taking taylor expansion of -1 in y
1.344 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.344 * [taylor]: Taking taylor expansion of 1/3 in y
1.344 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.344 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.344 * [taylor]: Taking taylor expansion of y in y
1.345 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.345 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.345 * [taylor]: Taking taylor expansion of -1 in y
1.345 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.345 * [taylor]: Taking taylor expansion of 1/3 in y
1.345 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.345 * [taylor]: Taking taylor expansion of y in y
1.353 * * * [progress]: simplifying candidates
1.354 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 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)) (log (/ (cbrt y) (* (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) (* y (* (* (/ (cbrt y) (* (cbrt z) (cbrt z))) (/ (cbrt y) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (* (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))))))
  (* x (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)))
  (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))
  (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))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* x (exp (* 1/3 (- (+ (log 1) (* 2 (log y))) (* 2 (log z))))))
  (* x (exp (* 1/3 (- (+ (log 1) (* 2 (log (/ 1 z)))) (* 2 (log (/ 1 y)))))))
  (* x (exp (* 1/3 (- (+ (log 1) (* 2 (log (/ -1 z)))) (* 2 (log (/ -1 y)))))))
  (exp (* 1/3 (+ (log 1) (log y))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
  (exp (* 1/3 (+ (log 1) (log y))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
  (exp (* 1/3 (+ (log 1) (log y))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
1.380 * * [simplify]: iteration  0 :  5124  enodes  (cost  437 )
1.383 * [simplify]: Simplified to:
   (* x (/ (pow y 2/3) (* (cbrt z) (cbrt z))))
  (* x (/ (pow y 2/3) (* (cbrt z) (cbrt z))))
  (+ (log x) (* 2 (log (/ (cbrt y) (cbrt z)))))
  (+ (log x) (* 2 (log (/ (cbrt y) (cbrt z)))))
  (+ (log x) (* 2 (log (/ (cbrt y) (cbrt z)))))
  (+ (log x) (* 2 (log (/ (cbrt y) (cbrt z)))))
  (+ (log x) (* 2 (log (/ (cbrt y) (cbrt z)))))
  (pow (exp x) (/ (pow y 2/3) (* (cbrt z) (cbrt z))))
  (* y (* (pow x 3) (/ y (* z z))))
  (* y (* (pow x 3) (/ y (* z z))))
  (* y (* (pow x 3) (/ y (* z z))))
  (* y (* (pow x 3) (/ y (* z z))))
  (* (cbrt (* x (/ (pow y 2/3) (* (cbrt z) (cbrt z))))) (cbrt (* x (/ (pow y 2/3) (* (cbrt z) (cbrt z))))))
  (cbrt (* x (/ (pow y 2/3) (* (cbrt z) (cbrt z)))))
  (* y (* (pow x 3) (/ y (* z z))))
  (sqrt (* x (/ (pow y 2/3) (* (cbrt z) (cbrt z)))))
  (sqrt (* x (/ (pow y 2/3) (* (cbrt z) (cbrt z)))))
  (* x (cbrt y))
  (* (/ (pow y 2/3) (* (cbrt z) (cbrt z))) (cbrt x))
  (* (/ (pow y 2/3) (* (cbrt z) (cbrt z))) (sqrt x))
  (* x (/ (pow y 2/3) (* (cbrt z) (cbrt z))))
  (* x (pow y 2/3))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* x (* (pow y 2/3) (pow z -2/3)))
  (* x (* (pow y 2/3) (pow z -2/3)))
  (* x (pow (exp 2/3) (- (log (/ -1 z)) (log (/ -1 y)))))
  (cbrt y)
  (cbrt y)
  (* (cbrt -1) (cbrt (/ 1 (/ -1 y))))
  (cbrt y)
  (cbrt y)
  (* (cbrt -1) (cbrt (/ 1 (/ -1 y))))
  (cbrt y)
  (cbrt y)
  (* (cbrt -1) (cbrt (/ 1 (/ -1 y))))
1.383 * * * [progress]: adding candidates to table
1.444 * * [progress]: iteration 3 / 4
1.444 * * * [progress]: picking best candidate
1.472 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))>
1.472 * * * [progress]: localizing error
1.480 * * * [progress]: generating rewritten candidates
1.480 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.494 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.495 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
1.496 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
1.500 * * * [progress]: generating series expansions
1.500 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.500 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
1.500 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
1.500 * [taylor]: Taking taylor expansion of (* x y) in y
1.500 * [taylor]: Taking taylor expansion of x in y
1.500 * [taylor]: Taking taylor expansion of y in y
1.500 * [taylor]: Taking taylor expansion of z in y
1.500 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
1.500 * [taylor]: Taking taylor expansion of (* x y) in z
1.500 * [taylor]: Taking taylor expansion of x in z
1.500 * [taylor]: Taking taylor expansion of y in z
1.500 * [taylor]: Taking taylor expansion of z in z
1.500 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.500 * [taylor]: Taking taylor expansion of (* x y) in x
1.501 * [taylor]: Taking taylor expansion of x in x
1.501 * [taylor]: Taking taylor expansion of y in x
1.501 * [taylor]: Taking taylor expansion of z in x
1.501 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.501 * [taylor]: Taking taylor expansion of (* x y) in x
1.501 * [taylor]: Taking taylor expansion of x in x
1.501 * [taylor]: Taking taylor expansion of y in x
1.501 * [taylor]: Taking taylor expansion of z in x
1.501 * [taylor]: Taking taylor expansion of (/ y z) in z
1.501 * [taylor]: Taking taylor expansion of y in z
1.501 * [taylor]: Taking taylor expansion of z in z
1.501 * [taylor]: Taking taylor expansion of y in y
1.501 * [taylor]: Taking taylor expansion of 0 in z
1.501 * [taylor]: Taking taylor expansion of 0 in y
1.501 * [taylor]: Taking taylor expansion of 0 in z
1.501 * [taylor]: Taking taylor expansion of 0 in y
1.501 * [taylor]: Taking taylor expansion of 0 in y
1.502 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
1.502 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.502 * [taylor]: Taking taylor expansion of z in y
1.502 * [taylor]: Taking taylor expansion of (* x y) in y
1.502 * [taylor]: Taking taylor expansion of x in y
1.502 * [taylor]: Taking taylor expansion of y in y
1.502 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
1.502 * [taylor]: Taking taylor expansion of z in z
1.502 * [taylor]: Taking taylor expansion of (* x y) in z
1.502 * [taylor]: Taking taylor expansion of x in z
1.502 * [taylor]: Taking taylor expansion of y in z
1.502 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.502 * [taylor]: Taking taylor expansion of z in x
1.502 * [taylor]: Taking taylor expansion of (* x y) in x
1.502 * [taylor]: Taking taylor expansion of x in x
1.502 * [taylor]: Taking taylor expansion of y in x
1.502 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.502 * [taylor]: Taking taylor expansion of z in x
1.502 * [taylor]: Taking taylor expansion of (* x y) in x
1.502 * [taylor]: Taking taylor expansion of x in x
1.502 * [taylor]: Taking taylor expansion of y in x
1.502 * [taylor]: Taking taylor expansion of (/ z y) in z
1.502 * [taylor]: Taking taylor expansion of z in z
1.502 * [taylor]: Taking taylor expansion of y in z
1.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.502 * [taylor]: Taking taylor expansion of y in y
1.502 * [taylor]: Taking taylor expansion of 0 in z
1.502 * [taylor]: Taking taylor expansion of 0 in y
1.502 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of 0 in z
1.503 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of 0 in z
1.503 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of 0 in y
1.503 * [taylor]: Taking taylor expansion of 0 in y
1.504 * [approximate]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* x y))) in (x z y) around 0
1.504 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* x y))) in y
1.504 * [taylor]: Taking taylor expansion of z in y
1.504 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* x y)) in y
1.504 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
1.504 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.504 * [taylor]: Taking taylor expansion of -1 in y
1.504 * [taylor]: Taking taylor expansion of (* x y) in y
1.504 * [taylor]: Taking taylor expansion of x in y
1.504 * [taylor]: Taking taylor expansion of y in y
1.505 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* x y))) in z
1.505 * [taylor]: Taking taylor expansion of z in z
1.505 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* x y)) in z
1.505 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
1.505 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.505 * [taylor]: Taking taylor expansion of -1 in z
1.505 * [taylor]: Taking taylor expansion of (* x y) in z
1.505 * [taylor]: Taking taylor expansion of x in z
1.505 * [taylor]: Taking taylor expansion of y in z
1.505 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* x y))) in x
1.505 * [taylor]: Taking taylor expansion of z in x
1.505 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* x y)) in x
1.505 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
1.505 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.505 * [taylor]: Taking taylor expansion of -1 in x
1.506 * [taylor]: Taking taylor expansion of (* x y) in x
1.506 * [taylor]: Taking taylor expansion of x in x
1.506 * [taylor]: Taking taylor expansion of y in x
1.506 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* x y))) in x
1.506 * [taylor]: Taking taylor expansion of z in x
1.506 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* x y)) in x
1.506 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
1.506 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.506 * [taylor]: Taking taylor expansion of -1 in x
1.506 * [taylor]: Taking taylor expansion of (* x y) in x
1.506 * [taylor]: Taking taylor expansion of x in x
1.506 * [taylor]: Taking taylor expansion of y in x
1.507 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
1.507 * [taylor]: Taking taylor expansion of -1 in z
1.507 * [taylor]: Taking taylor expansion of (/ z y) in z
1.507 * [taylor]: Taking taylor expansion of z in z
1.507 * [taylor]: Taking taylor expansion of y in z
1.507 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.507 * [taylor]: Taking taylor expansion of -1 in y
1.507 * [taylor]: Taking taylor expansion of y in y
1.508 * [taylor]: Taking taylor expansion of 0 in z
1.508 * [taylor]: Taking taylor expansion of 0 in y
1.508 * [taylor]: Taking taylor expansion of 0 in y
1.509 * [taylor]: Taking taylor expansion of 0 in z
1.509 * [taylor]: Taking taylor expansion of 0 in y
1.509 * [taylor]: Taking taylor expansion of 0 in y
1.509 * [taylor]: Taking taylor expansion of 0 in y
1.510 * [taylor]: Taking taylor expansion of 0 in z
1.510 * [taylor]: Taking taylor expansion of 0 in y
1.510 * [taylor]: Taking taylor expansion of 0 in y
1.510 * [taylor]: Taking taylor expansion of 0 in y
1.510 * [taylor]: Taking taylor expansion of 0 in y
1.510 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.510 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
1.510 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.510 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.510 * [taylor]: Taking taylor expansion of 1/3 in z
1.510 * [taylor]: Taking taylor expansion of (log z) in z
1.510 * [taylor]: Taking taylor expansion of z in z
1.510 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.510 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.510 * [taylor]: Taking taylor expansion of 1/3 in z
1.510 * [taylor]: Taking taylor expansion of (log z) in z
1.510 * [taylor]: Taking taylor expansion of z in z
1.519 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
1.519 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.519 * [taylor]: Taking taylor expansion of 1/3 in z
1.519 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.519 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.519 * [taylor]: Taking taylor expansion of z in z
1.519 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.519 * [taylor]: Taking taylor expansion of 1/3 in z
1.519 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.519 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.519 * [taylor]: Taking taylor expansion of z in z
1.525 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
1.525 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.525 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.525 * [taylor]: Taking taylor expansion of -1 in z
1.525 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.525 * [taylor]: Taking taylor expansion of 1/3 in z
1.526 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.526 * [taylor]: Taking taylor expansion of z in z
1.526 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.526 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.526 * [taylor]: Taking taylor expansion of -1 in z
1.526 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.526 * [taylor]: Taking taylor expansion of 1/3 in z
1.526 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.526 * [taylor]: Taking taylor expansion of z in z
1.534 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1.534 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
1.534 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.534 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.534 * [taylor]: Taking taylor expansion of 1/3 in z
1.534 * [taylor]: Taking taylor expansion of (log z) in z
1.534 * [taylor]: Taking taylor expansion of z in z
1.534 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.534 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.534 * [taylor]: Taking taylor expansion of 1/3 in z
1.534 * [taylor]: Taking taylor expansion of (log z) in z
1.534 * [taylor]: Taking taylor expansion of z in z
1.540 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
1.540 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.540 * [taylor]: Taking taylor expansion of 1/3 in z
1.540 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.540 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.540 * [taylor]: Taking taylor expansion of z in z
1.541 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.541 * [taylor]: Taking taylor expansion of 1/3 in z
1.541 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.541 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.541 * [taylor]: Taking taylor expansion of z in z
1.547 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
1.547 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.547 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.547 * [taylor]: Taking taylor expansion of -1 in z
1.547 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.547 * [taylor]: Taking taylor expansion of 1/3 in z
1.547 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.547 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.547 * [taylor]: Taking taylor expansion of z in z
1.547 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.547 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.547 * [taylor]: Taking taylor expansion of -1 in z
1.548 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.548 * [taylor]: Taking taylor expansion of 1/3 in z
1.548 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.548 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.548 * [taylor]: Taking taylor expansion of z in z
1.555 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.555 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
1.555 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.555 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.555 * [taylor]: Taking taylor expansion of 1/3 in z
1.555 * [taylor]: Taking taylor expansion of (log z) in z
1.555 * [taylor]: Taking taylor expansion of z in z
1.556 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.556 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.556 * [taylor]: Taking taylor expansion of 1/3 in z
1.556 * [taylor]: Taking taylor expansion of (log z) in z
1.556 * [taylor]: Taking taylor expansion of z in z
1.562 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
1.562 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.562 * [taylor]: Taking taylor expansion of 1/3 in z
1.562 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.562 * [taylor]: Taking taylor expansion of z in z
1.562 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.562 * [taylor]: Taking taylor expansion of 1/3 in z
1.562 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.562 * [taylor]: Taking taylor expansion of z in z
1.568 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
1.568 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.568 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.568 * [taylor]: Taking taylor expansion of -1 in z
1.569 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.569 * [taylor]: Taking taylor expansion of 1/3 in z
1.569 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.569 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.569 * [taylor]: Taking taylor expansion of z in z
1.569 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.569 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.569 * [taylor]: Taking taylor expansion of -1 in z
1.569 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.569 * [taylor]: Taking taylor expansion of 1/3 in z
1.569 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.569 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.569 * [taylor]: Taking taylor expansion of z in z
1.577 * * * [progress]: simplifying candidates
1.578 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
  (+ (- (log x) (+ (log (cbrt z)) (log (cbrt z)))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (+ (log (cbrt z)) (log (cbrt z)))) (log (/ y (cbrt z))))
  (+ (- (log x) (log (* (cbrt z) (cbrt z)))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (log (* (cbrt z) (cbrt z)))) (log (/ y (cbrt z))))
  (+ (log (/ x (* (cbrt z) (cbrt z)))) (- (log y) (log (cbrt z))))
  (+ (log (/ x (* (cbrt z) (cbrt z)))) (log (/ y (cbrt z))))
  (log (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (exp (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* z z)) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* z z)) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (* (* (/ x (* (cbrt z) (cbrt z))) (/ x (* (cbrt z) (cbrt z)))) (/ x (* (cbrt z) (cbrt z)))) (/ (* (* y y) y) z))
  (* (* (* (/ x (* (cbrt z) (cbrt z))) (/ x (* (cbrt z) (cbrt z)))) (/ x (* (cbrt z) (cbrt z)))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))
  (cbrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* (* (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (sqrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (sqrt (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* x y)
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (sqrt (/ y (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (sqrt (/ y (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ (sqrt x) (cbrt z)) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ (sqrt x) (cbrt z)) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ (sqrt x) (cbrt z)) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (sqrt (/ y (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt 1)))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) 1))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt 1)))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) 1))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (cbrt 1)))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ 1 1))
  (* (/ x (* (cbrt z) (cbrt z))) 1)
  (* (/ x (* (cbrt z) (cbrt z))) y)
  (* (cbrt (/ x (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (/ (cbrt x) (cbrt z)) (/ y (cbrt z)))
  (* (/ (sqrt x) (cbrt z)) (/ y (cbrt z)))
  (* (/ x (cbrt z)) (/ y (cbrt z)))
  (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
  (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
  (* (/ x (* (cbrt z) (cbrt z))) y)
  (* x (/ y (cbrt z)))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (exp (* 1/3 (+ (log z) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 z)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z))))))
  (exp (* 1/3 (+ (log z) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 z)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z))))))
  (exp (* 1/3 (+ (log z) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 z)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 z))))))
1.642 * * [simplify]: iteration  0 :  4951  enodes  (cost  801 )
1.643 * * [simplify]: iteration  1 :  4951  enodes  (cost  801 )
1.647 * [simplify]: Simplified to:
   (* y (/ x z))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (pow (exp y) (/ x z))
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z))))
  (cbrt (* y (/ x z)))
  (pow (* y (/ x z)) 3)
  (sqrt (* y (/ x z)))
  (sqrt (* y (/ x z)))
  (* x y)
  z
  (* (sqrt (/ x (pow (cbrt z) 2))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (pow (cbrt z) 2))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (pow (cbrt z) 2))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (pow (cbrt z) 2))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (pow (cbrt z) 2))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (sqrt (/ x (pow (cbrt z) 2))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (sqrt (/ y (cbrt z))) (/ (sqrt x) (cbrt z)))
  (* (sqrt (/ y (cbrt z))) (/ (sqrt x) (cbrt z)))
  (* (/ (sqrt y) (cbrt (sqrt z))) (/ (sqrt x) (cbrt z)))
  (* (/ (sqrt y) (cbrt (sqrt z))) (/ (sqrt x) (cbrt z)))
  (* (/ (sqrt y) (sqrt (cbrt z))) (/ (sqrt x) (cbrt z)))
  (* (/ (sqrt y) (sqrt (cbrt z))) (/ (sqrt x) (cbrt z)))
  (* (/ x (pow (cbrt z) 2)) (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))))
  (* (/ x (pow (cbrt z) 2)) (sqrt (/ y (cbrt z))))
  (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (cbrt (pow (cbrt z) 2)))))
  (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (cbrt (sqrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (pow (cbrt z) 2)))
  (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (* (cbrt (cbrt z)) (cbrt (cbrt z))))))
  (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (sqrt (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (pow (cbrt z) 2)))
  (* (/ x (pow (cbrt z) 2)) (/ (sqrt y) (cbrt (pow (cbrt z) 2))))
  (* (/ x (pow (cbrt z) 2)) (/ (sqrt y) (cbrt (sqrt z))))
  (* x (/ (sqrt y) (pow (cbrt z) 2)))
  (* (/ x (pow (cbrt z) 2)) (/ (sqrt y) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (pow (cbrt z) 2)) (/ (sqrt y) (sqrt (cbrt z))))
  (* x (/ (sqrt y) (pow (cbrt z) 2)))
  (/ x (* (pow (cbrt z) 2) (cbrt (pow (cbrt z) 2))))
  (/ x (* (pow (cbrt z) 2) (cbrt (sqrt z))))
  (/ x (pow (cbrt z) 2))
  (/ x (* (pow (cbrt z) 2) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (/ x (* (pow (cbrt z) 2) (sqrt (cbrt z))))
  (/ x (pow (cbrt z) 2))
  (/ x (pow (cbrt z) 2))
  (* (/ x (pow (cbrt z) 2)) y)
  (* (/ y (cbrt z)) (cbrt (/ x (pow (cbrt z) 2))))
  (* (/ y (cbrt z)) (sqrt (/ x (pow (cbrt z) 2))))
  (/ (* y (cbrt x)) (pow (cbrt z) 2))
  (/ (* y (sqrt x)) (pow (cbrt z) 2))
  (* (/ x (pow (cbrt z) 2)) y)
  (* y (/ x z))
  (/ y z)
  (* (/ x (pow (cbrt z) 2)) y)
  (* x (/ y (cbrt z)))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (pow (cbrt z) 2))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (pow (cbrt z) 2))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (pow (cbrt z) 2))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (* y (/ x z))
  (* y (/ x z))
  (* y (/ x z))
  (cbrt z)
  (cbrt z)
  (* (cbrt -1) (cbrt (* z -1)))
  (cbrt z)
  (cbrt z)
  (* (cbrt -1) (cbrt (* z -1)))
  (cbrt z)
  (cbrt z)
  (* (cbrt -1) (cbrt (* z -1)))
1.647 * * * [progress]: adding candidates to table
1.737 * * [progress]: iteration 4 / 4
1.737 * * * [progress]: picking best candidate
1.763 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))>
1.764 * * * [progress]: localizing error
1.778 * * * [progress]: generating rewritten candidates
1.778 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.801 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2)
1.803 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 2)
1.804 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 1)
1.810 * * * [progress]: generating series expansions
1.810 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.810 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
1.810 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
1.810 * [taylor]: Taking taylor expansion of (* x y) in y
1.810 * [taylor]: Taking taylor expansion of x in y
1.810 * [taylor]: Taking taylor expansion of y in y
1.810 * [taylor]: Taking taylor expansion of z in y
1.811 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
1.811 * [taylor]: Taking taylor expansion of (* x y) in z
1.811 * [taylor]: Taking taylor expansion of x in z
1.811 * [taylor]: Taking taylor expansion of y in z
1.811 * [taylor]: Taking taylor expansion of z in z
1.811 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.811 * [taylor]: Taking taylor expansion of (* x y) in x
1.811 * [taylor]: Taking taylor expansion of x in x
1.811 * [taylor]: Taking taylor expansion of y in x
1.811 * [taylor]: Taking taylor expansion of z in x
1.811 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
1.811 * [taylor]: Taking taylor expansion of (* x y) in x
1.811 * [taylor]: Taking taylor expansion of x in x
1.811 * [taylor]: Taking taylor expansion of y in x
1.811 * [taylor]: Taking taylor expansion of z in x
1.811 * [taylor]: Taking taylor expansion of (/ y z) in z
1.811 * [taylor]: Taking taylor expansion of y in z
1.811 * [taylor]: Taking taylor expansion of z in z
1.811 * [taylor]: Taking taylor expansion of y in y
1.811 * [taylor]: Taking taylor expansion of 0 in z
1.811 * [taylor]: Taking taylor expansion of 0 in y
1.811 * [taylor]: Taking taylor expansion of 0 in z
1.811 * [taylor]: Taking taylor expansion of 0 in y
1.812 * [taylor]: Taking taylor expansion of 0 in y
1.812 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
1.812 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
1.812 * [taylor]: Taking taylor expansion of z in y
1.812 * [taylor]: Taking taylor expansion of (* x y) in y
1.812 * [taylor]: Taking taylor expansion of x in y
1.812 * [taylor]: Taking taylor expansion of y in y
1.812 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
1.812 * [taylor]: Taking taylor expansion of z in z
1.812 * [taylor]: Taking taylor expansion of (* x y) in z
1.812 * [taylor]: Taking taylor expansion of x in z
1.812 * [taylor]: Taking taylor expansion of y in z
1.812 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.812 * [taylor]: Taking taylor expansion of z in x
1.812 * [taylor]: Taking taylor expansion of (* x y) in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of y in x
1.812 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
1.812 * [taylor]: Taking taylor expansion of z in x
1.812 * [taylor]: Taking taylor expansion of (* x y) in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of y in x
1.812 * [taylor]: Taking taylor expansion of (/ z y) in z
1.812 * [taylor]: Taking taylor expansion of z in z
1.812 * [taylor]: Taking taylor expansion of y in z
1.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.812 * [taylor]: Taking taylor expansion of y in y
1.813 * [taylor]: Taking taylor expansion of 0 in z
1.813 * [taylor]: Taking taylor expansion of 0 in y
1.813 * [taylor]: Taking taylor expansion of 0 in y
1.813 * [taylor]: Taking taylor expansion of 0 in z
1.813 * [taylor]: Taking taylor expansion of 0 in y
1.813 * [taylor]: Taking taylor expansion of 0 in y
1.813 * [taylor]: Taking taylor expansion of 0 in y
1.813 * [taylor]: Taking taylor expansion of 0 in z
1.813 * [taylor]: Taking taylor expansion of 0 in y
1.813 * [taylor]: Taking taylor expansion of 0 in y
1.813 * [taylor]: Taking taylor expansion of 0 in y
1.813 * [taylor]: Taking taylor expansion of 0 in y
1.814 * [approximate]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* x y))) in (x z y) around 0
1.814 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* x y))) in y
1.814 * [taylor]: Taking taylor expansion of z in y
1.814 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* x y)) in y
1.814 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
1.814 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.814 * [taylor]: Taking taylor expansion of -1 in y
1.814 * [taylor]: Taking taylor expansion of (* x y) in y
1.814 * [taylor]: Taking taylor expansion of x in y
1.814 * [taylor]: Taking taylor expansion of y in y
1.815 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* x y))) in z
1.815 * [taylor]: Taking taylor expansion of z in z
1.815 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* x y)) in z
1.815 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
1.815 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.815 * [taylor]: Taking taylor expansion of -1 in z
1.815 * [taylor]: Taking taylor expansion of (* x y) in z
1.815 * [taylor]: Taking taylor expansion of x in z
1.815 * [taylor]: Taking taylor expansion of y in z
1.816 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* x y))) in x
1.816 * [taylor]: Taking taylor expansion of z in x
1.816 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* x y)) in x
1.816 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
1.816 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.816 * [taylor]: Taking taylor expansion of -1 in x
1.816 * [taylor]: Taking taylor expansion of (* x y) in x
1.816 * [taylor]: Taking taylor expansion of x in x
1.816 * [taylor]: Taking taylor expansion of y in x
1.817 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* x y))) in x
1.817 * [taylor]: Taking taylor expansion of z in x
1.817 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* x y)) in x
1.817 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
1.817 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.817 * [taylor]: Taking taylor expansion of -1 in x
1.817 * [taylor]: Taking taylor expansion of (* x y) in x
1.817 * [taylor]: Taking taylor expansion of x in x
1.817 * [taylor]: Taking taylor expansion of y in x
1.817 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
1.818 * [taylor]: Taking taylor expansion of -1 in z
1.818 * [taylor]: Taking taylor expansion of (/ z y) in z
1.818 * [taylor]: Taking taylor expansion of z in z
1.818 * [taylor]: Taking taylor expansion of y in z
1.818 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.818 * [taylor]: Taking taylor expansion of -1 in y
1.818 * [taylor]: Taking taylor expansion of y in y
1.818 * [taylor]: Taking taylor expansion of 0 in z
1.818 * [taylor]: Taking taylor expansion of 0 in y
1.818 * [taylor]: Taking taylor expansion of 0 in y
1.819 * [taylor]: Taking taylor expansion of 0 in z
1.819 * [taylor]: Taking taylor expansion of 0 in y
1.819 * [taylor]: Taking taylor expansion of 0 in y
1.819 * [taylor]: Taking taylor expansion of 0 in y
1.820 * [taylor]: Taking taylor expansion of 0 in z
1.820 * [taylor]: Taking taylor expansion of 0 in y
1.820 * [taylor]: Taking taylor expansion of 0 in y
1.820 * [taylor]: Taking taylor expansion of 0 in y
1.820 * [taylor]: Taking taylor expansion of 0 in y
1.820 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2)
1.820 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0
1.820 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
1.820 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
1.820 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
1.821 * [taylor]: Taking taylor expansion of 1/9 in z
1.821 * [taylor]: Taking taylor expansion of (log z) in z
1.821 * [taylor]: Taking taylor expansion of z in z
1.821 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
1.821 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
1.821 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
1.821 * [taylor]: Taking taylor expansion of 1/9 in z
1.821 * [taylor]: Taking taylor expansion of (log z) in z
1.821 * [taylor]: Taking taylor expansion of z in z
1.827 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0
1.827 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.827 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.827 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.827 * [taylor]: Taking taylor expansion of 1/9 in z
1.827 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.827 * [taylor]: Taking taylor expansion of z in z
1.827 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.827 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.827 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.827 * [taylor]: Taking taylor expansion of 1/9 in z
1.827 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.827 * [taylor]: Taking taylor expansion of z in z
1.833 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0
1.833 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z
1.833 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
1.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
1.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
1.833 * [taylor]: Taking taylor expansion of 1/3 in z
1.833 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
1.833 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.833 * [taylor]: Taking taylor expansion of -1 in z
1.834 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.834 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.834 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.834 * [taylor]: Taking taylor expansion of 1/9 in z
1.834 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.834 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.834 * [taylor]: Taking taylor expansion of z in z
1.834 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z
1.834 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
1.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
1.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
1.834 * [taylor]: Taking taylor expansion of 1/3 in z
1.834 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
1.834 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.834 * [taylor]: Taking taylor expansion of -1 in z
1.834 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.834 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.834 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.834 * [taylor]: Taking taylor expansion of 1/9 in z
1.834 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.834 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.834 * [taylor]: Taking taylor expansion of z in z
1.853 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 2)
1.853 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0
1.854 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
1.854 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
1.854 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
1.854 * [taylor]: Taking taylor expansion of 1/9 in z
1.854 * [taylor]: Taking taylor expansion of (log z) in z
1.854 * [taylor]: Taking taylor expansion of z in z
1.854 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
1.854 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
1.854 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
1.854 * [taylor]: Taking taylor expansion of 1/9 in z
1.854 * [taylor]: Taking taylor expansion of (log z) in z
1.854 * [taylor]: Taking taylor expansion of z in z
1.860 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0
1.860 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.860 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.860 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.860 * [taylor]: Taking taylor expansion of 1/9 in z
1.860 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.860 * [taylor]: Taking taylor expansion of z in z
1.860 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.860 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.860 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.860 * [taylor]: Taking taylor expansion of 1/9 in z
1.860 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.860 * [taylor]: Taking taylor expansion of z in z
1.866 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0
1.866 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z
1.866 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
1.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
1.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
1.867 * [taylor]: Taking taylor expansion of 1/3 in z
1.867 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
1.867 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.867 * [taylor]: Taking taylor expansion of -1 in z
1.867 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.867 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.867 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.867 * [taylor]: Taking taylor expansion of 1/9 in z
1.867 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.867 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.867 * [taylor]: Taking taylor expansion of z in z
1.867 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z
1.867 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
1.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
1.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
1.867 * [taylor]: Taking taylor expansion of 1/3 in z
1.867 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
1.867 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.867 * [taylor]: Taking taylor expansion of -1 in z
1.867 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.867 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.867 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.867 * [taylor]: Taking taylor expansion of 1/9 in z
1.867 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.867 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.868 * [taylor]: Taking taylor expansion of z in z
1.883 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 1)
1.883 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0
1.883 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
1.883 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
1.883 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
1.883 * [taylor]: Taking taylor expansion of 1/9 in z
1.883 * [taylor]: Taking taylor expansion of (log z) in z
1.883 * [taylor]: Taking taylor expansion of z in z
1.883 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
1.883 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
1.883 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
1.883 * [taylor]: Taking taylor expansion of 1/9 in z
1.883 * [taylor]: Taking taylor expansion of (log z) in z
1.883 * [taylor]: Taking taylor expansion of z in z
1.889 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0
1.889 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.889 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.889 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.889 * [taylor]: Taking taylor expansion of 1/9 in z
1.889 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.889 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.889 * [taylor]: Taking taylor expansion of z in z
1.889 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.890 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.890 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.890 * [taylor]: Taking taylor expansion of 1/9 in z
1.890 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.890 * [taylor]: Taking taylor expansion of z in z
1.896 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in (z) around 0
1.896 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z
1.896 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
1.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
1.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
1.896 * [taylor]: Taking taylor expansion of 1/3 in z
1.896 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
1.896 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.896 * [taylor]: Taking taylor expansion of -1 in z
1.896 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.896 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.896 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.896 * [taylor]: Taking taylor expansion of 1/9 in z
1.896 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.896 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.896 * [taylor]: Taking taylor expansion of z in z
1.897 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 z) 1/9)) in z
1.897 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
1.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
1.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
1.897 * [taylor]: Taking taylor expansion of 1/3 in z
1.897 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
1.897 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.897 * [taylor]: Taking taylor expansion of -1 in z
1.897 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
1.897 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
1.897 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
1.897 * [taylor]: Taking taylor expansion of 1/9 in z
1.897 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.897 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.897 * [taylor]: Taking taylor expansion of z in z
1.912 * * * [progress]: simplifying candidates
1.914 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z)))
  (+ (- (log x) (+ (log (cbrt z)) (+ (+ (log (cbrt (cbrt z))) (log (cbrt (cbrt z)))) (log (cbrt (cbrt z)))))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (+ (log (cbrt z)) (+ (+ (log (cbrt (cbrt z))) (log (cbrt (cbrt z)))) (log (cbrt (cbrt z)))))) (log (/ y (cbrt z))))
  (+ (- (log x) (+ (log (cbrt z)) (+ (log (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (log (cbrt (cbrt z)))))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (+ (log (cbrt z)) (+ (log (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (log (cbrt (cbrt z)))))) (log (/ y (cbrt z))))
  (+ (- (log x) (+ (log (cbrt z)) (log (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (+ (log (cbrt z)) (log (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (log (/ y (cbrt z))))
  (+ (- (log x) (log (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (- (log y) (log (cbrt z))))
  (+ (- (log x) (log (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (log (/ y (cbrt z))))
  (+ (log (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (- (log y) (log (cbrt z))))
  (+ (log (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (log (/ y (cbrt z))))
  (log (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))
  (exp (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* z (* (* (cbrt z) (cbrt z)) (cbrt z)))) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* z (* (* (cbrt z) (cbrt z)) (cbrt z)))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* z (* (* (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt z)))) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* z (* (* (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt z)))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* z (* (* (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* z (* (* (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* x x) x) (* (* (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ (* (* y y) y) z))
  (* (/ (* (* x x) x) (* (* (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (* (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ (* (* y y) y) z))
  (* (* (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (cbrt (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z)))) (cbrt (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z)))))
  (cbrt (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))
  (* (* (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z)))) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))
  (sqrt (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))
  (sqrt (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))
  (* x y)
  (* (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (cbrt z))
  (* (sqrt (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (sqrt (/ y (cbrt z))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (cbrt 1)))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (* (cbrt y) (cbrt y)) 1))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (sqrt y) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (sqrt y) (cbrt 1)))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (sqrt y) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ (sqrt y) 1))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ 1 (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ 1 (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ 1 (cbrt 1)))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ 1 (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ 1 (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ 1 1))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) 1)
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) y)
  (* (cbrt (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ y (cbrt z)))
  (* (sqrt (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))))) (/ y (cbrt z)))
  (* (/ (cbrt x) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (/ y (cbrt z)))
  (* (/ (sqrt x) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (/ y (cbrt z)))
  (* (/ x (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (/ y (cbrt z)))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z)))
  (* (/ 1 (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z)))
  (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) y)
  (* x (/ y (cbrt z)))
  (log (cbrt (cbrt z)))
  (exp (cbrt (cbrt z)))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt 1))
  (cbrt (cbrt z))
  (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt 1)
  (cbrt (cbrt z))
  (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (log (cbrt (cbrt z)))
  (exp (cbrt (cbrt z)))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt 1))
  (cbrt (cbrt z))
  (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt 1)
  (cbrt (cbrt z))
  (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (log (cbrt (cbrt z)))
  (exp (cbrt (cbrt z)))
  (cbrt (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt 1))
  (cbrt (cbrt z))
  (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt 1)
  (cbrt (cbrt z))
  (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (exp (* 1/9 (+ (log z) (log 1))))
  (exp (* 1/9 (- (log 1) (log (/ 1 z)))))
  (* (exp (* 1/9 (- (log 1) (log (/ -1 z))))) (pow (cbrt -1) 1/3))
  (exp (* 1/9 (+ (log z) (log 1))))
  (exp (* 1/9 (- (log 1) (log (/ 1 z)))))
  (* (exp (* 1/9 (- (log 1) (log (/ -1 z))))) (pow (cbrt -1) 1/3))
  (exp (* 1/9 (+ (log z) (log 1))))
  (exp (* 1/9 (- (log 1) (log (/ 1 z)))))
  (* (exp (* 1/9 (- (log 1) (log (/ -1 z))))) (pow (cbrt -1) 1/3))
1.974 * * [simplify]: iteration  0 :  4991  enodes  (cost  917 )
1.974 * * [simplify]: iteration  1 :  4991  enodes  (cost  917 )
1.979 * [simplify]: Simplified to:
   (* (/ x z) y)
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (pow (exp (/ x z)) y)
  (pow (* (/ x z) y) 3)
  (pow (* (/ x z) y) 3)
  (pow (* (/ x z) y) 3)
  (pow (* (/ x z) y) 3)
  (pow (* (/ x z) y) 3)
  (pow (* (/ x z) y) 3)
  (pow (* (/ x z) y) 3)
  (pow (* (/ x z) y) 3)
  (pow (* (/ x z) y) 3)
  (pow (* (/ x z) y) 3)
  (* (cbrt (* (/ x z) y)) (cbrt (* (/ x z) y)))
  (cbrt (* (/ x z) y))
  (pow (* (/ x z) y) 3)
  (sqrt (* (/ x z) y))
  (sqrt (* (/ x z) y))
  (* x y)
  z
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (sqrt (/ x (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))))
  (* (/ x (* (cbrt z) (cbrt z))) (sqrt (/ y (cbrt z))))
  (* (/ x (pow (cbrt (cbrt z)) 8)) (* (cbrt y) (cbrt y)))
  (* (/ x (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt (sqrt z))) (cbrt y)))
  (* (/ x (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt 1)) (cbrt y)))
  (* (/ x (pow (cbrt (cbrt z)) 8)) (* (cbrt y) (cbrt y)))
  (* (/ x (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (sqrt (cbrt z))) (cbrt y)))
  (* (/ x (* (cbrt z) (cbrt z))) (* (cbrt y) (cbrt y)))
  (* (/ x (pow (cbrt (cbrt z)) 8)) (sqrt y))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt 1)))
  (* (/ x (pow (cbrt (cbrt z)) 8)) (sqrt y))
  (* (/ x (* (cbrt z) (cbrt z))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ x (* (cbrt z) (cbrt z))) (sqrt y))
  (/ x (pow (cbrt (cbrt z)) 8))
  (/ x (* (* (cbrt z) (cbrt z)) (cbrt (sqrt z))))
  (/ x (* (* (cbrt z) (cbrt z)) (cbrt 1)))
  (/ x (pow (cbrt (cbrt z)) 8))
  (/ x (* (* (cbrt z) (cbrt z)) (sqrt (cbrt z))))
  (/ x (* (cbrt z) (cbrt z)))
  (/ x (* (cbrt z) (cbrt z)))
  (* (/ x (* (cbrt z) (cbrt z))) y)
  (* (/ y (cbrt z)) (cbrt (/ x (* (cbrt z) (cbrt z)))))
  (* (/ y (cbrt z)) (sqrt (/ x (* (cbrt z) (cbrt z)))))
  (* (/ y (cbrt z)) (/ (cbrt x) (cbrt z)))
  (* (/ y (cbrt z)) (/ (sqrt x) (cbrt z)))
  (* (/ x (* (cbrt z) (cbrt z))) y)
  (* (/ x z) y)
  (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z)))
  (* (/ x (* (cbrt z) (cbrt z))) y)
  (* x (/ y (cbrt z)))
  (log (cbrt (cbrt z)))
  (exp (cbrt (cbrt z)))
  (cbrt (pow (cbrt (cbrt z)) 2))
  (cbrt (cbrt (cbrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt 1))
  (cbrt (cbrt z))
  (cbrt (pow (cbrt (cbrt z)) 2))
  (cbrt (cbrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt 1)
  (cbrt (cbrt z))
  (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt z)
  (sqrt (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (log (cbrt (cbrt z)))
  (exp (cbrt (cbrt z)))
  (cbrt (pow (cbrt (cbrt z)) 2))
  (cbrt (cbrt (cbrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt 1))
  (cbrt (cbrt z))
  (cbrt (pow (cbrt (cbrt z)) 2))
  (cbrt (cbrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt 1)
  (cbrt (cbrt z))
  (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt z)
  (sqrt (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (log (cbrt (cbrt z)))
  (exp (cbrt (cbrt z)))
  (cbrt (pow (cbrt (cbrt z)) 2))
  (cbrt (cbrt (cbrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt (sqrt z)))
  (cbrt (cbrt 1))
  (cbrt (cbrt z))
  (cbrt (pow (cbrt (cbrt z)) 2))
  (cbrt (cbrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt (sqrt (cbrt z)))
  (cbrt 1)
  (cbrt (cbrt z))
  (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z))))
  (cbrt (cbrt (cbrt z)))
  (cbrt z)
  (sqrt (cbrt (cbrt z)))
  (sqrt (cbrt (cbrt z)))
  (* (/ x z) y)
  (* (/ x z) y)
  (* (/ x z) y)
  (pow z 1/9)
  (pow z 1/9)
  (* (pow (/ -1 z) -1/9) (cbrt (cbrt -1)))
  (pow z 1/9)
  (pow z 1/9)
  (* (pow (/ -1 z) -1/9) (cbrt (cbrt -1)))
  (pow z 1/9)
  (pow z 1/9)
  (* (pow (/ -1 z) -1/9) (cbrt (cbrt -1)))
1.980 * * * [progress]: adding candidates to table
2.070 * [progress]: [Phase 3 of 3] Extracting.
2.070 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* x (sqrt (/ y z))) (sqrt (/ y z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (sqrt (cbrt z))))) (/ (cbrt y) (sqrt (cbrt z)))))> #<alt (λ (x y z t) (/ (* x (/ y (cbrt z))) (* (cbrt z) (cbrt z))))>)
2.071 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x)
2.071 * * * * [regimes]: Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* x (sqrt (/ y z))) (sqrt (/ y z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (sqrt (cbrt z))))) (/ (cbrt y) (sqrt (cbrt z)))))> #<alt (λ (x y z t) (/ (* x (/ y (cbrt z))) (* (cbrt z) (cbrt z))))>)
2.170 * * * * [regimes]: Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* (* x (sqrt (/ y z))) (sqrt (/ y z))))> #<alt (λ (x y z t) (* x (/ y z)))>)
2.214 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* x (sqrt (/ y z))) (sqrt (/ y z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (sqrt (cbrt z))))) (/ (cbrt y) (sqrt (cbrt z)))))> #<alt (λ (x y z t) (/ (* x (/ y (cbrt z))) (* (cbrt z) (cbrt z))))>)
2.287 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* x (sqrt (/ y z))) (sqrt (/ y z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (sqrt (cbrt z))))) (/ (cbrt y) (sqrt (cbrt z)))))> #<alt (λ (x y z t) (/ (* x (/ y (cbrt z))) (* (cbrt z) (cbrt z))))>)
2.375 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* x (sqrt (/ y z))) (sqrt (/ y z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (sqrt (cbrt z))))) (/ (cbrt y) (sqrt (cbrt z)))))> #<alt (λ (x y z t) (/ (* x (/ y (cbrt z))) (* (cbrt z) (cbrt z))))>)
2.450 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* x (sqrt (/ y z))) (sqrt (/ y z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (sqrt (cbrt z))))) (/ (cbrt y) (sqrt (cbrt z)))))> #<alt (λ (x y z t) (/ (* x (/ y (cbrt z))) (* (cbrt z) (cbrt z))))>)
2.524 * * * [regime]: Found split indices: #<option (#s(si 7 19) #s(si 6 96) #s(si 7 165) #s(si 6 239) #s(si 7 255))>
2.524 * [binary-search]: Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* x (sqrt (/ y z))) (sqrt (/ y z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (sqrt (cbrt z))))) (/ (cbrt y) (sqrt (cbrt z)))))> #<alt (λ (x y z t) (/ (* x (/ y (cbrt z))) (* (cbrt z) (cbrt z))))>)
2.524 * [regimes]: Found splitpoints: (#s(sp 7 (/ y z) -2.802544562542358e+152) #s(sp 6 (/ y z) -2.4333236028189087e-202) #s(sp 7 (/ y z) 5.271680016281766e-176) #s(sp 6 (/ y z) 6.461351523313114e+157) #s(sp 7 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (* (/ x (* (cbrt z) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* (* x (sqrt (/ y z))) (sqrt (/ y z))))> #<alt (λ (x y z t) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (* (/ x (sqrt z)) (/ y (sqrt z))))> #<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (* (* (/ x (pow (cbrt z) 2)) (* (cbrt y) (/ (cbrt y) (sqrt (cbrt z))))) (/ (cbrt y) (sqrt (cbrt z)))))> #<alt (λ (x y z t) (/ (* x (/ y (cbrt z))) (* (cbrt z) (cbrt z))))>)
2.524 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ y z) -2.802544562542358e+152) (/ (* x y) z) (if (<= (/ y z) -2.4333236028189087e-202) (* x (/ y z)) (if (<= (/ y z) 5.271680016281766e-176) (/ (* x y) z) (if (<= (/ y z) 6.461351523313114e+157) (* x (/ y z)) (/ (* x y) z)))))
2.525 * * [simplify]: iteration  0 :  40  enodes  (cost  36 )
2.526 * * [simplify]: iteration  1 :  40  enodes  (cost  36 )
2.526 * [simplify]: Simplified to:
   (if (or (<= (/ y z) -2.802544562542358e+152) (not (or (<= (/ y z) -2.4333236028189087e-202) (and (not (<= (/ y z) 5.271680016281766e-176)) (<= (/ y z) 6.461351523313114e+157))))) (/ (* y x) z) (* (/ y z) x))
4.169 * [regime-testing]: End program error score: 0.5941294307929614
4.279 * [regime-testing]: Target error score: 1.470176605784611