MathFp32.exponential_reduced: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/math_fp32.bend as MathFp32
Lines 133-138 of stelliferous@0.0.2.0/math_fp32.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/math_fp32.bend&start_line=133&end_line=138

import Base

def exponential_reduced(+x: F32,+biased: F32) -> F32:
  +n = (biased - 12582912.0 : F32)
  +high = (x - n * 0.693359375 : F32)
  +low = (n * F32.neg(0.00021219444005469058) : F32)
  +r = (high - low : F32)
  exponential_scale(biased,x,exponential_precise(r))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.neg
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.sub
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/math_fp32.bend&name=exponential_precise
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/math_fp32.bend&name=exponential_scale