Mul Pow x5 Add Add -2 x0 Add Add x2 x1 Add Pow sec x3 x0 Pow acos x0 x3 Pow x0 atanh Mul x7 pi 
Add Mul Pow x0 atanh Mul x7 pi Mul Pow x5 Add Add Add -2 x0 Add Add x2 x1 Add Pow sec x3 x0 Pow acos x0 x3 -1 Mul Mul x5 log x5 Add 1 Add Mul Pow sec x3 Add x0 -1 Mul sec x3 log sec x3 Mul Pow acos x0 Add x3 -1 Mul x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x5 Add Add -2 x0 Add Add x2 x1 Add Pow sec x3 x0 Pow acos x0 x3 Mul Pow x0 Add atanh Mul x7 pi -1 atanh Mul x7 pi 