Add Pow Pow Add acot exp Pow x0 asin x0 Mul E asech E log x0 cosh x0 x2 
Mul Pow Pow Add acot exp Pow x0 asin x0 Mul E asech E log x0 Add cosh x0 -1 Add Mul cosh x0 Mul Pow Add acot exp Pow x0 asin x0 Mul E asech E Add log x0 -1 Add Mul log x0 Mul -1 Mul Mul exp Pow x0 asin x0 Mul Pow x0 Add asin x0 -1 Add asin x0 Mul Mul x0 log x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul exp Pow x0 asin x0 exp Pow x0 asin x0 -1 Mul Mul Add acot exp Pow x0 asin x0 Mul E asech E log Add acot exp Pow x0 asin x0 Mul E asech E Pow x0 -1 Mul Mul Pow Add acot exp Pow x0 asin x0 Mul E asech E log x0 log Pow Add acot exp Pow x0 asin x0 Mul E asech E log x0 sinh x0 