Laboratory of Babel / Archive / grad-noise-175k

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t4_x2_u6_b10 4 2 6 10 nrm(dst(P,R)) 500 32564422 o1(o2(x,x)) true 4007 4007 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 4.05e-17 2.747e-17 1.098e-9 0.00001304 0 -5.519e-10 2.766e-16 1.16e-9 6.684e-17 8.175e-9 7.445 8.429e-8 4.784e-10 1.947e-9 1 1 0 0 6.402e-17 0 0 4.505e-10 json
t4_x3_u0_b0 4 3 0 0 sqt(add(D,P)) 501 32603607 o1(o2(x,x)) true 4015 4015 -0.02078 0.5 0.9792 0.968 0.9839 -1 1 2 1 1.434 0.005707 0 0.007937 1 1 4.731e-10 0.009859 0.009339 0.005643 0.07512 9.465 1.177 0.005896 0.01018 1 1 0 0 0.008601 0 0 0.008886 json
t4_x3_u0_b1 4 3 0 1 sqt(sub(D,P)) 502 32603608 o1(o2(x,x)) true 4023 4023 -0.1259 0.4375 0.9991 0.9824 0.9912 -1 1 2 1 0.9887 0.01564 0 0.008279 1 1 1.892e-9 0.03169 0.01625 0.01556 0.1248 15.07 1.984 0.01592 0.03226 1 1 0 0 0.02046 0 0 0.02083 json
t4_x3_u0_b2 4 3 0 2 sqt(mlt(D,P)) 503 32603609 o1(o2(x,x)) true 4031 4031 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u0_b3 4 3 0 3 sqt(div(D,P)) 504 32603610 o1(o2(x,x)) true 4039 4039 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u0_b4 4 3 0 4 sqt(pow(D,P)) 505 32603611 o1(o2(x,x)) true 4047 4047 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0 0 0.04211 0 0 0.1796 json
t4_x3_u0_b5 4 3 0 5 sqt(mod(D,P)) 506 32603612 o1(o2(x,x)) true 4055 4055 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u0_b6 4 3 0 6 sqt(lrg(D,P)) 507 32603613 o1(o2(x,x)) true 4063 4063 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0 0 0.007036 0 0 0.02976 json
t4_x3_u0_b7 4 3 0 7 sqt(eql(D,P)) 508 32603614 o1(o2(x,x)) true 4071 4071 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u0_b8 4 3 0 8 sqt(min(D,P)) 509 32603615 o1(o2(x,x)) true 4079 4079 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u0_b9 4 3 0 9 sqt(dot(D,P)) 510 32603616 o1(o2(x,x)) true 4087 4087 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u0_b10 4 3 0 10 sqt(dst(D,P)) 511 32603617 o1(o2(x,x)) true 4095 4095 0.999 1 0.999 0.0003723 0.0193 0.2109 1 0.7891 1 0.03756 0.00001683 0.00001683 0.0003962 -2.161e-7 0 -1.877e-11 0.00001 0.0001929 0.00003355 0.005792 14.62 0.1575 0.09042 0.02687 1 1 0 0 0.0001121 0 0 0.3011 json
t4_x3_u1_b0 4 3 1 0 log(add(D,P)) 512 32603808 o1(o2(x,x)) true 4103 4103 -0.1469 0.4375 0.9321 0.8863 0.9414 -1 1 2 1 2.031 0.0005579 0 0.007936 1 1 -1.36e-9 0.00005267 0.001136 0.0004949 0.02225 2.803 0.1431 0.0006295 0.00005942 1 1 0 0 0.001445 0 0 0.00163 json
t4_x3_u1_b1 4 3 1 1 log(sub(D,P)) 513 32603809 o1(o2(x,x)) true 4111 4111 -0.1845 0.4102 0.946 0.8951 0.9461 -1 1 2 1 1.666 0.004179 0 0.009576 1 1 -1.656e-9 0.007969 0.009942 0.004088 0.06393 6.676 0.9686 0.004669 0.008903 1 1 0 0 0.005802 0 0 0.006482 json
t4_x3_u1_b2 4 3 1 2 log(mlt(D,P)) 514 32603810 o1(o2(x,x)) true 4119 4119 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u1_b3 4 3 1 3 log(div(D,P)) 515 32603811 o1(o2(x,x)) true 4127 4127 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u1_b4 4 3 1 4 log(pow(D,P)) 516 32603812 o1(o2(x,x)) true 4135 4135 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u1_b5 4 3 1 5 log(mod(D,P)) 517 32603813 o1(o2(x,x)) true 4143 4143 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u1_b6 4 3 1 6 log(lrg(D,P)) 518 32603814 o1(o2(x,x)) true 4151 4151 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0 0 0.005263 0 0 0.02139 json
t4_x3_u1_b7 4 3 1 7 log(eql(D,P)) 519 32603815 o1(o2(x,x)) true 4159 4159 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u1_b8 4 3 1 8 log(min(D,P)) 520 32603816 o1(o2(x,x)) true 4167 4167 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u1_b9 4 3 1 9 log(dot(D,P)) 521 32603817 o1(o2(x,x)) true 4175 4175 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u1_b10 4 3 1 10 log(dst(D,P)) 522 32603818 o1(o2(x,x)) true 4183 4183 0.9603 0.9932 0.965 0.02866 0.1693 -1 1 2 1 0.7389 0.000226 0.000226 0.005191 6.118e-7 1 7.884e-11 0.00008221 0.001769 0.0004249 0.02061 3.971 0.3072 0.01577 0.002869 1 1 0 0 0.001529 0 0 0.05335 json
t4_x3_u2_b0 4 3 2 0 frc(add(D,P)) 523 32604009 o1(o2(x,x)) true 4191 4191 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0 0 0.05321 0 0 0.641 json
t4_x3_u2_b1 4 3 2 1 frc(sub(D,P)) 524 32604010 o1(o2(x,x)) true 4199 4199 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0 0 0.05321 0 0 0.641 json
t4_x3_u2_b2 4 3 2 2 frc(mlt(D,P)) 525 32604011 o1(o2(x,x)) true 4207 4207 0.4696 0.9922 0.4696 0.06611 0.2571 0.000009095 0.9685 0.9685 1 3.922 0.1188 0 0.2751 1 1 -0.004 0.3543 0.4292 0.04315 0.2077 0.755 0.9372 1.797 5.359 1 1 0 0 0.06488 0 0 0.9813 json
t4_x3_u2_b3 4 3 2 3 frc(div(D,P)) 526 32604012 o1(o2(x,x)) true 4215 4215 0.3282 0.875 0.5782 0.3593 0.5994 -1 0.9958 1.996 1 3.809 0.0587 0 0.1092 1 1 0.0002166 0.112 0.12 0.04677 0.2163 1.98 1.031 0.1634 0.3118 1 1 0 0 0.06051 0 0 0.1684 json
t4_x3_u2_b4 4 3 2 4 frc(pow(D,P)) 527 32604013 o1(o2(x,x)) true 4223 4223 -0.922 0.05469 0.953 0.09478 0.3079 -1 0.704 1.704 1 0.5111 0.01167 0 0.01861 1 1 7.95e-10 0.02073 0.0283 0.01133 0.1064 5.72 1 0.1231 0.2187 1 1 0 0 0.01721 0 0 0.1815 json
t4_x3_u2_b5 4 3 2 5 frc(mod(D,P)) 528 32604014 o1(o2(x,x)) true 4231 4231 0.3125 0.875 0.5625 0.3185 0.5644 -1 0.9688 1.969 1 4.044 0.06466 0 0.1079 1 1 0 0.1349 0.119 0.053 0.2302 2.134 1.969 0.203 0.4236 1 1 0 0 0.06568 0 0 0.2062 json
t4_x3_u2_b6 4 3 2 6 frc(lrg(D,P)) 529 32604015 o1(o2(x,x)) true 4239 4239 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u2_b7 4 3 2 7 frc(eql(D,P)) 530 32604016 o1(o2(x,x)) true 4247 4247 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u2_b8 4 3 2 8 frc(min(D,P)) 531 32604017 o1(o2(x,x)) true 4255 4255 0.2634 0.5547 0.2634 0.1068 0.3268 0 0.9688 0.9688 1 2.934 0.03042 0 0.06336 1 1 0.000248 0.06361 0.06474 0.02641 0.1625 2.565 0.9685 0.2849 0.5958 1 1 0 0 0.03133 0 0 0.2934 json
t4_x3_u2_b9 4 3 2 9 frc(dot(D,P)) 532 32604018 o1(o2(x,x)) true 4263 4263 0.4835 0.9991 0.4835 0.04261 0.2064 0.00001819 0.9682 0.9682 1 3.725 0.08242 0.08242 0.3477 -0.000004249 1 -0.0005344 0.8173 0.6957 0.04392 0.2096 0.6027 1.326 3.869 19.18 1 1 0 0 0.09122 0 0 2.141 json
t4_x3_u2_b10 4 3 2 10 frc(dst(D,P)) 533 32604019 o1(o2(x,x)) true 4271 4271 0.4984 1 0.4984 0.0516 0.2272 0.006575 0.9954 0.9889 1 3.853 0.02437 0.02437 0.1234 0.000006306 1 -0.0004041 0.1631 0.1603 0.0335 0.183 1.483 1.354 0.9445 3.162 1 1 0 0 0.0468 0 0 0.907 json
t4_x3_u3_b0 4 3 3 0 flr(add(D,P)) 534 32604210 o1(o2(x,x)) true 4279 4279 -0.0625 0.4375 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0 0 0.01053 0 0 0.01128 json
t4_x3_u3_b1 4 3 3 1 flr(sub(D,P)) 535 32604211 o1(o2(x,x)) true 4287 4287 -0.0625 0.4688 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0 0 0.0172 0 0 0.01872 json
t4_x3_u3_b2 4 3 3 2 flr(mlt(D,P)) 536 32604212 o1(o2(x,x)) true 4295 4295 -0.5366 0.09375 0.591 0.2092 0.4574 -1 0.7619 1.762 1 3.576 0.1102 0 0.2061 1 1 0.0003958 0.2442 0.3146 0.06775 0.2603 1.263 0.9991 0.5269 1.167 1 1 0 0 0.08877 0 0 0.4243 json
t4_x3_u3_b3 4 3 3 3 flr(div(D,P)) 537 32604213 o1(o2(x,x)) true 4303 4303 -0.5625 0 0.5625 0.1514 0.3891 -1 -0.000291 0.9997 1 3.238 0.06044 0 0.1109 1 1 -0.0001797 0.1126 0.1239 0.04813 0.2194 1.978 0.9997 0.3992 0.7441 1 1 0 0 0.06377 0 0 0.4212 json
t4_x3_u3_b4 4 3 3 4 flr(pow(D,P)) 538 32604214 o1(o2(x,x)) true 4311 4311 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0 0 0.04211 0 0 0.1796 json
t4_x3_u3_b5 4 3 3 5 flr(mod(D,P)) 539 32604215 o1(o2(x,x)) true 4319 4319 -0.5625 0 0.5625 0.1514 0.3891 -1 -0.000291 0.9997 1 3.238 0.05647 0 0.1069 1 1 0 0.1047 0.1159 0.04503 0.2122 1.984 0.9997 0.373 0.6913 1 1 0 0 0.05855 0 0 0.3867 json
t4_x3_u3_b6 4 3 3 6 flr(lrg(D,P)) 540 32604216 o1(o2(x,x)) true 4327 4327 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0 0 0.007036 0 0 0.02976 json
t4_x3_u3_b7 4 3 3 7 flr(eql(D,P)) 541 32604217 o1(o2(x,x)) true 4335 4335 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u3_b8 4 3 3 8 flr(min(D,P)) 542 32604218 o1(o2(x,x)) true 4343 4343 -0.75 0 0.75 0.1334 0.3652 -1 -0.000291 0.9997 1 2.329 0.03453 0 0.06344 1 1 -0.00008984 0.06436 0.07079 0.03051 0.1747 2.753 0.9997 0.2589 0.4825 1 1 0 0 0.03929 0 0 0.2946 json
t4_x3_u3_b9 4 3 3 9 flr(dot(D,P)) 543 32604219 o1(o2(x,x)) true 4351 4351 -0.5869 0.1265 0.6842 0.2452 0.4952 -1 1 2 1 3.64 0.06987 0.06987 0.2513 -0.000005225 1 0.0007783 0.4939 0.4498 0.0766 0.2768 1.102 1.413 0.5698 2.014 1 1 0 0 0.1082 0 0 0.4413 json
t4_x3_u3_b10 4 3 3 10 flr(dst(D,P)) 544 32604220 o1(o2(x,x)) true 4359 4359 0.9925 1 0.9925 0.004986 0.07061 0.0005821 1 0.9994 1 0.166 0.0006126 0.0006126 0.003278 6.176e-7 1 3.004e-11 0.002803 0.003868 0.001213 0.03483 10.62 1.206 0.2457 0.5622 1 1 0 0 0.002533 0 0 0.5079 json
t4_x3_u4_b0 4 3 4 0 cil(add(D,P)) 545 32604411 o1(o2(x,x)) true 4367 4367 0.0625 0.5 0.9375 0.9336 0.9662 -1 1 2 1 1.272 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.008501 0.017 1 1 0 0 0.01053 0 0 0.01128 json
t4_x3_u4_b1 4 3 4 1 cil(sub(D,P)) 546 32604412 o1(o2(x,x)) true 4375 4375 0.0625 0.5313 0.9375 0.9184 0.9583 -1 1 2 1 1.809 0.01063 0 0.02379 1 1 0 0.0166 0.02131 0.01007 0.1003 4.218 0.9988 0.01158 0.01808 1 1 0 0 0.0172 0 0 0.01872 json
t4_x3_u4_b2 4 3 4 2 cil(mlt(D,P)) 547 32604413 o1(o2(x,x)) true 4383 4383 0.2975 0.6953 0.4499 0.2623 0.5122 -0.8866 1 1.887 1 3.749 0.1251 0 0.2315 1 1 0.006679 0.2782 0.3614 0.07153 0.2674 1.155 0.9994 0.4769 1.061 1 1 0 0 0.1026 0 0 0.3912 json
t4_x3_u4_b3 4 3 4 3 cil(div(D,P)) 548 32604414 o1(o2(x,x)) true 4391 4391 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.08425 0 0.1188 1 1 -0.0001797 0.1603 0.1398 0.0701 0.2648 2.228 2 0.2276 0.4332 1 1 0 0 0.09528 0 0 0.2574 json
t4_x3_u4_b4 4 3 4 4 cil(pow(D,P)) 549 32604415 o1(o2(x,x)) true 4399 4399 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0 0 0.04211 0 0 0.1796 json
t4_x3_u4_b5 4 3 4 5 cil(mod(D,P)) 550 32604416 o1(o2(x,x)) true 4407 4407 0.3125 0.875 0.5625 0.3702 0.6084 -1 0.9997 2 1 3.523 0.07235 0 0.1149 1 1 0 0.1364 0.1318 0.05916 0.2432 2.118 2 0.1955 0.3685 1 1 0 0 0.0796 0 0 0.215 json
t4_x3_u4_b6 4 3 4 6 cil(lrg(D,P)) 551 32604417 o1(o2(x,x)) true 4415 4415 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0 0 0.007036 0 0 0.02976 json
t4_x3_u4_b7 4 3 4 7 cil(eql(D,P)) 552 32604418 o1(o2(x,x)) true 4423 4423 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u4_b8 4 3 4 8 cil(min(D,P)) 553 32604419 o1(o2(x,x)) true 4431 4431 -0.25 0.4375 0.6875 0.5709 0.7556 -1 0.9997 2 1 3.025 0.03057 0 0.05947 1 1 -0.00008984 0.05632 0.06286 0.02704 0.1644 2.765 0.9997 0.05354 0.09866 1 1 0 0 0.03411 0 0 0.05974 json
t4_x3_u4_b9 4 3 4 9 cil(dot(D,P)) 554 32604420 o1(o2(x,x)) true 4439 4439 0.1641 0.6101 0.5266 0.3739 0.6115 -1 1 2 1 4.671 0.08665 0.08665 0.3169 7.738e-7 1 0.004905 0.5924 0.5574 0.07287 0.2699 0.8518 1.413 0.4635 1.584 1 1 0 0 0.1468 0 0 0.3926 json
t4_x3_u4_b10 4 3 4 10 cil(dst(D,P)) 555 32604421 o1(o2(x,x)) true 4447 4447 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u5_b0 4 3 5 0 sgn(add(D,P)) 556 32604612 o1(o2(x,x)) true 4455 4455 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0 0 0.02105 0 0 0.02105 json
t4_x3_u5_b1 4 3 5 1 sgn(sub(D,P)) 557 32604613 o1(o2(x,x)) true 4463 4463 0 0.5 0.9611 0.9459 0.9725 -1 1 2 1 1.577 0.01868 0 0.0238 1 1 0 0.03227 0.01957 0.01811 0.1346 5.654 1.999 0.01975 0.03412 1 1 0 0 0.02814 0 0 0.02976 json
t4_x3_u5_b2 4 3 5 2 sgn(mlt(D,P)) 558 32604614 o1(o2(x,x)) true 4471 4471 -0.0625 0.4375 0.6653 0.5412 0.7356 -0.9997 0.9994 1.999 1 3.711 0.2425 0 0.2297 1 1 -0.0003594 0.4508 0.2496 0.1897 0.4355 1.896 1.999 0.448 0.833 1 1 0 0 0.2568 0 0 0.4745 json
t4_x3_u5_b3 4 3 5 3 sgn(div(D,P)) 559 32604615 o1(o2(x,x)) true 4479 4479 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.259 0 0.2376 1 1 -0.0003594 0.4828 0.2655 0.2025 0.4499 1.893 1.999 0.4389 0.8181 1 1 0 0 0.2795 0 0 0.4737 json
t4_x3_u5_b4 4 3 5 4 sgn(pow(D,P)) 560 32604616 o1(o2(x,x)) true 4487 4487 0.0625 0.5313 0.7083 0.5901 0.7682 -0.9994 1 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0 0 0.2586 0 0 0.4383 json
t4_x3_u5_b5 4 3 5 5 sgn(mod(D,P)) 561 32604617 o1(o2(x,x)) true 4495 4495 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0 0 0.2586 0 0 0.4383 json
t4_x3_u5_b6 4 3 5 6 sgn(lrg(D,P)) 562 32604618 o1(o2(x,x)) true 4503 4503 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0 0 0.007036 0 0 0.02976 json
t4_x3_u5_b7 4 3 5 7 sgn(eql(D,P)) 563 32604619 o1(o2(x,x)) true 4511 4511 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u5_b8 4 3 5 8 sgn(min(D,P)) 564 32604620 o1(o2(x,x)) true 4519 4519 -0.5313 0.2188 0.8326 0.4902 0.7001 -1 0.9994 1.999 1 2.482 0.1252 0 0.1189 1 1 -0.0001797 0.2333 0.1327 0.111 0.3332 2.802 1.999 0.2554 0.476 1 1 0 0 0.1388 0 0 0.2832 json
t4_x3_u5_b9 4 3 5 9 sgn(dot(D,P)) 565 32604621 o1(o2(x,x)) true 4527 4527 -0.09179 0.4368 0.5641 0.4037 0.6354 -1 0.9994 1.999 1 4.373 0.1201 0.1201 0.2785 -0.00001374 1 0.001907 0.6899 0.3197 0.1627 0.4033 1.448 2.817 0.5951 1.709 1 1 0 0 0.2638 0 0 0.6535 json
t4_x3_u5_b10 4 3 5 10 sgn(dst(D,P)) 566 32604622 o1(o2(x,x)) true 4535 4535 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u6_b0 4 3 6 0 nrm(add(D,P)) 567 32604813 o1(o2(x,x)) true 4543 4543 -1.264e-10 0.5 0.6478 0.5 0.7071 -1 1 2 1 4.782 0.0002429 0.00006621 0.008969 0.5716 1 0 0.000174 0.0003995 0.0002286 0.01512 1.686 1.467 0.0006182 0.0003479 1 1 0 0 0.0009308 0 0 0.001862 json
t4_x3_u6_b1 4 3 6 1 nrm(sub(D,P)) 568 32604814 o1(o2(x,x)) true 4551 4551 -5.984e-10 0.5 0.6356 0.4851 0.6965 -1 1 2 1 4.808 0.0005024 0.0001089 0.01367 0.6438 1 -8.893e-11 0.0002248 0.00415 0.0004244 0.0206 1.507 1.466 0.00126 0.0004634 1 1 0 0 0.001871 0 0 0.003857 json
t4_x3_u6_b2 4 3 6 2 nrm(mlt(D,P)) 569 32604815 o1(o2(x,x)) true 4559 4559 -0.05902 0.4236 0.3839 0.2237 0.4729 -1 0.9992 1.999 1 4.803 0.05346 0.006082 0.1516 0.7957 1 0.0005405 0.07202 0.08979 0.03656 0.1912 1.261 1.999 0.2662 0.322 1 1 0 0 0.08928 0 0 0.3991 json
t4_x3_u6_b3 4 3 6 3 nrm(div(D,P)) 570 32604816 o1(o2(x,x)) true 4567 4567 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u6_b4 4 3 6 4 nrm(pow(D,P)) 571 32604817 o1(o2(x,x)) true 4575 4575 -0.9938 0.003906 0.9984 0.01016 0.1008 -1 0.9989 1.999 1 0.05167 0.001506 0.001113 0.001796 0.15 1 -2.628e-11 0.005512 0.003159 0.002614 0.05113 28.47 2.231 0.2578 0.5425 1 1 0 0 0.004667 0 0 0.4593 json
t4_x3_u6_b5 4 3 6 5 nrm(mod(D,P)) 572 32604818 o1(o2(x,x)) true 4583 4583 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u6_b6 4 3 6 6 nrm(lrg(D,P)) 573 32604819 o1(o2(x,x)) true 4591 4591 0.07635 0.4922 0.7092 0.6489 0.8056 -1 1 2 1 2.363 0.009685 0.002866 0.01196 0.5433 1 1.059e-8 0.02489 0.01786 0.0124 0.1114 9.309 2.021 0.01934 0.03836 1 1 0 0 0.0174 0 0 0.02681 json
t4_x3_u6_b7 4 3 6 7 nrm(eql(D,P)) 574 32604820 o1(o2(x,x)) true 4599 4599 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x3_u6_b8 4 3 6 8 nrm(min(D,P)) 575 32604821 o1(o2(x,x)) true 4607 4607 -0.4195 0.2188 0.5161 0.2436 0.4936 -1 0.9991 1.999 1 4.003 0.01269 0.002013 0.04969 0.7263 1 0.0001979 0.01707 0.02465 0.01224 0.1106 2.227 1.999 0.06037 0.07007 1 1 0 0 0.02459 0 0 0.1009 json
t4_x3_u6_b9 4 3 6 9 nrm(dot(D,P)) 576 32604822 o1(o2(x,x)) true 4615 4615 -0.0778 0.4341 0.3495 0.1609 0.4011 -1 0.577 1.577 1 4.209 0.07184 0.07183 0.1984 0.00002411 1 0.001104 0.5734 0.2874 0.1043 0.3229 1.627 2.23 0.893 3.564 1 1 0 0 0.1273 0 0 0.7911 json
t4_x3_u6_b10 4 3 6 10 nrm(dst(D,P)) 577 32604823 o1(o2(x,x)) true 4623 4623 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 1.192e-7 1 0 5.822e-16 5.801e-16 1.567e-8 0.00000207 0 -8.71e-9 5.122e-15 2.138e-8 9.172e-16 3.029e-8 1.933 1.686e-7 8.18e-9 3.605e-8 1 1 0 0 5.515e-16 0 0 3.881e-9 json
t4_x4_u0_b0 4 4 0 0 sqt(add(D,D)) 578 32644008 o1(o2(x,x)) true 4631 4631 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u0_b1 4 4 0 1 sqt(sub(D,D)) 579 32644009 o1(o2(x,x)) true 4639 4639 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u0_b2 4 4 0 2 sqt(mlt(D,D)) 580 32644010 o1(o2(x,x)) true 4647 4647 0.286 1 0.286 0.02614 0.1617 0.03152 0.4963 0.4648 1 2.75 0.004148 0 0.05817 1 1 -0.0006126 0.000805 0.02054 0.0007641 0.02764 0.4752 0.08329 0.1587 0.03079 1 1 0 0 0.007888 0 0 0.3017 json
t4_x4_u0_b3 4 4 0 3 sqt(div(D,D)) 581 32644011 o1(o2(x,x)) true 4655 4655 1 1 1 1.776e-15 4.215e-8 1 1 5.96e-8 1 0 2.213e-15 0 3.713e-8 0.002213 0 8.893e-8 2.12e-14 8.893e-8 8.346e-16 2.889e-8 0.778 5.96e-8 0.002213 0.0212 0 1 0 0 8.882e-16 0 0 0.0008882 json
t4_x4_u0_b4 4 4 0 4 sqt(pow(D,D)) 582 32644012 o1(o2(x,x)) true 4663 4663 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u0_b5 4 4 0 5 sqt(mod(D,D)) 583 32644013 o1(o2(x,x)) true 4671 4671 -0.1532 0.25 0.3468 0.2645 0.5143 -1 0.4334 1.433 1 1.703 0.4814 0 0.5226 1 1 -0.002762 1.378 1.037 0.2083 0.4564 0.8734 1.382 1.82 5.21 1 1 0 0 0.2706 0 0 1.023 json
t4_x4_u0_b6 4 4 0 6 sqt(lrg(D,D)) 584 32644014 o1(o2(x,x)) true 4679 4679 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u0_b7 4 4 0 7 sqt(eql(D,D)) 585 32644015 o1(o2(x,x)) true 4687 4687 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u0_b8 4 4 0 8 sqt(min(D,D)) 586 32644016 o1(o2(x,x)) true 4695 4695 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u0_b9 4 4 0 9 sqt(dot(D,D)) 587 32644017 o1(o2(x,x)) true 4703 4703 0.4439 1 0.4439 0.02504 0.1582 0.04473 0.7026 0.6579 1 3.252 0.001981 0.001981 0.05914 2.938e-7 1 -0.0006857 0.0006739 0.01958 0.000465 0.02156 0.3646 0.09377 0.1583 0.02692 1 1 0 0 0.007608 0 0 0.3039 json
t4_x4_u0_b10 4 4 0 10 sqt(dst(D,D)) 588 32644018 o1(o2(x,x)) true 4711 4711 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u1_b0 4 4 1 0 log(add(D,D)) 589 32644209 o1(o2(x,x)) true 4719 4719 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u1_b1 4 4 1 1 log(sub(D,D)) 590 32644210 o1(o2(x,x)) true 4727 4727 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u1_b2 4 4 1 2 log(mlt(D,D)) 591 32644211 o1(o2(x,x)) true 4735 4735 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u1_b3 4 4 1 3 log(div(D,D)) 592 32644212 o1(o2(x,x)) true 4743 4743 -2.347e-8 0 2.347e-8 6.074e-16 2.465e-8 -5.918e-8 0 5.918e-8 1 1 1.832e-15 0 3.428e-8 0.001832 0 -4.697e-10 6.173e-15 6.857e-8 6.561e-16 2.561e-8 0.7471 5.918e-8 0.001832 0.006173 0 1 0 0 5.796e-16 0 0 0.0005796 json
t4_x4_u1_b4 4 4 1 4 log(pow(D,D)) 593 32644213 o1(o2(x,x)) true 4751 4751 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u1_b5 4 4 1 5 log(mod(D,D)) 594 32644214 o1(o2(x,x)) true 4759 4759 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u1_b6 4 4 1 6 log(lrg(D,D)) 595 32644215 o1(o2(x,x)) true 4767 4767 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u1_b7 4 4 1 7 log(eql(D,D)) 596 32644216 o1(o2(x,x)) true 4775 4775 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u1_b8 4 4 1 8 log(min(D,D)) 597 32644217 o1(o2(x,x)) true 4783 4783 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t4_x4_u1_b9 4 4 1 9 log(dot(D,D)) 598 32644218 o1(o2(x,x)) true 4791 4791 -0.9797 0 0.9797 0.003725 0.06103 -1 -0.7078 0.2922 1 0.5857 0.0009731 0.0009731 0.01728 -0.000001555 1 -1.296e-8 0.002152 0.02066 0.001647 0.04058 2.348 0.1643 0.5225 0.5777 1 1 0 0 0.003125 0 0 0.8389 json
t4_x4_u1_b10 4 4 1 10 log(dst(D,D)) 599 32644219 o1(o2(x,x)) true 4799 4799 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json