Laboratory of Babel / Archive / grad-noise-175k

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

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. #A kept 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-256 b6fc8f27…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 on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
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_x25_u0_b28 17 25 0 28 mlt(R,lrg(R,sqt(D))) 118700 139060270 o2(x,o2(x,o1(x))) true 109607 109607 0.1013 0.587 0.308 0.1521 0.39 -0.9987 0.9809 1.98 1 4.577 0.01303 0.002095 0.07217 0.723 1 0.00003714 0.02222 0.05562 0.00992 0.0996 1.38 0.9987 0.09946 0.1461 1 1 0.01951 0.1389 0.2661 0.1282 0.913 1.749 json
t17_x25_u0_b29 17 25 0 29 mlt(R,eql(R,sqt(D))) 118701 139060271 o2(x,o2(x,o1(x))) true 109615 109615 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_x25_u0_b30 17 25 0 30 mlt(R,min(R,sqt(D))) 118702 139060272 o2(x,o2(x,o1(x))) true 109623 109623 0.317 0.9999 0.317 0.05052 0.2248 0.00007475 0.9979 0.9979 1 3.661 0.004322 0.0006718 0.03954 0.731 1 -0.0001281 0.008528 0.02568 0.003431 0.05857 1.482 0.7685 0.09884 0.1688 1 1 0.005327 0.03325 0.08724 0.1054 0.6581 1.727 json
t17_x25_u0_b31 17 25 0 31 mlt(R,dot(R,sqt(D))) 118703 139060273 o2(x,o2(x,o1(x))) true 109631 109631 -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_x25_u0_b32 17 25 0 32 mlt(R,dst(R,sqt(D))) 118704 139060274 o2(x,o2(x,o1(x))) true 109639 109639 -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_x25_u0_b33 17 25 0 33 div(R,add(R,sqt(D))) 118705 139060275 o2(x,o2(x,o1(x))) true 109647 109647 -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_x25_u0_b34 17 25 0 34 div(R,sub(R,sqt(D))) 118706 139060276 o2(x,o2(x,o1(x))) true 109655 109655 -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_x25_u0_b35 17 25 0 35 div(R,mlt(R,sqt(D))) 118707 139060277 o2(x,o2(x,o1(x))) true 109663 109663 -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_x25_u0_b36 17 25 0 36 div(R,div(R,sqt(D))) 118708 139060278 o2(x,o2(x,o1(x))) true 109671 109671 -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_x25_u0_b37 17 25 0 37 div(R,pow(R,sqt(D))) 118709 139060279 o2(x,o2(x,o1(x))) true 109679 109679 -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_x25_u0_b38 17 25 0 38 div(R,mod(R,sqt(D))) 118710 139060280 o2(x,o2(x,o1(x))) true 109687 109687 -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_x25_u0_b39 17 25 0 39 div(R,lrg(R,sqt(D))) 118711 139060281 o2(x,o2(x,o1(x))) true 109695 109695 -0.9271 0.04422 0.9826 0.1141 0.3377 -1 0.9632 1.963 1 0.4397 0.05182 0.01026 0.04 0.6695 1 0.00001314 0.1376 0.07727 0.06052 0.246 6.15 2.744 0.5442 1.206 1 1 0.05815 0.1502 0.232 0.5098 1.316 2.034 json
t17_x25_u0_b40 17 25 0 40 div(R,eql(R,sqt(D))) 118712 139060282 o2(x,o2(x,o1(x))) true 109703 109703 -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_x25_u0_b41 17 25 0 41 div(R,min(R,sqt(D))) 118713 139060283 o2(x,o2(x,o1(x))) true 109711 109711 1 1 1 4.724e-16 2.174e-8 1 1 5.96e-8 1 0 1.116e-16 5.527e-17 2.703e-9 0.00005634 0 8.568e-9 2.053e-15 8.613e-9 1.595e-16 1.263e-8 4.673 8.429e-8 0.0001669 0.002053 0 1 1.923e-16 5.756e-16 8.894e-16 0.0001923 0.0005756 0.0008894 json
t17_x25_u0_b42 17 25 0 42 div(R,dot(R,sqt(D))) 118714 139060284 o2(x,o2(x,o1(x))) true 109719 109719 -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_x25_u0_b43 17 25 0 43 div(R,dst(R,sqt(D))) 118715 139060285 o2(x,o2(x,o1(x))) true 109727 109727 -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_x25_u0_b44 17 25 0 44 pow(R,add(R,sqt(D))) 118716 139060286 o2(x,o2(x,o1(x))) true 109735 109735 -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_x25_u0_b45 17 25 0 45 pow(R,sub(R,sqt(D))) 118717 139060287 o2(x,o2(x,o1(x))) true 109743 109743 -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_x25_u0_b46 17 25 0 46 pow(R,mlt(R,sqt(D))) 118718 139060288 o2(x,o2(x,o1(x))) true 109751 109751 -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_x25_u0_b47 17 25 0 47 pow(R,div(R,sqt(D))) 118719 139060289 o2(x,o2(x,o1(x))) true 109759 109759 -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_x25_u0_b48 17 25 0 48 pow(R,pow(R,sqt(D))) 118720 139060290 o2(x,o2(x,o1(x))) true 109767 109767 -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_x25_u0_b49 17 25 0 49 pow(R,mod(R,sqt(D))) 118721 139060291 o2(x,o2(x,o1(x))) true 109775 109775 -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_x25_u0_b50 17 25 0 50 pow(R,lrg(R,sqt(D))) 118722 139060292 o2(x,o2(x,o1(x))) true 109783 109783 -0.6327 0.2109 0.9454 0.5147 0.7174 -1 1 2 1 1.47 0.06292 0.05191 0.07206 0.09591 1 0.000005633 0.2411 0.1329 0.1097 0.3312 4.596 2.742 0.2231 0.4684 1 1 0.1123 0.4794 1.102 0.2181 0.9315 2.141 json
t17_x25_u0_b51 17 25 0 51 pow(R,eql(R,sqt(D))) 118723 139060293 o2(x,o2(x,o1(x))) true 109791 109791 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_x25_u0_b52 17 25 0 52 pow(R,min(R,sqt(D))) 118724 139060294 o2(x,o2(x,o1(x))) true 109799 109799 -0.9227 0.04297 0.9914 0.1332 0.365 -1 0.9896 1.99 1 0.3463 0.0142 0.01322 0.01566 0.03596 1 0.00001001 0.05774 0.03051 0.02718 0.1649 10.53 2.664 0.2058 0.4334 1 1 0.02089 0.08898 0.2228 0.1568 0.6679 1.673 json
t17_x25_u0_b53 17 25 0 53 pow(R,dot(R,sqt(D))) 118725 139060295 o2(x,o2(x,o1(x))) true 109807 109807 -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_x25_u0_b54 17 25 0 54 pow(R,dst(R,sqt(D))) 118726 139060296 o2(x,o2(x,o1(x))) true 109815 109815 -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_x25_u0_b55 17 25 0 55 mod(R,add(R,sqt(D))) 118727 139060297 o2(x,o2(x,o1(x))) true 109823 109823 -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_x25_u0_b56 17 25 0 56 mod(R,sub(R,sqt(D))) 118728 139060298 o2(x,o2(x,o1(x))) true 109831 109831 -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_x25_u0_b57 17 25 0 57 mod(R,mlt(R,sqt(D))) 118729 139060299 o2(x,o2(x,o1(x))) true 109839 109839 -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_x25_u0_b58 17 25 0 58 mod(R,div(R,sqt(D))) 118730 139060300 o2(x,o2(x,o1(x))) true 109847 109847 -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_x25_u0_b59 17 25 0 59 mod(R,pow(R,sqt(D))) 118731 139060301 o2(x,o2(x,o1(x))) true 109855 109855 -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_x25_u0_b60 17 25 0 60 mod(R,mod(R,sqt(D))) 118732 139060302 o2(x,o2(x,o1(x))) true 109863 109863 -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_x25_u0_b61 17 25 0 61 mod(R,lrg(R,sqt(D))) 118733 139060303 o2(x,o2(x,o1(x))) true 109871 109871 -0.9271 0.04422 0.9826 0.1141 0.3377 -1 0.9632 1.963 1 0.4397 0.05182 0.01026 0.04 0.6695 1 0.00001314 0.1376 0.07727 0.06052 0.246 6.15 2.744 0.5442 1.206 1 1 0.05815 0.1502 0.232 0.5098 1.316 2.034 json
t17_x25_u0_b62 17 25 0 62 mod(R,eql(R,sqt(D))) 118734 139060304 o2(x,o2(x,o1(x))) true 109879 109879 -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_x25_u0_b63 17 25 0 63 mod(R,min(R,sqt(D))) 118735 139060305 o2(x,o2(x,o1(x))) true 109887 109887 -0.006441 0.3999 0.1035 0.03833 0.1958 -0.9675 0.9557 1.923 1 2.92 0.003584 0.0005392 0.0339 0.7384 1 0.00008621 0.00781 0.03017 0.002974 0.05453 1.609 0.8839 0.1076 0.2038 1 1 0.005355 0.03892 0.09132 0.1397 1.016 2.382 json
t17_x25_u0_b64 17 25 0 64 mod(R,dot(R,sqt(D))) 118736 139060306 o2(x,o2(x,o1(x))) true 109895 109895 -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_x25_u0_b65 17 25 0 65 mod(R,dst(R,sqt(D))) 118737 139060307 o2(x,o2(x,o1(x))) true 109903 109903 -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_x25_u0_b66 17 25 0 66 lrg(R,add(R,sqt(D))) 118738 139060308 o2(x,o2(x,o1(x))) true 109911 109911 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_x25_u0_b67 17 25 0 67 lrg(R,sub(R,sqt(D))) 118739 139060309 o2(x,o2(x,o1(x))) true 109919 109919 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_x25_u0_b68 17 25 0 68 lrg(R,mlt(R,sqt(D))) 118740 139060310 o2(x,o2(x,o1(x))) true 109927 109927 0.7432 1 0.7432 0.1126 0.3355 0.000291 1 0.9997 1 2.88 0.03004 0.00118 0.07441 0.9244 1 -0.000001422 0.05612 0.0721 0.02568 0.1603 2.154 0.9997 0.2773 0.4985 1 1 0.03636 0.1591 0.1423 0.323 1.413 1.264 json
t17_x25_u0_b69 17 25 0 69 lrg(R,div(R,sqt(D))) 118741 139060311 o2(x,o2(x,o1(x))) true 109935 109935 0.7568 1 0.7568 0.1087 0.3297 0.000291 1 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t17_x25_u0_b70 17 25 0 70 lrg(R,pow(R,sqt(D))) 118742 139060312 o2(x,o2(x,o1(x))) true 109943 109943 0.7568 1 0.7568 0.1087 0.3297 0.000291 1 0.9997 1 2.8 0.02738 0.00118 0.07029 0.9174 1 0.000001419 0.05102 0.06666 0.02362 0.1537 2.186 0.9997 0.2627 0.4693 1 1 0.03085 0.1411 0.1423 0.2838 1.298 1.309 json
t17_x25_u0_b71 17 25 0 71 lrg(R,mod(R,sqt(D))) 118743 139060313 o2(x,o2(x,o1(x))) true 109951 109951 0.635 1 0.635 0.1257 0.3545 0.000291 1 0.9997 1 3.424 0.04517 0.000886 0.1068 0.9615 1 0.00004312 0.08437 0.1117 0.03463 0.1861 1.742 0.9994 0.3664 0.6713 1 1 0.04966 0.1932 0.1235 0.3951 1.537 0.983 json
t17_x25_u0_b72 17 25 0 72 lrg(R,lrg(R,sqt(D))) 118744 139060314 o2(x,o2(x,o1(x))) true 109959 109959 0.1081 0.4865 0.1081 0.04995 0.2235 0 0.9997 0.9997 1 1.834 0.01375 0.0006858 0.0429 0.9049 1 -0.00004455 0.02672 0.04334 0.01259 0.1122 2.615 0.9997 0.2889 0.5349 1 1 0.01383 0.06028 0.0809 0.2768 1.207 1.62 json
t17_x25_u0_b73 17 25 0 73 lrg(R,eql(R,sqt(D))) 118745 139060315 o2(x,o2(x,o1(x))) true 109967 109967 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_x25_u0_b74 17 25 0 74 lrg(R,min(R,sqt(D))) 118746 139060316 o2(x,o2(x,o1(x))) true 109975 109975 0.135 0.3148 0.135 0.08036 0.2835 0 0.9997 0.9997 1 1.711 0.03269 0.000886 0.05833 0.9472 1 0.00004313 0.06839 0.08303 0.03018 0.1737 2.978 0.9997 0.4178 0.851 1 1 0.0343 0.1091 0.1235 0.4268 1.358 1.537 json
t17_x25_u0_b75 17 25 0 75 lrg(R,dot(R,sqt(D))) 118747 139060317 o2(x,o2(x,o1(x))) true 109983 109983 0.8702 1 0.8702 0.06122 0.2474 0.000582 1 0.9994 1 2.016 0.01556 0.01624 0.06476 -0.02133 1 -0.00003323 0.07717 0.08648 0.0276 0.1661 2.565 1.413 0.5195 1.261 1 1 0.03626 0.1239 0.0796 0.5923 2.025 1.3 json
t17_x25_u0_b76 17 25 0 76 lrg(R,dst(R,sqt(D))) 118748 139060318 o2(x,o2(x,o1(x))) true 109991 109991 0.7759 1 0.7759 0.08781 0.2963 0.000582 1 0.9994 1 2.905 0.02568 0.02509 0.1056 0.01144 1 0.00001131 0.1104 0.1315 0.03963 0.1991 1.886 1.413 0.5782 1.257 1 1 0.05408 0.1756 0.03052 0.6159 2 0.3476 json
t17_x25_u0_b77 17 25 0 77 eql(R,add(R,sqt(D))) 118749 139060319 o2(x,o2(x,o1(x))) true 109999 109999 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_x25_u0_b78 17 25 0 78 eql(R,sub(R,sqt(D))) 118750 139060320 o2(x,o2(x,o1(x))) true 110007 110007 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_x25_u0_b79 17 25 0 79 eql(R,mlt(R,sqt(D))) 118751 139060321 o2(x,o2(x,o1(x))) true 110015 110015 2.132e-7 0.000824 2.132e-7 4.854e-11 0.000006967 0 0.000291 0.000291 1 0 1.003e-10 7.118e-13 4.44e-7 0.9859 0 -1.038e-10 3.039e-10 8.803e-7 1.008e-10 0.00001004 22.61 0.000291 2.082 6.261 1 1 6.049e-11 8.031e-11 1.177e-10 1.246 1.655 2.424 json
t17_x25_u0_b80 17 25 0 80 eql(R,div(R,sqt(D))) 118752 139060322 o2(x,o2(x,o1(x))) true 110023 110023 2.132e-7 0.000824 2.132e-7 4.854e-11 0.000006967 0 0.000291 0.000291 1 0 1.003e-10 7.118e-13 4.44e-7 0.9859 0 -1.038e-10 3.039e-10 8.803e-7 1.008e-10 0.00001004 22.61 0.000291 2.082 6.261 1 1 6.049e-11 8.031e-11 1.177e-10 1.246 1.655 2.424 json
t17_x25_u0_b81 17 25 0 81 eql(R,pow(R,sqt(D))) 118753 139060323 o2(x,o2(x,o1(x))) true 110031 110031 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_x25_u0_b82 17 25 0 82 eql(R,mod(R,sqt(D))) 118754 139060324 o2(x,o2(x,o1(x))) true 110039 110039 0.2414 0.8201 0.2414 0.09126 0.3021 0 0.9997 0.9997 1 3.011 0.03071 0.0009731 0.087 0.9386 1 -0.000294 0.05888 0.09129 0.02411 0.1553 1.785 0.9994 0.3471 0.6452 1 1 0.0336 0.1326 0.1315 0.3681 1.453 1.44 json
t17_x25_u0_b83 17 25 0 83 eql(R,lrg(R,sqt(D))) 118755 139060325 o2(x,o2(x,o1(x))) true 110047 110047 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_x25_u0_b84 17 25 0 84 eql(R,eql(R,sqt(D))) 118756 139060326 o2(x,o2(x,o1(x))) true 110055 110055 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_x25_u0_b85 17 25 0 85 eql(R,min(R,sqt(D))) 118757 139060327 o2(x,o2(x,o1(x))) true 110063 110063 0.865 1 0.865 0.08036 0.2835 0.000291 1 0.9997 1 1.711 0.03269 0.000886 0.05833 0.9472 1 -0.00004313 0.06839 0.08303 0.03018 0.1737 2.978 0.9997 0.4178 0.851 1 1 0.0343 0.1091 0.1235 0.4268 1.358 1.537 json
t17_x25_u0_b86 17 25 0 86 eql(R,dot(R,sqt(D))) 118758 139060328 o2(x,o2(x,o1(x))) true 110071 110071 0.00002256 0.0001068 0.00002256 0.000007027 0.002651 0 0.4384 0.4384 1 0.001566 0.00001451 0.00001451 0.0000795 0 0 0 0.0001451 0.0001863 0.000029 0.005385 67.74 0.62 4.129 20.64 1 1 0.00002004 0.00002004 0.00001926 2.851 2.851 2.741 json
t17_x25_u0_b87 17 25 0 87 eql(R,dst(R,sqt(D))) 118759 139060329 o2(x,o2(x,o1(x))) true 110079 110079 2.452e-8 0.00001526 2.452e-8 3.94e-11 0.000006277 0 0.001607 0.001607 1 0 8.132e-11 8.132e-11 8.639e-8 0 0 0 8.132e-10 2.024e-7 1.626e-10 0.00001275 147.6 0.002272 4.128 20.64 1 1 1.431e-10 1.431e-10 1.431e-10 3.631 3.631 3.631 json
t17_x25_u0_b88 17 25 0 88 min(R,add(R,sqt(D))) 118760 139060330 o2(x,o2(x,o1(x))) true 110087 110087 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_x25_u0_b89 17 25 0 89 min(R,sub(R,sqt(D))) 118761 139060331 o2(x,o2(x,o1(x))) true 110095 110095 -0.2319 0.3293 0.4469 0.2298 0.4794 -1 0.9802 1.98 1 4.789 0.007421 0.00307 0.08517 0.4148 1 0.0004398 0.002991 0.03327 0.003237 0.0569 0.6681 0.2869 0.04564 0.01301 1 1 0.01951 0.1922 0.3695 0.08488 0.8363 1.608 json
t17_x25_u0_b90 17 25 0 90 min(R,mlt(R,sqt(D))) 118762 139060332 o2(x,o2(x,o1(x))) true 110103 110103 -0.05739 0.466 0.343 0.1738 0.4168 -0.9989 0.9805 1.979 1 4.738 0.008797 0.002449 0.06953 0.5644 1 -0.0001178 0.01506 0.04103 0.006412 0.08008 1.152 0.7984 0.06473 0.08668 1 1 0.01493 0.125 0.2965 0.08595 0.7192 1.707 json
t17_x25_u0_b91 17 25 0 91 min(R,div(R,sqt(D))) 118763 139060333 o2(x,o2(x,o1(x))) true 110111 110111 -0.08453 0.4659 0.4689 0.3029 0.5504 -1 0.9805 1.981 1 4.833 0.01979 0.004962 0.09769 0.5991 1 -0.0001645 0.03802 0.0681 0.01521 0.1233 1.262 1.347 0.08171 0.1255 1 1 0.03261 0.242 0.522 0.1077 0.7988 1.723 json
t17_x25_u0_b92 17 25 0 92 min(R,pow(R,sqt(D))) 118764 139060334 o2(x,o2(x,o1(x))) true 110119 110119 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_x25_u0_b93 17 25 0 93 min(R,mod(R,sqt(D))) 118765 139060335 o2(x,o2(x,o1(x))) true 110127 110127 -0.06855 0.4547 0.3372 0.1696 0.4118 -0.9989 0.9805 1.979 1 4.72 0.01219 0.002379 0.07857 0.6733 1 0.0000868 0.02348 0.06365 0.00839 0.0916 1.166 0.8839 0.08587 0.1384 1 1 0.0176 0.1279 0.2875 0.1038 0.7544 1.695 json
t17_x25_u0_b94 17 25 0 94 min(R,lrg(R,sqt(D))) 118766 139060336 o2(x,o2(x,o1(x))) true 110135 110135 -0.02412 0.4503 0.3826 0.2115 0.4599 -0.9989 0.9806 1.979 1 4.839 0.004764 0.003059 0.06721 0.2179 1 0.00004937 0.004404 0.02798 0.003306 0.0575 0.8555 0.5721 0.03699 0.02082 1 1 0.01351 0.1531 0.3796 0.06387 0.7239 1.795 json
t17_x25_u0_b95 17 25 0 95 min(R,eql(R,sqt(D))) 118767 139060337 o2(x,o2(x,o1(x))) true 110143 110143 -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_x25_u0_b96 17 25 0 96 min(R,min(R,sqt(D))) 118768 139060338 o2(x,o2(x,o1(x))) true 110151 110151 -0.03155 0.4861 0.3605 0.1861 0.4314 -0.9989 0.9805 1.979 1 4.769 0.0081 0.002649 0.07125 0.5071 1 -0.0001533 0.01363 0.04002 0.005674 0.07533 1.057 0.7931 0.05777 0.07325 1 1 0.01466 0.1302 0.3212 0.0788 0.6998 1.726 json
t17_x25_u0_b97 17 25 0 97 min(R,dot(R,sqt(D))) 118769 139060339 o2(x,o2(x,o1(x))) true 110159 110159 -0.03398 0.4631 0.3787 0.2036 0.4512 -0.9989 0.9805 1.979 1 4.827 0.006218 0.004566 0.07207 0.1532 1 -0.00001107 0.01232 0.03659 0.005591 0.07477 1.038 1.142 0.05297 0.06049 1 1 0.01556 0.1492 0.357 0.07645 0.733 1.753 json
t17_x25_u0_b98 17 25 0 98 min(R,dst(R,sqt(D))) 118770 139060340 o2(x,o2(x,o1(x))) true 110167 110167 0.004124 0.4965 0.3908 0.2158 0.4645 -0.9989 0.9806 1.979 1 4.854 0.002817 0.003263 0.0636 -0.0733 1 0.00003219 0.0006441 0.01584 0.002036 0.04512 0.7094 0.4369 0.02818 0.002985 1 1 0.01187 0.1503 0.3832 0.05498 0.6967 1.776 json
t17_x25_u0_b99 17 25 0 99 dot(R,add(R,sqt(D))) 118771 139060341 o2(x,o2(x,o1(x))) true 110175 110175 -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_x25_u0_b100 17 25 0 100 dot(R,sub(R,sqt(D))) 118772 139060342 o2(x,o2(x,o1(x))) true 110183 110183 -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_x25_u0_b101 17 25 0 101 dot(R,mlt(R,sqt(D))) 118773 139060343 o2(x,o2(x,o1(x))) true 110191 110191 -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_x25_u0_b102 17 25 0 102 dot(R,div(R,sqt(D))) 118774 139060344 o2(x,o2(x,o1(x))) true 110199 110199 -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_x25_u0_b103 17 25 0 103 dot(R,pow(R,sqt(D))) 118775 139060345 o2(x,o2(x,o1(x))) true 110207 110207 -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_x25_u0_b104 17 25 0 104 dot(R,mod(R,sqt(D))) 118776 139060346 o2(x,o2(x,o1(x))) true 110215 110215 -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_x25_u0_b105 17 25 0 105 dot(R,lrg(R,sqt(D))) 118777 139060347 o2(x,o2(x,o1(x))) true 110223 110223 0.3906 0.7838 0.5355 0.246 0.496 -1 1 2 1 4.481 0.01302 0.0122 0.09611 0.03267 1 0.00000567 0.03707 0.08777 0.01598 0.1264 1.315 1.048 0.1025 0.1507 1 1 0.03075 0.2151 0.4464 0.125 0.8742 1.814 json
t17_x25_u0_b106 17 25 0 106 dot(R,eql(R,sqt(D))) 118778 139060348 o2(x,o2(x,o1(x))) true 110231 110231 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_x25_u0_b107 17 25 0 107 dot(R,min(R,sqt(D))) 118779 139060349 o2(x,o2(x,o1(x))) true 110239 110239 0.7261 1 0.7261 0.07288 0.27 0.00634 1 0.9937 1 3.344 0.003073 0.003442 0.04668 -0.05655 1 -0.0001828 0.01017 0.03508 0.004337 0.06585 1.411 0.7521 0.0894 0.1396 1 1 0.008298 0.05195 0.1145 0.1139 0.7128 1.571 json
t17_x25_u0_b108 17 25 0 108 dot(R,dot(R,sqt(D))) 118780 139060350 o2(x,o2(x,o1(x))) true 110247 110247 -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_x25_u0_b109 17 25 0 109 dot(R,dst(R,sqt(D))) 118781 139060351 o2(x,o2(x,o1(x))) true 110255 110255 -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_x25_u0_b110 17 25 0 110 dst(R,add(R,sqt(D))) 118782 139060352 o2(x,o2(x,o1(x))) true 110263 110263 -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_x25_u0_b111 17 25 0 111 dst(R,sub(R,sqt(D))) 118783 139060353 o2(x,o2(x,o1(x))) true 110271 110271 -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_x25_u0_b112 17 25 0 112 dst(R,mlt(R,sqt(D))) 118784 139060354 o2(x,o2(x,o1(x))) true 110279 110279 -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_x25_u0_b113 17 25 0 113 dst(R,div(R,sqt(D))) 118785 139060355 o2(x,o2(x,o1(x))) true 110287 110287 -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_x25_u0_b114 17 25 0 114 dst(R,pow(R,sqt(D))) 118786 139060356 o2(x,o2(x,o1(x))) true 110295 110295 -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_x25_u0_b115 17 25 0 115 dst(R,mod(R,sqt(D))) 118787 139060357 o2(x,o2(x,o1(x))) true 110303 110303 -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_x25_u0_b116 17 25 0 116 dst(R,lrg(R,sqt(D))) 118788 139060358 o2(x,o2(x,o1(x))) true 110311 110311 0.9387 1 0.9387 0.0167 0.1292 0.241 1 0.759 1 1.467 0.001738 0.002102 0.0228 -0.09476 1 -0.00006147 0.006484 0.02548 0.003319 0.05761 2.527 0.7093 0.2299 0.3883 1 1 0.00476 0.02298 0.03046 0.285 1.376 1.824 json
t17_x25_u0_b117 17 25 0 117 dst(R,eql(R,sqt(D))) 118789 139060359 o2(x,o2(x,o1(x))) true 110319 110319 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_x25_u0_b118 17 25 0 118 dst(R,min(R,sqt(D))) 118790 139060360 o2(x,o2(x,o1(x))) true 110327 110327 0.2912 0.9603 0.2912 0.06567 0.2563 0 1 1 1 3.542 0.004503 0.004698 0.05607 -0.0212 1 0.0002024 0.01705 0.04622 0.006058 0.07783 1.388 1.07 0.1401 0.2597 1 1 0.01046 0.06234 0.1343 0.1592 0.9493 2.046 json
t17_x25_u0_b119 17 25 0 119 dst(R,dot(R,sqt(D))) 118791 139060361 o2(x,o2(x,o1(x))) true 110335 110335 -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_x25_u0_b120 17 25 0 120 dst(R,dst(R,sqt(D))) 118792 139060362 o2(x,o2(x,o1(x))) true 110343 110343 -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_x25_u1_b0 17 25 1 0 add(R,add(R,log(D))) 118793 139060443 o2(x,o2(x,o1(x))) true 110351 110351 -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_x25_u1_b1 17 25 1 1 add(R,sub(R,log(D))) 118794 139060444 o2(x,o2(x,o1(x))) true 110359 110359 -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_x25_u1_b2 17 25 1 2 add(R,mlt(R,log(D))) 118795 139060445 o2(x,o2(x,o1(x))) true 110367 110367 -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_x25_u1_b3 17 25 1 3 add(R,div(R,log(D))) 118796 139060446 o2(x,o2(x,o1(x))) true 110375 110375 -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_x25_u1_b4 17 25 1 4 add(R,pow(R,log(D))) 118797 139060447 o2(x,o2(x,o1(x))) true 110383 110383 -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_x25_u1_b5 17 25 1 5 add(R,mod(R,log(D))) 118798 139060448 o2(x,o2(x,o1(x))) true 110391 110391 -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_x25_u1_b6 17 25 1 6 add(R,lrg(R,log(D))) 118799 139060449 o2(x,o2(x,o1(x))) true 110399 110399 0.7879 0.9844 0.7944 0.08557 0.2925 -0.6446 1 1.645 1 2.867 0.004434 0.00172 0.04142 0.441 1 -0.00004605 0.008205 0.02863 0.004438 0.06662 1.608 0.6781 0.07193 0.09589 1 1 0.007876 0.05901 0.1398 0.09204 0.6896 1.634 json