17.299 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.317 * * * [progress]: [2/2] Setting up program.
0.319 * [progress]: [Phase 2 of 3] Improving.
0.320 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
0.336 * * [simplify]: iteration  0 :  227  enodes  (cost  14 )
0.336 * * [simplify]: iteration  1 :  227  enodes  (cost  14 )
0.336 * [simplify]: Simplified to:
   (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
0.337 * * [progress]: iteration 1 / 4
0.337 * * * [progress]: picking best candidate
0.338 * * * * [pick]: Picked  #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))>
0.338 * * * [progress]: localizing error
0.348 * * * [progress]: generating rewritten candidates
0.348 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.353 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.356 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.366 * * * [progress]: generating series expansions
0.366 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.367 * [approximate]: Taking taylor expansion of (* z (sin y)) in (z y) around 0
0.367 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
0.367 * [taylor]: Taking taylor expansion of z in y
0.367 * [taylor]: Taking taylor expansion of (sin y) in y
0.367 * [taylor]: Taking taylor expansion of y in y
0.367 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
0.367 * [taylor]: Taking taylor expansion of z in z
0.367 * [taylor]: Taking taylor expansion of (sin y) in z
0.367 * [taylor]: Taking taylor expansion of y in z
0.367 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
0.367 * [taylor]: Taking taylor expansion of z in z
0.367 * [taylor]: Taking taylor expansion of (sin y) in z
0.367 * [taylor]: Taking taylor expansion of y in z
0.368 * [taylor]: Taking taylor expansion of 0 in y
0.371 * [taylor]: Taking taylor expansion of (sin y) in y
0.371 * [taylor]: Taking taylor expansion of y in y
0.374 * [taylor]: Taking taylor expansion of 0 in y
0.378 * [taylor]: Taking taylor expansion of 0 in y
0.385 * [taylor]: Taking taylor expansion of 0 in y
0.385 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.385 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.385 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.386 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.386 * [taylor]: Taking taylor expansion of y in y
0.386 * [taylor]: Taking taylor expansion of z in y
0.387 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.387 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.387 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.387 * [taylor]: Taking taylor expansion of y in z
0.387 * [taylor]: Taking taylor expansion of z in z
0.388 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.388 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.388 * [taylor]: Taking taylor expansion of y in z
0.389 * [taylor]: Taking taylor expansion of z in z
0.390 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.390 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.390 * [taylor]: Taking taylor expansion of y in y
0.394 * [taylor]: Taking taylor expansion of 0 in y
0.399 * [taylor]: Taking taylor expansion of 0 in y
0.405 * [taylor]: Taking taylor expansion of 0 in y
0.407 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.407 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.407 * [taylor]: Taking taylor expansion of -1 in y
0.407 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.407 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.407 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.407 * [taylor]: Taking taylor expansion of -1 in y
0.407 * [taylor]: Taking taylor expansion of y in y
0.407 * [taylor]: Taking taylor expansion of z in y
0.408 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.408 * [taylor]: Taking taylor expansion of -1 in z
0.408 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.408 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.408 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.408 * [taylor]: Taking taylor expansion of -1 in z
0.408 * [taylor]: Taking taylor expansion of y in z
0.408 * [taylor]: Taking taylor expansion of z in z
0.410 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.410 * [taylor]: Taking taylor expansion of -1 in z
0.410 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.410 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.410 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.410 * [taylor]: Taking taylor expansion of -1 in z
0.410 * [taylor]: Taking taylor expansion of y in z
0.410 * [taylor]: Taking taylor expansion of z in z
0.412 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.412 * [taylor]: Taking taylor expansion of -1 in y
0.412 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.412 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.412 * [taylor]: Taking taylor expansion of -1 in y
0.412 * [taylor]: Taking taylor expansion of y in y
0.417 * [taylor]: Taking taylor expansion of 0 in y
0.423 * [taylor]: Taking taylor expansion of 0 in y
0.431 * [taylor]: Taking taylor expansion of 0 in y
0.432 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.433 * [approximate]: Taking taylor expansion of (+ (cos y) x) in (x y) around 0
0.433 * [taylor]: Taking taylor expansion of (+ (cos y) x) in y
0.433 * [taylor]: Taking taylor expansion of (cos y) in y
0.433 * [taylor]: Taking taylor expansion of y in y
0.433 * [taylor]: Taking taylor expansion of x in y
0.433 * [taylor]: Taking taylor expansion of (+ (cos y) x) in x
0.433 * [taylor]: Taking taylor expansion of (cos y) in x
0.433 * [taylor]: Taking taylor expansion of y in x
0.433 * [taylor]: Taking taylor expansion of x in x
0.433 * [taylor]: Taking taylor expansion of (+ (cos y) x) in x
0.433 * [taylor]: Taking taylor expansion of (cos y) in x
0.433 * [taylor]: Taking taylor expansion of y in x
0.433 * [taylor]: Taking taylor expansion of x in x
0.434 * [taylor]: Taking taylor expansion of (cos y) in y
0.434 * [taylor]: Taking taylor expansion of y in y
0.435 * [taylor]: Taking taylor expansion of 1 in y
0.438 * [taylor]: Taking taylor expansion of 0 in y
0.441 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in (x y) around 0
0.441 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y
0.441 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.441 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.441 * [taylor]: Taking taylor expansion of y in y
0.441 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.441 * [taylor]: Taking taylor expansion of x in y
0.441 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.441 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.441 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.441 * [taylor]: Taking taylor expansion of y in x
0.442 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.442 * [taylor]: Taking taylor expansion of x in x
0.442 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.442 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.442 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.442 * [taylor]: Taking taylor expansion of y in x
0.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of 1 in y
0.445 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.445 * [taylor]: Taking taylor expansion of y in y
0.448 * [taylor]: Taking taylor expansion of 0 in y
0.452 * [taylor]: Taking taylor expansion of 0 in y
0.457 * [approximate]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in (x y) around 0
0.458 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in y
0.458 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.458 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.458 * [taylor]: Taking taylor expansion of -1 in y
0.458 * [taylor]: Taking taylor expansion of y in y
0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.458 * [taylor]: Taking taylor expansion of x in y
0.458 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x
0.458 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.458 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.458 * [taylor]: Taking taylor expansion of -1 in x
0.458 * [taylor]: Taking taylor expansion of y in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x
0.459 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.459 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.459 * [taylor]: Taking taylor expansion of -1 in x
0.459 * [taylor]: Taking taylor expansion of y in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.460 * [taylor]: Taking taylor expansion of -1 in y
0.462 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.462 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.462 * [taylor]: Taking taylor expansion of -1 in y
0.462 * [taylor]: Taking taylor expansion of y in y
0.467 * [taylor]: Taking taylor expansion of 0 in y
0.472 * [taylor]: Taking taylor expansion of 0 in y
0.474 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.475 * [approximate]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in (x y z) around 0
0.475 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in z
0.475 * [taylor]: Taking taylor expansion of (+ (cos y) x) in z
0.475 * [taylor]: Taking taylor expansion of (cos y) in z
0.475 * [taylor]: Taking taylor expansion of y in z
0.475 * [taylor]: Taking taylor expansion of x in z
0.475 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
0.475 * [taylor]: Taking taylor expansion of z in z
0.475 * [taylor]: Taking taylor expansion of (sin y) in z
0.475 * [taylor]: Taking taylor expansion of y in z
0.475 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in y
0.475 * [taylor]: Taking taylor expansion of (+ (cos y) x) in y
0.475 * [taylor]: Taking taylor expansion of (cos y) in y
0.475 * [taylor]: Taking taylor expansion of y in y
0.475 * [taylor]: Taking taylor expansion of x in y
0.475 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
0.475 * [taylor]: Taking taylor expansion of z in y
0.476 * [taylor]: Taking taylor expansion of (sin y) in y
0.476 * [taylor]: Taking taylor expansion of y in y
0.476 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in x
0.476 * [taylor]: Taking taylor expansion of (+ (cos y) x) in x
0.476 * [taylor]: Taking taylor expansion of (cos y) in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.476 * [taylor]: Taking taylor expansion of (* z (sin y)) in x
0.476 * [taylor]: Taking taylor expansion of z in x
0.476 * [taylor]: Taking taylor expansion of (sin y) in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.476 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in x
0.476 * [taylor]: Taking taylor expansion of (+ (cos y) x) in x
0.476 * [taylor]: Taking taylor expansion of (cos y) in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.476 * [taylor]: Taking taylor expansion of (* z (sin y)) in x
0.476 * [taylor]: Taking taylor expansion of z in x
0.476 * [taylor]: Taking taylor expansion of (sin y) in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.478 * [taylor]: Taking taylor expansion of (- (cos y) (* z (sin y))) in y
0.478 * [taylor]: Taking taylor expansion of (cos y) in y
0.478 * [taylor]: Taking taylor expansion of y in y
0.478 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
0.479 * [taylor]: Taking taylor expansion of z in y
0.479 * [taylor]: Taking taylor expansion of (sin y) in y
0.479 * [taylor]: Taking taylor expansion of y in y
0.479 * [taylor]: Taking taylor expansion of 1 in z
0.482 * [taylor]: Taking taylor expansion of 1 in y
0.482 * [taylor]: Taking taylor expansion of 1 in z
0.483 * [taylor]: Taking taylor expansion of (neg z) in z
0.483 * [taylor]: Taking taylor expansion of z in z
0.488 * [taylor]: Taking taylor expansion of 0 in y
0.488 * [taylor]: Taking taylor expansion of 0 in z
0.489 * [taylor]: Taking taylor expansion of 0 in z
0.490 * [taylor]: Taking taylor expansion of -1/2 in z
0.493 * [approximate]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in (x y z) around 0
0.493 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z
0.493 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z
0.493 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.493 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.493 * [taylor]: Taking taylor expansion of y in z
0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.494 * [taylor]: Taking taylor expansion of x in z
0.494 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.494 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.494 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.494 * [taylor]: Taking taylor expansion of y in z
0.495 * [taylor]: Taking taylor expansion of z in z
0.496 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in y
0.496 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y
0.496 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.496 * [taylor]: Taking taylor expansion of y in y
0.497 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.497 * [taylor]: Taking taylor expansion of x in y
0.497 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.497 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.497 * [taylor]: Taking taylor expansion of y in y
0.497 * [taylor]: Taking taylor expansion of z in y
0.498 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x
0.498 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.498 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.498 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.498 * [taylor]: Taking taylor expansion of y in x
0.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.498 * [taylor]: Taking taylor expansion of x in x
0.498 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.498 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.498 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.498 * [taylor]: Taking taylor expansion of y in x
0.499 * [taylor]: Taking taylor expansion of z in x
0.500 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x
0.500 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.500 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.500 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.500 * [taylor]: Taking taylor expansion of y in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.501 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.501 * [taylor]: Taking taylor expansion of y in x
0.502 * [taylor]: Taking taylor expansion of z in x
0.503 * [taylor]: Taking taylor expansion of 1 in y
0.503 * [taylor]: Taking taylor expansion of 1 in z
0.506 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in y
0.506 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.506 * [taylor]: Taking taylor expansion of y in y
0.506 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.506 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.506 * [taylor]: Taking taylor expansion of y in y
0.507 * [taylor]: Taking taylor expansion of z in y
0.508 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in z
0.508 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.508 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.508 * [taylor]: Taking taylor expansion of y in z
0.508 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.508 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.508 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.508 * [taylor]: Taking taylor expansion of y in z
0.509 * [taylor]: Taking taylor expansion of z in z
0.511 * [taylor]: Taking taylor expansion of 0 in z
0.517 * [taylor]: Taking taylor expansion of 0 in y
0.517 * [taylor]: Taking taylor expansion of 0 in z
0.518 * [taylor]: Taking taylor expansion of 0 in z
0.518 * [taylor]: Taking taylor expansion of 0 in z
0.527 * [approximate]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in (x y z) around 0
0.527 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z
0.527 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z
0.527 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.527 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.527 * [taylor]: Taking taylor expansion of -1 in z
0.527 * [taylor]: Taking taylor expansion of y in z
0.528 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.528 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.528 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.528 * [taylor]: Taking taylor expansion of -1 in z
0.528 * [taylor]: Taking taylor expansion of y in z
0.528 * [taylor]: Taking taylor expansion of z in z
0.529 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.529 * [taylor]: Taking taylor expansion of x in z
0.530 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in y
0.530 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y
0.530 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.530 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.530 * [taylor]: Taking taylor expansion of -1 in y
0.530 * [taylor]: Taking taylor expansion of y in y
0.530 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.530 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.530 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.530 * [taylor]: Taking taylor expansion of -1 in y
0.530 * [taylor]: Taking taylor expansion of y in y
0.530 * [taylor]: Taking taylor expansion of z in y
0.531 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.531 * [taylor]: Taking taylor expansion of x in y
0.531 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x
0.531 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x
0.531 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.531 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.531 * [taylor]: Taking taylor expansion of -1 in x
0.531 * [taylor]: Taking taylor expansion of y in x
0.532 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.532 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.532 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.532 * [taylor]: Taking taylor expansion of -1 in x
0.532 * [taylor]: Taking taylor expansion of y in x
0.532 * [taylor]: Taking taylor expansion of z in x
0.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.533 * [taylor]: Taking taylor expansion of x in x
0.533 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x
0.533 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x
0.533 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.533 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.533 * [taylor]: Taking taylor expansion of -1 in x
0.534 * [taylor]: Taking taylor expansion of y in x
0.534 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.534 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.534 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.534 * [taylor]: Taking taylor expansion of -1 in x
0.534 * [taylor]: Taking taylor expansion of y in x
0.535 * [taylor]: Taking taylor expansion of z in x
0.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.536 * [taylor]: Taking taylor expansion of -1 in y
0.536 * [taylor]: Taking taylor expansion of -1 in z
0.540 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y
0.540 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.540 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.540 * [taylor]: Taking taylor expansion of -1 in y
0.540 * [taylor]: Taking taylor expansion of y in y
0.540 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.540 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.540 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.540 * [taylor]: Taking taylor expansion of -1 in y
0.540 * [taylor]: Taking taylor expansion of y in y
0.540 * [taylor]: Taking taylor expansion of z in y
0.541 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z
0.541 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.541 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.541 * [taylor]: Taking taylor expansion of -1 in z
0.541 * [taylor]: Taking taylor expansion of y in z
0.542 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.542 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.542 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.542 * [taylor]: Taking taylor expansion of -1 in z
0.542 * [taylor]: Taking taylor expansion of y in z
0.543 * [taylor]: Taking taylor expansion of z in z
0.544 * [taylor]: Taking taylor expansion of 0 in z
0.552 * [taylor]: Taking taylor expansion of 0 in y
0.552 * [taylor]: Taking taylor expansion of 0 in z
0.553 * [taylor]: Taking taylor expansion of 0 in z
0.553 * [taylor]: Taking taylor expansion of 0 in z
0.562 * * * [progress]: simplifying candidates
0.562 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 z (sin.f64 y))
  (+.f64 (log.f64 z) (log.f64 (sin.f64 y)))
  (exp.f64 (*.f64 z (sin.f64 y)))
  (log.f64 (*.f64 z (sin.f64 y)))
  (*.f64 (*.f64 (*.f64 z (sin.f64 y)) (*.f64 z (sin.f64 y))) (*.f64 z (sin.f64 y)))
  (*.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) (cbrt.f64 (*.f64 z (sin.f64 y))))
  (cbrt.f64 (*.f64 z (sin.f64 y)))
  (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 (sin.f64 y) (sin.f64 y)) (sin.f64 y)))
  (sqrt.f64 (*.f64 z (sin.f64 y)))
  (sqrt.f64 (*.f64 z (sin.f64 y)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sin.f64 y)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 z) (sin.f64 y))
  (*.f64 (sqrt.f64 z) (sin.f64 y))
  (*.f64 z (sin.f64 y))
  (*.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 z (sqrt.f64 (sin.f64 y)))
  (*.f64 z 1)
  (*.f64 (exp.f64 x) (exp.f64 (cos.f64 y)))
  (exp.f64 (+.f64 x (cos.f64 y)))
  (log.f64 (+.f64 x (cos.f64 y)))
  (*.f64 (*.f64 (+.f64 x (cos.f64 y)) (+.f64 x (cos.f64 y))) (+.f64 x (cos.f64 y)))
  (*.f64 (cbrt.f64 (+.f64 x (cos.f64 y))) (cbrt.f64 (+.f64 x (cos.f64 y))))
  (cbrt.f64 (+.f64 x (cos.f64 y)))
  (sqrt.f64 (+.f64 x (cos.f64 y)))
  (sqrt.f64 (+.f64 x (cos.f64 y)))
  (+.f64 (pow.f64 x 3) (pow.f64 (cos.f64 y) 3))
  (+.f64 (*.f64 x x) (-.f64 (*.f64 (cos.f64 y) (cos.f64 y)) (*.f64 x (cos.f64 y))))
  (-.f64 (*.f64 x x) (*.f64 (cos.f64 y) (cos.f64 y)))
  (-.f64 x (cos.f64 y))
  (+.f64 x (cos.f64 y))
  (/.f64 (*.f64 (exp.f64 x) (exp.f64 (cos.f64 y))) (exp.f64 (*.f64 z (sin.f64 y))))
  (/.f64 (exp.f64 (+.f64 x (cos.f64 y))) (exp.f64 (*.f64 z (sin.f64 y))))
  (exp.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (log.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (*.f64 (*.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (*.f64 (cbrt.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))) (cbrt.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))))
  (cbrt.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (sqrt.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (sqrt.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (-.f64 (pow.f64 (+.f64 x (cos.f64 y)) 3) (pow.f64 (*.f64 z (sin.f64 y)) 3))
  (+.f64 (*.f64 (+.f64 x (cos.f64 y)) (+.f64 x (cos.f64 y))) (+.f64 (*.f64 (*.f64 z (sin.f64 y)) (*.f64 z (sin.f64 y))) (*.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))))
  (neg.f64 (*.f64 z (sin.f64 y)))
  (-.f64 (*.f64 (+.f64 x (cos.f64 y)) (+.f64 x (cos.f64 y))) (*.f64 (*.f64 z (sin.f64 y)) (*.f64 z (sin.f64 y))))
  (+.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
  (-.f64 (cos.f64 y) (*.f64 z (sin.f64 y)))
  (*.f64 z y)
  (*.f64 z (sin.f64 y))
  (*.f64 z (sin.f64 y))
  (-.f64 (+.f64 1 x) (*.f64 1/2 (pow.f64 y 2)))
  (+.f64 (cos.f64 y) x)
  (+.f64 (cos.f64 y) x)
  (-.f64 (+.f64 1 x) (*.f64 1/2 (pow.f64 y 2)))
  (-.f64 (+.f64 (cos.f64 y) x) (*.f64 z (sin.f64 y)))
  (-.f64 (+.f64 (cos.f64 y) x) (*.f64 z (sin.f64 y)))
0.619 * * [simplify]: iteration  0 :  5827  enodes  (cost  652 )
0.623 * [simplify]: Simplified to:
   (*.f64 z (sin.f64 y))
  (log.f64 (*.f64 z (sin.f64 y)))
  (exp.f64 (*.f64 z (sin.f64 y)))
  (log.f64 (*.f64 z (sin.f64 y)))
  (pow.f64 (*.f64 z (sin.f64 y)) 3)
  (*.f64 (cbrt.f64 (*.f64 z (sin.f64 y))) (cbrt.f64 (*.f64 z (sin.f64 y))))
  (cbrt.f64 (*.f64 z (sin.f64 y)))
  (pow.f64 (*.f64 z (sin.f64 y)) 3)
  (sqrt.f64 (*.f64 z (sin.f64 y)))
  (sqrt.f64 (*.f64 z (sin.f64 y)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sin.f64 y)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sin.f64 y)))
  (*.f64 (sin.f64 y) (cbrt.f64 z))
  (*.f64 (sin.f64 y) (sqrt.f64 z))
  (*.f64 z (sin.f64 y))
  (*.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 z (sqrt.f64 (sin.f64 y)))
  z
  (exp.f64 (+.f64 x (cos.f64 y)))
  (exp.f64 (+.f64 x (cos.f64 y)))
  (log.f64 (+.f64 x (cos.f64 y)))
  (pow.f64 (+.f64 x (cos.f64 y)) 3)
  (*.f64 (cbrt.f64 (+.f64 x (cos.f64 y))) (cbrt.f64 (+.f64 x (cos.f64 y))))
  (cbrt.f64 (+.f64 x (cos.f64 y)))
  (sqrt.f64 (+.f64 x (cos.f64 y)))
  (sqrt.f64 (+.f64 x (cos.f64 y)))
  (+.f64 (pow.f64 x 3) (pow.f64 (cos.f64 y) 3))
  (+.f64 (*.f64 x x) (*.f64 (cos.f64 y) (-.f64 (cos.f64 y) x)))
  (-.f64 (*.f64 x x) (*.f64 (cos.f64 y) (cos.f64 y)))
  (-.f64 x (cos.f64 y))
  (+.f64 x (cos.f64 y))
  (exp.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (exp.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (exp.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (log.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (pow.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))) 3)
  (*.f64 (cbrt.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))) (cbrt.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))))
  (cbrt.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (sqrt.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (sqrt.f64 (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))
  (-.f64 (pow.f64 (+.f64 x (cos.f64 y)) 3) (pow.f64 (*.f64 z (sin.f64 y)) 3))
  (+.f64 (*.f64 (*.f64 z (sin.f64 y)) (*.f64 z (sin.f64 y))) (*.f64 (+.f64 x (cos.f64 y)) (+.f64 (*.f64 z (sin.f64 y)) (+.f64 x (cos.f64 y)))))
  (neg.f64 (*.f64 z (sin.f64 y)))
  (-.f64 (*.f64 (+.f64 x (cos.f64 y)) (+.f64 x (cos.f64 y))) (*.f64 (*.f64 z (sin.f64 y)) (*.f64 z (sin.f64 y))))
  (+.f64 (*.f64 z (sin.f64 y)) (+.f64 x (cos.f64 y)))
  (-.f64 (cos.f64 y) (*.f64 z (sin.f64 y)))
  (*.f64 z y)
  (*.f64 z (sin.f64 y))
  (*.f64 z (sin.f64 y))
  (-.f64 (+.f64 1 x) (*.f64 1/2 (*.f64 y y)))
  (+.f64 x (cos.f64 y))
  (+.f64 x (cos.f64 y))
  (-.f64 (+.f64 1 x) (*.f64 1/2 (*.f64 y y)))
  (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
  (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
0.623 * * * [progress]: adding candidates to table
0.654 * * [progress]: iteration 2 / 4
0.654 * * * [progress]: picking best candidate
0.657 * * * * [pick]: Picked  #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (sin.f64 y) (cbrt.f64 z)))))>
0.658 * * * [progress]: localizing error
0.670 * * * [progress]: generating rewritten candidates
0.670 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.672 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.673 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.674 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.686 * * * [progress]: generating series expansions
0.686 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.687 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
0.687 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.687 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.687 * [taylor]: Taking taylor expansion of 1/3 in z
0.687 * [taylor]: Taking taylor expansion of (log z) in z
0.687 * [taylor]: Taking taylor expansion of z in z
0.688 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.688 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.688 * [taylor]: Taking taylor expansion of 1/3 in z
0.688 * [taylor]: Taking taylor expansion of (log z) in z
0.688 * [taylor]: Taking taylor expansion of z in z
0.723 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
0.723 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.723 * [taylor]: Taking taylor expansion of 1/3 in z
0.723 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.723 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.723 * [taylor]: Taking taylor expansion of z in z
0.725 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.725 * [taylor]: Taking taylor expansion of 1/3 in z
0.725 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.725 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.725 * [taylor]: Taking taylor expansion of z in z
0.765 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0
0.765 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
0.765 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.765 * [taylor]: Taking taylor expansion of 1/3 in z
0.765 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.765 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.765 * [taylor]: Taking taylor expansion of z in z
0.766 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.766 * [taylor]: Taking taylor expansion of -1 in z
0.767 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
0.767 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.767 * [taylor]: Taking taylor expansion of 1/3 in z
0.767 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.767 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.767 * [taylor]: Taking taylor expansion of z in z
0.768 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.768 * [taylor]: Taking taylor expansion of -1 in z
0.838 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.838 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
0.838 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.838 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.838 * [taylor]: Taking taylor expansion of 1/3 in z
0.838 * [taylor]: Taking taylor expansion of (log z) in z
0.838 * [taylor]: Taking taylor expansion of z in z
0.839 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.839 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.839 * [taylor]: Taking taylor expansion of 1/3 in z
0.839 * [taylor]: Taking taylor expansion of (log z) in z
0.839 * [taylor]: Taking taylor expansion of z in z
0.873 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
0.873 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.873 * [taylor]: Taking taylor expansion of 1/3 in z
0.873 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.873 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.874 * [taylor]: Taking taylor expansion of z in z
0.875 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.875 * [taylor]: Taking taylor expansion of 1/3 in z
0.875 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.875 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.875 * [taylor]: Taking taylor expansion of z in z
0.914 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0
0.914 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
0.914 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.914 * [taylor]: Taking taylor expansion of 1/3 in z
0.915 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.915 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.915 * [taylor]: Taking taylor expansion of z in z
0.916 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.916 * [taylor]: Taking taylor expansion of -1 in z
0.916 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
0.916 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.916 * [taylor]: Taking taylor expansion of 1/3 in z
0.916 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.916 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.916 * [taylor]: Taking taylor expansion of z in z
0.917 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.917 * [taylor]: Taking taylor expansion of -1 in z
0.982 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.983 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
0.983 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.983 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.983 * [taylor]: Taking taylor expansion of 1/3 in z
0.983 * [taylor]: Taking taylor expansion of (log z) in z
0.983 * [taylor]: Taking taylor expansion of z in z
0.984 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.984 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.984 * [taylor]: Taking taylor expansion of 1/3 in z
0.984 * [taylor]: Taking taylor expansion of (log z) in z
0.984 * [taylor]: Taking taylor expansion of z in z
1.017 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
1.017 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.017 * [taylor]: Taking taylor expansion of 1/3 in z
1.017 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.017 * [taylor]: Taking taylor expansion of z in z
1.019 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.019 * [taylor]: Taking taylor expansion of 1/3 in z
1.019 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.019 * [taylor]: Taking taylor expansion of z in z
1.074 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0
1.074 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
1.074 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.074 * [taylor]: Taking taylor expansion of 1/3 in z
1.074 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.074 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.074 * [taylor]: Taking taylor expansion of z in z
1.075 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.076 * [taylor]: Taking taylor expansion of -1 in z
1.076 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
1.076 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.076 * [taylor]: Taking taylor expansion of 1/3 in z
1.076 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.076 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.076 * [taylor]: Taking taylor expansion of z in z
1.077 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.077 * [taylor]: Taking taylor expansion of -1 in z
1.143 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.143 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0
1.143 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
1.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
1.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
1.143 * [taylor]: Taking taylor expansion of 1/3 in z
1.143 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.144 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.144 * [taylor]: Taking taylor expansion of z in z
1.145 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
1.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
1.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
1.145 * [taylor]: Taking taylor expansion of 1/3 in z
1.145 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.145 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.145 * [taylor]: Taking taylor expansion of z in z
1.185 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0
1.185 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.185 * [taylor]: Taking taylor expansion of 1/3 in z
1.185 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.185 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.185 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.185 * [taylor]: Taking taylor expansion of z in z
1.187 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.187 * [taylor]: Taking taylor expansion of 1/3 in z
1.187 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.187 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.187 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.187 * [taylor]: Taking taylor expansion of z in z
1.234 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0
1.234 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
1.234 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.234 * [taylor]: Taking taylor expansion of 1/3 in z
1.234 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.234 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.234 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.234 * [taylor]: Taking taylor expansion of z in z
1.236 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.236 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.236 * [taylor]: Taking taylor expansion of -1 in z
1.236 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
1.236 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.236 * [taylor]: Taking taylor expansion of 1/3 in z
1.236 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.236 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.236 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.236 * [taylor]: Taking taylor expansion of z in z
1.238 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.238 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.238 * [taylor]: Taking taylor expansion of -1 in z
1.318 * * * [progress]: simplifying candidates
1.319 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (cbrt.f64 z))
  (log.f64 (cbrt.f64 z))
  (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (cbrt.f64 z))
  (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 1)
  (cbrt.f64 z)
  (sqrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (exp.f64 (cbrt.f64 z))
  (log.f64 (cbrt.f64 z))
  (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (cbrt.f64 z))
  (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 1)
  (cbrt.f64 z)
  (sqrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (exp.f64 (cbrt.f64 z))
  (log.f64 (cbrt.f64 z))
  (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (cbrt.f64 z))
  (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 1)
  (cbrt.f64 z)
  (sqrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (*.f64 z z)
  (*.f64 (cbrt.f64 z) (cbrt.f64 z))
  (+.f64 1/3 1/3)
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 (log.f64 (cbrt.f64 z)) (log.f64 (cbrt.f64 z)))
  (exp.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (log.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (*.f64 (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
  (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (*.f64 z z)
  (sqrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (sqrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (*.f64 2 1/3)
  (*.f64 2 1)
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))
  (*.f64 (sqrt.f64 (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (sqrt.f64 (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))
  (*.f64 (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))
  (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))))
  (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
  (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (*.f64 (cbrt.f64 z) (cbrt.f64 z))
  (*.f64 (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))
  (*.f64 (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))
  (*.f64 1 1)
  (*.f64 (cbrt.f64 z) (cbrt.f64 z))
  (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 z))
  (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 z))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 z))
  (*.f64 (cbrt.f64 z) (cbrt.f64 z))
  (*.f64 (sqrt.f64 (cbrt.f64 z)) (cbrt.f64 z))
  (*.f64 (cbrt.f64 z) (cbrt.f64 z))
  (*.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))))
  (*.f64 (cbrt.f64 z) (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
  (*.f64 (cbrt.f64 z) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 z) (cbrt.f64 1))
  (*.f64 (cbrt.f64 z) (sqrt.f64 (cbrt.f64 z)))
  (*.f64 (cbrt.f64 z) 1)
  (pow.f64 z 1/3)
  (pow.f64 (/.f64 1 z) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 z) 1/3) (cbrt.f64 -1))
  (pow.f64 z 1/3)
  (pow.f64 (/.f64 1 z) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 z) 1/3) (cbrt.f64 -1))
  (pow.f64 z 1/3)
  (pow.f64 (/.f64 1 z) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 z) 1/3) (cbrt.f64 -1))
  (pow.f64 z 2/3)
  (pow.f64 (/.f64 1 z) -2/3)
  (*.f64 (pow.f64 (pow.f64 z 2) 1/3) (pow.f64 (cbrt.f64 -1) 2))
1.373 * * [simplify]: iteration  0 :  4935  enodes  (cost  588 )
1.373 * * [simplify]: iteration  1 :  4935  enodes  (cost  588 )
1.378 * [simplify]: Simplified to:
   (exp.f64 (cbrt.f64 z))
  (log.f64 (cbrt.f64 z))
  z
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (pow.f64 z 2/3))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 1)
  (cbrt.f64 z)
  (sqrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (exp.f64 (cbrt.f64 z))
  (log.f64 (cbrt.f64 z))
  z
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (pow.f64 z 2/3))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 1)
  (cbrt.f64 z)
  (sqrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (exp.f64 (cbrt.f64 z))
  (log.f64 (cbrt.f64 z))
  z
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (pow.f64 z 2/3))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 1)
  (cbrt.f64 z)
  (sqrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (*.f64 z z)
  (pow.f64 z 2/3)
  2/3
  2
  2
  (*.f64 2/3 (log.f64 z))
  (exp.f64 (pow.f64 z 2/3))
  (*.f64 2/3 (log.f64 z))
  (*.f64 z z)
  (*.f64 (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (pow.f64 z 2/3)))
  (cbrt.f64 (pow.f64 z 2/3))
  (*.f64 z z)
  (fabs.f64 (cbrt.f64 z))
  (fabs.f64 (cbrt.f64 z))
  2/3
  2
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z)))
  (cbrt.f64 z)
  (cbrt.f64 z)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)
  (*.f64 (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (pow.f64 z 2/3)))
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (pow.f64 z 2/3)
  (cbrt.f64 z)
  (cbrt.f64 z)
  1
  (pow.f64 z 2/3)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 4)
  (*.f64 (cbrt.f64 z) (cbrt.f64 (sqrt.f64 z)))
  (pow.f64 z 2/3)
  (pow.f64 (sqrt.f64 (cbrt.f64 z)) 3)
  (pow.f64 z 2/3)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)
  (*.f64 (cbrt.f64 z) (cbrt.f64 (pow.f64 z 2/3)))
  (*.f64 (cbrt.f64 z) (cbrt.f64 (sqrt.f64 z)))
  (*.f64 (cbrt.f64 z) (cbrt.f64 1))
  (pow.f64 (sqrt.f64 (cbrt.f64 z)) 3)
  (cbrt.f64 z)
  (cbrt.f64 z)
  (pow.f64 (/.f64 1 z) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 z)) (cbrt.f64 -1))
  (cbrt.f64 z)
  (pow.f64 (/.f64 1 z) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 z)) (cbrt.f64 -1))
  (cbrt.f64 z)
  (pow.f64 (/.f64 1 z) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 z)) (cbrt.f64 -1))
  (pow.f64 z 2/3)
  (pow.f64 (/.f64 1 z) -2/3)
  (*.f64 (pow.f64 z 2/3) (pow.f64 (cbrt.f64 -1) 2))
1.378 * * * [progress]: adding candidates to table
1.432 * * [progress]: iteration 3 / 4
1.432 * * * [progress]: picking best candidate
1.437 * * * * [pick]: Picked  #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 z (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (sin.f64 y)))))>
1.437 * * * [progress]: localizing error
1.451 * * * [progress]: generating rewritten candidates
1.451 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.452 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
1.454 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
1.455 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1.469 * * * [progress]: generating series expansions
1.469 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.469 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
1.469 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.469 * [taylor]: Taking taylor expansion of 1/3 in y
1.469 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.469 * [taylor]: Taking taylor expansion of (sin y) in y
1.469 * [taylor]: Taking taylor expansion of y in y
1.470 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.470 * [taylor]: Taking taylor expansion of 1/3 in y
1.470 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.471 * [taylor]: Taking taylor expansion of (sin y) in y
1.471 * [taylor]: Taking taylor expansion of y in y
1.492 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
1.492 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.492 * [taylor]: Taking taylor expansion of 1/3 in y
1.492 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.492 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.492 * [taylor]: Taking taylor expansion of y in y
1.494 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.494 * [taylor]: Taking taylor expansion of 1/3 in y
1.494 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.494 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.494 * [taylor]: Taking taylor expansion of y in y
1.540 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
1.540 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.540 * [taylor]: Taking taylor expansion of 1/3 in y
1.540 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.540 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.540 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.540 * [taylor]: Taking taylor expansion of -1 in y
1.540 * [taylor]: Taking taylor expansion of y in y
1.541 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.541 * [taylor]: Taking taylor expansion of 1/3 in y
1.541 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.541 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.541 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.541 * [taylor]: Taking taylor expansion of -1 in y
1.541 * [taylor]: Taking taylor expansion of y in y
1.584 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
1.585 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
1.585 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.585 * [taylor]: Taking taylor expansion of 1/3 in y
1.585 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.585 * [taylor]: Taking taylor expansion of (sin y) in y
1.585 * [taylor]: Taking taylor expansion of y in y
1.586 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.586 * [taylor]: Taking taylor expansion of 1/3 in y
1.586 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.586 * [taylor]: Taking taylor expansion of (sin y) in y
1.587 * [taylor]: Taking taylor expansion of y in y
1.607 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
1.607 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.607 * [taylor]: Taking taylor expansion of 1/3 in y
1.607 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.607 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.607 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.607 * [taylor]: Taking taylor expansion of y in y
1.608 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.608 * [taylor]: Taking taylor expansion of 1/3 in y
1.608 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.608 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.608 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.608 * [taylor]: Taking taylor expansion of y in y
1.654 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
1.654 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.654 * [taylor]: Taking taylor expansion of 1/3 in y
1.654 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.654 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.654 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.654 * [taylor]: Taking taylor expansion of -1 in y
1.654 * [taylor]: Taking taylor expansion of y in y
1.656 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.656 * [taylor]: Taking taylor expansion of 1/3 in y
1.656 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.656 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.656 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.656 * [taylor]: Taking taylor expansion of -1 in y
1.656 * [taylor]: Taking taylor expansion of y in y
1.701 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
1.702 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
1.702 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.702 * [taylor]: Taking taylor expansion of 1/3 in y
1.702 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.702 * [taylor]: Taking taylor expansion of (sin y) in y
1.702 * [taylor]: Taking taylor expansion of y in y
1.703 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.703 * [taylor]: Taking taylor expansion of 1/3 in y
1.703 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.703 * [taylor]: Taking taylor expansion of (sin y) in y
1.703 * [taylor]: Taking taylor expansion of y in y
1.723 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
1.723 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.723 * [taylor]: Taking taylor expansion of 1/3 in y
1.723 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.723 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.723 * [taylor]: Taking taylor expansion of y in y
1.724 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.724 * [taylor]: Taking taylor expansion of 1/3 in y
1.724 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.724 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.724 * [taylor]: Taking taylor expansion of y in y
1.778 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
1.778 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.778 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.778 * [taylor]: Taking taylor expansion of 1/3 in y
1.778 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.778 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.778 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.778 * [taylor]: Taking taylor expansion of -1 in y
1.778 * [taylor]: Taking taylor expansion of y in y
1.779 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.780 * [taylor]: Taking taylor expansion of 1/3 in y
1.780 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.780 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.780 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.780 * [taylor]: Taking taylor expansion of -1 in y
1.780 * [taylor]: Taking taylor expansion of y in y
1.831 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1.832 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
1.832 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
1.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
1.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
1.832 * [taylor]: Taking taylor expansion of 1/3 in y
1.832 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
1.832 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
1.832 * [taylor]: Taking taylor expansion of (sin y) in y
1.832 * [taylor]: Taking taylor expansion of y in y
1.834 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
1.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
1.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
1.834 * [taylor]: Taking taylor expansion of 1/3 in y
1.834 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
1.834 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
1.834 * [taylor]: Taking taylor expansion of (sin y) in y
1.834 * [taylor]: Taking taylor expansion of y in y
1.863 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
1.863 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
1.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
1.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
1.863 * [taylor]: Taking taylor expansion of 1/3 in y
1.863 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
1.863 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
1.863 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.863 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.863 * [taylor]: Taking taylor expansion of y in y
1.865 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
1.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
1.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
1.865 * [taylor]: Taking taylor expansion of 1/3 in y
1.865 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
1.865 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
1.865 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.865 * [taylor]: Taking taylor expansion of y in y
1.926 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
1.926 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
1.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
1.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
1.926 * [taylor]: Taking taylor expansion of 1/3 in y
1.926 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
1.926 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
1.926 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.926 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.926 * [taylor]: Taking taylor expansion of -1 in y
1.926 * [taylor]: Taking taylor expansion of y in y
1.928 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
1.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
1.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
1.928 * [taylor]: Taking taylor expansion of 1/3 in y
1.928 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
1.928 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
1.928 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.928 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.928 * [taylor]: Taking taylor expansion of -1 in y
1.928 * [taylor]: Taking taylor expansion of y in y
1.993 * * * [progress]: simplifying candidates
1.994 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (*.f64 (sin.f64 y) (sin.f64 y))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
  (+.f64 1/3 1/3)
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 (log.f64 (cbrt.f64 (sin.f64 y))) (log.f64 (cbrt.f64 (sin.f64 y))))
  (exp.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (log.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))))
  (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 (sin.f64 y) (sin.f64 y))
  (sqrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (sqrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))))
  (*.f64 2 1/3)
  (*.f64 2 1)
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y)))) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y)))))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 1 1)
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
  (*.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))
  (*.f64 (cbrt.f64 (sin.f64 y)) (*.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) (cbrt.f64 (cbrt.f64 (sin.f64 y)))))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (sin.f64 y)) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sin.f64 y)) 1)
  (-.f64 (pow.f64 y 1/3) (+.f64 (*.f64 1/3240 (pow.f64 (pow.f64 y 13) 1/3)) (*.f64 1/18 (pow.f64 (pow.f64 y 7) 1/3))))
  (pow.f64 (sin.f64 y) 1/3)
  (pow.f64 (sin.f64 y) 1/3)
  (-.f64 (pow.f64 y 1/3) (+.f64 (*.f64 1/3240 (pow.f64 (pow.f64 y 13) 1/3)) (*.f64 1/18 (pow.f64 (pow.f64 y 7) 1/3))))
  (pow.f64 (sin.f64 y) 1/3)
  (pow.f64 (sin.f64 y) 1/3)
  (-.f64 (pow.f64 y 1/3) (+.f64 (*.f64 1/3240 (pow.f64 (pow.f64 y 13) 1/3)) (*.f64 1/18 (pow.f64 (pow.f64 y 7) 1/3))))
  (pow.f64 (sin.f64 y) 1/3)
  (pow.f64 (sin.f64 y) 1/3)
  (-.f64 (+.f64 (*.f64 1/405 (pow.f64 (pow.f64 y 14) 1/3)) (pow.f64 y 2/3)) (*.f64 1/9 (pow.f64 (pow.f64 y 8) 1/3)))
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)
  (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)
2.050 * * [simplify]: iteration  0 :  5045  enodes  (cost  797 )
2.055 * [simplify]: Simplified to:
   (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (sin.f64 y)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (sin.f64 y)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (exp.f64 (cbrt.f64 (sin.f64 y)))
  (log.f64 (cbrt.f64 (sin.f64 y)))
  (sin.f64 y)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (cbrt.f64 (cbrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 (sqrt.f64 (sin.f64 y)))
  (cbrt.f64 1)
  (cbrt.f64 (sin.f64 y))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (sqrt.f64 (cbrt.f64 (sin.f64 y)))
  (pow.f64 (sin.f64 y) 2)
  (pow.f64 (sin.f64 y) 2/3)
  2/3
  2
  2
  (*.f64 2/3 (log.f64 (sin.f64 y)))
  (exp.f64 (pow.f64 (sin.f64 y) 2/3))
  (*.f64 2/3 (log.f64 (sin.f64 y)))
  (pow.f64 (sin.f64 y) 2)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (pow.f64 (sin.f64 y) 2)
  (fabs.f64 (cbrt.f64 (sin.f64 y)))
  (fabs.f64 (cbrt.f64 (sin.f64 y)))
  2/3
  2
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (sqrt.f64 (cbrt.f64 (sin.f64 y))))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4)
  (cbrt.f64 (pow.f64 (sin.f64 y) 2/3))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sqrt.f64 (sin.f64 y))) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (pow.f64 (sin.f64 y) 2/3)
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  1
  (pow.f64 (sin.f64 y) 2/3)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 4)
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (pow.f64 (sin.f64 y) 2/3)
  (pow.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) 3)
  (pow.f64 (sin.f64 y) 2/3)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 5)
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sqrt.f64 (sin.f64 y))))
  (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 1))
  (pow.f64 (sqrt.f64 (cbrt.f64 (sin.f64 y))) 3)
  (cbrt.f64 (sin.f64 y))
  (-.f64 (cbrt.f64 y) (+.f64 (*.f64 1/3240 (cbrt.f64 (pow.f64 y 13))) (*.f64 1/18 (cbrt.f64 (pow.f64 y 7)))))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (-.f64 (cbrt.f64 y) (+.f64 (*.f64 1/3240 (cbrt.f64 (pow.f64 y 13))) (*.f64 1/18 (cbrt.f64 (pow.f64 y 7)))))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (-.f64 (cbrt.f64 y) (+.f64 (*.f64 1/3240 (cbrt.f64 (pow.f64 y 13))) (*.f64 1/18 (cbrt.f64 (pow.f64 y 7)))))
  (cbrt.f64 (sin.f64 y))
  (cbrt.f64 (sin.f64 y))
  (-.f64 (+.f64 (*.f64 1/405 (cbrt.f64 (pow.f64 y 14))) (pow.f64 y 2/3)) (*.f64 1/9 (cbrt.f64 (pow.f64 y 8))))
  (pow.f64 (sin.f64 y) 2/3)
  (pow.f64 (sin.f64 y) 2/3)
2.056 * * * [progress]: adding candidates to table
2.111 * * [progress]: iteration 4 / 4
2.111 * * * [progress]: picking best candidate
2.115 * * * * [pick]: Picked  #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5) (cbrt.f64 (cbrt.f64 z))) (*.f64 (sin.f64 y) (cbrt.f64 z)))))>
2.115 * * * [progress]: localizing error
2.132 * * * [progress]: generating rewritten candidates
2.132 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
2.136 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
2.138 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
2.139 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
2.146 * * * [progress]: generating series expansions
2.146 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
2.146 * [approximate]: Taking taylor expansion of (pow (pow z 1/9) 5) in (z) around 0
2.146 * [taylor]: Taking taylor expansion of (pow (pow z 1/9) 5) in z
2.146 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
2.146 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
2.146 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
2.146 * [taylor]: Taking taylor expansion of 1/9 in z
2.146 * [taylor]: Taking taylor expansion of (log z) in z
2.146 * [taylor]: Taking taylor expansion of z in z
2.147 * [taylor]: Taking taylor expansion of (pow (pow z 1/9) 5) in z
2.147 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
2.147 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
2.147 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
2.147 * [taylor]: Taking taylor expansion of 1/9 in z
2.147 * [taylor]: Taking taylor expansion of (log z) in z
2.147 * [taylor]: Taking taylor expansion of z in z
2.213 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 5) in (z) around 0
2.213 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 5) in z
2.213 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.213 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.213 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.213 * [taylor]: Taking taylor expansion of 1/9 in z
2.213 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.213 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.213 * [taylor]: Taking taylor expansion of z in z
2.214 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 z) 1/9) 5) in z
2.214 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.214 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.215 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.215 * [taylor]: Taking taylor expansion of 1/9 in z
2.215 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.215 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.215 * [taylor]: Taking taylor expansion of z in z
2.289 * [approximate]: Taking taylor expansion of (pow (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) 5) in (z) around 0
2.289 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) 5) in z
2.289 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z
2.289 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.289 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.289 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.289 * [taylor]: Taking taylor expansion of 1/9 in z
2.289 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.289 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.289 * [taylor]: Taking taylor expansion of z in z
2.290 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
2.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
2.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
2.291 * [taylor]: Taking taylor expansion of 1/3 in z
2.291 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
2.291 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.291 * [taylor]: Taking taylor expansion of -1 in z
2.292 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) 5) in z
2.292 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z
2.292 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.292 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.292 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.292 * [taylor]: Taking taylor expansion of 1/9 in z
2.292 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.292 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.292 * [taylor]: Taking taylor expansion of z in z
2.293 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
2.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
2.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
2.293 * [taylor]: Taking taylor expansion of 1/3 in z
2.293 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
2.293 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.293 * [taylor]: Taking taylor expansion of -1 in z
2.462 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
2.463 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0
2.463 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
2.463 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
2.463 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
2.463 * [taylor]: Taking taylor expansion of 1/9 in z
2.463 * [taylor]: Taking taylor expansion of (log z) in z
2.463 * [taylor]: Taking taylor expansion of z in z
2.464 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
2.464 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
2.464 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
2.464 * [taylor]: Taking taylor expansion of 1/9 in z
2.464 * [taylor]: Taking taylor expansion of (log z) in z
2.464 * [taylor]: Taking taylor expansion of z in z
2.498 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0
2.498 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.498 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.498 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.498 * [taylor]: Taking taylor expansion of 1/9 in z
2.498 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.498 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.498 * [taylor]: Taking taylor expansion of z in z
2.500 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.500 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.500 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.500 * [taylor]: Taking taylor expansion of 1/9 in z
2.500 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.500 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.500 * [taylor]: Taking taylor expansion of z in z
2.552 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in (z) around 0
2.552 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z
2.552 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.552 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.552 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.552 * [taylor]: Taking taylor expansion of 1/9 in z
2.552 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.552 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.552 * [taylor]: Taking taylor expansion of z in z
2.554 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
2.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
2.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
2.554 * [taylor]: Taking taylor expansion of 1/3 in z
2.554 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
2.554 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.554 * [taylor]: Taking taylor expansion of -1 in z
2.555 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z
2.555 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.555 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.555 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.555 * [taylor]: Taking taylor expansion of 1/9 in z
2.555 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.555 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.555 * [taylor]: Taking taylor expansion of z in z
2.556 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
2.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
2.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
2.557 * [taylor]: Taking taylor expansion of 1/3 in z
2.557 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
2.557 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.557 * [taylor]: Taking taylor expansion of -1 in z
2.669 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
2.669 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0
2.669 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
2.669 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
2.669 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
2.669 * [taylor]: Taking taylor expansion of 1/9 in z
2.669 * [taylor]: Taking taylor expansion of (log z) in z
2.669 * [taylor]: Taking taylor expansion of z in z
2.670 * [taylor]: Taking taylor expansion of (pow z 1/9) in z
2.670 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z
2.670 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z
2.670 * [taylor]: Taking taylor expansion of 1/9 in z
2.670 * [taylor]: Taking taylor expansion of (log z) in z
2.670 * [taylor]: Taking taylor expansion of z in z
2.703 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0
2.703 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.703 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.703 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.703 * [taylor]: Taking taylor expansion of 1/9 in z
2.703 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.704 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.704 * [taylor]: Taking taylor expansion of z in z
2.705 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.705 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.705 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.705 * [taylor]: Taking taylor expansion of 1/9 in z
2.705 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.705 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.705 * [taylor]: Taking taylor expansion of z in z
2.761 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in (z) around 0
2.761 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z
2.761 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.761 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.761 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.761 * [taylor]: Taking taylor expansion of 1/9 in z
2.761 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.761 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.761 * [taylor]: Taking taylor expansion of z in z
2.762 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
2.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
2.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
2.762 * [taylor]: Taking taylor expansion of 1/3 in z
2.762 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
2.762 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.762 * [taylor]: Taking taylor expansion of -1 in z
2.763 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z
2.763 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z
2.763 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z
2.763 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z
2.763 * [taylor]: Taking taylor expansion of 1/9 in z
2.763 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.763 * [taylor]: Taking taylor expansion of z in z
2.764 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z
2.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z
2.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z
2.764 * [taylor]: Taking taylor expansion of 1/3 in z
2.764 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z
2.764 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.764 * [taylor]: Taking taylor expansion of -1 in z
2.865 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
2.865 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
2.865 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.865 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.865 * [taylor]: Taking taylor expansion of 1/3 in z
2.865 * [taylor]: Taking taylor expansion of (log z) in z
2.865 * [taylor]: Taking taylor expansion of z in z
2.866 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.866 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.866 * [taylor]: Taking taylor expansion of 1/3 in z
2.866 * [taylor]: Taking taylor expansion of (log z) in z
2.866 * [taylor]: Taking taylor expansion of z in z
2.901 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
2.901 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.901 * [taylor]: Taking taylor expansion of 1/3 in z
2.901 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.901 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.901 * [taylor]: Taking taylor expansion of z in z
2.902 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.902 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.902 * [taylor]: Taking taylor expansion of 1/3 in z
2.902 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.902 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.902 * [taylor]: Taking taylor expansion of z in z
2.957 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0
2.957 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
2.957 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.957 * [taylor]: Taking taylor expansion of 1/3 in z
2.957 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.957 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.957 * [taylor]: Taking taylor expansion of z in z
2.958 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.958 * [taylor]: Taking taylor expansion of -1 in z
2.959 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
2.959 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.959 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.959 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.959 * [taylor]: Taking taylor expansion of 1/3 in z
2.959 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.959 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.959 * [taylor]: Taking taylor expansion of z in z
2.960 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.960 * [taylor]: Taking taylor expansion of -1 in z
3.012 * * * [progress]: simplifying candidates
3.013 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 1)) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)
  (pow.f64 (cbrt.f64 (sqrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (sqrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 1) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)
  (pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 1 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) (*.f64 (cbrt.f64 5) (cbrt.f64 5)))
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) (sqrt.f64 5))
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 1)
  (*.f64 1/3 5)
  (*.f64 1 5)
  (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 z))) 5)
  (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 z))) 5)
  (exp.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5))
  (log.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5))
  (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5))
  (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5))
  (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5))
  (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5))
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) (/.f64 5 2))
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) (/.f64 5 2))
  (exp.f64 (cbrt.f64 (cbrt.f64 z)))
  (log.f64 (cbrt.f64 (cbrt.f64 z)))
  (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)))
  (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (cbrt.f64 z))))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 z)))
  (cbrt.f64 (cbrt.f64 1))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (sqrt.f64 (cbrt.f64 z)))
  (cbrt.f64 1)
  (cbrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (sqrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (exp.f64 (cbrt.f64 (cbrt.f64 z)))
  (log.f64 (cbrt.f64 (cbrt.f64 z)))
  (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)))
  (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (cbrt.f64 z))))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 z)))
  (cbrt.f64 (cbrt.f64 1))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (sqrt.f64 (cbrt.f64 z)))
  (cbrt.f64 1)
  (cbrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (sqrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (exp.f64 (cbrt.f64 z))
  (log.f64 (cbrt.f64 z))
  (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (cbrt.f64 z))
  (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 1)
  (cbrt.f64 z)
  (sqrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (pow.f64 (pow.f64 z 5) 1/9)
  (pow.f64 (pow.f64 z 5) 1/9)
  (*.f64 (pow.f64 (*.f64 -1 (pow.f64 z 5)) 1/9) (pow.f64 (pow.f64 (cbrt.f64 -1) 5) 1/3))
  (pow.f64 z 1/9)
  (pow.f64 (/.f64 1 z) -1/9)
  (*.f64 (pow.f64 (*.f64 -1 z) 1/9) (pow.f64 (cbrt.f64 -1) 1/3))
  (pow.f64 z 1/9)
  (pow.f64 (/.f64 1 z) -1/9)
  (*.f64 (pow.f64 (*.f64 -1 z) 1/9) (pow.f64 (cbrt.f64 -1) 1/3))
  (pow.f64 z 1/3)
  (pow.f64 (/.f64 1 z) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 z) 1/3) (cbrt.f64 -1))
3.067 * * [simplify]: iteration  0 :  5292  enodes  (cost  745 )
3.073 * [simplify]: Simplified to:
   (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 z 2/3))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 1)) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)
  (pow.f64 (cbrt.f64 (sqrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 (sqrt.f64 (cbrt.f64 z))) 5)
  (pow.f64 (cbrt.f64 1) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5/2)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5/2)
  1
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) (*.f64 (cbrt.f64 5) (cbrt.f64 5)))
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) (sqrt.f64 5))
  (cbrt.f64 (cbrt.f64 z))
  5/3
  5
  (*.f64 5 (log.f64 (cbrt.f64 (cbrt.f64 z))))
  (*.f64 5 (log.f64 (cbrt.f64 (cbrt.f64 z))))
  (exp.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5))
  (*.f64 5 (log.f64 (cbrt.f64 (cbrt.f64 z))))
  (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5) 3)
  (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5))
  (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5))
  (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5))
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5/2)
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5/2)
  (exp.f64 (cbrt.f64 (cbrt.f64 z)))
  (log.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 z)
  (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (cbrt.f64 z))))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (pow.f64 z 2/3)))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 z)))
  (cbrt.f64 (cbrt.f64 1))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (sqrt.f64 (cbrt.f64 z)))
  (cbrt.f64 1)
  (cbrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (sqrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (exp.f64 (cbrt.f64 (cbrt.f64 z)))
  (log.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 z)
  (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (cbrt.f64 z))))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (pow.f64 z 2/3)))
  (cbrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 z)))
  (cbrt.f64 (cbrt.f64 (sqrt.f64 z)))
  (cbrt.f64 (cbrt.f64 1))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 (cbrt.f64 z)))
  (cbrt.f64 (sqrt.f64 (cbrt.f64 z)))
  (cbrt.f64 1)
  (cbrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (sqrt.f64 (cbrt.f64 (cbrt.f64 z)))
  (exp.f64 (cbrt.f64 z))
  (log.f64 (cbrt.f64 z))
  z
  (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (pow.f64 z 2/3))
  (cbrt.f64 (cbrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 (sqrt.f64 z))
  (cbrt.f64 1)
  (cbrt.f64 z)
  (sqrt.f64 (cbrt.f64 z))
  (sqrt.f64 (cbrt.f64 z))
  (pow.f64 (pow.f64 z 5) 1/9)
  (pow.f64 (pow.f64 z 5) 1/9)
  (*.f64 (pow.f64 (neg.f64 (pow.f64 z 5)) 1/9) (cbrt.f64 (pow.f64 (cbrt.f64 -1) 5)))
  (pow.f64 z 1/9)
  (pow.f64 (/.f64 1 z) -1/9)
  (*.f64 (pow.f64 (neg.f64 z) 1/9) (cbrt.f64 (cbrt.f64 -1)))
  (pow.f64 z 1/9)
  (pow.f64 (/.f64 1 z) -1/9)
  (*.f64 (pow.f64 (neg.f64 z) 1/9) (cbrt.f64 (cbrt.f64 -1)))
  (cbrt.f64 z)
  (pow.f64 (/.f64 1 z) -1/3)
  (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 z)))
3.073 * * * [progress]: adding candidates to table
3.139 * [progress]: [Phase 3 of 3] Extracting.
3.139 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (-.f64 (log.f64 (exp.f64 (+.f64 x (cos.f64 y)))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (sin.f64 y) (cbrt.f64 z)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (sqrt.f64 z) (*.f64 (sin.f64 y) (sqrt.f64 z)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5) (cbrt.f64 (cbrt.f64 z))) (*.f64 (sin.f64 y) (cbrt.f64 z)))))>)
3.141 * * * [regime-changes]: Trying 4 branch expressions: ((-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))) z y x)
3.141 * * * * [regimes]: Trying to branch on (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))) from (#<alt (λ (x y z) (-.f64 (log.f64 (exp.f64 (+.f64 x (cos.f64 y)))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (sin.f64 y) (cbrt.f64 z)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (sqrt.f64 z) (*.f64 (sin.f64 y) (sqrt.f64 z)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5) (cbrt.f64 (cbrt.f64 z))) (*.f64 (sin.f64 y) (cbrt.f64 z)))))>)
3.156 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (-.f64 (log.f64 (exp.f64 (+.f64 x (cos.f64 y)))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (sin.f64 y) (cbrt.f64 z)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (sqrt.f64 z) (*.f64 (sin.f64 y) (sqrt.f64 z)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5) (cbrt.f64 (cbrt.f64 z))) (*.f64 (sin.f64 y) (cbrt.f64 z)))))>)
3.171 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (-.f64 (log.f64 (exp.f64 (+.f64 x (cos.f64 y)))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (sin.f64 y) (cbrt.f64 z)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (sqrt.f64 z) (*.f64 (sin.f64 y) (sqrt.f64 z)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5) (cbrt.f64 (cbrt.f64 z))) (*.f64 (sin.f64 y) (cbrt.f64 z)))))>)
3.184 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (-.f64 (log.f64 (exp.f64 (+.f64 x (cos.f64 y)))) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 z (pow.f64 (pow.f64 (sin.f64 y) 2) 1/3)) (cbrt.f64 (sin.f64 y)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (sin.f64 y) (cbrt.f64 z)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (sqrt.f64 z) (*.f64 (sin.f64 y) (sqrt.f64 z)))))> #<alt (λ (x y z) (-.f64 (+.f64 x (cos.f64 y)) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5) (cbrt.f64 (cbrt.f64 z))) (*.f64 (sin.f64 y) (cbrt.f64 z)))))>)
3.199 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
3.199 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
3.201 * * [simplify]: iteration  0 :  37  enodes  (cost  14 )
3.201 * * [simplify]: iteration  1 :  37  enodes  (cost  14 )
3.201 * [simplify]: Simplified to:
   (-.f64 (+.f64 x (cos.f64 y)) (*.f64 z (sin.f64 y)))
4.568 * [regime-testing]: End program error score: 0.054822787474191816