Semi-analytic progressive Gaussian filtering | Synapse