Pow Add x0 x0 Mul Pow cosh E x0 x0 
Mul Pow Add x0 x0 Add Mul Pow cosh E x0 x0 -1 Add Mul Mul Pow cosh E x0 x0 2 Mul Mul Add x0 x0 log Add x0 x0 Add Mul x0 Mul Pow cosh E Add x0 -1 Mul cosh E log cosh E Pow cosh E x0 