Pow cot Pow Mul sec coth x0 x0 pi Pow x7 x1 
Mul Pow cot Pow Mul sec coth x0 x0 pi Add Pow x7 x1 -1 Mul Pow x7 x1 Mul Mul -1 Pow csc Pow Mul sec coth x0 x0 pi 2 Mul Pow Mul sec coth x0 x0 Add pi -1 Mul pi Add Mul x0 Mul Mul tan coth x0 sec coth x0 Mul -1 Pow csch x0 2 sec coth x0 