tan Mul Pow Add acos x5 x0 sqrt Add Mul x0 x0 acos x0 x7 
Mul Pow sec Mul Pow Add acos x5 x0 sqrt Add Mul x0 x0 acos x0 x7 2 Mul x7 Mul Pow Add acos x5 x0 Add sqrt Add Mul x0 x0 acos x0 -1 Add sqrt Add Mul x0 x0 acos x0 Mul Mul Add acos x5 x0 log Add acos x5 x0 Mul Pow Mul 2 sqrt Add Mul x0 x0 acos x0 -1 Add Add x0 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 