Add Mul atanh pi x0 Pow Add Mul x0 E atan Add -4 Mul Pow 2 acoth x0 3 0.255412811882995 
Add atanh pi Mul Pow Add Mul x0 E atan Add -4 Mul Pow 2 acoth x0 3 -0.744587188117005 Mul 0.255412811882995 Add E Mul Mul 3 Mul Pow 2 Add acoth x0 -1 Mul 2.69314718055995 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add -4 Mul Pow 2 acoth x0 3 Add -4 Mul Pow 2 acoth x0 3 -1 