Pow Pow x0 -3 cosh Mul x0 Mul x0 x2 
Mul Pow Pow x0 -3 Add cosh Mul x0 Mul x0 x2 -1 Add Mul cosh Mul x0 Mul x0 x2 Mul Pow x0 4 -3 Mul Mul Pow x0 -3 log Pow x0 -3 Mul sinh Mul x0 Mul x0 x2 Add Mul x0 x2 Mul x0 x2 