Pow x0 Mul Mul Mul Mul -4 x2 x2 x0 Add cosh x2 x4 
Mul Pow x0 Add Mul Mul Mul Mul -4 x2 x2 x0 Add cosh x2 x4 -1 Add Mul Mul Mul Mul -4 x2 x2 x0 Add cosh x2 x4 Mul Mul x0 log x0 Mul Add cosh x2 x4 Mul Mul -4 x2 x2 