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
t15_x6_u26_b3 15 6 26 3 div(R,flr(sgn(P))) 73300 122056650 o2(x,o1(o1(x))) true 74407 74407 -0.1521 0.404 0.4674 0.2927 0.5411 -1 0.9989 1.999 1 4.77 0.01328 0.002792 0.06278 0.6527 1 -0.00002698 0.02233 0.02908 0.01213 0.1102 1.755 1.947 0.05491 0.07627 1 1 0.02327 0.1755 0.496 0.0795 0.5995 1.694 json
t15_x6_u26_b4 15 6 26 4 pow(R,flr(sgn(P))) 73301 122056651 o2(x,o1(o1(x))) true 74415 74415 -0.8561 0.07422 0.9955 0.2597 0.5096 -1 1 2 1 0.485 0.02305 0.02298 0.02419 0.001461 1 0.000002697 0.09597 0.04761 0.04543 0.2131 8.813 2.828 0.1773 0.3695 1 1 0.04423 0.1854 0.6149 0.1703 0.7138 2.368 json
t15_x6_u26_b5 15 6 26 5 mod(R,flr(sgn(P))) 73302 122056652 o2(x,o1(o1(x))) true 74423 74423 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t15_x6_u26_b6 15 6 26 6 lrg(R,flr(sgn(P))) 73303 122056653 o2(x,o1(o1(x))) true 74431 74431 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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
t15_x6_u26_b7 15 6 26 7 eql(R,flr(sgn(P))) 73304 122056654 o2(x,o1(o1(x))) true 74439 74439 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
t15_x6_u26_b8 15 6 26 8 min(R,flr(sgn(P))) 73305 122056655 o2(x,o1(o1(x))) true 74447 74447 -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
t15_x6_u26_b9 15 6 26 9 dot(R,flr(sgn(P))) 73306 122056656 o2(x,o1(o1(x))) true 74455 74455 -0.04894 0.4693 0.5181 0.3723 0.6102 -1 1 2 1 4.842 0.005126 0.006506 0.08046 -0.1186 1 -0.00004842 0.001458 0.0214 0.005158 0.07182 0.8926 0.3915 0.03124 0.003915 1 1 0.02147 0.2568 0.7216 0.05765 0.6898 1.938 json
t15_x6_u26_b10 15 6 26 10 dst(R,flr(sgn(P))) 73307 122056657 o2(x,o1(o1(x))) true 74463 74463 0.9801 1 0.9801 0.005908 0.07687 0.3142 1 0.6858 1 0.6374 0.0002622 0.0002371 0.005911 0.05038 1 -0.00004136 0.0002216 0.003782 0.0004643 0.02155 3.645 0.2009 0.08451 0.03751 1 1 0.0005644 0.004354 0.008825 0.09552 0.7369 1.494 json
t15_x6_u27_b0 15 6 27 0 add(R,flr(nrm(P))) 73308 122056848 o2(x,o1(o1(x))) true 74471 74471 -0.3798 0.2453 0.5909 0.3121 0.5586 -1 1 2 1 4.417 0.003822 0.003736 0.0514 0.01142 1 0.00003672 0.00644 0.01757 0.004917 0.07012 1.364 2.098 0.02422 0.02064 1 1 0.01425 0.1296 0.3811 0.04567 0.4151 1.221 json
t15_x6_u27_b1 15 6 27 1 sub(R,flr(nrm(P))) 73309 122056849 o2(x,o1(o1(x))) true 74479 74479 0.3382 0.6936 0.6011 0.3582 0.5985 -1 1 2 1 4.425 0.004987 0.004653 0.05207 0.03458 1 -0.00002429 0.01031 0.01927 0.006929 0.08324 1.598 2.097 0.02691 0.02879 1 1 0.01843 0.1559 0.4378 0.05145 0.4351 1.222 json
t15_x6_u27_b2 15 6 27 2 mlt(R,flr(nrm(P))) 73310 122056850 o2(x,o1(o1(x))) true 74487 74487 -0.03313 0.2473 0.2089 0.1221 0.3494 -1 0.9989 1.999 1 3.485 0.002069 0.002391 0.0323 -0.07226 1 -0.00002347 0.003493 0.0104 0.003414 0.05843 1.809 1.414 0.03652 0.02861 1 1 0.00825 0.08013 0.2313 0.06757 0.6562 1.894 json
t15_x6_u27_b3 15 6 27 3 div(R,flr(nrm(P))) 73311 122056851 o2(x,o1(o1(x))) true 74495 74495 -0.5785 0.2045 0.7376 0.3272 0.572 -1 0.9989 1.999 1 3.096 0.004805 0.001495 0.03023 0.5254 1 -0.00003761 0.0076 0.01271 0.005387 0.0734 2.428 1.947 0.01925 0.02322 1 1 0.01004 0.08385 0.2411 0.03069 0.2562 0.7368 json
t15_x6_u27_b4 15 6 27 4 pow(R,flr(nrm(P))) 73312 122056852 o2(x,o1(o1(x))) true 74503 74503 0.0226 0.5117 0.9992 0.9985 0.9993 -1 1 2 1 1.043 0.02941 0.02671 0.02816 0.04818 1 -5.165e-7 0.116 0.05631 0.05529 0.2351 8.35 2.828 0.0562 0.1162 1 1 0.06787 0.282 0.972 0.06797 0.2825 0.9735 json
t15_x6_u27_b5 15 6 27 5 mod(R,flr(nrm(P))) 73313 122056853 o2(x,o1(o1(x))) true 74511 74511 -0.5465 0.2329 0.7376 0.3632 0.6027 -1 0.9693 1.969 1 3.09 0.007374 0.001495 0.03151 0.6629 1 0.00003761 0.01277 0.0153 0.007879 0.08877 2.817 1.898 0.02442 0.03517 1 1 0.01261 0.09145 0.2487 0.03471 0.2518 0.6847 json
t15_x6_u27_b6 15 6 27 6 lrg(R,flr(nrm(P))) 73314 122056854 o2(x,o1(o1(x))) true 74519 74519 0.7051 0.9598 0.7051 0.1525 0.3905 0 1 1 1 2.523 0.001251 0.001301 0.02986 -0.01953 1 -0.00003565 0.0001497 0.007258 0.00166 0.04075 1.364 0.1169 0.01673 0.0009817 1 1 0.005202 0.06758 0.18 0.03411 0.4431 1.18 json
t15_x6_u27_b7 15 6 27 7 eql(R,flr(nrm(P))) 73315 122056855 o2(x,o1(o1(x))) true 74527 74527 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
t15_x6_u27_b8 15 6 27 8 min(R,flr(nrm(P))) 73316 122056856 o2(x,o1(o1(x))) true 74535 74535 -0.605 0.01628 0.6151 0.1747 0.418 -1 0.9087 1.909 1 3.047 0.0006788 0.0006001 0.02065 0.06148 1 6.728e-7 0.00007527 0.004844 0.0008525 0.0292 1.414 0.2138 0.007319 0.0004308 1 1 0.002719 0.03541 0.1247 0.01556 0.2027 0.7137 json
t15_x6_u27_b9 15 6 27 9 dot(R,flr(nrm(P))) 73317 122056857 o2(x,o1(o1(x))) true 74543 74543 -0.05631 0.3624 0.3439 0.2169 0.4657 -1 1 2 1 4.472 0.003379 0.004612 0.05609 -0.1542 1 -0.00005658 0.004271 0.01637 0.004845 0.0696 1.241 1.414 0.03685 0.01969 1 1 0.01465 0.1558 0.4216 0.06754 0.7183 1.944 json
t15_x6_u27_b10 15 6 27 10 dst(R,flr(nrm(P))) 73318 122056858 o2(x,o1(o1(x))) true 74551 74551 0.9208 0.9844 0.952 0.07035 0.2652 -1 1 2 1 1.411 0.004198 0.004293 0.01345 -0.01112 1 -0.00003746 0.01657 0.0124 0.008312 0.09117 6.78 2.828 0.1207 0.2355 1 1 0.01461 0.06182 0.2328 0.2077 0.8788 3.309 json
t15_x6_u28_b0 15 6 28 0 add(R,cil(sqt(P))) 73319 122057049 o2(x,o1(o1(x))) true 74559 74559 -0.03673 0.4858 0.9754 0.9645 0.9821 -1 1 2 1 1.477 0.004958 0.0001629 0.008996 0.9364 1 -0.00001831 0.008633 0.008719 0.00504 0.07099 7.892 1.829 0.005309 0.00895 1 1 0.008029 0.0525 0.3046 0.008324 0.05443 0.3158 json
t15_x6_u28_b1 15 6 28 1 sub(R,cil(sqt(P))) 73320 122057050 o2(x,o1(o1(x))) true 74567 74567 -0.9558 0.0119 0.9637 0.03704 0.1925 -1 0.8288 1.829 1 0.6489 0.004751 0.0002092 0.009301 0.9157 1 -0.000002615 0.008705 0.00896 0.004876 0.06983 7.508 1.829 0.1339 0.235 1 1 0.007775 0.03844 0.06966 0.2099 1.038 1.88 json
t15_x6_u28_b2 15 6 28 2 mlt(R,cil(sqt(P))) 73321 122057051 o2(x,o1(o1(x))) true 74575 74575 -0.5206 0.2363 0.8123 0.487 0.6979 -1 1 2 1 2.834 0.008679 0.005046 0.04901 0.2647 1 -0.00003695 0.01017 0.02332 0.01132 0.1064 2.171 1 0.02818 0.02088 1 1 0.02093 0.1956 0.5382 0.04298 0.4016 1.105 json
t15_x6_u28_b3 15 6 28 3 div(R,cil(sqt(P))) 73322 122057052 o2(x,o1(o1(x))) true 74583 74583 -0.5614 0.2013 0.6386 0.2688 0.5185 -1 0.9432 1.943 1 2.653 0.007567 0.0003196 0.01795 0.919 1 -0.000002149 0.01461 0.01296 0.007567 0.08699 4.846 1.943 0.02934 0.05435 1 1 0.009891 0.04863 0.1311 0.0368 0.1809 0.4879 json
t15_x6_u28_b4 15 6 28 4 pow(R,cil(sqt(P))) 73323 122057053 o2(x,o1(o1(x))) true 74591 74591 -0.9587 0.02344 0.9944 0.07259 0.2694 -1 1 2 1 0.2367 0.009002 0.006012 0.008859 0.1992 1 0.000003188 0.03136 0.01672 0.01493 0.1222 13.79 2.698 0.2068 0.4321 1 1 0.01259 0.053 0.1371 0.1734 0.7301 1.889 json
t15_x6_u28_b5 15 6 28 5 mod(R,cil(sqt(P))) 73324 122057054 o2(x,o1(o1(x))) true 74599 74599 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t15_x6_u28_b6 15 6 28 6 lrg(R,cil(sqt(P))) 73325 122057055 o2(x,o1(o1(x))) true 74607 74607 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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
t15_x6_u28_b7 15 6 28 7 eql(R,cil(sqt(P))) 73326 122057056 o2(x,o1(o1(x))) true 74615 74615 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
t15_x6_u28_b8 15 6 28 8 min(R,cil(sqt(P))) 73327 122057057 o2(x,o1(o1(x))) true 74623 74623 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t15_x6_u28_b9 15 6 28 9 dot(R,cil(sqt(P))) 73328 122057058 o2(x,o1(o1(x))) true 74631 74631 -0.7337 0.1355 0.9343 0.3755 0.6128 -1 1 2 1 1.436 0.006475 0.007546 0.028 -0.07636 1 -0.00002345 0.01684 0.01917 0.01324 0.1151 4.11 2 0.03734 0.04485 1 1 0.01944 0.1396 0.4465 0.05177 0.3719 1.189 json
t15_x6_u28_b10 15 6 28 10 dst(R,cil(sqt(P))) 73329 122057059 o2(x,o1(o1(x))) true 74639 74639 -0.5007 0.25 0.9993 0.7484 0.8651 -1 1 2 1 0.8411 0.007934 0.007947 0.008167 -0.0008131 1 7.133e-11 0.03186 0.01601 0.01581 0.1257 15.4 2 0.02122 0.04257 1 1 0.02109 0.08439 0.3324 0.02818 0.1128 0.4442 json
t15_x6_u29_b0 15 6 29 0 add(R,cil(log(P))) 73330 122057250 o2(x,o1(o1(x))) true 74647 74647 -0.1587 0.4296 0.9706 0.934 0.9664 -1 1 2 1 1.504 0.007619 0.0002098 0.009917 0.9464 1 -0.00001294 0.01463 0.01169 0.007726 0.0879 8.863 1.944 0.008382 0.01566 1 1 0.009965 0.05352 0.2862 0.01067 0.05731 0.3064 json
t15_x6_u29_b1 15 6 29 1 sub(R,cil(log(P))) 73331 122057251 o2(x,o1(o1(x))) true 74655 74655 -0.9557 0.01591 0.9697 0.0459 0.2143 -1 0.9429 1.943 1 0.5912 0.007988 0.0002281 0.01155 0.9445 1 -0.000003828 0.01478 0.01205 0.008079 0.08988 7.783 1.943 0.179 0.322 1 1 0.01076 0.04904 0.06715 0.2345 1.068 1.463 json
t15_x6_u29_b2 15 6 29 2 mlt(R,cil(log(P))) 73332 122057252 o2(x,o1(o1(x))) true 74663 74663 -0.5903 0.1895 0.8118 0.4113 0.6414 -1 1 2 1 2.694 0.007199 0.003347 0.04072 0.3653 1 -0.000014 0.009081 0.01911 0.008884 0.09425 2.315 1 0.02564 0.02208 1 1 0.01611 0.1454 0.4168 0.03916 0.3535 1.013 json
t15_x6_u29_b3 15 6 29 3 div(R,cil(log(P))) 73333 122057253 o2(x,o1(o1(x))) true 74671 74671 -0.6347 0.1643 0.7004 0.2452 0.4952 -1 0.9556 1.956 1 2.446 0.004595 0.0003439 0.01607 0.8607 1 0.000008367 0.008674 0.01019 0.004681 0.06841 4.257 1.956 0.02014 0.03537 1 1 0.006462 0.03688 0.1317 0.02635 0.1504 0.5372 json
t15_x6_u29_b4 15 6 29 4 pow(R,cil(log(P))) 73334 122057254 o2(x,o1(o1(x))) true 74679 74679 -0.9876 0.007813 0.9968 0.02018 0.1421 -1 1 2 1 0.09504 0.001761 0.001508 0.002331 0.07744 1 0.000004502 0.006769 0.004195 0.003264 0.05713 24.51 2 0.162 0.3353 1 1 0 0 0.01703 0 0 0.8439 json
t15_x6_u29_b5 15 6 29 5 mod(R,cil(log(P))) 73335 122057255 o2(x,o1(o1(x))) true 74687 74687 -0.6415 0.1642 0.7683 0.2923 0.5406 -1 0.9806 1.981 1 2.742 0.005301 0.001074 0.02663 0.6631 1 0.00002051 0.008764 0.01266 0.005662 0.07525 2.825 1.956 0.02181 0.02998 1 1 0.008861 0.06835 0.2329 0.03031 0.2338 0.7969 json
t15_x6_u29_b6 15 6 29 6 lrg(R,cil(log(P))) 73336 122057256 o2(x,o1(o1(x))) true 74695 74695 0.5703 0.619 0.5703 0.2349 0.4847 0 1 1 1 1.451 0.0003045 0.0001755 0.005652 0.2688 1 -0.00001141 0.00002677 0.001359 0.0004481 0.02117 3.745 0.1169 0.002043 0.000114 1 1 0.001279 0.01661 0.07962 0.005444 0.0707 0.3389 json
t15_x6_u29_b7 15 6 29 7 eql(R,cil(log(P))) 73337 122057257 o2(x,o1(o1(x))) true 74703 74703 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
t15_x6_u29_b8 15 6 29 8 min(R,cil(log(P))) 73338 122057258 o2(x,o1(o1(x))) true 74711 74711 -0.1326 0.4156 0.4599 0.2931 0.5413 -1 0.9806 1.981 1 4.749 0.01153 0.002705 0.06103 0.6201 1 0.00005271 0.01902 0.02812 0.01051 0.1025 1.68 1.898 0.04859 0.06491 1 1 0.02086 0.1627 0.4814 0.07117 0.555 1.643 json
t15_x6_u29_b9 15 6 29 9 dot(R,cil(log(P))) 73339 122057259 o2(x,o1(o1(x))) true 74719 74719 -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
t15_x6_u29_b10 15 6 29 10 dst(R,cil(log(P))) 73340 122057260 o2(x,o1(o1(x))) true 74727 74727 -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
t15_x6_u30_b0 15 6 30 0 add(R,cil(frc(P))) 73341 122057451 o2(x,o1(o1(x))) true 74735 74735 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t15_x6_u30_b1 15 6 30 1 sub(R,cil(frc(P))) 73342 122057452 o2(x,o1(o1(x))) true 74743 74743 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t15_x6_u30_b2 15 6 30 2 mlt(R,cil(frc(P))) 73343 122057453 o2(x,o1(o1(x))) true 74751 74751 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
t15_x6_u30_b3 15 6 30 3 div(R,cil(frc(P))) 73344 122057454 o2(x,o1(o1(x))) true 74759 74759 -0.003204 0.4984 1 0.9999 1 -1 1 2 1 1 0.1153 0.1313 0.1164 -0.06462 1 0.0002834 0.6847 0.2465 0.2331 0.4828 4.148 2.828 0.2466 0.6848 1 1 0.248 0.9737 1.817 0.2481 0.9738 1.818 json
t15_x6_u30_b4 15 6 30 4 pow(R,cil(frc(P))) 73345 122057455 o2(x,o1(o1(x))) true 74767 74767 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
t15_x6_u30_b5 15 6 30 5 mod(R,cil(frc(P))) 73346 122057456 o2(x,o1(o1(x))) true 74775 74775 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t15_x6_u30_b6 15 6 30 6 lrg(R,cil(frc(P))) 73347 122057457 o2(x,o1(o1(x))) true 74783 74783 0.4824 0.9147 0.4824 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
t15_x6_u30_b7 15 6 30 7 eql(R,cil(frc(P))) 73348 122057458 o2(x,o1(o1(x))) true 74791 74791 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
t15_x6_u30_b8 15 6 30 8 min(R,cil(frc(P))) 73349 122057459 o2(x,o1(o1(x))) true 74799 74799 -0.2541 0 0.2541 0.06549 0.2559 -0.9989 0 0.9989 1 3.542 0.000768 0.0009295 0.0314 -0.09514 1 0.00001332 0.00009988 0.007359 0.0007117 0.02668 0.8497 0.1168 0.02592 0.001525 1 1 0.003123 0.04017 0.1061 0.04769 0.6134 1.62 json
t15_x6_u30_b9 15 6 30 9 dot(R,cil(frc(P))) 73350 122057460 o2(x,o1(o1(x))) true 74807 74807 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
t15_x6_u30_b10 15 6 30 10 dst(R,cil(frc(P))) 73351 122057461 o2(x,o1(o1(x))) true 74815 74815 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t15_x6_u31_b0 15 6 31 0 add(R,cil(flr(P))) 73352 122057652 o2(x,o1(o1(x))) true 74823 74823 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
t15_x6_u31_b1 15 6 31 1 sub(R,cil(flr(P))) 73353 122057653 o2(x,o1(o1(x))) true 74831 74831 0.004612 0.4968 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
t15_x6_u31_b2 15 6 31 2 mlt(R,cil(flr(P))) 73354 122057654 o2(x,o1(o1(x))) true 74839 74839 -0.0623 0.4686 0.7239 0.644 0.8025 -1 1 2 1 3.79 0.01645 0.01963 0.09244 -0.08822 1 -0.00004552 0.0199 0.04926 0.02753 0.1659 1.795 1.466 0.05602 0.0309 1 1 0.05074 0.4449 1.04 0.07878 0.6908 1.616 json
t15_x6_u31_b3 15 6 31 3 div(R,cil(flr(P))) 73355 122057655 o2(x,o1(o1(x))) true 74847 74847 -0.1262 0.4044 0.2314 0.1369 0.3701 -1 0.9968 1.997 1 3.493 0.01133 0.0004369 0.02577 0.9257 1 -0.000007081 0.02208 0.02058 0.0111 0.1054 4.088 1.947 0.08592 0.1612 1 1 0.01531 0.07344 0.2298 0.1118 0.5363 1.678 json
t15_x6_u31_b4 15 6 31 4 pow(R,cil(flr(P))) 73356 122057656 o2(x,o1(o1(x))) true 74855 74855 -0.8578 0.07422 0.9938 0.2556 0.5055 -1 1 2 1 0.4917 0.02283 0.02247 0.02389 0.007923 1 0.000001838 0.09446 0.04705 0.04472 0.2115 8.854 2.828 0.1773 0.3696 1 1 0.04423 0.1854 0.6109 0.1731 0.7254 2.391 json
t15_x6_u31_b5 15 6 31 5 mod(R,cil(flr(P))) 73357 122057657 o2(x,o1(o1(x))) true 74863 74863 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t15_x6_u31_b6 15 6 31 6 lrg(R,cil(flr(P))) 73358 122057658 o2(x,o1(o1(x))) true 74871 74871 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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
t15_x6_u31_b7 15 6 31 7 eql(R,cil(flr(P))) 73359 122057659 o2(x,o1(o1(x))) true 74879 74879 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
t15_x6_u31_b8 15 6 31 8 min(R,cil(flr(P))) 73360 122057660 o2(x,o1(o1(x))) true 74887 74887 -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
t15_x6_u31_b9 15 6 31 9 dot(R,cil(flr(P))) 73361 122057661 o2(x,o1(o1(x))) true 74895 74895 -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
t15_x6_u31_b10 15 6 31 10 dst(R,cil(flr(P))) 73362 122057662 o2(x,o1(o1(x))) true 74903 74903 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
t15_x6_u32_b0 15 6 32 0 add(R,cil(cil(P))) 73363 122057853 o2(x,o1(o1(x))) true 74911 74911 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
t15_x6_u32_b1 15 6 32 1 sub(R,cil(cil(P))) 73364 122057854 o2(x,o1(o1(x))) true 74919 74919 0.004612 0.4968 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
t15_x6_u32_b2 15 6 32 2 mlt(R,cil(cil(P))) 73365 122057855 o2(x,o1(o1(x))) true 74927 74927 -0.0623 0.4686 0.7239 0.644 0.8025 -1 1 2 1 3.79 0.01645 0.01963 0.09244 -0.08822 1 -0.00004552 0.0199 0.04926 0.02753 0.1659 1.795 1.466 0.05602 0.0309 1 1 0.05074 0.4449 1.04 0.07878 0.6908 1.616 json
t15_x6_u32_b3 15 6 32 3 div(R,cil(cil(P))) 73366 122057856 o2(x,o1(o1(x))) true 74935 74935 -0.1262 0.4044 0.2314 0.1369 0.3701 -1 0.9968 1.997 1 3.493 0.01133 0.0004369 0.02577 0.9257 1 -0.000007081 0.02208 0.02058 0.0111 0.1054 4.088 1.947 0.08592 0.1612 1 1 0.01531 0.07344 0.2298 0.1118 0.5363 1.678 json
t15_x6_u32_b4 15 6 32 4 pow(R,cil(cil(P))) 73367 122057857 o2(x,o1(o1(x))) true 74943 74943 -0.8578 0.07422 0.9938 0.2556 0.5055 -1 1 2 1 0.4917 0.02283 0.02247 0.02389 0.007923 1 0.000001838 0.09446 0.04705 0.04472 0.2115 8.854 2.828 0.1773 0.3696 1 1 0.04423 0.1854 0.6109 0.1731 0.7254 2.391 json
t15_x6_u32_b5 15 6 32 5 mod(R,cil(cil(P))) 73368 122057858 o2(x,o1(o1(x))) true 74951 74951 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t15_x6_u32_b6 15 6 32 6 lrg(R,cil(cil(P))) 73369 122057859 o2(x,o1(o1(x))) true 74959 74959 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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
t15_x6_u32_b7 15 6 32 7 eql(R,cil(cil(P))) 73370 122057860 o2(x,o1(o1(x))) true 74967 74967 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
t15_x6_u32_b8 15 6 32 8 min(R,cil(cil(P))) 73371 122057861 o2(x,o1(o1(x))) true 74975 74975 -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
t15_x6_u32_b9 15 6 32 9 dot(R,cil(cil(P))) 73372 122057862 o2(x,o1(o1(x))) true 74983 74983 -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
t15_x6_u32_b10 15 6 32 10 dst(R,cil(cil(P))) 73373 122057863 o2(x,o1(o1(x))) true 74991 74991 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
t15_x6_u33_b0 15 6 33 0 add(R,cil(sgn(P))) 73374 122058054 o2(x,o1(o1(x))) true 74999 74999 0.006472 0.4974 0.766 0.6659 0.8161 -1 1 2 1 4 0.002059 0.001737 0.03764 0.08484 1 3.719e-7 0.0007576 0.01327 0.00238 0.04878 1.296 0.312 0.0057 0.001138 1 1 0.007803 0.08509 0.3208 0.01172 0.1278 0.4818 json
t15_x6_u33_b1 15 6 33 1 sub(R,cil(sgn(P))) 73375 122058055 o2(x,o1(o1(x))) true 75007 75007 -0.0006309 0.4968 0.7893 0.7007 0.8371 -1 1 2 1 3.775 0.002077 0.001531 0.03509 0.1511 1 0.00002141 0.0007336 0.01271 0.002377 0.04876 1.39 0.3332 0.00515 0.001047 1 1 0.007563 0.08372 0.318 0.01079 0.1195 0.4539 json
t15_x6_u33_b2 15 6 33 2 mlt(R,cil(sgn(P))) 73376 122058056 o2(x,o1(o1(x))) true 75015 75015 -0.024 0.4686 0.3712 0.2044 0.4521 -0.9986 0.9989 1.997 1 4.833 0.002518 0.003012 0.06025 -0.0893 1 -0.00002673 0.0003242 0.01382 0.0019 0.04359 0.7235 0.2301 0.02705 0.001586 1 1 0.01052 0.1349 0.3629 0.05146 0.6602 1.775 json
t15_x6_u33_b3 15 6 33 3 div(R,cil(sgn(P))) 73377 122058057 o2(x,o1(o1(x))) true 75023 75023 -0.1521 0.404 0.4674 0.2927 0.5411 -1 0.9989 1.999 1 4.77 0.01328 0.002792 0.06278 0.6527 1 -0.00002698 0.02233 0.02908 0.01213 0.1102 1.755 1.947 0.05491 0.07627 1 1 0.02327 0.1755 0.496 0.0795 0.5995 1.694 json
t15_x6_u33_b4 15 6 33 4 pow(R,cil(sgn(P))) 73378 122058058 o2(x,o1(o1(x))) true 75031 75031 -0.8561 0.07422 0.9955 0.2597 0.5096 -1 1 2 1 0.485 0.02305 0.02298 0.02419 0.001461 1 0.000002697 0.09597 0.04761 0.04543 0.2131 8.813 2.828 0.1773 0.3695 1 1 0.04423 0.1854 0.6149 0.1703 0.7138 2.368 json
t15_x6_u33_b5 15 6 33 5 mod(R,cil(sgn(P))) 73379 122058059 o2(x,o1(o1(x))) true 75039 75039 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t15_x6_u33_b6 15 6 33 6 lrg(R,cil(sgn(P))) 73380 122058060 o2(x,o1(o1(x))) true 75047 75047 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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
t15_x6_u33_b7 15 6 33 7 eql(R,cil(sgn(P))) 73381 122058061 o2(x,o1(o1(x))) true 75055 75055 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
t15_x6_u33_b8 15 6 33 8 min(R,cil(sgn(P))) 73382 122058062 o2(x,o1(o1(x))) true 75063 75063 -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
t15_x6_u33_b9 15 6 33 9 dot(R,cil(sgn(P))) 73383 122058063 o2(x,o1(o1(x))) true 75071 75071 -0.04894 0.4693 0.5181 0.3723 0.6102 -1 1 2 1 4.842 0.005126 0.006506 0.08046 -0.1186 1 -0.00004842 0.001458 0.0214 0.005158 0.07182 0.8926 0.3915 0.03124 0.003915 1 1 0.02147 0.2568 0.7216 0.05765 0.6898 1.938 json
t15_x6_u33_b10 15 6 33 10 dst(R,cil(sgn(P))) 73384 122058064 o2(x,o1(o1(x))) true 75079 75079 0.9801 1 0.9801 0.005908 0.07687 0.3142 1 0.6858 1 0.6374 0.0002622 0.0002371 0.005911 0.05038 1 -0.00004136 0.0002216 0.003782 0.0004643 0.02155 3.645 0.2009 0.08451 0.03751 1 1 0.0005644 0.004354 0.008825 0.09552 0.7369 1.494 json
t15_x6_u34_b0 15 6 34 0 add(R,cil(nrm(P))) 73385 122058255 o2(x,o1(o1(x))) true 75087 75087 0.3545 0.7238 0.6032 0.343 0.5856 -1 1 2 1 4.487 0.004897 0.004846 0.05257 0.005264 1 -0.00001798 0.01041 0.01931 0.00698 0.08355 1.589 2.828 0.02841 0.03034 1 1 0.01826 0.1524 0.4196 0.05325 0.4443 1.224 json
t15_x6_u34_b1 15 6 34 1 sub(R,cil(nrm(P))) 73386 122058256 o2(x,o1(o1(x))) true 75095 75095 -0.37 0.278 0.613 0.3463 0.5885 -1 1 2 1 4.343 0.003697 0.003736 0.05024 -0.005252 1 0.00007221 0.006159 0.01732 0.00491 0.07007 1.395 1.797 0.02147 0.01779 1 1 0.0144 0.1334 0.3833 0.04158 0.3853 1.107 json
t15_x6_u34_b2 15 6 34 2 mlt(R,cil(nrm(P))) 73387 122058257 o2(x,o1(o1(x))) true 75103 75103 -0.02156 0.2541 0.2016 0.1151 0.3393 -1 0.9806 1.981 1 3.432 0.002852 0.002826 0.03339 0.004499 1 0.000003215 0.006269 0.01194 0.004565 0.06757 2.024 2.098 0.04932 0.05446 1 1 0.01037 0.08745 0.2608 0.09007 0.7597 2.265 json
t15_x6_u34_b3 15 6 34 3 div(R,cil(nrm(P))) 73388 122058258 o2(x,o1(o1(x))) true 75111 75111 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t15_x6_u34_b4 15 6 34 4 pow(R,cil(nrm(P))) 73389 122058259 o2(x,o1(o1(x))) true 75119 75119 -0.02014 0.4922 0.9955 0.9922 0.9961 -1 1 2 1 1.148 0.017 0.01416 0.01681 0.09109 1 0.000002697 0.06422 0.03274 0.03087 0.1757 10.45 2.828 0.03141 0.06472 1 1 0.03365 0.1384 0.5694 0.03391 0.1395 0.5739 json
t15_x6_u34_b5 15 6 34 5 mod(R,cil(nrm(P))) 73390 122058260 o2(x,o1(o1(x))) true 75127 75127 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t15_x6_u34_b6 15 6 34 6 lrg(R,cil(nrm(P))) 73391 122058261 o2(x,o1(o1(x))) true 75135 75135 0.2773 0.4927 0.2773 0.1525 0.3905 0 1 1 1 2.346 0.001065 0.001177 0.0262 -0.05003 1 0.00001213 0.0001277 0.006335 0.001555 0.03943 1.505 0.1169 0.0147 0.0008376 1 1 0.004498 0.05759 0.18 0.0295 0.3776 1.18 json
t15_x6_u34_b7 15 6 34 7 eql(R,cil(nrm(P))) 73392 122058262 o2(x,o1(o1(x))) true 75143 75143 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
t15_x6_u34_b8 15 6 34 8 min(R,cil(nrm(P))) 73393 122058263 o2(x,o1(o1(x))) true 75151 75151 -0.1482 0.2297 0.3271 0.1587 0.3984 -0.9999 0.9806 1.981 1 4.511 0.001991 0.002027 0.04904 -0.009002 1 0.00001284 0.0002388 0.01136 0.001613 0.04016 0.8189 0.219 0.02531 0.001504 1 1 0.00801 0.1035 0.2711 0.05047 0.6521 1.708 json
t15_x6_u34_b9 15 6 34 9 dot(R,cil(nrm(P))) 73394 122058264 o2(x,o1(o1(x))) true 75159 75159 -0.02626 0.3718 0.3418 0.2169 0.4658 -1 1 2 1 4.486 0.00464 0.0048 0.05528 -0.01691 1 -0.00001239 0.008246 0.01798 0.006385 0.0799 1.445 2.828 0.04352 0.03801 1 1 0.017 0.156 0.4668 0.07837 0.7189 2.151 json
t15_x6_u34_b10 15 6 34 10 dst(R,cil(nrm(P))) 73395 122058265 o2(x,o1(o1(x))) true 75167 75167 0.9251 0.9844 0.9563 0.07041 0.2654 -1 1 2 1 1.297 0.003975 0.003947 0.01274 0.003564 1 -0.00003188 0.01539 0.01185 0.007756 0.08807 6.912 2.253 0.1125 0.2185 1 1 0.01384 0.06103 0.2283 0.1966 0.8667 3.243 json
t15_x6_u35_b0 15 6 35 0 add(R,sgn(sqt(P))) 73396 122058456 o2(x,o1(o1(x))) true 75175 75175 0.006472 0.4974 0.766 0.6659 0.8161 -1 1 2 1 4 0.002059 0.001737 0.03764 0.08484 1 3.719e-7 0.0007576 0.01327 0.00238 0.04878 1.296 0.312 0.0057 0.001138 1 1 0.007803 0.08509 0.3208 0.01172 0.1278 0.4818 json
t15_x6_u35_b1 15 6 35 1 sub(R,sgn(sqt(P))) 73397 122058457 o2(x,o1(o1(x))) true 75183 75183 -0.0006309 0.4968 0.7893 0.7007 0.8371 -1 1 2 1 3.775 0.002077 0.001531 0.03509 0.1511 1 0.00002141 0.0007336 0.01271 0.002377 0.04876 1.39 0.3332 0.00515 0.001047 1 1 0.007563 0.08372 0.318 0.01079 0.1195 0.4539 json
t15_x6_u35_b2 15 6 35 2 mlt(R,sgn(sqt(P))) 73398 122058458 o2(x,o1(o1(x))) true 75191 75191 -0.024 0.4686 0.3712 0.2044 0.4521 -0.9986 0.9989 1.997 1 4.833 0.002518 0.003012 0.06025 -0.0893 1 -0.00002673 0.0003242 0.01382 0.0019 0.04359 0.7235 0.2301 0.02705 0.001586 1 1 0.01052 0.1349 0.3629 0.05146 0.6602 1.775 json
t15_x6_u35_b3 15 6 35 3 div(R,sgn(sqt(P))) 73399 122058459 o2(x,o1(o1(x))) true 75199 75199 -0.1521 0.404 0.4674 0.2927 0.5411 -1 0.9989 1.999 1 4.77 0.01328 0.002792 0.06278 0.6527 1 -0.00002698 0.02233 0.02908 0.01213 0.1102 1.755 1.947 0.05491 0.07627 1 1 0.02327 0.1755 0.496 0.0795 0.5995 1.694 json