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