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_x7_u6_b4 13 7 6 4 sqt(pow(nrm(R),D)) 45900 105851830 o1(o2(o1(x),x)) true 26167 26167 -0.9148 0.04297 0.9993 0.1618 0.4023 -1 1 2 1 0.2763 0.0168 0.01612 0.01666 0.02073 1 3.102e-7 0.06898 0.03324 0.03263 0.1806 10.84 2.828 0.2034 0.4263 1 1 0.02508 0.1075 0.2697 0.155 0.6643 1.667 json
t13_x7_u6_b5 13 7 6 5 sqt(mod(nrm(R),D)) 45901 105851831 o1(o2(o1(x),x)) true 26175 26175 -0.9423 0.04297 0.9718 0.07516 0.2742 -1 0.6821 1.682 1 0.3907 0.006148 0.007576 0.01421 -0.104 1 -0.00007682 0.02834 0.02623 0.01352 0.1163 8.179 1.682 0.1826 0.377 1 1 0.01062 0.05077 0.1268 0.1413 0.6755 1.687 json
t13_x7_u6_b6 13 7 6 6 sqt(lrg(nrm(R),D)) 45902 105851832 o1(o2(o1(x),x)) true 26183 26183 0.4942 0.917 0.4942 0.1479 0.3846 0 1 1 1 3.518 0.01791 0.002138 0.0779 0.7867 1 -0.000007026 0.03389 0.06775 0.01398 0.1182 1.518 0.9997 0.1356 0.2292 1 1 0.02263 0.1368 0.2773 0.153 0.9247 1.875 json
t13_x7_u6_b7 13 7 6 7 sqt(eql(nrm(R),D)) 45903 105851833 o1(o2(o1(x),x)) true 26191 26191 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_x7_u6_b8 13 7 6 8 sqt(min(nrm(R),D)) 45904 105851834 o1(o2(o1(x),x)) true 26199 26199 -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_x7_u6_b9 13 7 6 9 sqt(dot(nrm(R),D)) 45905 105851835 o1(o2(o1(x),x)) true 26207 26207 -0.902 0.06805 0.9619 0.1329 0.3646 -1 0.723 1.723 1 0.5742 0.03548 0.03149 0.0483 0.05957 1 -0.0002689 0.2049 0.09829 0.06466 0.2543 5.264 2.342 0.5037 1.541 1 1 0.07131 0.227 0.2948 0.5364 1.708 2.218 json
t13_x7_u6_b10 13 7 6 10 sqt(dst(nrm(R),D)) 45906 105851836 o1(o2(o1(x),x)) true 26215 26215 0.9781 1 0.9781 0.001588 0.03985 0.7524 1 0.2476 1 0.7369 0.00009062 0.00009269 0.007869 -0.01128 1 0.00004308 0.00007374 0.004539 0.0001214 0.01102 1.4 0.05392 0.1154 0.04643 1 1 0.0003318 0.002682 0.003301 0.2089 1.689 2.078 json
t13_x7_u7_b0 13 7 7 0 log(add(sqt(R),D)) 45907 105852027 o1(o2(o1(x),x)) true 26223 26223 -0.9888 0 0.9888 0.006484 0.08052 -1 -0.06356 0.9364 1 0.2306 0.001575 0.0007103 0.004628 0.3783 1 0.00001911 0.005027 0.007494 0.002264 0.04758 10.28 1.265 0.3524 0.7753 1 1 0.001695 0.006106 0.01175 0.2614 0.9418 1.812 json
t13_x7_u7_b1 13 7 7 1 log(sub(sqt(R),D)) 45908 105852028 o1(o2(o1(x),x)) true 26231 26231 -0.9888 0 0.9888 0.006592 0.08119 -1 -0.06199 0.938 1 0.2314 0.001538 0.0008184 0.004502 0.3054 1 0.00003423 0.005183 0.007288 0.002337 0.04834 10.74 1.077 0.3575 0.7863 1 1 0.001656 0.006027 0.009566 0.2512 0.9143 1.451 json
t13_x7_u7_b2 13 7 7 2 log(mlt(sqt(R),D)) 45909 105852029 o1(o2(o1(x),x)) true 26239 26239 -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_x7_u7_b3 13 7 7 3 log(div(sqt(R),D)) 45910 105852030 o1(o2(o1(x),x)) true 26247 26247 -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_x7_u7_b4 13 7 7 4 log(pow(sqt(R),D)) 45911 105852031 o1(o2(o1(x),x)) true 26255 26255 -0.9572 0.02132 0.9594 0.04109 0.2027 -1 0.2302 1.23 1 0.3562 0.004242 0.00406 0.008923 0.02195 1 0.000005104 0.01732 0.0168 0.008227 0.0907 10.17 1.438 0.2021 0.4216 1 1 0.006336 0.02706 0.06721 0.1542 0.6586 1.636 json
t13_x7_u7_b5 13 7 7 5 log(mod(sqt(R),D)) 45912 105852032 o1(o2(o1(x),x)) true 26263 26263 -0.9999 0 0.9999 0.00001267 0.003559 -1 -0.7145 0.2855 1 0.006197 0.00002508 0.00000329 0.0001629 0.768 0 4.242e-7 0.00009216 0.0003285 0.00002834 0.005323 32.68 0.4038 2.239 7.276 1 1 0.00000278 0.000003613 0.0000114 0.2195 0.2852 0.9001 json
t13_x7_u7_b6 13 7 7 6 log(lrg(sqt(R),D)) 45913 105852033 o1(o2(o1(x),x)) true 26271 26271 -0.2556 0 0.2556 0.1903 0.4362 -1 0 1 1 0.8201 0.08683 0.009732 0.096 0.7984 1 -0.0007559 0.2111 0.1924 0.08737 0.2956 3.079 1.414 0.5074 1.109 1 1 0.08953 0.2336 0.2525 0.4704 1.227 1.327 json
t13_x7_u7_b7 13 7 7 7 log(eql(sqt(R),D)) 45914 105852034 o1(o2(o1(x),x)) true 26279 26279 -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_x7_u7_b8 13 7 7 8 log(min(sqt(R),D)) 45915 105852035 o1(o2(o1(x),x)) true 26287 26287 -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_x7_u7_b9 13 7 7 9 log(dot(sqt(R),D)) 45916 105852036 o1(o2(o1(x),x)) true 26295 26295 -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_x7_u7_b10 13 7 7 10 log(dst(sqt(R),D)) 45917 105852037 o1(o2(o1(x),x)) true 26303 26303 -0.995 0.003906 0.9971 0.006304 0.0794 -1 0.4664 1.466 1 0.04709 0.0008137 0.0007946 0.001351 0.01187 1 1.126e-11 0.003409 0.00256 0.001605 0.04006 29.65 1.662 0.2551 0.5407 1 1 0.002835 0.01154 0.02222 0.4496 1.83 3.525 json
t13_x7_u8_b0 13 7 8 0 log(add(log(R),D)) 45918 105852228 o1(o2(o1(x),x)) true 26311 26311 -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_x7_u8_b1 13 7 8 1 log(sub(log(R),D)) 45919 105852229 o1(o2(o1(x),x)) true 26319 26319 -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_x7_u8_b2 13 7 8 2 log(mlt(log(R),D)) 45920 105852230 o1(o2(o1(x),x)) true 26327 26327 -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_x7_u8_b3 13 7 8 3 log(div(log(R),D)) 45921 105852231 o1(o2(o1(x),x)) true 26335 26335 -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_x7_u8_b4 13 7 8 4 log(pow(log(R),D)) 45922 105852232 o1(o2(o1(x),x)) true 26343 26343 -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_x7_u8_b5 13 7 8 5 log(mod(log(R),D)) 45923 105852233 o1(o2(o1(x),x)) true 26351 26351 -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_x7_u8_b6 13 7 8 6 log(lrg(log(R),D)) 45924 105852234 o1(o2(o1(x),x)) true 26359 26359 -0.8591 0 0.8591 0.1211 0.348 -1 0 1 1 0.5865 0.01701 0.01061 0.02743 0.2315 1 0 0.05996 0.05524 0.02685 0.1639 5.975 1.414 0.2281 0.4952 1 1 0.02802 0.1035 0.233 0.2314 0.8546 1.924 json
t13_x7_u8_b7 13 7 8 7 log(eql(log(R),D)) 45925 105852235 o1(o2(o1(x),x)) true 26367 26367 -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_x7_u8_b8 13 7 8 8 log(min(log(R),D)) 45926 105852236 o1(o2(o1(x),x)) true 26375 26375 -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_x7_u8_b9 13 7 8 9 log(dot(log(R),D)) 45927 105852237 o1(o2(o1(x),x)) true 26383 26383 -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_x7_u8_b10 13 7 8 10 log(dst(log(R),D)) 45928 105852238 o1(o2(o1(x),x)) true 26391 26391 -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_x7_u9_b0 13 7 9 0 log(add(frc(R),D)) 45929 105852429 o1(o2(o1(x),x)) true 26399 26399 -0.897 0 0.897 0.04473 0.2115 -1 -0.007162 0.9928 1 1.634 0.01727 0.002279 0.04625 0.7668 1 0.0002697 0.0422 0.06775 0.01741 0.132 2.853 1.275 0.437 0.9433 1 1 0.01886 0.05406 0.06441 0.4217 1.208 1.44 json
t13_x7_u9_b1 13 7 9 1 log(sub(frc(R),D)) 45930 105852430 o1(o2(o1(x),x)) true 26407 26407 -0.8981 0.00007629 0.8981 0.04506 0.2123 -1 0.02053 1.021 1 1.599 0.01747 0.002438 0.0465 0.7551 1 0.0002887 0.04309 0.06838 0.01774 0.1332 2.865 1.428 0.4418 0.9564 1 1 0.01962 0.05563 0.07068 0.4355 1.235 1.569 json
t13_x7_u9_b2 13 7 9 2 log(mlt(frc(R),D)) 45931 105852431 o1(o2(o1(x),x)) true 26415 26415 -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_x7_u9_b3 13 7 9 3 log(div(frc(R),D)) 45932 105852432 o1(o2(o1(x),x)) true 26423 26423 -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_x7_u9_b4 13 7 9 4 log(pow(frc(R),D)) 45933 105852433 o1(o2(o1(x),x)) true 26431 26431 0.001184 0.4996 0.1482 0.05539 0.2353 -1 1 2 1 3.639 0.003905 0.0006699 0.04808 0.7071 1 -0.000038 0.0007633 0.01653 0.002263 0.04758 0.9896 0.4352 0.0826 0.01378 1 1 0.00843 0.0814 0.09679 0.1522 1.47 1.747 json
t13_x7_u9_b5 13 7 9 5 log(mod(frc(R),D)) 45934 105852434 o1(o2(o1(x),x)) true 26439 26439 -0.9989 0 0.9989 0.0001181 0.01087 -1 -0.7604 0.2396 1 0.07326 0.0001879 0.000009624 0.001817 0.9025 1 0.000001655 0.0005555 0.003376 0.0001941 0.01393 7.666 0.2396 1.672 4.702 1 1 0.0001355 0.0002187 0.0002508 1.148 1.852 2.123 json
t13_x7_u9_b6 13 7 9 6 log(lrg(frc(R),D)) 45935 105852435 o1(o2(o1(x),x)) true 26447 26447 -0.6348 0 0.6348 0.232 0.4816 -1 0 1 1 0.9469 0.1139 0.01047 0.1236 0.8315 1 0 0.2691 0.2486 0.109 0.3302 2.672 1.414 0.5359 1.16 1 1 0.1213 0.3388 0.276 0.5229 1.46 1.19 json
t13_x7_u9_b7 13 7 9 7 log(eql(frc(R),D)) 45936 105852436 o1(o2(o1(x),x)) true 26455 26455 -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_x7_u9_b8 13 7 9 8 log(min(frc(R),D)) 45937 105852437 o1(o2(o1(x),x)) true 26463 26463 -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_x7_u9_b9 13 7 9 9 log(dot(frc(R),D)) 45938 105852438 o1(o2(o1(x),x)) true 26471 26471 -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_x7_u9_b10 13 7 9 10 log(dst(frc(R),D)) 45939 105852439 o1(o2(o1(x),x)) true 26479 26479 -0.001764 0.5904 0.1951 0.06799 0.2607 -1 0.5294 1.529 1 3.885 0.002067 0.00208 0.05168 -0.003064 1 -0.00008963 0.0007308 0.0163 0.001475 0.03841 0.7432 0.5285 0.06099 0.01075 1 1 0.007958 0.07679 0.1205 0.117 1.13 1.773 json
t13_x7_u10_b0 13 7 10 0 log(add(flr(R),D)) 45940 105852630 o1(o2(o1(x),x)) true 26487 26487 -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_x7_u10_b1 13 7 10 1 log(sub(flr(R),D)) 45941 105852631 o1(o2(o1(x),x)) true 26495 26495 -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_x7_u10_b2 13 7 10 2 log(mlt(flr(R),D)) 45942 105852632 o1(o2(o1(x),x)) true 26503 26503 -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_x7_u10_b3 13 7 10 3 log(div(flr(R),D)) 45943 105852633 o1(o2(o1(x),x)) true 26511 26511 -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_x7_u10_b4 13 7 10 4 log(pow(flr(R),D)) 45944 105852634 o1(o2(o1(x),x)) true 26519 26519 -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_x7_u10_b5 13 7 10 5 log(mod(flr(R),D)) 45945 105852635 o1(o2(o1(x),x)) true 26527 26527 -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_x7_u10_b6 13 7 10 6 log(lrg(flr(R),D)) 45946 105852636 o1(o2(o1(x),x)) true 26535 26535 -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_x7_u10_b7 13 7 10 7 log(eql(flr(R),D)) 45947 105852637 o1(o2(o1(x),x)) true 26543 26543 -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_x7_u10_b8 13 7 10 8 log(min(flr(R),D)) 45948 105852638 o1(o2(o1(x),x)) true 26551 26551 -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_x7_u10_b9 13 7 10 9 log(dot(flr(R),D)) 45949 105852639 o1(o2(o1(x),x)) true 26559 26559 -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_x7_u10_b10 13 7 10 10 log(dst(flr(R),D)) 45950 105852640 o1(o2(o1(x),x)) true 26567 26567 0.1385 0.7702 0.2972 0.1147 0.3387 -1 0.6656 1.666 1 4.058 0.002605 0.002819 0.05406 -0.03931 1 -0.00006811 0.001125 0.01579 0.002501 0.05001 0.9252 0.3294 0.04728 0.009803 1 1 0.01113 0.119 0.2188 0.09703 1.037 1.908 json
t13_x7_u11_b0 13 7 11 0 log(add(cil(R),D)) 45951 105852831 o1(o2(o1(x),x)) true 26575 26575 -0.8702 0.0191 0.8724 0.09096 0.3016 -1 0.08561 1.086 1 1.3 0.01227 0.01042 0.03562 0.08133 1 0.00003364 0.04753 0.05082 0.02141 0.1463 4.108 1.413 0.2494 0.5225 1 1 0.02333 0.09344 0.183 0.2564 1.027 2.012 json
t13_x7_u11_b1 13 7 11 1 log(sub(cil(R),D)) 45952 105852832 o1(o2(o1(x),x)) true 26583 26583 -0.8637 0.01984 0.8659 0.09471 0.3077 -1 0.08561 1.086 1 1.347 0.0123 0.01025 0.03583 0.09104 1 0.00006475 0.04708 0.05061 0.02128 0.1459 4.071 1.455 0.2381 0.4971 1 1 0.02376 0.09656 0.1932 0.2509 1.02 2.04 json
t13_x7_u11_b2 13 7 11 2 log(mlt(cil(R),D)) 45953 105852833 o1(o2(o1(x),x)) true 26591 26591 -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_x7_u11_b3 13 7 11 3 log(div(cil(R),D)) 45954 105852834 o1(o2(o1(x),x)) true 26599 26599 -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_x7_u11_b4 13 7 11 4 log(pow(cil(R),D)) 45955 105852835 o1(o2(o1(x),x)) true 26607 26607 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t13_x7_u11_b5 13 7 11 5 log(mod(cil(R),D)) 45956 105852836 o1(o2(o1(x),x)) true 26615 26615 -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_x7_u11_b6 13 7 11 6 log(lrg(cil(R),D)) 45957 105852837 o1(o2(o1(x),x)) true 26623 26623 -0.7813 0 0.7813 0.1709 0.4134 -1 0 1 1 0.7579 0.02063 0.01641 0.03674 0.1139 1 0 0.07826 0.07407 0.03569 0.1889 5.142 1.414 0.2167 0.4579 1 1 0.03827 0.157 0.3734 0.2239 0.9188 2.185 json
t13_x7_u11_b7 13 7 11 7 log(eql(cil(R),D)) 45958 105852838 o1(o2(o1(x),x)) true 26631 26631 -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_x7_u11_b8 13 7 11 8 log(min(cil(R),D)) 45959 105852839 o1(o2(o1(x),x)) true 26639 26639 -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_x7_u11_b9 13 7 11 9 log(dot(cil(R),D)) 45960 105852840 o1(o2(o1(x),x)) true 26647 26647 -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_x7_u11_b10 13 7 11 10 log(dst(cil(R),D)) 45961 105852841 o1(o2(o1(x),x)) true 26655 26655 0.1214 0.7503 0.3037 0.1259 0.3549 -1 0.6625 1.663 1 4.082 0.002966 0.002861 0.05595 0.01807 1 -0.00002586 0.001269 0.01685 0.002696 0.05192 0.9279 0.3302 0.04627 0.01008 1 1 0.009557 0.1033 0.1943 0.07589 0.8201 1.543 json
t13_x7_u12_b0 13 7 12 0 log(add(sgn(R),D)) 45962 105853032 o1(o2(o1(x),x)) true 26663 26663 -0.9601 0.01343 0.9617 0.03594 0.1896 -1 0.08561 1.086 1 0.3658 0.004265 0.003546 0.009314 0.09209 1 0.000006674 0.01637 0.01655 0.007727 0.0879 9.438 1.37 0.2174 0.4556 1 1 0.005929 0.02388 0.05994 0.165 0.6646 1.668 json
t13_x7_u12_b1 13 7 12 1 log(sub(sgn(R),D)) 45963 105853033 o1(o2(o1(x),x)) true 26671 26671 -0.9601 0.01343 0.9617 0.03594 0.1896 -1 0.08561 1.086 1 0.3658 0.004294 0.00356 0.009309 0.09348 1 0.00002355 0.01641 0.01658 0.00777 0.08815 9.469 1.456 0.2186 0.4568 1 1 0.006034 0.02448 0.06007 0.1679 0.6812 1.672 json
t13_x7_u12_b2 13 7 12 2 log(mlt(sgn(R),D)) 45964 105853034 o1(o2(o1(x),x)) true 26679 26679 -0.9971 0 0.9971 0.0006978 0.02642 -1 -0.7024 0.2976 1 0.1334 0.0001611 0.00007293 0.001727 0.3767 1 1.171e-9 0.0002836 0.001968 0.000231 0.0152 8.799 0.3066 0.3353 0.4064 1 1 0.0003763 0.001067 0.001531 0.5392 1.529 2.195 json
t13_x7_u12_b3 13 7 12 3 log(div(sgn(R),D)) 45965 105853035 o1(o2(o1(x),x)) true 26687 26687 -0.9248 0.03906 0.9971 0.1397 0.3737 -1 1 2 1 0.2985 0.01981 0.01499 0.01886 0.1386 1 2.913e-9 0.07345 0.03646 0.03445 0.1856 9.844 2.828 0.2492 0.526 1 1 0.03688 0.1437 0.3121 0.264 1.029 2.235 json
t13_x7_u12_b4 13 7 12 4 log(pow(sgn(R),D)) 45966 105853036 o1(o2(o1(x),x)) true 26695 26695 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t13_x7_u12_b5 13 7 12 5 log(mod(sgn(R),D)) 45967 105853037 o1(o2(o1(x),x)) true 26703 26703 -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_x7_u12_b6 13 7 12 6 log(lrg(sgn(R),D)) 45968 105853038 o1(o2(o1(x),x)) true 26711 26711 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t13_x7_u12_b7 13 7 12 7 log(eql(sgn(R),D)) 45969 105853039 o1(o2(o1(x),x)) true 26719 26719 -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_x7_u12_b8 13 7 12 8 log(min(sgn(R),D)) 45970 105853040 o1(o2(o1(x),x)) true 26727 26727 -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_x7_u12_b9 13 7 12 9 log(dot(sgn(R),D)) 45971 105853041 o1(o2(o1(x),x)) true 26735 26735 -0.9932 0 0.9932 0.00255 0.05049 -1 -0.3067 0.6933 1 0.2231 0.0006451 0.0006272 0.005092 0.01407 1 -0.00003666 0.00316 0.007414 0.001246 0.0353 6.933 0.902 0.499 1.239 1 1 0.001729 0.00555 0.00563 0.6782 2.177 2.208 json
t13_x7_u12_b10 13 7 12 10 log(dst(sgn(R),D)) 45972 105853042 o1(o2(o1(x),x)) true 26743 26743 0.5611 1 0.5611 0.009367 0.09678 0.2829 0.8103 0.5273 1 2.681 0.0003198 0.00033 0.02371 -0.01575 1 0.00003285 0.00006804 0.006866 0.00008746 0.009352 0.3944 0.05677 0.06937 0.007264 1 1 0.001263 0.01404 0.01947 0.1349 1.499 2.079 json
t13_x7_u13_b0 13 7 13 0 log(add(nrm(R),D)) 45973 105853233 o1(o2(o1(x),x)) true 26751 26751 -0.9855 0 0.9855 0.006832 0.08265 -1 -0.08074 0.9193 1 0.3674 0.003359 0.0007899 0.0106 0.6192 1 0.000057 0.009024 0.01575 0.004035 0.06352 5.993 1.156 0.6073 1.321 1 1 0.0037 0.008923 0.01167 0.5416 1.306 1.709 json
t13_x7_u13_b1 13 7 13 1 log(sub(nrm(R),D)) 45974 105853234 o1(o2(o1(x),x)) true 26759 26759 -0.9833 0 0.9833 0.00793 0.08905 -1 -0.08081 0.9192 1 0.4019 0.003609 0.0008242 0.01112 0.6282 1 0.000145 0.009851 0.01679 0.004308 0.06564 5.904 0.9192 0.559 1.242 1 1 0.003889 0.009943 0.01386 0.4904 1.254 1.748 json
t13_x7_u13_b2 13 7 13 2 log(mlt(nrm(R),D)) 45975 105853235 o1(o2(o1(x),x)) true 26767 26767 -1 0 1 0.000001152 0.001073 -1 -0.8937 0.1063 1 0.001563 4.626e-7 1.467e-7 0.0000161 0.5184 0 7.243e-7 0.00000135 0.00002689 6.09e-7 0.0007804 48.46 0.08081 0.5292 1.173 1 1 2.819e-7 2.93e-7 9.265e-7 0.2448 0.2544 0.8046 json
t13_x7_u13_b3 13 7 13 3 log(div(nrm(R),D)) 45976 105853236 o1(o2(o1(x),x)) true 26775 26775 -0.9416 0.03226 0.9864 0.09579 0.3095 -1 1 2 1 0.3727 0.02058 0.01016 0.02049 0.3389 1 0.000001793 0.06429 0.03407 0.03031 0.1741 8.495 2.828 0.3209 0.6711 1 1 0.03302 0.109 0.2168 0.3447 1.138 2.263 json
t13_x7_u13_b4 13 7 13 4 log(pow(nrm(R),D)) 45977 105853237 o1(o2(o1(x),x)) true 26783 26783 -0.9569 0.02167 0.9606 0.04183 0.2045 -1 0.3688 1.369 1 0.378 0.004272 0.004169 0.009379 0.01218 1 -0.000001582 0.01755 0.01704 0.008355 0.0914 9.746 1.462 0.2018 0.4195 1 1 0.006395 0.02719 0.0669 0.1529 0.6499 1.599 json
t13_x7_u13_b5 13 7 13 5 log(mod(nrm(R),D)) 45978 105853238 o1(o2(o1(x),x)) true 26791 26791 -1 0 1 0.000004541 0.002131 -1 -0.7651 0.2349 1 0.003029 0.000005479 0.000001978 0.00005603 0.4694 0 3.754e-11 0.00002049 0.0001025 0.000007452 0.00273 48.72 0.235 1.642 4.511 1 1 0.000003053 0.000006174 0.000006179 0.6722 1.36 1.361 json
t13_x7_u13_b6 13 7 13 6 log(lrg(nrm(R),D)) 45979 105853239 o1(o2(o1(x),x)) true 26799 26799 -0.9216 0 0.9216 0.07224 0.2688 -1 0 1 1 0.3964 0.02586 0.006126 0.03166 0.6169 1 0 0.06941 0.06396 0.03097 0.176 5.558 1.414 0.4427 0.9609 1 1 0.02958 0.09008 0.137 0.4095 1.247 1.897 json
t13_x7_u13_b7 13 7 13 7 log(eql(nrm(R),D)) 45980 105853240 o1(o2(o1(x),x)) true 26807 26807 -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_x7_u13_b8 13 7 13 8 log(min(nrm(R),D)) 45981 105853241 o1(o2(o1(x),x)) true 26815 26815 -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_x7_u13_b9 13 7 13 9 log(dot(nrm(R),D)) 45982 105853242 o1(o2(o1(x),x)) true 26823 26823 -0.9994 0 0.9994 0.000107 0.01035 -1 -0.6758 0.3242 1 0.04055 0.00002366 0.00001966 0.0005147 0.09231 0 3.673e-7 0.00005517 0.0006299 0.00004304 0.00656 12.75 0.2071 0.4047 0.5155 1 1 0.00009805 0.0003275 0.0003514 0.9161 3.06 3.283 json
t13_x7_u13_b10 13 7 13 10 log(dst(nrm(R),D)) 45983 105853243 o1(o2(o1(x),x)) true 26831 26831 0.03819 0.6002 0.1419 0.0289 0.17 -0.5979 0.4582 1.056 1 3.473 0.001031 0.001057 0.04191 -0.01258 1 0.00003067 0.000233 0.01253 0.0003318 0.01821 0.4346 0.1162 0.07226 0.008061 1 1 0.00396 0.04292 0.0587 0.137 1.485 2.031 json
t13_x7_u14_b0 13 7 14 0 frc(add(sqt(R),D)) 45984 105853434 o1(o2(o1(x),x)) true 26839 26839 -0.9351 0.04297 0.9789 0.09586 0.3096 -1 0.9882 1.988 1 0.4197 0.01336 0.009242 0.0172 0.1822 1 -0.00001783 0.04884 0.03056 0.0223 0.1493 8.685 2.687 0.2358 0.5095 1 1 0.01734 0.06404 0.162 0.1809 0.668 1.69 json
t13_x7_u14_b1 13 7 14 1 frc(sub(sqt(R),D)) 45985 105853435 o1(o2(o1(x),x)) true 26847 26847 -0.9355 0.04297 0.9785 0.09485 0.308 -1 0.9943 1.994 1 0.4209 0.01364 0.00963 0.01747 0.1724 1 0.0001382 0.05133 0.03102 0.02296 0.1515 8.674 2.775 0.2453 0.5412 1 1 0.01759 0.0658 0.1555 0.1854 0.6937 1.639 json
t13_x7_u14_b2 13 7 14 2 frc(mlt(sqt(R),D)) 45986 105853436 o1(o2(o1(x),x)) true 26855 26855 -0.9356 0.04297 0.9784 0.09646 0.3106 -1 0.9897 1.99 1 0.4264 0.01122 0.009659 0.01517 0.07473 1 -0.00001237 0.04375 0.02585 0.02066 0.1437 9.472 2.803 0.2164 0.4535 1 1 0.01614 0.06785 0.1612 0.1673 0.7034 1.672 json
t13_x7_u14_b3 13 7 14 3 frc(div(sqt(R),D)) 45987 105853437 o1(o2(o1(x),x)) true 26863 26863 -0.9351 0.04297 0.979 0.09633 0.3104 -1 0.9933 1.993 1 0.4216 0.01372 0.009596 0.02323 0.1769 1 0.00006047 0.05332 0.0409 0.02278 0.1509 6.497 2.476 0.2421 0.5535 1 1 0.01558 0.06311 0.1586 0.1617 0.6551 1.646 json
t13_x7_u14_b4 13 7 14 4 frc(pow(sqt(R),D)) 45988 105853438 o1(o2(o1(x),x)) true 26871 26871 -0.9352 0.04297 0.9788 0.09868 0.3141 -1 0.9988 1.999 1 0.4199 0.01059 0.009654 0.01513 0.0461 1 0.000008497 0.04208 0.02562 0.02002 0.1415 9.349 1.999 0.2051 0.4264 1 1 0.01494 0.06545 0.1608 0.1514 0.6632 1.63 json
t13_x7_u14_b5 13 7 14 5 frc(mod(sqt(R),D)) 45989 105853439 o1(o2(o1(x),x)) true 26879 26879 -0.9509 0.04297 0.9632 0.05417 0.2327 -1 0.4905 1.49 1 0.3633 0.004748 0.005444 0.01189 -0.06825 1 -0.00002905 0.02122 0.02241 0.01005 0.1003 8.433 1.509 0.1881 0.3917 1 1 0.007712 0.03601 0.09028 0.1424 0.6647 1.667 json
t13_x7_u14_b6 13 7 14 6 frc(lrg(sqt(R),D)) 45990 105853440 o1(o2(o1(x),x)) true 26887 26887 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_x7_u14_b7 13 7 14 7 frc(eql(sqt(R),D)) 45991 105853441 o1(o2(o1(x),x)) true 26895 26895 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_x7_u14_b8 13 7 14 8 frc(min(sqt(R),D)) 45992 105853442 o1(o2(o1(x),x)) true 26903 26903 0.4962 1 0.4962 0.08284 0.2878 0.03125 0.9688 0.9375 1 4 0.05601 0.000004065 0.1146 0.9999 1 0.000009016 0.1191 0.12 0.04286 0.207 1.806 0.9375 0.6762 1.438 1 1 0.05325 0.1247 0.0006724 0.6428 1.505 0.008117 json
t13_x7_u14_b9 13 7 14 9 frc(dot(sqt(R),D)) 45993 105853443 o1(o2(o1(x),x)) true 26911 26911 -0.9941 0.003906 0.9981 0.009041 0.09509 -1 0.9729 1.973 1 0.05218 0.001339 0.001275 0.001975 0.02447 1 -3.754e-11 0.006051 0.003698 0.002608 0.05106 25.86 2.778 0.2891 0.6693 1 1 0.004547 0.0171 0.03188 0.5029 1.891 3.526 json
t13_x7_u14_b10 13 7 14 10 frc(dst(sqt(R),D)) 45994 105853444 o1(o2(o1(x),x)) true 26919 26919 -0.9944 0.003906 0.9978 0.008073 0.08985 -1 0.9703 1.97 1 0.05098 0.000938 0.001167 0.001729 -0.1087 1 3.379e-11 0.004681 0.003249 0.002099 0.04582 26.51 1.971 0.2607 0.5799 1 1 0.003656 0.01496 0.02854 0.4528 1.853 3.535 json
t13_x7_u15_b0 13 7 15 0 frc(add(log(R),D)) 45995 105853635 o1(o2(o1(x),x)) true 26927 26927 -0.9355 0.04297 0.9786 0.09522 0.3086 -1 0.9835 1.984 1 0.4229 0.01277 0.009578 0.01687 0.1429 1 0.0001099 0.04858 0.02959 0.02207 0.1486 8.804 2.805 0.2347 0.5102 1 1 0.01685 0.06643 0.1612 0.177 0.6976 1.693 json
t13_x7_u15_b1 13 7 15 1 frc(sub(log(R),D)) 45996 105853636 o1(o2(o1(x),x)) true 26935 26935 -0.9354 0.04297 0.9786 0.09539 0.3089 -1 0.9966 1.997 1 0.4236 0.01251 0.009353 0.01718 0.1444 1 0.00001704 0.04608 0.0292 0.02157 0.1469 8.547 2.771 0.2292 0.483 1 1 0.01558 0.06317 0.1581 0.1633 0.6623 1.658 json
t13_x7_u15_b2 13 7 15 2 frc(mlt(log(R),D)) 45997 105853637 o1(o2(o1(x),x)) true 26943 26943 -0.9358 0.04297 0.9782 0.0963 0.3103 -1 0.9979 1.998 1 0.4246 0.01064 0.009561 0.01549 0.05355 1 0.00001656 0.04218 0.02606 0.01997 0.1413 9.12 1.998 0.2098 0.438 1 1 0.01495 0.06454 0.1561 0.1552 0.6701 1.621 json
t13_x7_u15_b3 13 7 15 3 frc(div(log(R),D)) 45998 105853638 o1(o2(o1(x),x)) true 26951 26951 -0.936 0.04297 0.9781 0.09335 0.3055 -1 0.9892 1.989 1 0.4187 0.01261 0.009516 0.02104 0.1398 1 0.000008643 0.05008 0.03786 0.02168 0.1472 6.999 2.784 0.237 0.5365 1 1 0.01399 0.05999 0.1483 0.1499 0.6426 1.588 json
t13_x7_u15_b4 13 7 15 4 frc(pow(log(R),D)) 45999 105853639 o1(o2(o1(x),x)) true 26959 26959 -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