WolframAlpha computational knowledge AI
d/dx sin(pi/12)x(cos(pi/12)x + sqrt((30-x)^2 - (sin(pi/12)x)^2)) = 0