Add Add Pow Mul -1 x4 3 Pow Pow Add asech Pow atanh sqrt x2 Add x0 x3 Add acos x0 -5 5 pi x0 
Add Mul Pow Pow Add asech Pow atanh sqrt x2 Add x0 x3 Add acos x0 -5 5 Add pi -1 Mul pi Mul Pow Add asech Pow atanh sqrt x2 Add x0 x3 Add acos x0 -5 4 Mul 5 Add Mul Mul Pow atanh sqrt x2 Add Add x0 x3 -1 Mul atanh sqrt x2 log atanh sqrt x2 Pow Mul Mul Pow atanh sqrt x2 Add x0 x3 Pow atanh sqrt x2 Add x0 x3 sqrt Add 1 Mul -1 Pow Mul Pow atanh sqrt x2 Add x0 x3 Pow atanh sqrt x2 Add x0 x3 -1 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 