Denoising derivation is now to the point where epsilon^2 is fully evaluated; next is to take its derivatives.
Denoising derivation complete through taking partial derivatives of epsilon^2.  Caught a couple of mistakes along the way, and remembered that I needed a stronger constraint than just "unbiased."