Mul Add Mul x0 sqrt Add Pow sec x2 x0 -4 x0 Add 4 Add x0 x0 
Add Mul Add 4 Add x0 x0 Add Add sqrt Add Pow sec x2 x0 -4 Mul x0 Mul Pow Mul 2 sqrt Add Pow sec x2 x0 -4 -1 Mul Pow sec x2 Add x0 -1 Mul sec x2 log sec x2 1 Mul Add Mul x0 sqrt Add Pow sec x2 x0 -4 x0 2 