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
t11_x0_u5_b8 11 0 5 8 sqt(min(P,sgn(P))) 14400 89327624 o1(o2(x,o1(x))) true 115207 115207 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0 0 0.006228 0 0 0.006485 json
t11_x0_u5_b9 11 0 5 9 sqt(dot(P,sgn(P))) 14401 89327625 o1(o2(x,o1(x))) true 115215 115215 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0 0 0.0002733 0 0 0.1194 json
t11_x0_u5_b10 11 0 5 10 sqt(dst(P,sgn(P))) 14402 89327626 o1(o2(x,o1(x))) true 115223 115223 0.9651 0.9844 0.9651 0.02899 0.1703 0 1 1 1 0.4262 0.0001272 0.0001272 0.002837 0.00000206 1 -4.655e-10 0.00001489 0.0006869 0.0002461 0.01569 5.53 0.1194 0.008773 0.0005135 1 1 0 0 0.0008834 0 0 0.03047 json
t11_x0_u6_b0 11 0 6 0 sqt(add(P,nrm(P))) 14403 89327817 o1(o2(x,o1(x))) true 115231 115231 -0.04086 0.4922 0.9748 0.9682 0.984 -1 1 2 1 1.331 0.005848 0.001336 0.008699 0.628 1 -2.938e-8 0.01394 0.01139 0.007102 0.08427 9.688 2.828 0.007419 0.0144 1 1 0 0 0.01123 0 0 0.0116 json
t11_x0_u6_b1 11 0 6 1 sqt(sub(P,nrm(P))) 14404 89327818 o1(o2(x,o1(x))) true 115239 115239 -0.05289 0.4922 0.9627 0.9495 0.9744 -1 1 2 1 1.589 0.004568 0.0008419 0.008663 0.6887 1 8.669e-8 0.01046 0.01048 0.005331 0.07301 8.428 2.18 0.005697 0.01101 1 1 0 0 0.008034 0 0 0.008461 json
t11_x0_u6_b2 11 0 6 2 sqt(mlt(P,nrm(P))) 14405 89327819 o1(o2(x,o1(x))) true 115247 115247 0.8499 0.9844 0.8812 0.1203 0.3468 -1 1 2 1 1.745 0.00402 0.002141 0.01055 0.305 1 -0.000001915 0.01216 0.00863 0.006053 0.0778 7.375 2.603 0.05123 0.1011 1 1 0 0 0.01114 0 0 0.09262 json
t11_x0_u6_b3 11 0 6 3 sqt(div(P,nrm(P))) 14406 89327820 o1(o2(x,o1(x))) true 115255 115255 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0 0 0.04211 0 0 0.09624 json
t11_x0_u6_b4 11 0 6 4 sqt(pow(P,nrm(P))) 14407 89327821 o1(o2(x,o1(x))) true 115263 115263 -0.01563 0.4922 1 0.9995 0.9998 -1 1 2 1 0.9998 0.01587 0.002016 0.008926 0.7746 1 0 0.03628 0.01789 0.01781 0.1334 14.95 2.828 0.0179 0.0363 1 1 0 0 0.0246 0 0 0.02461 json
t11_x0_u6_b5 11 0 6 5 sqt(mod(P,nrm(P))) 14408 89327822 o1(o2(x,o1(x))) true 115271 115271 -0.4935 0.351 0.8034 0.4874 0.6981 -1 0.9188 1.919 1 2.218 0.01853 0.01273 0.02774 0.1855 1 0.00000684 0.06447 0.0426 0.03048 0.1746 6.293 2.542 0.06413 0.1323 1 1 0 0 0.03555 0 0 0.07294 json
t11_x0_u6_b6 11 0 6 6 sqt(lrg(P,nrm(P))) 14409 89327823 o1(o2(x,o1(x))) true 115279 115279 0.4688 0.5074 0.4688 0.2403 0.4902 0 1 1 1 1.406 0.0003686 0.00006053 0.004904 0.7179 1 -4.591e-10 0.00002268 0.001178 0.0004054 0.02013 4.106 0.1169 0.001786 0.00009441 1 1 0 0 0.001191 0 0 0.004955 json
t11_x0_u6_b7 11 0 6 7 sqt(eql(P,nrm(P))) 14410 89327824 o1(o2(x,o1(x))) true 115287 115287 0.06641 0.1398 0.06641 0.04599 0.2145 0 0.9997 0.9997 1 0.9036 0.0007022 0.00008595 0.008964 0.7819 1 -7.45e-10 0.00004117 0.00215 0.0007076 0.0266 2.968 0.1169 0.01714 0.0008953 1 1 0 0 0.002137 0 0 0.04646 json
t11_x0_u6_b8 11 0 6 8 sqt(min(P,nrm(P))) 14411 89327825 o1(o2(x,o1(x))) true 115295 115295 -0.1206 0.5 0.8794 0.8035 0.8964 -1 1 2 1 2.656 0.004106 0.000007345 0.00839 0.9964 1 -0.000001417 0.007915 0.008861 0.004045 0.0636 7.58 1 0.00512 0.009851 1 1 0 0 0.005728 0 0 0.007128 json
t11_x0_u6_b9 11 0 6 9 sqt(dot(P,nrm(P))) 14412 89327826 o1(o2(x,o1(x))) true 115303 115303 0.9688 0.9844 1 0.06152 0.248 -1 1 2 1 0.1161 0.004031 0.004031 0.004013 0 1 0 0.01663 0.008062 0.008054 0.08974 22.36 2.828 0.131 0.2703 1 1 0 0 0.01418 0 0 0.2305 json
t11_x0_u6_b10 11 0 6 10 sqt(dst(P,nrm(P))) 14413 89327827 o1(o2(x,o1(x))) true 115311 115311 0.9577 0.9844 0.989 0.0672 0.2592 -1 1 2 1 0.385 0.001893 0.001893 0.004553 0 1 -2.816e-10 0.007618 0.005789 0.003762 0.06134 13.47 2.324 0.05633 0.1134 1 1 0 0 0.006926 0 0 0.1031 json
t11_x0_u7_b0 11 0 7 0 log(add(P,sqt(P))) 14414 89328018 o1(o2(x,o1(x))) true 115319 115319 -0.132 0.4375 0.993 0.9704 0.9851 -1 1 2 1 1.206 0.01144 0 0.007937 1 1 2.838e-9 0.02272 0.01391 0.01137 0.1066 13.44 1.693 0.01179 0.02341 1 1 0 0 0.01527 0 0 0.01574 json
t11_x0_u7_b1 11 0 7 1 log(sub(P,sqt(P))) 14415 89328019 o1(o2(x,o1(x))) true 115327 115327 -0.3644 0.3359 0.9124 0.7479 0.8648 -1 1 2 1 2.001 0.001179 0 0.007936 1 1 -2.129e-9 0.001715 0.005087 0.001117 0.03342 4.211 0.4654 0.001577 0.002293 1 1 0 0 0.001991 0 0 0.002663 json
t11_x0_u7_b2 11 0 7 2 log(mlt(P,sqt(P))) 14416 89328020 o1(o2(x,o1(x))) true 115335 115335 -0.1553 0.4375 0.9697 0.9396 0.9694 -1 1 2 1 1.353 0.004347 0 0.007937 1 1 4.735e-10 0.007907 0.008847 0.004283 0.06544 8.246 1 0.004626 0.008414 1 1 0 0 0.006288 0 0 0.006691 json
t11_x0_u7_b3 11 0 7 3 log(div(P,sqt(P))) 14417 89328021 o1(o2(x,o1(x))) true 115343 115343 -0.2645 0.4375 0.8605 0.7289 0.8537 -1 1 2 1 2.539 0.004043 0 0.007936 1 1 -7.568e-9 0.007922 0.008872 0.003979 0.06308 7.949 1 0.005547 0.01087 1 1 0 0 0.005464 0 0 0.007497 json
t11_x0_u7_b4 11 0 7 4 log(pow(P,sqt(P))) 14418 89328022 o1(o2(x,o1(x))) true 115351 115351 -0.157 0.4375 0.968 0.9364 0.9677 -1 1 2 1 1.385 0.004311 0 0.007936 1 1 1.42e-9 0.007904 0.008895 0.004246 0.06516 8.211 1 0.004603 0.008441 1 1 0 0 0.006192 0 0 0.006613 json
t11_x0_u7_b5 11 0 7 5 log(mod(P,sqt(P))) 14419 89328023 o1(o2(x,o1(x))) true 115359 115359 -0.7132 0.1641 0.85 0.2962 0.5443 -1 0.8514 1.851 1 1.9 0.007956 0 0.01716 1 1 0.00002838 0.01494 0.01836 0.007665 0.08755 5.103 1.237 0.02686 0.05045 1 1 0 0 0.01092 0 0 0.03687 json
t11_x0_u7_b6 11 0 7 6 log(lrg(P,sqt(P))) 14420 89328024 o1(o2(x,o1(x))) true 115367 115367 -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
t11_x0_u7_b7 11 0 7 7 log(eql(P,sqt(P))) 14421 89328025 o1(o2(x,o1(x))) true 115375 115375 -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
t11_x0_u7_b8 11 0 7 8 log(min(P,sqt(P))) 14422 89328026 o1(o2(x,o1(x))) true 115383 115383 -0.2645 0.4375 0.8605 0.7289 0.8537 -1 1 2 1 2.539 0.004043 0 0.007936 1 1 -9.461e-9 0.007922 0.008872 0.003979 0.06308 7.949 1 0.005547 0.01087 1 1 0 0 0.005464 0 0 0.007497 json
t11_x0_u7_b9 11 0 7 9 log(dot(P,sqt(P))) 14423 89328027 o1(o2(x,o1(x))) true 115391 115391 -0.5102 0.2461 0.9976 0.7364 0.8581 -1 1 2 1 0.8618 0.007031 0.007031 0.0078 -9.935e-8 1 3.379e-11 0.0282 0.01484 0.014 0.1183 15.17 2.394 0.0191 0.03829 1 1 0 0 0.01794 0 0 0.02437 json
t11_x0_u7_b10 11 0 7 10 log(dst(P,sqt(P))) 14424 89328028 o1(o2(x,o1(x))) true 115399 115399 -0.5658 0.2247 0.971 0.6396 0.7997 -1 1 2 1 1.235 0.004727 0.004727 0.007659 6.895e-7 1 -3.304e-10 0.01876 0.01158 0.009397 0.09694 12.66 2 0.01478 0.02933 1 1 0 0 0.00993 0 0 0.01553 json
t11_x0_u8_b0 11 0 8 0 log(add(P,log(P))) 14425 89328219 o1(o2(x,o1(x))) true 115407 115407 -0.1566 0.4375 0.9684 0.9364 0.9677 -1 1 2 1 1.385 0.004317 0 0.007936 1 1 -4.736e-10 0.007904 0.008851 0.004253 0.06521 8.217 1 0.00461 0.00844 1 1 0 0 0.006211 0 0 0.006632 json
t11_x0_u8_b1 11 0 8 1 log(sub(P,log(P))) 14426 89328220 o1(o2(x,o1(x))) true 115415 115415 -0.2261 0.4336 0.8989 0.8173 0.904 -1 1 2 1 2.049 0.004081 0 0.007936 1 1 5.204e-9 0.007929 0.008945 0.004017 0.06338 7.986 1 0.004994 0.009702 1 1 0 0 0.005568 0 0 0.006813 json
t11_x0_u8_b2 11 0 8 2 log(mlt(P,log(P))) 14427 89328221 o1(o2(x,o1(x))) true 115423 115423 -0.2679 0.375 0.9821 0.902 0.9498 -1 1 2 1 1.246 0.007209 0 0.007936 1 1 -4.731e-10 0.01395 0.01129 0.007144 0.08452 10.65 1.327 0.007992 0.01546 1 1 0 0 0.009874 0 0 0.01095 json
t11_x0_u8_b3 11 0 8 3 log(div(P,log(P))) 14428 89328222 o1(o2(x,o1(x))) true 115431 115431 -0.25 0.375 1 0.9375 0.9682 -1 1 2 1 0.9544 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01693 0.03386 1 1 0 0 0.02105 0 0 0.02246 json
t11_x0_u8_b4 11 0 8 4 log(pow(P,log(P))) 14429 89328223 o1(o2(x,o1(x))) true 115439 115439 -0.1858 0.4375 0.9392 0.8879 0.9423 -1 1 2 1 1.662 0.004189 0 0.007937 1 1 9.461e-10 0.007935 0.009028 0.004125 0.06423 8.092 1 0.004718 0.008936 1 1 0 0 0.00585 0 0 0.006589 json
t11_x0_u8_b5 11 0 8 5 log(mod(P,log(P))) 14430 89328224 o1(o2(x,o1(x))) true 115447 115447 -0.7213 0.1328 0.7842 0.2093 0.4575 -1 0.5661 1.566 1 2.167 0.002367 0 0.01577 1 1 0.00003737 0.002281 0.008485 0.002119 0.04603 2.92 0.5118 0.01131 0.0109 1 1 0 0 0.004249 0 0 0.0203 json
t11_x0_u8_b6 11 0 8 6 log(lrg(P,log(P))) 14431 89328225 o1(o2(x,o1(x))) true 115455 115455 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
t11_x0_u8_b7 11 0 8 7 log(eql(P,log(P))) 14432 89328226 o1(o2(x,o1(x))) true 115463 115463 -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
t11_x0_u8_b8 11 0 8 8 log(min(P,log(P))) 14433 89328227 o1(o2(x,o1(x))) true 115471 115471 -0.4795 0.332 0.7903 0.4844 0.696 -1 0.7321 1.732 1 2.357 0.001703 0 0.006871 1 1 0.000005963 0.003175 0.006013 0.001655 0.04068 5.921 0.6336 0.003516 0.006556 1 1 0 0 0.002401 0 0 0.004957 json
t11_x0_u8_b9 11 0 8 9 log(dot(P,log(P))) 14434 89328228 o1(o2(x,o1(x))) true 115479 115479 -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
t11_x0_u8_b10 11 0 8 10 log(dst(P,log(P))) 14435 89328229 o1(o2(x,o1(x))) true 115487 115487 -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
t11_x0_u9_b0 11 0 9 0 log(add(P,frc(P))) 14436 89328420 o1(o2(x,o1(x))) true 115495 115495 -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
t11_x0_u9_b1 11 0 9 1 log(sub(P,frc(P))) 14437 89328421 o1(o2(x,o1(x))) true 115503 115503 -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
t11_x0_u9_b2 11 0 9 2 log(mlt(P,frc(P))) 14438 89328422 o1(o2(x,o1(x))) true 115511 115511 -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
t11_x0_u9_b3 11 0 9 3 log(div(P,frc(P))) 14439 89328423 o1(o2(x,o1(x))) true 115519 115519 -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
t11_x0_u9_b4 11 0 9 4 log(pow(P,frc(P))) 14440 89328424 o1(o2(x,o1(x))) true 115527 115527 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
t11_x0_u9_b5 11 0 9 5 log(mod(P,frc(P))) 14441 89328425 o1(o2(x,o1(x))) true 115535 115535 -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
t11_x0_u9_b6 11 0 9 6 log(lrg(P,frc(P))) 14442 89328426 o1(o2(x,o1(x))) true 115543 115543 -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
t11_x0_u9_b7 11 0 9 7 log(eql(P,frc(P))) 14443 89328427 o1(o2(x,o1(x))) true 115551 115551 -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
t11_x0_u9_b8 11 0 9 8 log(min(P,frc(P))) 14444 89328428 o1(o2(x,o1(x))) true 115559 115559 -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
t11_x0_u9_b9 11 0 9 9 log(dot(P,frc(P))) 14445 89328429 o1(o2(x,o1(x))) true 115567 115567 -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
t11_x0_u9_b10 11 0 9 10 log(dst(P,frc(P))) 14446 89328430 o1(o2(x,o1(x))) true 115575 115575 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 4.881e-11 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0 0 0.005375 0 0 0.07424 json
t11_x0_u10_b0 11 0 10 0 log(add(P,flr(P))) 14447 89328621 o1(o2(x,o1(x))) true 115583 115583 -0.1312 0.4375 0.9938 0.9718 0.9858 -1 1 2 1 1.182 0.01145 0 0.007937 1 1 0 0.02272 0.01402 0.01139 0.1067 13.44 1.693 0.01178 0.02338 1 1 0 0 0.01531 0 0 0.01575 json
t11_x0_u10_b1 11 0 10 1 log(sub(P,flr(P))) 14448 89328622 o1(o2(x,o1(x))) true 115591 115591 -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
t11_x0_u10_b2 11 0 10 2 log(mlt(P,flr(P))) 14449 89328623 o1(o2(x,o1(x))) true 115599 115599 0.6987 0.875 0.9487 0.4505 0.6712 -1 1 2 1 1.146 0.008959 0 0.01587 1 1 -1.892e-9 0.01587 0.0183 0.008704 0.0933 5.878 1 0.01989 0.03522 1 1 0 0 0.01324 0 0 0.02939 json
t11_x0_u10_b3 11 0 10 3 log(div(P,flr(P))) 14450 89328624 o1(o2(x,o1(x))) true 115607 115607 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 1.406 0.007937 0 0.007937 1 1 2.125e-14 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0 0 0.01053 0 0 0.09624 json
t11_x0_u10_b4 11 0 10 4 log(pow(P,flr(P))) 14451 89328625 o1(o2(x,o1(x))) true 115615 115615 -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 0 0.006621 0 0 0.006991 json
t11_x0_u10_b5 11 0 10 5 log(mod(P,flr(P))) 14452 89328626 o1(o2(x,o1(x))) true 115623 115623 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0 0 0.01053 0 0 0.04491 json
t11_x0_u10_b6 11 0 10 6 log(lrg(P,flr(P))) 14453 89328627 o1(o2(x,o1(x))) true 115631 115631 -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
t11_x0_u10_b7 11 0 10 7 log(eql(P,flr(P))) 14454 89328628 o1(o2(x,o1(x))) true 115639 115639 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
t11_x0_u10_b8 11 0 10 8 log(min(P,flr(P))) 14455 89328629 o1(o2(x,o1(x))) true 115647 115647 -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
t11_x0_u10_b9 11 0 10 9 log(dot(P,flr(P))) 14456 89328630 o1(o2(x,o1(x))) true 115655 115655 0.9607 0.9844 0.992 0.06589 0.2567 -1 1 2 1 0.3064 0.001992 0.001992 0.004418 -4.676e-7 1 0 0.007958 0.00606 0.003962 0.06294 14.25 2.395 0.06045 0.1208 1 1 0 0 0.007346 0 0 0.1115 json
t11_x0_u10_b10 11 0 10 10 log(dst(P,flr(P))) 14457 89328631 o1(o2(x,o1(x))) true 115663 115663 -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
t11_x0_u11_b0 11 0 11 0 log(add(P,cil(P))) 14458 89328822 o1(o2(x,o1(x))) true 115671 115671 -0.1312 0.4375 0.9938 0.9718 0.9858 -1 1 2 1 1.182 0.01145 0 0.007937 1 1 0 0.02272 0.01402 0.01139 0.1067 13.44 1.693 0.01178 0.02338 1 1 0 0 0.01531 0 0 0.01575 json
t11_x0_u11_b1 11 0 11 1 log(sub(P,cil(P))) 14459 89328823 o1(o2(x,o1(x))) true 115679 115679 -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
t11_x0_u11_b2 11 0 11 2 log(mlt(P,cil(P))) 14460 89328824 o1(o2(x,o1(x))) true 115687 115687 0.6987 0.875 0.9487 0.4505 0.6712 -1 1 2 1 1.146 0.008959 0 0.01587 1 1 -1.892e-9 0.01587 0.0183 0.008704 0.0933 5.878 1 0.01989 0.03522 1 1 0 0 0.01324 0 0 0.02939 json
t11_x0_u11_b3 11 0 11 3 log(div(P,cil(P))) 14461 89328825 o1(o2(x,o1(x))) true 115695 115695 -0.125 0 0.125 0.1094 0.3307 -1 0 1 1 1.406 0.007937 0 0.007937 1 1 2.125e-14 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0 0 0.01053 0 0 0.09624 json
t11_x0_u11_b4 11 0 11 4 log(pow(P,cil(P))) 14462 89328826 o1(o2(x,o1(x))) true 115703 115703 -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 0 0.006621 0 0 0.006991 json
t11_x0_u11_b5 11 0 11 5 log(mod(P,cil(P))) 14463 89328827 o1(o2(x,o1(x))) true 115711 115711 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0 0 0.01053 0 0 0.04491 json
t11_x0_u11_b6 11 0 11 6 log(lrg(P,cil(P))) 14464 89328828 o1(o2(x,o1(x))) true 115719 115719 -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
t11_x0_u11_b7 11 0 11 7 log(eql(P,cil(P))) 14465 89328829 o1(o2(x,o1(x))) true 115727 115727 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
t11_x0_u11_b8 11 0 11 8 log(min(P,cil(P))) 14466 89328830 o1(o2(x,o1(x))) true 115735 115735 -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
t11_x0_u11_b9 11 0 11 9 log(dot(P,cil(P))) 14467 89328831 o1(o2(x,o1(x))) true 115743 115743 0.9607 0.9844 0.992 0.06589 0.2567 -1 1 2 1 0.3064 0.001992 0.001992 0.004418 -4.676e-7 1 0 0.007958 0.00606 0.003962 0.06294 14.25 2.395 0.06045 0.1208 1 1 0 0 0.007346 0 0 0.1115 json
t11_x0_u11_b10 11 0 11 10 log(dst(P,cil(P))) 14468 89328832 o1(o2(x,o1(x))) true 115751 115751 -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
t11_x0_u12_b0 11 0 12 0 log(add(P,sgn(P))) 14469 89329023 o1(o2(x,o1(x))) true 115759 115759 -0.1331 0.4375 0.9919 0.968 0.9839 -1 1 2 1 1.223 0.01142 0 0.007937 1 1 1.892e-9 0.02272 0.01379 0.01136 0.1066 13.43 1.693 0.0118 0.02347 1 1 0 0 0.01523 0 0 0.01574 json
t11_x0_u12_b1 11 0 12 1 log(sub(P,sgn(P))) 14470 89329024 o1(o2(x,o1(x))) true 115767 115767 -0.2989 0.375 0.9511 0.8461 0.9199 -1 1 2 1 1.595 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004947 0.009356 1 1 0 0 0.005854 0 0 0.006919 json
t11_x0_u12_b2 11 0 12 2 log(mlt(P,sgn(P))) 14471 89329025 o1(o2(x,o1(x))) true 115775 115775 0.6522 0.875 0.9022 0.445 0.6671 -1 1 2 1 1.874 0.008372 0 0.01587 1 1 2.841e-9 0.01583 0.01783 0.008118 0.0901 5.677 1 0.01881 0.03558 1 1 0 0 0.01171 0 0 0.02631 json
t11_x0_u12_b3 11 0 12 3 log(div(P,sgn(P))) 14472 89329026 o1(o2(x,o1(x))) true 115783 115783 0.6522 0.875 0.9022 0.445 0.6671 -1 1 2 1 1.874 0.008372 0 0.01587 1 1 2.841e-9 0.01583 0.01783 0.008118 0.0901 5.677 1 0.01881 0.03558 1 1 0 0 0.01171 0 0 0.02631 json
t11_x0_u12_b4 11 0 12 4 log(pow(P,sgn(P))) 14473 89329027 o1(o2(x,o1(x))) true 115791 115791 -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
t11_x0_u12_b5 11 0 12 5 log(mod(P,sgn(P))) 14474 89329028 o1(o2(x,o1(x))) true 115799 115799 -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
t11_x0_u12_b6 11 0 12 6 log(lrg(P,sgn(P))) 14475 89329029 o1(o2(x,o1(x))) true 115807 115807 -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
t11_x0_u12_b7 11 0 12 7 log(eql(P,sgn(P))) 14476 89329030 o1(o2(x,o1(x))) true 115815 115815 -0.875 0 0.875 0.1094 0.3307 -1 0 1 1 0.5436 0.007937 0 0.007937 1 1 0 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0 0 0.01053 0 0 0.09624 json
t11_x0_u12_b8 11 0 12 8 log(min(P,sgn(P))) 14477 89329031 o1(o2(x,o1(x))) true 115823 115823 -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
t11_x0_u12_b9 11 0 12 9 log(dot(P,sgn(P))) 14478 89329032 o1(o2(x,o1(x))) true 115831 115831 0.9544 0.9844 0.9857 0.06806 0.2609 -1 1 2 1 0.4826 0.001965 0.001965 0.004947 2.963e-7 1 5.519e-10 0.007952 0.006023 0.003908 0.06251 12.64 2.394 0.05774 0.1168 1 1 0 0 0.00716 0 0 0.1052 json
t11_x0_u12_b10 11 0 12 10 log(dst(P,sgn(P))) 14479 89329033 o1(o2(x,o1(x))) true 115839 115839 0.8257 0.9375 0.9507 0.2492 0.4992 -1 1 2 1 1.256 0.002528 0.002528 0.009041 0.000001013 1 1.802e-9 0.009864 0.009934 0.004978 0.07055 7.804 1.904 0.02029 0.03959 1 1 0 0 0.009319 0 0 0.0374 json
t11_x0_u13_b0 11 0 13 0 log(add(P,nrm(P))) 14480 89329224 o1(o2(x,o1(x))) true 115847 115847 -0.1518 0.4375 0.9732 0.9381 0.9686 -1 1 2 1 1.502 0.006824 0.000001711 0.007981 0.9995 1 -2.488e-7 0.01331 0.01097 0.00676 0.08222 10.3 1.693 0.007276 0.01418 1 1 0 0 0.009925 0 0 0.01058 json
t11_x0_u13_b1 11 0 13 1 log(sub(P,nrm(P))) 14481 89329225 o1(o2(x,o1(x))) true 115855 115855 -0.2207 0.4048 0.9338 0.8612 0.928 -1 1 2 1 1.945 0.002522 0.0002278 0.008308 0.8343 1 4.643e-7 0.004972 0.007355 0.002682 0.05179 6.234 1.556 0.003193 0.005773 1 1 0 0 0.003948 0 0 0.004584 json
t11_x0_u13_b2 11 0 13 2 log(mlt(P,nrm(P))) 14482 89329226 o1(o2(x,o1(x))) true 115863 115863 0.434 0.7381 0.8476 0.6057 0.7783 -1 1 2 1 2.847 0.002006 0.00005968 0.01687 0.9422 1 -0.000008883 0.001976 0.006907 0.00178 0.04219 2.501 1 0.00341 0.003262 1 1 0 0 0.004686 0 0 0.007735 json
t11_x0_u13_b3 11 0 13 3 log(div(P,nrm(P))) 14483 89329227 o1(o2(x,o1(x))) true 115871 115871 0.7352 0.875 0.9852 0.4374 0.6614 -1 1 2 1 0.9374 0.0274 0.00002105 0.01625 0.9985 1 1.765e-10 0.05469 0.02952 0.02715 0.1648 10.14 2 0.06269 0.125 1 1 0 0 0.03464 0 0 0.0792 json
t11_x0_u13_b4 11 0 13 4 log(pow(P,nrm(P))) 14484 89329228 o1(o2(x,o1(x))) true 115879 115879 -0.2222 0.4353 0.9028 0.8229 0.9071 -1 1 2 1 2.112 0.004097 0.000006777 0.008204 0.9967 1 -0.000002575 0.007927 0.008947 0.004035 0.06352 7.742 1 0.004987 0.009633 1 1 0 0 0.005671 0 0 0.006891 json
t11_x0_u13_b5 11 0 13 5 log(mod(P,nrm(P))) 14485 89329229 o1(o2(x,o1(x))) true 115887 115887 -0.9802 0 0.9802 0.007309 0.08549 -1 -0.1699 0.8301 1 0.543 0.0004411 0.0004243 0.00566 0.01943 1 0.00004137 0.001226 0.004821 0.0008331 0.02886 5.1 0.7736 0.1184 0.1678 1 1 0 0 0.0008998 0 0 0.1231 json
t11_x0_u13_b6 11 0 13 6 log(lrg(P,nrm(P))) 14486 89329230 o1(o2(x,o1(x))) true 115895 115895 -0.5703 0 0.5703 0.245 0.495 -1 0 1 1 0.9857 0.003968 0.0005039 0.004463 0.7746 1 0 0.00907 0.008944 0.004452 0.06672 14.95 1.414 0.01825 0.03702 1 1 0 0 0.00615 0 0 0.0251 json
t11_x0_u13_b7 11 0 13 7 log(eql(P,nrm(P))) 14487 89329231 o1(o2(x,o1(x))) true 115903 115903 -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
t11_x0_u13_b8 11 0 13 8 log(min(P,nrm(P))) 14488 89329232 o1(o2(x,o1(x))) true 115911 115911 -0.7292 0 0.7292 0.1416 0.3763 -1 -0.000002256 1 1 2.32 0.000524 0.00003383 0.004906 0.8787 1 -0.00000173 0.0009385 0.002274 0.0005336 0.0231 4.708 0.9999 0.003939 0.006627 1 1 0 0 0.001082 0 0 0.00764 json
t11_x0_u13_b9 11 0 13 9 log(dot(P,nrm(P))) 14489 89329233 o1(o2(x,o1(x))) true 115919 115919 0.944 0.9844 0.9752 0.07239 0.2691 -1 1 2 1 0.7009 0.001465 0.001465 0.005009 -7.548e-7 1 1.126e-10 0.005843 0.005405 0.002907 0.05392 10.76 1.904 0.04048 0.08071 1 1 0 0 0.005375 0 0 0.07424 json
t11_x0_u13_b10 11 0 13 10 log(dst(P,nrm(P))) 14490 89329234 o1(o2(x,o1(x))) true 115927 115927 0.8552 0.9473 0.9538 0.2026 0.4502 -1 1 2 1 1.199 0.001998 0.001998 0.008477 -1.748e-7 1 9.011e-11 0.007815 0.00831 0.003926 0.06266 7.392 1.714 0.01972 0.03857 1 1 0 0 0.007538 0 0 0.0372 json
t11_x0_u14_b0 11 0 14 0 frc(add(P,sqt(P))) 14491 89329425 o1(o2(x,o1(x))) true 115935 115935 -0.3193 0.4336 0.6808 0.4992 0.7065 -1 0.8284 1.828 1 2.734 0.004315 0 0.01306 1 1 0.00001641 0.007952 0.01004 0.004143 0.06437 4.929 1 0.008644 0.01593 1 1 0 0 0.006105 0 0 0.01223 json
t11_x0_u14_b1 11 0 14 1 frc(sub(P,sqt(P))) 14492 89329426 o1(o2(x,o1(x))) true 115943 115943 -0.337 0.4336 0.663 0.4682 0.6843 -1 0.7639 1.764 1 2.704 0.004398 0 0.01399 1 1 -0.00001641 0.007956 0.01026 0.004203 0.06483 4.633 1 0.009392 0.01699 1 1 0 0 0.006323 0 0 0.0135 json
t11_x0_u14_b2 11 0 14 2 frc(mlt(P,sqt(P))) 14493 89329427 o1(o2(x,o1(x))) true 115951 115951 -0.329 0.4297 0.671 0.4889 0.6992 -1 0.8282 1.828 1 2.691 0.004486 0 0.01443 1 1 0.000009626 0.00796 0.01037 0.004279 0.06541 4.533 1 0.009175 0.01628 1 1 0 0 0.006581 0 0 0.01346 json
t11_x0_u14_b3 11 0 14 3 frc(div(P,sqt(P))) 14494 89329428 o1(o2(x,o1(x))) true 115959 115959 -0.3818 0.4336 0.7433 0.5181 0.7198 -1 0.8284 1.828 1 2.572 0.004316 0 0.01306 1 1 0.00001641 0.007932 0.01002 0.004144 0.06438 4.929 1 0.008331 0.01531 1 1 0 0 0.006121 0 0 0.01182 json
t11_x0_u14_b4 11 0 14 4 frc(pow(P,sqt(P))) 14495 89329429 o1(o2(x,o1(x))) true 115967 115967 -0.3242 0.4375 0.6758 0.4878 0.6984 -1 0.705 1.705 1 2.61 0.00448 0 0.01417 1 1 0.00001878 0.00796 0.0103 0.004279 0.06541 4.615 1 0.009184 0.01632 1 1 0 0 0.006419 0 0 0.01316 json
t11_x0_u14_b5 11 0 14 5 frc(mod(P,sqt(P))) 14496 89329430 o1(o2(x,o1(x))) true 115975 115975 -0.4148 0.4336 0.7102 0.4593 0.6777 -1 0.7084 1.708 1 2.525 0.004491 0 0.01625 1 1 -0.00003283 0.007931 0.01075 0.004227 0.06501 4 1 0.009778 0.01727 1 1 0 0 0.00619 0 0 0.01348 json
t11_x0_u14_b6 11 0 14 6 frc(lrg(P,sqt(P))) 14497 89329431 o1(o2(x,o1(x))) true 115983 115983 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
t11_x0_u14_b7 11 0 14 7 frc(eql(P,sqt(P))) 14498 89329432 o1(o2(x,o1(x))) true 115991 115991 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
t11_x0_u14_b8 11 0 14 8 frc(min(P,sqt(P))) 14499 89329433 o1(o2(x,o1(x))) true 115999 115999 0.1807 0.4336 0.1807 0.06855 0.2618 0 0.8284 0.8284 1 2.292 0.0003464 0 0.009091 1 1 0.00001641 0.00001586 0.002106 0.0002639 0.01624 1.787 0.08556 0.005054 0.0002314 1 1 0 0 0.000842 0 0 0.01228 json