integrate(2 *pi *(s %2B (1-s)(1-cos(x))%5E5*sin(x))%2C x%2C 0%2C pi%2F2)