Pow cosh Mul Mul exp Mul x0 4 -2 E x0 
Mul Pow cosh Mul Mul exp Mul x0 4 -2 E Add x0 -1 Add Mul x0 Mul sinh Mul Mul exp Mul x0 4 -2 E Mul E Mul -2 Mul exp Mul x0 4 4 Mul cosh Mul Mul exp Mul x0 4 -2 E log cosh Mul Mul exp Mul x0 4 -2 E 