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