Sleep Disorders

My 14 year old son has never slept well. Even from birth. He falls asleep, but wakes during the night and can't go back to sleep. He is extremely tired during the day. He is ADD and OCD and is currently on Epitec 100mg, Leximil 20mg in the morning and he takes 3 magnesium tablets at night