Pow Pow Mul pi sqrt x7 atanh x1 csch Mul -1 x0 
Mul Pow Pow Mul pi sqrt x7 atanh x1 Add csch Mul -1 x0 -1 Mul Mul Pow Mul pi sqrt x7 atanh x1 log Pow Mul pi sqrt x7 atanh x1 Mul Mul Mul -1 coth Mul -1 x0 csch Mul -1 x0 -1 