Can non-elementary function be optimized as a objective function by IPOPT (JuMP)？

Question

I want to maximize the probability that x > alpha, in which x is normally distributed random variable and alpha is the optimization va