>>572
(y y')' = y y'' + (y')^2 を使う。