sqrt Add Pow x0 Mul cosh Pow x0 x4 E Add E x0 
Mul Pow Mul 2 sqrt Add Pow x0 Mul cosh Pow x0 x4 E Add E x0 -1 Add Mul Pow x0 Add Mul cosh Pow x0 x4 E -1 Add Mul cosh Pow x0 x4 E Mul Mul x0 log x0 Mul E Mul sinh Pow x0 x4 Mul Pow x0 Add x4 -1 x4 1 