def erf_p1
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
1144# [1.25, 1.75): t = a - 1.5
1145def erf_p1(+t: F32) -> F32:
1146 (0.9661051630973816 + erf_hm(1.6622220044837377e-08, t, erf_hp(0.11893028765916824, t, erf_hm(0.17839543521404266, t, erf_hp(0.1387522667646408, t, erf_hm(0.04459875077009201, t, erf_hm(0.014879402704536915, t, erf_hp(0.019323812797665596, t, erf_hm(0.004488371312618256, t, F32.neg(0.0023522074334323406))))))))) : F32)