Mul Pow x0 -4 acoth Mul sinh x0 Add Mul E Mul -3 x1 x4 
Add Mul acoth Mul sinh x0 Add Mul E Mul -3 x1 x4 Mul Pow x0 5 -4 Mul Pow x0 -4 Mul Mul Add Mul E Mul -3 x1 x4 cosh x0 Pow Add 1 Mul -1 Mul Mul sinh x0 Add Mul E Mul -3 x1 x4 Mul sinh x0 Add Mul E Mul -3 x1 x4 -1 