Pow x2 Mul acos x0 tan Pow Add x0 E sec x4 
Mul Pow x2 Add Mul acos x0 tan Pow Add x0 E sec x4 -1 Mul Mul x2 log x2 Add Mul tan Pow Add x0 E sec x4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul Pow sec Pow Add x0 E sec x4 2 Mul Pow Add x0 E Add sec x4 -1 sec x4 