Challenge · Hard problem

Positive real numbers $x$ and $y$ satisfy $x^y=y^x$ and $y=3x$. Find $x+y$.