−v2u2 + 2v2wu2−vwu2 + v2xu2−vxu2−v2wxu2 + vwxu2 + v2u−vu−v2wu + 2vwu−wu−v2xu + 2vxu−vwxu + wxu−xu + v−vw + w−vx−wx + 2x−1