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_x24_u1_b54 | 17 | 24 | 1 | 54 | ![]() |
pow(R,dst(R,log(P))) | 118000 | 139020096 | o2(x,o2(x,o1(x))) | true | 104007 | 104007 | -0.9922 | 0 | 0.9922 | 0.007751 | 0.08804 | -1 | 0 | 1 | 1 | 0.06591 | 0.0007559 | 0.0009448 | 0.001691 | -0.1111 | 1 | 0 | 0.00359 | 0.003401 | 0.001698 | 0.0412 | 24.36 | 1.414 | 0.2194 | 0.4632 | 1 | 1 | 0.0002216 | 0.001551 | 0.00687 | 0.02859 | 0.2001 | 0.8863 | json |
| t17_x24_u1_b55 | 17 | 24 | 1 | 55 | ![]() |
mod(R,add(R,log(P))) | 118001 | 139020097 | o2(x,o2(x,o1(x))) | true | 104015 | 104015 | -0.5377 | 0.2202 | 0.6915 | 0.3354 | 0.5791 | -1 | 0.9806 | 1.981 | 1 | 2.98 | 0.005247 | 0.0008696 | 0.02627 | 0.7156 | 1 | 0.000006848 | 0.008851 | 0.01308 | 0.005427 | 0.07367 | 2.804 | 1.698 | 0.01823 | 0.02639 | 1 | 1 | 0.008303 | 0.05955 | 0.2101 | 0.02476 | 0.1775 | 0.6263 | json |
| t17_x24_u1_b56 | 17 | 24 | 1 | 56 | ![]() |
mod(R,sub(R,log(P))) | 118002 | 139020098 | o2(x,o2(x,o1(x))) | true | 104023 | 104023 | -0.6138 | 0.1671 | 0.7013 | 0.2555 | 0.5055 | -1 | 0.9276 | 1.928 | 1 | 2.985 | 0.005187 | 0.0009243 | 0.02661 | 0.6975 | 1 | 0.000007607 | 0.008873 | 0.01323 | 0.005402 | 0.0735 | 2.762 | 1.698 | 0.02391 | 0.03472 | 1 | 1 | 0.008359 | 0.05756 | 0.1517 | 0.03271 | 0.2253 | 0.5934 | json |
| t17_x24_u1_b57 | 17 | 24 | 1 | 57 | ![]() |
mod(R,mlt(R,log(P))) | 118003 | 139020099 | o2(x,o2(x,o1(x))) | true | 104031 | 104031 | -0.64 | 0.1637 | 0.7611 | 0.2889 | 0.5375 | -1 | 0.9806 | 1.981 | 1 | 2.729 | 0.004808 | 0.0009748 | 0.02565 | 0.6629 | 1 | 0.00002132 | 0.007871 | 0.01281 | 0.005126 | 0.0716 | 2.792 | 1.293 | 0.02002 | 0.02725 | 1 | 1 | 0.008258 | 0.06288 | 0.2204 | 0.02859 | 0.2177 | 0.763 | json |
| t17_x24_u1_b58 | 17 | 24 | 1 | 58 | ![]() |
mod(R,div(R,log(P))) | 118004 | 139020100 | o2(x,o2(x,o1(x))) | true | 104039 | 104039 | -0.6329 | 0.1656 | 0.6794 | 0.2394 | 0.4893 | -1 | 0.9556 | 1.956 | 1 | 2.313 | 0.004489 | 0.0002453 | 0.01331 | 0.8964 | 1 | 0.000004483 | 0.008659 | 0.009529 | 0.004559 | 0.06752 | 5.074 | 1.956 | 0.01977 | 0.03617 | 1 | 1 | 0.005973 | 0.03037 | 0.1115 | 0.02495 | 0.1269 | 0.4658 | json |
| t17_x24_u1_b59 | 17 | 24 | 1 | 59 | ![]() |
mod(R,pow(R,log(P))) | 118005 | 139020101 | o2(x,o2(x,o1(x))) | true | 104047 | 104047 | -0.9903 | 0.007141 | 0.9945 | 0.01261 | 0.1123 | -1 | 0.9161 | 1.916 | 1 | 0.09317 | 0.00125 | 0.001196 | 0.002074 | 0.02175 | 1 | -0.000002061 | 0.005081 | 0.003615 | 0.002441 | 0.04941 | 23.83 | 1.898 | 0.194 | 0.4031 | 1 | 1 | 0 | 0 | 0.01087 | 0 | 0 | 0.8623 | json |
| t17_x24_u1_b60 | 17 | 24 | 1 | 60 | ![]() |
mod(R,mod(R,log(P))) | 118006 | 139020102 | o2(x,o2(x,o1(x))) | true | 104055 | 104055 | -0.6248 | 0.0789 | 0.6466 | 0.2433 | 0.4933 | -1 | 0.9089 | 1.909 | 1 | 1.722 | 0.004405 | 0.000145 | 0.008683 | 0.9363 | 1 | 0.00000314 | 0.008557 | 0.00924 | 0.004474 | 0.06688 | 7.703 | 1.393 | 0.0187 | 0.03517 | 1 | 1 | 0.006438 | 0.0308 | 0.1018 | 0.02646 | 0.1266 | 0.4183 | json |
| t17_x24_u1_b61 | 17 | 24 | 1 | 61 | ![]() |
mod(R,lrg(R,log(P))) | 118007 | 139020103 | o2(x,o2(x,o1(x))) | true | 104063 | 104063 | -0.4608 | 0.276 | 0.691 | 0.3872 | 0.6223 | -1 | 0.9693 | 1.969 | 1 | 3.501 | 0.008635 | 0.004296 | 0.03896 | 0.3356 | 1 | 0.00002662 | 0.02053 | 0.02058 | 0.01141 | 0.1068 | 2.742 | 2.698 | 0.0334 | 0.05302 | 1 | 1 | 0.0171 | 0.1207 | 0.314 | 0.04417 | 0.3116 | 0.811 | json |
| t17_x24_u1_b62 | 17 | 24 | 1 | 62 | ![]() |
mod(R,eql(R,log(P))) | 118008 | 139020104 | 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_x24_u1_b63 | 17 | 24 | 1 | 63 | ![]() |
mod(R,min(R,log(P))) | 118009 | 139020105 | o2(x,o2(x,o1(x))) | true | 104079 | 104079 | -0.1983 | 0.1688 | 0.2445 | 0.1686 | 0.4106 | -1 | 0.9089 | 1.909 | 1 | 2.656 | 0.009759 | 0.0006878 | 0.02053 | 0.8683 | 1 | 0.00000268 | 0.01973 | 0.0203 | 0.01003 | 0.1001 | 4.877 | 1.898 | 0.06196 | 0.117 | 1 | 1 | 0.01438 | 0.06937 | 0.2226 | 0.08528 | 0.4114 | 1.32 | json |
| t17_x24_u1_b64 | 17 | 24 | 1 | 64 | ![]() |
mod(R,dot(R,log(P))) | 118010 | 139020106 | o2(x,o2(x,o1(x))) | true | 104087 | 104087 | -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_x24_u1_b65 | 17 | 24 | 1 | 65 | ![]() |
mod(R,dst(R,log(P))) | 118011 | 139020107 | o2(x,o2(x,o1(x))) | true | 104095 | 104095 | -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_x24_u1_b66 | 17 | 24 | 1 | 66 | ![]() |
lrg(R,add(R,log(P))) | 118012 | 139020108 | o2(x,o2(x,o1(x))) | true | 104103 | 104103 | 0.5313 | 0.5625 | 0.5313 | 0.2423 | 0.4922 | 0 | 1 | 1 | 1 | 1.326 | 0.0003529 | 0 | 0.003968 | 1 | 1 | -4.731e-10 | 0.00001619 | 0.0009276 | 0.0003372 | 0.01836 | 4.628 | 0.1169 | 0.001457 | 0.00006684 | 1 | 1 | 0.0009255 | 0.01214 | 0.0751 | 0.00382 | 0.05012 | 0.31 | json |
| t17_x24_u1_b67 | 17 | 24 | 1 | 67 | ![]() |
lrg(R,sub(R,log(P))) | 118013 | 139020109 | o2(x,o2(x,o1(x))) | true | 104111 | 104111 | 0.875 | 0.9375 | 0.875 | 0.09585 | 0.3096 | 0 | 1 | 1 | 1 | 1.067 | 0.0007059 | 0 | 0.007937 | 1 | 1 | -9.461e-10 | 0.00003238 | 0.001855 | 0.0006432 | 0.02536 | 3.195 | 0.1169 | 0.007364 | 0.0003379 | 1 | 1 | 0.001851 | 0.02429 | 0.1411 | 0.01931 | 0.2534 | 1.472 | json |
| t17_x24_u1_b68 | 17 | 24 | 1 | 68 | ![]() |
lrg(R,mlt(R,log(P))) | 118014 | 139020110 | o2(x,o2(x,o1(x))) | true | 104119 | 104119 | 0.7539 | 0.9895 | 0.7539 | 0.1296 | 0.3601 | 0 | 1 | 1 | 1 | 2.428 | 0.001231 | 0.001326 | 0.02996 | -0.03701 | 1 | -0.00001569 | 0.0001518 | 0.007299 | 0.001661 | 0.04075 | 1.36 | 0.1169 | 0.01973 | 0.001171 | 1 | 1 | 0.005301 | 0.06887 | 0.1834 | 0.04089 | 0.5313 | 1.414 | json |
| t17_x24_u1_b69 | 17 | 24 | 1 | 69 | ![]() |
lrg(R,div(R,log(P))) | 118015 | 139020111 | o2(x,o2(x,o1(x))) | true | 104127 | 104127 | 0.707 | 0.9454 | 0.707 | 0.1523 | 0.3903 | 0 | 1 | 1 | 1 | 2.51 | 0.001171 | 0.001316 | 0.02919 | -0.05829 | 1 | 0.000004283 | 0.0001494 | 0.007132 | 0.001636 | 0.04045 | 1.386 | 0.1169 | 0.01633 | 0.0009807 | 1 | 1 | 0.005067 | 0.06588 | 0.1911 | 0.03327 | 0.4325 | 1.254 | json |
| t17_x24_u1_b70 | 17 | 24 | 1 | 70 | ![]() |
lrg(R,pow(R,log(P))) | 118016 | 139020112 | o2(x,o2(x,o1(x))) | true | 104135 | 104135 | 0.8848 | 0.9768 | 0.8848 | 0.08275 | 0.2877 | 0 | 1 | 1 | 1 | 1.213 | 0.0006234 | 0.0002984 | 0.0108 | 0.3527 | 1 | 0.00001141 | 0.00005055 | 0.002595 | 0.0008055 | 0.02838 | 2.627 | 0.1169 | 0.01114 | 0.0006108 | 1 | 1 | 0.002425 | 0.03159 | 0.1346 | 0.02931 | 0.3818 | 1.627 | json |
| t17_x24_u1_b71 | 17 | 24 | 1 | 71 | ![]() |
lrg(R,mod(R,log(P))) | 118017 | 139020113 | o2(x,o2(x,o1(x))) | true | 104143 | 104143 | 0.5996 | 0.6361 | 0.5996 | 0.2322 | 0.4819 | 0 | 1 | 1 | 1 | 1.345 | 0.0003384 | 0.00005267 | 0.004475 | 0.7307 | 1 | 0.000005704 | 0.00001932 | 0.001055 | 0.0003708 | 0.01926 | 4.303 | 0.1169 | 0.001684 | 0.00008318 | 1 | 1 | 0.001014 | 0.01329 | 0.07916 | 0.004366 | 0.05724 | 0.3409 | json |
| t17_x24_u1_b72 | 17 | 24 | 1 | 72 | ![]() |
lrg(R,lrg(R,log(P))) | 118018 | 139020114 | o2(x,o2(x,o1(x))) | true | 104151 | 104151 | 0.1699 | 0.3732 | 0.1699 | 0.09968 | 0.3157 | 0 | 1 | 1 | 1 | 1.925 | 0.0008526 | 0.001004 | 0.02192 | -0.08129 | 1 | -0.00001853 | 0.0001139 | 0.005364 | 0.001376 | 0.0371 | 1.693 | 0.1169 | 0.01862 | 0.001143 | 1 | 1 | 0.003221 | 0.04193 | 0.1261 | 0.03231 | 0.4206 | 1.265 | json |
| t17_x24_u1_b73 | 17 | 24 | 1 | 73 | ![]() |
lrg(R,eql(R,log(P))) | 118019 | 139020115 | o2(x,o2(x,o1(x))) | true | 104159 | 104159 | 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_x24_u1_b74 | 17 | 24 | 1 | 74 | ![]() |
lrg(R,min(R,log(P))) | 118020 | 139020116 | o2(x,o2(x,o1(x))) | true | 104167 | 104167 | 0.1074 | 0.1932 | 0.1074 | 0.07755 | 0.2785 | 0 | 1 | 1 | 1 | 1.157 | 0.0006646 | 0.000233 | 0.01037 | 0.4809 | 1 | -0.000005705 | 0.00004671 | 0.002468 | 0.0007898 | 0.0281 | 2.711 | 0.1169 | 0.01157 | 0.0006023 | 1 | 1 | 0.00236 | 0.03069 | 0.119 | 0.03043 | 0.3957 | 1.535 | json |
| t17_x24_u1_b75 | 17 | 24 | 1 | 75 | ![]() |
lrg(R,dot(R,log(P))) | 118021 | 139020117 | o2(x,o2(x,o1(x))) | true | 104175 | 104175 | 0.8662 | 0.9883 | 0.8662 | 0.08829 | 0.2971 | 0 | 1 | 1 | 1 | 1.481 | 0.0006821 | 0.0005814 | 0.0148 | 0.07969 | 1 | -0.00001355 | 0.00007438 | 0.003588 | 0.001044 | 0.03232 | 2.184 | 0.1169 | 0.01431 | 0.0008424 | 1 | 1 | 0.002614 | 0.03405 | 0.1025 | 0.02961 | 0.3857 | 1.161 | json |
| t17_x24_u1_b76 | 17 | 24 | 1 | 76 | ![]() |
lrg(R,dst(R,log(P))) | 118022 | 139020118 | o2(x,o2(x,o1(x))) | true | 104183 | 104183 | 0.7178 | 0.75 | 0.7178 | 0.1955 | 0.4422 | 0 | 1 | 1 | 1 | 1.198 | 0.0001852 | 0.0001852 | 0.004184 | 0.000001493 | 1 | -5.533e-10 | 0.00001725 | 0.0009791 | 0.0003528 | 0.01878 | 4.489 | 0.1169 | 0.001895 | 0.00008821 | 1 | 1 | 0.0009865 | 0.01294 | 0.08005 | 0.005046 | 0.06621 | 0.4094 | json |
| t17_x24_u1_b77 | 17 | 24 | 1 | 77 | ![]() |
eql(R,add(R,log(P))) | 118023 | 139020119 | o2(x,o2(x,o1(x))) | true | 104191 | 104191 | 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_x24_u1_b78 | 17 | 24 | 1 | 78 | ![]() |
eql(R,sub(R,log(P))) | 118024 | 139020120 | o2(x,o2(x,o1(x))) | true | 104199 | 104199 | 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_x24_u1_b79 | 17 | 24 | 1 | 79 | ![]() |
eql(R,mlt(R,log(P))) | 118025 | 139020121 | o2(x,o2(x,o1(x))) | true | 104207 | 104207 | 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_x24_u1_b80 | 17 | 24 | 1 | 80 | ![]() |
eql(R,div(R,log(P))) | 118026 | 139020122 | o2(x,o2(x,o1(x))) | true | 104215 | 104215 | 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_x24_u1_b81 | 17 | 24 | 1 | 81 | ![]() |
eql(R,pow(R,log(P))) | 118027 | 139020123 | o2(x,o2(x,o1(x))) | true | 104223 | 104223 | 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_x24_u1_b82 | 17 | 24 | 1 | 82 | ![]() |
eql(R,mod(R,log(P))) | 118028 | 139020124 | o2(x,o2(x,o1(x))) | true | 104231 | 104231 | 0.3965 | 0.4364 | 0.3965 | 0.2309 | 0.4805 | 0 | 1 | 1 | 1 | 1.369 | 0.0003287 | 0.00008778 | 0.004813 | 0.5785 | 1 | -0.000005705 | 0.00002148 | 0.001143 | 0.0003932 | 0.01983 | 4.12 | 0.1169 | 0.001804 | 0.00009304 | 1 | 1 | 0.001058 | 0.01389 | 0.07982 | 0.004582 | 0.06017 | 0.3457 | json |
| t17_x24_u1_b83 | 17 | 24 | 1 | 83 | ![]() |
eql(R,lrg(R,log(P))) | 118029 | 139020125 | o2(x,o2(x,o1(x))) | true | 104239 | 104239 | 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_x24_u1_b84 | 17 | 24 | 1 | 84 | ![]() |
eql(R,eql(R,log(P))) | 118030 | 139020126 | o2(x,o2(x,o1(x))) | true | 104247 | 104247 | 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_x24_u1_b85 | 17 | 24 | 1 | 85 | ![]() |
eql(R,min(R,log(P))) | 118031 | 139020127 | o2(x,o2(x,o1(x))) | true | 104255 | 104255 | 0.8926 | 0.9783 | 0.8926 | 0.07755 | 0.2785 | 0 | 1 | 1 | 1 | 1.157 | 0.0006646 | 0.000233 | 0.01037 | 0.4809 | 1 | 0.000005703 | 0.00004671 | 0.002468 | 0.0007898 | 0.0281 | 2.711 | 0.1169 | 0.01157 | 0.0006023 | 1 | 1 | 0.00236 | 0.03069 | 0.119 | 0.03043 | 0.3957 | 1.535 | json |
| t17_x24_u1_b86 | 17 | 24 | 1 | 86 | ![]() |
eql(R,dot(R,log(P))) | 118032 | 139020128 | o2(x,o2(x,o1(x))) | true | 104263 | 104263 | 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_x24_u1_b87 | 17 | 24 | 1 | 87 | ![]() |
eql(R,dst(R,log(P))) | 118033 | 139020129 | o2(x,o2(x,o1(x))) | true | 104271 | 104271 | 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_x24_u1_b88 | 17 | 24 | 1 | 88 | ![]() |
min(R,add(R,log(P))) | 118034 | 139020130 | o2(x,o2(x,o1(x))) | true | 104279 | 104279 | -0.12 | 0.4324 | 0.4674 | 0.3015 | 0.5491 | -1 | 0.9806 | 1.981 | 1 | 4.761 | 0.01585 | 0.002792 | 0.06406 | 0.7005 | 1 | 0.00004824 | 0.0275 | 0.03166 | 0.01454 | 0.1206 | 1.882 | 1.943 | 0.06184 | 0.09123 | 1 | 1 | 0.02584 | 0.1831 | 0.5035 | 0.0857 | 0.6074 | 1.67 | json |
| t17_x24_u1_b89 | 17 | 24 | 1 | 89 | ![]() |
min(R,sub(R,log(P))) | 118035 | 139020131 | o2(x,o2(x,o1(x))) | true | 104287 | 104287 | -0.3493 | 0.32 | 0.6129 | 0.3723 | 0.6102 | -1 | 0.9693 | 1.969 | 1 | 4.175 | 0.002289 | 0.002238 | 0.04508 | 0.0114 | 1 | 0.00001499 | 0.0003536 | 0.01125 | 0.002494 | 0.04994 | 1.108 | 0.2777 | 0.01216 | 0.0009497 | 1 | 1 | 0.009765 | 0.1217 | 0.324 | 0.02623 | 0.3269 | 0.8701 | json |
| t17_x24_u1_b90 | 17 | 24 | 1 | 90 | ![]() |
min(R,mlt(R,log(P))) | 118036 | 139020132 | o2(x,o2(x,o1(x))) | true | 104295 | 104295 | -0.1475 | 0.4004 | 0.4615 | 0.2879 | 0.5366 | -1 | 0.9804 | 1.98 | 1 | 4.764 | 0.00883 | 0.004154 | 0.06457 | 0.3601 | 1 | 0.00006024 | 0.01457 | 0.02614 | 0.008815 | 0.09389 | 1.454 | 1.898 | 0.0451 | 0.0506 | 1 | 1 | 0.01992 | 0.169 | 0.4829 | 0.06921 | 0.5869 | 1.677 | json |
| t17_x24_u1_b91 | 17 | 24 | 1 | 91 | ![]() |
min(R,div(R,log(P))) | 118037 | 139020133 | o2(x,o2(x,o1(x))) | true | 104303 | 104303 | -0.1187 | 0.4272 | 0.4264 | 0.2574 | 0.5073 | -1 | 0.9693 | 1.969 | 1 | 4.798 | 0.006798 | 0.007484 | 0.06126 | -0.04804 | 1 | 0.00004083 | 0.01944 | 0.02761 | 0.01053 | 0.1026 | 1.675 | 2.061 | 0.05549 | 0.07554 | 1 | 1 | 0.01837 | 0.1602 | 0.4779 | 0.07138 | 0.6224 | 1.857 | json |
| t17_x24_u1_b92 | 17 | 24 | 1 | 92 | ![]() |
min(R,pow(R,log(P))) | 118038 | 139020134 | o2(x,o2(x,o1(x))) | true | 104311 | 104311 | -0.006926 | 0.4848 | 0.3846 | 0.2113 | 0.4597 | -0.9989 | 0.9693 | 1.968 | 1 | 4.847 | 0.002684 | 0.003037 | 0.06163 | -0.06177 | 1 | 0.00002815 | 0.0003344 | 0.01411 | 0.001922 | 0.04384 | 0.7113 | 0.2301 | 0.02707 | 0.001582 | 1 | 1 | 0.01145 | 0.1471 | 0.3774 | 0.05419 | 0.6959 | 1.786 | json |
| t17_x24_u1_b93 | 17 | 24 | 1 | 93 | ![]() |
min(R,mod(R,log(P))) | 118039 | 139020135 | o2(x,o2(x,o1(x))) | true | 104319 | 104319 | 0.004918 | 0.4959 | 0.3918 | 0.2171 | 0.466 | -0.9989 | 0.9806 | 1.979 | 1 | 4.857 | 0.002774 | 0.003107 | 0.06257 | -0.05669 | 1 | 0.00002256 | 0.0003449 | 0.01435 | 0.001967 | 0.04435 | 0.7088 | 0.2301 | 0.02708 | 0.001588 | 1 | 1 | 0.01154 | 0.1482 | 0.386 | 0.05315 | 0.6827 | 1.777 | json |
| t17_x24_u1_b94 | 17 | 24 | 1 | 94 | ![]() |
min(R,lrg(R,log(P))) | 118040 | 139020136 | o2(x,o2(x,o1(x))) | true | 104327 | 104327 | -0.07827 | 0.3326 | 0.3531 | 0.1868 | 0.4322 | -0.9989 | 0.9693 | 1.968 | 1 | 4.689 | 0.002129 | 0.002478 | 0.05284 | -0.07576 | 1 | 0.00001887 | 0.0002653 | 0.0121 | 0.001814 | 0.04259 | 0.806 | 0.2301 | 0.02466 | 0.001421 | 1 | 1 | 0.009336 | 0.1194 | 0.2969 | 0.04999 | 0.6394 | 1.59 | json |
| t17_x24_u1_b95 | 17 | 24 | 1 | 95 | ![]() |
min(R,eql(R,log(P))) | 118041 | 139020137 | o2(x,o2(x,o1(x))) | true | 104335 | 104335 | -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_x24_u1_b96 | 17 | 24 | 1 | 96 | ![]() |
min(R,min(R,log(P))) | 118042 | 139020138 | o2(x,o2(x,o1(x))) | true | 104343 | 104343 | -0.1341 | 0.4149 | 0.4588 | 0.2914 | 0.5398 | -1 | 0.9806 | 1.981 | 1 | 4.746 | 0.01151 | 0.002675 | 0.06077 | 0.623 | 1 | 0.00005143 | 0.01902 | 0.02807 | 0.0105 | 0.1024 | 1.686 | 1.898 | 0.04869 | 0.06526 | 1 | 1 | 0.02072 | 0.1608 | 0.4758 | 0.0711 | 0.5517 | 1.633 | json |
| t17_x24_u1_b97 | 17 | 24 | 1 | 97 | ![]() |
min(R,dot(R,log(P))) | 118043 | 139020139 | o2(x,o2(x,o1(x))) | true | 104351 | 104351 | -0.2416 | 0.3759 | 0.5498 | 0.3576 | 0.598 | -1 | 0.9806 | 1.981 | 1 | 4.478 | 0.007224 | 0.009325 | 0.05669 | -0.127 | 1 | 0.00003436 | 0.02513 | 0.02781 | 0.01334 | 0.1155 | 2.037 | 2.64 | 0.04628 | 0.07029 | 1 | 1 | 0.0257 | 0.1814 | 0.483 | 0.07188 | 0.5072 | 1.351 | json |
| t17_x24_u1_b98 | 17 | 24 | 1 | 98 | ![]() |
min(R,dst(R,log(P))) | 118044 | 139020140 | o2(x,o2(x,o1(x))) | true | 104359 | 104359 | 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_x24_u1_b99 | 17 | 24 | 1 | 99 | ![]() |
dot(R,add(R,log(P))) | 118045 | 139020141 | 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_x24_u1_b100 | 17 | 24 | 1 | 100 | ![]() |
dot(R,sub(R,log(P))) | 118046 | 139020142 | 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_x24_u1_b101 | 17 | 24 | 1 | 101 | ![]() |
dot(R,mlt(R,log(P))) | 118047 | 139020143 | o2(x,o2(x,o1(x))) | true | 104383 | 104383 | -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_x24_u1_b102 | 17 | 24 | 1 | 102 | ![]() |
dot(R,div(R,log(P))) | 118048 | 139020144 | o2(x,o2(x,o1(x))) | true | 104391 | 104391 | -0.8054 | 0.1406 | 0.9134 | 0.2373 | 0.4872 | -1 | 1 | 2 | 1 | 1.09 | 0.004276 | 0.002948 | 0.008397 | 0.1838 | 1 | 0.000009887 | 0.01418 | 0.009833 | 0.007153 | 0.08457 | 10.07 | 2 | 0.03044 | 0.05976 | 1 | 1 | 0.008998 | 0.03756 | 0.1312 | 0.03791 | 0.1583 | 0.5529 | json |
| t17_x24_u1_b103 | 17 | 24 | 1 | 103 | ![]() |
dot(R,pow(R,log(P))) | 118049 | 139020145 | o2(x,o2(x,o1(x))) | true | 104399 | 104399 | -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_x24_u1_b104 | 17 | 24 | 1 | 104 | ![]() |
dot(R,mod(R,log(P))) | 118050 | 139020146 | o2(x,o2(x,o1(x))) | true | 104407 | 104407 | -0.7505 | 0.1406 | 0.9683 | 0.3884 | 0.6232 | -1 | 1 | 2 | 1 | 1.028 | 0.005048 | 0.004939 | 0.009419 | 0.01095 | 1 | -0.000003671 | 0.0196 | 0.01194 | 0.009897 | 0.09948 | 10.56 | 2 | 0.02572 | 0.05048 | 1 | 1 | 0.01224 | 0.05106 | 0.2096 | 0.03152 | 0.1315 | 0.5397 | json |
| t17_x24_u1_b105 | 17 | 24 | 1 | 105 | ![]() |
dot(R,lrg(R,log(P))) | 118051 | 139020147 | o2(x,o2(x,o1(x))) | true | 104415 | 104415 | 0.06444 | 0.552 | 0.4941 | 0.3415 | 0.5844 | -1 | 1 | 2 | 1 | 4.865 | 0.005116 | 0.005829 | 0.07868 | -0.06522 | 1 | 0.00004366 | 0.001371 | 0.02064 | 0.004755 | 0.06896 | 0.8764 | 0.4552 | 0.03205 | 0.004015 | 1 | 1 | 0.02293 | 0.2685 | 0.6342 | 0.06714 | 0.7862 | 1.857 | json |
| t17_x24_u1_b106 | 17 | 24 | 1 | 106 | ![]() |
dot(R,eql(R,log(P))) | 118052 | 139020148 | o2(x,o2(x,o1(x))) | true | 104423 | 104423 | 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_x24_u1_b107 | 17 | 24 | 1 | 107 | ![]() |
dot(R,min(R,log(P))) | 118053 | 139020149 | 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_x24_u1_b108 | 17 | 24 | 1 | 108 | ![]() |
dot(R,dot(R,log(P))) | 118054 | 139020150 | 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_x24_u1_b109 | 17 | 24 | 1 | 109 | ![]() |
dot(R,dst(R,log(P))) | 118055 | 139020151 | 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_x24_u1_b110 | 17 | 24 | 1 | 110 | ![]() |
dst(R,add(R,log(P))) | 118056 | 139020152 | 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_x24_u1_b111 | 17 | 24 | 1 | 111 | ![]() |
dst(R,sub(R,log(P))) | 118057 | 139020153 | 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_x24_u1_b112 | 17 | 24 | 1 | 112 | ![]() |
dst(R,mlt(R,log(P))) | 118058 | 139020154 | o2(x,o2(x,o1(x))) | true | 104471 | 104471 | -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_x24_u1_b113 | 17 | 24 | 1 | 113 | ![]() |
dst(R,div(R,log(P))) | 118059 | 139020155 | o2(x,o2(x,o1(x))) | true | 104479 | 104479 | -0.7795 | 0.1406 | 0.9392 | 0.3022 | 0.5497 | -1 | 0.9978 | 1.998 | 1 | 1.09 | 0.004195 | 0.004381 | 0.008952 | -0.02164 | 1 | 0.00001108 | 0.01697 | 0.0108 | 0.008497 | 0.09218 | 10.3 | 1.998 | 0.02838 | 0.05615 | 1 | 1 | 0.01003 | 0.04195 | 0.1586 | 0.03318 | 0.1388 | 0.5249 | json |
| t17_x24_u1_b114 | 17 | 24 | 1 | 114 | ![]() |
dst(R,pow(R,log(P))) | 118060 | 139020156 | o2(x,o2(x,o1(x))) | true | 104487 | 104487 | -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_x24_u1_b115 | 17 | 24 | 1 | 115 | ![]() |
dst(R,mod(R,log(P))) | 118061 | 139020157 | o2(x,o2(x,o1(x))) | true | 104495 | 104495 | -0.8573 | 0.01099 | 0.8614 | 0.1252 | 0.3538 | -1 | 0.6927 | 1.693 | 1 | 0.6418 | 0.002099 | 0.001493 | 0.003613 | 0.1688 | 1 | 0.000001977 | 0.007177 | 0.006495 | 0.00358 | 0.05983 | 16.56 | 1.693 | 0.02869 | 0.05732 | 1 | 1 | 0.003855 | 0.01542 | 0.05788 | 0.03079 | 0.1232 | 0.4623 | json |
| t17_x24_u1_b116 | 17 | 24 | 1 | 116 | ![]() |
dst(R,lrg(R,log(P))) | 118062 | 139020158 | o2(x,o2(x,o1(x))) | true | 104503 | 104503 | 0.9843 | 1 | 0.9843 | 0.004914 | 0.0701 | 0.2919 | 1 | 0.7081 | 1 | 0.5022 | 0.0001876 | 0.0002009 | 0.004687 | -0.03429 | 1 | -0.00002016 | 0.0001632 | 0.00284 | 0.0003667 | 0.01915 | 4.086 | 0.1944 | 0.07906 | 0.03322 | 1 | 1 | 0.0008415 | 0.006837 | 0.01104 | 0.1712 | 1.391 | 2.247 | json |
| t17_x24_u1_b117 | 17 | 24 | 1 | 117 | ![]() |
dst(R,eql(R,log(P))) | 118063 | 139020159 | o2(x,o2(x,o1(x))) | true | 104511 | 104511 | 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_x24_u1_b118 | 17 | 24 | 1 | 118 | ![]() |
dst(R,min(R,log(P))) | 118064 | 139020160 | 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_x24_u1_b119 | 17 | 24 | 1 | 119 | ![]() |
dst(R,dot(R,log(P))) | 118065 | 139020161 | 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_x24_u1_b120 | 17 | 24 | 1 | 120 | ![]() |
dst(R,dst(R,log(P))) | 118066 | 139020162 | 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_x24_u2_b0 | 17 | 24 | 2 | 0 | ![]() |
add(R,add(R,frc(P))) | 118067 | 139020243 | o2(x,o2(x,o1(x))) | true | 104543 | 104543 | 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_x24_u2_b1 | 17 | 24 | 2 | 1 | ![]() |
add(R,sub(R,frc(P))) | 118068 | 139020244 | o2(x,o2(x,o1(x))) | true | 104551 | 104551 | 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_x24_u2_b2 | 17 | 24 | 2 | 2 | ![]() |
add(R,mlt(R,frc(P))) | 118069 | 139020245 | o2(x,o2(x,o1(x))) | true | 104559 | 104559 | 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_x24_u2_b3 | 17 | 24 | 2 | 3 | ![]() |
add(R,div(R,frc(P))) | 118070 | 139020246 | 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_x24_u2_b4 | 17 | 24 | 2 | 4 | ![]() |
add(R,pow(R,frc(P))) | 118071 | 139020247 | o2(x,o2(x,o1(x))) | true | 104575 | 104575 | 0.8072 | 1 | 0.8072 | 0.06917 | 0.263 | 0.001146 | 1 | 0.9989 | 1 | 2.721 | 0.00124 | 0.001463 | 0.03034 | -0.08261 | 1 | -0.00006109 | 0.0006685 | 0.01204 | 0.001783 | 0.04223 | 1.392 | 0.223 | 0.03908 | 0.009664 | 1 | 1 | 0.004971 | 0.05068 | 0.113 | 0.07186 | 0.7327 | 1.634 | json |
| t17_x24_u2_b5 | 17 | 24 | 2 | 5 | ![]() |
add(R,mod(R,frc(P))) | 118072 | 139020248 | o2(x,o2(x,o1(x))) | true | 104583 | 104583 | 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_x24_u2_b6 | 17 | 24 | 2 | 6 | ![]() |
add(R,lrg(R,frc(P))) | 118073 | 139020249 | o2(x,o2(x,o1(x))) | true | 104591 | 104591 | 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_x24_u2_b7 | 17 | 24 | 2 | 7 | ![]() |
add(R,eql(R,frc(P))) | 118074 | 139020250 | o2(x,o2(x,o1(x))) | true | 104599 | 104599 | 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_x24_u2_b8 | 17 | 24 | 2 | 8 | ![]() |
add(R,min(R,frc(P))) | 118075 | 139020251 | o2(x,o2(x,o1(x))) | true | 104607 | 104607 | -0.1786 | 0.4229 | 0.5355 | 0.3565 | 0.597 | -1 | 0.9804 | 1.98 | 1 | 4.683 | 0.005248 | 0.005892 | 0.07878 | -0.05786 | 1 | 0.0001125 | 0.001381 | 0.0214 | 0.004933 | 0.07024 | 0.8915 | 0.3468 | 0.03125 | 0.003875 | 1 | 1 | 0.02169 | 0.2587 | 0.6278 | 0.06083 | 0.7256 | 1.761 | json |
| t17_x24_u2_b9 | 17 | 24 | 2 | 9 | ![]() |
add(R,dot(R,frc(P))) | 118076 | 139020252 | o2(x,o2(x,o1(x))) | true | 104615 | 104615 | 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_x24_u2_b10 | 17 | 24 | 2 | 10 | ![]() |
add(R,dst(R,frc(P))) | 118077 | 139020253 | o2(x,o2(x,o1(x))) | true | 104623 | 104623 | 0.7698 | 1 | 0.7698 | 0.07179 | 0.2679 | 0.03077 | 1 | 0.9692 | 1 | 2.953 | 0.001474 | 0.001584 | 0.03376 | -0.03597 | 1 | -0.00007251 | 0.000832 | 0.01385 | 0.001919 | 0.0438 | 1.298 | 0.2336 | 0.0426 | 0.01159 | 1 | 1 | 0.00568 | 0.0565 | 0.13 | 0.07911 | 0.7869 | 1.81 | json |
| t17_x24_u2_b11 | 17 | 24 | 2 | 11 | ![]() |
sub(R,add(R,frc(P))) | 118078 | 139020254 | o2(x,o2(x,o1(x))) | true | 104631 | 104631 | 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_x24_u2_b12 | 17 | 24 | 2 | 12 | ![]() |
sub(R,sub(R,frc(P))) | 118079 | 139020255 | o2(x,o2(x,o1(x))) | true | 104639 | 104639 | 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_x24_u2_b13 | 17 | 24 | 2 | 13 | ![]() |
sub(R,mlt(R,frc(P))) | 118080 | 139020256 | o2(x,o2(x,o1(x))) | true | 104647 | 104647 | 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_x24_u2_b14 | 17 | 24 | 2 | 14 | ![]() |
sub(R,div(R,frc(P))) | 118081 | 139020257 | 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_x24_u2_b15 | 17 | 24 | 2 | 15 | ![]() |
sub(R,pow(R,frc(P))) | 118082 | 139020258 | o2(x,o2(x,o1(x))) | true | 104663 | 104663 | -0.7982 | 0 | 0.7982 | 0.07256 | 0.2694 | -1 | -0.01936 | 0.9806 | 1 | 2.717 | 0.001471 | 0.00159 | 0.03308 | -0.03903 | 1 | 0.0000876 | 0.0006964 | 0.01237 | 0.001966 | 0.04434 | 1.34 | 0.223 | 0.04219 | 0.009598 | 1 | 1 | 0.005951 | 0.06127 | 0.1403 | 0.08201 | 0.8444 | 1.934 | json |
| t17_x24_u2_b16 | 17 | 24 | 2 | 16 | ![]() |
sub(R,mod(R,frc(P))) | 118083 | 139020259 | o2(x,o2(x,o1(x))) | true | 104671 | 104671 | 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_x24_u2_b17 | 17 | 24 | 2 | 17 | ![]() |
sub(R,lrg(R,frc(P))) | 118084 | 139020260 | o2(x,o2(x,o1(x))) | true | 104679 | 104679 | -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_x24_u2_b18 | 17 | 24 | 2 | 18 | ![]() |
sub(R,eql(R,frc(P))) | 118085 | 139020261 | o2(x,o2(x,o1(x))) | true | 104687 | 104687 | 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_x24_u2_b19 | 17 | 24 | 2 | 19 | ![]() |
sub(R,min(R,frc(P))) | 118086 | 139020262 | o2(x,o2(x,o1(x))) | true | 104695 | 104695 | 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_x24_u2_b20 | 17 | 24 | 2 | 20 | ![]() |
sub(R,dot(R,frc(P))) | 118087 | 139020263 | o2(x,o2(x,o1(x))) | true | 104703 | 104703 | 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_x24_u2_b21 | 17 | 24 | 2 | 21 | ![]() |
sub(R,dst(R,frc(P))) | 118088 | 139020264 | o2(x,o2(x,o1(x))) | true | 104711 | 104711 | -0.769 | 0 | 0.769 | 0.06946 | 0.2636 | -1 | -0.03319 | 0.9668 | 1 | 2.969 | 0.001268 | 0.001446 | 0.0322 | -0.06543 | 1 | 0.00008738 | 0.0006871 | 0.01243 | 0.001677 | 0.04095 | 1.272 | 0.2384 | 0.03907 | 0.009891 | 1 | 1 | 0.005001 | 0.05032 | 0.1157 | 0.07199 | 0.7245 | 1.666 | json |
| t17_x24_u2_b22 | 17 | 24 | 2 | 22 | ![]() |
mlt(R,add(R,frc(P))) | 118089 | 139020265 | o2(x,o2(x,o1(x))) | true | 104719 | 104719 | 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_x24_u2_b23 | 17 | 24 | 2 | 23 | ![]() |
mlt(R,sub(R,frc(P))) | 118090 | 139020266 | o2(x,o2(x,o1(x))) | true | 104727 | 104727 | 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_x24_u2_b24 | 17 | 24 | 2 | 24 | ![]() |
mlt(R,mlt(R,frc(P))) | 118091 | 139020267 | o2(x,o2(x,o1(x))) | true | 104735 | 104735 | 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_x24_u2_b25 | 17 | 24 | 2 | 25 | ![]() |
mlt(R,div(R,frc(P))) | 118092 | 139020268 | 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_x24_u2_b26 | 17 | 24 | 2 | 26 | ![]() |
mlt(R,pow(R,frc(P))) | 118093 | 139020269 | o2(x,o2(x,o1(x))) | true | 104751 | 104751 | 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_x24_u2_b27 | 17 | 24 | 2 | 27 | ![]() |
mlt(R,mod(R,frc(P))) | 118094 | 139020270 | o2(x,o2(x,o1(x))) | true | 104759 | 104759 | 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_x24_u2_b28 | 17 | 24 | 2 | 28 | ![]() |
mlt(R,lrg(R,frc(P))) | 118095 | 139020271 | o2(x,o2(x,o1(x))) | true | 104767 | 104767 | 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_x24_u2_b29 | 17 | 24 | 2 | 29 | ![]() |
mlt(R,eql(R,frc(P))) | 118096 | 139020272 | o2(x,o2(x,o1(x))) | true | 104775 | 104775 | 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_x24_u2_b30 | 17 | 24 | 2 | 30 | ![]() |
mlt(R,min(R,frc(P))) | 118097 | 139020273 | o2(x,o2(x,o1(x))) | true | 104783 | 104783 | 0.1667 | 0.8997 | 0.1667 | 0.04767 | 0.2183 | 0 | 0.9978 | 0.9978 | 1 | 2.743 | 0.0005125 | 0.0006455 | 0.02318 | -0.1149 | 1 | -0.00002081 | 0.00006781 | 0.00545 | 0.0006207 | 0.02491 | 1.075 | 0.1167 | 0.02429 | 0.001422 | 1 | 1 | 0.002031 | 0.02613 | 0.07519 | 0.0426 | 0.5481 | 1.577 | json |
| t17_x24_u2_b31 | 17 | 24 | 2 | 31 | ![]() |
mlt(R,dot(R,frc(P))) | 118098 | 139020274 | o2(x,o2(x,o1(x))) | true | 104791 | 104791 | 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_x24_u2_b32 | 17 | 24 | 2 | 32 | ![]() |
mlt(R,dst(R,frc(P))) | 118099 | 139020275 | o2(x,o2(x,o1(x))) | true | 104799 | 104799 | 0.02082 | 0.5061 | 0.4225 | 0.2695 | 0.5192 | -1 | 1 | 2 | 1 | 4.887 | 0.003547 | 0.00404 | 0.0684 | -0.06503 | 1 | 0.00003814 | 0.0005905 | 0.01626 | 0.002909 | 0.05393 | 0.7884 | 0.2967 | 0.02815 | 0.002191 | 1 | 1 | 0.01476 | 0.1849 | 0.4871 | 0.05474 | 0.686 | 1.807 | json |



































































































