Estoy intentando reproducir los resultados de un artículo y esta ecuación diferencial
$$x'(t) = - a(x(t)^2 - b^2)$$
está en el centro del documento donde a y b son números positivos mayores que cero.
No puedo ver cómo llegan a una solución de $x(t) = -b \coth(b(a t+ C_1))$ sólo por integración.
He intentado resolver esta ecuación diferencial con Mathematica y me da una solución de
$$x(t) = b \tanh[b (a t + C[1])]$$
que no creo que sea lo mismo. Me gustaría saber cómo llegan a este resultado. Muchas gracias.