Mul x2 Add asech asech Add 2 x0 asinh asech cosh sech x0 
Mul x2 Add Mul Pow Mul Mul Add 2 x0 Add 2 x0 sqrt Add 1 Mul -1 Pow Mul Add 2 x0 Add 2 x0 -1 -1 Pow Mul Mul asech Add 2 x0 asech Add 2 x0 sqrt Add 1 Mul -1 Pow Mul asech Add 2 x0 asech Add 2 x0 -1 -1 Mul Mul Mul sinh sech x0 Mul tanh x0 Mul -1 sech x0 Pow Mul Mul cosh sech x0 cosh sech x0 sqrt Add 1 Mul -1 Pow Mul cosh sech x0 cosh sech x0 -1 -1 Pow sqrt Add 1 Mul asech cosh sech x0 asech cosh sech x0 -1 