Pow Add x0 Pow Pow x1 Add cosh Pow Add x0 2 x0 -2 3125 pi 
Mul Pow Add x0 Pow Pow x1 Add cosh Pow Add x0 2 x0 -2 3125 Add pi -1 Mul pi Add 1 Mul Pow Pow x1 Add cosh Pow Add x0 2 x0 -2 3124 Mul 3125 Mul Pow x1 Add Add cosh Pow Add x0 2 x0 -2 -1 Mul Mul x1 log x1 Mul sinh Pow Add x0 2 x0 Mul Pow Add x0 2 Add x0 -1 Add x0 Mul Add x0 2 log Add x0 2 