def erf_p5
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
1160# [3.25, 3.92): t = a - 3.5
1161def erf_p5(+t: F32) -> F32:
1162 (0.9999992847442627 + erf_hm(2.7855115547481546e-08, t, erf_hp(5.400151167123113e-06, t, erf_hm(1.8894650565925986e-05, t, erf_hp(4.221926792524755e-05, t, erf_hm(6.778862734790891e-05, t, erf_hp(8.422814426012337e-05, t, erf_hm(7.95367595856078e-05, t, 4.151461325818673e-05))))))) : F32)