How do you evaluate arctan(13)+arctan(12)?