The anti-derivative of equals