Pow cosh sqrt Mul pi 2 Mul x0 Mul sqrt pi Mul 36.0714044024725 x0 
Mul Pow cosh sqrt Mul pi 2 Add Mul x0 Mul sqrt pi Mul 36.0714044024725 x0 -1 Mul Mul cosh sqrt Mul pi 2 log cosh sqrt Mul pi 2 Add Mul sqrt pi Mul 36.0714044024725 x0 Mul x0 Mul sqrt pi 36.0714044024725 