Pow acsch Add Mul x4 x0 x7 atan Mul log pi Mul Add x0 3 acoth x0 
Mul Pow acsch Add Mul x4 x0 x7 Add atan Mul log pi Mul Add x0 3 acoth x0 -1 Add Mul atan Mul log pi Mul Add x0 3 acoth x0 Mul Mul -1 x4 Pow Mul Mul Add Mul x4 x0 x7 Add Mul x4 x0 x7 sqrt Add 1 Mul -1 Pow Mul Add Mul x4 x0 x7 Add Mul x4 x0 x7 -1 -1 Mul Mul acsch Add Mul x4 x0 x7 log acsch Add Mul x4 x0 x7 Mul Mul log pi Add acoth x0 Mul Add x0 3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul log pi Mul Add x0 3 acoth x0 Mul log pi Mul Add x0 3 acoth x0 -1 