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