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