Add Pow Pow asech Mul x0 sec x1 -5 x0 x0 
Add Mul Pow Pow asech Mul x0 sec x1 -5 Add x0 -1 Add Mul x0 Mul Pow asech Mul x0 sec x1 6 Mul -5 Mul sec x1 Pow Mul Mul Mul x0 sec x1 Mul x0 sec x1 sqrt Add 1 Mul -1 Pow Mul Mul x0 sec x1 Mul x0 sec x1 -1 -1 Mul Pow asech Mul x0 sec x1 -5 log Pow asech Mul x0 sec x1 -5 1 