exp Mul x0 Pow Add x3 cosh Add -4 E x0 
Mul exp Mul x0 Pow Add x3 cosh Add -4 E x0 Add Pow Add x3 cosh Add -4 E x0 Mul x0 Mul Pow Add x3 cosh Add -4 E Add x0 -1 Mul Add x3 cosh Add -4 E log Add x3 cosh Add -4 E 