(x² + (y - 9)² + (x² + (y + 9)²) - 9)² = 4(x² + (y - 9)²)(x² + (y + 9)²)