What does #4sin(arccos(2))+4cos(arc cot(6))# equal?