sqrt Pow Pow atanh Mul Mul x0 x2 acos x0 pi Pow x0 Add Pow x0 x6 Mul x0 E 
Mul Pow Mul 2 sqrt Pow Pow atanh Mul Mul x0 x2 acos x0 pi Pow x0 Add Pow x0 x6 Mul x0 E -1 Mul Pow Pow atanh Mul Mul x0 x2 acos x0 pi Add Pow x0 Add Pow x0 x6 Mul x0 E -1 Add Mul Pow x0 Add Pow x0 x6 Mul x0 E Mul Pow atanh Mul Mul x0 x2 acos x0 Add pi -1 Mul pi Mul Add Mul acos x0 x2 Mul Mul x0 x2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Mul x0 x2 acos x0 Mul Mul x0 x2 acos x0 -1 Mul Mul Pow atanh Mul Mul x0 x2 acos x0 pi log Pow atanh Mul Mul x0 x2 acos x0 pi Mul Pow x0 Add Add Pow x0 x6 Mul x0 E -1 Add Add Pow x0 x6 Mul x0 E Mul Mul x0 log x0 Add Mul Pow x0 Add x6 -1 x6 E 