Mul Mul x2 Add atanh x0 x7 acsch Add pi coth Add acot x0 x1 
Add Mul acsch Add pi coth Add acot x0 x1 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x2 Add atanh x0 x7 Mul Mul -1 Mul Mul -1 Pow csch Add acot x0 x1 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Add pi coth Add acot x0 x1 Add pi coth Add acot x0 x1 sqrt Add 1 Mul -1 Pow Mul Add pi coth Add acot x0 x1 Add pi coth Add acot x0 x1 -1 -1 