How do you evaluate tan1[tan(5π7)]?