Решение 

`and`((D(y))(x[0]) = k(x[0]), `and`(k(x[0]) = `+`(`-`(`*`(3, `/`(1, 12)))), `+`(`-`(`*`(3, `/`(1, 12)))) = -.25))