How do you calculate tan1(tan(4π3))?