Mul asech x0 Pow sec Pow Add -4 x0 acos x3 x5 
Add Mul Pow sec Pow Add -4 x0 acos x3 x5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul Pow sec Pow Add -4 x0 acos x3 Add x5 -1 Mul x5 Mul Mul tan Pow Add -4 x0 acos x3 sec Pow Add -4 x0 acos x3 Mul Pow Add -4 x0 Add acos x3 -1 acos x3 