I forgot to mention something potentially interesting. The integral
S φ(ax+b) Φ(x) dx, from -INFINITY to INFINITY
has been obtained by Gupta and Pillai in a technical report of the 60's as equal to
Φ( b/sqrt(1+a^2) ).
They mention this in a lemma but I cannot see how it was...