log Pow sec Mul x0 Pow csch x0 pi x0 
Mul Mul Pow sec Mul x0 Pow csch x0 pi Add x0 -1 Add Mul x0 Mul Mul tan Mul x0 Pow csch x0 pi sec Mul x0 Pow csch x0 pi Add Pow csch x0 pi Mul x0 Mul Pow csch x0 Add pi -1 Mul pi Mul Mul -1 coth x0 csch x0 Mul sec Mul x0 Pow csch x0 pi log sec Mul x0 Pow csch x0 pi Pow Pow sec Mul x0 Pow csch x0 pi x0 -1 