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_x0_u29_b4 | 15 | 0 | 29 | 4 | ![]() |
pow(P,cil(log(P))) | 70100 | 121814848 | o2(x,o1(o1(x))) | true | 48807 | 48807 | -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 |
| t15_x0_u29_b5 | 15 | 0 | 29 | 5 | ![]() |
mod(P,cil(log(P))) | 70101 | 121814849 | o2(x,o1(o1(x))) | true | 48815 | 48815 | -0.4063 | 0.375 | 0.8438 | 0.6445 | 0.8028 | -1 | 1 | 2 | 1 | 2.141 | 0.005735 | 0 | 0.0238 | 1 | 1 | -1.893e-9 | 0.007968 | 0.01252 | 0.00517 | 0.0719 | 3.021 | 1 | 0.008899 | 0.01236 | 1 | 1 | 0.009004 | 0.07585 | 0.2153 | 0.01397 | 0.1177 | 0.3341 | json |
| t15_x0_u29_b6 | 15 | 0 | 29 | 6 | ![]() |
lrg(P,cil(log(P))) | 70102 | 121814850 | o2(x,o1(o1(x))) | true | 48823 | 48823 | 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_x0_u29_b7 | 15 | 0 | 29 | 7 | ![]() |
eql(P,cil(log(P))) | 70103 | 121814851 | o2(x,o1(o1(x))) | true | 48831 | 48831 | 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_x0_u29_b8 | 15 | 0 | 29 | 8 | ![]() |
min(P,cil(log(P))) | 70104 | 121814852 | o2(x,o1(o1(x))) | true | 48839 | 48839 | -0.1563 | 0.4375 | 0.9688 | 0.9369 | 0.9679 | -1 | 1 | 2 | 1 | 1.385 | 0.004323 | 0 | 0.007937 | 1 | 1 | -9.386e-13 | 0.007903 | 0.008812 | 0.004259 | 0.06526 | 8.223 | 1 | 0.004615 | 0.008435 | 1 | 1 | 0.006228 | 0.03975 | 0.2856 | 0.006647 | 0.04243 | 0.3049 | json |
| t15_x0_u29_b9 | 15 | 0 | 29 | 9 | ![]() |
dot(P,cil(log(P))) | 70105 | 121814853 | o2(x,o1(o1(x))) | true | 48847 | 48847 | -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_x0_u29_b10 | 15 | 0 | 29 | 10 | ![]() |
dst(P,cil(log(P))) | 70106 | 121814854 | o2(x,o1(o1(x))) | true | 48855 | 48855 | -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_x0_u30_b0 | 15 | 0 | 30 | 0 | ![]() |
add(P,cil(frc(P))) | 70107 | 121815045 | o2(x,o1(o1(x))) | true | 48863 | 48863 | 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 |
| t15_x0_u30_b1 | 15 | 0 | 30 | 1 | ![]() |
sub(P,cil(frc(P))) | 70108 | 121815046 | o2(x,o1(o1(x))) | true | 48871 | 48871 | 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 |
| t15_x0_u30_b2 | 15 | 0 | 30 | 2 | ![]() |
mlt(P,cil(frc(P))) | 70109 | 121815047 | o2(x,o1(o1(x))) | true | 48879 | 48879 | 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_x0_u30_b3 | 15 | 0 | 30 | 3 | ![]() |
div(P,cil(frc(P))) | 70110 | 121815048 | o2(x,o1(o1(x))) | true | 48887 | 48887 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t15_x0_u30_b4 | 15 | 0 | 30 | 4 | ![]() |
pow(P,cil(frc(P))) | 70111 | 121815049 | o2(x,o1(o1(x))) | true | 48895 | 48895 | 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_x0_u30_b5 | 15 | 0 | 30 | 5 | ![]() |
mod(P,cil(frc(P))) | 70112 | 121815050 | o2(x,o1(o1(x))) | true | 48903 | 48903 | 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 |
| t15_x0_u30_b6 | 15 | 0 | 30 | 6 | ![]() |
lrg(P,cil(frc(P))) | 70113 | 121815051 | o2(x,o1(o1(x))) | true | 48911 | 48911 | 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 |
| t15_x0_u30_b7 | 15 | 0 | 30 | 7 | ![]() |
eql(P,cil(frc(P))) | 70114 | 121815052 | o2(x,o1(o1(x))) | true | 48919 | 48919 | 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 |
| t15_x0_u30_b8 | 15 | 0 | 30 | 8 | ![]() |
min(P,cil(frc(P))) | 70115 | 121815053 | o2(x,o1(o1(x))) | true | 48927 | 48927 | -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 |
| t15_x0_u30_b9 | 15 | 0 | 30 | 9 | ![]() |
dot(P,cil(frc(P))) | 70116 | 121815054 | o2(x,o1(o1(x))) | true | 48935 | 48935 | 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_x0_u30_b10 | 15 | 0 | 30 | 10 | ![]() |
dst(P,cil(frc(P))) | 70117 | 121815055 | o2(x,o1(o1(x))) | true | 48943 | 48943 | 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 |
| t15_x0_u31_b0 | 15 | 0 | 31 | 0 | ![]() |
add(P,cil(flr(P))) | 70118 | 121815246 | o2(x,o1(o1(x))) | true | 48951 | 48951 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t15_x0_u31_b1 | 15 | 0 | 31 | 1 | ![]() |
sub(P,cil(flr(P))) | 70119 | 121815247 | o2(x,o1(o1(x))) | true | 48959 | 48959 | 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_x0_u31_b2 | 15 | 0 | 31 | 2 | ![]() |
mlt(P,cil(flr(P))) | 70120 | 121815248 | o2(x,o1(o1(x))) | true | 48967 | 48967 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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 |
| t15_x0_u31_b3 | 15 | 0 | 31 | 3 | ![]() |
div(P,cil(flr(P))) | 70121 | 121815249 | o2(x,o1(o1(x))) | true | 48975 | 48975 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 7.569e-9 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t15_x0_u31_b4 | 15 | 0 | 31 | 4 | ![]() |
pow(P,cil(flr(P))) | 70122 | 121815250 | o2(x,o1(o1(x))) | true | 48983 | 48983 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t15_x0_u31_b5 | 15 | 0 | 31 | 5 | ![]() |
mod(P,cil(flr(P))) | 70123 | 121815251 | o2(x,o1(o1(x))) | true | 48991 | 48991 | -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 |
| t15_x0_u31_b6 | 15 | 0 | 31 | 6 | ![]() |
lrg(P,cil(flr(P))) | 70124 | 121815252 | o2(x,o1(o1(x))) | true | 48999 | 48999 | 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_x0_u31_b7 | 15 | 0 | 31 | 7 | ![]() |
eql(P,cil(flr(P))) | 70125 | 121815253 | o2(x,o1(o1(x))) | true | 49007 | 49007 | 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_x0_u31_b8 | 15 | 0 | 31 | 8 | ![]() |
min(P,cil(flr(P))) | 70126 | 121815254 | o2(x,o1(o1(x))) | true | 49015 | 49015 | 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 |
| t15_x0_u31_b9 | 15 | 0 | 31 | 9 | ![]() |
dot(P,cil(flr(P))) | 70127 | 121815255 | o2(x,o1(o1(x))) | true | 49023 | 49023 | 0.9967 | 1 | 0.9967 | 0.002206 | 0.04697 | 0.0005821 | 1 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | -1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t15_x0_u31_b10 | 15 | 0 | 31 | 10 | ![]() |
dst(P,cil(flr(P))) | 70128 | 121815256 | o2(x,o1(o1(x))) | true | 49031 | 49031 | 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_x0_u32_b0 | 15 | 0 | 32 | 0 | ![]() |
add(P,cil(cil(P))) | 70129 | 121815447 | o2(x,o1(o1(x))) | true | 49039 | 49039 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t15_x0_u32_b1 | 15 | 0 | 32 | 1 | ![]() |
sub(P,cil(cil(P))) | 70130 | 121815448 | o2(x,o1(o1(x))) | true | 49047 | 49047 | 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_x0_u32_b2 | 15 | 0 | 32 | 2 | ![]() |
mlt(P,cil(cil(P))) | 70131 | 121815449 | o2(x,o1(o1(x))) | true | 49055 | 49055 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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 |
| t15_x0_u32_b3 | 15 | 0 | 32 | 3 | ![]() |
div(P,cil(cil(P))) | 70132 | 121815450 | o2(x,o1(o1(x))) | true | 49063 | 49063 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 7.569e-9 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t15_x0_u32_b4 | 15 | 0 | 32 | 4 | ![]() |
pow(P,cil(cil(P))) | 70133 | 121815451 | o2(x,o1(o1(x))) | true | 49071 | 49071 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t15_x0_u32_b5 | 15 | 0 | 32 | 5 | ![]() |
mod(P,cil(cil(P))) | 70134 | 121815452 | o2(x,o1(o1(x))) | true | 49079 | 49079 | -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 |
| t15_x0_u32_b6 | 15 | 0 | 32 | 6 | ![]() |
lrg(P,cil(cil(P))) | 70135 | 121815453 | o2(x,o1(o1(x))) | true | 49087 | 49087 | 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_x0_u32_b7 | 15 | 0 | 32 | 7 | ![]() |
eql(P,cil(cil(P))) | 70136 | 121815454 | o2(x,o1(o1(x))) | true | 49095 | 49095 | 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_x0_u32_b8 | 15 | 0 | 32 | 8 | ![]() |
min(P,cil(cil(P))) | 70137 | 121815455 | o2(x,o1(o1(x))) | true | 49103 | 49103 | 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 |
| t15_x0_u32_b9 | 15 | 0 | 32 | 9 | ![]() |
dot(P,cil(cil(P))) | 70138 | 121815456 | o2(x,o1(o1(x))) | true | 49111 | 49111 | 0.9967 | 1 | 0.9967 | 0.002206 | 0.04697 | 0.0005821 | 1 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | -1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t15_x0_u32_b10 | 15 | 0 | 32 | 10 | ![]() |
dst(P,cil(cil(P))) | 70139 | 121815457 | o2(x,o1(o1(x))) | true | 49119 | 49119 | 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_x0_u33_b0 | 15 | 0 | 33 | 0 | ![]() |
add(P,cil(sgn(P))) | 70140 | 121815648 | o2(x,o1(o1(x))) | true | 49127 | 49127 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t15_x0_u33_b1 | 15 | 0 | 33 | 1 | ![]() |
sub(P,cil(sgn(P))) | 70141 | 121815649 | o2(x,o1(o1(x))) | true | 49135 | 49135 | 0 | 0.4375 | 0.8125 | 0.799 | 0.8939 | -1 | 1 | 2 | 1 | 2.153 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008834 | 0.00004053 | 1 | 1 | 0.001851 | 0.02429 | 0.1502 | 0.002317 | 0.0304 | 0.188 | json |
| t15_x0_u33_b2 | 15 | 0 | 33 | 2 | ![]() |
mlt(P,cil(sgn(P))) | 70142 | 121815650 | o2(x,o1(o1(x))) | true | 49143 | 49143 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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 |
| t15_x0_u33_b3 | 15 | 0 | 33 | 3 | ![]() |
div(P,cil(sgn(P))) | 70143 | 121815651 | o2(x,o1(o1(x))) | true | 49151 | 49151 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t15_x0_u33_b4 | 15 | 0 | 33 | 4 | ![]() |
pow(P,cil(sgn(P))) | 70144 | 121815652 | o2(x,o1(o1(x))) | true | 49159 | 49159 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t15_x0_u33_b5 | 15 | 0 | 33 | 5 | ![]() |
mod(P,cil(sgn(P))) | 70145 | 121815653 | o2(x,o1(o1(x))) | true | 49167 | 49167 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t15_x0_u33_b6 | 15 | 0 | 33 | 6 | ![]() |
lrg(P,cil(sgn(P))) | 70146 | 121815654 | o2(x,o1(o1(x))) | true | 49175 | 49175 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t15_x0_u33_b7 | 15 | 0 | 33 | 7 | ![]() |
eql(P,cil(sgn(P))) | 70147 | 121815655 | o2(x,o1(o1(x))) | true | 49183 | 49183 | 0.1875 | 0.25 | 0.1875 | 0.1388 | 0.3726 | 0 | 1 | 1 | 1 | 1.242 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.005085 | 0.0002333 | 1 | 1 | 0.001851 | 0.02429 | 0.1502 | 0.01333 | 0.1749 | 1.082 | json |
| t15_x0_u33_b8 | 15 | 0 | 33 | 8 | ![]() |
min(P,cil(sgn(P))) | 70148 | 121815656 | o2(x,o1(o1(x))) | true | 49191 | 49191 | 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 |
| t15_x0_u33_b9 | 15 | 0 | 33 | 9 | ![]() |
dot(P,cil(sgn(P))) | 70149 | 121815657 | o2(x,o1(o1(x))) | true | 49199 | 49199 | 0.9967 | 1 | 0.9967 | 0.002206 | 0.04697 | 0.0005821 | 1 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | -1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t15_x0_u33_b10 | 15 | 0 | 33 | 10 | ![]() |
dst(P,cil(sgn(P))) | 70150 | 121815658 | o2(x,o1(o1(x))) | true | 49207 | 49207 | 0.9652 | 0.9844 | 0.9652 | 0.02896 | 0.1702 | 0 | 1 | 1 | 1 | 0.4211 | 0.0001293 | 0.0001293 | 0.002826 | 0.000001632 | 1 | -2.553e-10 | 0.00001826 | 0.0007009 | 0.0002504 | 0.01583 | 5.6 | 0.1294 | 0.008929 | 0.0006306 | 1 | 1 | 0.0008967 | 0.01158 | 0.07062 | 0.03096 | 0.3997 | 2.439 | json |
| t15_x0_u34_b0 | 15 | 0 | 34 | 0 | ![]() |
add(P,cil(nrm(P))) | 70151 | 121815849 | o2(x,o1(o1(x))) | true | 49215 | 49215 | -0.007114 | 0.4922 | 0.9538 | 0.9445 | 0.9718 | -1 | 1 | 2 | 1 | 1.584 | 0.002893 | 0.001662 | 0.008977 | 0.2702 | 1 | -3.248e-10 | 0.007754 | 0.006541 | 0.004478 | 0.06692 | 7.454 | 2.828 | 0.004822 | 0.008209 | 1 | 1 | 0.008602 | 0.04956 | 0.3126 | 0.009108 | 0.05247 | 0.331 | json |
| t15_x0_u34_b1 | 15 | 0 | 34 | 1 | ![]() |
sub(P,cil(nrm(P))) | 70152 | 121815850 | o2(x,o1(o1(x))) | true | 49223 | 49223 | -0.07255 | 0.4375 | 0.885 | 0.866 | 0.9306 | -1 | 1 | 2 | 1 | 1.991 | 0.001385 | 0.0007237 | 0.009299 | 0.3136 | 1 | -1.689e-11 | 0.00292 | 0.00488 | 0.002021 | 0.04496 | 4.835 | 1.414 | 0.002435 | 0.003372 | 1 | 1 | 0.004317 | 0.03443 | 0.2043 | 0.004985 | 0.03976 | 0.236 | json |
| t15_x0_u34_b2 | 15 | 0 | 34 | 2 | ![]() |
mlt(P,cil(nrm(P))) | 70153 | 121815851 | o2(x,o1(o1(x))) | true | 49231 | 49231 | 0.4753 | 0.5383 | 0.5066 | 0.2719 | 0.5214 | -1 | 1 | 2 | 1 | 1.511 | 0.003819 | 0.002173 | 0.009944 | 0.2748 | 1 | 6.295e-7 | 0.01054 | 0.008828 | 0.00589 | 0.07674 | 7.717 | 2.828 | 0.02204 | 0.03878 | 1 | 1 | 0.01128 | 0.06041 | 0.2407 | 0.0415 | 0.2222 | 0.8854 | json |
| t15_x0_u34_b3 | 15 | 0 | 34 | 3 | ![]() |
div(P,cil(nrm(P))) | 70154 | 121815852 | o2(x,o1(o1(x))) | true | 49239 | 49239 | -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 |
| t15_x0_u34_b4 | 15 | 0 | 34 | 4 | ![]() |
pow(P,cil(nrm(P))) | 70155 | 121815853 | o2(x,o1(o1(x))) | true | 49247 | 49247 | 0.875 | 0.9375 | 1 | 0.2344 | 0.4841 | -1 | 1 | 2 | 1 | 0.3373 | 0.006047 | 0.01587 | 0.01092 | -0.4483 | 1 | 0 | 0.0446 | 0.02192 | 0.0218 | 0.1477 | 13.52 | 2.828 | 0.09352 | 0.1903 | 1 | 1 | 0.02814 | 0.1126 | 0.4503 | 0.1201 | 0.4803 | 1.921 | json |
| t15_x0_u34_b5 | 15 | 0 | 34 | 5 | ![]() |
mod(P,cil(nrm(P))) | 70156 | 121815854 | o2(x,o1(o1(x))) | true | 49255 | 49255 | -0.5625 | 0 | 0.5625 | 0.2461 | 0.4961 | -1 | 0 | 1 | 1 | 0.9887 | 0.003968 | 0 | 0.003968 | 1 | 1 | 0 | 0.007937 | 0.007937 | 0.003952 | 0.06287 | 15.84 | 1 | 0.01612 | 0.03225 | 1 | 1 | 0.005263 | 0.02105 | 0.08421 | 0.02139 | 0.08555 | 0.3422 | json |
| t15_x0_u34_b6 | 15 | 0 | 34 | 6 | ![]() |
lrg(P,cil(nrm(P))) | 70157 | 121815855 | o2(x,o1(o1(x))) | true | 49263 | 49263 | 0.4102 | 0.4523 | 0.4102 | 0.2336 | 0.4833 | 0 | 1 | 1 | 1 | 1.369 | 0.000388 | 0.00003512 | 0.00481 | 0.834 | 1 | -4.674e-10 | 0.00002042 | 0.001134 | 0.0003999 | 0.02 | 4.158 | 0.1169 | 0.001812 | 0.0000874 | 1 | 1 | 0.00117 | 0.0153 | 0.07748 | 0.005008 | 0.06551 | 0.3317 | json |
| t15_x0_u34_b7 | 15 | 0 | 34 | 7 | ![]() |
eql(P,cil(nrm(P))) | 70158 | 121815856 | o2(x,o1(o1(x))) | true | 49271 | 49271 | 0.125 | 0.1949 | 0.125 | 0.09386 | 0.3064 | 0 | 1 | 1 | 1 | 1.132 | 0.0007216 | 0.00006053 | 0.008872 | 0.8452 | 1 | -8.833e-10 | 0.00003888 | 0.002106 | 0.0007037 | 0.02653 | 2.99 | 0.1169 | 0.008333 | 0.0004142 | 1 | 1 | 0.002116 | 0.02771 | 0.14 | 0.02255 | 0.2952 | 1.492 | json |
| t15_x0_u34_b8 | 15 | 0 | 34 | 8 | ![]() |
min(P,cil(nrm(P))) | 70159 | 121815857 | o2(x,o1(o1(x))) | true | 49279 | 49279 | 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 |
| t15_x0_u34_b9 | 15 | 0 | 34 | 9 | ![]() |
dot(P,cil(nrm(P))) | 70160 | 121815858 | o2(x,o1(o1(x))) | true | 49287 | 49287 | 0.7409 | 0.7844 | 0.7721 | 0.2183 | 0.4672 | -1 | 1 | 2 | 1 | 1.134 | 0.004143 | 0.004143 | 0.009097 | -3.372e-7 | 1 | 6.305e-7 | 0.01537 | 0.01039 | 0.008193 | 0.09052 | 9.95 | 2.828 | 0.03795 | 0.07039 | 1 | 1 | 0.01511 | 0.07043 | 0.2708 | 0.06922 | 0.3226 | 1.241 | json |
| t15_x0_u34_b10 | 15 | 0 | 34 | 10 | ![]() |
dst(P,cil(nrm(P))) | 70161 | 121815859 | o2(x,o1(o1(x))) | true | 49295 | 49295 | 0.9591 | 0.9844 | 0.9903 | 0.06758 | 0.26 | -1 | 1 | 2 | 1 | 0.3133 | 0.002238 | 0.002238 | 0.004635 | -5.723e-7 | 1 | -1.164e-10 | 0.008993 | 0.006174 | 0.004457 | 0.06676 | 14.41 | 2.001 | 0.06622 | 0.1331 | 1 | 1 | 0.008223 | 0.042 | 0.2195 | 0.1217 | 0.6215 | 3.248 | json |
| t15_x0_u35_b0 | 15 | 0 | 35 | 0 | ![]() |
add(P,sgn(sqt(P))) | 70162 | 121816050 | o2(x,o1(o1(x))) | true | 49303 | 49303 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t15_x0_u35_b1 | 15 | 0 | 35 | 1 | ![]() |
sub(P,sgn(sqt(P))) | 70163 | 121816051 | o2(x,o1(o1(x))) | true | 49311 | 49311 | 0 | 0.4375 | 0.8125 | 0.799 | 0.8939 | -1 | 1 | 2 | 1 | 2.153 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008834 | 0.00004053 | 1 | 1 | 0.001851 | 0.02429 | 0.1502 | 0.002317 | 0.0304 | 0.188 | json |
| t15_x0_u35_b2 | 15 | 0 | 35 | 2 | ![]() |
mlt(P,sgn(sqt(P))) | 70164 | 121816052 | o2(x,o1(o1(x))) | true | 49319 | 49319 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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 |
| t15_x0_u35_b3 | 15 | 0 | 35 | 3 | ![]() |
div(P,sgn(sqt(P))) | 70165 | 121816053 | o2(x,o1(o1(x))) | true | 49327 | 49327 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t15_x0_u35_b4 | 15 | 0 | 35 | 4 | ![]() |
pow(P,sgn(sqt(P))) | 70166 | 121816054 | o2(x,o1(o1(x))) | true | 49335 | 49335 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t15_x0_u35_b5 | 15 | 0 | 35 | 5 | ![]() |
mod(P,sgn(sqt(P))) | 70167 | 121816055 | o2(x,o1(o1(x))) | true | 49343 | 49343 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t15_x0_u35_b6 | 15 | 0 | 35 | 6 | ![]() |
lrg(P,sgn(sqt(P))) | 70168 | 121816056 | o2(x,o1(o1(x))) | true | 49351 | 49351 | 0.4063 | 0.4375 | 0.4063 | 0.2344 | 0.4842 | 0 | 1 | 1 | 1 | 1.302 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001505 | 0.00006906 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.003947 | 0.0518 | 0.3203 | json |
| t15_x0_u35_b7 | 15 | 0 | 35 | 7 | ![]() |
eql(P,sgn(sqt(P))) | 70169 | 121816057 | o2(x,o1(o1(x))) | true | 49359 | 49359 | 0.1875 | 0.25 | 0.1875 | 0.1388 | 0.3726 | 0 | 1 | 1 | 1 | 1.242 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.005085 | 0.0002333 | 1 | 1 | 0.001851 | 0.02429 | 0.1502 | 0.01333 | 0.1749 | 1.082 | json |
| t15_x0_u35_b8 | 15 | 0 | 35 | 8 | ![]() |
min(P,sgn(sqt(P))) | 70170 | 121816058 | o2(x,o1(o1(x))) | true | 49367 | 49367 | 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 |
| t15_x0_u35_b9 | 15 | 0 | 35 | 9 | ![]() |
dot(P,sgn(sqt(P))) | 70171 | 121816059 | o2(x,o1(o1(x))) | true | 49375 | 49375 | 0.9967 | 1 | 0.9967 | 0.002206 | 0.04697 | 0.0005821 | 1 | 0.9994 | 1 | 0.08493 | 0.00004482 | 0.00004482 | 0.0007972 | -5.682e-7 | 0 | -1.502e-11 | 0.00002627 | 0.0002729 | 0.00008892 | 0.00943 | 11.83 | 0.1653 | 0.04063 | 0.01191 | 1 | 1 | 0.0003021 | 0.00348 | 0.008043 | 0.1369 | 1.578 | 3.646 | json |
| t15_x0_u35_b10 | 15 | 0 | 35 | 10 | ![]() |
dst(P,sgn(sqt(P))) | 70172 | 121816060 | o2(x,o1(o1(x))) | true | 49383 | 49383 | 0.9652 | 0.9844 | 0.9652 | 0.02896 | 0.1702 | 0 | 1 | 1 | 1 | 0.4211 | 0.0001293 | 0.0001293 | 0.002826 | 0.000001632 | 1 | -2.553e-10 | 0.00001826 | 0.0007009 | 0.0002504 | 0.01583 | 5.6 | 0.1294 | 0.008929 | 0.0006306 | 1 | 1 | 0.0008967 | 0.01158 | 0.07062 | 0.03096 | 0.3997 | 2.439 | json |
| t15_x0_u36_b0 | 15 | 0 | 36 | 0 | ![]() |
add(P,sgn(log(P))) | 70173 | 121816251 | o2(x,o1(o1(x))) | true | 49391 | 49391 | -0.0625 | 0.4688 | 0.9806 | 0.969 | 0.9844 | -1 | 1 | 2 | 1 | 1.326 | 0.001412 | 0 | 0.007937 | 1 | 1 | 0 | 0.00006477 | 0.001855 | 0.001349 | 0.03673 | 4.628 | 0.2338 | 0.001457 | 0.00006684 | 1 | 1 | 0.003702 | 0.04857 | 0.3004 | 0.00382 | 0.05012 | 0.31 | json |
| t15_x0_u36_b1 | 15 | 0 | 36 | 1 | ![]() |
sub(P,sgn(log(P))) | 70174 | 121816252 | o2(x,o1(o1(x))) | true | 49399 | 49399 | 0.125 | 0.5625 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t15_x0_u36_b2 | 15 | 0 | 36 | 2 | ![]() |
mlt(P,sgn(log(P))) | 70175 | 121816253 | o2(x,o1(o1(x))) | true | 49407 | 49407 | 0.8847 | 0.9375 | 0.8847 | 0.09136 | 0.3023 | 0 | 1 | 1 | 1 | 0.9344 | 0.001005 | 0 | 0.007937 | 1 | 1 | -1.419e-9 | 0.0001503 | 0.002725 | 0.0009424 | 0.0307 | 3.868 | 0.2265 | 0.011 | 0.001645 | 1 | 1 | 0.002565 | 0.02807 | 0.1385 | 0.02808 | 0.3073 | 1.516 | json |
| t15_x0_u36_b3 | 15 | 0 | 36 | 3 | ![]() |
div(P,sgn(log(P))) | 70176 | 121816254 | o2(x,o1(o1(x))) | true | 49415 | 49415 | 0.8438 | 0.9375 | 0.9688 | 0.2501 | 0.5001 | -1 | 1 | 2 | 1 | 0.7915 | 0.03606 | 0 | 0.02381 | 1 | 1 | 0 | 0.07149 | 0.04061 | 0.03551 | 0.1884 | 7.915 | 2 | 0.1442 | 0.2859 | 1 | 1 | 0.04825 | 0.1951 | 0.2856 | 0.193 | 0.78 | 1.142 | json |
| t15_x0_u36_b4 | 15 | 0 | 36 | 4 | ![]() |
pow(P,sgn(log(P))) | 70177 | 121816255 | o2(x,o1(o1(x))) | true | 49423 | 49423 | -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 |
| t15_x0_u36_b5 | 15 | 0 | 36 | 5 | ![]() |
mod(P,sgn(log(P))) | 70178 | 121816256 | o2(x,o1(o1(x))) | true | 49431 | 49431 | -0.125 | 0 | 0.125 | 0.1094 | 0.3307 | -1 | 0 | 1 | 1 | 0.5436 | 0.007937 | 0 | 0.007937 | 1 | 1 | 0 | 0.01587 | 0.01587 | 0.007872 | 0.08872 | 11.18 | 1 | 0.07256 | 0.1451 | 1 | 1 | 0.01053 | 0.04211 | 0.1684 | 0.09624 | 0.385 | 1.54 | json |
| t15_x0_u36_b6 | 15 | 0 | 36 | 6 | ![]() |
lrg(P,sgn(log(P))) | 70179 | 121816257 | o2(x,o1(o1(x))) | true | 49439 | 49439 | 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 |
| t15_x0_u36_b7 | 15 | 0 | 36 | 7 | ![]() |
eql(P,sgn(log(P))) | 70180 | 121816258 | o2(x,o1(o1(x))) | true | 49447 | 49447 | 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 |
| t15_x0_u36_b8 | 15 | 0 | 36 | 8 | ![]() |
min(P,sgn(log(P))) | 70181 | 121816259 | o2(x,o1(o1(x))) | true | 49455 | 49455 | -0.125 | 0.4375 | 0.9375 | 0.9084 | 0.9531 | -1 | 1 | 2 | 1 | 1.8 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003235 | 0.001851 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0007771 | 0.00003562 | 1 | 1 | 0.001851 | 0.02449 | 0.2344 | 0.002038 | 0.02696 | 0.2581 | json |
| t15_x0_u36_b9 | 15 | 0 | 36 | 9 | ![]() |
dot(P,sgn(log(P))) | 70182 | 121816260 | o2(x,o1(o1(x))) | true | 49463 | 49463 | 0.9871 | 0.9961 | 0.9871 | 0.01068 | 0.1034 | 0 | 1 | 1 | 1 | 0.1951 | 0.0001141 | 0.0001141 | 0.001689 | 0.000001658 | 1 | -1.164e-10 | 0.00005336 | 0.0006771 | 0.0002254 | 0.01501 | 8.889 | 0.2685 | 0.02137 | 0.004996 | 1 | 1 | 0.0007651 | 0.008104 | 0.03879 | 0.07162 | 0.7587 | 3.631 | json |
| t15_x0_u36_b10 | 15 | 0 | 36 | 10 | ![]() |
dst(P,sgn(log(P))) | 70183 | 121816261 | o2(x,o1(o1(x))) | true | 49471 | 49471 | 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_x0_u37_b0 | 15 | 0 | 37 | 0 | ![]() |
add(P,sgn(frc(P))) | 70184 | 121816452 | o2(x,o1(o1(x))) | true | 49479 | 49479 | 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 |
| t15_x0_u37_b1 | 15 | 0 | 37 | 1 | ![]() |
sub(P,sgn(frc(P))) | 70185 | 121816453 | o2(x,o1(o1(x))) | true | 49487 | 49487 | 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 |
| t15_x0_u37_b2 | 15 | 0 | 37 | 2 | ![]() |
mlt(P,sgn(frc(P))) | 70186 | 121816454 | o2(x,o1(o1(x))) | true | 49495 | 49495 | 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_x0_u37_b3 | 15 | 0 | 37 | 3 | ![]() |
div(P,sgn(frc(P))) | 70187 | 121816455 | o2(x,o1(o1(x))) | true | 49503 | 49503 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |
| t15_x0_u37_b4 | 15 | 0 | 37 | 4 | ![]() |
pow(P,sgn(frc(P))) | 70188 | 121816456 | o2(x,o1(o1(x))) | true | 49511 | 49511 | 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_x0_u37_b5 | 15 | 0 | 37 | 5 | ![]() |
mod(P,sgn(frc(P))) | 70189 | 121816457 | o2(x,o1(o1(x))) | true | 49519 | 49519 | 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 |
| t15_x0_u37_b6 | 15 | 0 | 37 | 6 | ![]() |
lrg(P,sgn(frc(P))) | 70190 | 121816458 | o2(x,o1(o1(x))) | true | 49527 | 49527 | 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 |
| t15_x0_u37_b7 | 15 | 0 | 37 | 7 | ![]() |
eql(P,sgn(frc(P))) | 70191 | 121816459 | o2(x,o1(o1(x))) | true | 49535 | 49535 | 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 |
| t15_x0_u37_b8 | 15 | 0 | 37 | 8 | ![]() |
min(P,sgn(frc(P))) | 70192 | 121816460 | o2(x,o1(o1(x))) | true | 49543 | 49543 | -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 |
| t15_x0_u37_b9 | 15 | 0 | 37 | 9 | ![]() |
dot(P,sgn(frc(P))) | 70193 | 121816461 | o2(x,o1(o1(x))) | true | 49551 | 49551 | 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_x0_u37_b10 | 15 | 0 | 37 | 10 | ![]() |
dst(P,sgn(frc(P))) | 70194 | 121816462 | o2(x,o1(o1(x))) | true | 49559 | 49559 | 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 |
| t15_x0_u38_b0 | 15 | 0 | 38 | 0 | ![]() |
add(P,sgn(flr(P))) | 70195 | 121816653 | o2(x,o1(o1(x))) | true | 49567 | 49567 | 0 | 0.5 | 0.9569 | 0.9494 | 0.9744 | -1 | 1 | 2 | 1 | 1.488 | 0.001303 | 0 | 0.007937 | 1 | 1 | 0 | 0.0002681 | 0.003586 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.001373 | 0.0002824 | 1 | 1 | 0.003279 | 0.03268 | 0.2686 | 0.003454 | 0.03442 | 0.2829 | json |
| t15_x0_u38_b1 | 15 | 0 | 38 | 1 | ![]() |
sub(P,sgn(flr(P))) | 70196 | 121816654 | o2(x,o1(o1(x))) | true | 49575 | 49575 | 0 | 0.4375 | 0.8125 | 0.799 | 0.8939 | -1 | 1 | 2 | 1 | 2.153 | 0.0007059 | 0 | 0.007937 | 1 | 1 | 0 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.0008834 | 0.00004053 | 1 | 1 | 0.001851 | 0.02429 | 0.1502 | 0.002317 | 0.0304 | 0.188 | json |
| t15_x0_u38_b2 | 15 | 0 | 38 | 2 | ![]() |
mlt(P,sgn(flr(P))) | 70197 | 121816655 | o2(x,o1(o1(x))) | true | 49583 | 49583 | 0.9375 | 1 | 0.9375 | 0.04507 | 0.2123 | 0.000291 | 1 | 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 |
| t15_x0_u38_b3 | 15 | 0 | 38 | 3 | ![]() |
div(P,sgn(flr(P))) | 70198 | 121816656 | o2(x,o1(o1(x))) | true | 49591 | 49591 | 0.75 | 0.875 | 1 | 0.4375 | 0.6614 | -1 | 1 | 2 | 1 | 0.5436 | 0.03175 | 0 | 0.01587 | 1 | 1 | 0 | 0.06349 | 0.03175 | 0.03149 | 0.1774 | 11.18 | 2 | 0.07256 | 0.1451 | 1 | 1 | 0.04211 | 0.1684 | 0.6737 | 0.09624 | 0.385 | 1.54 | json |
| t15_x0_u38_b4 | 15 | 0 | 38 | 4 | ![]() |
pow(P,sgn(flr(P))) | 70199 | 121816657 | o2(x,o1(o1(x))) | true | 49599 | 49599 | 0 | 0.5 | 1 | 1 | 1 | -1 | 1 | 2 | 1 | 1 | 0.01587 | 0 | 0.007937 | 1 | 1 | 0 | 0.03175 | 0.01587 | 0.01581 | 0.1257 | 15.84 | 2 | 0.01587 | 0.03175 | 1 | 1 | 0.02105 | 0.08421 | 0.3368 | 0.02105 | 0.08421 | 0.3368 | json |



































































































