Mul Pow Mul x0 Pow x0 cosh E Mul Add x4 x0 x6 Mul 3 x0 
Add Mul Mul 3 x0 Mul Pow Mul x0 Pow x0 cosh E Add Mul Add x4 x0 x6 -1 Add Mul Mul Add x4 x0 x6 Add Pow x0 cosh E Mul x0 Mul Pow x0 Add cosh E -1 cosh E Mul Mul Mul x0 Pow x0 cosh E log Mul x0 Pow x0 cosh E x6 Mul Pow Mul x0 Pow x0 cosh E Mul Add x4 x0 x6 3 