Mul x0 Pow Pow x3 atanh x0 acot coth Pow x0 x3 
Add Pow Pow x3 atanh x0 acot coth Pow x0 x3 Mul x0 Mul Pow Pow x3 atanh x0 Add acot coth Pow x0 x3 -1 Add Mul acot coth Pow x0 x3 Mul Pow x3 Add atanh x0 -1 Mul Mul x3 log x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow x3 atanh x0 log Pow x3 atanh x0 Mul -1 Mul Mul Mul -1 Pow csch Pow x0 x3 2 Mul Pow x0 Add x3 -1 x3 Pow Add 1 Mul coth Pow x0 x3 coth Pow x0 x3 -1 