Pow coth Mul Mul Mul x0 x7 asinh x0 log x1 Mul pi Add Add x0 x0 Add Mul acoth x0 x0 asinh pi 
Mul Pow coth Mul Mul Mul x0 x7 asinh x0 log x1 Add Mul pi Add Add x0 x0 Add Mul acoth x0 x0 asinh pi -1 Add Mul Mul pi Add Add x0 x0 Add Mul acoth x0 x0 asinh pi Mul Mul -1 Pow csch Mul Mul Mul x0 x7 asinh x0 log x1 2 Mul log x1 Add Mul asinh x0 x7 Mul Mul x0 x7 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul coth Mul Mul Mul x0 x7 asinh x0 log x1 log coth Mul Mul Mul x0 x7 asinh x0 log x1 Mul pi Add 2 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 