Pow E Pow asech Pow acos x2 x0 x4 
Mul Pow E Add Pow asech Pow acos x2 x0 x4 -1 Mul Mul E log E Mul Pow asech Pow acos x2 x0 Add x4 -1 Mul x4 Mul Mul Pow acos x2 Add x0 -1 Mul acos x2 log acos x2 Pow Mul Mul Pow acos x2 x0 Pow acos x2 x0 sqrt Add 1 Mul -1 Pow Mul Pow acos x2 x0 Pow acos x2 x0 -1 -1 