arctan(12)