I0(x)[x2]2P([x2]2)+1;x<7.75