x^12+3