y=6+12x-x^3 求极值