Add Pow Mul Add x1 x0 x0 Pow Mul cosh x6 x5 x0 x0 
Add Mul Pow Mul Add x1 x0 x0 Add Pow Mul cosh x6 x5 x0 -1 Add Mul Pow Mul cosh x6 x5 x0 Add x0 Add x1 x0 Mul Mul Mul Add x1 x0 x0 log Mul Add x1 x0 x0 Mul Pow Mul cosh x6 x5 Add x0 -1 Mul Mul cosh x6 x5 log Mul cosh x6 x5 1 