sqrt asech Pow Pow x7 asin x3 Add 5 x0 
Mul Pow Mul 2 sqrt asech Pow Pow x7 asin x3 Add 5 x0 -1 Mul Mul Pow Pow x7 asin x3 Add Add 5 x0 -1 Mul Pow x7 asin x3 log Pow x7 asin x3 Pow Mul Mul Pow Pow x7 asin x3 Add 5 x0 Pow Pow x7 asin x3 Add 5 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow x7 asin x3 Add 5 x0 Pow Pow x7 asin x3 Add 5 x0 -1 -1 