Mul Add x7 tanh x6 Mul x0 Mul acos Add x0 acoth Mul pi 2 0.252644850037201 
Mul Add x7 tanh x6 Add Mul acos Add x0 acoth Mul pi 2 0.252644850037201 Mul x0 Mul 0.252644850037201 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 acoth Mul pi 2 Add x0 acoth Mul pi 2 -1 