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
t14_x20_u0_b52 14 20 0 52 sqt(pow(min(R,P),R)) 63900 114496486 o1(o2(o2(x,x),x)) true 170167 170167 -0.987 0.007813 0.9974 0.02239 0.1496 -1 0.9658 1.966 1 0.08996 0.002035 0.002676 0.002976 -0.1361 1 5.651e-7 0.009895 0.005557 0.004703 0.06858 23.04 2.743 0.2104 0.4419 1 1 0.0004831 0.003401 0.01965 0.02158 0.1519 0.8777 json
t14_x20_u0_b53 14 20 0 53 sqt(pow(dot(R,P),R)) 63901 114496487 o1(o2(o2(x,x),x)) true 170175 170175 -0.9172 0.04297 0.9968 0.1538 0.3922 -1 1 2 1 0.3076 0.01756 0.01362 0.01634 0.1263 1 -0.000001867 0.06547 0.03242 0.03091 0.1758 10.76 2.828 0.2028 0.4257 1 1 0.0361 0.1477 0.4003 0.2347 0.9605 2.603 json
t14_x20_u0_b54 14 20 0 54 sqt(pow(dst(R,P),R)) 63902 114496488 o1(o2(o2(x,x),x)) true 170183 170183 0.8808 1 0.8808 0.0295 0.1718 0.3344 1 0.6656 1 2.218 0.0006164 0.0007385 0.01941 -0.09006 1 -0.00007484 0.0004748 0.009242 0.0009785 0.03128 1.612 0.2386 0.04592 0.01609 1 1 0.002013 0.01873 0.04313 0.06823 0.6349 1.462 json
t14_x20_u0_b55 14 20 0 55 sqt(mod(add(R,P),R)) 63903 114496489 o1(o2(o2(x,x),x)) true 170191 170191 -0.3336 0.4646 0.7367 0.5257 0.7251 -1 0.8937 1.894 1 2.632 0.007089 0.00263 0.0176 0.4588 1 0.000002913 0.01935 0.01649 0.009407 0.09699 5.51 2.051 0.01849 0.0368 1 1 0.0142 0.06255 0.2252 0.02701 0.119 0.4284 json
t14_x20_u0_b56 14 20 0 56 sqt(mod(sub(R,P),R)) 63904 114496490 o1(o2(o2(x,x),x)) true 170199 170199 -0.3451 0.4647 0.7252 0.5064 0.7116 -1 0.8988 1.899 1 2.58 0.006573 0.002963 0.01745 0.3786 1 -3.804e-7 0.01907 0.01635 0.009232 0.09609 5.507 2.334 0.01883 0.03767 1 1 0.01373 0.06121 0.2132 0.02712 0.1209 0.4209 json
t14_x20_u0_b57 14 20 0 57 sqt(mod(mlt(R,P),R)) 63905 114496491 o1(o2(o2(x,x),x)) true 170207 170207 -0.4348 0.2444 0.5261 0.3134 0.5598 -1 0.9876 1.988 1 1.871 0.02177 0.01633 0.04145 0.1427 1 -0.000009627 0.07764 0.06855 0.03638 0.1907 4.601 2.796 0.1216 0.2477 1 1 0.03548 0.1558 0.5214 0.1132 0.497 1.664 json
t14_x20_u0_b58 14 20 0 58 sqt(mod(div(R,P),R)) 63906 114496492 o1(o2(o2(x,x),x)) true 170215 170215 -0.927 0.05458 0.9636 0.09359 0.3059 -1 0.8021 1.802 1 0.4871 0.009138 0.007106 0.01316 0.1251 1 0.000001352 0.03378 0.02429 0.01607 0.1268 9.635 2.327 0.1736 0.3609 1 1 0.01644 0.06884 0.22 0.1756 0.7356 2.35 json
t14_x20_u0_b59 14 20 0 59 sqt(mod(pow(R,P),R)) 63907 114496493 o1(o2(o2(x,x),x)) true 170223 170223 -0.9004 0.07031 0.959 0.1333 0.3651 -1 0.8656 1.866 1 0.6084 0.01175 0.01191 0.01775 -0.006982 1 0.000002791 0.0492 0.03268 0.02336 0.1528 8.61 2.336 0.1775 0.369 1 1 0.0223 0.09346 0.3035 0.1673 0.701 2.276 json
t14_x20_u0_b60 14 20 0 60 sqt(mod(mod(R,P),R)) 63908 114496494 o1(o2(o2(x,x),x)) true 170231 170231 -0.3937 0.1562 0.4579 0.286 0.5348 -1 0.9775 1.977 1 1.666 0.02198 0.01698 0.03974 0.1284 1 -0.000008223 0.07977 0.06958 0.03737 0.1933 4.864 2.796 0.1362 0.2789 1 1 0.03545 0.1497 0.5537 0.124 0.5233 1.936 json
t14_x20_u0_b61 14 20 0 61 sqt(mod(lrg(R,P),R)) 63909 114496495 o1(o2(o2(x,x),x)) true 170239 170239 0.1838 0.536 0.1838 0.04042 0.201 0 0.6941 0.6941 1 2.535 0.0001879 0.0001297 0.0106 0.1832 1 -0.00000869 0.00001838 0.002427 0.0002053 0.01433 1.352 0.07594 0.007858 0.0004548 1 1 0.0006721 0.008588 0.02856 0.01663 0.2125 0.7066 json
t14_x20_u0_b62 14 20 0 62 sqt(mod(eql(R,P),R)) 63910 114496496 o1(o2(o2(x,x),x)) true 170247 170247 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
t14_x20_u0_b63 14 20 0 63 sqt(mod(min(R,P),R)) 63911 114496497 o1(o2(o2(x,x),x)) true 170255 170255 -0.6408 0.08826 0.6795 0.2589 0.5088 -1 0.9775 1.977 1 1.325 0.009902 0.009636 0.02063 0.01359 1 -0.000004103 0.04015 0.03488 0.0191 0.1382 6.701 2.796 0.07548 0.1551 1 1 0.01873 0.08006 0.2867 0.07236 0.3093 1.107 json
t14_x20_u0_b64 14 20 0 64 sqt(mod(dot(R,P),R)) 63912 114496498 o1(o2(o2(x,x),x)) true 170263 170263 -0.9099 0.06584 0.9573 0.117 0.3421 -1 0.8321 1.832 1 0.5822 0.01334 0.01014 0.01785 0.1362 1 0.00000165 0.04907 0.0334 0.02316 0.1522 8.525 2.206 0.2006 0.4194 1 1 0.0302 0.1231 0.3121 0.2581 1.052 2.667 json
t14_x20_u0_b65 14 20 0 65 sqt(mod(dst(R,P),R)) 63913 114496499 o1(o2(o2(x,x),x)) true 170271 170271 0.4451 1 0.4451 0.0325 0.1803 0.02687 0.9708 0.9439 1 3.552 0.0004466 0.0004748 0.02462 -0.03054 1 -0.00002121 0.00005598 0.005724 0.000315 0.01775 0.7208 0.09972 0.02835 0.001722 1 1 0.001702 0.02197 0.06356 0.05236 0.6758 1.955 json
t14_x20_u0_b66 14 20 0 66 sqt(lrg(add(R,P),R)) 63914 114496500 o1(o2(o2(x,x),x)) true 170279 170279 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x20_u0_b67 14 20 0 67 sqt(lrg(sub(R,P),R)) 63915 114496501 o1(o2(o2(x,x),x)) true 170287 170287 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x20_u0_b68 14 20 0 68 sqt(lrg(mlt(R,P),R)) 63916 114496502 o1(o2(o2(x,x),x)) true 170295 170295 0.4394 0.884 0.4394 0.1546 0.3932 0 1 1 1 3.355 0.001965 0.002262 0.04955 -0.07014 1 -0.00001926 0.0002463 0.01202 0.001773 0.04211 0.8498 0.1169 0.02734 0.001593 1 1 0.008109 0.1045 0.297 0.05245 0.676 1.921 json
t14_x20_u0_b69 14 20 0 69 sqt(lrg(div(R,P),R)) 63917 114496503 o1(o2(o2(x,x),x)) true 170303 170303 0.4863 0.9137 0.4863 0.1577 0.3971 0 1 1 1 3.379 0.001988 0.002262 0.0498 -0.06448 1 -0.000005008 0.0002471 0.01209 0.00177 0.04207 0.8447 0.1169 0.02696 0.001568 1 1 0.008235 0.1062 0.3032 0.05223 0.6734 1.923 json
t14_x20_u0_b70 14 20 0 70 sqt(lrg(pow(R,P),R)) 63918 114496504 o1(o2(o2(x,x),x)) true 170311 170311 0.7852 0.9905 0.7852 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t14_x20_u0_b71 14 20 0 71 sqt(lrg(mod(R,P),R)) 63919 114496505 o1(o2(o2(x,x),x)) true 170319 170319 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x20_u0_b72 14 20 0 72 sqt(lrg(lrg(R,P),R)) 63920 114496506 o1(o2(o2(x,x),x)) true 170327 170327 0.7852 0.9905 0.7852 0.1181 0.3436 0 1 1 1 2.248 0.001095 0.001206 0.02703 -0.04847 1 0.00002424 0.0001387 0.006603 0.001571 0.03963 1.466 0.1169 0.01949 0.001175 1 1 0.004457 0.05786 0.1462 0.03774 0.49 1.238 json
t14_x20_u0_b73 14 20 0 73 sqt(lrg(eql(R,P),R)) 63921 114496507 o1(o2(o2(x,x),x)) true 170335 170335 0.5176 0.9429 0.5176 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
t14_x20_u0_b74 14 20 0 74 sqt(lrg(min(R,P),R)) 63922 114496508 o1(o2(o2(x,x),x)) true 170343 170343 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
t14_x20_u0_b75 14 20 0 75 sqt(lrg(dot(R,P),R)) 63923 114496509 o1(o2(o2(x,x),x)) true 170351 170351 0.459 0.8882 0.459 0.1538 0.3922 0 1 1 1 3.396 0.002012 0.00237 0.05111 -0.08162 1 -0.00003993 0.0002542 0.01239 0.001769 0.04206 0.8229 0.1169 0.02848 0.001652 1 1 0.008638 0.1114 0.3245 0.05616 0.7243 2.109 json
t14_x20_u0_b76 14 20 0 76 sqt(lrg(dst(R,P),R)) 63924 114496510 o1(o2(o2(x,x),x)) true 170359 170359 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
t14_x20_u0_b77 14 20 0 77 sqt(eql(add(R,P),R)) 63925 114496511 o1(o2(o2(x,x),x)) true 170367 170367 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x20_u0_b78 14 20 0 78 sqt(eql(sub(R,P),R)) 63926 114496512 o1(o2(o2(x,x),x)) true 170375 170375 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x20_u0_b79 14 20 0 79 sqt(eql(mlt(R,P),R)) 63927 114496513 o1(o2(o2(x,x),x)) true 170383 170383 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x20_u0_b80 14 20 0 80 sqt(eql(div(R,P),R)) 63928 114496514 o1(o2(o2(x,x),x)) true 170391 170391 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x20_u0_b81 14 20 0 81 sqt(eql(pow(R,P),R)) 63929 114496515 o1(o2(o2(x,x),x)) true 170399 170399 0.03906 0.1129 0.03906 0.02579 0.1606 0 0.9997 0.9997 1 0.6726 0.0003997 0.0001755 0.006718 0.3898 1 -0.00001141 0.00003128 0.001608 0.0005302 0.02303 3.427 0.1169 0.0223 0.001213 1 1 0.001425 0.01841 0.04273 0.05526 0.7139 1.657 json
t14_x20_u0_b82 14 20 0 82 sqt(eql(mod(R,P),R)) 63930 114496516 o1(o2(o2(x,x),x)) true 170407 170407 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x20_u0_b83 14 20 0 83 sqt(eql(lrg(R,P),R)) 63931 114496517 o1(o2(o2(x,x),x)) true 170415 170415 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
t14_x20_u0_b84 14 20 0 84 sqt(eql(eql(R,P),R)) 63932 114496518 o1(o2(o2(x,x),x)) true 170423 170423 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
t14_x20_u0_b85 14 20 0 85 sqt(eql(min(R,P),R)) 63933 114496519 o1(o2(o2(x,x),x)) true 170431 170431 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t14_x20_u0_b86 14 20 0 86 sqt(eql(dot(R,P),R)) 63934 114496520 o1(o2(o2(x,x),x)) true 170439 170439 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t14_x20_u0_b87 14 20 0 87 sqt(eql(dst(R,P),R)) 63935 114496521 o1(o2(o2(x,x),x)) true 170447 170447 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
t14_x20_u0_b88 14 20 0 88 sqt(min(add(R,P),R)) 63936 114496522 o1(o2(o2(x,x),x)) true 170455 170455 -0.9862 0.007813 0.9982 0.02431 0.1559 -1 0.9631 1.963 1 0.08729 0.002249 0.002932 0.003083 -0.1318 1 0.000001769 0.01091 0.005946 0.00517 0.0719 23.32 2.731 0.2131 0.449 1 1 0.0007359 0.005092 0.02142 0.03028 0.2095 0.8813 json
t14_x20_u0_b89 14 20 0 89 sqt(min(sub(R,P),R)) 63937 114496523 o1(o2(o2(x,x),x)) true 170463 170463 -0.9396 0.03516 0.9901 0.1008 0.3175 -1 0.971 1.971 1 0.3325 0.01169 0.009522 0.01287 0.1022 1 0.000003919 0.04446 0.02459 0.02105 0.1451 11.27 2.398 0.2104 0.441 1 1 0.01896 0.07999 0.1874 0.1881 0.7936 1.859 json
t14_x20_u0_b90 14 20 0 90 sqt(min(mlt(R,P),R)) 63938 114496524 o1(o2(o2(x,x),x)) true 170471 170471 -0.9875 0.007813 0.9969 0.02051 0.1432 -1 0.9631 1.963 1 0.09407 0.001809 0.002435 0.002885 -0.1475 1 0.000001769 0.008904 0.005297 0.004236 0.06509 22.56 2.731 0.207 0.4341 1 1 0.0004642 0.00328 0.01794 0.02263 0.1599 0.8749 json
t14_x20_u0_b91 14 20 0 91 sqt(min(div(R,P),R)) 63939 114496525 o1(o2(o2(x,x),x)) true 170479 170479 -0.9881 0.007813 0.9963 0.01857 0.1363 -1 0.931 1.931 1 0.08926 0.001979 0.002307 0.002731 -0.07643 1 5.415e-7 0.009062 0.005335 0.004277 0.0654 23.94 2.731 0.2307 0.4879 1 1 0.0007359 0.005092 0.0166 0.03962 0.2742 0.8938 json
t14_x20_u0_b92 14 20 0 92 sqt(min(pow(R,P),R)) 63940 114496526 o1(o2(o2(x,x),x)) true 170487 170487 -0.9277 0.04297 0.9864 0.1183 0.3439 -1 0.971 1.971 1 0.4045 0.01215 0.01182 0.01483 0.01365 1 0.000006752 0.05006 0.02814 0.02376 0.1541 10.4 2.731 0.2026 0.4233 1 1 0.0197 0.08508 0.204 0.1665 0.7194 1.725 json
t14_x20_u0_b93 14 20 0 93 sqt(min(mod(R,P),R)) 63941 114496527 o1(o2(o2(x,x),x)) true 170495 170495 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t14_x20_u0_b94 14 20 0 94 sqt(min(lrg(R,P),R)) 63942 114496528 o1(o2(o2(x,x),x)) true 170503 170503 -0.9305 0.03906 0.9836 0.1109 0.333 -1 0.971 1.971 1 0.4063 0.0115 0.0109 0.01425 0.02666 1 0.00000392 0.04675 0.02702 0.02219 0.149 10.45 2.398 0.202 0.4216 1 1 0.01942 0.08314 0.1973 0.1752 0.7497 1.779 json
t14_x20_u0_b95 14 20 0 95 sqt(min(eql(R,P),R)) 63943 114496529 o1(o2(o2(x,x),x)) true 170511 170511 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t14_x20_u0_b96 14 20 0 96 sqt(min(min(R,P),R)) 63944 114496530 o1(o2(o2(x,x),x)) true 170519 170519 -0.9875 0.007813 0.9969 0.02051 0.1432 -1 0.9631 1.963 1 0.09407 0.001809 0.002435 0.002885 -0.1475 1 0.000001769 0.008904 0.005297 0.004236 0.06509 22.56 2.731 0.207 0.4341 1 1 0.0004642 0.00328 0.01794 0.02263 0.1599 0.8749 json
t14_x20_u0_b97 14 20 0 97 sqt(min(dot(R,P),R)) 63945 114496531 o1(o2(o2(x,x),x)) true 170527 170527 -0.9931 0.003906 0.9991 0.0121 0.11 -1 0.9631 1.963 1 0.04757 0.0006503 0.001335 0.001244 -0.345 1 0.000001769 0.004127 0.002353 0.001984 0.04454 35.81 1.952 0.1642 0.3412 1 1 0 0 0.01021 0 0 0.8438 json
t14_x20_u0_b98 14 20 0 98 sqt(min(dst(R,P),R)) 63946 114496532 o1(o2(o2(x,x),x)) true 170535 170535 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t14_x20_u0_b99 14 20 0 99 sqt(dot(add(R,P),R)) 63947 114496533 o1(o2(o2(x,x),x)) true 170543 170543 -0.824 0.08984 0.9963 0.3147 0.561 -1 1 2 1 0.5385 0.0297 0.02702 0.02973 0.04714 1 0 0.1183 0.05854 0.05585 0.2363 7.948 2.828 0.1802 0.3758 1 1 0.0762 0.3148 0.8976 0.2421 1 2.852 json
t14_x20_u0_b100 14 20 0 100 sqt(dot(sub(R,P),R)) 63948 114496534 o1(o2(o2(x,x),x)) true 170551 170551 -0.6556 0.1758 0.9928 0.559 0.7477 -1 1 2 1 0.8293 0.03479 0.05292 0.04574 -0.2067 1 -0.000003048 0.1816 0.08992 0.08563 0.2926 6.398 2.828 0.1569 0.3249 1 1 0.09356 0.3962 1.156 0.1674 0.7087 2.069 json
t14_x20_u0_b101 14 20 0 101 sqt(dot(mlt(R,P),R)) 63949 114496535 o1(o2(o2(x,x),x)) true 170559 170559 -0.4109 0.3086 0.9719 0.7888 0.8881 -1 1 2 1 1.421 0.01414 0.0165 0.0215 -0.07723 1 -0.00002162 0.0628 0.03506 0.03019 0.1737 8.082 2.828 0.03884 0.07962 1 1 0.03539 0.1627 0.5642 0.04487 0.2063 0.7153 json
t14_x20_u0_b102 14 20 0 102 sqt(dot(div(R,P),R)) 63950 114496536 o1(o2(o2(x,x),x)) true 170567 170567 -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
t14_x20_u0_b103 14 20 0 103 sqt(dot(pow(R,P),R)) 63951 114496537 o1(o2(o2(x,x),x)) true 170575 170575 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.002016 0.002016 0.001997 0 1 0 0.008566 0.004031 0.004024 0.06344 31.76 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05496 0.4556 1.823 3.531 json
t14_x20_u0_b104 14 20 0 104 sqt(dot(mod(R,P),R)) 63952 114496538 o1(o2(o2(x,x),x)) true 170583 170583 0.4573 0.7656 0.9261 0.666 0.8161 -1 1 2 1 2.396 0.02568 0.02583 0.03844 -0.002835 1 -0.00002064 0.1025 0.05716 0.05003 0.2237 5.818 2.828 0.07735 0.1539 1 1 0.06384 0.264 1.062 0.09586 0.3964 1.594 json
t14_x20_u0_b105 14 20 0 105 sqt(dot(lrg(R,P),R)) 63953 114496539 o1(o2(o2(x,x),x)) true 170591 170591 -0.3752 0.4043 0.7888 0.5909 0.7687 -1 1 2 1 2.591 0.03011 0.03588 0.05108 -0.0874 1 -0.000005706 0.1355 0.07591 0.0634 0.2518 4.929 2.828 0.1117 0.2293 1 1 0.08639 0.3655 1.051 0.1462 0.6186 1.779 json
t14_x20_u0_b106 14 20 0 106 sqt(dot(eql(R,P),R)) 63954 114496540 o1(o2(o2(x,x),x)) true 170599 170599 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
t14_x20_u0_b107 14 20 0 107 sqt(dot(min(R,P),R)) 63955 114496541 o1(o2(o2(x,x),x)) true 170607 170607 -0.4085 0.3242 0.943 0.7395 0.8599 -1 1 2 1 1.849 0.01805 0.02045 0.02681 -0.06246 1 -0.000007598 0.07942 0.04226 0.03779 0.1944 7.251 2.828 0.05207 0.1074 1 1 0.04527 0.1878 0.6306 0.06122 0.254 0.8528 json
t14_x20_u0_b108 14 20 0 108 sqt(dot(dot(R,P),R)) 63956 114496542 o1(o2(o2(x,x),x)) true 170615 170615 -0.7575 0.125 0.9925 0.4142 0.6436 -1 1 2 1 0.7051 0.02299 0.02481 0.02638 -0.03806 1 -0.00001709 0.1 0.05034 0.04711 0.2171 8.227 2.828 0.1154 0.2415 1 1 0.0457 0.2029 0.5549 0.1103 0.4899 1.34 json
t14_x20_u0_b109 14 20 0 109 sqt(dot(dst(R,P),R)) 63957 114496543 o1(o2(o2(x,x),x)) true 170623 170623 -0.885 0.05859 0.9978 0.2134 0.4619 -1 1 2 1 0.3807 0.02081 0.02358 0.02304 -0.0623 1 4.806e-10 0.09311 0.04569 0.04384 0.2094 9.088 2.828 0.208 0.4363 1 1 0.06549 0.271 0.5975 0.3069 1.27 2.8 json
t14_x20_u0_b110 14 20 0 110 sqt(dst(add(R,P),R)) 63958 114496544 o1(o2(o2(x,x),x)) true 170631 170631 0.9963 1 0.9963 0.002333 0.0483 0.000582 1 0.9994 1 0.0975 0.00003754 0.00003754 0.0008214 -9.69e-8 0 -1.427e-10 0.000006666 0.0002158 0.00007432 0.008621 10.5 0.1194 0.03219 0.002858 1 1 0.00026 0.003287 0.008516 0.1114 1.409 3.651 json
t14_x20_u0_b111 14 20 0 111 sqt(dst(sub(R,P),R)) 63959 114496545 o1(o2(o2(x,x),x)) true 170639 170639 0.9963 1 0.9963 0.002333 0.0483 0.000582 1 0.9994 1 0.0975 0.00003754 0.00003754 0.0008214 -9.69e-8 0 -1.427e-10 0.000006666 0.0002158 0.00007432 0.008621 10.5 0.1194 0.03219 0.002858 1 1 0.00026 0.003287 0.008516 0.1114 1.409 3.651 json
t14_x20_u0_b112 14 20 0 112 sqt(dst(mlt(R,P),R)) 63960 114496546 o1(o2(o2(x,x),x)) true 170647 170647 0.9904 1 0.9904 0.002082 0.04563 0.5297 1 0.4703 1 0.4034 0.00004229 0.00005536 0.002135 -0.1338 0 -0.000003866 0.00004269 0.001195 0.0000931 0.009649 4.519 0.1654 0.04689 0.0205 1 1 0.0002081 0.002079 0.005883 0.09991 0.9986 2.825 json
t14_x20_u0_b113 14 20 0 113 sqt(dst(div(R,P),R)) 63961 114496547 o1(o2(o2(x,x),x)) true 170655 170655 -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
t14_x20_u0_b114 14 20 0 114 sqt(dst(pow(R,P),R)) 63962 114496548 o1(o2(o2(x,x),x)) true 170663 170663 -0.9766 0.01172 1 0.04611 0.2147 -1 1 2 1 0.09479 0.005997 0.003993 0.004996 0.2006 1 -6.007e-11 0.02096 0.01004 0.009958 0.09979 19.97 2.828 0.2166 0.4546 1 1 0.01758 0.07058 0.1677 0.3811 1.531 3.637 json
t14_x20_u0_b115 14 20 0 115 sqt(dst(mod(R,P),R)) 63963 114496549 o1(o2(o2(x,x),x)) true 170671 170671 -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
t14_x20_u0_b116 14 20 0 116 sqt(dst(lrg(R,P),R)) 63964 114496550 o1(o2(o2(x,x),x)) true 170679 170679 0.9658 1 0.9658 0.00544 0.07376 0.4581 1 0.5419 1 1.101 0.0001024 0.0001339 0.006804 -0.133 1 -0.00002391 0.00005975 0.002799 0.0001901 0.01379 2.026 0.1104 0.04344 0.01098 1 1 0.0004197 0.004234 0.01038 0.07714 0.7783 1.908 json
t14_x20_u0_b117 14 20 0 117 sqt(dst(eql(R,P),R)) 63965 114496551 o1(o2(o2(x,x),x)) true 170687 170687 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009877 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0.0004445 0.005101 0.01241 0.05345 0.6135 1.493 json
t14_x20_u0_b118 14 20 0 118 sqt(dst(min(R,P),R)) 63966 114496552 o1(o2(o2(x,x),x)) true 170695 170695 0.8164 0.9863 0.8164 0.1079 0.3284 0 1 1 1 1.957 0.0004741 0.000333 0.01267 0.1748 1 -0.00001178 0.000062 0.003198 0.0006466 0.02543 2.007 0.1634 0.007483 0.0005748 1 1 0.001674 0.0213 0.07832 0.01552 0.1975 0.7261 json
t14_x20_u0_b119 14 20 0 119 sqt(dst(dot(R,P),R)) 63967 114496553 o1(o2(o2(x,x),x)) true 170703 170703 0.9956 1 0.9956 0.0009112 0.03019 0.4293 1 0.5707 1 0.2146 0.00004454 0.0000644 0.001648 -0.1823 1 -0.00001748 0.00006872 0.001303 0.0001063 0.01031 6.256 0.1958 0.1195 0.07541 1 1 0.0001959 0.001396 0.00234 0.215 1.532 2.568 json
t14_x20_u0_b120 14 20 0 120 sqt(dst(dst(R,P),R)) 63968 114496554 o1(o2(o2(x,x),x)) true 170711 170711 0.9997 1 0.9997 0.0000734 0.008567 0.6966 1 0.3034 1 0.02158 0.000005229 0.000004697 0.0001416 0.05368 0 3.379e-11 0.0000052 0.0001052 0.000009898 0.003146 22.22 0.1182 0.1352 0.07085 1 1 0.0000314 0.0002274 0.0002671 0.4278 3.099 3.639 json
t14_x20_u1_b0 14 20 1 0 log(add(add(R,P),R)) 63969 114496635 o1(o2(o2(x,x),x)) true 170719 170719 -0.2013 0.4097 0.9475 0.8872 0.9419 -1 1 2 1 1.845 0.009466 0.005667 0.01866 0.2511 1 -0.000003067 0.02852 0.02082 0.01479 0.1216 6.517 2.828 0.01706 0.03215 1 1 0.0168 0.08956 0.3286 0.01894 0.1009 0.3704 json
t14_x20_u1_b1 14 20 1 1 log(add(sub(R,P),R)) 63970 114496636 o1(o2(o2(x,x),x)) true 170727 170727 -0.2142 0.4008 0.954 0.8922 0.9445 -1 1 2 1 1.731 0.006733 0.004514 0.01561 0.1972 1 0.00000518 0.02045 0.01666 0.011 0.1049 6.718 2.129 0.01261 0.02293 1 1 0.01533 0.0874 0.3473 0.01719 0.09797 0.3893 json
t14_x20_u1_b2 14 20 1 2 log(add(mlt(R,P),R)) 63971 114496637 o1(o2(o2(x,x),x)) true 170735 170735 -0.97 0.01236 0.989 0.04433 0.2105 -1 1 2 1 0.2879 0.004553 0.005661 0.007785 -0.1085 1 -3.997e-8 0.02123 0.01305 0.01015 0.1008 12.94 2.828 0.2304 0.4789 1 1 0.006273 0.0261 0.06824 0.1415 0.5887 1.539 json
t14_x20_u1_b3 14 20 1 3 log(add(div(R,P),R)) 63972 114496638 o1(o2(o2(x,x),x)) true 170743 170743 -0.9937 0.0001984 0.9937 0.003485 0.05903 -1 0.04248 1.042 1 0.1699 0.0001859 0.0004714 0.001957 -0.4344 1 0.00001715 0.001246 0.002502 0.0006534 0.02556 13.06 1.014 0.1886 0.3577 1 1 0.000319 0.001302 0.002857 0.09154 0.3735 0.8198 json
t14_x20_u1_b4 14 20 1 4 log(add(pow(R,P),R)) 63973 114496639 o1(o2(o2(x,x),x)) true 170751 170751 -0.896 0.0531 0.9803 0.1703 0.4127 -1 1 2 1 0.6116 0.01735 0.01587 0.02165 0.04449 1 0.00000638 0.06813 0.03741 0.03276 0.181 8.358 2.828 0.195 0.4 1 1 0.03291 0.1448 0.3716 0.1932 0.8501 2.182 json
t14_x20_u1_b5 14 20 1 5 log(add(mod(R,P),R)) 63974 114496640 o1(o2(o2(x,x),x)) true 170759 170759 -0.9665 0.01833 0.9775 0.03799 0.1949 -1 0.6342 1.634 1 0.3449 0.003936 0.003831 0.008453 0.01347 1 0.00001648 0.01587 0.01334 0.00769 0.08769 10.37 1.634 0.2044 0.4176 1 1 0.007903 0.03297 0.07336 0.208 0.8677 1.931 json
t14_x20_u1_b6 14 20 1 6 log(add(lrg(R,P),R)) 63975 114496641 o1(o2(o2(x,x),x)) true 170767 170767 -0.6012 0.2193 0.7425 0.3113 0.5579 -1 0.6776 1.678 1 2.741 0.006841 0.005121 0.03466 0.1438 1 0.00008714 0.01786 0.02179 0.01076 0.1037 2.993 2.268 0.03842 0.05738 1 1 0.01768 0.1134 0.2915 0.05681 0.3643 0.9364 json
t14_x20_u1_b7 14 20 1 7 log(add(eql(R,P),R)) 63976 114496642 o1(o2(o2(x,x),x)) true 170775 170775 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t14_x20_u1_b8 14 20 1 8 log(add(min(R,P),R)) 63977 114496643 o1(o2(o2(x,x),x)) true 170783 170783 -0.9926 0.003799 0.995 0.008538 0.0924 -1 0.6178 1.618 1 0.0947 0.0007195 0.0009845 0.001967 -0.1555 1 0.000004719 0.003483 0.00304 0.001701 0.04124 20.96 2.192 0.1996 0.4079 1 1 0.0002183 0.00147 0.007292 0.02556 0.1722 0.8541 json
t14_x20_u1_b9 14 20 1 9 log(add(dot(R,P),R)) 63978 114496644 o1(o2(o2(x,x),x)) true 170791 170791 -0.9582 0.02173 0.9952 0.07522 0.2743 -1 1 2 1 0.2405 0.009088 0.008982 0.01134 0.005863 1 -0.000003749 0.03744 0.01957 0.01794 0.1339 11.81 2.828 0.2402 0.4977 1 1 0.02021 0.08484 0.1708 0.2687 1.128 2.27 json
t14_x20_u1_b10 14 20 1 10 log(add(dst(R,P),R)) 63979 114496645 o1(o2(o2(x,x),x)) true 170799 170799 0.9619 0.9913 0.9702 0.03166 0.1779 -1 1 2 1 0.6684 0.000286 0.0002799 0.005246 0.01068 1 -4.505e-11 0.0000608 0.00151 0.0005381 0.0232 4.422 0.2632 0.01787 0.00192 1 1 0.001949 0.02409 0.08218 0.06156 0.7607 2.595 json
t14_x20_u1_b11 14 20 1 11 log(sub(add(R,P),R)) 63980 114496646 o1(o2(o2(x,x),x)) true 170807 170807 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.42e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t14_x20_u1_b12 14 20 1 12 log(sub(sub(R,P),R)) 63981 114496647 o1(o2(o2(x,x),x)) true 170815 170815 -0.1739 0.4375 0.9511 0.9053 0.9515 -1 1 2 1 1.654 0.004186 0 0.007937 1 1 1.419e-9 0.007916 0.008917 0.004122 0.0642 8.089 1 0.004624 0.008745 1 1 0.005854 0.03284 0.2495 0.006466 0.03627 0.2755 json
t14_x20_u1_b13 14 20 1 13 log(sub(mlt(R,P),R)) 63982 114496648 o1(o2(o2(x,x),x)) true 170823 170823 -0.947 0.03 0.9814 0.07984 0.2826 -1 1 2 1 0.409 0.007197 0.008923 0.01233 -0.1071 1 -3.999e-8 0.03297 0.01994 0.01596 0.1263 10.25 2.828 0.2019 0.413 1 1 0.01355 0.05859 0.1505 0.1697 0.7338 1.885 json
t14_x20_u1_b14 14 20 1 14 log(sub(div(R,P),R)) 63983 114496649 o1(o2(o2(x,x),x)) true 170831 170831 -0.9728 0.008102 0.9744 0.02119 0.1456 -1 0.4044 1.404 1 0.4215 0.002018 0.002967 0.007694 -0.1904 1 0.000002078 0.01007 0.01134 0.004926 0.07019 9.123 1.771 0.2353 0.4752 1 1 0.005076 0.0219 0.04835 0.2396 1.034 2.282 json
t14_x20_u1_b15 14 20 1 15 log(sub(pow(R,P),R)) 63984 114496650 o1(o2(o2(x,x),x)) true 170839 170839 -0.9276 0.03676 0.9858 0.1211 0.348 -1 1 2 1 0.4377 0.0136 0.009961 0.01629 0.1543 1 -0.00003942 0.04765 0.02736 0.02328 0.1526 9.368 2.828 0.1946 0.3935 1 1 0.02417 0.1094 0.2528 0.1996 0.9039 2.088 json
t14_x20_u1_b16 14 20 1 16 log(sub(mod(R,P),R)) 63985 114496651 o1(o2(o2(x,x),x)) true 170847 170847 -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
t14_x20_u1_b17 14 20 1 17 log(sub(lrg(R,P),R)) 63986 114496652 o1(o2(o2(x,x),x)) true 170855 170855 -0.6238 0.1832 0.7342 0.2719 0.5215 -1 0.6926 1.693 1 2.923 0.00367 0.003891 0.03841 -0.02918 1 0.00001078 0.006511 0.01903 0.006085 0.07801 2.031 1.247 0.0278 0.02394 1 1 0.01231 0.1134 0.3013 0.04527 0.4171 1.108 json
t14_x20_u1_b18 14 20 1 18 log(sub(eql(R,P),R)) 63987 114496653 o1(o2(o2(x,x),x)) true 170863 170863 -0.9765 0 0.9765 0.01618 0.1272 -1 -0.001196 0.9988 1 0.3894 0.001388 0.002314 0.007057 -0.2501 1 0.00000196 0.007417 0.01019 0.003653 0.06044 8.565 1.247 0.2289 0.4584 1 1 0.003623 0.0155 0.03315 0.2239 0.9583 2.049 json
t14_x20_u1_b19 14 20 1 19 log(sub(min(R,P),R)) 63988 114496654 o1(o2(o2(x,x),x)) true 170871 170871 -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
t14_x20_u1_b20 14 20 1 20 log(sub(dot(R,P),R)) 63989 114496655 o1(o2(o2(x,x),x)) true 170879 170879 -0.9541 0.022 0.9901 0.0773 0.278 -1 1 2 1 0.3046 0.008502 0.01063 0.01293 -0.1114 1 8.635e-11 0.03937 0.02173 0.01895 0.1377 10.65 2.828 0.2476 0.5093 1 1 0.0241 0.1032 0.203 0.3118 1.336 2.627 json
t14_x20_u1_b21 14 20 1 21 log(sub(dst(R,P),R)) 63990 114496656 o1(o2(o2(x,x),x)) true 170887 170887 0.9387 0.9785 0.9628 0.06673 0.2583 -1 1 2 1 0.8291 0.0005292 0.0004628 0.007508 0.0669 1 -1.464e-10 0.0001564 0.00229 0.0009361 0.0306 4.075 0.3977 0.01487 0.002344 1 1 0.00338 0.03968 0.1565 0.05065 0.5947 2.345 json
t14_x20_u1_b22 14 20 1 22 log(mlt(add(R,P),R)) 63991 114496657 o1(o2(o2(x,x),x)) true 170895 170895 -0.9404 0.02769 0.9723 0.0807 0.2841 -1 1 2 1 0.5516 0.008449 0.009529 0.01594 -0.06006 1 -7.525e-8 0.03647 0.0244 0.01772 0.1331 8.352 2.828 0.2228 0.452 1 1 0.01454 0.063 0.1452 0.1802 0.7808 1.8 json
t14_x20_u1_b23 14 20 1 23 log(mlt(sub(R,P),R)) 63992 114496658 o1(o2(o2(x,x),x)) true 170903 170903 -0.8889 0.05811 0.9741 0.1761 0.4196 -1 1 2 1 0.6724 0.01529 0.0183 0.02379 -0.08984 1 0.000002093 0.0692 0.03976 0.03305 0.1818 7.64 2.828 0.1908 0.3931 1 1 0.02961 0.1351 0.3182 0.1682 0.7675 1.808 json
t14_x20_u1_b24 14 20 1 24 log(mlt(mlt(R,P),R)) 63993 114496659 o1(o2(o2(x,x),x)) true 170911 170911 -0.6578 0.1691 0.8837 0.4117 0.6416 -1 1 2 1 2.171 0.004882 0.00478 0.03786 0.0106 1 0.00005358 0.003982 0.01719 0.008229 0.09071 2.396 0.883 0.02347 0.009672 1 1 0.0137 0.1394 0.5106 0.03328 0.3386 1.24 json
t14_x20_u1_b25 14 20 1 25 log(mlt(div(R,P),R)) 63994 114496660 o1(o2(o2(x,x),x)) true 170919 170919 -0.9961 0 0.9961 0.001798 0.04241 -1 -0.1174 0.8826 1 0.1291 0.0006145 0.0000473 0.002103 0.8571 1 0.00000968 0.001117 0.002617 0.0006568 0.02563 12.19 0.8826 0.368 0.621 1 1 0.0006616 0.002291 0.002987 0.3679 1.274 1.661 json
t14_x20_u1_b26 14 20 1 26 log(mlt(pow(R,P),R)) 63995 114496661 o1(o2(o2(x,x),x)) true 170927 170927 -0.9406 0.0311 0.9895 0.1019 0.3192 -1 1 2 1 0.3533 0.01146 0.008561 0.01248 0.1449 1 -0.00001176 0.04159 0.0233 0.01988 0.141 11.3 2.828 0.1965 0.4081 1 1 0.01587 0.06903 0.1634 0.1557 0.6774 1.603 json
t14_x20_u1_b27 14 20 1 27 log(mlt(mod(R,P),R)) 63996 114496662 o1(o2(o2(x,x),x)) true 170935 170935 -0.8836 0 0.8836 0.0554 0.2354 -1 -0.002157 0.9978 1 1.75 0.002555 0.001711 0.02518 0.1978 1 0.0001509 0.003536 0.01736 0.003634 0.06028 2.395 0.9735 0.07701 0.06382 1 1 0.00554 0.04074 0.09014 0.1 0.7354 1.627 json
t14_x20_u1_b28 14 20 1 28 log(mlt(lrg(R,P),R)) 63997 114496663 o1(o2(o2(x,x),x)) true 170943 170943 -0.9872 0 0.9872 0.007581 0.08707 -1 -0.05896 0.941 1 0.2689 0.00092 0.000972 0.004166 -0.02748 1 0.00001234 0.003781 0.005832 0.001874 0.04329 10.39 0.941 0.2496 0.4988 1 1 0.001885 0.008331 0.0144 0.2487 1.099 1.899 json
t14_x20_u1_b29 14 20 1 29 log(mlt(eql(R,P),R)) 63998 114496664 o1(o2(o2(x,x),x)) true 170951 170951 -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
t14_x20_u1_b30 14 20 1 30 log(mlt(min(R,P),R)) 63999 114496665 o1(o2(o2(x,x),x)) true 170959 170959 -0.9077 0.0154 0.924 0.06975 0.2641 -1 1 2 1 1.337 0.005879 0.006199 0.02208 -0.02646 1 0.00008784 0.02196 0.02247 0.01159 0.1077 4.875 2.828 0.1732 0.3148 1 1 0.01256 0.06365 0.1359 0.1801 0.9126 1.948 json