(x^+4x)^+7(x^+4x)+12