sin tan Mul x0 Mul Pow x0 pi coth acoth acoth x6 
Mul cos tan Mul x0 Mul Pow x0 pi coth acoth acoth x6 Mul Pow sec Mul x0 Mul Pow x0 pi coth acoth acoth x6 2 Add Mul Pow x0 pi coth acoth acoth x6 Mul x0 Mul coth acoth acoth x6 Mul Pow x0 Add pi -1 pi 