Add Pow x0 4 Pow acosh Add -1 x4 Add Pow x0 Add E cosh x0 1 
Add Mul Pow x0 3 4 Mul Pow acosh Add -1 x4 Add Add Pow x0 Add E cosh x0 1 -1 Mul Mul acosh Add -1 x4 log acosh Add -1 x4 Mul Pow x0 Add Add E cosh x0 -1 Add Add E cosh x0 Mul Mul x0 log x0 sinh x0 