设f(x)是定义在(负无穷,3]上的减函数,已知f(a^2-sinx)