Mul Pow cosh x4 x0 Pow Mul x0 pi Mul -3 x0 
Add Mul Pow Mul x0 pi Mul -3 x0 Mul Pow cosh x4 Add x0 -1 Mul cosh x4 log cosh x4 Mul Pow cosh x4 x0 Mul Pow Mul x0 pi Add Mul -3 x0 -1 Add Mul Mul -3 x0 pi Mul Mul Mul x0 pi log Mul x0 pi -3 