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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t16_x0_u1_b51 | 16 | 0 | 1 | 51 | ![]() |
pow(P,log(eql(P,P))) | 74800 | 129929868 | o2(x,o1(o2(x,x))) | true | 86407 | 86407 | 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 |
| t16_x0_u1_b52 | 16 | 0 | 1 | 52 | ![]() |
pow(P,log(min(P,P))) | 74801 | 129929869 | o2(x,o1(o2(x,x))) | true | 86415 | 86415 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t16_x0_u1_b53 | 16 | 0 | 1 | 53 | ![]() |
pow(P,log(dot(P,P))) | 74802 | 129929870 | o2(x,o1(o2(x,x))) | true | 86423 | 86423 | -0.04102 | 0.4922 | 0.9746 | 0.9664 | 0.9831 | -1 | 1 | 2 | 1 | 1.356 | 0.006464 | 0.002033 | 0.009089 | 0.5215 | 1 | -1.971e-11 | 0.01688 | 0.01221 | 0.008416 | 0.09174 | 10.09 | 2.828 | 0.008792 | 0.01747 | 1 | 1 | 0.01346 | 0.06438 | 0.3384 | 0.01393 | 0.06661 | 0.3501 | json |
| t16_x0_u1_b54 | 16 | 0 | 1 | 54 | ![]() |
pow(P,log(dst(P,P))) | 74803 | 129929871 | o2(x,o1(o2(x,x))) | true | 86431 | 86431 | -0.5313 | 0.0625 | 0.5938 | 0.3046 | 0.5519 | -1 | 0.9997 | 2 | 1 | 1.385 | 0.01622 | 0 | 0.0119 | 1 | 1 | -4.731e-10 | 0.03186 | 0.0168 | 0.01607 | 0.1268 | 10.65 | 2 | 0.05326 | 0.1046 | 1 | 1 | 0.0219 | 0.08325 | 0.1593 | 0.0719 | 0.2733 | 0.523 | json |
| t16_x0_u1_b55 | 16 | 0 | 1 | 55 | ![]() |
mod(P,log(add(P,P))) | 74804 | 129929872 | o2(x,o1(o2(x,x))) | true | 86439 | 86439 | -0.1981 | 0.4375 | 0.9269 | 0.8512 | 0.9226 | -1 | 1 | 2 | 1 | 1.931 | 0.007307 | 0 | 0.01274 | 1 | 1 | 3.311e-9 | 0.01363 | 0.01302 | 0.007142 | 0.08451 | 6.635 | 1.307 | 0.008585 | 0.01601 | 1 | 1 | 0.01034 | 0.05253 | 0.27 | 0.01215 | 0.06171 | 0.3172 | json |
| t16_x0_u1_b56 | 16 | 0 | 1 | 56 | ![]() |
mod(P,log(sub(P,P))) | 74805 | 129929873 | o2(x,o1(o2(x,x))) | true | 86447 | 86447 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u1_b57 | 16 | 0 | 1 | 57 | ![]() |
mod(P,log(mlt(P,P))) | 74806 | 129929874 | o2(x,o1(o2(x,x))) | true | 86455 | 86455 | -0.25 | 0.375 | 0.9553 | 0.8608 | 0.9278 | -1 | 1 | 2 | 1 | 2.012 | 0.01101 | 0 | 0.011 | 1 | 1 | -9.461e-10 | 0.02186 | 0.01697 | 0.01089 | 0.1043 | 9.483 | 1.614 | 0.01279 | 0.02539 | 1 | 1 | 0.0147 | 0.06165 | 0.2937 | 0.01708 | 0.07162 | 0.3411 | json |
| t16_x0_u1_b58 | 16 | 0 | 1 | 58 | ![]() |
mod(P,log(div(P,P))) | 74807 | 129929875 | o2(x,o1(o2(x,x))) | true | 86463 | 86463 | -0.875 | 0 | 0.875 | 0.1094 | 0.3307 | -1 | 2.384e-7 | 1 | 1 | 0.6686 | 0.01587 | 0 | 0.01587 | 1 | 1 | 0 | 0.03175 | 0.03175 | 0.01562 | 0.125 | 7.873 | 1 | 0.1451 | 0.2902 | 1 | 1 | 0.002632 | 0.01842 | 0.04211 | 0.02406 | 0.1684 | 0.385 | json |
| t16_x0_u1_b59 | 16 | 0 | 1 | 59 | ![]() |
mod(P,log(pow(P,P))) | 74808 | 129929876 | o2(x,o1(o2(x,x))) | true | 86471 | 86471 | -0.2552 | 0.375 | 0.9948 | 0.9259 | 0.9623 | -1 | 1 | 2 | 1 | 1.072 | 0.01051 | 0 | 0.007936 | 1 | 1 | 9.461e-10 | 0.02056 | 0.01393 | 0.01044 | 0.1022 | 12.88 | 1.614 | 0.01135 | 0.0222 | 1 | 1 | 0.01424 | 0.07243 | 0.3251 | 0.01538 | 0.07822 | 0.3511 | json |
| t16_x0_u1_b60 | 16 | 0 | 1 | 60 | ![]() |
mod(P,log(mod(P,P))) | 74809 | 129929877 | o2(x,o1(o2(x,x))) | true | 86479 | 86479 | -0.8845 | 0.0625 | 0.9905 | 0.2018 | 0.4492 | -1 | 1 | 2 | 1 | 0.4841 | 0.02642 | 0 | 0.01587 | 1 | 1 | -1.892e-9 | 0.05266 | 0.02924 | 0.02617 | 0.1618 | 10.19 | 2 | 0.131 | 0.261 | 1 | 1 | 0.006948 | 0.05246 | 0.1449 | 0.03444 | 0.26 | 0.718 | json |
| t16_x0_u1_b61 | 16 | 0 | 1 | 61 | ![]() |
mod(P,log(lrg(P,P))) | 74810 | 129929878 | o2(x,o1(o2(x,x))) | true | 86487 | 86487 | -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 |
| t16_x0_u1_b62 | 16 | 0 | 1 | 62 | ![]() |
mod(P,log(eql(P,P))) | 74811 | 129929879 | o2(x,o1(o2(x,x))) | true | 86495 | 86495 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u1_b63 | 16 | 0 | 1 | 63 | ![]() |
mod(P,log(min(P,P))) | 74812 | 129929880 | o2(x,o1(o2(x,x))) | true | 86503 | 86503 | -0.3416 | 0.375 | 0.9084 | 0.7488 | 0.8653 | -1 | 1 | 2 | 1 | 2.085 | 0.01085 | 0 | 0.01451 | 1 | 1 | 9.461e-10 | 0.02072 | 0.01525 | 0.01064 | 0.1031 | 7.108 | 1.614 | 0.01449 | 0.02768 | 1 | 1 | 0.01485 | 0.0702 | 0.3281 | 0.01984 | 0.09376 | 0.4382 | json |
| t16_x0_u1_b64 | 16 | 0 | 1 | 64 | ![]() |
mod(P,log(dot(P,P))) | 74813 | 129929881 | o2(x,o1(o2(x,x))) | true | 86511 | 86511 | -0.04688 | 0.4766 | 0.8931 | 0.8513 | 0.9227 | -1 | 1 | 2 | 1 | 2.65 | 0.004103 | 0.002938 | 0.02087 | 0.1654 | 1 | -9.011e-11 | 0.01163 | 0.01465 | 0.006604 | 0.08127 | 3.895 | 2.828 | 0.008271 | 0.01366 | 1 | 1 | 0.01348 | 0.08312 | 0.4023 | 0.01583 | 0.09764 | 0.4725 | json |
| t16_x0_u1_b65 | 16 | 0 | 1 | 65 | ![]() |
mod(P,log(dst(P,P))) | 74814 | 129929882 | o2(x,o1(o2(x,x))) | true | 86519 | 86519 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u1_b66 | 16 | 0 | 1 | 66 | ![]() |
lrg(P,log(add(P,P))) | 74815 | 129929883 | o2(x,o1(o2(x,x))) | true | 86527 | 86527 | 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 |
| t16_x0_u1_b67 | 16 | 0 | 1 | 67 | ![]() |
lrg(P,log(sub(P,P))) | 74816 | 129929884 | o2(x,o1(o2(x,x))) | true | 86535 | 86535 | 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 |
| t16_x0_u1_b68 | 16 | 0 | 1 | 68 | ![]() |
lrg(P,log(mlt(P,P))) | 74817 | 129929885 | o2(x,o1(o2(x,x))) | true | 86543 | 86543 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x0_u1_b69 | 16 | 0 | 1 | 69 | ![]() |
lrg(P,log(div(P,P))) | 74818 | 129929886 | o2(x,o1(o2(x,x))) | true | 86551 | 86551 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x0_u1_b70 | 16 | 0 | 1 | 70 | ![]() |
lrg(P,log(pow(P,P))) | 74819 | 129929887 | o2(x,o1(o2(x,x))) | true | 86559 | 86559 | 0.6563 | 0.6875 | 0.6563 | 0.2188 | 0.4678 | 0 | 1 | 1 | 1 | 1.254 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001613 | 0.00007399 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.004229 | 0.05549 | 0.3432 | json |
| t16_x0_u1_b71 | 16 | 0 | 1 | 71 | ![]() |
lrg(P,log(mod(P,P))) | 74820 | 129929888 | o2(x,o1(o2(x,x))) | true | 86567 | 86567 | 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 |
| t16_x0_u1_b72 | 16 | 0 | 1 | 72 | ![]() |
lrg(P,log(lrg(P,P))) | 74821 | 129929889 | o2(x,o1(o2(x,x))) | true | 86575 | 86575 | 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 |
| t16_x0_u1_b73 | 16 | 0 | 1 | 73 | ![]() |
lrg(P,log(eql(P,P))) | 74822 | 129929890 | o2(x,o1(o2(x,x))) | true | 86583 | 86583 | 0.4688 | 0.5 | 0.4688 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x0_u1_b74 | 16 | 0 | 1 | 74 | ![]() |
lrg(P,log(min(P,P))) | 74823 | 129929891 | o2(x,o1(o2(x,x))) | true | 86591 | 86591 | 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 |
| t16_x0_u1_b75 | 16 | 0 | 1 | 75 | ![]() |
lrg(P,log(dot(P,P))) | 74824 | 129929892 | o2(x,o1(o2(x,x))) | true | 86599 | 86599 | 0.3242 | 0.3733 | 0.3242 | 0.209 | 0.4571 | 0 | 1 | 1 | 1 | 1.377 | 0.0003141 | 0.0001853 | 0.005824 | 0.258 | 1 | -5.539e-10 | 0.0000269 | 0.001398 | 0.0004657 | 0.02158 | 3.705 | 0.1169 | 0.00239 | 0.0001287 | 1 | 1 | 0.001347 | 0.0177 | 0.1122 | 0.006444 | 0.08469 | 0.5368 | json |
| t16_x0_u1_b76 | 16 | 0 | 1 | 76 | ![]() |
lrg(P,log(dst(P,P))) | 74825 | 129929893 | o2(x,o1(o2(x,x))) | true | 86607 | 86607 | 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 |
| t16_x0_u1_b77 | 16 | 0 | 1 | 77 | ![]() |
eql(P,log(add(P,P))) | 74826 | 129929894 | o2(x,o1(o2(x,x))) | true | 86615 | 86615 | 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 |
| t16_x0_u1_b78 | 16 | 0 | 1 | 78 | ![]() |
eql(P,log(sub(P,P))) | 74827 | 129929895 | o2(x,o1(o2(x,x))) | true | 86623 | 86623 | 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 |
| t16_x0_u1_b79 | 16 | 0 | 1 | 79 | ![]() |
eql(P,log(mlt(P,P))) | 74828 | 129929896 | o2(x,o1(o2(x,x))) | true | 86631 | 86631 | 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 |
| t16_x0_u1_b80 | 16 | 0 | 1 | 80 | ![]() |
eql(P,log(div(P,P))) | 74829 | 129929897 | o2(x,o1(o2(x,x))) | true | 86639 | 86639 | 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 |
| t16_x0_u1_b81 | 16 | 0 | 1 | 81 | ![]() |
eql(P,log(pow(P,P))) | 74830 | 129929898 | o2(x,o1(o2(x,x))) | true | 86647 | 86647 | 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 |
| t16_x0_u1_b82 | 16 | 0 | 1 | 82 | ![]() |
eql(P,log(mod(P,P))) | 74831 | 129929899 | o2(x,o1(o2(x,x))) | true | 86655 | 86655 | 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 |
| t16_x0_u1_b83 | 16 | 0 | 1 | 83 | ![]() |
eql(P,log(lrg(P,P))) | 74832 | 129929900 | o2(x,o1(o2(x,x))) | true | 86663 | 86663 | 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 |
| t16_x0_u1_b84 | 16 | 0 | 1 | 84 | ![]() |
eql(P,log(eql(P,P))) | 74833 | 129929901 | o2(x,o1(o2(x,x))) | true | 86671 | 86671 | 0.0625 | 0.125 | 0.0625 | 0.04507 | 0.2123 | 0 | 0.9997 | 0.9997 | 1 | 0.8126 | 0.0007059 | 0 | 0.007934 | 1 | 1 | -9.461e-10 | 0.00003241 | 0.001855 | 0.0006433 | 0.02536 | 3.197 | 0.1169 | 0.01566 | 0.0007193 | 1 | 1 | 0.001851 | 0.02408 | 0.06598 | 0.04107 | 0.5344 | 1.464 | json |
| t16_x0_u1_b85 | 16 | 0 | 1 | 85 | ![]() |
eql(P,log(min(P,P))) | 74834 | 129929902 | o2(x,o1(o2(x,x))) | true | 86679 | 86679 | 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 |
| t16_x0_u1_b86 | 16 | 0 | 1 | 86 | ![]() |
eql(P,log(dot(P,P))) | 74835 | 129929903 | o2(x,o1(o2(x,x))) | true | 86687 | 86687 | 0.007812 | 0.02954 | 0.007812 | 0.004736 | 0.06882 | 0 | 0.9994 | 0.9994 | 1 | 0.1956 | 0.00007023 | 0.00007023 | 0.001684 | 7.77e-7 | 1 | -5.638e-14 | 0.000008445 | 0.0004121 | 0.0001376 | 0.01173 | 6.968 | 0.1169 | 0.02966 | 0.001783 | 1 | 1 | 0.0004885 | 0.006343 | 0.01306 | 0.1032 | 1.339 | 2.758 | json |
| t16_x0_u1_b87 | 16 | 0 | 1 | 87 | ![]() |
eql(P,log(dst(P,P))) | 74836 | 129929904 | o2(x,o1(o2(x,x))) | true | 86695 | 86695 | 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 |
| t16_x0_u1_b88 | 16 | 0 | 1 | 88 | ![]() |
min(P,log(add(P,P))) | 74837 | 129929905 | o2(x,o1(o2(x,x))) | true | 86703 | 86703 | -0.1312 | 0.4375 | 0.9938 | 0.9718 | 0.9858 | -1 | 1 | 2 | 1 | 1.182 | 0.01145 | 0 | 0.007937 | 1 | 1 | 0 | 0.02272 | 0.01402 | 0.01139 | 0.1067 | 13.44 | 1.693 | 0.01178 | 0.02338 | 1 | 1 | 0.01531 | 0.06959 | 0.3222 | 0.01575 | 0.07161 | 0.3316 | json |
| t16_x0_u1_b89 | 16 | 0 | 1 | 89 | ![]() |
min(P,log(sub(P,P))) | 74838 | 129929906 | o2(x,o1(o2(x,x))) | true | 86711 | 86711 | -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 |
| t16_x0_u1_b90 | 16 | 0 | 1 | 90 | ![]() |
min(P,log(mlt(P,P))) | 74839 | 129929907 | o2(x,o1(o2(x,x))) | true | 86719 | 86719 | -0.1507 | 0.4375 | 0.9743 | 0.9471 | 0.9732 | -1 | 1 | 2 | 1 | 1.29 | 0.004479 | 0 | 0.007936 | 1 | 1 | -9.461e-10 | 0.007933 | 0.00915 | 0.004415 | 0.06645 | 8.372 | 1 | 0.004729 | 0.008376 | 1 | 1 | 0.006621 | 0.04469 | 0.2958 | 0.006991 | 0.04718 | 0.3123 | json |
| t16_x0_u1_b91 | 16 | 0 | 1 | 91 | ![]() |
min(P,log(div(P,P))) | 74840 | 129929908 | o2(x,o1(o2(x,x))) | true | 86727 | 86727 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.819 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x0_u1_b92 | 16 | 0 | 1 | 92 | ![]() |
min(P,log(pow(P,P))) | 74841 | 129929909 | o2(x,o1(o2(x,x))) | true | 86735 | 86735 | -0.05691 | 0.4375 | 0.8806 | 0.866 | 0.9306 | -1 | 1 | 2 | 1 | 1.932 | 0.0008608 | 0 | 0.007937 | 1 | 1 | 0 | 0.00008151 | 0.002214 | 0.0007984 | 0.02826 | 3.56 | 0.162 | 0.000994 | 0.00009413 | 1 | 1 | 0.002229 | 0.02669 | 0.165 | 0.002574 | 0.03083 | 0.1906 | json |
| t16_x0_u1_b93 | 16 | 0 | 1 | 93 | ![]() |
min(P,log(mod(P,P))) | 74842 | 129929910 | o2(x,o1(o2(x,x))) | true | 86743 | 86743 | -0.875 | 0.0625 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.1354 | 0.2709 | 1 | 1 | 0.01053 | 0.07368 | 0.1684 | 0.04491 | 0.3144 | 0.7186 | json |
| t16_x0_u1_b94 | 16 | 0 | 1 | 94 | ![]() |
min(P,log(lrg(P,P))) | 74843 | 129929911 | o2(x,o1(o2(x,x))) | true | 86751 | 86751 | -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 |
| t16_x0_u1_b95 | 16 | 0 | 1 | 95 | ![]() |
min(P,log(eql(P,P))) | 74844 | 129929912 | o2(x,o1(o2(x,x))) | true | 86759 | 86759 | -0.4688 | 0 | 0.4688 | 0.2423 | 0.4922 | -1 | 0 | 1 | 1 | 1.406 | 0.0003529 | 0 | 0.003968 | 1 | 1 | 4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t16_x0_u1_b96 | 16 | 0 | 1 | 96 | ![]() |
min(P,log(min(P,P))) | 74845 | 129929913 | o2(x,o1(o2(x,x))) | true | 86767 | 86767 | -0.1739 | 0.4375 | 0.9511 | 0.9053 | 0.9515 | -1 | 1 | 2 | 1 | 1.654 | 0.004186 | 0 | 0.007937 | 1 | 1 | -1.419e-9 | 0.007916 | 0.008917 | 0.004122 | 0.0642 | 8.089 | 1 | 0.004624 | 0.008745 | 1 | 1 | 0.005854 | 0.03284 | 0.2495 | 0.006466 | 0.03627 | 0.2755 | json |
| t16_x0_u1_b97 | 16 | 0 | 1 | 97 | ![]() |
min(P,log(dot(P,P))) | 74846 | 129929914 | o2(x,o1(o2(x,x))) | true | 86775 | 86775 | -0.01844 | 0.4922 | 0.9425 | 0.9297 | 0.9642 | -1 | 1 | 2 | 1 | 1.783 | 0.001593 | 0.001157 | 0.008945 | 0.1583 | 1 | 5.151e-11 | 0.004406 | 0.004997 | 0.002668 | 0.05166 | 5.775 | 2.394 | 0.002958 | 0.004739 | 1 | 1 | 0.005366 | 0.03833 | 0.2843 | 0.005771 | 0.04123 | 0.3058 | json |
| t16_x0_u1_b98 | 16 | 0 | 1 | 98 | ![]() |
min(P,log(dst(P,P))) | 74847 | 129929915 | o2(x,o1(o2(x,x))) | true | 86783 | 86783 | -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 |
| t16_x0_u1_b99 | 16 | 0 | 1 | 99 | ![]() |
dot(P,log(add(P,P))) | 74848 | 129929916 | o2(x,o1(o2(x,x))) | true | 86791 | 86791 | -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 |
| t16_x0_u1_b100 | 16 | 0 | 1 | 100 | ![]() |
dot(P,log(sub(P,P))) | 74849 | 129929917 | o2(x,o1(o2(x,x))) | true | 86799 | 86799 | -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 |
| t16_x0_u1_b101 | 16 | 0 | 1 | 101 | ![]() |
dot(P,log(mlt(P,P))) | 74850 | 129929918 | o2(x,o1(o2(x,x))) | true | 86807 | 86807 | -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 |
| t16_x0_u1_b102 | 16 | 0 | 1 | 102 | ![]() |
dot(P,log(div(P,P))) | 74851 | 129929919 | o2(x,o1(o2(x,x))) | true | 86815 | 86815 | -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 |
| t16_x0_u1_b103 | 16 | 0 | 1 | 103 | ![]() |
dot(P,log(pow(P,P))) | 74852 | 129929920 | o2(x,o1(o2(x,x))) | true | 86823 | 86823 | -0.6175 | 0.1914 | 0.9997 | 0.6183 | 0.7864 | -1 | 1 | 2 | 1 | 0.712 | 0.006705 | 0.006705 | 0.006896 | 3.473e-8 | 1 | 3.191e-10 | 0.02681 | 0.01362 | 0.01337 | 0.1156 | 16.77 | 2 | 0.02169 | 0.04336 | 1 | 1 | 0.01677 | 0.06855 | 0.2786 | 0.02712 | 0.1109 | 0.4506 | json |
| t16_x0_u1_b104 | 16 | 0 | 1 | 104 | ![]() |
dot(P,log(mod(P,P))) | 74853 | 129929921 | o2(x,o1(o2(x,x))) | true | 86831 | 86831 | -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 |
| t16_x0_u1_b105 | 16 | 0 | 1 | 105 | ![]() |
dot(P,log(lrg(P,P))) | 74854 | 129929922 | o2(x,o1(o2(x,x))) | true | 86839 | 86839 | -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 |
| t16_x0_u1_b106 | 16 | 0 | 1 | 106 | ![]() |
dot(P,log(eql(P,P))) | 74855 | 129929923 | o2(x,o1(o2(x,x))) | true | 86847 | 86847 | 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 |
| t16_x0_u1_b107 | 16 | 0 | 1 | 107 | ![]() |
dot(P,log(min(P,P))) | 74856 | 129929924 | o2(x,o1(o2(x,x))) | true | 86855 | 86855 | -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 |
| t16_x0_u1_b108 | 16 | 0 | 1 | 108 | ![]() |
dot(P,log(dot(P,P))) | 74857 | 129929925 | o2(x,o1(o2(x,x))) | true | 86863 | 86863 | -0.01563 | 0.4905 | 0.9719 | 0.9646 | 0.9821 | -1 | 1 | 2 | 1 | 1.433 | 0.003201 | 0.003201 | 0.01387 | 7.274e-8 | 1 | 1.38e-10 | 0.007211 | 0.01042 | 0.006206 | 0.07878 | 5.681 | 2.828 | 0.006637 | 0.007476 | 1 | 1 | 0.01274 | 0.09567 | 0.5298 | 0.01321 | 0.09918 | 0.5493 | json |
| t16_x0_u1_b109 | 16 | 0 | 1 | 109 | ![]() |
dot(P,log(dst(P,P))) | 74858 | 129929926 | o2(x,o1(o2(x,x))) | true | 86871 | 86871 | -0.003906 | 0.498 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01581 | 0.01581 | 0.01118 | 0 | 1 | 0.00006299 | 0.1267 | 0.03168 | 0.03149 | 0.1775 | 15.87 | 2.828 | 0.03162 | 0.1267 | 1 | 1 | 0.04177 | 0.1644 | 0.6152 | 0.04177 | 0.1644 | 0.6152 | json |
| t16_x0_u1_b110 | 16 | 0 | 1 | 110 | ![]() |
dst(P,log(add(P,P))) | 74859 | 129929927 | o2(x,o1(o2(x,x))) | true | 86879 | 86879 | -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 |
| t16_x0_u1_b111 | 16 | 0 | 1 | 111 | ![]() |
dst(P,log(sub(P,P))) | 74860 | 129929928 | o2(x,o1(o2(x,x))) | true | 86887 | 86887 | 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 |
| t16_x0_u1_b112 | 16 | 0 | 1 | 112 | ![]() |
dst(P,log(mlt(P,P))) | 74861 | 129929929 | o2(x,o1(o2(x,x))) | true | 86895 | 86895 | -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 |
| t16_x0_u1_b113 | 16 | 0 | 1 | 113 | ![]() |
dst(P,log(div(P,P))) | 74862 | 129929930 | o2(x,o1(o2(x,x))) | true | 86903 | 86903 | -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 |
| t16_x0_u1_b114 | 16 | 0 | 1 | 114 | ![]() |
dst(P,log(pow(P,P))) | 74863 | 129929931 | o2(x,o1(o2(x,x))) | true | 86911 | 86911 | -0.621 | 0.1914 | 0.9962 | 0.6083 | 0.7799 | -1 | 1 | 2 | 1 | 0.8167 | 0.00695 | 0.00695 | 0.007593 | -3.015e-7 | 1 | 4.881e-11 | 0.02785 | 0.01415 | 0.01384 | 0.1177 | 15.5 | 2 | 0.02285 | 0.04579 | 1 | 1 | 0.01765 | 0.07114 | 0.2644 | 0.02901 | 0.1169 | 0.4346 | json |
| t16_x0_u1_b115 | 16 | 0 | 1 | 115 | ![]() |
dst(P,log(mod(P,P))) | 74864 | 129929932 | o2(x,o1(o2(x,x))) | true | 86919 | 86919 | -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 |
| t16_x0_u1_b116 | 16 | 0 | 1 | 116 | ![]() |
dst(P,log(lrg(P,P))) | 74865 | 129929933 | o2(x,o1(o2(x,x))) | true | 86927 | 86927 | -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 |
| t16_x0_u1_b117 | 16 | 0 | 1 | 117 | ![]() |
dst(P,log(eql(P,P))) | 74866 | 129929934 | o2(x,o1(o2(x,x))) | true | 86935 | 86935 | 0.9964 | 1 | 0.9964 | 0.002289 | 0.04784 | 0.000582 | 1 | 0.9994 | 1 | 0.09109 | 0.00003966 | 0.00003966 | 0.0008105 | 5.503e-7 | 0 | -4.881e-11 | 0.00001004 | 0.0002297 | 0.00007859 | 0.008865 | 10.94 | 0.1294 | 0.03466 | 0.004388 | 1 | 1 | 0.0002733 | 0.00336 | 0.008351 | 0.1194 | 1.468 | 3.649 | json |
| t16_x0_u1_b118 | 16 | 0 | 1 | 118 | ![]() |
dst(P,log(min(P,P))) | 74867 | 129929935 | o2(x,o1(o2(x,x))) | true | 86943 | 86943 | -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 |
| t16_x0_u1_b119 | 16 | 0 | 1 | 119 | ![]() |
dst(P,log(dot(P,P))) | 74868 | 129929936 | o2(x,o1(o2(x,x))) | true | 86951 | 86951 | 0.9764 | 0.9883 | 0.9998 | 0.04631 | 0.2152 | -1 | 1 | 2 | 1 | 0.1066 | 0.003945 | 0.003945 | 0.004022 | 0 | 1 | -7.884e-11 | 0.0165 | 0.008021 | 0.00788 | 0.08877 | 22.07 | 2.828 | 0.1704 | 0.3562 | 1 | 1 | 0.01389 | 0.05627 | 0.1697 | 0.3 | 1.215 | 3.666 | json |
| t16_x0_u1_b120 | 16 | 0 | 1 | 120 | ![]() |
dst(P,log(dst(P,P))) | 74869 | 129929937 | o2(x,o1(o2(x,x))) | true | 86959 | 86959 | 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 |
| t16_x0_u2_b0 | 16 | 0 | 2 | 0 | ![]() |
add(P,frc(add(P,P))) | 74870 | 129930018 | o2(x,o1(o2(x,x))) | true | 86967 | 86967 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b1 | 16 | 0 | 2 | 1 | ![]() |
add(P,frc(sub(P,P))) | 74871 | 129930019 | o2(x,o1(o2(x,x))) | true | 86975 | 86975 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b2 | 16 | 0 | 2 | 2 | ![]() |
add(P,frc(mlt(P,P))) | 74872 | 129930020 | o2(x,o1(o2(x,x))) | true | 86983 | 86983 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b3 | 16 | 0 | 2 | 3 | ![]() |
add(P,frc(div(P,P))) | 74873 | 129930021 | o2(x,o1(o2(x,x))) | true | 86991 | 86991 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t16_x0_u2_b4 | 16 | 0 | 2 | 4 | ![]() |
add(P,frc(pow(P,P))) | 74874 | 129930022 | o2(x,o1(o2(x,x))) | true | 86999 | 86999 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t16_x0_u2_b5 | 16 | 0 | 2 | 5 | ![]() |
add(P,frc(mod(P,P))) | 74875 | 129930023 | o2(x,o1(o2(x,x))) | true | 87007 | 87007 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b6 | 16 | 0 | 2 | 6 | ![]() |
add(P,frc(lrg(P,P))) | 74876 | 129930024 | o2(x,o1(o2(x,x))) | true | 87015 | 87015 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b7 | 16 | 0 | 2 | 7 | ![]() |
add(P,frc(eql(P,P))) | 74877 | 129930025 | o2(x,o1(o2(x,x))) | true | 87023 | 87023 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b8 | 16 | 0 | 2 | 8 | ![]() |
add(P,frc(min(P,P))) | 74878 | 129930026 | o2(x,o1(o2(x,x))) | true | 87031 | 87031 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b9 | 16 | 0 | 2 | 9 | ![]() |
add(P,frc(dot(P,P))) | 74879 | 129930027 | o2(x,o1(o2(x,x))) | true | 87039 | 87039 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b10 | 16 | 0 | 2 | 10 | ![]() |
add(P,frc(dst(P,P))) | 74880 | 129930028 | o2(x,o1(o2(x,x))) | true | 87047 | 87047 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b11 | 16 | 0 | 2 | 11 | ![]() |
sub(P,frc(add(P,P))) | 74881 | 129930029 | o2(x,o1(o2(x,x))) | true | 87055 | 87055 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b12 | 16 | 0 | 2 | 12 | ![]() |
sub(P,frc(sub(P,P))) | 74882 | 129930030 | o2(x,o1(o2(x,x))) | true | 87063 | 87063 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b13 | 16 | 0 | 2 | 13 | ![]() |
sub(P,frc(mlt(P,P))) | 74883 | 129930031 | o2(x,o1(o2(x,x))) | true | 87071 | 87071 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b14 | 16 | 0 | 2 | 14 | ![]() |
sub(P,frc(div(P,P))) | 74884 | 129930032 | o2(x,o1(o2(x,x))) | true | 87079 | 87079 | -0.125 | 0.4375 | 1 | 0.9844 | 0.9922 | -1 | 1 | 2 | 1 | 0.9887 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01612 | 0.03225 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02139 | 0.08555 | 0.3422 | json |
| t16_x0_u2_b15 | 16 | 0 | 2 | 15 | ![]() |
sub(P,frc(pow(P,P))) | 74885 | 129930033 | o2(x,o1(o2(x,x))) | true | 87087 | 87087 | -0.03125 | 0.5 | 0.9688 | 0.9603 | 0.98 | -1 | 1 | 2 | 1 | 1.406 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004502 | 0.008229 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006485 | 0.04139 | 0.2974 | json |
| t16_x0_u2_b16 | 16 | 0 | 2 | 16 | ![]() |
sub(P,frc(mod(P,P))) | 74886 | 129930034 | o2(x,o1(o2(x,x))) | true | 87095 | 87095 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b17 | 16 | 0 | 2 | 17 | ![]() |
sub(P,frc(lrg(P,P))) | 74887 | 129930035 | o2(x,o1(o2(x,x))) | true | 87103 | 87103 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b18 | 16 | 0 | 2 | 18 | ![]() |
sub(P,frc(eql(P,P))) | 74888 | 129930036 | o2(x,o1(o2(x,x))) | true | 87111 | 87111 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b19 | 16 | 0 | 2 | 19 | ![]() |
sub(P,frc(min(P,P))) | 74889 | 129930037 | o2(x,o1(o2(x,x))) | true | 87119 | 87119 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b20 | 16 | 0 | 2 | 20 | ![]() |
sub(P,frc(dot(P,P))) | 74890 | 129930038 | o2(x,o1(o2(x,x))) | true | 87127 | 87127 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b21 | 16 | 0 | 2 | 21 | ![]() |
sub(P,frc(dst(P,P))) | 74891 | 129930039 | o2(x,o1(o2(x,x))) | true | 87135 | 87135 | 0 | 0.5 | 0.9375 | 0.924 | 0.9612 | -1 | 1 | 2 | 1 | 1.813 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007639 | 0.00003501 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002003 | 0.0265 | 0.2537 | json |
| t16_x0_u2_b22 | 16 | 0 | 2 | 22 | ![]() |
mlt(P,frc(add(P,P))) | 74892 | 129930040 | o2(x,o1(o2(x,x))) | true | 87143 | 87143 | 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 |
| t16_x0_u2_b23 | 16 | 0 | 2 | 23 | ![]() |
mlt(P,frc(sub(P,P))) | 74893 | 129930041 | o2(x,o1(o2(x,x))) | true | 87151 | 87151 | 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 |
| t16_x0_u2_b24 | 16 | 0 | 2 | 24 | ![]() |
mlt(P,frc(mlt(P,P))) | 74894 | 129930042 | o2(x,o1(o2(x,x))) | true | 87159 | 87159 | 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 |
| t16_x0_u2_b25 | 16 | 0 | 2 | 25 | ![]() |
mlt(P,frc(div(P,P))) | 74895 | 129930043 | o2(x,o1(o2(x,x))) | true | 87167 | 87167 | -0.125 | 0.3125 | 0.6255 | 0.5899 | 0.768 | -1 | 1 | 2 | 1 | 2.418 | 0.01617 | 0 | 0.03866 | 1 | 1 | 0 | 0.02037 | 0.03799 | 0.01467 | 0.1211 | 3.133 | 1 | 0.02741 | 0.03454 | 1 | 1 | 0.02392 | 0.1466 | 0.4242 | 0.04055 | 0.2485 | 0.7191 | json |
| t16_x0_u2_b26 | 16 | 0 | 2 | 26 | ![]() |
mlt(P,frc(pow(P,P))) | 74896 | 129930044 | o2(x,o1(o2(x,x))) | true | 87175 | 87175 | -0.2808 | 0.25 | 0.7192 | 0.6352 | 0.797 | -1 | 1 | 2 | 1 | 1.697 | 0.005933 | 0 | 0.01179 | 1 | 1 | -0.0003538 | 0.008768 | 0.01289 | 0.005797 | 0.07614 | 6.456 | 1 | 0.009341 | 0.0138 | 1 | 1 | 0.007699 | 0.03891 | 0.1717 | 0.01212 | 0.06126 | 0.2703 | json |
| t16_x0_u2_b27 | 16 | 0 | 2 | 27 | ![]() |
mlt(P,frc(mod(P,P))) | 74897 | 129930045 | o2(x,o1(o2(x,x))) | true | 87183 | 87183 | 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 |
| t16_x0_u2_b28 | 16 | 0 | 2 | 28 | ![]() |
mlt(P,frc(lrg(P,P))) | 74898 | 129930046 | o2(x,o1(o2(x,x))) | true | 87191 | 87191 | 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 |
| t16_x0_u2_b29 | 16 | 0 | 2 | 29 | ![]() |
mlt(P,frc(eql(P,P))) | 74899 | 129930047 | o2(x,o1(o2(x,x))) | true | 87199 | 87199 | 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 |



































































































