颈项板滞+肝郁阳亢+失眠症+头晕头胀+瘀热交阻

程某，男，31岁。主诉失眠5年，加重3月。病程长，症状包括夜睡时间短、多梦、通宵不寐、白天乏力、头晕头胀、颈项板滞、胸闷心慌、心烦易躁、大便偏稀。舌质绛红，苔薄少津，脉细。中医诊断不寐，证型肝郁阳亢，瘀热交阻。