Searched refs:exp (Results 1 - 25 of 38) sorted by relevance

12

/seL4-refos-master/libs/libmuslc/src/math/i386/
H A Dexp2.s1 # see exp.s
H A Dexp2f.s1 # see exp.s
H A Dexp2l.s1 # see exp.s
H A Dexpf.s1 # see exp.s
H A Dexpm1.s1 # see exp.s
H A Dexpm1f.s1 # see exp.s
H A Dexpm1l.s1 # see exp.s
H A Dexp.s89 .global exp
90 .type exp,@function
91 exp: label
/seL4-refos-master/libs/libmuslc/src/math/i386_sel4/
H A Dexp2.s1 # see exp.s
H A Dexp2f.s1 # see exp.s
H A Dexp2l.s1 # see exp.s
H A Dexpf.s1 # see exp.s
H A Dexpm1.s1 # see exp.s
H A Dexpm1f.s1 # see exp.s
H A Dexpm1l.s1 # see exp.s
H A Dexp.s89 .global exp
90 .type exp,@function
91 exp: label
/seL4-refos-master/libs/libmuslc/src/math/
H A D__expo2.c7 /* exp(x)/2 for x >= log(DBL_MAX), slightly better than 0.5*exp(x/2)*exp(x/2) */
14 /* exp(x - k ln2) * 2**(k-1) */
15 return exp(x - kln2) * scale * scale;
H A Dcosh.c3 /* cosh(x) = (exp(x) + 1/exp(x))/2
4 * = 1 + 0.5*(exp(x)-1)*(exp(x)-1)/exp(x)
31 t = exp(x);
H A Dexpl.c38 * A Pade' form of degree 5/6 is used to approximate exp(f) - 1
51 * exp( X(1+delta) ) = exp(X) ( 1 + X*delta + ... ),
63 * exp underflow x < MINLOG 0.0
64 * exp overflow x > MAXLOG MAXNUM
73 return exp(x);
126 return exp(x);
H A Dexp.c11 /* exp(x)
24 * 2. Approximation of exp(r) by a special rational function on
27 * R(r**2) = r*(exp(r)+1)/(exp(r)-1) = 2 + r*r/6 - r**4/360 + ...
38 * The computation of exp(r) thus becomes
40 * exp(r) = 1 + ----------
49 * 3. Scale back to obtain exp(x):
51 * exp(x) = 2^k * exp(r)
54 * exp(IN
81 double exp(double x) function
[all...]
/seL4-refos-master/libs/libmuslc/src/complex/
H A Dcexp.c45 /* cexp(x + I 0) = exp(x) + I 0 */
47 return CMPLX(exp(x), y);
69 * overflow in exp(x).
75 * - x < exp_ovfl and exp(x) won't overflow (common case)
76 * - x > cexp_ovfl, so exp(x) * s overflows for all s > 0
77 * - x = +-Inf (generated by exp())
80 exp_x = exp(x);
H A D__cexp.c34 * Compute exp(x), scaled to avoid spurious overflow. An exponent is
46 * We use exp(x) = exp(x - kln2) * 2**k, carefully chosen to
47 * minimize |exp(kln2) - 2**k|. We also scale the exponent of
51 exp_x = exp(x - kln2);
59 * __ldexp_cexp(x, expt) compute exp(x) * 2**expt.
H A Dctanh.c113 * ctanh(+-huge + i +-y) ~= +-1 +- i 2sin(2y)/exp(2x), using the
114 * approximation sinh^2(huge) ~= exp(2*huge) / 4.
118 double exp_mx = exp(-fabs(x));
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dexper.c39 experience(mtmp, nk) /* return # of exp points for mtmp after nk killed */
99 more_experienced(exp, rexp)
100 register int exp, rexp;
102 u.uexp += exp;
103 u.urexp += 4*exp + rexp;
104 if(exp
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dexper.c39 experience(mtmp, nk) /* return # of exp points for mtmp after nk killed */
99 more_experienced(exp, rexp)
100 register int exp, rexp;
102 u.uexp += exp;
103 u.urexp += 4*exp + rexp;
104 if(exp

Completed in 60 milliseconds

12