已知函数f(x)=(4x^2-7)/2-x