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