What does #tan(2arcsin(12)+cos(arc cot(4))# equal?