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_x1_u0_b56 | 17 | 1 | 0 | 56 | ![]() |
mod(P,sub(P,sqt(D))) | 98400 | 138090674 | o2(x,o2(x,o1(x))) | true | 104007 | 104007 | -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_x1_u0_b57 | 17 | 1 | 0 | 57 | ![]() |
mod(P,mlt(P,sqt(D))) | 98401 | 138090675 | o2(x,o2(x,o1(x))) | true | 104015 | 104015 | -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_x1_u0_b58 | 17 | 1 | 0 | 58 | ![]() |
mod(P,div(P,sqt(D))) | 98402 | 138090676 | o2(x,o2(x,o1(x))) | true | 104023 | 104023 | -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_x1_u0_b59 | 17 | 1 | 0 | 59 | ![]() |
mod(P,pow(P,sqt(D))) | 98403 | 138090677 | o2(x,o2(x,o1(x))) | true | 104031 | 104031 | -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_x1_u0_b60 | 17 | 1 | 0 | 60 | ![]() |
mod(P,mod(P,sqt(D))) | 98404 | 138090678 | o2(x,o2(x,o1(x))) | true | 104039 | 104039 | -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_x1_u0_b61 | 17 | 1 | 0 | 61 | ![]() |
mod(P,lrg(P,sqt(D))) | 98405 | 138090679 | o2(x,o2(x,o1(x))) | true | 104047 | 104047 | -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 |
| t17_x1_u0_b62 | 17 | 1 | 0 | 62 | ![]() |
mod(P,eql(P,sqt(D))) | 98406 | 138090680 | o2(x,o2(x,o1(x))) | true | 104055 | 104055 | -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_x1_u0_b63 | 17 | 1 | 0 | 63 | ![]() |
mod(P,min(P,sqt(D))) | 98407 | 138090681 | o2(x,o2(x,o1(x))) | true | 104063 | 104063 | -0.1888 | 0.4219 | 0.5617 | 0.4831 | 0.6951 | -1 | 1 | 2 | 1 | 2.932 | 0.02964 | 0 | 0.06892 | 1 | 1 | 0.0005711 | 0.05689 | 0.1011 | 0.0249 | 0.1578 | 2.289 | 1.116 | 0.06135 | 0.1178 | 1 | 1 | 0.02967 | 0.1592 | 0.4125 | 0.06142 | 0.3296 | 0.8538 | json |
| t17_x1_u0_b64 | 17 | 1 | 0 | 64 | ![]() |
mod(P,dot(P,sqt(D))) | 98408 | 138090682 | o2(x,o2(x,o1(x))) | true | 104071 | 104071 | -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_x1_u0_b65 | 17 | 1 | 0 | 65 | ![]() |
mod(P,dst(P,sqt(D))) | 98409 | 138090683 | o2(x,o2(x,o1(x))) | true | 104079 | 104079 | -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_x1_u0_b66 | 17 | 1 | 0 | 66 | ![]() |
lrg(P,add(P,sqt(D))) | 98410 | 138090684 | o2(x,o2(x,o1(x))) | true | 104087 | 104087 | 0.5 | 1 | 0.5 | 0.1418 | 0.3765 | 0.000291 | 0.9997 | 0.9994 | 1 | 3.406 | 0.06511 | 0 | 0.1228 | 1 | 1 | 0 | 0.1208 | 0.1337 | 0.05001 | 0.2236 | 1.821 | 0.9994 | 0.4593 | 0.8522 | 1 | 1 | 0.07073 | 0.2419 | 0 | 0.4989 | 1.706 | 0 | json |
| t17_x1_u0_b67 | 17 | 1 | 0 | 67 | ![]() |
lrg(P,sub(P,sqt(D))) | 98411 | 138090685 | o2(x,o2(x,o1(x))) | true | 104095 | 104095 | 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_x1_u0_b68 | 17 | 1 | 0 | 68 | ![]() |
lrg(P,mlt(P,sqt(D))) | 98412 | 138090686 | o2(x,o2(x,o1(x))) | true | 104103 | 104103 | 0.7188 | 1 | 0.7188 | 0.1413 | 0.3759 | 0.000291 | 1 | 0.9997 | 1 | 2.519 | 0.03488 | 0 | 0.06731 | 1 | 1 | -0.00008984 | 0.06442 | 0.07172 | 0.03035 | 0.1742 | 2.588 | 0.9994 | 0.2469 | 0.456 | 1 | 1 | 0.03759 | 0.1321 | 0.03299 | 0.266 | 0.935 | 0.2335 | json |
| t17_x1_u0_b69 | 17 | 1 | 0 | 69 | ![]() |
lrg(P,div(P,sqt(D))) | 98413 | 138090687 | o2(x,o2(x,o1(x))) | true | 104111 | 104111 | 0.75 | 1 | 0.75 | 0.1334 | 0.3652 | 0.000291 | 1 | 0.9997 | 1 | 2.329 | 0.03453 | 0 | 0.06344 | 1 | 1 | 0.00008984 | 0.06436 | 0.07079 | 0.03051 | 0.1747 | 2.753 | 0.9997 | 0.2589 | 0.4825 | 1 | 1 | 0.03929 | 0.1364 | 0.03299 | 0.2946 | 1.023 | 0.2473 | json |
| t17_x1_u0_b70 | 17 | 1 | 0 | 70 | ![]() |
lrg(P,pow(P,sqt(D))) | 98414 | 138090688 | o2(x,o2(x,o1(x))) | true | 104119 | 104119 | 0.9063 | 0.9375 | 0.9063 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0.006189 | 0.0332 | 0.1172 | 0.07914 | 0.4245 | 1.499 | json |
| t17_x1_u0_b71 | 17 | 1 | 0 | 71 | ![]() |
lrg(P,mod(P,sqt(D))) | 98415 | 138090689 | o2(x,o2(x,o1(x))) | true | 104127 | 104127 | 0.7188 | 1 | 0.7188 | 0.1413 | 0.3759 | 0.000291 | 1 | 0.9997 | 1 | 2.519 | 0.03488 | 0 | 0.06731 | 1 | 1 | -0.00008984 | 0.06442 | 0.07172 | 0.03035 | 0.1742 | 2.588 | 0.9994 | 0.2469 | 0.456 | 1 | 1 | 0.03759 | 0.1321 | 0.03299 | 0.266 | 0.935 | 0.2335 | json |
| t17_x1_u0_b72 | 17 | 1 | 0 | 72 | ![]() |
lrg(P,lrg(P,sqt(D))) | 98416 | 138090690 | o2(x,o2(x,o1(x))) | true | 104135 | 104135 | 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 |
| t17_x1_u0_b73 | 17 | 1 | 0 | 73 | ![]() |
lrg(P,eql(P,sqt(D))) | 98417 | 138090691 | o2(x,o2(x,o1(x))) | true | 104143 | 104143 | 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 |
| t17_x1_u0_b74 | 17 | 1 | 0 | 74 | ![]() |
lrg(P,min(P,sqt(D))) | 98418 | 138090692 | o2(x,o2(x,o1(x))) | true | 104151 | 104151 | 0.2188 | 0.4375 | 0.2188 | 0.1235 | 0.3515 | 0 | 0.9997 | 0.9997 | 1 | 2.124 | 0.03022 | 0 | 0.0555 | 1 | 1 | -0.00008984 | 0.05631 | 0.06193 | 0.02713 | 0.1647 | 2.967 | 0.9997 | 0.2446 | 0.4558 | 1 | 1 | 0.03318 | 0.1162 | 0.03299 | 0.2686 | 0.9402 | 0.267 | json |
| t17_x1_u0_b75 | 17 | 1 | 0 | 75 | ![]() |
lrg(P,dot(P,sqt(D))) | 98419 | 138090693 | o2(x,o2(x,o1(x))) | true | 104159 | 104159 | 0.8744 | 1 | 0.8744 | 0.0621 | 0.2492 | 0.000582 | 1 | 0.9994 | 1 | 1.917 | 0.01571 | 0.01752 | 0.0641 | -0.05462 | 1 | -0.0001537 | 0.08144 | 0.08939 | 0.02912 | 0.1706 | 2.662 | 1.413 | 0.5351 | 1.312 | 1 | 1 | 0.03418 | 0.1066 | 0.02108 | 0.5504 | 1.716 | 0.3394 | json |
| t17_x1_u0_b76 | 17 | 1 | 0 | 76 | ![]() |
lrg(P,dst(P,sqt(D))) | 98420 | 138090694 | o2(x,o2(x,o1(x))) | true | 104167 | 104167 | 0.7748 | 1 | 0.7748 | 0.08834 | 0.2972 | 0.000582 | 1 | 0.9994 | 1 | 2.908 | 0.02492 | 0.02342 | 0.1023 | 0.03085 | 1 | -0.00001913 | 0.1018 | 0.1242 | 0.03787 | 0.1946 | 1.902 | 1.413 | 0.5472 | 1.153 | 1 | 1 | 0.05123 | 0.1712 | 0.01568 | 0.58 | 1.938 | 0.1775 | json |
| t17_x1_u0_b77 | 17 | 1 | 0 | 77 | ![]() |
eql(P,add(P,sqt(D))) | 98421 | 138090695 | o2(x,o2(x,o1(x))) | true | 104175 | 104175 | 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_x1_u0_b78 | 17 | 1 | 0 | 78 | ![]() |
eql(P,sub(P,sqt(D))) | 98422 | 138090696 | o2(x,o2(x,o1(x))) | true | 104183 | 104183 | 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_x1_u0_b79 | 17 | 1 | 0 | 79 | ![]() |
eql(P,mlt(P,sqt(D))) | 98423 | 138090697 | o2(x,o2(x,o1(x))) | true | 104191 | 104191 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u0_b80 | 17 | 1 | 0 | 80 | ![]() |
eql(P,div(P,sqt(D))) | 98424 | 138090698 | o2(x,o2(x,o1(x))) | true | 104199 | 104199 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u0_b81 | 17 | 1 | 0 | 81 | ![]() |
eql(P,pow(P,sqt(D))) | 98425 | 138090699 | o2(x,o2(x,o1(x))) | true | 104207 | 104207 | 0.09375 | 0.125 | 0.09375 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0.006189 | 0.0332 | 0.1172 | 0.07914 | 0.4245 | 1.499 | json |
| t17_x1_u0_b82 | 17 | 1 | 0 | 82 | ![]() |
eql(P,mod(P,sqt(D))) | 98426 | 138090700 | o2(x,o2(x,o1(x))) | true | 104215 | 104215 | 0.03125 | 0.0625 | 0.03125 | 0.02351 | 0.1533 | 0 | 0.9997 | 0.9997 | 1 | 0.459 | 0.004319 | 0 | 0.007934 | 1 | 1 | -2.365e-10 | 0.008002 | 0.008862 | 0.004255 | 0.06523 | 8.221 | 0.9997 | 0.1837 | 0.3404 | 1 | 1 | 0.00615 | 0.02664 | 0.03299 | 0.2616 | 1.133 | 1.403 | json |
| t17_x1_u0_b83 | 17 | 1 | 0 | 83 | ![]() |
eql(P,lrg(P,sqt(D))) | 98427 | 138090701 | o2(x,o2(x,o1(x))) | true | 104223 | 104223 | 0.09375 | 0.125 | 0.09375 | 0.0782 | 0.2796 | 0 | 1 | 1 | 1 | 0.7448 | 0.004321 | 0 | 0.007937 | 1 | 1 | -4.731e-10 | 0.007953 | 0.008864 | 0.004257 | 0.06525 | 8.221 | 1 | 0.05526 | 0.1017 | 1 | 1 | 0.006189 | 0.0332 | 0.1172 | 0.07914 | 0.4245 | 1.499 | json |
| t17_x1_u0_b84 | 17 | 1 | 0 | 84 | ![]() |
eql(P,eql(P,sqt(D))) | 98428 | 138090702 | o2(x,o2(x,o1(x))) | true | 104231 | 104231 | 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 |
| t17_x1_u0_b85 | 17 | 1 | 0 | 85 | ![]() |
eql(P,min(P,sqt(D))) | 98429 | 138090703 | o2(x,o2(x,o1(x))) | true | 104239 | 104239 | 0.7813 | 1 | 0.7813 | 0.1235 | 0.3515 | 0.000291 | 1 | 0.9997 | 1 | 2.124 | 0.03022 | 0 | 0.0555 | 1 | 1 | 0.00008984 | 0.05631 | 0.06193 | 0.02713 | 0.1647 | 2.967 | 0.9997 | 0.2446 | 0.4558 | 1 | 1 | 0.03318 | 0.1162 | 0.03299 | 0.2686 | 0.9402 | 0.267 | json |
| t17_x1_u0_b86 | 17 | 1 | 0 | 86 | ![]() |
eql(P,dot(P,sqt(D))) | 98430 | 138090704 | o2(x,o2(x,o1(x))) | true | 104247 | 104247 | 0.0009766 | 0.003693 | 0.0009766 | 0.0005982 | 0.02446 | 0 | 0.9994 | 0.9994 | 1 | 0.03116 | 0.0001074 | 0.0001074 | 0.0004565 | 0 | 1 | -2.328e-11 | 0.0004354 | 0.0005494 | 0.0002145 | 0.01465 | 32.08 | 0.9994 | 0.3592 | 0.7279 | 1 | 1 | 0.0004058 | 0.001758 | 0.002177 | 0.6784 | 2.939 | 3.639 | json |
| t17_x1_u0_b87 | 17 | 1 | 0 | 87 | ![]() |
eql(P,dst(P,sqt(D))) | 98431 | 138090705 | o2(x,o2(x,o1(x))) | true | 104255 | 104255 | 3.051e-7 | 0.00001526 | 3.051e-7 | 6.099e-9 | 0.0000781 | 0 | 0.01999 | 0.01999 | 1 | 0 | 1.259e-8 | 1.259e-8 | 0.000001075 | 0 | 0 | 0 | 1.259e-7 | 0.000002519 | 2.518e-8 | 0.0001587 | 147.6 | 0.02827 | 4.128 | 20.64 | 1 | 1 | 0 | 0 | 5.536e-9 | 0 | 0 | 0.9077 | json |
| t17_x1_u0_b88 | 17 | 1 | 0 | 88 | ![]() |
min(P,add(P,sqt(D))) | 98432 | 138090706 | o2(x,o2(x,o1(x))) | true | 104263 | 104263 | 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 |
| t17_x1_u0_b89 | 17 | 1 | 0 | 89 | ![]() |
min(P,sub(P,sqt(D))) | 98433 | 138090707 | o2(x,o2(x,o1(x))) | true | 104271 | 104271 | -0.0312 | 0.4727 | 0.9375 | 0.9174 | 0.9578 | -1 | 1 | 2 | 1 | 1.826 | 0.001861 | 0 | 0.01364 | 1 | 1 | 1.655e-9 | 0.0005692 | 0.006704 | 0.001675 | 0.04092 | 3 | 0.1821 | 0.002029 | 0.0006205 | 1 | 1 | 0.00456 | 0.03632 | 0.2274 | 0.004971 | 0.03959 | 0.2479 | json |
| t17_x1_u0_b90 | 17 | 1 | 0 | 90 | ![]() |
min(P,mlt(P,sqt(D))) | 98434 | 138090708 | o2(x,o2(x,o1(x))) | true | 104279 | 104279 | -0.01928 | 0.5 | 0.9182 | 0.895 | 0.946 | -1 | 1 | 2 | 1 | 2.113 | 0.008421 | 0 | 0.02653 | 1 | 1 | 2.365e-9 | 0.01841 | 0.03058 | 0.007716 | 0.08784 | 3.311 | 0.8224 | 0.009409 | 0.02057 | 1 | 1 | 0.01013 | 0.03402 | 0.2092 | 0.01132 | 0.03801 | 0.2337 | json |
| t17_x1_u0_b91 | 17 | 1 | 0 | 91 | ![]() |
min(P,div(P,sqt(D))) | 98435 | 138090709 | o2(x,o2(x,o1(x))) | true | 104287 | 104287 | -0.005521 | 0.5 | 0.943 | 0.9319 | 0.9654 | -1 | 1 | 2 | 1 | 1.683 | 0.000968 | 0 | 0.007937 | 1 | 1 | -8.87e-10 | 0.0001778 | 0.002588 | 0.0009058 | 0.0301 | 3.792 | 0.2098 | 0.001039 | 0.0001908 | 1 | 1 | 0.00245 | 0.02771 | 0.2452 | 0.002629 | 0.02974 | 0.2631 | json |
| t17_x1_u0_b92 | 17 | 1 | 0 | 92 | ![]() |
min(P,pow(P,sqt(D))) | 98436 | 138090710 | o2(x,o2(x,o1(x))) | true | 104295 | 104295 | 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 |
| t17_x1_u0_b93 | 17 | 1 | 0 | 93 | ![]() |
min(P,mod(P,sqt(D))) | 98437 | 138090711 | o2(x,o2(x,o1(x))) | true | 104303 | 104303 | -0.08128 | 0.5 | 0.8562 | 0.8154 | 0.903 | -1 | 1 | 2 | 1 | 2.541 | 0.0307 | 0 | 0.05888 | 1 | 1 | 9.386e-13 | 0.05653 | 0.08024 | 0.02722 | 0.165 | 2.802 | 0.948 | 0.03765 | 0.06932 | 1 | 1 | 0.03427 | 0.08853 | 0.1923 | 0.04203 | 0.1086 | 0.2358 | json |
| t17_x1_u0_b94 | 17 | 1 | 0 | 94 | ![]() |
min(P,lrg(P,sqt(D))) | 98438 | 138090712 | o2(x,o2(x,o1(x))) | true | 104311 | 104311 | 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 |
| t17_x1_u0_b95 | 17 | 1 | 0 | 95 | ![]() |
min(P,eql(P,sqt(D))) | 98439 | 138090713 | o2(x,o2(x,o1(x))) | true | 104319 | 104319 | -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 |
| t17_x1_u0_b96 | 17 | 1 | 0 | 96 | ![]() |
min(P,min(P,sqt(D))) | 98440 | 138090714 | o2(x,o2(x,o1(x))) | true | 104327 | 104327 | -0.06076 | 0.5 | 0.8767 | 0.8374 | 0.9151 | -1 | 1 | 2 | 1 | 2.423 | 0.02445 | 0 | 0.05359 | 1 | 1 | 4.731e-10 | 0.04772 | 0.06332 | 0.02159 | 0.1469 | 2.742 | 0.8224 | 0.0292 | 0.05699 | 1 | 1 | 0.02549 | 0.06245 | 0.2014 | 0.03044 | 0.07458 | 0.2405 | json |
| t17_x1_u0_b97 | 17 | 1 | 0 | 97 | ![]() |
min(P,dot(P,sqt(D))) | 98441 | 138090715 | o2(x,o2(x,o1(x))) | true | 104335 | 104335 | -0.05554 | 0.4686 | 0.9306 | 0.9093 | 0.9536 | -1 | 1 | 2 | 1 | 1.964 | 0.02259 | 0.006202 | 0.03825 | 0.5692 | 1 | 0.0001882 | 0.05371 | 0.04166 | 0.02733 | 0.1653 | 4.322 | 2 | 0.03167 | 0.05906 | 1 | 1 | 0.03124 | 0.1151 | 0.2282 | 0.03436 | 0.1266 | 0.251 | json |
| t17_x1_u0_b98 | 17 | 1 | 0 | 98 | ![]() |
min(P,dst(P,sqt(D))) | 98442 | 138090716 | o2(x,o2(x,o1(x))) | true | 104343 | 104343 | -0.0001509 | 0.5 | 0.9373 | 0.9237 | 0.9611 | -1 | 1 | 2 | 1 | 1.819 | 0.0007114 | 0.000008922 | 0.008065 | 0.9752 | 1 | 0 | 0.00005793 | 0.002003 | 0.0006552 | 0.0256 | 3.174 | 0.3335 | 0.0007799 | 0.00006272 | 1 | 1 | 0.001883 | 0.02452 | 0.234 | 0.002038 | 0.02655 | 0.2533 | json |
| t17_x1_u0_b99 | 17 | 1 | 0 | 99 | ![]() |
dot(P,add(P,sqt(D))) | 98443 | 138090717 | o2(x,o2(x,o1(x))) | true | 104351 | 104351 | -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_x1_u0_b100 | 17 | 1 | 0 | 100 | ![]() |
dot(P,sub(P,sqt(D))) | 98444 | 138090718 | o2(x,o2(x,o1(x))) | true | 104359 | 104359 | -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_x1_u0_b101 | 17 | 1 | 0 | 101 | ![]() |
dot(P,mlt(P,sqt(D))) | 98445 | 138090719 | o2(x,o2(x,o1(x))) | true | 104367 | 104367 | -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_x1_u0_b102 | 17 | 1 | 0 | 102 | ![]() |
dot(P,div(P,sqt(D))) | 98446 | 138090720 | o2(x,o2(x,o1(x))) | true | 104375 | 104375 | -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_x1_u0_b103 | 17 | 1 | 0 | 103 | ![]() |
dot(P,pow(P,sqt(D))) | 98447 | 138090721 | o2(x,o2(x,o1(x))) | true | 104383 | 104383 | -0.993 | 0.003906 | 0.9992 | 0.01279 | 0.1131 | -1 | 1 | 2 | 1 | 0.04722 | 0.001622 | 0.001622 | 0.001938 | -1.077e-7 | 1 | -6.007e-11 | 0.006856 | 0.003585 | 0.003238 | 0.0569 | 29.37 | 2.828 | 0.2536 | 0.5359 | 1 | 1 | 0.00575 | 0.02403 | 0.0466 | 0.4494 | 1.879 | 3.643 | json |
| t17_x1_u0_b104 | 17 | 1 | 0 | 104 | ![]() |
dot(P,mod(P,sqt(D))) | 98448 | 138090722 | o2(x,o2(x,o1(x))) | true | 104391 | 104391 | -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_x1_u0_b105 | 17 | 1 | 0 | 105 | ![]() |
dot(P,lrg(P,sqt(D))) | 98449 | 138090723 | o2(x,o2(x,o1(x))) | true | 104399 | 104399 | 0.3041 | 0.6404 | 0.913 | 0.7979 | 0.8932 | -1 | 1 | 2 | 1 | 2.071 | 0.03467 | 0.03467 | 0.07396 | -0.00002756 | 1 | 0.0003923 | 0.1209 | 0.09588 | 0.06382 | 0.2526 | 3.416 | 2 | 0.08691 | 0.1515 | 1 | 1 | 0.06977 | 0.2658 | 0.2683 | 0.08745 | 0.3331 | 0.3362 | json |
| t17_x1_u0_b106 | 17 | 1 | 0 | 106 | ![]() |
dot(P,eql(P,sqt(D))) | 98450 | 138090724 | o2(x,o2(x,o1(x))) | true | 104407 | 104407 | 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_x1_u0_b107 | 17 | 1 | 0 | 107 | ![]() |
dot(P,min(P,sqt(D))) | 98451 | 138090725 | o2(x,o2(x,o1(x))) | true | 104415 | 104415 | 0.9951 | 1 | 0.9951 | 0.00292 | 0.05403 | 0.0005821 | 1 | 0.9994 | 1 | 0.1287 | 0.0004328 | 0.0004328 | 0.002863 | -3.026e-7 | 1 | 1.877e-11 | 0.001982 | 0.003636 | 0.000857 | 0.02928 | 10.23 | 0.8218 | 0.2964 | 0.6788 | 1 | 1 | 0.001429 | 0.005201 | 0.009745 | 0.4893 | 1.781 | 3.338 | json |
| t17_x1_u0_b108 | 17 | 1 | 0 | 108 | ![]() |
dot(P,dot(P,sqt(D))) | 98452 | 138090726 | o2(x,o2(x,o1(x))) | true | 104423 | 104423 | -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_x1_u0_b109 | 17 | 1 | 0 | 109 | ![]() |
dot(P,dst(P,sqt(D))) | 98453 | 138090727 | o2(x,o2(x,o1(x))) | true | 104431 | 104431 | -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_x1_u0_b110 | 17 | 1 | 0 | 110 | ![]() |
dst(P,add(P,sqt(D))) | 98454 | 138090728 | o2(x,o2(x,o1(x))) | true | 104439 | 104439 | -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_x1_u0_b111 | 17 | 1 | 0 | 111 | ![]() |
dst(P,sub(P,sqt(D))) | 98455 | 138090729 | o2(x,o2(x,o1(x))) | true | 104447 | 104447 | -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_x1_u0_b112 | 17 | 1 | 0 | 112 | ![]() |
dst(P,mlt(P,sqt(D))) | 98456 | 138090730 | o2(x,o2(x,o1(x))) | true | 104455 | 104455 | -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_x1_u0_b113 | 17 | 1 | 0 | 113 | ![]() |
dst(P,div(P,sqt(D))) | 98457 | 138090731 | o2(x,o2(x,o1(x))) | true | 104463 | 104463 | -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_x1_u0_b114 | 17 | 1 | 0 | 114 | ![]() |
dst(P,pow(P,sqt(D))) | 98458 | 138090732 | o2(x,o2(x,o1(x))) | true | 104471 | 104471 | -0.9922 | 0.003906 | 1 | 0.01556 | 0.1248 | -1 | 1 | 2 | 1 | 0.03687 | 0.002016 | 0.002016 | 0.001997 | 0 | 1 | 0 | 0.008566 | 0.004031 | 0.004026 | 0.06345 | 31.77 | 2.828 | 0.259 | 0.5504 | 1 | 1 | 0.007091 | 0.02837 | 0.05673 | 0.4556 | 1.823 | 3.645 | json |
| t17_x1_u0_b115 | 17 | 1 | 0 | 115 | ![]() |
dst(P,mod(P,sqt(D))) | 98459 | 138090733 | o2(x,o2(x,o1(x))) | true | 104479 | 104479 | -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_x1_u0_b116 | 17 | 1 | 0 | 116 | ![]() |
dst(P,lrg(P,sqt(D))) | 98460 | 138090734 | o2(x,o2(x,o1(x))) | true | 104487 | 104487 | 0.9913 | 0.9961 | 0.9913 | 0.00746 | 0.08637 | 0 | 1 | 1 | 1 | 0.1298 | 0.000383 | 0.000383 | 0.001456 | 0 | 1 | -7.509e-11 | 0.001444 | 0.001681 | 0.0007646 | 0.02765 | 18.99 | 1 | 0.1027 | 0.1936 | 1 | 1 | 0.001458 | 0.007829 | 0.02738 | 0.1954 | 1.049 | 3.671 | json |
| t17_x1_u0_b117 | 17 | 1 | 0 | 117 | ![]() |
dst(P,eql(P,sqt(D))) | 98461 | 138090735 | o2(x,o2(x,o1(x))) | true | 104495 | 104495 | 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_x1_u0_b118 | 17 | 1 | 0 | 118 | ![]() |
dst(P,min(P,sqt(D))) | 98462 | 138090736 | o2(x,o2(x,o1(x))) | true | 104503 | 104503 | 0.4859 | 0.6792 | 0.4859 | 0.2149 | 0.4636 | 0 | 1 | 1 | 1 | 2.146 | 0.02217 | 0.02217 | 0.07475 | 0.000006384 | 1 | -0.0008319 | 0.08081 | 0.099 | 0.03877 | 0.1969 | 2.634 | 1.414 | 0.2063 | 0.3759 | 1 | 1 | 0.05026 | 0.1641 | 0.0606 | 0.2338 | 0.7635 | 0.2819 | json |
| t17_x1_u0_b119 | 17 | 1 | 0 | 119 | ![]() |
dst(P,dot(P,sqt(D))) | 98463 | 138090737 | o2(x,o2(x,o1(x))) | true | 104511 | 104511 | -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_x1_u0_b120 | 17 | 1 | 0 | 120 | ![]() |
dst(P,dst(P,sqt(D))) | 98464 | 138090738 | o2(x,o2(x,o1(x))) | true | 104519 | 104519 | -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_x1_u1_b0 | 17 | 1 | 1 | 0 | ![]() |
add(P,add(P,log(D))) | 98465 | 138090819 | o2(x,o2(x,o1(x))) | true | 104527 | 104527 | -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_x1_u1_b1 | 17 | 1 | 1 | 1 | ![]() |
add(P,sub(P,log(D))) | 98466 | 138090820 | o2(x,o2(x,o1(x))) | true | 104535 | 104535 | -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_x1_u1_b2 | 17 | 1 | 1 | 2 | ![]() |
add(P,mlt(P,log(D))) | 98467 | 138090821 | o2(x,o2(x,o1(x))) | true | 104543 | 104543 | -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_x1_u1_b3 | 17 | 1 | 1 | 3 | ![]() |
add(P,div(P,log(D))) | 98468 | 138090822 | o2(x,o2(x,o1(x))) | true | 104551 | 104551 | -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_x1_u1_b4 | 17 | 1 | 1 | 4 | ![]() |
add(P,pow(P,log(D))) | 98469 | 138090823 | o2(x,o2(x,o1(x))) | true | 104559 | 104559 | -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_x1_u1_b5 | 17 | 1 | 1 | 5 | ![]() |
add(P,mod(P,log(D))) | 98470 | 138090824 | o2(x,o2(x,o1(x))) | true | 104567 | 104567 | -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_x1_u1_b6 | 17 | 1 | 1 | 6 | ![]() |
add(P,lrg(P,log(D))) | 98471 | 138090825 | o2(x,o2(x,o1(x))) | true | 104575 | 104575 | 0.1056 | 0.5547 | 0.9411 | 0.9199 | 0.9591 | -1 | 1 | 2 | 1 | 1.634 | 0.003011 | 0 | 0.01251 | 1 | 1 | 0 | 0.00439 | 0.008958 | 0.002855 | 0.05343 | 4.271 | 0.569 | 0.003273 | 0.004772 | 1 | 1 | 0.005076 | 0.03358 | 0.2434 | 0.005518 | 0.0365 | 0.2646 | json |
| t17_x1_u1_b7 | 17 | 1 | 1 | 7 | ![]() |
add(P,eql(P,log(D))) | 98472 | 138090826 | o2(x,o2(x,o1(x))) | true | 104583 | 104583 | 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 |
| t17_x1_u1_b8 | 17 | 1 | 1 | 8 | ![]() |
add(P,min(P,log(D))) | 98473 | 138090827 | o2(x,o2(x,o1(x))) | true | 104591 | 104591 | -0.08365 | 0.4492 | 0.9504 | 0.9291 | 0.9639 | -1 | 1 | 2 | 1 | 1.705 | 0.06356 | 0 | 0.0629 | 1 | 1 | -5.632e-12 | 0.1308 | 0.08264 | 0.05958 | 0.2441 | 3.88 | 2 | 0.06842 | 0.1408 | 1 | 1 | 0.08185 | 0.1852 | 0.2504 | 0.08809 | 0.1993 | 0.2695 | json |
| t17_x1_u1_b9 | 17 | 1 | 1 | 9 | ![]() |
add(P,dot(P,log(D))) | 98474 | 138090828 | o2(x,o2(x,o1(x))) | true | 104599 | 104599 | -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_x1_u1_b10 | 17 | 1 | 1 | 10 | ![]() |
add(P,dst(P,log(D))) | 98475 | 138090829 | o2(x,o2(x,o1(x))) | true | 104607 | 104607 | -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_x1_u1_b11 | 17 | 1 | 1 | 11 | ![]() |
sub(P,add(P,log(D))) | 98476 | 138090830 | o2(x,o2(x,o1(x))) | true | 104615 | 104615 | -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_x1_u1_b12 | 17 | 1 | 1 | 12 | ![]() |
sub(P,sub(P,log(D))) | 98477 | 138090831 | o2(x,o2(x,o1(x))) | true | 104623 | 104623 | -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_x1_u1_b13 | 17 | 1 | 1 | 13 | ![]() |
sub(P,mlt(P,log(D))) | 98478 | 138090832 | o2(x,o2(x,o1(x))) | true | 104631 | 104631 | -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_x1_u1_b14 | 17 | 1 | 1 | 14 | ![]() |
sub(P,div(P,log(D))) | 98479 | 138090833 | o2(x,o2(x,o1(x))) | true | 104639 | 104639 | -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_x1_u1_b15 | 17 | 1 | 1 | 15 | ![]() |
sub(P,pow(P,log(D))) | 98480 | 138090834 | o2(x,o2(x,o1(x))) | true | 104647 | 104647 | -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_x1_u1_b16 | 17 | 1 | 1 | 16 | ![]() |
sub(P,mod(P,log(D))) | 98481 | 138090835 | o2(x,o2(x,o1(x))) | true | 104655 | 104655 | -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_x1_u1_b17 | 17 | 1 | 1 | 17 | ![]() |
sub(P,lrg(P,log(D))) | 98482 | 138090836 | o2(x,o2(x,o1(x))) | true | 104663 | 104663 | -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 |
| t17_x1_u1_b18 | 17 | 1 | 1 | 18 | ![]() |
sub(P,eql(P,log(D))) | 98483 | 138090837 | o2(x,o2(x,o1(x))) | true | 104671 | 104671 | 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 |
| t17_x1_u1_b19 | 17 | 1 | 1 | 19 | ![]() |
sub(P,min(P,log(D))) | 98484 | 138090838 | o2(x,o2(x,o1(x))) | true | 104679 | 104679 | 0.3712 | 0.5313 | 0.3712 | 0.2064 | 0.4543 | 0 | 1 | 1 | 1 | 1.895 | 0.05216 | 0 | 0.08281 | 1 | 1 | -0.0006462 | 0.0973 | 0.1154 | 0.04529 | 0.2128 | 2.57 | 1 | 0.2528 | 0.4715 | 1 | 1 | 0.06061 | 0.1709 | 0.04244 | 0.2937 | 0.828 | 0.2057 | json |
| t17_x1_u1_b20 | 17 | 1 | 1 | 20 | ![]() |
sub(P,dot(P,log(D))) | 98485 | 138090839 | o2(x,o2(x,o1(x))) | true | 104687 | 104687 | -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_x1_u1_b21 | 17 | 1 | 1 | 21 | ![]() |
sub(P,dst(P,log(D))) | 98486 | 138090840 | o2(x,o2(x,o1(x))) | true | 104695 | 104695 | -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_x1_u1_b22 | 17 | 1 | 1 | 22 | ![]() |
mlt(P,add(P,log(D))) | 98487 | 138090841 | o2(x,o2(x,o1(x))) | true | 104703 | 104703 | -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_x1_u1_b23 | 17 | 1 | 1 | 23 | ![]() |
mlt(P,sub(P,log(D))) | 98488 | 138090842 | o2(x,o2(x,o1(x))) | true | 104711 | 104711 | -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_x1_u1_b24 | 17 | 1 | 1 | 24 | ![]() |
mlt(P,mlt(P,log(D))) | 98489 | 138090843 | o2(x,o2(x,o1(x))) | true | 104719 | 104719 | -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_x1_u1_b25 | 17 | 1 | 1 | 25 | ![]() |
mlt(P,div(P,log(D))) | 98490 | 138090844 | o2(x,o2(x,o1(x))) | true | 104727 | 104727 | -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_x1_u1_b26 | 17 | 1 | 1 | 26 | ![]() |
mlt(P,pow(P,log(D))) | 98491 | 138090845 | o2(x,o2(x,o1(x))) | true | 104735 | 104735 | -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_x1_u1_b27 | 17 | 1 | 1 | 27 | ![]() |
mlt(P,mod(P,log(D))) | 98492 | 138090846 | o2(x,o2(x,o1(x))) | true | 104743 | 104743 | -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_x1_u1_b28 | 17 | 1 | 1 | 28 | ![]() |
mlt(P,lrg(P,log(D))) | 98493 | 138090847 | o2(x,o2(x,o1(x))) | true | 104751 | 104751 | 0.1257 | 0.5 | 0.8117 | 0.765 | 0.8747 | -1 | 1 | 2 | 1 | 2.646 | 0.03238 | 0 | 0.05831 | 1 | 1 | 0.0006289 | 0.05567 | 0.07099 | 0.02899 | 0.1703 | 2.92 | 0.9991 | 0.04232 | 0.07277 | 1 | 1 | 0.03368 | 0.1136 | 0.2174 | 0.04402 | 0.1485 | 0.2842 | json |
| t17_x1_u1_b29 | 17 | 1 | 1 | 29 | ![]() |
mlt(P,eql(P,log(D))) | 98494 | 138090848 | o2(x,o2(x,o1(x))) | true | 104759 | 104759 | 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_x1_u1_b30 | 17 | 1 | 1 | 30 | ![]() |
mlt(P,min(P,log(D))) | 98495 | 138090849 | o2(x,o2(x,o1(x))) | true | 104767 | 104767 | 0.6755 | 0.8711 | 0.924 | 0.4499 | 0.6707 | -1 | 1 | 2 | 1 | 1.513 | 0.1885 | 0 | 0.119 | 1 | 1 | -1.892e-9 | 0.3463 | 0.1971 | 0.1745 | 0.4177 | 3.509 | 2 | 0.4191 | 0.7698 | 1 | 1 | 0.2016 | 0.5671 | 0.1298 | 0.4482 | 1.26 | 0.2885 | json |
| t17_x1_u1_b31 | 17 | 1 | 1 | 31 | ![]() |
mlt(P,dot(P,log(D))) | 98496 | 138090850 | o2(x,o2(x,o1(x))) | true | 104775 | 104775 | -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_x1_u1_b32 | 17 | 1 | 1 | 32 | ![]() |
mlt(P,dst(P,log(D))) | 98497 | 138090851 | o2(x,o2(x,o1(x))) | true | 104783 | 104783 | -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_x1_u1_b33 | 17 | 1 | 1 | 33 | ![]() |
div(P,add(P,log(D))) | 98498 | 138090852 | o2(x,o2(x,o1(x))) | true | 104791 | 104791 | -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_x1_u1_b34 | 17 | 1 | 1 | 34 | ![]() |
div(P,sub(P,log(D))) | 98499 | 138090853 | o2(x,o2(x,o1(x))) | true | 104799 | 104799 | -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 |



































































































