Mul Pow sqrt Pow Pow x0 Pow cosh x5 pi Add x0 exp Mul exp x3 Mul x5 Pow x0 x0 -1 x0 
Add Mul x0 Mul Pow sqrt Pow Pow x0 Pow cosh x5 pi Add x0 exp Mul exp x3 Mul x5 Pow x0 x0 2 Mul -1 Mul Pow Mul 2 sqrt Pow Pow x0 Pow cosh x5 pi Add x0 exp Mul exp x3 Mul x5 Pow x0 x0 -1 Mul Pow Pow x0 Pow cosh x5 pi Add Add x0 exp Mul exp x3 Mul x5 Pow x0 x0 -1 Add Mul Add x0 exp Mul exp x3 Mul x5 Pow x0 x0 Mul Pow x0 Add Pow cosh x5 pi -1 Pow cosh x5 pi Mul Mul Pow x0 Pow cosh x5 pi log Pow x0 Pow cosh x5 pi Add 1 Mul exp Mul exp x3 Mul x5 Pow x0 x0 Mul exp x3 Mul x5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow sqrt Pow Pow x0 Pow cosh x5 pi Add x0 exp Mul exp x3 Mul x5 Pow x0 x0 -1 