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