13.696 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.322 * * * [progress]: [2/2] Setting up program.
0.332 * [progress]: [Phase 2 of 3] Improving.
0.333 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
0.359 * * [simplify]: iteration  0 :  301  enodes  (cost  10 )
0.359 * * [simplify]: iteration  1 :  301  enodes  (cost  10 )
0.360 * [simplify]: Simplified to:
   (-.f64 (*.f64 x (+.f64 y z)) z)
0.368 * * [progress]: iteration 1 / 4
0.368 * * * [progress]: picking best candidate
0.381 * * * * [pick]: Picked  #<alt (λ (x y z) (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))>
0.381 * * * [progress]: localizing error
0.391 * * * [progress]: generating rewritten candidates
0.391 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.396 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.404 * * * [progress]: generating series expansions
0.404 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.405 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* x y)) z) in (x y z) around 0
0.405 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) z) in z
0.405 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z
0.405 * [taylor]: Taking taylor expansion of (* x z) in z
0.405 * [taylor]: Taking taylor expansion of x in z
0.405 * [taylor]: Taking taylor expansion of z in z
0.405 * [taylor]: Taking taylor expansion of (* x y) in z
0.405 * [taylor]: Taking taylor expansion of x in z
0.405 * [taylor]: Taking taylor expansion of y in z
0.405 * [taylor]: Taking taylor expansion of z in z
0.405 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) z) in y
0.405 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in y
0.405 * [taylor]: Taking taylor expansion of (* x z) in y
0.405 * [taylor]: Taking taylor expansion of x in y
0.405 * [taylor]: Taking taylor expansion of z in y
0.405 * [taylor]: Taking taylor expansion of (* x y) in y
0.405 * [taylor]: Taking taylor expansion of x in y
0.405 * [taylor]: Taking taylor expansion of y in y
0.405 * [taylor]: Taking taylor expansion of z in y
0.405 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) z) in x
0.405 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in x
0.405 * [taylor]: Taking taylor expansion of (* x z) in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of z in x
0.405 * [taylor]: Taking taylor expansion of (* x y) in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of y in x
0.405 * [taylor]: Taking taylor expansion of z in x
0.405 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) z) in x
0.405 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in x
0.405 * [taylor]: Taking taylor expansion of (* x z) in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of z in x
0.405 * [taylor]: Taking taylor expansion of (* x y) in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of y in x
0.405 * [taylor]: Taking taylor expansion of z in x
0.406 * [taylor]: Taking taylor expansion of (neg z) in y
0.406 * [taylor]: Taking taylor expansion of z in y
0.406 * [taylor]: Taking taylor expansion of (neg z) in z
0.406 * [taylor]: Taking taylor expansion of z in z
0.407 * [taylor]: Taking taylor expansion of (+ z y) in y
0.407 * [taylor]: Taking taylor expansion of z in y
0.407 * [taylor]: Taking taylor expansion of y in y
0.407 * [taylor]: Taking taylor expansion of z in z
0.407 * [taylor]: Taking taylor expansion of 0 in z
0.408 * [taylor]: Taking taylor expansion of 0 in y
0.408 * [taylor]: Taking taylor expansion of 0 in z
0.408 * [taylor]: Taking taylor expansion of 1 in z
0.408 * [taylor]: Taking taylor expansion of 0 in z
0.410 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 z)) in (x y z) around 0
0.410 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 z)) in z
0.410 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z
0.410 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.410 * [taylor]: Taking taylor expansion of (* x z) in z
0.410 * [taylor]: Taking taylor expansion of x in z
0.410 * [taylor]: Taking taylor expansion of z in z
0.410 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.410 * [taylor]: Taking taylor expansion of (* x y) in z
0.410 * [taylor]: Taking taylor expansion of x in z
0.410 * [taylor]: Taking taylor expansion of y in z
0.410 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.410 * [taylor]: Taking taylor expansion of z in z
0.411 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 z)) in y
0.411 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.411 * [taylor]: Taking taylor expansion of (* x z) in y
0.411 * [taylor]: Taking taylor expansion of x in y
0.411 * [taylor]: Taking taylor expansion of z in y
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.411 * [taylor]: Taking taylor expansion of (* x y) in y
0.411 * [taylor]: Taking taylor expansion of x in y
0.411 * [taylor]: Taking taylor expansion of y in y
0.411 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.411 * [taylor]: Taking taylor expansion of z in y
0.411 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 z)) in x
0.411 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.411 * [taylor]: Taking taylor expansion of (* x z) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of z in x
0.412 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.412 * [taylor]: Taking taylor expansion of (* x y) in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.412 * [taylor]: Taking taylor expansion of y in x
0.412 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.412 * [taylor]: Taking taylor expansion of z in x
0.412 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 z)) in x
0.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
0.412 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.412 * [taylor]: Taking taylor expansion of (* x z) in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.412 * [taylor]: Taking taylor expansion of z in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.413 * [taylor]: Taking taylor expansion of (* x y) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of y in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.413 * [taylor]: Taking taylor expansion of z in x
0.414 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.414 * [taylor]: Taking taylor expansion of y in y
0.414 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.414 * [taylor]: Taking taylor expansion of z in y
0.414 * [taylor]: Taking taylor expansion of 1 in z
0.415 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y
0.416 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.416 * [taylor]: Taking taylor expansion of z in y
0.416 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.416 * [taylor]: Taking taylor expansion of z in z
0.418 * [taylor]: Taking taylor expansion of 0 in y
0.418 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.418 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.418 * [taylor]: Taking taylor expansion of z in z
0.421 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 z) (/ 1 (* x y)))) in (x y z) around 0
0.421 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 z) (/ 1 (* x y)))) in z
0.421 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.421 * [taylor]: Taking taylor expansion of (* x z) in z
0.421 * [taylor]: Taking taylor expansion of x in z
0.421 * [taylor]: Taking taylor expansion of z in z
0.422 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z
0.422 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.422 * [taylor]: Taking taylor expansion of z in z
0.422 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.422 * [taylor]: Taking taylor expansion of (* x y) in z
0.422 * [taylor]: Taking taylor expansion of x in z
0.422 * [taylor]: Taking taylor expansion of y in z
0.422 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 z) (/ 1 (* x y)))) in y
0.422 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.422 * [taylor]: Taking taylor expansion of (* x z) in y
0.422 * [taylor]: Taking taylor expansion of x in y
0.422 * [taylor]: Taking taylor expansion of z in y
0.422 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y
0.422 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.422 * [taylor]: Taking taylor expansion of z in y
0.422 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.422 * [taylor]: Taking taylor expansion of (* x y) in y
0.422 * [taylor]: Taking taylor expansion of x in y
0.422 * [taylor]: Taking taylor expansion of y in y
0.423 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 z) (/ 1 (* x y)))) in x
0.423 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.423 * [taylor]: Taking taylor expansion of (* x z) in x
0.423 * [taylor]: Taking taylor expansion of x in x
0.423 * [taylor]: Taking taylor expansion of z in x
0.423 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x
0.423 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.423 * [taylor]: Taking taylor expansion of z in x
0.423 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.423 * [taylor]: Taking taylor expansion of (* x y) in x
0.423 * [taylor]: Taking taylor expansion of x in x
0.423 * [taylor]: Taking taylor expansion of y in x
0.424 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 z) (/ 1 (* x y)))) in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.424 * [taylor]: Taking taylor expansion of (* x z) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of z in x
0.424 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.424 * [taylor]: Taking taylor expansion of z in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.424 * [taylor]: Taking taylor expansion of (* x y) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of y in x
0.425 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.425 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.425 * [taylor]: Taking taylor expansion of y in y
0.425 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.425 * [taylor]: Taking taylor expansion of z in y
0.425 * [taylor]: Taking taylor expansion of 1 in z
0.427 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.427 * [taylor]: Taking taylor expansion of z in y
0.427 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.427 * [taylor]: Taking taylor expansion of z in z
0.429 * [taylor]: Taking taylor expansion of 0 in y
0.430 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.430 * [taylor]: Taking taylor expansion of z in z
0.432 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.432 * [approximate]: Taking taylor expansion of (* z (- x 1)) in (x z) around 0
0.432 * [taylor]: Taking taylor expansion of (* z (- x 1)) in z
0.432 * [taylor]: Taking taylor expansion of z in z
0.432 * [taylor]: Taking taylor expansion of (- x 1) in z
0.432 * [taylor]: Taking taylor expansion of x in z
0.432 * [taylor]: Taking taylor expansion of 1 in z
0.432 * [taylor]: Taking taylor expansion of (* z (- x 1)) in x
0.432 * [taylor]: Taking taylor expansion of z in x
0.432 * [taylor]: Taking taylor expansion of (- x 1) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of 1 in x
0.432 * [taylor]: Taking taylor expansion of (* z (- x 1)) in x
0.432 * [taylor]: Taking taylor expansion of z in x
0.432 * [taylor]: Taking taylor expansion of (- x 1) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of 1 in x
0.433 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.433 * [taylor]: Taking taylor expansion of -1 in z
0.433 * [taylor]: Taking taylor expansion of z in z
0.433 * [taylor]: Taking taylor expansion of z in z
0.434 * [taylor]: Taking taylor expansion of 0 in z
0.435 * [taylor]: Taking taylor expansion of 0 in z
0.436 * [taylor]: Taking taylor expansion of 0 in z
0.437 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 1) z) in (x z) around 0
0.437 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) z) in z
0.437 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in z
0.437 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.437 * [taylor]: Taking taylor expansion of x in z
0.437 * [taylor]: Taking taylor expansion of 1 in z
0.437 * [taylor]: Taking taylor expansion of z in z
0.437 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) z) in x
0.437 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.437 * [taylor]: Taking taylor expansion of x in x
0.437 * [taylor]: Taking taylor expansion of 1 in x
0.437 * [taylor]: Taking taylor expansion of z in x
0.437 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) z) in x
0.438 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.438 * [taylor]: Taking taylor expansion of x in x
0.438 * [taylor]: Taking taylor expansion of 1 in x
0.438 * [taylor]: Taking taylor expansion of z in x
0.438 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.438 * [taylor]: Taking taylor expansion of z in z
0.439 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.439 * [taylor]: Taking taylor expansion of z in z
0.440 * [taylor]: Taking taylor expansion of 0 in z
0.442 * [taylor]: Taking taylor expansion of 0 in z
0.445 * [approximate]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) z) in (x z) around 0
0.445 * [taylor]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) z) in z
0.445 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in z
0.445 * [taylor]: Taking taylor expansion of 1 in z
0.445 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.445 * [taylor]: Taking taylor expansion of x in z
0.445 * [taylor]: Taking taylor expansion of z in z
0.445 * [taylor]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) z) in x
0.445 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.445 * [taylor]: Taking taylor expansion of 1 in x
0.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.445 * [taylor]: Taking taylor expansion of z in x
0.446 * [taylor]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) z) in x
0.446 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.446 * [taylor]: Taking taylor expansion of 1 in x
0.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.446 * [taylor]: Taking taylor expansion of x in x
0.446 * [taylor]: Taking taylor expansion of z in x
0.446 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.446 * [taylor]: Taking taylor expansion of z in z
0.447 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.447 * [taylor]: Taking taylor expansion of z in z
0.448 * [taylor]: Taking taylor expansion of 0 in z
0.450 * [taylor]: Taking taylor expansion of 0 in z
0.452 * * * [progress]: simplifying candidates
0.452 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 (-.f64 x 1) z) (*.f64 (-.f64 x 1) z)))
  (-.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 (-.f64 x 1) z) 3))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (*.f64 (-.f64 x 1) z) (*.f64 (-.f64 x 1) z)) (*.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))
  (*.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)) (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))) (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))) (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))))
  (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))
  (exp.f64 (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))
  (log.f64 (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))
  (*.f64 (exp.f64 (*.f64 x y)) (exp.f64 (*.f64 (-.f64 x 1) z)))
  (*.f64 (-.f64 (*.f64 x x) (*.f64 1 1)) z)
  (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 1 3)) z)
  (*.f64 (-.f64 x 1) z)
  (*.f64 (-.f64 (sqrt.f64 x) 1) z)
  (*.f64 (-.f64 (sqrt.f64 x) 1) z)
  (*.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 1)) z)
  (*.f64 (-.f64 x 1) z)
  (*.f64 (sqrt.f64 (-.f64 x 1)) z)
  (*.f64 (cbrt.f64 (-.f64 x 1)) z)
  (*.f64 (-.f64 x 1) 1)
  (*.f64 (-.f64 x 1) (sqrt.f64 z))
  (*.f64 (-.f64 x 1) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 z))
  (*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 z))
  (sqrt.f64 (*.f64 (-.f64 x 1) z))
  (sqrt.f64 (*.f64 (-.f64 x 1) z))
  (*.f64 (*.f64 (*.f64 (-.f64 x 1) z) (*.f64 (-.f64 x 1) z)) (*.f64 (-.f64 x 1) z))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 x 1) z)) (cbrt.f64 (*.f64 (-.f64 x 1) z)))
  (cbrt.f64 (*.f64 (-.f64 x 1) z))
  (*.f64 (*.f64 (*.f64 (-.f64 x 1) (-.f64 x 1)) (-.f64 x 1)) (*.f64 (*.f64 z z) z))
  (exp.f64 (*.f64 (-.f64 x 1) z))
  (log.f64 (*.f64 (-.f64 x 1) z))
  (+.f64 (log.f64 (-.f64 x 1)) (log.f64 z))
  (*.f64 (-.f64 x 1) z)
  (-.f64 (+.f64 (*.f64 x z) (*.f64 x y)) z)
  (-.f64 (+.f64 (*.f64 x z) (*.f64 x y)) z)
  (-.f64 (+.f64 (*.f64 x z) (*.f64 x y)) z)
  (-.f64 (*.f64 x z) z)
  (-.f64 (*.f64 x z) z)
  (-.f64 (*.f64 x z) z)
0.498 * * [simplify]: iteration  0 :  4983  enodes  (cost  482 )
0.498 * * [simplify]: iteration  1 :  4983  enodes  (cost  482 )
0.501 * [simplify]: Simplified to:
   (*.f64 (-.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)) (-.f64 (*.f64 x (+.f64 y z)) z))
  (-.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 (-.f64 x 1) z) 3))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (-.f64 x 1) (*.f64 z (-.f64 (*.f64 (-.f64 x 1) z) (*.f64 x y)))))
  (sqrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (sqrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (pow.f64 (-.f64 (*.f64 x (+.f64 y z)) z) 3)
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z)) (cbrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z)))
  (cbrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (exp.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (log.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (exp.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (*.f64 z (-.f64 (*.f64 x x) 1))
  (*.f64 z (-.f64 (pow.f64 x 3) 1))
  (*.f64 (-.f64 x 1) z)
  (*.f64 z (-.f64 (sqrt.f64 x) 1))
  (*.f64 z (-.f64 (sqrt.f64 x) 1))
  (*.f64 z (-.f64 (sqrt.f64 x) 1))
  (*.f64 (-.f64 x 1) z)
  (*.f64 z (sqrt.f64 (-.f64 x 1)))
  (*.f64 z (cbrt.f64 (-.f64 x 1)))
  (-.f64 x 1)
  (*.f64 (-.f64 x 1) (sqrt.f64 z))
  (*.f64 (-.f64 x 1) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
  (*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 z))
  (*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 z))
  (sqrt.f64 (*.f64 (-.f64 x 1) z))
  (sqrt.f64 (*.f64 (-.f64 x 1) z))
  (pow.f64 (*.f64 (-.f64 x 1) z) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 x 1) z)) (cbrt.f64 (*.f64 (-.f64 x 1) z)))
  (cbrt.f64 (*.f64 (-.f64 x 1) z))
  (pow.f64 (*.f64 (-.f64 x 1) z) 3)
  (exp.f64 (*.f64 (-.f64 x 1) z))
  (log.f64 (*.f64 (-.f64 x 1) z))
  (log.f64 (*.f64 (-.f64 x 1) z))
  (*.f64 (-.f64 x 1) z)
  (-.f64 (*.f64 x (+.f64 y z)) z)
  (-.f64 (*.f64 x (+.f64 y z)) z)
  (-.f64 (*.f64 x (+.f64 y z)) z)
  (*.f64 (-.f64 x 1) z)
  (*.f64 (-.f64 x 1) z)
  (*.f64 (-.f64 x 1) z)
0.502 * * * [progress]: adding candidates to table
0.613 * * [progress]: iteration 2 / 4
0.613 * * * [progress]: picking best candidate
0.620 * * * * [pick]: Picked  #<alt (λ (x y z) (-.f64 (*.f64 x (+.f64 y z)) z))>
0.620 * * * [progress]: localizing error
0.627 * * * [progress]: generating rewritten candidates
0.627 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.634 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.653 * * * [progress]: generating series expansions
0.653 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.654 * [approximate]: Taking taylor expansion of (* (+ z y) x) in (x y z) around 0
0.654 * [taylor]: Taking taylor expansion of (* (+ z y) x) in z
0.654 * [taylor]: Taking taylor expansion of (+ z y) in z
0.654 * [taylor]: Taking taylor expansion of z in z
0.654 * [taylor]: Taking taylor expansion of y in z
0.654 * [taylor]: Taking taylor expansion of x in z
0.654 * [taylor]: Taking taylor expansion of (* (+ z y) x) in y
0.654 * [taylor]: Taking taylor expansion of (+ z y) in y
0.654 * [taylor]: Taking taylor expansion of z in y
0.654 * [taylor]: Taking taylor expansion of y in y
0.654 * [taylor]: Taking taylor expansion of x in y
0.654 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.654 * [taylor]: Taking taylor expansion of (+ z y) in x
0.654 * [taylor]: Taking taylor expansion of z in x
0.654 * [taylor]: Taking taylor expansion of y in x
0.654 * [taylor]: Taking taylor expansion of x in x
0.654 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.654 * [taylor]: Taking taylor expansion of (+ z y) in x
0.654 * [taylor]: Taking taylor expansion of z in x
0.654 * [taylor]: Taking taylor expansion of y in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of 0 in y
0.655 * [taylor]: Taking taylor expansion of 0 in z
0.655 * [taylor]: Taking taylor expansion of (+ z y) in y
0.655 * [taylor]: Taking taylor expansion of z in y
0.655 * [taylor]: Taking taylor expansion of y in y
0.655 * [taylor]: Taking taylor expansion of z in z
0.655 * [taylor]: Taking taylor expansion of 0 in z
0.656 * [taylor]: Taking taylor expansion of 0 in y
0.656 * [taylor]: Taking taylor expansion of 0 in z
0.656 * [taylor]: Taking taylor expansion of 1 in z
0.656 * [taylor]: Taking taylor expansion of 0 in z
0.657 * [taylor]: Taking taylor expansion of 0 in y
0.657 * [taylor]: Taking taylor expansion of 0 in z
0.657 * [taylor]: Taking taylor expansion of 0 in z
0.657 * [taylor]: Taking taylor expansion of 0 in z
0.657 * [taylor]: Taking taylor expansion of 0 in z
0.658 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
0.658 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.658 * [taylor]: Taking taylor expansion of z in z
0.658 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.658 * [taylor]: Taking taylor expansion of y in z
0.658 * [taylor]: Taking taylor expansion of x in z
0.658 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.658 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.658 * [taylor]: Taking taylor expansion of z in y
0.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.659 * [taylor]: Taking taylor expansion of y in y
0.659 * [taylor]: Taking taylor expansion of x in y
0.659 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.659 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.659 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.659 * [taylor]: Taking taylor expansion of z in x
0.659 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.659 * [taylor]: Taking taylor expansion of y in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.659 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.659 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.659 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.660 * [taylor]: Taking taylor expansion of z in x
0.660 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.660 * [taylor]: Taking taylor expansion of y in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.660 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.660 * [taylor]: Taking taylor expansion of z in y
0.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.660 * [taylor]: Taking taylor expansion of y in y
0.661 * [taylor]: Taking taylor expansion of 1 in z
0.662 * [taylor]: Taking taylor expansion of 0 in y
0.662 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.662 * [taylor]: Taking taylor expansion of z in z
0.664 * [taylor]: Taking taylor expansion of 0 in y
0.664 * [taylor]: Taking taylor expansion of 0 in z
0.665 * [taylor]: Taking taylor expansion of 0 in z
0.667 * [taylor]: Taking taylor expansion of 0 in y
0.667 * [taylor]: Taking taylor expansion of 0 in z
0.667 * [taylor]: Taking taylor expansion of 0 in z
0.668 * [taylor]: Taking taylor expansion of 0 in z
0.670 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
0.670 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.670 * [taylor]: Taking taylor expansion of z in z
0.670 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.670 * [taylor]: Taking taylor expansion of y in z
0.670 * [taylor]: Taking taylor expansion of x in z
0.670 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.670 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.670 * [taylor]: Taking taylor expansion of z in y
0.670 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.670 * [taylor]: Taking taylor expansion of y in y
0.671 * [taylor]: Taking taylor expansion of x in y
0.671 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.671 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.671 * [taylor]: Taking taylor expansion of z in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.671 * [taylor]: Taking taylor expansion of y in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.671 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.671 * [taylor]: Taking taylor expansion of z in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.671 * [taylor]: Taking taylor expansion of y in x
0.672 * [taylor]: Taking taylor expansion of x in x
0.672 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.672 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.672 * [taylor]: Taking taylor expansion of z in y
0.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.672 * [taylor]: Taking taylor expansion of y in y
0.672 * [taylor]: Taking taylor expansion of 1 in z
0.673 * [taylor]: Taking taylor expansion of 0 in y
0.674 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.674 * [taylor]: Taking taylor expansion of z in z
0.675 * [taylor]: Taking taylor expansion of 0 in y
0.675 * [taylor]: Taking taylor expansion of 0 in z
0.676 * [taylor]: Taking taylor expansion of 0 in z
0.678 * [taylor]: Taking taylor expansion of 0 in y
0.678 * [taylor]: Taking taylor expansion of 0 in z
0.678 * [taylor]: Taking taylor expansion of 0 in z
0.679 * [taylor]: Taking taylor expansion of 0 in z
0.680 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.681 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* x y)) z) in (x y z) around 0
0.681 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) z) in z
0.681 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z
0.681 * [taylor]: Taking taylor expansion of (* x z) in z
0.681 * [taylor]: Taking taylor expansion of x in z
0.681 * [taylor]: Taking taylor expansion of z in z
0.681 * [taylor]: Taking taylor expansion of (* x y) in z
0.681 * [taylor]: Taking taylor expansion of x in z
0.681 * [taylor]: Taking taylor expansion of y in z
0.681 * [taylor]: Taking taylor expansion of z in z
0.681 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) z) in y
0.681 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in y
0.681 * [taylor]: Taking taylor expansion of (* x z) in y
0.681 * [taylor]: Taking taylor expansion of x in y
0.681 * [taylor]: Taking taylor expansion of z in y
0.681 * [taylor]: Taking taylor expansion of (* x y) in y
0.681 * [taylor]: Taking taylor expansion of x in y
0.681 * [taylor]: Taking taylor expansion of y in y
0.681 * [taylor]: Taking taylor expansion of z in y
0.681 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) z) in x
0.681 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in x
0.681 * [taylor]: Taking taylor expansion of (* x z) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of z in x
0.681 * [taylor]: Taking taylor expansion of (* x y) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of y in x
0.681 * [taylor]: Taking taylor expansion of z in x
0.681 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) z) in x
0.681 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in x
0.681 * [taylor]: Taking taylor expansion of (* x z) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of z in x
0.681 * [taylor]: Taking taylor expansion of (* x y) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of y in x
0.681 * [taylor]: Taking taylor expansion of z in x
0.682 * [taylor]: Taking taylor expansion of (neg z) in y
0.682 * [taylor]: Taking taylor expansion of z in y
0.682 * [taylor]: Taking taylor expansion of (neg z) in z
0.682 * [taylor]: Taking taylor expansion of z in z
0.683 * [taylor]: Taking taylor expansion of (+ z y) in y
0.683 * [taylor]: Taking taylor expansion of z in y
0.683 * [taylor]: Taking taylor expansion of y in y
0.683 * [taylor]: Taking taylor expansion of z in z
0.683 * [taylor]: Taking taylor expansion of 0 in z
0.684 * [taylor]: Taking taylor expansion of 0 in y
0.684 * [taylor]: Taking taylor expansion of 0 in z
0.684 * [taylor]: Taking taylor expansion of 1 in z
0.684 * [taylor]: Taking taylor expansion of 0 in z
0.685 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 z)) in (x y z) around 0
0.685 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 z)) in z
0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z
0.685 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.685 * [taylor]: Taking taylor expansion of (* x z) in z
0.685 * [taylor]: Taking taylor expansion of x in z
0.685 * [taylor]: Taking taylor expansion of z in z
0.686 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.686 * [taylor]: Taking taylor expansion of (* x y) in z
0.686 * [taylor]: Taking taylor expansion of x in z
0.686 * [taylor]: Taking taylor expansion of y in z
0.686 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.686 * [taylor]: Taking taylor expansion of z in z
0.686 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 z)) in y
0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
0.686 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.686 * [taylor]: Taking taylor expansion of (* x z) in y
0.686 * [taylor]: Taking taylor expansion of x in y
0.686 * [taylor]: Taking taylor expansion of z in y
0.686 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.686 * [taylor]: Taking taylor expansion of (* x y) in y
0.686 * [taylor]: Taking taylor expansion of x in y
0.686 * [taylor]: Taking taylor expansion of y in y
0.686 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.687 * [taylor]: Taking taylor expansion of z in y
0.687 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 z)) in x
0.687 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
0.687 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.687 * [taylor]: Taking taylor expansion of (* x z) in x
0.687 * [taylor]: Taking taylor expansion of x in x
0.687 * [taylor]: Taking taylor expansion of z in x
0.687 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.687 * [taylor]: Taking taylor expansion of (* x y) in x
0.687 * [taylor]: Taking taylor expansion of x in x
0.687 * [taylor]: Taking taylor expansion of y in x
0.687 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.687 * [taylor]: Taking taylor expansion of z in x
0.687 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (/ 1 z)) in x
0.687 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
0.687 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.687 * [taylor]: Taking taylor expansion of (* x z) in x
0.688 * [taylor]: Taking taylor expansion of x in x
0.688 * [taylor]: Taking taylor expansion of z in x
0.688 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.688 * [taylor]: Taking taylor expansion of (* x y) in x
0.688 * [taylor]: Taking taylor expansion of x in x
0.688 * [taylor]: Taking taylor expansion of y in x
0.688 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.688 * [taylor]: Taking taylor expansion of z in x
0.689 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.689 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.689 * [taylor]: Taking taylor expansion of y in y
0.689 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.689 * [taylor]: Taking taylor expansion of z in y
0.689 * [taylor]: Taking taylor expansion of 1 in z
0.691 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y
0.691 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.691 * [taylor]: Taking taylor expansion of z in y
0.691 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.691 * [taylor]: Taking taylor expansion of z in z
0.693 * [taylor]: Taking taylor expansion of 0 in y
0.693 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.693 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.693 * [taylor]: Taking taylor expansion of z in z
0.695 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 z) (/ 1 (* x y)))) in (x y z) around 0
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 z) (/ 1 (* x y)))) in z
0.695 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.695 * [taylor]: Taking taylor expansion of (* x z) in z
0.695 * [taylor]: Taking taylor expansion of x in z
0.695 * [taylor]: Taking taylor expansion of z in z
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z
0.696 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.696 * [taylor]: Taking taylor expansion of z in z
0.696 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.696 * [taylor]: Taking taylor expansion of (* x y) in z
0.696 * [taylor]: Taking taylor expansion of x in z
0.696 * [taylor]: Taking taylor expansion of y in z
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 z) (/ 1 (* x y)))) in y
0.696 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.696 * [taylor]: Taking taylor expansion of (* x z) in y
0.696 * [taylor]: Taking taylor expansion of x in y
0.696 * [taylor]: Taking taylor expansion of z in y
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y
0.696 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.696 * [taylor]: Taking taylor expansion of z in y
0.696 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.696 * [taylor]: Taking taylor expansion of (* x y) in y
0.696 * [taylor]: Taking taylor expansion of x in y
0.696 * [taylor]: Taking taylor expansion of y in y
0.697 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 z) (/ 1 (* x y)))) in x
0.697 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.697 * [taylor]: Taking taylor expansion of (* x z) in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.697 * [taylor]: Taking taylor expansion of z in x
0.697 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x
0.697 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.697 * [taylor]: Taking taylor expansion of z in x
0.697 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.697 * [taylor]: Taking taylor expansion of (* x y) in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.697 * [taylor]: Taking taylor expansion of y in x
0.698 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 z) (/ 1 (* x y)))) in x
0.698 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.698 * [taylor]: Taking taylor expansion of (* x z) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of z in x
0.698 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x
0.698 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.698 * [taylor]: Taking taylor expansion of z in x
0.698 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.698 * [taylor]: Taking taylor expansion of (* x y) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of y in x
0.699 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.699 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.699 * [taylor]: Taking taylor expansion of z in y
0.699 * [taylor]: Taking taylor expansion of 1 in z
0.700 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.700 * [taylor]: Taking taylor expansion of z in y
0.701 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.701 * [taylor]: Taking taylor expansion of z in z
0.703 * [taylor]: Taking taylor expansion of 0 in y
0.703 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.703 * [taylor]: Taking taylor expansion of z in z
0.704 * * * [progress]: simplifying candidates
0.705 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))
  (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 x (+.f64 y z))
  (*.f64 (sqrt.f64 x) (+.f64 y z))
  (*.f64 (cbrt.f64 x) (+.f64 y z))
  (*.f64 x 1)
  (*.f64 x 1)
  (*.f64 x (sqrt.f64 (+.f64 y z)))
  (*.f64 x (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z))))
  (*.f64 y x)
  (*.f64 z x)
  (*.f64 x y)
  (*.f64 x z)
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 y z)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 y z)))
  (sqrt.f64 (*.f64 x (+.f64 y z)))
  (sqrt.f64 (*.f64 x (+.f64 y z)))
  (*.f64 (*.f64 (*.f64 x (+.f64 y z)) (*.f64 x (+.f64 y z))) (*.f64 x (+.f64 y z)))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (cbrt.f64 (*.f64 x (+.f64 y z)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (+.f64 y z) (+.f64 y z)) (+.f64 y z)))
  (exp.f64 (*.f64 x (+.f64 y z)))
  (log.f64 (*.f64 x (+.f64 y z)))
  (+.f64 (log.f64 x) (log.f64 (+.f64 y z)))
  (*.f64 x (+.f64 y z))
  (-.f64 (*.f64 z x) z)
  (-.f64 (*.f64 x z) z)
  (-.f64 (*.f64 (*.f64 x (+.f64 y z)) (*.f64 x (+.f64 y z))) (*.f64 z z))
  (+.f64 (*.f64 x (+.f64 y z)) z)
  (neg.f64 z)
  (-.f64 (pow.f64 (*.f64 x (+.f64 y z)) 3) (pow.f64 z 3))
  (+.f64 (*.f64 (*.f64 x (+.f64 y z)) (*.f64 x (+.f64 y z))) (+.f64 (*.f64 z z) (*.f64 (*.f64 x (+.f64 y z)) z)))
  (sqrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (sqrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (*.f64 (*.f64 (-.f64 (*.f64 x (+.f64 y z)) z) (-.f64 (*.f64 x (+.f64 y z)) z)) (-.f64 (*.f64 x (+.f64 y z)) z))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z)) (cbrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z)))
  (cbrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (exp.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (log.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (/.f64 (exp.f64 (*.f64 x (+.f64 y z))) (exp.f64 z))
  (+.f64 (*.f64 x z) (*.f64 x y))
  (+.f64 (*.f64 x z) (*.f64 x y))
  (+.f64 (*.f64 x z) (*.f64 x y))
  (-.f64 (+.f64 (*.f64 x z) (*.f64 x y)) z)
  (-.f64 (+.f64 (*.f64 x z) (*.f64 x y)) z)
  (-.f64 (+.f64 (*.f64 x z) (*.f64 x y)) z)
0.786 * * [simplify]: iteration  0 :  4972  enodes  (cost  470 )
0.786 * * [simplify]: iteration  1 :  4972  enodes  (cost  470 )
0.790 * [simplify]: Simplified to:
   (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))
  (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 x (+.f64 y z))
  (*.f64 (+.f64 y z) (sqrt.f64 x))
  (*.f64 (+.f64 y z) (cbrt.f64 x))
  x
  x
  (*.f64 x (sqrt.f64 (+.f64 y z)))
  (*.f64 x (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z))))
  (*.f64 x y)
  (*.f64 x z)
  (*.f64 x y)
  (*.f64 x z)
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 y z)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 y z)))
  (sqrt.f64 (*.f64 x (+.f64 y z)))
  (sqrt.f64 (*.f64 x (+.f64 y z)))
  (pow.f64 (*.f64 x (+.f64 y z)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (cbrt.f64 (*.f64 x (+.f64 y z)))
  (pow.f64 (*.f64 x (+.f64 y z)) 3)
  (exp.f64 (*.f64 x (+.f64 y z)))
  (log.f64 (*.f64 x (+.f64 y z)))
  (log.f64 (*.f64 x (+.f64 y z)))
  (*.f64 x (+.f64 y z))
  (-.f64 (*.f64 x z) z)
  (-.f64 (*.f64 x z) z)
  (-.f64 (*.f64 (*.f64 x (+.f64 y z)) (*.f64 x (+.f64 y z))) (*.f64 z z))
  (+.f64 z (*.f64 x (+.f64 y z)))
  (neg.f64 z)
  (-.f64 (pow.f64 (*.f64 x (+.f64 y z)) 3) (pow.f64 z 3))
  (+.f64 (*.f64 z z) (*.f64 (*.f64 x (+.f64 y z)) (+.f64 z (*.f64 x (+.f64 y z)))))
  (sqrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (sqrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (pow.f64 (-.f64 (*.f64 x (+.f64 y z)) z) 3)
  (*.f64 (cbrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z)) (cbrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z)))
  (cbrt.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (exp.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (log.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (exp.f64 (-.f64 (*.f64 x (+.f64 y z)) z))
  (*.f64 x (+.f64 y z))
  (*.f64 x (+.f64 y z))
  (*.f64 x (+.f64 y z))
  (-.f64 (*.f64 x (+.f64 y z)) z)
  (-.f64 (*.f64 x (+.f64 y z)) z)
  (-.f64 (*.f64 x (+.f64 y z)) z)
0.790 * * * [progress]: adding candidates to table
0.915 * * [progress]: iteration 3 / 4
0.915 * * * [progress]: picking best candidate
0.925 * * * * [pick]: Picked  #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z)))) z))>
0.925 * * * [progress]: localizing error
0.940 * * * [progress]: generating rewritten candidates
0.940 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.944 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
0.949 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.953 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.962 * * * [progress]: generating series expansions
0.963 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.963 * [approximate]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in (x y z) around 0
0.963 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in z
0.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in z
0.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in z
0.963 * [taylor]: Taking taylor expansion of 1/3 in z
0.963 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in z
0.963 * [taylor]: Taking taylor expansion of (* (+ z y) x) in z
0.963 * [taylor]: Taking taylor expansion of (+ z y) in z
0.963 * [taylor]: Taking taylor expansion of z in z
0.963 * [taylor]: Taking taylor expansion of y in z
0.963 * [taylor]: Taking taylor expansion of x in z
0.964 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in y
0.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in y
0.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in y
0.964 * [taylor]: Taking taylor expansion of 1/3 in y
0.964 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in y
0.964 * [taylor]: Taking taylor expansion of (* (+ z y) x) in y
0.964 * [taylor]: Taking taylor expansion of (+ z y) in y
0.964 * [taylor]: Taking taylor expansion of z in y
0.964 * [taylor]: Taking taylor expansion of y in y
0.964 * [taylor]: Taking taylor expansion of x in y
0.965 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in x
0.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in x
0.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in x
0.965 * [taylor]: Taking taylor expansion of 1/3 in x
0.965 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in x
0.965 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.965 * [taylor]: Taking taylor expansion of (+ z y) in x
0.965 * [taylor]: Taking taylor expansion of z in x
0.965 * [taylor]: Taking taylor expansion of y in x
0.965 * [taylor]: Taking taylor expansion of x in x
0.967 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in x
0.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in x
0.967 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in x
0.967 * [taylor]: Taking taylor expansion of 1/3 in x
0.967 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in x
0.967 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.967 * [taylor]: Taking taylor expansion of (+ z y) in x
0.967 * [taylor]: Taking taylor expansion of z in x
0.967 * [taylor]: Taking taylor expansion of y in x
0.967 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (+ z y))))) in y
0.969 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (+ z y)))) in y
0.969 * [taylor]: Taking taylor expansion of 1/3 in y
0.969 * [taylor]: Taking taylor expansion of (+ (log x) (log (+ z y))) in y
0.969 * [taylor]: Taking taylor expansion of (log x) in y
0.969 * [taylor]: Taking taylor expansion of x in y
0.969 * [taylor]: Taking taylor expansion of (log (+ z y)) in y
0.969 * [taylor]: Taking taylor expansion of (+ z y) in y
0.969 * [taylor]: Taking taylor expansion of z in y
0.969 * [taylor]: Taking taylor expansion of y in y
0.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log x)))) in z
0.970 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log x))) in z
0.970 * [taylor]: Taking taylor expansion of 1/3 in z
0.970 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in z
0.970 * [taylor]: Taking taylor expansion of (log z) in z
0.970 * [taylor]: Taking taylor expansion of z in z
0.970 * [taylor]: Taking taylor expansion of (log x) in z
0.970 * [taylor]: Taking taylor expansion of x in z
0.974 * [taylor]: Taking taylor expansion of 0 in y
0.974 * [taylor]: Taking taylor expansion of 0 in z
0.976 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (+ (log z) (log x)))) z)) in z
0.976 * [taylor]: Taking taylor expansion of 1/3 in z
0.976 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log z) (log x)))) z) in z
0.976 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log x)))) in z
0.976 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log x))) in z
0.976 * [taylor]: Taking taylor expansion of 1/3 in z
0.976 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in z
0.976 * [taylor]: Taking taylor expansion of (log z) in z
0.976 * [taylor]: Taking taylor expansion of z in z
0.976 * [taylor]: Taking taylor expansion of (log x) in z
0.976 * [taylor]: Taking taylor expansion of x in z
0.977 * [taylor]: Taking taylor expansion of z in z
0.986 * [taylor]: Taking taylor expansion of 0 in y
0.986 * [taylor]: Taking taylor expansion of 0 in z
0.986 * [taylor]: Taking taylor expansion of 0 in z
0.990 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (+ (log z) (log x)))) (pow z 2))) in z
0.990 * [taylor]: Taking taylor expansion of -1/9 in z
0.990 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log z) (log x)))) (pow z 2)) in z
0.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log x)))) in z
0.990 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log x))) in z
0.990 * [taylor]: Taking taylor expansion of 1/3 in z
0.990 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in z
0.990 * [taylor]: Taking taylor expansion of (log z) in z
0.990 * [taylor]: Taking taylor expansion of z in z
0.990 * [taylor]: Taking taylor expansion of (log x) in z
0.990 * [taylor]: Taking taylor expansion of x in z
0.992 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.992 * [taylor]: Taking taylor expansion of z in z
1.000 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in (x y z) around 0
1.000 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in z
1.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in z
1.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in z
1.000 * [taylor]: Taking taylor expansion of 1/3 in z
1.000 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in z
1.000 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
1.001 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.001 * [taylor]: Taking taylor expansion of z in z
1.001 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.001 * [taylor]: Taking taylor expansion of y in z
1.001 * [taylor]: Taking taylor expansion of x in z
1.002 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in y
1.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in y
1.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in y
1.002 * [taylor]: Taking taylor expansion of 1/3 in y
1.002 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in y
1.002 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
1.002 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.002 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.003 * [taylor]: Taking taylor expansion of z in y
1.003 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.003 * [taylor]: Taking taylor expansion of y in y
1.003 * [taylor]: Taking taylor expansion of x in y
1.004 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.004 * [taylor]: Taking taylor expansion of 1/3 in x
1.004 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.004 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.004 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.004 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.004 * [taylor]: Taking taylor expansion of z in x
1.004 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.004 * [taylor]: Taking taylor expansion of y in x
1.004 * [taylor]: Taking taylor expansion of x in x
1.007 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.007 * [taylor]: Taking taylor expansion of 1/3 in x
1.007 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.007 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.007 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.007 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.007 * [taylor]: Taking taylor expansion of z in x
1.007 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.007 * [taylor]: Taking taylor expansion of y in x
1.007 * [taylor]: Taking taylor expansion of x in x
1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x)))) in y
1.009 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x))) in y
1.009 * [taylor]: Taking taylor expansion of 1/3 in y
1.009 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 z) (/ 1 y))) (log x)) in y
1.009 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) (/ 1 y))) in y
1.010 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.010 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.010 * [taylor]: Taking taylor expansion of z in y
1.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.010 * [taylor]: Taking taylor expansion of y in y
1.010 * [taylor]: Taking taylor expansion of (log x) in y
1.010 * [taylor]: Taking taylor expansion of x in y
1.011 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.011 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.011 * [taylor]: Taking taylor expansion of -1/3 in z
1.011 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.011 * [taylor]: Taking taylor expansion of (log x) in z
1.011 * [taylor]: Taking taylor expansion of x in z
1.011 * [taylor]: Taking taylor expansion of (log y) in z
1.011 * [taylor]: Taking taylor expansion of y in z
1.016 * [taylor]: Taking taylor expansion of 0 in y
1.016 * [taylor]: Taking taylor expansion of 0 in z
1.018 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* -1/3 (+ (log x) (log y)))) z)) in z
1.018 * [taylor]: Taking taylor expansion of 1/3 in z
1.018 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) z) in z
1.019 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.019 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.019 * [taylor]: Taking taylor expansion of -1/3 in z
1.019 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.019 * [taylor]: Taking taylor expansion of (log x) in z
1.019 * [taylor]: Taking taylor expansion of x in z
1.019 * [taylor]: Taking taylor expansion of (log y) in z
1.019 * [taylor]: Taking taylor expansion of y in z
1.019 * [taylor]: Taking taylor expansion of z in z
1.029 * [taylor]: Taking taylor expansion of 0 in y
1.029 * [taylor]: Taking taylor expansion of 0 in z
1.029 * [taylor]: Taking taylor expansion of 0 in z
1.033 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2))) in z
1.033 * [taylor]: Taking taylor expansion of -1/9 in z
1.033 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2)) in z
1.033 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.033 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.033 * [taylor]: Taking taylor expansion of -1/3 in z
1.033 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.033 * [taylor]: Taking taylor expansion of (log x) in z
1.033 * [taylor]: Taking taylor expansion of x in z
1.034 * [taylor]: Taking taylor expansion of (log y) in z
1.034 * [taylor]: Taking taylor expansion of y in z
1.034 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.034 * [taylor]: Taking taylor expansion of z in z
1.046 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in (x y z) around 0
1.047 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in z
1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in z
1.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in z
1.047 * [taylor]: Taking taylor expansion of 1/3 in z
1.047 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in z
1.047 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
1.047 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.047 * [taylor]: Taking taylor expansion of z in z
1.047 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.047 * [taylor]: Taking taylor expansion of y in z
1.047 * [taylor]: Taking taylor expansion of x in z
1.049 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in y
1.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in y
1.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in y
1.049 * [taylor]: Taking taylor expansion of 1/3 in y
1.049 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in y
1.049 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
1.049 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.049 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.049 * [taylor]: Taking taylor expansion of z in y
1.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.049 * [taylor]: Taking taylor expansion of y in y
1.049 * [taylor]: Taking taylor expansion of x in y
1.051 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.051 * [taylor]: Taking taylor expansion of 1/3 in x
1.051 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.051 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.051 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.051 * [taylor]: Taking taylor expansion of z in x
1.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.051 * [taylor]: Taking taylor expansion of y in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.053 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.053 * [taylor]: Taking taylor expansion of 1/3 in x
1.053 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.053 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.053 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.053 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.053 * [taylor]: Taking taylor expansion of z in x
1.053 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.053 * [taylor]: Taking taylor expansion of y in x
1.053 * [taylor]: Taking taylor expansion of x in x
1.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x)))) in y
1.055 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x))) in y
1.055 * [taylor]: Taking taylor expansion of 1/3 in y
1.055 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 z) (/ 1 y))) (log x)) in y
1.055 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) (/ 1 y))) in y
1.055 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.055 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.055 * [taylor]: Taking taylor expansion of z in y
1.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.056 * [taylor]: Taking taylor expansion of y in y
1.056 * [taylor]: Taking taylor expansion of (log x) in y
1.056 * [taylor]: Taking taylor expansion of x in y
1.058 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.058 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.058 * [taylor]: Taking taylor expansion of -1/3 in z
1.058 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.058 * [taylor]: Taking taylor expansion of (log x) in z
1.058 * [taylor]: Taking taylor expansion of x in z
1.058 * [taylor]: Taking taylor expansion of (log y) in z
1.058 * [taylor]: Taking taylor expansion of y in z
1.062 * [taylor]: Taking taylor expansion of 0 in y
1.062 * [taylor]: Taking taylor expansion of 0 in z
1.065 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* -1/3 (+ (log x) (log y)))) z)) in z
1.065 * [taylor]: Taking taylor expansion of 1/3 in z
1.065 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) z) in z
1.065 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.065 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.065 * [taylor]: Taking taylor expansion of -1/3 in z
1.065 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.065 * [taylor]: Taking taylor expansion of (log x) in z
1.065 * [taylor]: Taking taylor expansion of x in z
1.065 * [taylor]: Taking taylor expansion of (log y) in z
1.065 * [taylor]: Taking taylor expansion of y in z
1.066 * [taylor]: Taking taylor expansion of z in z
1.075 * [taylor]: Taking taylor expansion of 0 in y
1.075 * [taylor]: Taking taylor expansion of 0 in z
1.075 * [taylor]: Taking taylor expansion of 0 in z
1.080 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2))) in z
1.080 * [taylor]: Taking taylor expansion of -1/9 in z
1.080 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2)) in z
1.080 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.080 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.080 * [taylor]: Taking taylor expansion of -1/3 in z
1.080 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.080 * [taylor]: Taking taylor expansion of (log x) in z
1.080 * [taylor]: Taking taylor expansion of x in z
1.080 * [taylor]: Taking taylor expansion of (log y) in z
1.080 * [taylor]: Taking taylor expansion of y in z
1.081 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.081 * [taylor]: Taking taylor expansion of z in z
1.088 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
1.089 * [approximate]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in (x y z) around 0
1.089 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in z
1.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in z
1.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in z
1.089 * [taylor]: Taking taylor expansion of 1/3 in z
1.089 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in z
1.089 * [taylor]: Taking taylor expansion of (* (+ z y) x) in z
1.089 * [taylor]: Taking taylor expansion of (+ z y) in z
1.089 * [taylor]: Taking taylor expansion of z in z
1.089 * [taylor]: Taking taylor expansion of y in z
1.089 * [taylor]: Taking taylor expansion of x in z
1.089 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in y
1.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in y
1.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in y
1.089 * [taylor]: Taking taylor expansion of 1/3 in y
1.089 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in y
1.089 * [taylor]: Taking taylor expansion of (* (+ z y) x) in y
1.089 * [taylor]: Taking taylor expansion of (+ z y) in y
1.089 * [taylor]: Taking taylor expansion of z in y
1.089 * [taylor]: Taking taylor expansion of y in y
1.090 * [taylor]: Taking taylor expansion of x in y
1.090 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in x
1.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in x
1.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in x
1.090 * [taylor]: Taking taylor expansion of 1/3 in x
1.090 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in x
1.090 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
1.090 * [taylor]: Taking taylor expansion of (+ z y) in x
1.090 * [taylor]: Taking taylor expansion of z in x
1.090 * [taylor]: Taking taylor expansion of y in x
1.090 * [taylor]: Taking taylor expansion of x in x
1.092 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in x
1.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in x
1.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in x
1.092 * [taylor]: Taking taylor expansion of 1/3 in x
1.092 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in x
1.092 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
1.092 * [taylor]: Taking taylor expansion of (+ z y) in x
1.092 * [taylor]: Taking taylor expansion of z in x
1.092 * [taylor]: Taking taylor expansion of y in x
1.092 * [taylor]: Taking taylor expansion of x in x
1.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (+ z y))))) in y
1.093 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (+ z y)))) in y
1.093 * [taylor]: Taking taylor expansion of 1/3 in y
1.093 * [taylor]: Taking taylor expansion of (+ (log x) (log (+ z y))) in y
1.093 * [taylor]: Taking taylor expansion of (log x) in y
1.093 * [taylor]: Taking taylor expansion of x in y
1.093 * [taylor]: Taking taylor expansion of (log (+ z y)) in y
1.093 * [taylor]: Taking taylor expansion of (+ z y) in y
1.093 * [taylor]: Taking taylor expansion of z in y
1.093 * [taylor]: Taking taylor expansion of y in y
1.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log x)))) in z
1.094 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log x))) in z
1.094 * [taylor]: Taking taylor expansion of 1/3 in z
1.094 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in z
1.094 * [taylor]: Taking taylor expansion of (log z) in z
1.094 * [taylor]: Taking taylor expansion of z in z
1.094 * [taylor]: Taking taylor expansion of (log x) in z
1.094 * [taylor]: Taking taylor expansion of x in z
1.097 * [taylor]: Taking taylor expansion of 0 in y
1.097 * [taylor]: Taking taylor expansion of 0 in z
1.100 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (+ (log z) (log x)))) z)) in z
1.100 * [taylor]: Taking taylor expansion of 1/3 in z
1.100 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log z) (log x)))) z) in z
1.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log x)))) in z
1.100 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log x))) in z
1.100 * [taylor]: Taking taylor expansion of 1/3 in z
1.100 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in z
1.100 * [taylor]: Taking taylor expansion of (log z) in z
1.100 * [taylor]: Taking taylor expansion of z in z
1.100 * [taylor]: Taking taylor expansion of (log x) in z
1.100 * [taylor]: Taking taylor expansion of x in z
1.101 * [taylor]: Taking taylor expansion of z in z
1.108 * [taylor]: Taking taylor expansion of 0 in y
1.108 * [taylor]: Taking taylor expansion of 0 in z
1.108 * [taylor]: Taking taylor expansion of 0 in z
1.112 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (+ (log z) (log x)))) (pow z 2))) in z
1.112 * [taylor]: Taking taylor expansion of -1/9 in z
1.112 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log z) (log x)))) (pow z 2)) in z
1.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log x)))) in z
1.112 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log x))) in z
1.112 * [taylor]: Taking taylor expansion of 1/3 in z
1.112 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in z
1.112 * [taylor]: Taking taylor expansion of (log z) in z
1.112 * [taylor]: Taking taylor expansion of z in z
1.112 * [taylor]: Taking taylor expansion of (log x) in z
1.112 * [taylor]: Taking taylor expansion of x in z
1.113 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.113 * [taylor]: Taking taylor expansion of z in z
1.121 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in (x y z) around 0
1.121 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in z
1.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in z
1.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in z
1.121 * [taylor]: Taking taylor expansion of 1/3 in z
1.121 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in z
1.121 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
1.121 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.121 * [taylor]: Taking taylor expansion of z in z
1.121 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.121 * [taylor]: Taking taylor expansion of y in z
1.121 * [taylor]: Taking taylor expansion of x in z
1.122 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in y
1.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in y
1.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in y
1.122 * [taylor]: Taking taylor expansion of 1/3 in y
1.122 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in y
1.122 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
1.122 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.122 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.122 * [taylor]: Taking taylor expansion of z in y
1.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.123 * [taylor]: Taking taylor expansion of y in y
1.123 * [taylor]: Taking taylor expansion of x in y
1.124 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.124 * [taylor]: Taking taylor expansion of 1/3 in x
1.124 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.124 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.124 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.124 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.124 * [taylor]: Taking taylor expansion of z in x
1.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.124 * [taylor]: Taking taylor expansion of y in x
1.124 * [taylor]: Taking taylor expansion of x in x
1.126 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.126 * [taylor]: Taking taylor expansion of 1/3 in x
1.126 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.126 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.126 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.126 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.126 * [taylor]: Taking taylor expansion of z in x
1.126 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.126 * [taylor]: Taking taylor expansion of y in x
1.126 * [taylor]: Taking taylor expansion of x in x
1.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x)))) in y
1.129 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x))) in y
1.129 * [taylor]: Taking taylor expansion of 1/3 in y
1.129 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 z) (/ 1 y))) (log x)) in y
1.129 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) (/ 1 y))) in y
1.129 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.129 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.129 * [taylor]: Taking taylor expansion of z in y
1.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.129 * [taylor]: Taking taylor expansion of y in y
1.129 * [taylor]: Taking taylor expansion of (log x) in y
1.129 * [taylor]: Taking taylor expansion of x in y
1.131 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.131 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.131 * [taylor]: Taking taylor expansion of -1/3 in z
1.131 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.131 * [taylor]: Taking taylor expansion of (log x) in z
1.131 * [taylor]: Taking taylor expansion of x in z
1.131 * [taylor]: Taking taylor expansion of (log y) in z
1.131 * [taylor]: Taking taylor expansion of y in z
1.135 * [taylor]: Taking taylor expansion of 0 in y
1.135 * [taylor]: Taking taylor expansion of 0 in z
1.138 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* -1/3 (+ (log x) (log y)))) z)) in z
1.138 * [taylor]: Taking taylor expansion of 1/3 in z
1.138 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) z) in z
1.138 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.138 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.138 * [taylor]: Taking taylor expansion of -1/3 in z
1.138 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.138 * [taylor]: Taking taylor expansion of (log x) in z
1.138 * [taylor]: Taking taylor expansion of x in z
1.138 * [taylor]: Taking taylor expansion of (log y) in z
1.138 * [taylor]: Taking taylor expansion of y in z
1.139 * [taylor]: Taking taylor expansion of z in z
1.148 * [taylor]: Taking taylor expansion of 0 in y
1.148 * [taylor]: Taking taylor expansion of 0 in z
1.148 * [taylor]: Taking taylor expansion of 0 in z
1.153 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2))) in z
1.153 * [taylor]: Taking taylor expansion of -1/9 in z
1.153 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2)) in z
1.153 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.153 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.153 * [taylor]: Taking taylor expansion of -1/3 in z
1.153 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.153 * [taylor]: Taking taylor expansion of (log x) in z
1.153 * [taylor]: Taking taylor expansion of x in z
1.153 * [taylor]: Taking taylor expansion of (log y) in z
1.153 * [taylor]: Taking taylor expansion of y in z
1.154 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.154 * [taylor]: Taking taylor expansion of z in z
1.162 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in (x y z) around 0
1.162 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in z
1.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in z
1.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in z
1.162 * [taylor]: Taking taylor expansion of 1/3 in z
1.162 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in z
1.162 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.162 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.162 * [taylor]: Taking taylor expansion of z in z
1.163 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.163 * [taylor]: Taking taylor expansion of y in z
1.163 * [taylor]: Taking taylor expansion of x in z
1.164 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in y
1.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in y
1.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in y
1.164 * [taylor]: Taking taylor expansion of 1/3 in y
1.164 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in y
1.164 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
1.164 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.164 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.164 * [taylor]: Taking taylor expansion of z in y
1.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.164 * [taylor]: Taking taylor expansion of y in y
1.164 * [taylor]: Taking taylor expansion of x in y
1.165 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.165 * [taylor]: Taking taylor expansion of 1/3 in x
1.165 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.165 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.165 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.165 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.165 * [taylor]: Taking taylor expansion of z in x
1.166 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.166 * [taylor]: Taking taylor expansion of y in x
1.166 * [taylor]: Taking taylor expansion of x in x
1.167 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.168 * [taylor]: Taking taylor expansion of 1/3 in x
1.168 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.168 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.168 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.168 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.168 * [taylor]: Taking taylor expansion of z in x
1.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.168 * [taylor]: Taking taylor expansion of y in x
1.168 * [taylor]: Taking taylor expansion of x in x
1.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x)))) in y
1.170 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x))) in y
1.170 * [taylor]: Taking taylor expansion of 1/3 in y
1.170 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 z) (/ 1 y))) (log x)) in y
1.170 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) (/ 1 y))) in y
1.170 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.170 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.170 * [taylor]: Taking taylor expansion of z in y
1.170 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.170 * [taylor]: Taking taylor expansion of y in y
1.170 * [taylor]: Taking taylor expansion of (log x) in y
1.170 * [taylor]: Taking taylor expansion of x in y
1.171 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.171 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.171 * [taylor]: Taking taylor expansion of -1/3 in z
1.171 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.171 * [taylor]: Taking taylor expansion of (log x) in z
1.171 * [taylor]: Taking taylor expansion of x in z
1.172 * [taylor]: Taking taylor expansion of (log y) in z
1.172 * [taylor]: Taking taylor expansion of y in z
1.176 * [taylor]: Taking taylor expansion of 0 in y
1.176 * [taylor]: Taking taylor expansion of 0 in z
1.179 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* -1/3 (+ (log x) (log y)))) z)) in z
1.179 * [taylor]: Taking taylor expansion of 1/3 in z
1.179 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) z) in z
1.179 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.179 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.179 * [taylor]: Taking taylor expansion of -1/3 in z
1.179 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.179 * [taylor]: Taking taylor expansion of (log x) in z
1.179 * [taylor]: Taking taylor expansion of x in z
1.179 * [taylor]: Taking taylor expansion of (log y) in z
1.179 * [taylor]: Taking taylor expansion of y in z
1.179 * [taylor]: Taking taylor expansion of z in z
1.189 * [taylor]: Taking taylor expansion of 0 in y
1.189 * [taylor]: Taking taylor expansion of 0 in z
1.189 * [taylor]: Taking taylor expansion of 0 in z
1.194 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2))) in z
1.194 * [taylor]: Taking taylor expansion of -1/9 in z
1.194 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2)) in z
1.194 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.194 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.194 * [taylor]: Taking taylor expansion of -1/3 in z
1.194 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.194 * [taylor]: Taking taylor expansion of (log x) in z
1.194 * [taylor]: Taking taylor expansion of x in z
1.194 * [taylor]: Taking taylor expansion of (log y) in z
1.194 * [taylor]: Taking taylor expansion of y in z
1.195 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.195 * [taylor]: Taking taylor expansion of z in z
1.202 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.203 * [approximate]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in (x y z) around 0
1.203 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in z
1.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in z
1.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in z
1.203 * [taylor]: Taking taylor expansion of 1/3 in z
1.203 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in z
1.203 * [taylor]: Taking taylor expansion of (* (+ z y) x) in z
1.203 * [taylor]: Taking taylor expansion of (+ z y) in z
1.203 * [taylor]: Taking taylor expansion of z in z
1.203 * [taylor]: Taking taylor expansion of y in z
1.203 * [taylor]: Taking taylor expansion of x in z
1.204 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in y
1.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in y
1.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in y
1.204 * [taylor]: Taking taylor expansion of 1/3 in y
1.204 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in y
1.204 * [taylor]: Taking taylor expansion of (* (+ z y) x) in y
1.204 * [taylor]: Taking taylor expansion of (+ z y) in y
1.204 * [taylor]: Taking taylor expansion of z in y
1.204 * [taylor]: Taking taylor expansion of y in y
1.204 * [taylor]: Taking taylor expansion of x in y
1.205 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in x
1.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in x
1.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in x
1.205 * [taylor]: Taking taylor expansion of 1/3 in x
1.205 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in x
1.205 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
1.205 * [taylor]: Taking taylor expansion of (+ z y) in x
1.205 * [taylor]: Taking taylor expansion of z in x
1.205 * [taylor]: Taking taylor expansion of y in x
1.205 * [taylor]: Taking taylor expansion of x in x
1.206 * [taylor]: Taking taylor expansion of (pow (* (+ z y) x) 1/3) in x
1.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ z y) x)))) in x
1.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ z y) x))) in x
1.206 * [taylor]: Taking taylor expansion of 1/3 in x
1.206 * [taylor]: Taking taylor expansion of (log (* (+ z y) x)) in x
1.206 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
1.206 * [taylor]: Taking taylor expansion of (+ z y) in x
1.206 * [taylor]: Taking taylor expansion of z in x
1.206 * [taylor]: Taking taylor expansion of y in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (+ z y))))) in y
1.208 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (+ z y)))) in y
1.208 * [taylor]: Taking taylor expansion of 1/3 in y
1.208 * [taylor]: Taking taylor expansion of (+ (log x) (log (+ z y))) in y
1.208 * [taylor]: Taking taylor expansion of (log x) in y
1.208 * [taylor]: Taking taylor expansion of x in y
1.208 * [taylor]: Taking taylor expansion of (log (+ z y)) in y
1.208 * [taylor]: Taking taylor expansion of (+ z y) in y
1.208 * [taylor]: Taking taylor expansion of z in y
1.208 * [taylor]: Taking taylor expansion of y in y
1.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log x)))) in z
1.210 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log x))) in z
1.210 * [taylor]: Taking taylor expansion of 1/3 in z
1.210 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in z
1.210 * [taylor]: Taking taylor expansion of (log z) in z
1.210 * [taylor]: Taking taylor expansion of z in z
1.210 * [taylor]: Taking taylor expansion of (log x) in z
1.210 * [taylor]: Taking taylor expansion of x in z
1.213 * [taylor]: Taking taylor expansion of 0 in y
1.213 * [taylor]: Taking taylor expansion of 0 in z
1.215 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (+ (log z) (log x)))) z)) in z
1.215 * [taylor]: Taking taylor expansion of 1/3 in z
1.215 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log z) (log x)))) z) in z
1.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log x)))) in z
1.215 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log x))) in z
1.215 * [taylor]: Taking taylor expansion of 1/3 in z
1.215 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in z
1.215 * [taylor]: Taking taylor expansion of (log z) in z
1.215 * [taylor]: Taking taylor expansion of z in z
1.215 * [taylor]: Taking taylor expansion of (log x) in z
1.215 * [taylor]: Taking taylor expansion of x in z
1.216 * [taylor]: Taking taylor expansion of z in z
1.223 * [taylor]: Taking taylor expansion of 0 in y
1.223 * [taylor]: Taking taylor expansion of 0 in z
1.223 * [taylor]: Taking taylor expansion of 0 in z
1.227 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (+ (log z) (log x)))) (pow z 2))) in z
1.227 * [taylor]: Taking taylor expansion of -1/9 in z
1.227 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (log z) (log x)))) (pow z 2)) in z
1.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log x)))) in z
1.227 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log x))) in z
1.227 * [taylor]: Taking taylor expansion of 1/3 in z
1.227 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in z
1.227 * [taylor]: Taking taylor expansion of (log z) in z
1.227 * [taylor]: Taking taylor expansion of z in z
1.227 * [taylor]: Taking taylor expansion of (log x) in z
1.227 * [taylor]: Taking taylor expansion of x in z
1.228 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.228 * [taylor]: Taking taylor expansion of z in z
1.237 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in (x y z) around 0
1.238 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in z
1.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in z
1.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in z
1.238 * [taylor]: Taking taylor expansion of 1/3 in z
1.238 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in z
1.238 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
1.238 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.238 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.238 * [taylor]: Taking taylor expansion of z in z
1.238 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.238 * [taylor]: Taking taylor expansion of y in z
1.238 * [taylor]: Taking taylor expansion of x in z
1.239 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in y
1.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in y
1.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in y
1.239 * [taylor]: Taking taylor expansion of 1/3 in y
1.239 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in y
1.239 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
1.239 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.239 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.239 * [taylor]: Taking taylor expansion of z in y
1.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.239 * [taylor]: Taking taylor expansion of y in y
1.239 * [taylor]: Taking taylor expansion of x in y
1.241 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.241 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.241 * [taylor]: Taking taylor expansion of 1/3 in x
1.241 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.241 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.241 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.241 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.241 * [taylor]: Taking taylor expansion of z in x
1.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.241 * [taylor]: Taking taylor expansion of y in x
1.241 * [taylor]: Taking taylor expansion of x in x
1.243 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.243 * [taylor]: Taking taylor expansion of 1/3 in x
1.243 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.243 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.243 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.243 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.243 * [taylor]: Taking taylor expansion of z in x
1.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.243 * [taylor]: Taking taylor expansion of y in x
1.243 * [taylor]: Taking taylor expansion of x in x
1.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x)))) in y
1.245 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x))) in y
1.245 * [taylor]: Taking taylor expansion of 1/3 in y
1.245 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 z) (/ 1 y))) (log x)) in y
1.245 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) (/ 1 y))) in y
1.245 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.245 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.245 * [taylor]: Taking taylor expansion of z in y
1.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.246 * [taylor]: Taking taylor expansion of (log x) in y
1.246 * [taylor]: Taking taylor expansion of x in y
1.247 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.247 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.247 * [taylor]: Taking taylor expansion of -1/3 in z
1.247 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.247 * [taylor]: Taking taylor expansion of (log x) in z
1.247 * [taylor]: Taking taylor expansion of x in z
1.247 * [taylor]: Taking taylor expansion of (log y) in z
1.247 * [taylor]: Taking taylor expansion of y in z
1.251 * [taylor]: Taking taylor expansion of 0 in y
1.251 * [taylor]: Taking taylor expansion of 0 in z
1.254 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* -1/3 (+ (log x) (log y)))) z)) in z
1.254 * [taylor]: Taking taylor expansion of 1/3 in z
1.254 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) z) in z
1.254 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.254 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.254 * [taylor]: Taking taylor expansion of -1/3 in z
1.254 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.254 * [taylor]: Taking taylor expansion of (log x) in z
1.254 * [taylor]: Taking taylor expansion of x in z
1.254 * [taylor]: Taking taylor expansion of (log y) in z
1.254 * [taylor]: Taking taylor expansion of y in z
1.255 * [taylor]: Taking taylor expansion of z in z
1.264 * [taylor]: Taking taylor expansion of 0 in y
1.264 * [taylor]: Taking taylor expansion of 0 in z
1.264 * [taylor]: Taking taylor expansion of 0 in z
1.269 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2))) in z
1.269 * [taylor]: Taking taylor expansion of -1/9 in z
1.269 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2)) in z
1.269 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.269 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.269 * [taylor]: Taking taylor expansion of -1/3 in z
1.269 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.270 * [taylor]: Taking taylor expansion of (log x) in z
1.270 * [taylor]: Taking taylor expansion of x in z
1.270 * [taylor]: Taking taylor expansion of (log y) in z
1.270 * [taylor]: Taking taylor expansion of y in z
1.270 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.270 * [taylor]: Taking taylor expansion of z in z
1.278 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in (x y z) around 0
1.278 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in z
1.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in z
1.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in z
1.278 * [taylor]: Taking taylor expansion of 1/3 in z
1.278 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in z
1.278 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
1.278 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.278 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.278 * [taylor]: Taking taylor expansion of z in z
1.279 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.279 * [taylor]: Taking taylor expansion of y in z
1.279 * [taylor]: Taking taylor expansion of x in z
1.280 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in y
1.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in y
1.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in y
1.280 * [taylor]: Taking taylor expansion of 1/3 in y
1.280 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in y
1.280 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
1.280 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.280 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.280 * [taylor]: Taking taylor expansion of z in y
1.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.280 * [taylor]: Taking taylor expansion of y in y
1.280 * [taylor]: Taking taylor expansion of x in y
1.281 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.281 * [taylor]: Taking taylor expansion of 1/3 in x
1.281 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.281 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.281 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.282 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.282 * [taylor]: Taking taylor expansion of z in x
1.282 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.282 * [taylor]: Taking taylor expansion of y in x
1.282 * [taylor]: Taking taylor expansion of x in x
1.284 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 z) (/ 1 y)) x) 1/3) in x
1.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x)))) in x
1.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 z) (/ 1 y)) x))) in x
1.284 * [taylor]: Taking taylor expansion of 1/3 in x
1.284 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 z) (/ 1 y)) x)) in x
1.284 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.284 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.284 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.284 * [taylor]: Taking taylor expansion of z in x
1.284 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.284 * [taylor]: Taking taylor expansion of y in x
1.284 * [taylor]: Taking taylor expansion of x in x
1.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x)))) in y
1.286 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 z) (/ 1 y))) (log x))) in y
1.286 * [taylor]: Taking taylor expansion of 1/3 in y
1.286 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 z) (/ 1 y))) (log x)) in y
1.286 * [taylor]: Taking taylor expansion of (log (+ (/ 1 z) (/ 1 y))) in y
1.286 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.286 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.286 * [taylor]: Taking taylor expansion of z in y
1.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.286 * [taylor]: Taking taylor expansion of y in y
1.286 * [taylor]: Taking taylor expansion of (log x) in y
1.287 * [taylor]: Taking taylor expansion of x in y
1.288 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.288 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.288 * [taylor]: Taking taylor expansion of -1/3 in z
1.288 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.288 * [taylor]: Taking taylor expansion of (log x) in z
1.288 * [taylor]: Taking taylor expansion of x in z
1.288 * [taylor]: Taking taylor expansion of (log y) in z
1.288 * [taylor]: Taking taylor expansion of y in z
1.293 * [taylor]: Taking taylor expansion of 0 in y
1.293 * [taylor]: Taking taylor expansion of 0 in z
1.295 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* -1/3 (+ (log x) (log y)))) z)) in z
1.295 * [taylor]: Taking taylor expansion of 1/3 in z
1.295 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) z) in z
1.295 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.295 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.295 * [taylor]: Taking taylor expansion of -1/3 in z
1.295 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.295 * [taylor]: Taking taylor expansion of (log x) in z
1.295 * [taylor]: Taking taylor expansion of x in z
1.295 * [taylor]: Taking taylor expansion of (log y) in z
1.295 * [taylor]: Taking taylor expansion of y in z
1.296 * [taylor]: Taking taylor expansion of z in z
1.305 * [taylor]: Taking taylor expansion of 0 in y
1.305 * [taylor]: Taking taylor expansion of 0 in z
1.305 * [taylor]: Taking taylor expansion of 0 in z
1.310 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2))) in z
1.310 * [taylor]: Taking taylor expansion of -1/9 in z
1.310 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (log x) (log y)))) (pow z 2)) in z
1.310 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (log x) (log y)))) in z
1.310 * [taylor]: Taking taylor expansion of (* -1/3 (+ (log x) (log y))) in z
1.310 * [taylor]: Taking taylor expansion of -1/3 in z
1.310 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z
1.310 * [taylor]: Taking taylor expansion of (log x) in z
1.310 * [taylor]: Taking taylor expansion of x in z
1.310 * [taylor]: Taking taylor expansion of (log y) in z
1.310 * [taylor]: Taking taylor expansion of y in z
1.311 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.311 * [taylor]: Taking taylor expansion of z in z
1.318 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.319 * [approximate]: Taking taylor expansion of (pow (* (pow (+ z y) 2) (pow x 2)) 1/3) in (x y z) around 0
1.319 * [taylor]: Taking taylor expansion of (pow (* (pow (+ z y) 2) (pow x 2)) 1/3) in z
1.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ z y) 2) (pow x 2))))) in z
1.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ z y) 2) (pow x 2)))) in z
1.319 * [taylor]: Taking taylor expansion of 1/3 in z
1.319 * [taylor]: Taking taylor expansion of (log (* (pow (+ z y) 2) (pow x 2))) in z
1.319 * [taylor]: Taking taylor expansion of (* (pow (+ z y) 2) (pow x 2)) in z
1.320 * [taylor]: Taking taylor expansion of (pow (+ z y) 2) in z
1.320 * [taylor]: Taking taylor expansion of (+ z y) in z
1.320 * [taylor]: Taking taylor expansion of z in z
1.320 * [taylor]: Taking taylor expansion of y in z
1.320 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.320 * [taylor]: Taking taylor expansion of x in z
1.321 * [taylor]: Taking taylor expansion of (pow (* (pow (+ z y) 2) (pow x 2)) 1/3) in y
1.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ z y) 2) (pow x 2))))) in y
1.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ z y) 2) (pow x 2)))) in y
1.321 * [taylor]: Taking taylor expansion of 1/3 in y
1.321 * [taylor]: Taking taylor expansion of (log (* (pow (+ z y) 2) (pow x 2))) in y
1.321 * [taylor]: Taking taylor expansion of (* (pow (+ z y) 2) (pow x 2)) in y
1.321 * [taylor]: Taking taylor expansion of (pow (+ z y) 2) in y
1.321 * [taylor]: Taking taylor expansion of (+ z y) in y
1.321 * [taylor]: Taking taylor expansion of z in y
1.321 * [taylor]: Taking taylor expansion of y in y
1.321 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.321 * [taylor]: Taking taylor expansion of x in y
1.323 * [taylor]: Taking taylor expansion of (pow (* (pow (+ z y) 2) (pow x 2)) 1/3) in x
1.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ z y) 2) (pow x 2))))) in x
1.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ z y) 2) (pow x 2)))) in x
1.323 * [taylor]: Taking taylor expansion of 1/3 in x
1.323 * [taylor]: Taking taylor expansion of (log (* (pow (+ z y) 2) (pow x 2))) in x
1.323 * [taylor]: Taking taylor expansion of (* (pow (+ z y) 2) (pow x 2)) in x
1.323 * [taylor]: Taking taylor expansion of (pow (+ z y) 2) in x
1.323 * [taylor]: Taking taylor expansion of (+ z y) in x
1.323 * [taylor]: Taking taylor expansion of z in x
1.323 * [taylor]: Taking taylor expansion of y in x
1.323 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.323 * [taylor]: Taking taylor expansion of x in x
1.325 * [taylor]: Taking taylor expansion of (pow (* (pow (+ z y) 2) (pow x 2)) 1/3) in x
1.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ z y) 2) (pow x 2))))) in x
1.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ z y) 2) (pow x 2)))) in x
1.325 * [taylor]: Taking taylor expansion of 1/3 in x
1.325 * [taylor]: Taking taylor expansion of (log (* (pow (+ z y) 2) (pow x 2))) in x
1.325 * [taylor]: Taking taylor expansion of (* (pow (+ z y) 2) (pow x 2)) in x
1.325 * [taylor]: Taking taylor expansion of (pow (+ z y) 2) in x
1.325 * [taylor]: Taking taylor expansion of (+ z y) in x
1.325 * [taylor]: Taking taylor expansion of z in x
1.325 * [taylor]: Taking taylor expansion of y in x
1.325 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.325 * [taylor]: Taking taylor expansion of x in x
1.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log x)) (log (pow (+ z y) 2))))) in y
1.327 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log x)) (log (pow (+ z y) 2)))) in y
1.327 * [taylor]: Taking taylor expansion of 1/3 in y
1.327 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (pow (+ z y) 2))) in y
1.327 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y
1.327 * [taylor]: Taking taylor expansion of 2 in y
1.327 * [taylor]: Taking taylor expansion of (log x) in y
1.327 * [taylor]: Taking taylor expansion of x in y
1.327 * [taylor]: Taking taylor expansion of (log (pow (+ z y) 2)) in y
1.327 * [taylor]: Taking taylor expansion of (pow (+ z y) 2) in y
1.327 * [taylor]: Taking taylor expansion of (+ z y) in y
1.327 * [taylor]: Taking taylor expansion of z in y
1.327 * [taylor]: Taking taylor expansion of y in y
1.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log x)) (log (pow z 2))))) in z
1.329 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log x)) (log (pow z 2)))) in z
1.329 * [taylor]: Taking taylor expansion of 1/3 in z
1.329 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (pow z 2))) in z
1.329 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
1.329 * [taylor]: Taking taylor expansion of 2 in z
1.329 * [taylor]: Taking taylor expansion of (log x) in z
1.329 * [taylor]: Taking taylor expansion of x in z
1.329 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.329 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.329 * [taylor]: Taking taylor expansion of z in z
1.334 * [taylor]: Taking taylor expansion of 0 in y
1.334 * [taylor]: Taking taylor expansion of 0 in z
1.337 * [taylor]: Taking taylor expansion of (* 2/3 (/ (exp (* 1/3 (+ (* 2 (log x)) (log (pow z 2))))) z)) in z
1.337 * [taylor]: Taking taylor expansion of 2/3 in z
1.337 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (* 2 (log x)) (log (pow z 2))))) z) in z
1.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log x)) (log (pow z 2))))) in z
1.337 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log x)) (log (pow z 2)))) in z
1.337 * [taylor]: Taking taylor expansion of 1/3 in z
1.337 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (pow z 2))) in z
1.337 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
1.337 * [taylor]: Taking taylor expansion of 2 in z
1.337 * [taylor]: Taking taylor expansion of (log x) in z
1.337 * [taylor]: Taking taylor expansion of x in z
1.337 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.337 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.337 * [taylor]: Taking taylor expansion of z in z
1.338 * [taylor]: Taking taylor expansion of z in z
1.349 * [taylor]: Taking taylor expansion of 0 in y
1.349 * [taylor]: Taking taylor expansion of 0 in z
1.349 * [taylor]: Taking taylor expansion of 0 in z
1.353 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (+ (* 2 (log x)) (log (pow z 2))))) (pow z 2))) in z
1.354 * [taylor]: Taking taylor expansion of -1/9 in z
1.354 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (+ (* 2 (log x)) (log (pow z 2))))) (pow z 2)) in z
1.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log x)) (log (pow z 2))))) in z
1.354 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log x)) (log (pow z 2)))) in z
1.354 * [taylor]: Taking taylor expansion of 1/3 in z
1.354 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (pow z 2))) in z
1.354 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
1.354 * [taylor]: Taking taylor expansion of 2 in z
1.354 * [taylor]: Taking taylor expansion of (log x) in z
1.354 * [taylor]: Taking taylor expansion of x in z
1.354 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.354 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.354 * [taylor]: Taking taylor expansion of z in z
1.355 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.355 * [taylor]: Taking taylor expansion of z in z
1.366 * [approximate]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in (x y z) around 0
1.366 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in z
1.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in z
1.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in z
1.366 * [taylor]: Taking taylor expansion of 1/3 in z
1.366 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))) in z
1.366 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) in z
1.366 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 y)) 2) in z
1.366 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.366 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.367 * [taylor]: Taking taylor expansion of z in z
1.367 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.367 * [taylor]: Taking taylor expansion of y in z
1.367 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.367 * [taylor]: Taking taylor expansion of x in z
1.369 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in y
1.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in y
1.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in y
1.369 * [taylor]: Taking taylor expansion of 1/3 in y
1.369 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))) in y
1.369 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) in y
1.369 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 y)) 2) in y
1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.369 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.369 * [taylor]: Taking taylor expansion of z in y
1.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.369 * [taylor]: Taking taylor expansion of y in y
1.369 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.369 * [taylor]: Taking taylor expansion of x in y
1.371 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in x
1.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in x
1.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in x
1.371 * [taylor]: Taking taylor expansion of 1/3 in x
1.371 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))) in x
1.371 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) in x
1.371 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 y)) 2) in x
1.371 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.371 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.371 * [taylor]: Taking taylor expansion of z in x
1.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.371 * [taylor]: Taking taylor expansion of y in x
1.372 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in x
1.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in x
1.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in x
1.375 * [taylor]: Taking taylor expansion of 1/3 in x
1.375 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))) in x
1.375 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) in x
1.375 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 y)) 2) in x
1.375 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.375 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.375 * [taylor]: Taking taylor expansion of z in x
1.375 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.375 * [taylor]: Taking taylor expansion of y in x
1.375 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (+ (/ 1 y) (/ 1 z)) 2)) (* 2 (log x))))) in y
1.378 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (+ (/ 1 y) (/ 1 z)) 2)) (* 2 (log x)))) in y
1.378 * [taylor]: Taking taylor expansion of 1/3 in y
1.378 * [taylor]: Taking taylor expansion of (- (log (pow (+ (/ 1 y) (/ 1 z)) 2)) (* 2 (log x))) in y
1.378 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 y) (/ 1 z)) 2)) in y
1.378 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 z)) 2) in y
1.378 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.378 * [taylor]: Taking taylor expansion of y in y
1.378 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.378 * [taylor]: Taking taylor expansion of z in y
1.378 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y
1.378 * [taylor]: Taking taylor expansion of 2 in y
1.378 * [taylor]: Taking taylor expansion of (log x) in y
1.378 * [taylor]: Taking taylor expansion of x in y
1.380 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) in z
1.380 * [taylor]: Taking taylor expansion of (* -1/3 (+ (* 2 (log x)) (* 2 (log y)))) in z
1.380 * [taylor]: Taking taylor expansion of -1/3 in z
1.380 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (* 2 (log y))) in z
1.380 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
1.380 * [taylor]: Taking taylor expansion of 2 in z
1.380 * [taylor]: Taking taylor expansion of (log x) in z
1.380 * [taylor]: Taking taylor expansion of x in z
1.380 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.380 * [taylor]: Taking taylor expansion of 2 in z
1.380 * [taylor]: Taking taylor expansion of (log y) in z
1.380 * [taylor]: Taking taylor expansion of y in z
1.387 * [taylor]: Taking taylor expansion of 0 in y
1.387 * [taylor]: Taking taylor expansion of 0 in z
1.390 * [taylor]: Taking taylor expansion of (* 2/3 (/ (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) z)) in z
1.390 * [taylor]: Taking taylor expansion of 2/3 in z
1.390 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) z) in z
1.390 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) in z
1.390 * [taylor]: Taking taylor expansion of (* -1/3 (+ (* 2 (log x)) (* 2 (log y)))) in z
1.390 * [taylor]: Taking taylor expansion of -1/3 in z
1.390 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (* 2 (log y))) in z
1.390 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
1.390 * [taylor]: Taking taylor expansion of 2 in z
1.390 * [taylor]: Taking taylor expansion of (log x) in z
1.390 * [taylor]: Taking taylor expansion of x in z
1.390 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.390 * [taylor]: Taking taylor expansion of 2 in z
1.390 * [taylor]: Taking taylor expansion of (log y) in z
1.390 * [taylor]: Taking taylor expansion of y in z
1.392 * [taylor]: Taking taylor expansion of z in z
1.404 * [taylor]: Taking taylor expansion of 0 in y
1.404 * [taylor]: Taking taylor expansion of 0 in z
1.404 * [taylor]: Taking taylor expansion of 0 in z
1.410 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) (pow z 2))) in z
1.410 * [taylor]: Taking taylor expansion of -1/9 in z
1.410 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) (pow z 2)) in z
1.410 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) in z
1.410 * [taylor]: Taking taylor expansion of (* -1/3 (+ (* 2 (log x)) (* 2 (log y)))) in z
1.410 * [taylor]: Taking taylor expansion of -1/3 in z
1.410 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (* 2 (log y))) in z
1.410 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
1.410 * [taylor]: Taking taylor expansion of 2 in z
1.410 * [taylor]: Taking taylor expansion of (log x) in z
1.410 * [taylor]: Taking taylor expansion of x in z
1.411 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.411 * [taylor]: Taking taylor expansion of 2 in z
1.411 * [taylor]: Taking taylor expansion of (log y) in z
1.411 * [taylor]: Taking taylor expansion of y in z
1.412 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.412 * [taylor]: Taking taylor expansion of z in z
1.425 * [approximate]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in (x y z) around 0
1.425 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in z
1.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in z
1.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in z
1.425 * [taylor]: Taking taylor expansion of 1/3 in z
1.425 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))) in z
1.425 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) in z
1.425 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 y)) 2) in z
1.425 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.425 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.425 * [taylor]: Taking taylor expansion of z in z
1.425 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.425 * [taylor]: Taking taylor expansion of y in z
1.425 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.425 * [taylor]: Taking taylor expansion of x in z
1.427 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in y
1.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in y
1.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in y
1.427 * [taylor]: Taking taylor expansion of 1/3 in y
1.427 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))) in y
1.427 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) in y
1.427 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 y)) 2) in y
1.427 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.427 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.427 * [taylor]: Taking taylor expansion of z in y
1.427 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.428 * [taylor]: Taking taylor expansion of y in y
1.428 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.428 * [taylor]: Taking taylor expansion of x in y
1.429 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in x
1.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in x
1.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in x
1.429 * [taylor]: Taking taylor expansion of 1/3 in x
1.429 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))) in x
1.429 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) in x
1.430 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 y)) 2) in x
1.430 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.430 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.430 * [taylor]: Taking taylor expansion of z in x
1.430 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.430 * [taylor]: Taking taylor expansion of y in x
1.430 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.430 * [taylor]: Taking taylor expansion of x in x
1.433 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in x
1.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in x
1.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in x
1.433 * [taylor]: Taking taylor expansion of 1/3 in x
1.433 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2))) in x
1.433 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 z) (/ 1 y)) 2) (pow x 2)) in x
1.433 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (/ 1 y)) 2) in x
1.433 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.433 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.433 * [taylor]: Taking taylor expansion of z in x
1.433 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.433 * [taylor]: Taking taylor expansion of y in x
1.433 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.433 * [taylor]: Taking taylor expansion of x in x
1.436 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (+ (/ 1 y) (/ 1 z)) 2)) (* 2 (log x))))) in y
1.436 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (+ (/ 1 y) (/ 1 z)) 2)) (* 2 (log x)))) in y
1.436 * [taylor]: Taking taylor expansion of 1/3 in y
1.436 * [taylor]: Taking taylor expansion of (- (log (pow (+ (/ 1 y) (/ 1 z)) 2)) (* 2 (log x))) in y
1.436 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 y) (/ 1 z)) 2)) in y
1.436 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 z)) 2) in y
1.436 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.436 * [taylor]: Taking taylor expansion of y in y
1.436 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.436 * [taylor]: Taking taylor expansion of z in y
1.437 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y
1.437 * [taylor]: Taking taylor expansion of 2 in y
1.437 * [taylor]: Taking taylor expansion of (log x) in y
1.437 * [taylor]: Taking taylor expansion of x in y
1.438 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) in z
1.438 * [taylor]: Taking taylor expansion of (* -1/3 (+ (* 2 (log x)) (* 2 (log y)))) in z
1.438 * [taylor]: Taking taylor expansion of -1/3 in z
1.438 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (* 2 (log y))) in z
1.438 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
1.438 * [taylor]: Taking taylor expansion of 2 in z
1.438 * [taylor]: Taking taylor expansion of (log x) in z
1.439 * [taylor]: Taking taylor expansion of x in z
1.439 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.439 * [taylor]: Taking taylor expansion of 2 in z
1.439 * [taylor]: Taking taylor expansion of (log y) in z
1.439 * [taylor]: Taking taylor expansion of y in z
1.446 * [taylor]: Taking taylor expansion of 0 in y
1.446 * [taylor]: Taking taylor expansion of 0 in z
1.449 * [taylor]: Taking taylor expansion of (* 2/3 (/ (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) z)) in z
1.449 * [taylor]: Taking taylor expansion of 2/3 in z
1.449 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) z) in z
1.449 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) in z
1.449 * [taylor]: Taking taylor expansion of (* -1/3 (+ (* 2 (log x)) (* 2 (log y)))) in z
1.449 * [taylor]: Taking taylor expansion of -1/3 in z
1.449 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (* 2 (log y))) in z
1.449 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
1.449 * [taylor]: Taking taylor expansion of 2 in z
1.449 * [taylor]: Taking taylor expansion of (log x) in z
1.449 * [taylor]: Taking taylor expansion of x in z
1.449 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.449 * [taylor]: Taking taylor expansion of 2 in z
1.449 * [taylor]: Taking taylor expansion of (log y) in z
1.449 * [taylor]: Taking taylor expansion of y in z
1.451 * [taylor]: Taking taylor expansion of z in z
1.463 * [taylor]: Taking taylor expansion of 0 in y
1.463 * [taylor]: Taking taylor expansion of 0 in z
1.463 * [taylor]: Taking taylor expansion of 0 in z
1.469 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) (pow z 2))) in z
1.469 * [taylor]: Taking taylor expansion of -1/9 in z
1.469 * [taylor]: Taking taylor expansion of (/ (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) (pow z 2)) in z
1.469 * [taylor]: Taking taylor expansion of (exp (* -1/3 (+ (* 2 (log x)) (* 2 (log y))))) in z
1.469 * [taylor]: Taking taylor expansion of (* -1/3 (+ (* 2 (log x)) (* 2 (log y)))) in z
1.469 * [taylor]: Taking taylor expansion of -1/3 in z
1.469 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (* 2 (log y))) in z
1.469 * [taylor]: Taking taylor expansion of (* 2 (log x)) in z
1.469 * [taylor]: Taking taylor expansion of 2 in z
1.469 * [taylor]: Taking taylor expansion of (log x) in z
1.469 * [taylor]: Taking taylor expansion of x in z
1.469 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
1.469 * [taylor]: Taking taylor expansion of 2 in z
1.469 * [taylor]: Taking taylor expansion of (log y) in z
1.469 * [taylor]: Taking taylor expansion of y in z
1.471 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.471 * [taylor]: Taking taylor expansion of z in z
1.480 * * * [progress]: simplifying candidates
1.481 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z))))
  (cbrt.f64 (-.f64 y z))
  (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 y y) (-.f64 (*.f64 z z) (*.f64 y z))))
  (cbrt.f64 x)
  (cbrt.f64 (+.f64 y z))
  (exp.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (log.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z))))
  (cbrt.f64 (-.f64 y z))
  (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 y y) (-.f64 (*.f64 z z) (*.f64 y z))))
  (cbrt.f64 x)
  (cbrt.f64 (+.f64 y z))
  (exp.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (log.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z))))
  (cbrt.f64 (-.f64 y z))
  (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 y y) (-.f64 (*.f64 z z) (*.f64 y z))))
  (cbrt.f64 x)
  (cbrt.f64 (+.f64 y z))
  (exp.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (log.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) 1)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 x))
  (*.f64 2 1)
  (*.f64 2 1/3)
  (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (*.f64 1 1)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (*.f64 (cbrt.f64 x) (cbrt.f64 x))
  (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))) (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))))
  (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))) (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (+.f64 (*.f64 y y) (-.f64 (*.f64 z z) (*.f64 y z)))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y y) (-.f64 (*.f64 z z) (*.f64 y z)))) (cbrt.f64 (-.f64 y z)))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y y) (-.f64 (*.f64 z z) (*.f64 y z)))) (cbrt.f64 (+.f64 (*.f64 y y) (-.f64 (*.f64 z z) (*.f64 y z)))))
  (sqrt.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (sqrt.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))) (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z))))) (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z))))) (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z))))))
  (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (*.f64 (*.f64 x (+.f64 y z)) (*.f64 x (+.f64 y z)))
  (exp.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (log.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (+.f64 (log.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (log.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (+.f64 1 1)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (*.f64 x (+.f64 y z)) (*.f64 x (+.f64 y z)))
  (+.f64 1 1)
  (+.f64 1/3 1/3)
  (exp.f64 (*.f64 1/3 (+.f64 (log.f64 z) (log.f64 x))))
  (exp.f64 (*.f64 -1/3 (+.f64 (log.f64 (/.f64 1 x)) (log.f64 (/.f64 1 y)))))
  (exp.f64 (*.f64 -1/3 (+.f64 (log.f64 (/.f64 -1 y)) (log.f64 (/.f64 -1 x)))))
  (exp.f64 (*.f64 1/3 (+.f64 (log.f64 z) (log.f64 x))))
  (exp.f64 (*.f64 -1/3 (+.f64 (log.f64 (/.f64 1 x)) (log.f64 (/.f64 1 y)))))
  (exp.f64 (*.f64 -1/3 (+.f64 (log.f64 (/.f64 -1 y)) (log.f64 (/.f64 -1 x)))))
  (exp.f64 (*.f64 1/3 (+.f64 (log.f64 z) (log.f64 x))))
  (exp.f64 (*.f64 -1/3 (+.f64 (log.f64 (/.f64 1 x)) (log.f64 (/.f64 1 y)))))
  (exp.f64 (*.f64 -1/3 (+.f64 (log.f64 (/.f64 -1 y)) (log.f64 (/.f64 -1 x)))))
  (exp.f64 (*.f64 1/3 (+.f64 (*.f64 2 (log.f64 z)) (*.f64 2 (log.f64 x)))))
  (exp.f64 (*.f64 -1/3 (+.f64 (*.f64 2 (log.f64 (/.f64 1 x))) (*.f64 2 (log.f64 (/.f64 1 y))))))
  (exp.f64 (*.f64 -1/3 (+.f64 (*.f64 2 (log.f64 (/.f64 -1 y))) (*.f64 2 (log.f64 (/.f64 -1 x))))))
1.561 * * [simplify]: iteration  0 :  5790  enodes  (cost  1249 )
1.568 * [simplify]: Simplified to:
   (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 x (+.f64 y z))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z))))
  (cbrt.f64 (-.f64 y z))
  (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 z (-.f64 z y))))
  (cbrt.f64 x)
  (cbrt.f64 (+.f64 y z))
  (exp.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (log.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 x (+.f64 y z))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z))))
  (cbrt.f64 (-.f64 y z))
  (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 z (-.f64 z y))))
  (cbrt.f64 x)
  (cbrt.f64 (+.f64 y z))
  (exp.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (log.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 x (+.f64 y z))
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z))))
  (cbrt.f64 (-.f64 y z))
  (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3))))
  (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 z (-.f64 z y))))
  (cbrt.f64 x)
  (cbrt.f64 (+.f64 y z))
  (exp.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (log.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 4)
  (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 3)
  (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 4)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (+.f64 y z)))
  (cbrt.f64 (*.f64 x (+.f64 y z)))
  (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 3)
  (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 5)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 x))
  2
  2/3
  (cbrt.f64 (*.f64 x (+.f64 y z)))
  (cbrt.f64 (*.f64 x (+.f64 y z)))
  1
  (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 4)
  (cbrt.f64 (*.f64 x (+.f64 y z)))
  (cbrt.f64 (*.f64 x (+.f64 y z)))
  (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 4)
  (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))))
  (pow.f64 x 2/3)
  (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z)))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))) (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))))
  (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))) (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 z (-.f64 z y)))))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))) (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 z (-.f64 z y)))))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))) (cbrt.f64 (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 z (-.f64 z y)))) (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 z (-.f64 z y)))))
  (fabs.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (fabs.f64 (cbrt.f64 (*.f64 x (+.f64 y z))))
  (pow.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) 6)
  (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 4)) (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 4)))
  (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 4))
  (pow.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) 6)
  (exp.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 4))
  (*.f64 (log.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 2)
  (*.f64 (log.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 2)
  2
  (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (+.f64 y z)))) 4)
  (pow.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) 6)
  2
  2/3
  (cbrt.f64 (*.f64 x z))
  (*.f64 (cbrt.f64 x) (pow.f64 y 1/3))
  (*.f64 (cbrt.f64 x) (pow.f64 y 1/3))
  (cbrt.f64 (*.f64 x z))
  (*.f64 (cbrt.f64 x) (pow.f64 y 1/3))
  (*.f64 (cbrt.f64 x) (pow.f64 y 1/3))
  (cbrt.f64 (*.f64 x z))
  (*.f64 (cbrt.f64 x) (pow.f64 y 1/3))
  (*.f64 (cbrt.f64 x) (pow.f64 y 1/3))
  (pow.f64 (*.f64 x z) 2/3)
  (pow.f64 (/.f64 1 (*.f64 x y)) -2/3)
  (pow.f64 (/.f64 1 (*.f64 x y)) -2/3)
1.569 * * * [progress]: adding candidates to table
1.849 * [progress]: [Phase 3 of 3] Extracting.
1.849 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z)))) z))>)
1.849 * * * [regime-changes]: Trying 4 branch expressions: ((+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)) z y x)
1.849 * * * * [regimes]: Trying to branch on (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)) from (#<alt (λ (x y z) (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z)))) z))>)
1.916 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z)))) z))>)
1.980 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z)))) z))>)
2.047 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z)))> #<alt (λ (x y z) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z)))) (cbrt.f64 (*.f64 x (+.f64 y z)))) z))>)
2.106 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.106 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
2.109 * * [simplify]: iteration  0 :  22  enodes  (cost  13 )
2.109 * * [simplify]: iteration  1 :  22  enodes  (cost  13 )
2.109 * [simplify]: Simplified to:
   (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
3.800 * [regime-testing]: End program error score: 0.014251781472684086