Mul Pow log x5 Mul x0 x0 log Mul x5 Add x1 asech asinh x0 
Add Mul log Mul x5 Add x1 asech asinh x0 Mul Pow log x5 Add Mul x0 x0 -1 Mul Mul log x5 log log x5 Add x0 x0 Mul Pow log x5 Mul x0 x0 Mul Mul x5 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul Mul asinh x0 asinh x0 sqrt Add 1 Mul -1 Pow Mul asinh x0 asinh x0 -1 -1 Pow Mul x5 Add x1 asech asinh x0 -1 