How do you evaluate the integral int_0^(pi/4)cos(x)dx ?