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_x4_u42_b5 | 15 | 4 | 42 | 5 | ![]() |
mod(D,nrm(sqt(D))) | 72400 | 121979066 | o2(x,o1(o1(x))) | true | 67207 | 67207 | -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_u42_b6 | 15 | 4 | 42 | 6 | ![]() |
lrg(D,nrm(sqt(D))) | 72401 | 121979067 | o2(x,o1(o1(x))) | true | 67215 | 67215 | 0.5021 | 1 | 0.5021 | 0.1437 | 0.379 | 0.000291 | 1 | 0.9997 | 1 | 3.363 | 0.06526 | 0.00001146 | 0.1231 | 0.9996 | 1 | -0.00003268 | 0.1205 | 0.1344 | 0.05012 | 0.2239 | 1.819 | 0.9997 | 0.4544 | 0.8388 | 1 | 1 | 0.07125 | 0.2451 | 0 | 0.496 | 1.706 | 0 | json |
| t15_x4_u42_b7 | 15 | 4 | 42 | 7 | ![]() |
eql(D,nrm(sqt(D))) | 72402 | 121979068 | o2(x,o1(o1(x))) | true | 67223 | 67223 | 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_u42_b8 | 15 | 4 | 42 | 8 | ![]() |
min(D,nrm(sqt(D))) | 72403 | 121979069 | o2(x,o1(o1(x))) | true | 67231 | 67231 | -0.00008272 | 0.5 | 0.09444 | 0.01084 | 0.1041 | -0.1461 | 0.1454 | 0.2916 | 1 | 2.561 | 0.001636 | 7.42e-9 | 0.03614 | 1 | 1 | 0.000001055 | 0.000257 | 0.01459 | 0.0003303 | 0.01817 | 0.5029 | 0.06196 | 0.1509 | 0.02371 | 1 | 1 | 0.003157 | 0.02187 | 0 | 0.2912 | 2.018 | 0 | json |
| t15_x4_u42_b9 | 15 | 4 | 42 | 9 | ![]() |
dot(D,nrm(sqt(D))) | 72404 | 121979070 | o2(x,o1(o1(x))) | true | 67239 | 67239 | -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_u42_b10 | 15 | 4 | 42 | 10 | ![]() |
dst(D,nrm(sqt(D))) | 72405 | 121979071 | o2(x,o1(o1(x))) | true | 67247 | 67247 | -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_u43_b0 | 15 | 4 | 43 | 0 | ![]() |
add(D,nrm(log(D))) | 72406 | 121979262 | o2(x,o1(o1(x))) | true | 67255 | 67255 | -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_u43_b1 | 15 | 4 | 43 | 1 | ![]() |
sub(D,nrm(log(D))) | 72407 | 121979263 | o2(x,o1(o1(x))) | true | 67263 | 67263 | -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_u43_b2 | 15 | 4 | 43 | 2 | ![]() |
mlt(D,nrm(log(D))) | 72408 | 121979264 | o2(x,o1(o1(x))) | true | 67271 | 67271 | -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_u43_b3 | 15 | 4 | 43 | 3 | ![]() |
div(D,nrm(log(D))) | 72409 | 121979265 | o2(x,o1(o1(x))) | true | 67279 | 67279 | -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_u43_b4 | 15 | 4 | 43 | 4 | ![]() |
pow(D,nrm(log(D))) | 72410 | 121979266 | o2(x,o1(o1(x))) | true | 67287 | 67287 | -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_u43_b5 | 15 | 4 | 43 | 5 | ![]() |
mod(D,nrm(log(D))) | 72411 | 121979267 | o2(x,o1(o1(x))) | true | 67295 | 67295 | -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_u43_b6 | 15 | 4 | 43 | 6 | ![]() |
lrg(D,nrm(log(D))) | 72412 | 121979268 | o2(x,o1(o1(x))) | true | 67303 | 67303 | 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_u43_b7 | 15 | 4 | 43 | 7 | ![]() |
eql(D,nrm(log(D))) | 72413 | 121979269 | o2(x,o1(o1(x))) | true | 67311 | 67311 | 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_u43_b8 | 15 | 4 | 43 | 8 | ![]() |
min(D,nrm(log(D))) | 72414 | 121979270 | o2(x,o1(o1(x))) | true | 67319 | 67319 | -0.07151 | 0.293 | 0.1077 | 0.01193 | 0.1092 | -0.2728 | 0.1454 | 0.4182 | 1 | 2.817 | 0.001384 | 0.001961 | 0.04321 | -0.1726 | 1 | 0.0001531 | 0.004062 | 0.03022 | 0.001478 | 0.03844 | 0.8897 | 0.2774 | 0.2804 | 0.3405 | 1 | 1 | 0.004793 | 0.02531 | 0 | 0.4017 | 2.122 | 0 | json |
| t15_x4_u43_b9 | 15 | 4 | 43 | 9 | ![]() |
dot(D,nrm(log(D))) | 72415 | 121979271 | o2(x,o1(o1(x))) | true | 67327 | 67327 | -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_u43_b10 | 15 | 4 | 43 | 10 | ![]() |
dst(D,nrm(log(D))) | 72416 | 121979272 | o2(x,o1(o1(x))) | true | 67335 | 67335 | -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_u44_b0 | 15 | 4 | 44 | 0 | ![]() |
add(D,nrm(frc(D))) | 72417 | 121979463 | o2(x,o1(o1(x))) | true | 67343 | 67343 | 0.6446 | 1 | 0.6446 | 0.05636 | 0.2374 | 0.0632 | 1 | 0.9368 | 1 | 3.682 | 0.03576 | 0.01902 | 0.135 | 0.3057 | 1 | -0.0003019 | 0.1286 | 0.1766 | 0.03656 | 0.1912 | 1.417 | 0.8235 | 0.9718 | 2.282 | 1 | 1 | 0.04775 | 0.07922 | 0 | 0.8472 | 1.406 | 0 | json |
| t15_x4_u44_b1 | 15 | 4 | 44 | 1 | ![]() |
sub(D,nrm(frc(D))) | 72418 | 121979464 | o2(x,o1(o1(x))) | true | 67351 | 67351 | -0.6366 | 0 | 0.6366 | 0.1115 | 0.334 | -1 | -0.001282 | 0.9987 | 1 | 3.657 | 0.0451 | 0.02049 | 0.1414 | 0.3752 | 1 | 0.0002234 | 0.1358 | 0.1746 | 0.04561 | 0.2136 | 1.51 | 0.914 | 0.5881 | 1.217 | 1 | 1 | 0.06624 | 0.1947 | 0 | 0.5938 | 1.746 | 0 | json |
| t15_x4_u44_b2 | 15 | 4 | 44 | 2 | ![]() |
mlt(D,nrm(frc(D))) | 72419 | 121979465 | o2(x,o1(o1(x))) | true | 67359 | 67359 | -0.01543 | 0.5 | 0.06204 | 0.005241 | 0.0724 | -0.1453 | 0.144 | 0.2893 | 1 | 2.177 | 0.0008307 | 0.000253 | 0.02822 | 0.533 | 1 | 0.00004585 | 0.0007853 | 0.01775 | 0.0002871 | 0.01694 | 0.6003 | 0.1122 | 0.2068 | 0.1498 | 1 | 1 | 0.001833 | 0.01098 | 0 | 0.3497 | 2.095 | 0 | json |
| t15_x4_u44_b3 | 15 | 4 | 44 | 3 | ![]() |
div(D,nrm(frc(D))) | 72420 | 121979466 | o2(x,o1(o1(x))) | true | 67367 | 67367 | 0.09548 | 0.5 | 0.2139 | 0.07465 | 0.2732 | -0.2384 | 0.9602 | 1.199 | 1 | 3.761 | 0.02595 | 0.009519 | 0.1028 | 0.4633 | 1 | 0.0003763 | 0.06922 | 0.1048 | 0.02491 | 0.1578 | 1.535 | 1.004 | 0.4751 | 0.9273 | 1 | 1 | 0.04076 | 0.1479 | 0 | 0.5461 | 1.982 | 0 | json |
| t15_x4_u44_b4 | 15 | 4 | 44 | 4 | ![]() |
pow(D,nrm(frc(D))) | 72421 | 121979467 | o2(x,o1(o1(x))) | true | 67375 | 67375 | -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_u44_b5 | 15 | 4 | 44 | 5 | ![]() |
mod(D,nrm(frc(D))) | 72422 | 121979468 | o2(x,o1(o1(x))) | true | 67383 | 67383 | 0.00428 | 0.4805 | 0.1195 | 0.01921 | 0.1386 | -0.2669 | 0.2639 | 0.5308 | 1 | 3.12 | 0.004716 | 0.00273 | 0.06171 | 0.2667 | 1 | -0.0001541 | 0.01755 | 0.06386 | 0.003639 | 0.06033 | 0.9776 | 0.3797 | 0.3877 | 0.9138 | 1 | 1 | 0.009085 | 0.03941 | 0 | 0.4731 | 2.052 | 0 | json |
| t15_x4_u44_b6 | 15 | 4 | 44 | 6 | ![]() |
lrg(D,nrm(frc(D))) | 72423 | 121979469 | o2(x,o1(o1(x))) | true | 67391 | 67391 | 0.02971 | 0.207 | 0.02971 | 0.01266 | 0.1125 | 0 | 0.8608 | 0.8608 | 1 | 0.7436 | 0.005424 | 0.01894 | 0.04235 | -0.5548 | 1 | 0.0002163 | 0.08491 | 0.08369 | 0.02258 | 0.1503 | 3.548 | 0.8735 | 1.925 | 6.709 | 1 | 1 | 0.01743 | 0.0256 | 0 | 1.377 | 2.023 | 0 | json |
| t15_x4_u44_b7 | 15 | 4 | 44 | 7 | ![]() |
eql(D,nrm(frc(D))) | 72424 | 121979470 | o2(x,o1(o1(x))) | true | 67399 | 67399 | 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_u44_b8 | 15 | 4 | 44 | 8 | ![]() |
min(D,nrm(frc(D))) | 72425 | 121979471 | o2(x,o1(o1(x))) | true | 67407 | 67407 | -0.001135 | 0.5 | 0.09514 | 0.01102 | 0.105 | -0.1592 | 0.1454 | 0.3046 | 1 | 2.56 | 0.001661 | 0.00001376 | 0.03666 | 0.9836 | 1 | -0.000006051 | 0.0002964 | 0.0154 | 0.0003314 | 0.0182 | 0.4966 | 0.06199 | 0.152 | 0.0269 | 1 | 1 | 0.003217 | 0.02223 | 0 | 0.292 | 2.017 | 0 | json |
| t15_x4_u44_b9 | 15 | 4 | 44 | 9 | ![]() |
dot(D,nrm(frc(D))) | 72426 | 121979472 | o2(x,o1(o1(x))) | true | 67415 | 67415 | -0.03086 | 0.3203 | 0.09739 | 0.01146 | 0.1071 | -0.2056 | 0.2056 | 0.4113 | 1 | 2.643 | 0.001144 | 0.001144 | 0.04214 | -0.000003969 | 1 | 0.0000917 | 0.001426 | 0.02649 | 0.0005121 | 0.02263 | 0.5371 | 0.1467 | 0.1996 | 0.1244 | 1 | 1 | 0.003982 | 0.02476 | 0 | 0.3474 | 2.16 | 0 | json |
| t15_x4_u44_b10 | 15 | 4 | 44 | 10 | ![]() |
dst(D,nrm(frc(D))) | 72427 | 121979473 | o2(x,o1(o1(x))) | true | 67423 | 67423 | 0.9746 | 1 | 0.9746 | 0.002667 | 0.05164 | 0.8173 | 1 | 0.1827 | 1 | 0.8358 | 0.0005406 | 0.0005406 | 0.0149 | -8.075e-7 | 1 | 0.00006881 | 0.001553 | 0.017 | 0.0008588 | 0.02931 | 1.967 | 0.1478 | 0.4054 | 0.5824 | 1 | 1 | 0.001492 | 0.006672 | 0 | 0.5593 | 2.502 | 0 | json |
| t15_x4_u45_b0 | 15 | 4 | 45 | 0 | ![]() |
add(D,nrm(flr(D))) | 72428 | 121979664 | o2(x,o1(o1(x))) | true | 67431 | 67431 | -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_u45_b1 | 15 | 4 | 45 | 1 | ![]() |
sub(D,nrm(flr(D))) | 72429 | 121979665 | o2(x,o1(o1(x))) | true | 67439 | 67439 | -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_u45_b2 | 15 | 4 | 45 | 2 | ![]() |
mlt(D,nrm(flr(D))) | 72430 | 121979666 | o2(x,o1(o1(x))) | true | 67447 | 67447 | -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_u45_b3 | 15 | 4 | 45 | 3 | ![]() |
div(D,nrm(flr(D))) | 72431 | 121979667 | o2(x,o1(o1(x))) | true | 67455 | 67455 | -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_u45_b4 | 15 | 4 | 45 | 4 | ![]() |
pow(D,nrm(flr(D))) | 72432 | 121979668 | o2(x,o1(o1(x))) | true | 67463 | 67463 | -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_u45_b5 | 15 | 4 | 45 | 5 | ![]() |
mod(D,nrm(flr(D))) | 72433 | 121979669 | o2(x,o1(o1(x))) | true | 67471 | 67471 | -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_u45_b6 | 15 | 4 | 45 | 6 | ![]() |
lrg(D,nrm(flr(D))) | 72434 | 121979670 | o2(x,o1(o1(x))) | true | 67479 | 67479 | 0.9922 | 1 | 0.9922 | 0.000568 | 0.02383 | 0.8609 | 1 | 0.1391 | 1 | 0.3349 | 0.0006472 | 0.0001061 | 0.009333 | 0.7182 | 1 | 0.00004491 | 0.001964 | 0.01449 | 0.0006664 | 0.02582 | 2.766 | 0.1967 | 1.326 | 3.457 | 1 | 1 | 0.0006322 | 0.001026 | 0 | 1.113 | 1.806 | 0 | json |
| t15_x4_u45_b7 | 15 | 4 | 45 | 7 | ![]() |
eql(D,nrm(flr(D))) | 72435 | 121979671 | o2(x,o1(o1(x))) | true | 67487 | 67487 | 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_u45_b8 | 15 | 4 | 45 | 8 | ![]() |
min(D,nrm(flr(D))) | 72436 | 121979672 | o2(x,o1(o1(x))) | true | 67495 | 67495 | -0.3557 | 0.2383 | 0.3816 | 0.1247 | 0.3531 | -0.9993 | 0.1293 | 1.129 | 1 | 4.02 | 0.05127 | 0.002061 | 0.1207 | 0.9227 | 1 | -0.0001479 | 0.09502 | 0.1337 | 0.03876 | 0.1969 | 1.631 | 1.03 | 0.4278 | 0.7622 | 1 | 1 | 0.0604 | 0.2259 | 0 | 0.4845 | 1.812 | 0 | json |
| t15_x4_u45_b9 | 15 | 4 | 45 | 9 | ![]() |
dot(D,nrm(flr(D))) | 72437 | 121979673 | o2(x,o1(o1(x))) | true | 67503 | 67503 | -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_u45_b10 | 15 | 4 | 45 | 10 | ![]() |
dst(D,nrm(flr(D))) | 72438 | 121979674 | o2(x,o1(o1(x))) | true | 67511 | 67511 | -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_u46_b0 | 15 | 4 | 46 | 0 | ![]() |
add(D,nrm(cil(D))) | 72439 | 121979865 | o2(x,o1(o1(x))) | true | 67519 | 67519 | -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_u46_b1 | 15 | 4 | 46 | 1 | ![]() |
sub(D,nrm(cil(D))) | 72440 | 121979866 | o2(x,o1(o1(x))) | true | 67527 | 67527 | -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_u46_b2 | 15 | 4 | 46 | 2 | ![]() |
mlt(D,nrm(cil(D))) | 72441 | 121979867 | o2(x,o1(o1(x))) | true | 67535 | 67535 | -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_u46_b3 | 15 | 4 | 46 | 3 | ![]() |
div(D,nrm(cil(D))) | 72442 | 121979868 | o2(x,o1(o1(x))) | true | 67543 | 67543 | -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_u46_b4 | 15 | 4 | 46 | 4 | ![]() |
pow(D,nrm(cil(D))) | 72443 | 121979869 | o2(x,o1(o1(x))) | true | 67551 | 67551 | -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_u46_b5 | 15 | 4 | 46 | 5 | ![]() |
mod(D,nrm(cil(D))) | 72444 | 121979870 | o2(x,o1(o1(x))) | true | 67559 | 67559 | -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_u46_b6 | 15 | 4 | 46 | 6 | ![]() |
lrg(D,nrm(cil(D))) | 72445 | 121979871 | o2(x,o1(o1(x))) | true | 67567 | 67567 | 0.2578 | 0.9453 | 0.2578 | 0.09069 | 0.3011 | 8.471e-8 | 0.9994 | 0.9994 | 1 | 3.181 | 0.02612 | 0.02365 | 0.1079 | 0.04954 | 1 | -0.0000449 | 0.101 | 0.1374 | 0.03814 | 0.1953 | 1.81 | 1.413 | 0.5488 | 1.114 | 1 | 1 | 0.05408 | 0.1858 | 0 | 0.5964 | 2.049 | 0 | json |
| t15_x4_u46_b7 | 15 | 4 | 46 | 7 | ![]() |
eql(D,nrm(cil(D))) | 72446 | 121979872 | o2(x,o1(o1(x))) | true | 67575 | 67575 | 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_u46_b8 | 15 | 4 | 46 | 8 | ![]() |
min(D,nrm(cil(D))) | 72447 | 121979873 | o2(x,o1(o1(x))) | true | 67583 | 67583 | -0.0003943 | 0.5 | 0.09476 | 0.01093 | 0.1045 | -0.1509 | 0.1454 | 0.2963 | 1 | 2.561 | 0.00165 | 2.092e-7 | 0.03644 | 0.9997 | 1 | 0.000005254 | 0.0002607 | 0.0146 | 0.0003225 | 0.01796 | 0.4928 | 0.06199 | 0.151 | 0.02386 | 1 | 1 | 0.003184 | 0.02204 | 0 | 0.2914 | 2.017 | 0 | json |
| t15_x4_u46_b9 | 15 | 4 | 46 | 9 | ![]() |
dot(D,nrm(cil(D))) | 72448 | 121979874 | o2(x,o1(o1(x))) | true | 67591 | 67591 | -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_u46_b10 | 15 | 4 | 46 | 10 | ![]() |
dst(D,nrm(cil(D))) | 72449 | 121979875 | o2(x,o1(o1(x))) | true | 67599 | 67599 | -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_u47_b0 | 15 | 4 | 47 | 0 | ![]() |
add(D,nrm(sgn(D))) | 72450 | 121980066 | o2(x,o1(o1(x))) | true | 67607 | 67607 | 0 | 0.5 | 0.5813 | 0.3928 | 0.6267 | -0.7915 | 0.7915 | 1.583 | 1 | 3.5 | 0.147 | 0 | 0.1948 | 1 | 1 | -7.569e-9 | 0.2447 | 0.2036 | 0.1091 | 0.3303 | 1.696 | 1.475 | 0.3743 | 0.623 | 1 | 1 | 0.1739 | 0.7018 | 0 | 0.4426 | 1.787 | 0 | json |
| t15_x4_u47_b1 | 15 | 4 | 47 | 1 | ![]() |
sub(D,nrm(sgn(D))) | 72451 | 121980067 | o2(x,o1(o1(x))) | true | 67615 | 67615 | 0 | 0.5 | 0.3926 | 0.196 | 0.4428 | -0.6757 | 0.6757 | 1.351 | 1 | 4 | 0.1167 | 0 | 0.1655 | 1 | 1 | 0 | 0.239 | 0.1744 | 0.08926 | 0.2988 | 1.806 | 1.351 | 0.5953 | 1.219 | 1 | 1 | 0.1154 | 0.3094 | 0 | 0.5885 | 1.578 | 0 | json |
| t15_x4_u47_b2 | 15 | 4 | 47 | 2 | ![]() |
mlt(D,nrm(sgn(D))) | 72452 | 121980068 | o2(x,o1(o1(x))) | true | 67623 | 67623 | 0.2023 | 1 | 0.2023 | 0.01307 | 0.1143 | 0.02229 | 0.351 | 0.3287 | 1 | 2.5 | 0.002074 | 5.108e-18 | 0.04114 | 1 | 1 | -0.000433 | 0.0004025 | 0.01452 | 0.000382 | 0.01954 | 0.475 | 0.05889 | 0.1587 | 0.0308 | 1 | 1 | 0.003944 | 0.02564 | 0 | 0.3018 | 1.962 | 0 | json |
| t15_x4_u47_b3 | 15 | 4 | 47 | 3 | ![]() |
div(D,nrm(sgn(D))) | 72453 | 121980069 | o2(x,o1(o1(x))) | true | 67631 | 67631 | 0.4045 | 1 | 0.4045 | 0.05228 | 0.2286 | 0.04458 | 0.7019 | 0.6574 | 1 | 3 | 0.008297 | 2.043e-17 | 0.08228 | 1 | 1 | -0.000866 | 0.00161 | 0.02905 | 0.001528 | 0.03909 | 0.475 | 0.1178 | 0.1587 | 0.0308 | 1 | 1 | 0.01578 | 0.1025 | 0 | 0.3018 | 1.962 | 0 | json |
| t15_x4_u47_b4 | 15 | 4 | 47 | 4 | ![]() |
pow(D,nrm(sgn(D))) | 72454 | 121980070 | o2(x,o1(o1(x))) | true | 67639 | 67639 | -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_u47_b5 | 15 | 4 | 47 | 5 | ![]() |
mod(D,nrm(sgn(D))) | 72455 | 121980071 | o2(x,o1(o1(x))) | true | 67647 | 67647 | -5.116e-13 | 0.5 | 0.1165 | 0.01859 | 0.1363 | -0.2405 | 0.2405 | 0.481 | 1 | 2.906 | 0.004222 | 0 | 0.06014 | 1 | 1 | 0 | 0.00436 | 0.0356 | 0.0006066 | 0.02463 | 0.4095 | 0.1223 | 0.2271 | 0.2345 | 1 | 1 | 0.006267 | 0.03717 | 0 | 0.3371 | 2 | 0 | json |
| t15_x4_u47_b6 | 15 | 4 | 47 | 6 | ![]() |
lrg(D,nrm(sgn(D))) | 72456 | 121980072 | o2(x,o1(o1(x))) | true | 67655 | 67655 | 0.5 | 0.6875 | 0.5 | 0.1697 | 0.412 | 0 | 1 | 1 | 1 | 2.549 | 0.06982 | 0 | 0.123 | 1 | 1 | 7.569e-9 | 0.1274 | 0.1651 | 0.05469 | 0.2338 | 1.901 | 1 | 0.4113 | 0.7507 | 1 | 1 | 0.07683 | 0.2968 | 0 | 0.4527 | 1.749 | 0 | json |
| t15_x4_u47_b7 | 15 | 4 | 47 | 7 | ![]() |
eql(D,nrm(sgn(D))) | 72457 | 121980073 | o2(x,o1(o1(x))) | true | 67663 | 67663 | 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_u47_b8 | 15 | 4 | 47 | 8 | ![]() |
min(D,nrm(sgn(D))) | 72458 | 121980074 | o2(x,o1(o1(x))) | true | 67671 | 67671 | -0.2121 | 0.4375 | 0.297 | 0.1049 | 0.3238 | -0.7067 | 0.1454 | 0.8521 | 1 | 3.328 | 0.0378 | 0 | 0.1049 | 1 | 1 | -0.0002852 | 0.06137 | 0.1031 | 0.0268 | 0.1637 | 1.561 | 0.7377 | 0.3605 | 0.5852 | 1 | 1 | 0.04531 | 0.1885 | 0 | 0.4321 | 1.797 | 0 | json |
| t15_x4_u47_b9 | 15 | 4 | 47 | 9 | ![]() |
dot(D,nrm(sgn(D))) | 72459 | 121980075 | o2(x,o1(o1(x))) | true | 67679 | 67679 | 0.4045 | 1 | 0.4045 | 0.02613 | 0.1617 | 0.04458 | 0.7019 | 0.6574 | 1 | 3.331 | 0.002074 | 0.002074 | 0.06225 | 0.000004378 | 1 | -0.0008662 | 0.0008052 | 0.02271 | 0.0002744 | 0.01656 | 0.2661 | 0.08329 | 0.1587 | 0.03081 | 1 | 1 | 0.007888 | 0.05126 | 0 | 0.3018 | 1.962 | 0 | json |
| t15_x4_u47_b10 | 15 | 4 | 47 | 10 | ![]() |
dst(D,nrm(sgn(D))) | 72460 | 121980076 | o2(x,o1(o1(x))) | true | 67687 | 67687 | 0.6313 | 1 | 0.6313 | 0.02604 | 0.1614 | 0.2997 | 0.9557 | 0.656 | 1 | 3.293 | 0.00215 | 0.00215 | 0.06359 | 7.579e-7 | 1 | 0.0008906 | 0.000962 | 0.02391 | 0.0002567 | 0.01602 | 0.2519 | 0.08379 | 0.1651 | 0.03694 | 1 | 1 | 0.008116 | 0.05196 | 0 | 0.3116 | 1.995 | 0 | json |
| t15_x4_u48_b0 | 15 | 4 | 48 | 0 | ![]() |
add(D,nrm(nrm(D))) | 72461 | 121980267 | o2(x,o1(o1(x))) | true | 67695 | 67695 | 3.72e-9 | 0.5 | 0.4595 | 0.2773 | 0.5266 | -1 | 1 | 2 | 1 | 4.738 | 0.05161 | 0.006667 | 0.1889 | 0.7712 | 1 | 3.614e-11 | 0.04535 | 0.08551 | 0.02261 | 0.1504 | 0.7961 | 1.526 | 0.2102 | 0.1636 | 1 | 1 | 0.1008 | 0.5836 | 0 | 0.3637 | 2.105 | 0 | json |
| t15_x4_u48_b1 | 15 | 4 | 48 | 1 | ![]() |
sub(D,nrm(nrm(D))) | 72462 | 121980268 | o2(x,o1(o1(x))) | true | 67703 | 67703 | -9.277e-10 | 0.5 | 0.2719 | 0.1156 | 0.34 | -0.8479 | 0.8479 | 1.696 | 1 | 4.375 | 0.02717 | 0.006951 | 0.1276 | 0.5926 | 1 | 6.659e-10 | 0.04044 | 0.05704 | 0.01785 | 0.1336 | 1.047 | 1.407 | 0.2951 | 0.3497 | 1 | 1 | 0.05448 | 0.2613 | 0 | 0.4712 | 2.26 | 0 | json |
| t15_x4_u48_b2 | 15 | 4 | 48 | 2 | ![]() |
mlt(D,nrm(nrm(D))) | 72463 | 121980269 | o2(x,o1(o1(x))) | true | 67711 | 67711 | 0.222 | 1 | 0.222 | 0.02412 | 0.1553 | 0.002221 | 0.4953 | 0.4931 | 1 | 2.941 | 0.003496 | 0.0002999 | 0.05598 | 0.842 | 1 | -0.0003428 | 0.0006588 | 0.02213 | 0.0006623 | 0.02573 | 0.4597 | 0.09175 | 0.1574 | 0.02731 | 1 | 1 | 0.007267 | 0.04807 | 0 | 0.3013 | 1.993 | 0 | json |
| t15_x4_u48_b3 | 15 | 4 | 48 | 3 | ![]() |
div(D,nrm(nrm(D))) | 72464 | 121980270 | o2(x,o1(o1(x))) | true | 67719 | 67719 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 2.35e-7 | 1 | -0.0006856 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t15_x4_u48_b4 | 15 | 4 | 48 | 4 | ![]() |
pow(D,nrm(nrm(D))) | 72465 | 121980271 | o2(x,o1(o1(x))) | true | 67727 | 67727 | -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_u48_b5 | 15 | 4 | 48 | 5 | ![]() |
mod(D,nrm(nrm(D))) | 72466 | 121980272 | o2(x,o1(o1(x))) | true | 67735 | 67735 | 9.095e-13 | 0.5 | 0.09597 | 0.01124 | 0.106 | -0.1581 | 0.1581 | 0.3162 | 1 | 2.56 | 0.001708 | 0.00001256 | 0.03741 | 0.9854 | 1 | 0 | 0.000389 | 0.01532 | 0.0003212 | 0.01792 | 0.479 | 0.06246 | 0.1531 | 0.03461 | 1 | 1 | 0.00329 | 0.02268 | 0 | 0.2927 | 2.018 | 0 | json |
| t15_x4_u48_b6 | 15 | 4 | 48 | 6 | ![]() |
lrg(D,nrm(nrm(D))) | 72467 | 121980273 | o2(x,o1(o1(x))) | true | 67743 | 67743 | 0.5 | 0.9609 | 0.5 | 0.1435 | 0.3788 | 0 | 1 | 1 | 1 | 3.379 | 0.06526 | 0.00002501 | 0.1231 | 0.9992 | 1 | 3.181e-9 | 0.1208 | 0.1357 | 0.05013 | 0.2239 | 1.819 | 1 | 0.455 | 0.8417 | 1 | 1 | 0.07115 | 0.2454 | 0 | 0.4959 | 1.71 | 0 | json |
| t15_x4_u48_b7 | 15 | 4 | 48 | 7 | ![]() |
eql(D,nrm(nrm(D))) | 72468 | 121980274 | o2(x,o1(o1(x))) | true | 67751 | 67751 | 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_u48_b8 | 15 | 4 | 48 | 8 | ![]() |
min(D,nrm(nrm(D))) | 72469 | 121980275 | o2(x,o1(o1(x))) | true | 67759 | 67759 | -0.1787 | 0.3984 | 0.2484 | 0.07958 | 0.2821 | -0.9352 | 0.1408 | 1.076 | 1 | 3.799 | 0.0143 | 0.003662 | 0.09798 | 0.5924 | 1 | -0.0001323 | 0.01438 | 0.05321 | 0.008367 | 0.09147 | 0.9336 | 0.8354 | 0.2258 | 0.1807 | 1 | 1 | 0.03102 | 0.1649 | 0 | 0.3897 | 2.072 | 0 | json |
| t15_x4_u48_b9 | 15 | 4 | 48 | 9 | ![]() |
dot(D,nrm(nrm(D))) | 72470 | 121980276 | o2(x,o1(o1(x))) | true | 67767 | 67767 | 0.4439 | 1 | 0.4439 | 0.02504 | 0.1582 | 0.04473 | 0.7026 | 0.6579 | 1 | 3.252 | 0.001981 | 0.001981 | 0.05914 | 7.051e-7 | 1 | -0.0006857 | 0.0006739 | 0.01958 | 0.000465 | 0.02156 | 0.3646 | 0.09377 | 0.1583 | 0.02692 | 1 | 1 | 0.007608 | 0.05068 | 0 | 0.3039 | 2.024 | 0 | json |
| t15_x4_u48_b10 | 15 | 4 | 48 | 10 | ![]() |
dst(D,nrm(nrm(D))) | 72471 | 121980277 | o2(x,o1(o1(x))) | true | 67775 | 67775 | 0.5564 | 1 | 0.5564 | 0.02504 | 0.1582 | 0.2974 | 0.9553 | 0.6579 | 1 | 3.252 | 0.001982 | 0.001982 | 0.05917 | -0.000002349 | 1 | 0.0006823 | 0.0006753 | 0.01965 | 0.0004635 | 0.02153 | 0.3639 | 0.09332 | 0.1583 | 0.02697 | 1 | 1 | 0.00761 | 0.05069 | 0 | 0.3039 | 2.024 | 0 | json |
| t15_x5_u0_b0 | 15 | 5 | 0 | 0 | ![]() |
add(D,sqt(sqt(R))) | 72472 | 122011020 | o2(x,o1(o1(x))) | true | 67783 | 67783 | -0.9211 | 0.04297 | 0.993 | 0.1394 | 0.3734 | -1 | 1 | 2 | 1 | 0.3731 | 0.0143 | 0.01389 | 0.01642 | 0.0145 | 1 | 0.000004836 | 0.05898 | 0.03106 | 0.02791 | 0.167 | 10.17 | 2.735 | 0.2022 | 0.423 | 1 | 1 | 0.02188 | 0.09399 | 0.235 | 0.1569 | 0.6742 | 1.685 | json |
| t15_x5_u0_b1 | 15 | 5 | 0 | 1 | ![]() |
sub(D,sqt(sqt(R))) | 72473 | 122011021 | o2(x,o1(o1(x))) | true | 67791 | 67791 | -0.9929 | 0 | 0.9929 | 0.001854 | 0.04306 | -1 | -0.4465 | 0.5535 | 1 | 0.2828 | 0.0002234 | 0.0001831 | 0.002613 | 0.09908 | 1 | -0.00002162 | 0.0007399 | 0.003192 | 0.0004 | 0.02 | 7.653 | 0.5535 | 0.2192 | 0.399 | 1 | 1 | 0.0002925 | 0.001445 | 0.003038 | 0.1577 | 0.7792 | 1.638 | json |
| t15_x5_u0_b2 | 15 | 5 | 0 | 2 | ![]() |
mlt(D,sqt(sqt(R))) | 72474 | 122011022 | o2(x,o1(o1(x))) | true | 67799 | 67799 | -0.9571 | 0.02126 | 0.9605 | 0.04137 | 0.2034 | -1 | 0.1603 | 1.16 | 1 | 0.3617 | 0.004253 | 0.004107 | 0.009372 | 0.01737 | 1 | -0.000007986 | 0.01743 | 0.01706 | 0.008274 | 0.09096 | 9.705 | 1.381 | 0.2021 | 0.4213 | 1 | 1 | 0.006374 | 0.02733 | 0.06863 | 0.1541 | 0.6606 | 1.659 | json |
| t15_x5_u0_b3 | 15 | 5 | 0 | 3 | ![]() |
div(D,sqt(sqt(R))) | 72475 | 122011023 | o2(x,o1(o1(x))) | true | 67807 | 67807 | -0.9569 | 0.0217 | 0.9621 | 0.04207 | 0.2051 | -1 | 0.312 | 1.312 | 1 | 0.3849 | 0.004301 | 0.004216 | 0.009926 | 0.009982 | 1 | -0.00001326 | 0.01767 | 0.01733 | 0.008416 | 0.09174 | 9.242 | 1.369 | 0.2025 | 0.42 | 1 | 1 | 0.006541 | 0.02841 | 0.07153 | 0.1555 | 0.6754 | 1.7 | json |
| t15_x5_u0_b4 | 15 | 5 | 0 | 4 | ![]() |
pow(D,sqt(sqt(R))) | 72476 | 122011024 | o2(x,o1(o1(x))) | true | 67815 | 67815 | -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_x5_u0_b5 | 15 | 5 | 0 | 5 | ![]() |
mod(D,sqt(sqt(R))) | 72477 | 122011025 | o2(x,o1(o1(x))) | true | 67823 | 67823 | -0.9571 | 0.02148 | 0.9614 | 0.04166 | 0.2041 | -1 | 0.2656 | 1.266 | 1 | 0.3776 | 0.004306 | 0.004112 | 0.009761 | 0.0231 | 1 | -0.00001484 | 0.01752 | 0.01739 | 0.008321 | 0.09122 | 9.345 | 1.37 | 0.202 | 0.4205 | 1 | 1 | 0.006414 | 0.02744 | 0.06943 | 0.1539 | 0.6585 | 1.666 | json |
| t15_x5_u0_b6 | 15 | 5 | 0 | 6 | ![]() |
lrg(D,sqt(sqt(R))) | 72478 | 122011026 | o2(x,o1(o1(x))) | true | 67831 | 67831 | 0.5241 | 0.9556 | 0.5241 | 0.1543 | 0.3928 | 0 | 1 | 1 | 1 | 3.417 | 0.002883 | 0.002412 | 0.05324 | 0.08907 | 1 | -0.00001033 | 0.002153 | 0.01752 | 0.00246 | 0.0496 | 0.9316 | 0.9264 | 0.03432 | 0.01395 | 1 | 1 | 0.009564 | 0.114 | 0.2895 | 0.06199 | 0.7391 | 1.876 | json |
| t15_x5_u0_b7 | 15 | 5 | 0 | 7 | ![]() |
eql(D,sqt(sqt(R))) | 72479 | 122011027 | o2(x,o1(o1(x))) | true | 67839 | 67839 | 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_x5_u0_b8 | 15 | 5 | 0 | 8 | ![]() |
min(D,sqt(sqt(R))) | 72480 | 122011028 | o2(x,o1(o1(x))) | true | 67847 | 67847 | -0.0008494 | 0.4987 | 0.09493 | 0.01098 | 0.1048 | -0.2127 | 0.1454 | 0.3581 | 1 | 2.57 | 0.001654 | 5.934e-7 | 0.03635 | 0.9993 | 1 | 0.00000353 | 0.0002614 | 0.01467 | 0.0003337 | 0.01827 | 0.5025 | 0.08526 | 0.1507 | 0.02382 | 1 | 1 | 0.003189 | 0.02209 | 0.0001281 | 0.2906 | 2.013 | 0.01167 | json |
| t15_x5_u0_b9 | 15 | 5 | 0 | 9 | ![]() |
dot(D,sqt(sqt(R))) | 72481 | 122011029 | o2(x,o1(o1(x))) | true | 67855 | 67855 | -0.996 | 0.002411 | 0.9965 | 0.004175 | 0.06462 | -1 | 0.2659 | 1.266 | 1 | 0.04829 | 0.0005379 | 0.0005176 | 0.00117 | 0.01922 | 1 | -1.126e-11 | 0.002219 | 0.002092 | 0.001053 | 0.03245 | 27.74 | 1.348 | 0.2528 | 0.5315 | 1 | 1 | 0.001875 | 0.007692 | 0.0147 | 0.449 | 1.842 | 3.522 | json |
| t15_x5_u0_b10 | 15 | 5 | 0 | 10 | ![]() |
dst(D,sqt(sqt(R))) | 72482 | 122011030 | o2(x,o1(o1(x))) | true | 67863 | 67863 | -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_x5_u1_b0 | 15 | 5 | 1 | 0 | ![]() |
add(D,sqt(log(R))) | 72483 | 122011221 | o2(x,o1(o1(x))) | true | 67871 | 67871 | -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_x5_u1_b1 | 15 | 5 | 1 | 1 | ![]() |
sub(D,sqt(log(R))) | 72484 | 122011222 | o2(x,o1(o1(x))) | true | 67879 | 67879 | -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_x5_u1_b2 | 15 | 5 | 1 | 2 | ![]() |
mlt(D,sqt(log(R))) | 72485 | 122011223 | o2(x,o1(o1(x))) | true | 67887 | 67887 | -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_x5_u1_b3 | 15 | 5 | 1 | 3 | ![]() |
div(D,sqt(log(R))) | 72486 | 122011224 | o2(x,o1(o1(x))) | true | 67895 | 67895 | -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_x5_u1_b4 | 15 | 5 | 1 | 4 | ![]() |
pow(D,sqt(log(R))) | 72487 | 122011225 | o2(x,o1(o1(x))) | true | 67903 | 67903 | -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_x5_u1_b5 | 15 | 5 | 1 | 5 | ![]() |
mod(D,sqt(log(R))) | 72488 | 122011226 | o2(x,o1(o1(x))) | true | 67911 | 67911 | -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_x5_u1_b6 | 15 | 5 | 1 | 6 | ![]() |
lrg(D,sqt(log(R))) | 72489 | 122011227 | o2(x,o1(o1(x))) | true | 67919 | 67919 | 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_x5_u1_b7 | 15 | 5 | 1 | 7 | ![]() |
eql(D,sqt(log(R))) | 72490 | 122011228 | o2(x,o1(o1(x))) | true | 67927 | 67927 | 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_x5_u1_b8 | 15 | 5 | 1 | 8 | ![]() |
min(D,sqt(log(R))) | 72491 | 122011229 | o2(x,o1(o1(x))) | true | 67935 | 67935 | 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_x5_u1_b9 | 15 | 5 | 1 | 9 | ![]() |
dot(D,sqt(log(R))) | 72492 | 122011230 | o2(x,o1(o1(x))) | true | 67943 | 67943 | -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_x5_u1_b10 | 15 | 5 | 1 | 10 | ![]() |
dst(D,sqt(log(R))) | 72493 | 122011231 | o2(x,o1(o1(x))) | true | 67951 | 67951 | -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_x5_u2_b0 | 15 | 5 | 2 | 0 | ![]() |
add(D,sqt(frc(R))) | 72494 | 122011422 | o2(x,o1(o1(x))) | true | 67959 | 67959 | 0.6846 | 0.9984 | 0.6847 | 0.04426 | 0.2104 | -0.07202 | 1 | 1.072 | 1 | 3.608 | 0.002059 | 0.0004363 | 0.04308 | 0.6502 | 1 | 0.00005397 | 0.0003464 | 0.0149 | 0.0006389 | 0.02528 | 0.5867 | 0.1659 | 0.05637 | 0.007827 | 1 | 1 | 0.004703 | 0.04203 | 0.05871 | 0.1063 | 0.9498 | 1.327 | json |
| t15_x5_u2_b1 | 15 | 5 | 2 | 1 | ![]() |
sub(D,sqt(frc(R))) | 72495 | 122011423 | o2(x,o1(o1(x))) | true | 67967 | 67967 | -0.6846 | 0.001785 | 0.6847 | 0.04387 | 0.2095 | -1 | 0.08274 | 1.083 | 1 | 3.606 | 0.002038 | 0.0004363 | 0.04309 | 0.6474 | 1 | -0.00004748 | 0.0003438 | 0.01484 | 0.0006177 | 0.02485 | 0.5768 | 0.1621 | 0.0564 | 0.007837 | 1 | 1 | 0.004693 | 0.04187 | 0.05889 | 0.107 | 0.9544 | 1.342 | json |
| t15_x5_u2_b2 | 15 | 5 | 2 | 2 | ![]() |
mlt(D,sqt(frc(R))) | 72496 | 122011424 | o2(x,o1(o1(x))) | true | 67975 | 67975 | 0.0003804 | 0.5002 | 0.07374 | 0.007652 | 0.08748 | -0.2558 | 0.2627 | 0.5185 | 1 | 2.533 | 0.0008948 | 0.00003477 | 0.02699 | 0.9252 | 1 | -0.000009852 | 0.000137 | 0.01038 | 0.0002013 | 0.01419 | 0.5258 | 0.06201 | 0.1215 | 0.0179 | 1 | 1 | 0.001838 | 0.01403 | 0.004955 | 0.2403 | 1.834 | 0.6476 | json |
| t15_x5_u2_b3 | 15 | 5 | 2 | 3 | ![]() |
div(D,sqt(frc(R))) | 72497 | 122011425 | o2(x,o1(o1(x))) | true | 67983 | 67983 | -0.0009484 | 0.4992 | 0.2195 | 0.09996 | 0.3162 | -1 | 1 | 2 | 1 | 4.04 | 0.01064 | 0.001273 | 0.07406 | 0.7863 | 1 | 0.00003957 | 0.006344 | 0.03305 | 0.006426 | 0.08017 | 1.082 | 2 | 0.1192 | 0.06347 | 1 | 1 | 0.02034 | 0.149 | 0.1512 | 0.2035 | 1.491 | 1.512 | json |
| t15_x5_u2_b4 | 15 | 5 | 2 | 4 | ![]() |
pow(D,sqt(frc(R))) | 72498 | 122011426 | o2(x,o1(o1(x))) | true | 67991 | 67991 | -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_x5_u2_b5 | 15 | 5 | 2 | 5 | ![]() |
mod(D,sqt(frc(R))) | 72499 | 122011427 | o2(x,o1(o1(x))) | true | 67999 | 67999 | 0.0003752 | 0.5002 | 0.1161 | 0.01781 | 0.1335 | -0.2725 | 0.2724 | 0.5448 | 1 | 3.056 | 0.004187 | 0.00005378 | 0.04908 | 0.9746 | 1 | 0.000003506 | 0.005041 | 0.03571 | 0.001832 | 0.04281 | 0.8722 | 0.491 | 0.2381 | 0.283 | 1 | 1 | 0.005824 | 0.03344 | 0.007364 | 0.327 | 1.877 | 0.4134 | json |



































































































