How do you evaluate tan((71pi)/4)?