Truncated normal distribution written as log