What does #tan(12arcsec(1))+9cos(arc cot(4))# equal?