21.950 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.379 * * * [progress]: [2/2] Setting up program.
0.383 * [progress]: [Phase 2 of 3] Improving.
0.383 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.386 * * [simplify]: iteration  0 :  24  enodes  (cost  7 )
0.387 * * [simplify]: iteration  1 :  54  enodes  (cost  7 )
0.389 * * [simplify]: iteration  2 :  92  enodes  (cost  7 )
0.391 * * [simplify]: iteration  3 :  142  enodes  (cost  7 )
0.393 * * [simplify]: iteration  4 :  192  enodes  (cost  7 )
0.395 * * [simplify]: iteration  5 :  238  enodes  (cost  7 )
0.397 * * [simplify]: iteration  6 :  255  enodes  (cost  7 )
0.398 * * [simplify]: iteration  7 :  286  enodes  (cost  7 )
0.401 * * [simplify]: iteration  8 :  330  enodes  (cost  7 )
0.403 * * [simplify]: iteration  9 :  427  enodes  (cost  7 )
0.405 * * [simplify]: iteration  10 :  455  enodes  (cost  7 )
0.408 * * [simplify]: iteration  11 :  518  enodes  (cost  7 )
0.411 * * [simplify]: iteration  12 :  595  enodes  (cost  7 )
0.415 * * [simplify]: iteration  13 :  803  enodes  (cost  7 )
0.418 * * [simplify]: iteration  14 :  807  enodes  (cost  7 )
0.422 * * [simplify]: iteration  15 :  807  enodes  (cost  7 )
0.422 * [simplify]: Simplified to:
   (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.423 * * [progress]: iteration 1 / 4
0.423 * * * [progress]: picking best candidate
0.426 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))>
0.426 * * * [progress]: localizing error
0.435 * * * [progress]: generating rewritten candidates
0.435 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.441 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.445 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.449 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.456 * * * [progress]: generating series expansions
0.456 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.457 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
0.457 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
0.457 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.457 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.457 * [taylor]: Taking taylor expansion of t in y
0.457 * [taylor]: Taking taylor expansion of (* z y) in y
0.457 * [taylor]: Taking taylor expansion of z in y
0.457 * [taylor]: Taking taylor expansion of y in y
0.457 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
0.457 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.457 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
0.457 * [taylor]: Taking taylor expansion of t in z
0.457 * [taylor]: Taking taylor expansion of (* z y) in z
0.457 * [taylor]: Taking taylor expansion of z in z
0.457 * [taylor]: Taking taylor expansion of y in z
0.457 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
0.457 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.457 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
0.457 * [taylor]: Taking taylor expansion of t in t
0.457 * [taylor]: Taking taylor expansion of (* z y) in t
0.457 * [taylor]: Taking taylor expansion of z in t
0.457 * [taylor]: Taking taylor expansion of y in t
0.457 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
0.457 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.457 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
0.457 * [taylor]: Taking taylor expansion of t in t
0.457 * [taylor]: Taking taylor expansion of (* z y) in t
0.457 * [taylor]: Taking taylor expansion of z in t
0.457 * [taylor]: Taking taylor expansion of y in t
0.457 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
0.457 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.457 * [taylor]: Taking taylor expansion of (* z y) in z
0.457 * [taylor]: Taking taylor expansion of z in z
0.457 * [taylor]: Taking taylor expansion of y in z
0.458 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
0.458 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.458 * [taylor]: Taking taylor expansion of y in y
0.458 * [taylor]: Taking taylor expansion of 0 in z
0.458 * [taylor]: Taking taylor expansion of 0 in y
0.458 * [taylor]: Taking taylor expansion of 0 in z
0.458 * [taylor]: Taking taylor expansion of 0 in y
0.458 * [taylor]: Taking taylor expansion of 0 in y
0.459 * [taylor]: Taking taylor expansion of 0 in z
0.459 * [taylor]: Taking taylor expansion of 0 in y
0.459 * [taylor]: Taking taylor expansion of 0 in y
0.459 * [taylor]: Taking taylor expansion of 0 in y
0.459 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
0.459 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
0.459 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.459 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
0.459 * [taylor]: Taking taylor expansion of (* z y) in y
0.459 * [taylor]: Taking taylor expansion of z in y
0.459 * [taylor]: Taking taylor expansion of y in y
0.459 * [taylor]: Taking taylor expansion of t in y
0.459 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
0.459 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.459 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
0.459 * [taylor]: Taking taylor expansion of (* z y) in z
0.459 * [taylor]: Taking taylor expansion of z in z
0.459 * [taylor]: Taking taylor expansion of y in z
0.459 * [taylor]: Taking taylor expansion of t in z
0.459 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
0.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.460 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.460 * [taylor]: Taking taylor expansion of (* z y) in t
0.460 * [taylor]: Taking taylor expansion of z in t
0.460 * [taylor]: Taking taylor expansion of y in t
0.460 * [taylor]: Taking taylor expansion of t in t
0.460 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
0.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.460 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.460 * [taylor]: Taking taylor expansion of (* z y) in t
0.460 * [taylor]: Taking taylor expansion of z in t
0.460 * [taylor]: Taking taylor expansion of y in t
0.460 * [taylor]: Taking taylor expansion of t in t
0.460 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
0.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.460 * [taylor]: Taking taylor expansion of (* z y) in z
0.460 * [taylor]: Taking taylor expansion of z in z
0.460 * [taylor]: Taking taylor expansion of y in z
0.460 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
0.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.460 * [taylor]: Taking taylor expansion of y in y
0.460 * [taylor]: Taking taylor expansion of 0 in z
0.460 * [taylor]: Taking taylor expansion of 0 in y
0.460 * [taylor]: Taking taylor expansion of 0 in y
0.461 * [taylor]: Taking taylor expansion of 0 in z
0.461 * [taylor]: Taking taylor expansion of 0 in y
0.461 * [taylor]: Taking taylor expansion of 0 in y
0.461 * [taylor]: Taking taylor expansion of 0 in y
0.461 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
0.461 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
0.461 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
0.461 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
0.461 * [taylor]: Taking taylor expansion of (* z y) in y
0.461 * [taylor]: Taking taylor expansion of z in y
0.461 * [taylor]: Taking taylor expansion of y in y
0.461 * [taylor]: Taking taylor expansion of t in y
0.461 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
0.461 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
0.461 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
0.461 * [taylor]: Taking taylor expansion of (* z y) in z
0.461 * [taylor]: Taking taylor expansion of z in z
0.461 * [taylor]: Taking taylor expansion of y in z
0.461 * [taylor]: Taking taylor expansion of t in z
0.461 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
0.461 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
0.461 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.461 * [taylor]: Taking taylor expansion of (* z y) in t
0.461 * [taylor]: Taking taylor expansion of z in t
0.461 * [taylor]: Taking taylor expansion of y in t
0.461 * [taylor]: Taking taylor expansion of t in t
0.461 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
0.461 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
0.462 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.462 * [taylor]: Taking taylor expansion of (* z y) in t
0.462 * [taylor]: Taking taylor expansion of z in t
0.462 * [taylor]: Taking taylor expansion of y in t
0.462 * [taylor]: Taking taylor expansion of t in t
0.462 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
0.462 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
0.462 * [taylor]: Taking taylor expansion of (* z y) in z
0.462 * [taylor]: Taking taylor expansion of z in z
0.462 * [taylor]: Taking taylor expansion of y in z
0.462 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
0.462 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
0.462 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.462 * [taylor]: Taking taylor expansion of y in y
0.462 * [taylor]: Taking taylor expansion of 0 in z
0.462 * [taylor]: Taking taylor expansion of 0 in y
0.462 * [taylor]: Taking taylor expansion of 0 in y
0.462 * [taylor]: Taking taylor expansion of 0 in z
0.462 * [taylor]: Taking taylor expansion of 0 in y
0.462 * [taylor]: Taking taylor expansion of 0 in y
0.463 * [taylor]: Taking taylor expansion of 0 in y
0.463 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.463 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
0.463 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
0.463 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.463 * [taylor]: Taking taylor expansion of (/ y z) in z
0.463 * [taylor]: Taking taylor expansion of y in z
0.463 * [taylor]: Taking taylor expansion of z in z
0.463 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
0.463 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.463 * [taylor]: Taking taylor expansion of (/ y z) in y
0.463 * [taylor]: Taking taylor expansion of y in y
0.463 * [taylor]: Taking taylor expansion of z in y
0.463 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
0.463 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.463 * [taylor]: Taking taylor expansion of (/ y z) in y
0.463 * [taylor]: Taking taylor expansion of y in y
0.463 * [taylor]: Taking taylor expansion of z in y
0.463 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
0.463 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.463 * [taylor]: Taking taylor expansion of z in z
0.463 * [taylor]: Taking taylor expansion of 0 in z
0.464 * [taylor]: Taking taylor expansion of 0 in z
0.464 * [taylor]: Taking taylor expansion of 0 in z
0.464 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
0.464 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
0.464 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.464 * [taylor]: Taking taylor expansion of (/ z y) in z
0.464 * [taylor]: Taking taylor expansion of z in z
0.464 * [taylor]: Taking taylor expansion of y in z
0.464 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.464 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.464 * [taylor]: Taking taylor expansion of (/ z y) in y
0.464 * [taylor]: Taking taylor expansion of z in y
0.464 * [taylor]: Taking taylor expansion of y in y
0.464 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.464 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.464 * [taylor]: Taking taylor expansion of (/ z y) in y
0.464 * [taylor]: Taking taylor expansion of z in y
0.464 * [taylor]: Taking taylor expansion of y in y
0.464 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
0.464 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.464 * [taylor]: Taking taylor expansion of z in z
0.464 * [taylor]: Taking taylor expansion of 0 in z
0.465 * [taylor]: Taking taylor expansion of 0 in z
0.465 * [taylor]: Taking taylor expansion of 0 in z
0.465 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
0.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
0.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.465 * [taylor]: Taking taylor expansion of (/ z y) in z
0.465 * [taylor]: Taking taylor expansion of z in z
0.465 * [taylor]: Taking taylor expansion of y in z
0.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.465 * [taylor]: Taking taylor expansion of (/ z y) in y
0.465 * [taylor]: Taking taylor expansion of z in y
0.465 * [taylor]: Taking taylor expansion of y in y
0.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.465 * [taylor]: Taking taylor expansion of (/ z y) in y
0.465 * [taylor]: Taking taylor expansion of z in y
0.465 * [taylor]: Taking taylor expansion of y in y
0.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
0.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.465 * [taylor]: Taking taylor expansion of z in z
0.465 * [taylor]: Taking taylor expansion of 0 in z
0.466 * [taylor]: Taking taylor expansion of 0 in z
0.466 * [taylor]: Taking taylor expansion of 0 in z
0.466 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.466 * [approximate]: Taking taylor expansion of (* 3.0 (* z y)) in (z y) around 0
0.466 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in y
0.466 * [taylor]: Taking taylor expansion of 3.0 in y
0.466 * [taylor]: Taking taylor expansion of (* z y) in y
0.466 * [taylor]: Taking taylor expansion of z in y
0.466 * [taylor]: Taking taylor expansion of y in y
0.466 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
0.466 * [taylor]: Taking taylor expansion of 3.0 in z
0.466 * [taylor]: Taking taylor expansion of (* z y) in z
0.466 * [taylor]: Taking taylor expansion of z in z
0.466 * [taylor]: Taking taylor expansion of y in z
0.466 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
0.466 * [taylor]: Taking taylor expansion of 3.0 in z
0.466 * [taylor]: Taking taylor expansion of (* z y) in z
0.466 * [taylor]: Taking taylor expansion of z in z
0.466 * [taylor]: Taking taylor expansion of y in z
0.466 * [taylor]: Taking taylor expansion of 0 in y
0.466 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.466 * [taylor]: Taking taylor expansion of 3.0 in y
0.466 * [taylor]: Taking taylor expansion of y in y
0.467 * [taylor]: Taking taylor expansion of 0 in y
0.467 * [taylor]: Taking taylor expansion of 0 in y
0.467 * [taylor]: Taking taylor expansion of 0 in y
0.467 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
0.467 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
0.467 * [taylor]: Taking taylor expansion of 3.0 in y
0.467 * [taylor]: Taking taylor expansion of (* z y) in y
0.467 * [taylor]: Taking taylor expansion of z in y
0.467 * [taylor]: Taking taylor expansion of y in y
0.467 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
0.467 * [taylor]: Taking taylor expansion of 3.0 in z
0.467 * [taylor]: Taking taylor expansion of (* z y) in z
0.467 * [taylor]: Taking taylor expansion of z in z
0.467 * [taylor]: Taking taylor expansion of y in z
0.467 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
0.467 * [taylor]: Taking taylor expansion of 3.0 in z
0.467 * [taylor]: Taking taylor expansion of (* z y) in z
0.467 * [taylor]: Taking taylor expansion of z in z
0.467 * [taylor]: Taking taylor expansion of y in z
0.467 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.467 * [taylor]: Taking taylor expansion of 3.0 in y
0.467 * [taylor]: Taking taylor expansion of y in y
0.468 * [taylor]: Taking taylor expansion of 0 in y
0.468 * [taylor]: Taking taylor expansion of 0 in y
0.468 * [taylor]: Taking taylor expansion of 0 in y
0.468 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
0.468 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
0.468 * [taylor]: Taking taylor expansion of 3.0 in y
0.468 * [taylor]: Taking taylor expansion of (* z y) in y
0.468 * [taylor]: Taking taylor expansion of z in y
0.468 * [taylor]: Taking taylor expansion of y in y
0.468 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
0.468 * [taylor]: Taking taylor expansion of 3.0 in z
0.468 * [taylor]: Taking taylor expansion of (* z y) in z
0.468 * [taylor]: Taking taylor expansion of z in z
0.469 * [taylor]: Taking taylor expansion of y in z
0.469 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
0.469 * [taylor]: Taking taylor expansion of 3.0 in z
0.469 * [taylor]: Taking taylor expansion of (* z y) in z
0.469 * [taylor]: Taking taylor expansion of z in z
0.469 * [taylor]: Taking taylor expansion of y in z
0.469 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.469 * [taylor]: Taking taylor expansion of 3.0 in y
0.469 * [taylor]: Taking taylor expansion of y in y
0.469 * [taylor]: Taking taylor expansion of 0 in y
0.469 * [taylor]: Taking taylor expansion of 0 in y
0.469 * [taylor]: Taking taylor expansion of 0 in y
0.469 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.470 * [approximate]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in (x y z) around 0
0.470 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in z
0.470 * [taylor]: Taking taylor expansion of x in z
0.470 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
0.470 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.470 * [taylor]: Taking taylor expansion of (/ y z) in z
0.470 * [taylor]: Taking taylor expansion of y in z
0.470 * [taylor]: Taking taylor expansion of z in z
0.470 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in y
0.470 * [taylor]: Taking taylor expansion of x in y
0.470 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
0.470 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.470 * [taylor]: Taking taylor expansion of (/ y z) in y
0.470 * [taylor]: Taking taylor expansion of y in y
0.470 * [taylor]: Taking taylor expansion of z in y
0.470 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
0.470 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.470 * [taylor]: Taking taylor expansion of (/ y z) in x
0.470 * [taylor]: Taking taylor expansion of y in x
0.470 * [taylor]: Taking taylor expansion of z in x
0.470 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
0.470 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.470 * [taylor]: Taking taylor expansion of (/ y z) in x
0.470 * [taylor]: Taking taylor expansion of y in x
0.470 * [taylor]: Taking taylor expansion of z in x
0.470 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ y z))) in y
0.470 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
0.470 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.470 * [taylor]: Taking taylor expansion of (/ y z) in y
0.470 * [taylor]: Taking taylor expansion of y in y
0.470 * [taylor]: Taking taylor expansion of z in y
0.471 * [taylor]: Taking taylor expansion of 1 in y
0.471 * [taylor]: Taking taylor expansion of 1 in z
0.471 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 z))) in z
0.471 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 z)) in z
0.471 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.471 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.471 * [taylor]: Taking taylor expansion of z in z
0.471 * [taylor]: Taking taylor expansion of 0 in y
0.471 * [taylor]: Taking taylor expansion of 0 in z
0.471 * [taylor]: Taking taylor expansion of 0 in z
0.471 * [taylor]: Taking taylor expansion of 0 in z
0.471 * [taylor]: Taking taylor expansion of 0 in y
0.471 * [taylor]: Taking taylor expansion of 0 in z
0.471 * [taylor]: Taking taylor expansion of 0 in z
0.471 * [taylor]: Taking taylor expansion of 0 in z
0.472 * [taylor]: Taking taylor expansion of 0 in z
0.472 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in (x y z) around 0
0.472 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in z
0.472 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.472 * [taylor]: Taking taylor expansion of x in z
0.472 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
0.472 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.472 * [taylor]: Taking taylor expansion of (/ z y) in z
0.472 * [taylor]: Taking taylor expansion of z in z
0.472 * [taylor]: Taking taylor expansion of y in z
0.472 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in y
0.472 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.472 * [taylor]: Taking taylor expansion of x in y
0.472 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.472 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.472 * [taylor]: Taking taylor expansion of (/ z y) in y
0.472 * [taylor]: Taking taylor expansion of z in y
0.472 * [taylor]: Taking taylor expansion of y in y
0.472 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
0.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.472 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
0.472 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.472 * [taylor]: Taking taylor expansion of (/ z y) in x
0.472 * [taylor]: Taking taylor expansion of z in x
0.472 * [taylor]: Taking taylor expansion of y in x
0.472 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
0.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.473 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
0.473 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.473 * [taylor]: Taking taylor expansion of (/ z y) in x
0.473 * [taylor]: Taking taylor expansion of z in x
0.473 * [taylor]: Taking taylor expansion of y in x
0.473 * [taylor]: Taking taylor expansion of 1 in y
0.473 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
0.473 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.473 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.473 * [taylor]: Taking taylor expansion of (/ z y) in y
0.473 * [taylor]: Taking taylor expansion of z in y
0.473 * [taylor]: Taking taylor expansion of y in y
0.473 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
0.473 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
0.473 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.473 * [taylor]: Taking taylor expansion of z in z
0.473 * [taylor]: Taking taylor expansion of 1 in z
0.473 * [taylor]: Taking taylor expansion of 0 in y
0.473 * [taylor]: Taking taylor expansion of 0 in z
0.473 * [taylor]: Taking taylor expansion of 0 in z
0.474 * [taylor]: Taking taylor expansion of 0 in y
0.474 * [taylor]: Taking taylor expansion of 0 in z
0.474 * [taylor]: Taking taylor expansion of 0 in z
0.474 * [taylor]: Taking taylor expansion of 0 in z
0.474 * [approximate]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in (x y z) around 0
0.474 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in z
0.474 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in z
0.474 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
0.474 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.474 * [taylor]: Taking taylor expansion of (/ z y) in z
0.474 * [taylor]: Taking taylor expansion of z in z
0.474 * [taylor]: Taking taylor expansion of y in z
0.474 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.474 * [taylor]: Taking taylor expansion of x in z
0.474 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in y
0.474 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in y
0.474 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.474 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.474 * [taylor]: Taking taylor expansion of (/ z y) in y
0.474 * [taylor]: Taking taylor expansion of z in y
0.474 * [taylor]: Taking taylor expansion of y in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.475 * [taylor]: Taking taylor expansion of x in y
0.475 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
0.475 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
0.475 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
0.475 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.475 * [taylor]: Taking taylor expansion of (/ z y) in x
0.475 * [taylor]: Taking taylor expansion of z in x
0.475 * [taylor]: Taking taylor expansion of y in x
0.475 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.475 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
0.475 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
0.475 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
0.475 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.475 * [taylor]: Taking taylor expansion of (/ z y) in x
0.475 * [taylor]: Taking taylor expansion of z in x
0.475 * [taylor]: Taking taylor expansion of y in x
0.475 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.475 * [taylor]: Taking taylor expansion of (neg 1) in y
0.475 * [taylor]: Taking taylor expansion of 1 in y
0.475 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
0.475 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
0.475 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.475 * [taylor]: Taking taylor expansion of (/ z y) in y
0.475 * [taylor]: Taking taylor expansion of z in y
0.475 * [taylor]: Taking taylor expansion of y in y
0.475 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
0.475 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
0.475 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.475 * [taylor]: Taking taylor expansion of z in z
0.475 * [taylor]: Taking taylor expansion of (neg 1) in z
0.475 * [taylor]: Taking taylor expansion of 1 in z
0.476 * [taylor]: Taking taylor expansion of 0 in y
0.476 * [taylor]: Taking taylor expansion of 0 in z
0.476 * [taylor]: Taking taylor expansion of 0 in z
0.476 * [taylor]: Taking taylor expansion of 0 in y
0.476 * [taylor]: Taking taylor expansion of 0 in z
0.476 * [taylor]: Taking taylor expansion of 0 in z
0.476 * [taylor]: Taking taylor expansion of 0 in z
0.476 * * * [progress]: simplifying candidates
0.477 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log t) (+ (+ (log z) (log 3.0)) (log y)))
  (- (log t) (+ (log (* z 3.0)) (log y)))
  (- (log t) (log (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (exp (/ t (* (* z 3.0) y)))
  (/ (* (* t t) t) (* (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* y y) y)))
  (/ (* (* t t) t) (* (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* y y) y)))
  (/ (* (* t t) t) (* (* (* (* z 3.0) y) (* (* z 3.0) y)) (* (* z 3.0) y)))
  (* (cbrt (/ t (* (* z 3.0) y))) (cbrt (/ t (* (* z 3.0) y))))
  (cbrt (/ t (* (* z 3.0) y)))
  (* (* (/ t (* (* z 3.0) y)) (/ t (* (* z 3.0) y))) (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (neg t)
  (neg (* (* z 3.0) y))
  (/ (* (cbrt t) (cbrt t)) (* z 3.0))
  (/ (cbrt t) y)
  (/ (sqrt t) (* z 3.0))
  (/ (sqrt t) y)
  (/ 1 (* z 3.0))
  (/ t y)
  (/ 1 (* (* z 3.0) y))
  (/ (* (* z 3.0) y) t)
  (/ t (* z 3.0))
  (/ (* (* z 3.0) y) (cbrt t))
  (/ (* (* z 3.0) y) (sqrt t))
  (/ (* (* z 3.0) y) t)
  (- (log y) (+ (log z) (log 3.0)))
  (- (log y) (log (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (/ (* (* y y) y) (* (* (* z z) z) (* (* 3.0 3.0) 3.0)))
  (/ (* (* y y) y) (* (* (* z 3.0) (* z 3.0)) (* z 3.0)))
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (* (* (/ y (* z 3.0)) (/ y (* z 3.0))) (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (neg (* z 3.0))
  (/ (* (cbrt y) (cbrt y)) z)
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) y)
  (/ y z)
  (/ (* z 3.0) (cbrt y))
  (/ (* z 3.0) (sqrt y))
  (/ (* z 3.0) y)
  (* (* z 3.0) y)
  (* (* z 3.0) y)
  (+ (+ (log z) (log 3.0)) (log y))
  (+ (log (* z 3.0)) (log y))
  (log (* (* z 3.0) y))
  (exp (* (* z 3.0) y))
  (* (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* y y) y))
  (* (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* y y) y))
  (* (cbrt (* (* z 3.0) y)) (cbrt (* (* z 3.0) y)))
  (cbrt (* (* z 3.0) y))
  (* (* (* (* z 3.0) y) (* (* z 3.0) y)) (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (* (* z 3.0) (* (cbrt y) (cbrt y)))
  (* (* z 3.0) (sqrt y))
  (* (* z 3.0) 1)
  (* 3.0 y)
  (/ (exp x) (exp (/ y (* z 3.0))))
  (log (- x (/ y (* z 3.0))))
  (exp (- x (/ y (* z 3.0))))
  (* (cbrt (- x (/ y (* z 3.0)))) (cbrt (- x (/ y (* z 3.0)))))
  (cbrt (- x (/ y (* z 3.0))))
  (* (* (- x (/ y (* z 3.0))) (- x (/ y (* z 3.0)))) (- x (/ y (* z 3.0))))
  (sqrt (- x (/ y (* z 3.0))))
  (sqrt (- x (/ y (* z 3.0))))
  (- (pow x 3) (pow (/ y (* z 3.0)) 3))
  (+ (* x x) (+ (* (/ y (* z 3.0)) (/ y (* z 3.0))) (* x (/ y (* z 3.0)))))
  (neg (/ y (* z 3.0)))
  (- (* x x) (* (/ y (* z 3.0)) (/ y (* z 3.0))))
  (+ x (/ y (* z 3.0)))
  (+ (sqrt x) (sqrt (/ y (* z 3.0))))
  (- (sqrt x) (sqrt (/ y (* z 3.0))))
  (- x (/ y (* z 3.0)))
  (neg (/ y (* z 3.0)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
0.482 * * [simplify]: iteration  0 :  321  enodes  (cost  380 )
0.488 * * [simplify]: iteration  1 :  1588  enodes  (cost  320 )
0.515 * * [simplify]: iteration  2 :  5001  enodes  (cost  320 )
0.518 * [simplify]: Simplified to:
   (log (/ t (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (exp (/ t (* (* z 3.0) y)))
  (pow (/ t (* (* z 3.0) y)) 3)
  (pow (/ t (* (* z 3.0) y)) 3)
  (pow (/ t (* (* z 3.0) y)) 3)
  (* (cbrt (/ t (* (* z 3.0) y))) (cbrt (/ t (* (* z 3.0) y))))
  (cbrt (/ t (* (* z 3.0) y)))
  (pow (/ t (* (* z 3.0) y)) 3)
  (sqrt (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (neg t)
  (neg (* (* z 3.0) y))
  (/ (* (cbrt t) (cbrt t)) (* z 3.0))
  (/ (cbrt t) y)
  (/ (sqrt t) (* z 3.0))
  (/ (sqrt t) y)
  (/ 1 (* z 3.0))
  (/ t y)
  (/ 1 (* (* z 3.0) y))
  (/ (* (* z 3.0) y) t)
  (/ t (* z 3.0))
  (/ (* (* z 3.0) y) (cbrt t))
  (/ (* (* z 3.0) y) (sqrt t))
  (/ (* (* z 3.0) y) t)
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (pow (/ y (* z 3.0)) 3)
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (neg (* z 3.0))
  (/ (* (cbrt y) (cbrt y)) z)
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) y)
  (/ y z)
  (/ (* z 3.0) (cbrt y))
  (/ (* z 3.0) (sqrt y))
  (/ (* z 3.0) y)
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (log (* (* z 3.0) y))
  (log (* (* z 3.0) y))
  (log (* (* z 3.0) y))
  (exp (* (* z 3.0) y))
  (pow (* 3.0 (* z y)) 3)
  (pow (* 3.0 (* z y)) 3)
  (* (cbrt (* (* z 3.0) y)) (cbrt (* (* z 3.0) y)))
  (cbrt (* (* z 3.0) y))
  (pow (* 3.0 (* z y)) 3)
  (sqrt (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (* (* z 3.0) (* (cbrt y) (cbrt y)))
  (* (* z 3.0) (sqrt y))
  (* z 3.0)
  (* 3.0 y)
  (exp (- x (/ y (* z 3.0))))
  (log (- x (/ y (* z 3.0))))
  (exp (- x (/ y (* z 3.0))))
  (* (cbrt (- x (/ y (* z 3.0)))) (cbrt (- x (/ y (* z 3.0)))))
  (cbrt (- x (/ y (* z 3.0))))
  (pow (- x (/ y (* z 3.0))) 3)
  (sqrt (- x (/ y (* z 3.0))))
  (sqrt (- x (/ y (* z 3.0))))
  (- (pow x 3) (pow (/ y (* z 3.0)) 3))
  (+ (* (/ y (* z 3.0)) (+ (/ y (* z 3.0)) x)) (* x x))
  (neg (/ y (* z 3.0)))
  (- (* x x) (* (/ y (* z 3.0)) (/ y (* z 3.0))))
  (+ x (/ y (* z 3.0)))
  (+ (sqrt x) (sqrt (/ y (* z 3.0))))
  (- (sqrt x) (sqrt (/ y (* z 3.0))))
  (- x (/ y (* z 3.0)))
  (neg (/ y (* z 3.0)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
0.518 * * * [progress]: adding candidates to table
0.622 * * [progress]: iteration 2 / 4
0.622 * * * [progress]: picking best candidate
0.653 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))))>
0.653 * * * [progress]: localizing error
0.666 * * * [progress]: generating rewritten candidates
0.666 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.680 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
0.682 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
0.683 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
0.687 * * * [progress]: generating series expansions
0.687 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.688 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
0.688 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
0.688 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.688 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.688 * [taylor]: Taking taylor expansion of t in y
0.688 * [taylor]: Taking taylor expansion of (* z y) in y
0.688 * [taylor]: Taking taylor expansion of z in y
0.688 * [taylor]: Taking taylor expansion of y in y
0.688 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
0.688 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.688 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
0.688 * [taylor]: Taking taylor expansion of t in z
0.688 * [taylor]: Taking taylor expansion of (* z y) in z
0.688 * [taylor]: Taking taylor expansion of z in z
0.688 * [taylor]: Taking taylor expansion of y in z
0.688 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
0.688 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.688 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
0.688 * [taylor]: Taking taylor expansion of t in t
0.688 * [taylor]: Taking taylor expansion of (* z y) in t
0.688 * [taylor]: Taking taylor expansion of z in t
0.688 * [taylor]: Taking taylor expansion of y in t
0.688 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
0.688 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.688 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
0.688 * [taylor]: Taking taylor expansion of t in t
0.688 * [taylor]: Taking taylor expansion of (* z y) in t
0.688 * [taylor]: Taking taylor expansion of z in t
0.688 * [taylor]: Taking taylor expansion of y in t
0.688 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
0.689 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.689 * [taylor]: Taking taylor expansion of (* z y) in z
0.689 * [taylor]: Taking taylor expansion of z in z
0.689 * [taylor]: Taking taylor expansion of y in z
0.689 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
0.689 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.689 * [taylor]: Taking taylor expansion of y in y
0.691 * [taylor]: Taking taylor expansion of 0 in z
0.691 * [taylor]: Taking taylor expansion of 0 in y
0.692 * [taylor]: Taking taylor expansion of 0 in z
0.692 * [taylor]: Taking taylor expansion of 0 in y
0.692 * [taylor]: Taking taylor expansion of 0 in y
0.692 * [taylor]: Taking taylor expansion of 0 in z
0.692 * [taylor]: Taking taylor expansion of 0 in y
0.692 * [taylor]: Taking taylor expansion of 0 in y
0.692 * [taylor]: Taking taylor expansion of 0 in y
0.693 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
0.693 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
0.693 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.693 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
0.693 * [taylor]: Taking taylor expansion of (* z y) in y
0.693 * [taylor]: Taking taylor expansion of z in y
0.693 * [taylor]: Taking taylor expansion of y in y
0.693 * [taylor]: Taking taylor expansion of t in y
0.693 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
0.693 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.693 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
0.693 * [taylor]: Taking taylor expansion of (* z y) in z
0.693 * [taylor]: Taking taylor expansion of z in z
0.693 * [taylor]: Taking taylor expansion of y in z
0.693 * [taylor]: Taking taylor expansion of t in z
0.693 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
0.693 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.693 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.693 * [taylor]: Taking taylor expansion of (* z y) in t
0.693 * [taylor]: Taking taylor expansion of z in t
0.693 * [taylor]: Taking taylor expansion of y in t
0.693 * [taylor]: Taking taylor expansion of t in t
0.693 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
0.693 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.693 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.693 * [taylor]: Taking taylor expansion of (* z y) in t
0.693 * [taylor]: Taking taylor expansion of z in t
0.693 * [taylor]: Taking taylor expansion of y in t
0.693 * [taylor]: Taking taylor expansion of t in t
0.693 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
0.693 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.694 * [taylor]: Taking taylor expansion of (* z y) in z
0.694 * [taylor]: Taking taylor expansion of z in z
0.694 * [taylor]: Taking taylor expansion of y in z
0.694 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
0.694 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.694 * [taylor]: Taking taylor expansion of y in y
0.694 * [taylor]: Taking taylor expansion of 0 in z
0.694 * [taylor]: Taking taylor expansion of 0 in y
0.694 * [taylor]: Taking taylor expansion of 0 in y
0.694 * [taylor]: Taking taylor expansion of 0 in z
0.694 * [taylor]: Taking taylor expansion of 0 in y
0.694 * [taylor]: Taking taylor expansion of 0 in y
0.694 * [taylor]: Taking taylor expansion of 0 in y
0.695 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (pow (cbrt -1) 3) (* z y)) t)) in (t z y) around 0
0.695 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (pow (cbrt -1) 3) (* z y)) t)) in y
0.695 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.695 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (* z y)) t) in y
0.695 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* z y)) in y
0.695 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
0.695 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.695 * [taylor]: Taking taylor expansion of -1 in y
0.695 * [taylor]: Taking taylor expansion of (* z y) in y
0.695 * [taylor]: Taking taylor expansion of z in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.695 * [taylor]: Taking taylor expansion of t in y
0.696 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (pow (cbrt -1) 3) (* z y)) t)) in z
0.696 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.696 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (* z y)) t) in z
0.696 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* z y)) in z
0.696 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
0.696 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.696 * [taylor]: Taking taylor expansion of -1 in z
0.696 * [taylor]: Taking taylor expansion of (* z y) in z
0.696 * [taylor]: Taking taylor expansion of z in z
0.696 * [taylor]: Taking taylor expansion of y in z
0.696 * [taylor]: Taking taylor expansion of t in z
0.697 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (pow (cbrt -1) 3) (* z y)) t)) in t
0.697 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.697 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (* z y)) t) in t
0.697 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* z y)) in t
0.697 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
0.697 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.697 * [taylor]: Taking taylor expansion of -1 in t
0.697 * [taylor]: Taking taylor expansion of (* z y) in t
0.697 * [taylor]: Taking taylor expansion of z in t
0.697 * [taylor]: Taking taylor expansion of y in t
0.697 * [taylor]: Taking taylor expansion of t in t
0.698 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* (pow (cbrt -1) 3) (* z y)) t)) in t
0.698 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.698 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (* z y)) t) in t
0.698 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* z y)) in t
0.698 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
0.698 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.698 * [taylor]: Taking taylor expansion of -1 in t
0.698 * [taylor]: Taking taylor expansion of (* z y) in t
0.698 * [taylor]: Taking taylor expansion of z in t
0.698 * [taylor]: Taking taylor expansion of y in t
0.698 * [taylor]: Taking taylor expansion of t in t
0.698 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
0.698 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
0.698 * [taylor]: Taking taylor expansion of (* z y) in z
0.698 * [taylor]: Taking taylor expansion of z in z
0.698 * [taylor]: Taking taylor expansion of y in z
0.698 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
0.698 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
0.698 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.698 * [taylor]: Taking taylor expansion of y in y
0.699 * [taylor]: Taking taylor expansion of 0 in z
0.699 * [taylor]: Taking taylor expansion of 0 in y
0.699 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [taylor]: Taking taylor expansion of 0 in z
0.700 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [taylor]: Taking taylor expansion of 0 in y
0.700 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
0.700 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
0.700 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
0.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
0.700 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
0.700 * [taylor]: Taking taylor expansion of 1/3 in t
0.700 * [taylor]: Taking taylor expansion of (log t) in t
0.700 * [taylor]: Taking taylor expansion of t in t
0.701 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
0.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
0.701 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
0.701 * [taylor]: Taking taylor expansion of 1/3 in t
0.701 * [taylor]: Taking taylor expansion of (log t) in t
0.701 * [taylor]: Taking taylor expansion of t in t
0.707 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
0.707 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.707 * [taylor]: Taking taylor expansion of 1/3 in t
0.707 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.707 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.707 * [taylor]: Taking taylor expansion of t in t
0.707 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.707 * [taylor]: Taking taylor expansion of 1/3 in t
0.707 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.707 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.707 * [taylor]: Taking taylor expansion of t in t
0.714 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
0.714 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
0.714 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.714 * [taylor]: Taking taylor expansion of -1 in t
0.714 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.714 * [taylor]: Taking taylor expansion of 1/3 in t
0.714 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.715 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.715 * [taylor]: Taking taylor expansion of t in t
0.715 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
0.715 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.715 * [taylor]: Taking taylor expansion of -1 in t
0.715 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.715 * [taylor]: Taking taylor expansion of 1/3 in t
0.715 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.715 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.715 * [taylor]: Taking taylor expansion of t in t
0.724 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
0.724 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
0.724 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
0.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
0.724 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
0.724 * [taylor]: Taking taylor expansion of 1/3 in t
0.724 * [taylor]: Taking taylor expansion of (log t) in t
0.724 * [taylor]: Taking taylor expansion of t in t
0.724 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
0.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
0.724 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
0.724 * [taylor]: Taking taylor expansion of 1/3 in t
0.724 * [taylor]: Taking taylor expansion of (log t) in t
0.724 * [taylor]: Taking taylor expansion of t in t
0.730 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
0.730 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.730 * [taylor]: Taking taylor expansion of 1/3 in t
0.730 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.730 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.730 * [taylor]: Taking taylor expansion of t in t
0.731 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.731 * [taylor]: Taking taylor expansion of 1/3 in t
0.731 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.731 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.731 * [taylor]: Taking taylor expansion of t in t
0.737 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
0.738 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
0.738 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.738 * [taylor]: Taking taylor expansion of -1 in t
0.738 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.738 * [taylor]: Taking taylor expansion of 1/3 in t
0.738 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.738 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.738 * [taylor]: Taking taylor expansion of t in t
0.738 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
0.738 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.738 * [taylor]: Taking taylor expansion of -1 in t
0.738 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.738 * [taylor]: Taking taylor expansion of 1/3 in t
0.738 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.738 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.738 * [taylor]: Taking taylor expansion of t in t
0.746 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
0.747 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
0.747 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
0.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
0.747 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
0.747 * [taylor]: Taking taylor expansion of 1/3 in t
0.747 * [taylor]: Taking taylor expansion of (log t) in t
0.747 * [taylor]: Taking taylor expansion of t in t
0.747 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
0.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
0.747 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
0.747 * [taylor]: Taking taylor expansion of 1/3 in t
0.747 * [taylor]: Taking taylor expansion of (log t) in t
0.747 * [taylor]: Taking taylor expansion of t in t
0.753 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
0.753 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.753 * [taylor]: Taking taylor expansion of 1/3 in t
0.753 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.753 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.753 * [taylor]: Taking taylor expansion of t in t
0.753 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.754 * [taylor]: Taking taylor expansion of 1/3 in t
0.754 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.754 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.754 * [taylor]: Taking taylor expansion of t in t
0.760 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
0.760 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
0.760 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.760 * [taylor]: Taking taylor expansion of -1 in t
0.761 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.761 * [taylor]: Taking taylor expansion of 1/3 in t
0.761 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.761 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.761 * [taylor]: Taking taylor expansion of t in t
0.761 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
0.761 * [taylor]: Taking taylor expansion of (cbrt -1) in t
0.761 * [taylor]: Taking taylor expansion of -1 in t
0.761 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
0.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
0.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
0.761 * [taylor]: Taking taylor expansion of 1/3 in t
0.761 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.761 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.761 * [taylor]: Taking taylor expansion of t in t
0.770 * * * [progress]: simplifying candidates
0.771 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))
  (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt t)) (log y)))
  (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (log (/ (cbrt t) y)))
  (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (- (log (cbrt t)) (log y)))
  (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (log (/ (cbrt t) y)))
  (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt t)) (log y)))
  (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (log (/ (cbrt t) y)))
  (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (- (log (cbrt t)) (log y)))
  (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (log (/ (cbrt t) y)))
  (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (- (log (cbrt t)) (log y)))
  (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (log (/ (cbrt t) y)))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y)))
  (exp (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y)))
  (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ t (* (* y y) y)))
  (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (* (* (/ (cbrt t) y) (/ (cbrt t) y)) (/ (cbrt t) y)))
  (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ t (* (* y y) y)))
  (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (* (* (/ (cbrt t) y) (/ (cbrt t) y)) (/ (cbrt t) y)))
  (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ t (* (* y y) y)))
  (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (* (* (/ (cbrt t) y) (/ (cbrt t) y)) (/ (cbrt t) y)))
  (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ t (* (* y y) y)))
  (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (* (* (/ (cbrt t) y) (/ (cbrt t) y)) (/ (cbrt t) y)))
  (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ t (* (* y y) y)))
  (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (* (* (/ (cbrt t) y) (/ (cbrt t) y)) (/ (cbrt t) y)))
  (* (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))) (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))))
  (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y)))
  (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y)) (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))) (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y)))
  (sqrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y)))
  (sqrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y)))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (* (* z 3.0) y)
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (sqrt (/ (cbrt t) y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (sqrt (/ (cbrt t) y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (sqrt t)) (sqrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (sqrt t)) (sqrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (sqrt (cbrt t)) (sqrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (sqrt (cbrt t)) (sqrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (cbrt (/ (cbrt t) y)) (cbrt (/ (cbrt t) y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (sqrt (/ (cbrt t) y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (sqrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) 1))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (sqrt t)) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (sqrt t)) (sqrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (sqrt t)) 1))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt 1) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt 1) (sqrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt 1) 1))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt (cbrt t)) (cbrt (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt (cbrt t)) (cbrt (cbrt t))) (sqrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt (cbrt t)) (cbrt (cbrt t))) 1))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (sqrt (cbrt t)) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (sqrt (cbrt t)) (sqrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (sqrt (cbrt t)) 1))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ 1 (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ 1 (sqrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ 1 1))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 1)
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt t))
  (* (cbrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt t) y))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt t) y))
  (* (/ (cbrt t) 3.0) (/ (cbrt t) y))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))
  (* (/ 1 (* z 3.0)) (/ (cbrt t) y))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt t))
  (* (* (cbrt t) (cbrt t)) (/ (cbrt t) y))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
0.777 * * [simplify]: iteration  0 :  519  enodes  (cost  882 )
0.788 * * [simplify]: iteration  1 :  2979  enodes  (cost  728 )
0.843 * * [simplify]: iteration  2 :  5001  enodes  (cost  657 )
0.847 * [simplify]: Simplified to:
   (/ (pow (cbrt t) 3) (* (* z 3.0) y))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (- (log (pow (cbrt t) 3)) (log (* (* z 3.0) y)))
  (pow (exp 1) (/ (pow (cbrt t) 3) (* (* z 3.0) y)))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (* (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))) (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y))))
  (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y)))
  (/ (pow (/ (/ (pow (cbrt t) 3) 3.0) z) 3) (pow y 3))
  (sqrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y)))
  (sqrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt t) y)))
  t
  (* (* z 3.0) y)
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (sqrt (/ (cbrt t) y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (sqrt (/ (cbrt t) y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (sqrt t)) (sqrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (sqrt t)) (sqrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (sqrt (cbrt t)) (sqrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (sqrt (cbrt t)) (sqrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (cbrt (/ (cbrt t) y)) (cbrt (/ (cbrt t) y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (sqrt (/ (cbrt t) y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (sqrt y)))
  (/ (* (* (cbrt t) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (* z 3.0))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (sqrt t)) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (sqrt t)) (sqrt y)))
  (/ (* (* (cbrt t) (cbrt t)) (cbrt (sqrt t))) (* z 3.0))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt 1) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt 1) (sqrt y)))
  (/ (* (* (cbrt t) (cbrt t)) (cbrt 1)) (* z 3.0))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt (cbrt t)) (cbrt (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt (cbrt t)) (cbrt (cbrt t))) (sqrt y)))
  (/ (* (* (cbrt t) (cbrt t)) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (* z 3.0))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (sqrt (cbrt t)) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (sqrt (cbrt t)) (sqrt y)))
  (/ (* (* (cbrt t) (cbrt t)) (sqrt (cbrt t))) (* z 3.0))
  (/ (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (cbrt y) (cbrt y)))
  (/ (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (sqrt y))
  (/ (* (cbrt t) (cbrt t)) (* z 3.0))
  (/ (* (cbrt t) (cbrt t)) (* z 3.0))
  (/ t (* z 3.0))
  (* (cbrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt t) y))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt t) y))
  (* (/ (cbrt t) 3.0) (/ (cbrt t) y))
  (/ (pow (cbrt t) 3) (* (* z 3.0) y))
  (/ (/ (/ (cbrt t) y) 3.0) z)
  (/ t (* z 3.0))
  (/ t y)
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* (pow 1 1/3) (pow t 1/3))
  (* (pow 1 1/3) (pow t 1/3))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (* (pow 1 1/3) (pow t 1/3))
  (* (pow 1 1/3) (pow t 1/3))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (* (pow 1 1/3) (pow t 1/3))
  (* (pow 1 1/3) (pow t 1/3))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
0.847 * * * [progress]: adding candidates to table
0.962 * * [progress]: iteration 3 / 4
0.962 * * * [progress]: picking best candidate
0.995 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))))>
0.995 * * * [progress]: localizing error
1.019 * * * [progress]: generating rewritten candidates
1.019 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.034 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.059 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
1.060 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 2)
1.075 * * * [progress]: generating series expansions
1.075 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.075 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (pow t 8) 1/9) (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3)))) in (t z y) around 0
1.075 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (pow t 8) 1/9) (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3)))) in y
1.075 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.075 * [taylor]: Taking taylor expansion of (* (pow (pow t 8) 1/9) (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3))) in y
1.075 * [taylor]: Taking taylor expansion of (pow (pow t 8) 1/9) in y
1.075 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow t 8)))) in y
1.075 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow t 8))) in y
1.076 * [taylor]: Taking taylor expansion of 1/9 in y
1.076 * [taylor]: Taking taylor expansion of (log (pow t 8)) in y
1.076 * [taylor]: Taking taylor expansion of (pow t 8) in y
1.076 * [taylor]: Taking taylor expansion of t in y
1.076 * [taylor]: Taking taylor expansion of (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3)) in y
1.076 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.076 * [taylor]: Taking taylor expansion of z in y
1.076 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
1.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
1.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
1.076 * [taylor]: Taking taylor expansion of 1/3 in y
1.076 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
1.076 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.076 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.076 * [taylor]: Taking taylor expansion of y in y
1.076 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (pow t 8) 1/9) (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3)))) in z
1.076 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.076 * [taylor]: Taking taylor expansion of (* (pow (pow t 8) 1/9) (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3))) in z
1.076 * [taylor]: Taking taylor expansion of (pow (pow t 8) 1/9) in z
1.076 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow t 8)))) in z
1.076 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow t 8))) in z
1.076 * [taylor]: Taking taylor expansion of 1/9 in z
1.076 * [taylor]: Taking taylor expansion of (log (pow t 8)) in z
1.077 * [taylor]: Taking taylor expansion of (pow t 8) in z
1.077 * [taylor]: Taking taylor expansion of t in z
1.077 * [taylor]: Taking taylor expansion of (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3)) in z
1.077 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.077 * [taylor]: Taking taylor expansion of z in z
1.077 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in z
1.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in z
1.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in z
1.077 * [taylor]: Taking taylor expansion of 1/3 in z
1.077 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in z
1.077 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
1.077 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.077 * [taylor]: Taking taylor expansion of y in z
1.077 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (pow t 8) 1/9) (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3)))) in t
1.077 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.077 * [taylor]: Taking taylor expansion of (* (pow (pow t 8) 1/9) (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3))) in t
1.077 * [taylor]: Taking taylor expansion of (pow (pow t 8) 1/9) in t
1.077 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow t 8)))) in t
1.077 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow t 8))) in t
1.077 * [taylor]: Taking taylor expansion of 1/9 in t
1.077 * [taylor]: Taking taylor expansion of (log (pow t 8)) in t
1.077 * [taylor]: Taking taylor expansion of (pow t 8) in t
1.077 * [taylor]: Taking taylor expansion of t in t
1.078 * [taylor]: Taking taylor expansion of (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3)) in t
1.078 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.078 * [taylor]: Taking taylor expansion of z in t
1.078 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in t
1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in t
1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in t
1.078 * [taylor]: Taking taylor expansion of 1/3 in t
1.078 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in t
1.078 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in t
1.078 * [taylor]: Taking taylor expansion of (pow y 2) in t
1.078 * [taylor]: Taking taylor expansion of y in t
1.078 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (pow t 8) 1/9) (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3)))) in t
1.078 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.078 * [taylor]: Taking taylor expansion of (* (pow (pow t 8) 1/9) (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3))) in t
1.078 * [taylor]: Taking taylor expansion of (pow (pow t 8) 1/9) in t
1.078 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow t 8)))) in t
1.078 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow t 8))) in t
1.078 * [taylor]: Taking taylor expansion of 1/9 in t
1.078 * [taylor]: Taking taylor expansion of (log (pow t 8)) in t
1.078 * [taylor]: Taking taylor expansion of (pow t 8) in t
1.078 * [taylor]: Taking taylor expansion of t in t
1.079 * [taylor]: Taking taylor expansion of (* (/ 1 z) (pow (/ 1 (pow y 2)) 1/3)) in t
1.079 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.079 * [taylor]: Taking taylor expansion of z in t
1.079 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in t
1.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in t
1.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in t
1.079 * [taylor]: Taking taylor expansion of 1/3 in t
1.079 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in t
1.079 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in t
1.079 * [taylor]: Taking taylor expansion of (pow y 2) in t
1.079 * [taylor]: Taking taylor expansion of y in t
1.080 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (/ (exp (* 1/9 (+ (* 8 (log t)) (log 1)))) z) (pow (/ 1 (pow y 2)) 1/3))) in z
1.080 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.080 * [taylor]: Taking taylor expansion of (* (/ (exp (* 1/9 (+ (* 8 (log t)) (log 1)))) z) (pow (/ 1 (pow y 2)) 1/3)) in z
1.080 * [taylor]: Taking taylor expansion of (/ (exp (* 1/9 (+ (* 8 (log t)) (log 1)))) z) in z
1.080 * [taylor]: Taking taylor expansion of (exp (* 1/9 (+ (* 8 (log t)) (log 1)))) in z
1.080 * [taylor]: Taking taylor expansion of (* 1/9 (+ (* 8 (log t)) (log 1))) in z
1.080 * [taylor]: Taking taylor expansion of 1/9 in z
1.080 * [taylor]: Taking taylor expansion of (+ (* 8 (log t)) (log 1)) in z
1.080 * [taylor]: Taking taylor expansion of (* 8 (log t)) in z
1.080 * [taylor]: Taking taylor expansion of 8 in z
1.080 * [taylor]: Taking taylor expansion of (log t) in z
1.080 * [taylor]: Taking taylor expansion of t in z
1.080 * [taylor]: Taking taylor expansion of (log 1) in z
1.080 * [taylor]: Taking taylor expansion of 1 in z
1.080 * [taylor]: Taking taylor expansion of z in z
1.080 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in z
1.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in z
1.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in z
1.080 * [taylor]: Taking taylor expansion of 1/3 in z
1.080 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in z
1.080 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
1.080 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.080 * [taylor]: Taking taylor expansion of y in z
1.081 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/9 (+ (* 8 (log t)) (log 1)))) (pow (/ 1 (pow y 2)) 1/3))) in y
1.081 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.081 * [taylor]: Taking taylor expansion of (* (exp (* 1/9 (+ (* 8 (log t)) (log 1)))) (pow (/ 1 (pow y 2)) 1/3)) in y
1.081 * [taylor]: Taking taylor expansion of (exp (* 1/9 (+ (* 8 (log t)) (log 1)))) in y
1.081 * [taylor]: Taking taylor expansion of (* 1/9 (+ (* 8 (log t)) (log 1))) in y
1.081 * [taylor]: Taking taylor expansion of 1/9 in y
1.081 * [taylor]: Taking taylor expansion of (+ (* 8 (log t)) (log 1)) in y
1.081 * [taylor]: Taking taylor expansion of (* 8 (log t)) in y
1.081 * [taylor]: Taking taylor expansion of 8 in y
1.081 * [taylor]: Taking taylor expansion of (log t) in y
1.081 * [taylor]: Taking taylor expansion of t in y
1.081 * [taylor]: Taking taylor expansion of (log 1) in y
1.081 * [taylor]: Taking taylor expansion of 1 in y
1.081 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
1.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
1.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
1.081 * [taylor]: Taking taylor expansion of 1/3 in y
1.081 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
1.081 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.081 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.081 * [taylor]: Taking taylor expansion of y in y
1.083 * [taylor]: Taking taylor expansion of 0 in z
1.085 * [taylor]: Taking taylor expansion of 0 in y
1.088 * [taylor]: Taking taylor expansion of 0 in z
1.088 * [taylor]: Taking taylor expansion of 0 in y
1.090 * [taylor]: Taking taylor expansion of 0 in y
1.096 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (/ 1 (pow t 8)) 1/9) (* z (pow (pow y 2) 1/3)))) in (t z y) around 0
1.096 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (/ 1 (pow t 8)) 1/9) (* z (pow (pow y 2) 1/3)))) in y
1.096 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.096 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 8)) 1/9) (* z (pow (pow y 2) 1/3))) in y
1.096 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 8)) 1/9) in y
1.096 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow t 8))))) in y
1.096 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow t 8)))) in y
1.096 * [taylor]: Taking taylor expansion of 1/9 in y
1.096 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 8))) in y
1.096 * [taylor]: Taking taylor expansion of (/ 1 (pow t 8)) in y
1.096 * [taylor]: Taking taylor expansion of (pow t 8) in y
1.096 * [taylor]: Taking taylor expansion of t in y
1.097 * [taylor]: Taking taylor expansion of (* z (pow (pow y 2) 1/3)) in y
1.097 * [taylor]: Taking taylor expansion of z in y
1.097 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
1.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
1.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
1.097 * [taylor]: Taking taylor expansion of 1/3 in y
1.097 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
1.097 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.097 * [taylor]: Taking taylor expansion of y in y
1.097 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (/ 1 (pow t 8)) 1/9) (* z (pow (pow y 2) 1/3)))) in z
1.097 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.097 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 8)) 1/9) (* z (pow (pow y 2) 1/3))) in z
1.097 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 8)) 1/9) in z
1.097 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow t 8))))) in z
1.097 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow t 8)))) in z
1.097 * [taylor]: Taking taylor expansion of 1/9 in z
1.097 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 8))) in z
1.097 * [taylor]: Taking taylor expansion of (/ 1 (pow t 8)) in z
1.097 * [taylor]: Taking taylor expansion of (pow t 8) in z
1.097 * [taylor]: Taking taylor expansion of t in z
1.097 * [taylor]: Taking taylor expansion of (* z (pow (pow y 2) 1/3)) in z
1.098 * [taylor]: Taking taylor expansion of z in z
1.098 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in z
1.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in z
1.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in z
1.098 * [taylor]: Taking taylor expansion of 1/3 in z
1.098 * [taylor]: Taking taylor expansion of (log (pow y 2)) in z
1.098 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.098 * [taylor]: Taking taylor expansion of y in z
1.098 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (/ 1 (pow t 8)) 1/9) (* z (pow (pow y 2) 1/3)))) in t
1.098 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.098 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 8)) 1/9) (* z (pow (pow y 2) 1/3))) in t
1.098 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 8)) 1/9) in t
1.098 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow t 8))))) in t
1.098 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow t 8)))) in t
1.098 * [taylor]: Taking taylor expansion of 1/9 in t
1.098 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 8))) in t
1.098 * [taylor]: Taking taylor expansion of (/ 1 (pow t 8)) in t
1.098 * [taylor]: Taking taylor expansion of (pow t 8) in t
1.098 * [taylor]: Taking taylor expansion of t in t
1.098 * [taylor]: Taking taylor expansion of (* z (pow (pow y 2) 1/3)) in t
1.098 * [taylor]: Taking taylor expansion of z in t
1.098 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in t
1.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in t
1.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in t
1.098 * [taylor]: Taking taylor expansion of 1/3 in t
1.098 * [taylor]: Taking taylor expansion of (log (pow y 2)) in t
1.098 * [taylor]: Taking taylor expansion of (pow y 2) in t
1.098 * [taylor]: Taking taylor expansion of y in t
1.099 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (/ 1 (pow t 8)) 1/9) (* z (pow (pow y 2) 1/3)))) in t
1.099 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.099 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow t 8)) 1/9) (* z (pow (pow y 2) 1/3))) in t
1.099 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 8)) 1/9) in t
1.099 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow t 8))))) in t
1.099 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow t 8)))) in t
1.099 * [taylor]: Taking taylor expansion of 1/9 in t
1.099 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 8))) in t
1.099 * [taylor]: Taking taylor expansion of (/ 1 (pow t 8)) in t
1.099 * [taylor]: Taking taylor expansion of (pow t 8) in t
1.099 * [taylor]: Taking taylor expansion of t in t
1.099 * [taylor]: Taking taylor expansion of (* z (pow (pow y 2) 1/3)) in t
1.099 * [taylor]: Taking taylor expansion of z in t
1.099 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in t
1.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in t
1.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in t
1.099 * [taylor]: Taking taylor expansion of 1/3 in t
1.099 * [taylor]: Taking taylor expansion of (log (pow y 2)) in t
1.099 * [taylor]: Taking taylor expansion of (pow y 2) in t
1.099 * [taylor]: Taking taylor expansion of y in t
1.100 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (* (exp (* 1/9 (- (log 1) (* 8 (log t))))) z) (pow (pow y 2) 1/3))) in z
1.100 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.100 * [taylor]: Taking taylor expansion of (* (* (exp (* 1/9 (- (log 1) (* 8 (log t))))) z) (pow (pow y 2) 1/3)) in z
1.100 * [taylor]: Taking taylor expansion of (* (exp (* 1/9 (- (log 1) (* 8 (log t))))) z) in z
1.100 * [taylor]: Taking taylor expansion of (exp (* 1/9 (- (log 1) (* 8 (log t))))) in z
1.100 * [taylor]: Taking taylor expansion of (* 1/9 (- (log 1) (* 8 (log t)))) in z
1.100 * [taylor]: Taking taylor expansion of 1/9 in z
1.100 * [taylor]: Taking taylor expansion of (- (log 1) (* 8 (log t))) in z
1.100 * [taylor]: Taking taylor expansion of (log 1) in z
1.100 * [taylor]: Taking taylor expansion of 1 in z
1.100 * [taylor]: Taking taylor expansion of (* 8 (log t)) in z
1.100 * [taylor]: Taking taylor expansion of 8 in z
1.100 * [taylor]: Taking taylor expansion of (log t) in z
1.100 * [taylor]: Taking taylor expansion of t in z
1.100 * [taylor]: Taking taylor expansion of z in z
1.100 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in z
1.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in z
1.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in z
1.100 * [taylor]: Taking taylor expansion of 1/3 in z
1.100 * [taylor]: Taking taylor expansion of (log (pow y 2)) in z
1.100 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.100 * [taylor]: Taking taylor expansion of y in z
1.101 * [taylor]: Taking taylor expansion of 0 in y
1.102 * [taylor]: Taking taylor expansion of 0 in z
1.102 * [taylor]: Taking taylor expansion of 0 in y
1.103 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/9 (- (log 1) (* 8 (log t))))) (pow (pow y 2) 1/3))) in y
1.103 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.103 * [taylor]: Taking taylor expansion of (* (exp (* 1/9 (- (log 1) (* 8 (log t))))) (pow (pow y 2) 1/3)) in y
1.103 * [taylor]: Taking taylor expansion of (exp (* 1/9 (- (log 1) (* 8 (log t))))) in y
1.103 * [taylor]: Taking taylor expansion of (* 1/9 (- (log 1) (* 8 (log t)))) in y
1.103 * [taylor]: Taking taylor expansion of 1/9 in y
1.103 * [taylor]: Taking taylor expansion of (- (log 1) (* 8 (log t))) in y
1.103 * [taylor]: Taking taylor expansion of (log 1) in y
1.103 * [taylor]: Taking taylor expansion of 1 in y
1.103 * [taylor]: Taking taylor expansion of (* 8 (log t)) in y
1.103 * [taylor]: Taking taylor expansion of 8 in y
1.103 * [taylor]: Taking taylor expansion of (log t) in y
1.103 * [taylor]: Taking taylor expansion of t in y
1.103 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
1.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
1.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
1.104 * [taylor]: Taking taylor expansion of 1/3 in y
1.104 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
1.104 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.104 * [taylor]: Taking taylor expansion of y in y
1.106 * [taylor]: Taking taylor expansion of 0 in z
1.106 * [taylor]: Taking taylor expansion of 0 in y
1.106 * [taylor]: Taking taylor expansion of 0 in y
1.107 * [taylor]: Taking taylor expansion of 0 in y
1.109 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* z (pow (/ 1 (pow t 8)) 1/9)))) in (t z y) around 0
1.109 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* z (pow (/ 1 (pow t 8)) 1/9)))) in y
1.109 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.109 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* z (pow (/ 1 (pow t 8)) 1/9))) in y
1.109 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) in y
1.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2))))) in y
1.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2)))) in y
1.109 * [taylor]: Taking taylor expansion of 1/3 in y
1.109 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 2))) in y
1.109 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 2)) in y
1.109 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
1.109 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.109 * [taylor]: Taking taylor expansion of -1 in y
1.110 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.110 * [taylor]: Taking taylor expansion of y in y
1.110 * [taylor]: Taking taylor expansion of (* z (pow (/ 1 (pow t 8)) 1/9)) in y
1.110 * [taylor]: Taking taylor expansion of z in y
1.110 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 8)) 1/9) in y
1.110 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow t 8))))) in y
1.110 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow t 8)))) in y
1.110 * [taylor]: Taking taylor expansion of 1/9 in y
1.110 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 8))) in y
1.110 * [taylor]: Taking taylor expansion of (/ 1 (pow t 8)) in y
1.110 * [taylor]: Taking taylor expansion of (pow t 8) in y
1.110 * [taylor]: Taking taylor expansion of t in y
1.111 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* z (pow (/ 1 (pow t 8)) 1/9)))) in z
1.111 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.111 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* z (pow (/ 1 (pow t 8)) 1/9))) in z
1.111 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) in z
1.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2))))) in z
1.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2)))) in z
1.111 * [taylor]: Taking taylor expansion of 1/3 in z
1.111 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 2))) in z
1.111 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 2)) in z
1.111 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.111 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.111 * [taylor]: Taking taylor expansion of -1 in z
1.111 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.111 * [taylor]: Taking taylor expansion of y in z
1.112 * [taylor]: Taking taylor expansion of (* z (pow (/ 1 (pow t 8)) 1/9)) in z
1.112 * [taylor]: Taking taylor expansion of z in z
1.112 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 8)) 1/9) in z
1.112 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow t 8))))) in z
1.112 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow t 8)))) in z
1.112 * [taylor]: Taking taylor expansion of 1/9 in z
1.112 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 8))) in z
1.112 * [taylor]: Taking taylor expansion of (/ 1 (pow t 8)) in z
1.112 * [taylor]: Taking taylor expansion of (pow t 8) in z
1.112 * [taylor]: Taking taylor expansion of t in z
1.112 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* z (pow (/ 1 (pow t 8)) 1/9)))) in t
1.113 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.113 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* z (pow (/ 1 (pow t 8)) 1/9))) in t
1.113 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) in t
1.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2))))) in t
1.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2)))) in t
1.113 * [taylor]: Taking taylor expansion of 1/3 in t
1.113 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 2))) in t
1.113 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 2)) in t
1.113 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
1.113 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.113 * [taylor]: Taking taylor expansion of -1 in t
1.113 * [taylor]: Taking taylor expansion of (pow y 2) in t
1.113 * [taylor]: Taking taylor expansion of y in t
1.113 * [taylor]: Taking taylor expansion of (* z (pow (/ 1 (pow t 8)) 1/9)) in t
1.114 * [taylor]: Taking taylor expansion of z in t
1.114 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 8)) 1/9) in t
1.114 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow t 8))))) in t
1.114 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow t 8)))) in t
1.114 * [taylor]: Taking taylor expansion of 1/9 in t
1.114 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 8))) in t
1.114 * [taylor]: Taking taylor expansion of (/ 1 (pow t 8)) in t
1.114 * [taylor]: Taking taylor expansion of (pow t 8) in t
1.114 * [taylor]: Taking taylor expansion of t in t
1.114 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* z (pow (/ 1 (pow t 8)) 1/9)))) in t
1.114 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.114 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* z (pow (/ 1 (pow t 8)) 1/9))) in t
1.114 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) in t
1.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2))))) in t
1.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2)))) in t
1.114 * [taylor]: Taking taylor expansion of 1/3 in t
1.114 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 2))) in t
1.114 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 2)) in t
1.114 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
1.114 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.114 * [taylor]: Taking taylor expansion of -1 in t
1.114 * [taylor]: Taking taylor expansion of (pow y 2) in t
1.114 * [taylor]: Taking taylor expansion of y in t
1.115 * [taylor]: Taking taylor expansion of (* z (pow (/ 1 (pow t 8)) 1/9)) in t
1.115 * [taylor]: Taking taylor expansion of z in t
1.115 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 8)) 1/9) in t
1.115 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow t 8))))) in t
1.115 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow t 8)))) in t
1.115 * [taylor]: Taking taylor expansion of 1/9 in t
1.115 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 8))) in t
1.115 * [taylor]: Taking taylor expansion of (/ 1 (pow t 8)) in t
1.115 * [taylor]: Taking taylor expansion of (pow t 8) in t
1.115 * [taylor]: Taking taylor expansion of t in t
1.116 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* (exp (* 1/9 (- (log 1) (* 8 (log t))))) z))) in z
1.116 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.116 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (* (exp (* 1/9 (- (log 1) (* 8 (log t))))) z)) in z
1.116 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) in z
1.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2))))) in z
1.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2)))) in z
1.116 * [taylor]: Taking taylor expansion of 1/3 in z
1.116 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 2))) in z
1.116 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 2)) in z
1.116 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.116 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.116 * [taylor]: Taking taylor expansion of -1 in z
1.116 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.116 * [taylor]: Taking taylor expansion of y in z
1.117 * [taylor]: Taking taylor expansion of (* (exp (* 1/9 (- (log 1) (* 8 (log t))))) z) in z
1.117 * [taylor]: Taking taylor expansion of (exp (* 1/9 (- (log 1) (* 8 (log t))))) in z
1.117 * [taylor]: Taking taylor expansion of (* 1/9 (- (log 1) (* 8 (log t)))) in z
1.117 * [taylor]: Taking taylor expansion of 1/9 in z
1.117 * [taylor]: Taking taylor expansion of (- (log 1) (* 8 (log t))) in z
1.117 * [taylor]: Taking taylor expansion of (log 1) in z
1.117 * [taylor]: Taking taylor expansion of 1 in z
1.117 * [taylor]: Taking taylor expansion of (* 8 (log t)) in z
1.117 * [taylor]: Taking taylor expansion of 8 in z
1.117 * [taylor]: Taking taylor expansion of (log t) in z
1.117 * [taylor]: Taking taylor expansion of t in z
1.117 * [taylor]: Taking taylor expansion of z in z
1.118 * [taylor]: Taking taylor expansion of 0 in y
1.120 * [taylor]: Taking taylor expansion of 0 in z
1.120 * [taylor]: Taking taylor expansion of 0 in y
1.122 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (exp (* 1/9 (- (log 1) (* 8 (log t)))))))) in y
1.122 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (exp (* 1/9 (- (log 1) (* 8 (log t))))))) in y
1.122 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.122 * [taylor]: Taking taylor expansion of (* (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) (exp (* 1/9 (- (log 1) (* 8 (log t)))))) in y
1.122 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 2) (pow y 2)) 1/3) in y
1.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2))))) in y
1.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (cbrt -1) 2) (pow y 2)))) in y
1.122 * [taylor]: Taking taylor expansion of 1/3 in y
1.122 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 2))) in y
1.122 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 2)) in y
1.122 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
1.122 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.122 * [taylor]: Taking taylor expansion of -1 in y
1.122 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.122 * [taylor]: Taking taylor expansion of y in y
1.123 * [taylor]: Taking taylor expansion of (exp (* 1/9 (- (log 1) (* 8 (log t))))) in y
1.123 * [taylor]: Taking taylor expansion of (* 1/9 (- (log 1) (* 8 (log t)))) in y
1.123 * [taylor]: Taking taylor expansion of 1/9 in y
1.123 * [taylor]: Taking taylor expansion of (- (log 1) (* 8 (log t))) in y
1.123 * [taylor]: Taking taylor expansion of (log 1) in y
1.123 * [taylor]: Taking taylor expansion of 1 in y
1.123 * [taylor]: Taking taylor expansion of (* 8 (log t)) in y
1.123 * [taylor]: Taking taylor expansion of 8 in y
1.123 * [taylor]: Taking taylor expansion of (log t) in y
1.123 * [taylor]: Taking taylor expansion of t in y
1.127 * [taylor]: Taking taylor expansion of 0 in z
1.127 * [taylor]: Taking taylor expansion of 0 in y
1.127 * [taylor]: Taking taylor expansion of 0 in y
1.130 * [taylor]: Taking taylor expansion of 0 in y
1.132 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.132 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
1.132 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.132 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.132 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.132 * [taylor]: Taking taylor expansion of t in y
1.133 * [taylor]: Taking taylor expansion of (* z y) in y
1.133 * [taylor]: Taking taylor expansion of z in y
1.133 * [taylor]: Taking taylor expansion of y in y
1.133 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.133 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.133 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.133 * [taylor]: Taking taylor expansion of t in z
1.133 * [taylor]: Taking taylor expansion of (* z y) in z
1.133 * [taylor]: Taking taylor expansion of z in z
1.133 * [taylor]: Taking taylor expansion of y in z
1.133 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.133 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.133 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.133 * [taylor]: Taking taylor expansion of t in t
1.133 * [taylor]: Taking taylor expansion of (* z y) in t
1.133 * [taylor]: Taking taylor expansion of z in t
1.133 * [taylor]: Taking taylor expansion of y in t
1.133 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.133 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.133 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.133 * [taylor]: Taking taylor expansion of t in t
1.133 * [taylor]: Taking taylor expansion of (* z y) in t
1.133 * [taylor]: Taking taylor expansion of z in t
1.133 * [taylor]: Taking taylor expansion of y in t
1.133 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
1.133 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.133 * [taylor]: Taking taylor expansion of (* z y) in z
1.133 * [taylor]: Taking taylor expansion of z in z
1.133 * [taylor]: Taking taylor expansion of y in z
1.133 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
1.133 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.133 * [taylor]: Taking taylor expansion of y in y
1.134 * [taylor]: Taking taylor expansion of 0 in z
1.134 * [taylor]: Taking taylor expansion of 0 in y
1.134 * [taylor]: Taking taylor expansion of 0 in z
1.134 * [taylor]: Taking taylor expansion of 0 in y
1.134 * [taylor]: Taking taylor expansion of 0 in y
1.134 * [taylor]: Taking taylor expansion of 0 in z
1.134 * [taylor]: Taking taylor expansion of 0 in y
1.135 * [taylor]: Taking taylor expansion of 0 in y
1.135 * [taylor]: Taking taylor expansion of 0 in y
1.135 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.135 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.135 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.135 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.135 * [taylor]: Taking taylor expansion of (* z y) in y
1.135 * [taylor]: Taking taylor expansion of z in y
1.135 * [taylor]: Taking taylor expansion of y in y
1.135 * [taylor]: Taking taylor expansion of t in y
1.135 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.135 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.135 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.135 * [taylor]: Taking taylor expansion of (* z y) in z
1.135 * [taylor]: Taking taylor expansion of z in z
1.136 * [taylor]: Taking taylor expansion of y in z
1.136 * [taylor]: Taking taylor expansion of t in z
1.136 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.136 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.136 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.136 * [taylor]: Taking taylor expansion of (* z y) in t
1.136 * [taylor]: Taking taylor expansion of z in t
1.136 * [taylor]: Taking taylor expansion of y in t
1.136 * [taylor]: Taking taylor expansion of t in t
1.136 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.136 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.136 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.136 * [taylor]: Taking taylor expansion of (* z y) in t
1.136 * [taylor]: Taking taylor expansion of z in t
1.136 * [taylor]: Taking taylor expansion of y in t
1.136 * [taylor]: Taking taylor expansion of t in t
1.136 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
1.136 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.136 * [taylor]: Taking taylor expansion of (* z y) in z
1.136 * [taylor]: Taking taylor expansion of z in z
1.136 * [taylor]: Taking taylor expansion of y in z
1.136 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.136 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.136 * [taylor]: Taking taylor expansion of y in y
1.136 * [taylor]: Taking taylor expansion of 0 in z
1.136 * [taylor]: Taking taylor expansion of 0 in y
1.136 * [taylor]: Taking taylor expansion of 0 in y
1.137 * [taylor]: Taking taylor expansion of 0 in z
1.137 * [taylor]: Taking taylor expansion of 0 in y
1.137 * [taylor]: Taking taylor expansion of 0 in y
1.137 * [taylor]: Taking taylor expansion of 0 in y
1.138 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.138 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.138 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.138 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.138 * [taylor]: Taking taylor expansion of (* z y) in y
1.138 * [taylor]: Taking taylor expansion of z in y
1.138 * [taylor]: Taking taylor expansion of y in y
1.138 * [taylor]: Taking taylor expansion of t in y
1.138 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.138 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.138 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.138 * [taylor]: Taking taylor expansion of (* z y) in z
1.138 * [taylor]: Taking taylor expansion of z in z
1.138 * [taylor]: Taking taylor expansion of y in z
1.138 * [taylor]: Taking taylor expansion of t in z
1.138 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.138 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.138 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.138 * [taylor]: Taking taylor expansion of (* z y) in t
1.138 * [taylor]: Taking taylor expansion of z in t
1.138 * [taylor]: Taking taylor expansion of y in t
1.138 * [taylor]: Taking taylor expansion of t in t
1.138 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.138 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.138 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.138 * [taylor]: Taking taylor expansion of (* z y) in t
1.138 * [taylor]: Taking taylor expansion of z in t
1.138 * [taylor]: Taking taylor expansion of y in t
1.138 * [taylor]: Taking taylor expansion of t in t
1.139 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
1.139 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.139 * [taylor]: Taking taylor expansion of (* z y) in z
1.139 * [taylor]: Taking taylor expansion of z in z
1.139 * [taylor]: Taking taylor expansion of y in z
1.139 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
1.139 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.139 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.139 * [taylor]: Taking taylor expansion of y in y
1.139 * [taylor]: Taking taylor expansion of 0 in z
1.139 * [taylor]: Taking taylor expansion of 0 in y
1.139 * [taylor]: Taking taylor expansion of 0 in y
1.139 * [taylor]: Taking taylor expansion of 0 in z
1.139 * [taylor]: Taking taylor expansion of 0 in y
1.139 * [taylor]: Taking taylor expansion of 0 in y
1.139 * [taylor]: Taking taylor expansion of 0 in y
1.140 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
1.140 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.140 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.140 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.140 * [taylor]: Taking taylor expansion of 1/3 in y
1.140 * [taylor]: Taking taylor expansion of (log y) in y
1.140 * [taylor]: Taking taylor expansion of y in y
1.140 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.140 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.140 * [taylor]: Taking taylor expansion of 1/3 in y
1.140 * [taylor]: Taking taylor expansion of (log y) in y
1.140 * [taylor]: Taking taylor expansion of y in y
1.146 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.146 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.146 * [taylor]: Taking taylor expansion of 1/3 in y
1.146 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.146 * [taylor]: Taking taylor expansion of y in y
1.147 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.147 * [taylor]: Taking taylor expansion of 1/3 in y
1.147 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.147 * [taylor]: Taking taylor expansion of y in y
1.153 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.153 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.153 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.153 * [taylor]: Taking taylor expansion of -1 in y
1.153 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.154 * [taylor]: Taking taylor expansion of 1/3 in y
1.154 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.154 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.154 * [taylor]: Taking taylor expansion of y in y
1.154 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.154 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.154 * [taylor]: Taking taylor expansion of -1 in y
1.154 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.154 * [taylor]: Taking taylor expansion of 1/3 in y
1.154 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.154 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.154 * [taylor]: Taking taylor expansion of y in y
1.162 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 2)
1.162 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.162 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.162 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.162 * [taylor]: Taking taylor expansion of 1/3 in y
1.162 * [taylor]: Taking taylor expansion of (log y) in y
1.162 * [taylor]: Taking taylor expansion of y in y
1.163 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.163 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.163 * [taylor]: Taking taylor expansion of 1/3 in y
1.163 * [taylor]: Taking taylor expansion of (log y) in y
1.163 * [taylor]: Taking taylor expansion of y in y
1.169 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.169 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.169 * [taylor]: Taking taylor expansion of 1/3 in y
1.169 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.169 * [taylor]: Taking taylor expansion of y in y
1.169 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.169 * [taylor]: Taking taylor expansion of 1/3 in y
1.169 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.169 * [taylor]: Taking taylor expansion of y in y
1.176 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.176 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.176 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.176 * [taylor]: Taking taylor expansion of -1 in y
1.176 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.176 * [taylor]: Taking taylor expansion of 1/3 in y
1.176 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.176 * [taylor]: Taking taylor expansion of y in y
1.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.177 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.177 * [taylor]: Taking taylor expansion of -1 in y
1.177 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.177 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.177 * [taylor]: Taking taylor expansion of 1/3 in y
1.177 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.177 * [taylor]: Taking taylor expansion of y in y
1.185 * * * [progress]: simplifying candidates
1.190 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y)))))
  (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y)))))
  (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y)))))
  (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y)))))
  (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y)))))
  (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y)))))
  (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y)))))
  (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y)))))
  (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y)))))
  (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y)))))
  (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (exp (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))))
  (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))))
  (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))))
  (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))))
  (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))))
  (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))))
  (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (sqrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (sqrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (* (cbrt t) (cbrt t)) (cbrt (* (cbrt t) (cbrt t))))
  (* (* z 3.0) (* (cbrt y) (cbrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (sqrt (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (sqrt (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (sqrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (sqrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (cbrt (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (sqrt (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt (* (cbrt t) (cbrt t))))) (cbrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (sqrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ 1 (cbrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 1)
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ (cbrt t) 3.0) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ 1 (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt (* (cbrt t) (cbrt t))))
  (* (* (cbrt t) (cbrt t)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (+ (log z) (log 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (+ (log (cbrt t)) (log (cbrt t))) (log (* z 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (+ (log z) (log 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (- (log (* (cbrt t) (cbrt t))) (log (* z 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (+ (log (cbrt y)) (log (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (- (log (cbrt (* (cbrt t) (cbrt t)))) (log (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (+ (log (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (log (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (+ (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (- (log (cbrt (cbrt t))) (log (cbrt y))))
  (+ (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (log (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (exp (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y))) (/ (cbrt t) y))
  (* (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (/ (* t t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y))) (/ (cbrt t) y))
  (* (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (/ (* t t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y))) (/ (cbrt t) y))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y))) (/ (cbrt t) y))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (/ (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t))) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y))) (/ (cbrt t) y))
  (* (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* y y))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (* (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (/ (cbrt t) y))
  (* (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (* (* (/ (cbrt (cbrt t)) (cbrt y)) (/ (cbrt (cbrt t)) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (cbrt (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))) (cbrt (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))))
  (cbrt (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (sqrt (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (sqrt (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (* (cbrt t) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t)))
  (* (* (* z 3.0) (* (cbrt y) (cbrt y))) (cbrt y))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t)))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (* (* (* (cbrt t) (cbrt t)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt (cbrt t)))
  (* (* z 3.0) (cbrt y))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (* (cbrt (/ (cbrt (cbrt t)) (cbrt y))) (cbrt (/ (cbrt (cbrt t)) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (sqrt (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) (sqrt (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) 1))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) (sqrt (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) 1))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) (sqrt (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) 1))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (sqrt (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) 1))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) (sqrt (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) 1))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (sqrt (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) 1))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (sqrt (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) 1))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) (sqrt (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) 1))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ 1 (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ 1 (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ 1 (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ 1 (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ 1 (sqrt (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ 1 1))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) 1)
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt (cbrt t)))
  (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt (cbrt t)))
  (* (* (* (cbrt t) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt (* (cbrt t) (cbrt t)))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (* (* (cbrt t) (cbrt t)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* 0.3333333333333333 (/ (* (exp (* 1/9 (+ (* 8 (log t)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log y)))))) z))
  (* 0.3333333333333333 (/ (* (exp (* 1/3 (+ (log 1) (* 2 (log (/ 1 y)))))) (exp (* 1/9 (- (log 1) (* 8 (log (/ 1 t))))))) z))
  (* 0.3333333333333333 (/ (* (exp (* 1/9 (- (log 1) (* 8 (log (/ -1 t)))))) (exp (* 1/3 (+ (log (pow (cbrt -1) 2)) (* 2 (log (/ -1 y))))))) z))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (exp (* 1/3 (+ (log 1) (log y))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
  (exp (* 1/3 (+ (log 1) (log y))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
1.208 * * [simplify]: iteration  0 :  1383  enodes  (cost  4766 )
1.233 * * [simplify]: iteration  1 :  5002  enodes  (cost  3770 )
1.248 * [simplify]: Simplified to:
   (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (log (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (exp (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (/ (* (/ (* (cbrt t) (cbrt t)) (* y y)) (* t t)) (pow (* z 3.0) 3))
  (/ (* (* (/ (cbrt t) (pow (cbrt y) 3)) (/ (cbrt t) (pow (cbrt y) 3))) (* t t)) (pow (* z 3.0) 3))
  (/ (* (pow (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) 3) (* t t)) (pow (* z 3.0) 3))
  (/ (* (/ (* (cbrt t) (cbrt t)) (* y y)) (* t t)) (pow (* z 3.0) 3))
  (/ (* (* (/ (cbrt t) (pow (cbrt y) 3)) (/ (cbrt t) (pow (cbrt y) 3))) (* t t)) (pow (* z 3.0) 3))
  (/ (* (pow (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) 3) (* t t)) (pow (* z 3.0) 3))
  (* (/ (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) y) (/ (* (cbrt t) (cbrt t)) y))
  (* (/ (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) (pow (cbrt y) 3)) (/ (* (cbrt t) (cbrt t)) (pow (cbrt y) 3)))
  (pow (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) 3)
  (* (/ (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) y) (/ (* (cbrt t) (cbrt t)) y))
  (* (/ (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) (pow (cbrt y) 3)) (/ (* (cbrt t) (cbrt t)) (pow (cbrt y) 3)))
  (pow (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) 3)
  (* (/ (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) y) (/ (* (cbrt t) (cbrt t)) y))
  (* (/ (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) (pow (cbrt y) 3)) (/ (* (cbrt t) (cbrt t)) (pow (cbrt y) 3)))
  (pow (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) 3)
  (* (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))) (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))))
  (cbrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (pow (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) 3)
  (sqrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (sqrt (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (* (cbrt t) (cbrt t)) (cbrt (* (cbrt t) (cbrt t))))
  (* (* z 3.0) (* (cbrt y) (cbrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (sqrt (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (sqrt (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (sqrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt y)))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (sqrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (cbrt (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (sqrt (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (* (cbrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt (* (cbrt t) (cbrt t))))) (cbrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (sqrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt y)))
  (/ (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt y))
  (/ (* (cbrt t) (cbrt t)) (* z 3.0))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (sqrt (/ (* (cbrt t) (cbrt t)) (* z 3.0))) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ (cbrt t) 3.0) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (/ (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (* z 3.0))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt (* (cbrt t) (cbrt t))))
  (* (* (cbrt t) (cbrt t)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (log (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (exp (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (/ (* (/ (cbrt t) y) (* (* t t) (/ (* (cbrt t) (cbrt t)) (* y y)))) (pow (* z 3.0) 3))
  (/ (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (* (* t t) (/ (* (cbrt t) (cbrt t)) (* y y)))) (pow (* z 3.0) 3))
  (/ (* (/ (cbrt t) y) (* t (* t (* (/ (cbrt t) (pow (cbrt y) 3)) (/ (cbrt t) (pow (cbrt y) 3)))))) (pow (* z 3.0) 3))
  (/ (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (* t (* t (* (/ (cbrt t) (pow (cbrt y) 3)) (/ (cbrt t) (pow (cbrt y) 3)))))) (pow (* z 3.0) 3))
  (/ (* (/ (cbrt t) y) (* t (* t (pow (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) 3)))) (pow (* z 3.0) 3))
  (/ (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (* t (* t (pow (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) 3)))) (pow (* z 3.0) 3))
  (/ (* (/ (cbrt t) y) (* (* t t) (/ (* (cbrt t) (cbrt t)) (* y y)))) (pow (* z 3.0) 3))
  (/ (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (* (* t t) (/ (* (cbrt t) (cbrt t)) (* y y)))) (pow (* z 3.0) 3))
  (/ (* (/ (cbrt t) y) (* t (* t (* (/ (cbrt t) (pow (cbrt y) 3)) (/ (cbrt t) (pow (cbrt y) 3)))))) (pow (* z 3.0) 3))
  (/ (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (* t (* t (* (/ (cbrt t) (pow (cbrt y) 3)) (/ (cbrt t) (pow (cbrt y) 3)))))) (pow (* z 3.0) 3))
  (/ (* (/ (cbrt t) y) (* t (* t (pow (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) 3)))) (pow (* z 3.0) 3))
  (/ (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (* t (* t (pow (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) 3)))) (pow (* z 3.0) 3))
  (* (* (/ (cbrt t) y) (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3)) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (* (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3)) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (/ (* (/ (cbrt t) y) (* (* (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) (cbrt t)) (cbrt t))) (pow (* (cbrt y) (cbrt y)) 3))
  (/ (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (* (* (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) (cbrt t)) (cbrt t))) (pow (* (cbrt y) (cbrt y)) 3))
  (* (* (/ (cbrt t) y) (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3)) (pow (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) 3))
  (pow (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))) 3)
  (* (* (/ (cbrt t) y) (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3)) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (* (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3)) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (/ (* (/ (cbrt t) y) (* (* (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) (cbrt t)) (cbrt t))) (pow (* (cbrt y) (cbrt y)) 3))
  (/ (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (* (* (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) (cbrt t)) (cbrt t))) (pow (* (cbrt y) (cbrt y)) 3))
  (* (* (/ (cbrt t) y) (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3)) (pow (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) 3))
  (pow (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))) 3)
  (* (* (/ (cbrt t) y) (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3)) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (* (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3)) (/ (* (cbrt t) (cbrt t)) (* y y)))
  (/ (* (/ (cbrt t) y) (* (* (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) (cbrt t)) (cbrt t))) (pow (* (cbrt y) (cbrt y)) 3))
  (/ (* (pow (/ (cbrt (cbrt t)) (cbrt y)) 3) (* (* (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3) (cbrt t)) (cbrt t))) (pow (* (cbrt y) (cbrt y)) 3))
  (* (* (/ (cbrt t) y) (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3)) (pow (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) 3))
  (pow (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))) 3)
  (* (* (/ (cbrt t) y) (pow (/ (* (cbrt t) (cbrt t)) (* z 3.0)) 3)) (pow (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) 3))
  (pow (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))) 3)
  (* (cbrt (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))) (cbrt (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))))
  (cbrt (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (pow (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))) 3)
  (sqrt (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (sqrt (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (* (cbrt t) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t)))
  (* (pow (cbrt y) 3) (* z 3.0))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t)))
  (pow (cbrt y) 3)
  (* (* (* (cbrt t) (cbrt t)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt (cbrt t)))
  (* (* z 3.0) (cbrt y))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (* (cbrt (/ (cbrt (cbrt t)) (cbrt y))) (cbrt (/ (cbrt (cbrt t)) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (sqrt (/ (cbrt (cbrt t)) (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (* (cbrt t) (cbrt t)))) (sqrt (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (cbrt (cbrt (* (cbrt t) (cbrt t))))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt (sqrt t))) (sqrt (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (cbrt (cbrt (sqrt t)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt 1)) (sqrt (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (cbrt (cbrt 1))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (sqrt (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t))))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sqrt (cbrt t))) (sqrt (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (cbrt (sqrt (cbrt t)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (cbrt (sqrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (sqrt (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (sqrt (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t))))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) (cbrt (* (cbrt y) (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) (cbrt (sqrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) (cbrt 1)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (sqrt (cbrt (cbrt t))) (sqrt (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (sqrt (cbrt (cbrt t)))))
  (/ (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))))
  (/ (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt (sqrt y)))
  (/ (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt 1))
  (/ (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (/ (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (sqrt (cbrt y)))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt (cbrt t)))
  (* (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (cbrt (cbrt t)))
  (* (* (* (cbrt t) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (cbrt (* (cbrt t) (cbrt t)))) (/ (cbrt (cbrt t)) (cbrt y)))
  (* (* (* (cbrt t) (cbrt t)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (pow (cbrt y) 3)
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (pow (cbrt y) 3)
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (/ (* 0.3333333333333333 (exp (+ (* 1/9 (+ (* 8 (log t)) (log 1))) (* 1/3 (- (log 1) (* 2 (log y))))))) z)
  (/ (* 0.3333333333333333 (exp (+ (* 1/3 (+ (log 1) (* 2 (log (/ 1 y))))) (* 1/9 (- (log 1) (* 8 (log (/ 1 t)))))))) z)
  (/ (* 0.3333333333333333 (exp (+ (* 1/9 (- (log 1) (* 8 (log (/ -1 t))))) (* 1/3 (+ (log (pow (cbrt -1) 2)) (* 2 (log (/ -1 y)))))))) z)
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (exp (* 1/3 (+ (log 1) (log y))))
  (exp (* 1/3 (+ (log 1) (log y))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
  (exp (* 1/3 (+ (log 1) (log y))))
  (exp (* 1/3 (+ (log 1) (log y))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
1.250 * * * [progress]: adding candidates to table
1.469 * * [progress]: iteration 4 / 4
1.469 * * * [progress]: picking best candidate
1.499 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))>
1.499 * * * [progress]: localizing error
1.509 * * * [progress]: generating rewritten candidates
1.509 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.515 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.521 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1.525 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.543 * * * [progress]: generating series expansions
1.543 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.543 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
1.543 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.543 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.543 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.543 * [taylor]: Taking taylor expansion of t in y
1.543 * [taylor]: Taking taylor expansion of (* z y) in y
1.543 * [taylor]: Taking taylor expansion of z in y
1.543 * [taylor]: Taking taylor expansion of y in y
1.543 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.543 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.543 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.543 * [taylor]: Taking taylor expansion of t in z
1.543 * [taylor]: Taking taylor expansion of (* z y) in z
1.543 * [taylor]: Taking taylor expansion of z in z
1.543 * [taylor]: Taking taylor expansion of y in z
1.543 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.544 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.544 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.544 * [taylor]: Taking taylor expansion of t in t
1.544 * [taylor]: Taking taylor expansion of (* z y) in t
1.544 * [taylor]: Taking taylor expansion of z in t
1.544 * [taylor]: Taking taylor expansion of y in t
1.544 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.544 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.544 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.544 * [taylor]: Taking taylor expansion of t in t
1.544 * [taylor]: Taking taylor expansion of (* z y) in t
1.544 * [taylor]: Taking taylor expansion of z in t
1.544 * [taylor]: Taking taylor expansion of y in t
1.544 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
1.544 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.544 * [taylor]: Taking taylor expansion of (* z y) in z
1.544 * [taylor]: Taking taylor expansion of z in z
1.544 * [taylor]: Taking taylor expansion of y in z
1.544 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
1.544 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.544 * [taylor]: Taking taylor expansion of y in y
1.544 * [taylor]: Taking taylor expansion of 0 in z
1.544 * [taylor]: Taking taylor expansion of 0 in y
1.545 * [taylor]: Taking taylor expansion of 0 in z
1.545 * [taylor]: Taking taylor expansion of 0 in y
1.545 * [taylor]: Taking taylor expansion of 0 in y
1.545 * [taylor]: Taking taylor expansion of 0 in z
1.545 * [taylor]: Taking taylor expansion of 0 in y
1.545 * [taylor]: Taking taylor expansion of 0 in y
1.545 * [taylor]: Taking taylor expansion of 0 in y
1.546 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.546 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.546 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.546 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.546 * [taylor]: Taking taylor expansion of (* z y) in y
1.546 * [taylor]: Taking taylor expansion of z in y
1.546 * [taylor]: Taking taylor expansion of y in y
1.546 * [taylor]: Taking taylor expansion of t in y
1.546 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.546 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.546 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.546 * [taylor]: Taking taylor expansion of (* z y) in z
1.546 * [taylor]: Taking taylor expansion of z in z
1.546 * [taylor]: Taking taylor expansion of y in z
1.546 * [taylor]: Taking taylor expansion of t in z
1.546 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.546 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.546 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.546 * [taylor]: Taking taylor expansion of (* z y) in t
1.546 * [taylor]: Taking taylor expansion of z in t
1.546 * [taylor]: Taking taylor expansion of y in t
1.546 * [taylor]: Taking taylor expansion of t in t
1.546 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.546 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.546 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.546 * [taylor]: Taking taylor expansion of (* z y) in t
1.546 * [taylor]: Taking taylor expansion of z in t
1.546 * [taylor]: Taking taylor expansion of y in t
1.546 * [taylor]: Taking taylor expansion of t in t
1.546 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
1.546 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.546 * [taylor]: Taking taylor expansion of (* z y) in z
1.546 * [taylor]: Taking taylor expansion of z in z
1.546 * [taylor]: Taking taylor expansion of y in z
1.547 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.547 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.547 * [taylor]: Taking taylor expansion of y in y
1.547 * [taylor]: Taking taylor expansion of 0 in z
1.547 * [taylor]: Taking taylor expansion of 0 in y
1.547 * [taylor]: Taking taylor expansion of 0 in y
1.547 * [taylor]: Taking taylor expansion of 0 in z
1.547 * [taylor]: Taking taylor expansion of 0 in y
1.547 * [taylor]: Taking taylor expansion of 0 in y
1.547 * [taylor]: Taking taylor expansion of 0 in y
1.547 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.548 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.548 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.548 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.548 * [taylor]: Taking taylor expansion of (* z y) in y
1.548 * [taylor]: Taking taylor expansion of z in y
1.548 * [taylor]: Taking taylor expansion of y in y
1.548 * [taylor]: Taking taylor expansion of t in y
1.548 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.548 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.548 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.548 * [taylor]: Taking taylor expansion of (* z y) in z
1.548 * [taylor]: Taking taylor expansion of z in z
1.548 * [taylor]: Taking taylor expansion of y in z
1.548 * [taylor]: Taking taylor expansion of t in z
1.548 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.548 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.548 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.548 * [taylor]: Taking taylor expansion of (* z y) in t
1.548 * [taylor]: Taking taylor expansion of z in t
1.548 * [taylor]: Taking taylor expansion of y in t
1.548 * [taylor]: Taking taylor expansion of t in t
1.548 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.548 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.548 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.548 * [taylor]: Taking taylor expansion of (* z y) in t
1.548 * [taylor]: Taking taylor expansion of z in t
1.548 * [taylor]: Taking taylor expansion of y in t
1.548 * [taylor]: Taking taylor expansion of t in t
1.548 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
1.548 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.548 * [taylor]: Taking taylor expansion of (* z y) in z
1.548 * [taylor]: Taking taylor expansion of z in z
1.548 * [taylor]: Taking taylor expansion of y in z
1.548 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
1.548 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.548 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.548 * [taylor]: Taking taylor expansion of y in y
1.549 * [taylor]: Taking taylor expansion of 0 in z
1.549 * [taylor]: Taking taylor expansion of 0 in y
1.549 * [taylor]: Taking taylor expansion of 0 in y
1.549 * [taylor]: Taking taylor expansion of 0 in z
1.549 * [taylor]: Taking taylor expansion of 0 in y
1.549 * [taylor]: Taking taylor expansion of 0 in y
1.549 * [taylor]: Taking taylor expansion of 0 in y
1.549 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.549 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.549 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.549 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.549 * [taylor]: Taking taylor expansion of (/ y z) in z
1.549 * [taylor]: Taking taylor expansion of y in z
1.549 * [taylor]: Taking taylor expansion of z in z
1.549 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.549 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.550 * [taylor]: Taking taylor expansion of (/ y z) in y
1.550 * [taylor]: Taking taylor expansion of y in y
1.550 * [taylor]: Taking taylor expansion of z in y
1.550 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.550 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.550 * [taylor]: Taking taylor expansion of (/ y z) in y
1.550 * [taylor]: Taking taylor expansion of y in y
1.550 * [taylor]: Taking taylor expansion of z in y
1.550 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.550 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.550 * [taylor]: Taking taylor expansion of z in z
1.550 * [taylor]: Taking taylor expansion of 0 in z
1.550 * [taylor]: Taking taylor expansion of 0 in z
1.550 * [taylor]: Taking taylor expansion of 0 in z
1.551 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.551 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.551 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.551 * [taylor]: Taking taylor expansion of (/ z y) in z
1.551 * [taylor]: Taking taylor expansion of z in z
1.551 * [taylor]: Taking taylor expansion of y in z
1.551 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.551 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.551 * [taylor]: Taking taylor expansion of (/ z y) in y
1.551 * [taylor]: Taking taylor expansion of z in y
1.551 * [taylor]: Taking taylor expansion of y in y
1.551 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.551 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.551 * [taylor]: Taking taylor expansion of (/ z y) in y
1.551 * [taylor]: Taking taylor expansion of z in y
1.551 * [taylor]: Taking taylor expansion of y in y
1.551 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.551 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.551 * [taylor]: Taking taylor expansion of z in z
1.551 * [taylor]: Taking taylor expansion of 0 in z
1.551 * [taylor]: Taking taylor expansion of 0 in z
1.551 * [taylor]: Taking taylor expansion of 0 in z
1.552 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.552 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.552 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.552 * [taylor]: Taking taylor expansion of (/ z y) in z
1.552 * [taylor]: Taking taylor expansion of z in z
1.552 * [taylor]: Taking taylor expansion of y in z
1.552 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.552 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.552 * [taylor]: Taking taylor expansion of (/ z y) in y
1.552 * [taylor]: Taking taylor expansion of z in y
1.552 * [taylor]: Taking taylor expansion of y in y
1.552 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.552 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.552 * [taylor]: Taking taylor expansion of (/ z y) in y
1.552 * [taylor]: Taking taylor expansion of z in y
1.552 * [taylor]: Taking taylor expansion of y in y
1.552 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.552 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.552 * [taylor]: Taking taylor expansion of z in z
1.552 * [taylor]: Taking taylor expansion of 0 in z
1.552 * [taylor]: Taking taylor expansion of 0 in z
1.552 * [taylor]: Taking taylor expansion of 0 in z
1.553 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.553 * [approximate]: Taking taylor expansion of (* 3.0 (* z y)) in (z y) around 0
1.553 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in y
1.553 * [taylor]: Taking taylor expansion of 3.0 in y
1.553 * [taylor]: Taking taylor expansion of (* z y) in y
1.553 * [taylor]: Taking taylor expansion of z in y
1.553 * [taylor]: Taking taylor expansion of y in y
1.553 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
1.553 * [taylor]: Taking taylor expansion of 3.0 in z
1.553 * [taylor]: Taking taylor expansion of (* z y) in z
1.553 * [taylor]: Taking taylor expansion of z in z
1.553 * [taylor]: Taking taylor expansion of y in z
1.553 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
1.553 * [taylor]: Taking taylor expansion of 3.0 in z
1.553 * [taylor]: Taking taylor expansion of (* z y) in z
1.553 * [taylor]: Taking taylor expansion of z in z
1.553 * [taylor]: Taking taylor expansion of y in z
1.553 * [taylor]: Taking taylor expansion of 0 in y
1.553 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
1.553 * [taylor]: Taking taylor expansion of 3.0 in y
1.553 * [taylor]: Taking taylor expansion of y in y
1.553 * [taylor]: Taking taylor expansion of 0 in y
1.553 * [taylor]: Taking taylor expansion of 0 in y
1.554 * [taylor]: Taking taylor expansion of 0 in y
1.554 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
1.554 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
1.554 * [taylor]: Taking taylor expansion of 3.0 in y
1.554 * [taylor]: Taking taylor expansion of (* z y) in y
1.554 * [taylor]: Taking taylor expansion of z in y
1.554 * [taylor]: Taking taylor expansion of y in y
1.554 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.554 * [taylor]: Taking taylor expansion of 3.0 in z
1.554 * [taylor]: Taking taylor expansion of (* z y) in z
1.554 * [taylor]: Taking taylor expansion of z in z
1.554 * [taylor]: Taking taylor expansion of y in z
1.554 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.554 * [taylor]: Taking taylor expansion of 3.0 in z
1.554 * [taylor]: Taking taylor expansion of (* z y) in z
1.554 * [taylor]: Taking taylor expansion of z in z
1.554 * [taylor]: Taking taylor expansion of y in z
1.554 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.554 * [taylor]: Taking taylor expansion of 3.0 in y
1.554 * [taylor]: Taking taylor expansion of y in y
1.554 * [taylor]: Taking taylor expansion of 0 in y
1.554 * [taylor]: Taking taylor expansion of 0 in y
1.555 * [taylor]: Taking taylor expansion of 0 in y
1.555 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
1.555 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
1.555 * [taylor]: Taking taylor expansion of 3.0 in y
1.555 * [taylor]: Taking taylor expansion of (* z y) in y
1.555 * [taylor]: Taking taylor expansion of z in y
1.555 * [taylor]: Taking taylor expansion of y in y
1.555 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.555 * [taylor]: Taking taylor expansion of 3.0 in z
1.555 * [taylor]: Taking taylor expansion of (* z y) in z
1.555 * [taylor]: Taking taylor expansion of z in z
1.555 * [taylor]: Taking taylor expansion of y in z
1.555 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.555 * [taylor]: Taking taylor expansion of 3.0 in z
1.555 * [taylor]: Taking taylor expansion of (* z y) in z
1.555 * [taylor]: Taking taylor expansion of z in z
1.555 * [taylor]: Taking taylor expansion of y in z
1.555 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.555 * [taylor]: Taking taylor expansion of 3.0 in y
1.555 * [taylor]: Taking taylor expansion of y in y
1.556 * [taylor]: Taking taylor expansion of 0 in y
1.556 * [taylor]: Taking taylor expansion of 0 in y
1.556 * [taylor]: Taking taylor expansion of 0 in y
1.556 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.556 * [approximate]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in (x y z) around 0
1.556 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in z
1.556 * [taylor]: Taking taylor expansion of x in z
1.556 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.556 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.556 * [taylor]: Taking taylor expansion of (/ y z) in z
1.556 * [taylor]: Taking taylor expansion of y in z
1.556 * [taylor]: Taking taylor expansion of z in z
1.556 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in y
1.556 * [taylor]: Taking taylor expansion of x in y
1.556 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.556 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.557 * [taylor]: Taking taylor expansion of (/ y z) in y
1.557 * [taylor]: Taking taylor expansion of y in y
1.557 * [taylor]: Taking taylor expansion of z in y
1.557 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
1.557 * [taylor]: Taking taylor expansion of x in x
1.557 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.557 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.557 * [taylor]: Taking taylor expansion of (/ y z) in x
1.557 * [taylor]: Taking taylor expansion of y in x
1.557 * [taylor]: Taking taylor expansion of z in x
1.557 * [taylor]: Taking taylor expansion of (- x (* 0.3333333333333333 (/ y z))) in x
1.557 * [taylor]: Taking taylor expansion of x in x
1.557 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.557 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.557 * [taylor]: Taking taylor expansion of (/ y z) in x
1.557 * [taylor]: Taking taylor expansion of y in x
1.557 * [taylor]: Taking taylor expansion of z in x
1.557 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ y z))) in y
1.557 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.557 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.557 * [taylor]: Taking taylor expansion of (/ y z) in y
1.557 * [taylor]: Taking taylor expansion of y in y
1.557 * [taylor]: Taking taylor expansion of z in y
1.557 * [taylor]: Taking taylor expansion of 1 in y
1.557 * [taylor]: Taking taylor expansion of 1 in z
1.557 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 z))) in z
1.557 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 z)) in z
1.557 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.557 * [taylor]: Taking taylor expansion of z in z
1.558 * [taylor]: Taking taylor expansion of 0 in y
1.558 * [taylor]: Taking taylor expansion of 0 in z
1.558 * [taylor]: Taking taylor expansion of 0 in z
1.558 * [taylor]: Taking taylor expansion of 0 in z
1.558 * [taylor]: Taking taylor expansion of 0 in y
1.558 * [taylor]: Taking taylor expansion of 0 in z
1.558 * [taylor]: Taking taylor expansion of 0 in z
1.558 * [taylor]: Taking taylor expansion of 0 in z
1.558 * [taylor]: Taking taylor expansion of 0 in z
1.559 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in (x y z) around 0
1.559 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in z
1.559 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.559 * [taylor]: Taking taylor expansion of x in z
1.559 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.559 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.559 * [taylor]: Taking taylor expansion of (/ z y) in z
1.559 * [taylor]: Taking taylor expansion of z in z
1.559 * [taylor]: Taking taylor expansion of y in z
1.559 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in y
1.559 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.559 * [taylor]: Taking taylor expansion of x in y
1.559 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.559 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.559 * [taylor]: Taking taylor expansion of (/ z y) in y
1.559 * [taylor]: Taking taylor expansion of z in y
1.559 * [taylor]: Taking taylor expansion of y in y
1.559 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
1.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.559 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.559 * [taylor]: Taking taylor expansion of (/ z y) in x
1.559 * [taylor]: Taking taylor expansion of z in x
1.559 * [taylor]: Taking taylor expansion of y in x
1.559 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 0.3333333333333333 (/ z y))) in x
1.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.559 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.559 * [taylor]: Taking taylor expansion of (/ z y) in x
1.559 * [taylor]: Taking taylor expansion of z in x
1.559 * [taylor]: Taking taylor expansion of y in x
1.559 * [taylor]: Taking taylor expansion of 1 in y
1.560 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
1.560 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.560 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.560 * [taylor]: Taking taylor expansion of (/ z y) in y
1.560 * [taylor]: Taking taylor expansion of z in y
1.560 * [taylor]: Taking taylor expansion of y in y
1.560 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.560 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.560 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.560 * [taylor]: Taking taylor expansion of z in z
1.560 * [taylor]: Taking taylor expansion of 1 in z
1.560 * [taylor]: Taking taylor expansion of 0 in y
1.560 * [taylor]: Taking taylor expansion of 0 in z
1.560 * [taylor]: Taking taylor expansion of 0 in z
1.560 * [taylor]: Taking taylor expansion of 0 in y
1.560 * [taylor]: Taking taylor expansion of 0 in z
1.561 * [taylor]: Taking taylor expansion of 0 in z
1.561 * [taylor]: Taking taylor expansion of 0 in z
1.561 * [approximate]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in (x y z) around 0
1.561 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in z
1.561 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in z
1.561 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.561 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.561 * [taylor]: Taking taylor expansion of (/ z y) in z
1.561 * [taylor]: Taking taylor expansion of z in z
1.561 * [taylor]: Taking taylor expansion of y in z
1.561 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.561 * [taylor]: Taking taylor expansion of x in z
1.561 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in y
1.561 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in y
1.561 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.561 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.561 * [taylor]: Taking taylor expansion of (/ z y) in y
1.561 * [taylor]: Taking taylor expansion of z in y
1.561 * [taylor]: Taking taylor expansion of y in y
1.561 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.561 * [taylor]: Taking taylor expansion of x in y
1.561 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.561 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.561 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.561 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.561 * [taylor]: Taking taylor expansion of (/ z y) in x
1.561 * [taylor]: Taking taylor expansion of z in x
1.561 * [taylor]: Taking taylor expansion of y in x
1.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.561 * [taylor]: Taking taylor expansion of x in x
1.561 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.561 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.561 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.561 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.562 * [taylor]: Taking taylor expansion of (/ z y) in x
1.562 * [taylor]: Taking taylor expansion of z in x
1.562 * [taylor]: Taking taylor expansion of y in x
1.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.562 * [taylor]: Taking taylor expansion of x in x
1.562 * [taylor]: Taking taylor expansion of (neg 1) in y
1.562 * [taylor]: Taking taylor expansion of 1 in y
1.562 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z y))) in y
1.562 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.562 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.562 * [taylor]: Taking taylor expansion of (/ z y) in y
1.562 * [taylor]: Taking taylor expansion of z in y
1.562 * [taylor]: Taking taylor expansion of y in y
1.562 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.562 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.562 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.562 * [taylor]: Taking taylor expansion of z in z
1.562 * [taylor]: Taking taylor expansion of (neg 1) in z
1.562 * [taylor]: Taking taylor expansion of 1 in z
1.562 * [taylor]: Taking taylor expansion of 0 in y
1.562 * [taylor]: Taking taylor expansion of 0 in z
1.562 * [taylor]: Taking taylor expansion of 0 in z
1.563 * [taylor]: Taking taylor expansion of 0 in y
1.563 * [taylor]: Taking taylor expansion of 0 in z
1.563 * [taylor]: Taking taylor expansion of 0 in z
1.563 * [taylor]: Taking taylor expansion of 0 in z
1.563 * * * [progress]: simplifying candidates
1.565 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log t) (+ (+ (log z) (log 3.0)) (log y)))
  (- (log t) (+ (log (* z 3.0)) (log y)))
  (- (log t) (log (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (exp (/ t (* (* z 3.0) y)))
  (/ (* (* t t) t) (* (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* y y) y)))
  (/ (* (* t t) t) (* (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* y y) y)))
  (/ (* (* t t) t) (* (* (* (* z 3.0) y) (* (* z 3.0) y)) (* (* z 3.0) y)))
  (* (cbrt (/ t (* (* z 3.0) y))) (cbrt (/ t (* (* z 3.0) y))))
  (cbrt (/ t (* (* z 3.0) y)))
  (* (* (/ t (* (* z 3.0) y)) (/ t (* (* z 3.0) y))) (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (neg t)
  (neg (* (* z 3.0) y))
  (/ (* (cbrt t) (cbrt t)) (* z 3.0))
  (/ (cbrt t) y)
  (/ (sqrt t) (* z 3.0))
  (/ (sqrt t) y)
  (/ 1 (* z 3.0))
  (/ t y)
  (/ 1 (* (* z 3.0) y))
  (/ (* (* z 3.0) y) t)
  (/ t (* z 3.0))
  (/ (* (* z 3.0) y) (cbrt t))
  (/ (* (* z 3.0) y) (sqrt t))
  (/ (* (* z 3.0) y) t)
  (- (- (log y) (log z)) (log 3.0))
  (- (log (/ y z)) (log 3.0))
  (log (/ (/ y z) 3.0))
  (exp (/ (/ y z) 3.0))
  (/ (/ (* (* y y) y) (* (* z z) z)) (* (* 3.0 3.0) 3.0))
  (/ (* (* (/ y z) (/ y z)) (/ y z)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (/ y z) 3.0)) (cbrt (/ (/ y z) 3.0)))
  (cbrt (/ (/ y z) 3.0))
  (* (* (/ (/ y z) 3.0) (/ (/ y z) 3.0)) (/ (/ y z) 3.0))
  (sqrt (/ (/ y z) 3.0))
  (sqrt (/ (/ y z) 3.0))
  (neg (/ y z))
  (neg 3.0)
  (/ (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt (/ y z)) (cbrt 3.0))
  (/ (* (cbrt (/ y z)) (cbrt (/ y z))) (sqrt 3.0))
  (/ (cbrt (/ y z)) (sqrt 3.0))
  (/ (* (cbrt (/ y z)) (cbrt (/ y z))) 1)
  (/ (cbrt (/ y z)) 3.0)
  (/ (sqrt (/ y z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (/ y z)) (cbrt 3.0))
  (/ (sqrt (/ y z)) (sqrt 3.0))
  (/ (sqrt (/ y z)) (sqrt 3.0))
  (/ (sqrt (/ y z)) 1)
  (/ (sqrt (/ y z)) 3.0)
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (cbrt y) (cbrt z)) (cbrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (sqrt 3.0))
  (/ (/ (cbrt y) (cbrt z)) (sqrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (cbrt y) (cbrt z)) 3.0)
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (cbrt y) (sqrt z)) (cbrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (sqrt 3.0))
  (/ (/ (cbrt y) (sqrt z)) (sqrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) 1)
  (/ (/ (cbrt y) (sqrt z)) 3.0)
  (/ (/ (* (cbrt y) (cbrt y)) 1) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (cbrt y) z) (cbrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) 1) (sqrt 3.0))
  (/ (/ (cbrt y) z) (sqrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) 1) 1)
  (/ (/ (cbrt y) z) 3.0)
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt y) (cbrt z)) (cbrt 3.0))
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (sqrt 3.0))
  (/ (/ (sqrt y) (cbrt z)) (sqrt 3.0))
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (sqrt y) (cbrt z)) 3.0)
  (/ (/ (sqrt y) (sqrt z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt y) (sqrt z)) (cbrt 3.0))
  (/ (/ (sqrt y) (sqrt z)) (sqrt 3.0))
  (/ (/ (sqrt y) (sqrt z)) (sqrt 3.0))
  (/ (/ (sqrt y) (sqrt z)) 1)
  (/ (/ (sqrt y) (sqrt z)) 3.0)
  (/ (/ (sqrt y) 1) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt y) z) (cbrt 3.0))
  (/ (/ (sqrt y) 1) (sqrt 3.0))
  (/ (/ (sqrt y) z) (sqrt 3.0))
  (/ (/ (sqrt y) 1) 1)
  (/ (/ (sqrt y) z) 3.0)
  (/ (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y (cbrt z)) (cbrt 3.0))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (sqrt 3.0))
  (/ (/ y (cbrt z)) (sqrt 3.0))
  (/ (/ 1 (* (cbrt z) (cbrt z))) 1)
  (/ (/ y (cbrt z)) 3.0)
  (/ (/ 1 (sqrt z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y (sqrt z)) (cbrt 3.0))
  (/ (/ 1 (sqrt z)) (sqrt 3.0))
  (/ (/ y (sqrt z)) (sqrt 3.0))
  (/ (/ 1 (sqrt z)) 1)
  (/ (/ y (sqrt z)) 3.0)
  (/ (/ 1 1) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y z) (cbrt 3.0))
  (/ (/ 1 1) (sqrt 3.0))
  (/ (/ y z) (sqrt 3.0))
  (/ (/ 1 1) 1)
  (/ (/ y z) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y z) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (/ y z) (sqrt 3.0))
  (/ 1 1)
  (/ (/ y z) 3.0)
  (/ y (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ 1 z) (cbrt 3.0))
  (/ y (sqrt 3.0))
  (/ (/ 1 z) (sqrt 3.0))
  (/ y 1)
  (/ (/ 1 z) 3.0)
  (/ 1 3.0)
  (/ 3.0 (/ y z))
  (/ (/ y z) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y z) (sqrt 3.0))
  (/ (/ y z) 1)
  (/ 3.0 (cbrt (/ y z)))
  (/ 3.0 (sqrt (/ y z)))
  (/ 3.0 (/ (cbrt y) (cbrt z)))
  (/ 3.0 (/ (cbrt y) (sqrt z)))
  (/ 3.0 (/ (cbrt y) z))
  (/ 3.0 (/ (sqrt y) (cbrt z)))
  (/ 3.0 (/ (sqrt y) (sqrt z)))
  (/ 3.0 (/ (sqrt y) z))
  (/ 3.0 (/ y (cbrt z)))
  (/ 3.0 (/ y (sqrt z)))
  (/ 3.0 (/ y z))
  (/ 3.0 (/ y z))
  (/ 3.0 (/ 1 z))
  (* 3.0 z)
  (* (* z 3.0) y)
  (* (* z 3.0) y)
  (+ (+ (log z) (log 3.0)) (log y))
  (+ (log (* z 3.0)) (log y))
  (log (* (* z 3.0) y))
  (exp (* (* z 3.0) y))
  (* (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* y y) y))
  (* (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* y y) y))
  (* (cbrt (* (* z 3.0) y)) (cbrt (* (* z 3.0) y)))
  (cbrt (* (* z 3.0) y))
  (* (* (* (* z 3.0) y) (* (* z 3.0) y)) (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (* (* z 3.0) (* (cbrt y) (cbrt y)))
  (* (* z 3.0) (sqrt y))
  (* (* z 3.0) 1)
  (* 3.0 y)
  (/ (exp x) (exp (/ (/ y z) 3.0)))
  (log (- x (/ (/ y z) 3.0)))
  (exp (- x (/ (/ y z) 3.0)))
  (* (cbrt (- x (/ (/ y z) 3.0))) (cbrt (- x (/ (/ y z) 3.0))))
  (cbrt (- x (/ (/ y z) 3.0)))
  (* (* (- x (/ (/ y z) 3.0)) (- x (/ (/ y z) 3.0))) (- x (/ (/ y z) 3.0)))
  (sqrt (- x (/ (/ y z) 3.0)))
  (sqrt (- x (/ (/ y z) 3.0)))
  (- (pow x 3) (pow (/ (/ y z) 3.0) 3))
  (+ (* x x) (+ (* (/ (/ y z) 3.0) (/ (/ y z) 3.0)) (* x (/ (/ y z) 3.0))))
  (neg (/ (/ y z) 3.0))
  (- (* x x) (* (/ (/ y z) 3.0) (/ (/ y z) 3.0)))
  (+ x (/ (/ y z) 3.0))
  (+ (sqrt x) (sqrt (/ (/ y z) 3.0)))
  (- (sqrt x) (sqrt (/ (/ y z) 3.0)))
  (+ (sqrt x) (/ (sqrt (/ y z)) (sqrt 3.0)))
  (- (sqrt x) (/ (sqrt (/ y z)) (sqrt 3.0)))
  (+ (sqrt x) (/ (/ (sqrt y) (sqrt z)) (sqrt 3.0)))
  (- (sqrt x) (/ (/ (sqrt y) (sqrt z)) (sqrt 3.0)))
  (- x (/ (/ y z) 3.0))
  (neg (/ (/ y z) 3.0))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
1.572 * * [simplify]: iteration  0 :  574  enodes  (cost  771 )
1.582 * * [simplify]: iteration  1 :  2465  enodes  (cost  708 )
1.619 * * [simplify]: iteration  2 :  5001  enodes  (cost  708 )
1.625 * [simplify]: Simplified to:
   (log (/ t (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (exp (/ t (* (* z 3.0) y)))
  (pow (/ t (* (* z 3.0) y)) 3)
  (pow (/ t (* (* z 3.0) y)) 3)
  (pow (/ t (* (* z 3.0) y)) 3)
  (* (cbrt (/ t (* (* z 3.0) y))) (cbrt (/ t (* (* z 3.0) y))))
  (cbrt (/ t (* (* z 3.0) y)))
  (pow (/ t (* (* z 3.0) y)) 3)
  (sqrt (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (neg t)
  (neg (* (* z 3.0) y))
  (/ (* (cbrt t) (cbrt t)) (* z 3.0))
  (/ (cbrt t) y)
  (/ (sqrt t) (* z 3.0))
  (/ (sqrt t) y)
  (/ 1 (* z 3.0))
  (/ t y)
  (/ 1 (* (* z 3.0) y))
  (/ (* (* z 3.0) y) t)
  (/ t (* z 3.0))
  (/ (* (* z 3.0) y) (cbrt t))
  (/ (* (* z 3.0) y) (sqrt t))
  (/ (* (* z 3.0) y) t)
  (log (/ (/ y z) 3.0))
  (log (/ (/ y z) 3.0))
  (log (/ (/ y z) 3.0))
  (exp (/ (/ y z) 3.0))
  (pow (/ (/ y z) 3.0) 3)
  (pow (/ (/ y z) 3.0) 3)
  (* (cbrt (/ (/ y z) 3.0)) (cbrt (/ (/ y z) 3.0)))
  (cbrt (/ (/ y z) 3.0))
  (pow (/ (/ y z) 3.0) 3)
  (sqrt (/ (/ y z) 3.0))
  (sqrt (/ (/ y z) 3.0))
  (neg (/ y z))
  (neg 3.0)
  (/ (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt (/ y z)) (cbrt 3.0))
  (/ (* (cbrt (/ y z)) (cbrt (/ y z))) (sqrt 3.0))
  (/ (cbrt (/ y z)) (sqrt 3.0))
  (* (cbrt (/ y z)) (cbrt (/ y z)))
  (/ (cbrt (/ y z)) 3.0)
  (/ (sqrt (/ y z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (/ y z)) (cbrt 3.0))
  (/ (sqrt (/ y z)) (sqrt 3.0))
  (/ (sqrt (/ y z)) (sqrt 3.0))
  (sqrt (/ y z))
  (/ (sqrt (/ y z)) 3.0)
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (cbrt y) (cbrt z)) (cbrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (sqrt 3.0))
  (/ (/ (cbrt y) (cbrt z)) (sqrt 3.0))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (/ (cbrt y) (cbrt z)) 3.0)
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (cbrt y) (sqrt z)) (cbrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (sqrt 3.0))
  (/ (/ (cbrt y) (sqrt z)) (sqrt 3.0))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (/ (cbrt y) (sqrt z)) 3.0)
  (/ (/ (* (cbrt y) (cbrt y)) (cbrt 3.0)) (cbrt 3.0))
  (/ (/ (cbrt y) z) (cbrt 3.0))
  (/ (cbrt y) (/ (sqrt 3.0) (cbrt y)))
  (/ (/ (cbrt y) z) (sqrt 3.0))
  (* (cbrt y) (cbrt y))
  (/ (/ (cbrt y) z) 3.0)
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt y) (cbrt z)) (cbrt 3.0))
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (sqrt 3.0))
  (/ (/ (sqrt y) (cbrt z)) (sqrt 3.0))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (/ (sqrt y) (cbrt z)) 3.0)
  (/ (/ (sqrt y) (sqrt z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt y) (sqrt z)) (cbrt 3.0))
  (/ (/ (sqrt y) (sqrt z)) (sqrt 3.0))
  (/ (/ (sqrt y) (sqrt z)) (sqrt 3.0))
  (/ (sqrt y) (sqrt z))
  (/ (/ (sqrt y) (sqrt z)) 3.0)
  (/ (/ (sqrt y) (cbrt 3.0)) (cbrt 3.0))
  (/ (/ (sqrt y) z) (cbrt 3.0))
  (/ (sqrt y) (sqrt 3.0))
  (/ (/ (sqrt y) z) (sqrt 3.0))
  (sqrt y)
  (/ (/ (sqrt y) z) 3.0)
  (/ (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y (cbrt z)) (cbrt 3.0))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (sqrt 3.0))
  (/ (/ y (cbrt z)) (sqrt 3.0))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (/ y (cbrt z)) 3.0)
  (/ (/ 1 (sqrt z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y (sqrt z)) (cbrt 3.0))
  (/ (/ 1 (sqrt z)) (sqrt 3.0))
  (/ (/ y (sqrt z)) (sqrt 3.0))
  (/ 1 (sqrt z))
  (/ (/ y (sqrt z)) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y z) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (/ y z) (sqrt 3.0))
  1
  (/ (/ y z) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y z) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (/ y z) (sqrt 3.0))
  1
  (/ (/ y z) 3.0)
  (/ y (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ 1 z) (cbrt 3.0))
  (/ y (sqrt 3.0))
  (/ (/ 1 z) (sqrt 3.0))
  y
  (/ 1 (* z 3.0))
  (/ 1 3.0)
  (/ 3.0 (/ y z))
  (/ (/ y z) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y z) (sqrt 3.0))
  (/ y z)
  (/ 3.0 (cbrt (/ y z)))
  (/ 3.0 (sqrt (/ y z)))
  (/ 3.0 (/ (cbrt y) (cbrt z)))
  (/ 3.0 (/ (cbrt y) (sqrt z)))
  (/ 3.0 (/ (cbrt y) z))
  (/ 3.0 (/ (sqrt y) (cbrt z)))
  (/ 3.0 (/ (sqrt y) (sqrt z)))
  (/ 3.0 (/ (sqrt y) z))
  (/ 3.0 (/ y (cbrt z)))
  (/ 3.0 (/ y (sqrt z)))
  (/ 3.0 (/ y z))
  (/ 3.0 (/ y z))
  (* z 3.0)
  (* z 3.0)
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (log (* (* z 3.0) y))
  (log (* (* z 3.0) y))
  (log (* (* z 3.0) y))
  (exp (* (* z 3.0) y))
  (pow (* 3.0 (* z y)) 3)
  (pow (* 3.0 (* z y)) 3)
  (* (cbrt (* (* z 3.0) y)) (cbrt (* (* z 3.0) y)))
  (cbrt (* (* z 3.0) y))
  (pow (* 3.0 (* z y)) 3)
  (sqrt (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (* (* z 3.0) (* (cbrt y) (cbrt y)))
  (* (* z 3.0) (sqrt y))
  (* z 3.0)
  (* 3.0 y)
  (exp (- x (/ (/ y z) 3.0)))
  (log (- x (/ (/ y z) 3.0)))
  (exp (- x (/ (/ y z) 3.0)))
  (* (cbrt (- x (/ (/ y z) 3.0))) (cbrt (- x (/ (/ y z) 3.0))))
  (cbrt (- x (/ (/ y z) 3.0)))
  (pow (- x (/ (/ y z) 3.0)) 3)
  (sqrt (- x (/ (/ y z) 3.0)))
  (sqrt (- x (/ (/ y z) 3.0)))
  (- (pow x 3) (pow (/ (/ y z) 3.0) 3))
  (+ (* (/ (/ y z) 3.0) (+ (/ (/ y z) 3.0) x)) (* x x))
  (neg (/ (/ y z) 3.0))
  (- (* x x) (* (/ (/ y z) 3.0) (/ (/ y z) 3.0)))
  (+ x (/ (/ y z) 3.0))
  (+ (sqrt x) (sqrt (/ (/ y z) 3.0)))
  (- (sqrt x) (sqrt (/ (/ y z) 3.0)))
  (+ (sqrt x) (/ (sqrt (/ y z)) (sqrt 3.0)))
  (- (sqrt x) (/ (sqrt (/ y z)) (sqrt 3.0)))
  (+ (sqrt x) (/ (/ (sqrt y) (sqrt z)) (sqrt 3.0)))
  (- (sqrt x) (/ (/ (sqrt y) (sqrt z)) (sqrt 3.0)))
  (- x (/ (/ y z) 3.0))
  (neg (/ (/ y z) 3.0))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
  (- x (* 0.3333333333333333 (/ y z)))
1.626 * * * [progress]: adding candidates to table
1.791 * [progress]: [Phase 3 of 3] Extracting.
1.791 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* 0.3333333333333333 (/ y z))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ 1 (* z 3.0)) (/ t y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (pow (/ (pow (cbrt t) 3) (* (* z 3.0) y)) 1)))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))))> #<alt (λ (x y z t) (+ (- x (cbrt (pow (/ y (* z 3.0)) 3))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* z y)))))>)
1.793 * * * [regime-changes]: Trying 5 branch expressions: ((* z 3.0) t z y x)
1.793 * * * * [regimes]: Trying to branch on (* z 3.0) from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* 0.3333333333333333 (/ y z))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ 1 (* z 3.0)) (/ t y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (pow (/ (pow (cbrt t) 3) (* (* z 3.0) y)) 1)))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))))> #<alt (λ (x y z t) (+ (- x (cbrt (pow (/ y (* z 3.0)) 3))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* z y)))))>)
1.873 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* 0.3333333333333333 (/ y z))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ 1 (* z 3.0)) (/ t y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (pow (/ (pow (cbrt t) 3) (* (* z 3.0) y)) 1)))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))))> #<alt (λ (x y z t) (+ (- x (cbrt (pow (/ y (* z 3.0)) 3))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* z y)))))>)
1.950 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* 0.3333333333333333 (/ y z))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ 1 (* z 3.0)) (/ t y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (pow (/ (pow (cbrt t) 3) (* (* z 3.0) y)) 1)))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))))> #<alt (λ (x y z t) (+ (- x (cbrt (pow (/ y (* z 3.0)) 3))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* z y)))))>)
2.026 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* 0.3333333333333333 (/ y z))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ 1 (* z 3.0)) (/ t y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (pow (/ (pow (cbrt t) 3) (* (* z 3.0) y)) 1)))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))))> #<alt (λ (x y z t) (+ (- x (cbrt (pow (/ y (* z 3.0)) 3))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* z y)))))>)
2.103 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ (- x (* 0.3333333333333333 (/ y z))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (* (/ 1 z) (/ y 3.0))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (/ 1 (* z 3.0)) (/ t y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (pow (/ (pow (cbrt t) 3) (* (* z 3.0) y)) 1)))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y)))))> #<alt (λ (x y z t) (+ (- x (cbrt (pow (/ y (* z 3.0)) 3))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (* 0.3333333333333333 (/ t (* z y)))))>)
2.180 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
2.180 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- x (/ y (* z 3.0))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
2.180 * * [simplify]: iteration  0 :  24  enodes  (cost  23 )
2.181 * * [simplify]: iteration  1 :  24  enodes  (cost  23 )
2.181 * [simplify]: Simplified to:
   (+ (- x (/ y (* z 3.0))) (* (* (/ (* (cbrt t) (cbrt t)) (* z 3.0)) (/ (cbrt (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (cbrt t)) (cbrt y))))
4.633 * [regime-testing]: End program error score: 0.9776731047728651
4.733 * [regime-testing]: Target error score: 1.8667063548764757