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
t17_x7_u0_b74 17 7 0 74 lrg(P,min(R,sqt(D))) 103500 138333098 o2(x,o2(x,o1(x))) true 144807 144807 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t17_x7_u0_b75 17 7 0 75 lrg(P,dot(R,sqt(D))) 103501 138333099 o2(x,o2(x,o1(x))) true 144815 144815 0.8659 1 0.8659 0.06426 0.2535 0.000582 1 0.9994 1 2.032 0.01377 0.01382 0.05985 -0.002018 1 -0.0000243 0.05818 0.07147 0.024 0.1549 2.589 0.9994 0.4293 0.9053 1 1 0.02979 0.1002 0.01664 0.4636 1.559 0.2589 json
t17_x7_u0_b76 17 7 0 76 lrg(P,dst(R,sqt(D))) 103502 138333100 o2(x,o2(x,o1(x))) true 144823 144823 0.8516 1 0.8516 0.06885 0.2624 0.000582 1 0.9994 1 2.193 0.01467 0.01498 0.06527 -0.01034 1 -0.00004777 0.06074 0.07673 0.02539 0.1594 2.441 1.404 0.4306 0.8822 1 1 0.03315 0.1138 0.01473 0.4814 1.652 0.214 json
t17_x7_u0_b77 17 7 0 77 eql(P,add(R,sqt(D))) 103503 138333101 o2(x,o2(x,o1(x))) true 144831 144831 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
t17_x7_u0_b78 17 7 0 78 eql(P,sub(R,sqt(D))) 103504 138333102 o2(x,o2(x,o1(x))) true 144839 144839 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
t17_x7_u0_b79 17 7 0 79 eql(P,mlt(R,sqt(D))) 103505 138333103 o2(x,o2(x,o1(x))) true 144847 144847 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
t17_x7_u0_b80 17 7 0 80 eql(P,div(R,sqt(D))) 103506 138333104 o2(x,o2(x,o1(x))) true 144855 144855 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
t17_x7_u0_b81 17 7 0 81 eql(P,pow(R,sqt(D))) 103507 138333105 o2(x,o2(x,o1(x))) true 144863 144863 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
t17_x7_u0_b82 17 7 0 82 eql(P,mod(R,sqt(D))) 103508 138333106 o2(x,o2(x,o1(x))) true 144871 144871 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
t17_x7_u0_b83 17 7 0 83 eql(P,lrg(R,sqt(D))) 103509 138333107 o2(x,o2(x,o1(x))) true 144879 144879 0.06906 0.09409 0.06906 0.05925 0.2434 0 1 1 1 0.5984 0.005267 0.0001258 0.009002 0.9533 1 -0.000004865 0.01012 0.01306 0.005313 0.07289 8.097 1 0.09102 0.1708 1 1 0.007922 0.03994 0.09343 0.1337 0.6742 1.577 json
t17_x7_u0_b84 17 7 0 84 eql(P,eql(R,sqt(D))) 103510 138333108 o2(x,o2(x,o1(x))) true 144887 144887 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x7_u0_b85 17 7 0 85 eql(P,min(R,sqt(D))) 103511 138333109 o2(x,o2(x,o1(x))) true 144895 144895 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
t17_x7_u0_b86 17 7 0 86 eql(P,dot(R,sqt(D))) 103512 138333110 o2(x,o2(x,o1(x))) true 144903 144903 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
t17_x7_u0_b87 17 7 0 87 eql(P,dst(R,sqt(D))) 103513 138333111 o2(x,o2(x,o1(x))) true 144911 144911 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
t17_x7_u0_b88 17 7 0 88 min(P,add(R,sqt(D))) 103514 138333112 o2(x,o2(x,o1(x))) true 144919 144919 -0.07431 0.4646 0.882 0.8438 0.9186 -1 1 2 1 2.478 0.0342 0.0003977 0.0577 0.977 1 -0.000009045 0.06548 0.06652 0.03126 0.1768 3.064 1.821 0.041 0.0776 1 1 0.03664 0.1045 0.2421 0.04342 0.1239 0.2868 json
t17_x7_u0_b89 17 7 0 89 min(P,sub(R,sqt(D))) 103515 138333113 o2(x,o2(x,o1(x))) true 144927 144927 -0.1945 0.3933 0.8502 0.7677 0.8762 -1 1 2 1 2.803 0.0621 0.0006201 0.08547 0.9802 1 -0.000006409 0.09639 0.09636 0.05542 0.2354 2.754 2 0.08169 0.1256 1 1 0.07731 0.2917 0.2309 0.1007 0.38 0.3008 json
t17_x7_u0_b90 17 7 0 90 min(P,mlt(R,sqt(D))) 103516 138333114 o2(x,o2(x,o1(x))) true 144935 144935 -0.1156 0.4482 0.8325 0.7842 0.8856 -1 1 2 1 2.655 0.03648 0.00008992 0.06556 0.9951 1 -0.00000363 0.06168 0.07785 0.03226 0.1796 2.74 1.176 0.04663 0.07865 1 1 0.04249 0.1287 0.1875 0.05418 0.1641 0.2391 json
t17_x7_u0_b91 17 7 0 91 min(P,div(R,sqt(D))) 103517 138333115 o2(x,o2(x,o1(x))) true 144943 144943 -0.1542 0.4158 0.9012 0.8493 0.9216 -1 1 2 1 2.304 0.07557 0.002452 0.08075 0.9372 1 -0.000006494 0.1372 0.0933 0.07151 0.2674 3.312 2 0.09187 0.1616 1 1 0.09082 0.3163 0.3418 0.1069 0.3724 0.4025 json
t17_x7_u0_b92 17 7 0 92 min(P,pow(R,sqt(D))) 103518 138333116 o2(x,o2(x,o1(x))) true 144951 144951 -0.004311 0.5 0.9332 0.9166 0.9574 -1 1 2 1 1.94 0.001111 0.00008029 0.01113 0.8652 1 3.176e-7 0.0006584 0.005825 0.001067 0.03266 2.933 0.6374 0.0013 0.0007182 1 1 0.002475 0.02622 0.2309 0.0027 0.0286 0.2519 json
t17_x7_u0_b93 17 7 0 93 min(P,mod(R,sqt(D))) 103519 138333117 o2(x,o2(x,o1(x))) true 144959 144959 -0.1158 0.451 0.8313 0.7833 0.885 -1 1 2 1 2.662 0.03859 0.00008567 0.06946 0.9956 1 -0.00000447 0.06759 0.09042 0.03387 0.184 2.65 1.172 0.04938 0.08629 1 1 0.0445 0.1321 0.1864 0.05681 0.1686 0.2379 json
t17_x7_u0_b94 17 7 0 94 min(P,lrg(R,sqt(D))) 103520 138333118 o2(x,o2(x,o1(x))) true 144967 144967 -0.1634 0.5 0.7741 0.6875 0.8291 -1 1 2 1 3.124 0.02178 0.000358 0.05614 0.9677 1 0.00008939 0.03941 0.05319 0.01899 0.1378 2.455 0.9994 0.0322 0.05733 1 1 0.02493 0.1106 0.2377 0.03626 0.1609 0.3457 json
t17_x7_u0_b95 17 7 0 95 min(P,eql(R,sqt(D))) 103521 138333119 o2(x,o2(x,o1(x))) true 144975 144975 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x7_u0_b96 17 7 0 96 min(P,min(R,sqt(D))) 103522 138333120 o2(x,o2(x,o1(x))) true 144983 144983 -0.5113 0.2197 0.6548 0.3011 0.5487 -1 0.9805 1.981 1 3.568 0.004052 0.001255 0.03807 0.5269 1 -0.000002213 0.006201 0.01945 0.003858 0.06211 1.631 0.7845 0.01762 0.02059 1 1 0.007837 0.07234 0.228 0.02603 0.2403 0.7574 json
t17_x7_u0_b97 17 7 0 97 min(P,dot(R,sqt(D))) 103523 138333121 o2(x,o2(x,o1(x))) true 144991 144991 -0.03334 0.488 0.9068 0.8826 0.9395 -1 1 2 1 2.181 0.009536 0.00739 0.03524 0.1268 1 -0.00005619 0.03361 0.04095 0.01568 0.1252 3.553 1.352 0.01918 0.03808 1 1 0.01975 0.07201 0.2179 0.02238 0.08158 0.2469 json
t17_x7_u0_b98 17 7 0 98 min(P,dst(R,sqt(D))) 103524 138333122 o2(x,o2(x,o1(x))) true 144999 144999 -0.002518 0.5 0.935 0.9197 0.959 -1 1 2 1 1.886 0.001085 0.000255 0.01061 0.6193 1 -0.000006101 0.001444 0.005824 0.001228 0.03504 3.302 0.81 0.001457 0.00157 1 1 0.002573 0.02583 0.2315 0.002797 0.02808 0.2517 json
t17_x7_u0_b99 17 7 0 99 dot(P,add(R,sqt(D))) 103525 138333123 o2(x,o2(x,o1(x))) true 145007 145007 -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
t17_x7_u0_b100 17 7 0 100 dot(P,sub(R,sqt(D))) 103526 138333124 o2(x,o2(x,o1(x))) true 145015 145015 -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
t17_x7_u0_b101 17 7 0 101 dot(P,mlt(R,sqt(D))) 103527 138333125 o2(x,o2(x,o1(x))) true 145023 145023 -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
t17_x7_u0_b102 17 7 0 102 dot(P,div(R,sqt(D))) 103528 138333126 o2(x,o2(x,o1(x))) true 145031 145031 -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
t17_x7_u0_b103 17 7 0 103 dot(P,pow(R,sqt(D))) 103529 138333127 o2(x,o2(x,o1(x))) true 145039 145039 -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
t17_x7_u0_b104 17 7 0 104 dot(P,mod(R,sqt(D))) 103530 138333128 o2(x,o2(x,o1(x))) true 145047 145047 -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
t17_x7_u0_b105 17 7 0 105 dot(P,lrg(R,sqt(D))) 103531 138333129 o2(x,o2(x,o1(x))) true 145055 145055 0.03968 0.5233 0.8986 0.8691 0.9322 -1 1 2 1 2.337 0.05533 0.04962 0.1106 0.05444 1 0.0003267 0.1905 0.1486 0.09268 0.3044 2.752 2.181 0.1208 0.2192 1 1 0.1101 0.4172 0.4675 0.1267 0.48 0.538 json
t17_x7_u0_b106 17 7 0 106 dot(P,eql(R,sqt(D))) 103532 138333130 o2(x,o2(x,o1(x))) true 145063 145063 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
t17_x7_u0_b107 17 7 0 107 dot(P,min(R,sqt(D))) 103533 138333131 o2(x,o2(x,o1(x))) true 145071 145071 -0.08476 0.4634 0.8271 0.7662 0.8753 -1 1 2 1 3.067 0.03431 0.04212 0.1246 -0.1022 1 0.0006842 0.09792 0.1138 0.06095 0.2469 1.982 2.525 0.09976 0.1278 1 1 0.08681 0.5666 1.324 0.1133 0.7395 1.728 json
t17_x7_u0_b108 17 7 0 108 dot(P,dot(R,sqt(D))) 103534 138333132 o2(x,o2(x,o1(x))) true 145079 145079 -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
t17_x7_u0_b109 17 7 0 109 dot(P,dst(R,sqt(D))) 103535 138333133 o2(x,o2(x,o1(x))) true 145087 145087 -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
t17_x7_u0_b110 17 7 0 110 dst(P,add(R,sqt(D))) 103536 138333134 o2(x,o2(x,o1(x))) true 145095 145095 -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
t17_x7_u0_b111 17 7 0 111 dst(P,sub(R,sqt(D))) 103537 138333135 o2(x,o2(x,o1(x))) true 145103 145103 -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
t17_x7_u0_b112 17 7 0 112 dst(P,mlt(R,sqt(D))) 103538 138333136 o2(x,o2(x,o1(x))) true 145111 145111 -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
t17_x7_u0_b113 17 7 0 113 dst(P,div(R,sqt(D))) 103539 138333137 o2(x,o2(x,o1(x))) true 145119 145119 -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
t17_x7_u0_b114 17 7 0 114 dst(P,pow(R,sqt(D))) 103540 138333138 o2(x,o2(x,o1(x))) true 145127 145127 -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
t17_x7_u0_b115 17 7 0 115 dst(P,mod(R,sqt(D))) 103541 138333139 o2(x,o2(x,o1(x))) true 145135 145135 -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
t17_x7_u0_b116 17 7 0 116 dst(P,lrg(R,sqt(D))) 103542 138333140 o2(x,o2(x,o1(x))) true 145143 145143 0.9987 1 0.9987 0.0008042 0.02836 0.0005819 1 0.9994 1 0.03943 0.0001424 0.0001096 0.0005452 0.1302 1 -1.126e-11 0.0005056 0.0007019 0.0002515 0.01586 29.09 0.9994 0.3133 0.6288 1 1 0.0004755 0.002183 0.002928 0.5912 2.715 3.641 json
t17_x7_u0_b117 17 7 0 117 dst(P,eql(R,sqt(D))) 103543 138333141 o2(x,o2(x,o1(x))) true 145151 145151 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.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t17_x7_u0_b118 17 7 0 118 dst(P,min(R,sqt(D))) 103544 138333142 o2(x,o2(x,o1(x))) true 145159 145159 0.9987 1 0.9987 0.0002653 0.01629 0.5192 1 0.4808 1 0.07309 0.00003143 0.00004638 0.0006593 -0.1921 0 5.632e-11 0.0001445 0.0007672 0.00007739 0.008797 13.34 0.5467 0.2933 0.5448 1 1 0.0001561 0.0007138 0.0009134 0.5884 2.691 3.443 json
t17_x7_u0_b119 17 7 0 119 dst(P,dot(R,sqt(D))) 103545 138333143 o2(x,o2(x,o1(x))) true 145167 145167 -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
t17_x7_u0_b120 17 7 0 120 dst(P,dst(R,sqt(D))) 103546 138333144 o2(x,o2(x,o1(x))) true 145175 145175 -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
t17_x7_u1_b0 17 7 1 0 add(P,add(R,log(D))) 103547 138333225 o2(x,o2(x,o1(x))) true 145183 145183 -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
t17_x7_u1_b1 17 7 1 1 add(P,sub(R,log(D))) 103548 138333226 o2(x,o2(x,o1(x))) true 145191 145191 -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
t17_x7_u1_b2 17 7 1 2 add(P,mlt(R,log(D))) 103549 138333227 o2(x,o2(x,o1(x))) true 145199 145199 -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
t17_x7_u1_b3 17 7 1 3 add(P,div(R,log(D))) 103550 138333228 o2(x,o2(x,o1(x))) true 145207 145207 -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
t17_x7_u1_b4 17 7 1 4 add(P,pow(R,log(D))) 103551 138333229 o2(x,o2(x,o1(x))) true 145215 145215 -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
t17_x7_u1_b5 17 7 1 5 add(P,mod(R,log(D))) 103552 138333230 o2(x,o2(x,o1(x))) true 145223 145223 -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
t17_x7_u1_b6 17 7 1 6 add(P,lrg(R,log(D))) 103553 138333231 o2(x,o2(x,o1(x))) true 145231 145231 0.1215 0.5623 0.9386 0.9102 0.954 -1 1 2 1 1.817 0.001096 0.00001234 0.009403 0.9777 1 -0.000001053 0.0009905 0.004849 0.001019 0.03193 3.395 0.549 0.001218 0.001088 1 1 0.00219 0.02452 0.2361 0.002406 0.02694 0.2594 json
t17_x7_u1_b7 17 7 1 7 add(P,eql(R,log(D))) 103554 138333232 o2(x,o2(x,o1(x))) true 145239 145239 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x7_u1_b8 17 7 1 8 add(P,min(R,log(D))) 103555 138333233 o2(x,o2(x,o1(x))) true 145247 145247 -0.09654 0.4514 0.9414 0.9104 0.9541 -1 1 2 1 1.939 0.06079 0.0001865 0.06433 0.9939 1 -0.0000109 0.1279 0.08236 0.05684 0.2384 3.706 2.005 0.06698 0.1405 1 1 0.07666 0.1909 0.2466 0.08421 0.2097 0.2709 json
t17_x7_u1_b9 17 7 1 9 add(P,dot(R,log(D))) 103556 138333234 o2(x,o2(x,o1(x))) true 145255 145255 -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
t17_x7_u1_b10 17 7 1 10 add(P,dst(R,log(D))) 103557 138333235 o2(x,o2(x,o1(x))) true 145263 145263 -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
t17_x7_u1_b11 17 7 1 11 sub(P,add(R,log(D))) 103558 138333236 o2(x,o2(x,o1(x))) true 145271 145271 -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
t17_x7_u1_b12 17 7 1 12 sub(P,sub(R,log(D))) 103559 138333237 o2(x,o2(x,o1(x))) true 145279 145279 -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
t17_x7_u1_b13 17 7 1 13 sub(P,mlt(R,log(D))) 103560 138333238 o2(x,o2(x,o1(x))) true 145287 145287 -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
t17_x7_u1_b14 17 7 1 14 sub(P,div(R,log(D))) 103561 138333239 o2(x,o2(x,o1(x))) true 145295 145295 -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
t17_x7_u1_b15 17 7 1 15 sub(P,pow(R,log(D))) 103562 138333240 o2(x,o2(x,o1(x))) true 145303 145303 -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
t17_x7_u1_b16 17 7 1 16 sub(P,mod(R,log(D))) 103563 138333241 o2(x,o2(x,o1(x))) true 145311 145311 -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
t17_x7_u1_b17 17 7 1 17 sub(P,lrg(R,log(D))) 103564 138333242 o2(x,o2(x,o1(x))) true 145319 145319 -0.1215 0.4375 0.9357 0.9097 0.9538 -1 1 2 1 1.764 0.001255 0.00001096 0.008047 0.9827 1 0.000001408 0.001092 0.004049 0.0012 0.03464 4.305 0.7743 0.001391 0.0012 1 1 0.00257 0.02705 0.2354 0.002825 0.02974 0.2588 json
t17_x7_u1_b18 17 7 1 18 sub(P,eql(R,log(D))) 103565 138333243 o2(x,o2(x,o1(x))) true 145327 145327 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x7_u1_b19 17 7 1 19 sub(P,min(R,log(D))) 103566 138333244 o2(x,o2(x,o1(x))) true 145335 145335 0.09643 0.5553 0.9368 0.9043 0.9509 -1 1 2 1 1.985 0.05569 0.0001967 0.05277 0.993 1 0.00001117 0.1255 0.07824 0.05308 0.2304 4.366 2.006 0.0618 0.1388 1 1 0.06504 0.1408 0.2433 0.07193 0.1557 0.269 json
t17_x7_u1_b20 17 7 1 20 sub(P,dot(R,log(D))) 103567 138333245 o2(x,o2(x,o1(x))) true 145343 145343 -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
t17_x7_u1_b21 17 7 1 21 sub(P,dst(R,log(D))) 103568 138333246 o2(x,o2(x,o1(x))) true 145351 145351 -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
t17_x7_u1_b22 17 7 1 22 mlt(P,add(R,log(D))) 103569 138333247 o2(x,o2(x,o1(x))) true 145359 145359 -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
t17_x7_u1_b23 17 7 1 23 mlt(P,sub(R,log(D))) 103570 138333248 o2(x,o2(x,o1(x))) true 145367 145367 -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
t17_x7_u1_b24 17 7 1 24 mlt(P,mlt(R,log(D))) 103571 138333249 o2(x,o2(x,o1(x))) true 145375 145375 -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
t17_x7_u1_b25 17 7 1 25 mlt(P,div(R,log(D))) 103572 138333250 o2(x,o2(x,o1(x))) true 145383 145383 -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
t17_x7_u1_b26 17 7 1 26 mlt(P,pow(R,log(D))) 103573 138333251 o2(x,o2(x,o1(x))) true 145391 145391 -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
t17_x7_u1_b27 17 7 1 27 mlt(P,mod(R,log(D))) 103574 138333252 o2(x,o2(x,o1(x))) true 145399 145399 -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
t17_x7_u1_b28 17 7 1 28 mlt(P,lrg(R,log(D))) 103575 138333253 o2(x,o2(x,o1(x))) true 145407 145407 0.002882 0.5 0.9346 0.9205 0.9594 -1 1 2 1 1.865 0.001158 0.00001927 0.009357 0.9673 1 9.7e-7 0.0009931 0.004255 0.001089 0.03301 3.528 0.7545 0.001279 0.001079 1 1 0.002346 0.02587 0.2317 0.002549 0.0281 0.2517 json
t17_x7_u1_b29 17 7 1 29 mlt(P,eql(R,log(D))) 103576 138333254 o2(x,o2(x,o1(x))) true 145415 145415 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
t17_x7_u1_b30 17 7 1 30 mlt(P,min(R,log(D))) 103577 138333255 o2(x,o2(x,o1(x))) true 145423 145423 0.0274 0.53 0.821 0.7741 0.8798 -1 1 2 1 2.981 0.126 0.009442 0.1314 0.8605 1 0.000007059 0.2236 0.1665 0.1181 0.3436 2.615 2.415 0.1749 0.2889 1 1 0.1437 0.6773 0.6206 0.1856 0.8749 0.8017 json
t17_x7_u1_b31 17 7 1 31 mlt(P,dot(R,log(D))) 103578 138333256 o2(x,o2(x,o1(x))) true 145431 145431 -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
t17_x7_u1_b32 17 7 1 32 mlt(P,dst(R,log(D))) 103579 138333257 o2(x,o2(x,o1(x))) true 145439 145439 -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
t17_x7_u1_b33 17 7 1 33 div(P,add(R,log(D))) 103580 138333258 o2(x,o2(x,o1(x))) true 145447 145447 -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
t17_x7_u1_b34 17 7 1 34 div(P,sub(R,log(D))) 103581 138333259 o2(x,o2(x,o1(x))) true 145455 145455 -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
t17_x7_u1_b35 17 7 1 35 div(P,mlt(R,log(D))) 103582 138333260 o2(x,o2(x,o1(x))) true 145463 145463 -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
t17_x7_u1_b36 17 7 1 36 div(P,div(R,log(D))) 103583 138333261 o2(x,o2(x,o1(x))) true 145471 145471 -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
t17_x7_u1_b37 17 7 1 37 div(P,pow(R,log(D))) 103584 138333262 o2(x,o2(x,o1(x))) true 145479 145479 -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
t17_x7_u1_b38 17 7 1 38 div(P,mod(R,log(D))) 103585 138333263 o2(x,o2(x,o1(x))) true 145487 145487 -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
t17_x7_u1_b39 17 7 1 39 div(P,lrg(R,log(D))) 103586 138333264 o2(x,o2(x,o1(x))) true 145495 145495 -0.3426 0.3335 0.9558 0.8291 0.9106 -1 1 2 1 1.506 0.1923 0.01877 0.1138 0.8221 1 -0.0005039 0.4476 0.2199 0.198 0.445 3.909 2.828 0.2545 0.5399 1 1 0.2115 0.6631 0.6199 0.2551 0.7998 0.7477 json
t17_x7_u1_b40 17 7 1 40 div(P,eql(R,log(D))) 103587 138333265 o2(x,o2(x,o1(x))) true 145503 145503 -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
t17_x7_u1_b41 17 7 1 41 div(P,min(R,log(D))) 103588 138333266 o2(x,o2(x,o1(x))) true 145511 145511 0.05523 0.5428 0.8937 0.8562 0.9253 -1 1 2 1 2.467 0.1347 0.0429 0.1452 0.5169 1 -0.00001037 0.3227 0.2111 0.1565 0.3956 2.724 2.828 0.2074 0.3769 1 1 0.1796 0.8211 1.123 0.2097 0.959 1.312 json
t17_x7_u1_b42 17 7 1 42 div(P,dot(R,log(D))) 103589 138333267 o2(x,o2(x,o1(x))) true 145519 145519 -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
t17_x7_u1_b43 17 7 1 43 div(P,dst(R,log(D))) 103590 138333268 o2(x,o2(x,o1(x))) true 145527 145527 -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
t17_x7_u1_b44 17 7 1 44 pow(P,add(R,log(D))) 103591 138333269 o2(x,o2(x,o1(x))) true 145535 145535 -0.9901 0.005127 0.9997 0.01919 0.1385 -1 0.9997 2 1 0.0548 0.007434 0.001996 0.004999 0.5767 1 -8.635e-11 0.02021 0.009793 0.009406 0.09698 19.4 2.828 0.4915 1.054 1 1 0.01263 0.0397 0.0584 0.6582 2.07 3.044 json
t17_x7_u1_b45 17 7 1 45 pow(P,sub(R,log(D))) 103592 138333270 o2(x,o2(x,o1(x))) true 145543 145543 -0.9492 0.03882 0.9731 0.06803 0.2608 -1 0.9997 2 1 0.361 0.01437 0.002814 0.01396 0.6725 1 2.29e-10 0.03668 0.02436 0.01699 0.1303 9.333 2.828 0.2526 0.5391 1 1 0.02297 0.08459 0.1419 0.3376 1.243 2.086 json
t17_x7_u1_b46 17 7 1 46 pow(P,mlt(R,log(D))) 103593 138333271 o2(x,o2(x,o1(x))) true 145551 145551 -0.9648 0.02344 0.9883 0.05481 0.2341 -1 0.9997 2 1 0.2401 0.007532 0.001808 0.006986 0.6129 1 -5.632e-11 0.01892 0.01146 0.0093 0.09644 13.8 2.828 0.1704 0.3453 1 1 0.0122 0.04948 0.1087 0.2226 0.9028 1.983 json
t17_x7_u1_b47 17 7 1 47 pow(P,div(R,log(D))) 103594 138333272 o2(x,o2(x,o1(x))) true 145559 145559 -0.9648 0.02344 0.9883 0.05481 0.2341 -1 0.9997 2 1 0.2401 0.007532 0.001808 0.006986 0.6129 1 -5.632e-11 0.01892 0.01146 0.0093 0.09644 13.8 2.828 0.1704 0.3453 1 1 0.0122 0.04948 0.1087 0.2226 0.9028 1.983 json
t17_x7_u1_b48 17 7 1 48 pow(P,pow(R,log(D))) 103595 138333273 o2(x,o2(x,o1(x))) true 145567 145567 -0.9766 0.01563 0.9922 0.03679 0.1918 -1 0.9997 2 1 0.1693 0.005128 0.003616 0.006197 0.173 1 -1.765e-10 0.01829 0.01078 0.008704 0.0933 15.05 2.828 0.2377 0.4971 1 1 0.01203 0.04862 0.1081 0.327 1.322 2.939 json
t17_x7_u1_b49 17 7 1 49 pow(P,mod(R,log(D))) 103596 138333274 o2(x,o2(x,o1(x))) true 145575 145575 -0.9766 0.01563 0.9922 0.03679 0.1918 -1 0.9997 2 1 0.1693 0.005128 0.003616 0.006197 0.173 1 -1.765e-10 0.01829 0.01078 0.008704 0.0933 15.05 2.828 0.2377 0.4971 1 1 0.01203 0.04862 0.1081 0.327 1.322 2.939 json
t17_x7_u1_b50 17 7 1 50 pow(P,lrg(R,log(D))) 103597 138333275 o2(x,o2(x,o1(x))) true 145583 145583 -0.02687 0.5017 0.9697 0.9635 0.9816 -1 1 2 1 1.359 0.004798 0.0002052 0.008231 0.918 1 4.781e-7 0.009584 0.01091 0.004932 0.07023 8.532 1.415 0.005193 0.009947 1 1 0.007125 0.04263 0.2909 0.007396 0.04425 0.302 json
t17_x7_u1_b51 17 7 1 51 pow(P,eql(R,log(D))) 103598 138333276 o2(x,o2(x,o1(x))) true 145591 145591 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x7_u1_b52 17 7 1 52 pow(P,min(R,log(D))) 103599 138333277 o2(x,o2(x,o1(x))) true 145599 145599 -0.2972 0.4375 0.8278 0.6913 0.8314 -1 1 2 1 2.501 0.03409 0.0005069 0.04879 0.9707 1 -0.0000104 0.06603 0.06192 0.03224 0.1795 3.68 2 0.05005 0.09552 1 1 0.04002 0.1452 0.314 0.05789 0.2101 0.4543 json