Pow Pow cosh Mul 1.55740772465490 x0 tan Pow atan acos x5 x0 x0 
Mul Pow Pow cosh Mul 1.55740772465490 x0 tan Pow atan acos x5 x0 Add x0 -1 Add Mul x0 Mul Pow cosh Mul 1.55740772465490 x0 Add tan Pow atan acos x5 x0 -1 Add Mul tan Pow atan acos x5 x0 Mul sinh Mul 1.55740772465490 x0 1.55740772465490 Mul Mul cosh Mul 1.55740772465490 x0 log cosh Mul 1.55740772465490 x0 Mul Pow sec Pow atan acos x5 x0 2 Mul Pow atan acos x5 Add x0 -1 Mul atan acos x5 log atan acos x5 Mul Pow cosh Mul 1.55740772465490 x0 tan Pow atan acos x5 x0 log Pow cosh Mul 1.55740772465490 x0 tan Pow atan acos x5 x0 