Mul x0 asinh Pow Mul acosh x0 acot x0 Add tanh coth x0 Add x7 Mul asin asinh acsc x7 x1 
Add asinh Pow Mul acosh x0 acot x0 Add tanh coth x0 Add x7 Mul asin asinh acsc x7 x1 Mul x0 Mul Mul Pow Mul acosh x0 acot x0 Add Add tanh coth x0 Add x7 Mul asin asinh acsc x7 x1 -1 Add Mul Add tanh coth x0 Add x7 Mul asin asinh acsc x7 x1 Add Mul acot x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul acosh x0 acot x0 log Mul acosh x0 acot x0 Mul Pow sech coth x0 2 Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul Pow Mul acosh x0 acot x0 Add tanh coth x0 Add x7 Mul asin asinh acsc x7 x1 Pow Mul acosh x0 acot x0 Add tanh coth x0 Add x7 Mul asin asinh acsc x7 x1 -1 