Mul acos Mul Pow cosh x0 1.54308063481524 x0 pi 
Mul pi Mul -1 Mul Add Mul x0 Mul Pow cosh x0 0.543080634815244 Mul 1.54308063481524 sinh x0 Pow cosh x0 1.54308063481524 Pow sqrt Add 1 Mul -1 Mul Mul Pow cosh x0 1.54308063481524 x0 Mul Pow cosh x0 1.54308063481524 x0 -1 