Hi, ask a question about simplify dxcos(x)