Pow Add Pow x7 Mul x0 -2 cosh x0 x0 
Mul Pow Add Pow x7 Mul x0 -2 cosh x0 Add x0 -1 Add Mul x0 Add Mul Pow x7 Add Mul x0 -2 -1 Mul Mul x7 log x7 -2 sinh x0 Mul Add Pow x7 Mul x0 -2 cosh x0 log Add Pow x7 Mul x0 -2 cosh x0 