WolframAlpha computational knowledge AI
solve sin(t) + cos(t) = 1