sin2x/cos(π/2+x)=sqrt3