Add -1 Pow Add Mul x0 pi atanh x0 Pow x1 acoth Add x0 cbrt exp Add x0 x0 
Mul Pow Add Mul x0 pi atanh x0 Add Pow x1 acoth Add x0 cbrt exp Add x0 x0 -1 Add Mul Pow x1 acoth Add x0 cbrt exp Add x0 x0 Add pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add Mul x0 pi atanh x0 log Add Mul x0 pi atanh x0 Mul Pow x1 Add acoth Add x0 cbrt exp Add x0 x0 -1 Mul Mul x1 log x1 Mul Add 1 Mul Pow Mul Mul 3 cbrt exp Add x0 x0 cbrt exp Add x0 x0 -1 Mul exp Add x0 x0 2 Pow Add 1 Mul -1 Mul Add x0 cbrt exp Add x0 x0 Add x0 cbrt exp Add x0 x0 -1 