2.556 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.298 * * * [progress]: [2/2] Setting up program.
0.305 * [progress]: [Phase 2 of 3] Improving.
0.433 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 x (*.f64 y (-.f64 z x)))
0.457 * * [simplify]: iteration  0 :  301  enodes  (cost  10 )
0.457 * * [simplify]: iteration  1 :  301  enodes  (cost  10 )
0.458 * [simplify]: Simplified to:
   (+.f64 x (*.f64 y (-.f64 z x)))
0.458 * * [progress]: iteration 1 / 4
0.458 * * * [progress]: picking best candidate
0.465 * * * * [pick]: Picked  #<alt (λ (x y z) (+.f64 x (*.f64 y (-.f64 z x))))>
0.465 * * * [progress]: localizing error
0.473 * * * [progress]: generating rewritten candidates
0.473 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.479 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.484 * * * [progress]: generating series expansions
0.484 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.484 * [approximate]: Taking taylor expansion of (* y (- z x)) in (y z x) around 0
0.484 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
0.484 * [taylor]: Taking taylor expansion of y in x
0.484 * [taylor]: Taking taylor expansion of (- z x) in x
0.484 * [taylor]: Taking taylor expansion of z in x
0.484 * [taylor]: Taking taylor expansion of x in x
0.484 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
0.484 * [taylor]: Taking taylor expansion of y in z
0.484 * [taylor]: Taking taylor expansion of (- z x) in z
0.485 * [taylor]: Taking taylor expansion of z in z
0.485 * [taylor]: Taking taylor expansion of x in z
0.485 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
0.485 * [taylor]: Taking taylor expansion of y in y
0.485 * [taylor]: Taking taylor expansion of (- z x) in y
0.485 * [taylor]: Taking taylor expansion of z in y
0.485 * [taylor]: Taking taylor expansion of x in y
0.485 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
0.485 * [taylor]: Taking taylor expansion of y in y
0.485 * [taylor]: Taking taylor expansion of (- z x) in y
0.485 * [taylor]: Taking taylor expansion of z in y
0.485 * [taylor]: Taking taylor expansion of x in y
0.485 * [taylor]: Taking taylor expansion of 0 in z
0.485 * [taylor]: Taking taylor expansion of 0 in x
0.486 * [taylor]: Taking taylor expansion of (- z x) in z
0.486 * [taylor]: Taking taylor expansion of z in z
0.486 * [taylor]: Taking taylor expansion of x in z
0.486 * [taylor]: Taking taylor expansion of (neg x) in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of 0 in x
0.487 * [taylor]: Taking taylor expansion of 0 in z
0.487 * [taylor]: Taking taylor expansion of 0 in x
0.487 * [taylor]: Taking taylor expansion of 1 in x
0.487 * [taylor]: Taking taylor expansion of 0 in x
0.488 * [taylor]: Taking taylor expansion of 0 in z
0.488 * [taylor]: Taking taylor expansion of 0 in x
0.488 * [taylor]: Taking taylor expansion of 0 in x
0.488 * [taylor]: Taking taylor expansion of 0 in x
0.488 * [taylor]: Taking taylor expansion of 0 in x
0.489 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0
0.489 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
0.489 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.489 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.489 * [taylor]: Taking taylor expansion of z in x
0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.489 * [taylor]: Taking taylor expansion of x in x
0.489 * [taylor]: Taking taylor expansion of y in x
0.489 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
0.489 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.489 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.489 * [taylor]: Taking taylor expansion of z in z
0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.489 * [taylor]: Taking taylor expansion of x in z
0.489 * [taylor]: Taking taylor expansion of y in z
0.490 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
0.490 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.490 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.490 * [taylor]: Taking taylor expansion of z in y
0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.490 * [taylor]: Taking taylor expansion of x in y
0.490 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
0.491 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.491 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.491 * [taylor]: Taking taylor expansion of z in y
0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.492 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.492 * [taylor]: Taking taylor expansion of z in z
0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.492 * [taylor]: Taking taylor expansion of x in z
0.492 * [taylor]: Taking taylor expansion of 1 in x
0.493 * [taylor]: Taking taylor expansion of 0 in z
0.494 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of 0 in z
0.495 * [taylor]: Taking taylor expansion of 0 in x
0.496 * [taylor]: Taking taylor expansion of 0 in x
0.498 * [taylor]: Taking taylor expansion of 0 in z
0.498 * [taylor]: Taking taylor expansion of 0 in x
0.499 * [taylor]: Taking taylor expansion of 0 in x
0.500 * [taylor]: Taking taylor expansion of 0 in x
0.502 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0
0.502 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x
0.502 * [taylor]: Taking taylor expansion of -1 in x
0.502 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
0.502 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.502 * [taylor]: Taking taylor expansion of z in x
0.502 * [taylor]: Taking taylor expansion of y in x
0.502 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z
0.502 * [taylor]: Taking taylor expansion of -1 in z
0.502 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
0.502 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.502 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.502 * [taylor]: Taking taylor expansion of x in z
0.502 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.502 * [taylor]: Taking taylor expansion of z in z
0.502 * [taylor]: Taking taylor expansion of y in z
0.502 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y
0.502 * [taylor]: Taking taylor expansion of -1 in y
0.502 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
0.503 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.503 * [taylor]: Taking taylor expansion of z in y
0.503 * [taylor]: Taking taylor expansion of y in y
0.503 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y
0.503 * [taylor]: Taking taylor expansion of -1 in y
0.503 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
0.503 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.504 * [taylor]: Taking taylor expansion of z in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.505 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z
0.505 * [taylor]: Taking taylor expansion of -1 in z
0.505 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.505 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.505 * [taylor]: Taking taylor expansion of x in z
0.505 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.505 * [taylor]: Taking taylor expansion of z in z
0.505 * [taylor]: Taking taylor expansion of 1 in x
0.507 * [taylor]: Taking taylor expansion of 0 in z
0.507 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.510 * [taylor]: Taking taylor expansion of 0 in z
0.510 * [taylor]: Taking taylor expansion of 0 in x
0.511 * [taylor]: Taking taylor expansion of 0 in x
0.513 * [taylor]: Taking taylor expansion of 0 in z
0.513 * [taylor]: Taking taylor expansion of 0 in x
0.513 * [taylor]: Taking taylor expansion of 0 in x
0.515 * [taylor]: Taking taylor expansion of 0 in x
0.517 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.517 * [approximate]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in (x y z) around 0
0.517 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in z
0.517 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z
0.517 * [taylor]: Taking taylor expansion of (* z y) in z
0.517 * [taylor]: Taking taylor expansion of z in z
0.517 * [taylor]: Taking taylor expansion of y in z
0.517 * [taylor]: Taking taylor expansion of x in z
0.517 * [taylor]: Taking taylor expansion of (* x y) in z
0.517 * [taylor]: Taking taylor expansion of x in z
0.517 * [taylor]: Taking taylor expansion of y in z
0.517 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in y
0.517 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y
0.517 * [taylor]: Taking taylor expansion of (* z y) in y
0.517 * [taylor]: Taking taylor expansion of z in y
0.517 * [taylor]: Taking taylor expansion of y in y
0.517 * [taylor]: Taking taylor expansion of x in y
0.517 * [taylor]: Taking taylor expansion of (* x y) in y
0.517 * [taylor]: Taking taylor expansion of x in y
0.517 * [taylor]: Taking taylor expansion of y in y
0.517 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in x
0.517 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.517 * [taylor]: Taking taylor expansion of (* z y) in x
0.517 * [taylor]: Taking taylor expansion of z in x
0.517 * [taylor]: Taking taylor expansion of y in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.517 * [taylor]: Taking taylor expansion of (* x y) in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.517 * [taylor]: Taking taylor expansion of y in x
0.517 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in x
0.517 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.517 * [taylor]: Taking taylor expansion of (* z y) in x
0.517 * [taylor]: Taking taylor expansion of z in x
0.517 * [taylor]: Taking taylor expansion of y in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.517 * [taylor]: Taking taylor expansion of (* x y) in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.517 * [taylor]: Taking taylor expansion of y in x
0.518 * [taylor]: Taking taylor expansion of (* z y) in y
0.518 * [taylor]: Taking taylor expansion of z in y
0.518 * [taylor]: Taking taylor expansion of y in y
0.518 * [taylor]: Taking taylor expansion of 0 in z
0.519 * [taylor]: Taking taylor expansion of (- 1 y) in y
0.519 * [taylor]: Taking taylor expansion of 1 in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.519 * [taylor]: Taking taylor expansion of 1 in z
0.519 * [taylor]: Taking taylor expansion of z in z
0.520 * [taylor]: Taking taylor expansion of 0 in y
0.520 * [taylor]: Taking taylor expansion of 0 in z
0.520 * [taylor]: Taking taylor expansion of -1 in z
0.520 * [taylor]: Taking taylor expansion of 0 in z
0.522 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in (x y z) around 0
0.522 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in z
0.522 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.522 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.522 * [taylor]: Taking taylor expansion of (* z y) in z
0.522 * [taylor]: Taking taylor expansion of z in z
0.522 * [taylor]: Taking taylor expansion of y in z
0.522 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.522 * [taylor]: Taking taylor expansion of x in z
0.522 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.522 * [taylor]: Taking taylor expansion of (* x y) in z
0.522 * [taylor]: Taking taylor expansion of x in z
0.522 * [taylor]: Taking taylor expansion of y in z
0.523 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in y
0.523 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.523 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.523 * [taylor]: Taking taylor expansion of (* z y) in y
0.523 * [taylor]: Taking taylor expansion of z in y
0.523 * [taylor]: Taking taylor expansion of y in y
0.523 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.523 * [taylor]: Taking taylor expansion of x in y
0.523 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.523 * [taylor]: Taking taylor expansion of (* x y) in y
0.523 * [taylor]: Taking taylor expansion of x in y
0.523 * [taylor]: Taking taylor expansion of y in y
0.523 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x
0.523 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.523 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.523 * [taylor]: Taking taylor expansion of (* z y) in x
0.523 * [taylor]: Taking taylor expansion of z in x
0.523 * [taylor]: Taking taylor expansion of y in x
0.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.524 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.524 * [taylor]: Taking taylor expansion of (* x y) in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.524 * [taylor]: Taking taylor expansion of y in x
0.524 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x
0.524 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.524 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.524 * [taylor]: Taking taylor expansion of (* z y) in x
0.524 * [taylor]: Taking taylor expansion of z in x
0.524 * [taylor]: Taking taylor expansion of y in x
0.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.525 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.525 * [taylor]: Taking taylor expansion of (* x y) in x
0.525 * [taylor]: Taking taylor expansion of x in x
0.525 * [taylor]: Taking taylor expansion of y in x
0.525 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
0.525 * [taylor]: Taking taylor expansion of 1 in y
0.525 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.525 * [taylor]: Taking taylor expansion of y in y
0.526 * [taylor]: Taking taylor expansion of -1 in z
0.527 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.527 * [taylor]: Taking taylor expansion of (* z y) in y
0.527 * [taylor]: Taking taylor expansion of z in y
0.527 * [taylor]: Taking taylor expansion of y in y
0.527 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.527 * [taylor]: Taking taylor expansion of z in z
0.528 * [taylor]: Taking taylor expansion of 1 in z
0.530 * [taylor]: Taking taylor expansion of 0 in y
0.530 * [taylor]: Taking taylor expansion of 0 in z
0.530 * [taylor]: Taking taylor expansion of 0 in z
0.533 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in (x y z) around 0
0.533 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in z
0.533 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.533 * [taylor]: Taking taylor expansion of (* z y) in z
0.533 * [taylor]: Taking taylor expansion of z in z
0.533 * [taylor]: Taking taylor expansion of y in z
0.533 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
0.533 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.533 * [taylor]: Taking taylor expansion of (* x y) in z
0.533 * [taylor]: Taking taylor expansion of x in z
0.533 * [taylor]: Taking taylor expansion of y in z
0.533 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.533 * [taylor]: Taking taylor expansion of x in z
0.533 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in y
0.533 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.533 * [taylor]: Taking taylor expansion of (* z y) in y
0.533 * [taylor]: Taking taylor expansion of z in y
0.533 * [taylor]: Taking taylor expansion of y in y
0.534 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
0.534 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.534 * [taylor]: Taking taylor expansion of (* x y) in y
0.534 * [taylor]: Taking taylor expansion of x in y
0.534 * [taylor]: Taking taylor expansion of y in y
0.534 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.534 * [taylor]: Taking taylor expansion of x in y
0.534 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.534 * [taylor]: Taking taylor expansion of (* z y) in x
0.534 * [taylor]: Taking taylor expansion of z in x
0.534 * [taylor]: Taking taylor expansion of y in x
0.534 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.534 * [taylor]: Taking taylor expansion of (* x y) in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.534 * [taylor]: Taking taylor expansion of y in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.535 * [taylor]: Taking taylor expansion of (* z y) in x
0.535 * [taylor]: Taking taylor expansion of z in x
0.535 * [taylor]: Taking taylor expansion of y in x
0.535 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.535 * [taylor]: Taking taylor expansion of (* x y) in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of y in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.536 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) 1)) in y
0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.536 * [taylor]: Taking taylor expansion of y in y
0.536 * [taylor]: Taking taylor expansion of 1 in y
0.536 * [taylor]: Taking taylor expansion of -1 in z
0.537 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.537 * [taylor]: Taking taylor expansion of (* z y) in y
0.537 * [taylor]: Taking taylor expansion of z in y
0.537 * [taylor]: Taking taylor expansion of y in y
0.537 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.537 * [taylor]: Taking taylor expansion of z in z
0.538 * [taylor]: Taking taylor expansion of -1 in z
0.539 * [taylor]: Taking taylor expansion of 0 in y
0.540 * [taylor]: Taking taylor expansion of 0 in z
0.540 * [taylor]: Taking taylor expansion of 0 in z
0.542 * * * [progress]: simplifying candidates
0.542 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 y (-.f64 (*.f64 z z) (*.f64 x x)))
  (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 x 3)))
  (*.f64 y (-.f64 z x))
  (*.f64 (sqrt.f64 y) (-.f64 z x))
  (*.f64 (cbrt.f64 y) (-.f64 z x))
  (*.f64 y 1)
  (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 x)))
  (*.f64 y 1)
  (*.f64 y (sqrt.f64 (-.f64 z x)))
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 z x)) (cbrt.f64 (-.f64 z x))))
  (*.f64 z y)
  (*.f64 (neg.f64 x) y)
  (*.f64 y z)
  (*.f64 y (neg.f64 x))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z x)))
  (sqrt.f64 (*.f64 y (-.f64 z x)))
  (sqrt.f64 (*.f64 y (-.f64 z x)))
  (*.f64 (*.f64 (*.f64 y (-.f64 z x)) (*.f64 y (-.f64 z x))) (*.f64 y (-.f64 z x)))
  (*.f64 (cbrt.f64 (*.f64 y (-.f64 z x))) (cbrt.f64 (*.f64 y (-.f64 z x))))
  (cbrt.f64 (*.f64 y (-.f64 z x)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 z x) (-.f64 z x)) (-.f64 z x)))
  (exp.f64 (*.f64 y (-.f64 z x)))
  (log.f64 (*.f64 y (-.f64 z x)))
  (+.f64 (log.f64 y) (log.f64 (-.f64 z x)))
  (*.f64 y (-.f64 z x))
  (+.f64 x (*.f64 z y))
  (+.f64 x (*.f64 y z))
  (-.f64 (*.f64 x x) (*.f64 (*.f64 y (-.f64 z x)) (*.f64 y (-.f64 z x))))
  (-.f64 x (*.f64 y (-.f64 z x)))
  (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (-.f64 z x)) 3))
  (+.f64 (*.f64 x x) (-.f64 (*.f64 (*.f64 y (-.f64 z x)) (*.f64 y (-.f64 z x))) (*.f64 x (*.f64 y (-.f64 z x)))))
  (sqrt.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (sqrt.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (*.f64 (*.f64 (+.f64 x (*.f64 y (-.f64 z x))) (+.f64 x (*.f64 y (-.f64 z x)))) (+.f64 x (*.f64 y (-.f64 z x))))
  (*.f64 (cbrt.f64 (+.f64 x (*.f64 y (-.f64 z x)))) (cbrt.f64 (+.f64 x (*.f64 y (-.f64 z x)))))
  (cbrt.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (exp.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (log.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (*.f64 (exp.f64 x) (exp.f64 (*.f64 y (-.f64 z x))))
  (-.f64 (*.f64 z y) (*.f64 x y))
  (-.f64 (*.f64 z y) (*.f64 x y))
  (-.f64 (*.f64 z y) (*.f64 x y))
  (-.f64 (+.f64 (*.f64 z y) x) (*.f64 x y))
  (-.f64 (+.f64 (*.f64 z y) x) (*.f64 x y))
  (-.f64 (+.f64 (*.f64 z y) x) (*.f64 x y))
0.608 * * [simplify]: iteration  0 :  5616  enodes  (cost  482 )
0.611 * [simplify]: Simplified to:
   (*.f64 y (-.f64 (*.f64 z z) (*.f64 x x)))
  (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 x 3)))
  (*.f64 y (-.f64 z x))
  (*.f64 (-.f64 z x) (sqrt.f64 y))
  (*.f64 (-.f64 z x) (cbrt.f64 y))
  y
  (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 x)))
  y
  (*.f64 y (sqrt.f64 (-.f64 z x)))
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 z x)) (cbrt.f64 (-.f64 z x))))
  (*.f64 y z)
  (*.f64 y (neg.f64 x))
  (*.f64 y z)
  (*.f64 y (neg.f64 x))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z x)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z x)))
  (sqrt.f64 (*.f64 y (-.f64 z x)))
  (sqrt.f64 (*.f64 y (-.f64 z x)))
  (pow.f64 (*.f64 y (-.f64 z x)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (-.f64 z x))) (cbrt.f64 (*.f64 y (-.f64 z x))))
  (cbrt.f64 (*.f64 y (-.f64 z x)))
  (pow.f64 (*.f64 y (-.f64 z x)) 3)
  (exp.f64 (*.f64 y (-.f64 z x)))
  (log.f64 (*.f64 y (-.f64 z x)))
  (log.f64 (*.f64 y (-.f64 z x)))
  (*.f64 y (-.f64 z x))
  (+.f64 x (*.f64 y z))
  (+.f64 x (*.f64 y z))
  (-.f64 (*.f64 x x) (*.f64 (*.f64 y (-.f64 z x)) (*.f64 y (-.f64 z x))))
  (-.f64 x (*.f64 y (-.f64 z x)))
  (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (-.f64 z x)) 3))
  (+.f64 (*.f64 x x) (*.f64 y (*.f64 (-.f64 z x) (-.f64 (*.f64 y (-.f64 z x)) x))))
  (sqrt.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (sqrt.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (pow.f64 (+.f64 x (*.f64 y (-.f64 z x))) 3)
  (*.f64 (cbrt.f64 (+.f64 x (*.f64 y (-.f64 z x)))) (cbrt.f64 (+.f64 x (*.f64 y (-.f64 z x)))))
  (cbrt.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (exp.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (log.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (exp.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (*.f64 y (-.f64 z x))
  (*.f64 y (-.f64 z x))
  (*.f64 y (-.f64 z x))
  (+.f64 x (*.f64 y (-.f64 z x)))
  (+.f64 x (*.f64 y (-.f64 z x)))
  (+.f64 x (*.f64 y (-.f64 z x)))
0.611 * * * [progress]: adding candidates to table
0.731 * * [progress]: iteration 2 / 4
0.731 * * * [progress]: picking best candidate
0.737 * * * * [pick]: Picked  #<alt (λ (x y z) (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))))>
0.738 * * * [progress]: localizing error
0.749 * * * [progress]: generating rewritten candidates
0.749 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.762 * * * [progress]: generating series expansions
0.762 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.763 * [approximate]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in (x y z) around 0
0.763 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in z
0.763 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z
0.763 * [taylor]: Taking taylor expansion of (* z y) in z
0.763 * [taylor]: Taking taylor expansion of z in z
0.763 * [taylor]: Taking taylor expansion of y in z
0.763 * [taylor]: Taking taylor expansion of x in z
0.763 * [taylor]: Taking taylor expansion of (* x y) in z
0.763 * [taylor]: Taking taylor expansion of x in z
0.763 * [taylor]: Taking taylor expansion of y in z
0.763 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in y
0.763 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y
0.763 * [taylor]: Taking taylor expansion of (* z y) in y
0.763 * [taylor]: Taking taylor expansion of z in y
0.763 * [taylor]: Taking taylor expansion of y in y
0.763 * [taylor]: Taking taylor expansion of x in y
0.763 * [taylor]: Taking taylor expansion of (* x y) in y
0.763 * [taylor]: Taking taylor expansion of x in y
0.763 * [taylor]: Taking taylor expansion of y in y
0.763 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in x
0.764 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.764 * [taylor]: Taking taylor expansion of (* z y) in x
0.764 * [taylor]: Taking taylor expansion of z in x
0.764 * [taylor]: Taking taylor expansion of y in x
0.764 * [taylor]: Taking taylor expansion of x in x
0.764 * [taylor]: Taking taylor expansion of (* x y) in x
0.764 * [taylor]: Taking taylor expansion of x in x
0.764 * [taylor]: Taking taylor expansion of y in x
0.764 * [taylor]: Taking taylor expansion of (- (+ (* z y) x) (* x y)) in x
0.764 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x
0.764 * [taylor]: Taking taylor expansion of (* z y) in x
0.764 * [taylor]: Taking taylor expansion of z in x
0.764 * [taylor]: Taking taylor expansion of y in x
0.764 * [taylor]: Taking taylor expansion of x in x
0.764 * [taylor]: Taking taylor expansion of (* x y) in x
0.764 * [taylor]: Taking taylor expansion of x in x
0.764 * [taylor]: Taking taylor expansion of y in x
0.764 * [taylor]: Taking taylor expansion of (* z y) in y
0.764 * [taylor]: Taking taylor expansion of z in y
0.764 * [taylor]: Taking taylor expansion of y in y
0.764 * [taylor]: Taking taylor expansion of 0 in z
0.765 * [taylor]: Taking taylor expansion of (- 1 y) in y
0.765 * [taylor]: Taking taylor expansion of 1 in y
0.765 * [taylor]: Taking taylor expansion of y in y
0.765 * [taylor]: Taking taylor expansion of 1 in z
0.765 * [taylor]: Taking taylor expansion of z in z
0.766 * [taylor]: Taking taylor expansion of 0 in y
0.766 * [taylor]: Taking taylor expansion of 0 in z
0.766 * [taylor]: Taking taylor expansion of -1 in z
0.767 * [taylor]: Taking taylor expansion of 0 in z
0.769 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in (x y z) around 0
0.769 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in z
0.769 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z
0.770 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.770 * [taylor]: Taking taylor expansion of (* z y) in z
0.770 * [taylor]: Taking taylor expansion of z in z
0.770 * [taylor]: Taking taylor expansion of y in z
0.770 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.771 * [taylor]: Taking taylor expansion of x in z
0.771 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.771 * [taylor]: Taking taylor expansion of (* x y) in z
0.771 * [taylor]: Taking taylor expansion of x in z
0.771 * [taylor]: Taking taylor expansion of y in z
0.771 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in y
0.771 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y
0.771 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.771 * [taylor]: Taking taylor expansion of (* z y) in y
0.771 * [taylor]: Taking taylor expansion of z in y
0.771 * [taylor]: Taking taylor expansion of y in y
0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.771 * [taylor]: Taking taylor expansion of x in y
0.771 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.771 * [taylor]: Taking taylor expansion of (* x y) in y
0.771 * [taylor]: Taking taylor expansion of x in y
0.771 * [taylor]: Taking taylor expansion of y in y
0.772 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x
0.772 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.772 * [taylor]: Taking taylor expansion of (* z y) in x
0.772 * [taylor]: Taking taylor expansion of z in x
0.772 * [taylor]: Taking taylor expansion of y in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.772 * [taylor]: Taking taylor expansion of x in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.772 * [taylor]: Taking taylor expansion of (* x y) in x
0.772 * [taylor]: Taking taylor expansion of x in x
0.772 * [taylor]: Taking taylor expansion of y in x
0.772 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 x)) (/ 1 (* x y))) in x
0.772 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.772 * [taylor]: Taking taylor expansion of (* z y) in x
0.772 * [taylor]: Taking taylor expansion of z in x
0.772 * [taylor]: Taking taylor expansion of y in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.772 * [taylor]: Taking taylor expansion of x in x
0.773 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.773 * [taylor]: Taking taylor expansion of (* x y) in x
0.773 * [taylor]: Taking taylor expansion of x in x
0.773 * [taylor]: Taking taylor expansion of y in x
0.773 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
0.773 * [taylor]: Taking taylor expansion of 1 in y
0.773 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.773 * [taylor]: Taking taylor expansion of y in y
0.773 * [taylor]: Taking taylor expansion of -1 in z
0.775 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.775 * [taylor]: Taking taylor expansion of (* z y) in y
0.775 * [taylor]: Taking taylor expansion of z in y
0.775 * [taylor]: Taking taylor expansion of y in y
0.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.775 * [taylor]: Taking taylor expansion of z in z
0.775 * [taylor]: Taking taylor expansion of 1 in z
0.777 * [taylor]: Taking taylor expansion of 0 in y
0.777 * [taylor]: Taking taylor expansion of 0 in z
0.778 * [taylor]: Taking taylor expansion of 0 in z
0.780 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in (x y z) around 0
0.780 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in z
0.780 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.780 * [taylor]: Taking taylor expansion of (* z y) in z
0.780 * [taylor]: Taking taylor expansion of z in z
0.780 * [taylor]: Taking taylor expansion of y in z
0.781 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
0.781 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.781 * [taylor]: Taking taylor expansion of (* x y) in z
0.781 * [taylor]: Taking taylor expansion of x in z
0.781 * [taylor]: Taking taylor expansion of y in z
0.781 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.781 * [taylor]: Taking taylor expansion of x in z
0.781 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in y
0.781 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.781 * [taylor]: Taking taylor expansion of (* z y) in y
0.781 * [taylor]: Taking taylor expansion of z in y
0.781 * [taylor]: Taking taylor expansion of y in y
0.781 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
0.781 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.781 * [taylor]: Taking taylor expansion of (* x y) in y
0.781 * [taylor]: Taking taylor expansion of x in y
0.781 * [taylor]: Taking taylor expansion of y in y
0.782 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.782 * [taylor]: Taking taylor expansion of x in y
0.782 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.782 * [taylor]: Taking taylor expansion of (* z y) in x
0.782 * [taylor]: Taking taylor expansion of z in x
0.782 * [taylor]: Taking taylor expansion of y in x
0.782 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.782 * [taylor]: Taking taylor expansion of (* x y) in x
0.782 * [taylor]: Taking taylor expansion of x in x
0.782 * [taylor]: Taking taylor expansion of y in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.782 * [taylor]: Taking taylor expansion of x in x
0.782 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (+ (/ 1 (* x y)) (/ 1 x))) in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.782 * [taylor]: Taking taylor expansion of (* z y) in x
0.782 * [taylor]: Taking taylor expansion of z in x
0.782 * [taylor]: Taking taylor expansion of y in x
0.782 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
0.783 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.783 * [taylor]: Taking taylor expansion of (* x y) in x
0.783 * [taylor]: Taking taylor expansion of x in x
0.783 * [taylor]: Taking taylor expansion of y in x
0.783 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.783 * [taylor]: Taking taylor expansion of x in x
0.783 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) 1)) in y
0.783 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.783 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.783 * [taylor]: Taking taylor expansion of y in y
0.784 * [taylor]: Taking taylor expansion of 1 in y
0.784 * [taylor]: Taking taylor expansion of -1 in z
0.785 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.785 * [taylor]: Taking taylor expansion of (* z y) in y
0.785 * [taylor]: Taking taylor expansion of z in y
0.785 * [taylor]: Taking taylor expansion of y in y
0.785 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.785 * [taylor]: Taking taylor expansion of z in z
0.785 * [taylor]: Taking taylor expansion of -1 in z
0.787 * [taylor]: Taking taylor expansion of 0 in y
0.788 * [taylor]: Taking taylor expansion of 0 in z
0.788 * [taylor]: Taking taylor expansion of 0 in z
0.790 * * * [progress]: simplifying candidates
0.790 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 x (*.f64 y z))
  (+.f64 x (*.f64 y z))
  (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))))
  (-.f64 (*.f64 x x) (*.f64 (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))) (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))))
  (-.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))))
  (+.f64 (pow.f64 x 3) (pow.f64 (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))) 3))
  (+.f64 (*.f64 x x) (-.f64 (*.f64 (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))) (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))) (*.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))))))
  (sqrt.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))))
  (sqrt.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))))
  (*.f64 (*.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))) (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))))) (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))))
  (*.f64 (cbrt.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))))) (cbrt.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))))))
  (cbrt.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))))
  (exp.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))))
  (log.f64 (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))))
  (*.f64 (exp.f64 x) (exp.f64 (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x)))))
  (*.f64 (exp.f64 x) (*.f64 (exp.f64 (*.f64 y z)) (exp.f64 (*.f64 y (neg.f64 x)))))
  (-.f64 (+.f64 (*.f64 z y) x) (*.f64 x y))
  (-.f64 (+.f64 (*.f64 z y) x) (*.f64 x y))
  (-.f64 (+.f64 (*.f64 z y) x) (*.f64 x y))
0.875 * * [simplify]: iteration  0 :  5326  enodes  (cost  250 )
0.877 * [simplify]: Simplified to:
   (+.f64 x (*.f64 y z))
  (+.f64 x (*.f64 y z))
  (+.f64 x (*.f64 y (-.f64 z x)))
  (-.f64 (*.f64 x x) (*.f64 (*.f64 y (-.f64 z x)) (*.f64 y (-.f64 z x))))
  (-.f64 x (*.f64 y (-.f64 z x)))
  (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (-.f64 z x)) 3))
  (+.f64 (*.f64 x x) (*.f64 y (*.f64 (-.f64 (*.f64 y (-.f64 z x)) x) (-.f64 z x))))
  (sqrt.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (sqrt.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (pow.f64 (+.f64 x (*.f64 y (-.f64 z x))) 3)
  (*.f64 (cbrt.f64 (+.f64 x (*.f64 y (-.f64 z x)))) (cbrt.f64 (+.f64 x (*.f64 y (-.f64 z x)))))
  (cbrt.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (exp.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (log.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (exp.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (exp.f64 (+.f64 x (*.f64 y (-.f64 z x))))
  (+.f64 x (*.f64 y (-.f64 z x)))
  (+.f64 x (*.f64 y (-.f64 z x)))
  (+.f64 x (*.f64 y (-.f64 z x)))
0.877 * * * [progress]: adding candidates to table
0.943 * [progress]: [Phase 3 of 3] Extracting.
0.950 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))))
0.953 * * [simplify]: iteration  0 :  37  enodes  (cost  13 )
0.953 * * [simplify]: iteration  1 :  37  enodes  (cost  13 )
0.953 * [simplify]: Simplified to:
   (+.f64 x (-.f64 (*.f64 y z) (*.f64 x y)))
2.076 * [regime-testing]: End program error score: 0.01399011008821209