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