01-at2t2+1t=π4a(1-(erfa)2),