Pow Mul x0 Add Pow x7 x0 asech Pow Mul Mul x0 Mul x0 x0 x0 -5 acos x0 
Mul Pow Mul x0 Add Pow x7 x0 asech Pow Mul Mul x0 Mul x0 x0 x0 -5 Add acos x0 -1 Add Mul acos x0 Add Add Pow x7 x0 asech Pow Mul Mul x0 Mul x0 x0 x0 -5 Mul x0 Add Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Pow Mul Mul x0 Mul x0 x0 x0 6 Mul -5 Add Mul x0 Add Mul x0 x0 Mul x0 Add x0 x0 Mul x0 Mul x0 x0 Pow Mul Mul Pow Mul Mul x0 Mul x0 x0 x0 -5 Pow Mul Mul x0 Mul x0 x0 x0 -5 sqrt Add 1 Mul -1 Pow Mul Pow Mul Mul x0 Mul x0 x0 x0 -5 Pow Mul Mul x0 Mul x0 x0 x0 -5 -1 -1 Mul Mul Mul x0 Add Pow x7 x0 asech Pow Mul Mul x0 Mul x0 x0 x0 -5 log Mul x0 Add Pow x7 x0 asech Pow Mul Mul x0 Mul x0 x0 x0 -5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 