Reverted fix for deriv, which is not necessary (both install and AddParens allocate only internally).