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_u22_b6 13 5 22 6 flr(lrg(log(D),R)) 45000 105774246 o1(o2(o1(x),x)) true 18967 18967 0.5251 1 0.5251 0.1561 0.3951 0.000291 1 0.9997 1 3.28 0.06935 0.00008069 0.1237 0.9977 1 -0.00003653 0.1287 0.1503 0.05413 0.2327 1.881 0.9997 0.4448 0.8244 1 1 0.0754 0.2719 0.01017 0.483 1.742 0.06513 json
t13_x5_u22_b7 13 5 22 7 flr(eql(log(D),R)) 45001 105774247 o1(o2(o1(x),x)) true 18975 18975 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_u22_b8 13 5 22 8 flr(min(log(D),R)) 45002 105774248 o1(o2(o1(x),x)) true 18983 18983 -0.775 0 0.775 0.1121 0.3349 -1 -0.000291 0.9997 1 2.432 0.02956 0.001165 0.06867 0.9242 1 0.00003546 0.05493 0.07974 0.02602 0.1613 2.349 0.9997 0.274 0.4898 1 1 0.03293 0.1537 0.1399 0.2937 1.37 1.247 json
t13_x5_u22_b9 13 5 22 9 flr(dot(log(D),R)) 45003 105774249 o1(o2(o1(x),x)) true 18991 18991 -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_u22_b10 13 5 22 10 flr(dst(log(D),R)) 45004 105774250 o1(o2(o1(x),x)) true 18999 18999 -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_u23_b0 13 5 23 0 flr(add(frc(D),R)) 45005 105774441 o1(o2(o1(x),x)) true 19007 19007 0.00916 0.4819 0.4483 0.341 0.5839 -1 1 2 1 4.551 0.09509 0.003793 0.1716 0.9233 1 0.0001743 0.198 0.2347 0.06945 0.2635 1.536 1.014 0.29 0.5805 1 1 0.1005 0.3594 0.4729 0.2947 1.054 1.387 json
t13_x5_u23_b1 13 5 23 1 flr(sub(frc(D),R)) 45006 105774442 o1(o2(o1(x),x)) true 19015 19015 -0.01086 0.4371 0.4512 0.3443 0.5868 -1 1 2 1 4.558 0.09506 0.003781 0.1715 0.9235 1 0.00006341 0.1979 0.2347 0.06943 0.2635 1.537 1.113 0.2871 0.5748 1 1 0.1005 0.358 0.4722 0.292 1.04 1.372 json
t13_x5_u23_b2 13 5 23 2 flr(mlt(frc(D),R)) 45007 105774443 o1(o2(o1(x),x)) true 19023 19023 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t13_x5_u23_b3 13 5 23 3 flr(div(frc(D),R)) 45008 105774444 o1(o2(o1(x),x)) true 19031 19031 -0.3351 0.2663 0.7208 0.5415 0.7358 -1 1 2 1 3.551 0.06531 0.02007 0.1415 0.5299 1 0.00008502 0.1499 0.1776 0.06536 0.2557 1.807 2.828 0.1577 0.2768 1 1 0.09467 0.4846 1.033 0.1748 0.895 1.907 json
t13_x5_u23_b4 13 5 23 4 flr(pow(frc(D),R)) 45009 105774445 o1(o2(o1(x),x)) true 19039 19039 0.5511 0.9451 0.5511 0.1603 0.4004 0 1 1 1 3.275 0.00872 0.003396 0.06344 0.4394 1 0.000008238 0.01853 0.04648 0.008093 0.08996 1.418 0.9323 0.07559 0.1156 1 1 0.01556 0.1257 0.289 0.0971 0.7841 1.803 json
t13_x5_u23_b5 13 5 23 5 flr(mod(frc(D),R)) 45010 105774446 o1(o2(o1(x),x)) true 19047 19047 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_u23_b6 13 5 23 6 flr(lrg(frc(D),R)) 45011 105774447 o1(o2(o1(x),x)) true 19055 19055 0.7355 0.9823 0.7355 0.1234 0.3513 0 1 1 1 2.773 0.04309 0.001528 0.08949 0.9315 1 0.00006966 0.09129 0.1174 0.03661 0.1913 2.138 1 0.3615 0.7397 1 1 0.04217 0.1383 0.202 0.3417 1.12 1.637 json
t13_x5_u23_b7 13 5 23 7 flr(eql(frc(D),R)) 45012 105774448 o1(o2(o1(x),x)) true 19063 19063 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_u23_b8 13 5 23 8 flr(min(frc(D),R)) 45013 105774449 o1(o2(o1(x),x)) true 19071 19071 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t13_x5_u23_b9 13 5 23 9 flr(dot(frc(D),R)) 45014 105774450 o1(o2(o1(x),x)) true 19079 19079 -0.4954 0.0417 0.5342 0.1937 0.4402 -1 0.9997 2 1 3.779 0.03964 0.03898 0.1428 0.008333 1 -0.0001284 0.2226 0.2127 0.05825 0.2413 1.69 1.424 0.4058 1.149 1 1 0.07963 0.2272 0.3696 0.411 1.173 1.908 json
t13_x5_u23_b10 13 5 23 10 flr(dst(frc(D),R)) 45015 105774451 o1(o2(o1(x),x)) true 19087 19087 0.6593 0.9681 0.6593 0.1442 0.3798 0 1 1 1 3.064 0.03218 0.03123 0.1164 0.01505 1 0.00008023 0.1723 0.1754 0.04987 0.2233 1.919 1.414 0.4397 1.195 1 1 0.06227 0.1751 0.2506 0.4318 1.214 1.738 json
t13_x5_u24_b0 13 5 24 0 flr(add(flr(D),R)) 45016 105774642 o1(o2(o1(x),x)) true 19095 19095 -0.8025 0 0.8025 0.1032 0.3213 -1 -0.000291 0.9997 1 2.305 0.02855 0.001213 0.068 0.9185 1 0.00007848 0.0519 0.07065 0.02515 0.1586 2.332 0.9997 0.2884 0.5029 1 1 0.03296 0.1374 0.1253 0.3194 1.331 1.215 json
t13_x5_u24_b1 13 5 24 1 flr(sub(flr(D),R)) 45017 105774643 o1(o2(o1(x),x)) true 19103 19103 -0.7872 0 0.7872 0.1083 0.3291 -1 -0.000291 0.9997 1 2.425 0.03117 0.001219 0.07231 0.9247 1 0.00006835 0.05697 0.07595 0.02717 0.1648 2.28 0.9997 0.299 0.5258 1 1 0.03835 0.1559 0.131 0.354 1.439 1.209 json
t13_x5_u24_b2 13 5 24 2 flr(mlt(flr(D),R)) 45018 105774644 o1(o2(o1(x),x)) true 19111 19111 -0.2393 0 0.2393 0.1075 0.3279 -0.9997 0 0.9997 1 3.299 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.4744 1 1 0.03061 0.1388 0.1417 0.2847 1.291 1.317 json
t13_x5_u24_b3 13 5 24 3 flr(div(flr(D),R)) 45019 105774645 o1(o2(o1(x),x)) true 19119 19119 -0.02997 0.4983 0.6199 0.5517 0.7428 -1 1 2 1 3.818 0.06572 0.01937 0.1493 0.5448 1 -0.00001607 0.1337 0.1638 0.0628 0.2506 1.679 2.236 0.1542 0.2424 1 1 0.1065 0.6276 1.109 0.1931 1.138 2.009 json
t13_x5_u24_b4 13 5 24 4 flr(pow(flr(D),R)) 45020 105774646 o1(o2(o1(x),x)) true 19127 19127 -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_u24_b5 13 5 24 5 flr(mod(flr(D),R)) 45021 105774647 o1(o2(o1(x),x)) true 19135 19135 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_u24_b6 13 5 24 6 flr(lrg(flr(D),R)) 45022 105774648 o1(o2(o1(x),x)) true 19143 19143 0.2568 0.752 0.2568 0.1126 0.3355 0 0.9997 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0.03636 0.1591 0.1423 0.323 1.413 1.264 json
t13_x5_u24_b7 13 5 24 7 flr(eql(flr(D),R)) 45023 105774649 o1(o2(o1(x),x)) true 19151 19151 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_u24_b8 13 5 24 8 flr(min(flr(D),R)) 45024 105774650 o1(o2(o1(x),x)) true 19159 19159 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t13_x5_u24_b9 13 5 24 9 flr(dot(flr(D),R)) 45025 105774651 o1(o2(o1(x),x)) true 19167 19167 -0.3568 0.05565 0.3939 0.172 0.4147 -1 0.9994 1.999 1 3.891 0.02183 0.02279 0.1013 -0.0216 1 0.00001717 0.08474 0.11 0.03435 0.1853 1.83 1.414 0.2594 0.4927 1 1 0.05185 0.2345 0.2813 0.3014 1.363 1.635 json
t13_x5_u24_b10 13 5 24 10 flr(dst(flr(D),R)) 45026 105774652 o1(o2(o1(x),x)) true 19175 19175 0.7516 0.9973 0.7516 0.1202 0.3466 8.471e-8 1 1 1 2.644 0.01809 0.01775 0.07694 0.009447 1 -0.00002326 0.06804 0.08742 0.02991 0.1729 2.248 1.414 0.2982 0.5662 1 1 0.03733 0.1621 0.2114 0.3107 1.349 1.76 json
t13_x5_u25_b0 13 5 25 0 flr(add(cil(D),R)) 45027 105774843 o1(o2(o1(x),x)) true 19183 19183 -0.01758 0.444 0.4126 0.2977 0.5456 -0.9997 0.9997 1.999 1 4.623 0.06716 0.002442 0.1391 0.9298 1 -0.00001781 0.1211 0.1361 0.05024 0.2241 1.611 1.007 0.2338 0.4067 1 1 0.07992 0.3584 0.2862 0.2685 1.204 0.9614 json
t13_x5_u25_b1 13 5 25 1 flr(sub(cil(D),R)) 45028 105774844 o1(o2(o1(x),x)) true 19191 19191 0.01758 0.4843 0.408 0.2933 0.5415 -0.9997 0.9997 1.999 1 4.614 0.06698 0.002442 0.1384 0.9296 1 0.00001781 0.121 0.136 0.05027 0.2242 1.62 1.007 0.2367 0.4127 1 1 0.07901 0.3503 0.2862 0.2694 1.195 0.976 json
t13_x5_u25_b2 13 5 25 2 flr(mlt(cil(D),R)) 45029 105774845 o1(o2(o1(x),x)) true 19199 19199 -0.2568 0 0.2568 0.1126 0.3355 -0.9997 0 0.9997 1 3.37 0.03004 0.00118 0.07441 0.9244 1 -0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0.03636 0.1591 0.1423 0.323 1.413 1.264 json
t13_x5_u25_b3 13 5 25 3 flr(div(cil(D),R)) 45030 105774846 o1(o2(o1(x),x)) true 19207 19207 -0.103 0.4545 0.6199 0.5416 0.736 -1 1 2 1 3.812 0.06587 0.02021 0.1503 0.5304 1 0.00007438 0.1352 0.1641 0.06352 0.252 1.677 2.007 0.1589 0.2496 1 1 0.1062 0.613 1.065 0.1961 1.132 1.967 json
t13_x5_u25_b4 13 5 25 4 flr(pow(cil(D),R)) 45031 105774847 o1(o2(o1(x),x)) true 19215 19215 -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_u25_b5 13 5 25 5 flr(mod(cil(D),R)) 45032 105774848 o1(o2(o1(x),x)) true 19223 19223 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_u25_b6 13 5 25 6 flr(lrg(cil(D),R)) 45033 105774849 o1(o2(o1(x),x)) true 19231 19231 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_u25_b7 13 5 25 7 flr(eql(cil(D),R)) 45034 105774850 o1(o2(o1(x),x)) true 19239 19239 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_u25_b8 13 5 25 8 flr(min(cil(D),R)) 45035 105774851 o1(o2(o1(x),x)) true 19247 19247 -0.5176 0 0.5176 0.1537 0.3921 -1 0 1 1 3.585 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t13_x5_u25_b9 13 5 25 9 flr(dot(cil(D),R)) 45036 105774852 o1(o2(o1(x),x)) true 19255 19255 -0.335 0.09152 0.3952 0.1852 0.4304 -1 0.9994 1.999 1 4.012 0.0244 0.02252 0.1056 0.04011 1 0.00003905 0.08914 0.1143 0.03576 0.1891 1.79 1.414 0.2533 0.4813 1 1 0.053 0.2556 0.3326 0.2861 1.38 1.796 json
t13_x5_u25_b10 13 5 25 10 flr(dst(cil(D),R)) 45037 105774853 o1(o2(o1(x),x)) true 19263 19263 0.7276 0.9859 0.7276 0.1269 0.3562 0 1 1 1 2.793 0.01744 0.017 0.07687 0.01259 1 -0.00000728 0.06502 0.08534 0.02853 0.1689 2.197 1.414 0.2714 0.5123 1 1 0.03904 0.1834 0.2543 0.3077 1.445 2.004 json
t13_x5_u26_b0 13 5 26 0 flr(add(sgn(D),R)) 45038 105775044 o1(o2(o1(x),x)) true 19271 19271 -0.359 0.2682 0.652 0.4274 0.6538 -1 0.9994 1.999 1 4.036 0.1596 0.001497 0.1889 0.9814 1 0.0001413 0.2893 0.2058 0.1254 0.3541 1.874 1.999 0.3769 0.6769 1 1 0.1764 0.6749 0.1649 0.4126 1.579 0.3858 json
t13_x5_u26_b1 13 5 26 1 flr(sub(sgn(D),R)) 45039 105775045 o1(o2(o1(x),x)) true 19279 19279 -0.3382 0.2832 0.6508 0.4385 0.6622 -1 0.9994 1.999 1 4.089 0.1673 0.001496 0.1931 0.9823 1 0.0001551 0.3045 0.2107 0.1315 0.3627 1.878 1.999 0.385 0.6944 1 1 0.1918 0.7221 0.1664 0.4374 1.647 0.3796 json
t13_x5_u26_b2 13 5 26 2 flr(mlt(sgn(D),R)) 45040 105775046 o1(o2(o1(x),x)) true 19287 19287 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t13_x5_u26_b3 13 5 26 3 flr(div(sgn(D),R)) 45041 105775047 o1(o2(o1(x),x)) true 19295 19295 -0.1134 0.4482 0.8904 0.839 0.916 -1 1 2 1 2.554 0.2424 0.03362 0.2177 0.7564 1 0.0001271 0.4991 0.3005 0.2287 0.4783 2.197 2.828 0.329 0.5949 1 1 0.3127 1.377 1.677 0.3728 1.642 1.999 json
t13_x5_u26_b4 13 5 26 4 flr(pow(sgn(D),R)) 45042 105775048 o1(o2(o1(x),x)) true 19303 19303 -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_u26_b5 13 5 26 5 flr(mod(sgn(D),R)) 45043 105775049 o1(o2(o1(x),x)) true 19311 19311 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_u26_b6 13 5 26 6 flr(lrg(sgn(D),R)) 45044 105775050 o1(o2(o1(x),x)) true 19319 19319 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_u26_b7 13 5 26 7 flr(eql(sgn(D),R)) 45045 105775051 o1(o2(o1(x),x)) true 19327 19327 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_u26_b8 13 5 26 8 flr(min(sgn(D),R)) 45046 105775052 o1(o2(o1(x),x)) true 19335 19335 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t13_x5_u26_b9 13 5 26 9 flr(dot(sgn(D),R)) 45047 105775053 o1(o2(o1(x),x)) true 19343 19343 -0.3997 0.1952 0.5836 0.3277 0.5725 -1 1 2 1 4.095 0.05576 0.05386 0.1519 0.01734 1 0.00005982 0.2077 0.1831 0.08653 0.2942 1.936 2.236 0.3344 0.6336 1 1 0.1225 0.5452 0.6585 0.3738 1.663 2.009 json
t13_x5_u26_b10 13 5 26 10 flr(dst(sgn(D),R)) 45048 105775054 o1(o2(o1(x),x)) true 19351 19351 0.8861 0.9996 0.8861 0.06611 0.2571 8.471e-8 1 1 1 1.592 0.01341 0.01348 0.05066 -0.002338 1 -0.00002711 0.05425 0.06577 0.02432 0.156 3.078 1.414 0.4068 0.8206 1 1 0.02905 0.1182 0.1304 0.4394 1.787 1.973 json
t13_x5_u27_b0 13 5 27 0 flr(add(nrm(D),R)) 45049 105775245 o1(o2(o1(x),x)) true 19359 19359 -0.4133 0.1859 0.5788 0.2981 0.546 -1 0.9995 2 1 4.21 0.07059 0.03637 0.1925 0.3199 1 -0.0003269 0.3095 0.2623 0.06992 0.2644 1.374 2.235 0.3588 1.038 1 1 0.1201 0.4423 0.338 0.403 1.484 1.134 json
t13_x5_u27_b1 13 5 27 1 flr(sub(nrm(D),R)) 45050 105775246 o1(o2(o1(x),x)) true 19367 19367 -0.4218 0.1818 0.5835 0.2959 0.544 -1 0.9994 1.999 1 4.205 0.07116 0.03825 0.1938 0.3008 1 0.0001119 0.3215 0.2676 0.07184 0.268 1.383 2.235 0.3697 1.086 1 1 0.1246 0.4525 0.33 0.421 1.529 1.115 json
t13_x5_u27_b2 13 5 27 2 flr(mlt(nrm(D),R)) 45051 105775247 o1(o2(o1(x),x)) true 19375 19375 -0.4961 0 0.4961 0.147 0.3834 -1 0 1 1 3.664 0.04778 0.002278 0.1019 0.909 1 0.00001497 0.09324 0.1121 0.03968 0.1992 1.955 1 0.3406 0.6344 1 1 0.05494 0.2454 0.2817 0.3738 1.67 1.917 json
t13_x5_u27_b3 13 5 27 3 flr(div(nrm(D),R)) 45052 105775248 o1(o2(o1(x),x)) true 19383 19383 -0.2368 0.3495 0.7662 0.65 0.8062 -1 1 2 1 3.385 0.1354 0.04682 0.2178 0.4861 1 -0.00002557 0.3906 0.3211 0.1348 0.3671 1.686 2.631 0.2804 0.601 1 1 0.2167 1.041 1.254 0.3334 1.601 1.929 json
t13_x5_u27_b4 13 5 27 4 flr(pow(nrm(D),R)) 45053 105775249 o1(o2(o1(x),x)) true 19391 19391 -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_u27_b5 13 5 27 5 flr(mod(nrm(D),R)) 45054 105775250 o1(o2(o1(x),x)) true 19399 19399 -0.5 0 0.5 0.1418 0.3765 -0.9997 -0.000291 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_u27_b6 13 5 27 6 flr(lrg(nrm(D),R)) 45055 105775251 o1(o2(o1(x),x)) true 19407 19407 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_u27_b7 13 5 27 7 flr(eql(nrm(D),R)) 45056 105775252 o1(o2(o1(x),x)) true 19415 19415 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_u27_b8 13 5 27 8 flr(min(nrm(D),R)) 45057 105775253 o1(o2(o1(x),x)) true 19423 19423 -0.7568 0 0.7568 0.1087 0.3297 -1 -0.000291 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 -0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t13_x5_u27_b9 13 5 27 9 flr(dot(nrm(D),R)) 45058 105775254 o1(o2(o1(x),x)) true 19431 19431 -0.4694 0.0527 0.5172 0.2003 0.4476 -1 0.9997 2 1 3.866 0.04472 0.0434 0.1453 0.01496 1 -0.000238 0.2752 0.2203 0.06698 0.2588 1.781 2.238 0.4399 1.374 1 1 0.09169 0.3561 0.3873 0.4578 1.778 1.934 json
t13_x5_u27_b10 13 5 27 10 flr(dst(nrm(D),R)) 45059 105775255 o1(o2(o1(x),x)) true 19439 19439 0.7495 0.9913 0.7495 0.1184 0.3441 0 1 1 1 2.713 0.03 0.03031 0.1037 -0.005095 1 0.00005776 0.1861 0.1579 0.04957 0.2226 2.148 1.414 0.5094 1.572 1 1 0.06329 0.2158 0.2336 0.5346 1.823 1.973 json
t13_x5_u28_b0 13 5 28 0 cil(add(sqt(D),R)) 45060 105775446 o1(o2(o1(x),x)) true 19447 19447 -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_u28_b1 13 5 28 1 cil(sub(sqt(D),R)) 45061 105775447 o1(o2(o1(x),x)) true 19455 19455 -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_u28_b2 13 5 28 2 cil(mlt(sqt(D),R)) 45062 105775448 o1(o2(o1(x),x)) true 19463 19463 -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_u28_b3 13 5 28 3 cil(div(sqt(D),R)) 45063 105775449 o1(o2(o1(x),x)) true 19471 19471 -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_u28_b4 13 5 28 4 cil(pow(sqt(D),R)) 45064 105775450 o1(o2(o1(x),x)) true 19479 19479 -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_u28_b5 13 5 28 5 cil(mod(sqt(D),R)) 45065 105775451 o1(o2(o1(x),x)) true 19487 19487 -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_u28_b6 13 5 28 6 cil(lrg(sqt(D),R)) 45066 105775452 o1(o2(o1(x),x)) true 19495 19495 0.865 1 0.865 0.08036 0.2835 0.000291 1 0.9997 1 1.711 0.03269 0.000886 0.05833 0.9472 1 -0.00004313 0.06839 0.08303 0.03018 0.1737 2.978 0.9997 0.4178 0.851 1 1 0.0343 0.1091 0.1235 0.4268 1.358 1.537 json
t13_x5_u28_b7 13 5 28 7 cil(eql(sqt(D),R)) 45067 105775453 o1(o2(o1(x),x)) true 19503 19503 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_u28_b8 13 5 28 8 cil(min(sqt(D),R)) 45068 105775454 o1(o2(o1(x),x)) true 19511 19511 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t13_x5_u28_b9 13 5 28 9 cil(dot(sqt(D),R)) 45069 105775455 o1(o2(o1(x),x)) true 19519 19519 -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_u28_b10 13 5 28 10 cil(dst(sqt(D),R)) 45070 105775456 o1(o2(o1(x),x)) true 19527 19527 -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_u29_b0 13 5 29 0 cil(add(log(D),R)) 45071 105775647 o1(o2(o1(x),x)) true 19535 19535 -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_u29_b1 13 5 29 1 cil(sub(log(D),R)) 45072 105775648 o1(o2(o1(x),x)) true 19543 19543 -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_u29_b2 13 5 29 2 cil(mlt(log(D),R)) 45073 105775649 o1(o2(o1(x),x)) true 19551 19551 -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_u29_b3 13 5 29 3 cil(div(log(D),R)) 45074 105775650 o1(o2(o1(x),x)) true 19559 19559 -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_u29_b4 13 5 29 4 cil(pow(log(D),R)) 45075 105775651 o1(o2(o1(x),x)) true 19567 19567 -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_u29_b5 13 5 29 5 cil(mod(log(D),R)) 45076 105775652 o1(o2(o1(x),x)) true 19575 19575 -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_u29_b6 13 5 29 6 cil(lrg(log(D),R)) 45077 105775653 o1(o2(o1(x),x)) true 19583 19583 0.5251 1 0.5251 0.1561 0.3951 0.000291 1 0.9997 1 3.28 0.06935 0.00008069 0.1237 0.9977 1 -0.00003653 0.1287 0.1503 0.05413 0.2327 1.881 0.9997 0.4448 0.8244 1 1 0.0754 0.2719 0.01017 0.483 1.742 0.06513 json
t13_x5_u29_b7 13 5 29 7 cil(eql(log(D),R)) 45078 105775654 o1(o2(o1(x),x)) true 19591 19591 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_u29_b8 13 5 29 8 cil(min(log(D),R)) 45079 105775655 o1(o2(o1(x),x)) true 19599 19599 -0.1067 0.4642 0.5568 0.4514 0.6718 -1 0.9997 2 1 3.864 0.1886 0.00118 0.1913 0.9876 1 -0.0001506 0.3528 0.2831 0.1532 0.3914 2.046 2 0.4205 0.7816 1 1 0.2008 0.6857 0.1417 0.445 1.519 0.3138 json
t13_x5_u29_b9 13 5 29 9 cil(dot(log(D),R)) 45080 105775656 o1(o2(o1(x),x)) true 19607 19607 -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_u29_b10 13 5 29 10 cil(dst(log(D),R)) 45081 105775657 o1(o2(o1(x),x)) true 19615 19615 -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_u30_b0 13 5 30 0 cil(add(frc(D),R)) 45082 105775848 o1(o2(o1(x),x)) true 19623 19623 0.7804 0.9776 0.7804 0.1212 0.3482 0 1 1 1 2.264 0.04394 0.001802 0.08549 0.9212 1 0.0001372 0.0922 0.1227 0.03844 0.196 2.293 1 0.3773 0.7606 1 1 0.04886 0.1451 0.1754 0.4031 1.197 1.447 json
t13_x5_u30_b1 13 5 30 1 cil(sub(frc(D),R)) 45083 105775849 o1(o2(o1(x),x)) true 19631 19631 0.769 0.9826 0.769 0.1204 0.347 0 1 1 1 2.44 0.04223 0.001873 0.08712 0.9151 1 -0.00001083 0.08982 0.12 0.03651 0.1911 2.193 1 0.3664 0.7461 1 1 0.04226 0.1395 0.1893 0.3511 1.159 1.573 json
t13_x5_u30_b2 13 5 30 2 cil(mlt(frc(D),R)) 45084 105775850 o1(o2(o1(x),x)) true 19639 19639 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t13_x5_u30_b3 13 5 30 3 cil(div(frc(D),R)) 45085 105775851 o1(o2(o1(x),x)) true 19647 19647 0.2297 0.6597 0.7144 0.5943 0.7709 -1 1 2 1 3.613 0.06822 0.0195 0.1474 0.5554 1 -0.00008149 0.1493 0.1825 0.06599 0.2569 1.743 2.828 0.1476 0.2512 1 1 0.1076 0.5502 1.144 0.181 0.9258 1.924 json
t13_x5_u30_b4 13 5 30 4 cil(pow(frc(D),R)) 45086 105775852 o1(o2(o1(x),x)) true 19655 19655 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t13_x5_u30_b5 13 5 30 5 cil(mod(frc(D),R)) 45087 105775853 o1(o2(o1(x),x)) true 19663 19663 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t13_x5_u30_b6 13 5 30 6 cil(lrg(frc(D),R)) 45088 105775854 o1(o2(o1(x),x)) true 19671 19671 0.7355 0.9823 0.7355 0.1234 0.3513 0 1 1 1 2.773 0.04309 0.001528 0.08949 0.9315 1 0.00006966 0.09129 0.1174 0.03661 0.1913 2.138 1 0.3615 0.7397 1 1 0.04217 0.1383 0.202 0.3417 1.12 1.637 json
t13_x5_u30_b7 13 5 30 7 cil(eql(frc(D),R)) 45089 105775855 o1(o2(o1(x),x)) true 19679 19679 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_u30_b8 13 5 30 8 cil(min(frc(D),R)) 45090 105775856 o1(o2(o1(x),x)) true 19687 19687 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.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t13_x5_u30_b9 13 5 30 9 cil(dot(frc(D),R)) 45091 105775857 o1(o2(o1(x),x)) true 19695 19695 0.4758 0.8872 0.4946 0.1761 0.4196 -1 1 2 1 3.528 0.03607 0.03533 0.1343 0.01038 1 -0.0002411 0.2027 0.1972 0.05335 0.231 1.719 1.418 0.4055 1.151 1 1 0.06905 0.1927 0.3262 0.3922 1.095 1.853 json
t13_x5_u30_b10 13 5 30 10 cil(dst(frc(D),R)) 45092 105775858 o1(o2(o1(x),x)) true 19703 19703 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t13_x5_u31_b0 13 5 31 0 cil(add(flr(D),R)) 45093 105776049 o1(o2(o1(x),x)) true 19711 19711 -0.01758 0.444 0.4126 0.2977 0.5456 -0.9997 0.9997 1.999 1 4.623 0.06716 0.002442 0.1391 0.9298 1 -0.00001781 0.1211 0.1361 0.05024 0.2241 1.611 1.007 0.2338 0.4067 1 1 0.07992 0.3584 0.2862 0.2685 1.204 0.9614 json
t13_x5_u31_b1 13 5 31 1 cil(sub(flr(D),R)) 45094 105776050 o1(o2(o1(x),x)) true 19719 19719 0.01758 0.4843 0.408 0.2933 0.5415 -0.9997 0.9997 1.999 1 4.614 0.06698 0.002442 0.1384 0.9296 1 0.00001781 0.121 0.136 0.05027 0.2242 1.62 1.007 0.2367 0.4127 1 1 0.07901 0.3503 0.2862 0.2694 1.195 0.976 json
t13_x5_u31_b2 13 5 31 2 cil(mlt(flr(D),R)) 45095 105776051 o1(o2(o1(x),x)) true 19727 19727 0.2607 0.7598 0.2607 0.1136 0.3371 0 0.9997 0.9997 1 2.903 0.03008 0.00118 0.07393 0.9245 1 0.00001639 0.05613 0.07221 0.02581 0.1607 2.173 0.9997 0.2752 0.494 1 1 0.03658 0.1608 0.1417 0.322 1.415 1.247 json
t13_x5_u31_b3 13 5 31 3 cil(div(flr(D),R)) 45096 105776052 o1(o2(o1(x),x)) true 19735 19735 0.1135 0.5498 0.6194 0.5388 0.734 -1 1 2 1 3.808 0.06572 0.01988 0.1488 0.5355 1 -0.0001686 0.1359 0.1644 0.06349 0.252 1.694 2.236 0.1589 0.2522 1 1 0.1059 0.6065 1.052 0.1965 1.126 1.953 json
t13_x5_u31_b4 13 5 31 4 cil(pow(flr(D),R)) 45097 105776053 o1(o2(o1(x),x)) true 19743 19743 -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_u31_b5 13 5 31 5 cil(mod(flr(D),R)) 45098 105776054 o1(o2(o1(x),x)) true 19751 19751 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_u31_b6 13 5 31 6 cil(lrg(flr(D),R)) 45099 105776055 o1(o2(o1(x),x)) true 19759 19759 0.2568 0.752 0.2568 0.1126 0.3355 0 0.9997 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0.03636 0.1591 0.1423 0.323 1.413 1.264 json