[...] for. The other day I was trying to find a mathematical result: a formula for the gradient of the bivariate normal cumulative distribution function (CDF). This does not seem very obscure, but my search came up empty. I searched for "derivatives of …