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
t10_x8_u0_b2 10 8 0 2 sqt(sqt(mlt(R,R))) 13800 81529220 o1(o1(o2(x,x))) true 110407 110407 0.6816 1 0.6816 0.03273 0.1809 0.05307 0.9995 0.9464 1 3.489 0.0004323 0.0004672 0.02409 -0.03884 1 6.377e-7 0.0000541 0.005554 0.0003192 0.01787 0.7416 0.1077 0.02748 0.001653 1 1 0 0 0.001536 0 0 0.04694 json
t10_x8_u0_b3 10 8 0 3 sqt(sqt(div(R,R))) 13801 81529221 o1(o1(o2(x,x))) true 110415 110415 1 1 1 7.91e-16 2.813e-8 1 1 5.96e-8 1 0 6.937e-17 7.161e-17 2.341e-9 -0.000002238 0 6.916e-9 1.649e-15 6.916e-9 1.355e-16 1.164e-8 4.974 8.429e-8 0.000141 0.001649 0 1 0 0 1.533e-16 0 0 0.0001533 json
t10_x8_u0_b4 10 8 0 4 sqt(sqt(pow(R,R))) 13802 81529222 o1(o1(o2(x,x))) true 110423 110423 -0.9167 0.04297 0.9974 0.1546 0.3931 -1 0.9862 1.986 1 0.2987 0.01584 0.01538 0.01613 0.0147 1 9.088e-7 0.06528 0.03225 0.03095 0.1759 10.91 2.785 0.202 0.4223 1 1 0 0 0.02387 0 0 0.1545 json
t10_x8_u0_b5 10 8 0 5 sqt(sqt(mod(R,R))) 13803 81529223 o1(o1(o2(x,x))) true 110431 110431 -0.341 0.1819 0.4325 0.2956 0.5437 -1 0.9885 1.989 1 1.79 0.02165 0.0206 0.04405 0.02502 1 -0.00001848 0.08654 0.07394 0.04032 0.2008 4.558 2.812 0.1429 0.2927 1 1 0 0 0.04168 0 0 0.141 json
t10_x8_u0_b6 10 8 0 6 sqt(sqt(lrg(R,R))) 13804 81529224 o1(o1(o2(x,x))) true 110439 110439 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
t10_x8_u0_b7 10 8 0 7 sqt(sqt(eql(R,R))) 13805 81529225 o1(o1(o2(x,x))) true 110447 110447 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
t10_x8_u0_b8 10 8 0 8 sqt(sqt(min(R,R))) 13806 81529226 o1(o1(o2(x,x))) true 110455 110455 -0.9208 0.04297 0.9933 0.1402 0.3744 -1 0.9854 1.985 1 0.3622 0.01428 0.01406 0.01576 0.007564 1 0.000003324 0.05924 0.03076 0.02809 0.1676 10.63 2.779 0.2022 0.4227 1 1 0 0 0.0221 0 0 0.1576 json
t10_x8_u0_b9 10 8 0 9 sqt(sqt(dot(R,R))) 13807 81529227 o1(o1(o2(x,x))) true 110463 110463 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009877 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0 0 0.0004445 0 0 0.05345 json
t10_x8_u0_b10 10 8 0 10 sqt(sqt(dst(R,R))) 13808 81529228 o1(o1(o2(x,x))) true 110471 110471 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
t10_x8_u1_b0 10 8 1 0 sqt(log(add(R,R))) 13809 81529419 o1(o1(o2(x,x))) true 110479 110479 -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
t10_x8_u1_b1 10 8 1 1 sqt(log(sub(R,R))) 13810 81529420 o1(o1(o2(x,x))) true 110487 110487 -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
t10_x8_u1_b2 10 8 1 2 sqt(log(mlt(R,R))) 13811 81529421 o1(o1(o2(x,x))) true 110495 110495 -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
t10_x8_u1_b3 10 8 1 3 sqt(log(div(R,R))) 13812 81529422 o1(o1(o2(x,x))) true 110503 110503 -0.5781 0.01706 0.5781 0.2438 0.4938 -1 0.0003451 1 1 0.9823 0.01688 0.01537 0.03204 0.04687 1 -7.809e-10 0.06708 0.0645 0.03121 0.1767 5.514 1.414 0.1323 0.2752 1 1 0 0 0.02957 0 0 0.1213 json
t10_x8_u1_b4 10 8 1 4 sqt(log(pow(R,R))) 13813 81529423 o1(o1(o2(x,x))) true 110511 110511 -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
t10_x8_u1_b5 10 8 1 5 sqt(log(mod(R,R))) 13814 81529424 o1(o1(o2(x,x))) true 110519 110519 -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
t10_x8_u1_b6 10 8 1 6 sqt(log(lrg(R,R))) 13815 81529425 o1(o1(o2(x,x))) true 110527 110527 -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
t10_x8_u1_b7 10 8 1 7 sqt(log(eql(R,R))) 13816 81529426 o1(o1(o2(x,x))) true 110535 110535 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
t10_x8_u1_b8 10 8 1 8 sqt(log(min(R,R))) 13817 81529427 o1(o1(o2(x,x))) true 110543 110543 -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
t10_x8_u1_b9 10 8 1 9 sqt(log(dot(R,R))) 13818 81529428 o1(o1(o2(x,x))) true 110551 110551 -0.834 0.1055 0.9551 0.2361 0.4859 -1 0.9416 1.942 1 0.8373 0.02113 0.01883 0.02718 0.05749 1 -0.000006418 0.08315 0.05089 0.03922 0.198 7.287 2.601 0.1693 0.3522 1 1 0 0 0.04443 0 0 0.1882 json
t10_x8_u1_b10 10 8 1 10 sqt(log(dst(R,R))) 13819 81529429 o1(o1(o2(x,x))) true 110559 110559 -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
t10_x8_u2_b0 10 8 2 0 sqt(frc(add(R,R))) 13820 81529620 o1(o1(o2(x,x))) true 110567 110567 0.6864 1 0.6864 0.03192 0.1787 0.04368 0.9972 0.9535 1 3.454 0.0004135 0.000452 0.02318 -0.04445 1 -0.0000132 0.00005092 0.005318 0.0003281 0.01811 0.7813 0.1082 0.02712 0.001595 1 1 0 0 0.001846 0 0 0.05783 json
t10_x8_u2_b1 10 8 2 1 sqt(frc(sub(R,R))) 13821 81529621 o1(o1(o2(x,x))) true 110575 110575 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
t10_x8_u2_b2 10 8 2 2 sqt(frc(mlt(R,R))) 13822 81529622 o1(o1(o2(x,x))) true 110583 110583 0.5171 1 0.5171 0.05134 0.2266 0.003042 0.9989 0.9959 1 3.837 0.000667 0.0007231 0.03061 -0.04037 1 -1.191e-7 0.0000839 0.007073 0.000453 0.02128 0.6953 0.1114 0.02708 0.001634 1 1 0 0 0.002392 0 0 0.0466 json
t10_x8_u2_b3 10 8 2 3 sqt(frc(div(R,R))) 13823 81529623 o1(o1(o2(x,x))) true 110591 110591 0.2227 0.5771 0.2227 0.1126 0.3356 0 1 1 1 2.476 0.001358 0.001414 0.03256 -0.02028 1 -0.00001567 0.0001641 0.007924 0.001712 0.04138 1.271 0.1169 0.02461 0.001457 1 1 0 0 0.005968 0 0 0.053 json
t10_x8_u2_b4 10 8 2 4 sqt(frc(pow(R,R))) 13824 81529624 o1(o1(o2(x,x))) true 110599 110599 -0.9191 0.04297 0.9949 0.1457 0.3817 -1 0.9727 1.973 1 0.3124 0.01491 0.01449 0.01576 0.0143 1 0.000001711 0.06146 0.03131 0.02914 0.1707 10.83 2.744 0.2018 0.4218 1 1 0 0 0.02248 0 0 0.1543 json
t10_x8_u2_b5 10 8 2 5 sqt(frc(mod(R,R))) 13825 81529625 o1(o1(o2(x,x))) true 110607 110607 0.1483 0.5519 0.1483 0.05691 0.2386 0 0.996 0.996 1 2.3 0.0006653 0.0007058 0.02227 -0.02959 1 0.000005972 0.00007972 0.005303 0.0008749 0.02958 1.328 0.1165 0.02409 0.001401 1 1 0 0 0.002989 0 0 0.05253 json
t10_x8_u2_b6 10 8 2 6 sqt(frc(lrg(R,R))) 13826 81529626 o1(o1(o2(x,x))) true 110615 110615 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
t10_x8_u2_b7 10 8 2 7 sqt(frc(eql(R,R))) 13827 81529627 o1(o1(o2(x,x))) true 110623 110623 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
t10_x8_u2_b8 10 8 2 8 sqt(frc(min(R,R))) 13828 81529628 o1(o1(o2(x,x))) true 110631 110631 0.6868 1 0.6868 0.03476 0.1864 0.0309 0.9985 0.9676 1 3.478 0.0004771 0.0004443 0.02416 0.03565 1 0.00003276 0.00005447 0.005544 0.0003376 0.01837 0.7605 0.1115 0.02651 0.001567 1 1 0 0 0.001683 0 0 0.04842 json
t10_x8_u2_b9 10 8 2 9 sqt(frc(dot(R,R))) 13829 81529629 o1(o1(o2(x,x))) true 110639 110639 0.6506 1 0.6506 0.03144 0.1773 0.01083 0.9974 0.9865 1 3.485 0.0003954 0.0004534 0.02348 -0.06831 1 0.000001825 0.00004914 0.005329 0.0002976 0.01725 0.7349 0.1153 0.027 0.001563 1 1 0 0 0.001667 0 0 0.05303 json
t10_x8_u2_b10 10 8 2 10 sqt(frc(dst(R,R))) 13830 81529630 o1(o1(o2(x,x))) true 110647 110647 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
t10_x8_u3_b0 10 8 3 0 sqt(flr(add(R,R))) 13831 81529821 o1(o1(o2(x,x))) true 110655 110655 -0.9355 0.04254 0.9785 0.09834 0.3136 -1 1 2 1 0.4117 0.009506 0.01028 0.01467 -0.03903 1 0.00001996 0.04099 0.02504 0.01958 0.1399 9.542 2.828 0.2012 0.4168 1 1 0 0 0.01611 0 0 0.1638 json
t10_x8_u3_b1 10 8 3 1 sqt(flr(sub(R,R))) 13832 81529822 o1(o1(o2(x,x))) true 110663 110663 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
t10_x8_u3_b2 10 8 3 2 sqt(flr(mlt(R,R))) 13833 81529823 o1(o1(o2(x,x))) true 110671 110671 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
t10_x8_u3_b3 10 8 3 3 sqt(flr(div(R,R))) 13834 81529824 o1(o1(o2(x,x))) true 110679 110679 0.7773 0.9859 0.7773 0.1126 0.3356 0 1 1 1 2.476 0.001358 0.001414 0.03255 -0.02029 1 0.00001567 0.0001641 0.007924 0.001712 0.04138 1.271 0.1169 0.02461 0.001457 1 1 0 0 0.005968 0 0 0.05299 json
t10_x8_u3_b4 10 8 3 4 sqt(flr(pow(R,R))) 13835 81529825 o1(o1(o2(x,x))) true 110687 110687 -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 0 0.006357 0 0 0.1546 json
t10_x8_u3_b5 10 8 3 5 sqt(flr(mod(R,R))) 13836 81529826 o1(o1(o2(x,x))) true 110695 110695 -0.3867 0 0.3867 0.2371 0.4869 -1 0 1 1 0.9626 0.01609 0.01653 0.03245 -0.01351 1 0 0.06755 0.06526 0.03159 0.1777 5.477 1.414 0.1376 0.285 1 1 0 0 0.03053 0 0 0.1288 json
t10_x8_u3_b6 10 8 3 6 sqt(flr(lrg(R,R))) 13837 81529827 o1(o1(o2(x,x))) true 110703 110703 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
t10_x8_u3_b7 10 8 3 7 sqt(flr(eql(R,R))) 13838 81529828 o1(o1(o2(x,x))) true 110711 110711 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
t10_x8_u3_b8 10 8 3 8 sqt(flr(min(R,R))) 13839 81529829 o1(o1(o2(x,x))) true 110719 110719 -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 0 0.006357 0 0 0.1546 json
t10_x8_u3_b9 10 8 3 9 sqt(flr(dot(R,R))) 13840 81529830 o1(o1(o2(x,x))) true 110727 110727 0.528 0.9065 0.528 0.1617 0.4021 0 1 1 1 3.299 0.001926 0.002254 0.04757 -0.07858 1 -0.000008576 0.0002866 0.01187 0.001917 0.04379 0.9204 0.1653 0.02585 0.001772 1 1 0 0 0.008224 0 0 0.05086 json
t10_x8_u3_b10 10 8 3 10 sqt(flr(dst(R,R))) 13841 81529831 o1(o1(o2(x,x))) true 110735 110735 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
t10_x8_u4_b0 10 8 4 0 sqt(cil(add(R,R))) 13842 81530022 o1(o1(o2(x,x))) true 110743 110743 -0.4615 0.3137 0.8822 0.6455 0.8034 -1 1 2 1 1.865 0.03969 0.04644 0.06325 -0.07839 1 -0.00002449 0.1748 0.1012 0.0821 0.2865 4.53 2.828 0.1334 0.2709 1 1 0 0 0.1002 0 0 0.1552 json
t10_x8_u4_b1 10 8 4 1 sqt(cil(sub(R,R))) 13843 81530023 o1(o1(o2(x,x))) true 110751 110751 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
t10_x8_u4_b2 10 8 4 2 sqt(cil(mlt(R,R))) 13844 81530024 o1(o1(o2(x,x))) true 110759 110759 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
t10_x8_u4_b3 10 8 4 3 sqt(cil(div(R,R))) 13845 81530025 o1(o1(o2(x,x))) true 110767 110767 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
t10_x8_u4_b4 10 8 4 4 sqt(cil(pow(R,R))) 13846 81530026 o1(o1(o2(x,x))) true 110775 110775 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0 0 0.02543 0 0 0.1546 json
t10_x8_u4_b5 10 8 4 5 sqt(cil(mod(R,R))) 13847 81530027 o1(o1(o2(x,x))) true 110783 110783 0.09766 0.3093 0.09766 0.05569 0.236 0 1 1 1 1.481 0.0007269 0.0007714 0.01782 -0.02968 1 -0.00003992 0.0000893 0.00432 0.001181 0.03436 1.929 0.1169 0.02691 0.001604 1 1 0 0 0.003155 0 0 0.05666 json
t10_x8_u4_b6 10 8 4 6 sqt(cil(lrg(R,R))) 13848 81530028 o1(o1(o2(x,x))) true 110791 110791 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
t10_x8_u4_b7 10 8 4 7 sqt(cil(eql(R,R))) 13849 81530029 o1(o1(o2(x,x))) true 110799 110799 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
t10_x8_u4_b8 10 8 4 8 sqt(cil(min(R,R))) 13850 81530030 o1(o1(o2(x,x))) true 110807 110807 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0 0 0.008731 0 0 0.0568 json
t10_x8_u4_b9 10 8 4 9 sqt(cil(dot(R,R))) 13851 81530031 o1(o1(o2(x,x))) true 110815 110815 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
t10_x8_u4_b10 10 8 4 10 sqt(cil(dst(R,R))) 13852 81530032 o1(o1(o2(x,x))) true 110823 110823 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
t10_x8_u5_b0 10 8 5 0 sqt(sgn(add(R,R))) 13853 81530223 o1(o1(o2(x,x))) true 110831 110831 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0 0 0.02543 0 0 0.1546 json
t10_x8_u5_b1 10 8 5 1 sqt(sgn(sub(R,R))) 13854 81530224 o1(o1(o2(x,x))) true 110839 110839 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
t10_x8_u5_b2 10 8 5 2 sqt(sgn(mlt(R,R))) 13855 81530225 o1(o1(o2(x,x))) true 110847 110847 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
t10_x8_u5_b3 10 8 5 3 sqt(sgn(div(R,R))) 13856 81530226 o1(o1(o2(x,x))) true 110855 110855 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
t10_x8_u5_b4 10 8 5 4 sqt(sgn(pow(R,R))) 13857 81530227 o1(o1(o2(x,x))) true 110863 110863 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0 0 0.02543 0 0 0.1546 json
t10_x8_u5_b5 10 8 5 5 sqt(sgn(mod(R,R))) 13858 81530228 o1(o1(o2(x,x))) true 110871 110871 -0.3291 0.1826 0.4443 0.3167 0.5628 -1 1 2 1 1.845 0.02352 0.02184 0.04706 0.03708 1 -0.00002566 0.09244 0.07611 0.04313 0.2077 4.413 2.828 0.1432 0.2919 1 1 0 0 0.04459 0 0 0.1408 json
t10_x8_u5_b6 10 8 5 6 sqt(sgn(lrg(R,R))) 13859 81530229 o1(o1(o2(x,x))) true 110879 110879 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
t10_x8_u5_b7 10 8 5 7 sqt(sgn(eql(R,R))) 13860 81530230 o1(o1(o2(x,x))) true 110887 110887 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
t10_x8_u5_b8 10 8 5 8 sqt(sgn(min(R,R))) 13861 81530231 o1(o1(o2(x,x))) true 110895 110895 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0 0 0.02543 0 0 0.1546 json
t10_x8_u5_b9 10 8 5 9 sqt(sgn(dot(R,R))) 13862 81530232 o1(o1(o2(x,x))) true 110903 110903 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
t10_x8_u5_b10 10 8 5 10 sqt(sgn(dst(R,R))) 13863 81530233 o1(o1(o2(x,x))) true 110911 110911 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
t10_x8_u6_b0 10 8 6 0 sqt(nrm(add(R,R))) 13864 81530424 o1(o1(o2(x,x))) true 110919 110919 -0.9249 0.04297 0.9892 0.1264 0.3555 -1 0.9679 1.968 1 0.3741 0.01275 0.01285 0.01512 -0.004135 1 0.000004251 0.05352 0.02923 0.02538 0.1593 10.53 2.548 0.2025 0.4233 1 1 0 0 0.01981 0 0 0.1567 json
t10_x8_u6_b1 10 8 6 1 sqt(nrm(sub(R,R))) 13865 81530425 o1(o1(o2(x,x))) true 110927 110927 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
t10_x8_u6_b2 10 8 6 2 sqt(nrm(mlt(R,R))) 13866 81530426 o1(o1(o2(x,x))) true 110935 110935 0.6238 1 0.6238 0.05124 0.2264 0.003315 0.9981 0.9948 1 3.769 0.0007644 0.0007532 0.03166 0.007332 1 -0.000003364 0.00009282 0.007384 0.0005155 0.02271 0.7172 0.1154 0.02962 0.001811 1 1 0 0 0.002556 0 0 0.04989 json
t10_x8_u6_b3 10 8 6 3 sqt(nrm(div(R,R))) 13867 81530427 o1(o1(o2(x,x))) true 110943 110943 0.7604 1 0.7604 3.618e-7 0.0006015 0.7598 0.7598 5.96e-8 1 0 2.618e-17 2.842e-17 9.067e-10 -0.000002238 0 2.673e-9 6.373e-16 2.673e-9 5.382e-17 7.336e-9 8.091 8.429e-8 1.509e-10 1.761e-9 1 1 0 0 5.944e-17 0 0 1.643e-10 json
t10_x8_u6_b4 10 8 6 4 sqt(nrm(pow(R,R))) 13868 81530428 o1(o1(o2(x,x))) true 110951 110951 -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
t10_x8_u6_b5 10 8 6 5 sqt(nrm(mod(R,R))) 13869 81530429 o1(o1(o2(x,x))) true 110959 110959 -0.9814 0.01108 0.9873 0.02294 0.1514 -1 0.9994 1.999 1 0.1565 0.002871 0.0005303 0.003318 0.6882 1 3.191e-11 0.006841 0.005607 0.00339 0.05823 17.55 1.999 0.1483 0.2983 1 1 0 0 0.001274 0 0 0.05556 json
t10_x8_u6_b6 10 8 6 6 sqt(nrm(lrg(R,R))) 13870 81530430 o1(o1(o2(x,x))) true 110967 110967 -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
t10_x8_u6_b7 10 8 6 7 sqt(nrm(eql(R,R))) 13871 81530431 o1(o1(o2(x,x))) true 110975 110975 0.7604 1 0.7604 3.618e-7 0.0006015 0.7598 0.7598 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
t10_x8_u6_b8 10 8 6 8 sqt(nrm(min(R,R))) 13872 81530432 o1(o1(o2(x,x))) true 110983 110983 -0.9249 0.04297 0.9892 0.1264 0.3555 -1 0.9679 1.968 1 0.3741 0.01275 0.01285 0.01512 -0.004135 1 0.000004251 0.05352 0.02923 0.02538 0.1593 10.53 2.548 0.2025 0.4233 1 1 0 0 0.01981 0 0 0.1567 json
t10_x8_u6_b9 10 8 6 9 sqt(nrm(dot(R,R))) 13873 81530433 o1(o1(o2(x,x))) true 110991 110991 0.7604 1 0.7604 3.618e-7 0.0006015 0.7598 0.7598 5.96e-8 1 0 4.252e-17 3.871e-17 1.349e-9 0.000003804 0 4.164e-9 9.927e-16 4.164e-9 7.937e-17 8.909e-9 6.603 8.429e-8 2.245e-10 2.744e-9 1 1 0 0 9.704e-17 0 0 2.682e-10 json
t10_x8_u6_b10 10 8 6 10 sqt(nrm(dst(R,R))) 13874 81530434 o1(o1(o2(x,x))) true 110999 110999 -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
t10_x8_u7_b0 10 8 7 0 log(sqt(add(R,R))) 13875 81530625 o1(o1(o2(x,x))) true 111007 111007 -0.9577 0.02403 0.965 0.04234 0.2058 -1 0.3171 1.317 1 0.4157 0.004291 0.004415 0.009474 -0.01427 1 0.000007853 0.0181 0.01663 0.008616 0.09282 9.798 1.803 0.2056 0.4273 1 1 0 0 0.007183 0 0 0.1696 json
t10_x8_u7_b1 10 8 7 1 log(sqt(sub(R,R))) 13876 81530626 o1(o1(o2(x,x))) true 111015 111015 -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
t10_x8_u7_b2 10 8 7 2 log(sqt(mlt(R,R))) 13877 81530627 o1(o1(o2(x,x))) true 111023 111023 -0.6893 0 0.6893 0.09874 0.3142 -1 -0.001079 0.9989 1 3.327 0.001885 0.002025 0.03965 -0.03583 1 0.0001022 0.001109 0.01554 0.002338 0.04835 1.219 0.3762 0.0396 0.01124 1 1 0 0 0.006535 0 0 0.06619 json
t10_x8_u7_b3 10 8 7 3 log(sqt(div(R,R))) 13878 81530628 o1(o1(o2(x,x))) true 111031 111031 -5.704e-9 0 7.487e-9 1.437e-16 1.199e-8 -2.98e-8 5.957e-8 8.937e-8 1 0.09198 1.668e-18 1.827e-18 1.158e-9 -1.595e-7 0 8.072e-13 2.071e-19 2.809e-10 2.154e-18 1.468e-9 1.267 1.045e-8 0.000003496 2.071e-7 0 1 0 0 6.099e-18 0 0 0.000006099 json
t10_x8_u7_b4 10 8 7 4 log(sqt(pow(R,R))) 13879 81530629 o1(o1(o2(x,x))) true 111039 111039 -0.9625 0 0.9625 0.03146 0.1774 -1 -0.02773 0.9723 1 0.3101 0.003201 0.003119 0.007458 0.01302 1 0.000001932 0.01321 0.01453 0.006268 0.07917 10.62 1.327 0.2009 0.4198 1 1 0 0 0.004837 0 0 0.1537 json
t10_x8_u7_b5 10 8 7 5 log(sqt(mod(R,R))) 13880 81530630 o1(o1(o2(x,x))) true 111047 111047 -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
t10_x8_u7_b6 10 8 7 6 log(sqt(lrg(R,R))) 13881 81530631 o1(o1(o2(x,x))) true 111055 111055 -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
t10_x8_u7_b7 10 8 7 7 log(sqt(eql(R,R))) 13882 81530632 o1(o1(o2(x,x))) true 111063 111063 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
t10_x8_u7_b8 10 8 7 8 log(sqt(min(R,R))) 13883 81530633 o1(o1(o2(x,x))) true 111071 111071 -0.9725 0 0.9725 0.01921 0.1386 -1 -0.02948 0.9705 1 0.391 0.001973 0.00206 0.006619 -0.0214 1 0.000007853 0.008324 0.01096 0.00399 0.06317 9.543 1.313 0.21 0.4333 1 1 0 0 0.00339 0 0 0.1765 json
t10_x8_u7_b9 10 8 7 9 log(sqt(dot(R,R))) 13884 81530634 o1(o1(o2(x,x))) true 111079 111079 -0.07705 0.4672 0.2057 0.07215 0.2686 -1 0.4433 1.443 1 3.97 0.0008163 0.001119 0.03282 -0.1565 1 0.00001519 0.0001677 0.007841 0.0008586 0.0293 0.8929 0.2795 0.02683 0.002324 1 1 0 0 0.003218 0 0 0.0446 json
t10_x8_u7_b10 10 8 7 10 log(sqt(dst(R,R))) 13885 81530635 o1(o1(o2(x,x))) true 111087 111087 -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
t10_x8_u8_b0 10 8 8 0 log(log(add(R,R))) 13886 81530826 o1(o1(o2(x,x))) true 111095 111095 -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
t10_x8_u8_b1 10 8 8 1 log(log(sub(R,R))) 13887 81530827 o1(o1(o2(x,x))) true 111103 111103 -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
t10_x8_u8_b2 10 8 8 2 log(log(mlt(R,R))) 13888 81530828 o1(o1(o2(x,x))) true 111111 111111 -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
t10_x8_u8_b3 10 8 8 3 log(log(div(R,R))) 13889 81530829 o1(o1(o2(x,x))) true 111119 111119 -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
t10_x8_u8_b4 10 8 8 4 log(log(pow(R,R))) 13890 81530830 o1(o1(o2(x,x))) true 111127 111127 -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
t10_x8_u8_b5 10 8 8 5 log(log(mod(R,R))) 13891 81530831 o1(o1(o2(x,x))) true 111135 111135 -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
t10_x8_u8_b6 10 8 8 6 log(log(lrg(R,R))) 13892 81530832 o1(o1(o2(x,x))) true 111143 111143 -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
t10_x8_u8_b7 10 8 8 7 log(log(eql(R,R))) 13893 81530833 o1(o1(o2(x,x))) true 111151 111151 -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
t10_x8_u8_b8 10 8 8 8 log(log(min(R,R))) 13894 81530834 o1(o1(o2(x,x))) true 111159 111159 -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
t10_x8_u8_b9 10 8 8 9 log(log(dot(R,R))) 13895 81530835 o1(o1(o2(x,x))) true 111167 111167 -0.9861 0 0.9861 0.005735 0.07573 -1 -0.1204 0.8796 1 0.3888 0.0004623 0.00071 0.004611 -0.2113 1 0.000002979 0.002153 0.005659 0.001152 0.03394 7.362 0.9183 0.2044 0.3754 1 1 0 0 0.001661 0 0 0.2897 json
t10_x8_u8_b10 10 8 8 10 log(log(dst(R,R))) 13896 81530836 o1(o1(o2(x,x))) true 111175 111175 -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
t10_x8_u9_b0 10 8 9 0 log(frc(add(R,R))) 13897 81531027 o1(o1(o2(x,x))) true 111183 111183 -0.6774 0 0.6774 0.09534 0.3088 -1 -0.005694 0.9943 1 3.346 0.001797 0.001953 0.03822 -0.04157 1 0.00005491 0.001103 0.01503 0.002289 0.04784 1.252 0.4092 0.03933 0.01157 1 1 0 0 0.007223 0 0 0.07576 json
t10_x8_u9_b1 10 8 9 1 log(frc(sub(R,R))) 13898 81531028 o1(o1(o2(x,x))) true 111191 111191 -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
t10_x8_u9_b2 10 8 9 2 log(frc(mlt(R,R))) 13899 81531029 o1(o1(o2(x,x))) true 111199 111199 -0.8638 0 0.8638 0.06081 0.2466 -1 -0.002157 0.9978 1 1.995 0.00179 0.001925 0.02721 -0.0364 1 0.0001552 0.001741 0.01594 0.002976 0.05455 2.005 0.4973 0.0611 0.02864 1 1 0 0 0.005791 0 0 0.09524 json