tan x^(arctan x)=x^2