Si se tiene la función:
$$ y = \frac{x^2}{2} + \frac{1}{2}x\sqrt{x^2 + 1} + \log_e \sqrt{x + \sqrt{x^2 + 1}} $$
Demuestre que se cumple la siguiente identidad diferencial:
$$ 2y = xy' + \log_e y' $$