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
t13_x8_u2_b9 13 8 2 9 sqt(dot(frc(R),R)) 46400 105891432 o1(o2(o1(x),x)) true 30167 30167 -0.7069 0.1758 0.9415 0.4109 0.641 -1 1 2 1 1.305 0.03336 0.03466 0.04456 -0.01918 1 0.000009131 0.1414 0.07999 0.06602 0.2569 5.767 2.828 0.1656 0.3441 1 1 0.0781 0.3263 0.9242 0.1901 0.7941 2.25 json
t13_x8_u2_b10 13 8 2 10 sqt(dst(frc(R),R)) 46401 105891433 o1(o2(o1(x),x)) true 30175 30175 0.9101 1 0.9101 0.0531 0.2304 0.000291 1 0.9997 1 1.35 0.0008883 0.001017 0.01866 -0.06771 1 -0.000007429 0.0002174 0.00543 0.001558 0.03948 2.116 0.1539 0.03589 0.004093 1 1 0.004206 0.05061 0.1126 0.07922 0.9531 2.121 json
t13_x8_u3_b0 13 8 3 0 sqt(add(flr(R),R)) 46402 105891624 o1(o2(o1(x),x)) true 30183 30183 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t13_x8_u3_b1 13 8 3 1 sqt(sub(flr(R),R)) 46403 105891625 o1(o2(o1(x),x)) true 30191 30191 -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
t13_x8_u3_b2 13 8 3 2 sqt(mlt(flr(R),R)) 46404 105891626 o1(o2(o1(x),x)) true 30199 30199 0.3427 0.9362 0.3427 0.08589 0.2931 0 0.9994 0.9994 1 3.647 0.001062 0.001278 0.03843 -0.09213 1 -0.000001677 0.0001377 0.009066 0.0008627 0.02937 0.7643 0.1168 0.02724 0.001603 1 1 0.004466 0.05747 0.1455 0.052 0.6691 1.694 json
t13_x8_u3_b3 13 8 3 3 sqt(div(flr(R),R)) 46405 105891627 o1(o2(o1(x),x)) true 30207 30207 0.622 0.9465 0.622 0.1725 0.4153 0 1 1 1 2.777 0.003416 0.004244 0.05244 -0.1082 1 -0.000165 0.002176 0.02124 0.004908 0.07006 1.336 0.5261 0.04442 0.01262 1 1 0.01437 0.1444 0.3265 0.08335 0.8376 1.893 json
t13_x8_u3_b4 13 8 3 4 sqt(pow(flr(R),R)) 46406 105891628 o1(o2(o1(x),x)) true 30215 30215 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t13_x8_u3_b5 13 8 3 5 sqt(mod(flr(R),R)) 46407 105891629 o1(o2(o1(x),x)) true 30223 30223 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t13_x8_u3_b6 13 8 3 6 sqt(lrg(flr(R),R)) 46408 105891630 o1(o2(o1(x),x)) true 30231 30231 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
t13_x8_u3_b7 13 8 3 7 sqt(eql(flr(R),R)) 46409 105891631 o1(o2(o1(x),x)) true 30239 30239 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
t13_x8_u3_b8 13 8 3 8 sqt(min(flr(R),R)) 46410 105891632 o1(o2(o1(x),x)) true 30247 30247 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t13_x8_u3_b9 13 8 3 9 sqt(dot(flr(R),R)) 46411 105891633 o1(o2(o1(x),x)) true 30255 30255 0.7531 1 0.7531 0.06701 0.2589 0.0001621 1 0.9998 1 3.333 0.0009324 0.001095 0.0313 -0.08029 1 -0.00001678 0.0002044 0.008318 0.001048 0.03237 1.034 0.1681 0.03026 0.00305 1 1 0.004286 0.05218 0.1202 0.06396 0.7787 1.794 json
t13_x8_u3_b10 13 8 3 10 sqt(dst(flr(R),R)) 46412 105891634 o1(o2(o1(x),x)) true 30263 30263 0.9443 1 0.9443 0.008144 0.09025 0.3152 1 0.6848 1 1.541 0.0001469 0.0001463 0.009796 0.002284 1 -0.00001212 0.0000403 0.003103 0.0001973 0.01405 1.434 0.08509 0.036 0.004949 1 1 0.0005489 0.00644 0.01676 0.0674 0.7908 2.058 json
t13_x8_u4_b0 13 8 4 0 sqt(add(cil(R),R)) 46413 105891825 o1(o2(o1(x),x)) true 30271 30271 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t13_x8_u4_b1 13 8 4 1 sqt(sub(cil(R),R)) 46414 105891826 o1(o2(o1(x),x)) true 30279 30279 0.648 1 0.648 0.03276 0.181 0.05301 0.9995 0.9464 1 3.527 0.000482 0.0004705 0.02513 0.01205 1 -0.00003337 0.00005653 0.005795 0.0003211 0.01792 0.7132 0.1017 0.02908 0.001726 1 1 0.001704 0.02188 0.05453 0.05202 0.668 1.665 json
t13_x8_u4_b2 13 8 4 2 sqt(mlt(cil(R),R)) 46415 105891827 o1(o2(o1(x),x)) true 30287 30287 0.3388 0.9084 0.3388 0.09199 0.3033 0 0.9902 0.9902 1 3.58 0.001219 0.001355 0.03997 -0.05266 1 0.000002314 0.0001517 0.009409 0.0009762 0.03124 0.7817 0.1158 0.02798 0.001649 1 1 0.005267 0.06779 0.1805 0.05725 0.7369 1.962 json
t13_x8_u4_b3 13 8 4 3 sqt(div(cil(R),R)) 46416 105891828 o1(o2(o1(x),x)) true 30295 30295 0.5774 0.9182 0.5774 0.1781 0.422 0 1 1 1 2.883 0.003341 0.004237 0.05287 -0.1182 1 -0.0001466 0.002205 0.02106 0.004783 0.06916 1.308 0.604 0.04254 0.01238 1 1 0.01394 0.1427 0.3282 0.07826 0.8012 1.843 json
t13_x8_u4_b4 13 8 4 4 sqt(pow(cil(R),R)) 46417 105891829 o1(o2(o1(x),x)) true 30303 30303 -0.7969 0.1016 1 0.3648 0.604 -1 1 2 1 0.4739 0.03905 0.04434 0.04131 -0.06344 1 0 0.1761 0.0834 0.08162 0.2857 6.916 2.828 0.2286 0.4827 1 1 0.07679 0.3201 0.7411 0.2105 0.8774 2.031 json
t13_x8_u4_b5 13 8 4 5 sqt(mod(cil(R),R)) 46418 105891830 o1(o2(o1(x),x)) true 30311 30311 0.1832 0.8932 0.1832 0.03056 0.1748 0 0.6961 0.6961 1 2.879 0.0003838 0.0004425 0.02227 -0.07104 1 -0.00000776 0.00004781 0.005196 0.0003301 0.01817 0.8157 0.08139 0.02703 0.001564 1 1 0.001759 0.0227 0.05992 0.05755 0.7428 1.961 json
t13_x8_u4_b6 13 8 4 6 sqt(lrg(cil(R),R)) 46419 105891831 o1(o2(o1(x),x)) true 30319 30319 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
t13_x8_u4_b7 13 8 4 7 sqt(eql(cil(R),R)) 46420 105891832 o1(o2(o1(x),x)) true 30327 30327 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
t13_x8_u4_b8 13 8 4 8 sqt(min(cil(R),R)) 46421 105891833 o1(o2(o1(x),x)) true 30335 30335 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t13_x8_u4_b9 13 8 4 9 sqt(dot(cil(R),R)) 46422 105891834 o1(o2(o1(x),x)) true 30343 30343 0.7368 0.9992 0.7368 0.08086 0.2844 3.478e-8 1 1 1 3.356 0.001345 0.001166 0.03512 0.07129 1 -0.0000204 0.0002967 0.009812 0.001279 0.03576 1.018 0.1782 0.03107 0.003669 1 1 0.004535 0.05393 0.1421 0.05609 0.667 1.757 json
t13_x8_u4_b10 13 8 4 10 sqt(dst(cil(R),R)) 46423 105891835 o1(o2(o1(x),x)) true 30351 30351 0.9352 1 0.9352 0.007457 0.08635 0.4904 1 0.5096 1 1.689 0.0001307 0.0001318 0.01024 -0.004142 1 -0.00001587 0.00003803 0.003142 0.0001576 0.01256 1.226 0.07587 0.0352 0.005099 1 1 0.0005242 0.006139 0.01552 0.07029 0.8233 2.081 json
t13_x8_u5_b0 13 8 5 0 sqt(add(sgn(R),R)) 46424 105892026 o1(o2(o1(x),x)) true 30359 30359 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t13_x8_u5_b1 13 8 5 1 sqt(sub(sgn(R),R)) 46425 105892027 o1(o2(o1(x),x)) true 30367 30367 -0.9303 0.04297 0.9837 0.1093 0.3306 -1 0.946 1.946 1 0.4016 0.01147 0.01087 0.01448 0.02672 1 -0.000007327 0.04666 0.02728 0.02213 0.1488 10.27 2.561 0.2045 0.4269 1 1 0.01662 0.07126 0.182 0.1521 0.6521 1.665 json
t13_x8_u5_b2 13 8 5 2 sqt(mlt(sgn(R),R)) 46426 105892028 o1(o2(o1(x),x)) true 30375 30375 0.6816 1 0.6816 0.03273 0.1809 0.05307 0.9995 0.9464 1 3.489 0.0004323 0.0004672 0.02409 -0.03884 1 6.378e-7 0.0000541 0.005554 0.0003192 0.01787 0.7416 0.1077 0.02748 0.001653 1 1 0.001536 0.01994 0.06243 0.04694 0.6092 1.907 json
t13_x8_u5_b3 13 8 5 3 sqt(div(sgn(R),R)) 46427 105892029 o1(o2(o1(x),x)) true 30383 30383 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
t13_x8_u5_b4 13 8 5 4 sqt(pow(sgn(R),R)) 46428 105892030 o1(o2(o1(x),x)) true 30391 30391 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01688 0.01638 0.01652 0.01515 1 0 0.06954 0.03326 0.03297 0.1816 10.99 2.828 0.2022 0.4228 1 1 0.02543 0.1095 0.2757 0.1546 0.6659 1.676 json
t13_x8_u5_b5 13 8 5 5 sqt(mod(sgn(R),R)) 46429 105892031 o1(o2(o1(x),x)) true 30399 30399 -0.94 0.04297 0.974 0.08061 0.2839 -1 0.629 1.629 1 0.3754 0.008233 0.008124 0.01216 0.006691 1 -7.03e-7 0.03418 0.02335 0.0162 0.1273 10.46 2.208 0.2029 0.424 1 1 0.01257 0.05406 0.1341 0.156 0.6707 1.663 json
t13_x8_u5_b6 13 8 5 6 sqt(lrg(sgn(R),R)) 46430 105892032 o1(o2(o1(x),x)) true 30407 30407 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
t13_x8_u5_b7 13 8 5 7 sqt(eql(sgn(R),R)) 46431 105892033 o1(o2(o1(x),x)) true 30415 30415 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
t13_x8_u5_b8 13 8 5 8 sqt(min(sgn(R),R)) 46432 105892034 o1(o2(o1(x),x)) true 30423 30423 -0.9258 0.04297 0.9882 0.1235 0.3514 -1 0.971 1.971 1 0.3916 0.01252 0.01245 0.01513 0.002807 1 0.000005689 0.05219 0.02886 0.02476 0.1573 10.4 2.731 0.2023 0.4226 1 1 0.0197 0.08508 0.2088 0.1595 0.689 1.691 json
t13_x8_u5_b9 13 8 5 9 sqt(dot(sgn(R),R)) 46433 105892035 o1(o2(o1(x),x)) true 30431 30431 0.989 1 0.989 0.002023 0.04498 0.4107 1 0.5893 1 0.4579 0.00004295 0.00007547 0.002906 -0.2746 1 -0.00001144 0.00003921 0.00156 0.00011 0.01049 3.61 0.1111 0.05854 0.01938 1 1 0.0001392 0.001237 0.002494 0.06881 0.6115 1.233 json
t13_x8_u5_b10 13 8 5 10 sqt(dst(sgn(R),R)) 46434 105892036 o1(o2(o1(x),x)) true 30439 30439 0.9332 1 0.9332 0.008484 0.09211 0.4701 1 0.5299 1 1.732 0.0001412 0.0001314 0.01026 0.03588 1 -0.00001385 0.0000389 0.003169 0.0001673 0.01293 1.261 0.0745 0.03213 0.004585 1 1 0.0005841 0.006955 0.01833 0.06885 0.8198 2.161 json
t13_x8_u6_b0 13 8 6 0 sqt(add(nrm(R),R)) 46435 105892227 o1(o2(o1(x),x)) true 30447 30447 -0.9162 0.04297 0.9978 0.1567 0.3958 -1 1 2 1 0.3129 0.01577 0.01572 0.01644 0.001688 1 -3.142e-8 0.06579 0.03245 0.03121 0.1767 10.75 2.828 0.201 0.4199 1 1 0.02449 0.1062 0.2638 0.1563 0.678 1.684 json
t13_x8_u6_b1 13 8 6 1 sqt(sub(nrm(R),R)) 46436 105892228 o1(o2(o1(x),x)) true 30455 30455 -0.9591 0.03125 0.9784 0.0522 0.2285 -1 0.5246 1.525 1 0.2901 0.004382 0.005322 0.007855 -0.09691 1 -0.000001237 0.02025 0.01485 0.009641 0.09819 12.5 2.156 0.1859 0.3879 1 1 0.00834 0.03421 0.09554 0.1598 0.6554 1.83 json
t13_x8_u6_b2 13 8 6 2 sqt(mlt(nrm(R),R)) 46437 105892229 o1(o2(o1(x),x)) true 30463 30463 0.5137 1 0.5137 0.03941 0.1985 0.003105 0.9587 0.9556 1 3.672 0.0005466 0.0005665 0.02747 -0.0178 1 -7.033e-7 0.00006754 0.006341 0.0003587 0.01894 0.6895 0.1055 0.02824 0.001714 1 1 0.00188 0.02435 0.07737 0.04769 0.6178 1.963 json
t13_x8_u6_b3 13 8 6 3 sqt(div(nrm(R),R)) 46438 105892230 o1(o2(o1(x),x)) true 30471 30471 0.9705 1 0.9705 0.001829 0.04276 0.8012 1 0.1988 1 0.9176 0.0000391 0.00004723 0.004897 -0.09417 0 -0.00001427 0.00003362 0.00241 0.00006238 0.007898 1.613 0.06609 0.04721 0.01839 1 1 0.0001493 0.001425 0.003479 0.08166 0.7793 1.902 json
t13_x8_u6_b4 13 8 6 4 sqt(pow(nrm(R),R)) 46439 105892231 o1(o2(o1(x),x)) true 30479 30479 -0.9193 0.04297 0.9948 0.1451 0.3809 -1 0.978 1.978 1 0.3188 0.01488 0.01448 0.01578 0.01375 1 5.94e-7 0.06139 0.03129 0.02911 0.1706 10.81 2.631 0.2023 0.423 1 1 0.02231 0.09604 0.2417 0.1537 0.6618 1.666 json
t13_x8_u6_b5 13 8 6 5 sqt(mod(nrm(R),R)) 46440 105892232 o1(o2(o1(x),x)) true 30487 30487 -0.9321 0.04297 0.982 0.1043 0.323 -1 0.9334 1.933 1 0.4069 0.01075 0.01048 0.01416 0.01292 1 0.000003142 0.04432 0.02653 0.02102 0.145 10.24 2.547 0.2034 0.4248 1 1 0.01662 0.07211 0.1784 0.1593 0.6912 1.71 json
t13_x8_u6_b6 13 8 6 6 sqt(lrg(nrm(R),R)) 46441 105892233 o1(o2(o1(x),x)) true 30495 30495 0.4512 0.8826 0.4512 0.1558 0.3947 0 1 1 1 3.362 0.002271 0.002019 0.05012 0.0588 1 -0.000082 0.0002442 0.0121 0.001779 0.04217 0.8415 0.1169 0.02754 0.001568 1 1 0.008285 0.1071 0.3286 0.05317 0.6871 2.109 json
t13_x8_u6_b7 13 8 6 7 sqt(eql(nrm(R),R)) 46442 105892234 o1(o2(o1(x),x)) true 30503 30503 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
t13_x8_u6_b8 13 8 6 8 sqt(min(nrm(R),R)) 46443 105892235 o1(o2(o1(x),x)) true 30511 30511 -0.9274 0.04297 0.9867 0.1182 0.3438 -1 0.9354 1.935 1 0.3835 0.01204 0.01185 0.01473 0.008027 1 0.000005055 0.04993 0.02823 0.02369 0.1539 10.45 2.548 0.2021 0.4224 1 1 0.01884 0.0811 0.1996 0.1594 0.6861 1.688 json
t13_x8_u6_b9 13 8 6 9 sqt(dot(nrm(R),R)) 46444 105892236 o1(o2(o1(x),x)) true 30519 30519 0.9395 1 0.9395 0.008316 0.09119 0.3152 1 0.6848 1 1.631 0.0001166 0.0001623 0.009779 -0.1639 1 -0.000009876 0.00004232 0.003157 0.0001832 0.01353 1.384 0.08961 0.03353 0.00509 1 1 0.0004445 0.005101 0.01241 0.05345 0.6135 1.493 json
t13_x8_u6_b10 13 8 6 10 sqt(dst(nrm(R),R)) 46445 105892237 o1(o2(o1(x),x)) true 30527 30527 0.4465 1 0.4465 0.01882 0.1372 0.04948 0.9489 0.8995 1 3.184 0.0002228 0.0002983 0.01848 -0.1448 1 -0.000009729 0.00003071 0.004232 0.0001796 0.0134 0.7252 0.08188 0.02769 0.001632 1 1 0.001017 0.01307 0.03051 0.05402 0.6947 1.621 json
t13_x8_u7_b0 13 8 7 0 log(add(sqt(R),R)) 46446 105892428 o1(o2(o1(x),x)) true 30535 30535 -0.9495 0.03273 0.9709 0.06165 0.2483 -1 0.649 1.649 1 0.4359 0.006261 0.006482 0.01159 -0.01735 1 0.00001112 0.02643 0.01993 0.0126 0.1123 9.685 2.244 0.2067 0.4288 1 1 0.01058 0.04614 0.1059 0.1716 0.7484 1.717 json
t13_x8_u7_b1 13 8 7 1 log(sub(sqt(R),R)) 46447 105892429 o1(o2(o1(x),x)) true 30543 30543 -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
t13_x8_u7_b2 13 8 7 2 log(mlt(sqt(R),R)) 46448 105892430 o1(o2(o1(x),x)) true 30551 30551 -0.9901 0 0.9901 0.005459 0.07388 -1 -0.08844 0.9116 1 0.2306 0.00071 0.0008614 0.003923 -0.09635 1 0.00002544 0.003017 0.005036 0.001556 0.03945 10.06 1.111 0.2879 0.5526 1 1 0.001377 0.00607 0.008666 0.2522 1.112 1.588 json
t13_x8_u7_b3 13 8 7 3 log(div(sqt(R),R)) 46449 105892431 o1(o2(o1(x),x)) true 30559 30559 -0.9415 0.04297 0.9725 0.07857 0.2803 -1 1 2 1 0.4118 0.008302 0.007658 0.01253 0.04033 1 -0.000007853 0.03321 0.02287 0.01581 0.1258 10.03 2.172 0.2031 0.4227 1 1 0.01132 0.04914 0.1285 0.1441 0.6254 1.635 json
t13_x8_u7_b4 13 8 7 4 log(pow(sqt(R),R)) 46450 105892432 o1(o2(o1(x),x)) true 30567 30567 -0.9625 0 0.9625 0.03146 0.1774 -1 -0.02773 0.9723 1 0.3101 0.003201 0.003119 0.007458 0.01302 1 0.000001932 0.01321 0.01453 0.006268 0.07917 10.62 1.327 0.2009 0.4198 1 1 0.004837 0.02097 0.05257 0.1537 0.6666 1.671 json
t13_x8_u7_b5 13 8 7 5 log(mod(sqt(R),R)) 46451 105892433 o1(o2(o1(x),x)) true 30575 30575 -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
t13_x8_u7_b6 13 8 7 6 log(lrg(sqt(R),R)) 46452 105892434 o1(o2(o1(x),x)) true 30583 30583 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
t13_x8_u7_b7 13 8 7 7 log(eql(sqt(R),R)) 46453 105892435 o1(o2(o1(x),x)) true 30591 30591 -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
t13_x8_u7_b8 13 8 7 8 log(min(sqt(R),R)) 46454 105892436 o1(o2(o1(x),x)) true 30599 30599 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t13_x8_u7_b9 13 8 7 9 log(dot(sqt(R),R)) 46455 105892437 o1(o2(o1(x),x)) true 30607 30607 -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
t13_x8_u7_b10 13 8 7 10 log(dst(sqt(R),R)) 46456 105892438 o1(o2(o1(x),x)) true 30615 30615 -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
t13_x8_u8_b0 13 8 8 0 log(add(log(R),R)) 46457 105892629 o1(o2(o1(x),x)) true 30623 30623 -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
t13_x8_u8_b1 13 8 8 1 log(sub(log(R),R)) 46458 105892630 o1(o2(o1(x),x)) true 30631 30631 -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
t13_x8_u8_b2 13 8 8 2 log(mlt(log(R),R)) 46459 105892631 o1(o2(o1(x),x)) true 30639 30639 -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
t13_x8_u8_b3 13 8 8 3 log(div(log(R),R)) 46460 105892632 o1(o2(o1(x),x)) true 30647 30647 -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
t13_x8_u8_b4 13 8 8 4 log(pow(log(R),R)) 46461 105892633 o1(o2(o1(x),x)) true 30655 30655 -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
t13_x8_u8_b5 13 8 8 5 log(mod(log(R),R)) 46462 105892634 o1(o2(o1(x),x)) true 30663 30663 -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
t13_x8_u8_b6 13 8 8 6 log(lrg(log(R),R)) 46463 105892635 o1(o2(o1(x),x)) true 30671 30671 -0.9297 0 0.9297 0.06532 0.2556 -1 0 1 1 0.3671 0.00548 0.006677 0.01207 -0.09845 1 0 0.02545 0.02431 0.01201 0.1096 9.077 1.414 0.1861 0.3896 1 1 0.01256 0.05287 0.1436 0.1923 0.8093 2.199 json
t13_x8_u8_b7 13 8 8 7 log(eql(log(R),R)) 46464 105892636 o1(o2(o1(x),x)) true 30679 30679 -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
t13_x8_u8_b8 13 8 8 8 log(min(log(R),R)) 46465 105892637 o1(o2(o1(x),x)) true 30687 30687 -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
t13_x8_u8_b9 13 8 8 9 log(dot(log(R),R)) 46466 105892638 o1(o2(o1(x),x)) true 30695 30695 -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
t13_x8_u8_b10 13 8 8 10 log(dst(log(R),R)) 46467 105892639 o1(o2(o1(x),x)) true 30703 30703 -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
t13_x8_u9_b0 13 8 9 0 log(add(frc(R),R)) 46468 105892830 o1(o2(o1(x),x)) true 30711 30711 -0.7788 0.08824 0.8268 0.1739 0.4171 -1 0.6619 1.662 1 2.068 0.01283 0.01286 0.04094 -0.001215 1 0.000004476 0.0491 0.04729 0.02401 0.155 3.785 2.192 0.1477 0.2823 1 1 0.03077 0.15 0.3091 0.1769 0.8622 1.777 json
t13_x8_u9_b1 13 8 9 1 log(sub(frc(R),R)) 46469 105892831 o1(o2(o1(x),x)) true 30719 30719 -0.9297 0 0.9297 0.06532 0.2556 -1 0 1 1 0.3671 0.00548 0.006677 0.01207 -0.09845 1 0 0.02545 0.02431 0.01201 0.1096 9.077 1.414 0.1861 0.3896 1 1 0.01256 0.05287 0.1436 0.1923 0.8093 2.199 json
t13_x8_u9_b2 13 8 9 2 log(mlt(frc(R),R)) 46470 105892832 o1(o2(o1(x),x)) true 30727 30727 -0.9935 0 0.9935 0.003376 0.0581 -1 -0.1179 0.8821 1 0.1738 0.0005105 0.0006433 0.003065 -0.1151 1 0.00003367 0.002179 0.004002 0.001144 0.03382 11.03 1.01 0.3418 0.6454 1 1 0.001009 0.003905 0.005114 0.2988 1.157 1.515 json
t13_x8_u9_b3 13 8 9 3 log(div(frc(R),R)) 46471 105892833 o1(o2(o1(x),x)) true 30735 30735 -0.957 0 0.957 0.04112 0.2028 -1 1.191e-7 1 1 0.2929 0.00422 0.004094 0.008259 0.01515 1 3.867e-10 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t13_x8_u9_b4 13 8 9 4 log(pow(frc(R),R)) 46472 105892834 o1(o2(o1(x),x)) true 30743 30743 0.1607 0.549 0.3225 0.1749 0.4182 -0.3678 1 1.368 1 4.062 0.002466 0.003064 0.04758 -0.1082 1 -0.00008531 0.00139 0.01547 0.003266 0.05715 1.201 0.4883 0.03162 0.007947 1 1 0.009264 0.1006 0.2721 0.05298 0.5754 1.556 json
t13_x8_u9_b5 13 8 9 5 log(mod(frc(R),R)) 46473 105892835 o1(o2(o1(x),x)) true 30751 30751 -0.9961 0 0.9961 0.001799 0.04242 -1 -0.04534 0.9547 1 0.1355 0.0003971 0.0002786 0.002114 0.1754 1 0.00000628 0.001252 0.002636 0.0006707 0.0259 12.25 0.9547 0.3755 0.6961 1 1 0.001008 0.004117 0.005447 0.5601 2.288 3.027 json
t13_x8_u9_b6 13 8 9 6 log(lrg(frc(R),R)) 46474 105892836 o1(o2(o1(x),x)) true 30759 30759 -0.9297 0 0.9297 0.06532 0.2556 -1 0 1 1 0.3671 0.00548 0.006677 0.01207 -0.09845 1 0 0.02545 0.02431 0.01201 0.1096 9.077 1.414 0.1861 0.3896 1 1 0.01256 0.05287 0.1436 0.1923 0.8093 2.199 json
t13_x8_u9_b7 13 8 9 7 log(eql(frc(R),R)) 46475 105892837 o1(o2(o1(x),x)) true 30767 30767 -0.957 0 0.957 0.04112 0.2028 -1 0 1 1 0.2557 0.00422 0.004094 0.008259 0.01515 1 0 0.01738 0.01663 0.008241 0.09078 10.99 1.414 0.2022 0.4228 1 1 0.006357 0.02738 0.06893 0.1546 0.6659 1.676 json
t13_x8_u9_b8 13 8 9 8 log(min(frc(R),R)) 46476 105892838 o1(o2(o1(x),x)) true 30775 30775 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t13_x8_u9_b9 13 8 9 9 log(dot(frc(R),R)) 46477 105892839 o1(o2(o1(x),x)) true 30783 30783 -0.9471 0.013 0.9521 0.03785 0.1945 -1 0.613 1.613 1 0.8567 0.004574 0.005253 0.01838 -0.06916 1 0.0000567 0.0186 0.02279 0.009493 0.09743 5.302 1.943 0.2597 0.4915 1 1 0.01347 0.05519 0.09193 0.356 1.458 2.429 json
t13_x8_u9_b10 13 8 9 10 log(dst(frc(R),R)) 46478 105892840 o1(o2(o1(x),x)) true 30791 30791 -0.2126 0.6185 0.4905 0.3536 0.5946 -1 0.5493 1.549 1 2.778 0.02398 0.02002 0.04892 0.08997 1 -0.00001074 0.08964 0.07272 0.04162 0.204 4.17 2.191 0.1244 0.2535 1 1 0.04699 0.1999 0.6134 0.1329 0.5652 1.735 json
t13_x8_u10_b0 13 8 10 0 log(add(flr(R),R)) 46479 105893031 o1(o2(o1(x),x)) true 30799 30799 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t13_x8_u10_b1 13 8 10 1 log(sub(flr(R),R)) 46480 105893032 o1(o2(o1(x),x)) true 30807 30807 -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
t13_x8_u10_b2 13 8 10 2 log(mlt(flr(R),R)) 46481 105893033 o1(o2(o1(x),x)) true 30815 30815 -0.9765 0 0.9765 0.01618 0.1272 -1 -0.001196 0.9988 1 0.3894 0.001388 0.002314 0.007057 -0.2501 1 0.00000196 0.007417 0.01019 0.003653 0.06044 8.565 1.247 0.2289 0.4584 1 1 0.003623 0.0155 0.03315 0.2239 0.9583 2.049 json
t13_x8_u10_b3 13 8 10 3 log(div(flr(R),R)) 46482 105893034 o1(o2(o1(x),x)) true 30823 30823 -0.8828 0.07031 0.9765 0.1904 0.4363 -1 1 2 1 0.5828 0.01591 0.01799 0.02203 -0.06136 1 -0.000001961 0.07032 0.04028 0.03343 0.1828 8.299 2.828 0.1781 0.3693 1 1 0.03645 0.1614 0.4217 0.1915 0.8475 2.215 json
t13_x8_u10_b4 13 8 10 4 log(pow(flr(R),R)) 46483 105893035 o1(o2(o1(x),x)) true 30831 30831 -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
t13_x8_u10_b5 13 8 10 5 log(mod(flr(R),R)) 46484 105893036 o1(o2(o1(x),x)) true 30839 30839 -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
t13_x8_u10_b6 13 8 10 6 log(lrg(flr(R),R)) 46485 105893037 o1(o2(o1(x),x)) true 30847 30847 -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
t13_x8_u10_b7 13 8 10 7 log(eql(flr(R),R)) 46486 105893038 o1(o2(o1(x),x)) true 30855 30855 -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
t13_x8_u10_b8 13 8 10 8 log(min(flr(R),R)) 46487 105893039 o1(o2(o1(x),x)) true 30863 30863 -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
t13_x8_u10_b9 13 8 10 9 log(dot(flr(R),R)) 46488 105893040 o1(o2(o1(x),x)) true 30871 30871 -0.5551 0.1784 0.6431 0.2455 0.4955 -1 0.7979 1.798 1 3.452 0.01378 0.01123 0.05549 0.102 1 0.00004343 0.04494 0.052 0.02192 0.1481 2.668 2.209 0.1019 0.183 1 1 0.02948 0.1597 0.3983 0.1201 0.6503 1.622 json
t13_x8_u10_b10 13 8 10 10 log(dst(flr(R),R)) 46489 105893041 o1(o2(o1(x),x)) true 30879 30879 -0.07083 0.4896 0.1928 0.0697 0.264 -1 0.4081 1.408 1 3.865 0.001029 0.001031 0.03298 -0.0007451 1 0.00002867 0.0001841 0.007835 0.0009721 0.03118 0.9452 0.2713 0.02956 0.002641 1 1 0.004013 0.05076 0.1494 0.05757 0.7283 2.144 json
t13_x8_u11_b0 13 8 11 0 log(add(cil(R),R)) 46490 105893232 o1(o2(o1(x),x)) true 30887 30887 -0.9384 0.04297 0.9756 0.08531 0.2921 -1 0.6641 1.664 1 0.3868 0.00863 0.008593 0.01263 0.002138 1 0.000005377 0.03598 0.02396 0.01707 0.1307 10.34 2.297 0.2019 0.4218 1 1 0.0136 0.05882 0.144 0.1594 0.6895 1.689 json
t13_x8_u11_b1 13 8 11 1 log(sub(cil(R),R)) 46491 105893233 o1(o2(o1(x),x)) true 30895 30895 -0.7491 0 0.7491 0.0903 0.3005 -1 -0.001108 0.9989 1 2.977 0.002018 0.00191 0.03743 0.02747 1 0.00005134 0.001213 0.01623 0.002527 0.05027 1.343 0.3272 0.04349 0.01343 1 1 0.006684 0.06578 0.1541 0.07402 0.7284 1.707 json
t13_x8_u11_b2 13 8 11 2 log(mlt(cil(R),R)) 46492 105893234 o1(o2(o1(x),x)) true 30903 30903 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t13_x8_u11_b3 13 8 11 3 log(div(cil(R),R)) 46493 105893235 o1(o2(o1(x),x)) true 30911 30911 -0.9303 0.04297 0.9838 0.1121 0.3349 -1 1 2 1 0.4122 0.01178 0.01091 0.01516 0.03841 1 -0.00001706 0.04711 0.02734 0.02246 0.1499 9.888 2.828 0.2023 0.4201 1 1 0.0163 0.07072 0.1827 0.1454 0.6305 1.629 json
t13_x8_u11_b4 13 8 11 4 log(pow(cil(R),R)) 46494 105893236 o1(o2(o1(x),x)) true 30919 30919 -0.8398 0.05859 0.957 0.2516 0.5016 -1 1 2 1 0.5738 0.02942 0.03294 0.03498 -0.05657 1 0 0.1323 0.07048 0.06113 0.2472 7.068 2.828 0.2479 0.5258 1 1 0.06126 0.2521 0.5343 0.2435 1.002 2.124 json
t13_x8_u11_b5 13 8 11 5 log(mod(cil(R),R)) 46495 105893237 o1(o2(o1(x),x)) true 30927 30927 -1 0 1 3.825e-7 0.0006184 -1 -0.9275 0.07251 1 0.0005018 3.641e-7 1.854e-7 0.00001101 0.3252 0 -3.754e-12 0.00000138 0.00001855 5.493e-7 0.0007411 67.33 0.07258 1.437 3.608 1 1 0.000001007 0.000001389 0.000001042 2.632 3.632 2.724 json
t13_x8_u11_b6 13 8 11 6 log(lrg(cil(R),R)) 46496 105893238 o1(o2(o1(x),x)) true 30935 30935 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
t13_x8_u11_b7 13 8 11 7 log(eql(cil(R),R)) 46497 105893239 o1(o2(o1(x),x)) true 30943 30943 -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
t13_x8_u11_b8 13 8 11 8 log(min(cil(R),R)) 46498 105893240 o1(o2(o1(x),x)) true 30951 30951 -0.9838 0 0.9838 0.009626 0.09811 -1 -0.05896 0.941 1 0.3254 0.001056 0.001224 0.005061 -0.07381 1 0.00001706 0.004529 0.00698 0.002254 0.04747 9.381 1.212 0.2369 0.4706 1 1 0.001967 0.008849 0.01618 0.2044 0.9193 1.681 json
t13_x8_u11_b9 13 8 11 9 log(dot(cil(R),R)) 46499 105893241 o1(o2(o1(x),x)) true 30959 30959 -0.5819 0.1675 0.6689 0.2484 0.4984 -1 0.8431 1.843 1 3.28 0.01215 0.01478 0.0595 -0.09742 1 0.00003836 0.04611 0.05304 0.02339 0.1529 2.57 2.066 0.1084 0.1856 1 1 0.0344 0.2122 0.5161 0.1385 0.8542 2.077 json