|
1
|
(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
|
(declare-rel tanh ( Real Real) )
|