Pow x5 Add Pow x7 asech Add -1 Mul x0 x2 x0 
Mul Pow x5 Add Add Pow x7 asech Add -1 Mul x0 x2 x0 -1 Mul Mul x5 log x5 Add Mul Pow x7 Add asech Add -1 Mul x0 x2 -1 Mul Mul x7 log x7 Mul x2 Pow Mul Mul Add -1 Mul x0 x2 Add -1 Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul Add -1 Mul x0 x2 Add -1 Mul x0 x2 -1 -1 1 