How do you evaluate cos(arctan3+arccot3)?