Add -2 Add 1 acoth asech acosh Mul acos x0 Pow x0 E 
Mul Mul Mul Add Mul Pow x0 E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul Pow x0 Add E -1 E Pow Mul sqrt Add Mul acos x0 Pow x0 E -1 sqrt Add 1 Mul acos x0 Pow x0 E -1 Pow Mul Mul acosh Mul acos x0 Pow x0 E acosh Mul acos x0 Pow x0 E sqrt Add 1 Mul -1 Pow Mul acosh Mul acos x0 Pow x0 E acosh Mul acos x0 Pow x0 E -1 -1 Pow Add 1 Mul -1 Mul asech acosh Mul acos x0 Pow x0 E asech acosh Mul acos x0 Pow x0 E -1 