How do you calculate arctan(12)?