Pow Pow Mul x0 x4 asech log Mul x0 exp Mul asec sqrt Pow x2 x1 -3 8 
Mul Pow Pow Mul x0 x4 asech log Mul x0 exp Mul asec sqrt Pow x2 x1 -3 7 Mul 8 Mul Pow Mul x0 x4 Add asech log Mul x0 exp Mul asec sqrt Pow x2 x1 -3 -1 Add Mul asech log Mul x0 exp Mul asec sqrt Pow x2 x1 -3 x4 Mul Mul Mul x0 x4 log Mul x0 x4 Mul Mul exp Mul asec sqrt Pow x2 x1 -3 Pow Mul x0 exp Mul asec sqrt Pow x2 x1 -3 -1 Pow Mul Mul log Mul x0 exp Mul asec sqrt Pow x2 x1 -3 log Mul x0 exp Mul asec sqrt Pow x2 x1 -3 sqrt Add 1 Mul -1 Pow Mul log Mul x0 exp Mul asec sqrt Pow x2 x1 -3 log Mul x0 exp Mul asec sqrt Pow x2 x1 -3 -1 -1 