Pow Mul Add Pow Mul x7 cosh x1 x0 Mul Add -2 x0 x0 -1 x3 
Mul Pow Mul Add Pow Mul x7 cosh x1 x0 Mul Add -2 x0 x0 -1 Add x3 -1 Mul x3 Mul -1 Add Mul Pow Mul x7 cosh x1 Add x0 -1 Mul Mul x7 cosh x1 log Mul x7 cosh x1 Add x0 Add -2 x0 