微分は積の公式f'g+fg'
があったけど、セキブンにはこういった公式はないの？めんどくさいね。。。