3.300 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.308 * * * [progress]: [2/2] Setting up program.
0.309 * [progress]: [Phase 2 of 3] Improving.
0.311 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (*.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
0.323 * * [simplify]: iteration  0 :  159  enodes  (cost  14 )
0.323 * * [simplify]: iteration  1 :  159  enodes  (cost  14 )
0.323 * [simplify]: Simplified to:
   (-.f64 (*.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
0.324 * * [progress]: iteration 1 / 4
0.324 * * * [progress]: picking best candidate
0.325 * * * * [pick]: Picked  #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))>
0.325 * * * [progress]: localizing error
0.334 * * * [progress]: generating rewritten candidates
0.334 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.338 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.345 * * * [progress]: generating series expansions
0.345 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.345 * [approximate]: Taking taylor expansion of (* (cos y) x) in (x y) around 0
0.345 * [taylor]: Taking taylor expansion of (* (cos y) x) in y
0.345 * [taylor]: Taking taylor expansion of (cos y) in y
0.345 * [taylor]: Taking taylor expansion of y in y
0.345 * [taylor]: Taking taylor expansion of x in y
0.345 * [taylor]: Taking taylor expansion of (* (cos y) x) in x
0.345 * [taylor]: Taking taylor expansion of (cos y) in x
0.345 * [taylor]: Taking taylor expansion of y in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of (* (cos y) x) in x
0.346 * [taylor]: Taking taylor expansion of (cos y) in x
0.346 * [taylor]: Taking taylor expansion of y in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of 0 in y
0.349 * [taylor]: Taking taylor expansion of (cos y) in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.351 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.355 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0
0.355 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.355 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.355 * [taylor]: Taking taylor expansion of y in y
0.356 * [taylor]: Taking taylor expansion of x in y
0.356 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.356 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.356 * [taylor]: Taking taylor expansion of y in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.358 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.358 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.358 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.358 * [taylor]: Taking taylor expansion of y in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.360 * [taylor]: Taking taylor expansion of y in y
0.368 * [taylor]: Taking taylor expansion of 0 in y
0.373 * [taylor]: Taking taylor expansion of 0 in y
0.379 * [taylor]: Taking taylor expansion of 0 in y
0.381 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
0.381 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
0.381 * [taylor]: Taking taylor expansion of -1 in y
0.381 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
0.381 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.381 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.381 * [taylor]: Taking taylor expansion of -1 in y
0.381 * [taylor]: Taking taylor expansion of y in y
0.382 * [taylor]: Taking taylor expansion of x in y
0.382 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.382 * [taylor]: Taking taylor expansion of -1 in x
0.382 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.382 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.382 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.382 * [taylor]: Taking taylor expansion of -1 in x
0.382 * [taylor]: Taking taylor expansion of y in x
0.383 * [taylor]: Taking taylor expansion of x in x
0.384 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.384 * [taylor]: Taking taylor expansion of -1 in x
0.384 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.384 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.384 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.384 * [taylor]: Taking taylor expansion of -1 in x
0.384 * [taylor]: Taking taylor expansion of y in x
0.385 * [taylor]: Taking taylor expansion of x in x
0.386 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.386 * [taylor]: Taking taylor expansion of -1 in y
0.386 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.386 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.386 * [taylor]: Taking taylor expansion of -1 in y
0.386 * [taylor]: Taking taylor expansion of y in y
0.390 * [taylor]: Taking taylor expansion of 0 in y
0.395 * [taylor]: Taking taylor expansion of 0 in y
0.401 * [taylor]: Taking taylor expansion of 0 in y
0.403 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.403 * [approximate]: Taking taylor expansion of (* z (sin y)) in (z y) around 0
0.403 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
0.403 * [taylor]: Taking taylor expansion of z in y
0.403 * [taylor]: Taking taylor expansion of (sin y) in y
0.403 * [taylor]: Taking taylor expansion of y in y
0.403 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
0.403 * [taylor]: Taking taylor expansion of z in z
0.403 * [taylor]: Taking taylor expansion of (sin y) in z
0.403 * [taylor]: Taking taylor expansion of y in z
0.403 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
0.403 * [taylor]: Taking taylor expansion of z in z
0.403 * [taylor]: Taking taylor expansion of (sin y) in z
0.403 * [taylor]: Taking taylor expansion of y in z
0.404 * [taylor]: Taking taylor expansion of 0 in y
0.406 * [taylor]: Taking taylor expansion of (sin y) in y
0.406 * [taylor]: Taking taylor expansion of y in y
0.408 * [taylor]: Taking taylor expansion of 0 in y
0.411 * [taylor]: Taking taylor expansion of 0 in y
0.416 * [taylor]: Taking taylor expansion of 0 in y
0.417 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.417 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.417 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.417 * [taylor]: Taking taylor expansion of y in y
0.417 * [taylor]: Taking taylor expansion of z in y
0.417 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.418 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.418 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.418 * [taylor]: Taking taylor expansion of y in z
0.418 * [taylor]: Taking taylor expansion of z in z
0.419 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.419 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.419 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.419 * [taylor]: Taking taylor expansion of y in z
0.420 * [taylor]: Taking taylor expansion of z in z
0.421 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.421 * [taylor]: Taking taylor expansion of y in y
0.424 * [taylor]: Taking taylor expansion of 0 in y
0.427 * [taylor]: Taking taylor expansion of 0 in y
0.433 * [taylor]: Taking taylor expansion of 0 in y
0.435 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.435 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.435 * [taylor]: Taking taylor expansion of -1 in y
0.435 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.435 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.435 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.435 * [taylor]: Taking taylor expansion of -1 in y
0.435 * [taylor]: Taking taylor expansion of y in y
0.435 * [taylor]: Taking taylor expansion of z in y
0.436 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.436 * [taylor]: Taking taylor expansion of -1 in z
0.436 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.436 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.436 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.436 * [taylor]: Taking taylor expansion of -1 in z
0.436 * [taylor]: Taking taylor expansion of y in z
0.436 * [taylor]: Taking taylor expansion of z in z
0.438 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.438 * [taylor]: Taking taylor expansion of -1 in z
0.438 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.438 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.438 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.438 * [taylor]: Taking taylor expansion of -1 in z
0.438 * [taylor]: Taking taylor expansion of y in z
0.438 * [taylor]: Taking taylor expansion of z in z
0.440 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.440 * [taylor]: Taking taylor expansion of -1 in y
0.440 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.440 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.440 * [taylor]: Taking taylor expansion of -1 in y
0.440 * [taylor]: Taking taylor expansion of y in y
0.443 * [taylor]: Taking taylor expansion of 0 in y
0.448 * [taylor]: Taking taylor expansion of 0 in y
0.453 * [taylor]: Taking taylor expansion of 0 in y
0.455 * * * [progress]: simplifying candidates
0.455 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (cos.f64 y))
  (+.f64 (log.f64 x) (log.f64 (cos.f64 y)))
  (exp.f64 (*.f64 x (cos.f64 y)))
  (log.f64 (*.f64 x (cos.f64 y)))
  (*.f64 (*.f64 (*.f64 x (cos.f64 y)) (*.f64 x (cos.f64 y))) (*.f64 x (cos.f64 y)))
  (*.f64 (cbrt.f64 (*.f64 x (cos.f64 y))) (cbrt.f64 (*.f64 x (cos.f64 y))))
  (cbrt.f64 (*.f64 x (cos.f64 y)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (cos.f64 y) (cos.f64 y)) (cos.f64 y)))
  (sqrt.f64 (*.f64 x (cos.f64 y)))
  (sqrt.f64 (*.f64 x (cos.f64 y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (cos.f64 y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (cos.f64 y)))
  (*.f64 (cbrt.f64 x) (cos.f64 y))
  (*.f64 (sqrt.f64 x) (cos.f64 y))
  (*.f64 x (cos.f64 y))
  (*.f64 x (*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y))))
  (*.f64 x (sqrt.f64 (cos.f64 y)))
  (*.f64 x 1)
  (*.f64 z (sin.f64 y))
  (+.f64 (log.f64 z) (log.f64 (sin.f64 y)))
  (exp.f64 (*.f64 z (sin.f64 y)))
  (log.f64 (*.f64 z (sin.f64 y)))
  (*.f64 (*.f64 (*.f64 z (sin.f64 y)) (*.f64 z (sin.f64 y))) (*.f64 z (sin.f64 y)))
  (*.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) (cbrt.f64 (*.f64 z (sin.f64 y))))
  (cbrt.f64 (*.f64 z (sin.f64 y)))
  (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 (sin.f64 y) (sin.f64 y)) (sin.f64 y)))
  (sqrt.f64 (*.f64 z (sin.f64 y)))
  (sqrt.f64 (*.f64 z (sin.f64 y)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sin.f64 y)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 z) (sin.f64 y))
  (*.f64 (sqrt.f64 z) (sin.f64 y))
  (*.f64 z (sin.f64 y))
  (*.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 z (sqrt.f64 (sin.f64 y)))
  (*.f64 z 1)
  x
  (*.f64 (cos.f64 y) x)
  (*.f64 (cos.f64 y) x)
  (*.f64 z y)
  (*.f64 z (sin.f64 y))
  (*.f64 z (sin.f64 y))
0.504 * * [simplify]: iteration  0 :  4985  enodes  (cost  341 )
0.504 * * [simplify]: iteration  1 :  4985  enodes  (cost  341 )
0.508 * [simplify]: Simplified to:
   (*.f64 x (cos.f64 y))
  (log.f64 (*.f64 x (cos.f64 y)))
  (exp.f64 (*.f64 x (cos.f64 y)))
  (log.f64 (*.f64 x (cos.f64 y)))
  (pow.f64 (*.f64 x (cos.f64 y)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (cos.f64 y))) (cbrt.f64 (*.f64 x (cos.f64 y))))
  (cbrt.f64 (*.f64 x (cos.f64 y)))
  (pow.f64 (*.f64 x (cos.f64 y)) 3)
  (sqrt.f64 (*.f64 x (cos.f64 y)))
  (sqrt.f64 (*.f64 x (cos.f64 y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (cos.f64 y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (cos.f64 y)))
  (*.f64 (cos.f64 y) (cbrt.f64 x))
  (*.f64 (cos.f64 y) (sqrt.f64 x))
  (*.f64 x (cos.f64 y))
  (*.f64 x (*.f64 (cbrt.f64 (cos.f64 y)) (cbrt.f64 (cos.f64 y))))
  (*.f64 x (sqrt.f64 (cos.f64 y)))
  x
  (*.f64 z (sin.f64 y))
  (log.f64 (*.f64 z (sin.f64 y)))
  (exp.f64 (*.f64 z (sin.f64 y)))
  (log.f64 (*.f64 z (sin.f64 y)))
  (pow.f64 (*.f64 z (sin.f64 y)) 3)
  (*.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) (cbrt.f64 (*.f64 z (sin.f64 y))))
  (cbrt.f64 (*.f64 z (sin.f64 y)))
  (pow.f64 (*.f64 z (sin.f64 y)) 3)
  (sqrt.f64 (*.f64 z (sin.f64 y)))
  (sqrt.f64 (*.f64 z (sin.f64 y)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sin.f64 y)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sin.f64 y)))
  (*.f64 (sin.f64 y) (cbrt.f64 z))
  (*.f64 (sin.f64 y) (sqrt.f64 z))
  (*.f64 z (sin.f64 y))
  (*.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 z (sqrt.f64 (sin.f64 y)))
  z
  x
  (*.f64 x (cos.f64 y))
  (*.f64 x (cos.f64 y))
  (*.f64 y z)
  (*.f64 z (sin.f64 y))
  (*.f64 z (sin.f64 y))
0.508 * * * [progress]: adding candidates to table
0.535 * * [progress]: iteration 2 / 4
0.535 * * * [progress]: picking best candidate
0.542 * * * * [pick]: Picked  #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (sin.f64 y)))))>
0.542 * * * [progress]: localizing error
0.555 * * * [progress]: generating rewritten candidates
0.555 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.557 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
0.558 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
0.560 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.572 * * * [progress]: generating series expansions
0.572 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.573 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.573 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.573 * [taylor]: Taking taylor expansion of 1/3 in y
0.573 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.573 * [taylor]: Taking taylor expansion of (sin y) in y
0.573 * [taylor]: Taking taylor expansion of y in y
0.574 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.574 * [taylor]: Taking taylor expansion of 1/3 in y
0.574 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.575 * [taylor]: Taking taylor expansion of (sin y) in y
0.575 * [taylor]: Taking taylor expansion of y in y
0.595 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.595 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.595 * [taylor]: Taking taylor expansion of 1/3 in y
0.595 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.595 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.595 * [taylor]: Taking taylor expansion of y in y
0.596 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.596 * [taylor]: Taking taylor expansion of 1/3 in y
0.596 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.596 * [taylor]: Taking taylor expansion of y in y
0.648 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.648 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.648 * [taylor]: Taking taylor expansion of 1/3 in y
0.648 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.648 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.648 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.648 * [taylor]: Taking taylor expansion of -1 in y
0.648 * [taylor]: Taking taylor expansion of y in y
0.649 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.649 * [taylor]: Taking taylor expansion of 1/3 in y
0.649 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.649 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.649 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.649 * [taylor]: Taking taylor expansion of -1 in y
0.649 * [taylor]: Taking taylor expansion of y in y
0.835 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
0.835 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.835 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.835 * [taylor]: Taking taylor expansion of 1/3 in y
0.835 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.835 * [taylor]: Taking taylor expansion of (sin y) in y
0.835 * [taylor]: Taking taylor expansion of y in y
0.837 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.837 * [taylor]: Taking taylor expansion of 1/3 in y
0.837 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.837 * [taylor]: Taking taylor expansion of (sin y) in y
0.837 * [taylor]: Taking taylor expansion of y in y
0.856 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.856 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.857 * [taylor]: Taking taylor expansion of 1/3 in y
0.857 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.857 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.857 * [taylor]: Taking taylor expansion of y in y
0.858 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.858 * [taylor]: Taking taylor expansion of 1/3 in y
0.858 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.858 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.858 * [taylor]: Taking taylor expansion of y in y
0.906 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
0.906 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.907 * [taylor]: Taking taylor expansion of 1/3 in y
0.907 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.907 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.907 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.907 * [taylor]: Taking taylor expansion of -1 in y
0.907 * [taylor]: Taking taylor expansion of y in y
0.908 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
0.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
0.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
0.908 * [taylor]: Taking taylor expansion of 1/3 in y
0.908 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
0.908 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.908 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.908 * [taylor]: Taking taylor expansion of -1 in y
0.908 * [taylor]: Taking taylor expansion of y in y
0.957 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
0.957 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
0.957 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.957 * [taylor]: Taking taylor expansion of 1/3 in y
0.957 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.957 * [taylor]: Taking taylor expansion of (sin y) in y
0.957 * [taylor]: Taking taylor expansion of y in y
0.958 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
0.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
0.959 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
0.959 * [taylor]: Taking taylor expansion of 1/3 in y
0.959 * [taylor]: Taking taylor expansion of (log (sin y)) in y
0.959 * [taylor]: Taking taylor expansion of (sin y) in y
0.959 * [taylor]: Taking taylor expansion of y in y
0.979 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
0.979 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.979 * [taylor]: Taking taylor expansion of 1/3 in y
0.979 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.979 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.979 * [taylor]: Taking taylor expansion of y in y
0.981 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
0.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
0.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
0.981 * [taylor]: Taking taylor expansion of 1/3 in y
0.981 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
0.981 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.981 * [taylor]: Taking taylor expansion of y in y
1.021 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
1.022 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.022 * [taylor]: Taking taylor expansion of 1/3 in y
1.022 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.022 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.022 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.022 * [taylor]: Taking taylor expansion of -1 in y
1.022 * [taylor]: Taking taylor expansion of y in y
1.023 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.023 * [taylor]: Taking taylor expansion of 1/3 in y
1.023 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.023 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.023 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.023 * [taylor]: Taking taylor expansion of -1 in y
1.023 * [taylor]: Taking taylor expansion of y in y
1.079 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1.080 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
1.080 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
1.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
1.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
1.080 * [taylor]: Taking taylor expansion of 1/3 in y
1.080 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
1.080 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
1.080 * [taylor]: Taking taylor expansion of (sin y) in y
1.080 * [taylor]: Taking taylor expansion of y in y
1.081 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
1.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
1.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
1.081 * [taylor]: Taking taylor expansion of 1/3 in y
1.082 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
1.082 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
1.082 * [taylor]: Taking taylor expansion of (sin y) in y
1.082 * [taylor]: Taking taylor expansion of y in y
1.105 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
1.105 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
1.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
1.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
1.105 * [taylor]: Taking taylor expansion of 1/3 in y
1.105 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
1.105 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
1.105 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.105 * [taylor]: Taking taylor expansion of y in y
1.107 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
1.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
1.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
1.107 * [taylor]: Taking taylor expansion of 1/3 in y
1.107 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
1.107 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
1.107 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.107 * [taylor]: Taking taylor expansion of y in y
1.169 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
1.169 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
1.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
1.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
1.169 * [taylor]: Taking taylor expansion of 1/3 in y
1.169 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
1.169 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
1.169 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.169 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.169 * [taylor]: Taking taylor expansion of -1 in y
1.169 * [taylor]: Taking taylor expansion of y in y
1.171 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
1.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
1.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
1.171 * [taylor]: Taking taylor expansion of 1/3 in y
1.171 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
1.171 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
1.171 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.171 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.171 * [taylor]: Taking taylor expansion of -1 in y
1.171 * [taylor]: Taking taylor expansion of y in y
1.235 * * * [progress]: simplifying candidates
1.237 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (sin.f64 y) (sin.f64 y))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
  (+.f64 1/3 1/3)
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 (log.f64 (cbrt.f64 (sin.f64 y))) (log.f64 (cbrt.f64 (sin.f64 y))))
  (exp.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (log.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 (sin.f64 y) (sin.f64 y))
  (sqrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (sqrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 2 1/3)
  (*.f64 2 1)
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y)))) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y)))))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 1 1)
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (sin.f64 y)) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y)))))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (sin.f64 y)) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sin.f64 y)) 1)
  (-.f64 (pow.f64 y 1/3) (+.f64 (*.f64 1/3240 (pow.f64 (pow.f64 y 13) 1/3)) (*.f64 1/18 (pow.f64 (pow.f64 y 7) 1/3))))
  (pow.f64 (sin.f64 y) 1/3)
  (pow.f64 (sin.f64 y) 1/3)
  (-.f64 (pow.f64 y 1/3) (+.f64 (*.f64 1/3240 (pow.f64 (pow.f64 y 13) 1/3)) (*.f64 1/18 (pow.f64 (pow.f64 y 7) 1/3))))
  (pow.f64 (sin.f64 y) 1/3)
  (pow.f64 (sin.f64 y) 1/3)
  (-.f64 (pow.f64 y 1/3) (+.f64 (*.f64 1/3240 (pow.f64 (pow.f64 y 13) 1/3)) (*.f64 1/18 (pow.f64 (pow.f64 y 7) 1/3))))
  (pow.f64 (sin.f64 y) 1/3)
  (pow.f64 (sin.f64 y) 1/3)
  (-.f64 (+.f64 (*.f64 1/405 (pow.f64 (pow.f64 y 14) 1/3)) (pow.f64 y 2/3)) (*.f64 1/9 (pow.f64 (pow.f64 y 8) 1/3)))
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)
1.291 * * [simplify]: iteration  0 :  5045  enodes  (cost  797 )
1.299 * [simplify]: Simplified to:
   (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (sin.f64 y)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (sin.f64 y)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (sin.f64 y)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (pow.f64 (sin.f64 y) 2)
  (pow.f64 (sin.f64 y) 2/3)
  2/3
  2
  2
  (*.f64 2/3 (log.f64 (sin.f64 y)))
  (exp.f64 (pow.f64 (sin.f64 y) 2/3))
  (*.f64 2/3 (log.f64 (sin.f64 y)))
  (pow.f64 (sin.f64 y) 2)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (pow.f64 (sin.f64 y) 2)
  (fabs.f64 (cbrt.f64 (sin.f64 y)))
  (fabs.f64 (cbrt.f64 (sin.f64 y)))
  2/3
  2
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (pow.f64 (sin.f64 y) 2/3)
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  1
  (pow.f64 (sin.f64 y) 2/3)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4)
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (pow.f64 (sin.f64 y) 2/3)
  (pow.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) 3)
  (pow.f64 (sin.f64 y) 2/3)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 5)
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 1))
  (pow.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) 3)
  (cbrt.f64 (sin.f64 y))
  (-.f64 (cbrt.f64 y) (+.f64 (*.f64 1/3240 (cbrt.f64 (pow.f64 y 13))) (*.f64 1/18 (cbrt.f64 (pow.f64 y 7)))))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (-.f64 (cbrt.f64 y) (+.f64 (*.f64 1/3240 (cbrt.f64 (pow.f64 y 13))) (*.f64 1/18 (cbrt.f64 (pow.f64 y 7)))))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (-.f64 (cbrt.f64 y) (+.f64 (*.f64 1/3240 (cbrt.f64 (pow.f64 y 13))) (*.f64 1/18 (cbrt.f64 (pow.f64 y 7)))))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (-.f64 (+.f64 (*.f64 1/405 (cbrt.f64 (pow.f64 y 14))) (pow.f64 y 2/3)) (*.f64 1/9 (cbrt.f64 (pow.f64 y 8))))
  (pow.f64 (sin.f64 y) 2/3)
  (pow.f64 (sin.f64 y) 2/3)
1.299 * * * [progress]: adding candidates to table
1.353 * * [progress]: iteration 3 / 4
1.353 * * * [progress]: picking best candidate
1.361 * * * * [pick]: Picked  #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 y) (cbrt.f64 x))) (*.f64 z (sin.f64 y))))>
1.362 * * * [progress]: localizing error
1.374 * * * [progress]: generating rewritten candidates
1.375 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.381 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
1.382 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.383 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.390 * * * [progress]: generating series expansions
1.390 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.390 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
1.390 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
1.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
1.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
1.390 * [taylor]: Taking taylor expansion of 1/3 in x
1.390 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.391 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.391 * [taylor]: Taking taylor expansion of x in x
1.392 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
1.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
1.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
1.392 * [taylor]: Taking taylor expansion of 1/3 in x
1.392 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.392 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.392 * [taylor]: Taking taylor expansion of x in x
1.443 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
1.443 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.444 * [taylor]: Taking taylor expansion of 1/3 in x
1.444 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.444 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.444 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.444 * [taylor]: Taking taylor expansion of x in x
1.445 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.445 * [taylor]: Taking taylor expansion of 1/3 in x
1.445 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.445 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.445 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.445 * [taylor]: Taking taylor expansion of x in x
1.491 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in (x) around 0
1.491 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x
1.491 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.491 * [taylor]: Taking taylor expansion of 1/3 in x
1.491 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.491 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.491 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.491 * [taylor]: Taking taylor expansion of x in x
1.493 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.493 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.493 * [taylor]: Taking taylor expansion of -1 in x
1.493 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x
1.493 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.493 * [taylor]: Taking taylor expansion of 1/3 in x
1.493 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.493 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.493 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.493 * [taylor]: Taking taylor expansion of x in x
1.495 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.495 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.495 * [taylor]: Taking taylor expansion of -1 in x
1.577 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
1.577 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.577 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.577 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.577 * [taylor]: Taking taylor expansion of 1/3 in x
1.577 * [taylor]: Taking taylor expansion of (log x) in x
1.577 * [taylor]: Taking taylor expansion of x in x
1.578 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.578 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.578 * [taylor]: Taking taylor expansion of 1/3 in x
1.578 * [taylor]: Taking taylor expansion of (log x) in x
1.578 * [taylor]: Taking taylor expansion of x in x
1.617 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.618 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.618 * [taylor]: Taking taylor expansion of 1/3 in x
1.618 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.618 * [taylor]: Taking taylor expansion of x in x
1.619 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.619 * [taylor]: Taking taylor expansion of 1/3 in x
1.619 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.619 * [taylor]: Taking taylor expansion of x in x
1.663 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0
1.663 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
1.663 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.663 * [taylor]: Taking taylor expansion of 1/3 in x
1.663 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.663 * [taylor]: Taking taylor expansion of x in x
1.664 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.664 * [taylor]: Taking taylor expansion of -1 in x
1.665 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
1.665 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.665 * [taylor]: Taking taylor expansion of 1/3 in x
1.665 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.665 * [taylor]: Taking taylor expansion of x in x
1.666 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.666 * [taylor]: Taking taylor expansion of -1 in x
1.723 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.723 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.723 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.723 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.723 * [taylor]: Taking taylor expansion of 1/3 in x
1.723 * [taylor]: Taking taylor expansion of (log x) in x
1.723 * [taylor]: Taking taylor expansion of x in x
1.724 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.724 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.724 * [taylor]: Taking taylor expansion of 1/3 in x
1.724 * [taylor]: Taking taylor expansion of (log x) in x
1.724 * [taylor]: Taking taylor expansion of x in x
1.763 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.763 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.764 * [taylor]: Taking taylor expansion of 1/3 in x
1.764 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.764 * [taylor]: Taking taylor expansion of x in x
1.765 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.765 * [taylor]: Taking taylor expansion of 1/3 in x
1.765 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.765 * [taylor]: Taking taylor expansion of x in x
1.810 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0
1.810 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
1.810 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.810 * [taylor]: Taking taylor expansion of 1/3 in x
1.810 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.810 * [taylor]: Taking taylor expansion of x in x
1.811 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.811 * [taylor]: Taking taylor expansion of -1 in x
1.812 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
1.812 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.812 * [taylor]: Taking taylor expansion of 1/3 in x
1.812 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.813 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.813 * [taylor]: Taking taylor expansion of -1 in x
1.869 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.870 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.870 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.870 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.870 * [taylor]: Taking taylor expansion of 1/3 in x
1.870 * [taylor]: Taking taylor expansion of (log x) in x
1.870 * [taylor]: Taking taylor expansion of x in x
1.871 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.871 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.871 * [taylor]: Taking taylor expansion of 1/3 in x
1.871 * [taylor]: Taking taylor expansion of (log x) in x
1.871 * [taylor]: Taking taylor expansion of x in x
1.907 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.907 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.907 * [taylor]: Taking taylor expansion of 1/3 in x
1.907 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.907 * [taylor]: Taking taylor expansion of x in x
1.908 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.908 * [taylor]: Taking taylor expansion of 1/3 in x
1.908 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.908 * [taylor]: Taking taylor expansion of x in x
1.950 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0
1.950 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
1.950 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.950 * [taylor]: Taking taylor expansion of 1/3 in x
1.950 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.950 * [taylor]: Taking taylor expansion of x in x
1.951 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.951 * [taylor]: Taking taylor expansion of -1 in x
1.951 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x
1.951 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.951 * [taylor]: Taking taylor expansion of 1/3 in x
1.951 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.951 * [taylor]: Taking taylor expansion of x in x
1.953 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.953 * [taylor]: Taking taylor expansion of -1 in x
2.009 * * * [progress]: simplifying candidates
2.010 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x x)
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (+.f64 1/3 1/3)
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 (log.f64 (cbrt.f64 x)) (log.f64 (cbrt.f64 x)))
  (exp.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
  (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 x x)
  (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 2 1/3)
  (*.f64 2 1)
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))
  (*.f64 (sqrt.f64 (cbrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (sqrt.f64 (cbrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (sqrt.f64 (cbrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))
  (*.f64 (sqrt.f64 (cbrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))
  (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))
  (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
  (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (*.f64 (sqrt.f64 (cbrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))
  (*.f64 (sqrt.f64 (cbrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))
  (*.f64 1 1)
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))
  (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 x))
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (*.f64 (sqrt.f64 (cbrt.f64 x)) (cbrt.f64 x))
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))
  (*.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
  (*.f64 (cbrt.f64 x) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 x) (cbrt.f64 1))
  (*.f64 (cbrt.f64 x) (sqrt.f64 (cbrt.f64 x)))
  (*.f64 (cbrt.f64 x) 1)
  (exp.f64 (cbrt.f64 x))
  (log.f64 (cbrt.f64 x))
  (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))
  (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 1)
  (cbrt.f64 x)
  (sqrt.f64 (cbrt.f64 x))
  (sqrt.f64 (cbrt.f64 x))
  (exp.f64 (cbrt.f64 x))
  (log.f64 (cbrt.f64 x))
  (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))
  (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 1)
  (cbrt.f64 x)
  (sqrt.f64 (cbrt.f64 x))
  (sqrt.f64 (cbrt.f64 x))
  (exp.f64 (cbrt.f64 x))
  (log.f64 (cbrt.f64 x))
  (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))
  (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 1)
  (cbrt.f64 x)
  (sqrt.f64 (cbrt.f64 x))
  (sqrt.f64 (cbrt.f64 x))
  (pow.f64 x 2/3)
  (pow.f64 (/.f64 1 x) -2/3)
  (*.f64 (pow.f64 (pow.f64 x 2) 1/3) (pow.f64 (cbrt.f64 -1) 2))
  (pow.f64 x 1/3)
  (pow.f64 (/.f64 1 x) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 x) 1/3) (cbrt.f64 -1))
  (pow.f64 x 1/3)
  (pow.f64 (/.f64 1 x) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 x) 1/3) (cbrt.f64 -1))
  (pow.f64 x 1/3)
  (pow.f64 (/.f64 1 x) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 x) 1/3) (cbrt.f64 -1))
2.066 * * [simplify]: iteration  0 :  4935  enodes  (cost  588 )
2.066 * * [simplify]: iteration  1 :  4935  enodes  (cost  588 )
2.071 * [simplify]: Simplified to:
   (*.f64 x x)
  (pow.f64 x 2/3)
  2/3
  2
  2
  (*.f64 2/3 (log.f64 x))
  (exp.f64 (pow.f64 x 2/3))
  (*.f64 2/3 (log.f64 x))
  (*.f64 x x)
  (*.f64 (cbrt.f64 (pow.f64 x 2/3)) (cbrt.f64 (pow.f64 x 2/3)))
  (cbrt.f64 (pow.f64 x 2/3))
  (*.f64 x x)
  (fabs.f64 (cbrt.f64 x))
  (fabs.f64 (cbrt.f64 x))
  2/3
  2
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (sqrt.f64 (cbrt.f64 x)))
  (cbrt.f64 x)
  (cbrt.f64 x)
  (pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)
  (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
  (*.f64 (cbrt.f64 (pow.f64 x 2/3)) (cbrt.f64 (pow.f64 x 2/3)))
  (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (pow.f64 x 2/3)
  (cbrt.f64 x)
  (cbrt.f64 x)
  1
  (pow.f64 x 2/3)
  (pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)
  (pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)
  (*.f64 (cbrt.f64 x) (cbrt.f64 (sqrt.f64 x)))
  (pow.f64 x 2/3)
  (pow.f64 (sqrt.f64 (cbrt.f64 x)) 3)
  (pow.f64 x 2/3)
  (pow.f64 (cbrt.f64 (cbrt.f64 x)) 5)
  (*.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2/3)))
  (*.f64 (cbrt.f64 x) (cbrt.f64 (sqrt.f64 x)))
  (*.f64 (cbrt.f64 x) (cbrt.f64 1))
  (pow.f64 (sqrt.f64 (cbrt.f64 x)) 3)
  (cbrt.f64 x)
  (exp.f64 (cbrt.f64 x))
  (log.f64 (cbrt.f64 x))
  x
  (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (pow.f64 x 2/3))
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 1)
  (cbrt.f64 x)
  (sqrt.f64 (cbrt.f64 x))
  (sqrt.f64 (cbrt.f64 x))
  (exp.f64 (cbrt.f64 x))
  (log.f64 (cbrt.f64 x))
  x
  (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (pow.f64 x 2/3))
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 1)
  (cbrt.f64 x)
  (sqrt.f64 (cbrt.f64 x))
  (sqrt.f64 (cbrt.f64 x))
  (exp.f64 (cbrt.f64 x))
  (log.f64 (cbrt.f64 x))
  x
  (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (pow.f64 x 2/3))
  (cbrt.f64 (cbrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 (sqrt.f64 x))
  (cbrt.f64 1)
  (cbrt.f64 x)
  (sqrt.f64 (cbrt.f64 x))
  (sqrt.f64 (cbrt.f64 x))
  (pow.f64 x 2/3)
  (pow.f64 (/.f64 1 x) -2/3)
  (*.f64 (pow.f64 x 2/3) (pow.f64 (cbrt.f64 -1) 2))
  (cbrt.f64 x)
  (pow.f64 (/.f64 1 x) -1/3)
  (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 x)))
  (cbrt.f64 x)
  (pow.f64 (/.f64 1 x) -1/3)
  (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 x)))
  (cbrt.f64 x)
  (pow.f64 (/.f64 1 x) -1/3)
  (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 x)))
2.071 * * * [progress]: adding candidates to table
2.127 * * [progress]: iteration 4 / 4
2.127 * * * [progress]: picking best candidate
2.134 * * * * [pick]: Picked  #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))>
2.134 * * * [progress]: localizing error
2.151 * * * [progress]: generating rewritten candidates
2.152 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
2.156 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
2.158 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.168 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
2.177 * * * [progress]: generating series expansions
2.177 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
2.178 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
2.178 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
2.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
2.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
2.178 * [taylor]: Taking taylor expansion of 1/3 in y
2.178 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
2.178 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
2.178 * [taylor]: Taking taylor expansion of (sin y) in y
2.178 * [taylor]: Taking taylor expansion of y in y
2.179 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
2.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
2.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
2.179 * [taylor]: Taking taylor expansion of 1/3 in y
2.179 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
2.179 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
2.179 * [taylor]: Taking taylor expansion of (sin y) in y
2.179 * [taylor]: Taking taylor expansion of y in y
2.203 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
2.203 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
2.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
2.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
2.203 * [taylor]: Taking taylor expansion of 1/3 in y
2.203 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
2.203 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.204 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.204 * [taylor]: Taking taylor expansion of y in y
2.205 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
2.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
2.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
2.205 * [taylor]: Taking taylor expansion of 1/3 in y
2.205 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
2.205 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.206 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.206 * [taylor]: Taking taylor expansion of y in y
2.269 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
2.269 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
2.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
2.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
2.269 * [taylor]: Taking taylor expansion of 1/3 in y
2.269 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
2.269 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.269 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.269 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.269 * [taylor]: Taking taylor expansion of -1 in y
2.269 * [taylor]: Taking taylor expansion of y in y
2.271 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
2.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
2.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
2.271 * [taylor]: Taking taylor expansion of 1/3 in y
2.271 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
2.271 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.271 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.271 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.271 * [taylor]: Taking taylor expansion of -1 in y
2.271 * [taylor]: Taking taylor expansion of y in y
2.336 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
2.336 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
2.336 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
2.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
2.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
2.336 * [taylor]: Taking taylor expansion of 1/3 in y
2.336 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.336 * [taylor]: Taking taylor expansion of (sin y) in y
2.336 * [taylor]: Taking taylor expansion of y in y
2.338 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
2.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
2.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
2.338 * [taylor]: Taking taylor expansion of 1/3 in y
2.338 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.338 * [taylor]: Taking taylor expansion of (sin y) in y
2.338 * [taylor]: Taking taylor expansion of y in y
2.358 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
2.358 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
2.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
2.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
2.358 * [taylor]: Taking taylor expansion of 1/3 in y
2.358 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.358 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.358 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.358 * [taylor]: Taking taylor expansion of y in y
2.359 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
2.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
2.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
2.359 * [taylor]: Taking taylor expansion of 1/3 in y
2.359 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.359 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.359 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.359 * [taylor]: Taking taylor expansion of y in y
2.409 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
2.409 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.409 * [taylor]: Taking taylor expansion of 1/3 in y
2.409 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.409 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.409 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.409 * [taylor]: Taking taylor expansion of -1 in y
2.409 * [taylor]: Taking taylor expansion of y in y
2.410 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.410 * [taylor]: Taking taylor expansion of 1/3 in y
2.410 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.410 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.410 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.410 * [taylor]: Taking taylor expansion of -1 in y
2.410 * [taylor]: Taking taylor expansion of y in y
2.458 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.459 * [approximate]: Taking taylor expansion of (* z (sin y)) in (z y) around 0
2.459 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
2.459 * [taylor]: Taking taylor expansion of z in y
2.459 * [taylor]: Taking taylor expansion of (sin y) in y
2.459 * [taylor]: Taking taylor expansion of y in y
2.459 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
2.459 * [taylor]: Taking taylor expansion of z in z
2.459 * [taylor]: Taking taylor expansion of (sin y) in z
2.459 * [taylor]: Taking taylor expansion of y in z
2.460 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
2.460 * [taylor]: Taking taylor expansion of z in z
2.460 * [taylor]: Taking taylor expansion of (sin y) in z
2.460 * [taylor]: Taking taylor expansion of y in z
2.460 * [taylor]: Taking taylor expansion of 0 in y
2.462 * [taylor]: Taking taylor expansion of (sin y) in y
2.462 * [taylor]: Taking taylor expansion of y in y
2.464 * [taylor]: Taking taylor expansion of 0 in y
2.467 * [taylor]: Taking taylor expansion of 0 in y
2.472 * [taylor]: Taking taylor expansion of 0 in y
2.474 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
2.474 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
2.474 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.474 * [taylor]: Taking taylor expansion of y in y
2.474 * [taylor]: Taking taylor expansion of z in y
2.475 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
2.475 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
2.475 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.475 * [taylor]: Taking taylor expansion of y in z
2.475 * [taylor]: Taking taylor expansion of z in z
2.476 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
2.476 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
2.476 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.476 * [taylor]: Taking taylor expansion of y in z
2.477 * [taylor]: Taking taylor expansion of z in z
2.478 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.478 * [taylor]: Taking taylor expansion of y in y
2.484 * [taylor]: Taking taylor expansion of 0 in y
2.489 * [taylor]: Taking taylor expansion of 0 in y
2.495 * [taylor]: Taking taylor expansion of 0 in y
2.498 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
2.498 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
2.498 * [taylor]: Taking taylor expansion of -1 in y
2.498 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
2.498 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.498 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.498 * [taylor]: Taking taylor expansion of -1 in y
2.498 * [taylor]: Taking taylor expansion of y in y
2.498 * [taylor]: Taking taylor expansion of z in y
2.499 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
2.499 * [taylor]: Taking taylor expansion of -1 in z
2.499 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
2.499 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
2.499 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.499 * [taylor]: Taking taylor expansion of -1 in z
2.499 * [taylor]: Taking taylor expansion of y in z
2.499 * [taylor]: Taking taylor expansion of z in z
2.500 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
2.500 * [taylor]: Taking taylor expansion of -1 in z
2.500 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
2.500 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
2.500 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.500 * [taylor]: Taking taylor expansion of -1 in z
2.500 * [taylor]: Taking taylor expansion of y in z
2.501 * [taylor]: Taking taylor expansion of z in z
2.502 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
2.503 * [taylor]: Taking taylor expansion of -1 in y
2.503 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.503 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.503 * [taylor]: Taking taylor expansion of -1 in y
2.503 * [taylor]: Taking taylor expansion of y in y
2.507 * [taylor]: Taking taylor expansion of 0 in y
2.513 * [taylor]: Taking taylor expansion of 0 in y
2.521 * [taylor]: Taking taylor expansion of 0 in y
2.523 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
2.523 * [approximate]: Taking taylor expansion of (pow (sin y) 2) in (y) around 0
2.523 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
2.523 * [taylor]: Taking taylor expansion of (sin y) in y
2.523 * [taylor]: Taking taylor expansion of y in y
2.524 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
2.524 * [taylor]: Taking taylor expansion of (sin y) in y
2.524 * [taylor]: Taking taylor expansion of y in y
2.531 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in (y) around 0
2.531 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.531 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.531 * [taylor]: Taking taylor expansion of y in y
2.531 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.531 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.531 * [taylor]: Taking taylor expansion of y in y
2.539 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in (y) around 0
2.539 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.539 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.539 * [taylor]: Taking taylor expansion of -1 in y
2.539 * [taylor]: Taking taylor expansion of y in y
2.539 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.539 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.539 * [taylor]: Taking taylor expansion of -1 in y
2.539 * [taylor]: Taking taylor expansion of y in y
2.547 * * * [progress]: simplifying candidates
2.548 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) 2) 1/3)
  (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 y)) 2) 1/3)
  (pow.f64 (pow.f64 (sqrt.f64 (sin.f64 y)) 2) 1/3)
  (pow.f64 (pow.f64 (sqrt.f64 (sin.f64 y)) 2) 1/3)
  (pow.f64 (pow.f64 1 2) 1/3)
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)
  (pow.f64 (sin.f64 y) 1/3)
  (pow.f64 (sin.f64 y) 1/3)
  (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) (cbrt.f64 (pow.f64 (sin.f64 y) 2))) 1/3)
  (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) 1/3)
  (pow.f64 (sqrt.f64 (pow.f64 (sin.f64 y) 2)) 1/3)
  (pow.f64 (sqrt.f64 (pow.f64 (sin.f64 y) 2)) 1/3)
  (pow.f64 1 1/3)
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)
  (pow.f64 (pow.f64 (sin.f64 y) (/.f64 2 2)) 1/3)
  (pow.f64 (pow.f64 (sin.f64 y) (/.f64 2 2)) 1/3)
  (pow.f64 (pow.f64 (sin.f64 y) 2) (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)))
  (pow.f64 (pow.f64 (sin.f64 y) 2) (sqrt.f64 1/3))
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1)
  (*.f64 2 1/3)
  (*.f64 (log.f64 (pow.f64 (sin.f64 y) 2)) 1/3)
  (*.f64 (*.f64 (log.f64 (sin.f64 y)) 2) 1/3)
  (*.f64 (*.f64 (log.f64 (sin.f64 y)) 2) 1/3)
  (*.f64 (log.f64 (pow.f64 (sin.f64 y) 2)) 1/3)
  (exp.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))
  (log.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))
  (*.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3) (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))
  (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)))
  (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))
  (sqrt.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))
  (sqrt.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))
  (pow.f64 (pow.f64 (sin.f64 y) 2) (/.f64 1/3 2))
  (pow.f64 (pow.f64 (sin.f64 y) 2) (/.f64 1/3 2))
  (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))
  (+.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 (pow.f64 (sin.f64 y) 2)) 1/3)) (log.f64 (cbrt.f64 (sin.f64 y))))
  (+.f64 (+.f64 (log.f64 z) (*.f64 (*.f64 (log.f64 (sin.f64 y)) 2) 1/3)) (log.f64 (cbrt.f64 (sin.f64 y))))
  (+.f64 (+.f64 (log.f64 z) (*.f64 (*.f64 (log.f64 (sin.f64 y)) 2) 1/3)) (log.f64 (cbrt.f64 (sin.f64 y))))
  (+.f64 (+.f64 (log.f64 z) (*.f64 (log.f64 (pow.f64 (sin.f64 y) 2)) 1/3)) (log.f64 (cbrt.f64 (sin.f64 y))))
  (+.f64 (+.f64 (log.f64 z) (log.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))) (log.f64 (cbrt.f64 (sin.f64 y))))
  (+.f64 (log.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))) (log.f64 (cbrt.f64 (sin.f64 y))))
  (exp.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y))))
  (log.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y))))
  (*.f64 (*.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y))) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))
  (cbrt.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y))))
  (*.f64 (*.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))) (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))) (sin.f64 y))
  (*.f64 (*.f64 (*.f64 (*.f64 z z) z) (pow.f64 (sin.f64 y) 2)) (sin.f64 y))
  (*.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3) (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3))) (sin.f64 y))
  (sqrt.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y))))
  (sqrt.f64 (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y))))
  (*.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3) (cbrt.f64 (sin.f64 y)))
  (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y)))))
  (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))))
  (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 1))
  (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) 1)
  (pow.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) 2)
  (pow.f64 (cbrt.f64 (sin.f64 y)) 2)
  (pow.f64 (sqrt.f64 (sin.f64 y)) 2)
  (pow.f64 (sqrt.f64 (sin.f64 y)) 2)
  (pow.f64 1 2)
  (pow.f64 (sin.f64 y) 2)
  (pow.f64 (sin.f64 y) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (pow.f64 (sin.f64 y) (sqrt.f64 2))
  (pow.f64 (sin.f64 y) 1)
  (*.f64 1 2)
  (*.f64 (log.f64 (sin.f64 y)) 2)
  (*.f64 (log.f64 (sin.f64 y)) 2)
  (exp.f64 (pow.f64 (sin.f64 y) 2))
  (log.f64 (pow.f64 (sin.f64 y) 2))
  (*.f64 (*.f64 (pow.f64 (sin.f64 y) 2) (pow.f64 (sin.f64 y) 2)) (pow.f64 (sin.f64 y) 2))
  (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) (cbrt.f64 (pow.f64 (sin.f64 y) 2)))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2))
  (sqrt.f64 (pow.f64 (sin.f64 y) 2))
  (sqrt.f64 (pow.f64 (sin.f64 y) 2))
  (pow.f64 (sin.f64 y) (/.f64 2 2))
  (pow.f64 (sin.f64 y) (/.f64 2 2))
  (-.f64 (+.f64 (*.f64 1/405 (pow.f64 (pow.f64 y 14) 1/3)) (pow.f64 y 2/3)) (*.f64 1/9 (pow.f64 (pow.f64 y 8) 1/3)))
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)
  (-.f64 (pow.f64 y 1/3) (+.f64 (*.f64 1/3240 (pow.f64 (pow.f64 y 13) 1/3)) (*.f64 1/18 (pow.f64 (pow.f64 y 7) 1/3))))
  (pow.f64 (sin.f64 y) 1/3)
  (pow.f64 (sin.f64 y) 1/3)
  (*.f64 z y)
  (*.f64 z (sin.f64 y))
  (*.f64 z (sin.f64 y))
  (-.f64 (+.f64 (*.f64 2/45 (pow.f64 y 6)) (pow.f64 y 2)) (*.f64 1/3 (pow.f64 y 4)))
  (pow.f64 (sin.f64 y) 2)
  (pow.f64 (sin.f64 y) 2)
2.628 * * [simplify]: iteration  0 :  4848  enodes  (cost  970 )
2.629 * * [simplify]: iteration  1 :  4848  enodes  (cost  970 )
2.635 * [simplify]: Simplified to:
   (cbrt.f64 (pow.f64 (sin.f64 y) 4/3))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  1
  (cbrt.f64 (pow.f64 (sin.f64 y) 2))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) 2/3))
  (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)))
  (cbrt.f64 (fabs.f64 (sin.f64 y)))
  (cbrt.f64 (fabs.f64 (sin.f64 y)))
  1
  (cbrt.f64 (pow.f64 (sin.f64 y) 2))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (pow.f64 (pow.f64 (sin.f64 y) 2) (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)))
  (pow.f64 (pow.f64 (sin.f64 y) 2) (sqrt.f64 1/3))
  (pow.f64 (sin.f64 y) 2)
  2/3
  (*.f64 2/3 (log.f64 (sin.f64 y)))
  (*.f64 2/3 (log.f64 (sin.f64 y)))
  (*.f64 2/3 (log.f64 (sin.f64 y)))
  (*.f64 2/3 (log.f64 (sin.f64 y)))
  (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)))
  (*.f64 2/3 (log.f64 (sin.f64 y)))
  (pow.f64 (sin.f64 y) 2)
  (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) 2/3)
  (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)))
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1/6)
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1/6)
  (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (sin.f64 y)
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  1
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (sin.f64 y)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z))
  (+.f64 (log.f64 (sin.f64 y)) (log.f64 z))
  (+.f64 (log.f64 (sin.f64 y)) (log.f64 z))
  (+.f64 (log.f64 (sin.f64 y)) (log.f64 z))
  (+.f64 (log.f64 (sin.f64 y)) (log.f64 z))
  (+.f64 (log.f64 (sin.f64 y)) (log.f64 z))
  (+.f64 (log.f64 (sin.f64 y)) (log.f64 z))
  (pow.f64 (exp.f64 (cbrt.f64 (sin.f64 y))) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z))
  (+.f64 (log.f64 (sin.f64 y)) (log.f64 z))
  (*.f64 (pow.f64 z 3) (pow.f64 (sin.f64 y) 3))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z))) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z))))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z)))
  (*.f64 (pow.f64 z 3) (pow.f64 (sin.f64 y) 3))
  (*.f64 (pow.f64 z 3) (pow.f64 (sin.f64 y) 3))
  (*.f64 (pow.f64 z 3) (pow.f64 (sin.f64 y) 3))
  (sqrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z)))
  (sqrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z)))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (pow.f64 (sin.f64 y) 2)))
  (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y)))) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z))
  (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2/3)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z))
  (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z)
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z))
  (*.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2)) z)
  (pow.f64 (sin.f64 y) 4/3)
  (pow.f64 (sin.f64 y) 2/3)
  (sin.f64 y)
  (sin.f64 y)
  1
  (pow.f64 (sin.f64 y) 2)
  (pow.f64 (sin.f64 y) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (pow.f64 (sin.f64 y) (sqrt.f64 2))
  (sin.f64 y)
  2
  (log.f64 (pow.f64 (sin.f64 y) 2))
  (log.f64 (pow.f64 (sin.f64 y) 2))
  (exp.f64 (pow.f64 (sin.f64 y) 2))
  (log.f64 (pow.f64 (sin.f64 y) 2))
  (pow.f64 (sin.f64 y) 6)
  (pow.f64 (pow.f64 (sin.f64 y) 2) 2/3)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2))
  (fabs.f64 (sin.f64 y))
  (fabs.f64 (sin.f64 y))
  (sin.f64 y)
  (sin.f64 y)
  (-.f64 (+.f64 (*.f64 1/405 (cbrt.f64 (pow.f64 y 14))) (pow.f64 y 2/3)) (*.f64 1/9 (cbrt.f64 (pow.f64 y 8))))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2))
  (-.f64 (cbrt.f64 y) (+.f64 (*.f64 1/3240 (cbrt.f64 (pow.f64 y 13))) (*.f64 1/18 (cbrt.f64 (pow.f64 y 7)))))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (*.f64 y z)
  (*.f64 (sin.f64 y) z)
  (*.f64 (sin.f64 y) z)
  (-.f64 (+.f64 (*.f64 2/45 (pow.f64 y 6)) (*.f64 y y)) (*.f64 1/3 (pow.f64 y 4)))
  (pow.f64 (sin.f64 y) 2)
  (pow.f64 (sin.f64 y) 2)
2.636 * * * [progress]: adding candidates to table
2.694 * [progress]: [Phase 3 of 3] Extracting.
2.694 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (-.f64 (*.f64 (sqrt.f64 (*.f64 x (cos.f64 y))) (sqrt.f64 (*.f64 x (cos.f64 y)))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 y) (cbrt.f64 x))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (sqrt.f64 x) (*.f64 (cos.f64 y) (sqrt.f64 x))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 x (sqrt.f64 (cos.f64 y))) (sqrt.f64 (cos.f64 y))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (pow.f64 (sin.f64 y) 1/3))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) (sqrt.f64 1/3)) (sqrt.f64 1/3))) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (log.f64 (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2))))) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 x)) (pow.f64 (sqrt.f64 (cbrt.f64 x)) 3)) (*.f64 (cos.f64 y) (cbrt.f64 x))) (*.f64 z (sin.f64 y))))>)
2.698 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
2.698 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (-.f64 (*.f64 (sqrt.f64 (*.f64 x (cos.f64 y))) (sqrt.f64 (*.f64 x (cos.f64 y)))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 y) (cbrt.f64 x))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (sqrt.f64 x) (*.f64 (cos.f64 y) (sqrt.f64 x))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 x (sqrt.f64 (cos.f64 y))) (sqrt.f64 (cos.f64 y))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (pow.f64 (sin.f64 y) 1/3))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) (sqrt.f64 1/3)) (sqrt.f64 1/3))) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (log.f64 (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2))))) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 x)) (pow.f64 (sqrt.f64 (cbrt.f64 x)) 3)) (*.f64 (cos.f64 y) (cbrt.f64 x))) (*.f64 z (sin.f64 y))))>)
2.720 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (-.f64 (*.f64 (sqrt.f64 (*.f64 x (cos.f64 y))) (sqrt.f64 (*.f64 x (cos.f64 y)))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 y) (cbrt.f64 x))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (sqrt.f64 x) (*.f64 (cos.f64 y) (sqrt.f64 x))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 x (sqrt.f64 (cos.f64 y))) (sqrt.f64 (cos.f64 y))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (pow.f64 (sin.f64 y) 1/3))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) (sqrt.f64 1/3)) (sqrt.f64 1/3))) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (log.f64 (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2))))) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 x)) (pow.f64 (sqrt.f64 (cbrt.f64 x)) 3)) (*.f64 (cos.f64 y) (cbrt.f64 x))) (*.f64 z (sin.f64 y))))>)
2.739 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (-.f64 (*.f64 (sqrt.f64 (*.f64 x (cos.f64 y))) (sqrt.f64 (*.f64 x (cos.f64 y)))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 y) (cbrt.f64 x))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (sqrt.f64 x) (*.f64 (cos.f64 y) (sqrt.f64 x))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 x (sqrt.f64 (cos.f64 y))) (sqrt.f64 (cos.f64 y))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (sqrt.f64 (sin.f64 y))) (sqrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (pow.f64 (sin.f64 y) 1/3))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (pow.f64 (sin.f64 y) 2) (sqrt.f64 1/3)) (sqrt.f64 1/3))) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 x (cos.f64 y)) (*.f64 (*.f64 z (log.f64 (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 y) 2))))) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 x)) (pow.f64 (sqrt.f64 (cbrt.f64 x)) 3)) (*.f64 (cos.f64 y) (cbrt.f64 x))) (*.f64 z (sin.f64 y))))>)
2.760 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.761 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cos.f64 y) (cbrt.f64 x))) (*.f64 z (sin.f64 y)))
2.762 * * [simplify]: iteration  0 :  41  enodes  (cost  26 )
2.763 * * [simplify]: iteration  1 :  41  enodes  (cost  26 )
2.763 * [simplify]: Simplified to:
   (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (cos.f64 y))) (*.f64 z (sin.f64 y)))
4.548 * [regime-testing]: End program error score: 0.8956897743235085