Hi, ask a question about ddx (cos9(x))