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
t12_x1_u1_b44 12 1 1 44 log(pow(P,add(P,D))) 20200 97487858 o1(o2(x,o2(x,x))) true 161607 161607 -0.1546 0.4375 0.9704 0.9411 0.9701 -1 1 2 1 1.309 0.004441 0 0.007937 1 1 -1.892e-9 0.007964 0.009082 0.004377 0.06616 8.336 1 0.004719 0.008462 1 1 0 0 0.006499 0 0 0.006905 json
t12_x1_u1_b45 12 1 1 45 log(pow(P,sub(P,D))) 20201 97487859 o1(o2(x,o2(x,x))) true 161615 161615 -0.1476 0.4375 0.9774 0.9512 0.9753 -1 1 2 1 1.226 0.004554 0 0.007937 1 1 -9.386e-13 0.007941 0.009297 0.00449 0.067 8.442 1.001 0.004787 0.008348 1 1 0 0 0.006813 0 0 0.007163 json
t12_x1_u1_b46 12 1 1 46 log(pow(P,mlt(P,D))) 20202 97487860 o1(o2(x,o2(x,x))) true 161623 161623 -0.6593 0.1484 0.817 0.3318 0.576 -1 1 2 1 2.431 0.03689 0 0.08096 1 1 -9.461e-10 0.02209 0.0514 0.03035 0.1742 2.152 0.9996 0.1112 0.06657 1 1 0 0 0.04253 0 0 0.1282 json
t12_x1_u1_b47 12 1 1 47 log(pow(P,div(P,D))) 20203 97487861 o1(o2(x,o2(x,x))) true 161631 161631 -0.6263 0.1758 0.971 0.5724 0.7565 -1 1 2 1 1.027 0.1724 0 0.1032 1 1 -1.892e-9 0.3206 0.1839 0.1618 0.4023 3.899 2 0.3012 0.5602 1 1 0 0 0.171 0 0 0.2987 json
t12_x1_u1_b48 12 1 1 48 log(pow(P,pow(P,D))) 20204 97487862 o1(o2(x,o2(x,x))) true 161639 161639 -0.18 0.4375 0.9449 0.8946 0.9458 -1 1 2 1 1.766 0.004162 0 0.007937 1 1 1.892e-9 0.007936 0.008939 0.004098 0.06402 8.066 1 0.004652 0.00887 1 1 0 0 0.005778 0 0 0.006459 json
t12_x1_u1_b49 12 1 1 49 log(pow(P,mod(P,D))) 20205 97487863 o1(o2(x,o2(x,x))) true 161647 161647 -0.4758 0.3945 0.6492 0.3655 0.6046 -1 0.6923 1.692 1 2.311 0.01239 0 0.04667 1 1 -0.00001552 0.0297 0.07645 0.01022 0.1011 2.166 1 0.0339 0.08126 1 1 0 0 0.008963 0 0 0.02452 json
t12_x1_u1_b50 12 1 1 50 log(pow(P,lrg(P,D))) 20206 97487864 o1(o2(x,o2(x,x))) true 161655 161655 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x1_u1_b51 12 1 1 51 log(pow(P,eql(P,D))) 20207 97487865 o1(o2(x,o2(x,x))) true 161663 161663 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
t12_x1_u1_b52 12 1 1 52 log(pow(P,min(P,D))) 20208 97487866 o1(o2(x,o2(x,x))) true 161671 161671 -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 0 0.00742 0 0 0.03137 json
t12_x1_u1_b53 12 1 1 53 log(pow(P,dot(P,D))) 20209 97487867 o1(o2(x,o2(x,x))) true 161679 161679 -0.6956 0.1251 0.839 0.3108 0.5575 -1 1 2 1 2.307 0.02969 0.01447 0.09191 0.3445 1 0.000973 0.03204 0.0612 0.0357 0.189 2.056 1.194 0.1421 0.1031 1 1 0 0 0.04803 0 0 0.1546 json
t12_x1_u1_b54 12 1 1 54 log(pow(P,dst(P,D))) 20210 97487868 o1(o2(x,o2(x,x))) true 161687 161687 -0.1426 0.4375 0.9824 0.9585 0.979 -1 1 2 1 1.208 0.004833 0.000001154 0.007943 0.9995 1 -9.255e-8 0.008092 0.01006 0.004769 0.06906 8.694 1.002 0.005043 0.008443 1 1 0 0 0.007307 0 0 0.007623 json
t12_x1_u1_b55 12 1 1 55 log(mod(P,add(P,D))) 20211 97487869 o1(o2(x,o2(x,x))) true 161695 161695 -0.5569 0.2109 0.8873 0.5448 0.7381 -1 1 2 1 2.079 0.1098 0 0.1007 1 1 2.766e-9 0.193 0.121 0.09972 0.3158 3.135 2 0.2016 0.3543 1 1 0 0 0.1174 0 0 0.2154 json
t12_x1_u1_b56 12 1 1 56 log(mod(P,sub(P,D))) 20212 97487870 o1(o2(x,o2(x,x))) true 161703 161703 -0.529 0.2383 0.9122 0.6026 0.7763 -1 1 2 1 1.977 0.1124 0 0.1063 1 1 2.838e-9 0.1994 0.127 0.1011 0.318 2.992 2 0.1866 0.3309 1 1 0 0 0.1196 0 0 0.1985 json
t12_x1_u1_b57 12 1 1 57 log(mod(P,mlt(P,D))) 20213 97487871 o1(o2(x,o2(x,x))) true 161711 161711 -0.7835 0.09766 0.8537 0.1981 0.4451 -1 0.9077 1.908 1 1.909 0.0507 0 0.1043 1 1 -0.00008477 0.08015 0.1364 0.03983 0.1996 1.914 0.7136 0.256 0.4047 1 1 0 0 0.04754 0 0 0.24 json
t12_x1_u1_b58 12 1 1 58 log(mod(P,div(P,D))) 20214 97487872 o1(o2(x,o2(x,x))) true 161719 161719 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0 0 0.005854 0 0 0.006466 json
t12_x1_u1_b59 12 1 1 59 log(mod(P,pow(P,D))) 20215 97487873 o1(o2(x,o2(x,x))) true 161727 161727 -0.8819 0.007813 0.883 0.06338 0.2518 -1 0.105 1.105 1 1.565 0.08194 0 0.1392 1 1 0.001921 0.2498 0.2443 0.06255 0.2501 1.797 1.105 1.293 3.941 1 1 0 0 0.04258 0 0 0.6719 json
t12_x1_u1_b60 12 1 1 60 log(mod(P,mod(P,D))) 20216 97487874 o1(o2(x,o2(x,x))) true 161735 161735 -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
t12_x1_u1_b61 12 1 1 61 log(mod(P,lrg(P,D))) 20217 97487875 o1(o2(x,o2(x,x))) true 161743 161743 -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
t12_x1_u1_b62 12 1 1 62 log(mod(P,eql(P,D))) 20218 97487876 o1(o2(x,o2(x,x))) true 161751 161751 -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
t12_x1_u1_b63 12 1 1 63 log(mod(P,min(P,D))) 20219 97487877 o1(o2(x,o2(x,x))) true 161759 161759 -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 0 0.00001087 0 0 1.353 json
t12_x1_u1_b64 12 1 1 64 log(mod(P,dot(P,D))) 20220 97487878 o1(o2(x,o2(x,x))) true 161767 161767 -0.7666 0.1125 0.8546 0.225 0.4744 -1 1 2 1 2.004 0.1508 0.1485 0.2658 0.007511 1 -0.0008843 1.474 0.5592 0.2286 0.4781 1.799 2.828 1.33 6.553 1 1 0 0 0.126 0 0 0.56 json
t12_x1_u1_b65 12 1 1 65 log(mod(P,dst(P,D))) 20221 97487879 o1(o2(x,o2(x,x))) true 161775 161775 -0.2372 0.4044 0.9343 0.8568 0.9256 -1 1 2 1 1.889 0.03764 0.01015 0.04515 0.5753 1 1.155e-9 0.1316 0.0634 0.04572 0.2138 4.736 2.828 0.05578 0.1535 1 1 0 0 0.05539 0 0 0.06465 json
t12_x1_u1_b66 12 1 1 66 log(lrg(P,add(P,D))) 20222 97487880 o1(o2(x,o2(x,x))) true 161783 161783 -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
t12_x1_u1_b67 12 1 1 67 log(lrg(P,sub(P,D))) 20223 97487881 o1(o2(x,o2(x,x))) true 161791 161791 -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
t12_x1_u1_b68 12 1 1 68 log(lrg(P,mlt(P,D))) 20224 97487882 o1(o2(x,o2(x,x))) true 161799 161799 -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 0 0.005263 0 0 0.02139 json
t12_x1_u1_b69 12 1 1 69 log(lrg(P,div(P,D))) 20225 97487883 o1(o2(x,o2(x,x))) true 161807 161807 -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
t12_x1_u1_b70 12 1 1 70 log(lrg(P,pow(P,D))) 20226 97487884 o1(o2(x,o2(x,x))) true 161815 161815 -0.1875 0 0.1875 0.1523 0.3903 -1 0 1 1 0.6962 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.0521 0.1042 1 1 0 0 0.01053 0 0 0.0691 json
t12_x1_u1_b71 12 1 1 71 log(lrg(P,mod(P,D))) 20227 97487885 o1(o2(x,o2(x,x))) true 161823 161823 -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 0 0.005263 0 0 0.02139 json
t12_x1_u1_b72 12 1 1 72 log(lrg(P,lrg(P,D))) 20228 97487886 o1(o2(x,o2(x,x))) true 161831 161831 -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 0 0.005263 0 0 0.02246 json
t12_x1_u1_b73 12 1 1 73 log(lrg(P,eql(P,D))) 20229 97487887 o1(o2(x,o2(x,x))) true 161839 161839 -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 0 0.005263 0 0 0.02139 json
t12_x1_u1_b74 12 1 1 74 log(lrg(P,min(P,D))) 20230 97487888 o1(o2(x,o2(x,x))) true 161847 161847 -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 0 0.005263 0 0 0.02139 json
t12_x1_u1_b75 12 1 1 75 log(lrg(P,dot(P,D))) 20231 97487889 o1(o2(x,o2(x,x))) true 161855 161855 -0.7563 0 0.7563 0.1844 0.4294 -1 0 1 1 0.8012 0.03641 0.0317 0.06394 0.06913 1 -0.0005669 0.2028 0.1357 0.06402 0.253 3.958 1.414 0.3693 1.1 1 1 0 0 0.0612 0 0 0.3319 json
t12_x1_u1_b76 12 1 1 76 log(lrg(P,dst(P,D))) 20232 97487890 o1(o2(x,o2(x,x))) true 161863 161863 -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
t12_x1_u1_b77 12 1 1 77 log(eql(P,add(P,D))) 20233 97487891 o1(o2(x,o2(x,x))) true 161871 161871 -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
t12_x1_u1_b78 12 1 1 78 log(eql(P,sub(P,D))) 20234 97487892 o1(o2(x,o2(x,x))) true 161879 161879 -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
t12_x1_u1_b79 12 1 1 79 log(eql(P,mlt(P,D))) 20235 97487893 o1(o2(x,o2(x,x))) true 161887 161887 -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
t12_x1_u1_b80 12 1 1 80 log(eql(P,div(P,D))) 20236 97487894 o1(o2(x,o2(x,x))) true 161895 161895 -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
t12_x1_u1_b81 12 1 1 81 log(eql(P,pow(P,D))) 20237 97487895 o1(o2(x,o2(x,x))) true 161903 161903 -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 0 0.01053 0 0 0.1796 json
t12_x1_u1_b82 12 1 1 82 log(eql(P,mod(P,D))) 20238 97487896 o1(o2(x,o2(x,x))) true 161911 161911 -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
t12_x1_u1_b83 12 1 1 83 log(eql(P,lrg(P,D))) 20239 97487897 o1(o2(x,o2(x,x))) true 161919 161919 -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 0 0.01053 0 0 0.1796 json
t12_x1_u1_b84 12 1 1 84 log(eql(P,eql(P,D))) 20240 97487898 o1(o2(x,o2(x,x))) true 161927 161927 -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
t12_x1_u1_b85 12 1 1 85 log(eql(P,min(P,D))) 20241 97487899 o1(o2(x,o2(x,x))) true 161935 161935 -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 0 0.005263 0 0 0.02139 json
t12_x1_u1_b86 12 1 1 86 log(eql(P,dot(P,D))) 20242 97487900 o1(o2(x,o2(x,x))) true 161943 161943 -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
t12_x1_u1_b87 12 1 1 87 log(eql(P,dst(P,D))) 20243 97487901 o1(o2(x,o2(x,x))) true 161951 161951 -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
t12_x1_u1_b88 12 1 1 88 log(min(P,add(P,D))) 20244 97487902 o1(o2(x,o2(x,x))) true 161959 161959 -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 0 0.005805 0 0 0.006488 json
t12_x1_u1_b89 12 1 1 89 log(min(P,sub(P,D))) 20245 97487903 o1(o2(x,o2(x,x))) true 161967 161967 -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 0 0.00581 0 0 0.006542 json
t12_x1_u1_b90 12 1 1 90 log(min(P,mlt(P,D))) 20246 97487904 o1(o2(x,o2(x,x))) true 161975 161975 -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
t12_x1_u1_b91 12 1 1 91 log(min(P,div(P,D))) 20247 97487905 o1(o2(x,o2(x,x))) true 161983 161983 -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
t12_x1_u1_b92 12 1 1 92 log(min(P,pow(P,D))) 20248 97487906 o1(o2(x,o2(x,x))) true 161991 161991 -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 0 0.00742 0 0 0.03137 json
t12_x1_u1_b93 12 1 1 93 log(min(P,mod(P,D))) 20249 97487907 o1(o2(x,o2(x,x))) true 161999 161999 -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 0 0.00001087 0 0 1.353 json
t12_x1_u1_b94 12 1 1 94 log(min(P,lrg(P,D))) 20250 97487908 o1(o2(x,o2(x,x))) true 162007 162007 -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 0 0.005263 0 0 0.02139 json
t12_x1_u1_b95 12 1 1 95 log(min(P,eql(P,D))) 20251 97487909 o1(o2(x,o2(x,x))) true 162015 162015 -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
t12_x1_u1_b96 12 1 1 96 log(min(P,min(P,D))) 20252 97487910 o1(o2(x,o2(x,x))) true 162023 162023 -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
t12_x1_u1_b97 12 1 1 97 log(min(P,dot(P,D))) 20253 97487911 o1(o2(x,o2(x,x))) true 162031 162031 -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
t12_x1_u1_b98 12 1 1 98 log(min(P,dst(P,D))) 20254 97487912 o1(o2(x,o2(x,x))) true 162039 162039 -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 0 0.005876 0 0 0.006508 json
t12_x1_u1_b99 12 1 1 99 log(dot(P,add(P,D))) 20255 97487913 o1(o2(x,o2(x,x))) true 162047 162047 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 0 0.006885 0 0 0.1051 json
t12_x1_u1_b100 12 1 1 100 log(dot(P,sub(P,D))) 20256 97487914 o1(o2(x,o2(x,x))) true 162055 162055 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 0 0.007889 0 0 0.1171 json
t12_x1_u1_b101 12 1 1 101 log(dot(P,mlt(P,D))) 20257 97487915 o1(o2(x,o2(x,x))) true 162063 162063 -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
t12_x1_u1_b102 12 1 1 102 log(dot(P,div(P,D))) 20258 97487916 o1(o2(x,o2(x,x))) true 162071 162071 -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
t12_x1_u1_b103 12 1 1 103 log(dot(P,pow(P,D))) 20259 97487917 o1(o2(x,o2(x,x))) true 162079 162079 -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 0 0.01663 0 0 0.02275 json
t12_x1_u1_b104 12 1 1 104 log(dot(P,mod(P,D))) 20260 97487918 o1(o2(x,o2(x,x))) true 162087 162087 -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
t12_x1_u1_b105 12 1 1 105 log(dot(P,lrg(P,D))) 20261 97487919 o1(o2(x,o2(x,x))) true 162095 162095 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 0 0.007644 0 0 0.009206 json
t12_x1_u1_b106 12 1 1 106 log(dot(P,eql(P,D))) 20262 97487920 o1(o2(x,o2(x,x))) true 162103 162103 -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
t12_x1_u1_b107 12 1 1 107 log(dot(P,min(P,D))) 20263 97487921 o1(o2(x,o2(x,x))) true 162111 162111 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 0 0.05251 0 0 0.05667 json
t12_x1_u1_b108 12 1 1 108 log(dot(P,dot(P,D))) 20264 97487922 o1(o2(x,o2(x,x))) true 162119 162119 -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
t12_x1_u1_b109 12 1 1 109 log(dot(P,dst(P,D))) 20265 97487923 o1(o2(x,o2(x,x))) true 162127 162127 -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 0 0.03423 0 0 0.03548 json
t12_x1_u1_b110 12 1 1 110 log(dst(P,add(P,D))) 20266 97487924 o1(o2(x,o2(x,x))) true 162135 162135 -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 0 0.01694 0 0 0.3898 json
t12_x1_u1_b111 12 1 1 111 log(dst(P,sub(P,D))) 20267 97487925 o1(o2(x,o2(x,x))) true 162143 162143 -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 0 0.01694 0 0 0.3898 json
t12_x1_u1_b112 12 1 1 112 log(dst(P,mlt(P,D))) 20268 97487926 o1(o2(x,o2(x,x))) true 162151 162151 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 0 0.005787 0 0 0.07717 json
t12_x1_u1_b113 12 1 1 113 log(dst(P,div(P,D))) 20269 97487927 o1(o2(x,o2(x,x))) true 162159 162159 -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
t12_x1_u1_b114 12 1 1 114 log(dst(P,pow(P,D))) 20270 97487928 o1(o2(x,o2(x,x))) true 162167 162167 -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 0 0.01467 0 0 0.02091 json
t12_x1_u1_b115 12 1 1 115 log(dst(P,mod(P,D))) 20271 97487929 o1(o2(x,o2(x,x))) true 162175 162175 -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
t12_x1_u1_b116 12 1 1 116 log(dst(P,lrg(P,D))) 20272 97487930 o1(o2(x,o2(x,x))) true 162183 162183 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 0 0.00503 0 0 0.05611 json
t12_x1_u1_b117 12 1 1 117 log(dst(P,eql(P,D))) 20273 97487931 o1(o2(x,o2(x,x))) true 162191 162191 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 0 0.0002465 0 0 0.01952 json
t12_x1_u1_b118 12 1 1 118 log(dst(P,min(P,D))) 20274 97487932 o1(o2(x,o2(x,x))) true 162199 162199 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 0 0.007365 0 0 0.00888 json
t12_x1_u1_b119 12 1 1 119 log(dst(P,dot(P,D))) 20275 97487933 o1(o2(x,o2(x,x))) true 162207 162207 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 0 0.006032 0 0 0.0851 json
t12_x1_u1_b120 12 1 1 120 log(dst(P,dst(P,D))) 20276 97487934 o1(o2(x,o2(x,x))) true 162215 162215 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 0 0.001203 0 0 0.1424 json
t12_x1_u2_b0 12 1 2 0 frc(add(P,add(P,D))) 20277 97488015 o1(o2(x,o2(x,x))) true 162223 162223 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 0 0.05321 0 0 0.641 json
t12_x1_u2_b1 12 1 2 1 frc(add(P,sub(P,D))) 20278 97488016 o1(o2(x,o2(x,x))) true 162231 162231 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 0 0.05321 0 0 0.641 json
t12_x1_u2_b2 12 1 2 2 frc(add(P,mlt(P,D))) 20279 97488017 o1(o2(x,o2(x,x))) true 162239 162239 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 0 0.06488 0 0 0.9813 json
t12_x1_u2_b3 12 1 2 3 frc(add(P,div(P,D))) 20280 97488018 o1(o2(x,o2(x,x))) true 162247 162247 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 0 0.07596 0 0 0.9286 json
t12_x1_u2_b4 12 1 2 4 frc(add(P,pow(P,D))) 20281 97488019 o1(o2(x,o2(x,x))) true 162255 162255 -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 0 0.02803 0 0 0.04994 json
t12_x1_u2_b5 12 1 2 5 frc(add(P,mod(P,D))) 20282 97488020 o1(o2(x,o2(x,x))) true 162263 162263 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 0 0.04958 0 0 0.3844 json
t12_x1_u2_b6 12 1 2 6 frc(add(P,lrg(P,D))) 20283 97488021 o1(o2(x,o2(x,x))) true 162271 162271 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
t12_x1_u2_b7 12 1 2 7 frc(add(P,eql(P,D))) 20284 97488022 o1(o2(x,o2(x,x))) true 162279 162279 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
t12_x1_u2_b8 12 1 2 8 frc(add(P,min(P,D))) 20285 97488023 o1(o2(x,o2(x,x))) true 162287 162287 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 0 0.03133 0 0 0.2934 json
t12_x1_u2_b9 12 1 2 9 frc(add(P,dot(P,D))) 20286 97488024 o1(o2(x,o2(x,x))) true 162295 162295 0.4835 0.9991 0.4835 0.04261 0.2064 0.00001819 0.9682 0.9682 1 3.725 0.08242 0.08242 0.3477 -0.000004249 1 -0.0005344 0.8173 0.6957 0.04392 0.2096 0.6027 1.326 3.869 19.18 1 1 0 0 0.09122 0 0 2.141 json
t12_x1_u2_b10 12 1 2 10 frc(add(P,dst(P,D))) 20287 97488025 o1(o2(x,o2(x,x))) true 162303 162303 0.4984 1 0.4984 0.0516 0.2272 0.006575 0.9954 0.9889 1 3.853 0.02437 0.02437 0.1234 0.00000623 1 -0.0004041 0.1631 0.1603 0.0335 0.183 1.483 1.354 0.9445 3.162 1 1 0 0 0.0468 0 0 0.907 json
t12_x1_u2_b11 12 1 2 11 frc(sub(P,add(P,D))) 20288 97488026 o1(o2(x,o2(x,x))) true 162311 162311 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 0 0.05321 0 0 0.641 json
t12_x1_u2_b12 12 1 2 12 frc(sub(P,sub(P,D))) 20289 97488027 o1(o2(x,o2(x,x))) true 162319 162319 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 0 0.05321 0 0 0.641 json
t12_x1_u2_b13 12 1 2 13 frc(sub(P,mlt(P,D))) 20290 97488028 o1(o2(x,o2(x,x))) true 162327 162327 0.4679 1 0.4679 0.06599 0.2569 0.000282 0.9687 0.9685 1 3.892 0.1183 0 0.2715 1 1 0.004 0.3542 0.4292 0.04463 0.2113 0.7781 0.9375 1.793 5.368 1 1 0 0 0.06364 0 0 0.9644 json
t12_x1_u2_b14 12 1 2 14 frc(sub(P,div(P,D))) 20291 97488029 o1(o2(x,o2(x,x))) true 162335 162335 0.3828 0.9297 0.3828 0.07739 0.2782 0 0.9985 0.9985 1 3.684 0.1221 0 0.2654 1 1 0.000936 0.3341 0.455 0.05164 0.2272 0.8562 0.9983 1.578 4.317 1 1 0 0 0.0754 0 0 0.9742 json
t12_x1_u2_b15 12 1 2 15 frc(sub(P,pow(P,D))) 20292 97488030 o1(o2(x,o2(x,x))) true 162343 162343 -0.3114 0.4375 0.6886 0.5178 0.7196 -1 0.978 1.978 1 2.871 0.03192 0 0.06923 1 1 -0.0004641 0.07207 0.0907 0.02712 0.1647 2.379 1 0.06164 0.1392 1 1 0 0 0.02733 0 0 0.05277 json
t12_x1_u2_b16 12 1 2 16 frc(sub(P,mod(P,D))) 20293 97488031 o1(o2(x,o2(x,x))) true 162351 162351 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.494e-9 0.1671 0.2249 0.05163 0.2272 1.786 0.968 0.5257 1.296 1 1 0 0 0.05389 0 0 0.4178 json
t12_x1_u2_b17 12 1 2 17 frc(sub(P,lrg(P,D))) 20294 97488032 o1(o2(x,o2(x,x))) true 162359 162359 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
t12_x1_u2_b18 12 1 2 18 frc(sub(P,eql(P,D))) 20295 97488033 o1(o2(x,o2(x,x))) true 162367 162367 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
t12_x1_u2_b19 12 1 2 19 frc(sub(P,min(P,D))) 20296 97488034 o1(o2(x,o2(x,x))) true 162375 162375 0.2366 0.5625 0.2366 0.09342 0.3057 0 0.9688 0.9688 1 2.908 0.02621 0 0.05604 1 1 -0.000248 0.05558 0.05705 0.02306 0.1519 2.71 0.9375 0.2805 0.5949 1 1 0 0 0.02549 0 0 0.2728 json
t12_x1_u2_b20 12 1 2 20 frc(sub(P,dot(P,D))) 20297 97488035 o1(o2(x,o2(x,x))) true 162383 162383 0.4833 1 0.4833 0.0426 0.2064 0.0005638 0.9687 0.9682 1 3.726 0.08242 0.08242 0.3474 -0.000004701 1 0.0004762 0.8176 0.6962 0.04413 0.2101 0.6046 1.325 3.869 19.19 1 1 0 0 0.09109 0 0 2.138 json
t12_x1_u2_b21 12 1 2 21 frc(sub(P,dst(P,D))) 20298 97488036 o1(o2(x,o2(x,x))) true 162391 162391 0.5016 1 0.5016 0.0516 0.2272 0.004559 0.9934 0.9889 1 3.853 0.02437 0.02437 0.1234 0.000006268 1 0.0004041 0.1631 0.1603 0.0335 0.183 1.483 1.354 0.9445 3.162 1 1 0 0 0.0468 0 0 0.907 json
t12_x1_u2_b22 12 1 2 22 frc(mlt(P,add(P,D))) 20299 97488037 o1(o2(x,o2(x,x))) true 162399 162399 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 0 0.06488 0 0 0.9813 json