acot Pow sech asin x0 log Add acosh E 5 
Mul -1 Mul Mul Pow sech asin x0 Add log Add acosh E 5 -1 Mul log Add acosh E 5 Mul Mul tanh asin x0 Mul -1 sech asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow sech asin x0 log Add acosh E 5 Pow sech asin x0 log Add acosh E 5 -1 