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