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
- leaves:
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.
#Akept 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-256b6fc8f27…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 oninputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
| 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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t15_x3_u46_b0 | 15 | 3 | 46 | 0 | ![]() |
add(D,nrm(cil(P))) | 71900 | 121939464 | o2(x,o1(o1(x))) | true | 63207 | 63207 | -0.01562 | 0.4922 | 0.6438 | 0.4945 | 0.7032 | -1 | 1 | 2 | 1 | 4.793 | 0.003041 | 0.001198 | 0.03199 | 0.4346 | 1 | 2.201e-10 | 0.006295 | 0.01683 | 0.003216 | 0.05671 | 1.773 | 2.415 | 0.008573 | 0.01273 | 1 | 1 | 0.007668 | 0.03988 | 0.1501 | 0.01551 | 0.08065 | 0.3036 | json |
| t15_x3_u46_b1 | 15 | 3 | 46 | 1 | ![]() |
sub(D,nrm(cil(P))) | 71901 | 121939465 | o2(x,o1(o1(x))) | true | 63215 | 63215 | -0.01562 | 0.4922 | 0.6497 | 0.5053 | 0.7108 | -1 | 1 | 2 | 1 | 4.765 | 0.003581 | 0.001298 | 0.03884 | 0.4678 | 1 | 6.826e-10 | 0.006581 | 0.01951 | 0.003371 | 0.05806 | 1.495 | 1.969 | 0.009658 | 0.01303 | 1 | 1 | 0.009066 | 0.04923 | 0.1521 | 0.01794 | 0.09744 | 0.3009 | json |
| t15_x3_u46_b2 | 15 | 3 | 46 | 2 | ![]() |
mlt(D,nrm(cil(P))) | 71902 | 121939466 | o2(x,o1(o1(x))) | true | 63223 | 63223 | -0.02947 | 0.4006 | 0.07957 | 0.02054 | 0.1433 | -1 | 0.1454 | 1.145 | 1 | 2.396 | 0.00187 | 0.0008196 | 0.02545 | 0.3904 | 1 | 0.0002833 | 0.003915 | 0.0132 | 0.002042 | 0.04518 | 1.776 | 1.414 | 0.1309 | 0.1906 | 1 | 1 | 0.004949 | 0.0251 | 0.0539 | 0.2409 | 1.222 | 2.624 | json |
| t15_x3_u46_b3 | 15 | 3 | 46 | 3 | ![]() |
div(D,nrm(cil(P))) | 71903 | 121939467 | o2(x,o1(o1(x))) | true | 63231 | 63231 | -0.07268 | 0.4745 | 0.2757 | 0.17 | 0.4124 | -1 | 1 | 2 | 1 | 3.69 | 0.01582 | 0.000008146 | 0.06236 | 0.999 | 1 | 0.0003578 | 0.01749 | 0.0379 | 0.01194 | 0.1093 | 1.753 | 1.25 | 0.09309 | 0.1029 | 1 | 1 | 0.02367 | 0.1384 | 0.2372 | 0.1392 | 0.8141 | 1.395 | json |
| t15_x3_u46_b4 | 15 | 3 | 46 | 4 | ![]() |
pow(D,nrm(cil(P))) | 71904 | 121939468 | o2(x,o1(o1(x))) | true | 63239 | 63239 | -0.8906 | 0.05469 | 1 | 0.2066 | 0.4545 | -1 | 1 | 2 | 1 | 0.306 | 0.02771 | 0.002016 | 0.01485 | 0.8644 | 1 | 0 | 0.05996 | 0.02973 | 0.02953 | 0.1718 | 11.57 | 2.828 | 0.1439 | 0.2902 | 1 | 1 | 0.03856 | 0.1542 | 0.3368 | 0.1866 | 0.7465 | 1.63 | json |
| t15_x3_u46_b5 | 15 | 3 | 46 | 5 | ![]() |
mod(D,nrm(cil(P))) | 71905 | 121939469 | o2(x,o1(o1(x))) | true | 63247 | 63247 | -0.125 | 0.4375 | 0.2218 | 0.1238 | 0.3519 | -1 | 0.2688 | 1.269 | 1 | 3.199 | 0.01146 | 0.00001166 | 0.05075 | 0.998 | 1 | -1.239e-10 | 0.01993 | 0.04522 | 0.008901 | 0.09434 | 1.859 | 1.031 | 0.09269 | 0.161 | 1 | 1 | 0.01526 | 0.06846 | 0.1743 | 0.1232 | 0.553 | 1.408 | json |
| t15_x3_u46_b6 | 15 | 3 | 46 | 6 | ![]() |
lrg(D,nrm(cil(P))) | 71906 | 121939470 | o2(x,o1(o1(x))) | true | 63255 | 63255 | 0.502 | 0.7217 | 0.502 | 0.208 | 0.4561 | 0 | 1 | 1 | 1 | 2.408 | 0.01328 | 0.00006842 | 0.04011 | 0.9897 | 1 | -3.2e-9 | 0.02455 | 0.04228 | 0.01174 | 0.1084 | 2.702 | 0.9994 | 0.06418 | 0.118 | 1 | 1 | 0.01457 | 0.05386 | 0.07704 | 0.07007 | 0.2589 | 0.3704 | json |
| t15_x3_u46_b7 | 15 | 3 | 46 | 7 | ![]() |
eql(D,nrm(cil(P))) | 71907 | 121939471 | o2(x,o1(o1(x))) | true | 63263 | 63263 | 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 |
| t15_x3_u46_b8 | 15 | 3 | 46 | 8 | ![]() |
min(D,nrm(cil(P))) | 71908 | 121939472 | o2(x,o1(o1(x))) | true | 63271 | 63271 | -0.3476 | 0.2115 | 0.387 | 0.1415 | 0.3761 | -1 | 0.1454 | 1.145 | 1 | 4.101 | 0.00108 | 0.00001923 | 0.02518 | 0.965 | 1 | 0.0001643 | 0.000172 | 0.00954 | 0.0004653 | 0.02157 | 0.8567 | 0.1105 | 0.007768 | 0.001216 | 1 | 1 | 0.002261 | 0.01846 | 0.03674 | 0.01598 | 0.1305 | 0.2596 | json |
| t15_x3_u46_b9 | 15 | 3 | 46 | 9 | ![]() |
dot(D,nrm(cil(P))) | 71909 | 121939473 | o2(x,o1(o1(x))) | true | 63279 | 63279 | -0.04331 | 0.3969 | 0.1068 | 0.02549 | 0.1596 | -1 | 0.1994 | 1.199 | 1 | 2.822 | 0.001674 | 0.001674 | 0.03909 | 0.0000016 | 1 | 0.0005666 | 0.003669 | 0.01712 | 0.00182 | 0.04266 | 1.091 | 1.414 | 0.1314 | 0.144 | 1 | 1 | 0.006304 | 0.03573 | 0.05088 | 0.2473 | 1.402 | 1.996 | json |
| t15_x3_u46_b10 | 15 | 3 | 46 | 10 | ![]() |
dst(D,nrm(cil(P))) | 71910 | 121939474 | o2(x,o1(o1(x))) | true | 63287 | 63287 | 0.9508 | 0.9844 | 0.982 | 0.06199 | 0.249 | -1 | 1 | 2 | 1 | 0.8039 | 0.004262 | 0.004262 | 0.01519 | 3.278e-7 | 1 | -3.754e-10 | 0.01705 | 0.01752 | 0.008298 | 0.09109 | 5.995 | 2.828 | 0.1375 | 0.275 | 1 | 1 | 0.01485 | 0.05944 | 0.2251 | 0.2395 | 0.9588 | 3.632 | json |
| t15_x3_u47_b0 | 15 | 3 | 47 | 0 | ![]() |
add(D,nrm(sgn(P))) | 71911 | 121939665 | o2(x,o1(o1(x))) | true | 63295 | 63295 | -0.01563 | 0.4922 | 0.6875 | 0.5026 | 0.7089 | -1 | 1 | 2 | 1 | 4.132 | 0.003416 | 0.001211 | 0.03827 | 0.4766 | 1 | -1.07e-9 | 0.006293 | 0.01723 | 0.003164 | 0.05625 | 1.47 | 2.415 | 0.009207 | 0.01252 | 1 | 1 | 0.008485 | 0.04893 | 0.1829 | 0.01688 | 0.09735 | 0.3639 | json |
| t15_x3_u47_b1 | 15 | 3 | 47 | 1 | ![]() |
sub(D,nrm(sgn(P))) | 71912 | 121939666 | o2(x,o1(o1(x))) | true | 63303 | 63303 | -0.01563 | 0.4922 | 0.6923 | 0.5134 | 0.7165 | -1 | 1 | 2 | 1 | 4.001 | 0.003841 | 0.00131 | 0.04122 | 0.4913 | 1 | -3.18e-9 | 0.006558 | 0.01949 | 0.003454 | 0.05877 | 1.426 | 1.969 | 0.01003 | 0.01277 | 1 | 1 | 0.009617 | 0.05634 | 0.1857 | 0.01873 | 0.1097 | 0.3618 | json |
| t15_x3_u47_b2 | 15 | 3 | 47 | 2 | ![]() |
mlt(D,nrm(sgn(P))) | 71913 | 121939667 | o2(x,o1(o1(x))) | true | 63311 | 63311 | -0.02669 | 0.4375 | 0.08658 | 0.02155 | 0.1468 | -1 | 0.1454 | 1.145 | 1 | 2.372 | 0.001899 | 0.0008195 | 0.02743 | 0.397 | 1 | 0.0002296 | 0.003913 | 0.01384 | 0.001966 | 0.04434 | 1.617 | 1.414 | 0.1261 | 0.1816 | 1 | 1 | 0.005011 | 0.02592 | 0.05453 | 0.2325 | 1.203 | 2.53 | json |
| t15_x3_u47_b3 | 15 | 3 | 47 | 3 | ![]() |
div(D,nrm(sgn(P))) | 71914 | 121939668 | o2(x,o1(o1(x))) | true | 63319 | 63319 | -0.125 | 0.4375 | 0.2396 | 0.1277 | 0.3574 | -1 | 0.2056 | 1.206 | 1 | 3.167 | 0.01136 | 0.000001157 | 0.05165 | 0.9998 | 1 | 0.0004391 | 0.01647 | 0.03357 | 0.008687 | 0.0932 | 1.805 | 1.044 | 0.08893 | 0.1289 | 1 | 1 | 0.01719 | 0.08704 | 0.172 | 0.1346 | 0.6815 | 1.347 | json |
| t15_x3_u47_b4 | 15 | 3 | 47 | 4 | ![]() |
pow(D,nrm(sgn(P))) | 71915 | 121939669 | o2(x,o1(o1(x))) | true | 63327 | 63327 | -0.8906 | 0.05469 | 1 | 0.2066 | 0.4545 | -1 | 1 | 2 | 1 | 0.306 | 0.02771 | 0.002016 | 0.01485 | 0.8644 | 1 | 0 | 0.05996 | 0.02973 | 0.02953 | 0.1718 | 11.57 | 2.828 | 0.1439 | 0.2902 | 1 | 1 | 0.03856 | 0.1542 | 0.3368 | 0.1866 | 0.7465 | 1.63 | json |
| t15_x3_u47_b5 | 15 | 3 | 47 | 5 | ![]() |
mod(D,nrm(sgn(P))) | 71916 | 121939670 | o2(x,o1(o1(x))) | true | 63335 | 63335 | -0.125 | 0.4375 | 0.2257 | 0.1252 | 0.3538 | -1 | 0.2405 | 1.24 | 1 | 3.1 | 0.01145 | 0.000001007 | 0.05885 | 0.9998 | 1 | 3.989e-10 | 0.01943 | 0.0457 | 0.007989 | 0.08938 | 1.519 | 1.031 | 0.09149 | 0.1552 | 1 | 1 | 0.01547 | 0.07125 | 0.1715 | 0.1236 | 0.5692 | 1.37 | json |
| t15_x3_u47_b6 | 15 | 3 | 47 | 6 | ![]() |
lrg(D,nrm(sgn(P))) | 71917 | 121939671 | o2(x,o1(o1(x))) | true | 63343 | 63343 | 0.502 | 0.6967 | 0.502 | 0.2251 | 0.4744 | 0 | 1 | 1 | 1 | 2.036 | 0.005675 | 0.00001856 | 0.02591 | 0.9935 | 1 | -6.123e-9 | 0.01066 | 0.03043 | 0.005022 | 0.07087 | 2.735 | 0.9994 | 0.0253 | 0.04738 | 1 | 1 | 0.007463 | 0.03222 | 0.06814 | 0.03316 | 0.1431 | 0.3028 | json |
| t15_x3_u47_b7 | 15 | 3 | 47 | 7 | ![]() |
eql(D,nrm(sgn(P))) | 71918 | 121939672 | o2(x,o1(o1(x))) | true | 63351 | 63351 | 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 |
| t15_x3_u47_b8 | 15 | 3 | 47 | 8 | ![]() |
min(D,nrm(sgn(P))) | 71919 | 121939673 | o2(x,o1(o1(x))) | true | 63359 | 63359 | -0.358 | 0.221 | 0.3996 | 0.1306 | 0.3613 | -0.9999 | 0.1454 | 1.145 | 1 | 2.897 | 0.001027 | 0.00002913 | 0.02249 | 0.9449 | 1 | 0.0001779 | 0.0001409 | 0.008285 | 0.0005508 | 0.02347 | 1.043 | 0.1105 | 0.008094 | 0.001079 | 1 | 1 | 0.002223 | 0.01961 | 0.04024 | 0.01703 | 0.1502 | 0.3082 | json |
| t15_x3_u47_b9 | 15 | 3 | 47 | 9 | ![]() |
dot(D,nrm(sgn(P))) | 71920 | 121939674 | o2(x,o1(o1(x))) | true | 63367 | 63367 | -0.03775 | 0.4016 | 0.1077 | 0.02749 | 0.1658 | -1 | 0.2056 | 1.206 | 1 | 2.962 | 0.001705 | 0.001705 | 0.04052 | 0.000009148 | 1 | 0.0004592 | 0.003668 | 0.01644 | 0.001769 | 0.04206 | 1.038 | 1.414 | 0.1241 | 0.1334 | 1 | 1 | 0.00644 | 0.03744 | 0.05233 | 0.2343 | 1.362 | 1.904 | json |
| t15_x3_u47_b10 | 15 | 3 | 47 | 10 | ![]() |
dst(D,nrm(sgn(P))) | 71921 | 121939675 | o2(x,o1(o1(x))) | true | 63375 | 63375 | 0.9483 | 0.9844 | 0.9795 | 0.06216 | 0.2493 | -1 | 1 | 2 | 1 | 0.8266 | 0.004295 | 0.004295 | 0.01625 | -0.000006288 | 1 | -0.00001527 | 0.01707 | 0.01817 | 0.00832 | 0.09122 | 5.612 | 2.828 | 0.1382 | 0.2745 | 1 | 1 | 0.01497 | 0.06025 | 0.2256 | 0.2409 | 0.9692 | 3.629 | json |
| t15_x3_u48_b0 | 15 | 3 | 48 | 0 | ![]() |
add(D,nrm(nrm(P))) | 71922 | 121939866 | o2(x,o1(o1(x))) | true | 63383 | 63383 | -0.01562 | 0.4922 | 0.6438 | 0.4945 | 0.7032 | -1 | 1 | 2 | 1 | 4.793 | 0.003041 | 0.001198 | 0.03199 | 0.4346 | 1 | -1.408e-12 | 0.006295 | 0.01683 | 0.003216 | 0.05671 | 1.773 | 2.415 | 0.008573 | 0.01273 | 1 | 1 | 0.007668 | 0.03988 | 0.1501 | 0.01551 | 0.08065 | 0.3036 | json |
| t15_x3_u48_b1 | 15 | 3 | 48 | 1 | ![]() |
sub(D,nrm(nrm(P))) | 71923 | 121939867 | o2(x,o1(o1(x))) | true | 63391 | 63391 | -0.01562 | 0.4922 | 0.6497 | 0.5053 | 0.7108 | -1 | 1 | 2 | 1 | 4.765 | 0.003581 | 0.001298 | 0.03884 | 0.4678 | 1 | 7.549e-10 | 0.006581 | 0.01951 | 0.003371 | 0.05806 | 1.495 | 1.969 | 0.009658 | 0.01303 | 1 | 1 | 0.009066 | 0.04923 | 0.1521 | 0.01794 | 0.09744 | 0.3009 | json |
| t15_x3_u48_b2 | 15 | 3 | 48 | 2 | ![]() |
mlt(D,nrm(nrm(P))) | 71924 | 121939868 | o2(x,o1(o1(x))) | true | 63399 | 63399 | -0.02947 | 0.4006 | 0.07957 | 0.02054 | 0.1433 | -1 | 0.1454 | 1.145 | 1 | 2.396 | 0.00187 | 0.0008196 | 0.02545 | 0.3904 | 1 | 0.0002833 | 0.003915 | 0.0132 | 0.002042 | 0.04518 | 1.776 | 1.414 | 0.1309 | 0.1906 | 1 | 1 | 0.004949 | 0.0251 | 0.0539 | 0.2409 | 1.222 | 2.624 | json |
| t15_x3_u48_b3 | 15 | 3 | 48 | 3 | ![]() |
div(D,nrm(nrm(P))) | 71925 | 121939869 | o2(x,o1(o1(x))) | true | 63407 | 63407 | -0.07268 | 0.4745 | 0.2757 | 0.17 | 0.4124 | -1 | 1 | 2 | 1 | 3.69 | 0.01582 | 0.000008146 | 0.06236 | 0.999 | 1 | 0.0003578 | 0.01749 | 0.0379 | 0.01194 | 0.1093 | 1.753 | 1.25 | 0.09309 | 0.1029 | 1 | 1 | 0.02367 | 0.1384 | 0.2372 | 0.1392 | 0.8141 | 1.395 | json |
| t15_x3_u48_b4 | 15 | 3 | 48 | 4 | ![]() |
pow(D,nrm(nrm(P))) | 71926 | 121939870 | o2(x,o1(o1(x))) | true | 63415 | 63415 | -0.8906 | 0.05469 | 1 | 0.2066 | 0.4545 | -1 | 1 | 2 | 1 | 0.306 | 0.02771 | 0.002016 | 0.01485 | 0.8644 | 1 | 0 | 0.05996 | 0.02973 | 0.02953 | 0.1718 | 11.57 | 2.828 | 0.1439 | 0.2902 | 1 | 1 | 0.03856 | 0.1542 | 0.3368 | 0.1866 | 0.7465 | 1.63 | json |
| t15_x3_u48_b5 | 15 | 3 | 48 | 5 | ![]() |
mod(D,nrm(nrm(P))) | 71927 | 121939871 | o2(x,o1(o1(x))) | true | 63423 | 63423 | -0.125 | 0.4375 | 0.2218 | 0.1238 | 0.3519 | -1 | 0.2688 | 1.269 | 1 | 3.199 | 0.01146 | 0.00001166 | 0.05075 | 0.998 | 1 | -1.258e-10 | 0.01993 | 0.04522 | 0.008901 | 0.09434 | 1.859 | 1.031 | 0.09269 | 0.161 | 1 | 1 | 0.01526 | 0.06846 | 0.1743 | 0.1232 | 0.553 | 1.408 | json |
| t15_x3_u48_b6 | 15 | 3 | 48 | 6 | ![]() |
lrg(D,nrm(nrm(P))) | 71928 | 121939872 | o2(x,o1(o1(x))) | true | 63431 | 63431 | 0.502 | 0.7217 | 0.502 | 0.208 | 0.4561 | 0 | 1 | 1 | 1 | 2.408 | 0.01328 | 0.00006842 | 0.04011 | 0.9897 | 1 | -3.2e-9 | 0.02455 | 0.04228 | 0.01174 | 0.1084 | 2.702 | 0.9994 | 0.06418 | 0.118 | 1 | 1 | 0.01457 | 0.05386 | 0.07704 | 0.07007 | 0.2589 | 0.3704 | json |
| t15_x3_u48_b7 | 15 | 3 | 48 | 7 | ![]() |
eql(D,nrm(nrm(P))) | 71929 | 121939873 | o2(x,o1(o1(x))) | true | 63439 | 63439 | 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 |
| t15_x3_u48_b8 | 15 | 3 | 48 | 8 | ![]() |
min(D,nrm(nrm(P))) | 71930 | 121939874 | o2(x,o1(o1(x))) | true | 63447 | 63447 | -0.3476 | 0.2115 | 0.387 | 0.1415 | 0.3761 | -1 | 0.1454 | 1.145 | 1 | 4.101 | 0.00108 | 0.00001923 | 0.02518 | 0.965 | 1 | 0.0001643 | 0.000172 | 0.00954 | 0.0004653 | 0.02157 | 0.8567 | 0.1105 | 0.007768 | 0.001216 | 1 | 1 | 0.002261 | 0.01846 | 0.03674 | 0.01598 | 0.1305 | 0.2596 | json |
| t15_x3_u48_b9 | 15 | 3 | 48 | 9 | ![]() |
dot(D,nrm(nrm(P))) | 71931 | 121939875 | o2(x,o1(o1(x))) | true | 63455 | 63455 | -0.04331 | 0.3969 | 0.1068 | 0.02549 | 0.1596 | -1 | 0.1994 | 1.199 | 1 | 2.822 | 0.001674 | 0.001674 | 0.03909 | 0.000001739 | 1 | 0.0005666 | 0.003669 | 0.01712 | 0.00182 | 0.04266 | 1.091 | 1.414 | 0.1314 | 0.144 | 1 | 1 | 0.006304 | 0.03573 | 0.05088 | 0.2473 | 1.402 | 1.996 | json |
| t15_x3_u48_b10 | 15 | 3 | 48 | 10 | ![]() |
dst(D,nrm(nrm(P))) | 71932 | 121939876 | o2(x,o1(o1(x))) | true | 63463 | 63463 | 0.9508 | 0.9844 | 0.982 | 0.06199 | 0.249 | -1 | 1 | 2 | 1 | 0.8039 | 0.004262 | 0.004262 | 0.01519 | 3.278e-7 | 1 | -6.758e-10 | 0.01705 | 0.01752 | 0.008298 | 0.09109 | 5.995 | 2.828 | 0.1375 | 0.275 | 1 | 1 | 0.01485 | 0.05944 | 0.2251 | 0.2395 | 0.9588 | 3.632 | json |
| t15_x4_u0_b0 | 15 | 4 | 0 | 0 | ![]() |
add(D,sqt(sqt(D))) | 71933 | 121970619 | o2(x,o1(o1(x))) | true | 63471 | 63471 | -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 |
| t15_x4_u0_b1 | 15 | 4 | 0 | 1 | ![]() |
sub(D,sqt(sqt(D))) | 71934 | 121970620 | o2(x,o1(o1(x))) | true | 63479 | 63479 | -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 |
| t15_x4_u0_b2 | 15 | 4 | 0 | 2 | ![]() |
mlt(D,sqt(sqt(D))) | 71935 | 121970621 | o2(x,o1(o1(x))) | true | 63487 | 63487 | -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 |
| t15_x4_u0_b3 | 15 | 4 | 0 | 3 | ![]() |
div(D,sqt(sqt(D))) | 71936 | 121970622 | o2(x,o1(o1(x))) | true | 63495 | 63495 | -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 |
| t15_x4_u0_b4 | 15 | 4 | 0 | 4 | ![]() |
pow(D,sqt(sqt(D))) | 71937 | 121970623 | o2(x,o1(o1(x))) | true | 63503 | 63503 | -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 |
| t15_x4_u0_b5 | 15 | 4 | 0 | 5 | ![]() |
mod(D,sqt(sqt(D))) | 71938 | 121970624 | o2(x,o1(o1(x))) | true | 63511 | 63511 | -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 |
| t15_x4_u0_b6 | 15 | 4 | 0 | 6 | ![]() |
lrg(D,sqt(sqt(D))) | 71939 | 121970625 | o2(x,o1(o1(x))) | true | 63519 | 63519 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t15_x4_u0_b7 | 15 | 4 | 0 | 7 | ![]() |
eql(D,sqt(sqt(D))) | 71940 | 121970626 | o2(x,o1(o1(x))) | true | 63527 | 63527 | 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 |
| t15_x4_u0_b8 | 15 | 4 | 0 | 8 | ![]() |
min(D,sqt(sqt(D))) | 71941 | 121970627 | o2(x,o1(o1(x))) | true | 63535 | 63535 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t15_x4_u0_b9 | 15 | 4 | 0 | 9 | ![]() |
dot(D,sqt(sqt(D))) | 71942 | 121970628 | o2(x,o1(o1(x))) | true | 63543 | 63543 | -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 |
| t15_x4_u0_b10 | 15 | 4 | 0 | 10 | ![]() |
dst(D,sqt(sqt(D))) | 71943 | 121970629 | o2(x,o1(o1(x))) | true | 63551 | 63551 | -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 |
| t15_x4_u1_b0 | 15 | 4 | 1 | 0 | ![]() |
add(D,sqt(log(D))) | 71944 | 121970820 | o2(x,o1(o1(x))) | true | 63559 | 63559 | -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 |
| t15_x4_u1_b1 | 15 | 4 | 1 | 1 | ![]() |
sub(D,sqt(log(D))) | 71945 | 121970821 | o2(x,o1(o1(x))) | true | 63567 | 63567 | -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 |
| t15_x4_u1_b2 | 15 | 4 | 1 | 2 | ![]() |
mlt(D,sqt(log(D))) | 71946 | 121970822 | o2(x,o1(o1(x))) | true | 63575 | 63575 | -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 |
| t15_x4_u1_b3 | 15 | 4 | 1 | 3 | ![]() |
div(D,sqt(log(D))) | 71947 | 121970823 | o2(x,o1(o1(x))) | true | 63583 | 63583 | -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 |
| t15_x4_u1_b4 | 15 | 4 | 1 | 4 | ![]() |
pow(D,sqt(log(D))) | 71948 | 121970824 | o2(x,o1(o1(x))) | true | 63591 | 63591 | -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 |
| t15_x4_u1_b5 | 15 | 4 | 1 | 5 | ![]() |
mod(D,sqt(log(D))) | 71949 | 121970825 | o2(x,o1(o1(x))) | true | 63599 | 63599 | -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 |
| t15_x4_u1_b6 | 15 | 4 | 1 | 6 | ![]() |
lrg(D,sqt(log(D))) | 71950 | 121970826 | o2(x,o1(o1(x))) | true | 63607 | 63607 | 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 |
| t15_x4_u1_b7 | 15 | 4 | 1 | 7 | ![]() |
eql(D,sqt(log(D))) | 71951 | 121970827 | o2(x,o1(o1(x))) | true | 63615 | 63615 | 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 |
| t15_x4_u1_b8 | 15 | 4 | 1 | 8 | ![]() |
min(D,sqt(log(D))) | 71952 | 121970828 | o2(x,o1(o1(x))) | true | 63623 | 63623 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t15_x4_u1_b9 | 15 | 4 | 1 | 9 | ![]() |
dot(D,sqt(log(D))) | 71953 | 121970829 | o2(x,o1(o1(x))) | true | 63631 | 63631 | -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 |
| t15_x4_u1_b10 | 15 | 4 | 1 | 10 | ![]() |
dst(D,sqt(log(D))) | 71954 | 121970830 | o2(x,o1(o1(x))) | true | 63639 | 63639 | -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 |
| t15_x4_u2_b0 | 15 | 4 | 2 | 0 | ![]() |
add(D,sqt(frc(D))) | 71955 | 121971021 | o2(x,o1(o1(x))) | true | 63647 | 63647 | 0.6675 | 1 | 0.6675 | 0.02887 | 0.1699 | 0.2077 | 0.9533 | 0.7456 | 1 | 2.5 | 0.03802 | 0 | 0.09308 | 1 | 1 | -0.000221 | 0.09344 | 0.1234 | 0.02935 | 0.1713 | 1.84 | 0.7456 | 1.317 | 3.237 | 1 | 1 | 0.02984 | 0.02852 | 0 | 1.034 | 0.9881 | 0 | json |
| t15_x4_u2_b1 | 15 | 4 | 2 | 1 | ![]() |
sub(D,sqt(frc(D))) | 71956 | 121971022 | o2(x,o1(o1(x))) | true | 63655 | 63655 | -0.6595 | 0 | 0.6595 | 0.09588 | 0.3096 | -1 | -0.1458 | 0.8542 | 1 | 3.274 | 0.04771 | 0 | 0.1046 | 1 | 1 | 0.0001953 | 0.09494 | 0.1169 | 0.03677 | 0.1918 | 1.833 | 0.8542 | 0.4976 | 0.9902 | 1 | 1 | 0.04873 | 0.164 | 0 | 0.5082 | 1.71 | 0 | json |
| t15_x4_u2_b2 | 15 | 4 | 2 | 2 | ![]() |
mlt(D,sqt(frc(D))) | 71957 | 121971023 | o2(x,o1(o1(x))) | true | 63663 | 63663 | -0.01817 | 0.5 | 0.06355 | 0.005081 | 0.07128 | -0.1285 | 0.07535 | 0.2039 | 1 | 2.18 | 0.0008113 | 0 | 0.02536 | 1 | 1 | 0.00004065 | 0.000175 | 0.01181 | 0.000168 | 0.01296 | 0.511 | 0.05199 | 0.1597 | 0.03443 | 1 | 1 | 0.001551 | 0.01014 | 0 | 0.3053 | 1.996 | 0 | json |
| t15_x4_u2_b3 | 15 | 4 | 2 | 3 | ![]() |
div(D,sqt(frc(D))) | 71958 | 121971024 | o2(x,o1(o1(x))) | true | 63671 | 63671 | 0.05274 | 0.5 | 0.1623 | 0.03191 | 0.1786 | -0.1676 | 0.32 | 0.4876 | 1 | 2.953 | 0.005736 | 0 | 0.06028 | 1 | 1 | 0.00003823 | 0.0026 | 0.03542 | 0.002102 | 0.04585 | 0.7606 | 0.2066 | 0.1798 | 0.08148 | 1 | 1 | 0.0102 | 0.06248 | 0 | 0.3197 | 1.958 | 0 | json |
| t15_x4_u2_b4 | 15 | 4 | 2 | 4 | ![]() |
pow(D,sqt(frc(D))) | 71959 | 121971025 | o2(x,o1(o1(x))) | true | 63679 | 63679 | -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 |
| t15_x4_u2_b5 | 15 | 4 | 2 | 5 | ![]() |
mod(D,sqt(frc(D))) | 71960 | 121971026 | o2(x,o1(o1(x))) | true | 63687 | 63687 | 0.01678 | 0.5 | 0.1111 | 0.01639 | 0.128 | -0.1454 | 0.2504 | 0.3959 | 1 | 2.906 | 0.003717 | 0 | 0.04935 | 1 | 1 | -0.00007607 | 0.00385 | 0.03097 | 0.001284 | 0.03583 | 0.726 | 0.1725 | 0.2267 | 0.2349 | 1 | 1 | 0.005513 | 0.03223 | 0 | 0.3364 | 1.966 | 0 | json |
| t15_x4_u2_b6 | 15 | 4 | 2 | 6 | ![]() |
lrg(D,sqt(frc(D))) | 71961 | 121971027 | o2(x,o1(o1(x))) | true | 63695 | 63695 | 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 |
| t15_x4_u2_b7 | 15 | 4 | 2 | 7 | ![]() |
eql(D,sqt(frc(D))) | 71962 | 121971028 | o2(x,o1(o1(x))) | true | 63703 | 63703 | 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 |
| t15_x4_u2_b8 | 15 | 4 | 2 | 8 | ![]() |
min(D,sqt(frc(D))) | 71963 | 121971029 | o2(x,o1(o1(x))) | true | 63711 | 63711 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t15_x4_u2_b9 | 15 | 4 | 2 | 9 | ![]() |
dot(D,sqt(frc(D))) | 71964 | 121971030 | o2(x,o1(o1(x))) | true | 63719 | 63719 | -0.03635 | 0.3594 | 0.08817 | 0.01016 | 0.1008 | -0.2571 | 0.1507 | 0.4078 | 1 | 2.685 | 0.0008113 | 0.0008113 | 0.03812 | 0.000004125 | 1 | 0.00008132 | 0.0003499 | 0.01555 | 0.0001694 | 0.01302 | 0.3414 | 0.07353 | 0.1597 | 0.03444 | 1 | 1 | 0.003102 | 0.02029 | 0 | 0.3053 | 1.997 | 0 | json |
| t15_x4_u2_b10 | 15 | 4 | 2 | 10 | ![]() |
dst(D,sqt(frc(D))) | 71965 | 121971031 | o2(x,o1(o1(x))) | true | 63727 | 63727 | 0.8893 | 1 | 0.8893 | 0.03917 | 0.1979 | 0.2064 | 1 | 0.7936 | 1 | 1.926 | 0.01227 | 0.01227 | 0.06673 | 0.000002619 | 1 | -0.0001822 | 0.05304 | 0.08655 | 0.02008 | 0.1417 | 2.124 | 0.7936 | 0.6266 | 1.354 | 1 | 1 | 0.02576 | 0.08913 | 0 | 0.6578 | 2.276 | 0 | json |
| t15_x4_u3_b0 | 15 | 4 | 3 | 0 | ![]() |
add(D,sqt(flr(D))) | 71966 | 121971222 | o2(x,o1(o1(x))) | true | 63735 | 63735 | -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 |
| t15_x4_u3_b1 | 15 | 4 | 3 | 1 | ![]() |
sub(D,sqt(flr(D))) | 71967 | 121971223 | o2(x,o1(o1(x))) | true | 63743 | 63743 | -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 |
| t15_x4_u3_b2 | 15 | 4 | 3 | 2 | ![]() |
mlt(D,sqt(flr(D))) | 71968 | 121971224 | o2(x,o1(o1(x))) | true | 63751 | 63751 | -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 |
| t15_x4_u3_b3 | 15 | 4 | 3 | 3 | ![]() |
div(D,sqt(flr(D))) | 71969 | 121971225 | o2(x,o1(o1(x))) | true | 63759 | 63759 | -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 |
| t15_x4_u3_b4 | 15 | 4 | 3 | 4 | ![]() |
pow(D,sqt(flr(D))) | 71970 | 121971226 | o2(x,o1(o1(x))) | true | 63767 | 63767 | -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 |
| t15_x4_u3_b5 | 15 | 4 | 3 | 5 | ![]() |
mod(D,sqt(flr(D))) | 71971 | 121971227 | o2(x,o1(o1(x))) | true | 63775 | 63775 | -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 |
| t15_x4_u3_b6 | 15 | 4 | 3 | 6 | ![]() |
lrg(D,sqt(flr(D))) | 71972 | 121971228 | o2(x,o1(o1(x))) | true | 63783 | 63783 | 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 |
| t15_x4_u3_b7 | 15 | 4 | 3 | 7 | ![]() |
eql(D,sqt(flr(D))) | 71973 | 121971229 | o2(x,o1(o1(x))) | true | 63791 | 63791 | 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 |
| t15_x4_u3_b8 | 15 | 4 | 3 | 8 | ![]() |
min(D,sqt(flr(D))) | 71974 | 121971230 | o2(x,o1(o1(x))) | true | 63799 | 63799 | -0.143 | 0 | 0.143 | 0.009237 | 0.09611 | -0.2729 | -0.000282 | 0.2726 | 1 | 2.227 | 0.001451 | 0 | 0.03416 | 1 | 1 | 0.0003063 | 0.0002653 | 0.01361 | 0.0002853 | 0.01689 | 0.4945 | 0.06184 | 0.1571 | 0.02873 | 1 | 1 | 0.002788 | 0.01827 | 0 | 0.3018 | 1.978 | 0 | json |
| t15_x4_u3_b9 | 15 | 4 | 3 | 9 | ![]() |
dot(D,sqt(flr(D))) | 71975 | 121971231 | o2(x,o1(o1(x))) | true | 63807 | 63807 | -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 |
| t15_x4_u3_b10 | 15 | 4 | 3 | 10 | ![]() |
dst(D,sqt(flr(D))) | 71976 | 121971232 | o2(x,o1(o1(x))) | true | 63815 | 63815 | -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 |
| t15_x4_u4_b0 | 15 | 4 | 4 | 0 | ![]() |
add(D,sqt(cil(D))) | 71977 | 121971423 | o2(x,o1(o1(x))) | true | 63823 | 63823 | 0.4823 | 0.6875 | 0.5176 | 0.2029 | 0.4504 | -0.09672 | 1 | 1.097 | 1 | 2.852 | 0.07312 | 0 | 0.135 | 1 | 1 | 0.00006836 | 0.122 | 0.1445 | 0.0549 | 0.2343 | 1.736 | 1.031 | 0.3604 | 0.6012 | 1 | 1 | 0.0864 | 0.3709 | 0 | 0.4259 | 1.828 | 0 | json |
| t15_x4_u4_b1 | 15 | 4 | 4 | 1 | ![]() |
sub(D,sqt(cil(D))) | 71978 | 121971424 | o2(x,o1(o1(x))) | true | 63831 | 63831 | -0.5 | 0 | 0.5 | 0.08301 | 0.2881 | -0.9688 | -0.03125 | 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 |
| t15_x4_u4_b2 | 15 | 4 | 4 | 2 | ![]() |
mlt(D,sqt(cil(D))) | 71979 | 121971425 | o2(x,o1(o1(x))) | true | 63839 | 63839 | 0.143 | 1 | 0.143 | 0.009237 | 0.09611 | 0.000282 | 0.2729 | 0.2726 | 1 | 2.227 | 0.001439 | 0 | 0.034 | 1 | 1 | -0.0003063 | 0.0002653 | 0.01361 | 0.0002839 | 0.01685 | 0.4956 | 0.06184 | 0.1558 | 0.02873 | 1 | 1 | 0.002731 | 0.01827 | 0 | 0.2956 | 1.978 | 0 | json |
| t15_x4_u4_b3 | 15 | 4 | 4 | 3 | ![]() |
div(D,sqt(cil(D))) | 71980 | 121971426 | o2(x,o1(o1(x))) | true | 63847 | 63847 | 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 |
| t15_x4_u4_b4 | 15 | 4 | 4 | 4 | ![]() |
pow(D,sqt(cil(D))) | 71981 | 121971427 | o2(x,o1(o1(x))) | true | 63855 | 63855 | 0.6431 | 1 | 0.6431 | 0.1162 | 0.3409 | 0.03153 | 1 | 0.9685 | 1 | 3.274 | 0.06116 | 0 | 0.1185 | 1 | 1 | -0.0003062 | 0.12 | 0.129 | 0.0471 | 0.217 | 1.831 | 0.9685 | 0.5262 | 1.033 | 1 | 1 | 0.06329 | 0.1908 | 0 | 0.5445 | 1.641 | 0 | json |
| t15_x4_u4_b5 | 15 | 4 | 4 | 5 | ![]() |
mod(D,sqt(cil(D))) | 71982 | 121971428 | o2(x,o1(o1(x))) | true | 63863 | 63863 | -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 |
| t15_x4_u4_b6 | 15 | 4 | 4 | 6 | ![]() |
lrg(D,sqt(cil(D))) | 71983 | 121971429 | o2(x,o1(o1(x))) | true | 63871 | 63871 | 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 |
| t15_x4_u4_b7 | 15 | 4 | 4 | 7 | ![]() |
eql(D,sqt(cil(D))) | 71984 | 121971430 | o2(x,o1(o1(x))) | true | 63879 | 63879 | 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 |
| t15_x4_u4_b8 | 15 | 4 | 4 | 8 | ![]() |
min(D,sqt(cil(D))) | 71985 | 121971431 | o2(x,o1(o1(x))) | true | 63887 | 63887 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t15_x4_u4_b9 | 15 | 4 | 4 | 9 | ![]() |
dot(D,sqt(cil(D))) | 71986 | 121971432 | o2(x,o1(o1(x))) | true | 63895 | 63895 | 0.286 | 1 | 0.286 | 0.01848 | 0.1359 | 0.0005639 | 0.5458 | 0.5452 | 1 | 3.068 | 0.001439 | 0.001439 | 0.05111 | 0.000006592 | 1 | -0.0006125 | 0.0005308 | 0.01887 | 0.0002665 | 0.01632 | 0.3194 | 0.08746 | 0.1558 | 0.02873 | 1 | 1 | 0.005461 | 0.03655 | 0 | 0.2956 | 1.978 | 0 | json |
| t15_x4_u4_b10 | 15 | 4 | 4 | 10 | ![]() |
dst(D,sqt(cil(D))) | 71987 | 121971433 | o2(x,o1(o1(x))) | true | 63903 | 63903 | 0.7381 | 1 | 0.7381 | 0.06233 | 0.2497 | 0.04419 | 1 | 0.9558 | 1 | 3.416 | 0.0205 | 0.0205 | 0.1005 | -0.000002908 | 1 | 0.00005702 | 0.089 | 0.1284 | 0.03088 | 0.1757 | 1.748 | 1.308 | 0.6576 | 1.428 | 1 | 1 | 0.04137 | 0.1096 | 0 | 0.6637 | 1.758 | 0 | json |
| t15_x4_u5_b0 | 15 | 4 | 5 | 0 | ![]() |
add(D,sqt(sgn(D))) | 71988 | 121971624 | o2(x,o1(o1(x))) | true | 63911 | 63911 | -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 |
| t15_x4_u5_b1 | 15 | 4 | 5 | 1 | ![]() |
sub(D,sqt(sgn(D))) | 71989 | 121971625 | o2(x,o1(o1(x))) | true | 63919 | 63919 | -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 |
| t15_x4_u5_b2 | 15 | 4 | 5 | 2 | ![]() |
mlt(D,sqt(sgn(D))) | 71990 | 121971626 | o2(x,o1(o1(x))) | true | 63927 | 63927 | -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 |
| t15_x4_u5_b3 | 15 | 4 | 5 | 3 | ![]() |
div(D,sqt(sgn(D))) | 71991 | 121971627 | o2(x,o1(o1(x))) | true | 63935 | 63935 | -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 |
| t15_x4_u5_b4 | 15 | 4 | 5 | 4 | ![]() |
pow(D,sqt(sgn(D))) | 71992 | 121971628 | o2(x,o1(o1(x))) | true | 63943 | 63943 | -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 |
| t15_x4_u5_b5 | 15 | 4 | 5 | 5 | ![]() |
mod(D,sqt(sgn(D))) | 71993 | 121971629 | o2(x,o1(o1(x))) | true | 63951 | 63951 | -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 |
| t15_x4_u5_b6 | 15 | 4 | 5 | 6 | ![]() |
lrg(D,sqt(sgn(D))) | 71994 | 121971630 | o2(x,o1(o1(x))) | true | 63959 | 63959 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t15_x4_u5_b7 | 15 | 4 | 5 | 7 | ![]() |
eql(D,sqt(sgn(D))) | 71995 | 121971631 | o2(x,o1(o1(x))) | true | 63967 | 63967 | 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 |
| t15_x4_u5_b8 | 15 | 4 | 5 | 8 | ![]() |
min(D,sqt(sgn(D))) | 71996 | 121971632 | o2(x,o1(o1(x))) | true | 63975 | 63975 | 0 | 0.5 | 0.09436 | 0.01082 | 0.104 | -0.1454 | 0.1454 | 0.2908 | 1 | 2.561 | 0.001632 | 0 | 0.0361 | 1 | 1 | 0 | 0.0002563 | 0.01459 | 0.0003304 | 0.01818 | 0.5036 | 0.06192 | 0.1508 | 0.02368 | 1 | 1 | 0.003151 | 0.02183 | 0 | 0.2912 | 2.017 | 0 | json |
| t15_x4_u5_b9 | 15 | 4 | 5 | 9 | ![]() |
dot(D,sqt(sgn(D))) | 71997 | 121971633 | o2(x,o1(o1(x))) | true | 63983 | 63983 | -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 |
| t15_x4_u5_b10 | 15 | 4 | 5 | 10 | ![]() |
dst(D,sqt(sgn(D))) | 71998 | 121971634 | o2(x,o1(o1(x))) | true | 63991 | 63991 | -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 |
| t15_x4_u6_b0 | 15 | 4 | 6 | 0 | ![]() |
add(D,sqt(nrm(D))) | 71999 | 121971825 | o2(x,o1(o1(x))) | true | 63999 | 63999 | -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 |



































































































