powered by
Equivalent to x * one_minus_pos(y / x).
diff_pos(x, y)
A product expression
An Expression (positive)
An Expression (positive, elementwise less than x)