Smooth singular value decomposition on the symplectic group and Lyapunov exponents approximation