17.515 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.264 * * * [progress]: [2/2] Setting up program.
0.265 * [progress]: [Phase 2 of 3] Improving.
0.265 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
0.551 * * [simplify]: iteration  0 :  4997  enodes  (cost  17 )
0.551 * * [simplify]: iteration  1 :  4997  enodes  (cost  17 )
0.552 * [simplify]: Simplified to:
   (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
0.552 * * [progress]: iteration 1 / 4
0.553 * * * [progress]: picking best candidate
0.553 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)))>
0.554 * * * [progress]: localizing error
0.563 * * * [progress]: generating rewritten candidates
0.563 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1)
0.568 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.577 * * * [progress]: generating series expansions
0.578 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1)
0.578 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
0.578 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.578 * [taylor]: Taking taylor expansion of x in y
0.578 * [taylor]: Taking taylor expansion of (log y) in y
0.578 * [taylor]: Taking taylor expansion of y in y
0.578 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.578 * [taylor]: Taking taylor expansion of x in x
0.578 * [taylor]: Taking taylor expansion of (log y) in x
0.578 * [taylor]: Taking taylor expansion of y in x
0.578 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.578 * [taylor]: Taking taylor expansion of x in x
0.578 * [taylor]: Taking taylor expansion of (log y) in x
0.578 * [taylor]: Taking taylor expansion of y in x
0.578 * [taylor]: Taking taylor expansion of 0 in y
0.579 * [taylor]: Taking taylor expansion of (log y) in y
0.579 * [taylor]: Taking taylor expansion of y in y
0.580 * [taylor]: Taking taylor expansion of 0 in y
0.582 * [taylor]: Taking taylor expansion of 0 in y
0.583 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
0.583 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.583 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.583 * [taylor]: Taking taylor expansion of y in y
0.583 * [taylor]: Taking taylor expansion of x in y
0.584 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.584 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.584 * [taylor]: Taking taylor expansion of y in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.584 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.584 * [taylor]: Taking taylor expansion of y in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.586 * [taylor]: Taking taylor expansion of 0 in y
0.588 * [taylor]: Taking taylor expansion of 0 in y
0.594 * [taylor]: Taking taylor expansion of 0 in y
0.595 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
0.595 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
0.595 * [taylor]: Taking taylor expansion of -1 in y
0.595 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.595 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.595 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.595 * [taylor]: Taking taylor expansion of -1 in y
0.595 * [taylor]: Taking taylor expansion of y in y
0.595 * [taylor]: Taking taylor expansion of x in y
0.596 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.596 * [taylor]: Taking taylor expansion of -1 in x
0.596 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.596 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.596 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.596 * [taylor]: Taking taylor expansion of -1 in x
0.596 * [taylor]: Taking taylor expansion of y in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.596 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.596 * [taylor]: Taking taylor expansion of -1 in x
0.596 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.596 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.596 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.596 * [taylor]: Taking taylor expansion of -1 in x
0.596 * [taylor]: Taking taylor expansion of y in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.597 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
0.597 * [taylor]: Taking taylor expansion of -1 in y
0.597 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.597 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.597 * [taylor]: Taking taylor expansion of -1 in y
0.597 * [taylor]: Taking taylor expansion of y in y
0.599 * [taylor]: Taking taylor expansion of 0 in y
0.603 * [taylor]: Taking taylor expansion of 0 in y
0.607 * [taylor]: Taking taylor expansion of 0 in y
0.608 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.608 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0
0.608 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z
0.608 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.608 * [taylor]: Taking taylor expansion of x in z
0.608 * [taylor]: Taking taylor expansion of (log y) in z
0.608 * [taylor]: Taking taylor expansion of y in z
0.608 * [taylor]: Taking taylor expansion of (+ z y) in z
0.608 * [taylor]: Taking taylor expansion of z in z
0.608 * [taylor]: Taking taylor expansion of y in z
0.609 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y
0.609 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.609 * [taylor]: Taking taylor expansion of x in y
0.609 * [taylor]: Taking taylor expansion of (log y) in y
0.609 * [taylor]: Taking taylor expansion of y in y
0.609 * [taylor]: Taking taylor expansion of (+ z y) in y
0.609 * [taylor]: Taking taylor expansion of z in y
0.609 * [taylor]: Taking taylor expansion of y in y
0.609 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x
0.609 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.609 * [taylor]: Taking taylor expansion of x in x
0.609 * [taylor]: Taking taylor expansion of (log y) in x
0.609 * [taylor]: Taking taylor expansion of y in x
0.609 * [taylor]: Taking taylor expansion of (+ z y) in x
0.609 * [taylor]: Taking taylor expansion of z in x
0.609 * [taylor]: Taking taylor expansion of y in x
0.609 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x
0.609 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.609 * [taylor]: Taking taylor expansion of x in x
0.609 * [taylor]: Taking taylor expansion of (log y) in x
0.609 * [taylor]: Taking taylor expansion of y in x
0.609 * [taylor]: Taking taylor expansion of (+ z y) in x
0.609 * [taylor]: Taking taylor expansion of z in x
0.609 * [taylor]: Taking taylor expansion of y in x
0.610 * [taylor]: Taking taylor expansion of (neg (+ z y)) in y
0.610 * [taylor]: Taking taylor expansion of (+ z y) in y
0.610 * [taylor]: Taking taylor expansion of z in y
0.610 * [taylor]: Taking taylor expansion of y in y
0.610 * [taylor]: Taking taylor expansion of (neg z) in z
0.610 * [taylor]: Taking taylor expansion of z in z
0.611 * [taylor]: Taking taylor expansion of (log y) in y
0.611 * [taylor]: Taking taylor expansion of y in y
0.611 * [taylor]: Taking taylor expansion of (log y) in z
0.611 * [taylor]: Taking taylor expansion of y in z
0.612 * [taylor]: Taking taylor expansion of -1 in z
0.613 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0
0.613 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z
0.613 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.613 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.613 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.613 * [taylor]: Taking taylor expansion of y in z
0.614 * [taylor]: Taking taylor expansion of x in z
0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.614 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.614 * [taylor]: Taking taylor expansion of z in z
0.614 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.614 * [taylor]: Taking taylor expansion of y in z
0.614 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y
0.614 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.614 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.614 * [taylor]: Taking taylor expansion of y in y
0.614 * [taylor]: Taking taylor expansion of x in y
0.615 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.615 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.615 * [taylor]: Taking taylor expansion of z in y
0.615 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.615 * [taylor]: Taking taylor expansion of y in y
0.615 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x
0.615 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.615 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.615 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.615 * [taylor]: Taking taylor expansion of y in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.616 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.616 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.616 * [taylor]: Taking taylor expansion of z in x
0.616 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.616 * [taylor]: Taking taylor expansion of y in x
0.616 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x
0.616 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.616 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.616 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.616 * [taylor]: Taking taylor expansion of y in x
0.616 * [taylor]: Taking taylor expansion of x in x
0.616 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.616 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.616 * [taylor]: Taking taylor expansion of z in x
0.616 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.616 * [taylor]: Taking taylor expansion of y in x
0.617 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.617 * [taylor]: Taking taylor expansion of y in y
0.619 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 y))) in y
0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.619 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.619 * [taylor]: Taking taylor expansion of z in y
0.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.619 * [taylor]: Taking taylor expansion of y in y
0.619 * [taylor]: Taking taylor expansion of -1 in z
0.620 * [taylor]: Taking taylor expansion of (neg (log y)) in z
0.620 * [taylor]: Taking taylor expansion of (log y) in z
0.620 * [taylor]: Taking taylor expansion of y in z
0.622 * [taylor]: Taking taylor expansion of 0 in y
0.623 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.623 * [taylor]: Taking taylor expansion of z in z
0.624 * [taylor]: Taking taylor expansion of 0 in z
0.626 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0
0.626 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z
0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.626 * [taylor]: Taking taylor expansion of z in z
0.626 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.626 * [taylor]: Taking taylor expansion of y in z
0.626 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.626 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.626 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.627 * [taylor]: Taking taylor expansion of -1 in z
0.627 * [taylor]: Taking taylor expansion of y in z
0.627 * [taylor]: Taking taylor expansion of x in z
0.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y
0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.627 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.627 * [taylor]: Taking taylor expansion of z in y
0.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.627 * [taylor]: Taking taylor expansion of y in y
0.627 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.627 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.627 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.627 * [taylor]: Taking taylor expansion of -1 in y
0.627 * [taylor]: Taking taylor expansion of y in y
0.627 * [taylor]: Taking taylor expansion of x in y
0.628 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.628 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.628 * [taylor]: Taking taylor expansion of z in x
0.628 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.628 * [taylor]: Taking taylor expansion of y in x
0.629 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.629 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.629 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.629 * [taylor]: Taking taylor expansion of -1 in x
0.629 * [taylor]: Taking taylor expansion of y in x
0.629 * [taylor]: Taking taylor expansion of x in x
0.629 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x
0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.629 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.629 * [taylor]: Taking taylor expansion of z in x
0.629 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.629 * [taylor]: Taking taylor expansion of y in x
0.629 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.629 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.629 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.629 * [taylor]: Taking taylor expansion of -1 in x
0.629 * [taylor]: Taking taylor expansion of y in x
0.630 * [taylor]: Taking taylor expansion of x in x
0.630 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y
0.630 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.630 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.630 * [taylor]: Taking taylor expansion of -1 in y
0.630 * [taylor]: Taking taylor expansion of y in y
0.632 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.632 * [taylor]: Taking taylor expansion of y in y
0.632 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.632 * [taylor]: Taking taylor expansion of z in y
0.632 * [taylor]: Taking taylor expansion of 1 in z
0.633 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.633 * [taylor]: Taking taylor expansion of (log y) in z
0.633 * [taylor]: Taking taylor expansion of y in z
0.633 * [taylor]: Taking taylor expansion of (log -1) in z
0.633 * [taylor]: Taking taylor expansion of -1 in z
0.636 * [taylor]: Taking taylor expansion of 0 in y
0.636 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.636 * [taylor]: Taking taylor expansion of z in z
0.637 * [taylor]: Taking taylor expansion of 0 in z
0.640 * * * [progress]: simplifying candidates
0.640 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (log.f64 y))
  (+.f64 (log.f64 x) (log.f64 (log.f64 y)))
  (exp.f64 (*.f64 x (log.f64 y)))
  (log.f64 (*.f64 x (log.f64 y)))
  (*.f64 (*.f64 (*.f64 x (log.f64 y)) (*.f64 x (log.f64 y))) (*.f64 x (log.f64 y)))
  (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y))))
  (cbrt.f64 (*.f64 x (log.f64 y)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (log.f64 y) (log.f64 y)) (log.f64 y)))
  (sqrt.f64 (*.f64 x (log.f64 y)))
  (sqrt.f64 (*.f64 x (log.f64 y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y)))
  (*.f64 (log.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) x)
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 (log.f64 (sqrt.f64 y)) x)
  (*.f64 (log.f64 (sqrt.f64 y)) x)
  (*.f64 (log.f64 1) x)
  (*.f64 (log.f64 y) x)
  (*.f64 x (log.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 y)))
  (*.f64 x (log.f64 (sqrt.f64 y)))
  (*.f64 x (log.f64 (sqrt.f64 y)))
  (*.f64 x (log.f64 1))
  (*.f64 x (log.f64 y))
  (*.f64 (cbrt.f64 x) (log.f64 y))
  (*.f64 (sqrt.f64 x) (log.f64 y))
  (*.f64 x (log.f64 y))
  (*.f64 x 1)
  (*.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))))
  (*.f64 x (sqrt.f64 (log.f64 y)))
  (*.f64 x 1)
  (/.f64 (/.f64 (exp.f64 (*.f64 x (log.f64 y))) (exp.f64 y)) (exp.f64 z))
  (/.f64 (exp.f64 (-.f64 (*.f64 x (log.f64 y)) y)) (exp.f64 z))
  (exp.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z))
  (log.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z))
  (*.f64 (*.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)) (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z))
  (*.f64 (cbrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)) (cbrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)))
  (cbrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z))
  (sqrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z))
  (sqrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z))
  (-.f64 (pow.f64 (-.f64 (*.f64 x (log.f64 y)) y) 3) (pow.f64 z 3))
  (+.f64 (*.f64 (-.f64 (*.f64 x (log.f64 y)) y) (-.f64 (*.f64 x (log.f64 y)) y)) (+.f64 (*.f64 z z) (*.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)))
  (neg.f64 z)
  (-.f64 (*.f64 (-.f64 (*.f64 x (log.f64 y)) y) (-.f64 (*.f64 x (log.f64 y)) y)) (*.f64 z z))
  (+.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
  (+.f64 (sqrt.f64 (-.f64 (*.f64 x (log.f64 y)) y)) (sqrt.f64 z))
  (-.f64 (sqrt.f64 (-.f64 (*.f64 x (log.f64 y)) y)) (sqrt.f64 z))
  (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
  (+.f64 y z)
  (-.f64 (neg.f64 y) z)
  (-.f64 (-.f64 (*.f64 (log.f64 (cbrt.f64 y)) x) y) z)
  (-.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 y)) x) y) z)
  (-.f64 (-.f64 (*.f64 (log.f64 y) x) y) z)
  (-.f64 (-.f64 (*.f64 x (log.f64 (cbrt.f64 y))) y) z)
  (-.f64 (-.f64 (*.f64 x (log.f64 (sqrt.f64 y))) y) z)
  (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
  (*.f64 x (log.f64 y))
  (*.f64 -1 (*.f64 x (log.f64 (/.f64 1 y))))
  (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y))) x)
  (-.f64 (*.f64 x (log.f64 y)) (+.f64 z y))
  (neg.f64 (+.f64 (*.f64 x (log.f64 (/.f64 1 y))) (+.f64 z y)))
  (-.f64 (*.f64 (log.f64 -1) x) (+.f64 z (+.f64 y (*.f64 x (log.f64 (/.f64 -1 y))))))
0.716 * * [simplify]: iteration  0 :  5015  enodes  (cost  660 )
0.720 * [simplify]: Simplified to:
   (*.f64 x (log.f64 y))
  (log.f64 (*.f64 x (log.f64 y)))
  (pow.f64 y x)
  (log.f64 (*.f64 x (log.f64 y)))
  (pow.f64 (*.f64 x (log.f64 y)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y))))
  (cbrt.f64 (*.f64 x (log.f64 y)))
  (pow.f64 (*.f64 x (log.f64 y)) 3)
  (sqrt.f64 (*.f64 x (log.f64 y)))
  (sqrt.f64 (*.f64 x (log.f64 y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 y)))
  (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2))
  (*.f64 x (log.f64 (cbrt.f64 y)))
  (*.f64 x (log.f64 (sqrt.f64 y)))
  (*.f64 x (log.f64 (sqrt.f64 y)))
  (*.f64 x (log.f64 1))
  (*.f64 x (log.f64 y))
  (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2))
  (*.f64 x (log.f64 (cbrt.f64 y)))
  (*.f64 x (log.f64 (sqrt.f64 y)))
  (*.f64 x (log.f64 (sqrt.f64 y)))
  (*.f64 x (log.f64 1))
  (*.f64 x (log.f64 y))
  (*.f64 (log.f64 y) (cbrt.f64 x))
  (*.f64 (log.f64 y) (sqrt.f64 x))
  (*.f64 x (log.f64 y))
  x
  (*.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y))))
  (*.f64 x (sqrt.f64 (log.f64 y)))
  x
  (/.f64 (pow.f64 y x) (exp.f64 (+.f64 y z)))
  (/.f64 (pow.f64 y x) (exp.f64 (+.f64 y z)))
  (/.f64 (pow.f64 y x) (exp.f64 (+.f64 y z)))
  (log.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z))
  (pow.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) 3)
  (*.f64 (cbrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)) (cbrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)))
  (cbrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z))
  (sqrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z))
  (sqrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z))
  (-.f64 (pow.f64 (-.f64 (*.f64 x (log.f64 y)) y) 3) (pow.f64 z 3))
  (+.f64 (*.f64 z z) (*.f64 (-.f64 (*.f64 x (log.f64 y)) y) (+.f64 z (-.f64 (*.f64 x (log.f64 y)) y))))
  (neg.f64 z)
  (-.f64 (*.f64 (-.f64 (*.f64 x (log.f64 y)) y) (-.f64 (*.f64 x (log.f64 y)) y)) (*.f64 z z))
  (+.f64 z (-.f64 (*.f64 x (log.f64 y)) y))
  (+.f64 (sqrt.f64 (-.f64 (*.f64 x (log.f64 y)) y)) (sqrt.f64 z))
  (-.f64 (sqrt.f64 (-.f64 (*.f64 x (log.f64 y)) y)) (sqrt.f64 z))
  (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
  (+.f64 y z)
  (-.f64 (neg.f64 z) y)
  (-.f64 (*.f64 x (log.f64 (cbrt.f64 y))) (+.f64 y z))
  (-.f64 (*.f64 x (log.f64 (sqrt.f64 y))) (+.f64 y z))
  (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
  (-.f64 (*.f64 x (log.f64 (cbrt.f64 y))) (+.f64 y z))
  (-.f64 (*.f64 x (log.f64 (sqrt.f64 y))) (+.f64 y z))
  (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
  (*.f64 x (log.f64 y))
  (*.f64 x (log.f64 y))
  (*.f64 x (log.f64 y))
  (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
  (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
  (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z)
0.720 * * * [progress]: adding candidates to table
0.755 * * [progress]: iteration 2 / 4
0.755 * * * [progress]: picking best candidate
0.760 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))>
0.760 * * * [progress]: localizing error
0.775 * * * [progress]: generating rewritten candidates
0.775 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1)
0.776 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1 1)
0.778 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.786 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
0.793 * * * [progress]: generating series expansions
0.794 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1)
0.794 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.794 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.794 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.794 * [taylor]: Taking taylor expansion of 1/3 in y
0.794 * [taylor]: Taking taylor expansion of (log y) in y
0.794 * [taylor]: Taking taylor expansion of y in y
0.794 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.795 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.795 * [taylor]: Taking taylor expansion of 1/3 in y
0.795 * [taylor]: Taking taylor expansion of (log y) in y
0.795 * [taylor]: Taking taylor expansion of y in y
0.817 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.817 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.817 * [taylor]: Taking taylor expansion of 1/3 in y
0.817 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.817 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.817 * [taylor]: Taking taylor expansion of y in y
0.818 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.818 * [taylor]: Taking taylor expansion of 1/3 in y
0.818 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.818 * [taylor]: Taking taylor expansion of y in y
0.843 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.843 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.843 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.843 * [taylor]: Taking taylor expansion of -1 in y
0.843 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.843 * [taylor]: Taking taylor expansion of 1/3 in y
0.843 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.843 * [taylor]: Taking taylor expansion of y in y
0.844 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.844 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.844 * [taylor]: Taking taylor expansion of -1 in y
0.844 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.844 * [taylor]: Taking taylor expansion of 1/3 in y
0.844 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.844 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.844 * [taylor]: Taking taylor expansion of y in y
0.878 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1 1)
0.878 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.878 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.878 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.878 * [taylor]: Taking taylor expansion of 1/3 in y
0.878 * [taylor]: Taking taylor expansion of (log y) in y
0.878 * [taylor]: Taking taylor expansion of y in y
0.879 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.879 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.879 * [taylor]: Taking taylor expansion of 1/3 in y
0.879 * [taylor]: Taking taylor expansion of (log y) in y
0.879 * [taylor]: Taking taylor expansion of y in y
0.901 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.901 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.901 * [taylor]: Taking taylor expansion of 1/3 in y
0.901 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.901 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.901 * [taylor]: Taking taylor expansion of y in y
0.902 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.902 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.902 * [taylor]: Taking taylor expansion of 1/3 in y
0.902 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.902 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.902 * [taylor]: Taking taylor expansion of y in y
0.927 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.927 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.927 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.927 * [taylor]: Taking taylor expansion of -1 in y
0.927 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.927 * [taylor]: Taking taylor expansion of 1/3 in y
0.927 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.927 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.927 * [taylor]: Taking taylor expansion of y in y
0.928 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.928 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.928 * [taylor]: Taking taylor expansion of -1 in y
0.928 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.928 * [taylor]: Taking taylor expansion of 1/3 in y
0.928 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.928 * [taylor]: Taking taylor expansion of y in y
0.960 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.961 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (x y) around 0
0.961 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
0.961 * [taylor]: Taking taylor expansion of 3 in y
0.961 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
0.961 * [taylor]: Taking taylor expansion of x in y
0.961 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
0.961 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.961 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.961 * [taylor]: Taking taylor expansion of 1/3 in y
0.961 * [taylor]: Taking taylor expansion of (log y) in y
0.961 * [taylor]: Taking taylor expansion of y in y
0.962 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
0.962 * [taylor]: Taking taylor expansion of 3 in x
0.962 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
0.962 * [taylor]: Taking taylor expansion of x in x
0.962 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
0.962 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
0.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
0.962 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
0.962 * [taylor]: Taking taylor expansion of 1/3 in x
0.962 * [taylor]: Taking taylor expansion of (log y) in x
0.962 * [taylor]: Taking taylor expansion of y in x
0.962 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
0.962 * [taylor]: Taking taylor expansion of 3 in x
0.962 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
0.962 * [taylor]: Taking taylor expansion of x in x
0.962 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
0.962 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
0.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
0.962 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
0.962 * [taylor]: Taking taylor expansion of 1/3 in x
0.962 * [taylor]: Taking taylor expansion of (log y) in x
0.962 * [taylor]: Taking taylor expansion of y in x
0.963 * [taylor]: Taking taylor expansion of 0 in y
0.965 * [taylor]: Taking taylor expansion of (* 3 (log (pow y 1/3))) in y
0.965 * [taylor]: Taking taylor expansion of 3 in y
0.965 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
0.965 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.965 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.965 * [taylor]: Taking taylor expansion of 1/3 in y
0.965 * [taylor]: Taking taylor expansion of (log y) in y
0.965 * [taylor]: Taking taylor expansion of y in y
0.970 * [taylor]: Taking taylor expansion of 0 in y
0.976 * [taylor]: Taking taylor expansion of 0 in y
0.978 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0
0.978 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
0.978 * [taylor]: Taking taylor expansion of 3 in y
0.978 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
0.978 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
0.978 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.978 * [taylor]: Taking taylor expansion of 1/3 in y
0.978 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.978 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.978 * [taylor]: Taking taylor expansion of y in y
0.979 * [taylor]: Taking taylor expansion of x in y
0.979 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
0.979 * [taylor]: Taking taylor expansion of 3 in x
0.979 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
0.979 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
0.979 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
0.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
0.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
0.979 * [taylor]: Taking taylor expansion of 1/3 in x
0.979 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.979 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.979 * [taylor]: Taking taylor expansion of y in x
0.980 * [taylor]: Taking taylor expansion of x in x
0.980 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
0.980 * [taylor]: Taking taylor expansion of 3 in x
0.980 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
0.980 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
0.980 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
0.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
0.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
0.980 * [taylor]: Taking taylor expansion of 1/3 in x
0.980 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.980 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.980 * [taylor]: Taking taylor expansion of y in x
0.981 * [taylor]: Taking taylor expansion of x in x
0.982 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 y) 1/3))) in y
0.982 * [taylor]: Taking taylor expansion of 3 in y
0.982 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
0.982 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.982 * [taylor]: Taking taylor expansion of 1/3 in y
0.982 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.982 * [taylor]: Taking taylor expansion of y in y
0.986 * [taylor]: Taking taylor expansion of 0 in y
0.992 * [taylor]: Taking taylor expansion of 0 in y
1.001 * [taylor]: Taking taylor expansion of 0 in y
1.003 * [approximate]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (x y) around 0
1.003 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y
1.003 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
1.003 * [taylor]: Taking taylor expansion of 3 in y
1.003 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
1.003 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
1.003 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.003 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.003 * [taylor]: Taking taylor expansion of -1 in y
1.003 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.003 * [taylor]: Taking taylor expansion of 1/3 in y
1.003 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.003 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.003 * [taylor]: Taking taylor expansion of y in y
1.005 * [taylor]: Taking taylor expansion of x in y
1.005 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
1.006 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
1.006 * [taylor]: Taking taylor expansion of 3 in x
1.006 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
1.006 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
1.006 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
1.006 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.006 * [taylor]: Taking taylor expansion of -1 in x
1.006 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.006 * [taylor]: Taking taylor expansion of 1/3 in x
1.006 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.006 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.006 * [taylor]: Taking taylor expansion of y in x
1.007 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
1.008 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
1.008 * [taylor]: Taking taylor expansion of 3 in x
1.008 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
1.008 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
1.008 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
1.008 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.008 * [taylor]: Taking taylor expansion of -1 in x
1.008 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.008 * [taylor]: Taking taylor expansion of 1/3 in x
1.008 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.008 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.010 * [taylor]: Taking taylor expansion of x in x
1.011 * [taylor]: Taking taylor expansion of (neg (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
1.011 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
1.011 * [taylor]: Taking taylor expansion of 3 in y
1.011 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
1.011 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.012 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.012 * [taylor]: Taking taylor expansion of -1 in y
1.012 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.012 * [taylor]: Taking taylor expansion of 1/3 in y
1.012 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.012 * [taylor]: Taking taylor expansion of y in y
1.019 * [taylor]: Taking taylor expansion of 0 in y
1.028 * [taylor]: Taking taylor expansion of 0 in y
1.042 * [taylor]: Taking taylor expansion of 0 in y
1.043 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
1.043 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0
1.044 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
1.044 * [taylor]: Taking taylor expansion of x in y
1.044 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
1.044 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.044 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.044 * [taylor]: Taking taylor expansion of 1/3 in y
1.044 * [taylor]: Taking taylor expansion of (log y) in y
1.044 * [taylor]: Taking taylor expansion of y in y
1.044 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
1.044 * [taylor]: Taking taylor expansion of x in x
1.044 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
1.044 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
1.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
1.044 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
1.044 * [taylor]: Taking taylor expansion of 1/3 in x
1.044 * [taylor]: Taking taylor expansion of (log y) in x
1.044 * [taylor]: Taking taylor expansion of y in x
1.045 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
1.045 * [taylor]: Taking taylor expansion of x in x
1.045 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
1.045 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
1.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
1.045 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
1.045 * [taylor]: Taking taylor expansion of 1/3 in x
1.045 * [taylor]: Taking taylor expansion of (log y) in x
1.045 * [taylor]: Taking taylor expansion of y in x
1.046 * [taylor]: Taking taylor expansion of 0 in y
1.047 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
1.047 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.047 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.048 * [taylor]: Taking taylor expansion of 1/3 in y
1.048 * [taylor]: Taking taylor expansion of (log y) in y
1.048 * [taylor]: Taking taylor expansion of y in y
1.051 * [taylor]: Taking taylor expansion of 0 in y
1.057 * [taylor]: Taking taylor expansion of 0 in y
1.058 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0
1.058 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
1.058 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
1.058 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.058 * [taylor]: Taking taylor expansion of 1/3 in y
1.058 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.058 * [taylor]: Taking taylor expansion of y in y
1.059 * [taylor]: Taking taylor expansion of x in y
1.059 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
1.059 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
1.059 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.059 * [taylor]: Taking taylor expansion of 1/3 in x
1.059 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.059 * [taylor]: Taking taylor expansion of y in x
1.060 * [taylor]: Taking taylor expansion of x in x
1.060 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
1.060 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
1.060 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.060 * [taylor]: Taking taylor expansion of 1/3 in x
1.060 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.060 * [taylor]: Taking taylor expansion of y in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
1.061 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.061 * [taylor]: Taking taylor expansion of 1/3 in y
1.061 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.061 * [taylor]: Taking taylor expansion of y in y
1.064 * [taylor]: Taking taylor expansion of 0 in y
1.070 * [taylor]: Taking taylor expansion of 0 in y
1.078 * [taylor]: Taking taylor expansion of 0 in y
1.079 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0
1.079 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
1.079 * [taylor]: Taking taylor expansion of -1 in y
1.079 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
1.079 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
1.079 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.079 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.079 * [taylor]: Taking taylor expansion of -1 in y
1.080 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.080 * [taylor]: Taking taylor expansion of 1/3 in y
1.080 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.080 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.080 * [taylor]: Taking taylor expansion of y in y
1.081 * [taylor]: Taking taylor expansion of x in y
1.082 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
1.082 * [taylor]: Taking taylor expansion of -1 in x
1.082 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
1.082 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
1.082 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
1.082 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.082 * [taylor]: Taking taylor expansion of -1 in x
1.082 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.082 * [taylor]: Taking taylor expansion of 1/3 in x
1.082 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.082 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.082 * [taylor]: Taking taylor expansion of y in x
1.084 * [taylor]: Taking taylor expansion of x in x
1.084 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
1.084 * [taylor]: Taking taylor expansion of -1 in x
1.084 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
1.084 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
1.084 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
1.084 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.084 * [taylor]: Taking taylor expansion of -1 in x
1.085 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.085 * [taylor]: Taking taylor expansion of 1/3 in x
1.085 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.085 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.085 * [taylor]: Taking taylor expansion of y in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.087 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
1.087 * [taylor]: Taking taylor expansion of -1 in y
1.087 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
1.087 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.087 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.087 * [taylor]: Taking taylor expansion of -1 in y
1.087 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.087 * [taylor]: Taking taylor expansion of 1/3 in y
1.087 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.088 * [taylor]: Taking taylor expansion of y in y
1.093 * [taylor]: Taking taylor expansion of 0 in y
1.102 * [taylor]: Taking taylor expansion of 0 in y
1.115 * [taylor]: Taking taylor expansion of 0 in y
1.116 * * * [progress]: simplifying candidates
1.117 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (cbrt.f64 y))
  (log.f64 (cbrt.f64 y))
  (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 y))
  (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 1)
  (cbrt.f64 y)
  (sqrt.f64 (cbrt.f64 y))
  (sqrt.f64 (cbrt.f64 y))
  (exp.f64 (cbrt.f64 y))
  (log.f64 (cbrt.f64 y))
  (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 y))
  (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 1)
  (cbrt.f64 y)
  (sqrt.f64 (cbrt.f64 y))
  (sqrt.f64 (cbrt.f64 y))
  (*.f64 (exp.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2))) (exp.f64 (*.f64 x (log.f64 (cbrt.f64 y)))))
  (exp.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (log.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (*.f64 (*.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))) (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))) (cbrt.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))))
  (cbrt.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (sqrt.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (sqrt.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (+.f64 (pow.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) 3) (pow.f64 (*.f64 x (log.f64 (cbrt.f64 y))) 3))
  (+.f64 (*.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2))) (-.f64 (*.f64 (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 x (log.f64 (cbrt.f64 y)))) (*.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))))
  (-.f64 (*.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2))) (*.f64 (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (-.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
  (+.f64 (*.f64 (log.f64 (cbrt.f64 y)) 2) (log.f64 (cbrt.f64 y)))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (log.f64 (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (log.f64 (cbrt.f64 1)) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 (log.f64 1) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y))))))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 (sqrt.f64 y)))))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 1))))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (+.f64 (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 1)))
  (*.f64 x (log.f64 (cbrt.f64 y)))
  (+.f64 (log.f64 x) (log.f64 (log.f64 (cbrt.f64 y))))
  (exp.f64 (*.f64 x (log.f64 (cbrt.f64 y))))
  (log.f64 (*.f64 x (log.f64 (cbrt.f64 y))))
  (*.f64 (*.f64 (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 x (log.f64 (cbrt.f64 y)))) (*.f64 x (log.f64 (cbrt.f64 y))))
  (*.f64 (cbrt.f64 (*.f64 x (log.f64 (cbrt.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 (cbrt.f64 y)))))
  (cbrt.f64 (*.f64 x (log.f64 (cbrt.f64 y))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) (log.f64 (cbrt.f64 y))) (log.f64 (cbrt.f64 y))))
  (sqrt.f64 (*.f64 x (log.f64 (cbrt.f64 y))))
  (sqrt.f64 (*.f64 x (log.f64 (cbrt.f64 y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 (cbrt.f64 y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 (cbrt.f64 y))))
  (*.f64 (log.f64 (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))) x)
  (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)
  (*.f64 (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) x)
  (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)
  (*.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)
  (*.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x)
  (*.f64 (log.f64 (cbrt.f64 1)) x)
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)
  (*.f64 (log.f64 1) x)
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 x (log.f64 (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))))
  (*.f64 x (log.f64 (cbrt.f64 (cbrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))))
  (*.f64 x (log.f64 (cbrt.f64 (cbrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 (sqrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 (sqrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 1)))
  (*.f64 x (log.f64 (cbrt.f64 y)))
  (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y))))
  (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y))))
  (*.f64 x (log.f64 1))
  (*.f64 x (log.f64 (cbrt.f64 y)))
  (*.f64 (cbrt.f64 x) (log.f64 (cbrt.f64 y)))
  (*.f64 (sqrt.f64 x) (log.f64 (cbrt.f64 y)))
  (*.f64 x (log.f64 (cbrt.f64 y)))
  (*.f64 x 1/3)
  (*.f64 x 1)
  (*.f64 x (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 y))) (cbrt.f64 (log.f64 (cbrt.f64 y)))))
  (*.f64 x (sqrt.f64 (log.f64 (cbrt.f64 y))))
  (*.f64 x 1)
  (pow.f64 y 1/3)
  (pow.f64 (/.f64 1 y) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 y) 1/3) (cbrt.f64 -1))
  (pow.f64 y 1/3)
  (pow.f64 (/.f64 1 y) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 y) 1/3) (cbrt.f64 -1))
  (*.f64 3 (*.f64 x (log.f64 (pow.f64 y 1/3))))
  (*.f64 3 (*.f64 x (log.f64 (pow.f64 (/.f64 1 y) -1/3))))
  (*.f64 3 (*.f64 x (log.f64 (*.f64 (pow.f64 (*.f64 -1 y) 1/3) (cbrt.f64 -1)))))
  (*.f64 x (log.f64 (pow.f64 y 1/3)))
  (*.f64 x (log.f64 (pow.f64 (/.f64 1 y) -1/3)))
  (*.f64 x (log.f64 (*.f64 (pow.f64 (*.f64 -1 y) 1/3) (cbrt.f64 -1))))
1.220 * * [simplify]: iteration  0 :  4869  enodes  (cost  954 )
1.220 * * [simplify]: iteration  1 :  4869  enodes  (cost  954 )
1.226 * [simplify]: Simplified to:
   (exp.f64 (cbrt.f64 y))
  (log.f64 (cbrt.f64 y))
  y
  (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (pow.f64 y 2/3))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 1)
  (cbrt.f64 y)
  (pow.f64 y 1/6)
  (pow.f64 y 1/6)
  (exp.f64 (cbrt.f64 y))
  (log.f64 (cbrt.f64 y))
  y
  (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (pow.f64 y 2/3))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 1)
  (cbrt.f64 y)
  (pow.f64 y 1/6)
  (pow.f64 y 1/6)
  (pow.f64 y x)
  (pow.f64 y x)
  (log.f64 (*.f64 x (log.f64 y)))
  (pow.f64 (*.f64 x (log.f64 y)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y))))
  (cbrt.f64 (*.f64 x (log.f64 y)))
  (sqrt.f64 (*.f64 x (log.f64 y)))
  (sqrt.f64 (*.f64 x (log.f64 y)))
  (*.f64 (pow.f64 (*.f64 (log.f64 (cbrt.f64 y)) x) 3) 9)
  (*.f64 (log.f64 (cbrt.f64 y)) (*.f64 (*.f64 x x) (log.f64 y)))
  (*.f64 (log.f64 (cbrt.f64 y)) (*.f64 (*.f64 x x) (log.f64 y)))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (log.f64 y)
  (*.f64 x (*.f64 2 (+.f64 (log.f64 (cbrt.f64 y)) (log.f64 (cbrt.f64 (cbrt.f64 y))))))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (pow.f64 y 2/3)))))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (sqrt.f64 y)))))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 1))))
  (*.f64 x (*.f64 (log.f64 y) 5/6))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 1)))
  (*.f64 x (*.f64 2 (+.f64 (log.f64 (cbrt.f64 y)) (log.f64 (cbrt.f64 (cbrt.f64 y))))))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (pow.f64 y 2/3)))))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 (sqrt.f64 y)))))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 (cbrt.f64 1))))
  (*.f64 x (*.f64 (log.f64 y) 5/6))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 1)))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (log.f64 (*.f64 (log.f64 (cbrt.f64 y)) x))
  (pow.f64 (cbrt.f64 y) x)
  (log.f64 (*.f64 (log.f64 (cbrt.f64 y)) x))
  (pow.f64 (*.f64 (log.f64 (cbrt.f64 y)) x) 3)
  (*.f64 (cbrt.f64 (*.f64 (log.f64 (cbrt.f64 y)) x)) (cbrt.f64 (*.f64 (log.f64 (cbrt.f64 y)) x)))
  (cbrt.f64 (*.f64 (log.f64 (cbrt.f64 y)) x))
  (pow.f64 (*.f64 (log.f64 (cbrt.f64 y)) x) 3)
  (sqrt.f64 (*.f64 (log.f64 (cbrt.f64 y)) x))
  (sqrt.f64 (*.f64 (log.f64 (cbrt.f64 y)) x))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 (cbrt.f64 y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 (cbrt.f64 y))))
  (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 (cbrt.f64 y)))))
  (*.f64 x (log.f64 (cbrt.f64 (cbrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 (pow.f64 y 2/3))))
  (*.f64 x (log.f64 (cbrt.f64 (cbrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 (sqrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 (sqrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 1)))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 x (*.f64 1/6 (log.f64 y)))
  (*.f64 x (*.f64 1/6 (log.f64 y)))
  (*.f64 x (log.f64 1))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 (cbrt.f64 y)))))
  (*.f64 x (log.f64 (cbrt.f64 (cbrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 (pow.f64 y 2/3))))
  (*.f64 x (log.f64 (cbrt.f64 (cbrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 (sqrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 (sqrt.f64 y))))
  (*.f64 x (log.f64 (cbrt.f64 1)))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 x (*.f64 1/6 (log.f64 y)))
  (*.f64 x (*.f64 1/6 (log.f64 y)))
  (*.f64 x (log.f64 1))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 (log.f64 (cbrt.f64 y)) (cbrt.f64 x))
  (*.f64 (log.f64 (cbrt.f64 y)) (sqrt.f64 x))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 x 1/3)
  x
  (*.f64 x (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 y))) (cbrt.f64 (log.f64 (cbrt.f64 y)))))
  (*.f64 x (sqrt.f64 (log.f64 (cbrt.f64 y))))
  x
  (cbrt.f64 y)
  (cbrt.f64 y)
  (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))
  (cbrt.f64 y)
  (cbrt.f64 y)
  (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))
  (*.f64 x (log.f64 y))
  (*.f64 x (log.f64 y))
  (*.f64 3 (*.f64 x (log.f64 (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1)))))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 x (log.f64 (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))))
1.227 * * * [progress]: adding candidates to table
1.295 * * [progress]: iteration 3 / 4
1.295 * * * [progress]: picking best candidate
1.301 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))>
1.301 * * * [progress]: localizing error
1.324 * * * [progress]: generating rewritten candidates
1.324 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 2 1 1)
1.326 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2 1)
1.328 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.337 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1.345 * * * [progress]: generating series expansions
1.345 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 2 1 1)
1.346 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.346 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.346 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.346 * [taylor]: Taking taylor expansion of 1/3 in y
1.346 * [taylor]: Taking taylor expansion of (log y) in y
1.346 * [taylor]: Taking taylor expansion of y in y
1.346 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.346 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.347 * [taylor]: Taking taylor expansion of 1/3 in y
1.347 * [taylor]: Taking taylor expansion of (log y) in y
1.347 * [taylor]: Taking taylor expansion of y in y
1.369 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.370 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.370 * [taylor]: Taking taylor expansion of 1/3 in y
1.370 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.370 * [taylor]: Taking taylor expansion of y in y
1.370 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.370 * [taylor]: Taking taylor expansion of 1/3 in y
1.371 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.371 * [taylor]: Taking taylor expansion of y in y
1.396 * [approximate]: Taking taylor expansion of (pow (/ -1 y) 1/3) in (y) around 0
1.396 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
1.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
1.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
1.396 * [taylor]: Taking taylor expansion of 1/3 in y
1.396 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.396 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.396 * [taylor]: Taking taylor expansion of -1 in y
1.396 * [taylor]: Taking taylor expansion of y in y
1.398 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
1.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
1.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
1.398 * [taylor]: Taking taylor expansion of 1/3 in y
1.398 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.398 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.398 * [taylor]: Taking taylor expansion of -1 in y
1.398 * [taylor]: Taking taylor expansion of y in y
1.426 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2 1)
1.427 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.427 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.427 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.427 * [taylor]: Taking taylor expansion of 1/3 in y
1.427 * [taylor]: Taking taylor expansion of (log y) in y
1.427 * [taylor]: Taking taylor expansion of y in y
1.427 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.427 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.427 * [taylor]: Taking taylor expansion of 1/3 in y
1.427 * [taylor]: Taking taylor expansion of (log y) in y
1.427 * [taylor]: Taking taylor expansion of y in y
1.450 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.450 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.450 * [taylor]: Taking taylor expansion of 1/3 in y
1.450 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.450 * [taylor]: Taking taylor expansion of y in y
1.453 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.453 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.453 * [taylor]: Taking taylor expansion of 1/3 in y
1.453 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.453 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.453 * [taylor]: Taking taylor expansion of y in y
1.478 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.478 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.478 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.478 * [taylor]: Taking taylor expansion of -1 in y
1.478 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.478 * [taylor]: Taking taylor expansion of 1/3 in y
1.478 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.478 * [taylor]: Taking taylor expansion of y in y
1.479 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.479 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.479 * [taylor]: Taking taylor expansion of -1 in y
1.479 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.479 * [taylor]: Taking taylor expansion of 1/3 in y
1.480 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.480 * [taylor]: Taking taylor expansion of y in y
1.512 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.513 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (x y) around 0
1.513 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
1.513 * [taylor]: Taking taylor expansion of 3 in y
1.513 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
1.513 * [taylor]: Taking taylor expansion of x in y
1.513 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
1.513 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.513 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.513 * [taylor]: Taking taylor expansion of 1/3 in y
1.513 * [taylor]: Taking taylor expansion of (log y) in y
1.513 * [taylor]: Taking taylor expansion of y in y
1.514 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
1.514 * [taylor]: Taking taylor expansion of 3 in x
1.514 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
1.514 * [taylor]: Taking taylor expansion of x in x
1.514 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
1.514 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
1.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
1.514 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
1.514 * [taylor]: Taking taylor expansion of 1/3 in x
1.514 * [taylor]: Taking taylor expansion of (log y) in x
1.514 * [taylor]: Taking taylor expansion of y in x
1.515 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
1.515 * [taylor]: Taking taylor expansion of 3 in x
1.515 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
1.515 * [taylor]: Taking taylor expansion of x in x
1.515 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
1.515 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
1.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
1.515 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
1.515 * [taylor]: Taking taylor expansion of 1/3 in x
1.515 * [taylor]: Taking taylor expansion of (log y) in x
1.515 * [taylor]: Taking taylor expansion of y in x
1.515 * [taylor]: Taking taylor expansion of 0 in y
1.517 * [taylor]: Taking taylor expansion of (* 3 (log (pow y 1/3))) in y
1.518 * [taylor]: Taking taylor expansion of 3 in y
1.518 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
1.518 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.518 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.518 * [taylor]: Taking taylor expansion of 1/3 in y
1.518 * [taylor]: Taking taylor expansion of (log y) in y
1.518 * [taylor]: Taking taylor expansion of y in y
1.522 * [taylor]: Taking taylor expansion of 0 in y
1.528 * [taylor]: Taking taylor expansion of 0 in y
1.530 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0
1.530 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
1.530 * [taylor]: Taking taylor expansion of 3 in y
1.530 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
1.530 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
1.530 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.530 * [taylor]: Taking taylor expansion of 1/3 in y
1.530 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.530 * [taylor]: Taking taylor expansion of y in y
1.531 * [taylor]: Taking taylor expansion of x in y
1.531 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
1.531 * [taylor]: Taking taylor expansion of 3 in x
1.531 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
1.531 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
1.531 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.531 * [taylor]: Taking taylor expansion of 1/3 in x
1.531 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.531 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.531 * [taylor]: Taking taylor expansion of y in x
1.532 * [taylor]: Taking taylor expansion of x in x
1.532 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
1.532 * [taylor]: Taking taylor expansion of 3 in x
1.532 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
1.532 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
1.532 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.532 * [taylor]: Taking taylor expansion of 1/3 in x
1.532 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.532 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.532 * [taylor]: Taking taylor expansion of y in x
1.533 * [taylor]: Taking taylor expansion of x in x
1.534 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 y) 1/3))) in y
1.534 * [taylor]: Taking taylor expansion of 3 in y
1.534 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
1.534 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.534 * [taylor]: Taking taylor expansion of 1/3 in y
1.534 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.534 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.534 * [taylor]: Taking taylor expansion of y in y
1.538 * [taylor]: Taking taylor expansion of 0 in y
1.544 * [taylor]: Taking taylor expansion of 0 in y
1.554 * [taylor]: Taking taylor expansion of 0 in y
1.555 * [approximate]: Taking taylor expansion of (neg (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (/ -1 y) 1/3)) x)))) in (x y) around 0
1.555 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (/ -1 y) 1/3)) x)))) in y
1.555 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (/ -1 y) 1/3)) x))) in y
1.555 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
1.555 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
1.555 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.555 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.555 * [taylor]: Taking taylor expansion of -1 in y
1.556 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.556 * [taylor]: Taking taylor expansion of 1/3 in y
1.556 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.556 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.556 * [taylor]: Taking taylor expansion of y in y
1.557 * [taylor]: Taking taylor expansion of x in y
1.558 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ -1 y) 1/3)) x)) in y
1.558 * [taylor]: Taking taylor expansion of 2 in y
1.558 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in y
1.558 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y
1.558 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
1.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
1.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
1.558 * [taylor]: Taking taylor expansion of 1/3 in y
1.558 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.558 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.558 * [taylor]: Taking taylor expansion of -1 in y
1.558 * [taylor]: Taking taylor expansion of y in y
1.559 * [taylor]: Taking taylor expansion of x in y
1.559 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (/ -1 y) 1/3)) x)))) in x
1.559 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (/ -1 y) 1/3)) x))) in x
1.559 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
1.559 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
1.559 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
1.560 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.560 * [taylor]: Taking taylor expansion of -1 in x
1.560 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.560 * [taylor]: Taking taylor expansion of 1/3 in x
1.560 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.560 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.560 * [taylor]: Taking taylor expansion of y in x
1.561 * [taylor]: Taking taylor expansion of x in x
1.562 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ -1 y) 1/3)) x)) in x
1.562 * [taylor]: Taking taylor expansion of 2 in x
1.562 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in x
1.562 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x
1.562 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x
1.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x
1.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x
1.562 * [taylor]: Taking taylor expansion of 1/3 in x
1.562 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.562 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.562 * [taylor]: Taking taylor expansion of -1 in x
1.562 * [taylor]: Taking taylor expansion of y in x
1.562 * [taylor]: Taking taylor expansion of x in x
1.563 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (/ -1 y) 1/3)) x)))) in x
1.563 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (/ -1 y) 1/3)) x))) in x
1.563 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
1.563 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
1.563 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
1.563 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.563 * [taylor]: Taking taylor expansion of -1 in x
1.563 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.563 * [taylor]: Taking taylor expansion of 1/3 in x
1.563 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.563 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.563 * [taylor]: Taking taylor expansion of y in x
1.564 * [taylor]: Taking taylor expansion of x in x
1.565 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ -1 y) 1/3)) x)) in x
1.565 * [taylor]: Taking taylor expansion of 2 in x
1.565 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in x
1.565 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x
1.565 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x
1.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x
1.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x
1.565 * [taylor]: Taking taylor expansion of 1/3 in x
1.565 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.565 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.565 * [taylor]: Taking taylor expansion of -1 in x
1.565 * [taylor]: Taking taylor expansion of y in x
1.566 * [taylor]: Taking taylor expansion of x in x
1.568 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (log (pow (/ -1 y) 1/3))) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
1.568 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow (/ -1 y) 1/3))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
1.568 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ -1 y) 1/3))) in y
1.568 * [taylor]: Taking taylor expansion of 2 in y
1.568 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y
1.568 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
1.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
1.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
1.568 * [taylor]: Taking taylor expansion of 1/3 in y
1.568 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.568 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.568 * [taylor]: Taking taylor expansion of -1 in y
1.568 * [taylor]: Taking taylor expansion of y in y
1.569 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
1.569 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.569 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.569 * [taylor]: Taking taylor expansion of -1 in y
1.569 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.570 * [taylor]: Taking taylor expansion of 1/3 in y
1.570 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.570 * [taylor]: Taking taylor expansion of y in y
1.580 * [taylor]: Taking taylor expansion of 0 in y
1.595 * [taylor]: Taking taylor expansion of 0 in y
1.617 * [taylor]: Taking taylor expansion of 0 in y
1.619 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.620 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (x y) around 0
1.620 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y
1.620 * [taylor]: Taking taylor expansion of 2 in y
1.620 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
1.620 * [taylor]: Taking taylor expansion of x in y
1.620 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
1.620 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.620 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.620 * [taylor]: Taking taylor expansion of 1/3 in y
1.620 * [taylor]: Taking taylor expansion of (log y) in y
1.620 * [taylor]: Taking taylor expansion of y in y
1.621 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x
1.621 * [taylor]: Taking taylor expansion of 2 in x
1.621 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.621 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
1.621 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
1.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
1.621 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
1.621 * [taylor]: Taking taylor expansion of 1/3 in x
1.621 * [taylor]: Taking taylor expansion of (log y) in x
1.621 * [taylor]: Taking taylor expansion of y in x
1.621 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x
1.621 * [taylor]: Taking taylor expansion of 2 in x
1.621 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
1.621 * [taylor]: Taking taylor expansion of x in x
1.621 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
1.621 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
1.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
1.621 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
1.621 * [taylor]: Taking taylor expansion of 1/3 in x
1.621 * [taylor]: Taking taylor expansion of (log y) in x
1.621 * [taylor]: Taking taylor expansion of y in x
1.622 * [taylor]: Taking taylor expansion of 0 in y
1.624 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/3))) in y
1.624 * [taylor]: Taking taylor expansion of 2 in y
1.624 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
1.624 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.624 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.624 * [taylor]: Taking taylor expansion of 1/3 in y
1.624 * [taylor]: Taking taylor expansion of (log y) in y
1.624 * [taylor]: Taking taylor expansion of y in y
1.629 * [taylor]: Taking taylor expansion of 0 in y
1.637 * [taylor]: Taking taylor expansion of 0 in y
1.638 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0
1.638 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y
1.638 * [taylor]: Taking taylor expansion of 2 in y
1.638 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
1.638 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
1.638 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.638 * [taylor]: Taking taylor expansion of 1/3 in y
1.638 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.638 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.638 * [taylor]: Taking taylor expansion of y in y
1.639 * [taylor]: Taking taylor expansion of x in y
1.640 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x
1.640 * [taylor]: Taking taylor expansion of 2 in x
1.640 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
1.640 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
1.640 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.640 * [taylor]: Taking taylor expansion of 1/3 in x
1.640 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.640 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.640 * [taylor]: Taking taylor expansion of y in x
1.641 * [taylor]: Taking taylor expansion of x in x
1.641 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x
1.641 * [taylor]: Taking taylor expansion of 2 in x
1.641 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
1.641 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
1.641 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.641 * [taylor]: Taking taylor expansion of 1/3 in x
1.641 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.641 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.641 * [taylor]: Taking taylor expansion of y in x
1.642 * [taylor]: Taking taylor expansion of x in x
1.642 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/3))) in y
1.642 * [taylor]: Taking taylor expansion of 2 in y
1.643 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
1.643 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.643 * [taylor]: Taking taylor expansion of 1/3 in y
1.643 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.643 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.643 * [taylor]: Taking taylor expansion of y in y
1.647 * [taylor]: Taking taylor expansion of 0 in y
1.653 * [taylor]: Taking taylor expansion of 0 in y
1.662 * [taylor]: Taking taylor expansion of 0 in y
1.663 * [approximate]: Taking taylor expansion of (* -2 (/ (log (pow (/ -1 y) 1/3)) x)) in (x y) around 0
1.663 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (/ -1 y) 1/3)) x)) in y
1.663 * [taylor]: Taking taylor expansion of -2 in y
1.663 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in y
1.663 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y
1.663 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
1.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
1.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
1.663 * [taylor]: Taking taylor expansion of 1/3 in y
1.663 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.663 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.663 * [taylor]: Taking taylor expansion of -1 in y
1.663 * [taylor]: Taking taylor expansion of y in y
1.665 * [taylor]: Taking taylor expansion of x in y
1.665 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (/ -1 y) 1/3)) x)) in x
1.665 * [taylor]: Taking taylor expansion of -2 in x
1.665 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in x
1.665 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x
1.665 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x
1.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x
1.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x
1.665 * [taylor]: Taking taylor expansion of 1/3 in x
1.665 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.665 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.665 * [taylor]: Taking taylor expansion of -1 in x
1.665 * [taylor]: Taking taylor expansion of y in x
1.666 * [taylor]: Taking taylor expansion of x in x
1.667 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (/ -1 y) 1/3)) x)) in x
1.667 * [taylor]: Taking taylor expansion of -2 in x
1.667 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in x
1.667 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x
1.667 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x
1.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x
1.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x
1.667 * [taylor]: Taking taylor expansion of 1/3 in x
1.667 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.667 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.667 * [taylor]: Taking taylor expansion of -1 in x
1.667 * [taylor]: Taking taylor expansion of y in x
1.668 * [taylor]: Taking taylor expansion of x in x
1.668 * [taylor]: Taking taylor expansion of (* -2 (log (pow (/ -1 y) 1/3))) in y
1.668 * [taylor]: Taking taylor expansion of -2 in y
1.668 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y
1.668 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
1.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
1.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
1.668 * [taylor]: Taking taylor expansion of 1/3 in y
1.668 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.668 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.668 * [taylor]: Taking taylor expansion of -1 in y
1.668 * [taylor]: Taking taylor expansion of y in y
1.673 * [taylor]: Taking taylor expansion of 0 in y
1.680 * [taylor]: Taking taylor expansion of 0 in y
1.690 * [taylor]: Taking taylor expansion of 0 in y
1.691 * * * [progress]: simplifying candidates
1.692 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) 1/3)
  (pow.f64 (cbrt.f64 y) 1/3)
  (pow.f64 (sqrt.f64 y) 1/3)
  (pow.f64 (sqrt.f64 y) 1/3)
  (pow.f64 1 1/3)
  (pow.f64 y 1/3)
  (pow.f64 y (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)))
  (pow.f64 y (sqrt.f64 1/3))
  (pow.f64 y 1)
  (*.f64 1 1/3)
  (*.f64 (log.f64 y) 1/3)
  (*.f64 (log.f64 y) 1/3)
  (exp.f64 (pow.f64 y 1/3))
  (log.f64 (pow.f64 y 1/3))
  (*.f64 (*.f64 (pow.f64 y 1/3) (pow.f64 y 1/3)) (pow.f64 y 1/3))
  (*.f64 (cbrt.f64 (pow.f64 y 1/3)) (cbrt.f64 (pow.f64 y 1/3)))
  (cbrt.f64 (pow.f64 y 1/3))
  (sqrt.f64 (pow.f64 y 1/3))
  (sqrt.f64 (pow.f64 y 1/3))
  (pow.f64 y (/.f64 1/3 2))
  (pow.f64 y (/.f64 1/3 2))
  (exp.f64 (cbrt.f64 y))
  (log.f64 (cbrt.f64 y))
  (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 y))
  (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 1)
  (cbrt.f64 y)
  (sqrt.f64 (cbrt.f64 y))
  (sqrt.f64 (cbrt.f64 y))
  (*.f64 (exp.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2))) (exp.f64 (*.f64 x (log.f64 (cbrt.f64 y)))))
  (exp.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (log.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (*.f64 (*.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))) (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))) (cbrt.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))))
  (cbrt.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (sqrt.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (sqrt.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (+.f64 (pow.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) 3) (pow.f64 (*.f64 x (log.f64 (cbrt.f64 y))) 3))
  (+.f64 (*.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2))) (-.f64 (*.f64 (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 x (log.f64 (cbrt.f64 y)))) (*.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))))
  (-.f64 (*.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2))) (*.f64 (*.f64 x (log.f64 (cbrt.f64 y))) (*.f64 x (log.f64 (cbrt.f64 y)))))
  (-.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
  (+.f64 (*.f64 (log.f64 (pow.f64 y 1/3)) 2) (log.f64 (cbrt.f64 y)))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 (log.f64 (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 (log.f64 (cbrt.f64 (sqrt.f64 y))) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 (log.f64 (cbrt.f64 1)) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 (log.f64 1) x))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y))))))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 (sqrt.f64 y)))))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 1))))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 1)))
  (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2))
  (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2))
  (+.f64 (log.f64 x) (+.f64 (log.f64 (log.f64 (pow.f64 y 1/3))) (log.f64 2)))
  (+.f64 (log.f64 x) (log.f64 (*.f64 (log.f64 (pow.f64 y 1/3)) 2)))
  (exp.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)))
  (log.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)))
  (*.f64 (*.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2))) (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)))
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2))) (cbrt.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2))))
  (cbrt.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 (log.f64 (pow.f64 y 1/3)) 2) (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 (log.f64 (pow.f64 y 1/3)) 2)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 (log.f64 (pow.f64 y 1/3)) (log.f64 (pow.f64 y 1/3))) (log.f64 (pow.f64 y 1/3))) (*.f64 (*.f64 2 2) 2)))
  (sqrt.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)))
  (sqrt.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)))
  (*.f64 (cbrt.f64 x) (*.f64 (log.f64 (pow.f64 y 1/3)) 2))
  (*.f64 (sqrt.f64 x) (*.f64 (log.f64 (pow.f64 y 1/3)) 2))
  (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2))
  (*.f64 x (log.f64 (pow.f64 y 1/3)))
  (pow.f64 y 1/3)
  (pow.f64 (/.f64 1 y) -1/3)
  (exp.f64 (*.f64 1/3 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y)))))
  (pow.f64 y 1/3)
  (pow.f64 (/.f64 1 y) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 y) 1/3) (cbrt.f64 -1))
  (*.f64 3 (*.f64 x (log.f64 (pow.f64 y 1/3))))
  (*.f64 3 (*.f64 x (log.f64 (pow.f64 (/.f64 1 y) -1/3))))
  (*.f64 -1 (*.f64 x (-.f64 (*.f64 2/3 (log.f64 (/.f64 -1 y))) (+.f64 (*.f64 2/3 (log.f64 -1)) (log.f64 (*.f64 (pow.f64 (*.f64 -1 y) 1/3) (cbrt.f64 -1)))))))
  (*.f64 2 (*.f64 x (log.f64 (pow.f64 y 1/3))))
  (*.f64 2 (*.f64 x (log.f64 (pow.f64 (/.f64 1 y) -1/3))))
  (*.f64 2/3 (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y))) x))
1.776 * * [simplify]: iteration  0 :  5036  enodes  (cost  720 )
1.781 * [simplify]: Simplified to:
   (cbrt.f64 (pow.f64 y 2/3))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  1
  (cbrt.f64 y)
  (pow.f64 y (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)))
  (pow.f64 y (sqrt.f64 1/3))
  y
  1/3
  (log.f64 (cbrt.f64 y))
  (log.f64 (cbrt.f64 y))
  (exp.f64 (cbrt.f64 y))
  (log.f64 (cbrt.f64 y))
  y
  (pow.f64 (cbrt.f64 y) 2/3)
  (cbrt.f64 (cbrt.f64 y))
  (sqrt.f64 (cbrt.f64 y))
  (sqrt.f64 (cbrt.f64 y))
  (pow.f64 y 1/6)
  (pow.f64 y 1/6)
  (exp.f64 (cbrt.f64 y))
  (log.f64 (cbrt.f64 y))
  y
  (pow.f64 (cbrt.f64 y) 2/3)
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (pow.f64 y 2/3))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  1
  (cbrt.f64 y)
  (sqrt.f64 (cbrt.f64 y))
  (sqrt.f64 (cbrt.f64 y))
  (pow.f64 y x)
  (pow.f64 y x)
  (log.f64 (*.f64 (log.f64 y) x))
  (pow.f64 (*.f64 (log.f64 y) x) 3)
  (*.f64 (cbrt.f64 (*.f64 (log.f64 y) x)) (cbrt.f64 (*.f64 (log.f64 y) x)))
  (cbrt.f64 (*.f64 (log.f64 y) x))
  (sqrt.f64 (*.f64 (log.f64 y) x))
  (sqrt.f64 (*.f64 (log.f64 y) x))
  (*.f64 9 (pow.f64 (*.f64 (log.f64 (cbrt.f64 y)) x) 3))
  (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) x) (*.f64 (log.f64 y) x))
  (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) x) (*.f64 (log.f64 y) x))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (log.f64 y)
  (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 8/3))
  (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 8/3))
  (*.f64 x (*.f64 1/3 (*.f64 (log.f64 y) 5/2)))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 1)))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 1)))
  (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 8/3))
  (*.f64 x (*.f64 (log.f64 (cbrt.f64 y)) 8/3))
  (*.f64 x (*.f64 1/3 (*.f64 (log.f64 y) 5/2)))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 1)))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 1)))
  (*.f64 (log.f64 y) (*.f64 x 2/3))
  (*.f64 (log.f64 y) (*.f64 x 2/3))
  (log.f64 (*.f64 (log.f64 y) (*.f64 x 2/3)))
  (log.f64 (*.f64 (log.f64 y) (*.f64 x 2/3)))
  (pow.f64 (pow.f64 y 2/3) x)
  (log.f64 (*.f64 (log.f64 y) (*.f64 x 2/3)))
  (pow.f64 (*.f64 (log.f64 y) (*.f64 x 2/3)) 3)
  (*.f64 (cbrt.f64 (*.f64 (log.f64 y) (*.f64 x 2/3))) (cbrt.f64 (*.f64 (log.f64 y) (*.f64 x 2/3))))
  (cbrt.f64 (*.f64 (log.f64 y) (*.f64 x 2/3)))
  (pow.f64 (*.f64 (log.f64 y) (*.f64 x 2/3)) 3)
  (pow.f64 (*.f64 (log.f64 y) (*.f64 x 2/3)) 3)
  (sqrt.f64 (*.f64 (log.f64 y) (*.f64 x 2/3)))
  (sqrt.f64 (*.f64 (log.f64 y) (*.f64 x 2/3)))
  (*.f64 (*.f64 (log.f64 y) 2/3) (cbrt.f64 x))
  (*.f64 (*.f64 (log.f64 y) 2/3) (sqrt.f64 x))
  (*.f64 (log.f64 y) (*.f64 x 2/3))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (cbrt.f64 y)
  (pow.f64 (/.f64 1 y) -1/3)
  (cbrt.f64 y)
  (cbrt.f64 y)
  (pow.f64 (/.f64 1 y) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))
  (*.f64 (log.f64 y) x)
  (*.f64 (log.f64 y) x)
  (*.f64 x (+.f64 (*.f64 (log.f64 y) 2/3) (log.f64 (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1)))))
  (*.f64 (log.f64 y) (*.f64 x 2/3))
  (*.f64 (log.f64 y) (*.f64 x 2/3))
  (*.f64 (log.f64 y) (*.f64 x 2/3))
1.781 * * * [progress]: adding candidates to table
1.844 * * [progress]: iteration 4 / 4
1.844 * * * [progress]: picking best candidate
1.850 * * * * [pick]: Picked  #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) y) z) (log.f64 t)))>
1.850 * * * [progress]: localizing error
1.870 * * * [progress]: generating rewritten candidates
1.870 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 1 1 1)
1.872 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
1.876 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.883 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1.889 * * * [progress]: generating series expansions
1.889 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 1 1 1)
1.890 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.890 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.890 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.890 * [taylor]: Taking taylor expansion of 1/3 in y
1.890 * [taylor]: Taking taylor expansion of (log y) in y
1.890 * [taylor]: Taking taylor expansion of y in y
1.891 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.891 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.891 * [taylor]: Taking taylor expansion of 1/3 in y
1.891 * [taylor]: Taking taylor expansion of (log y) in y
1.891 * [taylor]: Taking taylor expansion of y in y
1.912 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.912 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.912 * [taylor]: Taking taylor expansion of 1/3 in y
1.912 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.912 * [taylor]: Taking taylor expansion of y in y
1.913 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.913 * [taylor]: Taking taylor expansion of 1/3 in y
1.913 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.913 * [taylor]: Taking taylor expansion of y in y
1.938 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.938 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.938 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.938 * [taylor]: Taking taylor expansion of -1 in y
1.938 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.938 * [taylor]: Taking taylor expansion of 1/3 in y
1.938 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.938 * [taylor]: Taking taylor expansion of y in y
1.939 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.939 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.939 * [taylor]: Taking taylor expansion of -1 in y
1.939 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.939 * [taylor]: Taking taylor expansion of 1/3 in y
1.939 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.939 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.939 * [taylor]: Taking taylor expansion of y in y
1.970 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
1.970 * [approximate]: Taking taylor expansion of (* 5/6 (log y)) in (y) around 0
1.970 * [taylor]: Taking taylor expansion of (* 5/6 (log y)) in y
1.970 * [taylor]: Taking taylor expansion of 5/6 in y
1.970 * [taylor]: Taking taylor expansion of (log y) in y
1.970 * [taylor]: Taking taylor expansion of y in y
1.970 * [taylor]: Taking taylor expansion of (* 5/6 (log y)) in y
1.970 * [taylor]: Taking taylor expansion of 5/6 in y
1.970 * [taylor]: Taking taylor expansion of (log y) in y
1.970 * [taylor]: Taking taylor expansion of y in y
1.986 * [approximate]: Taking taylor expansion of (* 5/6 (log (/ 1 y))) in (y) around 0
1.986 * [taylor]: Taking taylor expansion of (* 5/6 (log (/ 1 y))) in y
1.986 * [taylor]: Taking taylor expansion of 5/6 in y
1.986 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.986 * [taylor]: Taking taylor expansion of y in y
1.987 * [taylor]: Taking taylor expansion of (* 5/6 (log (/ 1 y))) in y
1.987 * [taylor]: Taking taylor expansion of 5/6 in y
1.987 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.987 * [taylor]: Taking taylor expansion of y in y
2.005 * [approximate]: Taking taylor expansion of (* 5/6 (log (/ -1 y))) in (y) around 0
2.005 * [taylor]: Taking taylor expansion of (* 5/6 (log (/ -1 y))) in y
2.005 * [taylor]: Taking taylor expansion of 5/6 in y
2.005 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.005 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.005 * [taylor]: Taking taylor expansion of -1 in y
2.005 * [taylor]: Taking taylor expansion of y in y
2.005 * [taylor]: Taking taylor expansion of (* 5/6 (log (/ -1 y))) in y
2.005 * [taylor]: Taking taylor expansion of 5/6 in y
2.005 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.005 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.005 * [taylor]: Taking taylor expansion of -1 in y
2.005 * [taylor]: Taking taylor expansion of y in y
2.024 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.024 * [approximate]: Taking taylor expansion of (* 5/6 (* x (log y))) in (x y) around 0
2.024 * [taylor]: Taking taylor expansion of (* 5/6 (* x (log y))) in y
2.024 * [taylor]: Taking taylor expansion of 5/6 in y
2.024 * [taylor]: Taking taylor expansion of (* x (log y)) in y
2.024 * [taylor]: Taking taylor expansion of x in y
2.024 * [taylor]: Taking taylor expansion of (log y) in y
2.024 * [taylor]: Taking taylor expansion of y in y
2.024 * [taylor]: Taking taylor expansion of (* 5/6 (* x (log y))) in x
2.024 * [taylor]: Taking taylor expansion of 5/6 in x
2.024 * [taylor]: Taking taylor expansion of (* x (log y)) in x
2.024 * [taylor]: Taking taylor expansion of x in x
2.024 * [taylor]: Taking taylor expansion of (log y) in x
2.024 * [taylor]: Taking taylor expansion of y in x
2.024 * [taylor]: Taking taylor expansion of (* 5/6 (* x (log y))) in x
2.024 * [taylor]: Taking taylor expansion of 5/6 in x
2.024 * [taylor]: Taking taylor expansion of (* x (log y)) in x
2.024 * [taylor]: Taking taylor expansion of x in x
2.024 * [taylor]: Taking taylor expansion of (log y) in x
2.024 * [taylor]: Taking taylor expansion of y in x
2.025 * [taylor]: Taking taylor expansion of 0 in y
2.025 * [taylor]: Taking taylor expansion of (* 5/6 (log y)) in y
2.025 * [taylor]: Taking taylor expansion of 5/6 in y
2.025 * [taylor]: Taking taylor expansion of (log y) in y
2.025 * [taylor]: Taking taylor expansion of y in y
2.027 * [taylor]: Taking taylor expansion of 0 in y
2.030 * [taylor]: Taking taylor expansion of 0 in y
2.030 * [approximate]: Taking taylor expansion of (* 5/6 (/ (log (/ 1 y)) x)) in (x y) around 0
2.030 * [taylor]: Taking taylor expansion of (* 5/6 (/ (log (/ 1 y)) x)) in y
2.030 * [taylor]: Taking taylor expansion of 5/6 in y
2.030 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
2.030 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.031 * [taylor]: Taking taylor expansion of y in y
2.031 * [taylor]: Taking taylor expansion of x in y
2.031 * [taylor]: Taking taylor expansion of (* 5/6 (/ (log (/ 1 y)) x)) in x
2.031 * [taylor]: Taking taylor expansion of 5/6 in x
2.031 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
2.031 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.031 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.031 * [taylor]: Taking taylor expansion of y in x
2.031 * [taylor]: Taking taylor expansion of x in x
2.032 * [taylor]: Taking taylor expansion of (* 5/6 (/ (log (/ 1 y)) x)) in x
2.032 * [taylor]: Taking taylor expansion of 5/6 in x
2.032 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
2.032 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.032 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.032 * [taylor]: Taking taylor expansion of y in x
2.032 * [taylor]: Taking taylor expansion of x in x
2.032 * [taylor]: Taking taylor expansion of (* 5/6 (log (/ 1 y))) in y
2.032 * [taylor]: Taking taylor expansion of 5/6 in y
2.032 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.032 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.032 * [taylor]: Taking taylor expansion of y in y
2.034 * [taylor]: Taking taylor expansion of 0 in y
2.037 * [taylor]: Taking taylor expansion of 0 in y
2.041 * [taylor]: Taking taylor expansion of 0 in y
2.042 * [approximate]: Taking taylor expansion of (* -5/6 (/ (log (/ -1 y)) x)) in (x y) around 0
2.042 * [taylor]: Taking taylor expansion of (* -5/6 (/ (log (/ -1 y)) x)) in y
2.042 * [taylor]: Taking taylor expansion of -5/6 in y
2.042 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
2.042 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.042 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.042 * [taylor]: Taking taylor expansion of -1 in y
2.042 * [taylor]: Taking taylor expansion of y in y
2.042 * [taylor]: Taking taylor expansion of x in y
2.043 * [taylor]: Taking taylor expansion of (* -5/6 (/ (log (/ -1 y)) x)) in x
2.043 * [taylor]: Taking taylor expansion of -5/6 in x
2.043 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
2.043 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
2.043 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.043 * [taylor]: Taking taylor expansion of -1 in x
2.043 * [taylor]: Taking taylor expansion of y in x
2.043 * [taylor]: Taking taylor expansion of x in x
2.044 * [taylor]: Taking taylor expansion of (* -5/6 (/ (log (/ -1 y)) x)) in x
2.044 * [taylor]: Taking taylor expansion of -5/6 in x
2.044 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
2.044 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
2.044 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.044 * [taylor]: Taking taylor expansion of -1 in x
2.044 * [taylor]: Taking taylor expansion of y in x
2.044 * [taylor]: Taking taylor expansion of x in x
2.044 * [taylor]: Taking taylor expansion of (* -5/6 (log (/ -1 y))) in y
2.044 * [taylor]: Taking taylor expansion of -5/6 in y
2.044 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.044 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.044 * [taylor]: Taking taylor expansion of -1 in y
2.044 * [taylor]: Taking taylor expansion of y in y
2.047 * [taylor]: Taking taylor expansion of 0 in y
2.050 * [taylor]: Taking taylor expansion of 0 in y
2.057 * [taylor]: Taking taylor expansion of 0 in y
2.057 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
2.058 * [approximate]: Taking taylor expansion of (* (log (pow y 1/6)) x) in (y x) around 0
2.058 * [taylor]: Taking taylor expansion of (* (log (pow y 1/6)) x) in x
2.058 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in x
2.058 * [taylor]: Taking taylor expansion of (pow y 1/6) in x
2.058 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in x
2.058 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in x
2.058 * [taylor]: Taking taylor expansion of 1/6 in x
2.058 * [taylor]: Taking taylor expansion of (log y) in x
2.058 * [taylor]: Taking taylor expansion of y in x
2.059 * [taylor]: Taking taylor expansion of x in x
2.059 * [taylor]: Taking taylor expansion of (* (log (pow y 1/6)) x) in y
2.059 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in y
2.059 * [taylor]: Taking taylor expansion of (pow y 1/6) in y
2.059 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y
2.059 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y
2.059 * [taylor]: Taking taylor expansion of 1/6 in y
2.059 * [taylor]: Taking taylor expansion of (log y) in y
2.059 * [taylor]: Taking taylor expansion of y in y
2.059 * [taylor]: Taking taylor expansion of x in y
2.059 * [taylor]: Taking taylor expansion of (* (log (pow y 1/6)) x) in y
2.059 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in y
2.059 * [taylor]: Taking taylor expansion of (pow y 1/6) in y
2.060 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y
2.060 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y
2.060 * [taylor]: Taking taylor expansion of 1/6 in y
2.060 * [taylor]: Taking taylor expansion of (log y) in y
2.060 * [taylor]: Taking taylor expansion of y in y
2.060 * [taylor]: Taking taylor expansion of x in y
2.061 * [taylor]: Taking taylor expansion of (* (log (pow y 1/6)) x) in x
2.061 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in x
2.061 * [taylor]: Taking taylor expansion of (pow y 1/6) in x
2.061 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in x
2.061 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in x
2.061 * [taylor]: Taking taylor expansion of 1/6 in x
2.061 * [taylor]: Taking taylor expansion of (log y) in x
2.061 * [taylor]: Taking taylor expansion of y in x
2.061 * [taylor]: Taking taylor expansion of x in x
2.063 * [taylor]: Taking taylor expansion of 0 in x
2.068 * [taylor]: Taking taylor expansion of 0 in x
2.075 * [taylor]: Taking taylor expansion of 0 in x
2.076 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/6)) x) in (y x) around 0
2.076 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/6)) x) in x
2.076 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in x
2.076 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in x
2.076 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in x
2.076 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in x
2.076 * [taylor]: Taking taylor expansion of 1/6 in x
2.076 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.076 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.076 * [taylor]: Taking taylor expansion of y in x
2.077 * [taylor]: Taking taylor expansion of x in x
2.077 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/6)) x) in y
2.078 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in y
2.078 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y
2.078 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y
2.078 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y
2.078 * [taylor]: Taking taylor expansion of 1/6 in y
2.078 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.078 * [taylor]: Taking taylor expansion of y in y
2.079 * [taylor]: Taking taylor expansion of x in y
2.079 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/6)) x) in y
2.079 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in y
2.079 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y
2.079 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y
2.079 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y
2.079 * [taylor]: Taking taylor expansion of 1/6 in y
2.079 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.079 * [taylor]: Taking taylor expansion of y in y
2.080 * [taylor]: Taking taylor expansion of x in y
2.080 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/6)) x) in x
2.080 * [taylor]: Taking taylor expansion of (log (pow y -1/6)) in x
2.080 * [taylor]: Taking taylor expansion of (pow y -1/6) in x
2.080 * [taylor]: Taking taylor expansion of (exp (* -1/6 (log y))) in x
2.080 * [taylor]: Taking taylor expansion of (* -1/6 (log y)) in x
2.080 * [taylor]: Taking taylor expansion of -1/6 in x
2.080 * [taylor]: Taking taylor expansion of (log y) in x
2.080 * [taylor]: Taking taylor expansion of y in x
2.081 * [taylor]: Taking taylor expansion of x in x
2.083 * [taylor]: Taking taylor expansion of 0 in x
2.089 * [taylor]: Taking taylor expansion of 0 in x
2.097 * [taylor]: Taking taylor expansion of 0 in x
2.102 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) x)) in (y x) around 0
2.102 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) x)) in x
2.102 * [taylor]: Taking taylor expansion of -1 in x
2.102 * [taylor]: Taking taylor expansion of (/ (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) x) in x
2.102 * [taylor]: Taking taylor expansion of (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) in x
2.102 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6)) in x
2.102 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in x
2.102 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.102 * [taylor]: Taking taylor expansion of -1 in x
2.103 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in x
2.103 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in x
2.103 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in x
2.103 * [taylor]: Taking taylor expansion of 1/6 in x
2.103 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.103 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.103 * [taylor]: Taking taylor expansion of y in x
2.105 * [taylor]: Taking taylor expansion of x in x
2.105 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) x)) in y
2.105 * [taylor]: Taking taylor expansion of -1 in y
2.105 * [taylor]: Taking taylor expansion of (/ (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) x) in y
2.105 * [taylor]: Taking taylor expansion of (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) in y
2.105 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6)) in y
2.105 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in y
2.105 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.105 * [taylor]: Taking taylor expansion of -1 in y
2.106 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y
2.106 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y
2.106 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y
2.106 * [taylor]: Taking taylor expansion of 1/6 in y
2.106 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.106 * [taylor]: Taking taylor expansion of y in y
2.108 * [taylor]: Taking taylor expansion of x in y
2.109 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) x)) in y
2.109 * [taylor]: Taking taylor expansion of -1 in y
2.109 * [taylor]: Taking taylor expansion of (/ (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) x) in y
2.109 * [taylor]: Taking taylor expansion of (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) in y
2.109 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6)) in y
2.109 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in y
2.109 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.109 * [taylor]: Taking taylor expansion of -1 in y
2.109 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y
2.109 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y
2.109 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y
2.109 * [taylor]: Taking taylor expansion of 1/6 in y
2.109 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.109 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.109 * [taylor]: Taking taylor expansion of y in y
2.111 * [taylor]: Taking taylor expansion of x in y
2.112 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) x)) in x
2.112 * [taylor]: Taking taylor expansion of -1 in x
2.112 * [taylor]: Taking taylor expansion of (/ (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) x) in x
2.112 * [taylor]: Taking taylor expansion of (log (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6))) in x
2.112 * [taylor]: Taking taylor expansion of (* (sqrt (cbrt -1)) (pow (/ 1 y) 1/6)) in x
2.112 * [taylor]: Taking taylor expansion of (sqrt (cbrt -1)) in x
2.112 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.112 * [taylor]: Taking taylor expansion of -1 in x
2.113 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in x
2.113 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in x
2.113 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in x
2.113 * [taylor]: Taking taylor expansion of 1/6 in x
2.113 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.113 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.113 * [taylor]: Taking taylor expansion of y in x
2.115 * [taylor]: Taking taylor expansion of x in x
2.120 * [taylor]: Taking taylor expansion of 0 in x
2.130 * [taylor]: Taking taylor expansion of 0 in x
2.144 * [taylor]: Taking taylor expansion of 0 in x
2.154 * * * [progress]: simplifying candidates
2.154 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (cbrt.f64 y))
  (log.f64 (cbrt.f64 y))
  (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 y))
  (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 1)
  (cbrt.f64 y)
  (sqrt.f64 (cbrt.f64 y))
  (sqrt.f64 (cbrt.f64 y))
  (*.f64 (log.f64 y) 5/6)
  (+.f64 (log.f64 (log.f64 y)) (log.f64 5/6))
  (exp.f64 (*.f64 (log.f64 y) 5/6))
  (log.f64 (*.f64 (log.f64 y) 5/6))
  (*.f64 (*.f64 (*.f64 (log.f64 y) 5/6) (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 y) 5/6))
  (*.f64 (cbrt.f64 (*.f64 (log.f64 y) 5/6)) (cbrt.f64 (*.f64 (log.f64 y) 5/6)))
  (cbrt.f64 (*.f64 (log.f64 y) 5/6))
  (*.f64 (*.f64 (*.f64 (log.f64 y) (log.f64 y)) (log.f64 y)) (*.f64 (*.f64 5/6 5/6) 5/6))
  (sqrt.f64 (*.f64 (log.f64 y) 5/6))
  (sqrt.f64 (*.f64 (log.f64 y) 5/6))
  (*.f64 (sqrt.f64 (log.f64 y)) (sqrt.f64 5/6))
  (*.f64 (sqrt.f64 (log.f64 y)) (sqrt.f64 5/6))
  (*.f64 (log.f64 y) 5/6)
  (*.f64 (cbrt.f64 (log.f64 y)) 5/6)
  (*.f64 (sqrt.f64 (log.f64 y)) 5/6)
  (*.f64 (log.f64 y) 5/6)
  (*.f64 (log.f64 y) (*.f64 (cbrt.f64 5/6) (cbrt.f64 5/6)))
  (*.f64 (log.f64 y) (sqrt.f64 5/6))
  (*.f64 (log.f64 y) 1)
  (*.f64 x (*.f64 (log.f64 y) 5/6))
  (*.f64 x (*.f64 (log.f64 y) 5/6))
  (+.f64 (log.f64 x) (+.f64 (log.f64 (log.f64 y)) (log.f64 5/6)))
  (+.f64 (log.f64 x) (log.f64 (*.f64 (log.f64 y) 5/6)))
  (exp.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)))
  (log.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)))
  (*.f64 (*.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 x (*.f64 (log.f64 y) 5/6))) (*.f64 x (*.f64 (log.f64 y) 5/6)))
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 (log.f64 y) 5/6))) (cbrt.f64 (*.f64 x (*.f64 (log.f64 y) 5/6))))
  (cbrt.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 (log.f64 y) 5/6) (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 y) 5/6)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (*.f64 (log.f64 y) (log.f64 y)) (log.f64 y)) (*.f64 (*.f64 5/6 5/6) 5/6)))
  (sqrt.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)))
  (sqrt.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)))
  (*.f64 (cbrt.f64 x) (*.f64 (log.f64 y) 5/6))
  (*.f64 (sqrt.f64 x) (*.f64 (log.f64 y) 5/6))
  (*.f64 x (*.f64 (log.f64 y) 5/6))
  (*.f64 x (log.f64 y))
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)
  (+.f64 (log.f64 (log.f64 (sqrt.f64 (cbrt.f64 y)))) (log.f64 x))
  (exp.f64 (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x))
  (log.f64 (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x))
  (*.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x))
  (*.f64 (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)))
  (cbrt.f64 (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x))
  (*.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) (log.f64 (sqrt.f64 (cbrt.f64 y)))) (log.f64 (sqrt.f64 (cbrt.f64 y)))) (*.f64 (*.f64 x x) x))
  (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x))
  (sqrt.f64 (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x))
  (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (cbrt.f64 y)))) (sqrt.f64 x))
  (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (cbrt.f64 y)))) (sqrt.f64 x))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)
  (*.f64 (log.f64 y) x)
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (cbrt.f64 y)))) x)
  (*.f64 (sqrt.f64 (log.f64 (sqrt.f64 (cbrt.f64 y)))) x)
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) (sqrt.f64 x))
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) 1)
  (pow.f64 y 1/3)
  (pow.f64 (/.f64 1 y) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 y) 1/3) (cbrt.f64 -1))
  (*.f64 5/6 (log.f64 y))
  (*.f64 -5/6 (log.f64 (/.f64 1 y)))
  (*.f64 5/6 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y))))
  (*.f64 5/6 (*.f64 x (log.f64 y)))
  (*.f64 -5/6 (*.f64 x (log.f64 (/.f64 1 y))))
  (*.f64 5/6 (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 y))) x))
  (*.f64 (log.f64 (pow.f64 y 1/6)) x)
  (*.f64 x (log.f64 (pow.f64 (/.f64 1 y) -1/6)))
  (*.f64 x (log.f64 (*.f64 (pow.f64 (*.f64 -1 y) 1/6) (sqrt.f64 (cbrt.f64 -1)))))
2.204 * * [simplify]: iteration  0 :  5333  enodes  (cost  772 )
2.209 * [simplify]: Simplified to:
   (exp.f64 (cbrt.f64 y))
  (log.f64 (cbrt.f64 y))
  y
  (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (pow.f64 y 2/3))
  (cbrt.f64 (cbrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 (sqrt.f64 y))
  (cbrt.f64 1)
  (cbrt.f64 y)
  (sqrt.f64 (cbrt.f64 y))
  (sqrt.f64 (cbrt.f64 y))
  (*.f64 (log.f64 y) 5/6)
  (log.f64 (*.f64 (log.f64 y) 5/6))
  (pow.f64 y 5/6)
  (log.f64 (*.f64 (log.f64 y) 5/6))
  (pow.f64 (*.f64 (log.f64 y) 5/6) 3)
  (*.f64 (cbrt.f64 (*.f64 (log.f64 y) 5/6)) (cbrt.f64 (*.f64 (log.f64 y) 5/6)))
  (cbrt.f64 (*.f64 (log.f64 y) 5/6))
  (pow.f64 (*.f64 (log.f64 y) 5/6) 3)
  (sqrt.f64 (*.f64 (log.f64 y) 5/6))
  (sqrt.f64 (*.f64 (log.f64 y) 5/6))
  (*.f64 (sqrt.f64 (log.f64 y)) (sqrt.f64 5/6))
  (*.f64 (sqrt.f64 (log.f64 y)) (sqrt.f64 5/6))
  (*.f64 (log.f64 y) 5/6)
  (*.f64 5/6 (cbrt.f64 (log.f64 y)))
  (*.f64 5/6 (sqrt.f64 (log.f64 y)))
  (*.f64 (log.f64 y) 5/6)
  (*.f64 (log.f64 y) (*.f64 (cbrt.f64 5/6) (cbrt.f64 5/6)))
  (*.f64 (log.f64 y) (sqrt.f64 5/6))
  (log.f64 y)
  (*.f64 (*.f64 (log.f64 y) 5/6) x)
  (*.f64 (*.f64 (log.f64 y) 5/6) x)
  (log.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x))
  (log.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x))
  (pow.f64 (pow.f64 y 5/6) x)
  (log.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x))
  (pow.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x)) (cbrt.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x)))
  (cbrt.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x))
  (pow.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x) 3)
  (pow.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x) 3)
  (sqrt.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x))
  (sqrt.f64 (*.f64 (*.f64 (log.f64 y) 5/6) x))
  (*.f64 (*.f64 (log.f64 y) 5/6) (cbrt.f64 x))
  (*.f64 (*.f64 (log.f64 y) 5/6) (sqrt.f64 x))
  (*.f64 (*.f64 (log.f64 y) 5/6) x)
  (*.f64 (log.f64 y) x)
  (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y))))
  (log.f64 (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (pow.f64 (sqrt.f64 (cbrt.f64 y)) x)
  (log.f64 (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (pow.f64 (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y)))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y))))) (cbrt.f64 (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y))))))
  (cbrt.f64 (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (pow.f64 (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y)))) 3)
  (sqrt.f64 (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (sqrt.f64 (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y))))
  (*.f64 (log.f64 y) x)
  (*.f64 (log.f64 (cbrt.f64 y)) x)
  (*.f64 x (cbrt.f64 (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (*.f64 x (sqrt.f64 (log.f64 (sqrt.f64 (cbrt.f64 y)))))
  (*.f64 x (log.f64 (sqrt.f64 (cbrt.f64 y))))
  (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 (sqrt.f64 x) (log.f64 (sqrt.f64 (cbrt.f64 y))))
  (log.f64 (sqrt.f64 (cbrt.f64 y)))
  (cbrt.f64 y)
  (pow.f64 (/.f64 1 y) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))
  (*.f64 (log.f64 y) 5/6)
  (*.f64 (log.f64 y) 5/6)
  (*.f64 (log.f64 y) 5/6)
  (*.f64 (*.f64 (log.f64 y) 5/6) x)
  (*.f64 (*.f64 (log.f64 y) 5/6) x)
  (*.f64 (*.f64 (log.f64 y) 5/6) x)
  (*.f64 x (*.f64 (log.f64 y) 1/6))
  (*.f64 x (*.f64 (log.f64 y) 1/6))
  (*.f64 x (log.f64 (*.f64 (pow.f64 (neg.f64 y) 1/6) (sqrt.f64 (cbrt.f64 -1)))))
2.209 * * * [progress]: adding candidates to table
2.267 * [progress]: [Phase 3 of 3] Extracting.
2.267 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)))>)
2.268 * * * [regime-changes]: Trying 8 branch expressions: ((log.f64 t) (-.f64 (*.f64 x (log.f64 y)) y) (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)) t z y x)
2.268 * * * * [regimes]: Trying to branch on (log.f64 t) from (#<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)))>)
2.283 * * * * [regimes]: Trying to branch on (-.f64 (*.f64 x (log.f64 y)) y) from (#<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)))>)
2.296 * * * * [regimes]: Trying to branch on (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) from (#<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)))>)
2.311 * * * * [regimes]: Trying to branch on (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)) from (#<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)))>)
2.326 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)))>)
2.339 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)))>)
2.351 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)))>)
2.363 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 (pow.f64 y 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (+.f64 (*.f64 x (*.f64 (log.f64 y) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 y))) x)) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (log.f64 y) (cbrt.f64 x))) y) z) (log.f64 t)))> #<alt (λ (x y z t) (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)))>)
2.376 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
2.376 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
2.379 * * [simplify]: iteration  0 :  31  enodes  (cost  17 )
2.379 * * [simplify]: iteration  1 :  31  enodes  (cost  17 )
2.379 * [simplify]: Simplified to:
   (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t))
3.153 * [regime-testing]: End program error score: 0.08708400581331681