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
t16_x15_u6_b41 16 15 6 41 div(D,nrm(min(R,P))) 88100 130536878 o2(x,o1(o2(x,x))) true 21607 21607 -0.07419 0.4645 0.4139 0.3152 0.5614 -1 1 2 1 4.093 0.03551 0.01036 0.09774 0.5483 1 0.00007218 0.05768 0.07234 0.03631 0.1905 1.949 2.095 0.1455 0.183 1 1 0.05332 0.3529 0.5246 0.1692 1.12 1.664 json
t16_x15_u6_b42 16 15 6 42 div(D,nrm(dot(R,P))) 88101 130536879 o2(x,o1(o2(x,x))) true 21615 21615 -0.01562 0.4949 0.2777 0.1386 0.3723 -1 0.8597 1.86 1 4.338 0.007515 0.002424 0.08327 0.5122 1 -0.00006692 0.004375 0.02742 0.003006 0.05483 0.6584 1.417 0.07172 0.03157 1 1 0.0191 0.1899 0.3179 0.1378 1.371 2.294 json
t16_x15_u6_b43 16 15 6 43 div(D,nrm(dst(R,P))) 88102 130536880 o2(x,o1(o2(x,x))) true 21623 21623 4.213e-10 0.5 0.1635 0.03246 0.1802 -0.2519 0.2519 0.5037 1 2.906 0.004897 5.47e-17 0.06251 1 1 -4.753e-9 0.0007688 0.02527 0.000991 0.03148 0.5036 0.1072 0.1508 0.02368 1 1 0.009452 0.06552 3.757e-16 0.2912 2.018 1.158e-14 json
t16_x15_u6_b44 16 15 6 44 pow(D,nrm(add(R,P))) 88103 130536881 o2(x,o1(o2(x,x))) true 21631 21631 -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
t16_x15_u6_b45 16 15 6 45 pow(D,nrm(sub(R,P))) 88104 130536882 o2(x,o1(o2(x,x))) true 21639 21639 -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
t16_x15_u6_b46 16 15 6 46 pow(D,nrm(mlt(R,P))) 88105 130536883 o2(x,o1(o2(x,x))) true 21647 21647 -0.8945 0.05469 0.9962 0.1941 0.4405 -1 1 2 1 0.3829 0.02539 0.002038 0.01505 0.8513 1 -0.000002374 0.055 0.02835 0.02721 0.1649 10.96 2.828 0.1413 0.2834 1 1 0.0356 0.1465 0.3205 0.1834 0.7548 1.652 json
t16_x15_u6_b47 16 15 6 47 pow(D,nrm(div(R,P))) 88106 130536884 o2(x,o1(o2(x,x))) true 21655 21655 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t16_x15_u6_b48 16 15 6 48 pow(D,nrm(pow(R,P))) 88107 130536885 o2(x,o1(o2(x,x))) true 21663 21663 -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
t16_x15_u6_b49 16 15 6 49 pow(D,nrm(mod(R,P))) 88108 130536886 o2(x,o1(o2(x,x))) true 21671 21671 -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
t16_x15_u6_b50 16 15 6 50 pow(D,nrm(lrg(R,P))) 88109 130536887 o2(x,o1(o2(x,x))) true 21679 21679 -0.4605 0.2734 0.9926 0.7762 0.881 -1 1 2 1 1.001 0.01058 0.01448 0.01484 -0.1557 1 1.817e-7 0.05145 0.02682 0.02485 0.1576 10.62 2.828 0.03229 0.06629 1 1 0.02218 0.1073 0.4121 0.02858 0.1383 0.5309 json
t16_x15_u6_b51 16 15 6 51 pow(D,nrm(eql(R,P))) 88110 130536888 o2(x,o1(o2(x,x))) true 21687 21687 -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
t16_x15_u6_b52 16 15 6 52 pow(D,nrm(min(R,P))) 88111 130536889 o2(x,o1(o2(x,x))) true 21695 21695 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.008062 0.006047 0.006999 0.1429 1 0 0.02973 0.01411 0.01407 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.01928 0.07712 0.1808 0.3134 1.253 2.939 json
t16_x15_u6_b53 16 15 6 53 pow(D,nrm(dot(R,P))) 88112 130536890 o2(x,o1(o2(x,x))) true 21703 21703 -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
t16_x15_u6_b54 16 15 6 54 pow(D,nrm(dst(R,P))) 88113 130536891 o2(x,o1(o2(x,x))) true 21711 21711 -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
t16_x15_u6_b55 16 15 6 55 mod(D,nrm(add(R,P))) 88114 130536892 o2(x,o1(o2(x,x))) true 21719 21719 -0.00008545 0.5002 0.1066 0.01576 0.1255 -0.2724 0.2722 0.5447 1 3.028 0.004119 0.00002433 0.04908 0.9883 1 0.000002496 0.005315 0.03729 0.001735 0.04165 0.8487 0.5137 0.2629 0.3372 1 1 0.005678 0.03018 0.005508 0.3602 1.915 0.3495 json
t16_x15_u6_b56 16 15 6 56 mod(D,nrm(sub(R,P))) 88115 130536893 o2(x,o1(o2(x,x))) true 21727 21727 0.00008776 0.5018 0.1043 0.01522 0.1234 -0.2715 0.2715 0.5431 1 3.008 0.003883 0.0000203 0.04766 0.9896 1 -0.000001057 0.004869 0.0355 0.001632 0.0404 0.8475 0.5139 0.2565 0.32 1 1 0.005554 0.02933 0.005238 0.365 1.927 0.3442 json
t16_x15_u6_b57 16 15 6 57 mod(D,nrm(mlt(R,P))) 88116 130536894 o2(x,o1(o2(x,x))) true 21735 21735 -0.1239 0.4405 0.2186 0.1232 0.351 -1 0.2727 1.273 1 3.172 0.01096 0.00005202 0.04722 0.9906 1 -0.00002459 0.0195 0.04512 0.008784 0.09372 1.985 1.031 0.08938 0.1583 1 1 0.01476 0.06707 0.177 0.1198 0.5444 1.436 json
t16_x15_u6_b58 16 15 6 58 mod(D,nrm(div(R,P))) 88117 130536895 o2(x,o1(o2(x,x))) true 21743 21743 -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
t16_x15_u6_b59 16 15 6 59 mod(D,nrm(pow(R,P))) 88118 130536896 o2(x,o1(o2(x,x))) true 21751 21751 -0.9883 0.006134 0.9897 0.01171 0.1082 -1 0.2376 1.238 1 0.1281 0.001584 0.001019 0.003119 0.2172 1 -2.253e-11 0.00544 0.005535 0.002595 0.05094 16.33 1.37 0.2223 0.4646 1 1 0.004608 0.01824 0.04261 0.3936 1.558 3.639 json
t16_x15_u6_b60 16 15 6 60 mod(D,nrm(mod(R,P))) 88119 130536897 o2(x,o1(o2(x,x))) true 21759 21759 -0.2338 0.3846 0.3266 0.1948 0.4414 -1 0.2727 1.273 1 3.171 0.01095 0.007132 0.05488 0.2113 1 -0.000003358 0.03426 0.06494 0.01508 0.1228 2.237 1.37 0.09283 0.1758 1 1 0.02286 0.09723 0.2939 0.1173 0.499 1.508 json
t16_x15_u6_b61 16 15 6 61 mod(D,nrm(lrg(R,P))) 88120 130536898 o2(x,o1(o2(x,x))) true 21767 21767 -0.5468 0.2266 0.6016 0.2567 0.5067 -1 0.2675 1.267 1 2.396 0.005776 0.00154 0.03036 0.5791 1 -0.0002106 0.01364 0.02768 0.006392 0.07995 2.634 1.37 0.02849 0.05312 1 1 0.009795 0.04096 0.111 0.03815 0.1595 0.4322 json
t16_x15_u6_b62 16 15 6 62 mod(D,nrm(eql(R,P))) 88121 130536899 o2(x,o1(o2(x,x))) true 21775 21775 -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
t16_x15_u6_b63 16 15 6 63 mod(D,nrm(min(R,P))) 88122 130536900 o2(x,o1(o2(x,x))) true 21783 21783 -0.07546 0.4674 0.1661 0.08471 0.291 -1 0.2724 1.272 1 3.107 0.008171 0.001603 0.04776 0.672 1 -0.00003049 0.01773 0.04757 0.007494 0.08657 1.813 1.415 0.1154 0.2094 1 1 0.01419 0.06192 0.1576 0.1675 0.731 1.861 json
t16_x15_u6_b64 16 15 6 64 mod(D,nrm(dot(R,P))) 88123 130536901 o2(x,o1(o2(x,x))) true 21791 21791 -0.01563 0.4922 0.1656 0.04596 0.2144 -1 0.2675 1.267 1 3.222 0.009912 0.001039 0.06786 0.8102 1 -5.021e-11 0.01701 0.06494 0.006344 0.07965 1.174 1.415 0.2382 0.37 1 1 0.01486 0.06992 0.05849 0.3232 1.521 1.273 json
t16_x15_u6_b65 16 15 6 65 mod(D,nrm(dst(R,P))) 88124 130536902 o2(x,o1(o2(x,x))) true 21799 21799 -3.24e-12 0.5 0.1524 0.03107 0.1763 -0.2675 0.2675 0.535 1 3.156 0.009049 8.392e-19 0.067 1 1 7.227e-11 0.01297 0.06196 0.004559 0.06752 1.008 0.2403 0.2913 0.4175 1 1 0.01159 0.0573 1.055e-17 0.373 1.844 3.397e-16 json
t16_x15_u6_b66 16 15 6 66 lrg(D,nrm(add(R,P))) 88125 130536903 o2(x,o1(o2(x,x))) true 21807 21807 0.5018 0.7273 0.5018 0.2056 0.4534 0 1 1 1 2.472 0.01202 0.0001952 0.0408 0.968 1 -6.558e-7 0.02261 0.04292 0.01055 0.1027 2.518 0.9992 0.0594 0.11 1 1 0.01355 0.05313 0.08578 0.06592 0.2584 0.4172 json
t16_x15_u6_b67 16 15 6 67 lrg(D,nrm(sub(R,P))) 88126 130536904 o2(x,o1(o2(x,x))) true 21815 21815 0.5003 0.6737 0.5003 0.218 0.4669 0 1 1 1 2.168 0.01126 0.0001989 0.03362 0.9653 1 0.000002538 0.02201 0.04094 0.01033 0.1016 3.023 0.9992 0.05255 0.1009 1 1 0.01183 0.03721 0.08834 0.05427 0.1707 0.4052 json
t16_x15_u6_b68 16 15 6 68 lrg(D,nrm(mlt(R,P))) 88127 130536905 o2(x,o1(o2(x,x))) true 21823 21823 0.5297 0.9569 0.5297 0.1459 0.3819 0 1 1 1 3.519 0.01668 0.002086 0.07398 0.7776 1 0.00005353 0.03005 0.05488 0.01329 0.1153 1.558 0.9994 0.1287 0.206 1 1 0.02195 0.1371 0.2713 0.1505 0.9403 1.86 json
t16_x15_u6_b69 16 15 6 69 lrg(D,nrm(div(R,P))) 88128 130536906 o2(x,o1(o2(x,x))) true 21831 21831 0.5313 1 0.5313 0.1475 0.3841 0.000291 1 0.9997 1 3.332 0.06079 0 0.1149 1 1 0 0.1127 0.1248 0.0476 0.2182 1.9 0.9997 0.4121 0.764 1 1 0.06466 0.2279 0.03299 0.4383 1.545 0.2236 json
t16_x15_u6_b70 16 15 6 70 lrg(D,nrm(pow(R,P))) 88129 130536907 o2(x,o1(o2(x,x))) true 21839 21839 0.7512 0.9922 0.7512 0.1188 0.3447 0 1 1 1 2.687 0.008023 0.001534 0.04555 0.6789 1 -0.00003149 0.01316 0.0275 0.007483 0.08651 1.899 0.9994 0.08045 0.1108 1 1 0.01341 0.1036 0.2474 0.1129 0.8724 2.082 json
t16_x15_u6_b71 16 15 6 71 lrg(D,nrm(mod(R,P))) 88130 130536908 o2(x,o1(o2(x,x))) true 21847 21847 0.5633 0.9405 0.5633 0.148 0.3847 0 1 1 1 3.444 0.01643 0.002122 0.07401 0.7713 1 0.000002359 0.03071 0.06184 0.01308 0.1144 1.545 0.9997 0.1253 0.2075 1 1 0.02052 0.1298 0.242 0.1386 0.8769 1.635 json
t16_x15_u6_b72 16 15 6 72 lrg(D,nrm(lrg(R,P))) 88131 130536909 o2(x,o1(o2(x,x))) true 21855 21855 0.3193 0.6694 0.3193 0.1608 0.401 0 1 1 1 2.647 0.0246 0.0003672 0.05885 0.9706 1 -0.00004818 0.04635 0.06471 0.0215 0.1466 2.492 0.9997 0.1552 0.2882 1 1 0.02759 0.1081 0.09592 0.1715 0.6723 0.5964 json
t16_x15_u6_b73 16 15 6 73 lrg(D,nrm(eql(R,P))) 88132 130536910 o2(x,o1(o2(x,x))) true 21863 21863 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
t16_x15_u6_b74 16 15 6 74 lrg(D,nrm(min(R,P))) 88133 130536911 o2(x,o1(o2(x,x))) true 21871 21871 0.7221 0.9761 0.7221 0.1305 0.3613 0 1 1 1 2.748 0.01935 0.0008426 0.06075 0.9165 1 -0.00001884 0.03577 0.05781 0.01649 0.1284 2.114 0.9997 0.1547 0.2741 1 1 0.02205 0.1024 0.1568 0.1689 0.7849 1.201 json
t16_x15_u6_b75 16 15 6 75 lrg(D,nrm(dot(R,P))) 88134 130536912 o2(x,o1(o2(x,x))) true 21879 21879 0.5353 0.9092 0.5353 0.1525 0.3905 0 1 1 1 3.441 0.009888 0.002295 0.07022 0.6233 1 0.00005873 0.01696 0.05971 0.007255 0.08517 1.213 0.4416 0.0799 0.1113 1 1 0.01602 0.1293 0.2992 0.1051 0.8479 1.962 json
t16_x15_u6_b76 16 15 6 76 lrg(D,nrm(dst(R,P))) 88135 130536913 o2(x,o1(o2(x,x))) true 21887 21887 0.05022 0.4375 0.05022 0.009001 0.09487 0 0.3283 0.3283 1 1.311 0.008418 0 0.04166 1 1 -0.00008985 0.01876 0.05465 0.006683 0.08175 1.962 0.3283 0.9353 2.084 1 1 0.007417 0.01164 0 0.824 1.293 0 json
t16_x15_u6_b77 16 15 6 77 eql(D,nrm(add(R,P))) 88136 130536914 o2(x,o1(o2(x,x))) true 21895 21895 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
t16_x15_u6_b78 16 15 6 78 eql(D,nrm(sub(R,P))) 88137 130536915 o2(x,o1(o2(x,x))) true 21903 21903 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
t16_x15_u6_b79 16 15 6 79 eql(D,nrm(mlt(R,P))) 88138 130536916 o2(x,o1(o2(x,x))) true 21911 21911 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
t16_x15_u6_b80 16 15 6 80 eql(D,nrm(div(R,P))) 88139 130536917 o2(x,o1(o2(x,x))) true 21919 21919 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
t16_x15_u6_b81 16 15 6 81 eql(D,nrm(pow(R,P))) 88140 130536918 o2(x,o1(o2(x,x))) true 21927 21927 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
t16_x15_u6_b82 16 15 6 82 eql(D,nrm(mod(R,P))) 88141 130536919 o2(x,o1(o2(x,x))) true 21935 21935 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
t16_x15_u6_b83 16 15 6 83 eql(D,nrm(lrg(R,P))) 88142 130536920 o2(x,o1(o2(x,x))) true 21943 21943 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
t16_x15_u6_b84 16 15 6 84 eql(D,nrm(eql(R,P))) 88143 130536921 o2(x,o1(o2(x,x))) true 21951 21951 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
t16_x15_u6_b85 16 15 6 85 eql(D,nrm(min(R,P))) 88144 130536922 o2(x,o1(o2(x,x))) true 21959 21959 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
t16_x15_u6_b86 16 15 6 86 eql(D,nrm(dot(R,P))) 88145 130536923 o2(x,o1(o2(x,x))) true 21967 21967 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
t16_x15_u6_b87 16 15 6 87 eql(D,nrm(dst(R,P))) 88146 130536924 o2(x,o1(o2(x,x))) true 21975 21975 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
t16_x15_u6_b88 16 15 6 88 min(D,nrm(add(R,P))) 88147 130536925 o2(x,o1(o2(x,x))) true 21983 21983 -0.3466 0.2146 0.3862 0.1365 0.3694 -1 0.1454 1.145 1 4.125 0.001092 0.00006755 0.02611 0.8834 1 0.0001643 0.0001801 0.009723 0.0004773 0.02185 0.8366 0.1065 0.008493 0.00132 1 1 0.002438 0.02107 0.04052 0.01786 0.1544 0.2969 json
t16_x15_u6_b89 16 15 6 89 min(D,nrm(sub(R,P))) 88148 130536926 o2(x,o1(o2(x,x))) true 21991 21991 -0.3286 0.2445 0.3737 0.1414 0.376 -0.9987 0.1454 1.144 1 4.07 0.001035 0.00006866 0.02537 0.8756 1 -0.0001573 0.0001809 0.009722 0.0004599 0.02145 0.8452 0.1313 0.007805 0.00128 1 1 0.002264 0.01811 0.04041 0.01601 0.1281 0.2858 json
t16_x15_u6_b90 16 15 6 90 min(D,nrm(mlt(R,P))) 88149 130536927 o2(x,o1(o2(x,x))) true 21999 21999 -0.3661 0.1373 0.3882 0.1087 0.3297 -1 0.1454 1.145 1 4.192 0.002172 0.001514 0.05119 0.1785 1 -0.000005801 0.0003233 0.01409 0.001066 0.03265 0.6378 0.1689 0.03392 0.002975 1 1 0.007343 0.08657 0.19 0.06756 0.7965 1.748 json
t16_x15_u6_b91 16 15 6 91 min(D,nrm(div(R,P))) 88150 130536928 o2(x,o1(o2(x,x))) true 22007 22007 -0.1341 0.03125 0.14 0.01053 0.1026 -0.2729 0.1454 0.4183 1 2.42 0.001464 0 0.0343 1 1 0.0003063 0.0002628 0.01362 0.0002884 0.01698 0.4951 0.0622 0.139 0.02494 1 1 0.002824 0.01902 0.0025 0.2681 1.806 0.2374 json
t16_x15_u6_b92 16 15 6 92 min(D,nrm(pow(R,P))) 88151 130536929 o2(x,o1(o2(x,x))) true 22015 22015 -0.01253 0.4676 0.09775 0.01193 0.1092 -0.2728 0.1454 0.4182 1 2.703 0.001661 0.00002243 0.03675 0.9734 1 0.00002047 0.0002743 0.01478 0.0003338 0.01827 0.4971 0.08402 0.1412 0.023 1 1 0.003295 0.02306 0.002106 0.2763 1.933 0.1766 json
t16_x15_u6_b93 16 15 6 93 min(D,nrm(mod(R,P))) 88152 130536930 o2(x,o1(o2(x,x))) true 22023 22023 -0.2481 0.2129 0.2852 0.07238 0.269 -0.949 0.1454 1.094 1 3.991 0.001812 0.0008412 0.04458 0.3658 1 -0.0000176 0.0002781 0.01352 0.0006654 0.0258 0.5786 0.159 0.03665 0.003842 1 1 0.00483 0.05225 0.1122 0.06673 0.7219 1.55 json
t16_x15_u6_b94 16 15 6 94 min(D,nrm(lrg(R,P))) 88153 130536931 o2(x,o1(o2(x,x))) true 22031 22031 -0.05076 0.3307 0.1107 0.01463 0.121 -0.2729 0.1454 0.4183 1 2.913 0.00157 0.00002196 0.03583 0.9724 1 0.00004955 0.000267 0.01434 0.0003088 0.01757 0.4905 0.0622 0.1088 0.01824 1 1 0.00307 0.02102 0.00474 0.2098 1.436 0.324 json
t16_x15_u6_b95 16 15 6 95 min(D,nrm(eql(R,P))) 88154 130536932 o2(x,o1(o2(x,x))) true 22039 22039 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.003151 0.02183 0 0.2912 2.017 0 json
t16_x15_u6_b96 16 15 6 96 min(D,nrm(min(R,P))) 88155 130536933 o2(x,o1(o2(x,x))) true 22047 22047 -0.5207 0.06114 0.5302 0.133 0.3648 -1 0.1454 1.145 1 3.858 0.001011 0.0003156 0.02522 0.5241 1 0.00009363 0.0001543 0.007996 0.0006902 0.02627 1.042 0.1678 0.00997 0.00116 1 1 0.002468 0.02717 0.07605 0.01855 0.2042 0.5716 json
t16_x15_u6_b97 16 15 6 97 min(D,nrm(dot(R,P))) 88156 130536934 o2(x,o1(o2(x,x))) true 22055 22055 -0.3132 0.1702 0.3426 0.06422 0.2534 -0.597 0.1454 0.7424 1 3.398 0.00159 0.0009578 0.04095 0.2481 1 -0.00002252 0.0002312 0.01205 0.0008708 0.02951 0.7206 0.1186 0.03967 0.0036 1 1 0.005165 0.05879 0.1254 0.08043 0.9154 1.953 json
t16_x15_u6_b98 16 15 6 98 min(D,nrm(dst(R,P))) 88157 130536935 o2(x,o1(o2(x,x))) true 22063 22063 -0.004262 0.5 0.09863 0.01196 0.1093 -0.1618 0.1454 0.3072 1 2.531 0.001813 2.85e-19 0.03815 1 1 0.00002217 0.0002946 0.01485 0.0003584 0.01893 0.4962 0.06203 0.1517 0.02464 1 1 0.003495 0.02411 4.747e-18 0.2923 2.017 3.97e-16 json
t16_x15_u6_b99 16 15 6 99 dot(D,nrm(add(R,P))) 88158 130536936 o2(x,o1(o2(x,x))) true 22071 22071 -0.03131 0.4005 0.09588 0.01221 0.1105 -0.5374 0.259 0.7964 1 2.835 0.0008238 0.0008285 0.03803 -0.002841 1 0.0005622 0.000253 0.01358 0.0002061 0.01436 0.3775 0.0802 0.1353 0.02071 1 1 0.003242 0.02442 0.006693 0.2655 2 0.5481 json
t16_x15_u6_b100 16 15 6 100 dot(D,nrm(sub(R,P))) 88159 130536937 o2(x,o1(o2(x,x))) true 22079 22079 0.03142 0.6002 0.09567 0.01208 0.1099 -0.2124 0.4843 0.6968 1 2.827 0.0008305 0.0008135 0.03791 0.01032 1 -0.0005665 0.0002524 0.01358 0.0002068 0.01438 0.3793 0.07894 0.1361 0.0209 1 1 0.003213 0.02408 0.006099 0.2661 1.994 0.505 json
t16_x15_u6_b101 16 15 6 101 dot(D,nrm(mlt(R,P))) 88160 130536938 o2(x,o1(o2(x,x))) true 22087 22087 -0.01789 0.4855 0.1811 0.05892 0.2427 -1 0.5974 1.597 1 3.835 0.002326 0.002306 0.05091 0.004258 1 0.00005055 0.003896 0.01772 0.002039 0.04516 0.8869 1.414 0.0786 0.06612 1 1 0.00861 0.07525 0.14 0.1461 1.277 2.376 json
t16_x15_u6_b102 16 15 6 102 dot(D,nrm(div(R,P))) 88161 130536939 o2(x,o1(o2(x,x))) true 22095 22095 -0.2344 0 0.2344 0.1793 0.4235 -1 0 1 1 0.7856 0.006929 0.006929 0.01385 0 1 0 0.02784 0.02771 0.01366 0.1169 8.44 1.414 0.07728 0.1553 1 1 0.01751 0.07003 0.2801 0.09763 0.3905 1.562 json
t16_x15_u6_b103 16 15 6 103 dot(D,nrm(pow(R,P))) 88162 130536940 o2(x,o1(o2(x,x))) true 22103 22103 -0.9881 0.0065 0.9893 0.01204 0.1097 -1 0.2072 1.207 1 0.1235 0.001566 0.001026 0.002842 0.2082 1 -2.628e-11 0.005409 0.00519 0.002586 0.05085 17.89 1.391 0.2153 0.4494 1 1 0.004586 0.01851 0.04381 0.381 1.538 3.64 json
t16_x15_u6_b104 16 15 6 104 dot(D,nrm(mod(R,P))) 88163 130536941 o2(x,o1(o2(x,x))) true 22111 22111 -0.2284 0.4007 0.341 0.205 0.4528 -1 0.534 1.534 1 3.474 0.007784 0.007814 0.04437 -0.001925 1 -0.0001392 0.02848 0.03627 0.01363 0.1167 2.631 1.448 0.07608 0.1389 1 1 0.02042 0.09868 0.3228 0.09963 0.4814 1.574 json
t16_x15_u6_b105 16 15 6 105 dot(D,nrm(lrg(R,P))) 88164 130536942 o2(x,o1(o2(x,x))) true 22119 22119 -0.2508 0.3883 0.3195 0.2023 0.4498 -1 0.3169 1.317 1 2.829 0.004261 0.004464 0.03175 -0.02323 1 -0.000237 0.01654 0.02454 0.007716 0.08784 2.767 1.415 0.04313 0.08176 1 1 0.008986 0.0435 0.1288 0.04442 0.215 0.6366 json
t16_x15_u6_b106 16 15 6 106 dot(D,nrm(eql(R,P))) 88165 130536943 o2(x,o1(o2(x,x))) true 22127 22127 -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
t16_x15_u6_b107 16 15 6 107 dot(D,nrm(min(R,P))) 88166 130536944 o2(x,o1(o2(x,x))) true 22135 22135 -0.01563 0.4483 0.1143 0.01985 0.1409 -0.5013 0.5648 1.066 1 3.186 0.0009497 0.0009213 0.03942 0.01515 1 0.0002502 0.0002461 0.0135 0.0003173 0.01781 0.4519 0.12 0.09427 0.0124 1 1 0.00347 0.03086 0.02881 0.1748 1.555 1.452 json
t16_x15_u6_b108 16 15 6 108 dot(D,nrm(dot(R,P))) 88167 130536945 o2(x,o1(o2(x,x))) true 22143 22143 -0.01433 0.4811 0.1599 0.04559 0.2135 -1 0.3396 1.34 1 3.449 0.001955 0.001877 0.04203 0.02044 1 -0.00006354 0.00413 0.0155 0.002065 0.04544 1.081 1.414 0.08405 0.09057 1 1 0.007062 0.05509 0.1138 0.1549 1.208 2.497 json
t16_x15_u6_b109 16 15 6 109 dot(D,nrm(dst(R,P))) 88168 130536946 o2(x,o1(o2(x,x))) true 22151 22151 -9.705e-10 0.4688 0.06856 0.007216 0.08495 -0.1679 0.1679 0.3358 1 2.481 0.0005443 0.0005443 0.0315 -0.000001069 1 -1.802e-9 0.0001709 0.01054 0.00009601 0.009799 0.3111 0.05056 0.1509 0.02368 1 1 0.0021 0.01455 1.367e-16 0.2911 2.017 1.895e-14 json
t16_x15_u6_b110 16 15 6 110 dst(D,nrm(add(R,P))) 88169 130536947 o2(x,o1(o2(x,x))) true 22159 22159 0.9821 1 0.9821 0.001565 0.03956 0.8048 1 0.1952 1 0.6909 0.0002386 0.0002409 0.01113 -0.004756 1 -0.000001374 0.0003409 0.009432 0.0003555 0.01886 1.694 0.06926 0.3063 0.2178 1 1 0.000778 0.003578 0.0006574 0.497 2.286 0.42 json
t16_x15_u6_b111 16 15 6 111 dst(D,nrm(sub(R,P))) 88170 130536948 o2(x,o1(o2(x,x))) true 22167 22167 0.9673 1 0.9673 0.002803 0.05295 0.6109 1 0.3891 1 1.058 0.0003283 0.000323 0.01593 0.008176 1 0.0004019 0.0003839 0.01186 0.0003975 0.01994 1.252 0.07883 0.2323 0.1369 1 1 0.001257 0.006513 0.00237 0.4483 2.323 0.8455 json
t16_x15_u6_b112 16 15 6 112 dst(D,nrm(mlt(R,P))) 88171 130536949 o2(x,o1(o2(x,x))) true 22175 22175 0.9134 0.9844 0.9447 0.06829 0.2613 -1 1 2 1 1.615 0.004568 0.004589 0.02361 -0.00225 1 0.0001482 0.01707 0.019 0.008598 0.09273 3.928 2.82 0.1341 0.25 1 1 0.01612 0.07183 0.2409 0.2361 1.052 3.528 json
t16_x15_u6_b113 16 15 6 113 dst(D,nrm(div(R,P))) 88172 130536950 o2(x,o1(o2(x,x))) true 22183 22183 -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
t16_x15_u6_b114 16 15 6 114 dst(D,nrm(pow(R,P))) 88173 130536951 o2(x,o1(o2(x,x))) true 22191 22191 -0.9767 0.01172 0.9998 0.04565 0.2137 -1 1 2 1 0.09816 0.005943 0.003965 0.005052 0.1997 1 3.004e-11 0.02084 0.01006 0.009875 0.09938 19.67 2.828 0.217 0.4566 1 1 0.0174 0.06986 0.1661 0.3811 1.53 3.638 json
t16_x15_u6_b115 16 15 6 115 dst(D,nrm(mod(R,P))) 88174 130536952 o2(x,o1(o2(x,x))) true 22199 22199 0.5027 0.7656 0.9714 0.6946 0.8334 -1 1 2 1 1.696 0.02675 0.02711 0.03751 -0.006816 1 0.00006882 0.1077 0.0607 0.05247 0.2291 6.107 2.828 0.07754 0.155 1 1 0.06797 0.2736 1.09 0.09786 0.3939 1.57 json
t16_x15_u6_b116 16 15 6 116 dst(D,nrm(lrg(R,P))) 88175 130536953 o2(x,o1(o2(x,x))) true 22207 22207 0.4699 0.7422 0.9855 0.7517 0.867 -1 1 2 1 1.366 0.01491 0.01608 0.02307 -0.03764 1 0.00009823 0.06368 0.03723 0.03045 0.1745 7.564 2.828 0.04123 0.08471 1 1 0.03008 0.1316 0.4675 0.04002 0.1751 0.622 json
t16_x15_u6_b117 16 15 6 117 dst(D,nrm(eql(R,P))) 88176 130536954 o2(x,o1(o2(x,x))) true 22215 22215 -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
t16_x15_u6_b118 16 15 6 118 dst(D,nrm(min(R,P))) 88177 130536955 o2(x,o1(o2(x,x))) true 22223 22223 0.9728 1 0.9728 0.003452 0.05875 0.5082 1 0.4918 1 0.9614 0.0002809 0.0002843 0.01282 -0.005966 1 0.00001263 0.0003242 0.009589 0.0004006 0.02002 1.561 0.1137 0.1637 0.09392 1 1 0.000904 0.005331 0.005086 0.2619 1.544 1.473 json
t16_x15_u6_b119 16 15 6 119 dst(D,nrm(dot(R,P))) 88178 130536956 o2(x,o1(o2(x,x))) true 22231 22231 0.9327 0.9844 0.964 0.06275 0.2505 -1 1 2 1 1.241 0.004057 0.004258 0.01681 -0.02423 1 0.00005432 0.01641 0.01624 0.00803 0.08961 5.33 2.828 0.1325 0.2615 1 1 0.01464 0.06166 0.2281 0.2334 0.9826 3.635 json
t16_x15_u6_b120 16 15 6 120 dst(D,nrm(dst(R,P))) 88179 130536957 o2(x,o1(o2(x,x))) true 22239 22239 0.9869 1 0.9869 0.0009073 0.03012 0.8745 1 0.1255 1 0.4978 0.0001537 0.0001537 0.008461 -9.943e-7 1 0.00006137 0.0002372 0.007605 0.0002357 0.01535 1.815 0.05023 0.3387 0.2614 1 1 0.0005359 0.002179 2.959e-16 0.5907 2.401 3.261e-13 json
t16_x16_u0_b0 16 16 0 0 add(D,sqt(add(R,D))) 88180 130576032 o2(x,o1(o2(x,x))) true 22247 22247 -0.9019 0.06274 0.9726 0.146 0.382 -1 0.9348 1.935 1 0.5635 0.06214 0.01339 0.05036 0.6454 1 0.000372 0.1657 0.0956 0.07295 0.2701 5.363 2.718 0.5175 1.135 1 1 0.06611 0.1981 0.2979 0.4529 1.358 2.041 json
t16_x16_u0_b1 16 16 0 1 add(D,sqt(sub(R,D))) 88181 130576033 o2(x,o1(o2(x,x))) true 22255 22255 -0.8812 0.06885 0.9811 0.1928 0.4391 -1 1 2 1 0.5942 0.0693 0.01702 0.05252 0.6057 1 0.00003158 0.1903 0.1016 0.08359 0.2891 5.505 2.828 0.4477 0.9869 1 1 0.08077 0.2473 0.3691 0.4189 1.283 1.914 json
t16_x16_u0_b2 16 16 0 2 add(D,sqt(mlt(R,D))) 88182 130576034 o2(x,o1(o2(x,x))) true 22263 22263 -0.9475 0.03888 0.9743 0.06897 0.2626 -1 0.723 1.723 1 0.3733 0.006365 0.007444 0.01296 -0.07811 1 4.731e-7 0.02761 0.02207 0.01365 0.1168 9.012 1.723 0.2002 0.4004 1 1 0.01576 0.07326 0.1571 0.2286 1.062 2.277 json
t16_x16_u0_b3 16 16 0 3 add(D,sqt(div(R,D))) 88183 130576035 o2(x,o1(o2(x,x))) true 22271 22271 -0.9239 0.03906 0.998 0.143 0.3782 -1 1 2 1 0.2895 0.01959 0.01518 0.01827 0.1268 1 -0.000001852 0.07358 0.03585 0.03445 0.1856 10.16 2.828 0.2432 0.5145 1 1 0.03676 0.1484 0.322 0.257 1.037 2.252 json
t16_x16_u0_b4 16 16 0 4 add(D,sqt(pow(R,D))) 88184 130576036 o2(x,o1(o2(x,x))) true 22279 22279 -0.9156 0.04297 0.9985 0.159 0.3988 -1 1 2 1 0.3008 0.01672 0.01578 0.01679 0.02904 1 0.000009933 0.06826 0.03319 0.0322 0.1794 10.69 2.809 0.2044 0.4293 1 1 0.02466 0.1052 0.2647 0.1551 0.6616 1.665 json
t16_x16_u0_b5 16 16 0 5 add(D,sqt(mod(R,D))) 88185 130576037 o2(x,o1(o2(x,x))) true 22287 22287 -0.943 0.0424 0.9711 0.07389 0.2718 -1 0.7084 1.708 1 0.4049 0.00607 0.007431 0.01418 -0.1008 1 -0.00005532 0.0279 0.02562 0.0133 0.1153 8.134 1.714 0.1827 0.3776 1 1 0.0104 0.04968 0.1252 0.1407 0.6723 1.694 json
t16_x16_u0_b6 16 16 0 6 add(D,sqt(lrg(R,D))) 88186 130576038 o2(x,o1(o2(x,x))) true 22295 22295 0.4883 0.8731 0.5093 0.1364 0.3694 -0.1454 1 1.145 1 4.117 0.01894 0.002057 0.08348 0.8041 1 0.00007571 0.03573 0.06751 0.01403 0.1184 1.419 1.05 0.1539 0.2619 1 1 0.02406 0.1369 0.2499 0.1763 1.003 1.832 json
t16_x16_u0_b7 16 16 0 7 add(D,sqt(eql(R,D))) 88187 130576039 o2(x,o1(o2(x,x))) true 22303 22303 0.00004008 0.5 0.0944 0.01084 0.1041 -0.1454 0.4062 0.5516 1 2.563 0.001648 1.509e-7 0.03614 0.9998 1 1.17e-7 0.0003004 0.01471 0.0003422 0.0185 0.5118 0.3694 0.152 0.02771 1 1 0.003151 0.02183 0.000007865 0.2907 2.014 0.0007256 json
t16_x16_u0_b8 16 16 0 8 add(D,sqt(min(R,D))) 88188 130576040 o2(x,o1(o2(x,x))) true 22311 22311 -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
t16_x16_u0_b9 16 16 0 9 add(D,sqt(dot(R,D))) 88189 130576041 o2(x,o1(o2(x,x))) true 22319 22319 -0.9027 0.06772 0.9612 0.1321 0.3634 -1 0.8642 1.864 1 0.6029 0.03502 0.03125 0.04859 0.05678 1 -0.0002735 0.2024 0.09753 0.06393 0.2528 5.204 2.523 0.5018 1.532 1 1 0.07127 0.225 0.2926 0.5397 1.704 2.216 json
t16_x16_u0_b10 16 16 0 10 add(D,sqt(dst(R,D))) 88190 130576042 o2(x,o1(o2(x,x))) true 22327 22327 0.9369 1 0.9369 0.01084 0.1041 0.2485 1 0.7515 1 1.659 0.000953 0.0002766 0.02157 0.5501 1 0.00005871 0.0004502 0.01219 0.0007646 0.02765 1.282 0.1461 0.1134 0.04152 1 1 0.002226 0.01545 0.01577 0.2053 1.425 1.454 json
t16_x16_u0_b11 16 16 0 11 sub(D,sqt(add(R,D))) 88191 130576043 o2(x,o1(o2(x,x))) true 22335 22335 -0.9843 0 0.9843 0.005494 0.07412 -1 -0.1975 0.8025 1 0.476 0.003593 0.0005197 0.01111 0.7473 1 0.000128 0.009464 0.01986 0.003988 0.06315 5.682 0.9394 0.7484 1.722 1 1 0.002937 0.006961 0.009689 0.5346 1.267 1.763 json
t16_x16_u0_b12 16 16 0 12 sub(D,sqt(sub(R,D))) 88192 130576044 o2(x,o1(o2(x,x))) true 22343 22343 -0.9697 0.00007629 0.9697 0.01482 0.1217 -1 0.01763 1.018 1 0.6039 0.00657 0.001249 0.01651 0.6806 1 -0.0001495 0.01713 0.02712 0.007547 0.08687 5.262 1.317 0.5276 1.156 1 1 0.006623 0.01884 0.02727 0.4469 1.272 1.84 json
t16_x16_u0_b13 16 16 0 13 sub(D,sqt(mlt(R,D))) 88193 130576045 o2(x,o1(o2(x,x))) true 22351 22351 -0.9743 0.0005035 0.9744 0.01748 0.1322 -1 0.08737 1.087 1 0.3745 0.003979 0.001873 0.009009 0.3599 1 -4.732e-7 0.01301 0.01492 0.005772 0.07597 8.433 1.249 0.3348 0.7442 1 1 0.005697 0.01827 0.03789 0.326 1.045 2.168 json
t16_x16_u0_b14 16 16 0 14 sub(D,sqt(div(R,D))) 88194 130576046 o2(x,o1(o2(x,x))) true 22359 22359 -0.9979 0 0.9979 0.0008212 0.02866 -1 -0.01946 0.9805 1 0.09074 0.0001124 0.0001594 0.001167 -0.173 1 0.00000132 0.0004429 0.001401 0.0002704 0.01644 14.09 0.9812 0.331 0.5393 1 1 0.0004462 0.001965 0.002347 0.5433 2.393 2.857 json
t16_x16_u0_b15 16 16 0 15 sub(D,sqt(pow(R,D))) 88195 130576047 o2(x,o1(o2(x,x))) true 22367 22367 -0.9973 0 0.9973 0.0004578 0.0214 -1 -0.6516 0.3484 1 0.148 0.00005653 0.00004944 0.001237 0.06691 1 -0.00002277 0.0001365 0.001252 0.0001044 0.01022 8.26 0.3484 0.2315 0.2982 1 1 0.0001112 0.0004913 0.0008619 0.243 1.073 1.883 json
t16_x16_u0_b16 16 16 0 16 sub(D,sqt(mod(R,D))) 88196 130576048 o2(x,o1(o2(x,x))) true 22375 22375 -0.9711 0.0006104 0.9711 0.02003 0.1415 -1 0.04796 1.048 1 0.4044 0.003893 0.001958 0.01045 0.3307 1 0.00003524 0.013 0.01832 0.005741 0.07577 7.254 1.199 0.2921 0.6489 1 1 0.004145 0.01382 0.03258 0.207 0.69 1.627 json
t16_x16_u0_b17 16 16 0 17 sub(D,sqt(lrg(R,D))) 88197 130576049 o2(x,o1(o2(x,x))) true 22383 22383 -0.49 0.1521 0.5086 0.1563 0.3954 -1 0.1454 1.145 1 3.939 0.02197 0.002084 0.09428 0.8268 1 -0.00002828 0.03678 0.07581 0.01517 0.1232 1.307 1.048 0.1539 0.2353 1 1 0.02801 0.1648 0.2571 0.1792 1.054 1.645 json
t16_x16_u0_b18 16 16 0 18 sub(D,sqt(eql(R,D))) 88198 130576050 o2(x,o1(o2(x,x))) true 22391 22391 -0.00004008 0.4998 0.09437 0.01083 0.1041 -0.2502 0.1454 0.3957 1 2.562 0.001646 1.509e-7 0.03614 0.9998 1 -1.17e-7 0.0003003 0.01471 0.000341 0.01847 0.511 0.3588 0.1521 0.02773 1 1 0.003151 0.02183 0.000007865 0.291 2.016 0.0007264 json
t16_x16_u0_b19 16 16 0 19 sub(D,sqt(min(R,D))) 88199 130576051 o2(x,o1(o2(x,x))) true 22399 22399 -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