How do you simplify tan(cos1x)?