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