Mul asech x2 Mul Add x0 x6 Pow acosh x0 sinh x0 
Mul asech x2 Add Pow acosh x0 sinh x0 Mul Add x0 x6 Mul Pow acosh x0 Add sinh x0 -1 Add Mul sinh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 cosh x0 