Mul Add Pow x4 Pow x0 cosh x7 Mul Pow asinh x7 Mul E -4 3 cosh Add -2 Add x1 Add x0 asinh x3 
Add Mul cosh Add -2 Add x1 Add x0 asinh x3 Mul Pow x4 Add Pow x0 cosh x7 -1 Mul Mul x4 log x4 Mul Pow x0 Add cosh x7 -1 cosh x7 Mul Add Pow x4 Pow x0 cosh x7 Mul Pow asinh x7 Mul E -4 3 sinh Add -2 Add x1 Add x0 asinh x3 