Internal problem ID [12349]
Book: Ordinary Differential Equations by Charles E. Roberts, Jr. CRC Press. 2010
Section: Chapter 2. The Initial Value Problem. Exercises 2.3.1, page 57
Problem number: 9.
ODE order: 1.
ODE degree: 1.
CAS Maple gives this as type [_quadrature]
\[ \boxed {y^{\prime }=\tan \left (x \right )} \] With initial conditions \begin {align*} [y \left (0\right ) = 0] \end {align*}
✓ Solution by Maple
Time used: 0.016 (sec). Leaf size: 9
dsolve([diff(y(x),x)=tan(x),y(0) = 0],y(x), singsol=all)
\[ y \left (x \right ) = -\ln \left (\cos \left (x \right )\right ) \]
✓ Solution by Mathematica
Time used: 0.009 (sec). Leaf size: 10
DSolve[{y'[x]==Tan[x],{y[0]==0}},y[x],x,IncludeSingularSolutions -> True]
\[ y(x)\to -\log (\cos (x)) \]