solve(1 = c * integrate(s + (1-s)(1-cos(x))^5*sin(x), x, 0, pi/2, y, 0, 2*pi), c)