How do you evaluate sqrt2+tan^-1(root3(5))?