import church.util.HashMap; // todo this import shouldn't be needed here import Expression; import Derivative; (int: x) / (int: y) = x /! y; // Use divide-or-fail for integer division. void: main(String[]: args) = { DerivativeTest.test0(x −> x^3 + const(2) * x^2 + const(3) * x + const(4), 1, 10) }