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

grad-noise-175k

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

About this collection

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

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

The space

An ither formula with two layers:

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

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

The apparatus

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

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

The measurements

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

Value distribution

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

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

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

Change of slope (four-neighbour Laplacian L)

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

Normalised by contrast (comparable across amplitudes)

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

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

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

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

Reading them, and their limits

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

Provenance

  • Apparatus: noiseBatch/one.uto, project SHA-256 b6fc8f27…be04d0
  • Expression corpus: SHA-256 7d3ec029…d72266
  • Run files (canonical), in ~/lab/data/grad-noise-175k/: the enumeration (grad-noise-175k.jsonl), the measurements (grad-noise-175k-output.jsonl, joined on inputs.expr), the formula (grad-noise-175k.manifest.json) and the frames (png/)
175,797 records
coordinate ▲ t x u b expression batch index ordinal topo measured step globalStep value_mean value_positive_fraction value_abs_mean value_variance value_stddev value_min value_max value_range histogram_probability_sum histogram_entropy_bits gradient_energy_x gradient_energy_y gradient_magnitude_mean gradient_axis_bias gradient_nonzero_flag laplacian_mean laplacian_energy laplacian_abs_mean gradient_magnitude_variance gradient_magnitude_stddev gradient_magnitude_cv gradient_magnitude_max gradient_energy_over_variance laplacian_energy_over_variance variance_normalization_valid_flag gradient_cv_valid_flag scale_diff2_near scale_diff2_mid scale_diff2_far scale_diff2_near_over_variance scale_diff2_mid_over_variance scale_diff2_far_over_variance
t14_x10_u4_b38 14 10 4 38 cil(div(mod(D,P),D)) 55900 114093266 o1(o2(o2(x,x),x)) true 106167 106167 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.07256 0.1451 1 1 0.04211 0.1684 0.6737 0.09624 0.385 1.54 json
t14_x10_u4_b39 14 10 4 39 cil(div(lrg(D,P),D)) 55901 114093267 o1(o2(o2(x,x),x)) true 106175 106175 0.1115 0.3438 0.4899 0.459 0.6775 -1 1 2 1 2.015 0.1671 0 0.123 1 1 -1.419e-9 0.293 0.1912 0.1519 0.3897 3.168 2 0.364 0.6383 1 1 0.1802 0.7823 0.1093 0.3926 1.704 0.2382 json
t14_x10_u4_b40 14 10 4 40 cil(div(eql(D,P),D)) 55902 114093268 o1(o2(o2(x,x),x)) true 106183 106183 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b41 14 10 4 41 cil(div(min(D,P),D)) 55903 114093269 o1(o2(o2(x,x),x)) true 106191 106191 0.4554 0.75 0.9529 0.7318 0.8554 -1 1 2 1 1.503 0.2152 0 0.127 1 1 9.386e-13 0.4107 0.2275 0.1992 0.4464 3.515 2 0.2941 0.5612 1 1 0.2144 0.8823 0.1347 0.2929 1.206 0.184 json
t14_x10_u4_b42 14 10 4 42 cil(div(dot(D,P),D)) 55904 114093270 o1(o2(o2(x,x),x)) true 106199 106199 0.04707 0.523 0.9415 0.9216 0.96 -1 1 2 1 1.892 0.3119 0.105 0.2575 0.4965 1 0.0002828 1.2 0.4758 0.3506 0.5921 2.299 2.828 0.4524 1.303 1 1 0.3806 0.8901 0.2769 0.413 0.9658 0.3005 json
t14_x10_u4_b43 14 10 4 43 cil(div(dst(D,P),D)) 55905 114093271 o1(o2(o2(x,x),x)) true 106207 106207 0.01773 0.5091 0.9823 0.976 0.9879 -1 1 2 1 1.335 0.4452 0.0009559 0.2469 0.9957 1 -4.167e-10 0.8505 0.4576 0.385 0.6205 2.514 2.059 0.4571 0.8715 1 1 0.4614 1.874 0.03153 0.4727 1.92 0.03231 json
t14_x10_u4_b44 14 10 4 44 cil(pow(add(D,P),D)) 55906 114093272 o1(o2(o2(x,x),x)) true 106215 106215 0 0.5 1 1 1 -1 1 2 1 1 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01587 0.03175 1 1 0.02105 0.08421 0.3368 0.02105 0.08421 0.3368 json
t14_x10_u4_b45 14 10 4 45 cil(pow(sub(D,P),D)) 55907 114093273 o1(o2(o2(x,x),x)) true 106223 106223 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01612 0.03225 1 1 0.02105 0.08421 0.3368 0.02139 0.08555 0.3422 json
t14_x10_u4_b46 14 10 4 46 cil(pow(mlt(D,P),D)) 55908 114093274 o1(o2(o2(x,x),x)) true 106231 106231 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b47 14 10 4 47 cil(pow(div(D,P),D)) 55909 114093275 o1(o2(o2(x,x),x)) true 106239 106239 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b48 14 10 4 48 cil(pow(pow(D,P),D)) 55910 114093276 o1(o2(o2(x,x),x)) true 106247 106247 -0.875 0.0625 1 0.2344 0.4841 -1 1 2 1 0.3373 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.1354 0.2709 1 1 0.04211 0.1684 0.3368 0.1796 0.7186 1.437 json
t14_x10_u4_b49 14 10 4 49 cil(pow(mod(D,P),D)) 55911 114093277 o1(o2(o2(x,x),x)) true 106255 106255 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b50 14 10 4 50 cil(pow(lrg(D,P),D)) 55912 114093278 o1(o2(o2(x,x),x)) true 106263 106263 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b51 14 10 4 51 cil(pow(eql(D,P),D)) 55913 114093279 o1(o2(o2(x,x),x)) true 106271 106271 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b52 14 10 4 52 cil(pow(min(D,P),D)) 55914 114093280 o1(o2(o2(x,x),x)) true 106279 106279 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b53 14 10 4 53 cil(pow(dot(D,P),D)) 55915 114093281 o1(o2(o2(x,x),x)) true 106287 106287 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b54 14 10 4 54 cil(pow(dst(D,P),D)) 55916 114093282 o1(o2(o2(x,x),x)) true 106295 106295 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b55 14 10 4 55 cil(mod(add(D,P),D)) 55917 114093283 o1(o2(o2(x,x),x)) true 106303 106303 0.4149 0.4961 0.4149 0.2379 0.4878 0 1 1 1 1.207 0.08813 0 0.09289 1 1 1.239e-8 0.2288 0.1825 0.07949 0.2819 3.035 0.9997 0.3704 0.9616 1 1 0.06626 0.08287 0.07734 0.2785 0.3483 0.3251 json
t14_x10_u4_b56 14 10 4 56 cil(mod(sub(D,P),D)) 55918 114093284 o1(o2(o2(x,x),x)) true 106311 106311 0.4149 0.5117 0.4149 0.2337 0.4834 0 1 1 1 1.38 0.08849 0 0.09542 1 1 1.23e-8 0.2288 0.183 0.07939 0.2818 2.953 0.9997 0.3787 0.9793 1 1 0.06192 0.0807 0.06667 0.265 0.3454 0.2853 json
t14_x10_u4_b57 14 10 4 57 cil(mod(mlt(D,P),D)) 55919 114093285 o1(o2(o2(x,x),x)) true 106319 106319 0.1723 0.2188 0.1723 0.113 0.3361 0 0.9929 0.9929 1 1.195 0.248 0 0.2879 1 1 0 0.8047 0.5632 0.1652 0.4065 1.412 0.9929 2.195 7.122 1 1 0.08882 0.1425 0.02745 0.7861 1.261 0.2429 json
t14_x10_u4_b58 14 10 4 58 cil(mod(div(D,P),D)) 55920 114093286 o1(o2(o2(x,x),x)) true 106327 106327 0.2746 0.7813 0.5246 0.3638 0.6032 -1 0.9997 2 1 3.411 0.09518 0 0.1441 1 1 -0.0001797 0.2116 0.1867 0.07442 0.2728 1.893 1 0.2616 0.5815 1 1 0.09029 0.2843 0.3518 0.2482 0.7814 0.9669 json
t14_x10_u4_b59 14 10 4 59 cil(mod(pow(D,P),D)) 55921 114093287 o1(o2(o2(x,x),x)) true 106335 106335 -0.8828 0.0625 0.9922 0.2128 0.4613 -1 1 2 1 0.3713 0.01587 0 0.01587 1 1 9.461e-10 0.01587 0.01588 0.01562 0.125 7.873 1 0.0746 0.0746 1 1 0.03158 0.1579 0.3053 0.1484 0.742 1.435 json
t14_x10_u4_b60 14 10 4 60 cil(mod(mod(D,P),D)) 55922 114093288 o1(o2(o2(x,x),x)) true 106343 106343 0.04725 0.2188 0.2973 0.2653 0.5151 -1 0.9929 1.993 1 1.691 0.2481 0 0.288 1 1 0.00394 0.7932 0.5594 0.1653 0.4066 1.412 1 0.9352 2.989 1 1 0.102 0.1951 0.2622 0.3844 0.7353 0.9882 json
t14_x10_u4_b61 14 10 4 61 cil(mod(lrg(D,P),D)) 55923 114093289 o1(o2(o2(x,x),x)) true 106351 106351 0.4375 0.5547 0.4375 0.2326 0.4822 0 1 1 1 1.565 0.06009 0 0.06734 1 1 1.239e-8 0.1192 0.1208 0.05558 0.2358 3.501 0.9997 0.2584 0.5124 1 1 0.05933 0.07917 0.05546 0.2551 0.3404 0.2385 json
t14_x10_u4_b62 14 10 4 62 cil(mod(eql(D,P),D)) 55924 114093290 o1(o2(o2(x,x),x)) true 106359 106359 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b63 14 10 4 63 cil(mod(min(D,P),D)) 55925 114093291 o1(o2(o2(x,x),x)) true 106367 106367 0.08613 0.1094 0.08613 0.06385 0.2527 0 0.9929 0.9929 1 0.7168 0.124 0 0.144 1 1 0 0.4024 0.2816 0.1033 0.3213 2.232 0.9929 1.942 6.301 1 1 0.04441 0.07466 0.01372 0.6955 1.169 0.2149 json
t14_x10_u4_b64 14 10 4 64 cil(mod(dot(D,P),D)) 55926 114093292 o1(o2(o2(x,x),x)) true 106375 106375 0.3486 0.8826 0.3486 0.1057 0.3251 0 0.9997 0.9997 1 3.525 0.1074 0.05144 0.2443 0.3522 1 0.001437 0.614 0.4467 0.09913 0.3148 1.289 1.413 1.503 5.81 1 1 0.09862 0.2067 0.06357 0.9333 1.956 0.6016 json
t14_x10_u4_b65 14 10 4 65 cil(mod(dst(D,P),D)) 55927 114093293 o1(o2(o2(x,x),x)) true 106383 106383 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b66 14 10 4 66 cil(lrg(add(D,P),D)) 55928 114093294 o1(o2(o2(x,x),x)) true 106391 106391 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x10_u4_b67 14 10 4 67 cil(lrg(sub(D,P),D)) 55929 114093295 o1(o2(o2(x,x),x)) true 106399 106399 0.4688 0.5 0.4688 0.2423 0.4922 0 1 1 1 1.326 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t14_x10_u4_b68 14 10 4 68 cil(lrg(mlt(D,P),D)) 55930 114093296 o1(o2(o2(x,x),x)) true 106407 106407 0.4375 0.875 0.4375 0.1514 0.3891 0 0.9997 0.9997 1 3.238 0.06044 0 0.1109 1 1 -0.0001797 0.1126 0.1239 0.04813 0.2194 1.978 0.9997 0.3992 0.7441 1 1 0.06377 0.2221 0.06598 0.4212 1.467 0.4359 json
t14_x10_u4_b69 14 10 4 69 cil(lrg(div(D,P),D)) 55931 114093297 o1(o2(o2(x,x),x)) true 106415 106415 0.4688 0.9375 0.4688 0.1475 0.3841 0 0.9997 0.9997 1 3.332 0.0608 0 0.1149 1 1 -4.731e-10 0.1127 0.1248 0.0476 0.2182 1.9 0.9997 0.4121 0.7637 1 1 0.0647 0.2341 0.08075 0.4385 1.587 0.5473 json
t14_x10_u4_b70 14 10 4 70 cil(lrg(pow(D,P),D)) 55932 114093298 o1(o2(o2(x,x),x)) true 106423 106423 0.7813 1 0.7813 0.1235 0.3515 0.000291 1 0.9997 1 2.124 0.03022 0 0.0555 1 1 0.00008984 0.05631 0.06193 0.02713 0.1647 2.967 0.9997 0.2446 0.4558 1 1 0.03318 0.1162 0.03299 0.2686 0.9402 0.267 json
t14_x10_u4_b71 14 10 4 71 cil(lrg(mod(D,P),D)) 55933 114093299 o1(o2(o2(x,x),x)) true 106431 106431 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x10_u4_b72 14 10 4 72 cil(lrg(lrg(D,P),D)) 55934 114093300 o1(o2(o2(x,x),x)) true 106439 106439 0.7813 1 0.7813 0.1235 0.3515 0.000291 1 0.9997 1 2.124 0.03022 0 0.0555 1 1 0.00008984 0.05631 0.06193 0.02713 0.1647 2.967 0.9997 0.2446 0.4558 1 1 0.03318 0.1162 0.03299 0.2686 0.9402 0.267 json
t14_x10_u4_b73 14 10 4 73 cil(lrg(eql(D,P),D)) 55935 114093301 o1(o2(o2(x,x),x)) true 106447 106447 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x10_u4_b74 14 10 4 74 cil(lrg(min(D,P),D)) 55936 114093302 o1(o2(o2(x,x),x)) true 106455 106455 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b75 14 10 4 75 cil(lrg(dot(D,P),D)) 55937 114093303 o1(o2(o2(x,x),x)) true 106463 106463 0.4482 0.9844 0.4482 0.1036 0.3218 0 0.9997 0.9997 1 3.812 0.03333 0.03316 0.1413 0.002487 1 0.0009465 0.2088 0.1762 0.04651 0.2157 1.526 1.413 0.6419 2.016 1 1 0.06932 0.2263 0.06813 0.6693 2.185 0.6578 json
t14_x10_u4_b76 14 10 4 76 cil(lrg(dst(D,P),D)) 55938 114093304 o1(o2(o2(x,x),x)) true 106471 106471 0.9997 1 0.9997 0.00005835 0.007639 0.5586 1 0.4414 1 0.01717 0.00003931 0.000009054 0.0002599 0.6256 0 -1.877e-11 0.0001369 0.0003767 0.00004826 0.006947 26.73 0.4973 0.8289 2.346 1 1 0.00007944 0.0001845 0.0002021 1.361 3.162 3.464 json
t14_x10_u4_b77 14 10 4 77 cil(eql(add(D,P),D)) 55939 114093305 o1(o2(o2(x,x),x)) true 106479 106479 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x10_u4_b78 14 10 4 78 cil(eql(sub(D,P),D)) 55940 114093306 o1(o2(o2(x,x),x)) true 106487 106487 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x10_u4_b79 14 10 4 79 cil(eql(mlt(D,P),D)) 55941 114093307 o1(o2(o2(x,x),x)) true 106495 106495 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x10_u4_b80 14 10 4 80 cil(eql(div(D,P),D)) 55942 114093308 o1(o2(o2(x,x),x)) true 106503 106503 0.0625 0.125 0.0625 0.04507 0.2123 0 0.9997 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x10_u4_b81 14 10 4 81 cil(eql(pow(D,P),D)) 55943 114093309 o1(o2(o2(x,x),x)) true 106511 106511 0.03125 0.0625 0.03125 0.02351 0.1533 0 0.9997 0.9997 1 0.459 0.004319 0 0.007934 1 1 -2.365e-10 0.008002 0.008862 0.004255 0.06523 8.221 0.9997 0.1837 0.3404 1 1 0.00615 0.02664 0.03299 0.2616 1.133 1.403 json
t14_x10_u4_b82 14 10 4 82 cil(eql(mod(D,P),D)) 55944 114093310 o1(o2(o2(x,x),x)) true 106519 106519 0.9375 1 0.9375 0.04507 0.2123 0.000291 1 0.9997 1 0.8126 0.0007059 0 0.007934 1 1 -9.461e-10 0.00003241 0.001855 0.0006433 0.02536 3.197 0.1169 0.01566 0.0007193 1 1 0.001851 0.02408 0.06598 0.04107 0.5344 1.464 json
t14_x10_u4_b83 14 10 4 83 cil(eql(lrg(D,P),D)) 55945 114093311 o1(o2(o2(x,x),x)) true 106527 106527 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b84 14 10 4 84 cil(eql(eql(D,P),D)) 55946 114093312 o1(o2(o2(x,x),x)) true 106535 106535 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b85 14 10 4 85 cil(eql(min(D,P),D)) 55947 114093313 o1(o2(o2(x,x),x)) true 106543 106543 0.5 0.5625 0.5 0.2365 0.4863 0 1 1 1 1.577 0.00467 0 0.0119 1 1 -4.731e-10 0.008068 0.009787 0.004528 0.06729 5.654 0.9994 0.01975 0.03412 1 1 0.007036 0.03244 0.06598 0.02976 0.1372 0.279 json
t14_x10_u4_b86 14 10 4 86 cil(eql(dot(D,P),D)) 55948 114093314 o1(o2(o2(x,x),x)) true 106551 106551 0.01216 0.03226 0.01216 0.008676 0.09314 0 0.9994 0.9994 1 0.2336 0.01281 0.01279 0.02743 0.0009992 1 -0.000005323 0.1439 0.06608 0.02484 0.1576 5.745 1.413 2.951 16.59 1 1 0.01535 0.01846 0.02309 1.769 2.128 2.661 json
t14_x10_u4_b87 14 10 4 87 cil(eql(dst(D,P),D)) 55949 114093315 o1(o2(o2(x,x),x)) true 106559 106559 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b88 14 10 4 88 cil(min(add(D,P),D)) 55950 114093316 o1(o2(o2(x,x),x)) true 106567 106567 -0.1875 0.5 0.6875 0.5982 0.7735 -1 0.9997 2 1 2.823 0.0385 0 0.0674 1 1 -0.00008984 0.0723 0.07873 0.03395 0.1843 2.734 1 0.06436 0.1209 1 1 0.04456 0.1575 0.1593 0.07448 0.2633 0.2663 json
t14_x10_u4_b89 14 10 4 89 cil(min(sub(D,P),D)) 55951 114093317 o1(o2(o2(x,x),x)) true 106575 106575 -0.166 0.5313 0.709 0.6159 0.7848 -1 0.9997 2 1 3.224 0.04055 0 0.0792 1 1 0.00008985 0.0728 0.08237 0.03427 0.1851 2.337 0.9994 0.06584 0.1182 1 1 0.04707 0.1738 0.1516 0.07642 0.2821 0.2462 json
t14_x10_u4_b90 14 10 4 90 cil(min(mlt(D,P),D)) 55952 114093318 o1(o2(o2(x,x),x)) true 106583 106583 -0.1644 0.2852 0.4121 0.3055 0.5527 -1 0.9994 1.999 1 3.855 0.08434 0 0.1608 1 1 0.00761 0.1586 0.2165 0.05846 0.2418 1.503 0.9994 0.2761 0.519 1 1 0.08047 0.3011 0.07719 0.2634 0.9856 0.2527 json
t14_x10_u4_b91 14 10 4 91 cil(min(div(D,P),D)) 55953 114093319 o1(o2(o2(x,x),x)) true 106591 106591 0.1875 0.5 0.3125 0.2232 0.4724 -1 0.9997 2 1 2.617 0.05041 0 0.07137 1 1 -0.00008984 0.09617 0.08667 0.04532 0.2129 2.983 2 0.2258 0.4309 1 1 0.06031 0.2141 0.1593 0.2702 0.9592 0.7138 json
t14_x10_u4_b92 14 10 4 92 cil(min(pow(D,P),D)) 55954 114093320 o1(o2(o2(x,x),x)) true 106599 106599 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x10_u4_b93 14 10 4 93 cil(min(mod(D,P),D)) 55955 114093321 o1(o2(o2(x,x),x)) true 106607 106607 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x10_u4_b94 14 10 4 94 cil(min(lrg(D,P),D)) 55956 114093322 o1(o2(o2(x,x),x)) true 106615 106615 0.2813 0.5625 0.2813 0.1413 0.3759 0 0.9997 0.9997 1 2.519 0.03488 0 0.06731 1 1 0.00008984 0.06442 0.07172 0.03035 0.1742 2.588 0.9994 0.2469 0.456 1 1 0.03759 0.1321 0.03299 0.266 0.935 0.2335 json
t14_x10_u4_b95 14 10 4 95 cil(min(eql(D,P),D)) 55957 114093323 o1(o2(o2(x,x),x)) true 106623 106623 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b96 14 10 4 96 cil(min(min(D,P),D)) 55958 114093324 o1(o2(o2(x,x),x)) true 106631 106631 -0.25 0.4375 0.6875 0.5709 0.7556 -1 0.9997 2 1 3.025 0.03057 0 0.05947 1 1 -0.00008984 0.05632 0.06286 0.02704 0.1644 2.765 0.9997 0.05354 0.09866 1 1 0.03411 0.1283 0.1411 0.05974 0.2247 0.2471 json
t14_x10_u4_b97 14 10 4 97 cil(min(dot(D,P),D)) 55959 114093325 o1(o2(o2(x,x),x)) true 106639 106639 -0.4169 0.2075 0.5683 0.2925 0.5408 -1 0.9991 1.999 1 4.162 0.07032 0.05281 0.228 0.1422 1 0.00476 0.3721 0.3659 0.07114 0.2667 1.17 1.413 0.421 1.272 1 1 0.1225 0.4252 0.1027 0.4189 1.454 0.351 json
t14_x10_u4_b98 14 10 4 98 cil(min(dst(D,P),D)) 55960 114093326 o1(o2(o2(x,x),x)) true 106647 106647 0.5 1 0.5 0.1418 0.3765 0.000291 0.9997 0.9994 1 3.406 0.06511 0 0.1228 1 1 0 0.1208 0.1337 0.05001 0.2236 1.821 0.9994 0.4593 0.8522 1 1 0.07073 0.2419 0 0.4989 1.706 0 json
t14_x10_u4_b99 14 10 4 99 cil(dot(add(D,P),D)) 55961 114093327 o1(o2(o2(x,x),x)) true 106655 106655 0.3722 0.7646 0.5833 0.3259 0.5709 -1 1 2 1 4.369 0.08126 0.08126 0.2963 -0.000003805 1 0.00547 0.5688 0.5275 0.07474 0.2734 0.9227 1.413 0.4987 1.745 1 1 0.1334 0.4623 0.1045 0.4094 1.419 0.3205 json
t14_x10_u4_b100 14 10 4 100 cil(dot(sub(D,P),D)) 55962 114093328 o1(o2(o2(x,x),x)) true 106663 106663 0.715 0.9236 0.7729 0.1908 0.4368 -1 1 2 1 2.887 0.06543 0.06543 0.2182 2.847e-7 1 -0.0006542 0.4766 0.4022 0.08325 0.2885 1.322 1.412 0.6859 2.498 1 1 0.09519 0.2803 0.07159 0.4989 1.469 0.3752 json
t14_x10_u4_b101 14 10 4 101 cil(dot(mlt(D,P),D)) 55963 114093329 o1(o2(o2(x,x),x)) true 106671 106671 0.3333 0.577 0.6572 0.4823 0.6945 -1 1 2 1 3.354 0.04278 0.04278 0.1398 -0.000004224 1 0.0003323 0.2612 0.2354 0.06601 0.2569 1.838 1.576 0.1774 0.5416 1 1 0.0823 0.2421 0.1097 0.1706 0.502 0.2275 json
t14_x10_u4_b102 14 10 4 102 cil(dot(div(D,P),D)) 55964 114093330 o1(o2(o2(x,x),x)) true 106679 106679 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b103 14 10 4 103 cil(dot(pow(D,P),D)) 55965 114093331 o1(o2(o2(x,x),x)) true 106687 106687 -0.9931 0.003906 0.9991 0.01267 0.1126 -1 1 2 1 0.04786 0.001625 0.001625 0.001961 -1.075e-7 1 -3.004e-11 0.006909 0.003717 0.003244 0.05696 29.04 2 0.2565 0.5452 1 1 0.005747 0.02378 0.04616 0.4535 1.877 3.643 json
t14_x10_u4_b104 14 10 4 104 cil(dot(mod(D,P),D)) 55966 114093332 o1(o2(o2(x,x),x)) true 106695 106695 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b105 14 10 4 105 cil(dot(lrg(D,P),D)) 55967 114093333 o1(o2(o2(x,x),x)) true 106703 106703 0.4164 0.7966 0.4164 0.1465 0.3828 0 1 1 1 3.362 0.03109 0.03109 0.1097 2.996e-7 1 -0.00004121 0.1797 0.1379 0.05012 0.2239 2.041 1.413 0.4243 1.227 1 1 0.06273 0.1943 0.04676 0.4281 1.326 0.3191 json
t14_x10_u4_b106 14 10 4 106 cil(dot(eql(D,P),D)) 55968 114093334 o1(o2(o2(x,x),x)) true 106711 106711 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b107 14 10 4 107 cil(dot(min(D,P),D)) 55969 114093335 o1(o2(o2(x,x),x)) true 106719 106719 0.5167 0.8351 0.6606 0.3032 0.5506 -1 1 2 1 3.656 0.04923 0.04924 0.1892 -0.000007264 1 0.00386 0.2929 0.3176 0.06268 0.2504 1.323 1.413 0.3248 0.9661 1 1 0.08451 0.2777 0.07143 0.2788 0.916 0.2356 json
t14_x10_u4_b108 14 10 4 108 cil(dot(dot(D,P),D)) 55970 114093336 o1(o2(o2(x,x),x)) true 106727 106727 0.3091 0.6148 0.6497 0.4825 0.6946 -1 1 2 1 3.665 0.06834 0.06834 0.1932 -3.816e-7 1 0.000191 0.4999 0.372 0.09934 0.3152 1.632 1.485 0.2833 1.036 1 1 0.1261 0.3165 0.1076 0.2615 0.656 0.223 json
t14_x10_u4_b109 14 10 4 109 cil(dot(dst(D,P),D)) 55971 114093337 o1(o2(o2(x,x),x)) true 106735 106735 0.3096 0.7062 0.6473 0.4491 0.6701 -1 1 2 1 4.189 0.1139 0.1139 0.3402 0.000001373 1 0.0005721 0.9746 0.6904 0.1121 0.3349 0.9843 1.414 0.5074 2.17 1 1 0.1827 0.6553 0.0759 0.4067 1.459 0.169 json
t14_x10_u4_b110 14 10 4 110 cil(dst(add(D,P),D)) 55972 114093338 o1(o2(o2(x,x),x)) true 106743 106743 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t14_x10_u4_b111 14 10 4 111 cil(dst(sub(D,P),D)) 55973 114093339 o1(o2(o2(x,x),x)) true 106751 106751 0.9967 1 0.9967 0.002206 0.04697 0.0005821 1 0.9994 1 0.08493 0.00004482 0.00004482 0.0007972 -5.682e-7 0 -1.502e-11 0.00002627 0.0002729 0.00008892 0.00943 11.83 0.1653 0.04063 0.01191 1 1 0.0003021 0.00348 0.008043 0.1369 1.578 3.646 json
t14_x10_u4_b112 14 10 4 112 cil(dst(mlt(D,P),D)) 55974 114093340 o1(o2(o2(x,x),x)) true 106759 106759 0.9961 1 0.9961 0.00237 0.04868 0.0005821 1 0.9994 1 0.1068 0.00003493 0.00003493 0.0008403 4.166e-7 0 -1.333e-10 0.000005074 0.0002156 0.00006906 0.00831 9.889 0.1173 0.02948 0.002141 1 1 0.0002426 0.003158 0.008659 0.1024 1.333 3.654 json
t14_x10_u4_b113 14 10 4 113 cil(dst(div(D,P),D)) 55975 114093341 o1(o2(o2(x,x),x)) true 106767 106767 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b114 14 10 4 114 cil(dst(pow(D,P),D)) 55976 114093342 o1(o2(o2(x,x),x)) true 106775 106775 -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.004025 0.06344 31.77 2.828 0.259 0.5504 1 1 0.007091 0.02837 0.05673 0.4556 1.823 3.645 json
t14_x10_u4_b115 14 10 4 115 cil(dst(mod(D,P),D)) 55977 114093343 o1(o2(o2(x,x),x)) true 106783 106783 -1 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b116 14 10 4 116 cil(dst(lrg(D,P),D)) 55978 114093344 o1(o2(o2(x,x),x)) true 106791 106791 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b117 14 10 4 117 cil(dst(eql(D,P),D)) 55979 114093345 o1(o2(o2(x,x),x)) true 106799 106799 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b118 14 10 4 118 cil(dst(min(D,P),D)) 55980 114093346 o1(o2(o2(x,x),x)) true 106807 106807 0.7598 0.8086 0.7598 0.1723 0.4151 0 1 1 1 1.233 0.002384 0.002384 0.01148 -0.000002442 1 3.488e-9 0.007955 0.01044 0.004636 0.06809 5.933 1.413 0.02767 0.04616 1 1 0.007307 0.02822 0.06622 0.0424 0.1638 0.3842 json
t14_x10_u4_b119 14 10 4 119 cil(dst(dot(D,P),D)) 55981 114093347 o1(o2(o2(x,x),x)) true 106815 106815 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u4_b120 14 10 4 120 cil(dst(dst(D,P),D)) 55982 114093348 o1(o2(o2(x,x),x)) true 106823 106823 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 json
t14_x10_u5_b0 14 10 5 0 sgn(add(add(D,P),D)) 55983 114093429 o1(o2(o2(x,x),x)) true 106831 106831 0 0.5 0.9806 0.9729 0.9864 -1 1 2 1 1.329 0.02324 0 0.02195 1 1 0 0.04817 0.03348 0.02276 0.1509 6.875 1.999 0.02389 0.04951 1 1 0.0297 0.04857 0.3004 0.03053 0.04992 0.3087 json
t14_x10_u5_b1 14 10 5 1 sgn(add(sub(D,P),D)) 55984 114093430 o1(o2(o2(x,x),x)) true 106839 106839 0 0.5 0.9417 0.9188 0.9585 -1 1 2 1 1.793 0.02606 0 0.03782 1 1 0 0.0483 0.03719 0.02463 0.157 4.15 1.999 0.02837 0.05257 1 1 0.03711 0.1457 0.2639 0.04039 0.1586 0.2873 json
t14_x10_u5_b2 14 10 5 2 sgn(add(mlt(D,P),D)) 55985 114093431 o1(o2(o2(x,x),x)) true 106847 106847 -0.0625 0.4375 0.6653 0.5412 0.7356 -0.9997 0.9994 1.999 1 3.711 0.2425 0 0.2297 1 1 -0.0003594 0.4508 0.2496 0.1897 0.4355 1.896 1.999 0.448 0.833 1 1 0.2568 0.8873 0.1615 0.4745 1.64 0.2984 json
t14_x10_u5_b3 14 10 5 3 sgn(add(div(D,P),D)) 55986 114093432 o1(o2(o2(x,x),x)) true 106855 106855 3.716e-9 0.5 0.6653 0.5452 0.7384 -0.9997 0.9997 1.999 1 3.784 0.2425 0 0.2297 1 1 0 0.4508 0.2496 0.1897 0.4355 1.896 1.999 0.4447 0.8269 1 1 0.2568 0.8877 0.06598 0.471 1.628 0.121 json
t14_x10_u5_b4 14 10 5 4 sgn(add(pow(D,P),D)) 55987 114093433 o1(o2(o2(x,x),x)) true 106863 106863 0.0625 0.5313 0.7083 0.5901 0.7682 -0.9994 1 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t14_x10_u5_b5 14 10 5 5 sgn(add(mod(D,P),D)) 55988 114093434 o1(o2(o2(x,x),x)) true 106871 106871 -0.0625 0.4688 0.7083 0.5901 0.7682 -1 0.9994 1.999 1 3.332 0.2432 0 0.2297 1 1 0 0.4509 0.2496 0.1904 0.4364 1.9 1.999 0.4121 0.764 1 1 0.2586 0.9117 0.132 0.4383 1.545 0.2236 json
t14_x10_u5_b6 14 10 5 6 sgn(add(lrg(D,P),D)) 55989 114093435 o1(o2(o2(x,x),x)) true 106879 106879 0.4375 0.7188 0.825 0.5651 0.7517 -0.9994 1 1.999 1 2.519 0.1395 0 0.1348 1 1 -0.0001797 0.2577 0.1434 0.1213 0.3483 2.584 1.999 0.2469 0.456 1 1 0.1607 0.569 0.132 0.2844 1.007 0.2335 json
t14_x10_u5_b7 14 10 5 7 sgn(add(eql(D,P),D)) 55990 114093436 o1(o2(o2(x,x),x)) true 106887 106887 -1.819e-12 0.5 0.6889 0.5671 0.753 -0.9994 0.9994 1.999 1 3.406 0.2604 0 0.2456 1 1 0 0.4833 0.2673 0.2 0.4473 1.821 1.999 0.4593 0.8522 1 1 0.2829 0.9676 0 0.4989 1.706 0 json
t14_x10_u5_b8 14 10 5 8 sgn(add(min(D,P),D)) 55991 114093437 o1(o2(o2(x,x),x)) true 106895 106895 -0.5 0.25 0.8444 0.5335 0.7304 -1 0.9994 1.999 1 2.329 0.1381 0 0.1269 1 1 -0.0001797 0.2574 0.1416 0.122 0.3493 2.753 1.999 0.2589 0.4825 1 1 0.1572 0.5458 0.132 0.2946 1.023 0.2473 json
t14_x10_u5_b9 14 10 5 9 sgn(add(dot(D,P),D)) 55992 114093438 o1(o2(o2(x,x),x)) true 106903 106903 -0.0914 0.437 0.5644 0.4041 0.6357 -1 0.9994 1.999 1 4.369 0.1209 0.12 0.2785 0.003534 1 0.001888 0.6925 0.3203 0.1634 0.4042 1.451 2.817 0.5962 1.713 1 1 0.2641 0.8935 0.2397 0.6535 2.211 0.5931 json
t14_x10_u5_b10 14 10 5 10 sgn(add(dst(D,P),D)) 55993 114093439 o1(o2(o2(x,x),x)) true 106911 106911 0.9995 1 0.9995 0.0002334 0.01528 0.1171 1 0.8829 1 0.0248 0.0001572 0.00003621 0.0005198 0.6256 1 -2.027e-10 0.0005476 0.0007535 0.0001931 0.01389 26.73 1.157 0.8289 2.346 1 1 0.0003177 0.0007379 0.0008084 1.361 3.162 3.464 json
t14_x10_u5_b11 14 10 5 11 sgn(sub(add(D,P),D)) 55994 114093440 o1(o2(o2(x,x),x)) true 106919 106919 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
t14_x10_u5_b12 14 10 5 12 sgn(sub(sub(D,P),D)) 55995 114093441 o1(o2(o2(x,x),x)) true 106927 106927 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
t14_x10_u5_b13 14 10 5 13 sgn(sub(mlt(D,P),D)) 55996 114093442 o1(o2(o2(x,x),x)) true 106935 106935 -0.0625 0.4375 0.6653 0.5412 0.7356 -0.9997 0.9994 1.999 1 3.711 0.2425 0 0.2297 1 1 -0.0003594 0.4508 0.2496 0.1897 0.4355 1.896 1.999 0.448 0.833 1 1 0.2568 0.8873 0.1615 0.4745 1.64 0.2984 json
t14_x10_u5_b14 14 10 5 14 sgn(sub(div(D,P),D)) 55997 114093443 o1(o2(o2(x,x),x)) true 106943 106943 -5.457e-12 0.5313 0.6847 0.5722 0.7565 -1 0.9997 2 1 3.642 0.2411 0 0.2218 1 1 -9.461e-10 0.4503 0.2478 0.1918 0.438 1.975 2 0.4213 0.787 1 1 0.2534 0.8899 0.3117 0.4428 1.555 0.5447 json
t14_x10_u5_b15 14 10 5 15 sgn(sub(pow(D,P),D)) 55998 114093444 o1(o2(o2(x,x),x)) true 106951 106951 -0.3566 0.3125 0.8261 0.633 0.7956 -1 1 2 1 2.693 0.1411 0 0.1429 1 1 0.0001797 0.2817 0.1708 0.1207 0.3474 2.431 1.999 0.2228 0.4449 1 1 0.1386 0.4806 0.2689 0.2189 0.7591 0.4248 json
t14_x10_u5_b16 14 10 5 16 sgn(sub(mod(D,P),D)) 55999 114093445 o1(o2(o2(x,x),x)) true 106959 106959 -0.0625 0 0.0625 0.04507 0.2123 -0.9997 0 0.9997 1 0.9693 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