solve(1 %3D c * integrate(s %2B (1-s)(1-cos(x))%5E5*sin(x)%2C x%2C 0%2C pi%2F2%2C y%2C 0%2C 2*pi)%2C c)