Mul log Pow Mul Pow x0 Add 5 acosh x1 x0 E sinh x0 
Add Mul sinh x0 Mul Mul Pow Mul Pow x0 Add 5 acosh x1 x0 Add E -1 Mul E Add Mul x0 Mul Pow x0 Add Add 5 acosh x1 -1 Add 5 acosh x1 Pow x0 Add 5 acosh x1 Pow Pow Mul Pow x0 Add 5 acosh x1 x0 E -1 Mul log Pow Mul Pow x0 Add 5 acosh x1 x0 E cosh x0 