Mul Pow coth acoth Mul x0 x0 pi exp Pow x6 x0 
Add Mul exp Pow x6 x0 Mul Pow coth acoth Mul x0 x0 Add pi -1 Mul pi Mul Mul -1 Pow csch acoth Mul x0 x0 2 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Pow coth acoth Mul x0 x0 pi Mul exp Pow x6 x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 