Add Pow x0 Add Mul Pow Pow x0 cosh sqrt x2 -4 Mul Add -2 x5 x0 x0 1 
Mul Pow x0 Add Add Mul Pow Pow x0 cosh sqrt x2 -4 Mul Add -2 x5 x0 x0 -1 Add Add Mul Pow Pow x0 cosh sqrt x2 -4 Mul Add -2 x5 x0 x0 Mul Mul x0 log x0 Add Add Mul Mul Add -2 x5 x0 Mul Pow Pow x0 cosh sqrt x2 5 Mul -4 Mul Pow x0 Add cosh sqrt x2 -1 cosh sqrt x2 Mul Pow Pow x0 cosh sqrt x2 -4 Add -2 x5 1 