Pow Pow x0 acosh cosh x2 Pow x0 x7 
Mul Pow Pow x0 acosh cosh x2 Add Pow x0 x7 -1 Add Mul Pow x0 x7 Mul Pow x0 Add acosh cosh x2 -1 acosh cosh x2 Mul Mul Pow x0 acosh cosh x2 log Pow x0 acosh cosh x2 Mul Pow x0 Add x7 -1 x7 