Pow acos Add 5 Pow Add x5 Mul x0 x0 2 Add x0 sec x3 
Mul Pow acos Add 5 Pow Add x5 Mul x0 x0 2 Add Add x0 sec x3 -1 Add Mul Add x0 sec x3 Mul -1 Mul Mul Add x5 Mul x0 x0 Mul 2 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Add 5 Pow Add x5 Mul x0 x0 2 Add 5 Pow Add x5 Mul x0 x0 2 -1 Mul acos Add 5 Pow Add x5 Mul x0 x0 2 log acos Add 5 Pow Add x5 Mul x0 x0 2 