f(x^2-t)dt换元