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