Mul Mul Pow Mul Mul x6 acos Add x0 x0 -1 Pow tan sec x0 Add x5 -4 3 x0 
Add Mul x0 Mul 3 Mul Pow Mul Mul x6 acos Add x0 x0 -1 Add Pow tan sec x0 Add x5 -4 -1 Add Mul Pow tan sec x0 Add x5 -4 Mul -1 Mul x6 Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul Mul Mul x6 acos Add x0 x0 -1 log Mul Mul x6 acos Add x0 x0 -1 Mul Pow tan sec x0 Add Add x5 -4 -1 Mul Add x5 -4 Mul Pow sec sec x0 2 Mul tan x0 sec x0 Mul Pow Mul Mul x6 acos Add x0 x0 -1 Pow tan sec x0 Add x5 -4 3 