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 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t5_x8_u1_b10 | 5 | 8 | 1 | 10 | ![]() |
dst(R,log(R)) | 1600 | 40926424 | o2(x,o1(x)) | true | 12807 | 12807 | -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 |
| t5_x8_u2_b0 | 5 | 8 | 2 | 0 | ![]() |
add(R,frc(R)) | 1601 | 40926615 | o2(x,o1(x)) | true | 12815 | 12815 | 0.4534 | 0.8089 | 0.6005 | 0.2622 | 0.5121 | -0.9977 | 1 | 1.998 | 1 | 4.31 | 0.003795 | 0.003989 | 0.06231 | -0.02497 | 1 | -0.0000249 | 0.001128 | 0.01825 | 0.003901 | 0.06246 | 1.002 | 0.3433 | 0.02968 | 0.0043 | 1 | 1 | 0 | 0 | 0.01474 | 0 | 0 | 0.05621 | json |
| t5_x8_u2_b1 | 5 | 8 | 2 | 1 | ![]() |
sub(R,frc(R)) | 1602 | 40926616 | o2(x,o1(x)) | true | 12823 | 12823 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 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 | 0 | 0.008731 | 0 | 0 | 0.0568 | json |
| t5_x8_u2_b2 | 5 | 8 | 2 | 2 | ![]() |
mlt(R,frc(R)) | 1603 | 40926617 | o2(x,o1(x)) | true | 12831 | 12831 | 0.0954 | 0.5317 | 0.2149 | 0.074 | 0.272 | -0.2497 | 0.9626 | 1.212 | 1 | 3.835 | 0.001077 | 0.00111 | 0.03632 | -0.01484 | 1 | 0.00001348 | 0.0001297 | 0.008376 | 0.0008678 | 0.02946 | 0.8111 | 0.1386 | 0.02955 | 0.001753 | 1 | 1 | 0 | 0 | 0.00441 | 0 | 0 | 0.0596 | json |
| t5_x8_u2_b3 | 5 | 8 | 2 | 3 | ![]() |
div(R,frc(R)) | 1604 | 40926618 | o2(x,o1(x)) | true | 12839 | 12839 | -0.04832 | 0.4725 | 0.7112 | 0.6143 | 0.7838 | -1 | 1 | 2 | 1 | 4.052 | 0.01318 | 0.01656 | 0.09776 | -0.1138 | 1 | 0.0004649 | 0.01901 | 0.04526 | 0.02019 | 0.1421 | 1.454 | 1.907 | 0.04842 | 0.03095 | 1 | 1 | 0 | 0 | 0.0452 | 0 | 0 | 0.07359 | json |
| t5_x8_u2_b4 | 5 | 8 | 2 | 4 | ![]() |
pow(R,frc(R)) | 1605 | 40926619 | o2(x,o1(x)) | true | 12847 | 12847 | -0.9235 | 0.04297 | 0.9906 | 0.1306 | 0.3614 | -1 | 0.9461 | 1.946 | 1 | 0.3372 | 0.01332 | 0.01296 | 0.0151 | 0.0136 | 1 | 0.000003032 | 0.05494 | 0.02962 | 0.02607 | 0.1615 | 10.7 | 2.664 | 0.2013 | 0.4207 | 1 | 1 | 0 | 0 | 0.0201 | 0 | 0 | 0.1539 | json |
| t5_x8_u2_b5 | 5 | 8 | 2 | 5 | ![]() |
mod(R,frc(R)) | 1606 | 40926620 | o2(x,o1(x)) | true | 12855 | 12855 | -0.05727 | 0.1674 | 0.1304 | 0.03291 | 0.1814 | -0.4951 | 0.9557 | 1.451 | 1 | 3.157 | 0.000456 | 0.0004533 | 0.02113 | 0.002937 | 1 | -0.00002703 | 0.00005269 | 0.004832 | 0.0004627 | 0.02151 | 1.018 | 0.1487 | 0.02763 | 0.001601 | 1 | 1 | 0 | 0 | 0.002112 | 0 | 0 | 0.0642 | json |
| t5_x8_u2_b6 | 5 | 8 | 2 | 6 | ![]() |
lrg(R,frc(R)) | 1607 | 40926621 | o2(x,o1(x)) | true | 12863 | 12863 | 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 |
| t5_x8_u2_b7 | 5 | 8 | 2 | 7 | ![]() |
eql(R,frc(R)) | 1608 | 40926622 | o2(x,o1(x)) | true | 12871 | 12871 | 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 | 0 | 0.008731 | 0 | 0 | 0.0568 | json |
| t5_x8_u2_b8 | 5 | 8 | 2 | 8 | ![]() |
min(R,frc(R)) | 1609 | 40926623 | o2(x,o1(x)) | true | 12879 | 12879 | 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 | 0 | 0.01182 | 0 | 0 | 0.05384 | json |
| t5_x8_u2_b9 | 5 | 8 | 2 | 9 | ![]() |
dot(R,frc(R)) | 1610 | 40926624 | o2(x,o1(x)) | true | 12887 | 12887 | 0.2524 | 0.6934 | 0.3972 | 0.1776 | 0.4214 | -0.691 | 1 | 1.691 | 1 | 4.572 | 0.002804 | 0.0028 | 0.05819 | 0.0008617 | 1 | 0.000006242 | 0.000583 | 0.01467 | 0.002218 | 0.04709 | 0.8093 | 0.2668 | 0.03156 | 0.003283 | 1 | 1 | 0 | 0 | 0.01133 | 0 | 0 | 0.0638 | json |
| t5_x8_u2_b10 | 5 | 8 | 2 | 10 | ![]() |
dst(R,frc(R)) | 1611 | 40926625 | o2(x,o1(x)) | true | 12895 | 12895 | 0.9191 | 1 | 0.9191 | 0.0494 | 0.2223 | 0.000291 | 1 | 0.9997 | 1 | 1.186 | 0.0009654 | 0.001125 | 0.01789 | -0.0763 | 1 | -0.000009421 | 0.000363 | 0.006146 | 0.00177 | 0.04208 | 2.351 | 0.2025 | 0.04231 | 0.007347 | 1 | 1 | 0 | 0 | 0.004557 | 0 | 0 | 0.09224 | json |
| t5_x8_u3_b0 | 5 | 8 | 3 | 0 | ![]() |
add(R,flr(R)) | 1612 | 40926816 | o2(x,o1(x)) | true | 12903 | 12903 | -0.3539 | 0.3544 | 0.6666 | 0.4315 | 0.6569 | -1 | 0.9804 | 1.98 | 1 | 3.927 | 0.006974 | 0.008247 | 0.08425 | -0.08369 | 1 | 0.0001444 | 0.002323 | 0.02589 | 0.008124 | 0.09014 | 1.07 | 0.347 | 0.03528 | 0.005383 | 1 | 1 | 0 | 0 | 0.02989 | 0 | 0 | 0.06928 | json |
| t5_x8_u3_b1 | 5 | 8 | 3 | 1 | ![]() |
sub(R,flr(R)) | 1613 | 40926817 | o2(x,o1(x)) | true | 12911 | 12911 | 0.5266 | 1 | 0.5266 | 0.05091 | 0.2256 | 0.001084 | 0.997 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0 | 0 | 0.002542 | 0 | 0 | 0.04993 | json |
| t5_x8_u3_b2 | 5 | 8 | 3 | 2 | ![]() |
mlt(R,flr(R)) | 1614 | 40926818 | o2(x,o1(x)) | true | 12919 | 12919 | 0.2541 | 0.9259 | 0.2541 | 0.06549 | 0.2559 | 0 | 0.9989 | 0.9989 | 1 | 3.357 | 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 | 0 | 0.003123 | 0 | 0 | 0.04769 | json |
| t5_x8_u3_b3 | 5 | 8 | 3 | 3 | ![]() |
div(R,flr(R)) | 1615 | 40926819 | o2(x,o1(x)) | true | 12927 | 12927 | -0.7597 | 0.1367 | 0.9668 | 0.3768 | 0.6139 | -1 | 1 | 2 | 1 | 0.9702 | 0.04081 | 0.04245 | 0.04694 | -0.01967 | 1 | 0.000001442 | 0.1755 | 0.09114 | 0.08109 | 0.2848 | 6.067 | 2.828 | 0.221 | 0.4658 | 1 | 1 | 0 | 0 | 0.08531 | 0 | 0 | 0.2264 | json |
| t5_x8_u3_b4 | 5 | 8 | 3 | 4 | ![]() |
pow(R,flr(R)) | 1616 | 40926820 | o2(x,o1(x)) | true | 12935 | 12935 | -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 | 0 | 0.02543 | 0 | 0 | 0.1546 | json |
| t5_x8_u3_b5 | 5 | 8 | 3 | 5 | ![]() |
mod(R,flr(R)) | 1617 | 40926821 | o2(x,o1(x)) | true | 12943 | 12943 | -0.9668 | 0 | 0.9668 | 0.01915 | 0.1384 | -1 | -0.007164 | 0.9928 | 1 | 0.6215 | 0.00171 | 0.001917 | 0.007503 | -0.05728 | 1 | -0.000001442 | 0.007437 | 0.01163 | 0.00357 | 0.05975 | 7.963 | 1.289 | 0.1894 | 0.3884 | 1 | 1 | 0 | 0 | 0.003992 | 0 | 0 | 0.2085 | json |
| t5_x8_u3_b6 | 5 | 8 | 3 | 6 | ![]() |
lrg(R,flr(R)) | 1618 | 40926822 | o2(x,o1(x)) | true | 12951 | 12951 | 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 |
| t5_x8_u3_b7 | 5 | 8 | 3 | 7 | ![]() |
eql(R,flr(R)) | 1619 | 40926823 | o2(x,o1(x)) | true | 12959 | 12959 | 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 |
| t5_x8_u3_b8 | 5 | 8 | 3 | 8 | ![]() |
min(R,flr(R)) | 1620 | 40926824 | o2(x,o1(x)) | true | 12967 | 12967 | -0.5176 | 0 | 0.5176 | 0.1537 | 0.3921 | -1 | 0 | 1 | 1 | 3.585 | 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 | 0 | 0.008731 | 0 | 0 | 0.0568 | json |
| t5_x8_u3_b9 | 5 | 8 | 3 | 9 | ![]() |
dot(R,flr(R)) | 1621 | 40926825 | o2(x,o1(x)) | true | 12975 | 12975 | 0.676 | 1 | 0.676 | 0.08991 | 0.2998 | 0.00009027 | 1 | 0.9999 | 1 | 3.55 | 0.00128 | 0.001551 | 0.0372 | -0.09599 | 1 | -0.00005012 | 0.000448 | 0.01108 | 0.001447 | 0.03804 | 1.023 | 0.2343 | 0.03149 | 0.004983 | 1 | 1 | 0 | 0 | 0.005761 | 0 | 0 | 0.06408 | json |
| t5_x8_u3_b10 | 5 | 8 | 3 | 10 | ![]() |
dst(R,flr(R)) | 1622 | 40926826 | o2(x,o1(x)) | true | 12983 | 12983 | 0.906 | 1 | 0.906 | 0.02142 | 0.1463 | 0.09964 | 1 | 0.9004 | 1 | 2.061 | 0.0004 | 0.0004115 | 0.01647 | -0.0142 | 1 | -0.00002456 | 0.0001347 | 0.005529 | 0.0005399 | 0.02324 | 1.41 | 0.1309 | 0.03789 | 0.006287 | 1 | 1 | 0 | 0 | 0.001532 | 0 | 0 | 0.07154 | json |
| t5_x8_u4_b0 | 5 | 8 | 4 | 0 | ![]() |
add(R,cil(R)) | 1623 | 40927017 | o2(x,o1(x)) | true | 12991 | 12991 | 0.3351 | 0.6255 | 0.6444 | 0.4213 | 0.6491 | -0.9989 | 1 | 1.999 | 1 | 4.004 | 0.006632 | 0.00803 | 0.08203 | -0.0953 | 1 | -0.000127 | 0.0024 | 0.02604 | 0.007932 | 0.08906 | 1.086 | 0.347 | 0.0348 | 0.005696 | 1 | 1 | 0 | 0 | 0.02829 | 0 | 0 | 0.06714 | json |
| t5_x8_u4_b1 | 5 | 8 | 4 | 1 | ![]() |
sub(R,cil(R)) | 1624 | 40927018 | o2(x,o1(x)) | true | 12999 | 12999 | -0.4734 | 0 | 0.4734 | 0.05091 | 0.2256 | -0.9989 | -0.002975 | 0.9959 | 1 | 3.815 | 0.0007236 | 0.0006853 | 0.03089 | 0.02719 | 1 | 0.00004432 | 0.00008334 | 0.007111 | 0.0004549 | 0.02133 | 0.6905 | 0.1132 | 0.02767 | 0.001637 | 1 | 1 | 0 | 0 | 0.002542 | 0 | 0 | 0.04993 | json |
| t5_x8_u4_b2 | 5 | 8 | 4 | 2 | ![]() |
mlt(R,cil(R)) | 1625 | 40927019 | o2(x,o1(x)) | true | 13007 | 13007 | 0.263 | 0.8999 | 0.263 | 0.06996 | 0.2645 | 0 | 0.9809 | 0.9809 | 1 | 3.339 | 0.0009721 | 0.001017 | 0.03412 | -0.0225 | 1 | 0.0000132 | 0.0001175 | 0.007977 | 0.0008249 | 0.02872 | 0.8418 | 0.1147 | 0.02843 | 0.001679 | 1 | 1 | 0 | 0 | 0.003984 | 0 | 0 | 0.05695 | json |
| t5_x8_u4_b3 | 5 | 8 | 4 | 3 | ![]() |
div(R,cil(R)) | 1626 | 40927020 | o2(x,o1(x)) | true | 13015 | 13015 | -0.8155 | 0.1016 | 0.9813 | 0.3072 | 0.5543 | -1 | 1 | 2 | 1 | 0.7279 | 0.03404 | 0.03871 | 0.03986 | -0.06413 | 1 | 0.000008535 | 0.1539 | 0.07812 | 0.07119 | 0.2668 | 6.693 | 2.828 | 0.2368 | 0.5008 | 1 | 1 | 0 | 0 | 0.06938 | 0 | 0 | 0.2258 | json |
| t5_x8_u4_b4 | 5 | 8 | 4 | 4 | ![]() |
pow(R,cil(R)) | 1627 | 40927021 | o2(x,o1(x)) | true | 13023 | 13023 | 0.7806 | 1 | 0.7806 | 0.05458 | 0.2336 | 0.003529 | 1 | 0.9965 | 1 | 3.16 | 0.0007876 | 0.0008776 | 0.03051 | -0.054 | 1 | 0.00003101 | 0.00009901 | 0.007183 | 0.0007346 | 0.0271 | 0.8884 | 0.1165 | 0.03051 | 0.001814 | 1 | 1 | 0 | 0 | 0.002869 | 0 | 0 | 0.05256 | json |
| t5_x8_u4_b5 | 5 | 8 | 4 | 5 | ![]() |
mod(R,cil(R)) | 1628 | 40927022 | o2(x,o1(x)) | true | 13031 | 13031 | -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 | 0 | 0.01648 | 0 | 0 | 0.1608 | json |
| t5_x8_u4_b6 | 5 | 8 | 4 | 6 | ![]() |
lrg(R,cil(R)) | 1629 | 40927023 | o2(x,o1(x)) | true | 13039 | 13039 | 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 |
| t5_x8_u4_b7 | 5 | 8 | 4 | 7 | ![]() |
eql(R,cil(R)) | 1630 | 40927024 | o2(x,o1(x)) | true | 13047 | 13047 | 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 |
| t5_x8_u4_b8 | 5 | 8 | 4 | 8 | ![]() |
min(R,cil(R)) | 1631 | 40927025 | o2(x,o1(x)) | true | 13055 | 13055 | 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 | 0 | 0.01182 | 0 | 0 | 0.05384 | json |
| t5_x8_u4_b9 | 5 | 8 | 4 | 9 | ![]() |
dot(R,cil(R)) | 1632 | 40927026 | o2(x,o1(x)) | true | 13063 | 13063 | 0.6759 | 0.9983 | 0.6759 | 0.101 | 0.3178 | 1.428e-8 | 1 | 1 | 1 | 3.498 | 0.001853 | 0.001722 | 0.04113 | 0.03664 | 1 | -0.0000466 | 0.0006766 | 0.01344 | 0.001883 | 0.04339 | 1.055 | 0.2562 | 0.0354 | 0.006701 | 1 | 1 | 0 | 0 | 0.006589 | 0 | 0 | 0.06525 | json |
| t5_x8_u4_b10 | 5 | 8 | 4 | 10 | ![]() |
dst(R,cil(R)) | 1633 | 40927027 | o2(x,o1(x)) | true | 13071 | 13071 | 0.8877 | 1 | 0.8877 | 0.02132 | 0.146 | 0.2406 | 1 | 0.7594 | 1 | 2.317 | 0.000387 | 0.000396 | 0.01769 | -0.01145 | 1 | -0.00003075 | 0.0001287 | 0.005708 | 0.0004702 | 0.02168 | 1.226 | 0.1342 | 0.03673 | 0.006037 | 1 | 1 | 0 | 0 | 0.001595 | 0 | 0 | 0.07481 | json |
| t5_x8_u5_b0 | 5 | 8 | 5 | 0 | ![]() |
add(R,sgn(R)) | 1634 | 40927218 | o2(x,o1(x)) | true | 13079 | 13079 | -0.02532 | 0.4879 | 0.8248 | 0.7646 | 0.8744 | -1 | 1 | 2 | 1 | 3.233 | 0.01394 | 0.01694 | 0.1058 | -0.09733 | 1 | 0.00001053 | 0.006469 | 0.03827 | 0.01969 | 0.1403 | 1.326 | 0.4639 | 0.04039 | 0.00846 | 1 | 1 | 0 | 0 | 0.0594 | 0 | 0 | 0.07768 | json |
| t5_x8_u5_b1 | 5 | 8 | 5 | 1 | ![]() |
sub(R,sgn(R)) | 1635 | 40927219 | o2(x,o1(x)) | true | 13087 | 13087 | 0.04414 | 0.5341 | 0.3639 | 0.1897 | 0.4355 | -0.9965 | 0.9969 | 1.993 | 1 | 4.786 | 0.002578 | 0.003085 | 0.06159 | -0.08951 | 1 | 0.00006213 | 0.0003343 | 0.01407 | 0.00187 | 0.04325 | 0.7021 | 0.2246 | 0.02986 | 0.001762 | 1 | 1 | 0 | 0 | 0.01072 | 0 | 0 | 0.05653 | json |
| t5_x8_u5_b2 | 5 | 8 | 5 | 2 | ![]() |
mlt(R,sgn(R)) | 1636 | 40927220 | o2(x,o1(x)) | true | 13095 | 13095 | 0.5171 | 1 | 0.5171 | 0.05134 | 0.2266 | 0.003042 | 0.9989 | 0.9959 | 1 | 3.837 | 0.000667 | 0.0007231 | 0.03061 | -0.04037 | 1 | -1.189e-7 | 0.0000839 | 0.007073 | 0.000453 | 0.02128 | 0.6953 | 0.1114 | 0.02708 | 0.001634 | 1 | 1 | 0 | 0 | 0.002392 | 0 | 0 | 0.0466 | json |
| t5_x8_u5_b3 | 5 | 8 | 5 | 3 | ![]() |
div(R,sgn(R)) | 1637 | 40927221 | o2(x,o1(x)) | true | 13103 | 13103 | 0.5171 | 1 | 0.5171 | 0.05134 | 0.2266 | 0.003042 | 0.9989 | 0.9959 | 1 | 3.837 | 0.000667 | 0.0007231 | 0.03061 | -0.04037 | 1 | -1.189e-7 | 0.0000839 | 0.007073 | 0.000453 | 0.02128 | 0.6953 | 0.1114 | 0.02708 | 0.001634 | 1 | 1 | 0 | 0 | 0.002392 | 0 | 0 | 0.0466 | json |
| t5_x8_u5_b4 | 5 | 8 | 5 | 4 | ![]() |
pow(R,sgn(R)) | 1638 | 40927222 | o2(x,o1(x)) | true | 13111 | 13111 | -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 | 0 | 0.01648 | 0 | 0 | 0.1608 | json |
| t5_x8_u5_b5 | 5 | 8 | 5 | 5 | ![]() |
mod(R,sgn(R)) | 1639 | 40927223 | o2(x,o1(x)) | true | 13119 | 13119 | 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 | 0 | 0.01182 | 0 | 0 | 0.05384 | json |
| t5_x8_u5_b6 | 5 | 8 | 5 | 6 | ![]() |
lrg(R,sgn(R)) | 1640 | 40927224 | o2(x,o1(x)) | true | 13127 | 13127 | 0.5176 | 0.9429 | 0.5176 | 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 | 0 | 0.008731 | 0 | 0 | 0.0568 | json |
| t5_x8_u5_b7 | 5 | 8 | 5 | 7 | ![]() |
eql(R,sgn(R)) | 1641 | 40927225 | o2(x,o1(x)) | true | 13135 | 13135 | 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 |
| t5_x8_u5_b8 | 5 | 8 | 5 | 8 | ![]() |
min(R,sgn(R)) | 1642 | 40927226 | o2(x,o1(x)) | true | 13143 | 13143 | -0.2545 | 0.3918 | 0.5947 | 0.3928 | 0.6267 | -1 | 0.9806 | 1.981 | 1 | 4.509 | 0.005101 | 0.006041 | 0.08398 | -0.08434 | 1 | -0.000004614 | 0.0006543 | 0.0199 | 0.00409 | 0.06395 | 0.7616 | 0.2315 | 0.02836 | 0.001666 | 1 | 1 | 0 | 0 | 0.02256 | 0 | 0 | 0.05744 | json |
| t5_x8_u5_b9 | 5 | 8 | 5 | 9 | ![]() |
dot(R,sgn(R)) | 1643 | 40927227 | o2(x,o1(x)) | true | 13151 | 13151 | 0.9826 | 1 | 0.9826 | 0.005074 | 0.07123 | 0.169 | 1 | 0.831 | 1 | 0.5777 | 0.0001243 | 0.0002265 | 0.004866 | -0.2913 | 1 | -0.00002306 | 0.0001398 | 0.002916 | 0.000327 | 0.01808 | 3.716 | 0.1956 | 0.06913 | 0.02756 | 1 | 1 | 0 | 0 | 0.0004531 | 0 | 0 | 0.0893 | json |
| t5_x8_u5_b10 | 5 | 8 | 5 | 10 | ![]() |
dst(R,sgn(R)) | 1644 | 40927228 | o2(x,o1(x)) | true | 13159 | 13159 | 0.8852 | 1 | 0.8852 | 0.02378 | 0.1542 | 0.2211 | 1 | 0.7789 | 1 | 2.325 | 0.0004119 | 0.0003921 | 0.01759 | 0.02465 | 1 | -0.0000264 | 0.0001349 | 0.005737 | 0.0004947 | 0.02224 | 1.265 | 0.1226 | 0.03381 | 0.005673 | 1 | 1 | 0 | 0 | 0.001667 | 0 | 0 | 0.07012 | json |
| t5_x8_u6_b0 | 5 | 8 | 6 | 0 | ![]() |
add(R,nrm(R)) | 1645 | 40927419 | o2(x,o1(x)) | true | 13167 | 13167 | 0.002428 | 0.4941 | 0.6759 | 0.5657 | 0.7521 | -1 | 1 | 2 | 1 | 4.348 | 0.008843 | 0.009796 | 0.09503 | -0.05113 | 1 | 0.000006833 | 0.002862 | 0.02836 | 0.009609 | 0.09802 | 1.032 | 0.4128 | 0.03295 | 0.005059 | 1 | 1 | 0 | 0 | 0.03649 | 0 | 0 | 0.06451 | json |
| t5_x8_u6_b1 | 5 | 8 | 6 | 1 | ![]() |
sub(R,nrm(R)) | 1646 | 40927420 | o2(x,o1(x)) | true | 13175 | 13175 | 0.01331 | 0.5537 | 0.09551 | 0.01621 | 0.1273 | -0.6038 | 0.4509 | 1.055 | 1 | 3.047 | 0.0002544 | 0.0002115 | 0.01672 | 0.09216 | 1 | 0.00003252 | 0.00002683 | 0.003743 | 0.0001862 | 0.01365 | 0.8161 | 0.1081 | 0.02875 | 0.001656 | 1 | 1 | 0 | 0 | 0.0007574 | 0 | 0 | 0.04674 | json |
| t5_x8_u6_b2 | 5 | 8 | 6 | 2 | ![]() |
mlt(R,nrm(R)) | 1647 | 40927421 | o2(x,o1(x)) | true | 13183 | 13183 | 0.3279 | 1 | 0.3279 | 0.03921 | 0.198 | 0.00008412 | 0.9191 | 0.919 | 1 | 3.59 | 0.0005388 | 0.0005616 | 0.02724 | -0.02064 | 1 | -1.327e-7 | 0.0000669 | 0.006334 | 0.0003583 | 0.01893 | 0.6948 | 0.09822 | 0.02806 | 0.001706 | 1 | 1 | 0 | 0 | 0.001889 | 0 | 0 | 0.04817 | json |
| t5_x8_u6_b3 | 5 | 8 | 6 | 3 | ![]() |
div(R,nrm(R)) | 1648 | 40927422 | o2(x,o1(x)) | true | 13191 | 13191 | 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.00001962 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0 | 0 | 0.001342 | 0 | 0 | 0.05959 | json |
| t5_x8_u6_b4 | 5 | 8 | 6 | 4 | ![]() |
pow(R,nrm(R)) | 1649 | 40927423 | o2(x,o1(x)) | true | 13199 | 13199 | -0.9252 | 0.04297 | 0.9888 | 0.125 | 0.3536 | -1 | 0.955 | 1.955 | 1 | 0.3797 | 0.01288 | 0.0123 | 0.01501 | 0.02308 | 1 | 0.000003609 | 0.0526 | 0.02899 | 0.02496 | 0.158 | 10.52 | 2.704 | 0.2014 | 0.4207 | 1 | 1 | 0 | 0 | 0.01962 | 0 | 0 | 0.1569 | json |
| t5_x8_u6_b5 | 5 | 8 | 6 | 5 | ![]() |
mod(R,nrm(R)) | 1650 | 40927424 | o2(x,o1(x)) | true | 13207 | 13207 | -0.01126 | 0.4771 | 0.1824 | 0.05977 | 0.2445 | -0.8897 | 0.8752 | 1.765 | 1 | 3.972 | 0.0007825 | 0.0008831 | 0.03137 | -0.0604 | 1 | -0.00003437 | 0.00009757 | 0.007119 | 0.0006814 | 0.0261 | 0.832 | 0.1804 | 0.02787 | 0.001632 | 1 | 1 | 0 | 0 | 0.003359 | 0 | 0 | 0.0562 | json |
| t5_x8_u6_b6 | 5 | 8 | 6 | 6 | ![]() |
lrg(R,nrm(R)) | 1651 | 40927425 | o2(x,o1(x)) | true | 13215 | 13215 | 0.5488 | 0.9559 | 0.5488 | 0.1558 | 0.3947 | 0 | 1 | 1 | 1 | 3.362 | 0.002271 | 0.002019 | 0.05012 | 0.0588 | 1 | 0.00008199 | 0.0002442 | 0.0121 | 0.001779 | 0.04217 | 0.8415 | 0.1169 | 0.02754 | 0.001568 | 1 | 1 | 0 | 0 | 0.008285 | 0 | 0 | 0.05317 | json |
| t5_x8_u6_b7 | 5 | 8 | 6 | 7 | ![]() |
eql(R,nrm(R)) | 1652 | 40927426 | o2(x,o1(x)) | true | 13223 | 13223 | 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 |
| t5_x8_u6_b8 | 5 | 8 | 6 | 8 | ![]() |
min(R,nrm(R)) | 1653 | 40927427 | o2(x,o1(x)) | true | 13231 | 13231 | -0.05763 | 0.467 | 0.3974 | 0.2138 | 0.4624 | -0.9989 | 0.9534 | 1.952 | 1 | 4.816 | 0.002807 | 0.003037 | 0.06262 | -0.03945 | 1 | 0.00001341 | 0.000345 | 0.01445 | 0.001922 | 0.04384 | 0.7 | 0.2163 | 0.02734 | 0.001614 | 1 | 1 | 0 | 0 | 0.01155 | 0 | 0 | 0.05404 | json |
| t5_x8_u6_b9 | 5 | 8 | 6 | 9 | ![]() |
dot(R,nrm(R)) | 1654 | 40927428 | o2(x,o1(x)) | true | 13239 | 13239 | 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 | 0 | 0.001342 | 0 | 0 | 0.05959 | json |
| t5_x8_u6_b10 | 5 | 8 | 6 | 10 | ![]() |
dst(R,nrm(R)) | 1655 | 40927429 | o2(x,o1(x)) | true | 13247 | 13247 | 0.2295 | 1 | 0.2295 | 0.01658 | 0.1288 | 0.002534 | 0.9006 | 0.898 | 1 | 2.987 | 0.0001892 | 0.0002659 | 0.01671 | -0.1684 | 1 | -0.000008467 | 0.0000266 | 0.003827 | 0.0001758 | 0.01326 | 0.7934 | 0.09806 | 0.02744 | 0.001604 | 1 | 1 | 0 | 0 | 0.0008473 | 0 | 0 | 0.05109 | json |
| t6_x0_u0_b0 | 6 | 0 | 0 | 0 | ![]() |
add(P,add(P,P)) | 1656 | 48723606 | o2(x,o2(x,x)) | true | 13255 | 13255 | 0 | 0.5 | 0.9641 | 0.9583 | 0.9789 | -1 | 1 | 2 | 1 | 1.379 | 0.001774 | 0 | 0.007937 | 1 | 1 | 0 | 0.0008204 | 0.004879 | 0.001711 | 0.04136 | 5.211 | 0.3082 | 0.001851 | 0.0008561 | 1 | 1 | 0 | 0 | 0.004162 | 0 | 0 | 0.004343 | json |
| t6_x0_u0_b1 | 6 | 0 | 0 | 1 | ![]() |
add(P,sub(P,P)) | 1657 | 48723607 | o2(x,o2(x,x)) | true | 13263 | 13263 | 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 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t6_x0_u0_b2 | 6 | 0 | 0 | 2 | ![]() |
add(P,mlt(P,P)) | 1658 | 48723608 | o2(x,o2(x,x)) | true | 13271 | 13271 | 0.8944 | 0.9375 | 0.8944 | 0.08685 | 0.2947 | 0 | 1 | 1 | 1 | 0.7463 | 0.001303 | 0 | 0.007937 | 1 | 1 | -1.892e-9 | 0.0002682 | 0.003596 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.01501 | 0.003088 | 1 | 1 | 0 | 0 | 0.003279 | 0 | 0 | 0.03776 | json |
| t6_x0_u0_b3 | 6 | 0 | 0 | 3 | ![]() |
add(P,div(P,P)) | 1659 | 48723609 | o2(x,o2(x,x)) | true | 13279 | 13279 | -0.09375 | 0.4375 | 0.9688 | 0.9525 | 0.976 | -1 | 1 | 2 | 1 | 1.404 | 0.02019 | 0 | 0.01587 | 1 | 1 | 0 | 0.03975 | 0.02473 | 0.01993 | 0.1412 | 8.896 | 2 | 0.0212 | 0.04173 | 1 | 1 | 0 | 0 | 0.0272 | 0 | 0 | 0.02856 | json |
| t6_x0_u0_b4 | 6 | 0 | 0 | 4 | ![]() |
add(P,pow(P,P)) | 1660 | 48723610 | o2(x,o2(x,x)) | true | 13287 | 13287 | 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 | 0 | 0.02105 | 0 | 0 | 0.02105 | json |
| t6_x0_u0_b5 | 6 | 0 | 0 | 5 | ![]() |
add(P,mod(P,P)) | 1661 | 48723611 | o2(x,o2(x,x)) | true | 13295 | 13295 | -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 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t6_x0_u0_b6 | 6 | 0 | 0 | 6 | ![]() |
add(P,lrg(P,P)) | 1662 | 48723612 | o2(x,o2(x,x)) | true | 13303 | 13303 | 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 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t6_x0_u0_b7 | 6 | 0 | 0 | 7 | ![]() |
add(P,eql(P,P)) | 1663 | 48723613 | o2(x,o2(x,x)) | true | 13311 | 13311 | 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 | 0 | 0.001851 | 0 | 0 | 0.002038 | json |
| t6_x0_u0_b8 | 6 | 0 | 0 | 8 | ![]() |
add(P,min(P,P)) | 1664 | 48723614 | o2(x,o2(x,x)) | true | 13319 | 13319 | 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 | 0 | 0.003279 | 0 | 0 | 0.003454 | json |
| t6_x0_u0_b9 | 6 | 0 | 0 | 9 | ![]() |
add(P,dot(P,P)) | 1665 | 48723615 | o2(x,o2(x,x)) | true | 13327 | 13327 | 0.9937 | 1 | 0.9937 | 0.004639 | 0.06811 | 0.000291 | 1 | 0.9997 | 1 | 0.1265 | 0.00007372 | 0.0000757 | 0.001194 | -0.01323 | 1 | -3.379e-11 | 0.00003768 | 0.0004689 | 0.0001478 | 0.01216 | 10.18 | 0.2359 | 0.03221 | 0.008122 | 1 | 1 | 0 | 0 | 0.0005008 | 0 | 0 | 0.108 | json |
| t6_x0_u0_b10 | 6 | 0 | 0 | 10 | ![]() |
add(P,dst(P,P)) | 1666 | 48723616 | o2(x,o2(x,x)) | true | 13335 | 13335 | 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 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t6_x0_u0_b11 | 6 | 0 | 0 | 11 | ![]() |
sub(P,add(P,P)) | 1667 | 48723617 | o2(x,o2(x,x)) | true | 13343 | 13343 | 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 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t6_x0_u0_b12 | 6 | 0 | 0 | 12 | ![]() |
sub(P,sub(P,P)) | 1668 | 48723618 | o2(x,o2(x,x)) | true | 13351 | 13351 | 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 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t6_x0_u0_b13 | 6 | 0 | 0 | 13 | ![]() |
sub(P,mlt(P,P)) | 1669 | 48723619 | o2(x,o2(x,x)) | true | 13359 | 13359 | -0.8944 | 0 | 0.8944 | 0.08685 | 0.2947 | -1 | 0 | 1 | 1 | 0.8189 | 0.001303 | 0 | 0.007937 | 1 | 1 | 1.892e-9 | 0.0002682 | 0.003596 | 0.001241 | 0.03522 | 4.438 | 0.2265 | 0.01501 | 0.003088 | 1 | 1 | 0 | 0 | 0.003279 | 0 | 0 | 0.03776 | json |
| t6_x0_u0_b14 | 6 | 0 | 0 | 14 | ![]() |
sub(P,div(P,P)) | 1670 | 48723620 | o2(x,o2(x,x)) | true | 13367 | 13367 | -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 | 0 | 0.006228 | 0 | 0 | 0.006647 | json |
| t6_x0_u0_b15 | 6 | 0 | 0 | 15 | ![]() |
sub(P,pow(P,P)) | 1671 | 48723621 | o2(x,o2(x,x)) | true | 13375 | 13375 | -0.9472 | 0 | 0.9472 | 0.03942 | 0.1985 | -1 | -0.000291 | 0.9997 | 1 | 0.6778 | 0.001005 | 0 | 0.007934 | 1 | 1 | 1.419e-9 | 0.0001503 | 0.002725 | 0.0009424 | 0.0307 | 3.869 | 0.2265 | 0.02549 | 0.003814 | 1 | 1 | 0 | 0 | 0.002565 | 0 | 0 | 0.06508 | json |
| t6_x0_u0_b16 | 6 | 0 | 0 | 16 | ![]() |
sub(P,mod(P,P)) | 1672 | 48723622 | o2(x,o2(x,x)) | true | 13383 | 13383 | -0.125 | 0.375 | 0.7463 | 0.7093 | 0.8422 | -1 | 1 | 2 | 1 | 2.465 | 0.02375 | 0 | 0.03967 | 1 | 1 | -1.877e-12 | 0.03553 | 0.03674 | 0.02218 | 0.1489 | 3.754 | 2 | 0.03348 | 0.05009 | 1 | 1 | 0 | 0 | 0.03363 | 0 | 0 | 0.04742 | json |
| t6_x0_u0_b17 | 6 | 0 | 0 | 17 | ![]() |
sub(P,lrg(P,P)) | 1673 | 48723623 | o2(x,o2(x,x)) | true | 13391 | 13391 | 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 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t6_x0_u0_b18 | 6 | 0 | 0 | 18 | ![]() |
sub(P,eql(P,P)) | 1674 | 48723624 | o2(x,o2(x,x)) | true | 13399 | 13399 | -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 | 0 | 0.001851 | 0 | 0 | 0.002038 | json |
| t6_x0_u0_b19 | 6 | 0 | 0 | 19 | ![]() |
sub(P,min(P,P)) | 1675 | 48723625 | o2(x,o2(x,x)) | true | 13407 | 13407 | 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 |
| t6_x0_u0_b20 | 6 | 0 | 0 | 20 | ![]() |
sub(P,dot(P,P)) | 1676 | 48723626 | o2(x,o2(x,x)) | true | 13415 | 13415 | -0.9937 | 0 | 0.9937 | 0.004639 | 0.06811 | -1 | -0.000291 | 0.9997 | 1 | 0.1265 | 0.00007372 | 0.0000757 | 0.001194 | -0.01323 | 1 | 3.379e-11 | 0.00003768 | 0.0004689 | 0.0001478 | 0.01216 | 10.18 | 0.2359 | 0.03221 | 0.008122 | 1 | 1 | 0 | 0 | 0.0005008 | 0 | 0 | 0.108 | json |
| t6_x0_u0_b21 | 6 | 0 | 0 | 21 | ![]() |
sub(P,dst(P,P)) | 1677 | 48723627 | o2(x,o2(x,x)) | true | 13423 | 13423 | 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 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t6_x0_u0_b22 | 6 | 0 | 0 | 22 | ![]() |
mlt(P,add(P,P)) | 1678 | 48723628 | o2(x,o2(x,x)) | true | 13431 | 13431 | 0.9569 | 1 | 0.9569 | 0.03358 | 0.1833 | 0.0005821 | 1 | 0.9994 | 1 | 0.4876 | 0.001303 | 0 | 0.007932 | 1 | 1 | -1.892e-9 | 0.0002683 | 0.003596 | 0.001239 | 0.0352 | 4.438 | 0.2265 | 0.03881 | 0.007989 | 1 | 1 | 0 | 0 | 0.003279 | 0 | 0 | 0.09765 | json |
| t6_x0_u0_b23 | 6 | 0 | 0 | 23 | ![]() |
mlt(P,sub(P,P)) | 1679 | 48723629 | o2(x,o2(x,x)) | true | 13439 | 13439 | 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 |
| t6_x0_u0_b24 | 6 | 0 | 0 | 24 | ![]() |
mlt(P,mlt(P,P)) | 1680 | 48723630 | o2(x,o2(x,x)) | true | 13447 | 13447 | 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 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t6_x0_u0_b25 | 6 | 0 | 0 | 25 | ![]() |
mlt(P,div(P,P)) | 1681 | 48723631 | o2(x,o2(x,x)) | true | 13455 | 13455 | -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 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t6_x0_u0_b26 | 6 | 0 | 0 | 26 | ![]() |
mlt(P,pow(P,P)) | 1682 | 48723632 | o2(x,o2(x,x)) | true | 13463 | 13463 | -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 | 0 | 0.006228 | 0 | 0 | 0.006485 | json |
| t6_x0_u0_b27 | 6 | 0 | 0 | 27 | ![]() |
mlt(P,mod(P,P)) | 1683 | 48723633 | o2(x,o2(x,x)) | true | 13471 | 13471 | 0.4267 | 0.625 | 0.6767 | 0.4834 | 0.6953 | -1 | 1 | 2 | 1 | 1.744 | 0.01948 | 0 | 0.03433 | 1 | 1 | -0.005166 | 0.02885 | 0.04529 | 0.0183 | 0.1353 | 3.941 | 1 | 0.0403 | 0.05967 | 1 | 1 | 0 | 0 | 0.03032 | 0 | 0 | 0.06271 | json |
| t6_x0_u0_b28 | 6 | 0 | 0 | 28 | ![]() |
mlt(P,lrg(P,P)) | 1684 | 48723634 | o2(x,o2(x,x)) | true | 13479 | 13479 | 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 |
| t6_x0_u0_b29 | 6 | 0 | 0 | 29 | ![]() |
mlt(P,eql(P,P)) | 1685 | 48723635 | o2(x,o2(x,x)) | true | 13487 | 13487 | 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 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t6_x0_u0_b30 | 6 | 0 | 0 | 30 | ![]() |
mlt(P,min(P,P)) | 1686 | 48723636 | o2(x,o2(x,x)) | true | 13495 | 13495 | 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 | 0 | 0.001851 | 0 | 0 | 0.04107 | json |
| t6_x0_u0_b31 | 6 | 0 | 0 | 31 | ![]() |
mlt(P,dot(P,P)) | 1687 | 48723637 | o2(x,o2(x,x)) | true | 13503 | 13503 | -2.328e-10 | 0.5 | 0.9764 | 0.9724 | 0.9861 | -1 | 1 | 2 | 1 | 1.315 | 0.003016 | 0.00001526 | 0.00799 | 0.9899 | 1 | 8.26e-11 | 0.002794 | 0.00757 | 0.002966 | 0.05446 | 6.816 | 0.7569 | 0.003117 | 0.002873 | 1 | 1 | 0 | 0 | 0.005591 | 0 | 0 | 0.00575 | json |
| t6_x0_u0_b32 | 6 | 0 | 0 | 32 | ![]() |
mlt(P,dst(P,P)) | 1688 | 48723638 | o2(x,o2(x,x)) | true | 13511 | 13511 | 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 |
| t6_x0_u0_b33 | 6 | 0 | 0 | 33 | ![]() |
div(P,add(P,P)) | 1689 | 48723639 | o2(x,o2(x,x)) | true | 13519 | 13519 | 0.3125 | 0.875 | 0.5625 | 0.2461 | 0.4961 | -1 | 0.5 | 1.5 | 1 | 0.5436 | 0.01786 | 0 | 0.0119 | 1 | 1 | 3.784e-9 | 0.03571 | 0.02381 | 0.01771 | 0.1331 | 11.18 | 1.5 | 0.07256 | 0.1451 | 1 | 1 | 0 | 0 | 0.02368 | 0 | 0 | 0.09624 | json |
| t6_x0_u0_b34 | 6 | 0 | 0 | 34 | ![]() |
div(P,sub(P,P)) | 1690 | 48723640 | o2(x,o2(x,x)) | true | 13527 | 13527 | 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 | 0 | 0.02105 | 0 | 0 | 0.02105 | json |
| t6_x0_u0_b35 | 6 | 0 | 0 | 35 | ![]() |
div(P,mlt(P,P)) | 1691 | 48723641 | o2(x,o2(x,x)) | true | 13535 | 13535 | -0.125 | 0.4375 | 0.3944 | 0.2329 | 0.4826 | -1 | 0.9999 | 2 | 1 | 3.833 | 0.01607 | 0 | 0.01488 | 1 | 1 | 9.386e-13 | 0.0318 | 0.01748 | 0.01585 | 0.1259 | 8.463 | 2 | 0.06901 | 0.1365 | 1 | 1 | 0 | 0 | 0.02155 | 0 | 0 | 0.0925 | json |
| t6_x0_u0_b36 | 6 | 0 | 0 | 36 | ![]() |
div(P,div(P,P)) | 1692 | 48723642 | o2(x,o2(x,x)) | true | 13543 | 13543 | -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 | 0 | 0.02105 | 0 | 0 | 0.02139 | json |
| t6_x0_u0_b37 | 6 | 0 | 0 | 37 | ![]() |
div(P,pow(P,P)) | 1693 | 48723643 | o2(x,o2(x,x)) | true | 13551 | 13551 | -0.3982 | 0.3984 | 0.6018 | 0.4106 | 0.6408 | -1 | 0.9999 | 2 | 1 | 2.219 | 0.004468 | 0 | 0.0119 | 1 | 1 | -1.42e-9 | 0.007909 | 0.009736 | 0.004326 | 0.06577 | 5.526 | 1 | 0.01088 | 0.01926 | 1 | 1 | 0 | 0 | 0.006607 | 0 | 0 | 0.01609 | json |
| t6_x0_u0_b38 | 6 | 0 | 0 | 38 | ![]() |
div(P,mod(P,P)) | 1694 | 48723644 | o2(x,o2(x,x)) | true | 13559 | 13559 | -0.5 | 0.25 | 1 | 0.75 | 0.866 | -1 | 1 | 2 | 1 | 0.8113 | 0.07937 | 0 | 0.03968 | 1 | 1 | 9.461e-10 | 0.1587 | 0.07937 | 0.07773 | 0.2788 | 7.026 | 2 | 0.1058 | 0.2116 | 1 | 1 | 0 | 0 | 0.05263 | 0 | 0 | 0.07018 | json |
| t6_x0_u0_b39 | 6 | 0 | 0 | 39 | ![]() |
div(P,lrg(P,P)) | 1695 | 48723645 | o2(x,o2(x,x)) | true | 13567 | 13567 | -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 |
| t6_x0_u0_b40 | 6 | 0 | 0 | 40 | ![]() |
div(P,eql(P,P)) | 1696 | 48723646 | o2(x,o2(x,x)) | true | 13575 | 13575 | 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 | 0 | 0.001851 | 0 | 0 | 0.002003 | json |
| t6_x0_u0_b41 | 6 | 0 | 0 | 41 | ![]() |
div(P,min(P,P)) | 1697 | 48723647 | o2(x,o2(x,x)) | true | 13583 | 13583 | 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 | 0 | 0.04211 | 0 | 0 | 0.09624 | json |
| t6_x0_u0_b42 | 6 | 0 | 0 | 42 | ![]() |
div(P,dot(P,P)) | 1698 | 48723648 | o2(x,o2(x,x)) | true | 13591 | 13591 | -0.01562 | 0.489 | 0.1391 | 0.04132 | 0.2033 | -1 | 0.9997 | 2 | 1 | 3.34 | 0.00164 | 0.00113 | 0.005443 | 0.1841 | 1 | -4.78e-10 | 0.005603 | 0.00475 | 0.002741 | 0.05236 | 9.618 | 2.121 | 0.06705 | 0.1356 | 1 | 1 | 0 | 0 | 0.00496 | 0 | 0 | 0.1201 | json |
| t6_x0_u0_b43 | 6 | 0 | 0 | 43 | ![]() |
div(P,dst(P,P)) | 1699 | 48723649 | o2(x,o2(x,x)) | true | 13599 | 13599 | 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 | 0 | 0.02105 | 0 | 0 | 0.02105 | json |



































































































