✓ Maple : cpu = 2.266 (sec), leaf count = 89
This is separable after transformation of
Using half angle tan transformation where
But
Let
Verification
ode:=diff(y(x),x)=-a*sin(alpha*y(x)+beta*x)-b; A0:=sqrt(alpha^2*a^2-(alpha^2*b^2+beta^2-2*alpha*b*beta)); B0:=(alpha*b-beta); my_sol:=2/alpha*arctan(A0/B0*tanh((1/2)*A0*(x+_C1))-a*alpha/(B0))-beta*x/alpha; odetest(y(x)=my_sol,ode); 0