WolframAlpha computational knowledge AI
half angle formula for sn