atanh Pow x7 Pow Add -2 Add x0 x0 pi 
Mul Mul Pow x7 Add Pow Add -2 Add x0 x0 pi -1 Mul Mul x7 log x7 Mul Pow Add -2 Add x0 x0 Add pi -1 Mul pi 2 Pow Add 1 Mul -1 Mul Pow x7 Pow Add -2 Add x0 x0 pi Pow x7 Pow Add -2 Add x0 x0 pi -1 