grad-noise-175k
Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.
About this collection
This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.
The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.
The space
An ither formula with two layers:
- topo: expression trees of up to 64 nodes, built from unary (
o1), binary (o2) and leaf (x) slots - expr: fills those slots
- leaves:
P,D,R - unary:
sqt log frc flr cil sgn nrm - binary:
add sub mlt div pow mod lrg eql min dot dst
- leaves:
A coordinate t·x·u·b follows the formula's projection: t the topology,
x the leaf choices, u the unary choices, b the binary choices.
Points outside the space were omitted from the run. Two orderings ride along:
ordinal is the point's position in ither's whole enumeration (gaps where
points were omitted), and batch index is its place in the batch run's
sequence, 0 to 175,796 (the run's inputs.expr, and the number in its
frame's file name).
The apparatus
Each expression is evaluated at the corners of a rectangular lattice with
quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a
256 × 256 field #A. One configuration per expression: the dimension and
coordinate scale were fixed for the whole run.
Measurements are taken from #A's x channel, its stored values (not a
screenshot), at step 7, after which the run moves to the next expression. The
frame in each row is that field, remapped for display.
The measurements
Notation: f is the field value, E averages the whole field, and E_I
averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out
of the spatial measures).
Value distribution
| key | meaning |
|---|---|
value_mean, value_abs_mean |
E[f] and E[|f|]: signed offset, typical distance from zero |
value_positive_fraction |
share of values above 0 (field tolerance 0.0001) |
value_variance, value_stddev |
population variance and SD: contrast |
value_min, value_max, value_range |
sampled extrema and their difference |
histogram_entropy_bits |
entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits |
histogram_probability_sum |
consistency check, ≈ 1 |
Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))
| key | meaning |
|---|---|
gradient_energy_x, gradient_energy_y |
E_I[dx²], E_I[dy²] |
gradient_magnitude_mean |
E_I[g]: roughness |
gradient_magnitude_variance, _stddev, _max |
how unevenly that roughness is spread, and its peak |
gradient_magnitude_cv |
SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude |
gradient_axis_bias |
(Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too) |
gradient_nonzero_flag |
1 if there is any gradient energy at all |
Change of slope (four-neighbour Laplacian L)
| key | meaning |
|---|---|
laplacian_mean, laplacian_energy, laplacian_abs_mean |
E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not |
Normalised by contrast (comparable across amplitudes)
| key | meaning |
|---|---|
gradient_energy_over_variance |
(Ex + Ey) / variance |
laplacian_energy_over_variance |
E_I[L²] / variance |
variance_normalization_valid_flag, gradient_cv_valid_flag |
whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio |
Three spatial scales (mean squared difference at a distance, over the
central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)
| key | meaning |
|---|---|
scale_diff2_near, _mid, _far |
raw difference energy at each distance |
scale_diff2_near_over_variance, _mid_…, _far_… |
the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition |
Each record's json also holds value_histogram (the 32 bin probabilities)
and scale_curve (the three scales with their distances).
Reading them, and their limits
- Clipping.
#Akept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture. - Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
- Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
- Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
- Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
- Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.
Provenance
- Apparatus:
noiseBatch/one.uto, project SHA-256b6fc8f27…be04d0 - Expression corpus: SHA-256
7d3ec029…d72266 - Run files (canonical), in
~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined oninputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
| coordinate ▲ | t | x | u | b | expression | batch index | ordinal | topo | measured | step | globalStep | value_mean | value_positive_fraction | value_abs_mean | value_variance | value_stddev | value_min | value_max | value_range | histogram_probability_sum | histogram_entropy_bits | gradient_energy_x | gradient_energy_y | gradient_magnitude_mean | gradient_axis_bias | gradient_nonzero_flag | laplacian_mean | laplacian_energy | laplacian_abs_mean | gradient_magnitude_variance | gradient_magnitude_stddev | gradient_magnitude_cv | gradient_magnitude_max | gradient_energy_over_variance | laplacian_energy_over_variance | variance_normalization_valid_flag | gradient_cv_valid_flag | scale_diff2_near | scale_diff2_mid | scale_diff2_far | scale_diff2_near_over_variance | scale_diff2_mid_over_variance | scale_diff2_far_over_variance | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| t17_x26_u1_b60 | 17 | 26 | 1 | 60 | ![]() |
mod(R,mod(R,log(R))) | 119700 | 139100904 | o2(x,o2(x,o1(x))) | true | 117607 | 117607 | -0.953 | 0.04089 | 0.961 | 0.0496 | 0.2227 | -1 | 0.4832 | 1.483 | 1 | 0.345 | 0.005051 | 0.004915 | 0.009462 | 0.01369 | 1 | -3.146e-7 | 0.0208 | 0.01818 | 0.009875 | 0.09937 | 10.5 | 2.097 | 0.2009 | 0.4193 | 1 | 1 | 0.007948 | 0.03423 | 0.08645 | 0.1602 | 0.6901 | 1.743 | json |
| t17_x26_u1_b61 | 17 | 26 | 1 | 61 | ![]() |
mod(R,lrg(R,log(R))) | 119701 | 139100905 | o2(x,o2(x,o1(x))) | true | 117615 | 117615 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u1_b62 | 17 | 26 | 1 | 62 | ![]() |
mod(R,eql(R,log(R))) | 119702 | 139100906 | o2(x,o2(x,o1(x))) | true | 117623 | 117623 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b63 | 17 | 26 | 1 | 63 | ![]() |
mod(R,min(R,log(R))) | 119703 | 139100907 | o2(x,o2(x,o1(x))) | true | 117631 | 117631 | 0.03664 | 0.7089 | 0.139 | 0.0425 | 0.2062 | -0.9675 | 0.5381 | 1.506 | 1 | 3.314 | 0.0006645 | 0.0006161 | 0.02441 | 0.03774 | 1 | -0.00001299 | 0.00007689 | 0.005691 | 0.0006846 | 0.02617 | 1.072 | 0.1638 | 0.03013 | 0.001809 | 1 | 1 | 0.003088 | 0.03982 | 0.08369 | 0.07265 | 0.9369 | 1.969 | json |
| t17_x26_u1_b64 | 17 | 26 | 1 | 64 | ![]() |
mod(R,dot(R,log(R))) | 119704 | 139100908 | o2(x,o2(x,o1(x))) | true | 117639 | 117639 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b65 | 17 | 26 | 1 | 65 | ![]() |
mod(R,dst(R,log(R))) | 119705 | 139100909 | o2(x,o2(x,o1(x))) | true | 117647 | 117647 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b66 | 17 | 26 | 1 | 66 | ![]() |
lrg(R,add(R,log(R))) | 119706 | 139100910 | o2(x,o2(x,o1(x))) | true | 117655 | 117655 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b67 | 17 | 26 | 1 | 67 | ![]() |
lrg(R,sub(R,log(R))) | 119707 | 139100911 | o2(x,o2(x,o1(x))) | true | 117663 | 117663 | 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.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u1_b68 | 17 | 26 | 1 | 68 | ![]() |
lrg(R,mlt(R,log(R))) | 119708 | 139100912 | o2(x,o2(x,o1(x))) | true | 117671 | 117671 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b69 | 17 | 26 | 1 | 69 | ![]() |
lrg(R,div(R,log(R))) | 119709 | 139100913 | o2(x,o2(x,o1(x))) | true | 117679 | 117679 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b70 | 17 | 26 | 1 | 70 | ![]() |
lrg(R,pow(R,log(R))) | 119710 | 139100914 | o2(x,o2(x,o1(x))) | true | 117687 | 117687 | 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.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u1_b71 | 17 | 26 | 1 | 71 | ![]() |
lrg(R,mod(R,log(R))) | 119711 | 139100915 | o2(x,o2(x,o1(x))) | true | 117695 | 117695 | 0.7578 | 0.9989 | 0.7578 | 0.1077 | 0.3282 | 8.471e-8 | 1 | 1 | 1 | 2.783 | 0.001731 | 0.001725 | 0.04064 | 0.001526 | 1 | 0.00005631 | 0.0002083 | 0.009913 | 0.001805 | 0.04248 | 1.045 | 0.1169 | 0.03208 | 0.001934 | 1 | 1 | 0.00638 | 0.08246 | 0.1915 | 0.05922 | 0.7654 | 1.778 | json |
| t17_x26_u1_b72 | 17 | 26 | 1 | 72 | ![]() |
lrg(R,lrg(R,log(R))) | 119712 | 139100916 | o2(x,o2(x,o1(x))) | true | 117703 | 117703 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b73 | 17 | 26 | 1 | 73 | ![]() |
lrg(R,eql(R,log(R))) | 119713 | 139100917 | o2(x,o2(x,o1(x))) | true | 117711 | 117711 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u1_b74 | 17 | 26 | 1 | 74 | ![]() |
lrg(R,min(R,log(R))) | 119714 | 139100918 | o2(x,o2(x,o1(x))) | true | 117719 | 117719 | 0.4824 | 0.9147 | 0.4824 | 0.1537 | 0.3921 | 0 | 1 | 1 | 1 | 3.429 | 0.001972 | 0.002442 | 0.05168 | -0.1065 | 1 | -0.00001781 | 0.0002592 | 0.01257 | 0.001744 | 0.04176 | 0.8079 | 0.1169 | 0.02872 | 0.001686 | 1 | 1 | 0.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u1_b75 | 17 | 26 | 1 | 75 | ![]() |
lrg(R,dot(R,log(R))) | 119715 | 139100919 | o2(x,o2(x,o1(x))) | true | 117727 | 117727 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b76 | 17 | 26 | 1 | 76 | ![]() |
lrg(R,dst(R,log(R))) | 119716 | 139100920 | o2(x,o2(x,o1(x))) | true | 117735 | 117735 | 0.8965 | 1 | 0.8965 | 0.0572 | 0.2392 | 0.000291 | 1 | 0.9997 | 1 | 1.574 | 0.0007844 | 0.0008795 | 0.0197 | -0.05714 | 1 | 0.00002852 | 0.00009832 | 0.00479 | 0.001276 | 0.03572 | 1.813 | 0.1169 | 0.02909 | 0.001719 | 1 | 1 | 0.003746 | 0.04826 | 0.1198 | 0.06549 | 0.8438 | 2.095 | json |
| t17_x26_u1_b77 | 17 | 26 | 1 | 77 | ![]() |
eql(R,add(R,log(R))) | 119717 | 139100921 | o2(x,o2(x,o1(x))) | true | 117743 | 117743 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b78 | 17 | 26 | 1 | 78 | ![]() |
eql(R,sub(R,log(R))) | 119718 | 139100922 | o2(x,o2(x,o1(x))) | true | 117751 | 117751 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b79 | 17 | 26 | 1 | 79 | ![]() |
eql(R,mlt(R,log(R))) | 119719 | 139100923 | o2(x,o2(x,o1(x))) | true | 117759 | 117759 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b80 | 17 | 26 | 1 | 80 | ![]() |
eql(R,div(R,log(R))) | 119720 | 139100924 | o2(x,o2(x,o1(x))) | true | 117767 | 117767 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b81 | 17 | 26 | 1 | 81 | ![]() |
eql(R,pow(R,log(R))) | 119721 | 139100925 | o2(x,o2(x,o1(x))) | true | 117775 | 117775 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b82 | 17 | 26 | 1 | 82 | ![]() |
eql(R,mod(R,log(R))) | 119722 | 139100926 | o2(x,o2(x,o1(x))) | true | 117783 | 117783 | 0.2422 | 0.6781 | 0.2422 | 0.1077 | 0.3282 | 0 | 1 | 1 | 1 | 2.783 | 0.001731 | 0.001725 | 0.04064 | 0.001526 | 1 | -0.00005631 | 0.0002083 | 0.009913 | 0.001805 | 0.04248 | 1.045 | 0.1169 | 0.03208 | 0.001934 | 1 | 1 | 0.00638 | 0.08246 | 0.1915 | 0.05922 | 0.7655 | 1.778 | json |
| t17_x26_u1_b83 | 17 | 26 | 1 | 83 | ![]() |
eql(R,lrg(R,log(R))) | 119723 | 139100927 | o2(x,o2(x,o1(x))) | true | 117791 | 117791 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b84 | 17 | 26 | 1 | 84 | ![]() |
eql(R,eql(R,log(R))) | 119724 | 139100928 | o2(x,o2(x,o1(x))) | true | 117799 | 117799 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b85 | 17 | 26 | 1 | 85 | ![]() |
eql(R,min(R,log(R))) | 119725 | 139100929 | o2(x,o2(x,o1(x))) | true | 117807 | 117807 | 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.008731 | 0.1124 | 0.2862 | 0.0568 | 0.7316 | 1.862 | json |
| t17_x26_u1_b86 | 17 | 26 | 1 | 86 | ![]() |
eql(R,dot(R,log(R))) | 119726 | 139100930 | o2(x,o2(x,o1(x))) | true | 117815 | 117815 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b87 | 17 | 26 | 1 | 87 | ![]() |
eql(R,dst(R,log(R))) | 119727 | 139100931 | o2(x,o2(x,o1(x))) | true | 117823 | 117823 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b88 | 17 | 26 | 1 | 88 | ![]() |
min(R,add(R,log(R))) | 119728 | 139100932 | o2(x,o2(x,o1(x))) | true | 117831 | 117831 | -0.3301 | 0.2266 | 0.4888 | 0.2192 | 0.4682 | -1 | 0.9618 | 1.962 | 1 | 4.614 | 0.003903 | 0.003213 | 0.06187 | 0.09703 | 1 | 0.0001205 | 0.001074 | 0.01757 | 0.003288 | 0.05734 | 0.9268 | 0.5752 | 0.03246 | 0.004898 | 1 | 1 | 0.01256 | 0.1476 | 0.3971 | 0.05729 | 0.6731 | 1.811 | json |
| t17_x26_u1_b89 | 17 | 26 | 1 | 89 | ![]() |
min(R,sub(R,log(R))) | 119729 | 139100933 | o2(x,o2(x,o1(x))) | true | 117839 | 117839 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u1_b90 | 17 | 26 | 1 | 90 | ![]() |
min(R,mlt(R,log(R))) | 119730 | 139100934 | o2(x,o2(x,o1(x))) | true | 117847 | 117847 | -0.3708 | 0 | 0.3708 | 0.04031 | 0.2008 | -0.9989 | -0.002922 | 0.9959 | 1 | 3.529 | 0.0004814 | 0.0005868 | 0.02573 | -0.09863 | 1 | 0.0000284 | 0.00006213 | 0.005884 | 0.0004062 | 0.02015 | 0.7833 | 0.1133 | 0.0265 | 0.001541 | 1 | 1 | 0.001925 | 0.02472 | 0.06699 | 0.04774 | 0.6132 | 1.662 | json |
| t17_x26_u1_b91 | 17 | 26 | 1 | 91 | ![]() |
min(R,div(R,log(R))) | 119731 | 139100935 | o2(x,o2(x,o1(x))) | true | 117855 | 117855 | -0.6808 | 0 | 0.6808 | 0.1002 | 0.3166 | -1 | -0.0007505 | 0.9992 | 1 | 3.288 | 0.002904 | 0.002846 | 0.04038 | 0.01009 | 1 | 0.0001986 | 0.003571 | 0.0235 | 0.00412 | 0.06419 | 1.589 | 0.6651 | 0.05739 | 0.03564 | 1 | 1 | 0.009423 | 0.07544 | 0.1912 | 0.09403 | 0.7528 | 1.908 | json |
| t17_x26_u1_b92 | 17 | 26 | 1 | 92 | ![]() |
min(R,pow(R,log(R))) | 119732 | 139100936 | o2(x,o2(x,o1(x))) | true | 117863 | 117863 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u1_b93 | 17 | 26 | 1 | 93 | ![]() |
min(R,mod(R,log(R))) | 119733 | 139100937 | o2(x,o2(x,o1(x))) | true | 117871 | 117871 | -0.1562 | 0.3804 | 0.2858 | 0.1107 | 0.3327 | -0.9989 | 0.538 | 1.537 | 1 | 4.366 | 0.001361 | 0.001557 | 0.04396 | -0.06689 | 1 | -0.000002407 | 0.0001739 | 0.01011 | 0.0009855 | 0.03139 | 0.7141 | 0.1638 | 0.02637 | 0.001571 | 1 | 1 | 0.005608 | 0.07227 | 0.1727 | 0.05068 | 0.653 | 1.561 | json |
| t17_x26_u1_b94 | 17 | 26 | 1 | 94 | ![]() |
min(R,lrg(R,log(R))) | 119734 | 139100938 | o2(x,o2(x,o1(x))) | true | 117879 | 117879 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u1_b95 | 17 | 26 | 1 | 95 | ![]() |
min(R,eql(R,log(R))) | 119735 | 139100939 | o2(x,o2(x,o1(x))) | true | 117887 | 117887 | -0.2541 | 0 | 0.2541 | 0.06549 | 0.2559 | -0.9989 | 0 | 0.9989 | 1 | 3.542 | 0.000768 | 0.0009295 | 0.0314 | -0.09514 | 1 | 0.00001332 | 0.00009988 | 0.007359 | 0.0007117 | 0.02668 | 0.8497 | 0.1168 | 0.02592 | 0.001525 | 1 | 1 | 0.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x26_u1_b96 | 17 | 26 | 1 | 96 | ![]() |
min(R,min(R,log(R))) | 119736 | 139100940 | o2(x,o2(x,o1(x))) | true | 117895 | 117895 | -0.575 | 0 | 0.575 | 0.08212 | 0.2866 | -1 | -0.002986 | 0.997 | 1 | 3.807 | 0.001586 | 0.001426 | 0.0386 | 0.05333 | 1 | 0.0001111 | 0.00069 | 0.01258 | 0.001522 | 0.03902 | 1.011 | 0.3757 | 0.03668 | 0.008402 | 1 | 1 | 0.00513 | 0.05617 | 0.1458 | 0.06246 | 0.6839 | 1.775 | json |
| t17_x26_u1_b97 | 17 | 26 | 1 | 97 | ![]() |
min(R,dot(R,log(R))) | 119737 | 139100941 | o2(x,o2(x,o1(x))) | true | 117903 | 117903 | -0.1242 | 0.3775 | 0.4147 | 0.2205 | 0.4696 | -1 | 0.9806 | 1.981 | 1 | 4.842 | 0.002883 | 0.003195 | 0.0626 | -0.0513 | 1 | 0.00006406 | 0.0003622 | 0.0144 | 0.002159 | 0.04647 | 0.7423 | 0.2301 | 0.02756 | 0.001642 | 1 | 1 | 0.01154 | 0.1491 | 0.4037 | 0.05232 | 0.6762 | 1.831 | json |
| t17_x26_u1_b98 | 17 | 26 | 1 | 98 | ![]() |
min(R,dst(R,log(R))) | 119738 | 139100942 | o2(x,o2(x,o1(x))) | true | 117911 | 117911 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u1_b99 | 17 | 26 | 1 | 99 | ![]() |
dot(R,add(R,log(R))) | 119739 | 139100943 | o2(x,o2(x,o1(x))) | true | 117919 | 117919 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b100 | 17 | 26 | 1 | 100 | ![]() |
dot(R,sub(R,log(R))) | 119740 | 139100944 | o2(x,o2(x,o1(x))) | true | 117927 | 117927 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b101 | 17 | 26 | 1 | 101 | ![]() |
dot(R,mlt(R,log(R))) | 119741 | 139100945 | o2(x,o2(x,o1(x))) | true | 117935 | 117935 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b102 | 17 | 26 | 1 | 102 | ![]() |
dot(R,div(R,log(R))) | 119742 | 139100946 | o2(x,o2(x,o1(x))) | true | 117943 | 117943 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b103 | 17 | 26 | 1 | 103 | ![]() |
dot(R,pow(R,log(R))) | 119743 | 139100947 | o2(x,o2(x,o1(x))) | true | 117951 | 117951 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b104 | 17 | 26 | 1 | 104 | ![]() |
dot(R,mod(R,log(R))) | 119744 | 139100948 | o2(x,o2(x,o1(x))) | true | 117959 | 117959 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b105 | 17 | 26 | 1 | 105 | ![]() |
dot(R,lrg(R,log(R))) | 119745 | 139100949 | o2(x,o2(x,o1(x))) | true | 117967 | 117967 | 0.01244 | 0.5136 | 0.5338 | 0.3988 | 0.6315 | -1 | 1 | 2 | 1 | 4.753 | 0.006273 | 0.006655 | 0.08199 | -0.02953 | 1 | 0.00005864 | 0.002009 | 0.0233 | 0.006205 | 0.07877 | 0.9608 | 0.4552 | 0.03242 | 0.005038 | 1 | 1 | 0.02671 | 0.3045 | 0.7613 | 0.06698 | 0.7636 | 1.909 | json |
| t17_x26_u1_b106 | 17 | 26 | 1 | 106 | ![]() |
dot(R,eql(R,log(R))) | 119746 | 139100950 | o2(x,o2(x,o1(x))) | true | 117975 | 117975 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b107 | 17 | 26 | 1 | 107 | ![]() |
dot(R,min(R,log(R))) | 119747 | 139100951 | o2(x,o2(x,o1(x))) | true | 117983 | 117983 | 0.1266 | 0.5759 | 0.3859 | 0.2094 | 0.4576 | -1 | 1 | 2 | 1 | 4.75 | 0.002498 | 0.003056 | 0.05863 | -0.1004 | 1 | -0.00002723 | 0.0004505 | 0.01396 | 0.002116 | 0.046 | 0.7846 | 0.2945 | 0.02652 | 0.002151 | 1 | 1 | 0.01131 | 0.1418 | 0.3615 | 0.05399 | 0.677 | 1.726 | json |
| t17_x26_u1_b108 | 17 | 26 | 1 | 108 | ![]() |
dot(R,dot(R,log(R))) | 119748 | 139100952 | o2(x,o2(x,o1(x))) | true | 117991 | 117991 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b109 | 17 | 26 | 1 | 109 | ![]() |
dot(R,dst(R,log(R))) | 119749 | 139100953 | o2(x,o2(x,o1(x))) | true | 117999 | 117999 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b110 | 17 | 26 | 1 | 110 | ![]() |
dst(R,add(R,log(R))) | 119750 | 139100954 | o2(x,o2(x,o1(x))) | true | 118007 | 118007 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b111 | 17 | 26 | 1 | 111 | ![]() |
dst(R,sub(R,log(R))) | 119751 | 139100955 | o2(x,o2(x,o1(x))) | true | 118015 | 118015 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b112 | 17 | 26 | 1 | 112 | ![]() |
dst(R,mlt(R,log(R))) | 119752 | 139100956 | o2(x,o2(x,o1(x))) | true | 118023 | 118023 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b113 | 17 | 26 | 1 | 113 | ![]() |
dst(R,div(R,log(R))) | 119753 | 139100957 | o2(x,o2(x,o1(x))) | true | 118031 | 118031 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b114 | 17 | 26 | 1 | 114 | ![]() |
dst(R,pow(R,log(R))) | 119754 | 139100958 | o2(x,o2(x,o1(x))) | true | 118039 | 118039 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b115 | 17 | 26 | 1 | 115 | ![]() |
dst(R,mod(R,log(R))) | 119755 | 139100959 | o2(x,o2(x,o1(x))) | true | 118047 | 118047 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b116 | 17 | 26 | 1 | 116 | ![]() |
dst(R,lrg(R,log(R))) | 119756 | 139100960 | o2(x,o2(x,o1(x))) | true | 118055 | 118055 | 0.9927 | 1 | 0.9927 | 0.002207 | 0.04698 | 0.4077 | 1 | 0.5923 | 1 | 0.2664 | 0.0001027 | 0.0001547 | 0.00276 | -0.2019 | 1 | -9.761e-11 | 0.0001368 | 0.002036 | 0.0002498 | 0.01581 | 5.726 | 0.1944 | 0.1166 | 0.06196 | 1 | 1 | 0.0006829 | 0.004926 | 0.006003 | 0.3094 | 2.232 | 2.72 | json |
| t17_x26_u1_b117 | 17 | 26 | 1 | 117 | ![]() |
dst(R,eql(R,log(R))) | 119757 | 139100961 | o2(x,o2(x,o1(x))) | true | 118063 | 118063 | 0.897 | 1 | 0.897 | 0.02252 | 0.1501 | 0.09951 | 1 | 0.9005 | 1 | 2.181 | 0.0003411 | 0.0004606 | 0.01666 | -0.149 | 1 | -0.00001961 | 0.000143 | 0.005703 | 0.0005243 | 0.0229 | 1.374 | 0.1266 | 0.0356 | 0.006351 | 1 | 1 | 0.001342 | 0.015 | 0.03485 | 0.05959 | 0.666 | 1.547 | json |
| t17_x26_u1_b118 | 17 | 26 | 1 | 118 | ![]() |
dst(R,min(R,log(R))) | 119758 | 139100962 | o2(x,o2(x,o1(x))) | true | 118071 | 118071 | 0.9278 | 0.9995 | 0.9278 | 0.04905 | 0.2215 | 8.513e-8 | 1 | 1 | 1 | 0.9752 | 0.001395 | 0.001434 | 0.01722 | -0.01401 | 1 | -0.00003894 | 0.0009353 | 0.008682 | 0.002532 | 0.05032 | 2.921 | 0.3789 | 0.05767 | 0.01907 | 1 | 1 | 0.004089 | 0.03757 | 0.06927 | 0.08336 | 0.7658 | 1.412 | json |
| t17_x26_u1_b119 | 17 | 26 | 1 | 119 | ![]() |
dst(R,dot(R,log(R))) | 119759 | 139100963 | o2(x,o2(x,o1(x))) | true | 118079 | 118079 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u1_b120 | 17 | 26 | 1 | 120 | ![]() |
dst(R,dst(R,log(R))) | 119760 | 139100964 | o2(x,o2(x,o1(x))) | true | 118087 | 118087 | -1 | 0 | 1 | 0 | 0 | -1 | -1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u2_b0 | 17 | 26 | 2 | 0 | ![]() |
add(R,add(R,frc(R))) | 119761 | 139101045 | o2(x,o2(x,o1(x))) | true | 118095 | 118095 | 0.3356 | 0.6978 | 0.6962 | 0.488 | 0.6985 | -1 | 1 | 2 | 1 | 3.958 | 0.008637 | 0.009284 | 0.08264 | -0.03611 | 1 | -0.00005275 | 0.004219 | 0.03009 | 0.01109 | 0.1053 | 1.275 | 0.5734 | 0.03672 | 0.008645 | 1 | 1 | 0.03404 | 0.3547 | 0.8174 | 0.06976 | 0.7269 | 1.675 | json |
| t17_x26_u2_b1 | 17 | 26 | 2 | 1 | ![]() |
add(R,sub(R,frc(R))) | 119762 | 139101046 | o2(x,o2(x,o1(x))) | true | 118103 | 118103 | -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.02989 | 0.3406 | 0.8128 | 0.06928 | 0.7893 | 1.884 | json |
| t17_x26_u2_b2 | 17 | 26 | 2 | 2 | ![]() |
add(R,mlt(R,frc(R))) | 119763 | 139101047 | o2(x,o2(x,o1(x))) | true | 118111 | 118111 | 0.0576 | 0.5054 | 0.5558 | 0.4076 | 0.6384 | -0.9999 | 1 | 2 | 1 | 4.772 | 0.005934 | 0.006553 | 0.08376 | -0.04955 | 1 | -0.0000522 | 0.001514 | 0.0224 | 0.005471 | 0.07397 | 0.8831 | 0.342 | 0.03064 | 0.003715 | 1 | 1 | 0.02491 | 0.2998 | 0.7552 | 0.06111 | 0.7355 | 1.853 | json |
| t17_x26_u2_b3 | 17 | 26 | 2 | 3 | ![]() |
add(R,div(R,frc(R))) | 119764 | 139101048 | o2(x,o2(x,o1(x))) | true | 118119 | 118119 | -0.02973 | 0.4769 | 0.8059 | 0.7399 | 0.8602 | -1 | 1 | 2 | 1 | 3.359 | 0.0193 | 0.02335 | 0.1023 | -0.09492 | 1 | 0.0001601 | 0.03081 | 0.05672 | 0.03219 | 0.1794 | 1.753 | 2.002 | 0.05764 | 0.04164 | 1 | 1 | 0.06653 | 0.5665 | 1.263 | 0.08991 | 0.7656 | 1.706 | json |
| t17_x26_u2_b4 | 17 | 26 | 2 | 4 | ![]() |
add(R,pow(R,frc(R))) | 119765 | 139101049 | o2(x,o2(x,o1(x))) | true | 118127 | 118127 | -0.9143 | 0.04297 | 0.9998 | 0.1637 | 0.4046 | -1 | 1 | 2 | 1 | 0.2663 | 0.01674 | 0.01628 | 0.01651 | 0.01389 | 1 | -1.457e-7 | 0.06903 | 0.03317 | 0.03273 | 0.1809 | 10.95 | 2.828 | 0.2017 | 0.4216 | 1 | 1 | 0.02534 | 0.1092 | 0.2745 | 0.1548 | 0.6668 | 1.676 | json |
| t17_x26_u2_b5 | 17 | 26 | 2 | 5 | ![]() |
add(R,mod(R,frc(R))) | 119766 | 139101050 | o2(x,o2(x,o1(x))) | true | 118135 | 118135 | -0.0542 | 0.4682 | 0.4956 | 0.3237 | 0.569 | -0.9993 | 1 | 1.999 | 1 | 4.981 | 0.004351 | 0.004735 | 0.07627 | -0.04228 | 1 | -0.0000147 | 0.0006409 | 0.01816 | 0.003268 | 0.05717 | 0.7496 | 0.3295 | 0.02807 | 0.00198 | 1 | 1 | 0.01885 | 0.2389 | 0.6163 | 0.05824 | 0.7381 | 1.904 | json |
| t17_x26_u2_b6 | 17 | 26 | 2 | 6 | ![]() |
add(R,lrg(R,frc(R))) | 119767 | 139101051 | o2(x,o2(x,o1(x))) | true | 118143 | 118143 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u2_b7 | 17 | 26 | 2 | 7 | ![]() |
add(R,eql(R,frc(R))) | 119768 | 139101052 | o2(x,o2(x,o1(x))) | true | 118151 | 118151 | 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.02829 | 0.3191 | 0.7425 | 0.06714 | 0.7573 | 1.762 | json |
| t17_x26_u2_b8 | 17 | 26 | 2 | 8 | ![]() |
add(R,min(R,frc(R))) | 119769 | 139101053 | o2(x,o2(x,o1(x))) | true | 118159 | 118159 | 0.01372 | 0.4984 | 0.659 | 0.5457 | 0.7387 | -1 | 1 | 2 | 1 | 4.408 | 0.008726 | 0.009756 | 0.09338 | -0.05568 | 1 | 0.00002908 | 0.003164 | 0.02873 | 0.009763 | 0.09881 | 1.058 | 0.4602 | 0.03387 | 0.005798 | 1 | 1 | 0.03624 | 0.4079 | 0.9797 | 0.06641 | 0.7475 | 1.795 | json |
| t17_x26_u2_b9 | 17 | 26 | 2 | 9 | ![]() |
add(R,dot(R,frc(R))) | 119770 | 139101054 | o2(x,o2(x,o1(x))) | true | 118167 | 118167 | 0.1831 | 0.5793 | 0.5652 | 0.3994 | 0.632 | -1 | 1 | 2 | 1 | 4.602 | 0.006337 | 0.006962 | 0.08255 | -0.047 | 1 | -0.00003153 | 0.002111 | 0.02455 | 0.006484 | 0.08052 | 0.9755 | 0.3971 | 0.0333 | 0.005285 | 1 | 1 | 0.02545 | 0.2878 | 0.7171 | 0.06373 | 0.7207 | 1.796 | json |
| t17_x26_u2_b10 | 17 | 26 | 2 | 10 | ![]() |
add(R,dst(R,frc(R))) | 119771 | 139101055 | o2(x,o2(x,o1(x))) | true | 118175 | 118175 | 0.8836 | 1 | 0.8836 | 0.04188 | 0.2046 | 0.003101 | 1 | 0.9969 | 1 | 2.082 | 0.0009362 | 0.0009437 | 0.02205 | -0.004001 | 1 | -0.00005572 | 0.0005142 | 0.009632 | 0.001394 | 0.03734 | 1.693 | 0.2264 | 0.04489 | 0.01228 | 1 | 1 | 0.003338 | 0.03335 | 0.07637 | 0.07971 | 0.7963 | 1.824 | json |
| t17_x26_u2_b11 | 17 | 26 | 2 | 11 | ![]() |
sub(R,add(R,frc(R))) | 119772 | 139101056 | o2(x,o2(x,o1(x))) | true | 118183 | 118183 | -0.5266 | 0 | 0.5266 | 0.05091 | 0.2256 | -0.997 | -0.001084 | 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.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t17_x26_u2_b12 | 17 | 26 | 2 | 12 | ![]() |
sub(R,sub(R,frc(R))) | 119773 | 139101057 | o2(x,o2(x,o1(x))) | true | 118191 | 118191 | 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.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t17_x26_u2_b13 | 17 | 26 | 2 | 13 | ![]() |
sub(R,mlt(R,frc(R))) | 119774 | 139101058 | o2(x,o2(x,o1(x))) | true | 118199 | 118199 | -0.08642 | 0.4593 | 0.2 | 0.07093 | 0.2663 | -0.9978 | 0.2497 | 1.247 | 1 | 3.787 | 0.0007838 | 0.0009664 | 0.03195 | -0.1043 | 1 | 0.00001303 | 0.0001032 | 0.007396 | 0.0007297 | 0.02701 | 0.8456 | 0.1419 | 0.02468 | 0.001455 | 1 | 1 | 0.003207 | 0.04129 | 0.1128 | 0.04522 | 0.5822 | 1.591 | json |
| t17_x26_u2_b14 | 17 | 26 | 2 | 14 | ![]() |
sub(R,div(R,frc(R))) | 119775 | 139101059 | o2(x,o2(x,o1(x))) | true | 118207 | 118207 | 0.1798 | 0.5504 | 0.4806 | 0.3271 | 0.5719 | -0.9965 | 1 | 1.996 | 1 | 4.337 | 0.007155 | 0.009328 | 0.06932 | -0.1318 | 1 | -0.0004483 | 0.01221 | 0.03419 | 0.01168 | 0.1081 | 1.559 | 1.484 | 0.05039 | 0.03732 | 1 | 1 | 0.02287 | 0.2052 | 0.5105 | 0.06992 | 0.6272 | 1.561 | json |
| t17_x26_u2_b15 | 17 | 26 | 2 | 15 | ![]() |
sub(R,pow(R,frc(R))) | 119776 | 139101060 | o2(x,o2(x,o1(x))) | true | 118215 | 118215 | -0.9663 | 0 | 0.9663 | 0.0264 | 0.1625 | -1 | -0.003246 | 0.9968 | 1 | 0.3888 | 0.002668 | 0.00273 | 0.007389 | -0.0114 | 1 | 0.000005503 | 0.01124 | 0.01322 | 0.005347 | 0.07312 | 9.896 | 1.391 | 0.2044 | 0.4257 | 1 | 1 | 0.004429 | 0.0192 | 0.04517 | 0.1678 | 0.7273 | 1.711 | json |
| t17_x26_u2_b16 | 17 | 26 | 2 | 16 | ![]() |
sub(R,mod(R,frc(R))) | 119777 | 139101061 | o2(x,o2(x,o1(x))) | true | 118223 | 118223 | 0.06625 | 0.5658 | 0.3101 | 0.1659 | 0.4073 | -0.9984 | 0.9807 | 1.979 | 1 | 4.551 | 0.002021 | 0.002373 | 0.05193 | -0.08008 | 1 | 0.00005354 | 0.0002557 | 0.01188 | 0.001698 | 0.0412 | 0.7934 | 0.23 | 0.02649 | 0.001541 | 1 | 1 | 0.008184 | 0.1051 | 0.2836 | 0.04933 | 0.6335 | 1.709 | json |
| t17_x26_u2_b17 | 17 | 26 | 2 | 17 | ![]() |
sub(R,lrg(R,frc(R))) | 119778 | 139101062 | o2(x,o2(x,o1(x))) | true | 118231 | 118231 | 0.008979 | 0.4983 | 0.3946 | 0.2196 | 0.4686 | -0.9989 | 0.9806 | 1.979 | 1 | 4.862 | 0.002813 | 0.00317 | 0.0632 | -0.05957 | 1 | 0.00002651 | 0.0003508 | 0.01449 | 0.001989 | 0.0446 | 0.7057 | 0.2301 | 0.02725 | 0.001598 | 1 | 1 | 0.01182 | 0.1519 | 0.3914 | 0.05384 | 0.6917 | 1.782 | json |
| t17_x26_u2_b18 | 17 | 26 | 2 | 18 | ![]() |
sub(R,eql(R,frc(R))) | 119779 | 139101063 | o2(x,o2(x,o1(x))) | true | 118239 | 118239 | -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.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t17_x26_u2_b19 | 17 | 26 | 2 | 19 | ![]() |
sub(R,min(R,frc(R))) | 119780 | 139101064 | o2(x,o2(x,o1(x))) | true | 118247 | 118247 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u2_b20 | 17 | 26 | 2 | 20 | ![]() |
sub(R,dot(R,frc(R))) | 119781 | 139101065 | o2(x,o2(x,o1(x))) | true | 118255 | 118255 | -0.2409 | 0.3259 | 0.3881 | 0.1778 | 0.4216 | -1 | 0.7052 | 1.705 | 1 | 4.565 | 0.002828 | 0.002591 | 0.05675 | 0.04384 | 1 | 0.00001864 | 0.0006046 | 0.01463 | 0.002199 | 0.04689 | 0.8263 | 0.3419 | 0.03048 | 0.003401 | 1 | 1 | 0.01071 | 0.1298 | 0.3257 | 0.06026 | 0.7301 | 1.832 | json |
| t17_x26_u2_b21 | 17 | 26 | 2 | 21 | ![]() |
sub(R,dst(R,frc(R))) | 119782 | 139101066 | o2(x,o2(x,o1(x))) | true | 118263 | 118263 | -0.7596 | 0.06798 | 0.8063 | 0.1575 | 0.3969 | -1 | 0.8538 | 1.854 | 1 | 2.705 | 0.0032 | 0.00387 | 0.04512 | -0.09486 | 1 | 0.00008747 | 0.001643 | 0.01804 | 0.005034 | 0.07095 | 1.572 | 0.3786 | 0.04489 | 0.01043 | 1 | 1 | 0.01526 | 0.1587 | 0.3295 | 0.0969 | 1.008 | 2.092 | json |
| t17_x26_u2_b22 | 17 | 26 | 2 | 22 | ![]() |
mlt(R,add(R,frc(R))) | 119783 | 139101067 | o2(x,o2(x,o1(x))) | true | 118271 | 118271 | 0.4068 | 0.8459 | 0.4264 | 0.1362 | 0.369 | -0.125 | 1 | 1.125 | 1 | 4.008 | 0.00216 | 0.002237 | 0.04818 | -0.01751 | 1 | -0.00005176 | 0.0006615 | 0.01367 | 0.002076 | 0.04556 | 0.9457 | 0.2343 | 0.03229 | 0.004857 | 1 | 1 | 0.008416 | 0.09889 | 0.2822 | 0.0618 | 0.7261 | 2.072 | json |
| t17_x26_u2_b23 | 17 | 26 | 2 | 23 | ![]() |
mlt(R,sub(R,frc(R))) | 119784 | 139101068 | o2(x,o2(x,o1(x))) | true | 118279 | 118279 | 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.003123 | 0.04017 | 0.1061 | 0.04769 | 0.6134 | 1.62 | json |
| t17_x26_u2_b24 | 17 | 26 | 2 | 24 | ![]() |
mlt(R,mlt(R,frc(R))) | 119785 | 139101069 | o2(x,o2(x,o1(x))) | true | 118287 | 118287 | 0.1822 | 0.9997 | 0.1822 | 0.03173 | 0.1781 | 0.000038 | 0.9449 | 0.9448 | 1 | 2.929 | 0.0004908 | 0.0004637 | 0.0217 | 0.02838 | 1 | 0.0000218 | 0.00005761 | 0.005103 | 0.0004836 | 0.02199 | 1.013 | 0.1088 | 0.03009 | 0.001816 | 1 | 1 | 0.001798 | 0.02313 | 0.06302 | 0.05667 | 0.729 | 1.986 | json |
| t17_x26_u2_b25 | 17 | 26 | 2 | 25 | ![]() |
mlt(R,div(R,frc(R))) | 119786 | 139101070 | o2(x,o2(x,o1(x))) | true | 118295 | 118295 | 0.6075 | 1 | 0.6075 | 0.1069 | 0.327 | 0.0001369 | 1 | 0.9999 | 1 | 3.639 | 0.002526 | 0.00288 | 0.04014 | -0.06542 | 1 | -0.0004227 | 0.004101 | 0.02038 | 0.003795 | 0.06161 | 1.535 | 1.01 | 0.05057 | 0.03837 | 1 | 1 | 0.008338 | 0.07179 | 0.2052 | 0.07799 | 0.6715 | 1.92 | json |
| t17_x26_u2_b26 | 17 | 26 | 2 | 26 | ![]() |
mlt(R,pow(R,frc(R))) | 119787 | 139101071 | o2(x,o2(x,o1(x))) | true | 118303 | 118303 | -0.9373 | 0.04297 | 0.9768 | 0.08913 | 0.2985 | -1 | 0.892 | 1.892 | 1 | 0.4104 | 0.008974 | 0.009001 | 0.01322 | -0.001488 | 1 | 0.00000863 | 0.0375 | 0.0244 | 0.0178 | 0.1334 | 10.09 | 2.497 | 0.2017 | 0.4207 | 1 | 1 | 0.01419 | 0.06182 | 0.1501 | 0.1592 | 0.6936 | 1.684 | json |
| t17_x26_u2_b27 | 17 | 26 | 2 | 27 | ![]() |
mlt(R,mod(R,frc(R))) | 119788 | 139101072 | o2(x,o2(x,o1(x))) | true | 118311 | 118311 | 0.07008 | 0.9274 | 0.07008 | 0.008867 | 0.09417 | 0 | 0.9139 | 0.9139 | 1 | 1.696 | 0.0001188 | 0.0001138 | 0.00928 | 0.02162 | 1 | -0.000002864 | 0.00001374 | 0.002173 | 0.0001465 | 0.01211 | 1.304 | 0.1069 | 0.02624 | 0.001549 | 1 | 1 | 0.0005557 | 0.007207 | 0.0215 | 0.06267 | 0.8128 | 2.425 | json |
| t17_x26_u2_b28 | 17 | 26 | 2 | 28 | ![]() |
mlt(R,lrg(R,frc(R))) | 119789 | 139101073 | o2(x,o2(x,o1(x))) | true | 118319 | 118319 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u2_b29 | 17 | 26 | 2 | 29 | ![]() |
mlt(R,eql(R,frc(R))) | 119790 | 139101074 | o2(x,o2(x,o1(x))) | true | 118327 | 118327 | 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.003984 | 0.05127 | 0.1379 | 0.05695 | 0.7329 | 1.971 | json |
| t17_x26_u2_b30 | 17 | 26 | 2 | 30 | ![]() |
mlt(R,min(R,frc(R))) | 119791 | 139101075 | o2(x,o2(x,o1(x))) | true | 118335 | 118335 | 0.3495 | 0.9999 | 0.3495 | 0.05762 | 0.24 | 0.00007718 | 0.9979 | 0.9979 | 1 | 3.768 | 0.0007428 | 0.0008028 | 0.03156 | -0.03877 | 1 | 1.602e-7 | 0.00009378 | 0.007378 | 0.0005496 | 0.02344 | 0.7428 | 0.1117 | 0.02682 | 0.001628 | 1 | 1 | 0.002725 | 0.03526 | 0.107 | 0.0473 | 0.6119 | 1.856 | json |
| t17_x26_u2_b31 | 17 | 26 | 2 | 31 | ![]() |
mlt(R,dot(R,frc(R))) | 119792 | 139101076 | o2(x,o2(x,o1(x))) | true | 118343 | 118343 | 0.1666 | 0.7406 | 0.2575 | 0.1017 | 0.319 | -1 | 1 | 2 | 1 | 4.179 | 0.001434 | 0.001591 | 0.04078 | -0.05196 | 1 | 0.00001391 | 0.0002654 | 0.009762 | 0.001362 | 0.03691 | 0.905 | 0.2068 | 0.02973 | 0.002609 | 1 | 1 | 0.006621 | 0.08253 | 0.2121 | 0.06508 | 0.8113 | 2.085 | json |
| t17_x26_u2_b32 | 17 | 26 | 2 | 32 | ![]() |
mlt(R,dst(R,frc(R))) | 119793 | 139101077 | o2(x,o2(x,o1(x))) | true | 118351 | 118351 | -0.1086 | 0.4112 | 0.4401 | 0.2717 | 0.5213 | -1 | 1 | 2 | 1 | 4.894 | 0.003689 | 0.003989 | 0.06913 | -0.03905 | 1 | 0.00005627 | 0.0006123 | 0.01658 | 0.002898 | 0.05383 | 0.7787 | 0.3059 | 0.02825 | 0.002253 | 1 | 1 | 0.01388 | 0.1756 | 0.4686 | 0.0511 | 0.6463 | 1.725 | json |
| t17_x26_u2_b33 | 17 | 26 | 2 | 33 | ![]() |
div(R,add(R,frc(R))) | 119794 | 139101078 | o2(x,o2(x,o1(x))) | true | 118359 | 118359 | 0.3208 | 0.7416 | 0.6224 | 0.3832 | 0.619 | -1 | 1 | 2 | 1 | 4.145 | 0.007835 | 0.008566 | 0.07326 | -0.04454 | 1 | -0.0002011 | 0.006799 | 0.03086 | 0.01103 | 0.105 | 1.434 | 1.494 | 0.0428 | 0.01774 | 1 | 1 | 0.03536 | 0.3233 | 0.9284 | 0.09228 | 0.8437 | 2.423 | json |
| t17_x26_u2_b34 | 17 | 26 | 2 | 34 | ![]() |
div(R,sub(R,frc(R))) | 119795 | 139101079 | o2(x,o2(x,o1(x))) | true | 118367 | 118367 | -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.08531 | 0.3555 | 0.7697 | 0.2264 | 0.9434 | 2.043 | json |
| t17_x26_u2_b35 | 17 | 26 | 2 | 35 | ![]() |
div(R,mlt(R,frc(R))) | 119796 | 139101080 | o2(x,o2(x,o1(x))) | true | 118375 | 118375 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | json |
| t17_x26_u2_b36 | 17 | 26 | 2 | 36 | ![]() |
div(R,div(R,frc(R))) | 119797 | 139101081 | o2(x,o2(x,o1(x))) | true | 118383 | 118383 | 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.002542 | 0.03267 | 0.08567 | 0.04993 | 0.6416 | 1.683 | json |
| t17_x26_u2_b37 | 17 | 26 | 2 | 37 | ![]() |
div(R,pow(R,frc(R))) | 119798 | 139101082 | o2(x,o2(x,o1(x))) | true | 118391 | 118391 | -0.9267 | 0.04297 | 0.9873 | 0.1215 | 0.3486 | -1 | 0.9965 | 1.997 | 1 | 0.4078 | 0.01229 | 0.01235 | 0.01532 | -0.002436 | 1 | 0.000007894 | 0.05142 | 0.02858 | 0.0244 | 0.1562 | 10.19 | 2.802 | 0.2027 | 0.4233 | 1 | 1 | 0.01976 | 0.08541 | 0.2064 | 0.1626 | 0.7029 | 1.698 | json |
| t17_x26_u2_b38 | 17 | 26 | 2 | 38 | ![]() |
div(R,mod(R,frc(R))) | 119799 | 139101083 | o2(x,o2(x,o1(x))) | true | 118399 | 118399 | -0.5078 | 0.2461 | 1 | 0.7421 | 0.8614 | -1 | 1 | 2 | 1 | 0.805 | 0.07269 | 0.07017 | 0.07082 | 0.01764 | 1 | 6.007e-10 | 0.3007 | 0.1429 | 0.1378 | 0.3712 | 5.241 | 2.828 | 0.1925 | 0.4052 | 1 | 1 | 0.152 | 0.629 | 1.439 | 0.2048 | 0.8476 | 1.939 | json |



































































































