How do you evaluate arctan(1/2)arctan(12)?