Mul x0 Mul cosh Pow x0 x0 Pow atan pi x0 
Add Mul cosh Pow x0 x0 Pow atan pi x0 Mul x0 Add Mul Pow atan pi x0 Mul sinh Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul cosh Pow x0 x0 Mul Pow atan pi Add x0 -1 Mul atan pi log atan pi 