That's pretty cool, but isn't any computable function can be computed via FHE, so I'm not sure the differentiable part is necessary.