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_x8_u4_b43 17 8 4 43 div(P,dst(R,cil(R))) 104800 138374272 o2(x,o2(x,o1(x))) true 155207 155207 0.002059 0.5 0.9426 0.9299 0.9643 -1 1 2 1 1.778 0.0009955 0.00006595 0.008381 0.8757 1 0.000008007 0.000256 0.003149 0.0009906 0.03147 3.756 0.3134 0.001142 0.0002753 1 1 0.002592 0.02833 0.2475 0.002788 0.03047 0.2662 json
t17_x8_u4_b44 17 8 4 44 pow(P,add(R,cil(R))) 104801 138374273 o2(x,o2(x,o1(x))) true 155215 155215 -0.1478 0.4531 0.946 0.8999 0.9486 -1 1 2 1 1.858 0.01373 0.004734 0.02049 0.4873 1 -0.0001984 0.03568 0.02787 0.01805 0.1343 6.555 2.828 0.02052 0.03965 1 1 0.02516 0.1071 0.388 0.02796 0.119 0.4312 json
t17_x8_u4_b45 17 8 4 45 pow(P,sub(R,cil(R))) 104802 138374274 o2(x,o2(x,o1(x))) true 155223 155223 -0.307 0.4375 0.818 0.638 0.7988 -1 1 2 1 2.607 0.01605 0.0001649 0.01781 0.9797 1 0.00002167 0.03179 0.01813 0.01589 0.1261 7.078 2 0.02542 0.04983 1 1 0.02154 0.08743 0.2908 0.03376 0.137 0.4558 json
t17_x8_u4_b46 17 8 4 46 pow(P,mlt(R,cil(R))) 104803 138374275 o2(x,o2(x,o1(x))) true 155231 155231 0.07812 0.5469 0.9844 0.9743 0.9871 -1 1 2 1 1.277 0.0192 0.01438 0.02018 0.1437 1 0.000002852 0.06878 0.03587 0.03317 0.1821 9.025 2.828 0.03446 0.07059 1 1 0.03597 0.1552 0.5515 0.03692 0.1593 0.566 json
t17_x8_u4_b47 17 8 4 47 pow(P,div(R,cil(R))) 104804 138374276 o2(x,o2(x,o1(x))) true 155239 155239 -0.8125 0.1094 0.9688 0.3018 0.5494 -1 1 2 1 0.7763 0.03027 0.02091 0.0312 0.1829 1 -3.004e-11 0.1067 0.05567 0.05021 0.2241 7.182 2.828 0.1696 0.3536 1 1 0.05731 0.2408 0.5383 0.1899 0.7977 1.783 json
t17_x8_u4_b48 17 8 4 48 pow(P,pow(R,cil(R))) 104805 138374277 o2(x,o2(x,o1(x))) true 155247 155247 -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_x8_u4_b49 17 8 4 49 pow(P,mod(R,cil(R))) 104806 138374278 o2(x,o2(x,o1(x))) true 155255 155255 -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_x8_u4_b50 17 8 4 50 pow(P,lrg(R,cil(R))) 104807 138374279 o2(x,o2(x,o1(x))) true 155263 155263 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x8_u4_b51 17 8 4 51 pow(P,eql(R,cil(R))) 104808 138374280 o2(x,o2(x,o1(x))) true 155271 155271 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t17_x8_u4_b52 17 8 4 52 pow(P,min(R,cil(R))) 104809 138374281 o2(x,o2(x,o1(x))) true 155279 155279 -0.1716 0.4531 0.9222 0.8554 0.9249 -1 1 2 1 2.16 0.01344 0.00423 0.0215 0.5213 1 -0.00005144 0.03439 0.02445 0.01722 0.1312 6.105 2.828 0.02066 0.0402 1 1 0.02424 0.107 0.3852 0.02834 0.1251 0.4503 json
t17_x8_u4_b53 17 8 4 53 pow(P,dot(R,cil(R))) 104810 138374282 o2(x,o2(x,o1(x))) true 155287 155287 -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_x8_u4_b54 17 8 4 54 pow(P,dst(R,cil(R))) 104811 138374283 o2(x,o2(x,o1(x))) true 155295 155295 -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_x8_u4_b55 17 8 4 55 mod(P,add(R,cil(R))) 104812 138374284 o2(x,o2(x,o1(x))) true 155303 155303 0.007672 0.4992 0.4275 0.2672 0.5169 -1 1 2 1 4.882 0.001531 0.001292 0.04032 0.08473 1 -0.00002545 0.0002906 0.01013 0.001198 0.03461 0.8585 0.1831 0.01057 0.001088 1 1 0.005113 0.06395 0.2021 0.01914 0.2394 0.7565 json
t17_x8_u4_b56 17 8 4 56 mod(P,sub(R,cil(R))) 104813 138374285 o2(x,o2(x,o1(x))) true 155311 155311 0.007171 0.4965 0.2169 0.07421 0.2724 -0.8078 0.8713 1.679 1 4.155 0.0003259 0.0003461 0.02016 -0.03009 1 -0.00001266 0.00003916 0.004655 0.0002654 0.01629 0.808 0.09377 0.009056 0.0005277 1 1 0.001252 0.01613 0.05089 0.01688 0.2173 0.6858 json
t17_x8_u4_b57 17 8 4 57 mod(P,mlt(R,cil(R))) 104814 138374286 o2(x,o2(x,o1(x))) true 155319 155319 -0.9631 0.007568 0.9665 0.03269 0.1808 -1 0.5776 1.578 1 0.4189 0.002994 0.003434 0.007838 -0.0685 1 3.276e-7 0.01336 0.01426 0.006366 0.07979 10.18 1.602 0.1966 0.4088 1 1 0.004263 0.01912 0.05089 0.1304 0.5849 1.557 json
t17_x8_u4_b58 17 8 4 58 mod(P,div(R,cil(R))) 104815 138374287 o2(x,o2(x,o1(x))) true 155327 155327 -0.9631 0.007568 0.9665 0.03269 0.1808 -1 0.5776 1.578 1 0.4189 0.002994 0.003434 0.007838 -0.0685 1 3.276e-7 0.01336 0.01426 0.006366 0.07979 10.18 1.602 0.1966 0.4088 1 1 0.004263 0.01912 0.05089 0.1304 0.5849 1.557 json
t17_x8_u4_b59 17 8 4 59 mod(P,pow(R,cil(R))) 104816 138374288 o2(x,o2(x,o1(x))) true 155335 155335 -0.001328 0.4289 0.09877 0.02766 0.1663 -0.7987 0.7988 1.598 1 3.124 0.0002509 0.0002232 0.01436 0.05855 1 -0.000008707 0.00002777 0.003363 0.0002679 0.01637 1.14 0.09342 0.01714 0.001004 1 1 0.0009449 0.01228 0.03715 0.03417 0.444 1.343 json
t17_x8_u4_b60 17 8 4 60 mod(P,mod(R,cil(R))) 104817 138374289 o2(x,o2(x,o1(x))) true 155343 155343 -0.9631 0.007568 0.9665 0.03269 0.1808 -1 0.5776 1.578 1 0.4189 0.002994 0.003434 0.007838 -0.0685 1 3.276e-7 0.01336 0.01426 0.006366 0.07979 10.18 1.602 0.1966 0.4088 1 1 0.004263 0.01912 0.05089 0.1304 0.5849 1.557 json
t17_x8_u4_b61 17 8 4 61 mod(P,lrg(R,cil(R))) 104818 138374290 o2(x,o2(x,o1(x))) true 155351 155351 -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_u4_b62 17 8 4 62 mod(P,eql(R,cil(R))) 104819 138374291 o2(x,o2(x,o1(x))) true 155359 155359 -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_u4_b63 17 8 4 63 mod(P,min(R,cil(R))) 104820 138374292 o2(x,o2(x,o1(x))) true 155367 155367 0.0129 0.496 0.2104 0.07008 0.2647 -0.8078 0.7988 1.607 1 4.093 0.0003013 0.0003177 0.019 -0.02649 1 3.995e-7 0.00003588 0.00436 0.0002581 0.01607 0.8458 0.08902 0.008832 0.000512 1 1 0.001176 0.01523 0.054 0.01678 0.2173 0.7706 json
t17_x8_u4_b64 17 8 4 64 mod(P,dot(R,cil(R))) 104821 138374293 o2(x,o2(x,o1(x))) true 155375 155375 -0.4146 0.2718 0.6355 0.3682 0.6068 -1 1 2 1 3.777 0.01633 0.01642 0.04894 -0.002811 1 0.00001341 0.06428 0.05835 0.03036 0.1742 3.56 2.828 0.08894 0.1746 1 1 0.03522 0.1736 0.5967 0.09566 0.4714 1.621 json
t17_x8_u4_b65 17 8 4 65 mod(P,dst(R,cil(R))) 104822 138374294 o2(x,o2(x,o1(x))) true 155383 155383 0.001318 0.4978 0.4815 0.3028 0.5503 -1 1 2 1 4.961 0.001021 0.0008671 0.03484 0.08162 1 -0.00001509 0.0001241 0.0081 0.0006745 0.02597 0.7454 0.1374 0.006235 0.0004096 1 1 0.003542 0.04579 0.1825 0.0117 0.1512 0.6026 json
t17_x8_u4_b66 17 8 4 66 lrg(P,add(R,cil(R))) 104823 138374295 o2(x,o2(x,o1(x))) true 155391 155391 0.4648 0.541 0.4648 0.2315 0.4811 0 1 1 1 1.711 0.0005491 0.0002856 0.009689 0.3156 1 0.00001711 0.00004555 0.002325 0.0007411 0.02722 2.81 0.1169 0.003606 0.0001968 1 1 0.002192 0.02842 0.09003 0.009467 0.1228 0.3889 json
t17_x8_u4_b67 17 8 4 67 lrg(P,sub(R,cil(R))) 104824 138374296 o2(x,o2(x,o1(x))) true 155399 155399 0.5313 0.5625 0.5313 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_x8_u4_b68 17 8 4 68 lrg(P,mlt(R,cil(R))) 104825 138374297 o2(x,o2(x,o1(x))) true 155407 155407 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_x8_u4_b69 17 8 4 69 lrg(P,div(R,cil(R))) 104826 138374298 o2(x,o2(x,o1(x))) true 155415 155415 0.2148 0.455 0.2148 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
t17_x8_u4_b70 17 8 4 70 lrg(P,pow(R,cil(R))) 104827 138374299 o2(x,o2(x,o1(x))) true 155423 155423 0.4453 0.494 0.4453 0.2369 0.4867 0 1 1 1 1.457 0.0003045 0.0001755 0.005653 0.2688 1 -0.00001141 0.00002677 0.001359 0.0004483 0.02117 3.746 0.1169 0.002026 0.000113 1 1 0.001279 0.01661 0.07962 0.005399 0.07012 0.3361 json
t17_x8_u4_b71 17 8 4 71 lrg(P,mod(R,cil(R))) 104828 138374300 o2(x,o2(x,o1(x))) true 155431 155431 0.7324 0.9569 0.7324 0.1474 0.3839 0 1 1 1 2.341 0.001052 0.001231 0.02666 -0.0785 1 -0.000006429 0.0001288 0.006434 0.001572 0.03965 1.487 0.1169 0.01549 0.000874 1 1 0.004654 0.05961 0.1835 0.03158 0.4044 1.245 json
t17_x8_u4_b72 17 8 4 72 lrg(P,lrg(R,cil(R))) 104829 138374301 o2(x,o2(x,o1(x))) true 155439 155439 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_x8_u4_b73 17 8 4 73 lrg(P,eql(R,cil(R))) 104830 138374302 o2(x,o2(x,o1(x))) true 155447 155447 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_x8_u4_b74 17 8 4 74 lrg(P,min(R,cil(R))) 104831 138374303 o2(x,o2(x,o1(x))) true 155455 155455 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
t17_x8_u4_b75 17 8 4 75 lrg(P,dot(R,cil(R))) 104832 138374304 o2(x,o2(x,o1(x))) true 155463 155463 0.4453 0.494 0.4453 0.2369 0.4867 0 1 1 1 1.457 0.0003045 0.0001755 0.005652 0.2688 1 0.00001141 0.00002677 0.001359 0.0004481 0.02117 3.745 0.1169 0.002026 0.000113 1 1 0.001191 0.01561 0.08117 0.005026 0.06591 0.3427 json
t17_x8_u4_b76 17 8 4 76 lrg(P,dst(R,cil(R))) 104833 138374305 o2(x,o2(x,o1(x))) true 155471 155471 0.4512 0.4911 0.4512 0.239 0.4889 0 1 1 1 1.395 0.0003287 0.00008779 0.004813 0.5784 1 -5.172e-10 0.0000216 0.001148 0.0003932 0.01983 4.12 0.1169 0.001742 0.00009036 1 1 0.001058 0.01391 0.08569 0.004426 0.05818 0.3585 json
t17_x8_u4_b77 17 8 4 77 eql(P,add(R,cil(R))) 104834 138374306 o2(x,o2(x,o1(x))) true 155479 155479 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_x8_u4_b78 17 8 4 78 eql(P,sub(R,cil(R))) 104835 138374307 o2(x,o2(x,o1(x))) true 155487 155487 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_x8_u4_b79 17 8 4 79 eql(P,mlt(R,cil(R))) 104836 138374308 o2(x,o2(x,o1(x))) true 155495 155495 0.03516 0.09119 0.03516 0.02431 0.1559 0 0.9997 0.9997 1 0.5835 0.0003631 0.0001053 0.005422 0.5502 1 0.000005704 0.00002431 0.001291 0.0004388 0.02095 3.863 0.1169 0.01927 0.001 1 1 0.001224 0.01595 0.05043 0.05036 0.656 2.074 json
t17_x8_u4_b80 17 8 4 80 eql(P,div(R,cil(R))) 104837 138374309 o2(x,o2(x,o1(x))) true 155503 155503 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_x8_u4_b81 17 8 4 81 eql(P,pow(R,cil(R))) 104838 138374310 o2(x,o2(x,o1(x))) true 155511 155511 0.02344 0.08167 0.02344 0.0145 0.1204 0 0.9997 0.9997 1 0.481 0.0002093 0.0001755 0.004585 0.08789 1 0.00001141 0.00002229 0.00111 0.0003637 0.01907 4.159 0.1169 0.02653 0.001537 1 1 0.001133 0.01461 0.03231 0.0781 1.007 2.228 json
t17_x8_u4_b82 17 8 4 82 eql(P,mod(R,cil(R))) 104839 138374311 o2(x,o2(x,o1(x))) true 155519 155519 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_x8_u4_b83 17 8 4 83 eql(P,lrg(R,cil(R))) 104840 138374312 o2(x,o2(x,o1(x))) true 155527 155527 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
t17_x8_u4_b84 17 8 4 84 eql(P,eql(R,cil(R))) 104841 138374313 o2(x,o2(x,o1(x))) true 155535 155535 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
t17_x8_u4_b85 17 8 4 85 eql(P,min(R,cil(R))) 104842 138374314 o2(x,o2(x,o1(x))) true 155543 155543 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_x8_u4_b86 17 8 4 86 eql(P,dot(R,cil(R))) 104843 138374315 o2(x,o2(x,o1(x))) true 155551 155551 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_x8_u4_b87 17 8 4 87 eql(P,dst(R,cil(R))) 104844 138374316 o2(x,o2(x,o1(x))) true 155559 155559 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_x8_u4_b88 17 8 4 88 min(P,add(R,cil(R))) 104845 138374317 o2(x,o2(x,o1(x))) true 155567 155567 -0.3551 0.2911 0.7705 0.5743 0.7578 -1 1 2 1 3.393 0.003428 0.003745 0.04579 -0.04427 1 -0.00008053 0.001006 0.01335 0.005076 0.07124 1.556 0.3359 0.01249 0.001752 1 1 0.01348 0.1591 0.4467 0.02348 0.277 0.7778 json
t17_x8_u4_b89 17 8 4 89 min(P,sub(R,cil(R))) 104846 138374318 o2(x,o2(x,o1(x))) true 155575 155575 -0.7226 0 0.7226 0.0926 0.3043 -1 -0.002975 0.997 1 3.015 0.0004003 0.0003484 0.01691 0.06933 1 0.0000278 0.00004321 0.003864 0.0004628 0.02151 1.272 0.1114 0.008085 0.0004666 1 1 0.001392 0.01812 0.06972 0.01503 0.1957 0.7529 json
t17_x8_u4_b90 17 8 4 90 min(P,mlt(R,cil(R))) 104847 138374319 o2(x,o2(x,o1(x))) true 155583 155583 -0.3508 0.4445 0.5867 0.4 0.6324 -1 0.9809 1.981 1 2.988 0.0008951 0.0004166 0.02041 0.3648 1 0.000003947 0.00007393 0.004794 0.000895 0.02992 1.466 0.1169 0.003279 0.0001848 1 1 0.002808 0.03671 0.1768 0.007021 0.09178 0.442 json
t17_x8_u4_b91 17 8 4 91 min(P,div(R,cil(R))) 104848 138374320 o2(x,o2(x,o1(x))) true 155591 155591 -0.04487 0.4997 0.8926 0.8565 0.9255 -1 1 2 1 2.478 0.001234 0.001145 0.01854 0.03768 1 -0.00007395 0.001129 0.00979 0.002035 0.04511 2.434 0.4329 0.002778 0.001318 1 1 0.003868 0.03801 0.227 0.004516 0.04438 0.2651 json
t17_x8_u4_b92 17 8 4 92 min(P,pow(R,cil(R))) 104849 138374321 o2(x,o2(x,o1(x))) true 155599 155599 -0.09692 0.4997 0.8406 0.767 0.8758 -1 1 2 1 3.075 0.0009087 0.0004766 0.02121 0.3119 1 0.00002818 0.00007575 0.004986 0.0009357 0.03059 1.442 0.1169 0.001806 0.00009876 1 1 0.002818 0.03697 0.2289 0.003673 0.0482 0.2985 json
t17_x8_u4_b93 17 8 4 93 min(P,mod(R,cil(R))) 104850 138374322 o2(x,o2(x,o1(x))) true 155607 155607 -0.04487 0.4997 0.8926 0.8565 0.9255 -1 1 2 1 2.478 0.001234 0.001145 0.01854 0.03768 1 -0.00007395 0.001129 0.00979 0.002035 0.04511 2.434 0.4329 0.002778 0.001318 1 1 0.003868 0.03801 0.227 0.004516 0.04438 0.2651 json
t17_x8_u4_b94 17 8 4 94 min(P,lrg(R,cil(R))) 104851 138374323 o2(x,o2(x,o1(x))) true 155615 155615 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x8_u4_b95 17 8 4 95 min(P,eql(R,cil(R))) 104852 138374324 o2(x,o2(x,o1(x))) true 155623 155623 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t17_x8_u4_b96 17 8 4 96 min(P,min(R,cil(R))) 104853 138374325 o2(x,o2(x,o1(x))) true 155631 155631 -0.4947 0.2244 0.669 0.3314 0.5756 -1 0.9806 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 -5.686e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t17_x8_u4_b97 17 8 4 97 min(P,dot(R,cil(R))) 104854 138374326 o2(x,o2(x,o1(x))) true 155639 155639 -0.1693 0.497 0.7682 0.6722 0.8199 -1 1 2 1 3.246 0.001467 0.0006926 0.02543 0.3587 1 -0.00001908 0.0002828 0.007209 0.001514 0.03891 1.53 0.2354 0.003213 0.0004207 1 1 0.004311 0.05094 0.267 0.006414 0.07578 0.3972 json
t17_x8_u4_b98 17 8 4 98 min(P,dst(R,cil(R))) 104855 138374327 o2(x,o2(x,o1(x))) true 155647 155647 -0.0538 0.4998 0.8837 0.8334 0.9129 -1 1 2 1 2.747 0.0007243 0.0001632 0.01428 0.6323 1 -0.00001081 0.00007746 0.003938 0.0006833 0.02614 1.83 0.1169 0.001065 0.00009294 1 1 0.002147 0.0273 0.219 0.002576 0.03276 0.2628 json
t17_x8_u4_b99 17 8 4 99 dot(P,add(R,cil(R))) 104856 138374328 o2(x,o2(x,o1(x))) true 155655 155655 -0.07526 0.4648 0.9242 0.8955 0.9463 -1 1 2 1 2.09 0.03459 0.04531 0.09321 -0.1341 1 -0.00000324 0.09857 0.09817 0.07125 0.2669 2.864 2.33 0.08922 0.1101 1 1 0.0942 0.5888 1.265 0.1052 0.6576 1.413 json
t17_x8_u4_b100 17 8 4 100 dot(P,sub(R,cil(R))) 104857 138374329 o2(x,o2(x,o1(x))) true 155663 155663 -0.0231 0.4841 0.896 0.8619 0.9284 -1 1 2 1 2.432 0.00442 0.006812 0.03369 -0.2129 1 0.00000525 0.00566 0.01824 0.0101 0.1005 2.982 1.433 0.01303 0.006567 1 1 0.01379 0.1295 0.4077 0.016 0.1503 0.473 json
t17_x8_u4_b101 17 8 4 101 dot(P,mlt(R,cil(R))) 104858 138374330 o2(x,o2(x,o1(x))) true 155671 155671 -0.05871 0.4699 0.724 0.6582 0.8113 -1 1 2 1 3.551 0.007278 0.009009 0.06303 -0.1063 1 -0.00001473 0.007425 0.03338 0.01231 0.111 1.76 1.205 0.02475 0.01128 1 1 0.02571 0.2359 0.5999 0.03906 0.3585 0.9115 json
t17_x8_u4_b102 17 8 4 102 dot(P,div(R,cil(R))) 104859 138374331 o2(x,o2(x,o1(x))) true 155679 155679 -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.004026 0.06345 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t17_x8_u4_b103 17 8 4 103 dot(P,pow(R,cil(R))) 104860 138374332 o2(x,o2(x,o1(x))) true 155687 155687 -0.009109 0.4964 0.9284 0.9047 0.9512 -1 1 2 1 2.096 0.003677 0.005507 0.02853 -0.1992 1 0.00001475 0.004219 0.01506 0.008373 0.09151 3.208 1.346 0.01015 0.004664 1 1 0.01307 0.1263 0.4786 0.01445 0.1396 0.529 json
t17_x8_u4_b104 17 8 4 104 dot(P,mod(R,cil(R))) 104861 138374333 o2(x,o2(x,o1(x))) true 155695 155695 -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_u4_b105 17 8 4 105 dot(P,lrg(R,cil(R))) 104862 138374334 o2(x,o2(x,o1(x))) true 155703 155703 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_x8_u4_b106 17 8 4 106 dot(P,eql(R,cil(R))) 104863 138374335 o2(x,o2(x,o1(x))) true 155711 155711 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_x8_u4_b107 17 8 4 107 dot(P,min(R,cil(R))) 104864 138374336 o2(x,o2(x,o1(x))) true 155719 155719 -0.09414 0.4579 0.842 0.7849 0.886 -1 1 2 1 2.916 0.02451 0.0331 0.1019 -0.1491 1 0.0000297 0.04608 0.07442 0.04725 0.2174 2.133 1.874 0.07341 0.0587 1 1 0.0731 0.5655 1.363 0.09312 0.7204 1.737 json
t17_x8_u4_b108 17 8 4 108 dot(P,dot(R,cil(R))) 104865 138374337 o2(x,o2(x,o1(x))) true 155727 155727 -0.01342 0.501 0.8343 0.7922 0.89 -1 1 2 1 2.846 0.002913 0.002366 0.02952 0.1037 1 -0.0000324 0.002855 0.01654 0.004407 0.06638 2.248 0.5904 0.006664 0.003604 1 1 0.00835 0.07316 0.3438 0.01054 0.09235 0.434 json
t17_x8_u4_b109 17 8 4 109 dot(P,dst(R,cil(R))) 104866 138374338 o2(x,o2(x,o1(x))) true 155735 155735 -0.001549 0.4996 0.9345 0.9161 0.9572 -1 1 2 1 1.952 0.0006946 0.0007213 0.01209 -0.01885 1 0.000003224 0.0002235 0.003584 0.001269 0.03562 2.946 0.2263 0.001545 0.000244 1 1 0.003625 0.04353 0.4036 0.003957 0.04752 0.4405 json
t17_x8_u4_b110 17 8 4 110 dst(P,add(R,cil(R))) 104867 138374339 o2(x,o2(x,o1(x))) true 155743 155743 0.9997 1 0.9997 0.00002955 0.005436 0.8227 1 0.1773 1 0.02167 0.000004214 0.000001155 0.000109 0.5698 0 -2.628e-11 0.000004529 0.00009938 0.000005352 0.002314 21.22 0.09759 0.1817 0.1533 1 1 0.00001535 0.00007658 0.0001075 0.5192 2.591 3.636 json
t17_x8_u4_b111 17 8 4 111 dst(P,sub(R,cil(R))) 104868 138374340 o2(x,o2(x,o1(x))) true 155751 155751 0.9998 1 0.9998 0.00001686 0.004106 0.8883 1 0.1117 1 0.01998 6.736e-7 0.000001547 0.00008109 -0.3932 0 -3.754e-12 0.000001558 0.00006823 0.000002211 0.001487 18.34 0.05912 0.1317 0.09238 1 1 0.000006623 0.00004062 0.00006149 0.3928 2.409 3.647 json
t17_x8_u4_b112 17 8 4 112 dst(P,mlt(R,cil(R))) 104869 138374341 o2(x,o2(x,o1(x))) true 155759 155759 0.9983 1 0.9983 0.0004944 0.02224 0.5927 1 0.4073 1 0.07091 0.000012 0.00001877 0.0004176 -0.22 0 3.004e-11 0.00001434 0.000249 0.00003057 0.005529 13.24 0.1444 0.06222 0.02899 1 1 0.00009722 0.0008162 0.001804 0.1966 1.651 3.649 json
t17_x8_u4_b113 17 8 4 113 dst(P,div(R,cil(R))) 104870 138374342 o2(x,o2(x,o1(x))) true 155767 155767 -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_u4_b114 17 8 4 114 dst(P,pow(R,cil(R))) 104871 138374343 o2(x,o2(x,o1(x))) true 155775 155775 0.9994 1 0.9994 0.0001688 0.01299 0.5929 1 0.4071 1 0.0298 0.000008788 0.000008874 0.0002154 -0.004856 0 4.13e-11 0.000008221 0.0001407 0.0000176 0.004195 19.47 0.1381 0.1047 0.04871 1 1 0.00005662 0.0004628 0.0006146 0.3355 2.742 3.642 json
t17_x8_u4_b115 17 8 4 115 dst(P,mod(R,cil(R))) 104872 138374344 o2(x,o2(x,o1(x))) true 155783 155783 -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_u4_b116 17 8 4 116 dst(P,lrg(R,cil(R))) 104873 138374345 o2(x,o2(x,o1(x))) true 155791 155791 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_x8_u4_b117 17 8 4 117 dst(P,eql(R,cil(R))) 104874 138374346 o2(x,o2(x,o1(x))) true 155799 155799 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_x8_u4_b118 17 8 4 118 dst(P,min(R,cil(R))) 104875 138374347 o2(x,o2(x,o1(x))) true 155807 155807 0.9991 1 0.9991 0.0002231 0.01494 0.5928 1 0.4072 1 0.04809 0.000009663 0.00001458 0.0003494 -0.2029 0 6.382e-11 0.00001288 0.0002502 0.00002412 0.004912 14.06 0.1585 0.1087 0.05776 1 1 0.00007594 0.0005734 0.0008112 0.3404 2.571 3.637 json
t17_x8_u4_b119 17 8 4 119 dst(P,dot(R,cil(R))) 104876 138374348 o2(x,o2(x,o1(x))) true 155815 155815 0.9999 1 0.9999 0.00001406 0.00375 0.8194 1 0.1806 1 0.009761 0.000002164 0.000001593 0.00006236 0.1519 0 -7.509e-12 0.000003383 0.00006367 0.000003751 0.001937 31.06 0.09769 0.2671 0.2406 1 1 0.00001086 0.00005072 0.00005113 0.7723 3.606 3.635 json
t17_x8_u4_b120 17 8 4 120 dst(P,dst(R,cil(R))) 104877 138374349 o2(x,o2(x,o1(x))) true 155823 155823 0.9996 1 0.9996 0.00004687 0.006846 0.8168 1 0.1832 1 0.03197 0.000004157 0.000001218 0.0001339 0.5467 0 1.877e-11 0.000003193 0.0001014 0.000005363 0.002316 17.29 0.06872 0.1147 0.06812 1 1 0.00001649 0.0001089 0.0001706 0.3517 2.324 3.639 json
t17_x8_u5_b0 17 8 5 0 add(P,add(R,sgn(R))) 104878 138374430 o2(x,o2(x,o1(x))) true 155831 155831 0.01343 0.5092 0.9425 0.9227 0.9605 -1 1 2 1 1.918 0.003312 0.002546 0.02204 0.1308 1 -0.00005009 0.001766 0.0103 0.005374 0.07331 3.326 0.5458 0.006349 0.001914 1 1 0.0144 0.1375 0.4274 0.0156 0.149 0.4633 json
t17_x8_u5_b1 17 8 5 1 add(P,sub(R,sgn(R))) 104879 138374431 o2(x,o2(x,o1(x))) true 155839 155839 0.002423 0.5013 0.9355 0.9128 0.9554 -1 1 2 1 2.003 0.0009502 0.0002924 0.01033 0.5293 1 0.00001046 0.0002156 0.003365 0.001136 0.0337 3.262 0.3026 0.001361 0.0002362 1 1 0.003371 0.0376 0.2425 0.003693 0.04119 0.2656 json
t17_x8_u5_b2 17 8 5 2 add(P,mlt(R,sgn(R))) 104880 138374432 o2(x,o2(x,o1(x))) true 155847 155847 0.06909 0.5339 0.9411 0.9151 0.9566 -1 1 2 1 1.966 0.0007726 0.00006173 0.008713 0.852 1 3.979e-7 0.0001107 0.002694 0.0007587 0.02754 3.161 0.2018 0.0009118 0.000121 1 1 0.002174 0.02654 0.2402 0.002376 0.02901 0.2625 json
t17_x8_u5_b3 17 8 5 3 add(P,div(R,sgn(R))) 104881 138374433 o2(x,o2(x,o1(x))) true 155855 155855 0.06909 0.5339 0.9411 0.9151 0.9566 -1 1 2 1 1.966 0.0007726 0.00006173 0.008713 0.852 1 3.979e-7 0.0001107 0.002694 0.0007587 0.02754 3.161 0.2018 0.0009118 0.000121 1 1 0.002174 0.02654 0.2402 0.002376 0.02901 0.2625 json
t17_x8_u5_b4 17 8 5 4 add(P,pow(R,sgn(R))) 104882 138374434 o2(x,o2(x,o1(x))) true 155863 155863 -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_u5_b5 17 8 5 5 add(P,mod(R,sgn(R))) 104883 138374435 o2(x,o2(x,o1(x))) true 155871 155871 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_u5_b6 17 8 5 6 add(P,lrg(R,sgn(R))) 104884 138374436 o2(x,o2(x,o1(x))) true 155879 155879 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_u5_b7 17 8 5 7 add(P,eql(R,sgn(R))) 104885 138374437 o2(x,o2(x,o1(x))) true 155887 155887 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_u5_b8 17 8 5 8 add(P,min(R,sgn(R))) 104886 138374438 o2(x,o2(x,o1(x))) true 155895 155895 -0.02204 0.4906 0.9429 0.9235 0.961 -1 1 2 1 1.896 0.001505 0.0006703 0.01339 0.3836 1 -0.00002655 0.0004159 0.004653 0.001994 0.04465 3.335 0.344 0.002355 0.0004503 1 1 0.005545 0.06259 0.2952 0.006005 0.06777 0.3196 json
t17_x8_u5_b9 17 8 5 9 add(P,dot(R,sgn(R))) 104887 138374439 o2(x,o2(x,o1(x))) true 155903 155903 0.1942 0.5981 0.9351 0.8771 0.9365 -1 1 2 1 1.951 0.0009914 0.0002677 0.01051 0.5748 1 -0.000008346 0.0001981 0.003404 0.001149 0.03389 3.226 0.3074 0.001436 0.0002258 1 1 0.003053 0.03508 0.2362 0.003481 0.04 0.2693 json
t17_x8_u5_b10 17 8 5 10 add(P,dst(R,sgn(R))) 104888 138374440 o2(x,o2(x,o1(x))) true 155911 155911 0.1181 0.5606 0.9343 0.8996 0.9485 -1 1 2 1 1.978 0.0007749 0.00007908 0.008875 0.8148 1 0.000009507 0.0001148 0.002609 0.0007755 0.02785 3.138 0.2219 0.0009493 0.0001276 1 1 0.002212 0.02668 0.2354 0.002459 0.02965 0.2616 json
t17_x8_u5_b11 17 8 5 11 sub(P,add(R,sgn(R))) 104889 138374441 o2(x,o2(x,o1(x))) true 155919 155919 -0.0006731 0.4978 0.9341 0.912 0.955 -1 1 2 1 2.019 0.003436 0.002659 0.0239 0.1274 1 0.00002982 0.001789 0.01077 0.005525 0.07433 3.11 0.567 0.006684 0.001962 1 1 0.0147 0.1408 0.415 0.01612 0.1544 0.4551 json
t17_x8_u5_b12 17 8 5 12 sub(P,sub(R,sgn(R))) 104890 138374442 o2(x,o2(x,o1(x))) true 155927 155927 0.001222 0.4999 0.9369 0.9148 0.9564 -1 1 2 1 1.98 0.0009874 0.0002981 0.01068 0.5362 1 -0.00001344 0.0002166 0.003511 0.001172 0.03423 3.206 0.2728 0.001405 0.0002368 1 1 0.003475 0.03918 0.2411 0.003799 0.04283 0.2635 json
t17_x8_u5_b13 17 8 5 13 sub(P,mlt(R,sgn(R))) 104891 138374443 o2(x,o2(x,o1(x))) true 155935 155935 -0.0707 0.4654 0.939 0.9114 0.9547 -1 1 2 1 1.975 0.0007693 0.00006775 0.008773 0.8381 1 -0.000001229 0.0001162 0.002706 0.0007597 0.02756 3.142 0.207 0.0009184 0.0001274 1 1 0.002185 0.02653 0.2347 0.002397 0.02911 0.2575 json
t17_x8_u5_b14 17 8 5 14 sub(P,div(R,sgn(R))) 104892 138374444 o2(x,o2(x,o1(x))) true 155943 155943 -0.0707 0.4654 0.939 0.9114 0.9547 -1 1 2 1 1.975 0.0007693 0.00006775 0.008773 0.8381 1 -0.000001229 0.0001162 0.002706 0.0007597 0.02756 3.142 0.207 0.0009184 0.0001274 1 1 0.002185 0.02653 0.2347 0.002397 0.02911 0.2575 json
t17_x8_u5_b15 17 8 5 15 sub(P,pow(R,sgn(R))) 104893 138374445 o2(x,o2(x,o1(x))) true 155951 155951 -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_u5_b16 17 8 5 16 sub(P,mod(R,sgn(R))) 104894 138374446 o2(x,o2(x,o1(x))) true 155959 155959 -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_u5_b17 17 8 5 17 sub(P,lrg(R,sgn(R))) 104895 138374447 o2(x,o2(x,o1(x))) true 155967 155967 -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_u5_b18 17 8 5 18 sub(P,eql(R,sgn(R))) 104896 138374448 o2(x,o2(x,o1(x))) true 155975 155975 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_u5_b19 17 8 5 19 sub(P,min(R,sgn(R))) 104897 138374449 o2(x,o2(x,o1(x))) true 155983 155983 0.02631 0.5126 0.9358 0.915 0.9565 -1 1 2 1 1.978 0.001444 0.0006525 0.01392 0.3775 1 0.0000238 0.0003957 0.004727 0.001901 0.04361 3.132 0.3387 0.002291 0.0004325 1 1 0.005298 0.05999 0.2967 0.005791 0.06556 0.3243 json
t17_x8_u5_b20 17 8 5 20 sub(P,dot(R,sgn(R))) 104898 138374450 o2(x,o2(x,o1(x))) true 155991 155991 -0.1927 0.4041 0.9445 0.8866 0.9416 -1 1 2 1 1.932 0.0009697 0.0002054 0.009919 0.6505 1 0.000003512 0.0001725 0.003161 0.001077 0.03282 3.309 0.2661 0.001325 0.0001946 1 1 0.002819 0.03346 0.2484 0.00318 0.03775 0.2802 json
t17_x8_u5_b21 17 8 5 21 sub(P,dst(R,sgn(R))) 104899 138374451 o2(x,o2(x,o1(x))) true 155999 155999 -0.1157 0.4429 0.9334 0.8992 0.9482 -1 1 2 1 2.006 0.0007265 0.00005534 0.008654 0.8584 1 -0.000004248 0.000103 0.002607 0.0007072 0.02659 3.073 0.2121 0.0008695 0.0001145 1 1 0.002004 0.02465 0.2293 0.002228 0.02742 0.255 json