What does cos(arcsin(15))+2sec(arctan(12)) equal?