-- test_5d.adb just the test function and derivatives -- fourth order and through fourth derivative in 5 dimensions -- U(w,x,y,z,t) and Uwwww(w,x,y,z,t) .. Ut(w,x,y,z,t) many of them -- U, every possible term with a unique constant coefficient package body test_5d is function U(w : real; x : real; y : real; z : real; t : real) return real is begin return 1.0*w*w*w*w*w + 2.0*w*w*w*w*x + 3.0*w*w*w*w*y + 4.0*w*w*w*w*z + 5.0*w*w*w*w*t + 6.0*w*w*w*x*x + 7.0*w*w*w*x*y + 8.0*w*w*w*x*z + 9.0*w*w*w*x*t + 10.0*w*w*w*y*y + 11.0*w*w*w*y*z + 12.0*w*w*w*y*t + 13.0*w*w*w*z*z + 14.0*w*w*w*z*t + 15.0*w*w*w*t*t + 16.0*w*w*x*x*x + 17.0*w*w*x*x*y + 18.0*w*w*x*x*z + 19.0*w*w*x*x*t + 20.0*w*w*x*y*y + 21.0*w*w*x*y*z + 22.0*w*w*x*y*t + 23.0*w*w*x*z*z + 24.0*w*w*x*z*t + 25.0*w*w*x*t*t + 26.0*w*w*y*y*y + 27.0*w*w*y*y*z + 28.0*w*w*y*y*t + 29.0*w*w*y*z*z + 30.0*w*w*y*z*t + 31.0*w*w*y*t*t + 32.0*w*w*z*z*z + 33.0*w*w*z*z*t + 34.0*w*w*z*t*t + 35.0*w*w*t*t*t + 36.0*w*x*x*x*x + 37.0*w*x*x*x*y + 38.0*w*x*x*x*z + 39.0*w*x*x*x*t + 40.0*w*x*x*y*y + 41.0*w*x*x*y*z + 42.0*w*x*x*y*t + 43.0*w*x*x*z*z + 44.0*w*x*x*z*t + 45.0*w*x*x*t*t + 46.0*w*x*y*y*y + 47.0*w*x*y*y*z + 48.0*w*x*y*y*t + 49.0*w*x*y*z*z + 50.0*w*x*y*z*t + 51.0*w*x*y*t*t + 52.0*w*x*z*z*z + 53.0*w*x*z*z*t + 54.0*w*x*z*t*t + 55.0*w*x*t*t*t + 56.0*w*y*y*y*y + 57.0*w*y*y*y*z + 58.0*w*y*y*y*t + 59.0*w*y*y*z*z + 60.0*w*y*y*z*t + 61.0*w*y*y*t*t + 62.0*w*y*z*z*z + 63.0*w*y*z*z*t + 64.0*w*y*z*t*t + 65.0*w*y*t*t*t + 66.0*w*z*z*z*z + 67.0*w*z*z*z*t + 68.0*w*z*z*t*t + 69.0*w*z*t*t*t + 70.0*w*t*t*t*t + 71.0*x*x*x*x*x + 72.0*x*x*x*x*y + 73.0*x*x*x*x*z + 74.0*x*x*x*x*t + 75.0*x*x*x*y*y + 76.0*x*x*x*y*z + 77.0*x*x*x*y*t + 78.0*x*x*x*z*z + 79.0*x*x*x*z*t + 80.0*x*x*x*t*t + 81.0*x*x*y*y*y + 82.0*x*x*y*y*z + 83.0*x*x*y*y*t + 84.0*x*x*y*z*z + 85.0*x*x*y*z*t + 86.0*x*x*y*t*t + 87.0*x*x*z*z*z + 88.0*x*x*z*z*t + 89.0*x*x*z*t*t + 90.0*x*x*t*t*t + 91.0*x*y*y*y*y + 92.0*x*y*y*y*z + 93.0*x*y*y*y*t + 94.0*x*y*y*z*z + 95.0*x*y*y*z*t + 96.0*x*y*y*t*t + 97.0*x*y*z*z*z + 98.0*x*y*z*z*t + 99.0*x*y*z*t*t + 100.0*x*y*t*t*t + 101.0*x*z*z*z*z + 102.0*x*z*z*z*t + 103.0*x*z*z*t*t + 104.0*x*z*t*t*t + 105.0*x*t*t*t*t + 106.0*y*y*y*y*y + 107.0*y*y*y*y*z + 108.0*y*y*y*y*t + 109.0*y*y*y*z*z + 110.0*y*y*y*z*t + 111.0*y*y*y*t*t + 112.0*y*y*z*z*z + 113.0*y*y*z*z*t + 114.0*y*y*z*t*t + 115.0*y*y*t*t*t + 116.0*y*z*z*z*z + 117.0*y*z*z*z*t + 118.0*y*z*z*t*t + 119.0*y*z*t*t*t + 120.0*y*t*t*t*t + 121.0*z*z*z*z*z + 122.0*z*z*z*z*t + 123.0*z*z*z*t*t + 124.0*z*z*t*t*t + 125.0*z*t*t*t*t + 126.0*t*t*t*t*t + 127.0* w*w*w*w + 128.0* w*w*w*x + 129.0* w*w*w*y + 130.0* w*w*w*z + 131.0* w*w*w*t + 132.0* w*w*x*x + 133.0* w*w*x*y + 134.0* w*w*x*z + 135.0* w*w*x*t + 136.0* w*w*y*y + 137.0* w*w*y*z + 138.0* w*w*y*t + 139.0* w*w*z*z + 140.0* w*w*z*t + 141.0* w*w*t*t + 142.0* w*x*x*x + 143.0* w*x*x*y + 144.0* w*x*x*z + 145.0* w*x*x*t + 146.0* w*x*y*y + 147.0* w*x*y*z + 148.0* w*x*y*t + 149.0* w*x*z*z + 150.0* w*x*z*t + 151.0* w*x*t*t + 152.0* w*y*y*y + 153.0* w*y*y*z + 154.0* w*y*y*t + 155.0* w*y*z*z + 156.0* w*y*z*t + 157.0* w*y*t*t + 158.0* w*z*z*z + 159.0* w*z*z*t + 160.0* w*z*t*t + 161.0* w*t*t*t + 162.0* x*x*x*x + 163.0* x*x*x*y + 164.0* x*x*x*z + 165.0* x*x*x*t + 166.0* x*x*y*y + 167.0* x*x*y*z + 168.0* x*x*y*t + 169.0* x*x*z*z + 170.0* x*x*z*t + 171.0* x*x*t*t + 172.0* x*y*y*y + 173.0* x*y*y*z + 174.0* x*y*y*t + 175.0* x*y*z*z + 176.0* x*y*z*t + 177.0* x*y*t*t + 178.0* x*z*z*z + 179.0* x*z*z*t + 180.0* x*z*t*t + 181.0* x*t*t*t + 182.0* y*y*y*y + 183.0* y*y*y*z + 184.0* y*y*y*t + 185.0* y*y*z*z + 186.0* y*y*z*t + 187.0* y*y*t*t + 188.0* y*z*z*z + 189.0* y*z*z*t + 190.0* y*z*t*t + 191.0* y*t*t*t + 192.0* z*z*z*z + 193.0* z*z*z*t + 194.0* z*z*t*t + 195.0* z*t*t*t + 196.0* t*t*t*t + 197.0* w*w*w + 198.0* w*w*x + 199.0* w*w*y + 200.0* w*w*z + 201.0* w*w*t + 202.0* w*x*x + 203.0* w*x*y + 204.0* w*x*z + 205.0* w*x*t + 206.0* w*y*y + 207.0* w*y*z + 208.0* w*y*t + 209.0* w*z*z + 210.0* w*z*t + 211.0* w*t*t + 212.0* x*x*x + 213.0* x*x*y + 214.0* x*x*z + 215.0* x*x*t + 216.0* x*y*y + 217.0* x*y*z + 218.0* x*y*t + 219.0* x*z*z + 220.0* x*z*t + 221.0* x*t*t + 222.0* y*y*y + 223.0* y*y*z + 224.0* y*y*t + 225.0* y*z*z + 226.0* y*z*t + 227.0* y*t*t + 228.0* z*z*z + 229.0* z*z*t + 230.0* z*t*t + 231.0* t*t*t + 232.0* w*w + 233.0* w*x + 234.0* w*y + 235.0* w*z + 236.0* w*t + 237.0* x*x + 238.0* x*y + 239.0* x*z + 240.0* x*t + 241.0* y*y + 242.0* y*z + 243.0* y*t + 244.0* z*z + 245.0* z*t + 246.0* t*t + 247.0* w + 248.0* x + 249.0* y + 250.0* z + 251.0* t ; end U; function Uwwww(w : real; x : real; y : real; z : real; t : real) return real is begin return 120.0*w + 48.0*x + 72.0*y + 96.0*z + 120.0*t + 3048.0 + 0.0; end Uwwww; function Uwwwx(w : real; x : real; y : real; z : real; t : real) return real is begin return 48.0*w + 72.0*x + 42.0*y + 48.0*z + 54.0*t + 768.0 + 0.0; end Uwwwx; function Uwwwy(w : real; x : real; y : real; z : real; t : real) return real is begin return 72.0*w + 42.0*x + 120.0*y + 66.0*z + 72.0*t + 774.0 + 0.0; end Uwwwy; function Uwwwz(w : real; x : real; y : real; z : real; t : real) return real is begin return 96.0*w + 48.0*x + 66.0*y + 156.0*z + 84.0*t + 780.0 + 0.0; end Uwwwz; function Uwwwt(w : real; x : real; y : real; z : real; t : real) return real is begin return 120.0*w + 54.0*x + 72.0*y + 84.0*z + 180.0*t + 786.0 + 0.0; end Uwwwt; function Uwwxx(w : real; x : real; y : real; z : real; t : real) return real is begin return 72.0*w + 192.0*x + 68.0*y + 72.0*z + 76.0*t + 528.0 + 0.0; end Uwwxx; function Uwwxy(w : real; x : real; y : real; z : real; t : real) return real is begin return 42.0*w + 68.0*x + 80.0*y + 42.0*z + 44.0*t + 266.0 + 0.0; end Uwwxy; function Uwwxz(w : real; x : real; y : real; z : real; t : real) return real is begin return 48.0*w + 72.0*x + 42.0*y + 92.0*z + 48.0*t + 268.0 + 0.0; end Uwwxz; function Uwwxt(w : real; x : real; y : real; z : real; t : real) return real is begin return 54.0*w + 76.0*x + 44.0*y + 48.0*z + 100.0*t + 270.0 + 0.0; end Uwwxt; function Uwwyy(w : real; x : real; y : real; z : real; t : real) return real is begin return 120.0*w + 80.0*x + 312.0*y + 108.0*z + 112.0*t + 544.0 + 0.0; end Uwwyy; function Uwwyz(w : real; x : real; y : real; z : real; t : real) return real is begin return 66.0*w + 42.0*x + 108.0*y + 116.0*z + 60.0*t + 274.0 + 0.0; end Uwwyz; function Uwwyt(w : real; x : real; y : real; z : real; t : real) return real is begin return 72.0*w + 44.0*x + 112.0*y + 60.0*z + 124.0*t + 276.0 + 0.0; end Uwwyt; function Uwwzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 156.0*w + 92.0*x + 116.0*y + 384.0*z + 132.0*t + 556.0 + 0.0; end Uwwzz; function Uwwzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 84.0*w + 48.0*x + 60.0*y + 132.0*z + 136.0*t + 280.0 + 0.0; end Uwwzt; function Uwwtt(w : real; x : real; y : real; z : real; t : real) return real is begin return 180.0*w + 100.0*x + 124.0*y + 136.0*z + 420.0*t + 564.0 + 0.0; end Uwwtt; function Uwxxx(w : real; x : real; y : real; z : real; t : real) return real is begin return 192.0*w + 864.0*x + 222.0*y + 228.0*z + 234.0*t + 852.0 + 0.0; end Uwxxx; function Uwxxy(w : real; x : real; y : real; z : real; t : real) return real is begin return 68.0*w + 222.0*x + 160.0*y + 82.0*z + 84.0*t + 286.0 + 0.0; end Uwxxy; function Uwxxz(w : real; x : real; y : real; z : real; t : real) return real is begin return 72.0*w + 228.0*x + 82.0*y + 172.0*z + 88.0*t + 288.0 + 0.0; end Uwxxz; function Uwxxt(w : real; x : real; y : real; z : real; t : real) return real is begin return 76.0*w + 234.0*x + 84.0*y + 88.0*z + 180.0*t + 290.0 + 0.0; end Uwxxt; function Uwxyy(w : real; x : real; y : real; z : real; t : real) return real is begin return 80.0*w + 160.0*x + 276.0*y + 94.0*z + 96.0*t + 292.0 + 0.0; end Uwxyy; function Uwxyz(w : real; x : real; y : real; z : real; t : real) return real is begin return 42.0*w + 82.0*x + 94.0*y + 98.0*z + 50.0*t + 147.0 + 0.0; end Uwxyz; function Uwxyt(w : real; x : real; y : real; z : real; t : real) return real is begin return 44.0*w + 84.0*x + 96.0*y + 50.0*z + 102.0*t + 148.0 + 0.0; end Uwxyt; function Uwxzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 92.0*w + 172.0*x + 98.0*y + 312.0*z + 106.0*t + 298.0 + 0.0; end Uwxzz; function Uwxzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 48.0*w + 88.0*x + 50.0*y + 106.0*z + 108.0*t + 150.0 + 0.0; end Uwxzt; function Uwxtt(w : real; x : real; y : real; z : real; t : real) return real is begin return 100.0*w + 180.0*x + 102.0*y + 108.0*z + 330.0*t + 302.0 + 0.0; end Uwxtt; function Uwyyy(w : real; x : real; y : real; z : real; t : real) return real is begin return 312.0*w + 276.0*x + 1344.0*y + 342.0*z + 348.0*t + 912.0 + 0.0; end Uwyyy; function Uwyyz(w : real; x : real; y : real; z : real; t : real) return real is begin return 108.0*w + 94.0*x + 342.0*y + 236.0*z + 120.0*t + 306.0 + 0.0; end Uwyyz; function Uwyyt(w : real; x : real; y : real; z : real; t : real) return real is begin return 112.0*w + 96.0*x + 348.0*y + 120.0*z + 244.0*t + 308.0 + 0.0; end Uwyyt; function Uwyzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 116.0*w + 98.0*x + 236.0*y + 372.0*z + 126.0*t + 310.0 + 0.0; end Uwyzz; function Uwyzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 60.0*w + 50.0*x + 120.0*y + 126.0*z + 128.0*t + 156.0 + 0.0; end Uwyzt; function Uwytt(w : real; x : real; y : real; z : real; t : real) return real is begin return 124.0*w + 102.0*x + 244.0*y + 128.0*z + 390.0*t + 314.0 + 0.0; end Uwytt; function Uwzzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 384.0*w + 312.0*x + 372.0*y + 1584.0*z + 402.0*t + 948.0 + 0.0; end Uwzzz; function Uwzzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 132.0*w + 106.0*x + 126.0*y + 402.0*z + 272.0*t + 318.0 + 0.0; end Uwzzt; function Uwztt(w : real; x : real; y : real; z : real; t : real) return real is begin return 136.0*w + 108.0*x + 128.0*y + 272.0*z + 414.0*t + 320.0 + 0.0; end Uwztt; function Uwttt(w : real; x : real; y : real; z : real; t : real) return real is begin return 420.0*w + 330.0*x + 390.0*y + 414.0*z + 1680.0*t + 966.0 + 0.0; end Uwttt; function Uxxxx(w : real; x : real; y : real; z : real; t : real) return real is begin return 864.0*w + 8520.0*x + 1728.0*y + 1752.0*z + 1776.0*t + 3888.0 + 0.0; end Uxxxx; function Uxxxy(w : real; x : real; y : real; z : real; t : real) return real is begin return 222.0*w + 1728.0*x + 900.0*y + 456.0*z + 462.0*t + 978.0 + 0.0; end Uxxxy; function Uxxxz(w : real; x : real; y : real; z : real; t : real) return real is begin return 228.0*w + 1752.0*x + 456.0*y + 936.0*z + 474.0*t + 984.0 + 0.0; end Uxxxz; function Uxxxt(w : real; x : real; y : real; z : real; t : real) return real is begin return 234.0*w + 1776.0*x + 462.0*y + 474.0*z + 960.0*t + 990.0 + 0.0; end Uxxxt; function Uxxyy(w : real; x : real; y : real; z : real; t : real) return real is begin return 160.0*w + 900.0*x + 972.0*y + 328.0*z + 332.0*t + 664.0 + 0.0; end Uxxyy; function Uxxyz(w : real; x : real; y : real; z : real; t : real) return real is begin return 82.0*w + 456.0*x + 328.0*y + 336.0*z + 170.0*t + 334.0 + 0.0; end Uxxyz; function Uxxyt(w : real; x : real; y : real; z : real; t : real) return real is begin return 84.0*w + 462.0*x + 332.0*y + 170.0*z + 344.0*t + 336.0 + 0.0; end Uxxyt; function Uxxzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 172.0*w + 936.0*x + 336.0*y + 1044.0*z + 352.0*t + 676.0 + 0.0; end Uxxzz; function Uxxzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 88.0*w + 474.0*x + 170.0*y + 352.0*z + 356.0*t + 340.0 + 0.0; end Uxxzt; function Uxxtt(w : real; x : real; y : real; z : real; t : real) return real is begin return 180.0*w + 960.0*x + 344.0*y + 356.0*z + 1080.0*t + 684.0 + 0.0; end Uxxtt; function Uxyyy(w : real; x : real; y : real; z : real; t : real) return real is begin return 276.0*w + 972.0*x + 2184.0*y + 552.0*z + 558.0*t + 1032.0 + 0.0; end Uxyyy; function Uxyyz(w : real; x : real; y : real; z : real; t : real) return real is begin return 94.0*w + 328.0*x + 552.0*y + 376.0*z + 190.0*t + 346.0 + 0.0; end Uxyyz; function Uxyyt(w : real; x : real; y : real; z : real; t : real) return real is begin return 96.0*w + 332.0*x + 558.0*y + 190.0*z + 384.0*t + 348.0 + 0.0; end Uxyyt; function Uxyzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 98.0*w + 336.0*x + 376.0*y + 582.0*z + 196.0*t + 350.0 + 0.0; end Uxyzz; function Uxyzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 50.0*w + 170.0*x + 190.0*y + 196.0*z + 198.0*t + 176.0 + 0.0; end Uxyzt; function Uxytt(w : real; x : real; y : real; z : real; t : real) return real is begin return 102.0*w + 344.0*x + 384.0*y + 198.0*z + 600.0*t + 354.0 + 0.0; end Uxytt; function Uxzzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 312.0*w + 1044.0*x + 582.0*y + 2424.0*z + 612.0*t + 1068.0 + 0.0; end Uxzzz; function Uxzzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 106.0*w + 352.0*x + 196.0*y + 612.0*z + 412.0*t + 358.0 + 0.0; end Uxzzt; function Uxztt(w : real; x : real; y : real; z : real; t : real) return real is begin return 108.0*w + 356.0*x + 198.0*y + 412.0*z + 624.0*t + 360.0 + 0.0; end Uxztt; function Uxttt(w : real; x : real; y : real; z : real; t : real) return real is begin return 330.0*w + 1080.0*x + 600.0*y + 624.0*z + 2520.0*t + 1086.0 + 0.0; end Uxttt; function Uyyyy(w : real; x : real; y : real; z : real; t : real) return real is begin return 1344.0*w + 2184.0*x + 12720.0*y + 2568.0*z + 2592.0*t + 4368.0 + 0.0; end Uyyyy; function Uyyyz(w : real; x : real; y : real; z : real; t : real) return real is begin return 342.0*w + 552.0*x + 2568.0*y + 1308.0*z + 660.0*t + 1098.0 + 0.0; end Uyyyz; function Uyyyt(w : real; x : real; y : real; z : real; t : real) return real is begin return 348.0*w + 558.0*x + 2592.0*y + 660.0*z + 1332.0*t + 1104.0 + 0.0; end Uyyyt; function Uyyzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 236.0*w + 376.0*x + 1308.0*y + 1344.0*z + 452.0*t + 740.0 + 0.0; end Uyyzz; function Uyyzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 120.0*w + 190.0*x + 660.0*y + 452.0*z + 456.0*t + 372.0 + 0.0; end Uyyzt; function Uyytt(w : real; x : real; y : real; z : real; t : real) return real is begin return 244.0*w + 384.0*x + 1332.0*y + 456.0*z + 1380.0*t + 748.0 + 0.0; end Uyytt; function Uyzzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 372.0*w + 582.0*x + 1344.0*y + 2784.0*z + 702.0*t + 1128.0 + 0.0; end Uyzzz; function Uyzzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 126.0*w + 196.0*x + 452.0*y + 702.0*z + 472.0*t + 378.0 + 0.0; end Uyzzt; function Uyztt(w : real; x : real; y : real; z : real; t : real) return real is begin return 128.0*w + 198.0*x + 456.0*y + 472.0*z + 714.0*t + 380.0 + 0.0; end Uyztt; function Uyttt(w : real; x : real; y : real; z : real; t : real) return real is begin return 390.0*w + 600.0*x + 1380.0*y + 714.0*z + 2880.0*t + 1146.0 + 0.0; end Uyttt; function Uzzzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 1584.0*w + 2424.0*x + 2784.0*y + 14520.0*z + 2928.0*t + 4608.0 + 0.0; end Uzzzz; function Uzzzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 402.0*w + 612.0*x + 702.0*y + 2928.0*z + 1476.0*t + 1158.0 + 0.0; end Uzzzt; function Uzztt(w : real; x : real; y : real; z : real; t : real) return real is begin return 272.0*w + 412.0*x + 472.0*y + 1476.0*z + 1488.0*t + 776.0 + 0.0; end Uzztt; function Uzttt(w : real; x : real; y : real; z : real; t : real) return real is begin return 414.0*w + 624.0*x + 714.0*y + 1488.0*z + 3000.0*t + 1170.0 + 0.0; end Uzttt; function Utttt(w : real; x : real; y : real; z : real; t : real) return real is begin return 1680.0*w + 2520.0*x + 2880.0*y + 3000.0*z + 15120.0*t + 4704.0 + 0.0; end Utttt; function Uwww(w : real; x : real; y : real; z : real; t : real) return real is begin return 60.0*w*w + 48.0*x*w + 72.0*y*w + 96.0*z*w + 120.0*t*w + 36.0*x*x + 42.0*y*x + 48.0*z*x + 54.0*t*x + 60.0*y*y + 66.0*z*y + 72.0*t*y + 78.0*z*z + 84.0*t*z + 90.0*t*t + 3048.0*w + 768.0*x + 774.0*y + 780.0*z + 786.0*t + 1182.0 + 0.0; end Uwww; function Uwwx(w : real; x : real; y : real; z : real; t : real) return real is begin return 24.0*w*w + 72.0*x*w + 42.0*y*w + 48.0*z*w + 54.0*t*w + 96.0*x*x + 68.0*y*x + 72.0*z*x + 76.0*t*x + 40.0*y*y + 42.0*z*y + 44.0*t*y + 46.0*z*z + 48.0*t*z + 50.0*t*t + 768.0*w + 528.0*x + 266.0*y + 268.0*z + 270.0*t + 396.0 + 0.0; end Uwwx; function Uwwy(w : real; x : real; y : real; z : real; t : real) return real is begin return 36.0*w*w + 42.0*x*w + 120.0*y*w + 66.0*z*w + 72.0*t*w + 34.0*x*x + 80.0*y*x + 42.0*z*x + 44.0*t*x + 156.0*y*y + 108.0*z*y + 112.0*t*y + 58.0*z*z + 60.0*t*z + 62.0*t*t + 774.0*w + 266.0*x + 544.0*y + 274.0*z + 276.0*t + 398.0 + 0.0; end Uwwy; function Uwwz(w : real; x : real; y : real; z : real; t : real) return real is begin return 48.0*w*w + 48.0*x*w + 66.0*y*w + 156.0*z*w + 84.0*t*w + 36.0*x*x + 42.0*y*x + 92.0*z*x + 48.0*t*x + 54.0*y*y + 116.0*z*y + 60.0*t*y + 192.0*z*z + 132.0*t*z + 68.0*t*t + 780.0*w + 268.0*x + 274.0*y + 556.0*z + 280.0*t + 400.0 + 0.0; end Uwwz; function Uwwt(w : real; x : real; y : real; z : real; t : real) return real is begin return 60.0*w*w + 54.0*x*w + 72.0*y*w + 84.0*z*w + 180.0*t*w + 38.0*x*x + 44.0*y*x + 48.0*z*x + 100.0*t*x + 56.0*y*y + 60.0*z*y + 124.0*t*y + 66.0*z*z + 136.0*t*z + 210.0*t*t + 786.0*w + 270.0*x + 276.0*y + 280.0*z + 564.0*t + 402.0 + 0.0; end Uwwt; function Uwxx(w : real; x : real; y : real; z : real; t : real) return real is begin return 36.0*w*w + 192.0*x*w + 68.0*y*w + 72.0*z*w + 76.0*t*w + 432.0*x*x + 222.0*y*x + 228.0*z*x + 234.0*t*x + 80.0*y*y + 82.0*z*y + 84.0*t*y + 86.0*z*z + 88.0*t*z + 90.0*t*t + 528.0*w + 852.0*x + 286.0*y + 288.0*z + 290.0*t + 404.0 + 0.0; end Uwxx; function Uwxy(w : real; x : real; y : real; z : real; t : real) return real is begin return 21.0*w*w + 68.0*x*w + 80.0*y*w + 42.0*z*w + 44.0*t*w + 111.0*x*x + 160.0*y*x + 82.0*z*x + 84.0*t*x + 138.0*y*y + 94.0*z*y + 96.0*t*y + 49.0*z*z + 50.0*t*z + 51.0*t*t + 266.0*w + 286.0*x + 292.0*y + 147.0*z + 148.0*t + 203.0 + 0.0; end Uwxy; function Uwxz(w : real; x : real; y : real; z : real; t : real) return real is begin return 24.0*w*w + 72.0*x*w + 42.0*y*w + 92.0*z*w + 48.0*t*w + 114.0*x*x + 82.0*y*x + 172.0*z*x + 88.0*t*x + 47.0*y*y + 98.0*z*y + 50.0*t*y + 156.0*z*z + 106.0*t*z + 54.0*t*t + 268.0*w + 288.0*x + 147.0*y + 298.0*z + 150.0*t + 204.0 + 0.0; end Uwxz; function Uwxt(w : real; x : real; y : real; z : real; t : real) return real is begin return 27.0*w*w + 76.0*x*w + 44.0*y*w + 48.0*z*w + 100.0*t*w + 117.0*x*x + 84.0*y*x + 88.0*z*x + 180.0*t*x + 48.0*y*y + 50.0*z*y + 102.0*t*y + 53.0*z*z + 108.0*t*z + 165.0*t*t + 270.0*w + 290.0*x + 148.0*y + 150.0*z + 302.0*t + 205.0 + 0.0; end Uwxt; function Uwyy(w : real; x : real; y : real; z : real; t : real) return real is begin return 60.0*w*w + 80.0*x*w + 312.0*y*w + 108.0*z*w + 112.0*t*w + 80.0*x*x + 276.0*y*x + 94.0*z*x + 96.0*t*x + 672.0*y*y + 342.0*z*y + 348.0*t*y + 118.0*z*z + 120.0*t*z + 122.0*t*t + 544.0*w + 292.0*x + 912.0*y + 306.0*z + 308.0*t + 412.0 + 0.0; end Uwyy; function Uwyz(w : real; x : real; y : real; z : real; t : real) return real is begin return 33.0*w*w + 42.0*x*w + 108.0*y*w + 116.0*z*w + 60.0*t*w + 41.0*x*x + 94.0*y*x + 98.0*z*x + 50.0*t*x + 171.0*y*y + 236.0*z*y + 120.0*t*y + 186.0*z*z + 126.0*t*z + 64.0*t*t + 274.0*w + 147.0*x + 306.0*y + 310.0*z + 156.0*t + 207.0 + 0.0; end Uwyz; function Uwyt(w : real; x : real; y : real; z : real; t : real) return real is begin return 36.0*w*w + 44.0*x*w + 112.0*y*w + 60.0*z*w + 124.0*t*w + 42.0*x*x + 96.0*y*x + 50.0*z*x + 102.0*t*x + 174.0*y*y + 120.0*z*y + 244.0*t*y + 63.0*z*z + 128.0*t*z + 195.0*t*t + 276.0*w + 148.0*x + 308.0*y + 156.0*z + 314.0*t + 208.0 + 0.0; end Uwyt; function Uwzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 78.0*w*w + 92.0*x*w + 116.0*y*w + 384.0*z*w + 132.0*t*w + 86.0*x*x + 98.0*y*x + 312.0*z*x + 106.0*t*x + 118.0*y*y + 372.0*z*y + 126.0*t*y + 792.0*z*z + 402.0*t*z + 136.0*t*t + 556.0*w + 298.0*x + 310.0*y + 948.0*z + 318.0*t + 418.0 + 0.0; end Uwzz; function Uwzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 42.0*w*w + 48.0*x*w + 60.0*y*w + 132.0*z*w + 136.0*t*w + 44.0*x*x + 50.0*y*x + 106.0*z*x + 108.0*t*x + 60.0*y*y + 126.0*z*y + 128.0*t*y + 201.0*z*z + 272.0*t*z + 207.0*t*t + 280.0*w + 150.0*x + 156.0*y + 318.0*z + 320.0*t + 210.0 + 0.0; end Uwzt; function Uwtt(w : real; x : real; y : real; z : real; t : real) return real is begin return 90.0*w*w + 100.0*x*w + 124.0*y*w + 136.0*z*w + 420.0*t*w + 90.0*x*x + 102.0*y*x + 108.0*z*x + 330.0*t*x + 122.0*y*y + 128.0*z*y + 390.0*t*y + 136.0*z*z + 414.0*t*z + 840.0*t*t + 564.0*w + 302.0*x + 314.0*y + 320.0*z + 966.0*t + 422.0 + 0.0; end Uwtt; function Uxxx(w : real; x : real; y : real; z : real; t : real) return real is begin return 96.0*w*w + 864.0*x*w + 222.0*y*w + 228.0*z*w + 234.0*t*w + 4260.0*x*x + 1728.0*y*x + 1752.0*z*x + 1776.0*t*x + 450.0*y*y + 456.0*z*y + 462.0*t*y + 468.0*z*z + 474.0*t*z + 480.0*t*t + 852.0*w + 3888.0*x + 978.0*y + 984.0*z + 990.0*t + 1272.0 + 0.0; end Uxxx; function Uxxy(w : real; x : real; y : real; z : real; t : real) return real is begin return 34.0*w*w + 222.0*x*w + 160.0*y*w + 82.0*z*w + 84.0*t*w + 864.0*x*x + 900.0*y*x + 456.0*z*x + 462.0*t*x + 486.0*y*y + 328.0*z*y + 332.0*t*y + 168.0*z*z + 170.0*t*z + 172.0*t*t + 286.0*w + 978.0*x + 664.0*y + 334.0*z + 336.0*t + 426.0 + 0.0; end Uxxy; function Uxxz(w : real; x : real; y : real; z : real; t : real) return real is begin return 36.0*w*w + 228.0*x*w + 82.0*y*w + 172.0*z*w + 88.0*t*w + 876.0*x*x + 456.0*y*x + 936.0*z*x + 474.0*t*x + 164.0*y*y + 336.0*z*y + 170.0*t*y + 522.0*z*z + 352.0*t*z + 178.0*t*t + 288.0*w + 984.0*x + 334.0*y + 676.0*z + 340.0*t + 428.0 + 0.0; end Uxxz; function Uxxt(w : real; x : real; y : real; z : real; t : real) return real is begin return 38.0*w*w + 234.0*x*w + 84.0*y*w + 88.0*z*w + 180.0*t*w + 888.0*x*x + 462.0*y*x + 474.0*z*x + 960.0*t*x + 166.0*y*y + 170.0*z*y + 344.0*t*y + 176.0*z*z + 356.0*t*z + 540.0*t*t + 290.0*w + 990.0*x + 336.0*y + 340.0*z + 684.0*t + 430.0 + 0.0; end Uxxt; function Uxyy(w : real; x : real; y : real; z : real; t : real) return real is begin return 40.0*w*w + 160.0*x*w + 276.0*y*w + 94.0*z*w + 96.0*t*w + 450.0*x*x + 972.0*y*x + 328.0*z*x + 332.0*t*x + 1092.0*y*y + 552.0*z*y + 558.0*t*y + 188.0*z*z + 190.0*t*z + 192.0*t*t + 292.0*w + 664.0*x + 1032.0*y + 346.0*z + 348.0*t + 432.0 + 0.0; end Uxyy; function Uxyz(w : real; x : real; y : real; z : real; t : real) return real is begin return 21.0*w*w + 82.0*x*w + 94.0*y*w + 98.0*z*w + 50.0*t*w + 228.0*x*x + 328.0*y*x + 336.0*z*x + 170.0*t*x + 276.0*y*y + 376.0*z*y + 190.0*t*y + 291.0*z*z + 196.0*t*z + 99.0*t*t + 147.0*w + 334.0*x + 346.0*y + 350.0*z + 176.0*t + 217.0 + 0.0; end Uxyz; function Uxyt(w : real; x : real; y : real; z : real; t : real) return real is begin return 22.0*w*w + 84.0*x*w + 96.0*y*w + 50.0*z*w + 102.0*t*w + 231.0*x*x + 332.0*y*x + 170.0*z*x + 344.0*t*x + 279.0*y*y + 190.0*z*y + 384.0*t*y + 98.0*z*z + 198.0*t*z + 300.0*t*t + 148.0*w + 336.0*x + 348.0*y + 176.0*z + 354.0*t + 218.0 + 0.0; end Uxyt; function Uxzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 46.0*w*w + 172.0*x*w + 98.0*y*w + 312.0*z*w + 106.0*t*w + 468.0*x*x + 336.0*y*x + 1044.0*z*x + 352.0*t*x + 188.0*y*y + 582.0*z*y + 196.0*t*y + 1212.0*z*z + 612.0*t*z + 206.0*t*t + 298.0*w + 676.0*x + 350.0*y + 1068.0*z + 358.0*t + 438.0 + 0.0; end Uxzz; function Uxzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 24.0*w*w + 88.0*x*w + 50.0*y*w + 106.0*z*w + 108.0*t*w + 237.0*x*x + 170.0*y*x + 352.0*z*x + 356.0*t*x + 95.0*y*y + 196.0*z*y + 198.0*t*y + 306.0*z*z + 412.0*t*z + 312.0*t*t + 150.0*w + 340.0*x + 176.0*y + 358.0*z + 360.0*t + 220.0 + 0.0; end Uxzt; function Uxtt(w : real; x : real; y : real; z : real; t : real) return real is begin return 50.0*w*w + 180.0*x*w + 102.0*y*w + 108.0*z*w + 330.0*t*w + 480.0*x*x + 344.0*y*x + 356.0*z*x + 1080.0*t*x + 192.0*y*y + 198.0*z*y + 600.0*t*y + 206.0*z*z + 624.0*t*z + 1260.0*t*t + 302.0*w + 684.0*x + 354.0*y + 360.0*z + 1086.0*t + 442.0 + 0.0; end Uxtt; function Uyyy(w : real; x : real; y : real; z : real; t : real) return real is begin return 156.0*w*w + 276.0*x*w + 1344.0*y*w + 342.0*z*w + 348.0*t*w + 486.0*x*x + 2184.0*y*x + 552.0*z*x + 558.0*t*x + 6360.0*y*y + 2568.0*z*y + 2592.0*t*y + 654.0*z*z + 660.0*t*z + 666.0*t*t + 912.0*w + 1032.0*x + 4368.0*y + 1098.0*z + 1104.0*t + 1332.0 + 0.0; end Uyyy; function Uyyz(w : real; x : real; y : real; z : real; t : real) return real is begin return 54.0*w*w + 94.0*x*w + 342.0*y*w + 236.0*z*w + 120.0*t*w + 164.0*x*x + 552.0*y*x + 376.0*z*x + 190.0*t*x + 1284.0*y*y + 1308.0*z*y + 660.0*t*y + 672.0*z*z + 452.0*t*z + 228.0*t*t + 306.0*w + 346.0*x + 1098.0*y + 740.0*z + 372.0*t + 446.0 + 0.0; end Uyyz; function Uyyt(w : real; x : real; y : real; z : real; t : real) return real is begin return 56.0*w*w + 96.0*x*w + 348.0*y*w + 120.0*z*w + 244.0*t*w + 166.0*x*x + 558.0*y*x + 190.0*z*x + 384.0*t*x + 1296.0*y*y + 660.0*z*y + 1332.0*t*y + 226.0*z*z + 456.0*t*z + 690.0*t*t + 308.0*w + 348.0*x + 1104.0*y + 372.0*z + 748.0*t + 448.0 + 0.0; end Uyyt; function Uyzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 58.0*w*w + 98.0*x*w + 236.0*y*w + 372.0*z*w + 126.0*t*w + 168.0*x*x + 376.0*y*x + 582.0*z*x + 196.0*t*x + 654.0*y*y + 1344.0*z*y + 452.0*t*y + 1392.0*z*z + 702.0*t*z + 236.0*t*t + 310.0*w + 350.0*x + 740.0*y + 1128.0*z + 378.0*t + 450.0 + 0.0; end Uyzz; function Uyzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 30.0*w*w + 50.0*x*w + 120.0*y*w + 126.0*z*w + 128.0*t*w + 85.0*x*x + 190.0*y*x + 196.0*z*x + 198.0*t*x + 330.0*y*y + 452.0*z*y + 456.0*t*y + 351.0*z*z + 472.0*t*z + 357.0*t*t + 156.0*w + 176.0*x + 372.0*y + 378.0*z + 380.0*t + 226.0 + 0.0; end Uyzt; function Uytt(w : real; x : real; y : real; z : real; t : real) return real is begin return 62.0*w*w + 102.0*x*w + 244.0*y*w + 128.0*z*w + 390.0*t*w + 172.0*x*x + 384.0*y*x + 198.0*z*x + 600.0*t*x + 666.0*y*y + 456.0*z*y + 1380.0*t*y + 236.0*z*z + 714.0*t*z + 1440.0*t*t + 314.0*w + 354.0*x + 748.0*y + 380.0*z + 1146.0*t + 454.0 + 0.0; end Uytt; function Uzzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 192.0*w*w + 312.0*x*w + 372.0*y*w + 1584.0*z*w + 402.0*t*w + 522.0*x*x + 582.0*y*x + 2424.0*z*x + 612.0*t*x + 672.0*y*y + 2784.0*z*y + 702.0*t*y + 7260.0*z*z + 2928.0*t*z + 738.0*t*t + 948.0*w + 1068.0*x + 1128.0*y + 4608.0*z + 1158.0*t + 1368.0 + 0.0; end Uzzz; function Uzzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 66.0*w*w + 106.0*x*w + 126.0*y*w + 402.0*z*w + 272.0*t*w + 176.0*x*x + 196.0*y*x + 612.0*z*x + 412.0*t*x + 226.0*y*y + 702.0*z*y + 472.0*t*y + 1464.0*z*z + 1476.0*t*z + 744.0*t*t + 318.0*w + 358.0*x + 378.0*y + 1158.0*z + 776.0*t + 458.0 + 0.0; end Uzzt; function Uztt(w : real; x : real; y : real; z : real; t : real) return real is begin return 68.0*w*w + 108.0*x*w + 128.0*y*w + 272.0*z*w + 414.0*t*w + 178.0*x*x + 198.0*y*x + 412.0*z*x + 624.0*t*x + 228.0*y*y + 472.0*z*y + 714.0*t*y + 738.0*z*z + 1488.0*t*z + 1500.0*t*t + 320.0*w + 360.0*x + 380.0*y + 776.0*z + 1170.0*t + 460.0 + 0.0; end Uztt; function Uttt(w : real; x : real; y : real; z : real; t : real) return real is begin return 210.0*w*w + 330.0*x*w + 390.0*y*w + 414.0*z*w + 1680.0*t*w + 540.0*x*x + 600.0*y*x + 624.0*z*x + 2520.0*t*x + 690.0*y*y + 714.0*z*y + 2880.0*t*y + 744.0*z*z + 3000.0*t*z + 7560.0*t*t + 966.0*w + 1086.0*x + 1146.0*y + 1170.0*z + 4704.0*t + 1386.0 + 0.0; end Uttt; function Uww(w : real; x : real; y : real; z : real; t : real) return real is begin return 20.0*w*w*w + 24.0*x*w*w + 36.0*y*w*w + 48.0*z*w*w + 60.0*t*w*w + 36.0*x*x*w + 42.0*y*x*w + 48.0*z*x*w + 54.0*t*x*w + 60.0*y*y*w + 66.0*z*y*w + 72.0*t*y*w + 78.0*z*z*w + 84.0*t*z*w + 90.0*t*t*w + 32.0*x*x*x + 34.0*y*x*x + 36.0*z*x*x + 38.0*t*x*x + 40.0*y*y*x + 42.0*z*y*x + 44.0*t*y*x + 46.0*z*z*x + 48.0*t*z*x + 50.0*t*t*x + 52.0*y*y*y + 54.0*z*y*y + 56.0*t*y*y + 58.0*z*z*y + 60.0*t*z*y + 62.0*t*t*y + 64.0*z*z*z + 66.0*t*z*z + 68.0*t*t*z + 70.0*t*t*t + 1524.0*w*w + 768.0*x*w + 774.0*y*w + 780.0*z*w + 786.0*t*w + 264.0*x*x + 266.0*y*x + 268.0*z*x + 270.0*t*x + 272.0*y*y + 274.0*z*y + 276.0*t*y + 278.0*z*z + 280.0*t*z + 282.0*t*t + 1182.0*w + 396.0*x + 398.0*y + 400.0*z + 402.0*t + 464.0 + 0.0; end Uww; function Uwx(w : real; x : real; y : real; z : real; t : real) return real is begin return 8.0*w*w*w + 36.0*x*w*w + 21.0*y*w*w + 24.0*z*w*w + 27.0*t*w*w + 96.0*x*x*w + 68.0*y*x*w + 72.0*z*x*w + 76.0*t*x*w + 40.0*y*y*w + 42.0*z*y*w + 44.0*t*y*w + 46.0*z*z*w + 48.0*t*z*w + 50.0*t*t*w + 144.0*x*x*x + 111.0*y*x*x + 114.0*z*x*x + 117.0*t*x*x + 80.0*y*y*x + 82.0*z*y*x + 84.0*t*y*x + 86.0*z*z*x + 88.0*t*z*x + 90.0*t*t*x + 46.0*y*y*y + 47.0*z*y*y + 48.0*t*y*y + 49.0*z*z*y + 50.0*t*z*y + 51.0*t*t*y + 52.0*z*z*z + 53.0*t*z*z + 54.0*t*t*z + 55.0*t*t*t + 384.0*w*w + 528.0*x*w + 266.0*y*w + 268.0*z*w + 270.0*t*w + 426.0*x*x + 286.0*y*x + 288.0*z*x + 290.0*t*x + 146.0*y*y + 147.0*z*y + 148.0*t*y + 149.0*z*z + 150.0*t*z + 151.0*t*t + 396.0*w + 404.0*x + 203.0*y + 204.0*z + 205.0*t + 233.0 + 0.0; end Uwx; function Uwy(w : real; x : real; y : real; z : real; t : real) return real is begin return 12.0*w*w*w + 21.0*x*w*w + 60.0*y*w*w + 33.0*z*w*w + 36.0*t*w*w + 34.0*x*x*w + 80.0*y*x*w + 42.0*z*x*w + 44.0*t*x*w + 156.0*y*y*w + 108.0*z*y*w + 112.0*t*y*w + 58.0*z*z*w + 60.0*t*z*w + 62.0*t*t*w + 37.0*x*x*x + 80.0*y*x*x + 41.0*z*x*x + 42.0*t*x*x + 138.0*y*y*x + 94.0*z*y*x + 96.0*t*y*x + 49.0*z*z*x + 50.0*t*z*x + 51.0*t*t*x + 224.0*y*y*y + 171.0*z*y*y + 174.0*t*y*y + 118.0*z*z*y + 120.0*t*z*y + 122.0*t*t*y + 62.0*z*z*z + 63.0*t*z*z + 64.0*t*t*z + 65.0*t*t*t + 387.0*w*w + 266.0*x*w + 544.0*y*w + 274.0*z*w + 276.0*t*w + 143.0*x*x + 292.0*y*x + 147.0*z*x + 148.0*t*x + 456.0*y*y + 306.0*z*y + 308.0*t*y + 155.0*z*z + 156.0*t*z + 157.0*t*t + 398.0*w + 203.0*x + 412.0*y + 207.0*z + 208.0*t + 234.0 + 0.0; end Uwy; function Uwz(w : real; x : real; y : real; z : real; t : real) return real is begin return 16.0*w*w*w + 24.0*x*w*w + 33.0*y*w*w + 78.0*z*w*w + 42.0*t*w*w + 36.0*x*x*w + 42.0*y*x*w + 92.0*z*x*w + 48.0*t*x*w + 54.0*y*y*w + 116.0*z*y*w + 60.0*t*y*w + 192.0*z*z*w + 132.0*t*z*w + 68.0*t*t*w + 38.0*x*x*x + 41.0*y*x*x + 86.0*z*x*x + 44.0*t*x*x + 47.0*y*y*x + 98.0*z*y*x + 50.0*t*y*x + 156.0*z*z*x + 106.0*t*z*x + 54.0*t*t*x + 57.0*y*y*y + 118.0*z*y*y + 60.0*t*y*y + 186.0*z*z*y + 126.0*t*z*y + 64.0*t*t*y + 264.0*z*z*z + 201.0*t*z*z + 136.0*t*t*z + 69.0*t*t*t + 390.0*w*w + 268.0*x*w + 274.0*y*w + 556.0*z*w + 280.0*t*w + 144.0*x*x + 147.0*y*x + 298.0*z*x + 150.0*t*x + 153.0*y*y + 310.0*z*y + 156.0*t*y + 474.0*z*z + 318.0*t*z + 160.0*t*t + 400.0*w + 204.0*x + 207.0*y + 418.0*z + 210.0*t + 235.0 + 0.0; end Uwz; function Uwt(w : real; x : real; y : real; z : real; t : real) return real is begin return 20.0*w*w*w + 27.0*x*w*w + 36.0*y*w*w + 42.0*z*w*w + 90.0*t*w*w + 38.0*x*x*w + 44.0*y*x*w + 48.0*z*x*w + 100.0*t*x*w + 56.0*y*y*w + 60.0*z*y*w + 124.0*t*y*w + 66.0*z*z*w + 136.0*t*z*w + 210.0*t*t*w + 39.0*x*x*x + 42.0*y*x*x + 44.0*z*x*x + 90.0*t*x*x + 48.0*y*y*x + 50.0*z*y*x + 102.0*t*y*x + 53.0*z*z*x + 108.0*t*z*x + 165.0*t*t*x + 58.0*y*y*y + 60.0*z*y*y + 122.0*t*y*y + 63.0*z*z*y + 128.0*t*z*y + 195.0*t*t*y + 67.0*z*z*z + 136.0*t*z*z + 207.0*t*t*z + 280.0*t*t*t + 393.0*w*w + 270.0*x*w + 276.0*y*w + 280.0*z*w + 564.0*t*w + 145.0*x*x + 148.0*y*x + 150.0*z*x + 302.0*t*x + 154.0*y*y + 156.0*z*y + 314.0*t*y + 159.0*z*z + 320.0*t*z + 483.0*t*t + 402.0*w + 205.0*x + 208.0*y + 210.0*z + 422.0*t + 236.0 + 0.0; end Uwt; function Uxx(w : real; x : real; y : real; z : real; t : real) return real is begin return 12.0*w*w*w + 96.0*x*w*w + 34.0*y*w*w + 36.0*z*w*w + 38.0*t*w*w + 432.0*x*x*w + 222.0*y*x*w + 228.0*z*x*w + 234.0*t*x*w + 80.0*y*y*w + 82.0*z*y*w + 84.0*t*y*w + 86.0*z*z*w + 88.0*t*z*w + 90.0*t*t*w + 1420.0*x*x*x + 864.0*y*x*x + 876.0*z*x*x + 888.0*t*x*x + 450.0*y*y*x + 456.0*z*y*x + 462.0*t*y*x + 468.0*z*z*x + 474.0*t*z*x + 480.0*t*t*x + 162.0*y*y*y + 164.0*z*y*y + 166.0*t*y*y + 168.0*z*z*y + 170.0*t*z*y + 172.0*t*t*y + 174.0*z*z*z + 176.0*t*z*z + 178.0*t*t*z + 180.0*t*t*t + 264.0*w*w + 852.0*x*w + 286.0*y*w + 288.0*z*w + 290.0*t*w + 1944.0*x*x + 978.0*y*x + 984.0*z*x + 990.0*t*x + 332.0*y*y + 334.0*z*y + 336.0*t*y + 338.0*z*z + 340.0*t*z + 342.0*t*t + 404.0*w + 1272.0*x + 426.0*y + 428.0*z + 430.0*t + 474.0 + 0.0; end Uxx; function Uxy(w : real; x : real; y : real; z : real; t : real) return real is begin return 7.0*w*w*w + 34.0*x*w*w + 40.0*y*w*w + 21.0*z*w*w + 22.0*t*w*w + 111.0*x*x*w + 160.0*y*x*w + 82.0*z*x*w + 84.0*t*x*w + 138.0*y*y*w + 94.0*z*y*w + 96.0*t*y*w + 49.0*z*z*w + 50.0*t*z*w + 51.0*t*t*w + 288.0*x*x*x + 450.0*y*x*x + 228.0*z*x*x + 231.0*t*x*x + 486.0*y*y*x + 328.0*z*y*x + 332.0*t*y*x + 168.0*z*z*x + 170.0*t*z*x + 172.0*t*t*x + 364.0*y*y*y + 276.0*z*y*y + 279.0*t*y*y + 188.0*z*z*y + 190.0*t*z*y + 192.0*t*t*y + 97.0*z*z*z + 98.0*t*z*z + 99.0*t*t*z + 100.0*t*t*t + 133.0*w*w + 286.0*x*w + 292.0*y*w + 147.0*z*w + 148.0*t*w + 489.0*x*x + 664.0*y*x + 334.0*z*x + 336.0*t*x + 516.0*y*y + 346.0*z*y + 348.0*t*y + 175.0*z*z + 176.0*t*z + 177.0*t*t + 203.0*w + 426.0*x + 432.0*y + 217.0*z + 218.0*t + 238.0 + 0.0; end Uxy; function Uxz(w : real; x : real; y : real; z : real; t : real) return real is begin return 8.0*w*w*w + 36.0*x*w*w + 21.0*y*w*w + 46.0*z*w*w + 24.0*t*w*w + 114.0*x*x*w + 82.0*y*x*w + 172.0*z*x*w + 88.0*t*x*w + 47.0*y*y*w + 98.0*z*y*w + 50.0*t*y*w + 156.0*z*z*w + 106.0*t*z*w + 54.0*t*t*w + 292.0*x*x*x + 228.0*y*x*x + 468.0*z*x*x + 237.0*t*x*x + 164.0*y*y*x + 336.0*z*y*x + 170.0*t*y*x + 522.0*z*z*x + 352.0*t*z*x + 178.0*t*t*x + 92.0*y*y*y + 188.0*z*y*y + 95.0*t*y*y + 291.0*z*z*y + 196.0*t*z*y + 99.0*t*t*y + 404.0*z*z*z + 306.0*t*z*z + 206.0*t*t*z + 104.0*t*t*t + 134.0*w*w + 288.0*x*w + 147.0*y*w + 298.0*z*w + 150.0*t*w + 492.0*x*x + 334.0*y*x + 676.0*z*x + 340.0*t*x + 173.0*y*y + 350.0*z*y + 176.0*t*y + 534.0*z*z + 358.0*t*z + 180.0*t*t + 204.0*w + 428.0*x + 217.0*y + 438.0*z + 220.0*t + 239.0 + 0.0; end Uxz; function Uxt(w : real; x : real; y : real; z : real; t : real) return real is begin return 9.0*w*w*w + 38.0*x*w*w + 22.0*y*w*w + 24.0*z*w*w + 50.0*t*w*w + 117.0*x*x*w + 84.0*y*x*w + 88.0*z*x*w + 180.0*t*x*w + 48.0*y*y*w + 50.0*z*y*w + 102.0*t*y*w + 53.0*z*z*w + 108.0*t*z*w + 165.0*t*t*w + 296.0*x*x*x + 231.0*y*x*x + 237.0*z*x*x + 480.0*t*x*x + 166.0*y*y*x + 170.0*z*y*x + 344.0*t*y*x + 176.0*z*z*x + 356.0*t*z*x + 540.0*t*t*x + 93.0*y*y*y + 95.0*z*y*y + 192.0*t*y*y + 98.0*z*z*y + 198.0*t*z*y + 300.0*t*t*y + 102.0*z*z*z + 206.0*t*z*z + 312.0*t*t*z + 420.0*t*t*t + 135.0*w*w + 290.0*x*w + 148.0*y*w + 150.0*z*w + 302.0*t*w + 495.0*x*x + 336.0*y*x + 340.0*z*x + 684.0*t*x + 174.0*y*y + 176.0*z*y + 354.0*t*y + 179.0*z*z + 360.0*t*z + 543.0*t*t + 205.0*w + 430.0*x + 218.0*y + 220.0*z + 442.0*t + 240.0 + 0.0; end Uxt; function Uyy(w : real; x : real; y : real; z : real; t : real) return real is begin return 20.0*w*w*w + 40.0*x*w*w + 156.0*y*w*w + 54.0*z*w*w + 56.0*t*w*w + 80.0*x*x*w + 276.0*y*x*w + 94.0*z*x*w + 96.0*t*x*w + 672.0*y*y*w + 342.0*z*y*w + 348.0*t*y*w + 118.0*z*z*w + 120.0*t*z*w + 122.0*t*t*w + 150.0*x*x*x + 486.0*y*x*x + 164.0*z*x*x + 166.0*t*x*x + 1092.0*y*y*x + 552.0*z*y*x + 558.0*t*y*x + 188.0*z*z*x + 190.0*t*z*x + 192.0*t*t*x + 2120.0*y*y*y + 1284.0*z*y*y + 1296.0*t*y*y + 654.0*z*z*y + 660.0*t*z*y + 666.0*t*t*y + 224.0*z*z*z + 226.0*t*z*z + 228.0*t*t*z + 230.0*t*t*t + 272.0*w*w + 292.0*x*w + 912.0*y*w + 306.0*z*w + 308.0*t*w + 332.0*x*x + 1032.0*y*x + 346.0*z*x + 348.0*t*x + 2184.0*y*y + 1098.0*z*y + 1104.0*t*y + 370.0*z*z + 372.0*t*z + 374.0*t*t + 412.0*w + 432.0*x + 1332.0*y + 446.0*z + 448.0*t + 482.0 + 0.0; end Uyy; function Uyz(w : real; x : real; y : real; z : real; t : real) return real is begin return 11.0*w*w*w + 21.0*x*w*w + 54.0*y*w*w + 58.0*z*w*w + 30.0*t*w*w + 41.0*x*x*w + 94.0*y*x*w + 98.0*z*x*w + 50.0*t*x*w + 171.0*y*y*w + 236.0*z*y*w + 120.0*t*y*w + 186.0*z*z*w + 126.0*t*z*w + 64.0*t*t*w + 76.0*x*x*x + 164.0*y*x*x + 168.0*z*x*x + 85.0*t*x*x + 276.0*y*y*x + 376.0*z*y*x + 190.0*t*y*x + 291.0*z*z*x + 196.0*t*z*x + 99.0*t*t*x + 428.0*y*y*y + 654.0*z*y*y + 330.0*t*y*y + 672.0*z*z*y + 452.0*t*z*y + 228.0*t*t*y + 464.0*z*z*z + 351.0*t*z*z + 236.0*t*t*z + 119.0*t*t*t + 137.0*w*w + 147.0*x*w + 306.0*y*w + 310.0*z*w + 156.0*t*w + 167.0*x*x + 346.0*y*x + 350.0*z*x + 176.0*t*x + 549.0*y*y + 740.0*z*y + 372.0*t*y + 564.0*z*z + 378.0*t*z + 190.0*t*t + 207.0*w + 217.0*x + 446.0*y + 450.0*z + 226.0*t + 242.0 + 0.0; end Uyz; function Uyt(w : real; x : real; y : real; z : real; t : real) return real is begin return 12.0*w*w*w + 22.0*x*w*w + 56.0*y*w*w + 30.0*z*w*w + 62.0*t*w*w + 42.0*x*x*w + 96.0*y*x*w + 50.0*z*x*w + 102.0*t*x*w + 174.0*y*y*w + 120.0*z*y*w + 244.0*t*y*w + 63.0*z*z*w + 128.0*t*z*w + 195.0*t*t*w + 77.0*x*x*x + 166.0*y*x*x + 85.0*z*x*x + 172.0*t*x*x + 279.0*y*y*x + 190.0*z*y*x + 384.0*t*y*x + 98.0*z*z*x + 198.0*t*z*x + 300.0*t*t*x + 432.0*y*y*y + 330.0*z*y*y + 666.0*t*y*y + 226.0*z*z*y + 456.0*t*z*y + 690.0*t*t*y + 117.0*z*z*z + 236.0*t*z*z + 357.0*t*t*z + 480.0*t*t*t + 138.0*w*w + 148.0*x*w + 308.0*y*w + 156.0*z*w + 314.0*t*w + 168.0*x*x + 348.0*y*x + 176.0*z*x + 354.0*t*x + 552.0*y*y + 372.0*z*y + 748.0*t*y + 189.0*z*z + 380.0*t*z + 573.0*t*t + 208.0*w + 218.0*x + 448.0*y + 226.0*z + 454.0*t + 243.0 + 0.0; end Uyt; function Uzz(w : real; x : real; y : real; z : real; t : real) return real is begin return 26.0*w*w*w + 46.0*x*w*w + 58.0*y*w*w + 192.0*z*w*w + 66.0*t*w*w + 86.0*x*x*w + 98.0*y*x*w + 312.0*z*x*w + 106.0*t*x*w + 118.0*y*y*w + 372.0*z*y*w + 126.0*t*y*w + 792.0*z*z*w + 402.0*t*z*w + 136.0*t*t*w + 156.0*x*x*x + 168.0*y*x*x + 522.0*z*x*x + 176.0*t*x*x + 188.0*y*y*x + 582.0*z*y*x + 196.0*t*y*x + 1212.0*z*z*x + 612.0*t*z*x + 206.0*t*t*x + 218.0*y*y*y + 672.0*z*y*y + 226.0*t*y*y + 1392.0*z*z*y + 702.0*t*z*y + 236.0*t*t*y + 2420.0*z*z*z + 1464.0*t*z*z + 738.0*t*t*z + 248.0*t*t*t + 278.0*w*w + 298.0*x*w + 310.0*y*w + 948.0*z*w + 318.0*t*w + 338.0*x*x + 350.0*y*x + 1068.0*z*x + 358.0*t*x + 370.0*y*y + 1128.0*z*y + 378.0*t*y + 2304.0*z*z + 1158.0*t*z + 388.0*t*t + 418.0*w + 438.0*x + 450.0*y + 1368.0*z + 458.0*t + 488.0 + 0.0; end Uzz; function Uzt(w : real; x : real; y : real; z : real; t : real) return real is begin return 14.0*w*w*w + 24.0*x*w*w + 30.0*y*w*w + 66.0*z*w*w + 68.0*t*w*w + 44.0*x*x*w + 50.0*y*x*w + 106.0*z*x*w + 108.0*t*x*w + 60.0*y*y*w + 126.0*z*y*w + 128.0*t*y*w + 201.0*z*z*w + 272.0*t*z*w + 207.0*t*t*w + 79.0*x*x*x + 85.0*y*x*x + 176.0*z*x*x + 178.0*t*x*x + 95.0*y*y*x + 196.0*z*y*x + 198.0*t*y*x + 306.0*z*z*x + 412.0*t*z*x + 312.0*t*t*x + 110.0*y*y*y + 226.0*z*y*y + 228.0*t*y*y + 351.0*z*z*y + 472.0*t*z*y + 357.0*t*t*y + 488.0*z*z*z + 738.0*t*z*z + 744.0*t*t*z + 500.0*t*t*t + 140.0*w*w + 150.0*x*w + 156.0*y*w + 318.0*z*w + 320.0*t*w + 170.0*x*x + 176.0*y*x + 358.0*z*x + 360.0*t*x + 186.0*y*y + 378.0*z*y + 380.0*t*y + 579.0*z*z + 776.0*t*z + 585.0*t*t + 210.0*w + 220.0*x + 226.0*y + 458.0*z + 460.0*t + 245.0 + 0.0; end Uzt; function Utt(w : real; x : real; y : real; z : real; t : real) return real is begin return 30.0*w*w*w + 50.0*x*w*w + 62.0*y*w*w + 68.0*z*w*w + 210.0*t*w*w + 90.0*x*x*w + 102.0*y*x*w + 108.0*z*x*w + 330.0*t*x*w + 122.0*y*y*w + 128.0*z*y*w + 390.0*t*y*w + 136.0*z*z*w + 414.0*t*z*w + 840.0*t*t*w + 160.0*x*x*x + 172.0*y*x*x + 178.0*z*x*x + 540.0*t*x*x + 192.0*y*y*x + 198.0*z*y*x + 600.0*t*y*x + 206.0*z*z*x + 624.0*t*z*x + 1260.0*t*t*x + 222.0*y*y*y + 228.0*z*y*y + 690.0*t*y*y + 236.0*z*z*y + 714.0*t*z*y + 1440.0*t*t*y + 246.0*z*z*z + 744.0*t*z*z + 1500.0*t*t*z + 2520.0*t*t*t + 282.0*w*w + 302.0*x*w + 314.0*y*w + 320.0*z*w + 966.0*t*w + 342.0*x*x + 354.0*y*x + 360.0*z*x + 1086.0*t*x + 374.0*y*y + 380.0*z*y + 1146.0*t*y + 388.0*z*z + 1170.0*t*z + 2352.0*t*t + 422.0*w + 442.0*x + 454.0*y + 460.0*z + 1386.0*t + 492.0 + 0.0; end Utt; function Uw(w : real; x : real; y : real; z : real; t : real) return real is begin return 5.0*w*w*w*w + 8.0*x*w*w*w + 12.0*y*w*w*w + 16.0*z*w*w*w + 20.0*t*w*w*w + 18.0*x*x*w*w + 21.0*y*x*w*w + 24.0*z*x*w*w + 27.0*t*x*w*w + 30.0*y*y*w*w + 33.0*z*y*w*w + 36.0*t*y*w*w + 39.0*z*z*w*w + 42.0*t*z*w*w + 45.0*t*t*w*w + 32.0*x*x*x*w + 34.0*y*x*x*w + 36.0*z*x*x*w + 38.0*t*x*x*w + 40.0*y*y*x*w + 42.0*z*y*x*w + 44.0*t*y*x*w + 46.0*z*z*x*w + 48.0*t*z*x*w + 50.0*t*t*x*w + 52.0*y*y*y*w + 54.0*z*y*y*w + 56.0*t*y*y*w + 58.0*z*z*y*w + 60.0*t*z*y*w + 62.0*t*t*y*w + 64.0*z*z*z*w + 66.0*t*z*z*w + 68.0*t*t*z*w + 70.0*t*t*t*w + 36.0*x*x*x*x + 37.0*y*x*x*x + 38.0*z*x*x*x + 39.0*t*x*x*x + 40.0*y*y*x*x + 41.0*z*y*x*x + 42.0*t*y*x*x + 43.0*z*z*x*x + 44.0*t*z*x*x + 45.0*t*t*x*x + 46.0*y*y*y*x + 47.0*z*y*y*x + 48.0*t*y*y*x + 49.0*z*z*y*x + 50.0*t*z*y*x + 51.0*t*t*y*x + 52.0*z*z*z*x + 53.0*t*z*z*x + 54.0*t*t*z*x + 55.0*t*t*t*x + 56.0*y*y*y*y + 57.0*z*y*y*y + 58.0*t*y*y*y + 59.0*z*z*y*y + 60.0*t*z*y*y + 61.0*t*t*y*y + 62.0*z*z*z*y + 63.0*t*z*z*y + 64.0*t*t*z*y + 65.0*t*t*t*y + 66.0*z*z*z*z + 67.0*t*z*z*z + 68.0*t*t*z*z + 69.0*t*t*t*z + 70.0*t*t*t*t + 508.0*w*w*w + 384.0*x*w*w + 387.0*y*w*w + 390.0*z*w*w + 393.0*t*w*w + 264.0*x*x*w + 266.0*y*x*w + 268.0*z*x*w + 270.0*t*x*w + 272.0*y*y*w + 274.0*z*y*w + 276.0*t*y*w + 278.0*z*z*w + 280.0*t*z*w + 282.0*t*t*w + 142.0*x*x*x + 143.0*y*x*x + 144.0*z*x*x + 145.0*t*x*x + 146.0*y*y*x + 147.0*z*y*x + 148.0*t*y*x + 149.0*z*z*x + 150.0*t*z*x + 151.0*t*t*x + 152.0*y*y*y + 153.0*z*y*y + 154.0*t*y*y + 155.0*z*z*y + 156.0*t*z*y + 157.0*t*t*y + 158.0*z*z*z + 159.0*t*z*z + 160.0*t*t*z + 161.0*t*t*t + 591.0*w*w + 396.0*x*w + 398.0*y*w + 400.0*z*w + 402.0*t*w + 202.0*x*x + 203.0*y*x + 204.0*z*x + 205.0*t*x + 206.0*y*y + 207.0*z*y + 208.0*t*y + 209.0*z*z + 210.0*t*z + 211.0*t*t + 464.0*w + 233.0*x + 234.0*y + 235.0*z + 236.0*t + 247.0 + 0.0; end Uw; function Ux(w : real; x : real; y : real; z : real; t : real) return real is begin return 2.0*w*w*w*w + 12.0*x*w*w*w + 7.0*y*w*w*w + 8.0*z*w*w*w + 9.0*t*w*w*w + 48.0*x*x*w*w + 34.0*y*x*w*w + 36.0*z*x*w*w + 38.0*t*x*w*w + 20.0*y*y*w*w + 21.0*z*y*w*w + 22.0*t*y*w*w + 23.0*z*z*w*w + 24.0*t*z*w*w + 25.0*t*t*w*w + 144.0*x*x*x*w + 111.0*y*x*x*w + 114.0*z*x*x*w + 117.0*t*x*x*w + 80.0*y*y*x*w + 82.0*z*y*x*w + 84.0*t*y*x*w + 86.0*z*z*x*w + 88.0*t*z*x*w + 90.0*t*t*x*w + 46.0*y*y*y*w + 47.0*z*y*y*w + 48.0*t*y*y*w + 49.0*z*z*y*w + 50.0*t*z*y*w + 51.0*t*t*y*w + 52.0*z*z*z*w + 53.0*t*z*z*w + 54.0*t*t*z*w + 55.0*t*t*t*w + 355.0*x*x*x*x + 288.0*y*x*x*x + 292.0*z*x*x*x + 296.0*t*x*x*x + 225.0*y*y*x*x + 228.0*z*y*x*x + 231.0*t*y*x*x + 234.0*z*z*x*x + 237.0*t*z*x*x + 240.0*t*t*x*x + 162.0*y*y*y*x + 164.0*z*y*y*x + 166.0*t*y*y*x + 168.0*z*z*y*x + 170.0*t*z*y*x + 172.0*t*t*y*x + 174.0*z*z*z*x + 176.0*t*z*z*x + 178.0*t*t*z*x + 180.0*t*t*t*x + 91.0*y*y*y*y + 92.0*z*y*y*y + 93.0*t*y*y*y + 94.0*z*z*y*y + 95.0*t*z*y*y + 96.0*t*t*y*y + 97.0*z*z*z*y + 98.0*t*z*z*y + 99.0*t*t*z*y + 100.0*t*t*t*y + 101.0*z*z*z*z + 102.0*t*z*z*z + 103.0*t*t*z*z + 104.0*t*t*t*z + 105.0*t*t*t*t + 128.0*w*w*w + 264.0*x*w*w + 133.0*y*w*w + 134.0*z*w*w + 135.0*t*w*w + 426.0*x*x*w + 286.0*y*x*w + 288.0*z*x*w + 290.0*t*x*w + 146.0*y*y*w + 147.0*z*y*w + 148.0*t*y*w + 149.0*z*z*w + 150.0*t*z*w + 151.0*t*t*w + 648.0*x*x*x + 489.0*y*x*x + 492.0*z*x*x + 495.0*t*x*x + 332.0*y*y*x + 334.0*z*y*x + 336.0*t*y*x + 338.0*z*z*x + 340.0*t*z*x + 342.0*t*t*x + 172.0*y*y*y + 173.0*z*y*y + 174.0*t*y*y + 175.0*z*z*y + 176.0*t*z*y + 177.0*t*t*y + 178.0*z*z*z + 179.0*t*z*z + 180.0*t*t*z + 181.0*t*t*t + 198.0*w*w + 404.0*x*w + 203.0*y*w + 204.0*z*w + 205.0*t*w + 636.0*x*x + 426.0*y*x + 428.0*z*x + 430.0*t*x + 216.0*y*y + 217.0*z*y + 218.0*t*y + 219.0*z*z + 220.0*t*z + 221.0*t*t + 233.0*w + 474.0*x + 238.0*y + 239.0*z + 240.0*t + 248.0 + 0.0; end Ux; function Uy(w : real; x : real; y : real; z : real; t : real) return real is begin return 3.0*w*w*w*w + 7.0*x*w*w*w + 20.0*y*w*w*w + 11.0*z*w*w*w + 12.0*t*w*w*w + 17.0*x*x*w*w + 40.0*y*x*w*w + 21.0*z*x*w*w + 22.0*t*x*w*w + 78.0*y*y*w*w + 54.0*z*y*w*w + 56.0*t*y*w*w + 29.0*z*z*w*w + 30.0*t*z*w*w + 31.0*t*t*w*w + 37.0*x*x*x*w + 80.0*y*x*x*w + 41.0*z*x*x*w + 42.0*t*x*x*w + 138.0*y*y*x*w + 94.0*z*y*x*w + 96.0*t*y*x*w + 49.0*z*z*x*w + 50.0*t*z*x*w + 51.0*t*t*x*w + 224.0*y*y*y*w + 171.0*z*y*y*w + 174.0*t*y*y*w + 118.0*z*z*y*w + 120.0*t*z*y*w + 122.0*t*t*y*w + 62.0*z*z*z*w + 63.0*t*z*z*w + 64.0*t*t*z*w + 65.0*t*t*t*w + 72.0*x*x*x*x + 150.0*y*x*x*x + 76.0*z*x*x*x + 77.0*t*x*x*x + 243.0*y*y*x*x + 164.0*z*y*x*x + 166.0*t*y*x*x + 84.0*z*z*x*x + 85.0*t*z*x*x + 86.0*t*t*x*x + 364.0*y*y*y*x + 276.0*z*y*y*x + 279.0*t*y*y*x + 188.0*z*z*y*x + 190.0*t*z*y*x + 192.0*t*t*y*x + 97.0*z*z*z*x + 98.0*t*z*z*x + 99.0*t*t*z*x + 100.0*t*t*t*x + 530.0*y*y*y*y + 428.0*z*y*y*y + 432.0*t*y*y*y + 327.0*z*z*y*y + 330.0*t*z*y*y + 333.0*t*t*y*y + 224.0*z*z*z*y + 226.0*t*z*z*y + 228.0*t*t*z*y + 230.0*t*t*t*y + 116.0*z*z*z*z + 117.0*t*z*z*z + 118.0*t*t*z*z + 119.0*t*t*t*z + 120.0*t*t*t*t + 129.0*w*w*w + 133.0*x*w*w + 272.0*y*w*w + 137.0*z*w*w + 138.0*t*w*w + 143.0*x*x*w + 292.0*y*x*w + 147.0*z*x*w + 148.0*t*x*w + 456.0*y*y*w + 306.0*z*y*w + 308.0*t*y*w + 155.0*z*z*w + 156.0*t*z*w + 157.0*t*t*w + 163.0*x*x*x + 332.0*y*x*x + 167.0*z*x*x + 168.0*t*x*x + 516.0*y*y*x + 346.0*z*y*x + 348.0*t*y*x + 175.0*z*z*x + 176.0*t*z*x + 177.0*t*t*x + 728.0*y*y*y + 549.0*z*y*y + 552.0*t*y*y + 370.0*z*z*y + 372.0*t*z*y + 374.0*t*t*y + 188.0*z*z*z + 189.0*t*z*z + 190.0*t*t*z + 191.0*t*t*t + 199.0*w*w + 203.0*x*w + 412.0*y*w + 207.0*z*w + 208.0*t*w + 213.0*x*x + 432.0*y*x + 217.0*z*x + 218.0*t*x + 666.0*y*y + 446.0*z*y + 448.0*t*y + 225.0*z*z + 226.0*t*z + 227.0*t*t + 234.0*w + 238.0*x + 482.0*y + 242.0*z + 243.0*t + 249.0 + 0.0; end Uy; function Uz(w : real; x : real; y : real; z : real; t : real) return real is begin return 4.0*w*w*w*w + 8.0*x*w*w*w + 11.0*y*w*w*w + 26.0*z*w*w*w + 14.0*t*w*w*w + 18.0*x*x*w*w + 21.0*y*x*w*w + 46.0*z*x*w*w + 24.0*t*x*w*w + 27.0*y*y*w*w + 58.0*z*y*w*w + 30.0*t*y*w*w + 96.0*z*z*w*w + 66.0*t*z*w*w + 34.0*t*t*w*w + 38.0*x*x*x*w + 41.0*y*x*x*w + 86.0*z*x*x*w + 44.0*t*x*x*w + 47.0*y*y*x*w + 98.0*z*y*x*w + 50.0*t*y*x*w + 156.0*z*z*x*w + 106.0*t*z*x*w + 54.0*t*t*x*w + 57.0*y*y*y*w + 118.0*z*y*y*w + 60.0*t*y*y*w + 186.0*z*z*y*w + 126.0*t*z*y*w + 64.0*t*t*y*w + 264.0*z*z*z*w + 201.0*t*z*z*w + 136.0*t*t*z*w + 69.0*t*t*t*w + 73.0*x*x*x*x + 76.0*y*x*x*x + 156.0*z*x*x*x + 79.0*t*x*x*x + 82.0*y*y*x*x + 168.0*z*y*x*x + 85.0*t*y*x*x + 261.0*z*z*x*x + 176.0*t*z*x*x + 89.0*t*t*x*x + 92.0*y*y*y*x + 188.0*z*y*y*x + 95.0*t*y*y*x + 291.0*z*z*y*x + 196.0*t*z*y*x + 99.0*t*t*y*x + 404.0*z*z*z*x + 306.0*t*z*z*x + 206.0*t*t*z*x + 104.0*t*t*t*x + 107.0*y*y*y*y + 218.0*z*y*y*y + 110.0*t*y*y*y + 336.0*z*z*y*y + 226.0*t*z*y*y + 114.0*t*t*y*y + 464.0*z*z*z*y + 351.0*t*z*z*y + 236.0*t*t*z*y + 119.0*t*t*t*y + 605.0*z*z*z*z + 488.0*t*z*z*z + 369.0*t*t*z*z + 248.0*t*t*t*z + 125.0*t*t*t*t + 130.0*w*w*w + 134.0*x*w*w + 137.0*y*w*w + 278.0*z*w*w + 140.0*t*w*w + 144.0*x*x*w + 147.0*y*x*w + 298.0*z*x*w + 150.0*t*x*w + 153.0*y*y*w + 310.0*z*y*w + 156.0*t*y*w + 474.0*z*z*w + 318.0*t*z*w + 160.0*t*t*w + 164.0*x*x*x + 167.0*y*x*x + 338.0*z*x*x + 170.0*t*x*x + 173.0*y*y*x + 350.0*z*y*x + 176.0*t*y*x + 534.0*z*z*x + 358.0*t*z*x + 180.0*t*t*x + 183.0*y*y*y + 370.0*z*y*y + 186.0*t*y*y + 564.0*z*z*y + 378.0*t*z*y + 190.0*t*t*y + 768.0*z*z*z + 579.0*t*z*z + 388.0*t*t*z + 195.0*t*t*t + 200.0*w*w + 204.0*x*w + 207.0*y*w + 418.0*z*w + 210.0*t*w + 214.0*x*x + 217.0*y*x + 438.0*z*x + 220.0*t*x + 223.0*y*y + 450.0*z*y + 226.0*t*y + 684.0*z*z + 458.0*t*z + 230.0*t*t + 235.0*w + 239.0*x + 242.0*y + 488.0*z + 245.0*t + 250.0 + 0.0; end Uz; function Ut(w : real; x : real; y : real; z : real; t : real) return real is begin return 5.0*w*w*w*w + 9.0*x*w*w*w + 12.0*y*w*w*w + 14.0*z*w*w*w + 30.0*t*w*w*w + 19.0*x*x*w*w + 22.0*y*x*w*w + 24.0*z*x*w*w + 50.0*t*x*w*w + 28.0*y*y*w*w + 30.0*z*y*w*w + 62.0*t*y*w*w + 33.0*z*z*w*w + 68.0*t*z*w*w + 105.0*t*t*w*w + 39.0*x*x*x*w + 42.0*y*x*x*w + 44.0*z*x*x*w + 90.0*t*x*x*w + 48.0*y*y*x*w + 50.0*z*y*x*w + 102.0*t*y*x*w + 53.0*z*z*x*w + 108.0*t*z*x*w + 165.0*t*t*x*w + 58.0*y*y*y*w + 60.0*z*y*y*w + 122.0*t*y*y*w + 63.0*z*z*y*w + 128.0*t*z*y*w + 195.0*t*t*y*w + 67.0*z*z*z*w + 136.0*t*z*z*w + 207.0*t*t*z*w + 280.0*t*t*t*w + 74.0*x*x*x*x + 77.0*y*x*x*x + 79.0*z*x*x*x + 160.0*t*x*x*x + 83.0*y*y*x*x + 85.0*z*y*x*x + 172.0*t*y*x*x + 88.0*z*z*x*x + 178.0*t*z*x*x + 270.0*t*t*x*x + 93.0*y*y*y*x + 95.0*z*y*y*x + 192.0*t*y*y*x + 98.0*z*z*y*x + 198.0*t*z*y*x + 300.0*t*t*y*x + 102.0*z*z*z*x + 206.0*t*z*z*x + 312.0*t*t*z*x + 420.0*t*t*t*x + 108.0*y*y*y*y + 110.0*z*y*y*y + 222.0*t*y*y*y + 113.0*z*z*y*y + 228.0*t*z*y*y + 345.0*t*t*y*y + 117.0*z*z*z*y + 236.0*t*z*z*y + 357.0*t*t*z*y + 480.0*t*t*t*y + 122.0*z*z*z*z + 246.0*t*z*z*z + 372.0*t*t*z*z + 500.0*t*t*t*z + 630.0*t*t*t*t + 131.0*w*w*w + 135.0*x*w*w + 138.0*y*w*w + 140.0*z*w*w + 282.0*t*w*w + 145.0*x*x*w + 148.0*y*x*w + 150.0*z*x*w + 302.0*t*x*w + 154.0*y*y*w + 156.0*z*y*w + 314.0*t*y*w + 159.0*z*z*w + 320.0*t*z*w + 483.0*t*t*w + 165.0*x*x*x + 168.0*y*x*x + 170.0*z*x*x + 342.0*t*x*x + 174.0*y*y*x + 176.0*z*y*x + 354.0*t*y*x + 179.0*z*z*x + 360.0*t*z*x + 543.0*t*t*x + 184.0*y*y*y + 186.0*z*y*y + 374.0*t*y*y + 189.0*z*z*y + 380.0*t*z*y + 573.0*t*t*y + 193.0*z*z*z + 388.0*t*z*z + 585.0*t*t*z + 784.0*t*t*t + 201.0*w*w + 205.0*x*w + 208.0*y*w + 210.0*z*w + 422.0*t*w + 215.0*x*x + 218.0*y*x + 220.0*z*x + 442.0*t*x + 224.0*y*y + 226.0*z*y + 454.0*t*y + 229.0*z*z + 460.0*t*z + 693.0*t*t + 236.0*w + 240.0*x + 243.0*y + 245.0*z + 492.0*t + 251.0 + 0.0; end Ut; end test_5d;