Pow sqrt x0 Mul Mul Add Pow Add x0 x6 x0 x0 2 asech x0 
Mul Pow sqrt x0 Add Mul Mul Add Pow Add x0 x6 x0 x0 2 asech x0 -1 Add Mul Mul Mul Add Pow Add x0 x6 x0 x0 2 asech x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Add Mul asech x0 Mul 2 Add Mul Pow Add x0 x6 Add x0 -1 Add x0 Mul Add x0 x6 log Add x0 x6 1 Mul Mul Add Pow Add x0 x6 x0 x0 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 