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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t17_x22_u1_b48 | 17 | 22 | 1 | 48 | ![]() |
pow(R,pow(D,log(D))) | 116300 | 138939288 | o2(x,o2(x,o1(x))) | true | 90407 | 90407 | -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_x22_u1_b49 | 17 | 22 | 1 | 49 | ![]() |
pow(R,mod(D,log(D))) | 116301 | 138939289 | o2(x,o2(x,o1(x))) | true | 90415 | 90415 | -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_x22_u1_b50 | 17 | 22 | 1 | 50 | ![]() |
pow(R,lrg(D,log(D))) | 116302 | 138939290 | o2(x,o2(x,o1(x))) | true | 90423 | 90423 | -0.9327 | 0.04297 | 0.9813 | 0.1025 | 0.3202 | -1 | 0.9428 | 1.943 | 1 | 0.413 | 0.01033 | 0.01038 | 0.01414 | -0.00231 | 1 | 0.000008535 | 0.04322 | 0.0262 | 0.02051 | 0.1432 | 10.13 | 2.64 | 0.2021 | 0.4217 | 1 | 1 | 0.01648 | 0.07156 | 0.1733 | 0.1608 | 0.6982 | 1.691 | json |
| t17_x22_u1_b51 | 17 | 22 | 1 | 51 | ![]() |
pow(R,eql(D,log(D))) | 116303 | 138939291 | o2(x,o2(x,o1(x))) | true | 90431 | 90431 | 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_x22_u1_b52 | 17 | 22 | 1 | 52 | ![]() |
pow(R,min(D,log(D))) | 116304 | 138939292 | o2(x,o2(x,o1(x))) | true | 90439 | 90439 | -0.9141 | 0.04297 | 1 | 0.1645 | 0.4056 | -1 | 1 | 2 | 1 | 0.2557 | 0.01688 | 0.01638 | 0.01652 | 0.01515 | 1 | 0 | 0.06954 | 0.03326 | 0.03297 | 0.1816 | 10.99 | 2.828 | 0.2022 | 0.4228 | 1 | 1 | 0.02543 | 0.1095 | 0.2757 | 0.1546 | 0.6659 | 1.676 | json |
| t17_x22_u1_b53 | 17 | 22 | 1 | 53 | ![]() |
pow(R,dot(D,log(D))) | 116305 | 138939293 | o2(x,o2(x,o1(x))) | true | 90447 | 90447 | -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_x22_u1_b54 | 17 | 22 | 1 | 54 | ![]() |
pow(R,dst(D,log(D))) | 116306 | 138939294 | o2(x,o2(x,o1(x))) | true | 90455 | 90455 | -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_x22_u1_b55 | 17 | 22 | 1 | 55 | ![]() |
mod(R,add(D,log(D))) | 116307 | 138939295 | o2(x,o2(x,o1(x))) | true | 90463 | 90463 | -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_x22_u1_b56 | 17 | 22 | 1 | 56 | ![]() |
mod(R,sub(D,log(D))) | 116308 | 138939296 | o2(x,o2(x,o1(x))) | true | 90471 | 90471 | -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_x22_u1_b57 | 17 | 22 | 1 | 57 | ![]() |
mod(R,mlt(D,log(D))) | 116309 | 138939297 | o2(x,o2(x,o1(x))) | true | 90479 | 90479 | -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_x22_u1_b58 | 17 | 22 | 1 | 58 | ![]() |
mod(R,div(D,log(D))) | 116310 | 138939298 | o2(x,o2(x,o1(x))) | true | 90487 | 90487 | -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_x22_u1_b59 | 17 | 22 | 1 | 59 | ![]() |
mod(R,pow(D,log(D))) | 116311 | 138939299 | o2(x,o2(x,o1(x))) | true | 90495 | 90495 | -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_x22_u1_b60 | 17 | 22 | 1 | 60 | ![]() |
mod(R,mod(D,log(D))) | 116312 | 138939300 | o2(x,o2(x,o1(x))) | true | 90503 | 90503 | -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_x22_u1_b61 | 17 | 22 | 1 | 61 | ![]() |
mod(R,lrg(D,log(D))) | 116313 | 138939301 | o2(x,o2(x,o1(x))) | true | 90511 | 90511 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x22_u1_b62 | 17 | 22 | 1 | 62 | ![]() |
mod(R,eql(D,log(D))) | 116314 | 138939302 | o2(x,o2(x,o1(x))) | true | 90519 | 90519 | -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_x22_u1_b63 | 17 | 22 | 1 | 63 | ![]() |
mod(R,min(D,log(D))) | 116315 | 138939303 | o2(x,o2(x,o1(x))) | true | 90527 | 90527 | 0.0005451 | 0.4797 | 0.2275 | 0.1048 | 0.3238 | -0.9989 | 0.9806 | 1.979 | 1 | 4.254 | 0.02547 | 0.001513 | 0.09544 | 0.8879 | 1 | -0.00002785 | 0.05401 | 0.1344 | 0.01787 | 0.1337 | 1.401 | 0.9687 | 0.2574 | 0.5152 | 1 | 1 | 0.02724 | 0.1151 | 0.192 | 0.2598 | 1.098 | 1.832 | json |
| t17_x22_u1_b64 | 17 | 22 | 1 | 64 | ![]() |
mod(R,dot(D,log(D))) | 116316 | 138939304 | o2(x,o2(x,o1(x))) | true | 90535 | 90535 | -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_x22_u1_b65 | 17 | 22 | 1 | 65 | ![]() |
mod(R,dst(D,log(D))) | 116317 | 138939305 | o2(x,o2(x,o1(x))) | true | 90543 | 90543 | -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_x22_u1_b66 | 17 | 22 | 1 | 66 | ![]() |
lrg(R,add(D,log(D))) | 116318 | 138939306 | o2(x,o2(x,o1(x))) | true | 90551 | 90551 | 0.9263 | 1 | 0.9263 | 0.022 | 0.1483 | 0.1394 | 1 | 0.8606 | 1 | 1.642 | 0.01185 | 0.0002322 | 0.04456 | 0.9616 | 1 | 0.00006945 | 0.02476 | 0.05267 | 0.0101 | 0.1005 | 2.255 | 0.8606 | 0.5493 | 1.125 | 1 | 1 | 0.01205 | 0.03281 | 0.02886 | 0.5477 | 1.492 | 1.312 | json |
| t17_x22_u1_b67 | 17 | 22 | 1 | 67 | ![]() |
lrg(R,sub(D,log(D))) | 116319 | 138939307 | o2(x,o2(x,o1(x))) | true | 90559 | 90559 | 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 |
| t17_x22_u1_b68 | 17 | 22 | 1 | 68 | ![]() |
lrg(R,mlt(D,log(D))) | 116320 | 138939308 | o2(x,o2(x,o1(x))) | true | 90567 | 90567 | 0.8199 | 1 | 0.8199 | 0.09126 | 0.3021 | 0.000291 | 1 | 0.9997 | 1 | 2.306 | 0.0334 | 0.001008 | 0.06905 | 0.9414 | 1 | -0.0002411 | 0.06997 | 0.08537 | 0.02964 | 0.1722 | 2.493 | 0.9997 | 0.3771 | 0.7667 | 1 | 1 | 0.03775 | 0.1211 | 0.1243 | 0.4137 | 1.327 | 1.362 | json |
| t17_x22_u1_b69 | 17 | 22 | 1 | 69 | ![]() |
lrg(R,div(D,log(D))) | 116321 | 138939309 | o2(x,o2(x,o1(x))) | true | 90575 | 90575 | 0.8255 | 1 | 0.8255 | 0.1071 | 0.3273 | 0.000291 | 1 | 0.9997 | 1 | 1.812 | 0.04101 | 0.001015 | 0.0704 | 0.9517 | 1 | -0.00003914 | 0.07881 | 0.1062 | 0.03708 | 0.1926 | 2.735 | 0.9997 | 0.3923 | 0.7356 | 1 | 1 | 0.04735 | 0.1686 | 0.1253 | 0.442 | 1.573 | 1.169 | json |
| t17_x22_u1_b70 | 17 | 22 | 1 | 70 | ![]() |
lrg(R,pow(D,log(D))) | 116322 | 138939310 | o2(x,o2(x,o1(x))) | true | 90583 | 90583 | 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 |
| t17_x22_u1_b71 | 17 | 22 | 1 | 71 | ![]() |
lrg(R,mod(D,log(D))) | 116323 | 138939311 | o2(x,o2(x,o1(x))) | true | 90591 | 90591 | 0.6961 | 1 | 0.6961 | 0.1222 | 0.3496 | 0.000291 | 1 | 0.9997 | 1 | 3.088 | 0.04091 | 0.001041 | 0.09688 | 0.9504 | 1 | 0.0000154 | 0.07874 | 0.1107 | 0.03256 | 0.1804 | 1.863 | 0.9997 | 0.3433 | 0.6444 | 1 | 1 | 0.04502 | 0.1769 | 0.1392 | 0.3684 | 1.447 | 1.139 | json |
| t17_x22_u1_b72 | 17 | 22 | 1 | 72 | ![]() |
lrg(R,lrg(D,log(D))) | 116324 | 138939312 | o2(x,o2(x,o1(x))) | true | 90599 | 90599 | 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_x22_u1_b73 | 17 | 22 | 1 | 73 | ![]() |
lrg(R,eql(D,log(D))) | 116325 | 138939313 | o2(x,o2(x,o1(x))) | true | 90607 | 90607 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x22_u1_b74 | 17 | 22 | 1 | 74 | ![]() |
lrg(R,min(D,log(D))) | 116326 | 138939314 | o2(x,o2(x,o1(x))) | true | 90615 | 90615 | 0.7901 | 0.9799 | 0.7901 | 0.1128 | 0.3358 | 0 | 1 | 1 | 1 | 2.33 | 0.04212 | 0.001147 | 0.08093 | 0.947 | 1 | 0.000002664 | 0.0852 | 0.1162 | 0.03673 | 0.1916 | 2.368 | 1 | 0.3836 | 0.7554 | 1 | 1 | 0.04665 | 0.1637 | 0.1396 | 0.4136 | 1.451 | 1.238 | json |
| t17_x22_u1_b75 | 17 | 22 | 1 | 75 | ![]() |
lrg(R,dot(D,log(D))) | 116327 | 138939315 | o2(x,o2(x,o1(x))) | true | 90623 | 90623 | 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_x22_u1_b76 | 17 | 22 | 1 | 76 | ![]() |
lrg(R,dst(D,log(D))) | 116328 | 138939316 | o2(x,o2(x,o1(x))) | true | 90631 | 90631 | 0.75 | 1 | 0.75 | 0.091 | 0.3017 | 0.000582 | 1 | 0.9994 | 1 | 3.116 | 0.02539 | 0.02539 | 0.1108 | -4.034e-7 | 1 | -7.993e-9 | 0.1027 | 0.1304 | 0.03851 | 0.1962 | 1.771 | 0.9991 | 0.5581 | 1.128 | 1 | 1 | 0.05526 | 0.189 | 0 | 0.6073 | 2.077 | 0 | json |
| t17_x22_u1_b77 | 17 | 22 | 1 | 77 | ![]() |
eql(R,add(D,log(D))) | 116329 | 138939317 | o2(x,o2(x,o1(x))) | true | 90639 | 90639 | 0.000001739 | 0.0004272 | 0.000001739 | 9.706e-9 | 0.00009852 | 0 | 0.007122 | 0.007122 | 1 | 0 | 2.004e-8 | 1.422e-10 | 0.000003624 | 0.9859 | 0 | -2.508e-14 | 6.07e-8 | 0.000007184 | 2.017e-8 | 0.000142 | 39.19 | 0.007123 | 2.079 | 6.254 | 1 | 1 | 1.812e-8 | 2.406e-8 | 3.525e-8 | 1.867 | 2.479 | 3.632 | json |
| t17_x22_u1_b78 | 17 | 22 | 1 | 78 | ![]() |
eql(R,sub(D,log(D))) | 116330 | 138939318 | o2(x,o2(x,o1(x))) | true | 90647 | 90647 | 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_x22_u1_b79 | 17 | 22 | 1 | 79 | ![]() |
eql(R,mlt(D,log(D))) | 116331 | 138939319 | o2(x,o2(x,o1(x))) | true | 90655 | 90655 | 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_x22_u1_b80 | 17 | 22 | 1 | 80 | ![]() |
eql(R,div(D,log(D))) | 116332 | 138939320 | o2(x,o2(x,o1(x))) | true | 90663 | 90663 | 0.0001363 | 0.0004883 | 0.0001363 | 0.00005963 | 0.007722 | 0 | 0.5583 | 0.5583 | 1 | 0.005655 | 0.0001231 | 8.735e-7 | 0.000284 | 0.9859 | 1 | 1.382e-12 | 0.0003729 | 0.0005631 | 0.0001239 | 0.01113 | 39.18 | 0.5583 | 2.08 | 6.254 | 1 | 1 | 0.0001113 | 0.0001478 | 0.0002166 | 1.867 | 2.479 | 3.633 | json |
| t17_x22_u1_b81 | 17 | 22 | 1 | 81 | ![]() |
eql(R,pow(D,log(D))) | 116333 | 138939321 | o2(x,o2(x,o1(x))) | true | 90671 | 90671 | 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_x22_u1_b82 | 17 | 22 | 1 | 82 | ![]() |
eql(R,mod(D,log(D))) | 116334 | 138939322 | o2(x,o2(x,o1(x))) | true | 90679 | 90679 | 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_x22_u1_b83 | 17 | 22 | 1 | 83 | ![]() |
eql(R,lrg(D,log(D))) | 116335 | 138939323 | o2(x,o2(x,o1(x))) | true | 90687 | 90687 | 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_x22_u1_b84 | 17 | 22 | 1 | 84 | ![]() |
eql(R,eql(D,log(D))) | 116336 | 138939324 | o2(x,o2(x,o1(x))) | true | 90695 | 90695 | 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_x22_u1_b85 | 17 | 22 | 1 | 85 | ![]() |
eql(R,min(D,log(D))) | 116337 | 138939325 | o2(x,o2(x,o1(x))) | true | 90703 | 90703 | 0.00004008 | 0.0002289 | 0.00004008 | 0.00001031 | 0.00321 | 0 | 0.3282 | 0.3282 | 1 | 0.002722 | 0.00001454 | 1.509e-7 | 0.00006305 | 0.9795 | 0 | 1.17e-7 | 0.00004407 | 0.0001242 | 0.00001469 | 0.003832 | 60.78 | 0.3186 | 1.425 | 4.276 | 1 | 1 | 0 | 0 | 0.000007865 | 0 | 0 | 0.7631 | json |
| t17_x22_u1_b86 | 17 | 22 | 1 | 86 | ![]() |
eql(R,dot(D,log(D))) | 116338 | 138939326 | o2(x,o2(x,o1(x))) | true | 90711 | 90711 | 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_x22_u1_b87 | 17 | 22 | 1 | 87 | ![]() |
eql(R,dst(D,log(D))) | 116339 | 138939327 | o2(x,o2(x,o1(x))) | true | 90719 | 90719 | 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_x22_u1_b88 | 17 | 22 | 1 | 88 | ![]() |
min(R,add(D,log(D))) | 116340 | 138939328 | o2(x,o2(x,o1(x))) | true | 90727 | 90727 | -0.3909 | 0.2471 | 0.5737 | 0.2897 | 0.5383 | -1 | 0.9805 | 1.981 | 1 | 4.363 | 0.08923 | 0.001634 | 0.1423 | 0.964 | 1 | 0.00001222 | 0.1564 | 0.158 | 0.07061 | 0.2657 | 1.867 | 1.969 | 0.3136 | 0.54 | 1 | 1 | 0.1034 | 0.4178 | 0.1999 | 0.3569 | 1.442 | 0.69 | json |
| t17_x22_u1_b89 | 17 | 22 | 1 | 89 | ![]() |
min(R,sub(D,log(D))) | 116341 | 138939329 | o2(x,o2(x,o1(x))) | true | 90735 | 90735 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x22_u1_b90 | 17 | 22 | 1 | 90 | ![]() |
min(R,mlt(D,log(D))) | 116342 | 138939330 | o2(x,o2(x,o1(x))) | true | 90743 | 90743 | -0.2052 | 0.2347 | 0.3721 | 0.1482 | 0.385 | -0.9989 | 0.9805 | 1.979 | 1 | 4.5 | 0.01574 | 0.001775 | 0.07455 | 0.7974 | 1 | 0.0002089 | 0.02236 | 0.04948 | 0.01196 | 0.1094 | 1.467 | 1.078 | 0.1182 | 0.1508 | 1 | 1 | 0.02351 | 0.1539 | 0.2172 | 0.1586 | 1.039 | 1.466 | json |
| t17_x22_u1_b91 | 17 | 22 | 1 | 91 | ![]() |
min(R,div(D,log(D))) | 116343 | 138939331 | o2(x,o2(x,o1(x))) | true | 90751 | 90751 | -0.2683 | 0.1656 | 0.3736 | 0.1386 | 0.3723 | -1 | 0.9717 | 1.972 | 1 | 4.491 | 0.01298 | 0.001838 | 0.07793 | 0.7519 | 1 | 0.0004278 | 0.02028 | 0.05006 | 0.008746 | 0.09352 | 1.2 | 0.9697 | 0.1069 | 0.1463 | 1 | 1 | 0.01938 | 0.131 | 0.2246 | 0.1398 | 0.9453 | 1.62 | json |
| t17_x22_u1_b92 | 17 | 22 | 1 | 92 | ![]() |
min(R,pow(D,log(D))) | 116344 | 138939332 | o2(x,o2(x,o1(x))) | true | 90759 | 90759 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x22_u1_b93 | 17 | 22 | 1 | 93 | ![]() |
min(R,mod(D,log(D))) | 116345 | 138939333 | o2(x,o2(x,o1(x))) | true | 90767 | 90767 | -0.07469 | 0.4565 | 0.334 | 0.1669 | 0.4085 | -0.9989 | 0.9805 | 1.979 | 1 | 4.705 | 0.01163 | 0.002328 | 0.07349 | 0.6664 | 1 | -0.000132 | 0.02082 | 0.05518 | 0.008558 | 0.09251 | 1.259 | 0.9383 | 0.08365 | 0.1248 | 1 | 1 | 0.01747 | 0.1237 | 0.2805 | 0.1047 | 0.7414 | 1.681 | json |
| t17_x22_u1_b94 | 17 | 22 | 1 | 94 | ![]() |
min(R,lrg(D,log(D))) | 116346 | 138939334 | o2(x,o2(x,o1(x))) | true | 90775 | 90775 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x22_u1_b95 | 17 | 22 | 1 | 95 | ![]() |
min(R,eql(D,log(D))) | 116347 | 138939335 | o2(x,o2(x,o1(x))) | true | 90783 | 90783 | -0.2541 | 0 | 0.2541 | 0.06549 | 0.2559 | -0.9989 | 0 | 0.9989 | 1 | 3.542 | 0.000768 | 0.0009295 | 0.0314 | -0.09514 | 1 | 0.00001332 | 0.00009988 | 0.007359 | 0.0007117 | 0.02668 | 0.8497 | 0.1168 | 0.02592 | 0.001525 | 1 | 1 | 0.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x22_u1_b96 | 17 | 22 | 1 | 96 | ![]() |
min(R,min(D,log(D))) | 116348 | 138939336 | o2(x,o2(x,o1(x))) | true | 90791 | 90791 | -0.673 | 0 | 0.673 | 0.09949 | 0.3154 | -1 | -0.03125 | 0.9687 | 1 | 3.315 | 0.04079 | 0.0002605 | 0.09332 | 0.9873 | 1 | 0.0001292 | 0.07706 | 0.1084 | 0.03234 | 0.1798 | 1.927 | 0.9687 | 0.4126 | 0.7745 | 1 | 1 | 0.04346 | 0.1628 | 0.03015 | 0.4368 | 1.637 | 0.3031 | json |
| t17_x22_u1_b97 | 17 | 22 | 1 | 97 | ![]() |
min(R,dot(D,log(D))) | 116349 | 138939337 | o2(x,o2(x,o1(x))) | true | 90799 | 90799 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x22_u1_b98 | 17 | 22 | 1 | 98 | ![]() |
min(R,dst(D,log(D))) | 116350 | 138939338 | o2(x,o2(x,o1(x))) | true | 90807 | 90807 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x22_u1_b99 | 17 | 22 | 1 | 99 | ![]() |
dot(R,add(D,log(D))) | 116351 | 138939339 | o2(x,o2(x,o1(x))) | true | 90815 | 90815 | -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_x22_u1_b100 | 17 | 22 | 1 | 100 | ![]() |
dot(R,sub(D,log(D))) | 116352 | 138939340 | o2(x,o2(x,o1(x))) | true | 90823 | 90823 | -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_x22_u1_b101 | 17 | 22 | 1 | 101 | ![]() |
dot(R,mlt(D,log(D))) | 116353 | 138939341 | o2(x,o2(x,o1(x))) | true | 90831 | 90831 | -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_x22_u1_b102 | 17 | 22 | 1 | 102 | ![]() |
dot(R,div(D,log(D))) | 116354 | 138939342 | o2(x,o2(x,o1(x))) | true | 90839 | 90839 | -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_x22_u1_b103 | 17 | 22 | 1 | 103 | ![]() |
dot(R,pow(D,log(D))) | 116355 | 138939343 | o2(x,o2(x,o1(x))) | true | 90847 | 90847 | -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_x22_u1_b104 | 17 | 22 | 1 | 104 | ![]() |
dot(R,mod(D,log(D))) | 116356 | 138939344 | o2(x,o2(x,o1(x))) | true | 90855 | 90855 | -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_x22_u1_b105 | 17 | 22 | 1 | 105 | ![]() |
dot(R,lrg(D,log(D))) | 116357 | 138939345 | o2(x,o2(x,o1(x))) | true | 90863 | 90863 | 0.01244 | 0.5136 | 0.5338 | 0.3988 | 0.6315 | -1 | 1 | 2 | 1 | 4.753 | 0.006273 | 0.006655 | 0.08199 | -0.02953 | 1 | 0.00005864 | 0.002009 | 0.0233 | 0.006205 | 0.07877 | 0.9608 | 0.4552 | 0.03242 | 0.005038 | 1 | 1 | 0.02671 | 0.3045 | 0.7613 | 0.06698 | 0.7636 | 1.909 | json |
| t17_x22_u1_b106 | 17 | 22 | 1 | 106 | ![]() |
dot(R,eql(D,log(D))) | 116358 | 138939346 | o2(x,o2(x,o1(x))) | true | 90871 | 90871 | 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_x22_u1_b107 | 17 | 22 | 1 | 107 | ![]() |
dot(R,min(D,log(D))) | 116359 | 138939347 | o2(x,o2(x,o1(x))) | true | 90879 | 90879 | -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_x22_u1_b108 | 17 | 22 | 1 | 108 | ![]() |
dot(R,dot(D,log(D))) | 116360 | 138939348 | o2(x,o2(x,o1(x))) | true | 90887 | 90887 | -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_x22_u1_b109 | 17 | 22 | 1 | 109 | ![]() |
dot(R,dst(D,log(D))) | 116361 | 138939349 | o2(x,o2(x,o1(x))) | true | 90895 | 90895 | -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_x22_u1_b110 | 17 | 22 | 1 | 110 | ![]() |
dst(R,add(D,log(D))) | 116362 | 138939350 | o2(x,o2(x,o1(x))) | true | 90903 | 90903 | -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_x22_u1_b111 | 17 | 22 | 1 | 111 | ![]() |
dst(R,sub(D,log(D))) | 116363 | 138939351 | o2(x,o2(x,o1(x))) | true | 90911 | 90911 | -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_x22_u1_b112 | 17 | 22 | 1 | 112 | ![]() |
dst(R,mlt(D,log(D))) | 116364 | 138939352 | o2(x,o2(x,o1(x))) | true | 90919 | 90919 | -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_x22_u1_b113 | 17 | 22 | 1 | 113 | ![]() |
dst(R,div(D,log(D))) | 116365 | 138939353 | o2(x,o2(x,o1(x))) | true | 90927 | 90927 | -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_x22_u1_b114 | 17 | 22 | 1 | 114 | ![]() |
dst(R,pow(D,log(D))) | 116366 | 138939354 | o2(x,o2(x,o1(x))) | true | 90935 | 90935 | -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_x22_u1_b115 | 17 | 22 | 1 | 115 | ![]() |
dst(R,mod(D,log(D))) | 116367 | 138939355 | o2(x,o2(x,o1(x))) | true | 90943 | 90943 | -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_x22_u1_b116 | 17 | 22 | 1 | 116 | ![]() |
dst(R,lrg(D,log(D))) | 116368 | 138939356 | o2(x,o2(x,o1(x))) | true | 90951 | 90951 | 0.9927 | 1 | 0.9927 | 0.002207 | 0.04698 | 0.4077 | 1 | 0.5923 | 1 | 0.2664 | 0.0001027 | 0.0001547 | 0.00276 | -0.2019 | 1 | -9.761e-11 | 0.0001368 | 0.002036 | 0.0002498 | 0.01581 | 5.726 | 0.1944 | 0.1166 | 0.06196 | 1 | 1 | 0.0006829 | 0.004926 | 0.006003 | 0.3094 | 2.232 | 2.72 | json |
| t17_x22_u1_b117 | 17 | 22 | 1 | 117 | ![]() |
dst(R,eql(D,log(D))) | 116369 | 138939357 | o2(x,o2(x,o1(x))) | true | 90959 | 90959 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t17_x22_u1_b118 | 17 | 22 | 1 | 118 | ![]() |
dst(R,min(D,log(D))) | 116370 | 138939358 | o2(x,o2(x,o1(x))) | true | 90967 | 90967 | -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_x22_u1_b119 | 17 | 22 | 1 | 119 | ![]() |
dst(R,dot(D,log(D))) | 116371 | 138939359 | o2(x,o2(x,o1(x))) | true | 90975 | 90975 | -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_x22_u1_b120 | 17 | 22 | 1 | 120 | ![]() |
dst(R,dst(D,log(D))) | 116372 | 138939360 | o2(x,o2(x,o1(x))) | true | 90983 | 90983 | -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_x22_u2_b0 | 17 | 22 | 2 | 0 | ![]() |
add(R,add(D,frc(D))) | 116373 | 138939441 | o2(x,o2(x,o1(x))) | true | 90991 | 90991 | 0.4638 | 0.8312 | 0.5503 | 0.1987 | 0.4458 | -0.9366 | 1 | 1.937 | 1 | 4.307 | 0.03783 | 0.002701 | 0.1137 | 0.8667 | 1 | -0.0001358 | 0.08329 | 0.1111 | 0.0276 | 0.1661 | 1.461 | 0.9025 | 0.2039 | 0.4192 | 1 | 1 | 0.04001 | 0.1541 | 0.3009 | 0.2014 | 0.7757 | 1.514 | json |
| t17_x22_u2_b1 | 17 | 22 | 2 | 1 | ![]() |
add(R,sub(D,frc(D))) | 116374 | 138939442 | o2(x,o2(x,o1(x))) | true | 90999 | 90999 | -0.4204 | 0.201 | 0.5662 | 0.2506 | 0.5006 | -1 | 0.9804 | 1.98 | 1 | 4.386 | 0.0477 | 0.002539 | 0.1158 | 0.8989 | 1 | 0.0001124 | 0.08414 | 0.1109 | 0.03684 | 0.1919 | 1.658 | 1.023 | 0.2005 | 0.3357 | 1 | 1 | 0.05898 | 0.2859 | 0.2878 | 0.2353 | 1.141 | 1.149 | json |
| t17_x22_u2_b2 | 17 | 22 | 2 | 2 | ![]() |
add(R,mlt(D,frc(D))) | 116375 | 138939443 | o2(x,o2(x,o1(x))) | true | 91007 | 91007 | -0.01488 | 0.4837 | 0.397 | 0.2226 | 0.4719 | -1 | 0.9829 | 1.983 | 1 | 4.872 | 0.003351 | 0.003168 | 0.06792 | 0.02806 | 1 | 0.00009456 | 0.0005208 | 0.01799 | 0.001905 | 0.04365 | 0.6427 | 0.2573 | 0.02928 | 0.002339 | 1 | 1 | 0.01286 | 0.1582 | 0.3911 | 0.05777 | 0.7104 | 1.756 | json |
| t17_x22_u2_b3 | 17 | 22 | 2 | 3 | ![]() |
add(R,div(D,frc(D))) | 116376 | 138939444 | o2(x,o2(x,o1(x))) | true | 91015 | 91015 | 0.1836 | 0.6265 | 0.4863 | 0.3036 | 0.551 | -1 | 1 | 2 | 1 | 4.785 | 0.05418 | 0.002758 | 0.1395 | 0.9031 | 1 | 0.0003952 | 0.08783 | 0.1196 | 0.03748 | 0.1936 | 1.388 | 1.048 | 0.1875 | 0.2893 | 1 | 1 | 0.0714 | 0.3519 | 0.3151 | 0.2352 | 1.159 | 1.038 | json |
| t17_x22_u2_b4 | 17 | 22 | 2 | 4 | ![]() |
add(R,pow(D,frc(D))) | 116377 | 138939445 | o2(x,o2(x,o1(x))) | true | 91023 | 91023 | -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_x22_u2_b5 | 17 | 22 | 2 | 5 | ![]() |
add(R,mod(D,frc(D))) | 116378 | 138939446 | o2(x,o2(x,o1(x))) | true | 91031 | 91031 | -0.04502 | 0.4651 | 0.4168 | 0.245 | 0.495 | -1 | 1 | 2 | 1 | 4.917 | 0.03055 | 0.003151 | 0.1367 | 0.813 | 1 | 0.0006307 | 0.06306 | 0.1791 | 0.01501 | 0.1225 | 0.8962 | 0.726 | 0.1375 | 0.2574 | 1 | 1 | 0.03597 | 0.1933 | 0.387 | 0.1468 | 0.7889 | 1.58 | json |
| t17_x22_u2_b6 | 17 | 22 | 2 | 6 | ![]() |
add(R,lrg(D,frc(D))) | 116379 | 138939447 | o2(x,o2(x,o1(x))) | true | 91039 | 91039 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x22_u2_b7 | 17 | 22 | 2 | 7 | ![]() |
add(R,eql(D,frc(D))) | 116380 | 138939448 | o2(x,o2(x,o1(x))) | true | 91047 | 91047 | 0.4361 | 0.7938 | 0.5773 | 0.2485 | 0.4985 | -0.9982 | 1 | 1.998 | 1 | 4.395 | 0.04776 | 0.002502 | 0.1145 | 0.9005 | 1 | -0.00007085 | 0.08469 | 0.1109 | 0.03715 | 0.1927 | 1.683 | 1.025 | 0.2022 | 0.3407 | 1 | 1 | 0.05926 | 0.2813 | 0.2746 | 0.2385 | 1.132 | 1.105 | json |
| t17_x22_u2_b8 | 17 | 22 | 2 | 8 | ![]() |
add(R,min(D,frc(D))) | 116381 | 138939449 | o2(x,o2(x,o1(x))) | true | 91055 | 91055 | 0.009078 | 0.4986 | 0.4013 | 0.2304 | 0.48 | -1 | 1 | 2 | 1 | 4.899 | 0.004471 | 0.003165 | 0.07546 | 0.1709 | 1 | 0.00002869 | 0.0006263 | 0.01935 | 0.001942 | 0.04407 | 0.584 | 0.2845 | 0.03314 | 0.002718 | 1 | 1 | 0.01508 | 0.1746 | 0.3904 | 0.06546 | 0.7577 | 1.694 | json |
| t17_x22_u2_b9 | 17 | 22 | 2 | 9 | ![]() |
add(R,dot(D,frc(D))) | 116382 | 138939450 | o2(x,o2(x,o1(x))) | true | 91063 | 91063 | -0.03845 | 0.4706 | 0.3988 | 0.2242 | 0.4735 | -1 | 1 | 2 | 1 | 4.87 | 0.003342 | 0.00365 | 0.07155 | -0.04408 | 1 | 0.000156 | 0.0006896 | 0.02067 | 0.001873 | 0.04328 | 0.6049 | 0.26 | 0.03118 | 0.003076 | 1 | 1 | 0.01375 | 0.163 | 0.3898 | 0.06133 | 0.7269 | 1.738 | json |
| t17_x22_u2_b10 | 17 | 22 | 2 | 10 | ![]() |
add(R,dst(D,frc(D))) | 116383 | 138939451 | o2(x,o2(x,o1(x))) | true | 91071 | 91071 | 0.6822 | 0.9201 | 0.7324 | 0.1671 | 0.4087 | -0.9983 | 1 | 1.998 | 1 | 3.427 | 0.02268 | 0.02266 | 0.1038 | 0.0004341 | 1 | -0.00009641 | 0.08212 | 0.1201 | 0.03457 | 0.1859 | 1.792 | 0.9998 | 0.2715 | 0.4916 | 1 | 1 | 0.05242 | 0.2203 | 0.1753 | 0.3138 | 1.319 | 1.049 | json |
| t17_x22_u2_b11 | 17 | 22 | 2 | 11 | ![]() |
sub(R,add(D,frc(D))) | 116384 | 138939452 | o2(x,o2(x,o1(x))) | true | 91079 | 91079 | -0.4465 | 0.1871 | 0.5385 | 0.2009 | 0.4482 | -1 | 0.9184 | 1.918 | 1 | 4.37 | 0.03796 | 0.002722 | 0.1157 | 0.8662 | 1 | 0.0002037 | 0.08287 | 0.111 | 0.02729 | 0.1652 | 1.427 | 0.9028 | 0.2025 | 0.4125 | 1 | 1 | 0.04046 | 0.1619 | 0.3115 | 0.2013 | 0.806 | 1.55 | json |
| t17_x22_u2_b12 | 17 | 22 | 2 | 12 | ![]() |
sub(R,sub(D,frc(D))) | 116385 | 138939453 | o2(x,o2(x,o1(x))) | true | 91087 | 91087 | 0.4375 | 0.7988 | 0.5744 | 0.2449 | 0.4949 | -0.9986 | 1 | 1.999 | 1 | 4.395 | 0.04755 | 0.0025 | 0.114 | 0.9001 | 1 | -0.000063 | 0.08465 | 0.1105 | 0.03705 | 0.1925 | 1.688 | 1.023 | 0.2044 | 0.3456 | 1 | 1 | 0.05856 | 0.2751 | 0.2764 | 0.2391 | 1.123 | 1.129 | json |
| t17_x22_u2_b13 | 17 | 22 | 2 | 13 | ![]() |
sub(R,mlt(D,frc(D))) | 116386 | 138939454 | o2(x,o2(x,o1(x))) | true | 91095 | 91095 | 0.03289 | 0.5114 | 0.3963 | 0.222 | 0.4712 | -1 | 1 | 2 | 1 | 4.878 | 0.003315 | 0.003169 | 0.06751 | 0.02258 | 1 | -0.00003928 | 0.0005141 | 0.01776 | 0.001927 | 0.04389 | 0.6502 | 0.2291 | 0.02921 | 0.002316 | 1 | 1 | 0.01273 | 0.1567 | 0.3912 | 0.05733 | 0.7059 | 1.762 | json |
| t17_x22_u2_b14 | 17 | 22 | 2 | 14 | ![]() |
sub(R,div(D,frc(D))) | 116387 | 138939455 | o2(x,o2(x,o1(x))) | true | 91103 | 91103 | -0.1688 | 0.381 | 0.4796 | 0.3046 | 0.5519 | -1 | 1 | 2 | 1 | 4.792 | 0.054 | 0.002797 | 0.1397 | 0.9015 | 1 | -0.0004911 | 0.08709 | 0.1192 | 0.03729 | 0.1931 | 1.382 | 1.046 | 0.1864 | 0.2859 | 1 | 1 | 0.07052 | 0.3528 | 0.3271 | 0.2315 | 1.158 | 1.074 | json |
| t17_x22_u2_b15 | 17 | 22 | 2 | 15 | ![]() |
sub(R,pow(D,frc(D))) | 116388 | 138939456 | o2(x,o2(x,o1(x))) | true | 91111 | 91111 | -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_x22_u2_b16 | 17 | 22 | 2 | 16 | ![]() |
sub(R,mod(D,frc(D))) | 116389 | 138939457 | o2(x,o2(x,o1(x))) | true | 91119 | 91119 | 0.06413 | 0.538 | 0.4165 | 0.244 | 0.494 | -1 | 1 | 2 | 1 | 4.915 | 0.03036 | 0.003154 | 0.1368 | 0.8118 | 1 | -0.0005757 | 0.06273 | 0.1782 | 0.01482 | 0.1217 | 0.8901 | 0.6976 | 0.1374 | 0.2571 | 1 | 1 | 0.03562 | 0.1904 | 0.3876 | 0.146 | 0.7802 | 1.589 | json |
| t17_x22_u2_b17 | 17 | 22 | 2 | 17 | ![]() |
sub(R,lrg(D,frc(D))) | 116390 | 138939458 | o2(x,o2(x,o1(x))) | true | 91127 | 91127 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x22_u2_b18 | 17 | 22 | 2 | 18 | ![]() |
sub(R,eql(D,frc(D))) | 116391 | 138939459 | o2(x,o2(x,o1(x))) | true | 91135 | 91135 | -0.4226 | 0.1991 | 0.5655 | 0.2483 | 0.4983 | -1 | 0.9802 | 1.98 | 1 | 4.396 | 0.04752 | 0.002554 | 0.1144 | 0.898 | 1 | 0.00008838 | 0.08409 | 0.1105 | 0.03699 | 0.1923 | 1.682 | 1.023 | 0.2016 | 0.3386 | 1 | 1 | 0.05828 | 0.2809 | 0.2873 | 0.2347 | 1.131 | 1.157 | json |
| t17_x22_u2_b19 | 17 | 22 | 2 | 19 | ![]() |
sub(R,min(D,frc(D))) | 116392 | 138939460 | o2(x,o2(x,o1(x))) | true | 91143 | 91143 | 0.009165 | 0.4978 | 0.4005 | 0.2287 | 0.4782 | -1 | 1 | 2 | 1 | 4.894 | 0.004393 | 0.003164 | 0.07461 | 0.1626 | 1 | 0.00003074 | 0.0006179 | 0.01902 | 0.001989 | 0.0446 | 0.5978 | 0.2561 | 0.03305 | 0.002702 | 1 | 1 | 0.01479 | 0.1717 | 0.3901 | 0.06468 | 0.751 | 1.706 | json |
| t17_x22_u2_b20 | 17 | 22 | 2 | 20 | ![]() |
sub(R,dot(D,frc(D))) | 116393 | 138939461 | o2(x,o2(x,o1(x))) | true | 91151 | 91151 | 0.05656 | 0.5266 | 0.3992 | 0.2249 | 0.4742 | -1 | 1 | 2 | 1 | 4.881 | 0.003307 | 0.00371 | 0.07143 | -0.05731 | 1 | -0.0001028 | 0.0006906 | 0.02062 | 0.001915 | 0.04376 | 0.6126 | 0.2558 | 0.03121 | 0.003071 | 1 | 1 | 0.01372 | 0.1623 | 0.3904 | 0.06103 | 0.7216 | 1.736 | json |
| t17_x22_u2_b21 | 17 | 22 | 2 | 21 | ![]() |
sub(R,dst(D,frc(D))) | 116394 | 138939462 | o2(x,o2(x,o1(x))) | true | 91159 | 91159 | -0.6708 | 0.08014 | 0.7234 | 0.1695 | 0.4117 | -1 | 0.9801 | 1.98 | 1 | 3.461 | 0.02264 | 0.02291 | 0.1055 | -0.005842 | 1 | 0.0001248 | 0.08197 | 0.1207 | 0.03443 | 0.1856 | 1.759 | 0.9999 | 0.2688 | 0.4836 | 1 | 1 | 0.05234 | 0.2284 | 0.189 | 0.3088 | 1.348 | 1.115 | json |
| t17_x22_u2_b22 | 17 | 22 | 2 | 22 | ![]() |
mlt(R,add(D,frc(D))) | 116395 | 138939463 | o2(x,o2(x,o1(x))) | true | 91167 | 91167 | 0.00487 | 0.4957 | 0.2147 | 0.07547 | 0.2747 | -0.9359 | 0.9191 | 1.855 | 1 | 4.17 | 0.01589 | 0.001083 | 0.07701 | 0.8724 | 1 | -0.0000703 | 0.03329 | 0.06558 | 0.01104 | 0.1051 | 1.365 | 0.8735 | 0.2249 | 0.4411 | 1 | 1 | 0.01755 | 0.06646 | 0.1356 | 0.2325 | 0.8807 | 1.797 | json |
| t17_x22_u2_b23 | 17 | 22 | 2 | 23 | ![]() |
mlt(R,sub(D,frc(D))) | 116396 | 138939464 | o2(x,o2(x,o1(x))) | true | 91175 | 91175 | -0.001852 | 0.4988 | 0.2242 | 0.1077 | 0.3281 | -0.9806 | 0.9987 | 1.979 | 1 | 4.189 | 0.01779 | 0.001554 | 0.06824 | 0.8393 | 1 | -0.000004494 | 0.03338 | 0.06297 | 0.01469 | 0.1212 | 1.776 | 0.9987 | 0.1797 | 0.31 | 1 | 1 | 0.02213 | 0.123 | 0.1936 | 0.2055 | 1.143 | 1.798 | json |
| t17_x22_u2_b24 | 17 | 22 | 2 | 24 | ![]() |
mlt(R,mlt(D,frc(D))) | 116397 | 138939465 | o2(x,o2(x,o1(x))) | true | 91183 | 91183 | 0.0005393 | 0.5053 | 0.04539 | 0.004257 | 0.06524 | -0.2445 | 0.274 | 0.5186 | 1 | 2.15 | 0.0002626 | 0.00006202 | 0.01488 | 0.6179 | 1 | -0.000003901 | 0.00006089 | 0.006039 | 0.0001032 | 0.01016 | 0.6828 | 0.05944 | 0.07627 | 0.0143 | 1 | 1 | 0.0006299 | 0.006122 | 0.00825 | 0.148 | 1.438 | 1.938 | json |
| t17_x22_u2_b25 | 17 | 22 | 2 | 25 | ![]() |
mlt(R,div(D,frc(D))) | 116398 | 138939466 | o2(x,o2(x,o1(x))) | true | 91191 | 91191 | 0.005874 | 0.5092 | 0.2636 | 0.1295 | 0.3598 | -1 | 1 | 2 | 1 | 4.462 | 0.02004 | 0.001866 | 0.08367 | 0.8296 | 1 | 0.00005771 | 0.03356 | 0.06665 | 0.01491 | 0.1221 | 1.459 | 1.032 | 0.1692 | 0.2592 | 1 | 1 | 0.02733 | 0.1876 | 0.2458 | 0.2111 | 1.449 | 1.898 | json |
| t17_x22_u2_b26 | 17 | 22 | 2 | 26 | ![]() |
mlt(R,pow(D,frc(D))) | 116399 | 138939467 | o2(x,o2(x,o1(x))) | true | 91199 | 91199 | -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 |



































































































