What does 4sin(arccos(2))-cos(arctan(4)) equal?