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

grad-noise-175k

Gradient noise, 175k (run of 2026-09-23) · A complete batch run over 175,797 lattice-noise expressions, with 32 texture diagnostics and a frame of each.

About this collection

This collection is complete and closed. Every expression in the space below was rendered and measured once, in a single batch run. Each row is one expression, and its coordinate links to it running live on uto.run.

The purpose is exploratory. There is no target texture and no attempt to resemble Perlin noise. A constant field, a strongly directional pattern or an odd value distribution is an observation, not a failure. The measurements describe textures so they can be sorted, filtered and compared. They are a lossy fingerprint, not a judgement of quality and not a substitute for looking.

The space

An ither formula with two layers:

  • topo: expression trees of up to 64 nodes, built from unary (o1), binary (o2) and leaf (x) slots
  • expr: fills those slots
    • leaves: P, D, R
    • unary: sqt log frc flr cil sgn nrm
    • binary: add sub mlt div pow mod lrg eql min dot dst

A coordinate t·x·u·b follows the formula's projection: t the topology, x the leaf choices, u the unary choices, b the binary choices. Points outside the space were omitted from the run. Two orderings ride along: ordinal is the point's position in ither's whole enumeration (gaps where points were omitted), and batch index is its place in the batch run's sequence, 0 to 175,796 (the run's inputs.expr, and the number in its frame's file name).

The apparatus

Each expression is evaluated at the corners of a rectangular lattice with quintic blending (LATT.RECT.QUINTIC), over coordinates mlt(C, 8), in a 256 × 256 field #A. One configuration per expression: the dimension and coordinate scale were fixed for the whole run.

Measurements are taken from #A's x channel, its stored values (not a screenshot), at step 7, after which the run moves to the next expression. The frame in each row is that field, remapped for display.

The measurements

Notation: f is the field value, E averages the whole field, and E_I averages the interior (C-space [-0.98, 0.98]², which keeps wrapped edges out of the spatial measures).

Value distribution

key meaning
value_mean, value_abs_mean E[f] and E[|f|]: signed offset, typical distance from zero
value_positive_fraction share of values above 0 (field tolerance 0.0001)
value_variance, value_stddev population variance and SD: contrast
value_min, value_max, value_range sampled extrema and their difference
histogram_entropy_bits entropy of a 32-bin histogram over [−1, 1], 0 (one bin) to 5 (uniform) bits
histogram_probability_sum consistency check, ≈ 1

Local roughness (one-pixel differences dx, dy, and g = √(dx² + dy²))

key meaning
gradient_energy_x, gradient_energy_y E_I[dx²], E_I[dy²]
gradient_magnitude_mean E_I[g]: roughness
gradient_magnitude_variance, _stddev, _max how unevenly that roughness is spread, and its peak
gradient_magnitude_cv SD / mean of g: uneven activity (quiet areas interrupted by edges), independent of amplitude
gradient_axis_bias (Ex − Ey) / (Ex + Ey), −1 to 1: horizontal vs vertical preference. Zero does not mean isotropic (diagonals balance too)
gradient_nonzero_flag 1 if there is any gradient energy at all

Change of slope (four-neighbour Laplacian L)

key meaning
laplacian_mean, laplacian_energy, laplacian_abs_mean E_I[L], E_I[L²], E_I[|L|]. Sharp or high-frequency structure responds; a linear ramp does not

Normalised by contrast (comparable across amplitudes)

key meaning
gradient_energy_over_variance (Ex + Ey) / variance
laplacian_energy_over_variance E_I[L²] / variance
variance_normalization_valid_flag, gradient_cv_valid_flag whether the denominators above are meaningful (> 10⁻¹²). Filter on these before trusting a ratio

Three spatial scales (mean squared difference at a distance, over the central [-0.74, 0.74]²: 2, 8 and 32 pixels at this resolution)

key meaning
scale_diff2_near, _mid, _far raw difference energy at each distance
scale_diff2_near_over_variance, _mid_…, _far_… the same, normalised. Low near and rising far suggests smooth structure; a dip at a longer distance can hint at repetition

Each record's json also holds value_histogram (the 32 bin probabilities) and scale_curve (the three scales with their distances).

Reading them, and their limits

  • Clipping. #A kept its default signed domain, so values outside [−1, 1] were clipped before measuring. The diagnostics describe the clipped texture.
  • Combinations say more than any one key. A large range with modest SD and a high gradient peak suggests a few strong excursions. A broad histogram with low normalised detail suggests smooth variation. Similar roughness with a different CV means the activity is concentrated differently.
  • Entropy is about values, not space. A smooth ramp can have high entropy, and shuffling the pixels would not change it.
  • Raw spatial measures depend on resolution and amplitude. Prefer the normalised keys for detail independent of contrast, after checking the validity flags.
  • Not measured: full orientation, spectra or periodicity, lacunarity, tileability, colour, novelty, aesthetic merit.
  • Validation. The suite compiled and ran on every expression. Systematic numerical controls (constants, ramps, stripes, checkerboards, random pixels) and a comparison against longer settling times were not done before this run. Treat the values as exploratory.

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t17_x7_u6_b48 17 7 6 48 pow(P,pow(R,nrm(D))) 104200 138334278 o2(x,o2(x,o1(x))) true 150407 150407 -0.9609 0.02344 0.9922 0.06706 0.259 -1 1 2 1 0.226 0.0079 0.006387 0.008969 0.1059 1 -1.201e-10 0.03013 0.01633 0.01421 0.1192 13.29 2.828 0.213 0.4493 1 1 0.01203 0.04862 0.1347 0.1794 0.725 2.009 json
t17_x7_u6_b49 17 7 6 49 pow(P,mod(R,nrm(D))) 104201 138334279 o2(x,o2(x,o1(x))) true 150415 150415 -0.1503 0.4531 0.9435 0.8889 0.9428 -1 1 2 1 2.042 0.01618 0.007098 0.03454 0.3902 1 4.152e-7 0.05933 0.06049 0.0221 0.1487 4.304 2.828 0.02619 0.06674 1 1 0.0275 0.1054 0.3784 0.03093 0.1186 0.4256 json
t17_x7_u6_b50 17 7 6 50 pow(P,lrg(R,nrm(D))) 104202 138334280 o2(x,o2(x,o1(x))) true 150423 150423 0.07351 0.5468 0.9798 0.9691 0.9844 -1 1 2 1 1.321 0.04579 0.02683 0.04064 0.261 1 -0.0001246 0.2283 0.08182 0.071 0.2665 6.556 2.828 0.07494 0.2356 1 1 0.07217 0.2015 0.4306 0.07447 0.2079 0.4444 json
t17_x7_u6_b51 17 7 6 51 pow(P,eql(R,nrm(D))) 104203 138334281 o2(x,o2(x,o1(x))) true 150431 150431 0.9998 0.9999 1 0.0004882 0.02209 -1 1 2 1 0.001763 0.001008 0.0008818 0.0008161 0.06667 1 0 0.00907 0.001891 0.001888 0.04346 53.25 2.828 3.871 18.58 1 1 0.0004432 0.0004432 0.0003324 0.9079 0.9079 0.6809 json
t17_x7_u6_b52 17 7 6 52 pow(P,min(R,nrm(D))) 104204 138334282 o2(x,o2(x,o1(x))) true 150439 150439 -0.2545 0.4531 0.8393 0.7032 0.8386 -1 1 2 1 2.638 0.0157 0.004403 0.03508 0.5619 1 0.0001277 0.03711 0.03393 0.01887 0.1374 3.916 2.828 0.02859 0.05277 1 1 0.02758 0.1182 0.3452 0.03922 0.1681 0.4909 json
t17_x7_u6_b53 17 7 6 53 pow(P,dot(R,nrm(D))) 104205 138334283 o2(x,o2(x,o1(x))) true 150447 150447 -0.1593 0.453 0.9347 0.8776 0.9368 -1 1 2 1 2.029 0.01694 0.007373 0.03226 0.3936 1 -0.0001416 0.05714 0.0402 0.02329 0.1526 4.731 2.828 0.02771 0.06511 1 1 0.03371 0.1354 0.3859 0.03841 0.1543 0.4398 json
t17_x7_u6_b54 17 7 6 54 pow(P,dst(R,nrm(D))) 104206 138334284 o2(x,o2(x,o1(x))) true 150455 150455 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t17_x7_u6_b55 17 7 6 55 mod(P,add(R,nrm(D))) 104207 138334285 o2(x,o2(x,o1(x))) true 150463 150463 -0.00267 0.4979 0.3497 0.1957 0.4424 -1 1 2 1 4.77 0.04775 0.04503 0.2145 0.02933 1 0.00005056 0.4124 0.4094 0.04675 0.2162 1.008 1.403 0.474 2.107 1 1 0.06171 0.1274 0.162 0.3153 0.651 0.8277 json
t17_x7_u6_b56 17 7 6 56 mod(P,sub(R,nrm(D))) 104208 138334286 o2(x,o2(x,o1(x))) true 150471 150471 0.003003 0.4989 0.3456 0.1904 0.4363 -1 1 2 1 4.756 0.04715 0.04412 0.2135 0.03312 1 -0.0002034 0.4047 0.4055 0.0457 0.2138 1.001 1.406 0.4794 2.126 1 1 0.06067 0.1239 0.1559 0.3187 0.6511 0.8188 json
t17_x7_u6_b57 17 7 6 57 mod(P,mlt(R,nrm(D))) 104209 138334287 o2(x,o2(x,o1(x))) true 150479 150479 -0.0009776 0.4962 0.1487 0.04 0.2 -0.8299 0.8489 1.679 1 3.694 0.01298 0.01407 0.1149 -0.04026 1 -0.00006885 0.1262 0.2281 0.01385 0.1177 1.024 1.036 0.6764 3.154 1 1 0.01622 0.0259 0.0293 0.4056 0.6474 0.7325 json
t17_x7_u6_b58 17 7 6 58 mod(P,div(R,nrm(D))) 104210 138334288 o2(x,o2(x,o1(x))) true 150487 150487 -0.00065 0.4967 0.432 0.295 0.5431 -1 1 2 1 4.727 0.06476 0.06503 0.2543 -0.002091 1 -0.0002169 0.5915 0.5181 0.0651 0.2551 1.003 1.401 0.44 2.005 1 1 0.08337 0.1629 0.1691 0.2826 0.5523 0.5731 json
t17_x7_u6_b59 17 7 6 59 mod(P,pow(R,nrm(D))) 104211 138334289 o2(x,o2(x,o1(x))) true 150495 150495 -0.9721 0.007813 0.9795 0.02827 0.1681 -1 1 2 1 0.3966 0.004731 0.005014 0.01302 -0.02906 1 0.00001775 0.03042 0.02397 0.009579 0.09787 7.52 2.828 0.3447 1.076 1 1 0.00357 0.01347 0.03333 0.1262 0.4765 1.179 json
t17_x7_u6_b60 17 7 6 60 mod(P,mod(R,nrm(D))) 104212 138334290 o2(x,o2(x,o1(x))) true 150503 150503 0.007185 0.4959 0.1337 0.03446 0.1856 -0.8073 0.7942 1.602 1 3.54 0.006083 0.006437 0.05905 -0.02831 1 -0.00002605 0.04938 0.1094 0.009033 0.09504 1.61 1.095 0.3633 1.433 1 1 0.01097 0.02598 0.0294 0.3183 0.754 0.8532 json
t17_x7_u6_b61 17 7 6 61 mod(P,lrg(R,nrm(D))) 104213 138334291 o2(x,o2(x,o1(x))) true 150511 150511 -0.9698 0 0.9698 0.02922 0.1709 -1 0 1 1 0.1952 0.01871 0.00737 0.02421 0.4348 1 0.0002047 0.08373 0.05242 0.0255 0.1597 6.595 1.414 0.8924 2.865 1 1 0.02194 0.04681 0.05532 0.7508 1.602 1.893 json
t17_x7_u6_b62 17 7 6 62 mod(P,eql(R,nrm(D))) 104214 138334292 o2(x,o2(x,o1(x))) true 150519 150519 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x7_u6_b63 17 7 6 63 mod(P,min(R,nrm(D))) 104215 138334293 o2(x,o2(x,o1(x))) true 150527 150527 0.00948 0.4941 0.2142 0.07304 0.2703 -0.8371 0.8393 1.676 1 4.156 0.01474 0.01584 0.1114 -0.03568 1 0.000007513 0.1416 0.2044 0.01817 0.1348 1.21 0.9138 0.4187 1.938 1 1 0.01881 0.03528 0.04031 0.2575 0.4831 0.552 json
t17_x7_u6_b64 17 7 6 64 mod(P,dot(R,nrm(D))) 104216 138334294 o2(x,o2(x,o1(x))) true 150535 150535 0.0007024 0.497 0.2311 0.08889 0.2981 -1 1 2 1 4.281 0.02745 0.02697 0.167 0.008755 1 0.000006134 0.2412 0.3238 0.02651 0.1628 0.9747 1.404 0.6122 2.714 1 1 0.03484 0.05948 0.07176 0.392 0.6692 0.8073 json
t17_x7_u6_b65 17 7 6 65 mod(P,dst(R,nrm(D))) 104217 138334295 o2(x,o2(x,o1(x))) true 150543 150543 -0.0009714 0.4995 0.5885 0.4402 0.6635 -1 1 2 1 4.814 0.05458 0.05517 0.2178 -0.005362 1 0.00007532 0.457 0.3869 0.06234 0.2497 1.147 1.403 0.2494 1.038 1 1 0.07647 0.1607 0.2579 0.1737 0.3651 0.5858 json
t17_x7_u6_b66 17 7 6 66 lrg(P,add(R,nrm(D))) 104218 138334296 o2(x,o2(x,o1(x))) true 150551 150551 0.4969 0.5883 0.4969 0.2276 0.4771 0 1 1 1 1.876 0.005972 0.003288 0.02133 0.2899 1 -0.00003129 0.02792 0.02422 0.008805 0.09383 4.399 1.413 0.04068 0.1227 1 1 0.01318 0.04835 0.08043 0.0579 0.2124 0.3533 json
t17_x7_u6_b67 17 7 6 67 lrg(P,sub(R,nrm(D))) 104219 138334297 o2(x,o2(x,o1(x))) true 150559 150559 0.4969 0.5399 0.4969 0.2397 0.4896 0 1 1 1 1.463 0.005509 0.003286 0.01455 0.2527 1 -0.00003129 0.02792 0.02264 0.008583 0.09265 6.367 1.413 0.03669 0.1164 1 1 0.01203 0.03983 0.08905 0.05017 0.1661 0.3715 json
t17_x7_u6_b68 17 7 6 68 lrg(P,mlt(R,nrm(D))) 104220 138334298 o2(x,o2(x,o1(x))) true 150567 150567 0.5 0.5378 0.5 0.2421 0.492 0 1 1 1 1.382 0.003597 0.0001053 0.007956 0.9431 1 -3.229e-10 0.006751 0.008078 0.003638 0.06032 7.581 1 0.01529 0.02789 1 1 0.005344 0.0265 0.09053 0.02207 0.1095 0.3739 json
t17_x7_u6_b69 17 7 6 69 lrg(P,div(R,nrm(D))) 104221 138334299 o2(x,o2(x,o1(x))) true 150575 150575 0.4997 0.6165 0.4997 0.2269 0.4764 0 1 1 1 1.906 0.03999 0.008596 0.06824 0.6462 1 0.00002628 0.1512 0.1221 0.04392 0.2096 3.071 1.414 0.2141 0.6663 1 1 0.04488 0.0875 0.1161 0.1978 0.3856 0.5117 json
t17_x7_u6_b70 17 7 6 70 lrg(P,pow(R,nrm(D))) 104222 138334300 o2(x,o2(x,o1(x))) true 150583 150583 0.7013 0.9524 0.7013 0.1538 0.3921 0 1 1 1 2.552 0.005151 0.003156 0.03673 0.2402 1 0.00001368 0.01709 0.02147 0.006956 0.0834 2.271 1.413 0.05402 0.1112 1 1 0.01006 0.08016 0.201 0.0654 0.5213 1.307 json
t17_x7_u6_b71 17 7 6 71 lrg(P,mod(R,nrm(D))) 104223 138334301 o2(x,o2(x,o1(x))) true 150591 150591 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003371 0.0001189 0.005043 0.4784 1 0.000005704 0.0001564 0.001349 0.0004305 0.02075 4.114 0.4658 0.001891 0.0006485 1 1 0.00117 0.01506 0.08976 0.004852 0.06244 0.3721 json
t17_x7_u6_b72 17 7 6 72 lrg(P,lrg(R,nrm(D))) 104224 138334302 o2(x,o2(x,o1(x))) true 150599 150599 0.4315 0.4488 0.4315 0.2418 0.4918 0 1 1 1 1.183 0.002593 0.001746 0.006725 0.1953 1 -0.00003538 0.01387 0.01115 0.004294 0.06553 9.743 1.414 0.01795 0.05734 1 1 0.005821 0.02243 0.08455 0.02407 0.09275 0.3496 json
t17_x7_u6_b73 17 7 6 73 lrg(P,eql(R,nrm(D))) 104225 138334303 o2(x,o2(x,o1(x))) true 150607 150607 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
t17_x7_u6_b74 17 7 6 74 lrg(P,min(R,nrm(D))) 104226 138334304 o2(x,o2(x,o1(x))) true 150615 150615 0.5176 0.5625 0.5176 0.2389 0.4888 0 1 1 1 1.486 0.002093 0.00005267 0.007983 0.9509 1 0.000002852 0.003286 0.004977 0.002081 0.04562 5.715 0.9994 0.008984 0.01375 1 1 0.003596 0.02222 0.07826 0.01505 0.09301 0.3276 json
t17_x7_u6_b75 17 7 6 75 lrg(P,dot(R,nrm(D))) 104227 138334305 o2(x,o2(x,o1(x))) true 150623 150623 0.5005 0.5526 0.5005 0.2387 0.4886 0 1 1 1 1.51 0.004213 0.003147 0.01409 0.1448 1 0.00002289 0.02331 0.01898 0.007167 0.08466 6.01 1.413 0.03083 0.09766 1 1 0.008536 0.03422 0.09028 0.03576 0.1434 0.3782 json
t17_x7_u6_b76 17 7 6 76 lrg(P,dst(R,nrm(D))) 104228 138334306 o2(x,o2(x,o1(x))) true 150631 150631 0.4185 0.4576 0.4185 0.2354 0.4852 0 1 1 1 1.362 0.002795 0.002778 0.01027 0.002997 1 0.00002233 0.01735 0.01436 0.005466 0.07393 7.199 1.413 0.02368 0.07372 1 1 0.007867 0.03137 0.08792 0.03342 0.1333 0.3735 json
t17_x7_u6_b77 17 7 6 77 eql(P,add(R,nrm(D))) 104229 138334307 o2(x,o2(x,o1(x))) true 150639 150639 1.264e-7 0.00003052 1.264e-7 5.237e-10 0.00002288 0 0.004143 0.004143 1 0 1.081e-9 1.081e-9 4.454e-7 0 0 0 1.081e-8 0.000001044 2.161e-9 0.00004649 104.4 0.005859 4.128 20.64 1 1 9.507e-10 9.507e-10 7.131e-10 1.816 1.816 1.362 json
t17_x7_u6_b78 17 7 6 78 eql(P,sub(R,nrm(D))) 104230 138334308 o2(x,o2(x,o1(x))) true 150647 150647 1.264e-7 0.00003052 1.264e-7 5.237e-10 0.00002288 0 0.004143 0.004143 1 0 1.081e-9 1.081e-9 4.454e-7 0 0 0 1.081e-8 0.000001044 2.161e-9 0.00004649 104.4 0.005859 4.128 20.64 1 1 9.507e-10 9.507e-10 7.131e-10 1.816 1.816 1.362 json
t17_x7_u6_b79 17 7 6 79 eql(P,mlt(R,nrm(D))) 104231 138334309 o2(x,o2(x,o1(x))) true 150655 150655 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x7_u6_b80 17 7 6 80 eql(P,div(R,nrm(D))) 104232 138334310 o2(x,o2(x,o1(x))) true 150663 150663 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x7_u6_b81 17 7 6 81 eql(P,pow(R,nrm(D))) 104233 138334311 o2(x,o2(x,o1(x))) true 150671 150671 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x7_u6_b82 17 7 6 82 eql(P,mod(R,nrm(D))) 104234 138334312 o2(x,o2(x,o1(x))) true 150679 150679 0.00002015 0.0001221 0.00002015 0.000006485 0.002547 0 0.326 0.326 1 0.0009425 0.00001339 0.00001339 0.00007099 0 0 0 0.0001339 0.0001663 0.00002677 0.005174 72.88 0.461 4.128 20.64 1 1 0.00002355 0.00002355 0.00002355 3.631 3.631 3.631 json
t17_x7_u6_b83 17 7 6 83 eql(P,lrg(R,nrm(D))) 104235 138334313 o2(x,o2(x,o1(x))) true 150687 150687 0.07196 0.1191 0.07196 0.06008 0.2451 0 1 1 1 0.6716 0.005254 0.003554 0.01322 0.193 1 -0.000004958 0.02867 0.0225 0.008636 0.09293 7.029 1.414 0.1466 0.4772 1 1 0.01212 0.04576 0.09816 0.2017 0.7616 1.634 json
t17_x7_u6_b84 17 7 6 84 eql(P,eql(R,nrm(D))) 104236 138334314 o2(x,o2(x,o1(x))) true 150695 150695 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 1.081e-9 0.007934 1 1 -9.456e-10 0.00003243 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007195 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t17_x7_u6_b85 17 7 6 85 eql(P,min(R,nrm(D))) 104237 138334315 o2(x,o2(x,o1(x))) true 150703 150703 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x7_u6_b86 17 7 6 86 eql(P,dot(R,nrm(D))) 104238 138334316 o2(x,o2(x,o1(x))) true 150711 150711 7.564e-7 0.00006104 7.564e-7 1.59e-8 0.0001261 0 0.02888 0.02888 1 0 3.283e-8 3.283e-8 0.000002665 0 0 0 3.283e-7 0.000006245 6.565e-8 0.0002562 96.13 0.04084 4.128 20.64 1 1 1.154e-8 1.154e-8 1.154e-8 0.7257 0.7257 0.7257 json
t17_x7_u6_b87 17 7 6 87 eql(P,dst(R,nrm(D))) 104239 138334317 o2(x,o2(x,o1(x))) true 150719 150719 0.000008823 0.00001526 0.000008823 0.000005101 0.002259 0 0.5782 0.5782 1 0.0002662 0.00001053 0.00001053 0.00003109 0 0 0 0.0001053 0.00007284 0.00002106 0.004589 147.6 0.8177 4.128 20.64 1 1 0.00001852 0.00001852 0.00001389 3.631 3.631 2.723 json
t17_x7_u6_b88 17 7 6 88 min(P,add(R,nrm(D))) 104240 138334318 o2(x,o2(x,o1(x))) true 150727 150727 -0.5188 0.2199 0.7092 0.3642 0.6035 -1 1 2 1 3.342 0.01597 0.003628 0.07479 0.6298 1 0.0003645 0.01712 0.03448 0.01401 0.1183 1.582 1.468 0.05381 0.04702 1 1 0.03328 0.2192 0.2304 0.09138 0.6018 0.6328 json
t17_x7_u6_b89 17 7 6 89 min(P,sub(R,nrm(D))) 104241 138334319 o2(x,o2(x,o1(x))) true 150735 150735 -0.4864 0.2447 0.7042 0.3876 0.6225 -1 1 2 1 3.458 0.01672 0.003648 0.07872 0.6417 1 -0.0003098 0.01729 0.03597 0.01418 0.1191 1.512 1.468 0.05255 0.04462 1 1 0.03489 0.2283 0.2385 0.09003 0.5891 0.6153 json
t17_x7_u6_b90 17 7 6 90 min(P,mlt(R,nrm(D))) 104242 138334320 o2(x,o2(x,o1(x))) true 150743 150743 -0.4819 0.2384 0.5968 0.2856 0.5344 -1 0.9706 1.971 1 3.432 0.005806 0.001878 0.04541 0.5112 1 0.000006409 0.006831 0.01814 0.005622 0.07498 1.651 1.466 0.0269 0.02392 1 1 0.01328 0.1025 0.1648 0.0465 0.3587 0.5771 json
t17_x7_u6_b91 17 7 6 91 min(P,div(R,nrm(D))) 104243 138334321 o2(x,o2(x,o1(x))) true 150751 150751 -0.5133 0.2307 0.7599 0.4246 0.6516 -1 1 2 1 3.248 0.09601 0.006654 0.1098 0.8704 1 0.00001201 0.2181 0.1341 0.09063 0.301 2.743 2.463 0.2418 0.5135 1 1 0.1069 0.3549 0.4381 0.2518 0.8357 1.032 json
t17_x7_u6_b92 17 7 6 92 min(P,pow(R,nrm(D))) 104244 138334322 o2(x,o2(x,o1(x))) true 150759 150759 -0.009303 0.5 0.9282 0.9094 0.9536 -1 1 2 1 2.019 0.001674 0.0003749 0.01404 0.634 1 -0.000004596 0.001848 0.008215 0.001853 0.04305 3.067 0.982 0.002253 0.002032 1 1 0.003426 0.0303 0.2316 0.003768 0.03332 0.2546 json
t17_x7_u6_b93 17 7 6 93 min(P,mod(R,nrm(D))) 104245 138334323 o2(x,o2(x,o1(x))) true 150767 150767 -0.4871 0.2177 0.5862 0.2758 0.5252 -1 0.9393 1.939 1 3.35 0.009995 0.01119 0.06469 -0.05662 1 -0.0000294 0.07793 0.1041 0.01701 0.1304 2.016 1.258 0.07683 0.2826 1 1 0.02016 0.06535 0.1572 0.07308 0.2369 0.5698 json
t17_x7_u6_b94 17 7 6 94 min(P,lrg(R,nrm(D))) 104246 138334324 o2(x,o2(x,o1(x))) true 150775 150775 -0.2254 0.4834 0.7121 0.5916 0.7691 -1 1 2 1 3.273 0.02011 0.01116 0.06871 0.2863 1 -0.0002741 0.09438 0.08232 0.02655 0.1629 2.371 1.413 0.05286 0.1595 1 1 0.03464 0.1195 0.2299 0.05856 0.2021 0.3887 json
t17_x7_u6_b95 17 7 6 95 min(P,eql(R,nrm(D))) 104247 138334325 o2(x,o2(x,o1(x))) true 150783 150783 -0.4686 0.0003052 0.4689 0.2424 0.4924 -1 0.9926 1.993 1 1.409 0.0005049 0.0001513 0.004348 0.5388 1 4.726e-10 0.001531 0.001816 0.0006374 0.02525 5.806 1.404 0.002707 0.006314 1 1 0.001157 0.01237 0.07531 0.004771 0.05104 0.3106 json
t17_x7_u6_b96 17 7 6 96 min(P,min(R,nrm(D))) 104248 138334326 o2(x,o2(x,o1(x))) true 150791 150791 -0.6915 0.06937 0.7293 0.1547 0.3933 -1 0.9344 1.934 1 3.239 0.007758 0.002407 0.05073 0.5265 1 0.0002114 0.009797 0.02413 0.007589 0.08712 1.717 1.467 0.0657 0.06333 1 1 0.01757 0.109 0.1108 0.1135 0.7045 0.7159 json
t17_x7_u6_b97 17 7 6 97 min(P,dot(R,nrm(D))) 104249 138334327 o2(x,o2(x,o1(x))) true 150799 150799 -0.4827 0.2423 0.661 0.3376 0.5811 -1 1 2 1 3.597 0.007394 0.007318 0.06404 0.005135 1 -0.00007702 0.01342 0.02654 0.01061 0.103 1.608 1.496 0.04357 0.03974 1 1 0.02566 0.1919 0.2788 0.076 0.5684 0.8257 json
t17_x7_u6_b98 17 7 6 98 min(P,dst(R,nrm(D))) 104250 138334328 o2(x,o2(x,o1(x))) true 150807 150807 -0.0216 0.5 0.9159 0.8878 0.9422 -1 1 2 1 2.288 0.001739 0.001038 0.01909 0.2525 1 -0.0000127 0.003915 0.01209 0.002413 0.04912 2.573 1.283 0.003127 0.00441 1 1 0.004746 0.03426 0.2331 0.005346 0.03859 0.2626 json
t17_x7_u6_b99 17 7 6 99 dot(P,add(R,nrm(D))) 104251 138334329 o2(x,o2(x,o1(x))) true 150815 150815 -0.1919 0.4009 0.8733 0.7957 0.892 -1 1 2 1 2.645 0.09604 0.09641 0.2011 -0.001936 1 0.001527 0.3184 0.2322 0.152 0.3899 1.938 2.828 0.2419 0.4002 1 1 0.2293 1.052 1.05 0.2882 1.322 1.32 json
t17_x7_u6_b100 17 7 6 100 dot(P,sub(R,nrm(D))) 104252 138334330 o2(x,o2(x,o1(x))) true 150823 150823 0.07606 0.5411 0.875 0.8288 0.9104 -1 1 2 1 2.666 0.09777 0.09685 0.2031 0.004727 1 -0.00258 0.3213 0.2348 0.1534 0.3917 1.928 2.828 0.2348 0.3877 1 1 0.2336 1.064 1.063 0.2819 1.283 1.283 json
t17_x7_u6_b101 17 7 6 101 dot(P,mlt(R,nrm(D))) 104253 138334331 o2(x,o2(x,o1(x))) true 150831 150831 -0.009751 0.4968 0.7544 0.6795 0.8243 -1 1 2 1 3.664 0.06521 0.06401 0.1909 0.009284 1 0.0003011 0.168 0.1563 0.0928 0.3046 1.596 2.828 0.1902 0.2472 1 1 0.1652 1.065 1.234 0.2432 1.568 1.816 json
t17_x7_u6_b102 17 7 6 102 dot(P,div(R,nrm(D))) 104254 138334332 o2(x,o2(x,o1(x))) true 150839 150839 -0.01503 0.4929 0.901 0.8703 0.9329 -1 1 2 1 2.358 0.2802 0.2776 0.3548 0.004578 1 0.0002249 1.329 0.599 0.4318 0.6571 1.852 2.828 0.641 1.527 1 1 0.5222 1.456 1.617 0.6 1.673 1.858 json
t17_x7_u6_b103 17 7 6 103 dot(P,pow(R,nrm(D))) 104255 138334333 o2(x,o2(x,o1(x))) true 150847 150847 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x7_u6_b104 17 7 6 104 dot(P,mod(R,nrm(D))) 104256 138334334 o2(x,o2(x,o1(x))) true 150855 150855 -0.07522 0.4668 0.7411 0.6578 0.811 -1 1 2 1 3.718 0.1344 0.1342 0.2849 0.0006993 1 -0.0003937 0.9749 0.5072 0.1873 0.4328 1.519 2.828 0.4082 1.482 1 1 0.1951 0.5946 1.101 0.2966 0.904 1.673 json
t17_x7_u6_b105 17 7 6 105 dot(P,lrg(R,nrm(D))) 104257 138334335 o2(x,o2(x,o1(x))) true 150863 150863 0.03772 0.5204 0.8567 0.8187 0.9048 -1 1 2 1 2.685 0.08052 0.08371 0.1563 -0.01941 1 -0.000714 0.4964 0.2542 0.1398 0.3739 2.393 2.828 0.2006 0.6063 1 1 0.1625 0.4634 0.5395 0.1984 0.566 0.659 json
t17_x7_u6_b106 17 7 6 106 dot(P,eql(R,nrm(D))) 104258 138334336 o2(x,o2(x,o1(x))) true 150871 150871 0.00008191 0.0005188 0.0005978 0.000531 0.02304 -1 1 2 1 0.01292 0.001033 0.001091 0.002049 -0.02735 1 0 0.01042 0.004774 0.002121 0.04605 22.47 1.414 4 19.62 1 1 0.001572 0.001586 0.001528 2.96 2.986 2.877 json
t17_x7_u6_b107 17 7 6 107 dot(P,min(R,nrm(D))) 104259 138334337 o2(x,o2(x,o1(x))) true 150879 150879 -0.1175 0.4394 0.8726 0.8181 0.9045 -1 1 2 1 2.666 0.05673 0.05665 0.1431 0.0007477 1 0.0008974 0.1624 0.1446 0.09293 0.3048 2.13 2.828 0.1386 0.1985 1 1 0.1494 0.7394 0.7699 0.1826 0.9038 0.9411 json
t17_x7_u6_b108 17 7 6 108 dot(P,dot(R,nrm(D))) 104260 138334338 o2(x,o2(x,o1(x))) true 150887 150887 -0.003097 0.4995 0.7421 0.6735 0.8207 -1 1 2 1 3.595 0.07105 0.07293 0.1841 -0.01311 1 0.0003254 0.2227 0.1723 0.1101 0.3318 1.803 2.828 0.2138 0.3307 1 1 0.1805 1.05 1.246 0.268 1.56 1.85 json
t17_x7_u6_b109 17 7 6 109 dot(P,dst(R,nrm(D))) 104261 138334339 o2(x,o2(x,o1(x))) true 150895 150895 0.0006969 0.5003 0.947 0.9321 0.9654 -1 1 2 1 1.803 0.001439 0.001423 0.01508 0.005839 1 0.00000852 0.003068 0.00823 0.002635 0.05133 3.403 1.145 0.00307 0.003292 1 1 0.006175 0.05767 0.4415 0.006625 0.06187 0.4736 json
t17_x7_u6_b110 17 7 6 110 dst(P,add(R,nrm(D))) 104262 138334340 o2(x,o2(x,o1(x))) true 150903 150903 0.9995 1 0.9995 0.0001691 0.01301 0.2991 1 0.7009 1 0.027 0.00007287 0.00008118 0.0006157 -0.05397 1 1.126e-11 0.0003595 0.000859 0.0001535 0.01239 20.12 0.8475 0.9108 2.126 1 1 0.0003325 0.0006155 0.0006147 1.966 3.639 3.634 json
t17_x7_u6_b111 17 7 6 111 dst(P,sub(R,nrm(D))) 104263 138334341 o2(x,o2(x,o1(x))) true 150911 150911 0.9988 1 0.9988 0.0003777 0.01943 0.283 1 0.717 1 0.0595 0.00008255 0.00009107 0.0009021 -0.04908 1 -2.253e-11 0.0003458 0.0009741 0.0001729 0.01315 14.57 0.8974 0.4597 0.9155 1 1 0.0004066 0.001254 0.001374 1.076 3.321 3.638 json
t17_x7_u6_b112 17 7 6 112 dst(P,mlt(R,nrm(D))) 104264 138334342 o2(x,o2(x,o1(x))) true 150919 150919 0.9985 1 0.9985 0.0004087 0.02022 0.4781 1 0.5219 1 0.07529 0.00002997 0.00003133 0.0006154 -0.02213 0 1.502e-11 0.00008836 0.0005521 0.00006097 0.007809 12.69 0.3735 0.15 0.2162 1 1 0.0001637 0.0007791 0.001477 0.4007 1.906 3.613 json
t17_x7_u6_b113 17 7 6 113 dst(P,div(R,nrm(D))) 104265 138334343 o2(x,o2(x,o1(x))) true 150927 150927 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x7_u6_b114 17 7 6 114 dst(P,pow(R,nrm(D))) 104266 138334344 o2(x,o2(x,o1(x))) true 150935 150935 -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
t17_x7_u6_b115 17 7 6 115 dst(P,mod(R,nrm(D))) 104267 138334345 o2(x,o2(x,o1(x))) true 150943 150943 0.9992 1 0.9992 0.0001265 0.01125 0.7238 1 0.2762 1 0.05555 0.00003406 0.000033 0.0005738 0.01586 0 4.13e-11 0.0002318 0.001011 0.00006679 0.008172 14.24 0.3471 0.53 1.832 1 1 0.0001174 0.0003099 0.0004464 0.9281 2.449 3.528 json
t17_x7_u6_b116 17 7 6 116 dst(P,lrg(R,nrm(D))) 104268 138334346 o2(x,o2(x,o1(x))) true 150951 150951 0.9981 1 0.9981 0.001204 0.0347 0.000582 1 0.9994 1 0.05253 0.0003589 0.0003431 0.00113 0.0225 1 -2.816e-11 0.002684 0.001869 0.0007001 0.02646 23.41 1.383 0.5831 2.23 1 1 0.001089 0.003157 0.00439 0.9044 2.623 3.646 json
t17_x7_u6_b117 17 7 6 117 dst(P,eql(R,nrm(D))) 104269 138334347 o2(x,o2(x,o1(x))) true 150959 150959 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.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t17_x7_u6_b118 17 7 6 118 dst(P,min(R,nrm(D))) 104270 138334348 o2(x,o2(x,o1(x))) true 150967 150967 0.999 1 0.999 0.000377 0.01942 0.1055 1 0.8945 1 0.0432 0.00009222 0.00009281 0.0007924 -0.003162 1 -9.386e-12 0.0003596 0.0009157 0.0001846 0.01358 17.14 0.8268 0.4909 0.9539 1 1 0.0004455 0.001235 0.00137 1.182 3.275 3.634 json
t17_x7_u6_b119 17 7 6 119 dst(P,dot(R,nrm(D))) 104271 138334349 o2(x,o2(x,o1(x))) true 150975 150975 0.9992 1 0.9992 0.0003057 0.01748 0.1058 1 0.8942 1 0.04271 0.0001151 0.00006127 0.0007339 0.3054 1 -2.253e-11 0.0004081 0.0008842 0.0001761 0.01327 18.08 0.7513 0.5771 1.335 1 1 0.0003949 0.001042 0.001107 1.292 3.409 3.621 json
t17_x7_u6_b120 17 7 6 120 dst(P,dst(R,nrm(D))) 104272 138334350 o2(x,o2(x,o1(x))) true 150983 150983 1 1 1 0.000004948 0.002225 0.8316 1 0.1684 1 0.004845 0.000004132 0.00000421 0.00008284 -0.009382 0 2.628e-11 0.00002704 0.0001446 0.000008332 0.002887 34.84 0.195 1.686 5.464 1 1 0.00001403 0.00001798 0.00001798 2.836 3.633 3.633 json
t17_x8_u0_b0 17 8 0 0 add(P,add(R,sqt(R))) 104273 138373425 o2(x,o2(x,o1(x))) true 150991 150991 -0.9701 0.01514 0.9945 0.05166 0.2273 -1 1 2 1 0.2059 0.004019 0.00584 0.00635 -0.1847 1 2.403e-10 0.02035 0.01137 0.009817 0.09908 15.6 2.828 0.1908 0.3939 1 1 0.00491 0.02578 0.06934 0.09505 0.499 1.342 json
t17_x8_u0_b1 17 8 0 1 add(P,sub(R,sqt(R))) 104274 138373426 o2(x,o2(x,o1(x))) true 150999 150999 -0.9855 0.006592 0.9964 0.02411 0.1553 -1 1 2 1 0.1234 0.001958 0.002886 0.003168 -0.1917 1 -9.386e-11 0.0101 0.005565 0.004835 0.06953 21.95 2.737 0.2009 0.4189 1 1 0.0004984 0.00348 0.02119 0.02067 0.1443 0.879 json
t17_x8_u0_b2 17 8 0 2 add(P,mlt(R,sqt(R))) 104275 138373427 o2(x,o2(x,o1(x))) true 151007 151007 -0.9797 0.009796 0.9946 0.03304 0.1818 -1 1 2 1 0.1758 0.002384 0.003984 0.004464 -0.2513 1 1.502e-11 0.01317 0.007849 0.006349 0.07968 17.85 2.828 0.1927 0.3986 1 1 0.001553 0.009277 0.03178 0.047 0.2807 0.9618 json
t17_x8_u0_b3 17 8 0 3 add(P,div(R,sqt(R))) 104276 138373428 o2(x,o2(x,o1(x))) true 151015 151015 -0.977 0.01056 0.9944 0.03795 0.1948 -1 1 2 1 0.1858 0.002605 0.00457 0.004948 -0.2738 1 -3.004e-11 0.01482 0.008755 0.007153 0.08457 17.09 2.828 0.1891 0.3906 1 1 0.002156 0.01254 0.03886 0.0568 0.3305 1.024 json
t17_x8_u0_b4 17 8 0 4 add(P,pow(R,sqt(R))) 104277 138373429 o2(x,o2(x,o1(x))) true 151023 151023 -0.9777 0.01031 0.9945 0.03673 0.1916 -1 1 2 1 0.181 0.002526 0.004425 0.004809 -0.2732 1 9.011e-11 0.01436 0.008516 0.00693 0.08324 17.31 2.828 0.1893 0.3911 1 1 0.00195 0.01146 0.03686 0.05309 0.3119 1.004 json
t17_x8_u0_b5 17 8 0 5 add(P,mod(R,sqt(R))) 104278 138373430 o2(x,o2(x,o1(x))) true 151031 151031 -0.9786 0.01013 0.9945 0.03496 0.187 -1 1 2 1 0.1782 0.00247 0.00421 0.004667 -0.2604 1 -2.102e-10 0.01381 0.008228 0.006658 0.08159 17.49 2.828 0.1911 0.395 1 1 0.001785 0.01055 0.03441 0.05107 0.3019 0.9843 json
t17_x8_u0_b6 17 8 0 6 add(P,lrg(R,sqt(R))) 104279 138373431 o2(x,o2(x,o1(x))) true 151039 151039 0.06404 0.5292 0.9418 0.9239 0.9612 -1 1 2 1 1.81 0.0009419 0.000259 0.009869 0.5687 1 0.00001453 0.0001299 0.002631 0.001104 0.03323 3.367 0.2338 0.0013 0.0001406 1 1 0.003125 0.03919 0.2718 0.003382 0.04241 0.2942 json
t17_x8_u0_b7 17 8 0 7 add(P,eql(R,sqt(R))) 104280 138373432 o2(x,o2(x,o1(x))) true 151047 151047 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.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x8_u0_b8 17 8 0 8 add(P,min(R,sqt(R))) 104281 138373433 o2(x,o2(x,o1(x))) true 151055 151055 0.003757 0.4974 0.9428 0.9208 0.9596 -1 1 2 1 1.952 0.001169 0.000358 0.0111 0.5311 1 -0.00002042 0.0002765 0.003741 0.001403 0.03746 3.374 0.312 0.001658 0.0003002 1 1 0.003726 0.04331 0.2691 0.004046 0.04703 0.2923 json
t17_x8_u0_b9 17 8 0 9 add(P,dot(R,sqt(R))) 104282 138373434 o2(x,o2(x,o1(x))) true 151063 151063 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x8_u0_b10 17 8 0 10 add(P,dst(R,sqt(R))) 104283 138373435 o2(x,o2(x,o1(x))) true 151071 151071 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x8_u0_b11 17 8 0 11 sub(P,add(R,sqt(R))) 104284 138373436 o2(x,o2(x,o1(x))) true 151079 151079 -0.9915 0.003906 0.9993 0.01574 0.1255 -1 1 2 1 0.07261 0.001046 0.001794 0.001692 -0.2634 1 7.509e-12 0.005933 0.003206 0.002836 0.05326 31.48 2 0.1804 0.3768 1 1 0.00001509 0.00009433 0.01347 0.0009582 0.005991 0.8554 json
t17_x8_u0_b12 17 8 0 12 sub(P,sub(R,sqt(R))) 104285 138373437 o2(x,o2(x,o1(x))) true 151087 151087 -0.983 0.009003 0.9961 0.02848 0.1688 -1 1 2 1 0.1483 0.002077 0.003462 0.003669 -0.2499 1 -4.505e-11 0.01151 0.006475 0.005525 0.07433 20.26 2.828 0.1945 0.404 1 1 0.0007625 0.005197 0.02532 0.02677 0.1825 0.8891 json
t17_x8_u0_b13 17 8 0 13 sub(P,mlt(R,sqt(R))) 104286 138373438 o2(x,o2(x,o1(x))) true 151095 151095 -0.9875 0.005905 0.9961 0.02003 0.1415 -1 1 2 1 0.112 0.001474 0.002363 0.002673 -0.2315 1 4.13e-11 0.007987 0.004763 0.003828 0.06187 23.15 2 0.1915 0.3987 1 1 0.000239 0.001692 0.01744 0.01193 0.08446 0.8705 json
t17_x8_u0_b14 17 8 0 14 sub(P,div(R,sqt(R))) 104287 138373439 o2(x,o2(x,o1(x))) true 151103 151103 -0.989 0.005035 0.997 0.01803 0.1343 -1 1 2 1 0.1047 0.001346 0.002094 0.00236 -0.2174 1 -7.884e-11 0.007178 0.00425 0.003433 0.05859 24.83 2 0.1908 0.3981 1 1 0.000134 0.0009469 0.01559 0.007431 0.05252 0.8646 json
t17_x8_u0_b15 17 8 0 15 sub(P,pow(R,sqt(R))) 104288 138373440 o2(x,o2(x,o1(x))) true 151111 151111 -0.9887 0.00528 0.9969 0.01846 0.1359 -1 1 2 1 0.1072 0.001393 0.002149 0.002435 -0.2136 1 3.004e-11 0.007392 0.004383 0.003535 0.05945 24.42 2 0.1918 0.4004 1 1 0.0001676 0.001171 0.01599 0.009077 0.06342 0.8661 json
t17_x8_u0_b16 17 8 0 16 sub(P,mod(R,sqt(R))) 104289 138373441 o2(x,o2(x,o1(x))) true 151119 151119 -0.9881 0.005371 0.9964 0.01909 0.1382 -1 1 2 1 0.11 0.001412 0.002239 0.002542 -0.2263 1 -5.256e-11 0.007608 0.004546 0.003643 0.06036 23.74 2 0.1913 0.3985 1 1 0.0001863 0.001323 0.01658 0.00976 0.06929 0.8683 json
t17_x8_u0_b17 17 8 0 17 sub(P,lrg(R,sqt(R))) 104290 138373442 o2(x,o2(x,o1(x))) true 151127 151127 -0.05877 0.4723 0.9451 0.9283 0.9635 -1 1 2 1 1.786 0.001009 0.0002866 0.01014 0.5576 1 -0.00001667 0.000135 0.00275 0.001193 0.03453 3.406 0.2338 0.001396 0.0001454 1 1 0.003407 0.04218 0.2644 0.00367 0.04544 0.2848 json
t17_x8_u0_b18 17 8 0 18 sub(P,eql(R,sqt(R))) 104291 138373443 o2(x,o2(x,o1(x))) true 151135 151135 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.001851 0.02449 0.2344 0.002003 0.0265 0.2537 json
t17_x8_u0_b19 17 8 0 19 sub(P,min(R,sqt(R))) 104292 138373444 o2(x,o2(x,o1(x))) true 151143 151143 -0.004612 0.5032 0.9368 0.913 0.9555 -1 1 2 1 2.013 0.001147 0.000385 0.01159 0.4976 1 0.00002051 0.0002745 0.003871 0.001399 0.0374 3.228 0.3332 0.001679 0.0003007 1 1 0.003782 0.0437 0.2627 0.004142 0.04787 0.2877 json
t17_x8_u0_b20 17 8 0 20 sub(P,dot(R,sqt(R))) 104293 138373445 o2(x,o2(x,o1(x))) true 151151 151151 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x8_u0_b21 17 8 0 21 sub(P,dst(R,sqt(R))) 104294 138373446 o2(x,o2(x,o1(x))) true 151159 151159 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x8_u0_b22 17 8 0 22 mlt(P,add(R,sqt(R))) 104295 138373447 o2(x,o2(x,o1(x))) true 151167 151167 -0.9844 0.007813 0.9971 0.02754 0.1659 -1 1 2 1 0.1076 0.002091 0.003332 0.003357 -0.2287 1 -3.004e-11 0.01123 0.005975 0.005412 0.07356 21.91 2.828 0.197 0.408 1 1 0.0006756 0.004751 0.02433 0.02454 0.1725 0.8836 json
t17_x8_u0_b23 17 8 0 23 mlt(P,sub(R,sqt(R))) 104296 138373448 o2(x,o2(x,o1(x))) true 151175 151175 -0.9397 0.03491 0.9816 0.09462 0.3076 -1 1 2 1 0.3954 0.01023 0.008636 0.01238 0.08442 1 -0.00000378 0.03931 0.02345 0.01873 0.1368 11.05 2.828 0.1994 0.4154 1 1 0.01398 0.05896 0.143 0.1478 0.6231 1.511 json
t17_x8_u0_b24 17 8 0 24 mlt(P,mlt(R,sqt(R))) 104297 138373449 o2(x,o2(x,o1(x))) true 151183 151183 -0.9805 0.007813 0.9909 0.02643 0.1626 -1 1 2 1 0.2446 0.002199 0.003195 0.004958 -0.1845 1 8.503e-7 0.01115 0.008179 0.005372 0.07329 14.78 2.556 0.2041 0.4217 1 1 0.001206 0.006585 0.02674 0.04561 0.2491 1.012 json
t17_x8_u0_b25 17 8 0 25 mlt(P,div(R,sqt(R))) 104298 138373450 o2(x,o2(x,o1(x))) true 151191 151191 -0.984 0.007813 0.9952 0.02563 0.1601 -1 1 2 1 0.1601 0.001967 0.003092 0.003553 -0.2222 1 -7.509e-12 0.01054 0.006234 0.005046 0.07104 20 2.731 0.1974 0.4112 1 1 0.0006437 0.004194 0.02286 0.02512 0.1636 0.8919 json
t17_x8_u0_b26 17 8 0 26 mlt(P,pow(R,sqt(R))) 104299 138373451 o2(x,o2(x,o1(x))) true 151199 151199 -0.9837 0.007813 0.9947 0.02531 0.1591 -1 1 2 1 0.171 0.001916 0.003052 0.003603 -0.2287 1 -1.352e-10 0.01035 0.006329 0.004954 0.07039 19.53 2.652 0.1963 0.4089 1 1 0.0006653 0.004195 0.02278 0.02629 0.1658 0.9002 json