Mul exp Mul x3 pi Pow Add x0 -0.481211825059603 acoth acot Mul 3 x0 
Mul exp Mul x3 pi Mul Pow Add x0 -0.481211825059603 Add acoth acot Mul 3 x0 -1 Add acoth acot Mul 3 x0 Mul Mul Add x0 -0.481211825059603 log Add x0 -0.481211825059603 Mul Mul -1 Mul 3 Pow Add 1 Mul Mul 3 x0 Mul 3 x0 -1 Pow Add 1 Mul -1 Mul acot Mul 3 x0 acot Mul 3 x0 -1 