Pow Pow x7 Pow Pow Mul x0 cos sqrt sinh x0 2 x1 Add x0 x1 
Mul Pow Pow x7 Pow Pow Mul x0 cos sqrt sinh x0 2 x1 Add Add x0 x1 -1 Add Mul Add x0 x1 Mul Pow x7 Add Pow Pow Mul x0 cos sqrt sinh x0 2 x1 -1 Mul Mul x7 log x7 Mul Pow Pow Mul x0 cos sqrt sinh x0 2 Add x1 -1 Mul x1 Mul Mul x0 cos sqrt sinh x0 Mul 2 Add cos sqrt sinh x0 Mul x0 Mul Mul -1 sin sqrt sinh x0 Mul Pow Mul 2 sqrt sinh x0 -1 cosh x0 Mul Pow x7 Pow Pow Mul x0 cos sqrt sinh x0 2 x1 log Pow x7 Pow Pow Mul x0 cos sqrt sinh x0 2 x1 