Pow sec asin Add asech E x0 x0 
Mul Pow sec asin Add asech E x0 Add x0 -1 Add Mul x0 Mul Mul tan asin Add asech E x0 sec asin Add asech E x0 Pow sqrt Add 1 Mul -1 Mul Add asech E x0 Add asech E x0 -1 Mul sec asin Add asech E x0 log sec asin Add asech E x0 