WolframAlpha computational knowledge AI
sinB+sin(pi/3-B)=1