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