Mul csch Mul x3 acot acot Pow x4 x0 -1 
Mul -1 Mul Mul Mul -1 coth Mul x3 acot acot Pow x4 x0 csch Mul x3 acot acot Pow x4 x0 Mul x3 Mul -1 Mul Mul -1 Mul Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Add 1 Mul Pow x4 x0 Pow x4 x0 -1 Pow Add 1 Mul acot Pow x4 x0 acot Pow x4 x0 -1 