asin asech Pow Mul Mul x1 x0 Mul x0 log x7 x0 
Mul Mul Mul Pow Mul Mul x1 x0 Mul x0 log x7 Add x0 -1 Add Mul x0 Add Mul Mul x0 log x7 x1 Mul Mul x1 x0 log x7 Mul Mul Mul x1 x0 Mul x0 log x7 log Mul Mul x1 x0 Mul x0 log x7 Pow Mul Mul Pow Mul Mul x1 x0 Mul x0 log x7 x0 Pow Mul Mul x1 x0 Mul x0 log x7 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul Mul x1 x0 Mul x0 log x7 x0 Pow Mul Mul x1 x0 Mul x0 log x7 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Pow Mul Mul x1 x0 Mul x0 log x7 x0 asech Pow Mul Mul x1 x0 Mul x0 log x7 x0 -1 