acoth Mul Pow Add atanh x6 Add Add 1 x2 pi Add x0 log Mul x0 x0 Add Mul 3 x0 pi 
Mul Add Mul Add Mul 3 x0 pi Mul Pow Add atanh x6 Add Add 1 x2 pi Add Add x0 log Mul x0 x0 -1 Mul Mul Add atanh x6 Add Add 1 x2 pi log Add atanh x6 Add Add 1 x2 pi Add 1 Mul Add x0 x0 Pow Mul x0 x0 -1 Mul Pow Add atanh x6 Add Add 1 x2 pi Add x0 log Mul x0 x0 3 Pow Add 1 Mul -1 Mul Mul Pow Add atanh x6 Add Add 1 x2 pi Add x0 log Mul x0 x0 Add Mul 3 x0 pi Mul Pow Add atanh x6 Add Add 1 x2 pi Add x0 log Mul x0 x0 Add Mul 3 x0 pi -1 