Pow cosh Pow Add -2 x7 Pow Add x0 acosh x1 Add E Pow Add -1 x3 Add x0 x0 -4 
Mul Pow cosh Pow Add -2 x7 Pow Add x0 acosh x1 Add E Pow Add -1 x3 Add x0 x0 5 Mul -4 Mul sinh Pow Add -2 x7 Pow Add x0 acosh x1 Add E Pow Add -1 x3 Add x0 x0 Mul Pow Add -2 x7 Add Pow Add x0 acosh x1 Add E Pow Add -1 x3 Add x0 x0 -1 Mul Mul Add -2 x7 log Add -2 x7 Mul Pow Add x0 acosh x1 Add Add E Pow Add -1 x3 Add x0 x0 -1 Add Add E Pow Add -1 x3 Add x0 x0 Mul Mul Add x0 acosh x1 log Add x0 acosh x1 Mul Pow Add -1 x3 Add Add x0 x0 -1 Mul Mul Add -1 x3 log Add -1 x3 2 