Pow E Pow x0 Add cosh Mul log Pow x4 Add E 1 x3 Mul -3 Mul x3 x0 
Mul Pow E Add Pow x0 Add cosh Mul log Pow x4 Add E 1 x3 Mul -3 Mul x3 x0 -1 Mul Mul E log E Mul Pow x0 Add Add cosh Mul log Pow x4 Add E 1 x3 Mul -3 Mul x3 x0 -1 Add Add cosh Mul log Pow x4 Add E 1 x3 Mul -3 Mul x3 x0 Mul Mul x0 log x0 Mul -3 x3 