check_test_4d.adb running
                                 Ux    maxerror= 1.25055521493778E-11
                                 Uy    maxerror= 1.25055521493778E-11
                                 Uz    maxerror= 1.25055521493778E-11
                                 Ut    maxerror= 1.20508047984913E-11
                                 Uxx   maxerror= 2.36468622460961E-11
                                 Uxy   maxerror= 1.42108547152020E-11
                                 Uxz   maxerror= 2.27373675443232E-11
                                 Uxt   maxerror= 1.54614099301398E-11
                                 Uyy   maxerror= 2.00088834390044E-11
                                 Uyz   maxerror= 1.62572177941911E-11
                                 Uyt   maxerror= 1.63709046319127E-11
                                 Uzz   maxerror= 2.09183781407773E-11
                                 Uzt   maxerror= 1.54614099301398E-11
                                 Utt   maxerror= 2.00088834390044E-11
                                 Uxxx  maxerror= 2.18278728425503E-11
                                 Uxxy  maxerror= 4.00177668780088E-11
                                 Uxxz  maxerror= 3.54702933691442E-11
                                 Uxxt  maxerror= 2.72848410531878E-11
                                 Uxyy  maxerror= 4.84305928694084E-11
                                 Uxyz  maxerror= 5.52518031327054E-11
                                 Uxyt  maxerror= 5.52518031327054E-11
                                 Uxzz  maxerror= 3.86535248253495E-11
                                 Uxzt  maxerror= 4.70663508167490E-11
                                 Uxtt  maxerror= 9.45874489843845E-11
                                 Uyyy  maxerror= 2.18278728425503E-11
                                 Uyyz  maxerror= 4.36557456851006E-11
                                 Uyyt  maxerror= 5.82076609134674E-11
                                 Uyzz  maxerror= 5.91171556152403E-11
                                 Uyzt  maxerror= 8.27640178613365E-11
                                 Uytt  maxerror= 6.00266503170133E-11
                                 Uzzz  maxerror= 2.18278728425503E-11
                                 Uzzt  maxerror= 3.27418092638254E-11
                                 Uztt  maxerror= 3.63797880709171E-11
                                 Uttt  maxerror= 2.18278728425503E-11
                                 Uxxxx maxerror= 3.63797880709171E-11
                                 Uxxxy maxerror= 6.54836185276508E-11
                                 Uxxxz maxerror= 8.73114913702011E-11
                                 Uxxxt maxerror= 5.32054400537163E-11
                                 Uxxyy maxerror= 2.54658516496420E-10
                                 Uxxyz maxerror= 2.59205990005285E-10
                                 Uxxyt maxerror= 2.07819539355114E-10
                                 Uxxzz maxerror= 1.74736669578124E-10
                                 Uxxzt maxerror= 2.18733475776389E-10
                                 Uxxtt maxerror= 4.58385329693556E-10
                                 Uxyyy maxerror= 7.45785655453801E-11
                                 Uxyyz maxerror= 3.61978891305625E-10
                                 Uxyyt maxerror= 3.03543856716715E-10
                                 Uxyzz maxerror= 3.42822659149533E-10
                                 Uxyzt maxerror= 1.91789695236366E-10
                                 Uxytt maxerror= 9.94759830064140E-10
                                 Uxzzz maxerror= 1.72605041370844E-10
                                 Uxzzt maxerror= 2.22598828258924E-10
                                 Uxztt maxerror= 5.08862285641953E-10
                                 Uxttt maxerror= 6.87521151121473E-11
                                 Uyyyy maxerror= 2.18278728425503E-11
                                 Uyyyz maxerror= 7.27595761418343E-11
                                 Uyyyt maxerror= 1.20053300634027E-10
                                 Uyyzz maxerror= 1.99179339688271E-10
                                 Uyyzt maxerror= 4.20186552219093E-10
                                 Uyytt maxerror= 2.14640749618411E-10
                                 Uyzzz maxerror= 1.47934997585253E-10
                                 Uyzzt maxerror= 3.13775672111660E-10
                                 Uyztt maxerror= 2.70119926426560E-10
                                 Uyttt maxerror= 1.05501385405660E-10
                                 Uzzzz maxerror= 1.81898940354586E-11
                                 Uzzzt maxerror= 6.54836185276508E-11
                                 Uzztt maxerror= 1.52795109897852E-10
                                 Uzttt maxerror= 1.10958353616297E-10
                                 Utttt maxerror= 9.09494701772928E-12
check_test_4d.adb finished, max maxerror= 9.94759830064140E-10