ddxは0なんじゃないの?