2vu−3vwu + 2wu−2vxu + 2vwxu−2wxu + 2xu−2vyu + 2vwyu−wyu + 2vxyu−vwxyu + wxyu−2xyu + yu−u−v + 2vw−2w + vx−vwx + 2wx−2x + 2vy−2vwy + 2wy−2vxy + vwxy−2wxy + 3xy−2y + 1