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