Mul Pow asech acsch x0 acot Pow Add x0 x0 Mul x2 asec x0 x7 
Mul x7 Mul Pow asech acsch x0 Add acot Pow Add x0 x0 Mul x2 asec x0 -1 Add Mul acot Pow Add x0 x0 Mul x2 asec x0 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul acsch x0 acsch x0 sqrt Add 1 Mul -1 Pow Mul acsch x0 acsch x0 -1 -1 Mul Mul asech acsch x0 log asech acsch x0 Mul -1 Mul Mul Pow Add x0 x0 Add Mul x2 asec x0 -1 Add Mul Mul x2 asec x0 2 Mul Mul Add x0 x0 log Add x0 x0 Mul x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Pow Add x0 x0 Mul x2 asec x0 Pow Add x0 x0 Mul x2 asec x0 -1 