acosh asinh Mul Pow asech E x0 x0 
Mul Mul Add Mul x0 Mul Pow asech E Add x0 -1 Mul asech E log asech E Pow asech E x0 Pow sqrt Add 1 Mul Mul Pow asech E x0 x0 Mul Pow asech E x0 x0 -1 Pow Mul sqrt Add asinh Mul Pow asech E x0 x0 -1 sqrt Add 1 asinh Mul Pow asech E x0 x0 -1 