Mul asech Mul acos x0 log Pow asec x4 Add 1 Pow x6 4 Add acos x0 x0 
Add Mul Add acos x0 x0 Mul Mul log Pow asec x4 Add 1 Pow x6 4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul acos x0 log Pow asec x4 Add 1 Pow x6 4 Mul acos x0 log Pow asec x4 Add 1 Pow x6 4 sqrt Add 1 Mul -1 Pow Mul Mul acos x0 log Pow asec x4 Add 1 Pow x6 4 Mul acos x0 log Pow asec x4 Add 1 Pow x6 4 -1 -1 Mul asech Mul acos x0 log Pow asec x4 Add 1 Pow x6 4 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 