Mul x0 Mul Pow pi Mul sqrt acoth Mul Add x0 E x3 0.332954255171770 x2 
Add Mul Pow pi Mul sqrt acoth Mul Add x0 E x3 0.332954255171770 x2 Mul x0 Mul x2 Mul Pow pi Add Mul sqrt acoth Mul Add x0 E x3 0.332954255171770 -1 Mul Mul pi log pi Mul 0.332954255171770 Mul Pow Mul 2 sqrt acoth Mul Add x0 E x3 -1 Mul x3 Pow Add 1 Mul -1 Mul Mul Add x0 E x3 Mul Add x0 E x3 -1 