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