cosh Pow Pow x0 acosh x0 Pow x0 Pow exp x1 acosh x5 
Mul sinh Pow Pow x0 acosh x0 Pow x0 Pow exp x1 acosh x5 Mul Pow Pow x0 acosh x0 Add Pow x0 Pow exp x1 acosh x5 -1 Add Mul Pow x0 Pow exp x1 acosh x5 Mul Pow x0 Add acosh x0 -1 Add acosh x0 Mul Mul x0 log x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Pow x0 acosh x0 log Pow x0 acosh x0 Mul Pow x0 Add Pow exp x1 acosh x5 -1 Pow exp x1 acosh x5 