Searched refs:acos (Results 1 - 14 of 14) sorted by relevance

/seL4-camkes-master/projects/musllibc/src/math/i386/
H A Dacosf.s1 # see acos.s
H A Dacosl.s1 # see acos.s
H A Dacos.s1 # use acos(x) = atan2(fabs(sqrt((1-x)*(1+x))), x)
15 .global acos
16 .type acos,@function
17 acos: label
/seL4-camkes-master/projects/musllibc/src/math/i386_sel4/
H A Dacosf.s1 # see acos.s
H A Dacosl.s1 # see acos.s
H A Dacos.s1 # use acos(x) = atan2(fabs(sqrt((1-x)*(1+x))), x)
15 .global acos
16 .type acos,@function
17 acos: label
/seL4-camkes-master/projects/musllibc/src/math/x32/
H A Dacosl.s1 # see ../i386/acos.s
/seL4-camkes-master/projects/musllibc/src/math/x86_64/
H A Dacosl.s1 # see ../i386/acos.s
/seL4-camkes-master/projects/musllibc/src/math/x86_64_sel4/
H A Dacosl.s1 # see ../i386/acos.s
/seL4-camkes-master/projects/musllibc/src/math/
H A Dacosl.c13 * See comments in acos.c.
22 return acos(x);
H A Dacos.c12 /* acos(x)
14 * acos(x) = pi/2 - asin(x)
15 * acos(-x) = pi/2 + asin(x)
17 * acos(x) = pi/2 - (x + x*x^2*R(x^2)) (see asin.c)
19 * acos(x) = pi/2 - (pi/2 - 2asin(sqrt((1-x)/2)))
26 * acos(x) = pi - 2asin(sqrt((1-|x|)/2))
60 double acos(double x) function
73 /* acos(1)=0, acos(-1)=pi */
/seL4-camkes-master/projects/musllibc/include/
H A Dtgmath.h146 #undef acos macro
209 #define acos(x) __tg_real_complex(acos, (x)) macro
H A Dmath.h123 double acos(double);
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DConnection_Widget.py495 start_angle = math.degrees(math.acos(start_straight_dot_product / (perpend_length * straight_length)))

Completed in 120 milliseconds