Appendix A Derivative of ELBO) between the variational approximate posterior q(f,f) and the true posterior p(f,f