Add acsch acosh Pow cosh asech x2 x0 Pow x0 0.900249829705384 
Add Mul Mul -1 Mul Mul Pow cosh asech x2 Add x0 -1 Mul cosh asech x2 log cosh asech x2 Pow Mul sqrt Add Pow cosh asech x2 x0 -1 sqrt Add 1 Pow cosh asech x2 x0 -1 Pow Mul Mul acosh Pow cosh asech x2 x0 acosh Pow cosh asech x2 x0 sqrt Add 1 Mul -1 Pow Mul acosh Pow cosh asech x2 x0 acosh Pow cosh asech x2 x0 -1 -1 Mul Pow x0 -0.0997501702946164 0.900249829705384 