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