Add cosh Mul E sqrt Pow tanh x0 -1 Pow 4 x0 
Add Mul sinh Mul E sqrt Pow tanh x0 -1 Mul E Mul Pow Mul 2 sqrt Pow tanh x0 -1 -1 Mul Pow tanh x0 2 Mul -1 Pow sech x0 2 Mul Pow 4 Add x0 -1 5.38629436111989 