exp Mul asech Mul Pow Add Add Mul log x1 x7 x0 Mul x7 -2 5 x1 x0 
Mul exp Mul asech Mul Pow Add Add Mul log x1 x7 x0 Mul x7 -2 5 x1 x0 Add Mul x0 Mul Mul x1 Mul Pow Add Add Mul log x1 x7 x0 Mul x7 -2 4 5 Pow Mul Mul Mul Pow Add Add Mul log x1 x7 x0 Mul x7 -2 5 x1 Mul Pow Add Add Mul log x1 x7 x0 Mul x7 -2 5 x1 sqrt Add 1 Mul -1 Pow Mul Mul Pow Add Add Mul log x1 x7 x0 Mul x7 -2 5 x1 Mul Pow Add Add Mul log x1 x7 x0 Mul x7 -2 5 x1 -1 -1 asech Mul Pow Add Add Mul log x1 x7 x0 Mul x7 -2 5 x1 