For comparison with other CAS choose from: Axiom Derive Macsyma Maple Mathematica
depend y,x;
odesolve(df(y,x) + y * sin x/cos x - 1/cos x,y,x);
load_package odesolve;
{y=arbconst(1)*cos(x) + sin(x)}
odesolve(x*(1-x**2)*df(y,x) + (2*x**2 -1)*y - x**3*y**3,y,x);
5
1 5*arbconst(2) + 2*x
{----=----------------------}
2 4 2
y 5*x - 5*x
solve(ws,y);
2
sqrt(x - 1)*sqrt(5)*x
{y=----------------------------,
5
sqrt(5*arbconst(2) + 2*x )
2
- sqrt(x - 1)*sqrt(5)*x
y=----------------------------}
5
sqrt(5*arbconst(2) + 2*x )
odesolve(df(y,x,2)+4*df(y,x)+4*y-x*exp(x),y,x);
3*x 3*x
3*e *x - 2*e + 27*arbconst(3)*x + 27*arbconst(3)
{y=-------------------------------------------------------}
2*x
27*e