Trigonometric Functions · Superchallenge problem

Find the total length of the set of all $x$ in $[0,2\pi)$ for which $\sin x>\cos x>\tan x$. Round your answer to four decimal places.