Mul Pow x2 acoth Mul pi Mul x0 x0 0.255412811882995 
Mul 0.255412811882995 Mul Pow x2 Add acoth Mul pi Mul x0 x0 -1 Mul Mul x2 log x2 Mul Mul pi Add x0 x0 Pow Add 1 Mul -1 Mul Mul pi Mul x0 x0 Mul pi Mul x0 x0 -1 