9.366 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (- (* x (log y)) z) y)
0.029 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.030 * * [simplify]: iteration  1 :  15  enodes  (cost  8 )
0.032 * * [simplify]: iteration  2 :  29  enodes  (cost  8 )
0.038 * * [simplify]: iteration  3 :  49  enodes  (cost  8 )
0.044 * * [simplify]: iteration  4 :  64  enodes  (cost  8 )
0.051 * * [simplify]: iteration  5 :  76  enodes  (cost  8 )
0.060 * * [simplify]: iteration  6 :  99  enodes  (cost  8 )
0.072 * * [simplify]: iteration  7 :  141  enodes  (cost  8 )
0.096 * * [simplify]: iteration  8 :  209  enodes  (cost  8 )
0.139 * * [simplify]: iteration  9 :  232  enodes  (cost  8 )
0.188 * * [simplify]: iteration  done :  232  enodes  (cost  8 )
0.189 * [simplify]: Simplified to:
   (- (- (* x (log y)) z) y)
0.189 * * [progress]: iteration 1 / 4
0.189 * * * [progress]: picking best candidate
0.191 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (* x (log y)) z) y))>
0.191 * * * [progress]: localizing error
0.198 * * * [progress]: generating rewritten candidates
0.198 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
0.202 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.208 * * * [progress]: generating series expansions
0.208 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
0.208 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
0.208 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.208 * [taylor]: Taking taylor expansion of x in y
0.208 * [taylor]: Taking taylor expansion of (log y) in y
0.208 * [taylor]: Taking taylor expansion of y in y
0.209 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.209 * [taylor]: Taking taylor expansion of x in x
0.209 * [taylor]: Taking taylor expansion of (log y) in x
0.209 * [taylor]: Taking taylor expansion of y in x
0.209 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.209 * [taylor]: Taking taylor expansion of x in x
0.209 * [taylor]: Taking taylor expansion of (log y) in x
0.209 * [taylor]: Taking taylor expansion of y in x
0.209 * [taylor]: Taking taylor expansion of 0 in y
0.210 * [taylor]: Taking taylor expansion of (log y) in y
0.210 * [taylor]: Taking taylor expansion of y in y
0.213 * [taylor]: Taking taylor expansion of 0 in y
0.216 * [taylor]: Taking taylor expansion of 0 in y
0.216 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
0.216 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.216 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.216 * [taylor]: Taking taylor expansion of y in y
0.217 * [taylor]: Taking taylor expansion of x in y
0.218 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.218 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.218 * [taylor]: Taking taylor expansion of y in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.218 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.218 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.218 * [taylor]: Taking taylor expansion of y in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.218 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.218 * [taylor]: Taking taylor expansion of y in y
0.220 * [taylor]: Taking taylor expansion of 0 in y
0.223 * [taylor]: Taking taylor expansion of 0 in y
0.228 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
0.229 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
0.229 * [taylor]: Taking taylor expansion of -1 in y
0.229 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.229 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.229 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.229 * [taylor]: Taking taylor expansion of -1 in y
0.229 * [taylor]: Taking taylor expansion of y in y
0.229 * [taylor]: Taking taylor expansion of x in y
0.231 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.231 * [taylor]: Taking taylor expansion of -1 in x
0.231 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.231 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.231 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.231 * [taylor]: Taking taylor expansion of -1 in x
0.231 * [taylor]: Taking taylor expansion of y in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.231 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.231 * [taylor]: Taking taylor expansion of -1 in x
0.231 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.231 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.231 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.231 * [taylor]: Taking taylor expansion of -1 in x
0.231 * [taylor]: Taking taylor expansion of y in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.231 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
0.231 * [taylor]: Taking taylor expansion of -1 in y
0.231 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.231 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.231 * [taylor]: Taking taylor expansion of -1 in y
0.231 * [taylor]: Taking taylor expansion of y in y
0.235 * [taylor]: Taking taylor expansion of 0 in y
0.239 * [taylor]: Taking taylor expansion of 0 in y
0.246 * [taylor]: Taking taylor expansion of 0 in y
0.247 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.247 * [approximate]: Taking taylor expansion of (- (* x (log y)) z) in (x y z) around 0
0.247 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in z
0.247 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.247 * [taylor]: Taking taylor expansion of x in z
0.247 * [taylor]: Taking taylor expansion of (log y) in z
0.247 * [taylor]: Taking taylor expansion of y in z
0.247 * [taylor]: Taking taylor expansion of z in z
0.247 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in y
0.247 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.247 * [taylor]: Taking taylor expansion of x in y
0.247 * [taylor]: Taking taylor expansion of (log y) in y
0.247 * [taylor]: Taking taylor expansion of y in y
0.247 * [taylor]: Taking taylor expansion of z in y
0.247 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x
0.248 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.248 * [taylor]: Taking taylor expansion of x in x
0.248 * [taylor]: Taking taylor expansion of (log y) in x
0.248 * [taylor]: Taking taylor expansion of y in x
0.248 * [taylor]: Taking taylor expansion of z in x
0.248 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x
0.248 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.248 * [taylor]: Taking taylor expansion of x in x
0.248 * [taylor]: Taking taylor expansion of (log y) in x
0.248 * [taylor]: Taking taylor expansion of y in x
0.248 * [taylor]: Taking taylor expansion of z in x
0.248 * [taylor]: Taking taylor expansion of (- z) in y
0.248 * [taylor]: Taking taylor expansion of z in y
0.248 * [taylor]: Taking taylor expansion of (- z) in z
0.248 * [taylor]: Taking taylor expansion of z in z
0.249 * [taylor]: Taking taylor expansion of (log y) in y
0.249 * [taylor]: Taking taylor expansion of y in y
0.250 * [taylor]: Taking taylor expansion of (log y) in z
0.250 * [taylor]: Taking taylor expansion of y in z
0.250 * [taylor]: Taking taylor expansion of 0 in z
0.252 * [taylor]: Taking taylor expansion of 0 in y
0.252 * [taylor]: Taking taylor expansion of 0 in z
0.253 * [taylor]: Taking taylor expansion of 0 in z
0.253 * [taylor]: Taking taylor expansion of 0 in z
0.255 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in (x y z) around 0
0.255 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in z
0.255 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.255 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.255 * [taylor]: Taking taylor expansion of y in z
0.255 * [taylor]: Taking taylor expansion of x in z
0.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.255 * [taylor]: Taking taylor expansion of z in z
0.255 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in y
0.255 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.255 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.255 * [taylor]: Taking taylor expansion of y in y
0.259 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.260 * [taylor]: Taking taylor expansion of z in y
0.260 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x
0.260 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.260 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.260 * [taylor]: Taking taylor expansion of z in x
0.260 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x
0.260 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.260 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.260 * [taylor]: Taking taylor expansion of z in x
0.260 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.261 * [taylor]: Taking taylor expansion of (- (log y)) in z
0.261 * [taylor]: Taking taylor expansion of (log y) in z
0.261 * [taylor]: Taking taylor expansion of y in z
0.262 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y
0.262 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.262 * [taylor]: Taking taylor expansion of z in y
0.262 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.262 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.263 * [taylor]: Taking taylor expansion of z in z
0.264 * [taylor]: Taking taylor expansion of 0 in z
0.267 * [taylor]: Taking taylor expansion of 0 in y
0.267 * [taylor]: Taking taylor expansion of 0 in z
0.267 * [taylor]: Taking taylor expansion of 0 in z
0.269 * [taylor]: Taking taylor expansion of 0 in z
0.275 * [taylor]: Taking taylor expansion of 0 in y
0.275 * [taylor]: Taking taylor expansion of 0 in z
0.275 * [taylor]: Taking taylor expansion of 0 in z
0.275 * [taylor]: Taking taylor expansion of 0 in z
0.278 * [taylor]: Taking taylor expansion of 0 in z
0.279 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in (x y z) around 0
0.279 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in z
0.279 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.279 * [taylor]: Taking taylor expansion of z in z
0.279 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.279 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.279 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.279 * [taylor]: Taking taylor expansion of -1 in z
0.279 * [taylor]: Taking taylor expansion of y in z
0.279 * [taylor]: Taking taylor expansion of x in z
0.279 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in y
0.279 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.279 * [taylor]: Taking taylor expansion of z in y
0.279 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.279 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.279 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.279 * [taylor]: Taking taylor expansion of -1 in y
0.279 * [taylor]: Taking taylor expansion of y in y
0.280 * [taylor]: Taking taylor expansion of x in y
0.281 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x
0.281 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.281 * [taylor]: Taking taylor expansion of z in x
0.281 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.281 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.281 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.281 * [taylor]: Taking taylor expansion of -1 in x
0.281 * [taylor]: Taking taylor expansion of y in x
0.281 * [taylor]: Taking taylor expansion of x in x
0.282 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x
0.282 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.282 * [taylor]: Taking taylor expansion of z in x
0.282 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.282 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.282 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.282 * [taylor]: Taking taylor expansion of -1 in x
0.282 * [taylor]: Taking taylor expansion of y in x
0.282 * [taylor]: Taking taylor expansion of x in x
0.282 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y
0.282 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.282 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.282 * [taylor]: Taking taylor expansion of -1 in y
0.282 * [taylor]: Taking taylor expansion of y in y
0.283 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.283 * [taylor]: Taking taylor expansion of (log y) in z
0.283 * [taylor]: Taking taylor expansion of y in z
0.283 * [taylor]: Taking taylor expansion of (log -1) in z
0.283 * [taylor]: Taking taylor expansion of -1 in z
0.285 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.285 * [taylor]: Taking taylor expansion of z in y
0.285 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.285 * [taylor]: Taking taylor expansion of z in z
0.287 * [taylor]: Taking taylor expansion of 0 in z
0.291 * [taylor]: Taking taylor expansion of 0 in y
0.291 * [taylor]: Taking taylor expansion of 0 in z
0.291 * [taylor]: Taking taylor expansion of 0 in z
0.293 * [taylor]: Taking taylor expansion of 0 in z
0.299 * [taylor]: Taking taylor expansion of 0 in y
0.299 * [taylor]: Taking taylor expansion of 0 in z
0.299 * [taylor]: Taking taylor expansion of 0 in z
0.299 * [taylor]: Taking taylor expansion of 0 in z
0.302 * [taylor]: Taking taylor expansion of 0 in z
0.303 * * * [progress]: simplifying candidates
0.304 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* x (log y)))
  (log1p (* x (log y)))
  (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (fma x (log y) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
  (fma x (log y) (- (* (sqrt z) (sqrt z))))
  (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))
  (fma x (log y) (- (* z 1)))
  (fma (- z) 1 (* z 1))
  (expm1 (- (* x (log y)) z))
  (log1p (- (* x (log y)) z))
  (- z)
  (/ (exp (* x (log y))) (exp z))
  (log (- (* x (log y)) z))
  (exp (- (* x (log y)) z))
  (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z)))
  (cbrt (- (* x (log y)) z))
  (* (* (- (* x (log y)) z) (- (* x (log y)) z)) (- (* x (log y)) z))
  (sqrt (- (* x (log y)) z))
  (sqrt (- (* x (log y)) z))
  (- (pow (* x (log y)) 3) (pow z 3))
  (+ (* (* x (log y)) (* x (log y))) (+ (* z z) (* (* x (log y)) z)))
  (- z)
  (- (* (* x (log y)) (* x (log y))) (* z z))
  (+ (* x (log y)) z)
  (- (* x (log (cbrt y))) z)
  (- (* x (log (sqrt y))) z)
  (- (* x (log y)) z)
  (- (* (log (cbrt y)) x) z)
  (- (* (log (sqrt y)) x) z)
  (- (* (log y) x) z)
  (- z)
  (* x (log y))
  (* -1 (* x (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
  (- (* x (log y)) z)
  (- (+ (* x (log (/ 1 y))) z))
  (- (* (log -1) x) (+ z (* x (log (/ -1 y)))))
0.307 * * [simplify]: iteration  0 :  111  enodes  (cost  494 )
0.324 * * [simplify]: iteration  1 :  227  enodes  (cost  441 )
0.373 * * [simplify]: iteration  2 :  707  enodes  (cost  398 )
0.638 * * [simplify]: iteration  3 :  2302  enodes  (cost  385 )
2.040 * * [simplify]: iteration  done :  5000  enodes  (cost  381 )
2.041 * [simplify]: Simplified to:
   (expm1 (* x (log y)))
  (log1p (* x (log y)))
  (* (log y) x)
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* (log y) x) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* (log y) x) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (* 2 (log (cbrt y))) x)
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* (log y) x)
  (* (* 2 (log (cbrt y))) x)
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* (log y) x)
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* (log y) x)
  (fma x (log y) (- z))
  (* z 0)
  (fma x (log y) (- z))
  (* z 0)
  (fma x (log y) (- z))
  (* z 0)
  (expm1 (- (* x (log y)) z))
  (log1p (- (* x (log y)) z))
  (- z)
  (/ (pow y x) (exp z))
  (log (- (* x (log y)) z))
  (/ (pow y x) (exp z))
  (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z)))
  (cbrt (- (* x (log y)) z))
  (pow (fma x (log y) (- z)) 3)
  (sqrt (- (* x (log y)) z))
  (sqrt (- (* x (log y)) z))
  (- (pow (* x (log y)) 3) (pow z 3))
  (fma z z (* (fma x (log y) z) (* (log y) x)))
  (- z)
  (* (fma x (log y) z) (fma x (log y) (- z)))
  (fma x (log y) z)
  (- (* x (log (cbrt y))) z)
  (- (* x (log (sqrt y))) z)
  (fma x (log y) (- z))
  (- (* x (log (cbrt y))) z)
  (- (* x (log (sqrt y))) z)
  (fma x (log y) (- z))
  (- z)
  (* (log y) x)
  (* (log y) x)
  (* (log y) x)
  (fma x (log y) (- z))
  (fma x (log y) (- z))
  (fma x (log y) (- z))
2.041 * * * [progress]: adding candidates to table
2.155 * * [progress]: iteration 2 / 4
2.155 * * * [progress]: picking best candidate
2.160 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) z) y))>
2.161 * * * [progress]: localizing error
2.176 * * * [progress]: generating rewritten candidates
2.176 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1)
2.176 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1)
2.177 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.187 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
2.194 * * * [progress]: generating series expansions
2.194 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1)
2.194 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
2.194 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.195 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.195 * [taylor]: Taking taylor expansion of 1/3 in y
2.195 * [taylor]: Taking taylor expansion of (log y) in y
2.195 * [taylor]: Taking taylor expansion of y in y
2.196 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.196 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.196 * [taylor]: Taking taylor expansion of 1/3 in y
2.196 * [taylor]: Taking taylor expansion of (log y) in y
2.196 * [taylor]: Taking taylor expansion of y in y
2.245 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
2.245 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.245 * [taylor]: Taking taylor expansion of 1/3 in y
2.245 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.245 * [taylor]: Taking taylor expansion of y in y
2.246 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.246 * [taylor]: Taking taylor expansion of 1/3 in y
2.246 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.246 * [taylor]: Taking taylor expansion of y in y
2.303 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
2.303 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.303 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.303 * [taylor]: Taking taylor expansion of -1 in y
2.304 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.304 * [taylor]: Taking taylor expansion of 1/3 in y
2.304 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.304 * [taylor]: Taking taylor expansion of y in y
2.305 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.305 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.305 * [taylor]: Taking taylor expansion of -1 in y
2.306 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.306 * [taylor]: Taking taylor expansion of 1/3 in y
2.306 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.306 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.306 * [taylor]: Taking taylor expansion of y in y
2.371 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1)
2.371 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
2.371 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.371 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.371 * [taylor]: Taking taylor expansion of 1/3 in y
2.371 * [taylor]: Taking taylor expansion of (log y) in y
2.371 * [taylor]: Taking taylor expansion of y in y
2.372 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.372 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.372 * [taylor]: Taking taylor expansion of 1/3 in y
2.372 * [taylor]: Taking taylor expansion of (log y) in y
2.372 * [taylor]: Taking taylor expansion of y in y
2.423 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
2.423 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.424 * [taylor]: Taking taylor expansion of 1/3 in y
2.424 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.424 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.424 * [taylor]: Taking taylor expansion of y in y
2.424 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.425 * [taylor]: Taking taylor expansion of 1/3 in y
2.425 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.425 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.425 * [taylor]: Taking taylor expansion of y in y
2.479 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
2.479 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.479 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.479 * [taylor]: Taking taylor expansion of -1 in y
2.480 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.480 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.480 * [taylor]: Taking taylor expansion of 1/3 in y
2.480 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.480 * [taylor]: Taking taylor expansion of y in y
2.481 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.481 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.481 * [taylor]: Taking taylor expansion of -1 in y
2.482 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.482 * [taylor]: Taking taylor expansion of 1/3 in y
2.482 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.482 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.482 * [taylor]: Taking taylor expansion of y in y
2.544 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.545 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0
2.545 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
2.545 * [taylor]: Taking taylor expansion of 3 in x
2.545 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
2.545 * [taylor]: Taking taylor expansion of x in x
2.545 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
2.545 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
2.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
2.545 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
2.545 * [taylor]: Taking taylor expansion of 1/3 in x
2.545 * [taylor]: Taking taylor expansion of (log y) in x
2.545 * [taylor]: Taking taylor expansion of y in x
2.545 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
2.545 * [taylor]: Taking taylor expansion of 3 in y
2.545 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
2.545 * [taylor]: Taking taylor expansion of x in y
2.545 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
2.545 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.545 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.545 * [taylor]: Taking taylor expansion of 1/3 in y
2.545 * [taylor]: Taking taylor expansion of (log y) in y
2.545 * [taylor]: Taking taylor expansion of y in y
2.546 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
2.546 * [taylor]: Taking taylor expansion of 3 in y
2.546 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
2.546 * [taylor]: Taking taylor expansion of x in y
2.546 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
2.546 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.546 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.546 * [taylor]: Taking taylor expansion of 1/3 in y
2.546 * [taylor]: Taking taylor expansion of (log y) in y
2.546 * [taylor]: Taking taylor expansion of y in y
2.547 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
2.547 * [taylor]: Taking taylor expansion of 3 in x
2.547 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
2.547 * [taylor]: Taking taylor expansion of x in x
2.547 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
2.547 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
2.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
2.547 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
2.547 * [taylor]: Taking taylor expansion of 1/3 in x
2.547 * [taylor]: Taking taylor expansion of (log y) in x
2.547 * [taylor]: Taking taylor expansion of y in x
2.550 * [taylor]: Taking taylor expansion of 0 in x
2.563 * [taylor]: Taking taylor expansion of 0 in x
2.575 * [taylor]: Taking taylor expansion of 0 in x
2.576 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0
2.576 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
2.576 * [taylor]: Taking taylor expansion of 3 in x
2.576 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
2.576 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
2.576 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.576 * [taylor]: Taking taylor expansion of 1/3 in x
2.576 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.576 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.576 * [taylor]: Taking taylor expansion of y in x
2.576 * [taylor]: Taking taylor expansion of x in x
2.576 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
2.576 * [taylor]: Taking taylor expansion of 3 in y
2.576 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
2.576 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
2.576 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.576 * [taylor]: Taking taylor expansion of 1/3 in y
2.576 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.576 * [taylor]: Taking taylor expansion of y in y
2.577 * [taylor]: Taking taylor expansion of x in y
2.577 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
2.577 * [taylor]: Taking taylor expansion of 3 in y
2.577 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
2.578 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
2.578 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.578 * [taylor]: Taking taylor expansion of 1/3 in y
2.578 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.578 * [taylor]: Taking taylor expansion of y in y
2.578 * [taylor]: Taking taylor expansion of x in y
2.579 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x
2.579 * [taylor]: Taking taylor expansion of 3 in x
2.579 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x
2.579 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x
2.579 * [taylor]: Taking taylor expansion of (pow y -1/3) in x
2.579 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x
2.579 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x
2.579 * [taylor]: Taking taylor expansion of -1/3 in x
2.579 * [taylor]: Taking taylor expansion of (log y) in x
2.579 * [taylor]: Taking taylor expansion of y in x
2.579 * [taylor]: Taking taylor expansion of x in x
2.582 * [taylor]: Taking taylor expansion of 0 in x
2.590 * [taylor]: Taking taylor expansion of 0 in x
2.603 * [taylor]: Taking taylor expansion of 0 in x
2.611 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (y x) around 0
2.611 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
2.611 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
2.611 * [taylor]: Taking taylor expansion of 3 in x
2.611 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
2.611 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
2.611 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
2.611 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.611 * [taylor]: Taking taylor expansion of -1 in x
2.612 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.612 * [taylor]: Taking taylor expansion of 1/3 in x
2.612 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.612 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.612 * [taylor]: Taking taylor expansion of y in x
2.613 * [taylor]: Taking taylor expansion of x in x
2.613 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y
2.613 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
2.613 * [taylor]: Taking taylor expansion of 3 in y
2.613 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
2.613 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
2.613 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.613 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.613 * [taylor]: Taking taylor expansion of -1 in y
2.614 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.614 * [taylor]: Taking taylor expansion of 1/3 in y
2.614 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.614 * [taylor]: Taking taylor expansion of y in y
2.616 * [taylor]: Taking taylor expansion of x in y
2.616 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y
2.616 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
2.616 * [taylor]: Taking taylor expansion of 3 in y
2.616 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
2.616 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
2.616 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.616 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.616 * [taylor]: Taking taylor expansion of -1 in y
2.617 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.617 * [taylor]: Taking taylor expansion of 1/3 in y
2.617 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.617 * [taylor]: Taking taylor expansion of y in y
2.619 * [taylor]: Taking taylor expansion of x in y
2.620 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
2.620 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
2.620 * [taylor]: Taking taylor expansion of 3 in x
2.620 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
2.620 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
2.620 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
2.620 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.620 * [taylor]: Taking taylor expansion of -1 in x
2.621 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.621 * [taylor]: Taking taylor expansion of 1/3 in x
2.621 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.621 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.621 * [taylor]: Taking taylor expansion of y in x
2.622 * [taylor]: Taking taylor expansion of x in x
2.628 * [taylor]: Taking taylor expansion of 0 in x
2.641 * [taylor]: Taking taylor expansion of 0 in x
2.668 * [taylor]: Taking taylor expansion of 0 in x
2.679 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
2.679 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0
2.679 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
2.679 * [taylor]: Taking taylor expansion of x in y
2.679 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
2.679 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.679 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.679 * [taylor]: Taking taylor expansion of 1/3 in y
2.679 * [taylor]: Taking taylor expansion of (log y) in y
2.679 * [taylor]: Taking taylor expansion of y in y
2.680 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
2.680 * [taylor]: Taking taylor expansion of x in x
2.680 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
2.680 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
2.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
2.680 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
2.680 * [taylor]: Taking taylor expansion of 1/3 in x
2.680 * [taylor]: Taking taylor expansion of (log y) in x
2.680 * [taylor]: Taking taylor expansion of y in x
2.680 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
2.680 * [taylor]: Taking taylor expansion of x in x
2.680 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
2.680 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
2.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
2.680 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
2.680 * [taylor]: Taking taylor expansion of 1/3 in x
2.680 * [taylor]: Taking taylor expansion of (log y) in x
2.680 * [taylor]: Taking taylor expansion of y in x
2.680 * [taylor]: Taking taylor expansion of 0 in y
2.683 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
2.683 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.683 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.683 * [taylor]: Taking taylor expansion of 1/3 in y
2.683 * [taylor]: Taking taylor expansion of (log y) in y
2.683 * [taylor]: Taking taylor expansion of y in y
2.687 * [taylor]: Taking taylor expansion of 0 in y
2.696 * [taylor]: Taking taylor expansion of 0 in y
2.696 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0
2.696 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
2.696 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
2.696 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.696 * [taylor]: Taking taylor expansion of 1/3 in y
2.696 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.696 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.696 * [taylor]: Taking taylor expansion of y in y
2.697 * [taylor]: Taking taylor expansion of x in y
2.697 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
2.697 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
2.697 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.697 * [taylor]: Taking taylor expansion of 1/3 in x
2.697 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.697 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.697 * [taylor]: Taking taylor expansion of y in x
2.698 * [taylor]: Taking taylor expansion of x in x
2.698 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
2.698 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
2.698 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.698 * [taylor]: Taking taylor expansion of 1/3 in x
2.698 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.698 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.698 * [taylor]: Taking taylor expansion of y in x
2.698 * [taylor]: Taking taylor expansion of x in x
2.698 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
2.698 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.698 * [taylor]: Taking taylor expansion of 1/3 in y
2.698 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.698 * [taylor]: Taking taylor expansion of y in y
2.702 * [taylor]: Taking taylor expansion of 0 in y
2.709 * [taylor]: Taking taylor expansion of 0 in y
2.720 * [taylor]: Taking taylor expansion of 0 in y
2.721 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0
2.721 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
2.721 * [taylor]: Taking taylor expansion of -1 in y
2.721 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
2.721 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
2.721 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.721 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.721 * [taylor]: Taking taylor expansion of -1 in y
2.722 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.722 * [taylor]: Taking taylor expansion of 1/3 in y
2.722 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.722 * [taylor]: Taking taylor expansion of y in y
2.723 * [taylor]: Taking taylor expansion of x in y
2.724 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
2.724 * [taylor]: Taking taylor expansion of -1 in x
2.724 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
2.724 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
2.724 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
2.724 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.724 * [taylor]: Taking taylor expansion of -1 in x
2.724 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.724 * [taylor]: Taking taylor expansion of 1/3 in x
2.725 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.725 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.725 * [taylor]: Taking taylor expansion of y in x
2.725 * [taylor]: Taking taylor expansion of x in x
2.726 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
2.726 * [taylor]: Taking taylor expansion of -1 in x
2.726 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
2.726 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
2.726 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
2.726 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.726 * [taylor]: Taking taylor expansion of -1 in x
2.727 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.727 * [taylor]: Taking taylor expansion of 1/3 in x
2.727 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.727 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.727 * [taylor]: Taking taylor expansion of y in x
2.728 * [taylor]: Taking taylor expansion of x in x
2.729 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
2.729 * [taylor]: Taking taylor expansion of -1 in y
2.729 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
2.729 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.729 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.729 * [taylor]: Taking taylor expansion of -1 in y
2.729 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.729 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.729 * [taylor]: Taking taylor expansion of 1/3 in y
2.729 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.729 * [taylor]: Taking taylor expansion of y in y
2.741 * [taylor]: Taking taylor expansion of 0 in y
2.753 * [taylor]: Taking taylor expansion of 0 in y
2.772 * [taylor]: Taking taylor expansion of 0 in y
2.772 * * * [progress]: simplifying candidates
2.774 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))
  (log1p (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))
  (* (exp (* (* 2 (log (cbrt y))) x)) (exp (* x (log (cbrt y)))))
  (log (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))
  (exp (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))
  (* (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))))
  (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))
  (* (* (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))
  (sqrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))
  (sqrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))
  (+ (pow (* (* 2 (log (cbrt y))) x) 3) (pow (* x (log (cbrt y))) 3))
  (+ (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (- (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))))
  (- (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (* (* x (log (cbrt y))) (* x (log (cbrt y)))))
  (- (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt (* (cbrt y) (cbrt y))))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt (sqrt y)))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt 1))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (sqrt (cbrt y)))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log 1)))
  (+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt (* (cbrt y) (cbrt y)))) x))
  (+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt (sqrt y))) x))
  (+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt 1)) x))
  (+ (* (* 2 (log (cbrt y))) x) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x))
  (+ (* (* 2 (log (cbrt y))) x) (* (log (sqrt (cbrt y))) x))
  (+ (* (* 2 (log (cbrt y))) x) (* (log 1) x))
  (expm1 (* x (log (cbrt y))))
  (log1p (* x (log (cbrt y))))
  (* x (log (cbrt y)))
  (+ (log x) (log (log (cbrt y))))
  (log (* x (log (cbrt y))))
  (exp (* x (log (cbrt y))))
  (* (* (* x x) x) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))))
  (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y)))))
  (cbrt (* x (log (cbrt y))))
  (* (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* x (log (cbrt (* (cbrt y) (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt 1)))
  (* x (log (cbrt y)))
  (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log 1))
  (* x (log (cbrt y)))
  (* (log (cbrt (* (cbrt y) (cbrt y)))) x)
  (* (log (cbrt (cbrt y))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (cbrt 1)) x)
  (* (log (cbrt y)) x)
  (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x)
  (* (log (cbrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log 1) x)
  (* (log (cbrt y)) x)
  (* x 1/3)
  (* x 1)
  (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))
  (* x (sqrt (log (cbrt y))))
  (* x 1)
  (* (cbrt x) (log (cbrt y)))
  (* (sqrt x) (log (cbrt y)))
  (* x (log (cbrt y)))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (* 3 (* x (log (pow y 1/3))))
  (* 3 (* x (log (pow (/ 1 y) -1/3))))
  (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))))
  (* x (log (pow y 1/3)))
  (* x (log (pow (/ 1 y) -1/3)))
  (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))
2.777 * * [simplify]: iteration  0 :  125  enodes  (cost  961 )
2.798 * * [simplify]: iteration  1 :  282  enodes  (cost  878 )
2.869 * * [simplify]: iteration  2 :  1024  enodes  (cost  708 )
3.367 * * [simplify]: iteration  3 :  4819  enodes  (cost  661 )
6.418 * * [simplify]: iteration  done :  5000  enodes  (cost  623 )
6.419 * [simplify]: Simplified to:
   (expm1 (cbrt y))
  (log1p (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))
  (expm1 (cbrt y))
  (log1p (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))
  (expm1 (* (log y) x))
  (log1p (* (log y) x))
  (exp (* (log y) x))
  (log (* (log y) x))
  (exp (* (log y) x))
  (* (cbrt (* (log y) x)) (cbrt (* (log y) x)))
  (cbrt (* (log y) x))
  (pow (* (log y) x) 3)
  (sqrt (* (log y) x))
  (sqrt (* (log y) x))
  (+ (pow (* x (log (cbrt y))) 3) (pow (* x (* 2/3 (log y))) 3))
  (* x (* (log (cbrt y)) (* (log y) x)))
  (* x (* (log (cbrt y)) (* (log y) x)))
  (* x (log (cbrt y)))
  (* x (fma 2/3 (log y) (log (cbrt (pow y 2/3)))))
  (* x (fma 2/3 (log y) (log (cbrt (sqrt y)))))
  (* x (* 2/3 (log y)))
  (* x (fma 2/3 (log y) (* (log (cbrt (cbrt y))) 2)))
  (* x (fma 2/3 (log y) (log (sqrt (cbrt y)))))
  (* x (* 2/3 (log y)))
  (* x (fma 2/3 (log y) (log (cbrt (pow y 2/3)))))
  (* x (fma 2/3 (log y) (log (cbrt (sqrt y)))))
  (* x (* 2/3 (log y)))
  (* x (fma 2/3 (log y) (* (log (cbrt (cbrt y))) 2)))
  (* x (fma 2/3 (log y) (log (sqrt (cbrt y)))))
  (* x (* 2/3 (log y)))
  (expm1 (* x (log (cbrt y))))
  (log1p (* x (log (cbrt y))))
  (* x (log (cbrt y)))
  (log (* x (log (cbrt y))))
  (log (* x (log (cbrt y))))
  (pow (cbrt y) x)
  (pow (* x (log (cbrt y))) 3)
  (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y)))))
  (cbrt (* x (log (cbrt y))))
  (pow (* x (log (cbrt y))) 3)
  (sqrt (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* x (log (cbrt (pow y 2/3))))
  (* (log (cbrt (cbrt y))) x)
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt (sqrt y))))
  0
  (* x (log (cbrt y)))
  (* x (* 2 (log (cbrt (cbrt y)))))
  (* (log (cbrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  0
  (* x (log (cbrt y)))
  (* x (log (cbrt (pow y 2/3))))
  (* (log (cbrt (cbrt y))) x)
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt (sqrt y))))
  0
  (* x (log (cbrt y)))
  (* x (* 2 (log (cbrt (cbrt y)))))
  (* (log (cbrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  0
  (* x (log (cbrt y)))
  (* x 1/3)
  x
  (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))
  (* x (sqrt (log (cbrt y))))
  x
  (* (cbrt x) (log (cbrt y)))
  (* (sqrt x) (log (cbrt y)))
  (* x (log (cbrt y)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
  (* (log y) x)
  (- (* (- x) (log y)))
  (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))
  (* x (log (cbrt y)))
  (* -1/3 (* (- (log y)) x))
  (* (log (* (cbrt (- y)) (cbrt -1))) x)
6.419 * * * [progress]: adding candidates to table
6.696 * * [progress]: iteration 3 / 4
6.696 * * * [progress]: picking best candidate
6.706 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y)))) z) y))>
6.706 * * * [progress]: localizing error
6.718 * * * [progress]: generating rewritten candidates
6.718 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 3 2 1)
6.719 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
6.720 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 3)
6.724 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
6.726 * * * [progress]: generating series expansions
6.726 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 3 2 1)
6.727 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
6.727 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
6.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
6.727 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
6.727 * [taylor]: Taking taylor expansion of 1/3 in y
6.727 * [taylor]: Taking taylor expansion of (log y) in y
6.727 * [taylor]: Taking taylor expansion of y in y
6.728 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
6.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
6.728 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
6.728 * [taylor]: Taking taylor expansion of 1/3 in y
6.728 * [taylor]: Taking taylor expansion of (log y) in y
6.728 * [taylor]: Taking taylor expansion of y in y
6.782 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
6.782 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
6.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
6.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
6.782 * [taylor]: Taking taylor expansion of 1/3 in y
6.782 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
6.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.782 * [taylor]: Taking taylor expansion of y in y
6.783 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
6.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
6.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
6.783 * [taylor]: Taking taylor expansion of 1/3 in y
6.783 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
6.783 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.783 * [taylor]: Taking taylor expansion of y in y
6.835 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
6.835 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
6.835 * [taylor]: Taking taylor expansion of (cbrt -1) in y
6.835 * [taylor]: Taking taylor expansion of -1 in y
6.836 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
6.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
6.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
6.836 * [taylor]: Taking taylor expansion of 1/3 in y
6.836 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
6.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.836 * [taylor]: Taking taylor expansion of y in y
6.837 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
6.837 * [taylor]: Taking taylor expansion of (cbrt -1) in y
6.837 * [taylor]: Taking taylor expansion of -1 in y
6.838 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
6.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
6.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
6.838 * [taylor]: Taking taylor expansion of 1/3 in y
6.838 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
6.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.838 * [taylor]: Taking taylor expansion of y in y
6.906 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1)
6.906 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
6.906 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
6.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
6.906 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
6.906 * [taylor]: Taking taylor expansion of 1/3 in y
6.906 * [taylor]: Taking taylor expansion of (log y) in y
6.906 * [taylor]: Taking taylor expansion of y in y
6.907 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
6.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
6.907 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
6.907 * [taylor]: Taking taylor expansion of 1/3 in y
6.907 * [taylor]: Taking taylor expansion of (log y) in y
6.907 * [taylor]: Taking taylor expansion of y in y
6.962 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
6.962 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
6.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
6.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
6.962 * [taylor]: Taking taylor expansion of 1/3 in y
6.962 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
6.962 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.962 * [taylor]: Taking taylor expansion of y in y
6.963 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
6.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
6.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
6.963 * [taylor]: Taking taylor expansion of 1/3 in y
6.963 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
6.963 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.963 * [taylor]: Taking taylor expansion of y in y
7.018 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
7.018 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.018 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.018 * [taylor]: Taking taylor expansion of -1 in y
7.019 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.019 * [taylor]: Taking taylor expansion of 1/3 in y
7.019 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.019 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.019 * [taylor]: Taking taylor expansion of y in y
7.020 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.020 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.020 * [taylor]: Taking taylor expansion of -1 in y
7.021 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.021 * [taylor]: Taking taylor expansion of 1/3 in y
7.021 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.021 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.021 * [taylor]: Taking taylor expansion of y in y
7.088 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 3)
7.088 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0
7.088 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
7.088 * [taylor]: Taking taylor expansion of x in y
7.088 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
7.088 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.088 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.088 * [taylor]: Taking taylor expansion of 1/3 in y
7.088 * [taylor]: Taking taylor expansion of (log y) in y
7.088 * [taylor]: Taking taylor expansion of y in y
7.089 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
7.089 * [taylor]: Taking taylor expansion of x in x
7.089 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
7.089 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
7.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
7.089 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
7.089 * [taylor]: Taking taylor expansion of 1/3 in x
7.089 * [taylor]: Taking taylor expansion of (log y) in x
7.089 * [taylor]: Taking taylor expansion of y in x
7.089 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
7.089 * [taylor]: Taking taylor expansion of x in x
7.089 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
7.089 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
7.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
7.089 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
7.089 * [taylor]: Taking taylor expansion of 1/3 in x
7.089 * [taylor]: Taking taylor expansion of (log y) in x
7.089 * [taylor]: Taking taylor expansion of y in x
7.089 * [taylor]: Taking taylor expansion of 0 in y
7.092 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
7.092 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.092 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.092 * [taylor]: Taking taylor expansion of 1/3 in y
7.092 * [taylor]: Taking taylor expansion of (log y) in y
7.092 * [taylor]: Taking taylor expansion of y in y
7.096 * [taylor]: Taking taylor expansion of 0 in y
7.104 * [taylor]: Taking taylor expansion of 0 in y
7.105 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0
7.105 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
7.105 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
7.105 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.105 * [taylor]: Taking taylor expansion of 1/3 in y
7.105 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.105 * [taylor]: Taking taylor expansion of y in y
7.106 * [taylor]: Taking taylor expansion of x in y
7.106 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
7.106 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
7.106 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
7.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
7.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
7.106 * [taylor]: Taking taylor expansion of 1/3 in x
7.106 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
7.106 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.106 * [taylor]: Taking taylor expansion of y in x
7.106 * [taylor]: Taking taylor expansion of x in x
7.106 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
7.106 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
7.106 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
7.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
7.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
7.106 * [taylor]: Taking taylor expansion of 1/3 in x
7.106 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
7.106 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.106 * [taylor]: Taking taylor expansion of y in x
7.106 * [taylor]: Taking taylor expansion of x in x
7.107 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
7.107 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.107 * [taylor]: Taking taylor expansion of 1/3 in y
7.107 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.107 * [taylor]: Taking taylor expansion of y in y
7.111 * [taylor]: Taking taylor expansion of 0 in y
7.118 * [taylor]: Taking taylor expansion of 0 in y
7.130 * [taylor]: Taking taylor expansion of 0 in y
7.130 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0
7.130 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
7.130 * [taylor]: Taking taylor expansion of -1 in y
7.130 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
7.131 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
7.131 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.131 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.131 * [taylor]: Taking taylor expansion of -1 in y
7.131 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.131 * [taylor]: Taking taylor expansion of 1/3 in y
7.131 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.131 * [taylor]: Taking taylor expansion of y in y
7.133 * [taylor]: Taking taylor expansion of x in y
7.133 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
7.133 * [taylor]: Taking taylor expansion of -1 in x
7.133 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
7.133 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
7.134 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
7.134 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.134 * [taylor]: Taking taylor expansion of -1 in x
7.134 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
7.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
7.134 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
7.134 * [taylor]: Taking taylor expansion of 1/3 in x
7.134 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
7.134 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.134 * [taylor]: Taking taylor expansion of y in x
7.135 * [taylor]: Taking taylor expansion of x in x
7.136 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
7.136 * [taylor]: Taking taylor expansion of -1 in x
7.136 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
7.136 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
7.136 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
7.136 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.136 * [taylor]: Taking taylor expansion of -1 in x
7.137 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
7.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
7.137 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
7.137 * [taylor]: Taking taylor expansion of 1/3 in x
7.137 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
7.137 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.137 * [taylor]: Taking taylor expansion of y in x
7.138 * [taylor]: Taking taylor expansion of x in x
7.138 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
7.138 * [taylor]: Taking taylor expansion of -1 in y
7.138 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
7.139 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.139 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.139 * [taylor]: Taking taylor expansion of -1 in y
7.139 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.139 * [taylor]: Taking taylor expansion of 1/3 in y
7.139 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.139 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.139 * [taylor]: Taking taylor expansion of y in y
7.146 * [taylor]: Taking taylor expansion of 0 in y
7.158 * [taylor]: Taking taylor expansion of 0 in y
7.183 * [taylor]: Taking taylor expansion of 0 in y
7.183 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
7.183 * [approximate]: Taking taylor expansion of (fma (* 2 (log (pow y 1/3))) x (* x (log (pow y 1/3)))) in (y x) around 0
7.183 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow y 1/3))) x (* x (log (pow y 1/3)))) in x
7.185 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow y 1/3))) x) (* x (log (pow y 1/3))))
7.185 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow y 1/3))) x) in x
7.185 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/3))) in x
7.185 * [taylor]: Taking taylor expansion of 2 in x
7.185 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
7.185 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
7.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
7.185 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
7.185 * [taylor]: Taking taylor expansion of 1/3 in x
7.185 * [taylor]: Taking taylor expansion of (log y) in x
7.185 * [taylor]: Taking taylor expansion of y in x
7.185 * [taylor]: Taking taylor expansion of x in x
7.185 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
7.185 * [taylor]: Taking taylor expansion of x in x
7.185 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
7.185 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
7.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
7.185 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
7.185 * [taylor]: Taking taylor expansion of 1/3 in x
7.185 * [taylor]: Taking taylor expansion of (log y) in x
7.185 * [taylor]: Taking taylor expansion of y in x
7.185 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow y 1/3))) x (* x (log (pow y 1/3)))) in y
7.185 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow y 1/3))) x) (* x (log (pow y 1/3))))
7.185 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow y 1/3))) x) in y
7.185 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/3))) in y
7.185 * [taylor]: Taking taylor expansion of 2 in y
7.185 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
7.185 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.185 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.185 * [taylor]: Taking taylor expansion of 1/3 in y
7.185 * [taylor]: Taking taylor expansion of (log y) in y
7.185 * [taylor]: Taking taylor expansion of y in y
7.186 * [taylor]: Taking taylor expansion of x in y
7.186 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
7.186 * [taylor]: Taking taylor expansion of x in y
7.186 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
7.186 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.186 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.186 * [taylor]: Taking taylor expansion of 1/3 in y
7.186 * [taylor]: Taking taylor expansion of (log y) in y
7.186 * [taylor]: Taking taylor expansion of y in y
7.187 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow y 1/3))) x (* x (log (pow y 1/3)))) in y
7.187 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow y 1/3))) x) (* x (log (pow y 1/3))))
7.187 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow y 1/3))) x) in y
7.187 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/3))) in y
7.187 * [taylor]: Taking taylor expansion of 2 in y
7.187 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
7.187 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.187 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.187 * [taylor]: Taking taylor expansion of 1/3 in y
7.187 * [taylor]: Taking taylor expansion of (log y) in y
7.187 * [taylor]: Taking taylor expansion of y in y
7.188 * [taylor]: Taking taylor expansion of x in y
7.188 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
7.188 * [taylor]: Taking taylor expansion of x in y
7.188 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
7.188 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
7.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
7.188 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
7.188 * [taylor]: Taking taylor expansion of 1/3 in y
7.188 * [taylor]: Taking taylor expansion of (log y) in y
7.188 * [taylor]: Taking taylor expansion of y in y
7.189 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
7.189 * [taylor]: Taking taylor expansion of 3 in x
7.189 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
7.189 * [taylor]: Taking taylor expansion of x in x
7.189 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
7.189 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
7.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
7.189 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
7.189 * [taylor]: Taking taylor expansion of 1/3 in x
7.189 * [taylor]: Taking taylor expansion of (log y) in x
7.189 * [taylor]: Taking taylor expansion of y in x
7.195 * [taylor]: Taking taylor expansion of 0 in x
7.208 * [taylor]: Taking taylor expansion of 0 in x
7.226 * [taylor]: Taking taylor expansion of 0 in x
7.227 * [approximate]: Taking taylor expansion of (fma (* 2 (log (pow (/ 1 y) 1/3))) (/ 1 x) (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0
7.227 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow (/ 1 y) 1/3))) (/ 1 x) (/ (log (pow (/ 1 y) 1/3)) x)) in x
7.227 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow (/ 1 y) 1/3))) (/ 1 x)) (/ (log (pow (/ 1 y) 1/3)) x))
7.227 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow (/ 1 y) 1/3))) (/ 1 x)) in x
7.227 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/3))) in x
7.227 * [taylor]: Taking taylor expansion of 2 in x
7.227 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
7.227 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
7.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
7.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
7.227 * [taylor]: Taking taylor expansion of 1/3 in x
7.227 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
7.227 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.227 * [taylor]: Taking taylor expansion of y in x
7.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.227 * [taylor]: Taking taylor expansion of x in x
7.228 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
7.228 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
7.228 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
7.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
7.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
7.228 * [taylor]: Taking taylor expansion of 1/3 in x
7.228 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
7.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.228 * [taylor]: Taking taylor expansion of y in x
7.228 * [taylor]: Taking taylor expansion of x in x
7.228 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow (/ 1 y) 1/3))) (/ 1 x) (/ (log (pow (/ 1 y) 1/3)) x)) in y
7.228 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow (/ 1 y) 1/3))) (/ 1 x)) (/ (log (pow (/ 1 y) 1/3)) x))
7.228 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow (/ 1 y) 1/3))) (/ 1 x)) in y
7.228 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/3))) in y
7.228 * [taylor]: Taking taylor expansion of 2 in y
7.228 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
7.228 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.228 * [taylor]: Taking taylor expansion of 1/3 in y
7.228 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.229 * [taylor]: Taking taylor expansion of y in y
7.229 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.229 * [taylor]: Taking taylor expansion of x in y
7.230 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
7.230 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
7.230 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.230 * [taylor]: Taking taylor expansion of 1/3 in y
7.230 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.230 * [taylor]: Taking taylor expansion of y in y
7.231 * [taylor]: Taking taylor expansion of x in y
7.231 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow (/ 1 y) 1/3))) (/ 1 x) (/ (log (pow (/ 1 y) 1/3)) x)) in y
7.231 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow (/ 1 y) 1/3))) (/ 1 x)) (/ (log (pow (/ 1 y) 1/3)) x))
7.231 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow (/ 1 y) 1/3))) (/ 1 x)) in y
7.231 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/3))) in y
7.231 * [taylor]: Taking taylor expansion of 2 in y
7.231 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
7.231 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.231 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.231 * [taylor]: Taking taylor expansion of 1/3 in y
7.231 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.231 * [taylor]: Taking taylor expansion of y in y
7.232 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.232 * [taylor]: Taking taylor expansion of x in y
7.232 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
7.232 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
7.232 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.232 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.232 * [taylor]: Taking taylor expansion of 1/3 in y
7.232 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.232 * [taylor]: Taking taylor expansion of y in y
7.233 * [taylor]: Taking taylor expansion of x in y
7.234 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x
7.234 * [taylor]: Taking taylor expansion of 3 in x
7.234 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x
7.234 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x
7.234 * [taylor]: Taking taylor expansion of (pow y -1/3) in x
7.234 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x
7.234 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x
7.234 * [taylor]: Taking taylor expansion of -1/3 in x
7.234 * [taylor]: Taking taylor expansion of (log y) in x
7.234 * [taylor]: Taking taylor expansion of y in x
7.234 * [taylor]: Taking taylor expansion of x in x
7.240 * [taylor]: Taking taylor expansion of 0 in x
7.253 * [taylor]: Taking taylor expansion of 0 in x
7.279 * [taylor]: Taking taylor expansion of 0 in x
7.287 * [approximate]: Taking taylor expansion of (fma (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (/ -1 x) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (y x) around 0
7.287 * [taylor]: Taking taylor expansion of (fma (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (/ -1 x) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
7.287 * [taylor]: Rewrote expression to (+ (* (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (/ -1 x)) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)))
7.288 * [taylor]: Taking taylor expansion of (* (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (/ -1 x)) in x
7.288 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x
7.288 * [taylor]: Taking taylor expansion of 2 in x
7.288 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
7.288 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
7.288 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.288 * [taylor]: Taking taylor expansion of -1 in x
7.288 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
7.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
7.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
7.288 * [taylor]: Taking taylor expansion of 1/3 in x
7.288 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
7.288 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.288 * [taylor]: Taking taylor expansion of y in x
7.289 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.289 * [taylor]: Taking taylor expansion of -1 in x
7.289 * [taylor]: Taking taylor expansion of x in x
7.290 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
7.290 * [taylor]: Taking taylor expansion of -1 in x
7.290 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
7.290 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
7.290 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
7.290 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.290 * [taylor]: Taking taylor expansion of -1 in x
7.291 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
7.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
7.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
7.291 * [taylor]: Taking taylor expansion of 1/3 in x
7.291 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
7.291 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.291 * [taylor]: Taking taylor expansion of y in x
7.292 * [taylor]: Taking taylor expansion of x in x
7.292 * [taylor]: Taking taylor expansion of (fma (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (/ -1 x) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y
7.292 * [taylor]: Rewrote expression to (+ (* (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (/ -1 x)) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)))
7.292 * [taylor]: Taking taylor expansion of (* (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (/ -1 x)) in y
7.292 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
7.292 * [taylor]: Taking taylor expansion of 2 in y
7.292 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
7.292 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.292 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.292 * [taylor]: Taking taylor expansion of -1 in y
7.293 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.293 * [taylor]: Taking taylor expansion of 1/3 in y
7.293 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.293 * [taylor]: Taking taylor expansion of y in y
7.295 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.295 * [taylor]: Taking taylor expansion of -1 in y
7.295 * [taylor]: Taking taylor expansion of x in y
7.295 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
7.295 * [taylor]: Taking taylor expansion of -1 in y
7.295 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
7.295 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
7.295 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.295 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.295 * [taylor]: Taking taylor expansion of -1 in y
7.296 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.296 * [taylor]: Taking taylor expansion of 1/3 in y
7.296 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.296 * [taylor]: Taking taylor expansion of y in y
7.298 * [taylor]: Taking taylor expansion of x in y
7.298 * [taylor]: Taking taylor expansion of (fma (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (/ -1 x) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y
7.298 * [taylor]: Rewrote expression to (+ (* (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (/ -1 x)) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)))
7.298 * [taylor]: Taking taylor expansion of (* (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (/ -1 x)) in y
7.298 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
7.298 * [taylor]: Taking taylor expansion of 2 in y
7.298 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
7.298 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.298 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.298 * [taylor]: Taking taylor expansion of -1 in y
7.299 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.299 * [taylor]: Taking taylor expansion of 1/3 in y
7.299 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.299 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.299 * [taylor]: Taking taylor expansion of y in y
7.301 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.301 * [taylor]: Taking taylor expansion of -1 in y
7.301 * [taylor]: Taking taylor expansion of x in y
7.301 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
7.301 * [taylor]: Taking taylor expansion of -1 in y
7.301 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
7.301 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
7.301 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
7.301 * [taylor]: Taking taylor expansion of (cbrt -1) in y
7.301 * [taylor]: Taking taylor expansion of -1 in y
7.302 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
7.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
7.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
7.302 * [taylor]: Taking taylor expansion of 1/3 in y
7.302 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.302 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.302 * [taylor]: Taking taylor expansion of y in y
7.304 * [taylor]: Taking taylor expansion of x in y
7.306 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
7.306 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
7.306 * [taylor]: Taking taylor expansion of 3 in x
7.306 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
7.306 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
7.306 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
7.306 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.306 * [taylor]: Taking taylor expansion of -1 in x
7.307 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
7.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
7.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
7.307 * [taylor]: Taking taylor expansion of 1/3 in x
7.307 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
7.307 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.307 * [taylor]: Taking taylor expansion of y in x
7.308 * [taylor]: Taking taylor expansion of x in x
7.320 * [taylor]: Taking taylor expansion of 0 in x
7.341 * [taylor]: Taking taylor expansion of 0 in x
7.376 * [taylor]: Taking taylor expansion of 0 in x
7.387 * * * [progress]: simplifying candidates
7.388 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (* x (log (cbrt y))))
  (log1p (* x (log (cbrt y))))
  (* x (log (cbrt y)))
  (+ (log x) (log (log (cbrt y))))
  (log (* x (log (cbrt y))))
  (exp (* x (log (cbrt y))))
  (* (* (* x x) x) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))))
  (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y)))))
  (cbrt (* x (log (cbrt y))))
  (* (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* x (log (cbrt (* (cbrt y) (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt 1)))
  (* x (log (cbrt y)))
  (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log 1))
  (* x (log (cbrt y)))
  (* (log (cbrt (* (cbrt y) (cbrt y)))) x)
  (* (log (cbrt (cbrt y))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (cbrt 1)) x)
  (* (log (cbrt y)) x)
  (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x)
  (* (log (cbrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log 1) x)
  (* (log (cbrt y)) x)
  (* x 1/3)
  (* x 1)
  (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))
  (* x (sqrt (log (cbrt y))))
  (* x 1)
  (* (cbrt x) (log (cbrt y)))
  (* (sqrt x) (log (cbrt y)))
  (* x (log (cbrt y)))
  (expm1 (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y)))))
  (log1p (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y)))))
  (* (* 2 (log (cbrt y))) x)
  (log (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y)))))
  (exp (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y)))))
  (* (cbrt (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y))))) (cbrt (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y))))))
  (cbrt (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y)))))
  (* (* (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y)))) (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y))))) (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y)))))
  (sqrt (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y)))))
  (sqrt (fma (* 2 (log (cbrt y))) x (* x (log (cbrt y)))))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (* x (log (pow y 1/3)))
  (* x (log (pow (/ 1 y) -1/3)))
  (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))
  (* 3 (* x (log (pow y 1/3))))
  (* 3 (* x (log (pow (/ 1 y) -1/3))))
  (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))))
7.391 * * [simplify]: iteration  0 :  102  enodes  (cost  667 )
7.405 * * [simplify]: iteration  1 :  172  enodes  (cost  644 )
7.443 * * [simplify]: iteration  2 :  565  enodes  (cost  515 )
7.636 * * [simplify]: iteration  3 :  1891  enodes  (cost  496 )
8.376 * * [simplify]: iteration  done :  5000  enodes  (cost  474 )
8.377 * [simplify]: Simplified to:
   (expm1 (cbrt y))
  (log1p (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))
  (expm1 (cbrt y))
  (log1p (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))
  (expm1 (* x (log (cbrt y))))
  (log1p (* x (log (cbrt y))))
  (* x (log (cbrt y)))
  (log (* (log (cbrt y)) x))
  (log (* (log (cbrt y)) x))
  (pow (cbrt y) x)
  (pow (* x (log (cbrt y))) 3)
  (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y)))))
  (cbrt (* x (log (cbrt y))))
  (pow (* x (log (cbrt y))) 3)
  (sqrt (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* (log (cbrt (pow y 2/3))) x)
  (* x (log (cbrt (cbrt y))))
  (* (log (cbrt (sqrt y))) x)
  (* (log (cbrt (sqrt y))) x)
  0
  (* x (log (cbrt y)))
  (* (* 2 (log (cbrt (cbrt y)))) x)
  (* x (log (cbrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  0
  (* x (log (cbrt y)))
  (* (log (cbrt (pow y 2/3))) x)
  (* x (log (cbrt (cbrt y))))
  (* (log (cbrt (sqrt y))) x)
  (* (log (cbrt (sqrt y))) x)
  0
  (* x (log (cbrt y)))
  (* (* 2 (log (cbrt (cbrt y)))) x)
  (* x (log (cbrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  0
  (* x (log (cbrt y)))
  (* x 1/3)
  x
  (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))
  (* x (sqrt (log (cbrt y))))
  x
  (* (cbrt x) (log (cbrt y)))
  (* (sqrt x) (log (cbrt y)))
  (* x (log (cbrt y)))
  (expm1 (* (log y) x))
  (log1p (* (log y) x))
  (* x (* 2/3 (log y)))
  (log (* (log y) x))
  (exp (* (log y) x))
  (* (cbrt (* (log y) x)) (cbrt (* (log y) x)))
  (cbrt (* (log y) x))
  (pow (* (log y) x) 3)
  (sqrt (* (log y) x))
  (sqrt (* (log y) x))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
  (* x (log (cbrt y)))
  (* -1/3 (* (- (log y)) x))
  (* (log (* (cbrt -1) (cbrt (- y)))) x)
  (* (log y) x)
  (* x (* (- (log y)) -1))
  (* (* (log (* (cbrt -1) (cbrt (- y)))) x) 3)
8.378 * * * [progress]: adding candidates to table
8.611 * * [progress]: iteration 4 / 4
8.611 * * * [progress]: picking best candidate
8.617 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (fma (* 2 (log (cbrt y))) x (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt (cbrt y)))))) z) y))>
8.617 * * * [progress]: localizing error
8.637 * * * [progress]: generating rewritten candidates
8.637 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 3 2 2 1)
8.638 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 3 1 1 2 1)
8.638 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 3 2 2 1 1)
8.639 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 3 1 1 2 1 1)
8.640 * * * [progress]: generating series expansions
8.640 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 3 2 2 1)
8.641 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
8.641 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
8.641 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
8.641 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
8.641 * [taylor]: Taking taylor expansion of 1/9 in y
8.641 * [taylor]: Taking taylor expansion of (log y) in y
8.641 * [taylor]: Taking taylor expansion of y in y
8.642 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
8.642 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
8.642 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
8.642 * [taylor]: Taking taylor expansion of 1/9 in y
8.642 * [taylor]: Taking taylor expansion of (log y) in y
8.642 * [taylor]: Taking taylor expansion of y in y
8.694 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
8.694 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
8.694 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
8.694 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
8.694 * [taylor]: Taking taylor expansion of 1/9 in y
8.694 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
8.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.694 * [taylor]: Taking taylor expansion of y in y
8.695 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
8.695 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
8.695 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
8.695 * [taylor]: Taking taylor expansion of 1/9 in y
8.695 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
8.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.695 * [taylor]: Taking taylor expansion of y in y
8.753 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
8.753 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
8.753 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
8.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
8.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
8.753 * [taylor]: Taking taylor expansion of 1/3 in y
8.753 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
8.753 * [taylor]: Taking taylor expansion of (cbrt -1) in y
8.753 * [taylor]: Taking taylor expansion of -1 in y
8.757 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
8.757 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
8.757 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
8.757 * [taylor]: Taking taylor expansion of 1/9 in y
8.757 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
8.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.757 * [taylor]: Taking taylor expansion of y in y
8.758 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
8.758 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
8.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
8.758 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
8.758 * [taylor]: Taking taylor expansion of 1/3 in y
8.758 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
8.758 * [taylor]: Taking taylor expansion of (cbrt -1) in y
8.758 * [taylor]: Taking taylor expansion of -1 in y
8.761 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
8.761 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
8.761 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
8.761 * [taylor]: Taking taylor expansion of 1/9 in y
8.761 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
8.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.761 * [taylor]: Taking taylor expansion of y in y
8.884 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 3 1 1 2 1)
8.884 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
8.884 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
8.884 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
8.884 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
8.884 * [taylor]: Taking taylor expansion of 1/9 in y
8.884 * [taylor]: Taking taylor expansion of (log y) in y
8.885 * [taylor]: Taking taylor expansion of y in y
8.885 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
8.885 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
8.885 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
8.885 * [taylor]: Taking taylor expansion of 1/9 in y
8.885 * [taylor]: Taking taylor expansion of (log y) in y
8.885 * [taylor]: Taking taylor expansion of y in y
8.939 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
8.939 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
8.939 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
8.939 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
8.939 * [taylor]: Taking taylor expansion of 1/9 in y
8.939 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
8.939 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.939 * [taylor]: Taking taylor expansion of y in y
8.940 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
8.940 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
8.940 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
8.940 * [taylor]: Taking taylor expansion of 1/9 in y
8.940 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
8.940 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.940 * [taylor]: Taking taylor expansion of y in y
8.997 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
8.997 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
8.997 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
8.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
8.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
8.997 * [taylor]: Taking taylor expansion of 1/3 in y
8.997 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
8.997 * [taylor]: Taking taylor expansion of (cbrt -1) in y
8.997 * [taylor]: Taking taylor expansion of -1 in y
9.001 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
9.001 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
9.001 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
9.001 * [taylor]: Taking taylor expansion of 1/9 in y
9.001 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.001 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.001 * [taylor]: Taking taylor expansion of y in y
9.002 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
9.002 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
9.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
9.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
9.002 * [taylor]: Taking taylor expansion of 1/3 in y
9.002 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
9.002 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.002 * [taylor]: Taking taylor expansion of -1 in y
9.006 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
9.006 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
9.006 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
9.006 * [taylor]: Taking taylor expansion of 1/9 in y
9.006 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.006 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.006 * [taylor]: Taking taylor expansion of y in y
9.132 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 3 2 2 1 1)
9.132 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
9.132 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
9.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
9.132 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
9.132 * [taylor]: Taking taylor expansion of 1/3 in y
9.132 * [taylor]: Taking taylor expansion of (log y) in y
9.132 * [taylor]: Taking taylor expansion of y in y
9.133 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
9.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
9.133 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
9.133 * [taylor]: Taking taylor expansion of 1/3 in y
9.133 * [taylor]: Taking taylor expansion of (log y) in y
9.133 * [taylor]: Taking taylor expansion of y in y
9.181 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
9.181 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.181 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.181 * [taylor]: Taking taylor expansion of 1/3 in y
9.181 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.182 * [taylor]: Taking taylor expansion of y in y
9.182 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.183 * [taylor]: Taking taylor expansion of 1/3 in y
9.183 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.183 * [taylor]: Taking taylor expansion of y in y
9.241 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
9.242 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
9.242 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.242 * [taylor]: Taking taylor expansion of -1 in y
9.242 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.242 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.243 * [taylor]: Taking taylor expansion of 1/3 in y
9.243 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.243 * [taylor]: Taking taylor expansion of y in y
9.243 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
9.243 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.243 * [taylor]: Taking taylor expansion of -1 in y
9.244 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.244 * [taylor]: Taking taylor expansion of 1/3 in y
9.244 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.244 * [taylor]: Taking taylor expansion of y in y
9.313 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 3 1 1 2 1 1)
9.313 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
9.313 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
9.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
9.313 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
9.313 * [taylor]: Taking taylor expansion of 1/3 in y
9.313 * [taylor]: Taking taylor expansion of (log y) in y
9.313 * [taylor]: Taking taylor expansion of y in y
9.314 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
9.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
9.314 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
9.314 * [taylor]: Taking taylor expansion of 1/3 in y
9.314 * [taylor]: Taking taylor expansion of (log y) in y
9.314 * [taylor]: Taking taylor expansion of y in y
9.368 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
9.368 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.368 * [taylor]: Taking taylor expansion of 1/3 in y
9.368 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.368 * [taylor]: Taking taylor expansion of y in y
9.369 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.369 * [taylor]: Taking taylor expansion of 1/3 in y
9.369 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.369 * [taylor]: Taking taylor expansion of y in y
9.420 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
9.420 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
9.420 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.420 * [taylor]: Taking taylor expansion of -1 in y
9.421 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.421 * [taylor]: Taking taylor expansion of 1/3 in y
9.421 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.421 * [taylor]: Taking taylor expansion of y in y
9.422 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
9.422 * [taylor]: Taking taylor expansion of (cbrt -1) in y
9.422 * [taylor]: Taking taylor expansion of -1 in y
9.423 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
9.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
9.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
9.423 * [taylor]: Taking taylor expansion of 1/3 in y
9.423 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
9.423 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.423 * [taylor]: Taking taylor expansion of y in y
9.492 * * * [progress]: simplifying candidates
9.493 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (expm1 (cbrt y))
  (log1p (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
9.494 * * [simplify]: iteration  0 :  46  enodes  (cost  374 )
9.506 * * [simplify]: iteration  1 :  79  enodes  (cost  358 )
9.520 * * [simplify]: iteration  2 :  154  enodes  (cost  328 )
9.554 * * [simplify]: iteration  3 :  371  enodes  (cost  316 )
9.668 * * [simplify]: iteration  4 :  1225  enodes  (cost  316 )
10.058 * * [simplify]: iteration  done :  5001  enodes  (cost  316 )
10.058 * [simplify]: Simplified to:
   (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (pow y 2/3)))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  1
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  1
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt y)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (expm1 (cbrt (cbrt y)))
  (log1p (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (pow y 2/3)))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  1
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  1
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt y)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (expm1 (cbrt y))
  (log1p (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))
  (expm1 (cbrt y))
  (log1p (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))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (- y) 1/9) (cbrt (cbrt -1)))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (- y) 1/9) (cbrt (cbrt -1)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
10.059 * * * [progress]: adding candidates to table
10.366 * [progress]: [Phase 3 of 3] Extracting.
10.366 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (- (fma (* 2 (log (cbrt y))) x (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt (cbrt y)))))) z) y))> #<alt (λ (x y z) (- (- (* x (log y)) z) y))> #<alt (λ (x y z) (- (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) y))>)
10.366 * * * [regime-changes]: Trying 4 branch expressions: ((- (- (* x (log y)) z) y) z y x)
10.367 * * * * [regimes]: Trying to branch on (- (- (* x (log y)) z) y) from (#<alt (λ (x y z) (- (- (fma (* 2 (log (cbrt y))) x (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt (cbrt y)))))) z) y))> #<alt (λ (x y z) (- (- (* x (log y)) z) y))> #<alt (λ (x y z) (- (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) y))>)
10.389 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (- (fma (* 2 (log (cbrt y))) x (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt (cbrt y)))))) z) y))> #<alt (λ (x y z) (- (- (* x (log y)) z) y))> #<alt (λ (x y z) (- (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) y))>)
10.411 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (- (fma (* 2 (log (cbrt y))) x (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt (cbrt y)))))) z) y))> #<alt (λ (x y z) (- (- (* x (log y)) z) y))> #<alt (λ (x y z) (- (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) y))>)
10.431 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (- (fma (* 2 (log (cbrt y))) x (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt (cbrt y)))))) z) y))> #<alt (λ (x y z) (- (- (* x (log y)) z) y))> #<alt (λ (x y z) (- (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) y))>)
10.453 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
10.453 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (- (fma (* 2 (log (cbrt y))) x (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt (cbrt y)))))) z) y)
10.453 * * [simplify]: iteration  0 :  16  enodes  (cost  26 )
10.454 * * [simplify]: iteration  1 :  21  enodes  (cost  26 )
10.454 * * [simplify]: iteration  done :  21  enodes  (cost  26 )
10.455 * [simplify]: Simplified to:
   (- (- (fma (* 2 (log (cbrt y))) x (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt (cbrt y)))))) z) y)
11.428 * [regime-testing]: Baseline error score: 0.08390861205030095
11.429 * [regime-testing]: Oracle error score: 0.017252156519564944
11.430 * [regime-testing]: End program error score: 0.08390861205030095