On Gaussian Optimal Smoothing of Non-Linear State Space Models | Synapse