What does sin(arccos(10))2cot(arctan(2)) equal?