Solve equation 1/3*x + sin(2*x)==1
I have the equations
y - 1 == 0, y == 1/3*x + sin(2*x)
and I want solutions. I know by the intermediate value theorem that there are two solutions : about x=0.5 and x=1.25. I'd like Sage to give me these solutions. I already tried to_poly_solve=True and/or explicit_solutions=True.
As an example of failure :
sage: solve( 1/3*x + sin(2*x)==1,x,explicit_solutions=True ) 
What can I do ?
Thanks Laurent Claessens