\int_0^{pi}cos(x)dx