What does #sin(arccos(4))-cot(arc cot(5))# equal?