V "GNAT Lib v6" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=i586 P ZX RN RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTIONS RV NO_FLOATING_POINT RV NO_LONG_LONG_INTEGERS RV SPARK_05 U ada.numerics.generic_elementary_functions%b a-ngelfu.adb c25482c0 NE OL PK GE W ada%s ada.ads ada.ali W ada.numerics%s a-numeri.ads a-numeri.ali W ada.numerics.aux%s a-numaux.adb a-numaux.ali U ada.numerics.generic_elementary_functions%s a-ngelfu.ads 03ac0f1c BN NE OL PU PK GE W ada.numerics%s a-numeri.ads a-numeri.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-numeri.ads 20080324174807 bb51c45a ada.numerics%s D a-numaux.ads 20140801094828 243fe0b7 ada.numerics.aux%s D a-ngelfu.ads 20151016131424 b8fdcb46 ada.numerics.generic_elementary_functions%s D a-ngelfu.adb 20151020124036 5e96a931 ada.numerics.generic_elementary_functions%b D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D system.ads 20151123113124 2da59038 system%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s X 1 ada.ads 16K9*Ada 19e8 4|39r9 170r5 5|39r6 41r14 43r13 995r5 X 2 a-numeri.ads 16K13*Numerics 1|16k9 2|32e17 4|39r13 170r9 5|39r10 41r18 43r17 995r9 19X4*Argument_Error 5|88r16 91r16 183r16 211r16 214r16 245r16 302r16 321r16 . 341r16 344r16 395r16 422r16 425r16 465r19 579r16 737r16 754r16 757r16 791r16 . 890r16 928r16 21N4*Pi 5|53r34 54r28 186r17 192r17 198r18 327r17 330r19 401r20 714r29 724r39 X 3 a-numaux.ads 35K22*Aux 75e21 5|39w19 43r26 51r22 152r38 161r38 195r32 333r31 516r31 569r37 . 618r37 633r34 715r32 746r31 766r31 766r54 781r31 815r31 898r31 918r31 991r34 38F9*Double 5|43r30 51r26 40V13*Sin{38F9} 5|781s35 815s35 42V13*Cos{38F9} 5|516s35 44V13*Tan{38F9} 5|569s41 918s35 46V13*Exp{38F9} 5|633s38 48V13*Sqrt{38F9} 5|898s35 50V13*Log{38F9} 5|746s35 766s35 766s58 52V13*Atan{38F9} 5|715s36 54V13*Acos{38F9} 5|195s36 56V13*Asin{38F9} 5|333s35 62V13*Tanh{38F9} 5|618s41 991s38 64V13*Pow{38F9} 5|152s42 161s42 X 4 a-ngelfu.ads 37F9 Float_Type 42r23 42r47 62r26 64r22 64r46 67r28 67r52 70r22 70r46 73r33 . 73r57 80r22 80r46 84r29 84r53 88r22 88r46 92r29 92r53 96r22 96r46 99r29 . 99r53 102r22 102r46 104r29 104r53 106r25 106r49 109r32 109r56 112r25 112r49 . 115r32 115r56 119r11 120r11 120r42 125r15 126r15 127r15 127r39 132r13 133r13 . 133r44 138r15 139r15 140r15 140r39 144r23 144r47 147r23 147r47 151r23 151r47 . 155r23 155r47 158r26 158r50 161r26 161r50 165r26 165r50 168r26 168r50 5|50r17 . 64r29 64r53 69r11 70r11 70r42 77r33 77r57 78r18 80r18 81r18 82r18 126r37 . 128r40 130r37 152r21 161r21 178r25 178r49 179r14 195r15 206r32 206r56 207r14 . 239r26 239r50 265r14 266r14 267r14 278r15 279r15 280r15 281r15 293r26 293r50 . 318r25 318r49 333r14 338r32 338r56 363r26 363r50 389r14 390r14 391r14 401r25 . 405r17 415r15 416r15 417r15 418r15 431r34 435r17 446r26 446r50 447r37 449r38 . 472r20 473r31 484r15 485r14 486r17 510r22 510r46 516r14 521r29 521r53 533r23 . 533r47 534r27 535r27 536r27 537r18 560r22 560r46 569r20 574r29 574r53 575r11 . 582r12 603r23 603r47 618r20 625r22 625r46 626r16 633r17 640r10 651r29 651r53 . 652r11 653r11 668r12 669r17 676r13 683r12 690r10 703r11 704r11 704r42 706r18 . 707r18 715r15 722r17 724r17 734r22 734r46 746r14 751r28 751r52 766r14 775r22 . 775r46 781r14 786r29 786r53 787r11 800r12 809r21 815r14 822r23 822r47 823r27 . 824r27 825r27 826r27 827r18 829r46 887r23 887r47 898r14 907r22 907r46 918r14 . 923r29 923r53 924r11 934r12 953r23 953r47 954r21 955r21 956r21 958r21 959r21 . 960r21 961r21 963r27 965r17 966r20 967r20 970r9 991r17 39k22*Generic_Elementary_Functions 2|16k13 4|37z9 170l18 170e46 5|41b27 995l18 . 995t46 42V13*Sqrt 42>19 43r14 44r34 45r34 62r53 5|115s23 137s28 142s44 147s41 147s47 . 226s23 248s17 254s26 356s26 375s31 378s26 887b13 899l8 899t12 42*19 X 44r21 45r21 62r21 5|887b19 889r10 894r13 895r17 898r49 64V13*Log 64>18 5|251s17 254s17 308s24 308s46 369s17 372s19 375s18 378s17 . 500s24 500s41 734b13 747l8 747t11 64*18 X 65r18 5|734b18 736r10 739r13 742r13 746r48 67V13*Log 67>18 67>21 5|751b13 767l8 767t11 67*18 X 68r18 5|751b18 753r10 759r13 762r13 766r48 67*21 Base 5|751b21 756r13 756r33 766r71 70V13*Exp 70>18 71r31 5|625b13 645l8 645t11 70*18 X 71r18 5|625b18 629r10 633r51 73V14*"**" 73>19 73>25 5|77b14 170l9 170t12 73*19 Left 76r52 77r21 78r21 5|77b19 85r10 90r13 96r13 103r13 107r17 112r23 . 112r30 115r29 129r29 137r34 147r53 152r55 161r55 73*25 Right 75r21 76r21 5|77b25 86r18 93r13 97r13 106r13 111r16 114r19 118r32 . 154r22 161r70 80V13*Sin 80>18 5|595s27 775b13 782l8 782t11 944s17 80*18 X 82r21 5|775b18 777r14 778r17 781r48 84V13*Sin 84>18 84>21 5|526s15 786b13 816l8 816t11 84*18 X 86r21 5|786b18 796r13 797r17 800r39 84*21 Cycle 5|786b21 790r10 800r42 808r25 809r43 815r52 88V13*Cos 88>18 5|510b13 517l8 517t11 595s17 944s27 88*18 X 90r21 5|510b18 512r14 516r48 92V13*Cos 92>18 92>21 5|521b13 527l8 527t11 92*18 X 94r21 5|521b18 526r24 92*21 Cycle 5|521b21 526r28 526r42 96V13*Tan 96>18 5|907b13 919l8 919t11 96*18 X 97r18 5|907b18 909r14 910r17 918r48 99V13*Tan 99>18 99>21 5|923b13 947l8 947t11 99*18 X 100r18 5|923b18 930r13 931r17 934r39 99*21 Cycle 5|923b21 927r10 934r42 936r25 939r27 943r19 102V13*Cot 102>18 5|560b13 570l8 570t11 102*18 X 5|560b18 562r10 565r17 566r23 569r54 104V13*Cot 104>18 104>21 5|574b13 597l8 597t11 104*18 X 5|574b18 582r39 104*21 Cycle 5|574b21 578r10 582r42 584r40 590r28 594r19 106V13*Arcsin 106>21 5|318b13 334l8 334t14 106*21 X 107r18 5|318b21 320r14 323r17 324r17 326r13 329r13 333r49 109V13*Arcsin 109>21 109>24 5|338b13 357l8 357t14 109*21 X 110r18 5|338b21 343r17 346r13 347r17 349r13 352r13 356r22 356r39 . 356r51 109*24 Cycle 5|338b24 340r10 350r17 353r19 356r61 112V13*Arccos 112>21 5|178b13 202l8 202t14 112*21 X 113r18 5|178b21 182r14 185r17 186r28 188r13 191r13 195r50 115V13*Arccos 115>21 115>24 5|206b13 233l8 233t14 115*21 X 116r18 5|206b21 213r17 216r17 219r13 222r13 226r36 226r48 226r54 115*24 Cycle 5|206b24 210r10 217r17 223r17 226r62 229r18 118V13*Arctan 119>7 120>7 5|272s14 388b13 410l8 410t14 119*7 Y 122r35 5|389b7 394r27 397r13 401r52 405r48 408r29 120*7 X 122r18 5|390b7 394r10 398r13 404r13 408r32 124V13*Arctan 125>7 126>7 127>7 5|226s15 286s14 356s14 414b13 440l8 440t14 125*7 Y 129r35 5|415b7 424r30 427r13 431r61 435r52 438r29 126*7 X 129r18 5|416b7 424r13 428r13 434r13 438r32 127*7 Cycle 5|417b7 421r10 431r20 435r39 438r38 131V13*Arccot 132>7 133>7 5|264b13 273l8 273t14 132*7 X 135r18 5|265b7 272r25 133*7 Y 135r35 5|266b7 272r22 137V13*Arccot 138>7 139>7 140>7 5|277b13 287l8 287t14 138*7 X 142r18 5|278b7 286r25 139*7 Y 142r35 5|279b7 286r22 140*7 Cycle 5|280b7 286r28 144V13*Sinh 144>19 145r31 5|822b13 881l8 881t12 144*19 X 145r18 5|822b19 825r50 833r17 876r10 147V13*Cosh 147>19 148r14 149r34 5|533b13 552l8 552t12 147*19 X 149r21 5|533b19 536r50 151V13*Tanh 151>19 152r14 153r34 5|953b13 993l8 993t12 151*19 X 153r21 5|953b19 966r43 973r10 976r13 980r17 988r17 988r21 991r52 155V13*Coth 155>19 156r18 5|603b13 619l8 619t12 155*19 X 5|603b19 605r10 608r13 611r13 614r17 615r23 618r55 158V13*Arcsinh 158>22 159r31 5|363b13 380l8 380t15 158*22 X 159r18 5|363b22 365r14 366r17 368r13 369r22 371r13 372r25 374r13 . 375r27 375r37 375r41 378r22 378r32 378r36 161V13*Arccosh 161>22 162r14 163r34 5|239b13 256l8 256t15 161*22 X 163r21 5|239b22 244r10 247r13 248r30 250r13 251r22 254r22 254r33 . 254r45 165V13*Arctanh 165>22 166r31 5|296s17 446b13 502l8 502t15 165*22 X 166r18 5|446b22 459r14 462r17 464r17 473r63 486r42 488r15 168V13*Arccoth 168>22 5|293b13 310l8 310t15 168*22 X 5|293b22 295r14 296r32 298r17 301r17 308r34 308r56 X 5 a-ngelfu.adb 45N4 Sqrt_Two 58r40 46N4 Log_Two 48r31 57r67 251r27 369r27 372r30 48N4 Half_Log_Two 56r67 473r16 50F12 T 53r23 54r23 56r35 56r40 56r47 57r35 57r40 57r43 58r35 58r57 51F12 Double{3|38F9} 152r47 152r62 161r47 161r62 195r42 333r41 516r40 569r46 . 618r47 633r43 715r42 746r40 766r40 766r63 781r40 815r40 898r41 918r40 991r44 53*4 Two_Pi{50F12} 438r46 594r27 815r60 943r27 54*4 Half_Pi{50F12} 405r39 718r22 56*4 Half_Log_Epsilon{50F12} 608r17 611r18 973r14 976r18 57*4 Log_Inverse_Epsilon{50F12} 543r17 835r17 58*4 Sqrt_Epsilon{50F12} 185r21 216r21 247r23 250r23 323r21 365r18 368r23 . 371r25 512r18 540r14 565r21 587r21 614r21 713r17 777r18 832r14 909r18 979r17 64V13 Exp_Strict 64>25 544s15 548s15 651b13 696l8 696t18 836s15 872s15 64*25 X 651b25 672r10 676r39 677r13 68V13 Local_Atan 69>7 70>7 408s17 438s17 702b13 726l8 726t18 69*7 Y 703b7 710r20 710r44 710r57 717r14 722r49 724r54 70*7 X 704b7 710r28 710r40 710r61 717r22 721r10 78*7 A_Right 118m16 125r19 126r27 128r68 130r27 79i7 Int_Part{integer} 128m19 129r37 130r54 80*7 Result 129m19 138m22 138r32 142m25 142r35 147m22 147r32 151m19 151r29 . 155r29 157r36 81*7 R1 137m22 138r41 142r50 82*7 Rest 130m19 136r22 139m22 139r30 141r25 143m25 143r33 146r25 148m22 . 148r30 152r70 179*7 Temp 195m7 197r10 198m10 198r23 201r14 207*7 Temp 226m7 228r10 229m10 229r32 232r14 447*7 A 484m10 488r19 489r28 490r28 447*10 B 488m10 500r59 447*13 D 491m10 500r63 447*16 A_Plus_1 489m10 491r15 500r29 447*26 A_From_1 490m10 491r26 500r46 449i7 Mantissa{integer} 462r37 473r48 486r45 486r66 534*7 Lnv 544r31 535*7 V2minus1 545r22 536*7 Y 540r10 543r13 544r27 548r27 537*7 Z 544m10 545r18 545r33 548m10 549r24 549r34 575*7 T 582m7 584r10 584r30 587r17 588r23 590r17 594m10 594r15 595r22 595r32 626*7 Result 633m7 640r52 644r14 652*7 G 677m7 678r12 678r16 679r12 653*7 Z 678m7 679r23 679r33 680r19 680r29 680r39 655N7 P0 679r37 656N7 P1 679r27 657N7 P2 679r18 659N7 Q0 680r43 660N7 Q1 680r33 661N7 Q2 680r23 662N7 Q3 680r14 664N7 C1 677r22 665N7 C2 677r33 666N7 Le 676r43 668*7 XN 676m7 677r17 677r28 683r49 669*7 P 679m7 681r18 681r27 669*10 Q 680m7 681r23 669*13 R 681m7 683m7 683r37 690r52 693r17 706*7 Z 710m7 713r13 713r35 714r16 715r50 707*7 Raw_Atan 712m7 718m10 718r32 722r39 724r44 787*7 T 800m7 808r14 809m10 809r50 809r55 815r48 823*7 Lnv 836r31 824*7 V2minus1 837r19 825*7 Y 826r46 826r50 832r10 835r13 836r27 839r13 852r21 852r25 866r21 866r25 . 872r27 826*7 F 852r29 852r39 852r50 866r29 866r41 866r51 866r61 867r36 867r46 867r56 827*7 Z 836m10 837m10 837r15 837r30 852m16 866m16 872m10 873m10 873r22 873r32 . 877r17 879r18 829b7 Float_Digits_1_6{boolean} 841r13 847N16 P0 852r43 848N16 P1 852r34 849N16 Q0 852r54 857N16 P0 866r65 858N16 P1 866r55 859N16 P2 866r45 860N16 P3 866r36 861N16 Q0 867r60 862N16 Q1 867r50 863N16 Q2 867r40 924*7 T 934m7 936r14 939r17 943m10 943r15 944r22 944r32 954*7 P0 985r35 955*7 P1 985r25 956*7 P2 985r16 958*7 Q0 986r46 959*7 Q1 986r36 960*7 Q2 986r26 961*7 Q3 986r17 963*7 Half_Ln3 982r17 965*7 P 985m10 987r20 965*10 Q 986m10 987r24 965*13 R 987m10 988r25 966*7 Y 967r39 967r43 979r13 982r13 967*7 G 985r21 985r31 986r22 986r32 986r42 987r15 969b7 Float_Type_Digits_15_Or_More{boolean} 983r18