Is there any closed form expression for the following integral?
$ \int\limits_t^\infty \left(1- \operatorname{erf}(\log x) \right )dx $
or equivalently:
$ \int\limits_t^\infty \operatorname{erfc}(\log x ) dx $
I just wish to know if there is any way I can do better than sampling the values at particular points and calculating the area under the curve numerically. Any help is appreciated. Thanks.