asech tanh Mul Mul x0 acsc acosh x6 asinh acosh x1 
Mul Mul Pow sech Mul Mul x0 acsc acosh x6 asinh acosh x1 2 Mul asinh acosh x1 acsc acosh x6 Pow Mul Mul tanh Mul Mul x0 acsc acosh x6 asinh acosh x1 tanh Mul Mul x0 acsc acosh x6 asinh acosh x1 sqrt Add 1 Mul -1 Pow Mul tanh Mul Mul x0 acsc acosh x6 asinh acosh x1 tanh Mul Mul x0 acsc acosh x6 asinh acosh x1 -1 -1 