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
t14_x3_u1_b30 14 3 1 30 log(mlt(min(P,D),P)) 49600 113809848 o1(o2(o2(x,x),x)) true 55767 55767 -0.1507 0.4375 0.9743 0.9471 0.9732 -1 1 2 1 1.29 0.004479 0 0.007936 1 1 -9.461e-10 0.007933 0.00915 0.004415 0.06645 8.372 1 0.004729 0.008376 1 1 0.006621 0.04469 0.2958 0.006991 0.04718 0.3123 json
t14_x3_u1_b31 14 3 1 31 log(mlt(dot(P,D),P)) 49601 113809849 o1(o2(o2(x,x),x)) true 55775 55775 -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
t14_x3_u1_b32 14 3 1 32 log(mlt(dst(P,D),P)) 49602 113809850 o1(o2(o2(x,x),x)) true 55783 55783 -0.1292 0.437 0.9959 0.9772 0.9885 -1 1 2 1 1.084 0.01377 0.00002126 0.008165 0.9969 1 5.256e-11 0.02746 0.01499 0.01372 0.1171 14.34 2 0.01411 0.0281 1 1 0.01749 0.07485 0.3295 0.0179 0.07659 0.3372 json
t14_x3_u1_b33 14 3 1 33 log(div(add(P,D),P)) 49603 113809851 o1(o2(o2(x,x),x)) true 55791 55791 -0.1161 0.4688 0.1509 0.113 0.3362 -1 0.1514 1.151 1 1.866 0.008615 0 0.01774 1 1 0.000039 0.01602 0.01979 0.0083 0.0911 5.134 1.031 0.07623 0.1418 1 1 0.01221 0.05424 0.1786 0.108 0.4799 1.58 json
t14_x3_u1_b34 14 3 1 34 log(div(sub(P,D),P)) 49604 113809852 o1(o2(o2(x,x),x)) true 55799 55799 -0.0257 0.3828 0.1606 0.1285 0.3585 -1 1 2 1 2.164 0.02411 0 0.02703 1 1 -0.00003464 0.04767 0.03597 0.02338 0.1529 5.656 2 0.1876 0.3709 1 1 0.03231 0.1315 0.1726 0.2514 1.024 1.343 json
t14_x3_u1_b35 14 3 1 35 log(div(mlt(P,D),P)) 49605 113809853 o1(o2(o2(x,x),x)) true 55807 55807 -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
t14_x3_u1_b36 14 3 1 36 log(div(div(P,D),P)) 49606 113809854 o1(o2(o2(x,x),x)) true 55815 55815 -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
t14_x3_u1_b37 14 3 1 37 log(div(pow(P,D),P)) 49607 113809855 o1(o2(o2(x,x),x)) true 55823 55823 -0.9567 0 0.9567 0.02555 0.1599 -1 -0.0003972 0.9996 1 0.7145 0.004353 0 0.009359 1 1 7.092e-10 0.008062 0.01027 0.004267 0.06532 6.979 0.9996 0.1703 0.3155 1 1 0.006201 0.02362 0.03673 0.2427 0.9245 1.437 json
t14_x3_u1_b38 14 3 1 38 log(div(mod(P,D),P)) 49608 113809856 o1(o2(o2(x,x),x)) true 55831 55831 -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
t14_x3_u1_b39 14 3 1 39 log(div(lrg(P,D),P)) 49609 113809857 o1(o2(o2(x,x),x)) true 55839 55839 -0.9511 0 0.9511 0.03057 0.1749 -1 -0.0002017 0.9998 1 0.7914 0.004183 0 0.007935 1 1 -1.42e-9 0.007985 0.008951 0.004119 0.06418 8.088 0.9998 0.1368 0.2612 1 1 0.0058 0.02375 0.04439 0.1897 0.7769 1.452 json
t14_x3_u1_b40 14 3 1 40 log(div(eql(P,D),P)) 49610 113809858 o1(o2(o2(x,x),x)) true 55847 55847 -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
t14_x3_u1_b41 14 3 1 41 log(div(min(P,D),P)) 49611 113809859 o1(o2(o2(x,x),x)) true 55855 55855 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 1.42 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x3_u1_b42 14 3 1 42 log(div(dot(P,D),P)) 49612 113809860 o1(o2(o2(x,x),x)) true 55863 55863 -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
t14_x3_u1_b43 14 3 1 43 log(div(dst(P,D),P)) 49613 113809861 o1(o2(o2(x,x),x)) true 55871 55871 -0.3958 0.417 0.7303 0.517 0.7191 -1 1 2 1 2.674 0.01374 0.00007641 0.01287 0.9889 1 -0.00002016 0.02748 0.01615 0.01365 0.1168 9.081 2 0.02672 0.05315 1 1 0.0175 0.0705 0.2464 0.03385 0.1364 0.4766 json
t14_x3_u1_b44 14 3 1 44 log(pow(add(P,D),P)) 49614 113809862 o1(o2(o2(x,x),x)) true 55879 55879 -0.09998 0.4375 0.924 0.8981 0.9477 -1 1 2 1 1.779 0.00448 0 0.01073 1 1 -2.838e-9 0.008106 0.009429 0.004368 0.06609 6.158 0.999 0.004988 0.009025 1 1 0.006508 0.03148 0.213 0.007246 0.03505 0.2372 json
t14_x3_u1_b45 14 3 1 45 log(pow(sub(P,D),P)) 49615 113809863 o1(o2(o2(x,x),x)) true 55887 55887 -0.1558 0.418 0.9716 0.9424 0.9708 -1 1 2 1 1.282 0.004465 0 0.008504 1 1 4.731e-10 0.007986 0.009757 0.004393 0.06628 7.794 0.9689 0.004738 0.008473 1 1 0.006548 0.04205 0.2925 0.006948 0.04462 0.3103 json
t14_x3_u1_b46 14 3 1 46 log(pow(mlt(P,D),P)) 49616 113809864 o1(o2(o2(x,x),x)) true 55895 55895 -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
t14_x3_u1_b47 14 3 1 47 log(pow(div(P,D),P)) 49617 113809865 o1(o2(o2(x,x),x)) true 55903 55903 -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
t14_x3_u1_b48 14 3 1 48 log(pow(pow(P,D),P)) 49618 113809866 o1(o2(o2(x,x),x)) true 55911 55911 -0.6593 0.1484 0.817 0.3318 0.576 -1 1 2 1 2.431 0.03689 0 0.08096 1 1 0 0.02209 0.0514 0.03035 0.1742 2.152 0.9996 0.1112 0.06657 1 1 0.04253 0.2804 0.07681 0.1282 0.8453 0.2315 json
t14_x3_u1_b49 14 3 1 49 log(pow(mod(P,D),P)) 49619 113809867 o1(o2(o2(x,x),x)) true 55919 55919 -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
t14_x3_u1_b50 14 3 1 50 log(pow(lrg(P,D),P)) 49620 113809868 o1(o2(o2(x,x),x)) true 55927 55927 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x3_u1_b51 14 3 1 51 log(pow(eql(P,D),P)) 49621 113809869 o1(o2(o2(x,x),x)) true 55935 55935 -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
t14_x3_u1_b52 14 3 1 52 log(pow(min(P,D),P)) 49622 113809870 o1(o2(o2(x,x),x)) true 55943 55943 -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
t14_x3_u1_b53 14 3 1 53 log(pow(dot(P,D),P)) 49623 113809871 o1(o2(o2(x,x),x)) true 55951 55951 -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
t14_x3_u1_b54 14 3 1 54 log(pow(dst(P,D),P)) 49624 113809872 o1(o2(o2(x,x),x)) true 55959 55959 -4.657e-10 0.5 0.9329 0.9182 0.9582 -1 1 2 1 1.848 0.00106 0.00006463 0.00906 0.8851 1 2.628e-11 0.0002348 0.003425 0.001044 0.03231 3.566 0.2383 0.001225 0.0002558 1 1 0.002701 0.02827 0.2306 0.002941 0.03079 0.2512 json
t14_x3_u1_b55 14 3 1 55 log(mod(add(P,D),P)) 49625 113809873 o1(o2(o2(x,x),x)) true 55967 55967 -0.5264 0.2422 0.9071 0.598 0.7733 -1 1 2 1 2.053 0.1074 0 0.1006 1 1 3.785e-9 0.1854 0.1137 0.09729 0.3119 3.1 2 0.1796 0.3101 1 1 0.1157 0.4929 0.1243 0.1935 0.8242 0.2079 json
t14_x3_u1_b56 14 3 1 56 log(mod(sub(P,D),P)) 49626 113809874 o1(o2(o2(x,x),x)) true 55975 55975 -0.5783 0.2031 0.8936 0.524 0.7239 -1 1 2 1 2.126 0.1085 0 0.1004 1 1 -2.838e-9 0.1927 0.1191 0.0985 0.3138 3.127 2 0.2071 0.3678 1 1 0.1143 0.4747 0.09116 0.2182 0.906 0.174 json
t14_x3_u1_b57 14 3 1 57 log(mod(mlt(P,D),P)) 49627 113809875 o1(o2(o2(x,x),x)) true 55983 55983 -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
t14_x3_u1_b58 14 3 1 58 log(mod(div(P,D),P)) 49628 113809876 o1(o2(o2(x,x),x)) true 55991 55991 -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
t14_x3_u1_b59 14 3 1 59 log(mod(pow(P,D),P)) 49629 113809877 o1(o2(o2(x,x),x)) true 55999 55999 -0.6374 0.1719 0.6806 0.2296 0.4792 -1 0.2753 1.275 1 2.174 0.005651 0 0.02475 1 1 0.0003388 0.008231 0.01629 0.005038 0.07098 2.868 1.021 0.02461 0.03585 1 1 0.007733 0.03773 0.07764 0.03368 0.1643 0.3381 json
t14_x3_u1_b60 14 3 1 60 log(mod(mod(P,D),P)) 49630 113809878 o1(o2(o2(x,x),x)) true 56007 56007 -0.9998 0 0.9998 0.000008036 0.002835 -1 -0.9546 0.04545 1 0 0.00001639 0 0.0003607 1 0 -9.461e-10 0.00004918 0.0007214 0.00001626 0.004032 11.18 0.04545 2.04 6.12 1 1 0.00001087 0.00001087 0.00001087 1.353 1.353 1.353 json
t14_x3_u1_b61 14 3 1 61 log(mod(lrg(P,D),P)) 49631 113809879 o1(o2(o2(x,x),x)) true 56015 56015 -0.625 0 0.625 0.2344 0.4841 -1 0 1 1 0.9544 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01693 0.03386 1 1 0.005263 0.02105 0.08421 0.02246 0.08982 0.3593 json
t14_x3_u1_b62 14 3 1 62 log(mod(eql(P,D),P)) 49632 113809880 o1(o2(o2(x,x),x)) true 56023 56023 -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
t14_x3_u1_b63 14 3 1 63 log(mod(min(P,D),P)) 49633 113809881 o1(o2(o2(x,x),x)) true 56031 56031 -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
t14_x3_u1_b64 14 3 1 64 log(mod(dot(P,D),P)) 49634 113809882 o1(o2(o2(x,x),x)) true 56039 56039 -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
t14_x3_u1_b65 14 3 1 65 log(mod(dst(P,D),P)) 49635 113809883 o1(o2(o2(x,x),x)) true 56047 56047 -0.04859 0.496 0.6574 0.5479 0.7402 -1 1 2 1 4.277 0.07491 0.04548 0.1413 0.2444 1 -0.0005337 0.3451 0.1733 0.1004 0.3169 2.243 2.828 0.2197 0.6299 1 1 0.1191 0.4416 0.5281 0.2173 0.8059 0.9638 json
t14_x3_u1_b66 14 3 1 66 log(lrg(add(P,D),P)) 49636 113809884 o1(o2(o2(x,x),x)) true 56055 56055 -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
t14_x3_u1_b67 14 3 1 67 log(lrg(sub(P,D),P)) 49637 113809885 o1(o2(o2(x,x),x)) true 56063 56063 -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
t14_x3_u1_b68 14 3 1 68 log(lrg(mlt(P,D),P)) 49638 113809886 o1(o2(o2(x,x),x)) true 56071 56071 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x3_u1_b69 14 3 1 69 log(lrg(div(P,D),P)) 49639 113809887 o1(o2(o2(x,x),x)) true 56079 56079 -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
t14_x3_u1_b70 14 3 1 70 log(lrg(pow(P,D),P)) 49640 113809888 o1(o2(o2(x,x),x)) true 56087 56087 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t14_x3_u1_b71 14 3 1 71 log(lrg(mod(P,D),P)) 49641 113809889 o1(o2(o2(x,x),x)) true 56095 56095 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x3_u1_b72 14 3 1 72 log(lrg(lrg(P,D),P)) 49642 113809890 o1(o2(o2(x,x),x)) true 56103 56103 -0.5 0 0.5 0.25 0.5 -1 0 1 1 1 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01587 0.03175 1 1 0.005263 0.02105 0.08421 0.02105 0.08421 0.3368 json
t14_x3_u1_b73 14 3 1 73 log(lrg(eql(P,D),P)) 49643 113809891 o1(o2(o2(x,x),x)) true 56111 56111 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x3_u1_b74 14 3 1 74 log(lrg(min(P,D),P)) 49644 113809892 o1(o2(o2(x,x),x)) true 56119 56119 -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
t14_x3_u1_b75 14 3 1 75 log(lrg(dot(P,D),P)) 49645 113809893 o1(o2(o2(x,x),x)) true 56127 56127 -0.7628 0 0.7628 0.181 0.4255 -1 0 1 1 0.7903 0.03956 0.03864 0.07326 0.01168 1 0.0005039 0.2354 0.1565 0.07284 0.2699 3.684 1.414 0.432 1.3 1 1 0.06989 0.1627 0.09778 0.3861 0.8986 0.5402 json
t14_x3_u1_b76 14 3 1 76 log(lrg(dst(P,D),P)) 49646 113809894 o1(o2(o2(x,x),x)) true 56135 56135 -0.1459 0 0.1459 0.1247 0.3532 -1 0 1 1 0.5996 0.01565 0.009826 0.02424 0.2287 1 -0.00006299 0.07294 0.05089 0.0249 0.1578 6.51 1.414 0.2043 0.5848 1 1 0.02806 0.07042 0.1108 0.225 0.5646 0.8886 json
t14_x3_u1_b77 14 3 1 77 log(eql(add(P,D),P)) 49647 113809895 o1(o2(o2(x,x),x)) true 56143 56143 -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
t14_x3_u1_b78 14 3 1 78 log(eql(sub(P,D),P)) 49648 113809896 o1(o2(o2(x,x),x)) true 56151 56151 -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
t14_x3_u1_b79 14 3 1 79 log(eql(mlt(P,D),P)) 49649 113809897 o1(o2(o2(x,x),x)) true 56159 56159 -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
t14_x3_u1_b80 14 3 1 80 log(eql(div(P,D),P)) 49650 113809898 o1(o2(o2(x,x),x)) true 56167 56167 -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
t14_x3_u1_b81 14 3 1 81 log(eql(pow(P,D),P)) 49651 113809899 o1(o2(o2(x,x),x)) true 56175 56175 -0.9375 0 0.9375 0.05859 0.2421 -1 0 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0.01053 0.04211 0.08421 0.1796 0.7186 1.437 json
t14_x3_u1_b82 14 3 1 82 log(eql(mod(P,D),P)) 49652 113809900 o1(o2(o2(x,x),x)) true 56183 56183 -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
t14_x3_u1_b83 14 3 1 83 log(eql(lrg(P,D),P)) 49653 113809901 o1(o2(o2(x,x),x)) true 56191 56191 -0.9375 0 0.9375 0.05859 0.2421 -1 0 1 1 0.3373 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.1354 0.2709 1 1 0.01053 0.04211 0.08421 0.1796 0.7186 1.437 json
t14_x3_u1_b84 14 3 1 84 log(eql(eql(P,D),P)) 49654 113809902 o1(o2(o2(x,x),x)) true 56199 56199 -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
t14_x3_u1_b85 14 3 1 85 log(eql(min(P,D),P)) 49655 113809903 o1(o2(o2(x,x),x)) true 56207 56207 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x3_u1_b86 14 3 1 86 log(eql(dot(P,D),P)) 49656 113809904 o1(o2(o2(x,x),x)) true 56215 56215 -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
t14_x3_u1_b87 14 3 1 87 log(eql(dst(P,D),P)) 49657 113809905 o1(o2(o2(x,x),x)) true 56223 56223 -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
t14_x3_u1_b88 14 3 1 88 log(min(add(P,D),P)) 49658 113809906 o1(o2(o2(x,x),x)) true 56231 56231 -0.1813 0.4336 0.9437 0.8948 0.946 -1 1 2 1 1.702 0.004175 0 0.007937 1 1 -2.587e-9 0.007946 0.008904 0.004111 0.06412 8.079 1 0.004666 0.00888 1 1 0.005805 0.03021 0.2391 0.006488 0.03376 0.2671 json
t14_x3_u1_b89 14 3 1 89 log(min(sub(P,D),P)) 49659 113809907 o1(o2(o2(x,x),x)) true 56239 56239 -0.1905 0.4063 0.9421 0.8881 0.9424 -1 1 2 1 1.718 0.004185 0 0.009783 1 1 -2.365e-9 0.007978 0.009941 0.004088 0.06394 6.536 0.9685 0.004712 0.008984 1 1 0.00581 0.0282 0.2347 0.006542 0.03176 0.2642 json
t14_x3_u1_b90 14 3 1 90 log(min(mlt(P,D),P)) 49660 113809908 o1(o2(o2(x,x),x)) true 56247 56247 -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
t14_x3_u1_b91 14 3 1 91 log(min(div(P,D),P)) 49661 113809909 o1(o2(o2(x,x),x)) true 56255 56255 -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
t14_x3_u1_b92 14 3 1 92 log(min(pow(P,D),P)) 49662 113809910 o1(o2(o2(x,x),x)) true 56263 56263 -0.5811 0.1719 0.6243 0.2366 0.4864 -1 0.2753 1.275 1 2.4 0.005528 0 0.02624 1 1 0.0003388 0.008211 0.01673 0.00484 0.06957 2.651 0.9998 0.02337 0.03471 1 1 0.00742 0.03505 0.07311 0.03137 0.1482 0.3091 json
t14_x3_u1_b93 14 3 1 93 log(min(mod(P,D),P)) 49663 113809911 o1(o2(o2(x,x),x)) true 56271 56271 -0.9998 0 0.9998 0.000008036 0.002835 -1 -0.9546 0.04545 1 0 0.00001639 0 0.0003607 1 0 -9.461e-10 0.00004918 0.0007214 0.00001626 0.004032 11.18 0.04545 2.04 6.12 1 1 0.00001087 0.00001087 0.00001087 1.353 1.353 1.353 json
t14_x3_u1_b94 14 3 1 94 log(min(lrg(P,D),P)) 49664 113809912 o1(o2(o2(x,x),x)) true 56279 56279 -0.5625 0 0.5625 0.2461 0.4961 -1 0 1 1 0.9887 0.003968 0 0.003968 1 1 0 0.007937 0.007937 0.003952 0.06287 15.84 1 0.01612 0.03225 1 1 0.005263 0.02105 0.08421 0.02139 0.08555 0.3422 json
t14_x3_u1_b95 14 3 1 95 log(min(eql(P,D),P)) 49665 113809913 o1(o2(o2(x,x),x)) true 56287 56287 -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
t14_x3_u1_b96 14 3 1 96 log(min(min(P,D),P)) 49666 113809914 o1(o2(o2(x,x),x)) true 56295 56295 -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
t14_x3_u1_b97 14 3 1 97 log(min(dot(P,D),P)) 49667 113809915 o1(o2(o2(x,x),x)) true 56303 56303 -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
t14_x3_u1_b98 14 3 1 98 log(min(dst(P,D),P)) 49668 113809916 o1(o2(o2(x,x),x)) true 56311 56311 -0.175 0.4359 0.9502 0.9029 0.9502 -1 1 2 1 1.671 0.004192 0.000003966 0.008058 0.9981 1 7.532e-10 0.007931 0.009018 0.00413 0.06426 7.975 1 0.004647 0.008784 1 1 0.005876 0.03255 0.2479 0.006508 0.03604 0.2746 json
t14_x3_u1_b99 14 3 1 99 log(dot(add(P,D),P)) 49669 113809917 o1(o2(o2(x,x),x)) true 56319 56319 0.9611 0.9844 0.9923 0.06552 0.256 -1 1 2 1 0.3056 0.001817 0.001817 0.004288 6.406e-8 1 -2.44e-10 0.007073 0.005514 0.003615 0.06012 14.02 2.394 0.05547 0.1079 1 1 0.006885 0.0397 0.216 0.1051 0.6059 3.297 json
t14_x3_u1_b100 14 3 1 100 log(dot(sub(P,D),P)) 49670 113809918 o1(o2(o2(x,x),x)) true 56327 56327 0.9591 0.9823 0.9906 0.06736 0.2595 -1 1 2 1 0.3258 0.002169 0.002169 0.004909 -4.293e-7 1 -9.011e-11 0.008788 0.006615 0.004318 0.06571 13.39 2.395 0.06441 0.1305 1 1 0.007889 0.04014 0.2179 0.1171 0.5959 3.235 json
t14_x3_u1_b101 14 3 1 101 log(dot(mlt(P,D),P)) 49671 113809919 o1(o2(o2(x,x),x)) true 56335 56335 -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
t14_x3_u1_b102 14 3 1 102 log(dot(div(P,D),P)) 49672 113809920 o1(o2(o2(x,x),x)) true 56343 56343 -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
t14_x3_u1_b103 14 3 1 103 log(dot(pow(P,D),P)) 49673 113809921 o1(o2(o2(x,x),x)) true 56351 56351 -0.5123 0.2461 0.9956 0.7311 0.8551 -1 1 2 1 0.9148 0.006661 0.006661 0.00776 3.845e-7 1 1.566e-9 0.02672 0.01444 0.01326 0.1152 14.84 2.394 0.01822 0.03655 1 1 0.01663 0.06932 0.3136 0.02275 0.09481 0.4289 json
t14_x3_u1_b104 14 3 1 104 log(dot(mod(P,D),P)) 49674 113809922 o1(o2(o2(x,x),x)) true 56359 56359 -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
t14_x3_u1_b105 14 3 1 105 log(dot(lrg(P,D),P)) 49675 113809923 o1(o2(o2(x,x),x)) true 56367 56367 0.3147 0.6836 0.9475 0.8303 0.9112 -1 1 2 1 1.695 0.002584 0.002584 0.009162 0.000001892 1 -5.549e-9 0.009904 0.01042 0.005088 0.07133 7.785 2.394 0.006225 0.01193 1 1 0.007644 0.04177 0.3032 0.009206 0.05031 0.3652 json
t14_x3_u1_b106 14 3 1 106 log(dot(eql(P,D),P)) 49676 113809924 o1(o2(o2(x,x),x)) true 56375 56375 -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
t14_x3_u1_b107 14 3 1 107 log(dot(min(P,D),P)) 49677 113809925 o1(o2(o2(x,x),x)) true 56383 56383 0.2453 0.6238 0.9897 0.9265 0.9626 -1 1 2 1 1.159 0.02134 0.02134 0.02653 -2.619e-7 1 0.0004821 0.08968 0.04745 0.04199 0.2049 7.723 2.006 0.04606 0.09679 1 1 0.05251 0.1688 0.4366 0.05667 0.1822 0.4712 json
t14_x3_u1_b108 14 3 1 108 log(dot(dot(P,D),P)) 49678 113809926 o1(o2(o2(x,x),x)) true 56391 56391 -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
t14_x3_u1_b109 14 3 1 109 log(dot(dst(P,D),P)) 49679 113809927 o1(o2(o2(x,x),x)) true 56399 56399 -0.1813 0.4098 0.9984 0.9649 0.9823 -1 1 2 1 1.016 0.01317 0.01317 0.01366 3.536e-8 1 1.201e-10 0.05576 0.0271 0.02617 0.1618 11.84 2.828 0.02729 0.05778 1 1 0.03423 0.1461 0.6344 0.03548 0.1514 0.6574 json
t14_x3_u1_b110 14 3 1 110 log(dst(add(P,D),P)) 49680 113809928 o1(o2(o2(x,x),x)) true 56407 56407 -0.7705 0 0.7705 0.04347 0.2085 -1 -0.3539 0.6461 1 2.94 0.004784 0.004784 0.07691 -0.000003456 1 -0.0003411 0.005662 0.04961 0.003653 0.06044 0.7859 0.2093 0.2201 0.1303 1 1 0.01694 0.08275 0 0.3898 1.904 0 json
t14_x3_u1_b111 14 3 1 111 log(dst(sub(P,D),P)) 49681 113809929 o1(o2(o2(x,x),x)) true 56415 56415 -0.7705 0 0.7705 0.04347 0.2085 -1 -0.3539 0.6461 1 2.94 0.004784 0.004784 0.07691 -0.000003456 1 -0.0003411 0.005662 0.04961 0.003653 0.06044 0.7859 0.2093 0.2201 0.1303 1 1 0.01694 0.08275 0 0.3898 1.904 0 json
t14_x3_u1_b112 14 3 1 112 log(dst(mlt(P,D),P)) 49682 113809930 o1(o2(o2(x,x),x)) true 56423 56423 0.9401 0.9821 0.9717 0.07499 0.2738 -1 1 2 1 0.7715 0.001535 0.001535 0.006285 -9.102e-7 1 1.089e-10 0.005935 0.006226 0.003033 0.05507 8.762 1.905 0.04093 0.07914 1 1 0.005787 0.02952 0.1898 0.07717 0.3936 2.531 json
t14_x3_u1_b113 14 3 1 113 log(dst(div(P,D),P)) 49683 113809931 o1(o2(o2(x,x),x)) true 56431 56431 -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
t14_x3_u1_b114 14 3 1 114 log(dst(pow(P,D),P)) 49684 113809932 o1(o2(o2(x,x),x)) true 56439 56439 -0.5207 0.2461 0.9793 0.7016 0.8376 -1 1 2 1 1.132 0.006094 0.006094 0.008174 0.000001605 1 -1.727e-10 0.02429 0.01402 0.01212 0.1101 13.47 2 0.01737 0.03462 1 1 0.01467 0.05999 0.2561 0.02091 0.0855 0.3649 json
t14_x3_u1_b115 14 3 1 115 log(dst(mod(P,D),P)) 49685 113809933 o1(o2(o2(x,x),x)) true 56447 56447 -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
t14_x3_u1_b116 14 3 1 116 log(dst(lrg(P,D),P)) 49686 113809934 o1(o2(o2(x,x),x)) true 56455 56455 0.9171 0.9766 0.9484 0.08965 0.2994 -1 1 2 1 1.005 0.00135 0.00135 0.006168 0.000002931 1 3.041e-10 0.00522 0.006183 0.00266 0.05157 8.361 1.904 0.03012 0.05822 1 1 0.00503 0.02642 0.1793 0.05611 0.2947 2 json
t14_x3_u1_b117 14 3 1 117 log(dst(eql(P,D),P)) 49687 113809935 o1(o2(o2(x,x),x)) true 56463 56463 0.974 1 0.974 0.01263 0.1124 0.0002017 1 0.9998 1 0.622 0.00003583 0.00003583 0.002176 0.00000198 0 -1.051e-10 0.00000706 0.0005851 0.00006694 0.008181 3.759 0.05358 0.005675 0.0005592 1 1 0.0002465 0.00312 0.02891 0.01952 0.2472 2.29 json
t14_x3_u1_b118 14 3 1 118 log(dst(min(P,D),P)) 49688 113809936 o1(o2(o2(x,x),x)) true 56471 56471 0.3013 0.6559 0.9395 0.8294 0.9107 -1 1 2 1 1.772 0.002517 0.002517 0.01112 -0.000001434 1 -8.447e-10 0.009671 0.01155 0.004909 0.07006 6.298 1.905 0.006069 0.01166 1 1 0.007365 0.0371 0.292 0.00888 0.04474 0.3521 json
t14_x3_u1_b119 14 3 1 119 log(dst(dot(P,D),P)) 49689 113809937 o1(o2(o2(x,x),x)) true 56479 56479 0.948 0.9833 0.9793 0.07089 0.2662 -1 1 2 1 0.6203 0.001587 0.001587 0.00609 -0.00000143 1 -1.427e-10 0.00608 0.006374 0.003134 0.05598 9.193 1.905 0.04477 0.08577 1 1 0.006032 0.03335 0.1982 0.0851 0.4704 2.796 json
t14_x3_u1_b120 14 3 1 120 log(dst(dst(P,D),P)) 49690 113809938 o1(o2(o2(x,x),x)) true 56487 56487 0.9893 0.9982 0.9914 0.008449 0.09192 -1 1 2 1 0.2426 0.0001778 0.0001778 0.002493 3.274e-7 1 7.133e-11 0.00007176 0.000891 0.0003491 0.01869 7.496 0.3638 0.04208 0.008494 1 1 0.001203 0.01236 0.03004 0.1424 1.463 3.555 json
t14_x3_u2_b0 14 3 2 0 frc(add(add(P,D),P)) 49691 113810019 o1(o2(o2(x,x),x)) true 56495 56495 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 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
t14_x3_u2_b1 14 3 2 1 frc(add(sub(P,D),P)) 49692 113810020 o1(o2(o2(x,x),x)) true 56503 56503 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 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
t14_x3_u2_b2 14 3 2 2 frc(add(mlt(P,D),P)) 49693 113810021 o1(o2(o2(x,x),x)) true 56511 56511 0.4696 0.9922 0.4696 0.06611 0.2571 0.000009095 0.9685 0.9685 1 3.922 0.1188 0 0.2751 1 1 -0.004 0.3543 0.4292 0.04315 0.2077 0.755 0.9372 1.797 5.359 1 1 0.06488 0.05327 0.06904 0.9813 0.8057 1.044 json
t14_x3_u2_b3 14 3 2 3 frc(add(div(P,D),P)) 49694 113810022 o1(o2(o2(x,x),x)) true 56519 56519 0.3996 0.9375 0.3996 0.08181 0.286 0 0.9971 0.9971 1 3.721 0.1204 0 0.2617 1 1 -0.0009359 0.3286 0.4514 0.05191 0.2278 0.8705 0.9968 1.472 4.017 1 1 0.07596 0.07925 0.05139 0.9286 0.9687 0.6282 json
t14_x3_u2_b4 14 3 2 4 frc(add(pow(P,D),P)) 49695 113810023 o1(o2(o2(x,x),x)) true 56527 56527 -0.2823 0.4375 0.7176 0.5612 0.7492 -1 0.9783 1.978 1 2.904 0.0322 0 0.07189 1 1 0.0004641 0.07213 0.09097 0.02702 0.1644 2.287 1 0.05737 0.1285 1 1 0.02803 0.0597 0.1511 0.04994 0.1064 0.2691 json
t14_x3_u2_b5 14 3 2 5 frc(add(mod(P,D),P)) 49696 113810024 o1(o2(o2(x,x),x)) true 56535 56535 0.4026 0.9336 0.4026 0.129 0.3591 0 0.9683 0.9683 1 3.398 0.06781 0 0.1272 1 1 -4.73e-9 0.1671 0.2249 0.05163 0.2272 1.786 0.968 0.5257 1.296 1 1 0.04958 0.0541 0.04486 0.3844 0.4194 0.3478 json
t14_x3_u2_b6 14 3 2 6 frc(add(lrg(P,D),P)) 49697 113810025 o1(o2(o2(x,x),x)) true 56543 56543 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
t14_x3_u2_b7 14 3 2 7 frc(add(eql(P,D),P)) 49698 113810026 o1(o2(o2(x,x),x)) true 56551 56551 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
t14_x3_u2_b8 14 3 2 8 frc(add(min(P,D),P)) 49699 113810027 o1(o2(o2(x,x),x)) true 56559 56559 0.2634 0.5547 0.2634 0.1068 0.3268 0 0.9688 0.9688 1 2.934 0.03042 0 0.06336 1 1 0.000248 0.06361 0.06474 0.02641 0.1625 2.565 0.9685 0.2849 0.5958 1 1 0.03133 0.07981 0.02302 0.2934 0.7474 0.2156 json