\int_{0}^{t}{\sin{\phi(x) dx}}