atanh Pow x6 Pow Pow pi Mul Mul E pi Add Mul -3 x0 Add atanh Add Add x0 Add pi x0 Mul x3 x0 x0 -2 
Mul Mul Pow x6 Add Pow Pow pi Mul Mul E pi Add Mul -3 x0 Add atanh Add Add x0 Add pi x0 Mul x3 x0 x0 -2 -1 Mul Mul x6 log x6 Mul Pow Pow pi Mul Mul E pi Add Mul -3 x0 Add atanh Add Add x0 Add pi x0 Mul x3 x0 x0 3 Mul -2 Mul Pow pi Add Mul Mul E pi Add Mul -3 x0 Add atanh Add Add x0 Add pi x0 Mul x3 x0 x0 -1 Mul Mul pi log pi Mul Mul E pi Add -3 Add Mul Add 2 x3 Pow Add 1 Mul -1 Mul Add Add x0 Add pi x0 Mul x3 x0 Add Add x0 Add pi x0 Mul x3 x0 -1 1 Pow Add 1 Mul -1 Mul Pow x6 Pow Pow pi Mul Mul E pi Add Mul -3 x0 Add atanh Add Add x0 Add pi x0 Mul x3 x0 x0 -2 Pow x6 Pow Pow pi Mul Mul E pi Add Mul -3 x0 Add atanh Add Add x0 Add pi x0 Mul x3 x0 x0 -2 -1 