Pow Add x0 Pow Mul x0 x7 Pow Pow 4 E x0 Add Pow Add asech x0 x2 x4 acos Mul x0 x0 
Mul Pow Add x0 Pow Mul x0 x7 Pow Pow 4 E x0 Add Add Pow Add asech x0 x2 x4 acos Mul x0 x0 -1 Add Mul Add Pow Add asech x0 x2 x4 acos Mul x0 x0 Add 1 Mul Pow Mul x0 x7 Add Pow Pow 4 E x0 -1 Add Mul Pow Pow 4 E x0 x7 Mul Mul Mul x0 x7 log Mul x0 x7 Mul Pow Pow 4 E Add x0 -1 Mul Pow 4 E log Pow 4 E Mul Mul Add x0 Pow Mul x0 x7 Pow Pow 4 E x0 log Add x0 Pow Mul x0 x7 Pow Pow 4 E x0 Add Mul Pow Add asech x0 x2 Add x4 -1 Mul x4 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul -1 Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 