How to express 1-F(x) using log_normcdf?