WolframAlpha computational knowledge AI
identities for cos(t)+sin(t)