Mul Mul exp x0 x0 Mul cosh Pow x1 Pow pi x0 x0 
Add Mul Mul cosh Pow x1 Pow pi x0 x0 Add Mul x0 exp x0 exp x0 Mul Mul exp x0 x0 Add Mul x0 Mul sinh Pow x1 Pow pi x0 Mul Pow x1 Add Pow pi x0 -1 Mul Mul x1 log x1 Mul Pow pi Add x0 -1 Mul pi log pi cosh Pow x1 Pow pi x0 