Pow sqrt Mul E Mul coth x6 Mul Mul 3.14159265358979 x0 x0 Add Mul E acos x0 E 
Mul Pow sqrt Mul E Mul coth x6 Mul Mul 3.14159265358979 x0 x0 Add Add Mul E acos x0 E -1 Add Mul Add Mul E acos x0 E Mul Pow Mul 2 sqrt Mul E Mul coth x6 Mul Mul 3.14159265358979 x0 x0 -1 Mul E Mul coth x6 Add Mul x0 3.14159265358979 Mul 3.14159265358979 x0 Mul Mul sqrt Mul E Mul coth x6 Mul Mul 3.14159265358979 x0 x0 log sqrt Mul E Mul coth x6 Mul Mul 3.14159265358979 x0 x0 Mul E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 