hamiltonian works and matches. size improvement over EKF