check_test_5d.adb running Uw maxerror= 5.29689714312553E-09 Ux maxerror= 4.32555680163205E-09 Uy maxerror= 3.91810317523777E-09 Uz maxerror= 8.16362444311380E-09 Ut maxerror= 2.00241629499942E-07 Uww maxerror= 3.43425199389458E-09 Uwx maxerror= 6.93398760631680E-09 Uwy maxerror= 7.47786543797702E-09 Uwz maxerror= 1.11904228106141E-08 Uwt maxerror= 1.19685864774510E-07 Uxx maxerror= 2.69938027486205E-09 Uxy maxerror= 6.77573552820832E-09 Uxz maxerror= 1.06774677988142E-08 Uxt maxerror= 1.53051587403752E-07 Uyy maxerror= 2.43744580075145E-09 Uyz maxerror= 1.28438841784373E-08 Uyt maxerror= 1.76565663423389E-07 Uzz maxerror= 7.11115717422217E-08 Uzt maxerror= 1.78148184204474E-07 Utt maxerror= 1.77991751115769E-07 Uwww maxerror= 6.32462615612894E-09 Uwwx maxerror= 3.82578946300782E-09 Uwwy maxerror= 5.69161784369498E-09 Uwwz maxerror= 1.15805960376747E-08 Uwwt maxerror= 9.73595888353884E-08 Uwxx maxerror= 6.05996319791302E-09 Uwxy maxerror= 6.14454620517790E-09 Uwxz maxerror= 1.09016582428012E-08 Uwxt maxerror= 6.85236045683268E-08 Uwyy maxerror= 6.45741238258779E-09 Uwyz maxerror= 2.21371010411531E-08 Uwyt maxerror= 6.34850039205048E-08 Uwzz maxerror= 4.69981387141161E-08 Uwzt maxerror= 6.40197868051473E-08 Uwtt maxerror= 1.11413100967184E-07 Uxxx maxerror= 4.88580553792417E-09 Uxxy maxerror= 4.32009983342141E-09 Uxxz maxerror= 1.07820596895181E-08 Uxxt maxerror= 1.54956069309264E-07 Uxyy maxerror= 7.34144123271108E-09 Uxyz maxerror= 1.43554643727839E-08 Uxyt maxerror= 8.65229594637640E-08 Uxzz maxerror= 6.37428456684574E-08 Uxzt maxerror= 1.13476744445506E-07 Uxtt maxerror= 1.43583747558296E-07 Uyyy maxerror= 4.27098711952567E-09 Uyyz maxerror= 1.69566192198545E-08 Uyyt maxerror= 1.85937096830457E-07 Uyzz maxerror= 7.01147655490786E-08 Uyzt maxerror= 9.34251147555187E-08 Uytt maxerror= 1.65147866937332E-07 Uzzz maxerror= 5.06697688251734E-08 Uzzt maxerror= 2.57852661889046E-07 Uztt maxerror= 1.66679456015117E-07 Uttt maxerror= 9.58556483965367E-07 Uwwww maxerror= 9.36006472329609E-09 Uwwwx maxerror= 1.47872469824506E-08 Uwwwy maxerror= 1.53761448018486E-08 Uwwwz maxerror= 3.20374056173023E-08 Uwwwt maxerror= 1.14738895717892E-07 Uwwxx maxerror= 4.05998434871435E-08 Uwwxy maxerror= 4.24450945502031E-08 Uwwxz maxerror= 5.08401853949181E-08 Uwwxt maxerror= 1.61922002916981E-07 Uwwyy maxerror= 3.46917659044266E-08 Uwwyz maxerror= 1.06508309727360E-07 Uwwyt maxerror= 7.34373770683305E-08 Uwwzz maxerror= 9.90971784631256E-08 Uwwzt maxerror= 2.07946925456781E-07 Uwwtt maxerror= 3.04402874462539E-07 Uwxxx maxerror= 1.52740540215746E-08 Uwxxy maxerror= 3.77375499738264E-08 Uwxxz maxerror= 6.37134007774875E-08 Uwxxt maxerror= 1.72641875906265E-07 Uwxyy maxerror= 3.33901652993518E-08 Uwxyz maxerror= 1.38979487473989E-07 Uwxyt maxerror= 1.41732300562580E-07 Uwxzz maxerror= 1.72338332049549E-07 Uwxzt maxerror= 2.55126053616550E-07 Uwxtt maxerror= 2.45799355980125E-07 Uwyyy maxerror= 1.30989974422846E-08 Uwyyz maxerror= 9.72329416981665E-08 Uwyyt maxerror= 8.63848299559322E-08 Uwyzz maxerror= 1.33124558487907E-07 Uwyzt maxerror= 2.72672025403153E-07 Uwytt maxerror= 1.22427081805654E-07 Uwzzz maxerror= 5.09080564370379E-08 Uwyzt maxerror= 2.72672025403153E-07 Uwzzz maxerror= 5.09080564370379E-08 Uwzzt maxerror= 2.07431867238483E-07 Uwztt maxerror= 3.01964519167086E-07 Uwttt maxerror= 6.02217369305436E-07 Uxxxx maxerror= 7.49969331081957E-09 Uxxxy maxerror= 9.68566382653080E-09 Uxxxz maxerror= 2.08747223950922E-08 Uxxxt maxerror= 1.97998815565370E-07 Uxxyy maxerror= 1.92221705219708E-08 Uxxyz maxerror= 3.40230599249480E-08 Uxxyt maxerror= 1.02523017631029E-07 Uxxzz maxerror= 9.56929397943895E-08 Uxxzt maxerror= 2.56579141932889E-07 Uxxtt maxerror= 1.56418536789715E-07 Uxyyy maxerror= 1.48511389852501E-08 Uxyyz maxerror= 4.52332642453257E-08 Uxyyt maxerror= 1.04454557003919E-07 Uxyzz maxerror= 7.84260656416791E-08 Uxyzt maxerror= 2.75149886874715E-07 Uxytt maxerror= 1.71220108313719E-07 Uxzzz maxerror= 5.38576614417252E-08 Uxzzt maxerror= 3.16567820846103E-07 Uxztt maxerror= 2.64872937805194E-07 Uxttt maxerror= 8.01258465799037E-07 Uyyyy maxerror= 7.59246177040040E-09 Uyyyz maxerror= 3.42724888469093E-08 Uyyyt maxerror= 2.05728611035738E-07 Uyyzz maxerror= 1.07786036096513E-07 Uyyzt maxerror= 1.51339090592728E-07 Uyytt maxerror= 1.93052073882427E-07 Uyzzz maxerror= 5.29098542756401E-08 Uyzzt maxerror= 1.73563762473350E-07 Uyztt maxerror= 2.09858626476489E-07 Uyttt maxerror= 9.20713318919297E-07 Uzzzz maxerror= 8.10287019703537E-08 Uzzzt maxerror= 2.78091647487599E-07 Uzztt maxerror= 2.78703737421893E-07 Uzttt maxerror= 8.98313373909332E-07 Utttt maxerror= 7.52515916246921E-07 ran 1536192 checks in 292.032919000 seconds check_test_5d.adb finished, max maxerror= 9.58556483965367E-07