1 |
dd29e0c7
|
Bourbouh
|
(declare-rel acos ( Real Real) )
|
2 |
|
|
(declare-rel acosh ( Real Real) )
|
3 |
|
|
(declare-rel asin ( Real Real) )
|
4 |
|
|
(declare-rel asinh ( Real Real) )
|
5 |
|
|
(declare-rel atan ( Real Real) )
|
6 |
|
|
(declare-rel atan2(Real Real Real) )
|
7 |
|
|
(declare-rel atanh ( Real Real) )
|
8 |
|
|
(declare-rel cbrt ( Real Real) )
|
9 |
|
|
(declare-rel cos ( Real Real) )
|
10 |
|
|
(declare-rel cosh ( Real Real) )
|
11 |
|
|
(declare-rel ceil ( Real Real) )
|
12 |
|
|
(declare-rel erf ( Real Real) )
|
13 |
|
|
(declare-rel fabs ( Real Real) )
|
14 |
|
|
(declare-rel floor ( Real Real) )
|
15 |
|
|
(declare-rel fmod (Real Real Real) )
|
16 |
|
|
(declare-rel tan ( Real Real) )
|
17 |
|
|
(declare-rel pow (Real Real Real) )
|
18 |
|
|
(declare-rel round ( Real Real) )
|
19 |
|
|
(declare-rel sin ( Real Real) )
|
20 |
|
|
(declare-rel sinh ( Real Real) )
|
21 |
|
|
(declare-rel sqrt ( Real Real) )
|
22 |
|
|
(declare-rel trunc ( Real Real) )
|
23 |
|
|
(declare-rel exp ( Real Real) )
|
24 |
|
|
(declare-rel log ( Real Real) )
|
25 |
|
|
(declare-rel log10 ( Real Real) )
|
26 |
4d841db7
|
Bourbouh
|
(declare-rel tanh ( Real Real) )
|