Mul 3 Add Pow Pow x0 -2 4 Mul acos Add Mul x0 x0 coth x2 -1 
Mul 3 Add Mul Pow Pow x0 -2 3 Mul 4 Mul Pow x0 3 -2 Mul -1 Mul -1 Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 x0 coth x2 Add Mul x0 x0 coth x2 -1 