solve 4 sin(x) cos(x)=1 for 0<x<7