WolframAlpha computational knowledge AI
u' + \frac{1}{2} u^2 = -\frac{a}{\cosh^2 (x)}, x is real