asech Mul Mul acosh x0 -3 asinh x6 
Mul Mul asinh x6 Mul -3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Mul Mul acosh x0 -3 asinh x6 Mul Mul acosh x0 -3 asinh x6 sqrt Add 1 Mul -1 Pow Mul Mul Mul acosh x0 -3 asinh x6 Mul Mul acosh x0 -3 asinh x6 -1 -1 