Mul x0 Pow Pow asech Pow Pow x3 x5 x0 Add Mul x0 3 1 x7 
Add Pow Pow asech Pow Pow x3 x5 x0 Add Mul x0 3 1 x7 Mul x0 Mul Pow Pow asech Pow Pow x3 x5 x0 Add Mul x0 3 1 Add x7 -1 Mul x7 Mul Pow asech Pow Pow x3 x5 x0 Add Add Mul x0 3 1 -1 Add Mul Add Mul x0 3 1 Mul Mul Pow Pow x3 x5 Add x0 -1 Mul Pow x3 x5 log Pow x3 x5 Pow Mul Mul Pow Pow x3 x5 x0 Pow Pow x3 x5 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow x3 x5 x0 Pow Pow x3 x5 x0 -1 -1 Mul Mul asech Pow Pow x3 x5 x0 log asech Pow Pow x3 x5 x0 3 