sinh Mul Pow pi Pow acos x4 Add Mul x0 -2 Mul x0 x1 x7 
Mul cosh Mul Pow pi Pow acos x4 Add Mul x0 -2 Mul x0 x1 x7 Mul x7 Mul Pow pi Add Pow acos x4 Add Mul x0 -2 Mul x0 x1 -1 Mul Mul pi log pi Mul Pow acos x4 Add Add Mul x0 -2 Mul x0 x1 -1 Mul Mul acos x4 log acos x4 Add -2 x1 