Add Mul x0 Pow Add x2 Mul 0.863691154450617 Pow 2 Mul 2 x0 Add -2 acoth x0 E 
Add Pow Add x2 Mul 0.863691154450617 Pow 2 Mul 2 x0 Add -2 acoth x0 Mul x0 Mul Pow Add x2 Mul 0.863691154450617 Pow 2 Mul 2 x0 Add Add -2 acoth x0 -1 Add Mul Add -2 acoth x0 Mul 0.863691154450617 Mul Pow 2 Add Mul 2 x0 -1 4.69314718055995 Mul Mul Add x2 Mul 0.863691154450617 Pow 2 Mul 2 x0 log Add x2 Mul 0.863691154450617 Pow 2 Mul 2 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 