Mul x0 Add Mul Mul cosh x0 Add Mul Pow pi Add x0 x0 x3 -2 x0 Add x0 x0 
Add Add Mul Mul cosh x0 Add Mul Pow pi Add x0 x0 x3 -2 x0 Add x0 x0 Mul x0 Add Add Mul x0 Add Mul Add Mul Pow pi Add x0 x0 x3 -2 sinh x0 Mul cosh x0 Mul x3 Mul Pow pi Add Add x0 x0 -1 Mul Mul pi log pi 2 Mul cosh x0 Add Mul Pow pi Add x0 x0 x3 -2 2 