Mul Pow sqrt atanh Pow Add x4 x0 pi x0 pi 
Mul pi Mul Pow sqrt atanh Pow Add x4 x0 pi Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt atanh Pow Add x4 x0 pi -1 Mul Mul Pow Add x4 x0 Add pi -1 pi Pow Add 1 Mul -1 Mul Pow Add x4 x0 pi Pow Add x4 x0 pi -1 Mul sqrt atanh Pow Add x4 x0 pi log sqrt atanh Pow Add x4 x0 pi 