derive u/2^(u^3)