Решение 

`and`((D(y))(x[0]) = -`/`(1, 8), -`/`(1, 8) = -.125)