acos Mul cosh x0 log Pow x0 E 
Mul -1 Mul Add Mul log Pow x0 E sinh x0 Mul cosh x0 Mul Mul Pow x0 Add E -1 E Pow Pow x0 E -1 Pow sqrt Add 1 Mul -1 Mul Mul cosh x0 log Pow x0 E Mul cosh x0 log Pow x0 E -1 