Pow x0 Pow sqrt sinh acosh x5 x0 
Mul Pow x0 Add Pow sqrt sinh acosh x5 x0 -1 Add Pow sqrt sinh acosh x5 x0 Mul Mul x0 log x0 Mul Pow sqrt sinh acosh x5 Add x0 -1 Mul sqrt sinh acosh x5 log sqrt sinh acosh x5 