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_x5_u4_b4 13 5 4 4 sqt(pow(cil(D),R)) 44800 105770626 o1(o2(o1(x),x)) true 17367 17367 -0.1602 0.4727 0.8945 0.8465 0.9201 -1 1 2 1 2.016 0.09513 0.1171 0.1286 -0.1035 1 7.127e-7 0.4473 0.2356 0.1957 0.4424 3.439 2.828 0.2507 0.5284 1 1 0.2153 0.8904 1.54 0.2543 1.052 1.819 json
t13_x5_u4_b5 13 5 4 5 sqt(mod(cil(D),R)) 44801 105770627 o1(o2(o1(x),x)) true 17375 17375 0.1905 0.9749 0.1905 0.0287 0.1694 0.000005506 0.694 0.694 1 2.967 0.01088 0.0001261 0.04938 0.9771 1 -0.000001564 0.02023 0.05138 0.008565 0.09255 1.874 0.6938 0.3834 0.7048 1 1 0.01257 0.04627 0.01645 0.438 1.612 0.5733 json
t13_x5_u4_b6 13 5 4 6 sqt(lrg(cil(D),R)) 44802 105770628 o1(o2(o1(x),x)) true 17383 17383 0.7607 1 0.7607 0.1075 0.3279 0.000291 1 0.9997 1 2.776 0.02734 0.00118 0.06882 0.9172 1 0.00001639 0.05101 0.06655 0.02378 0.1542 2.241 0.9997 0.2652 0.4745 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.318 json
t13_x5_u4_b7 13 5 4 7 sqt(eql(cil(D),R)) 44803 105770629 o1(o2(o1(x),x)) true 17391 17391 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_x5_u4_b8 13 5 4 8 sqt(min(cil(D),R)) 44804 105770630 o1(o2(o1(x),x)) true 17399 17399 -0.9416 0.04282 0.9725 0.07963 0.2822 -1 0.9707 1.971 1 0.4143 0.008333 0.007941 0.01323 0.0241 1 0.000005971 0.03381 0.02306 0.0161 0.1269 9.59 1.971 0.2044 0.4246 1 1 0.01245 0.05423 0.1306 0.1563 0.681 1.64 json
t13_x5_u4_b9 13 5 4 9 sqt(dot(cil(D),R)) 44805 105770631 o1(o2(o1(x),x)) true 17407 17407 -0.778 0.1445 0.9329 0.3024 0.5499 -1 1 2 1 1.168 0.03205 0.03575 0.04884 -0.05454 1 0.000006183 0.1424 0.08705 0.06545 0.2558 5.238 2.653 0.2242 0.471 1 1 0.09162 0.379 0.8111 0.303 1.253 2.682 json
t13_x5_u4_b10 13 5 4 10 sqt(dst(cil(D),R)) 44806 105770632 o1(o2(o1(x),x)) true 17415 17415 0.9739 1 0.9739 0.004378 0.06617 0.3153 1 0.6847 1 0.8949 0.0007461 0.0007781 0.01174 -0.02099 1 -0.00002313 0.002901 0.01501 0.001386 0.03723 3.171 0.9327 0.3481 0.6625 1 1 0.001515 0.006611 0.007722 0.3461 1.51 1.764 json
t13_x5_u5_b0 13 5 5 0 sqt(add(sgn(D),R)) 44807 105770823 o1(o2(o1(x),x)) true 17423 17423 -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_x5_u5_b1 13 5 5 1 sqt(sub(sgn(D),R)) 44808 105770824 o1(o2(o1(x),x)) true 17431 17431 -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_x5_u5_b2 13 5 5 2 sqt(mlt(sgn(D),R)) 44809 105770825 o1(o2(o1(x),x)) true 17439 17439 -0.9341 0.03906 0.9878 0.1081 0.3288 -1 0.9878 1.988 1 0.3696 0.01418 0.01174 0.01578 0.09433 1 9.479e-7 0.05474 0.03039 0.02567 0.1602 10.15 2.767 0.2398 0.5064 1 1 0.02843 0.1157 0.2478 0.263 1.07 2.292 json
t13_x5_u5_b3 13 5 5 3 sqt(div(sgn(D),R)) 44810 105770826 o1(o2(o1(x),x)) true 17447 17447 -0.9219 0.03906 1 0.1501 0.3874 -1 1 2 1 0.238 0.01965 0.01612 0.01776 0.09859 1 0 0.07559 0.03578 0.03547 0.1883 10.6 2.828 0.2384 0.5037 1 1 0.03789 0.1542 0.336 0.2525 1.028 2.239 json
t13_x5_u5_b4 13 5 5 4 sqt(pow(sgn(D),R)) 44811 105770827 o1(o2(o1(x),x)) true 17455 17455 -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_x5_u5_b5 13 5 5 5 sqt(mod(sgn(D),R)) 44812 105770828 o1(o2(o1(x),x)) true 17463 17463 -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_x5_u5_b6 13 5 5 6 sqt(lrg(sgn(D),R)) 44813 105770829 o1(o2(o1(x),x)) true 17471 17471 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_x5_u5_b7 13 5 5 7 sqt(eql(sgn(D),R)) 44814 105770830 o1(o2(o1(x),x)) true 17479 17479 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_x5_u5_b8 13 5 5 8 sqt(min(sgn(D),R)) 44815 105770831 o1(o2(o1(x),x)) true 17487 17487 -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_x5_u5_b9 13 5 5 9 sqt(dot(sgn(D),R)) 44816 105770832 o1(o2(o1(x),x)) true 17495 17495 -0.8659 0.07813 0.9778 0.2163 0.4651 -1 1 2 1 0.6639 0.02838 0.02416 0.03207 0.08037 1 -0.000001539 0.1107 0.06045 0.0515 0.2269 7.077 2.828 0.243 0.5118 1 1 0.0555 0.2328 0.4424 0.2566 1.077 2.046 json
t13_x5_u5_b10 13 5 5 10 sqt(dst(sgn(D),R)) 44817 105770833 o1(o2(o1(x),x)) true 17503 17503 0.9898 1 0.9898 0.001958 0.04425 0.528 1 0.472 1 0.425 0.0004779 0.0004663 0.006273 0.01223 1 -0.00001604 0.001893 0.00874 0.0009046 0.03008 4.794 0.571 0.4821 0.9667 1 1 0.0008479 0.002999 0.003217 0.4329 1.531 1.643 json
t13_x5_u6_b0 13 5 6 0 sqt(add(nrm(D),R)) 44818 105771024 o1(o2(o1(x),x)) true 17511 17511 -0.9491 0.03258 0.9858 0.07796 0.2792 -1 0.9442 1.944 1 0.3205 0.04876 0.01539 0.04174 0.5202 1 0.00005509 0.1899 0.08403 0.06239 0.2498 5.985 2.606 0.8229 2.436 1 1 0.05457 0.122 0.1528 0.7 1.565 1.96 json
t13_x5_u6_b1 13 5 6 1 sqt(sub(nrm(D),R)) 44819 105771025 o1(o2(o1(x),x)) true 17519 17519 -0.9517 0.03107 0.9861 0.07392 0.2719 -1 1 2 1 0.3133 0.04886 0.01626 0.0426 0.5007 1 0.0002602 0.1934 0.08562 0.06326 0.2515 5.904 2.828 0.8809 2.616 1 1 0.06468 0.1363 0.1321 0.875 1.844 1.787 json
t13_x5_u6_b2 13 5 6 2 sqt(mlt(nrm(D),R)) 44820 105771026 o1(o2(o1(x),x)) true 17527 17527 -0.9402 0.03906 0.9817 0.08953 0.2992 -1 0.9782 1.978 1 0.3821 0.008355 0.01156 0.01533 -0.1608 1 0.0000236 0.04091 0.02609 0.01968 0.1403 9.152 2.552 0.2224 0.457 1 1 0.02309 0.09649 0.2051 0.258 1.078 2.291 json
t13_x5_u6_b3 13 5 6 3 sqt(div(nrm(D),R)) 44821 105771027 o1(o2(o1(x),x)) true 17535 17535 -0.9253 0.03906 0.9966 0.1386 0.3722 -1 1 2 1 0.3042 0.0134 0.01615 0.01793 -0.09308 1 0.00001302 0.05982 0.03185 0.02925 0.171 9.538 2.828 0.2133 0.4317 1 1 0.03324 0.142 0.3081 0.2399 1.025 2.224 json
t13_x5_u6_b4 13 5 6 4 sqt(pow(nrm(D),R)) 44822 105771028 o1(o2(o1(x),x)) true 17543 17543 -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_x5_u6_b5 13 5 6 5 sqt(mod(nrm(D),R)) 44823 105771029 o1(o2(o1(x),x)) true 17551 17551 -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_x5_u6_b6 13 5 6 6 sqt(lrg(nrm(D),R)) 44824 105771030 o1(o2(o1(x),x)) true 17559 17559 0.4971 0.9685 0.4971 0.1233 0.3512 0 1 1 1 3.75 0.04151 0.0244 0.1336 0.2595 1 0.00003765 0.2031 0.1737 0.04805 0.2192 1.64 1.413 0.5344 1.647 1 1 0.07087 0.215 0.1495 0.5746 1.743 1.212 json
t13_x5_u6_b7 13 5 6 7 sqt(eql(nrm(D),R)) 44825 105771031 o1(o2(o1(x),x)) true 17567 17567 0.0001227 0.0004578 0.0001227 0.00007621 0.00873 0 0.9926 0.9926 1 0.00431 0.0001573 0.0001561 0.000426 0.00389 1 1.877e-12 0.001564 0.0009951 0.0003132 0.0177 41.54 1.404 4.113 20.52 1 1 0.0002312 0.0002312 0.0002071 3.034 3.034 2.717 json
t13_x5_u6_b8 13 5 6 8 sqt(min(nrm(D),R)) 44826 105771032 o1(o2(o1(x),x)) true 17575 17575 -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_x5_u6_b9 13 5 6 9 sqt(dot(nrm(D),R)) 44827 105771033 o1(o2(o1(x),x)) true 17583 17583 -0.8874 0.06805 0.9765 0.1762 0.4198 -1 1 2 1 0.6022 0.04768 0.04275 0.05639 0.05447 1 -0.0002618 0.2703 0.1135 0.08729 0.2955 5.24 2.828 0.5132 1.534 1 1 0.09749 0.301 0.3939 0.5532 1.708 2.235 json
t13_x5_u6_b10 13 5 6 10 sqt(dst(nrm(D),R)) 44828 105771034 o1(o2(o1(x),x)) true 17591 17591 0.9746 1 0.9746 0.004764 0.06902 0.2466 1 0.7534 1 0.8702 0.0009301 0.0008951 0.01508 0.01921 1 0.0000181 0.003585 0.01348 0.001598 0.03998 2.65 0.9838 0.3831 0.7525 1 1 0.002527 0.009312 0.009559 0.5303 1.954 2.006 json
t13_x5_u7_b0 13 5 7 0 log(add(sqt(D),R)) 44829 105771225 o1(o2(o1(x),x)) true 17599 17599 -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_x5_u7_b1 13 5 7 1 log(sub(sqt(D),R)) 44830 105771226 o1(o2(o1(x),x)) true 17607 17607 -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_x5_u7_b2 13 5 7 2 log(mlt(sqt(D),R)) 44831 105771227 o1(o2(o1(x),x)) true 17615 17615 -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_x5_u7_b3 13 5 7 3 log(div(sqt(D),R)) 44832 105771228 o1(o2(o1(x),x)) true 17623 17623 -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_x5_u7_b4 13 5 7 4 log(pow(sqt(D),R)) 44833 105771229 o1(o2(o1(x),x)) true 17631 17631 -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_x5_u7_b5 13 5 7 5 log(mod(sqt(D),R)) 44834 105771230 o1(o2(o1(x),x)) true 17639 17639 -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_x5_u7_b6 13 5 7 6 log(lrg(sqt(D),R)) 44835 105771231 o1(o2(o1(x),x)) true 17647 17647 -0.3184 0 0.3184 0.2171 0.466 -1 0 1 1 0.9026 0.08056 0.01257 0.09257 0.7301 1 0 0.2049 0.1863 0.0846 0.2909 3.142 1.414 0.4289 0.9436 1 1 0.09201 0.2577 0.3628 0.4237 1.187 1.671 json
t13_x5_u7_b7 13 5 7 7 log(eql(sqt(D),R)) 44836 105771232 o1(o2(o1(x),x)) true 17655 17655 -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_x5_u7_b8 13 5 7 8 log(min(sqt(D),R)) 44837 105771233 o1(o2(o1(x),x)) true 17663 17663 -0.9885 0 0.9885 0.006068 0.07789 -1 -0.06198 0.938 1 0.2806 0.0006717 0.0007175 0.00395 -0.03293 1 -0.00001069 0.002614 0.004948 0.001373 0.03706 9.382 1.212 0.229 0.4308 1 1 0.001218 0.005957 0.01105 0.2008 0.9817 1.822 json
t13_x5_u7_b9 13 5 7 9 log(dot(sqt(D),R)) 44838 105771234 o1(o2(o1(x),x)) true 17671 17671 -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_x5_u7_b10 13 5 7 10 log(dst(sqt(D),R)) 44839 105771235 o1(o2(o1(x),x)) true 17679 17679 -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_x5_u8_b0 13 5 8 0 log(add(log(D),R)) 44840 105771426 o1(o2(o1(x),x)) true 17687 17687 -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_x5_u8_b1 13 5 8 1 log(sub(log(D),R)) 44841 105771427 o1(o2(o1(x),x)) true 17695 17695 -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_x5_u8_b2 13 5 8 2 log(mlt(log(D),R)) 44842 105771428 o1(o2(o1(x),x)) true 17703 17703 -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_x5_u8_b3 13 5 8 3 log(div(log(D),R)) 44843 105771429 o1(o2(o1(x),x)) true 17711 17711 -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_x5_u8_b4 13 5 8 4 log(pow(log(D),R)) 44844 105771430 o1(o2(o1(x),x)) true 17719 17719 -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_x5_u8_b5 13 5 8 5 log(mod(log(D),R)) 44845 105771431 o1(o2(o1(x),x)) true 17727 17727 -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_x5_u8_b6 13 5 8 6 log(lrg(log(D),R)) 44846 105771432 o1(o2(o1(x),x)) true 17735 17735 -0.9338 0 0.9338 0.0618 0.2486 -1 0 1 1 0.3514 0.02923 0.005102 0.03398 0.7028 1 0.000252 0.07672 0.06841 0.03316 0.1821 5.359 1.414 0.5555 1.241 1 1 0.03515 0.0959 0.1064 0.5688 1.552 1.721 json
t13_x5_u8_b7 13 5 8 7 log(eql(log(D),R)) 44847 105771433 o1(o2(o1(x),x)) true 17743 17743 -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_x5_u8_b8 13 5 8 8 log(min(log(D),R)) 44848 105771434 o1(o2(o1(x),x)) true 17751 17751 -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_x5_u8_b9 13 5 8 9 log(dot(log(D),R)) 44849 105771435 o1(o2(o1(x),x)) true 17759 17759 -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_x5_u8_b10 13 5 8 10 log(dst(log(D),R)) 44850 105771436 o1(o2(o1(x),x)) true 17767 17767 -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_x5_u9_b0 13 5 9 0 log(add(frc(D),R)) 44851 105771627 o1(o2(o1(x),x)) true 17775 17775 -0.7287 0.1248 0.7956 0.2105 0.4588 -1 0.6667 1.667 1 2.36 0.07452 0.009441 0.1054 0.7751 1 0.0007814 0.1722 0.1552 0.07283 0.2699 2.561 2.3 0.3989 0.818 1 1 0.0856 0.2635 0.2598 0.4067 1.252 1.234 json
t13_x5_u9_b1 13 5 9 1 log(sub(frc(D),R)) 44852 105771628 o1(o2(o1(x),x)) true 17783 17783 -0.752 0.1174 0.8132 0.2006 0.4479 -1 0.6763 1.676 1 2.142 0.07616 0.009946 0.1026 0.769 1 0.0003219 0.1871 0.1593 0.0756 0.275 2.681 2.348 0.4292 0.9326 1 1 0.08392 0.2371 0.294 0.4183 1.182 1.466 json
t13_x5_u9_b2 13 5 9 2 log(mlt(frc(D),R)) 44853 105771629 o1(o2(o1(x),x)) true 17791 17791 -0.996 0 0.996 0.002067 0.04546 -1 -0.09375 0.9063 1 0.1176 0.0005968 0.0002369 0.002286 0.4318 1 0.00002803 0.001679 0.002938 0.0008285 0.02878 12.59 1.167 0.4034 0.8125 1 1 0.0007296 0.002457 0.00369 0.353 1.189 1.785 json
t13_x5_u9_b3 13 5 9 3 log(div(frc(D),R)) 44854 105771630 o1(o2(o1(x),x)) true 17799 17799 -0.9613 0.01909 0.9807 0.05141 0.2267 -1 1 2 1 0.3796 0.007806 0.005236 0.01224 0.1971 1 -0.00004962 0.02633 0.01748 0.01288 0.1135 9.276 2.828 0.2537 0.5121 1 1 0.009373 0.03882 0.08205 0.1823 0.7552 1.596 json
t13_x5_u9_b4 13 5 9 4 log(pow(frc(D),R)) 44855 105771631 o1(o2(o1(x),x)) true 17807 17807 -0.006753 0.5013 0.3235 0.214 0.4626 -1 1 2 1 4.398 0.05199 0.004069 0.1221 0.8548 1 -0.000009147 0.107 0.1265 0.04115 0.2028 1.661 0.9908 0.262 0.5001 1 1 0.06226 0.2367 0.3845 0.2909 1.106 1.797 json
t13_x5_u9_b5 13 5 9 5 log(mod(frc(D),R)) 44856 105771632 o1(o2(o1(x),x)) true 17815 17815 -0.9551 0 0.9551 0.02085 0.1444 -1 -0.03206 0.9679 1 0.9479 0.01196 0.000683 0.03545 0.8919 1 -0.0002346 0.02768 0.05233 0.01138 0.1067 3.01 0.968 0.6062 1.327 1 1 0.01106 0.0299 0.03343 0.5302 1.434 1.603 json
t13_x5_u9_b6 13 5 9 6 log(lrg(frc(D),R)) 44857 105771633 o1(o2(o1(x),x)) true 17823 17823 -0.6462 0 0.6462 0.2286 0.4781 -1 0 1 1 0.9374 0.1071 0.01331 0.1198 0.7791 1 0.0002205 0.271 0.2407 0.1061 0.3257 2.718 1.414 0.5269 1.186 1 1 0.111 0.2787 0.3174 0.4854 1.219 1.388 json
t13_x5_u9_b7 13 5 9 7 log(eql(frc(D),R)) 44858 105771634 o1(o2(o1(x),x)) true 17831 17831 -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_x5_u9_b8 13 5 9 8 log(min(frc(D),R)) 44859 105771635 o1(o2(o1(x),x)) true 17839 17839 -0.9929 0 0.9929 0.003623 0.06019 -1 -0.062 0.938 1 0.1987 0.0006536 0.0004063 0.002974 0.2334 1 0.00001867 0.00202 0.00376 0.001051 0.03242 10.9 1.212 0.2926 0.5574 1 1 0.0009487 0.004016 0.006521 0.2619 1.108 1.8 json
t13_x5_u9_b9 13 5 9 9 log(dot(frc(D),R)) 44860 105771636 o1(o2(o1(x),x)) true 17847 17847 -0.9898 0.001099 0.9901 0.006497 0.08061 -1 0.5888 1.589 1 0.2378 0.001729 0.002023 0.006747 -0.0781 1 0.00001224 0.009271 0.01036 0.003707 0.06088 9.024 2.247 0.5775 1.427 1 1 0.005063 0.01381 0.01706 0.7792 2.126 2.626 json
t13_x5_u9_b10 13 5 9 10 log(dst(frc(D),R)) 44861 105771637 o1(o2(o1(x),x)) true 17855 17855 0.1083 0.6528 0.2924 0.1172 0.3424 -1 1 2 1 4.432 0.01386 0.01352 0.09719 0.01246 1 0.0002338 0.05219 0.1003 0.01793 0.1339 1.378 1.337 0.2335 0.4452 1 1 0.02886 0.112 0.1944 0.2462 0.9551 1.658 json
t13_x5_u10_b0 13 5 10 0 log(add(flr(D),R)) 44862 105771828 o1(o2(o1(x),x)) true 17863 17863 -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_x5_u10_b1 13 5 10 1 log(sub(flr(D),R)) 44863 105771829 o1(o2(o1(x),x)) true 17871 17871 -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_x5_u10_b2 13 5 10 2 log(mlt(flr(D),R)) 44864 105771830 o1(o2(o1(x),x)) true 17879 17879 -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_x5_u10_b3 13 5 10 3 log(div(flr(D),R)) 44865 105771831 o1(o2(o1(x),x)) true 17887 17887 -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_x5_u10_b4 13 5 10 4 log(pow(flr(D),R)) 44866 105771832 o1(o2(o1(x),x)) true 17895 17895 -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_x5_u10_b5 13 5 10 5 log(mod(flr(D),R)) 44867 105771833 o1(o2(o1(x),x)) true 17903 17903 -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_x5_u10_b6 13 5 10 6 log(lrg(flr(D),R)) 44868 105771834 o1(o2(o1(x),x)) true 17911 17911 -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_x5_u10_b7 13 5 10 7 log(eql(flr(D),R)) 44869 105771835 o1(o2(o1(x),x)) true 17919 17919 -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_x5_u10_b8 13 5 10 8 log(min(flr(D),R)) 44870 105771836 o1(o2(o1(x),x)) true 17927 17927 -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_x5_u10_b9 13 5 10 9 log(dot(flr(D),R)) 44871 105771837 o1(o2(o1(x),x)) true 17935 17935 -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_x5_u10_b10 13 5 10 10 log(dst(flr(D),R)) 44872 105771838 o1(o2(o1(x),x)) true 17943 17943 0.2081 0.7621 0.3253 0.1112 0.3334 -1 1 2 1 4.404 0.01258 0.01321 0.08551 -0.02431 1 0.00001879 0.04652 0.09234 0.01848 0.1359 1.59 1.314 0.232 0.4185 1 1 0.02778 0.1295 0.1673 0.2499 1.165 1.505 json
t13_x5_u11_b0 13 5 11 0 log(add(cil(D),R)) 44873 105772029 o1(o2(o1(x),x)) true 17951 17951 -0.8726 0.04266 0.8957 0.1036 0.3219 -1 0.6821 1.682 1 1.454 0.01446 0.01168 0.03799 0.1062 1 0.00003945 0.05296 0.05305 0.02471 0.1572 4.138 1.831 0.2523 0.511 1 1 0.02575 0.1115 0.2151 0.2485 1.076 2.075 json
t13_x5_u11_b1 13 5 11 1 log(sub(cil(D),R)) 44874 105772030 o1(o2(o1(x),x)) true 17959 17959 -0.8563 0.05208 0.8849 0.1186 0.3444 -1 0.6923 1.692 1 1.569 0.01679 0.01133 0.04193 0.1943 1 0.000008411 0.05528 0.05648 0.02635 0.1623 3.872 1.788 0.2371 0.4662 1 1 0.0303 0.1315 0.2254 0.2555 1.109 1.9 json
t13_x5_u11_b2 13 5 11 2 log(mlt(cil(D),R)) 44875 105772031 o1(o2(o1(x),x)) true 17967 17967 -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_x5_u11_b3 13 5 11 3 log(div(cil(D),R)) 44876 105772032 o1(o2(o1(x),x)) true 17975 17975 -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_x5_u11_b4 13 5 11 4 log(pow(cil(D),R)) 44877 105772033 o1(o2(o1(x),x)) true 17983 17983 -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_x5_u11_b5 13 5 11 5 log(mod(cil(D),R)) 44878 105772034 o1(o2(o1(x),x)) true 17991 17991 -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_x5_u11_b6 13 5 11 6 log(lrg(cil(D),R)) 44879 105772035 o1(o2(o1(x),x)) true 17999 17999 -0.7461 0 0.7461 0.1894 0.4352 -1 0 1 1 0.8174 0.0217 0.01616 0.03759 0.1464 1 0 0.0794 0.07571 0.03646 0.191 5.08 1.414 0.1998 0.4191 1 1 0.03928 0.1611 0.3593 0.2074 0.8505 1.897 json
t13_x5_u11_b7 13 5 11 7 log(eql(cil(D),R)) 44880 105772036 o1(o2(o1(x),x)) true 18007 18007 -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_x5_u11_b8 13 5 11 8 log(min(cil(D),R)) 44881 105772037 o1(o2(o1(x),x)) true 18015 18015 -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_x5_u11_b9 13 5 11 9 log(dot(cil(D),R)) 44882 105772038 o1(o2(o1(x),x)) true 18023 18023 -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_x5_u11_b10 13 5 11 10 log(dst(cil(D),R)) 44883 105772039 o1(o2(o1(x),x)) true 18031 18031 0.1891 0.747 0.3172 0.1119 0.3346 -1 1 2 1 4.398 0.01334 0.01279 0.08469 0.02099 1 -0.000002999 0.04746 0.09246 0.01895 0.1377 1.625 1.596 0.2334 0.424 1 1 0.02702 0.1324 0.1797 0.2413 1.183 1.606 json
t13_x5_u12_b0 13 5 12 0 log(add(sgn(D),R)) 44884 105772230 o1(o2(o1(x),x)) true 18039 18039 -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_x5_u12_b1 13 5 12 1 log(sub(sgn(D),R)) 44885 105772231 o1(o2(o1(x),x)) true 18047 18047 -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_x5_u12_b2 13 5 12 2 log(mlt(sgn(D),R)) 44886 105772232 o1(o2(o1(x),x)) true 18055 18055 -0.9879 0 0.9879 0.007586 0.0871 -1 -0.02456 0.9754 1 0.2644 0.001129 0.001061 0.004299 0.03135 1 0.000005436 0.004541 0.006809 0.002171 0.04659 10.84 1.288 0.2887 0.5986 1 1 0.002791 0.01112 0.02038 0.3679 1.466 2.687 json
t13_x5_u12_b3 13 5 12 3 log(div(sgn(D),R)) 44887 105772233 o1(o2(o1(x),x)) true 18063 18063 -0.9339 0.03906 0.9879 0.1114 0.3338 -1 1 2 1 0.3699 0.01409 0.01134 0.01583 0.1079 1 -0.000005437 0.05336 0.02996 0.02518 0.1587 10.02 2.828 0.2282 0.4789 1 1 0.02482 0.1049 0.2351 0.2228 0.9413 2.109 json
t13_x5_u12_b4 13 5 12 4 log(pow(sgn(D),R)) 44888 105772234 o1(o2(o1(x),x)) true 18071 18071 -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_x5_u12_b5 13 5 12 5 log(mod(sgn(D),R)) 44889 105772235 o1(o2(o1(x),x)) true 18079 18079 -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_x5_u12_b6 13 5 12 6 log(lrg(sgn(D),R)) 44890 105772236 o1(o2(o1(x),x)) true 18087 18087 -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_x5_u12_b7 13 5 12 7 log(eql(sgn(D),R)) 44891 105772237 o1(o2(o1(x),x)) true 18095 18095 -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_x5_u12_b8 13 5 12 8 log(min(sgn(D),R)) 44892 105772238 o1(o2(o1(x),x)) true 18103 18103 -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_x5_u12_b9 13 5 12 9 log(dot(sgn(D),R)) 44893 105772239 o1(o2(o1(x),x)) true 18111 18111 -0.9676 0.01138 0.9712 0.02758 0.1661 -1 0.6031 1.603 1 0.4684 0.005013 0.003954 0.01288 0.1181 1 0.00002506 0.01819 0.01891 0.0088 0.09381 7.281 1.678 0.3251 0.6593 1 1 0.01182 0.04886 0.07172 0.4286 1.771 2.6 json
t13_x5_u12_b10 13 5 12 10 log(dst(sgn(D),R)) 44894 105772240 o1(o2(o1(x),x)) true 18119 18119 0.4268 0.9036 0.4803 0.1017 0.3189 -1 1 2 1 4.216 0.01775 0.0178 0.08514 -0.001438 1 -0.000003059 0.06856 0.1014 0.02829 0.1682 1.976 2.247 0.3495 0.6741 1 1 0.03533 0.1578 0.1919 0.3474 1.552 1.887 json
t13_x5_u13_b0 13 5 13 0 log(add(nrm(D),R)) 44895 105772431 o1(o2(o1(x),x)) true 18127 18127 -0.9957 0 0.9957 0.002116 0.046 -1 -0.115 0.885 1 0.126 0.002303 0.0002471 0.00585 0.8062 1 0.00006201 0.006823 0.009887 0.002514 0.05014 8.571 0.93 1.205 3.224 1 1 0.001881 0.002949 0.003644 0.8887 1.393 1.722 json
t13_x5_u13_b1 13 5 13 1 log(sub(nrm(D),R)) 44896 105772432 o1(o2(o1(x),x)) true 18135 18135 -0.996 0.00004578 0.996 0.002067 0.04546 -1 0.03249 1.032 1 0.119 0.002004 0.0004635 0.005376 0.6243 1 0.00003798 0.007009 0.009239 0.00244 0.04939 9.189 1.44 1.194 3.391 1 1 0.002182 0.003572 0.003588 1.056 1.728 1.736 json
t13_x5_u13_b2 13 5 13 2 log(mlt(nrm(D),R)) 44897 105772433 o1(o2(o1(x),x)) true 18143 18143 -0.995 0 0.995 0.002771 0.05264 -1 -0.04449 0.9555 1 0.1337 0.0002356 0.001095 0.003253 -0.6459 1 0.00003989 0.002864 0.004588 0.00132 0.03633 11.17 0.9555 0.4803 1.034 1 1 0.002009 0.005398 0.007464 0.725 1.948 2.694 json
t13_x5_u13_b3 13 5 13 3 log(div(nrm(D),R)) 44898 105772434 o1(o2(o1(x),x)) true 18151 18151 -0.9521 0.02606 0.9841 0.07275 0.2697 -1 1 2 1 0.3769 0.005253 0.01181 0.01587 -0.3842 1 0.00005695 0.03378 0.02175 0.01681 0.1297 8.168 2.828 0.2345 0.4643 1 1 0.01874 0.07815 0.15 0.2576 1.074 2.062 json
t13_x5_u13_b4 13 5 13 4 log(pow(nrm(D),R)) 44899 105772435 o1(o2(o1(x),x)) true 18159 18159 -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