zeta.mws Discover an identity using lattice basis reduction