Add x4 coth Pow x7 Mul x0 Mul x0 Pow acoth x0 acsch acos Mul x0 Mul x0 x0 
Mul Mul -1 Pow csch Pow x7 Mul x0 Mul x0 Pow acoth x0 acsch acos Mul x0 Mul x0 x0 2 Mul Pow x7 Add Mul x0 Mul x0 Pow acoth x0 acsch acos Mul x0 Mul x0 x0 -1 Mul Mul x7 log x7 Add Mul x0 Pow acoth x0 acsch acos Mul x0 Mul x0 x0 Mul x0 Add Pow acoth x0 acsch acos Mul x0 Mul x0 x0 Mul x0 Mul Pow acoth x0 Add acsch acos Mul x0 Mul x0 x0 -1 Add Mul acsch acos Mul x0 Mul x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul Mul -1 Mul -1 Mul Add Mul x0 x0 Mul x0 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul x0 x0 Mul x0 Mul x0 x0 -1 Pow Mul Mul acos Mul x0 Mul x0 x0 acos Mul x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul acos Mul x0 Mul x0 x0 acos Mul x0 Mul x0 x0 -1 -1 