8.5.40 problem 40

Internal problem ID [768]
Book : Differential equations and linear algebra, 3rd ed., Edwards and Penney
Section : Section 1.6, Substitution methods and exact equations. Page 74
Problem number : 40
Date solved : Saturday, March 29, 2025 at 10:21:17 PM
CAS classification : [_exact]

\begin{align*} {\mathrm e}^{x} \sin \left (y\right )+\tan \left (y\right )+\left ({\mathrm e}^{x} \cos \left (y\right )+x \sec \left (y\right )^{2}\right ) y^{\prime }&=0 \end{align*}

✓ Maple. Time used: 0.025 (sec). Leaf size: 153

ode:=exp(x)*sin(y(x))+tan(y(x))+(exp(x)*cos(y(x))+x*sec(y(x))^2)*diff(y(x),x) = 0; 
dsolve(ode,y(x), singsol=all);
 

\[ y = \arctan \left (-\frac {c_1 \operatorname {RootOf}\left (\textit {\_Z}^{4} {\mathrm e}^{2 x}+2 x \,{\mathrm e}^{x} \textit {\_Z}^{3}+\left (c_1^{2}+x^{2}-{\mathrm e}^{2 x}\right ) \textit {\_Z}^{2}-2 x \,{\mathrm e}^{x} \textit {\_Z} -x^{2}\right )}{\operatorname {RootOf}\left (\textit {\_Z}^{4} {\mathrm e}^{2 x}+2 x \,{\mathrm e}^{x} \textit {\_Z}^{3}+\left (c_1^{2}+x^{2}-{\mathrm e}^{2 x}\right ) \textit {\_Z}^{2}-2 x \,{\mathrm e}^{x} \textit {\_Z} -x^{2}\right ) {\mathrm e}^{x}+x}, \operatorname {RootOf}\left (\textit {\_Z}^{4} {\mathrm e}^{2 x}+2 x \,{\mathrm e}^{x} \textit {\_Z}^{3}+\left (c_1^{2}+x^{2}-{\mathrm e}^{2 x}\right ) \textit {\_Z}^{2}-2 x \,{\mathrm e}^{x} \textit {\_Z} -x^{2}\right )\right ) \]

✓ Mathematica. Time used: 60.852 (sec). Leaf size: 5539

ode=Exp[x]*Sin[y[x]]+Tan[y[x]]+(Exp[x]*Cos[y[x]]+x*Sec[y[x]]^2)*D[y[x],x] == 0; 
ic={}; 
DSolve[{ode,ic},y[x],x,IncludeSingularSolutions->True]
 

Too large to display

✗ Sympy

from sympy import * 
x = symbols("x") 
y = Function("y") 
ode = Eq((x/cos(y(x))**2 + exp(x)*cos(y(x)))*Derivative(y(x), x) + exp(x)*sin(y(x)) + tan(y(x)),0) 
ics = {} 
dsolve(ode,func=y(x),ics=ics)
 

Timed Out