Add Pow cosh Pow x0 Pow x0 sqrt cbrt E x0 x0 
Add Mul Pow cosh Pow x0 Pow x0 sqrt cbrt E Add x0 -1 Add Mul x0 Mul sinh Pow x0 Pow x0 sqrt cbrt E Mul Pow x0 Add Pow x0 sqrt cbrt E -1 Add Pow x0 sqrt cbrt E Mul Mul x0 log x0 Mul Pow x0 Add sqrt cbrt E -1 sqrt cbrt E Mul cosh Pow x0 Pow x0 sqrt cbrt E log cosh Pow x0 Pow x0 sqrt cbrt E 1 