Add Mul coth x4 Pow asec Add x5 Mul log E Add acsch pi x7 Pow acos x0 asec x1 x3 
Mul coth x4 Mul Pow asec Add x5 Mul log E Add acsch pi x7 Add Pow acos x0 asec x1 -1 Mul Mul asec Add x5 Mul log E Add acsch pi x7 log asec Add x5 Mul log E Add acsch pi x7 Mul Pow acos x0 Add asec x1 -1 Mul asec x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 