Mul cosh Mul x0 sech Pow x0 6 Add Add Mul x0 x0 x0 pi 
Add Mul Add Add Mul x0 x0 x0 pi Mul sinh Mul x0 sech Pow x0 6 Add sech Pow x0 6 Mul x0 Mul Mul tanh Pow x0 6 Mul -1 sech Pow x0 6 Mul Pow x0 5 6 Mul cosh Mul x0 sech Pow x0 6 Add Add x0 x0 1 