Mul Pow x0 cos Mul 3 acoth Add atanh x3 Mul Pow pi x0 log x1 1.58740105196820 
Mul 1.58740105196820 Mul Pow x0 Add cos Mul 3 acoth Add atanh x3 Mul Pow pi x0 log x1 -1 Add cos Mul 3 acoth Add atanh x3 Mul Pow pi x0 log x1 Mul Mul x0 log x0 Mul Mul -1 sin Mul 3 acoth Add atanh x3 Mul Pow pi x0 log x1 Mul 3 Mul Mul log x1 Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul -1 Mul Add atanh x3 Mul Pow pi x0 log x1 Add atanh x3 Mul Pow pi x0 log x1 -1 