(x∧2-4x)∧2+16(x∧2-4x)+64