Mul Mul Pow x0 -5.03731472072755 Pow Pow Add 2 acosh asech x0 x7 acot x2 cosh x0 
Add Mul cosh x0 Add Mul Pow Pow Add 2 acosh asech x0 x7 acot x2 Mul Pow x0 -6.03731472072755 -5.03731472072755 Mul Pow x0 -5.03731472072755 Mul Pow Pow Add 2 acosh asech x0 x7 Add acot x2 -1 Mul acot x2 Mul Pow Add 2 acosh asech x0 Add x7 -1 Mul x7 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add asech x0 -1 sqrt Add 1 asech x0 -1 Mul Mul Pow x0 -5.03731472072755 Pow Pow Add 2 acosh asech x0 x7 acot x2 sinh x0 