What does sec(arccos(2))+3cot(arctan(1)) equal?