Spec for PrimitiveProduct#auxiliary_hermite_integral

X recurrence relation
Fix PrimitiveProduct#auxiliary_hermite_integral