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