Pow Mul pi x4 exp Mul Pow sqrt x0 x6 Mul exp asin x0 Mul Pow asech Mul pi 3 asec x1 pi 
Mul Pow Mul pi x4 Add exp Mul Pow sqrt x0 x6 Mul exp asin x0 Mul Pow asech Mul pi 3 asec x1 pi -1 Mul Mul Mul pi x4 log Mul pi x4 Mul exp Mul Pow sqrt x0 x6 Mul exp asin x0 Mul Pow asech Mul pi 3 asec x1 pi Add Mul Mul exp asin x0 Mul Pow asech Mul pi 3 asec x1 pi Mul Pow sqrt x0 Add x6 -1 Mul x6 Pow Mul 2 sqrt x0 -1 Mul Pow sqrt x0 x6 Mul Mul Pow asech Mul pi 3 asec x1 pi Mul exp asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 