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