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
t6_x0_u0_b44 6 0 0 44 pow(P,add(P,P)) 1700 48723650 o2(x,o2(x,x)) true 13607 13607 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0 0 0.02105 0 0 0.02105 json
t6_x0_u0_b45 6 0 0 45 pow(P,sub(P,P)) 1701 48723651 o2(x,o2(x,x)) true 13615 13615 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
t6_x0_u0_b46 6 0 0 46 pow(P,mlt(P,P)) 1702 48723652 o2(x,o2(x,x)) true 13623 13623 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.03225 0.0645 1 1 0 0 0.02105 0 0 0.02139 json
t6_x0_u0_b47 6 0 0 47 pow(P,div(P,P)) 1703 48723653 o2(x,o2(x,x)) true 13631 13631 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0 0 0.02105 0 0 0.02139 json
t6_x0_u0_b48 6 0 0 48 pow(P,pow(P,P)) 1704 48723654 o2(x,o2(x,x)) true 13639 13639 -0.5313 0.25 0.9688 0.6792 0.8241 -1 1 2 1 1.163 0.0202 0 0.01587 1 1 0 0.03965 0.02468 0.01994 0.1412 8.896 2 0.02974 0.05838 1 1 0 0 0.02728 0 0 0.04017 json
t6_x0_u0_b49 6 0 0 49 pow(P,mod(P,P)) 1705 48723655 o2(x,o2(x,x)) true 13647 13647 0.125 0.5625 1 0.9844 0.9922 -1 1 2 1 0.9887 0.07937 0 0.03968 1 1 0 0.1587 0.07937 0.07773 0.2788 7.026 2 0.08062 0.1612 1 1 0 0 0.1053 0 0 0.1069 json
t6_x0_u0_b50 6 0 0 50 pow(P,lrg(P,P)) 1706 48723656 o2(x,o2(x,x)) true 13655 13655 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
t6_x0_u0_b51 6 0 0 51 pow(P,eql(P,P)) 1707 48723657 o2(x,o2(x,x)) true 13663 13663 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x0_u0_b52 6 0 0 52 pow(P,min(P,P)) 1708 48723658 o2(x,o2(x,x)) true 13671 13671 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0 0 0.02105 0 0 0.02105 json
t6_x0_u0_b53 6 0 0 53 pow(P,dot(P,P)) 1709 48723659 o2(x,o2(x,x)) true 13679 13679 -0.4121 0.3086 0.9707 0.7936 0.8908 -1 1 2 1 1.255 0.02087 0.006064 0.019 0.5497 1 -1.201e-10 0.05466 0.03122 0.02658 0.163 8.578 2.828 0.03394 0.06888 1 1 0 0 0.02826 0 0 0.03561 json
t6_x0_u0_b54 6 0 0 54 pow(P,dst(P,P)) 1710 48723660 o2(x,o2(x,x)) true 13687 13687 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
t6_x0_u0_b55 6 0 0 55 mod(P,add(P,P)) 1711 48723661 o2(x,o2(x,x)) true 13695 13695 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0 0 0.02105 0 0 0.02139 json
t6_x0_u0_b56 6 0 0 56 mod(P,sub(P,P)) 1712 48723662 o2(x,o2(x,x)) true 13703 13703 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x0_u0_b57 6 0 0 57 mod(P,mlt(P,P)) 1713 48723663 o2(x,o2(x,x)) true 13711 13711 -0.125 0.4375 0.9569 0.9337 0.9663 -1 1 2 1 1.476 0.00924 0 0.01587 1 1 0 0.01614 0.01936 0.008985 0.09479 5.974 1.001 0.009896 0.01729 1 1 0 0 0.01381 0 0 0.01479 json
t6_x0_u0_b58 6 0 0 58 mod(P,div(P,P)) 1714 48723664 o2(x,o2(x,x)) true 13719 13719 -0.125 0 0.125 0.1094 0.3307 -1 4.172e-7 1 1 1.294 0.007937 0 0.007937 1 1 -1.487e-13 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0 0 0.01053 0 0 0.09624 json
t6_x0_u0_b59 6 0 0 59 mod(P,pow(P,P)) 1715 48723665 o2(x,o2(x,x)) true 13727 13727 -0.08402 0.4375 0.916 0.9056 0.9516 -1 1 2 1 1.463 0.00462 0 0.007937 1 1 -9.461e-10 0.008071 0.009734 0.004556 0.0675 8.504 1 0.005101 0.008912 1 1 0 0 0.006903 0 0 0.007622 json
t6_x0_u0_b60 6 0 0 60 mod(P,mod(P,P)) 1716 48723666 o2(x,o2(x,x)) true 13735 13735 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0 0 0.01053 0 0 0.04491 json
t6_x0_u0_b61 6 0 0 61 mod(P,lrg(P,P)) 1717 48723667 o2(x,o2(x,x)) true 13743 13743 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b62 6 0 0 62 mod(P,eql(P,P)) 1718 48723668 o2(x,o2(x,x)) true 13751 13751 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b63 6 0 0 63 mod(P,min(P,P)) 1719 48723669 o2(x,o2(x,x)) true 13759 13759 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0 0 0.02392 0 0 0.04055 json
t6_x0_u0_b64 6 0 0 64 mod(P,dot(P,P)) 1720 48723670 o2(x,o2(x,x)) true 13767 13767 -0.01563 0.4922 0.9428 0.9297 0.9642 -1 1 2 1 1.767 0.002089 0.001431 0.009571 0.1869 1 -4.13e-11 0.005932 0.005937 0.003429 0.05856 6.118 2.828 0.003787 0.006381 1 1 0 0 0.00681 0 0 0.007325 json
t6_x0_u0_b65 6 0 0 65 mod(P,dst(P,P)) 1721 48723671 o2(x,o2(x,x)) true 13775 13775 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x0_u0_b66 6 0 0 66 lrg(P,add(P,P)) 1722 48723672 o2(x,o2(x,x)) true 13783 13783 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 0 0.0009255 0 0 0.00382 json
t6_x0_u0_b67 6 0 0 67 lrg(P,sub(P,P)) 1723 48723673 o2(x,o2(x,x)) true 13791 13791 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 0 0.0009255 0 0 0.00382 json
t6_x0_u0_b68 6 0 0 68 lrg(P,mlt(P,P)) 1724 48723674 o2(x,o2(x,x)) true 13799 13799 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b69 6 0 0 69 lrg(P,div(P,P)) 1725 48723675 o2(x,o2(x,x)) true 13807 13807 0.4688 0.5625 0.4688 0.2287 0.4783 0 1 1 1 1.79 0.001059 0 0.0119 1 1 -1.419e-9 0.00004864 0.002783 0.000917 0.03028 2.545 0.1169 0.004629 0.0002126 1 1 0 0 0.002776 0 0 0.01214 json
t6_x0_u0_b70 6 0 0 70 lrg(P,pow(P,P)) 1726 48723676 o2(x,o2(x,x)) true 13815 13815 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 0 0.0009255 0 0 0.00382 json
t6_x0_u0_b71 6 0 0 71 lrg(P,mod(P,P)) 1727 48723677 o2(x,o2(x,x)) true 13823 13823 0.3438 0.5 0.3438 0.1918 0.4379 0 1 1 1 2.076 0.001764 0 0.01981 1 1 0.00008984 0.00007983 0.004549 0.001372 0.03704 1.869 0.1169 0.009201 0.0004163 1 1 0 0 0.003702 0 0 0.0193 json
t6_x0_u0_b72 6 0 0 72 lrg(P,lrg(P,P)) 1728 48723678 o2(x,o2(x,x)) true 13831 13831 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 0 0.0009255 0 0 0.00382 json
t6_x0_u0_b73 6 0 0 73 lrg(P,eql(P,P)) 1729 48723679 o2(x,o2(x,x)) true 13839 13839 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 0 0.0009255 0 0 0.003947 json
t6_x0_u0_b74 6 0 0 74 lrg(P,min(P,P)) 1730 48723680 o2(x,o2(x,x)) true 13847 13847 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b75 6 0 0 75 lrg(P,dot(P,P)) 1731 48723681 o2(x,o2(x,x)) true 13855 13855 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b76 6 0 0 76 lrg(P,dst(P,P)) 1732 48723682 o2(x,o2(x,x)) true 13863 13863 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 0 0.0009255 0 0 0.00382 json
t6_x0_u0_b77 6 0 0 77 eql(P,add(P,P)) 1733 48723683 o2(x,o2(x,x)) true 13871 13871 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 0 0.001851 0 0 0.04107 json
t6_x0_u0_b78 6 0 0 78 eql(P,sub(P,P)) 1734 48723684 o2(x,o2(x,x)) true 13879 13879 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 0 0.001851 0 0 0.04107 json
t6_x0_u0_b79 6 0 0 79 eql(P,mlt(P,P)) 1735 48723685 o2(x,o2(x,x)) true 13887 13887 0.125 0.1875 0.125 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 0 0.001851 0 0 0.01931 json
t6_x0_u0_b80 6 0 0 80 eql(P,div(P,P)) 1736 48723686 o2(x,o2(x,x)) true 13895 13895 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 0 0.001851 0 0 0.04107 json
t6_x0_u0_b81 6 0 0 81 eql(P,pow(P,P)) 1737 48723687 o2(x,o2(x,x)) true 13903 13903 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 0 0.001851 0 0 0.04107 json
t6_x0_u0_b82 6 0 0 82 eql(P,mod(P,P)) 1738 48723688 o2(x,o2(x,x)) true 13911 13911 0.375 0.625 0.375 0.1803 0.4246 0 1 1 1 2.555 0.002821 0 0.0316 1 1 -0.0001797 0.0001273 0.007243 0.001823 0.0427 1.351 0.1169 0.01565 0.000706 1 1 0 0 0.00555 0 0 0.03079 json
t6_x0_u0_b83 6 0 0 83 eql(P,lrg(P,P)) 1739 48723689 o2(x,o2(x,x)) true 13919 13919 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 0 0.001851 0 0 0.04107 json
t6_x0_u0_b84 6 0 0 84 eql(P,eql(P,P)) 1740 48723690 o2(x,o2(x,x)) true 13927 13927 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 0 0.001851 0 0 0.04107 json
t6_x0_u0_b85 6 0 0 85 eql(P,min(P,P)) 1741 48723691 o2(x,o2(x,x)) true 13935 13935 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
t6_x0_u0_b86 6 0 0 86 eql(P,dot(P,P)) 1742 48723692 o2(x,o2(x,x)) true 13943 13943 0.007812 0.02258 0.007812 0.005398 0.07347 0 0.9997 0.9997 1 0.1706 0.00003512 0.00007993 0.001346 -0.3895 1 2.58e-11 0.000006278 0.0003238 0.0001133 0.01064 7.91 0.1169 0.02131 0.001163 1 1 0 0 0.0004001 0 0 0.07412 json
t6_x0_u0_b87 6 0 0 87 eql(P,dst(P,P)) 1743 48723693 o2(x,o2(x,x)) true 13951 13951 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 0 0.001851 0 0 0.04107 json
t6_x0_u0_b88 6 0 0 88 min(P,add(P,P)) 1744 48723694 o2(x,o2(x,x)) true 13959 13959 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0 0 0.002565 0 0 0.002739 json
t6_x0_u0_b89 6 0 0 89 min(P,sub(P,P)) 1745 48723695 o2(x,o2(x,x)) true 13967 13967 -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 0 0.0009255 0 0 0.00382 json
t6_x0_u0_b90 6 0 0 90 min(P,mlt(P,P)) 1746 48723696 o2(x,o2(x,x)) true 13975 13975 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x0_u0_b91 6 0 0 91 min(P,div(P,P)) 1747 48723697 o2(x,o2(x,x)) true 13983 13983 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 3.784e-9 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x0_u0_b92 6 0 0 92 min(P,pow(P,P)) 1748 48723698 o2(x,o2(x,x)) true 13991 13991 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x0_u0_b93 6 0 0 93 min(P,mod(P,P)) 1749 48723699 o2(x,o2(x,x)) true 13999 13999 -0.2185 0.3125 0.719 0.6542 0.8089 -1 1 2 1 2.238 0.00452 0 0.01964 1 1 -0.0006289 0.002266 0.01198 0.004133 0.06429 3.273 0.4609 0.006908 0.003463 1 1 0 0 0.00762 0 0 0.01165 json
t6_x0_u0_b94 6 0 0 94 min(P,lrg(P,P)) 1750 48723700 o2(x,o2(x,x)) true 14007 14007 -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 0 0.0009255 0 0 0.00382 json
t6_x0_u0_b95 6 0 0 95 min(P,eql(P,P)) 1751 48723701 o2(x,o2(x,x)) true 14015 14015 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x0_u0_b96 6 0 0 96 min(P,min(P,P)) 1752 48723702 o2(x,o2(x,x)) true 14023 14023 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x0_u0_b97 6 0 0 97 min(P,dot(P,P)) 1753 48723703 o2(x,o2(x,x)) true 14031 14031 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x0_u0_b98 6 0 0 98 min(P,dst(P,P)) 1754 48723704 o2(x,o2(x,x)) true 14039 14039 -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 0 0.0009255 0 0 0.00382 json
t6_x0_u0_b99 6 0 0 99 dot(P,add(P,P)) 1755 48723705 o2(x,o2(x,x)) true 14047 14047 0.9983 1 0.9983 0.001181 0.03437 0.001164 1 0.9988 1 0.04112 0.0000519 0.0000519 0.0005686 -4.907e-7 1 2.253e-11 0.00003964 0.0003493 0.0001035 0.01018 17.9 0.2685 0.08787 0.03356 1 1 0 0 0.0003401 0 0 0.2879 json
t6_x0_u0_b100 6 0 0 100 dot(P,sub(P,P)) 1756 48723706 o2(x,o2(x,x)) true 14055 14055 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b101 6 0 0 101 dot(P,mlt(P,P)) 1757 48723707 o2(x,o2(x,x)) true 14063 14063 3.725e-9 0.498 0.9867 0.9838 0.9919 -1 1 2 1 1.223 0.005879 0.005879 0.01178 -7.921e-8 1 -2.628e-10 0.02109 0.0135 0.01162 0.1078 9.153 1.414 0.01195 0.02144 1 1 0 0 0.02158 0 0 0.02194 json
t6_x0_u0_b102 6 0 0 102 dot(P,div(P,P)) 1758 48723708 o2(x,o2(x,x)) true 14071 14071 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b103 6 0 0 103 dot(P,pow(P,P)) 1759 48723709 o2(x,o2(x,x)) true 14079 14079 -0.5008 0.25 0.9992 0.7483 0.865 -1 1 2 1 0.8325 0.007543 0.007543 0.007877 6.174e-8 1 3.341e-10 0.03016 0.01543 0.01502 0.1226 15.56 2 0.02016 0.04031 1 1 0 0 0.01971 0 0 0.02634 json
t6_x0_u0_b104 6 0 0 104 dot(P,mod(P,P)) 1760 48723710 o2(x,o2(x,x)) true 14087 14087 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b105 6 0 0 105 dot(P,lrg(P,P)) 1761 48723711 o2(x,o2(x,x)) true 14095 14095 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b106 6 0 0 106 dot(P,eql(P,P)) 1762 48723712 o2(x,o2(x,x)) true 14103 14103 -1.583e-8 0.498 0.9392 0.9217 0.96 -1 1 2 1 1.917 0.0006889 0.0006889 0.01208 4.225e-7 1 -1.164e-10 0.0002289 0.003184 0.001231 0.03509 2.904 0.1653 0.001495 0.0002483 1 1 0 0 0.003512 0 0 0.003811 json
t6_x0_u0_b107 6 0 0 107 dot(P,min(P,P)) 1763 48723713 o2(x,o2(x,x)) true 14111 14111 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0 0 0.0003021 0 0 0.1369 json
t6_x0_u0_b108 6 0 0 108 dot(P,dot(P,P)) 1764 48723714 o2(x,o2(x,x)) true 14119 14119 -7.451e-9 0.498 0.9858 0.9826 0.9913 -1 1 2 1 1.234 0.005558 0.005558 0.01182 -4.189e-8 1 7.133e-11 0.01947 0.013 0.01098 0.1048 8.862 1.414 0.01131 0.01982 1 1 0 0 0.02038 0 0 0.02074 json
t6_x0_u0_b109 6 0 0 109 dot(P,dst(P,P)) 1765 48723715 o2(x,o2(x,x)) true 14127 14127 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b110 6 0 0 110 dst(P,add(P,P)) 1766 48723716 o2(x,o2(x,x)) true 14135 14135 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0 0 0.0002733 0 0 0.1194 json
t6_x0_u0_b111 6 0 0 111 dst(P,sub(P,P)) 1767 48723717 o2(x,o2(x,x)) true 14143 14143 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0 0 0.0002733 0 0 0.1194 json
t6_x0_u0_b112 6 0 0 112 dst(P,mlt(P,P)) 1768 48723718 o2(x,o2(x,x)) true 14151 14151 0.989 0.9961 0.989 0.009418 0.09705 0 1 1 1 0.1504 0.0001341 0.0001341 0.001582 -3.797e-7 1 -1.652e-10 0.00007401 0.0007952 0.0002656 0.0163 10.3 0.2415 0.02849 0.007858 1 1 0 0 0.0008883 0 0 0.09433 json
t6_x0_u0_b113 6 0 0 113 dst(P,div(P,P)) 1769 48723719 o2(x,o2(x,x)) true 14159 14159 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b114 6 0 0 114 dst(P,pow(P,P)) 1770 48723720 o2(x,o2(x,x)) true 14167 14167 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0 0 0.02105 0 0 0.02807 json
t6_x0_u0_b115 6 0 0 115 dst(P,mod(P,P)) 1771 48723721 o2(x,o2(x,x)) true 14175 14175 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b116 6 0 0 116 dst(P,lrg(P,P)) 1772 48723722 o2(x,o2(x,x)) true 14183 14183 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0 0 0.0002733 0 0 0.1194 json
t6_x0_u0_b117 6 0 0 117 dst(P,eql(P,P)) 1773 48723723 o2(x,o2(x,x)) true 14191 14191 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
t6_x0_u0_b118 6 0 0 118 dst(P,min(P,P)) 1774 48723724 o2(x,o2(x,x)) true 14199 14199 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t6_x0_u0_b119 6 0 0 119 dst(P,dot(P,P)) 1775 48723725 o2(x,o2(x,x)) true 14207 14207 0.9982 1 0.9982 0.001283 0.03583 0.0008232 1 0.9992 1 0.04415 0.00005219 0.00005219 0.000598 -6.97e-8 1 3.379e-11 0.00004116 0.0003428 0.0001041 0.0102 17.06 0.2708 0.08133 0.03207 1 1 0 0 0.0003411 0 0 0.2658 json
t6_x0_u0_b120 6 0 0 120 dst(P,dst(P,P)) 1776 48723726 o2(x,o2(x,x)) true 14215 14215 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0 0 0.0002733 0 0 0.1194 json
t6_x1_u0_b0 6 1 0 0 add(P,add(P,D)) 1777 48764007 o2(x,o2(x,x)) true 14223 14223 0 0.5 0.9629 0.9531 0.9763 -1 1 2 1 1.525 0.001033 0 0.007937 1 1 0 0.0001387 0.002289 0.0009709 0.03116 3.926 0.1758 0.001084 0.0001455 1 1 0 0 0.002648 0 0 0.002779 json
t6_x1_u0_b1 6 1 0 1 add(P,sub(P,D)) 1778 48764008 o2(x,o2(x,x)) true 14231 14231 0 0.5 0.9537 0.9469 0.9731 -1 1 2 1 1.494 0.001772 0 0.009085 1 1 0 0.0004501 0.004884 0.00169 0.04111 4.525 0.2773 0.001871 0.0004753 1 1 0 0 0.004401 0 0 0.004647 json
t6_x1_u0_b2 6 1 0 2 add(P,mlt(P,D)) 1779 48764009 o2(x,o2(x,x)) true 14239 14239 -0.01514 0.4961 0.9347 0.9219 0.9601 -1 1 2 1 1.778 0.0008508 0 0.008516 1 1 -1.774e-10 0.00009868 0.002875 0.0007783 0.0279 3.276 0.1529 0.0009229 0.000107 1 1 0 0 0.002191 0 0 0.002377 json
t6_x1_u0_b3 6 1 0 3 add(P,div(P,D)) 1780 48764010 o2(x,o2(x,x)) true 14247 14247 -0.1244 0.4102 0.9288 0.8994 0.9484 -1 1 2 1 1.726 0.387 0 0.2302 1 1 -3.784e-9 0.7135 0.4048 0.3339 0.5778 2.51 2 0.4302 0.7932 1 1 0 0 0.4054 0 0 0.4507 json
t6_x1_u0_b4 6 1 0 4 add(P,pow(P,D)) 1781 48764011 o2(x,o2(x,x)) true 14255 14255 -0.02152 0.5 0.9785 0.9739 0.9869 -1 1 2 1 1.244 0.004625 0 0.007937 1 1 -4.731e-10 0.007971 0.009631 0.00456 0.06753 8.509 1.001 0.004749 0.008185 1 1 0 0 0.006981 0 0 0.007168 json
t6_x1_u0_b5 6 1 0 5 add(P,mod(P,D)) 1782 48764012 o2(x,o2(x,x)) true 14263 14263 0 0.5 0.9462 0.9355 0.9672 -1 1 2 1 1.618 0.001374 0 0.008892 1 1 0 0.001385 0.007238 0.001294 0.03598 4.046 0.2043 0.001469 0.00148 1 1 0 0 0.002726 0 0 0.002914 json
t6_x1_u0_b6 6 1 0 6 add(P,lrg(P,D)) 1783 48764013 o2(x,o2(x,x)) true 14271 14271 0.04098 0.5313 0.959 0.9453 0.9723 -1 1 2 1 1.571 0.006022 0 0.01586 1 1 0 0.008334 0.01158 0.005766 0.07594 4.787 0.9988 0.006371 0.008816 1 1 0 0 0.01045 0 0 0.01105 json
t6_x1_u0_b7 6 1 0 7 add(P,eql(P,D)) 1784 48764014 o2(x,o2(x,x)) true 14279 14279 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x1_u0_b8 6 1 0 8 add(P,min(P,D)) 1785 48764015 o2(x,o2(x,x)) true 14287 14287 -0.02404 0.4961 0.9436 0.9318 0.9653 -1 1 2 1 1.674 0.0009535 0 0.007936 1 1 -2.364e-10 0.0001439 0.002555 0.0008912 0.02985 3.762 0.2122 0.001023 0.0001544 1 1 0 0 0.002434 0 0 0.002612 json
t6_x1_u0_b9 6 1 0 9 add(P,dot(P,D)) 1786 48764016 o2(x,o2(x,x)) true 14295 14295 -0.03169 0.4832 0.9368 0.9149 0.9565 -1 1 2 1 1.975 0.0008271 0.004124 0.02233 -0.6659 1 0.0003586 0.001754 0.01191 0.004455 0.06674 2.989 0.4596 0.005412 0.001917 1 1 0 0 0.008026 0 0 0.008773 json
t6_x1_u0_b10 6 1 0 10 add(P,dst(P,D)) 1787 48764017 o2(x,o2(x,x)) true 14303 14303 0.8954 0.9856 0.897 0.0679 0.2606 -0.1453 1 1.145 1 1.317 0.0002519 0.0003178 0.008865 -0.1158 1 -0.00007331 0.0001176 0.003335 0.000491 0.02216 2.5 0.2496 0.008391 0.001732 1 1 0 0 0.001452 0 0 0.02139 json
t6_x1_u0_b11 6 1 0 11 sub(P,add(P,D)) 1788 48764018 o2(x,o2(x,x)) true 14311 14311 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.03609 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0 0 0.003151 0 0 0.2912 json
t6_x1_u0_b12 6 1 0 12 sub(P,sub(P,D)) 1789 48764019 o2(x,o2(x,x)) true 14319 14319 0 0.5 0.09436 0.01082 0.104 -0.1454 0.1454 0.2908 1 2.561 0.001632 0 0.0361 1 1 0 0.0002563 0.01459 0.0003304 0.01818 0.5036 0.06192 0.1508 0.02368 1 1 0 0 0.003151 0 0 0.2912 json
t6_x1_u0_b13 6 1 0 13 sub(P,mlt(P,D)) 1790 48764020 o2(x,o2(x,x)) true 14327 14327 0.01514 0.5 0.9347 0.9219 0.9601 -1 1 2 1 1.778 0.0008508 0 0.008516 1 1 1.774e-10 0.00009868 0.002875 0.0007783 0.0279 3.276 0.1529 0.0009229 0.000107 1 1 0 0 0.002191 0 0 0.002377 json
t6_x1_u0_b14 6 1 0 14 sub(P,div(P,D)) 1791 48764021 o2(x,o2(x,x)) true 14335 14335 0.1244 0.5859 0.9288 0.8994 0.9484 -1 1 2 1 1.726 0.387 0 0.2302 1 1 1.894e-9 0.7135 0.4048 0.3339 0.5778 2.51 2 0.4302 0.7932 1 1 0 0 0.4054 0 0 0.4507 json
t6_x1_u0_b15 6 1 0 15 sub(P,pow(P,D)) 1792 48764022 o2(x,o2(x,x)) true 14343 14343 -0.08989 0.4375 0.9101 0.8957 0.9464 -1 1 2 1 1.558 0.00442 0 0.008438 1 1 2.346e-13 0.007989 0.00959 0.00435 0.06595 7.816 1 0.004935 0.008919 1 1 0 0 0.006427 0 0 0.007176 json
t6_x1_u0_b16 6 1 0 16 sub(P,mod(P,D)) 1793 48764023 o2(x,o2(x,x)) true 14351 14351 0 0.5 0.9256 0.9089 0.9534 -1 1 2 1 1.93 0.001277 0 0.009587 1 1 0 0.001739 0.01148 0.001184 0.03442 3.59 0.289 0.001404 0.001913 1 1 0 0 0.002233 0 0 0.002457 json
t6_x1_u0_b17 6 1 0 17 sub(P,lrg(P,D)) 1794 48764024 o2(x,o2(x,x)) true 14359 14359 -0.09375 0.4375 0.9063 0.89 0.9434 -1 1 2 1 1.621 0.004321 0 0.007937 1 1 -4.731e-10 0.007953 0.008864 0.004257 0.06525 8.221 1 0.004855 0.008935 1 1 0 0 0.006189 0 0 0.006953 json
t6_x1_u0_b18 6 1 0 18 sub(P,eql(P,D)) 1795 48764025 o2(x,o2(x,x)) true 14367 14367 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007639 0.00003501 1 1 0 0 0.001851 0 0 0.002003 json
t6_x1_u0_b19 6 1 0 19 sub(P,min(P,D)) 1796 48764026 o2(x,o2(x,x)) true 14375 14375 0.4835 0.5625 0.4835 0.2366 0.4864 0 1 1 1 1.546 0.000614 0 0.006897 1 1 1.656e-9 0.0001095 0.003022 0.0005663 0.0238 3.45 0.1529 0.002595 0.0004628 1 1 0 0 0.001556 0 0 0.006577 json
t6_x1_u0_b20 6 1 0 20 sub(P,dot(P,D)) 1797 48764027 o2(x,o2(x,x)) true 14383 14383 0.03169 0.5168 0.9368 0.9149 0.9565 -1 1 2 1 1.975 0.0008271 0.004124 0.02228 -0.6659 1 -0.0003586 0.001754 0.01191 0.004459 0.06677 2.997 0.4596 0.005412 0.001917 1 1 0 0 0.008026 0 0 0.008773 json
t6_x1_u0_b21 6 1 0 21 sub(P,dst(P,D)) 1798 48764028 o2(x,o2(x,x)) true 14391 14391 -0.8954 0.0144 0.897 0.0679 0.2606 -1 0.1453 1.145 1 1.317 0.0002547 0.0003178 0.008937 -0.1102 1 0.00007331 0.0001176 0.003335 0.0004928 0.0222 2.484 0.2456 0.008433 0.001732 1 1 0 0 0.001485 0 0 0.02187 json
t6_x1_u0_b22 6 1 0 22 mlt(P,add(P,D)) 1799 48764029 o2(x,o2(x,x)) true 14399 14399 0.9196 0.9922 0.9196 0.05971 0.2443 0.000009095 1 1 1 0.8884 0.00068 0 0.007936 1 1 7.687e-10 0.00003474 0.001754 0.0006173 0.02485 3.131 0.1105 0.01139 0.0005818 1 1 0 0 0.001781 0 0 0.02983 json