x^12-e^x