Mul x0 Pow Mul coth asin acot Mul cosh sqrt pi asec x0 cosh acsch x0 Pow x0 acot x2 
Add Pow Mul coth asin acot Mul cosh sqrt pi asec x0 cosh acsch x0 Pow x0 acot x2 Mul x0 Mul Pow Mul coth asin acot Mul cosh sqrt pi asec x0 cosh acsch x0 Add Pow x0 acot x2 -1 Add Mul Pow x0 acot x2 Add Mul cosh acsch x0 Mul Mul -1 Pow csch asin acot Mul cosh sqrt pi asec x0 2 Mul Mul -1 Mul Mul cosh sqrt pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Mul cosh sqrt pi asec x0 Mul cosh sqrt pi asec x0 -1 Pow sqrt Add 1 Mul -1 Mul acot Mul cosh sqrt pi asec x0 acot Mul cosh sqrt pi asec x0 -1 Mul coth asin acot Mul cosh sqrt pi asec x0 Mul sinh acsch x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Mul coth asin acot Mul cosh sqrt pi asec x0 cosh acsch x0 log Mul coth asin acot Mul cosh sqrt pi asec x0 cosh acsch x0 Mul Pow x0 Add acot x2 -1 acot x2 