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
t13_x1_u0_b4 13 1 0 4 sqt(pow(sqt(P),D)) 42600 105608218 o1(o2(o1(x),x)) true 20807 20807 -0.03942 0.5 0.9606 0.9443 0.9717 -1 1 2 1 1.452 0.004366 0 0.01082 1 1 0.00006868 0.007923 0.01079 0.00425 0.06519 6.028 1 0.004624 0.00839 1 1 0.006291 0.04002 0.2814 0.006662 0.04238 0.298 json
t13_x1_u0_b5 13 1 0 5 sqt(mod(sqt(P),D)) 42601 105608219 o1(o2(o1(x),x)) true 20815 20815 -0.3566 0.4922 0.6434 0.4277 0.654 -1 0.6536 1.654 1 2.647 0.01842 0 0.07179 1 1 -0.000002821 0.04771 0.1201 0.01326 0.1151 1.604 1 0.04306 0.1116 1 1 0.0144 0.04445 0.137 0.03366 0.1039 0.3203 json
t13_x1_u0_b6 13 1 0 6 sqt(lrg(sqt(P),D)) 42602 105608220 o1(o2(o1(x),x)) true 20823 20823 0.9688 1 0.9688 0.02351 0.1533 0.000291 1 0.9997 1 0.459 0.004319 0 0.007934 1 1 0 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t13_x1_u0_b7 13 1 0 7 sqt(eql(sqt(P),D)) 42603 105608221 o1(o2(o1(x),x)) true 20831 20831 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
t13_x1_u0_b8 13 1 0 8 sqt(min(sqt(P),D)) 42604 105608222 o1(o2(o1(x),x)) true 20839 20839 -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
t13_x1_u0_b9 13 1 0 9 sqt(dot(sqt(P),D)) 42605 105608223 o1(o2(o1(x),x)) true 20847 20847 -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
t13_x1_u0_b10 13 1 0 10 sqt(dst(sqt(P),D)) 42606 105608224 o1(o2(o1(x),x)) true 20855 20855 -0.5002 0.25 0.9998 0.7492 0.8656 -1 1 2 1 0.8219 0.007739 0.007739 0.007919 9.026e-8 1 -2.215e-10 0.03096 0.01567 0.01541 0.1242 15.68 2 0.02066 0.04133 1 1 0.0204 0.08283 0.3354 0.02722 0.1106 0.4476 json
t13_x1_u1_b0 13 1 1 0 sqt(add(log(P),D)) 42607 105608415 o1(o2(o1(x),x)) true 20863 20863 -0.1831 0.418 0.981 0.9346 0.9667 -1 1 2 1 1.476 0.008956 0 0.007994 1 1 1.892e-9 0.0174 0.01217 0.008891 0.09429 11.79 1.497 0.009584 0.01861 1 1 0.01222 0.05568 0.2937 0.01308 0.05958 0.3142 json
t13_x1_u1_b1 13 1 1 1 sqt(sub(log(P),D)) 42608 105608416 o1(o2(o1(x),x)) true 20871 20871 -0.2972 0.3555 0.9918 0.8968 0.947 -1 1 2 1 1.192 0.04443 0 0.02437 1 1 1.896e-9 0.09 0.04684 0.04382 0.2093 8.588 2 0.04954 0.1004 1 1 0.05817 0.1599 0.3172 0.06487 0.1783 0.3537 json
t13_x1_u1_b2 13 1 1 2 sqt(mlt(log(P),D)) 42609 105608417 o1(o2(o1(x),x)) true 20879 20879 -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
t13_x1_u1_b3 13 1 1 3 sqt(div(log(P),D)) 42610 105608418 o1(o2(o1(x),x)) true 20887 20887 -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
t13_x1_u1_b4 13 1 1 4 sqt(pow(log(P),D)) 42611 105608419 o1(o2(o1(x),x)) true 20895 20895 -0.1613 0.4375 0.9637 0.9247 0.9616 -1 1 2 1 1.353 0.004366 0 0.009948 1 1 0.00005277 0.007906 0.01004 0.004265 0.0653 6.565 1 0.004722 0.00855 1 1 0.00632 0.0411 0.2828 0.006834 0.04444 0.3058 json
t13_x1_u1_b5 13 1 1 5 sqt(mod(log(P),D)) 42612 105608420 o1(o2(o1(x),x)) true 20903 20903 -0.4334 0.4375 0.6916 0.4239 0.6511 -1 0.6088 1.609 1 2.381 0.01403 0 0.05476 1 1 -0.0003821 0.03803 0.09595 0.01103 0.105 1.918 1 0.0331 0.08972 1 1 0.01002 0.03847 0.1295 0.02363 0.09076 0.3054 json
t13_x1_u1_b6 13 1 1 6 sqt(lrg(log(P),D)) 42613 105608421 o1(o2(o1(x),x)) true 20911 20911 0.9053 1 0.9053 0.06462 0.2542 0.000291 1 0.9997 1 1.17 0.005126 0 0.01697 1 1 -1.892e-9 0.008333 0.01234 0.004837 0.06955 4.098 0.9994 0.07934 0.129 1 1 0.008072 0.04451 0.08986 0.1249 0.6888 1.391 json
t13_x1_u1_b7 13 1 1 7 sqt(eql(log(P),D)) 42614 105608422 o1(o2(o1(x),x)) true 20919 20919 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
t13_x1_u1_b8 13 1 1 8 sqt(min(log(P),D)) 42615 105608423 o1(o2(o1(x),x)) true 20927 20927 -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
t13_x1_u1_b9 13 1 1 9 sqt(dot(log(P),D)) 42616 105608424 o1(o2(o1(x),x)) true 20935 20935 -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
t13_x1_u1_b10 13 1 1 10 sqt(dst(log(P),D)) 42617 105608425 o1(o2(o1(x),x)) true 20943 20943 -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
t13_x1_u2_b0 13 1 2 0 sqt(add(frc(P),D)) 42618 105608616 o1(o2(o1(x),x)) true 20951 20951 -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
t13_x1_u2_b1 13 1 2 1 sqt(sub(frc(P),D)) 42619 105608617 o1(o2(o1(x),x)) true 20959 20959 -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
t13_x1_u2_b2 13 1 2 2 sqt(mlt(frc(P),D)) 42620 105608618 o1(o2(o1(x),x)) true 20967 20967 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
t13_x1_u2_b3 13 1 2 3 sqt(div(frc(P),D)) 42621 105608619 o1(o2(o1(x),x)) true 20975 20975 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
t13_x1_u2_b4 13 1 2 4 sqt(pow(frc(P),D)) 42622 105608620 o1(o2(o1(x),x)) true 20983 20983 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
t13_x1_u2_b5 13 1 2 5 sqt(mod(frc(P),D)) 42623 105608621 o1(o2(o1(x),x)) true 20991 20991 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
t13_x1_u2_b6 13 1 2 6 sqt(lrg(frc(P),D)) 42624 105608622 o1(o2(o1(x),x)) true 20999 20999 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t13_x1_u2_b7 13 1 2 7 sqt(eql(frc(P),D)) 42625 105608623 o1(o2(o1(x),x)) true 21007 21007 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
t13_x1_u2_b8 13 1 2 8 sqt(min(frc(P),D)) 42626 105608624 o1(o2(o1(x),x)) true 21015 21015 -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
t13_x1_u2_b9 13 1 2 9 sqt(dot(frc(P),D)) 42627 105608625 o1(o2(o1(x),x)) true 21023 21023 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
t13_x1_u2_b10 13 1 2 10 sqt(dst(frc(P),D)) 42628 105608626 o1(o2(o1(x),x)) true 21031 21031 0.6462 1 0.6462 0.0189 0.1375 0.2107 0.838 0.6273 1 2.946 0.001647 0.001647 0.05095 -0.000001272 1 -0.0006689 0.0009022 0.01589 0.0006987 0.02643 0.5188 0.1533 0.1743 0.04773 1 1 0.00623 0.0394 0 0.3296 2.084 0 json
t13_x1_u3_b0 13 1 3 0 sqt(add(flr(P),D)) 42629 105608817 o1(o2(o1(x),x)) true 21039 21039 -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.008601 0.0501 0.2947 0.008886 0.05176 0.3045 json
t13_x1_u3_b1 13 1 3 1 sqt(sub(flr(P),D)) 42630 105608818 o1(o2(o1(x),x)) true 7 7 -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.02046 0.08194 0.3346 0.02083 0.08341 0.3406 json
t13_x1_u3_b2 13 1 3 2 sqt(mlt(flr(P),D)) 42631 105608819 o1(o2(o1(x),x)) true 15 15 -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
t13_x1_u3_b3 13 1 3 3 sqt(div(flr(P),D)) 42632 105608820 o1(o2(o1(x),x)) true 23 23 -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
t13_x1_u3_b4 13 1 3 4 sqt(pow(flr(P),D)) 42633 105608821 o1(o2(o1(x),x)) true 31 31 -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.00644 0.04061 0.2777 0.006892 0.04346 0.2972 json
t13_x1_u3_b5 13 1 3 5 sqt(mod(flr(P),D)) 42634 105608822 o1(o2(o1(x),x)) true 39 39 -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.01931 0.05394 0.1383 0.04355 0.1217 0.312 json
t13_x1_u3_b6 13 1 3 6 sqt(lrg(flr(P),D)) 42635 105608823 o1(o2(o1(x),x)) true 47 47 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.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t13_x1_u3_b7 13 1 3 7 sqt(eql(flr(P),D)) 42636 105608824 o1(o2(o1(x),x)) true 55 55 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
t13_x1_u3_b8 13 1 3 8 sqt(min(flr(P),D)) 42637 105608825 o1(o2(o1(x),x)) true 63 63 -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
t13_x1_u3_b9 13 1 3 9 sqt(dot(flr(P),D)) 42638 105608826 o1(o2(o1(x),x)) true 71 71 -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
t13_x1_u3_b10 13 1 3 10 sqt(dst(flr(P),D)) 42639 105608827 o1(o2(o1(x),x)) true 79 79 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.0001121 0.001017 0.001357 0.3011 2.731 3.644 json
t13_x1_u4_b0 13 1 4 0 sqt(add(cil(P),D)) 42640 105609018 o1(o2(o1(x),x)) true 87 87 -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.008601 0.0501 0.2947 0.008886 0.05176 0.3045 json
t13_x1_u4_b1 13 1 4 1 sqt(sub(cil(P),D)) 42641 105609019 o1(o2(o1(x),x)) true 95 95 -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.02046 0.08194 0.3346 0.02083 0.08341 0.3406 json
t13_x1_u4_b2 13 1 4 2 sqt(mlt(cil(P),D)) 42642 105609020 o1(o2(o1(x),x)) true 103 103 -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
t13_x1_u4_b3 13 1 4 3 sqt(div(cil(P),D)) 42643 105609021 o1(o2(o1(x),x)) true 111 111 -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
t13_x1_u4_b4 13 1 4 4 sqt(pow(cil(P),D)) 42644 105609022 o1(o2(o1(x),x)) true 119 119 -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.00644 0.04061 0.2777 0.006892 0.04346 0.2972 json
t13_x1_u4_b5 13 1 4 5 sqt(mod(cil(P),D)) 42645 105609023 o1(o2(o1(x),x)) true 127 127 -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.01931 0.05394 0.1383 0.04355 0.1217 0.312 json
t13_x1_u4_b6 13 1 4 6 sqt(lrg(cil(P),D)) 42646 105609024 o1(o2(o1(x),x)) true 135 135 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.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t13_x1_u4_b7 13 1 4 7 sqt(eql(cil(P),D)) 42647 105609025 o1(o2(o1(x),x)) true 143 143 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
t13_x1_u4_b8 13 1 4 8 sqt(min(cil(P),D)) 42648 105609026 o1(o2(o1(x),x)) true 151 151 -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
t13_x1_u4_b9 13 1 4 9 sqt(dot(cil(P),D)) 42649 105609027 o1(o2(o1(x),x)) true 159 159 -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
t13_x1_u4_b10 13 1 4 10 sqt(dst(cil(P),D)) 42650 105609028 o1(o2(o1(x),x)) true 167 167 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.0001121 0.001017 0.001357 0.3011 2.731 3.644 json
t13_x1_u5_b0 13 1 5 0 sqt(add(sgn(P),D)) 42651 105609219 o1(o2(o1(x),x)) true 175 175 -0.03493 0.5 0.9651 0.9397 0.9694 -1 1 2 1 1.786 0.005805 0 0.01263 1 1 0.00009283 0.009894 0.01226 0.005643 0.07512 5.946 1.177 0.006177 0.01053 1 1 0.008776 0.05102 0.289 0.009339 0.05429 0.3076 json
t13_x1_u5_b1 13 1 5 1 sqt(sub(sgn(P),D)) 42652 105609220 o1(o2(o1(x),x)) true 183 183 -0.1392 0.4375 0.9859 0.9534 0.9764 -1 1 2 1 1.381 0.01573 0 0.01269 1 1 6.623e-9 0.03175 0.0188 0.01557 0.1248 9.836 1.984 0.0165 0.03331 1 1 0.02059 0.07999 0.3261 0.0216 0.08389 0.3421 json
t13_x1_u5_b2 13 1 5 2 sqt(mlt(sgn(P),D)) 42653 105609221 o1(o2(o1(x),x)) true 191 191 -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
t13_x1_u5_b3 13 1 5 3 sqt(div(sgn(P),D)) 42654 105609222 o1(o2(o1(x),x)) true 199 199 -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
t13_x1_u5_b4 13 1 5 4 sqt(pow(sgn(P),D)) 42655 105609223 o1(o2(o1(x),x)) true 207 207 -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.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t13_x1_u5_b5 13 1 5 5 sqt(mod(sgn(P),D)) 42656 105609224 o1(o2(o1(x),x)) true 215 215 -0.3328 0.4375 0.6594 0.4538 0.6737 -1 0.5652 1.565 1 2.49 0.01829 0 0.05393 1 1 -0.00001556 0.04365 0.08594 0.01538 0.124 2.3 1 0.0403 0.09617 1 1 0.01745 0.05159 0.1387 0.03846 0.1137 0.3056 json
t13_x1_u5_b6 13 1 5 6 sqt(lrg(sgn(P),D)) 42657 105609225 o1(o2(o1(x),x)) true 223 223 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.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t13_x1_u5_b7 13 1 5 7 sqt(eql(sgn(P),D)) 42658 105609226 o1(o2(o1(x),x)) true 231 231 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
t13_x1_u5_b8 13 1 5 8 sqt(min(sgn(P),D)) 42659 105609227 o1(o2(o1(x),x)) true 239 239 -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
t13_x1_u5_b9 13 1 5 9 sqt(dot(sgn(P),D)) 42660 105609228 o1(o2(o1(x),x)) true 247 247 -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
t13_x1_u5_b10 13 1 5 10 sqt(dst(sgn(P),D)) 42661 105609229 o1(o2(o1(x),x)) true 255 255 0.9979 1 0.9979 0.0004377 0.02092 0.2109 1 0.7891 1 0.09944 0.0000257 0.0000257 0.00109 -0.000002088 0 3.679e-10 0.00002365 0.0008018 0.00005021 0.007086 6.5 0.1575 0.1174 0.05404 1 1 0.0001496 0.001195 0.001353 0.3419 2.731 3.092 json
t13_x1_u6_b0 13 1 6 0 sqt(add(nrm(P),D)) 42662 105609420 o1(o2(o1(x),x)) true 263 263 -0.4117 0.3242 0.9398 0.7305 0.8547 -1 1 2 1 1.887 0.1613 0.006421 0.09991 0.9234 1 0.0001004 0.3806 0.1921 0.1577 0.3971 3.974 2.828 0.2296 0.521 1 1 0.1614 0.3467 0.3784 0.2209 0.4746 0.518 json
t13_x1_u6_b1 13 1 6 1 sqt(sub(nrm(P),D)) 42663 105609421 o1(o2(o1(x),x)) true 271 271 -0.5014 0.2754 0.9478 0.6623 0.8138 -1 1 2 1 1.688 0.1589 0.005641 0.09711 0.9315 1 -0.001009 0.3589 0.1864 0.1552 0.3939 4.056 2.828 0.2485 0.542 1 1 0.1641 0.4148 0.3576 0.2478 0.6263 0.5399 json
t13_x1_u6_b2 13 1 6 2 sqt(mlt(nrm(P),D)) 42664 105609422 o1(o2(o1(x),x)) true 279 279 -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
t13_x1_u6_b3 13 1 6 3 sqt(div(nrm(P),D)) 42665 105609423 o1(o2(o1(x),x)) true 287 287 -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
t13_x1_u6_b4 13 1 6 4 sqt(pow(nrm(P),D)) 42666 105609424 o1(o2(o1(x),x)) true 295 295 -0.04343 0.4922 0.9722 0.9598 0.9797 -1 1 2 1 1.435 0.005918 0.001246 0.01077 0.6521 1 -1.957e-8 0.01374 0.01276 0.00705 0.08396 7.797 2.825 0.007463 0.01432 1 1 0.01116 0.05998 0.3321 0.01163 0.06248 0.346 json
t13_x1_u6_b5 13 1 6 5 sqt(mod(nrm(P),D)) 42667 105609425 o1(o2(o1(x),x)) true 303 303 -0.3519 0.4919 0.6637 0.4445 0.6667 -1 0.6948 1.695 1 2.601 0.01161 0.0007206 0.0508 0.8831 1 -0.0003433 0.02878 0.08284 0.009752 0.09875 1.944 1.612 0.02774 0.06475 1 1 0.01214 0.0483 0.1643 0.02731 0.1087 0.3697 json
t13_x1_u6_b6 13 1 6 6 sqt(lrg(nrm(P),D)) 42668 105609426 o1(o2(o1(x),x)) true 311 311 0.502 0.7217 0.502 0.208 0.4561 0 1 1 1 2.408 0.01328 0.00006842 0.04013 0.9897 1 -3.216e-9 0.02455 0.04228 0.01174 0.1084 2.7 0.9994 0.06418 0.118 1 1 0.01457 0.05386 0.07704 0.07007 0.2589 0.3704 json
t13_x1_u6_b7 13 1 6 7 sqt(eql(nrm(P),D)) 42669 105609427 o1(o2(o1(x),x)) true 319 319 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
t13_x1_u6_b8 13 1 6 8 sqt(min(nrm(P),D)) 42670 105609428 o1(o2(o1(x),x)) true 327 327 -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
t13_x1_u6_b9 13 1 6 9 sqt(dot(nrm(P),D)) 42671 105609429 o1(o2(o1(x),x)) true 335 335 -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
t13_x1_u6_b10 13 1 6 10 sqt(dst(nrm(P),D)) 42672 105609430 o1(o2(o1(x),x)) true 343 343 0.9556 0.9844 0.9868 0.06135 0.2477 -1 1 2 1 0.5521 0.00411 0.00411 0.01137 -8.497e-7 1 -1.7e-7 0.01677 0.01365 0.008089 0.08994 7.908 2.828 0.134 0.2734 1 1 0.0144 0.05757 0.2255 0.2347 0.9385 3.675 json
t13_x1_u7_b0 13 1 7 0 log(add(sqt(P),D)) 42673 105609621 o1(o2(o1(x),x)) true 351 351 -0.2433 0.4375 0.8357 0.7068 0.8407 -1 1 2 1 2.866 0.0005532 0 0.01021 1 1 0.00003636 0.00006806 0.003267 0.000449 0.02119 2.075 0.1431 0.0007827 0.00009629 1 1 0.001383 0.01701 0.1394 0.001956 0.02407 0.1972 json
t13_x1_u7_b1 13 1 7 1 log(sub(sqt(P),D)) 42674 105609622 o1(o2(o1(x),x)) true 359 359 -0.2806 0.4063 0.8518 0.7095 0.8423 -1 1 2 1 2.647 0.004168 0 0.0149 1 1 -4.73e-9 0.007986 0.01223 0.003948 0.06283 4.218 0.9685 0.005874 0.01125 1 1 0.005673 0.02461 0.1551 0.007996 0.03468 0.2186 json
t13_x1_u7_b2 13 1 7 2 log(mlt(sqt(P),D)) 42675 105609623 o1(o2(o1(x),x)) true 367 367 -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
t13_x1_u7_b3 13 1 7 3 log(div(sqt(P),D)) 42676 105609624 o1(o2(o1(x),x)) true 375 375 -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
t13_x1_u7_b4 13 1 7 4 log(pow(sqt(P),D)) 42677 105609625 o1(o2(o1(x),x)) true 383 383 -0.5718 0.1719 0.5934 0.2386 0.4884 -1 0.1377 1.138 1 2.019 0.004358 0 0.01511 1 1 0.0001694 0.008013 0.01233 0.00413 0.06426 4.254 0.9999 0.01827 0.03359 1 1 0.005796 0.02385 0.07813 0.0243 0.09999 0.3275 json
t13_x1_u7_b5 13 1 7 5 log(mod(sqt(P),D)) 42678 105609626 o1(o2(o1(x),x)) true 391 391 -0.999 0 0.999 0.0001083 0.01041 -1 -0.8584 0.1416 1 0.07373 0.0002221 0 0.002044 1 1 1.892e-9 0.0006882 0.004088 0.0002178 0.01476 7.221 0.1416 2.051 6.356 1 1 0.0001328 0.0001473 0.0001473 1.227 1.36 1.36 json
t13_x1_u7_b6 13 1 7 6 log(lrg(sqt(P),D)) 42679 105609627 o1(o2(o1(x),x)) true 399 399 -0.0625 0 0.0625 0.05859 0.2421 -1 0 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0.01053 0.04211 0.08421 0.1796 0.7186 1.437 json
t13_x1_u7_b7 13 1 7 7 log(eql(sqt(P),D)) 42680 105609628 o1(o2(o1(x),x)) true 407 407 -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
t13_x1_u7_b8 13 1 7 8 log(min(sqt(P),D)) 42681 105609629 o1(o2(o1(x),x)) true 415 415 -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
t13_x1_u7_b9 13 1 7 9 log(dot(sqt(P),D)) 42682 105609630 o1(o2(o1(x),x)) true 423 423 -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
t13_x1_u7_b10 13 1 7 10 log(dst(sqt(P),D)) 42683 105609631 o1(o2(o1(x),x)) true 431 431 -0.5264 0.2481 0.9748 0.6833 0.8266 -1 1 2 1 1.318 0.005064 0.005064 0.009192 0.000004598 1 9.011e-11 0.01996 0.01311 0.01004 0.1002 10.9 2 0.01482 0.02921 1 1 0.01162 0.05299 0.2417 0.01701 0.07756 0.3538 json
t13_x1_u8_b0 13 1 8 0 log(add(log(P),D)) 42684 105609822 o1(o2(o1(x),x)) true 439 439 -0.4755 0.3203 0.7767 0.4703 0.6858 -1 0.7348 1.735 1 2.544 0.0004903 0 0.01011 1 1 0.00009321 0.00006246 0.003319 0.0003883 0.01971 1.95 0.1006 0.001043 0.0001328 1 1 0.00116 0.01333 0.1028 0.002467 0.02834 0.2186 json
t13_x1_u8_b1 13 1 8 1 log(sub(log(P),D)) 42685 105609823 o1(o2(o1(x),x)) true 447 447 -0.5275 0.293 0.8127 0.4606 0.6786 -1 0.7835 1.783 1 2.376 0.007503 0 0.01961 1 1 -0.00004982 0.01516 0.02231 0.007121 0.08439 4.304 1.065 0.01629 0.03292 1 1 0.009657 0.02466 0.122 0.02097 0.05353 0.265 json
t13_x1_u8_b2 13 1 8 2 log(mlt(log(P),D)) 42686 105609824 o1(o2(o1(x),x)) true 455 455 -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
t13_x1_u8_b3 13 1 8 3 log(div(log(P),D)) 42687 105609825 o1(o2(o1(x),x)) true 463 463 -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
t13_x1_u8_b4 13 1 8 4 log(pow(log(P),D)) 42688 105609826 o1(o2(o1(x),x)) true 471 471 -0.6348 0.125 0.645 0.2236 0.4728 -1 0.09301 1.093 1 1.65 0.004033 0 0.01047 1 1 0.0001207 0.007963 0.01041 0.003922 0.06262 5.981 0.9885 0.01804 0.03562 1 1 0.005207 0.01932 0.07654 0.02329 0.08639 0.3424 json
t13_x1_u8_b5 13 1 8 5 log(mod(log(P),D)) 42689 105609827 o1(o2(o1(x),x)) true 479 479 -1 0 1 1.831e-7 0.0004279 -1 -0.9931 0.006858 1 0 3.733e-7 0 0.00005443 1 0 9.461e-10 0.00000112 0.0001089 3.705e-7 0.0006087 11.18 0.006858 2.039 6.117 1 1 0 0 1.238e-7 0 0 0.6761 json
t13_x1_u8_b6 13 1 8 6 log(lrg(log(P),D)) 42690 105609828 o1(o2(o1(x),x)) true 487 487 -0.207 0 0.207 0.1643 0.4053 -1 0 1 1 0.7358 0.01587 0 0.01587 1 1 0 0.03175 0.03175 0.01562 0.125 7.873 1 0.09664 0.1933 1 1 0.02105 0.06842 0.1684 0.1282 0.4166 1.025 json
t13_x1_u8_b7 13 1 8 7 log(eql(log(P),D)) 42691 105609829 o1(o2(o1(x),x)) true 495 495 -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
t13_x1_u8_b8 13 1 8 8 log(min(log(P),D)) 42692 105609830 o1(o2(o1(x),x)) true 503 503 -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
t13_x1_u8_b9 13 1 8 9 log(dot(log(P),D)) 42693 105609831 o1(o2(o1(x),x)) true 511 511 -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
t13_x1_u8_b10 13 1 8 10 log(dst(log(P),D)) 42694 105609832 o1(o2(o1(x),x)) true 519 519 -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
t13_x1_u9_b0 13 1 9 0 log(add(frc(P),D)) 42695 105610023 o1(o2(o1(x),x)) true 527 527 -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
t13_x1_u9_b1 13 1 9 1 log(sub(frc(P),D)) 42696 105610024 o1(o2(o1(x),x)) true 535 535 -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
t13_x1_u9_b2 13 1 9 2 log(mlt(frc(P),D)) 42697 105610025 o1(o2(o1(x),x)) true 543 543 -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
t13_x1_u9_b3 13 1 9 3 log(div(frc(P),D)) 42698 105610026 o1(o2(o1(x),x)) true 551 551 -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
t13_x1_u9_b4 13 1 9 4 log(pow(frc(P),D)) 42699 105610027 o1(o2(o1(x),x)) true 559 559 0 0.5 1 1 1 -1 1 2 1 1 0.4921 0 0.246 1 1 0 0.9841 0.4921 0.4315 0.6569 2.67 2 0.4921 0.9841 1 1 0.4947 2 0 0.4947 2 0 json