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
t15_x3_u46_b0 15 3 46 0 add(D,nrm(cil(P))) 71900 121939464 o2(x,o1(o1(x))) true 63207 63207 -0.01562 0.4922 0.6438 0.4945 0.7032 -1 1 2 1 4.793 0.003041 0.001198 0.03199 0.4346 1 2.201e-10 0.006295 0.01683 0.003216 0.05671 1.773 2.415 0.008573 0.01273 1 1 0.007668 0.03988 0.1501 0.01551 0.08065 0.3036 json
t15_x3_u46_b1 15 3 46 1 sub(D,nrm(cil(P))) 71901 121939465 o2(x,o1(o1(x))) true 63215 63215 -0.01562 0.4922 0.6497 0.5053 0.7108 -1 1 2 1 4.765 0.003581 0.001298 0.03884 0.4678 1 6.826e-10 0.006581 0.01951 0.003371 0.05806 1.495 1.969 0.009658 0.01303 1 1 0.009066 0.04923 0.1521 0.01794 0.09744 0.3009 json
t15_x3_u46_b2 15 3 46 2 mlt(D,nrm(cil(P))) 71902 121939466 o2(x,o1(o1(x))) true 63223 63223 -0.02947 0.4006 0.07957 0.02054 0.1433 -1 0.1454 1.145 1 2.396 0.00187 0.0008196 0.02545 0.3904 1 0.0002833 0.003915 0.0132 0.002042 0.04518 1.776 1.414 0.1309 0.1906 1 1 0.004949 0.0251 0.0539 0.2409 1.222 2.624 json
t15_x3_u46_b3 15 3 46 3 div(D,nrm(cil(P))) 71903 121939467 o2(x,o1(o1(x))) true 63231 63231 -0.07268 0.4745 0.2757 0.17 0.4124 -1 1 2 1 3.69 0.01582 0.000008146 0.06236 0.999 1 0.0003578 0.01749 0.0379 0.01194 0.1093 1.753 1.25 0.09309 0.1029 1 1 0.02367 0.1384 0.2372 0.1392 0.8141 1.395 json
t15_x3_u46_b4 15 3 46 4 pow(D,nrm(cil(P))) 71904 121939468 o2(x,o1(o1(x))) true 63239 63239 -0.8906 0.05469 1 0.2066 0.4545 -1 1 2 1 0.306 0.02771 0.002016 0.01485 0.8644 1 0 0.05996 0.02973 0.02953 0.1718 11.57 2.828 0.1439 0.2902 1 1 0.03856 0.1542 0.3368 0.1866 0.7465 1.63 json
t15_x3_u46_b5 15 3 46 5 mod(D,nrm(cil(P))) 71905 121939469 o2(x,o1(o1(x))) true 63247 63247 -0.125 0.4375 0.2218 0.1238 0.3519 -1 0.2688 1.269 1 3.199 0.01146 0.00001166 0.05075 0.998 1 -1.239e-10 0.01993 0.04522 0.008901 0.09434 1.859 1.031 0.09269 0.161 1 1 0.01526 0.06846 0.1743 0.1232 0.553 1.408 json
t15_x3_u46_b6 15 3 46 6 lrg(D,nrm(cil(P))) 71906 121939470 o2(x,o1(o1(x))) true 63255 63255 0.502 0.7217 0.502 0.208 0.4561 0 1 1 1 2.408 0.01328 0.00006842 0.04011 0.9897 1 -3.2e-9 0.02455 0.04228 0.01174 0.1084 2.702 0.9994 0.06418 0.118 1 1 0.01457 0.05386 0.07704 0.07007 0.2589 0.3704 json
t15_x3_u46_b7 15 3 46 7 eql(D,nrm(cil(P))) 71907 121939471 o2(x,o1(o1(x))) true 63263 63263 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
t15_x3_u46_b8 15 3 46 8 min(D,nrm(cil(P))) 71908 121939472 o2(x,o1(o1(x))) true 63271 63271 -0.3476 0.2115 0.387 0.1415 0.3761 -1 0.1454 1.145 1 4.101 0.00108 0.00001923 0.02518 0.965 1 0.0001643 0.000172 0.00954 0.0004653 0.02157 0.8567 0.1105 0.007768 0.001216 1 1 0.002261 0.01846 0.03674 0.01598 0.1305 0.2596 json
t15_x3_u46_b9 15 3 46 9 dot(D,nrm(cil(P))) 71909 121939473 o2(x,o1(o1(x))) true 63279 63279 -0.04331 0.3969 0.1068 0.02549 0.1596 -1 0.1994 1.199 1 2.822 0.001674 0.001674 0.03909 0.0000016 1 0.0005666 0.003669 0.01712 0.00182 0.04266 1.091 1.414 0.1314 0.144 1 1 0.006304 0.03573 0.05088 0.2473 1.402 1.996 json
t15_x3_u46_b10 15 3 46 10 dst(D,nrm(cil(P))) 71910 121939474 o2(x,o1(o1(x))) true 63287 63287 0.9508 0.9844 0.982 0.06199 0.249 -1 1 2 1 0.8039 0.004262 0.004262 0.01519 3.278e-7 1 -3.754e-10 0.01705 0.01752 0.008298 0.09109 5.995 2.828 0.1375 0.275 1 1 0.01485 0.05944 0.2251 0.2395 0.9588 3.632 json
t15_x3_u47_b0 15 3 47 0 add(D,nrm(sgn(P))) 71911 121939665 o2(x,o1(o1(x))) true 63295 63295 -0.01563 0.4922 0.6875 0.5026 0.7089 -1 1 2 1 4.132 0.003416 0.001211 0.03827 0.4766 1 -1.07e-9 0.006293 0.01723 0.003164 0.05625 1.47 2.415 0.009207 0.01252 1 1 0.008485 0.04893 0.1829 0.01688 0.09735 0.3639 json
t15_x3_u47_b1 15 3 47 1 sub(D,nrm(sgn(P))) 71912 121939666 o2(x,o1(o1(x))) true 63303 63303 -0.01563 0.4922 0.6923 0.5134 0.7165 -1 1 2 1 4.001 0.003841 0.00131 0.04122 0.4913 1 -3.18e-9 0.006558 0.01949 0.003454 0.05877 1.426 1.969 0.01003 0.01277 1 1 0.009617 0.05634 0.1857 0.01873 0.1097 0.3618 json
t15_x3_u47_b2 15 3 47 2 mlt(D,nrm(sgn(P))) 71913 121939667 o2(x,o1(o1(x))) true 63311 63311 -0.02669 0.4375 0.08658 0.02155 0.1468 -1 0.1454 1.145 1 2.372 0.001899 0.0008195 0.02743 0.397 1 0.0002296 0.003913 0.01384 0.001966 0.04434 1.617 1.414 0.1261 0.1816 1 1 0.005011 0.02592 0.05453 0.2325 1.203 2.53 json
t15_x3_u47_b3 15 3 47 3 div(D,nrm(sgn(P))) 71914 121939668 o2(x,o1(o1(x))) true 63319 63319 -0.125 0.4375 0.2396 0.1277 0.3574 -1 0.2056 1.206 1 3.167 0.01136 0.000001157 0.05165 0.9998 1 0.0004391 0.01647 0.03357 0.008687 0.0932 1.805 1.044 0.08893 0.1289 1 1 0.01719 0.08704 0.172 0.1346 0.6815 1.347 json
t15_x3_u47_b4 15 3 47 4 pow(D,nrm(sgn(P))) 71915 121939669 o2(x,o1(o1(x))) true 63327 63327 -0.8906 0.05469 1 0.2066 0.4545 -1 1 2 1 0.306 0.02771 0.002016 0.01485 0.8644 1 0 0.05996 0.02973 0.02953 0.1718 11.57 2.828 0.1439 0.2902 1 1 0.03856 0.1542 0.3368 0.1866 0.7465 1.63 json
t15_x3_u47_b5 15 3 47 5 mod(D,nrm(sgn(P))) 71916 121939670 o2(x,o1(o1(x))) true 63335 63335 -0.125 0.4375 0.2257 0.1252 0.3538 -1 0.2405 1.24 1 3.1 0.01145 0.000001007 0.05885 0.9998 1 3.989e-10 0.01943 0.0457 0.007989 0.08938 1.519 1.031 0.09149 0.1552 1 1 0.01547 0.07125 0.1715 0.1236 0.5692 1.37 json
t15_x3_u47_b6 15 3 47 6 lrg(D,nrm(sgn(P))) 71917 121939671 o2(x,o1(o1(x))) true 63343 63343 0.502 0.6967 0.502 0.2251 0.4744 0 1 1 1 2.036 0.005675 0.00001856 0.02591 0.9935 1 -6.123e-9 0.01066 0.03043 0.005022 0.07087 2.735 0.9994 0.0253 0.04738 1 1 0.007463 0.03222 0.06814 0.03316 0.1431 0.3028 json
t15_x3_u47_b7 15 3 47 7 eql(D,nrm(sgn(P))) 71918 121939672 o2(x,o1(o1(x))) true 63351 63351 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
t15_x3_u47_b8 15 3 47 8 min(D,nrm(sgn(P))) 71919 121939673 o2(x,o1(o1(x))) true 63359 63359 -0.358 0.221 0.3996 0.1306 0.3613 -0.9999 0.1454 1.145 1 2.897 0.001027 0.00002913 0.02249 0.9449 1 0.0001779 0.0001409 0.008285 0.0005508 0.02347 1.043 0.1105 0.008094 0.001079 1 1 0.002223 0.01961 0.04024 0.01703 0.1502 0.3082 json
t15_x3_u47_b9 15 3 47 9 dot(D,nrm(sgn(P))) 71920 121939674 o2(x,o1(o1(x))) true 63367 63367 -0.03775 0.4016 0.1077 0.02749 0.1658 -1 0.2056 1.206 1 2.962 0.001705 0.001705 0.04052 0.000009148 1 0.0004592 0.003668 0.01644 0.001769 0.04206 1.038 1.414 0.1241 0.1334 1 1 0.00644 0.03744 0.05233 0.2343 1.362 1.904 json
t15_x3_u47_b10 15 3 47 10 dst(D,nrm(sgn(P))) 71921 121939675 o2(x,o1(o1(x))) true 63375 63375 0.9483 0.9844 0.9795 0.06216 0.2493 -1 1 2 1 0.8266 0.004295 0.004295 0.01625 -0.000006288 1 -0.00001527 0.01707 0.01817 0.00832 0.09122 5.612 2.828 0.1382 0.2745 1 1 0.01497 0.06025 0.2256 0.2409 0.9692 3.629 json
t15_x3_u48_b0 15 3 48 0 add(D,nrm(nrm(P))) 71922 121939866 o2(x,o1(o1(x))) true 63383 63383 -0.01562 0.4922 0.6438 0.4945 0.7032 -1 1 2 1 4.793 0.003041 0.001198 0.03199 0.4346 1 -1.408e-12 0.006295 0.01683 0.003216 0.05671 1.773 2.415 0.008573 0.01273 1 1 0.007668 0.03988 0.1501 0.01551 0.08065 0.3036 json
t15_x3_u48_b1 15 3 48 1 sub(D,nrm(nrm(P))) 71923 121939867 o2(x,o1(o1(x))) true 63391 63391 -0.01562 0.4922 0.6497 0.5053 0.7108 -1 1 2 1 4.765 0.003581 0.001298 0.03884 0.4678 1 7.549e-10 0.006581 0.01951 0.003371 0.05806 1.495 1.969 0.009658 0.01303 1 1 0.009066 0.04923 0.1521 0.01794 0.09744 0.3009 json
t15_x3_u48_b2 15 3 48 2 mlt(D,nrm(nrm(P))) 71924 121939868 o2(x,o1(o1(x))) true 63399 63399 -0.02947 0.4006 0.07957 0.02054 0.1433 -1 0.1454 1.145 1 2.396 0.00187 0.0008196 0.02545 0.3904 1 0.0002833 0.003915 0.0132 0.002042 0.04518 1.776 1.414 0.1309 0.1906 1 1 0.004949 0.0251 0.0539 0.2409 1.222 2.624 json
t15_x3_u48_b3 15 3 48 3 div(D,nrm(nrm(P))) 71925 121939869 o2(x,o1(o1(x))) true 63407 63407 -0.07268 0.4745 0.2757 0.17 0.4124 -1 1 2 1 3.69 0.01582 0.000008146 0.06236 0.999 1 0.0003578 0.01749 0.0379 0.01194 0.1093 1.753 1.25 0.09309 0.1029 1 1 0.02367 0.1384 0.2372 0.1392 0.8141 1.395 json
t15_x3_u48_b4 15 3 48 4 pow(D,nrm(nrm(P))) 71926 121939870 o2(x,o1(o1(x))) true 63415 63415 -0.8906 0.05469 1 0.2066 0.4545 -1 1 2 1 0.306 0.02771 0.002016 0.01485 0.8644 1 0 0.05996 0.02973 0.02953 0.1718 11.57 2.828 0.1439 0.2902 1 1 0.03856 0.1542 0.3368 0.1866 0.7465 1.63 json
t15_x3_u48_b5 15 3 48 5 mod(D,nrm(nrm(P))) 71927 121939871 o2(x,o1(o1(x))) true 63423 63423 -0.125 0.4375 0.2218 0.1238 0.3519 -1 0.2688 1.269 1 3.199 0.01146 0.00001166 0.05075 0.998 1 -1.258e-10 0.01993 0.04522 0.008901 0.09434 1.859 1.031 0.09269 0.161 1 1 0.01526 0.06846 0.1743 0.1232 0.553 1.408 json
t15_x3_u48_b6 15 3 48 6 lrg(D,nrm(nrm(P))) 71928 121939872 o2(x,o1(o1(x))) true 63431 63431 0.502 0.7217 0.502 0.208 0.4561 0 1 1 1 2.408 0.01328 0.00006842 0.04011 0.9897 1 -3.2e-9 0.02455 0.04228 0.01174 0.1084 2.702 0.9994 0.06418 0.118 1 1 0.01457 0.05386 0.07704 0.07007 0.2589 0.3704 json
t15_x3_u48_b7 15 3 48 7 eql(D,nrm(nrm(P))) 71929 121939873 o2(x,o1(o1(x))) true 63439 63439 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
t15_x3_u48_b8 15 3 48 8 min(D,nrm(nrm(P))) 71930 121939874 o2(x,o1(o1(x))) true 63447 63447 -0.3476 0.2115 0.387 0.1415 0.3761 -1 0.1454 1.145 1 4.101 0.00108 0.00001923 0.02518 0.965 1 0.0001643 0.000172 0.00954 0.0004653 0.02157 0.8567 0.1105 0.007768 0.001216 1 1 0.002261 0.01846 0.03674 0.01598 0.1305 0.2596 json
t15_x3_u48_b9 15 3 48 9 dot(D,nrm(nrm(P))) 71931 121939875 o2(x,o1(o1(x))) true 63455 63455 -0.04331 0.3969 0.1068 0.02549 0.1596 -1 0.1994 1.199 1 2.822 0.001674 0.001674 0.03909 0.000001739 1 0.0005666 0.003669 0.01712 0.00182 0.04266 1.091 1.414 0.1314 0.144 1 1 0.006304 0.03573 0.05088 0.2473 1.402 1.996 json
t15_x3_u48_b10 15 3 48 10 dst(D,nrm(nrm(P))) 71932 121939876 o2(x,o1(o1(x))) true 63463 63463 0.9508 0.9844 0.982 0.06199 0.249 -1 1 2 1 0.8039 0.004262 0.004262 0.01519 3.278e-7 1 -6.758e-10 0.01705 0.01752 0.008298 0.09109 5.995 2.828 0.1375 0.275 1 1 0.01485 0.05944 0.2251 0.2395 0.9588 3.632 json
t15_x4_u0_b0 15 4 0 0 add(D,sqt(sqt(D))) 71933 121970619 o2(x,o1(o1(x))) true 63471 63471 -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
t15_x4_u0_b1 15 4 0 1 sub(D,sqt(sqt(D))) 71934 121970620 o2(x,o1(o1(x))) true 63479 63479 -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
t15_x4_u0_b2 15 4 0 2 mlt(D,sqt(sqt(D))) 71935 121970621 o2(x,o1(o1(x))) true 63487 63487 -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
t15_x4_u0_b3 15 4 0 3 div(D,sqt(sqt(D))) 71936 121970622 o2(x,o1(o1(x))) true 63495 63495 -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
t15_x4_u0_b4 15 4 0 4 pow(D,sqt(sqt(D))) 71937 121970623 o2(x,o1(o1(x))) true 63503 63503 -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
t15_x4_u0_b5 15 4 0 5 mod(D,sqt(sqt(D))) 71938 121970624 o2(x,o1(o1(x))) true 63511 63511 -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
t15_x4_u0_b6 15 4 0 6 lrg(D,sqt(sqt(D))) 71939 121970625 o2(x,o1(o1(x))) true 63519 63519 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
t15_x4_u0_b7 15 4 0 7 eql(D,sqt(sqt(D))) 71940 121970626 o2(x,o1(o1(x))) true 63527 63527 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
t15_x4_u0_b8 15 4 0 8 min(D,sqt(sqt(D))) 71941 121970627 o2(x,o1(o1(x))) true 63535 63535 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t15_x4_u0_b9 15 4 0 9 dot(D,sqt(sqt(D))) 71942 121970628 o2(x,o1(o1(x))) true 63543 63543 -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
t15_x4_u0_b10 15 4 0 10 dst(D,sqt(sqt(D))) 71943 121970629 o2(x,o1(o1(x))) true 63551 63551 -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
t15_x4_u1_b0 15 4 1 0 add(D,sqt(log(D))) 71944 121970820 o2(x,o1(o1(x))) true 63559 63559 -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
t15_x4_u1_b1 15 4 1 1 sub(D,sqt(log(D))) 71945 121970821 o2(x,o1(o1(x))) true 63567 63567 -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
t15_x4_u1_b2 15 4 1 2 mlt(D,sqt(log(D))) 71946 121970822 o2(x,o1(o1(x))) true 63575 63575 -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
t15_x4_u1_b3 15 4 1 3 div(D,sqt(log(D))) 71947 121970823 o2(x,o1(o1(x))) true 63583 63583 -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
t15_x4_u1_b4 15 4 1 4 pow(D,sqt(log(D))) 71948 121970824 o2(x,o1(o1(x))) true 63591 63591 -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
t15_x4_u1_b5 15 4 1 5 mod(D,sqt(log(D))) 71949 121970825 o2(x,o1(o1(x))) true 63599 63599 -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
t15_x4_u1_b6 15 4 1 6 lrg(D,sqt(log(D))) 71950 121970826 o2(x,o1(o1(x))) true 63607 63607 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
t15_x4_u1_b7 15 4 1 7 eql(D,sqt(log(D))) 71951 121970827 o2(x,o1(o1(x))) true 63615 63615 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
t15_x4_u1_b8 15 4 1 8 min(D,sqt(log(D))) 71952 121970828 o2(x,o1(o1(x))) true 63623 63623 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t15_x4_u1_b9 15 4 1 9 dot(D,sqt(log(D))) 71953 121970829 o2(x,o1(o1(x))) true 63631 63631 -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
t15_x4_u1_b10 15 4 1 10 dst(D,sqt(log(D))) 71954 121970830 o2(x,o1(o1(x))) true 63639 63639 -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
t15_x4_u2_b0 15 4 2 0 add(D,sqt(frc(D))) 71955 121971021 o2(x,o1(o1(x))) true 63647 63647 0.6675 1 0.6675 0.02887 0.1699 0.2077 0.9533 0.7456 1 2.5 0.03802 0 0.09308 1 1 -0.000221 0.09344 0.1234 0.02935 0.1713 1.84 0.7456 1.317 3.237 1 1 0.02984 0.02852 0 1.034 0.9881 0 json
t15_x4_u2_b1 15 4 2 1 sub(D,sqt(frc(D))) 71956 121971022 o2(x,o1(o1(x))) true 63655 63655 -0.6595 0 0.6595 0.09588 0.3096 -1 -0.1458 0.8542 1 3.274 0.04771 0 0.1046 1 1 0.0001953 0.09494 0.1169 0.03677 0.1918 1.833 0.8542 0.4976 0.9902 1 1 0.04873 0.164 0 0.5082 1.71 0 json
t15_x4_u2_b2 15 4 2 2 mlt(D,sqt(frc(D))) 71957 121971023 o2(x,o1(o1(x))) true 63663 63663 -0.01817 0.5 0.06355 0.005081 0.07128 -0.1285 0.07535 0.2039 1 2.18 0.0008113 0 0.02536 1 1 0.00004065 0.000175 0.01181 0.000168 0.01296 0.511 0.05199 0.1597 0.03443 1 1 0.001551 0.01014 0 0.3053 1.996 0 json
t15_x4_u2_b3 15 4 2 3 div(D,sqt(frc(D))) 71958 121971024 o2(x,o1(o1(x))) true 63671 63671 0.05274 0.5 0.1623 0.03191 0.1786 -0.1676 0.32 0.4876 1 2.953 0.005736 0 0.06028 1 1 0.00003823 0.0026 0.03542 0.002102 0.04585 0.7606 0.2066 0.1798 0.08148 1 1 0.0102 0.06248 0 0.3197 1.958 0 json
t15_x4_u2_b4 15 4 2 4 pow(D,sqt(frc(D))) 71959 121971025 o2(x,o1(o1(x))) true 63679 63679 -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
t15_x4_u2_b5 15 4 2 5 mod(D,sqt(frc(D))) 71960 121971026 o2(x,o1(o1(x))) true 63687 63687 0.01678 0.5 0.1111 0.01639 0.128 -0.1454 0.2504 0.3959 1 2.906 0.003717 0 0.04935 1 1 -0.00007607 0.00385 0.03097 0.001284 0.03583 0.726 0.1725 0.2267 0.2349 1 1 0.005513 0.03223 0 0.3364 1.966 0 json
t15_x4_u2_b6 15 4 2 6 lrg(D,sqt(frc(D))) 71961 121971027 o2(x,o1(o1(x))) true 63695 63695 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
t15_x4_u2_b7 15 4 2 7 eql(D,sqt(frc(D))) 71962 121971028 o2(x,o1(o1(x))) true 63703 63703 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
t15_x4_u2_b8 15 4 2 8 min(D,sqt(frc(D))) 71963 121971029 o2(x,o1(o1(x))) true 63711 63711 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t15_x4_u2_b9 15 4 2 9 dot(D,sqt(frc(D))) 71964 121971030 o2(x,o1(o1(x))) true 63719 63719 -0.03635 0.3594 0.08817 0.01016 0.1008 -0.2571 0.1507 0.4078 1 2.685 0.0008113 0.0008113 0.03812 0.000004125 1 0.00008132 0.0003499 0.01555 0.0001694 0.01302 0.3414 0.07353 0.1597 0.03444 1 1 0.003102 0.02029 0 0.3053 1.997 0 json
t15_x4_u2_b10 15 4 2 10 dst(D,sqt(frc(D))) 71965 121971031 o2(x,o1(o1(x))) true 63727 63727 0.8893 1 0.8893 0.03917 0.1979 0.2064 1 0.7936 1 1.926 0.01227 0.01227 0.06673 0.000002619 1 -0.0001822 0.05304 0.08655 0.02008 0.1417 2.124 0.7936 0.6266 1.354 1 1 0.02576 0.08913 0 0.6578 2.276 0 json
t15_x4_u3_b0 15 4 3 0 add(D,sqt(flr(D))) 71966 121971222 o2(x,o1(o1(x))) true 63735 63735 -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
t15_x4_u3_b1 15 4 3 1 sub(D,sqt(flr(D))) 71967 121971223 o2(x,o1(o1(x))) true 63743 63743 -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
t15_x4_u3_b2 15 4 3 2 mlt(D,sqt(flr(D))) 71968 121971224 o2(x,o1(o1(x))) true 63751 63751 -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
t15_x4_u3_b3 15 4 3 3 div(D,sqt(flr(D))) 71969 121971225 o2(x,o1(o1(x))) true 63759 63759 -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
t15_x4_u3_b4 15 4 3 4 pow(D,sqt(flr(D))) 71970 121971226 o2(x,o1(o1(x))) true 63767 63767 -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
t15_x4_u3_b5 15 4 3 5 mod(D,sqt(flr(D))) 71971 121971227 o2(x,o1(o1(x))) true 63775 63775 -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
t15_x4_u3_b6 15 4 3 6 lrg(D,sqt(flr(D))) 71972 121971228 o2(x,o1(o1(x))) true 63783 63783 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
t15_x4_u3_b7 15 4 3 7 eql(D,sqt(flr(D))) 71973 121971229 o2(x,o1(o1(x))) true 63791 63791 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
t15_x4_u3_b8 15 4 3 8 min(D,sqt(flr(D))) 71974 121971230 o2(x,o1(o1(x))) true 63799 63799 -0.143 0 0.143 0.009237 0.09611 -0.2729 -0.000282 0.2726 1 2.227 0.001451 0 0.03416 1 1 0.0003063 0.0002653 0.01361 0.0002853 0.01689 0.4945 0.06184 0.1571 0.02873 1 1 0.002788 0.01827 0 0.3018 1.978 0 json
t15_x4_u3_b9 15 4 3 9 dot(D,sqt(flr(D))) 71975 121971231 o2(x,o1(o1(x))) true 63807 63807 -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
t15_x4_u3_b10 15 4 3 10 dst(D,sqt(flr(D))) 71976 121971232 o2(x,o1(o1(x))) true 63815 63815 -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
t15_x4_u4_b0 15 4 4 0 add(D,sqt(cil(D))) 71977 121971423 o2(x,o1(o1(x))) true 63823 63823 0.4823 0.6875 0.5176 0.2029 0.4504 -0.09672 1 1.097 1 2.852 0.07312 0 0.135 1 1 0.00006836 0.122 0.1445 0.0549 0.2343 1.736 1.031 0.3604 0.6012 1 1 0.0864 0.3709 0 0.4259 1.828 0 json
t15_x4_u4_b1 15 4 4 1 sub(D,sqt(cil(D))) 71978 121971424 o2(x,o1(o1(x))) true 63831 63831 -0.5 0 0.5 0.08301 0.2881 -0.9688 -0.03125 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t15_x4_u4_b2 15 4 4 2 mlt(D,sqt(cil(D))) 71979 121971425 o2(x,o1(o1(x))) true 63839 63839 0.143 1 0.143 0.009237 0.09611 0.000282 0.2729 0.2726 1 2.227 0.001439 0 0.034 1 1 -0.0003063 0.0002653 0.01361 0.0002839 0.01685 0.4956 0.06184 0.1558 0.02873 1 1 0.002731 0.01827 0 0.2956 1.978 0 json
t15_x4_u4_b3 15 4 4 3 div(D,sqt(cil(D))) 71980 121971426 o2(x,o1(o1(x))) true 63847 63847 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
t15_x4_u4_b4 15 4 4 4 pow(D,sqt(cil(D))) 71981 121971427 o2(x,o1(o1(x))) true 63855 63855 0.6431 1 0.6431 0.1162 0.3409 0.03153 1 0.9685 1 3.274 0.06116 0 0.1185 1 1 -0.0003062 0.12 0.129 0.0471 0.217 1.831 0.9685 0.5262 1.033 1 1 0.06329 0.1908 0 0.5445 1.641 0 json
t15_x4_u4_b5 15 4 4 5 mod(D,sqt(cil(D))) 71982 121971428 o2(x,o1(o1(x))) true 63863 63863 -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
t15_x4_u4_b6 15 4 4 6 lrg(D,sqt(cil(D))) 71983 121971429 o2(x,o1(o1(x))) true 63871 63871 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
t15_x4_u4_b7 15 4 4 7 eql(D,sqt(cil(D))) 71984 121971430 o2(x,o1(o1(x))) true 63879 63879 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
t15_x4_u4_b8 15 4 4 8 min(D,sqt(cil(D))) 71985 121971431 o2(x,o1(o1(x))) true 63887 63887 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t15_x4_u4_b9 15 4 4 9 dot(D,sqt(cil(D))) 71986 121971432 o2(x,o1(o1(x))) true 63895 63895 0.286 1 0.286 0.01848 0.1359 0.0005639 0.5458 0.5452 1 3.068 0.001439 0.001439 0.05111 0.000006592 1 -0.0006125 0.0005308 0.01887 0.0002665 0.01632 0.3194 0.08746 0.1558 0.02873 1 1 0.005461 0.03655 0 0.2956 1.978 0 json
t15_x4_u4_b10 15 4 4 10 dst(D,sqt(cil(D))) 71987 121971433 o2(x,o1(o1(x))) true 63903 63903 0.7381 1 0.7381 0.06233 0.2497 0.04419 1 0.9558 1 3.416 0.0205 0.0205 0.1005 -0.000002908 1 0.00005702 0.089 0.1284 0.03088 0.1757 1.748 1.308 0.6576 1.428 1 1 0.04137 0.1096 0 0.6637 1.758 0 json
t15_x4_u5_b0 15 4 5 0 add(D,sqt(sgn(D))) 71988 121971624 o2(x,o1(o1(x))) true 63911 63911 -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
t15_x4_u5_b1 15 4 5 1 sub(D,sqt(sgn(D))) 71989 121971625 o2(x,o1(o1(x))) true 63919 63919 -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
t15_x4_u5_b2 15 4 5 2 mlt(D,sqt(sgn(D))) 71990 121971626 o2(x,o1(o1(x))) true 63927 63927 -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
t15_x4_u5_b3 15 4 5 3 div(D,sqt(sgn(D))) 71991 121971627 o2(x,o1(o1(x))) true 63935 63935 -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
t15_x4_u5_b4 15 4 5 4 pow(D,sqt(sgn(D))) 71992 121971628 o2(x,o1(o1(x))) true 63943 63943 -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
t15_x4_u5_b5 15 4 5 5 mod(D,sqt(sgn(D))) 71993 121971629 o2(x,o1(o1(x))) true 63951 63951 -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
t15_x4_u5_b6 15 4 5 6 lrg(D,sqt(sgn(D))) 71994 121971630 o2(x,o1(o1(x))) true 63959 63959 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
t15_x4_u5_b7 15 4 5 7 eql(D,sqt(sgn(D))) 71995 121971631 o2(x,o1(o1(x))) true 63967 63967 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
t15_x4_u5_b8 15 4 5 8 min(D,sqt(sgn(D))) 71996 121971632 o2(x,o1(o1(x))) true 63975 63975 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0.003151 0.02183 0 0.2912 2.017 0 json
t15_x4_u5_b9 15 4 5 9 dot(D,sqt(sgn(D))) 71997 121971633 o2(x,o1(o1(x))) true 63983 63983 -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
t15_x4_u5_b10 15 4 5 10 dst(D,sqt(sgn(D))) 71998 121971634 o2(x,o1(o1(x))) true 63991 63991 -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
t15_x4_u6_b0 15 4 6 0 add(D,sqt(nrm(D))) 71999 121971825 o2(x,o1(o1(x))) true 63999 63999 -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