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_x0_u2_b8 4 0 2 8 frc(min(P,P)) 300 32482814 o1(o2(x,x)) true 2407 2407 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_x0_u2_b9 4 0 2 9 frc(dot(P,P)) 301 32482815 o1(o2(x,x)) true 2415 2415 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_x0_u2_b10 4 0 2 10 frc(dst(P,P)) 302 32482816 o1(o2(x,x)) true 2423 2423 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_x0_u3_b0 4 0 3 0 flr(add(P,P)) 303 32483007 o1(o2(x,x)) true 2431 2431 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0 0 0.003279 0 0 0.003454 json
t4_x0_u3_b1 4 0 3 1 flr(sub(P,P)) 304 32483008 o1(o2(x,x)) true 2439 2439 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_x0_u3_b2 4 0 3 2 flr(mlt(P,P)) 305 32483009 o1(o2(x,x)) true 2447 2447 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0 0 0.001851 0 0 0.04107 json
t4_x0_u3_b3 4 0 3 3 flr(div(P,P)) 306 32483010 o1(o2(x,x)) true 2455 2455 0.375 0.75 0.625 0.4302 0.6559 -1 1 2 1 2.947 0.03457 0 0.04747 1 1 0.0001797 0.06362 0.03898 0.0323 0.1797 3.786 2 0.08034 0.1479 1 1 0 0 0.04765 0 0 0.1108 json
t4_x0_u3_b4 4 0 3 4 flr(pow(P,P)) 307 32483011 o1(o2(x,x)) true 2463 2463 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_x0_u3_b5 4 0 3 5 flr(mod(P,P)) 308 32483012 o1(o2(x,x)) true 2471 2471 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0 0 0.02392 0 0 0.04055 json
t4_x0_u3_b6 4 0 3 6 flr(lrg(P,P)) 309 32483013 o1(o2(x,x)) true 2479 2479 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_x0_u3_b7 4 0 3 7 flr(eql(P,P)) 310 32483014 o1(o2(x,x)) true 2487 2487 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_x0_u3_b8 4 0 3 8 flr(min(P,P)) 311 32483015 o1(o2(x,x)) true 2495 2495 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t4_x0_u3_b9 4 0 3 9 flr(dot(P,P)) 312 32483016 o1(o2(x,x)) true 2503 2503 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0 0 0.0003021 0 0 0.1369 json
t4_x0_u3_b10 4 0 3 10 flr(dst(P,P)) 313 32483017 o1(o2(x,x)) true 2511 2511 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_x0_u4_b0 4 0 4 0 cil(add(P,P)) 314 32483208 o1(o2(x,x)) true 2519 2519 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0 0 0.003279 0 0 0.003454 json
t4_x0_u4_b1 4 0 4 1 cil(sub(P,P)) 315 32483209 o1(o2(x,x)) true 2527 2527 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_x0_u4_b2 4 0 4 2 cil(mlt(P,P)) 316 32483210 o1(o2(x,x)) true 2535 2535 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0 0 0.001851 0 0 0.04107 json
t4_x0_u4_b3 4 0 4 3 cil(div(P,P)) 317 32483211 o1(o2(x,x)) true 2543 2543 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0 0 0.04211 0 0 0.09624 json
t4_x0_u4_b4 4 0 4 4 cil(pow(P,P)) 318 32483212 o1(o2(x,x)) true 2551 2551 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_x0_u4_b5 4 0 4 5 cil(mod(P,P)) 319 32483213 o1(o2(x,x)) true 2559 2559 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0 0 0.02392 0 0 0.04055 json
t4_x0_u4_b6 4 0 4 6 cil(lrg(P,P)) 320 32483214 o1(o2(x,x)) true 2567 2567 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_x0_u4_b7 4 0 4 7 cil(eql(P,P)) 321 32483215 o1(o2(x,x)) true 2575 2575 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_x0_u4_b8 4 0 4 8 cil(min(P,P)) 322 32483216 o1(o2(x,x)) true 2583 2583 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t4_x0_u4_b9 4 0 4 9 cil(dot(P,P)) 323 32483217 o1(o2(x,x)) true 2591 2591 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0 0 0.0003021 0 0 0.1369 json
t4_x0_u4_b10 4 0 4 10 cil(dst(P,P)) 324 32483218 o1(o2(x,x)) true 2599 2599 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_x0_u5_b0 4 0 5 0 sgn(add(P,P)) 325 32483409 o1(o2(x,x)) true 2607 2607 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t4_x0_u5_b1 4 0 5 1 sgn(sub(P,P)) 326 32483410 o1(o2(x,x)) true 2615 2615 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_x0_u5_b2 4 0 5 2 sgn(mlt(P,P)) 327 32483411 o1(o2(x,x)) true 2623 2623 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0 0 0.001851 0 0 0.04107 json
t4_x0_u5_b3 4 0 5 3 sgn(div(P,P)) 328 32483412 o1(o2(x,x)) true 2631 2631 0.875 0.9375 0.9611 0.1803 0.4246 -0.9994 1 1.999 1 0.8126 0.002823 0 0.01587 1 1 0 0.0001297 0.003711 0.002573 0.05073 3.197 0.2338 0.01566 0.0007193 1 1 0 0 0.007404 0 0 0.04107 json
t4_x0_u5_b4 4 0 5 4 sgn(pow(P,P)) 329 32483413 o1(o2(x,x)) true 2639 2639 0.0625 0.5313 0.9806 0.969 0.9844 -1 1 2 1 1.326 0.001412 0 0.007937 1 1 0 0.00006477 0.001855 0.001349 0.03673 4.628 0.2338 0.001457 0.00006684 1 1 0 0 0.003702 0 0 0.00382 json
t4_x0_u5_b5 4 0 5 5 sgn(mod(P,P)) 330 32483414 o1(o2(x,x)) true 2647 2647 -0.0625 0.3125 0.4375 0.3659 0.6049 -1 1 2 1 3.732 0.003527 0 0.03953 1 1 9.461e-10 0.0001597 0.009098 0.001965 0.04433 1.121 0.1169 0.009638 0.0004364 1 1 0 0 0.007401 0 0 0.02023 json
t4_x0_u5_b6 4 0 5 6 sgn(lrg(P,P)) 331 32483415 o1(o2(x,x)) true 2655 2655 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_x0_u5_b7 4 0 5 7 sgn(eql(P,P)) 332 32483416 o1(o2(x,x)) true 2663 2663 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_x0_u5_b8 4 0 5 8 sgn(min(P,P)) 333 32483417 o1(o2(x,x)) true 2671 2671 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t4_x0_u5_b9 4 0 5 9 sgn(dot(P,P)) 334 32483418 o1(o2(x,x)) true 2679 2679 0.9961 1 0.9961 0.002383 0.04882 0.000582 1 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 6.216e-7 0 -1.577e-10 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0 0 0.0002443 0 0 0.1025 json
t4_x0_u5_b10 4 0 5 10 sgn(dst(P,P)) 335 32483419 o1(o2(x,x)) true 2687 2687 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_x0_u6_b0 4 0 6 0 nrm(add(P,P)) 336 32483610 o1(o2(x,x)) true 2695 2695 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0 0 0.005637 0 0 0.01117 json
t4_x0_u6_b1 4 0 6 1 nrm(sub(P,P)) 337 32483611 o1(o2(x,x)) true 2703 2703 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_x0_u6_b2 4 0 6 2 nrm(mlt(P,P)) 338 32483612 o1(o2(x,x)) true 2711 2711 0.5801 0.9782 0.6114 0.1675 0.4093 -1 1 2 1 3.609 0.003595 0.001991 0.01247 0.2873 1 -0.000004539 0.01117 0.008318 0.00543 0.07369 5.909 2.414 0.03335 0.06668 1 1 0 0 0.01006 0 0 0.06006 json
t4_x0_u6_b3 4 0 6 3 nrm(div(P,P)) 339 32483613 o1(o2(x,x)) true 2719 2719 -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_x0_u6_b4 4 0 6 4 nrm(pow(P,P)) 340 32483614 o1(o2(x,x)) true 2727 2727 -0.6161 0.2228 0.8839 0.4909 0.7006 -1 1 2 1 1.46 0.002757 0.007366 0.00883 -0.4553 1 -0.000001622 0.02008 0.01273 0.01004 0.1002 11.35 2 0.02062 0.04091 1 1 0 0 0.01359 0 0 0.02768 json
t4_x0_u6_b5 4 0 6 5 nrm(mod(P,P)) 341 32483615 o1(o2(x,x)) true 2735 2735 -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_x0_u6_b6 4 0 6 6 nrm(lrg(P,P)) 342 32483616 o1(o2(x,x)) true 2743 2743 -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_x0_u6_b7 4 0 6 7 nrm(eql(P,P)) 343 32483617 o1(o2(x,x)) true 2751 2751 0.5777 1 0.5777 1.421e-7 0.000377 0.5774 0.5774 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 json
t4_x0_u6_b8 4 0 6 8 nrm(min(P,P)) 344 32483618 o1(o2(x,x)) true 2759 2759 -0.01562 0.4896 0.6504 0.5048 0.7105 -1 1 2 1 4.761 0.001863 0.00124 0.0104 0.2009 1 3.065e-10 0.00612 0.00575 0.002995 0.05473 5.261 2.414 0.006147 0.01212 1 1 0 0 0.005637 0 0 0.01117 json
t4_x0_u6_b9 4 0 6 9 nrm(dot(P,P)) 345 32483619 o1(o2(x,x)) true 2767 2767 0.5531 0.9844 0.5843 0.03822 0.1955 -1 0.5774 1.577 1 0.1161 0.002507 0.002507 0.003165 0 1 -5.256e-10 0.01034 0.006359 0.005001 0.07072 22.34 2.231 0.1312 0.2706 1 1 0 0 0.008822 0 0 0.2308 json
t4_x0_u6_b10 4 0 6 10 nrm(dst(P,P)) 346 32483620 o1(o2(x,x)) true 2775 2775 -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_x1_u0_b0 4 1 0 0 sqt(add(P,D)) 347 32522805 o1(o2(x,x)) true 2783 2783 -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_x1_u0_b1 4 1 0 1 sqt(sub(P,D)) 348 32522806 o1(o2(x,x)) true 2791 2791 -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_x1_u0_b2 4 1 0 2 sqt(mlt(P,D)) 349 32522807 o1(o2(x,x)) true 2799 2799 -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_x1_u0_b3 4 1 0 3 sqt(div(P,D)) 350 32522808 o1(o2(x,x)) true 2807 2807 -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_x1_u0_b4 4 1 0 4 sqt(pow(P,D)) 351 32522809 o1(o2(x,x)) true 2815 2815 -0.04458 0.5 0.9554 0.9344 0.9667 -1 1 2 1 1.753 0.004464 0 0.01294 1 1 0.0001011 0.007979 0.01259 0.004296 0.06554 5.065 1 0.004777 0.008538 1 1 0 0 0.00644 0 0 0.006892 json
t4_x1_u0_b5 4 1 0 5 sqt(mod(P,D)) 352 32522810 o1(o2(x,x)) true 2823 2823 -0.341 0.4727 0.6513 0.4433 0.6658 -1 0.6206 1.621 1 2.535 0.02234 0 0.06567 1 1 -0.00002027 0.05579 0.1105 0.01802 0.1343 2.044 1 0.05039 0.1258 1 1 0 0 0.01931 0 0 0.04355 json
t4_x1_u0_b6 4 1 0 6 sqt(lrg(P,D)) 353 32522811 o1(o2(x,x)) true 2831 2831 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_x1_u0_b7 4 1 0 7 sqt(eql(P,D)) 354 32522812 o1(o2(x,x)) true 2839 2839 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_x1_u0_b8 4 1 0 8 sqt(min(P,D)) 355 32522813 o1(o2(x,x)) true 2847 2847 -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_x1_u0_b9 4 1 0 9 sqt(dot(P,D)) 356 32522814 o1(o2(x,x)) true 2855 2855 -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_x1_u0_b10 4 1 0 10 sqt(dst(P,D)) 357 32522815 o1(o2(x,x)) true 2863 2863 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_x1_u1_b0 4 1 1 0 log(add(P,D)) 358 32523006 o1(o2(x,x)) true 2871 2871 -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_x1_u1_b1 4 1 1 1 log(sub(P,D)) 359 32523007 o1(o2(x,x)) true 2879 2879 -0.1845 0.4102 0.946 0.8951 0.9461 -1 1 2 1 1.666 0.004179 0 0.009576 1 1 -3.075e-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_x1_u1_b2 4 1 1 2 log(mlt(P,D)) 360 32523008 o1(o2(x,x)) true 2887 2887 -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_x1_u1_b3 4 1 1 3 log(div(P,D)) 361 32523009 o1(o2(x,x)) true 2895 2895 -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_x1_u1_b4 4 1 1 4 log(pow(P,D)) 362 32523010 o1(o2(x,x)) true 2903 2903 -0.5811 0.1719 0.6243 0.2366 0.4864 -1 0.2753 1.275 1 2.4 0.005528 0 0.02624 1 1 0.0003388 0.008211 0.01673 0.00484 0.06957 2.651 0.9998 0.02337 0.03471 1 1 0 0 0.00742 0 0 0.03137 json
t4_x1_u1_b5 4 1 1 5 log(mod(P,D)) 363 32523011 o1(o2(x,x)) true 2911 2911 -0.9998 0 0.9998 0.000008036 0.002835 -1 -0.9546 0.04545 1 0 0.00001639 0 0.0003607 1 0 -9.461e-10 0.00004918 0.0007214 0.00001626 0.004032 11.18 0.04545 2.04 6.12 1 1 0 0 0.00001087 0 0 1.353 json
t4_x1_u1_b6 4 1 1 6 log(lrg(P,D)) 364 32523012 o1(o2(x,x)) true 2919 2919 -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_x1_u1_b7 4 1 1 7 log(eql(P,D)) 365 32523013 o1(o2(x,x)) true 2927 2927 -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_x1_u1_b8 4 1 1 8 log(min(P,D)) 366 32523014 o1(o2(x,x)) true 2935 2935 -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_x1_u1_b9 4 1 1 9 log(dot(P,D)) 367 32523015 o1(o2(x,x)) true 2943 2943 -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_x1_u1_b10 4 1 1 10 log(dst(P,D)) 368 32523016 o1(o2(x,x)) true 2951 2951 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_x1_u2_b0 4 1 2 0 frc(add(P,D)) 369 32523207 o1(o2(x,x)) true 2959 2959 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_x1_u2_b1 4 1 2 1 frc(sub(P,D)) 370 32523208 o1(o2(x,x)) true 2967 2967 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_x1_u2_b2 4 1 2 2 frc(mlt(P,D)) 371 32523209 o1(o2(x,x)) true 2975 2975 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_x1_u2_b3 4 1 2 3 frc(div(P,D)) 372 32523210 o1(o2(x,x)) true 2983 2983 0.4109 0.9375 0.4109 0.08409 0.29 0 0.9971 0.9971 1 3.763 0.1267 0 0.2676 1 1 -0.0009359 0.3473 0.4629 0.05502 0.2346 0.8765 0.9968 1.506 4.13 1 1 0 0 0.0774 0 0 0.9204 json
t4_x1_u2_b4 4 1 2 4 frc(pow(P,D)) 373 32523211 o1(o2(x,x)) true 2991 2991 -0.2823 0.4375 0.7176 0.5612 0.7492 -1 0.9783 1.978 1 2.904 0.0322 0 0.07189 1 1 0.0004641 0.07213 0.09097 0.02702 0.1644 2.287 1 0.05737 0.1285 1 1 0 0 0.02803 0 0 0.04994 json
t4_x1_u2_b5 4 1 2 5 frc(mod(P,D)) 374 32523212 o1(o2(x,x)) true 2999 2999 0.4026 0.9336 0.4026 0.129 0.3591 0 0.9683 0.9683 1 3.398 0.06781 0 0.1272 1 1 -4.73e-9 0.1671 0.2249 0.05163 0.2272 1.786 0.968 0.5257 1.296 1 1 0 0 0.04958 0 0 0.3844 json
t4_x1_u2_b6 4 1 2 6 frc(lrg(P,D)) 375 32523213 o1(o2(x,x)) true 3007 3007 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_x1_u2_b7 4 1 2 7 frc(eql(P,D)) 376 32523214 o1(o2(x,x)) true 3015 3015 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_x1_u2_b8 4 1 2 8 frc(min(P,D)) 377 32523215 o1(o2(x,x)) true 3023 3023 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_x1_u2_b9 4 1 2 9 frc(dot(P,D)) 378 32523216 o1(o2(x,x)) true 3031 3031 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_x1_u2_b10 4 1 2 10 frc(dst(P,D)) 379 32523217 o1(o2(x,x)) true 3039 3039 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_x1_u3_b0 4 1 3 0 flr(add(P,D)) 380 32523408 o1(o2(x,x)) true 3047 3047 -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_x1_u3_b1 4 1 3 1 flr(sub(P,D)) 381 32523409 o1(o2(x,x)) true 3055 3055 -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_x1_u3_b2 4 1 3 2 flr(mlt(P,D)) 382 32523410 o1(o2(x,x)) true 3063 3063 -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_x1_u3_b3 4 1 3 3 flr(div(P,D)) 383 32523411 o1(o2(x,x)) true 3071 3071 -0.1463 0.4141 0.912 0.8693 0.9324 -1 1 2 1 1.931 0.3402 0 0.2302 1 1 -3.79e-9 0.5844 0.3624 0.2871 0.5358 2.328 2 0.3914 0.6722 1 1 0 0 0.3693 0 0 0.4248 json
t4_x1_u3_b4 4 1 3 4 flr(pow(P,D)) 384 32523412 o1(o2(x,x)) true 3079 3079 -0.2132 0.5 0.7867 0.6878 0.8293 -1 1 2 1 2.723 0.03388 0 0.07004 1 1 -0.0004492 0.06428 0.08762 0.02897 0.1702 2.43 1 0.04926 0.09346 1 1 0 0 0.0359 0 0 0.05219 json
t4_x1_u3_b5 4 1 3 5 flr(mod(P,D)) 385 32523413 o1(o2(x,x)) true 3087 3087 -0.4026 0 0.4026 0.2335 0.4832 -1 0 1 1 1.62 0.07077 0 0.07485 1 1 -1.23e-8 0.1714 0.1428 0.06517 0.2553 3.41 0.9997 0.3031 0.734 1 1 0 0 0.05304 0 0 0.2272 json
t4_x1_u3_b6 4 1 3 6 flr(lrg(P,D)) 386 32523414 o1(o2(x,x)) true 3095 3095 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_x1_u3_b7 4 1 3 7 flr(eql(P,D)) 387 32523415 o1(o2(x,x)) true 3103 3103 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_x1_u3_b8 4 1 3 8 flr(min(P,D)) 388 32523416 o1(o2(x,x)) true 3111 3111 -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_x1_u3_b9 4 1 3 9 flr(dot(P,D)) 389 32523417 o1(o2(x,x)) true 3119 3119 -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_x1_u3_b10 4 1 3 10 flr(dst(P,D)) 390 32523418 o1(o2(x,x)) true 3127 3127 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_x1_u4_b0 4 1 4 0 cil(add(P,D)) 391 32523609 o1(o2(x,x)) true 3135 3135 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_x1_u4_b1 4 1 4 1 cil(sub(P,D)) 392 32523610 o1(o2(x,x)) true 3143 3143 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_x1_u4_b2 4 1 4 2 cil(mlt(P,D)) 393 32523611 o1(o2(x,x)) true 3151 3151 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_x1_u4_b3 4 1 4 3 cil(div(P,D)) 394 32523612 o1(o2(x,x)) true 3159 3159 -0.08197 0.4375 0.9375 0.9197 0.959 -1 1 2 1 1.591 0.4176 0 0.2302 1 1 -9.461e-10 0.8041 0.4335 0.3645 0.6037 2.623 2 0.4541 0.8743 1 1 0 0 0.4166 0 0 0.453 json
t4_x1_u4_b4 4 1 4 4 cil(pow(P,D)) 395 32523613 o1(o2(x,x)) true 3167 3167 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t4_x1_u4_b5 4 1 4 5 cil(mod(P,D)) 396 32523614 o1(o2(x,x)) true 3175 3175 0.4026 0.4961 0.4026 0.2335 0.4832 0 1 1 1 1.3 0.07077 0 0.07485 1 1 1.23e-8 0.1714 0.1428 0.06517 0.2553 3.41 0.9997 0.3031 0.734 1 1 0 0 0.0583 0 0 0.2497 json
t4_x1_u4_b6 4 1 4 6 cil(lrg(P,D)) 397 32523615 o1(o2(x,x)) true 3183 3183 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_x1_u4_b7 4 1 4 7 cil(eql(P,D)) 398 32523616 o1(o2(x,x)) true 3191 3191 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_x1_u4_b8 4 1 4 8 cil(min(P,D)) 399 32523617 o1(o2(x,x)) true 3199 3199 -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