The supplied identity says
Expanding it and differentiating with respect to gives
Equating the coefficient of in Lax's equation yields
The imaginary scalar terms then cancel because , leaving
Differentiate the first equation in and the second in to eliminate . The third-order Boussinesq Lax pair therefore produces
Thus the requested Boussinesq equation has
The Lax equation for these operators is equivalent to
Eliminating gives the Boussinesq equation