Pow cosh x0 Pow Pow pi acos x0 Mul x0 -3 
Mul Pow cosh x0 Add Pow Pow pi acos x0 Mul x0 -3 -1 Add Mul Pow Pow pi acos x0 Mul x0 -3 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow Pow pi acos x0 Add Mul x0 -3 -1 Add Mul Mul x0 -3 Mul Pow pi Add acos x0 -1 Mul Mul pi log pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow pi acos x0 log Pow pi acos x0 -3 