atanh Mul Pow x0 Pow Add x5 Add Add -5 x0 Mul cbrt x3 4 pi Add Add Add Add x0 x0 x0 -2 Add x0 x1 
Mul Add Mul Add Add Add Add x0 x0 x0 -2 Add x0 x1 Mul Pow x0 Add Pow Add x5 Add Add -5 x0 Mul cbrt x3 4 pi -1 Add Pow Add x5 Add Add -5 x0 Mul cbrt x3 4 pi Mul Mul x0 log x0 Mul Pow Add x5 Add Add -5 x0 Mul cbrt x3 4 Add pi -1 pi Mul Pow x0 Pow Add x5 Add Add -5 x0 Mul cbrt x3 4 pi 4 Pow Add 1 Mul -1 Mul Mul Pow x0 Pow Add x5 Add Add -5 x0 Mul cbrt x3 4 pi Add Add Add Add x0 x0 x0 -2 Add x0 x1 Mul Pow x0 Pow Add x5 Add Add -5 x0 Mul cbrt x3 4 pi Add Add Add Add x0 x0 x0 -2 Add x0 x1 -1 