Add sqrt Mul x0 Add cosh x0 x6 Pow Add x7 Mul Mul Mul x2 x0 -2 Add x3 x0 x0 
Add Mul Pow Mul 2 sqrt Mul x0 Add cosh x0 x6 -1 Add Add cosh x0 x6 Mul x0 sinh x0 Mul Pow Add x7 Mul Mul Mul x2 x0 -2 Add x3 x0 Add x0 -1 Add Mul x0 Add Mul Add x3 x0 Mul -2 x2 Mul Mul x2 x0 -2 Mul Add x7 Mul Mul Mul x2 x0 -2 Add x3 x0 log Add x7 Mul Mul Mul x2 x0 -2 Add x3 x0 