Add exp Pow tanh Mul Pow cosh x0 5 pi x0 x0 
Add Mul exp Pow tanh Mul Pow cosh x0 5 pi x0 Mul Pow tanh Mul Pow cosh x0 5 pi Add x0 -1 Add Mul x0 Mul Pow sech Mul Pow cosh x0 5 pi 2 Mul pi Mul Pow cosh x0 4 Mul 5 sinh x0 Mul tanh Mul Pow cosh x0 5 pi log tanh Mul Pow cosh x0 5 pi 1 