cos(arctan(4/3)+arccos(5/13))