WolframAlpha computational knowledge AI
solve u= sin(a) cos(a)+1/2 for a