P
Initializing...
A push of an arbitrary (e.g. multiplying) expression, with the quadratic cost bound · Prove2Me