Pow cosh x4 Add Mul atan cbrt Add -3 x0 Pow E x0 x0 
Mul Pow cosh x4 Add Add Mul atan cbrt Add -3 x0 Pow E x0 x0 -1 Mul Mul cosh x4 log cosh x4 Add Add Mul Pow E x0 Mul Pow Mul Mul 3 cbrt Add -3 x0 cbrt Add -3 x0 -1 Pow Add 1 Mul cbrt Add -3 x0 cbrt Add -3 x0 -1 Mul atan cbrt Add -3 x0 Mul Pow E Add x0 -1 Mul E log E 1 