WolframAlpha computational knowledge AI
solve 4secx + 4tanx = 4 for x