Pow Pow acosh x1 x0 Add sech atanh x6 x0 
Mul Pow Pow acosh x1 x0 Add Add sech atanh x6 x0 -1 Add Mul Add sech atanh x6 x0 Mul Pow acosh x1 Add x0 -1 Mul acosh x1 log acosh x1 Mul Pow acosh x1 x0 log Pow acosh x1 x0 