Treat the simulated pairs as samples from the prior . The numerator and denominator of the posterior mean are then ordinary Monte Carlo estimators, so
where the normalized importance sampling weights are
The common Gaussian normalizing constant cancels.