What does 4sin(arccos(2))+4cos(arccot(6)) equal?