Inverse Trigonometric Functions · Challenge problem

Find the positive real number $x$ that satisfies $\arcsin x=\arctan 2x$.