sqrt Mul asech csc x7 Mul Add x0 Pow x0 Mul x2 -3 x0 
Mul Pow Mul 2 sqrt Mul asech csc x7 Mul Add x0 Pow x0 Mul x2 -3 x0 -1 Mul asech csc x7 Add Mul x0 Add 1 Mul Pow x0 Add Mul x2 -3 -1 Mul x2 -3 Add x0 Pow x0 Mul x2 -3 