asinh asec Mul x0 asinh x0 
Mul Mul Add asinh x0 Mul x0 Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 asinh x0 Mul x0 asinh x0 -1 Mul x0 asinh x0 Mul x0 asinh x0 -1 Pow sqrt Add 1 Mul asec Mul x0 asinh x0 asec Mul x0 asinh x0 -1 