Mul Add Pow x0 asin E Pow Add Mul x6 asech x2 E x0 x0 
Add Mul x0 Add Mul Pow x0 Add asin E -1 asin E Mul Pow Add Mul x6 asech x2 E Add x0 -1 Mul Add Mul x6 asech x2 E log Add Mul x6 asech x2 E Add Pow x0 asin E Pow Add Mul x6 asech x2 E x0 