x/2 erfc((x-10)/(2.5sqrt(2)))