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
t16_x2_u0_b78 16 2 0 78 eql(P,sqt(sub(P,R))) 76400 130010496 o2(x,o1(o2(x,x))) true 99207 99207 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
t16_x2_u0_b79 16 2 0 79 eql(P,sqt(mlt(P,R))) 76401 130010497 o2(x,o1(o2(x,x))) true 99215 99215 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
t16_x2_u0_b80 16 2 0 80 eql(P,sqt(div(P,R))) 76402 130010498 o2(x,o1(o2(x,x))) true 99223 99223 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
t16_x2_u0_b81 16 2 0 81 eql(P,sqt(pow(P,R))) 76403 130010499 o2(x,o1(o2(x,x))) true 99231 99231 0.08984 0.1628 0.08984 0.06626 0.2574 0 1 1 1 1.008 0.0006768 0.0001053 0.008948 0.7306 1 -0.000005705 0.00003877 0.002115 0.0007021 0.0265 2.961 0.1169 0.0118 0.0005851 1 1 0.002072 0.02707 0.115 0.03127 0.4086 1.736 json
t16_x2_u0_b82 16 2 0 82 eql(P,sqt(mod(P,R))) 76404 130010500 o2(x,o1(o2(x,x))) true 99239 99239 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
t16_x2_u0_b83 16 2 0 83 eql(P,sqt(lrg(P,R))) 76405 130010501 o2(x,o1(o2(x,x))) true 99247 99247 0.08984 0.1628 0.08984 0.06626 0.2574 0 1 1 1 1.008 0.0006768 0.0001053 0.008948 0.7306 1 -0.000005705 0.00003877 0.002115 0.0007021 0.0265 2.961 0.1169 0.0118 0.0005851 1 1 0.002072 0.02707 0.115 0.03127 0.4086 1.736 json
t16_x2_u0_b84 16 2 0 84 eql(P,sqt(eql(P,R))) 76406 130010502 o2(x,o1(o2(x,x))) true 99255 99255 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
t16_x2_u0_b85 16 2 0 85 eql(P,sqt(min(P,R))) 76407 130010503 o2(x,o1(o2(x,x))) true 99263 99263 0.02734 0.07556 0.02734 0.01868 0.1367 0 0.9997 0.9997 1 0.4881 0.0002846 0.0001053 0.004539 0.4597 1 -0.000005705 0.00002084 0.001084 0.0003695 0.01922 4.235 0.1169 0.02087 0.001115 1 1 0.001069 0.01392 0.04488 0.0572 0.7453 2.402 json
t16_x2_u0_b86 16 2 0 86 eql(P,sqt(dot(P,R))) 76408 130010504 o2(x,o1(o2(x,x))) true 99271 99271 0.003906 0.01477 0.003906 0.002383 0.04882 0 0.9994 0.9994 1 0.1068 0.00003512 0.00003512 0.0008419 7.252e-7 0 -5.638e-14 0.000004222 0.000206 0.00006942 0.008332 9.897 0.1169 0.02947 0.001772 1 1 0.0002443 0.003178 0.008708 0.1025 1.334 3.654 json
t16_x2_u0_b87 16 2 0 87 eql(P,sqt(dst(P,R))) 76409 130010505 o2(x,o1(o2(x,x))) true 99279 99279 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
t16_x2_u0_b88 16 2 0 88 min(P,sqt(add(P,R))) 76410 130010506 o2(x,o1(o2(x,x))) true 99287 99287 -0.004883 0.5 0.9326 0.9175 0.9578 -1 1 2 1 1.918 0.00067 0.0000155 0.008169 0.9548 1 -0.000005841 0.00003886 0.002009 0.0006185 0.02487 3.045 0.1169 0.0007472 0.00004235 1 1 0.001768 0.02325 0.2262 0.001928 0.02534 0.2465 json
t16_x2_u0_b89 16 2 0 89 min(P,sqt(sub(P,R))) 76411 130010507 o2(x,o1(o2(x,x))) true 99295 99295 -0.01475 0.4997 0.9227 0.9044 0.951 -1 1 2 1 2.006 0.0006412 0.00004684 0.008545 0.8638 1 0.000004479 0.00005263 0.002201 0.0006148 0.0248 2.902 0.1331 0.0007608 0.0000582 1 1 0.001815 0.02337 0.2163 0.002007 0.02584 0.2392 json
t16_x2_u0_b90 16 2 0 90 min(P,sqt(mlt(P,R))) 76412 130010508 o2(x,o1(o2(x,x))) true 99303 99303 -0.009859 0.4998 0.9276 0.9094 0.9536 -1 1 2 1 2.018 0.0007082 0.0001215 0.009462 0.7072 1 -0.000002452 0.0001541 0.003209 0.0007397 0.0272 2.874 0.3091 0.0009123 0.0001694 1 1 0.001967 0.02477 0.2227 0.002163 0.02723 0.2449 json
t16_x2_u0_b91 16 2 0 91 min(P,sqt(div(P,R))) 76413 130010509 o2(x,o1(o2(x,x))) true 99311 99311 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
t16_x2_u0_b92 16 2 0 92 min(P,sqt(pow(P,R))) 76414 130010510 o2(x,o1(o2(x,x))) true 99319 99319 -0.04654 0.5 0.891 0.8438 0.9186 -1 1 2 1 2.686 0.0008811 0.0002225 0.01521 0.5967 1 -0.00002323 0.0001636 0.005065 0.0008725 0.02954 1.942 0.1872 0.001308 0.0001938 1 1 0.002392 0.0298 0.2415 0.002835 0.03532 0.2862 json
t16_x2_u0_b93 16 2 0 93 min(P,sqt(mod(P,R))) 76415 130010511 o2(x,o1(o2(x,x))) true 99327 99327 -0.2629 0.4985 0.6746 0.4957 0.7041 -1 0.8937 1.894 1 3.201 0.0005837 0.0001721 0.0155 0.5445 1 0.000004413 0.0000392 0.003541 0.0005156 0.02271 1.465 0.1169 0.001525 0.00007907 1 1 0.001688 0.02221 0.1477 0.003406 0.0448 0.2979 json
t16_x2_u0_b94 16 2 0 94 min(P,sqt(lrg(P,R))) 76416 130010512 o2(x,o1(o2(x,x))) true 99335 99335 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
t16_x2_u0_b95 16 2 0 95 min(P,sqt(eql(P,R))) 76417 130010513 o2(x,o1(o2(x,x))) true 99343 99343 -0.4688 0 0.4688 0.2423 0.4922 -1 0 1 1 1.406 0.0003529 0 0.003968 1 1 4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001457 0.00006684 1 1 0.0009255 0.01214 0.0751 0.00382 0.05012 0.31 json
t16_x2_u0_b96 16 2 0 96 min(P,sqt(min(P,R))) 76418 130010514 o2(x,o1(o2(x,x))) true 99351 99351 -0.02677 0.4998 0.9107 0.8812 0.9387 -1 1 2 1 2.338 0.0009433 0.0006062 0.01476 0.2176 1 -0.00006096 0.0006469 0.007463 0.001332 0.0365 2.472 0.4216 0.001758 0.0007341 1 1 0.002744 0.02962 0.2257 0.003113 0.03361 0.2561 json
t16_x2_u0_b97 16 2 0 97 min(P,sqt(dot(P,R))) 76419 130010515 o2(x,o1(o2(x,x))) true 99359 99359 -0.00885 0.5 0.9287 0.9107 0.9543 -1 1 2 1 1.977 0.0007891 0.0001262 0.009789 0.7242 1 2.534e-10 0.0001728 0.003193 0.0008192 0.02862 2.924 0.3046 0.001005 0.0001898 1 1 0.002265 0.02715 0.2283 0.002487 0.02982 0.2507 json
t16_x2_u0_b98 16 2 0 98 min(P,sqt(dst(P,R))) 76420 130010516 o2(x,o1(o2(x,x))) true 99367 99367 -0.0006672 0.5 0.9368 0.9229 0.9607 -1 1 2 1 1.834 0.0006991 0.000001512 0.00797 0.9957 1 1.45e-10 0.00003335 0.001884 0.0006371 0.02524 3.167 0.1169 0.0007591 0.00003613 1 1 0.001832 0.0242 0.2327 0.001985 0.02622 0.2521 json
t16_x2_u0_b99 16 2 0 99 dot(P,sqt(add(P,R))) 76421 130010517 o2(x,o1(o2(x,x))) true 99375 99375 -0.5859 0.207 1 0.6568 0.8104 -1 1 2 1 0.7366 0.01095 0.008932 0.009914 0.1013 1 0 0.04113 0.01989 0.01979 0.1407 14.19 2.828 0.03027 0.06262 1 1 0.02633 0.1054 0.3784 0.04009 0.1605 0.5762 json
t16_x2_u0_b100 16 2 0 100 dot(P,sqt(sub(P,R))) 76422 130010518 o2(x,o1(o2(x,x))) true 99383 99383 -0.5782 0.2109 0.9999 0.6656 0.8159 -1 1 2 1 0.7499 0.007899 0.008811 0.008415 -0.05458 1 -4.806e-10 0.03401 0.01682 0.01664 0.129 15.33 2.828 0.0251 0.05109 1 1 0.02165 0.0899 0.3637 0.03253 0.1351 0.5464 json
t16_x2_u0_b101 16 2 0 101 dot(P,sqt(mlt(P,R))) 76423 130010519 o2(x,o1(o2(x,x))) true 99391 99391 -0.9845 0.007813 0.9999 0.03049 0.1746 -1 1 2 1 0.07028 0.003915 0.001908 0.002992 0.3446 1 0 0.0121 0.005948 0.005811 0.07623 25.48 2.828 0.191 0.3967 1 1 0.01025 0.04167 0.1116 0.3363 1.367 3.659 json
t16_x2_u0_b102 16 2 0 102 dot(P,sqt(div(P,R))) 76424 130010520 o2(x,o1(o2(x,x))) true 99399 99399 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.004031 0.002016 0.003005 0.3333 1 0 0.0126 0.006047 0.006035 0.07769 25.85 2.828 0.195 0.4063 1 1 0.01064 0.04255 0.1135 0.3431 1.372 3.659 json
t16_x2_u0_b103 16 2 0 103 dot(P,sqt(pow(P,R))) 76425 130010521 o2(x,o1(o2(x,x))) true 99407 99407 -0.5859 0.207 1 0.6568 0.8105 -1 1 2 1 0.7358 0.01096 0.008944 0.009915 0.1013 1 0 0.04119 0.0199 0.01982 0.1408 14.2 2.828 0.0303 0.06272 1 1 0.02637 0.1055 0.3785 0.04015 0.1606 0.5763 json
t16_x2_u0_b104 16 2 0 104 dot(P,sqt(mod(P,R))) 76426 130010522 o2(x,o1(o2(x,x))) true 99415 99415 -0.5087 0.25 0.9913 0.7288 0.8537 -1 1 2 1 0.9802 0.006196 0.006432 0.008163 -0.0187 1 6.007e-11 0.02509 0.01445 0.01256 0.1121 13.73 2 0.01733 0.03442 1 1 0.01547 0.06689 0.299 0.02123 0.09178 0.4102 json
t16_x2_u0_b105 16 2 0 105 dot(P,sqt(lrg(P,R))) 76427 130010523 o2(x,o1(o2(x,x))) true 99423 99423 0.7179 0.75 0.7179 0.1953 0.4419 0 1 1 1 1.194 0.0001877 0.0001877 0.004161 0.000001047 1 -5.744e-10 0.00002276 0.0009958 0.0003579 0.01892 4.547 0.1653 0.001922 0.0001166 1 1 0.001001 0.01303 0.08014 0.005127 0.06671 0.4104 json
t16_x2_u0_b106 16 2 0 106 dot(P,sqt(eql(P,R))) 76428 130010524 o2(x,o1(o2(x,x))) true 99431 99431 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
t16_x2_u0_b107 16 2 0 107 dot(P,sqt(min(P,R))) 76429 130010525 o2(x,o1(o2(x,x))) true 99439 99439 -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
t16_x2_u0_b108 16 2 0 108 dot(P,sqt(dot(P,R))) 76430 130010526 o2(x,o1(o2(x,x))) true 99447 99447 -0.9307 0.03516 0.999 0.1325 0.364 -1 1 2 1 0.2384 0.01438 0.01017 0.01267 0.1716 1 0 0.05135 0.0251 0.02438 0.1561 12.32 2.828 0.1852 0.3874 1 1 0.0287 0.1175 0.3487 0.2165 0.8868 2.631 json
t16_x2_u0_b109 16 2 0 109 dot(P,sqt(dst(P,R))) 76431 130010527 o2(x,o1(o2(x,x))) true 99455 99455 0.0007933 0.5002 0.9652 0.9562 0.9779 -1 1 2 1 1.546 0.001486 0.001487 0.01223 -0.0002 1 -8.708e-7 0.001042 0.005269 0.002826 0.05316 4.347 0.5453 0.00311 0.00109 1 1 0.006611 0.06911 0.4916 0.006913 0.07228 0.5141 json
t16_x2_u0_b110 16 2 0 110 dst(P,sqt(add(P,R))) 76432 130010528 o2(x,o1(o2(x,x))) true 99463 99463 -0.5865 0.207 0.9994 0.655 0.8093 -1 1 2 1 0.7658 0.01059 0.008924 0.009947 0.08538 1 -1.201e-10 0.04039 0.01974 0.01942 0.1394 14.01 2.828 0.02979 0.06167 1 1 0.02569 0.1033 0.3735 0.03923 0.1578 0.5703 json
t16_x2_u0_b111 16 2 0 111 dst(P,sqt(sub(P,R))) 76433 130010529 o2(x,o1(o2(x,x))) true 99471 99471 -0.5783 0.2109 0.9998 0.6653 0.8157 -1 1 2 1 0.7554 0.007937 0.008795 0.00844 -0.05126 1 1.201e-10 0.03409 0.01683 0.01666 0.1291 15.29 2.828 0.02515 0.05123 1 1 0.02168 0.08984 0.3633 0.03259 0.135 0.5461 json
t16_x2_u0_b112 16 2 0 112 dst(P,sqt(mlt(P,R))) 76434 130010530 o2(x,o1(o2(x,x))) true 99479 99479 -0.9775 0.01172 0.999 0.04295 0.2072 -1 1 2 1 0.1065 0.005605 0.003498 0.004865 0.2315 1 0 0.01905 0.009545 0.009073 0.09525 19.58 2.828 0.212 0.4435 1 1 0.01405 0.05727 0.1409 0.3271 1.333 3.282 json
t16_x2_u0_b113 16 2 0 113 dst(P,sqt(div(P,R))) 76435 130010531 o2(x,o1(o2(x,x))) true 99487 99487 -0.9775 0.01172 0.999 0.04285 0.207 -1 1 2 1 0.1106 0.005498 0.003618 0.004893 0.2062 1 -1.239e-10 0.0191 0.009611 0.009086 0.09532 19.48 2.828 0.2128 0.4458 1 1 0.01407 0.05774 0.1406 0.3284 1.347 3.281 json
t16_x2_u0_b114 16 2 0 114 dst(P,sqt(pow(P,R))) 76436 130010532 o2(x,o1(o2(x,x))) true 99495 99495 -0.9688 0.01563 1 0.06152 0.248 -1 1 2 1 0.1161 0.006047 0.008062 0.006999 -0.1429 1 0 0.02973 0.01411 0.01406 0.1186 16.94 2.828 0.2293 0.4832 1 1 0.009695 0.04659 0.07003 0.1576 0.7573 1.138 json
t16_x2_u0_b115 16 2 0 115 dst(P,sqt(mod(P,R))) 76437 130010533 o2(x,o1(o2(x,x))) true 99503 99503 -0.5021 0.25 0.9979 0.745 0.8631 -1 1 2 1 0.8635 0.007194 0.007334 0.007848 -0.009623 1 2.628e-11 0.02904 0.01514 0.01447 0.1203 15.33 2 0.0195 0.03898 1 1 0.01873 0.07666 0.3262 0.02514 0.1029 0.4378 json
t16_x2_u0_b116 16 2 0 116 dst(P,sqt(lrg(P,R))) 76438 130010534 o2(x,o1(o2(x,x))) true 99511 99511 0.9972 1 0.9972 0.00183 0.04278 0.0007026 1 0.9993 1 0.07108 0.00004902 0.00003801 0.0007251 0.1266 0 7.133e-11 0.00001603 0.0002654 0.00008648 0.009299 12.82 0.1654 0.04756 0.008762 1 1 0.0002949 0.003261 0.006672 0.1612 1.782 3.647 json
t16_x2_u0_b117 16 2 0 117 dst(P,sqt(eql(P,R))) 76439 130010535 o2(x,o1(o2(x,x))) true 99519 99519 0.9964 1 0.9964 0.002289 0.04784 0.000582 1 0.9994 1 0.09109 0.00003966 0.00003966 0.0008105 5.503e-7 0 -4.881e-11 0.00001004 0.0002297 0.00007859 0.008865 10.94 0.1294 0.03466 0.004388 1 1 0.0002733 0.00336 0.008351 0.1194 1.468 3.649 json
t16_x2_u0_b118 16 2 0 118 dst(P,sqt(min(P,R))) 76440 130010536 o2(x,o1(o2(x,x))) true 99527 99527 -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
t16_x2_u0_b119 16 2 0 119 dst(P,sqt(dot(P,R))) 76441 130010537 o2(x,o1(o2(x,x))) true 99535 99535 -0.9141 0.04297 1 0.1645 0.4056 -1 1 2 1 0.2557 0.01889 0.01485 0.01679 0.1196 1 0 0.071 0.03375 0.03345 0.1829 10.89 2.828 0.2051 0.4315 1 1 0.03935 0.16 0.4316 0.2392 0.9724 2.623 json
t16_x2_u0_b120 16 2 0 120 dst(P,sqt(dst(P,R))) 76442 130010538 o2(x,o1(o2(x,x))) true 99543 99543 0.9999 1 0.9999 0.00001647 0.004058 0.8361 1 0.1639 1 0.01282 0.00000142 0.000001559 0.00006689 -0.04686 0 -4.881e-11 0.000001989 0.00005707 0.000002972 0.001724 25.77 0.06911 0.1809 0.1207 1 1 0.000009139 0.00005625 0.0000599 0.555 3.416 3.637 json
t16_x2_u1_b0 16 2 1 0 add(P,log(add(P,R))) 76443 130010619 o2(x,o1(o2(x,x))) true 99551 99551 -0.1102 0.4457 0.9907 0.9758 0.9878 -1 1 2 1 1.195 0.01045 0.002569 0.009882 0.6054 1 -0.00000746 0.02586 0.01555 0.01293 0.1137 11.51 2.828 0.01334 0.0265 1 1 0.01817 0.08414 0.3636 0.01862 0.08623 0.3726 json
t16_x2_u1_b1 16 2 1 1 add(P,log(sub(P,R))) 76444 130010620 o2(x,o1(o2(x,x))) true 99559 99559 -0.1252 0.4353 0.9804 0.9587 0.9791 -1 1 2 1 1.335 0.007815 0.001345 0.01074 0.7063 1 0.000001765 0.01623 0.01258 0.00905 0.09513 8.857 2 0.009555 0.01693 1 1 0.01544 0.08137 0.3338 0.0161 0.08487 0.3482 json
t16_x2_u1_b2 16 2 1 2 add(P,log(mlt(P,R))) 76445 130010621 o2(x,o1(o2(x,x))) true 99567 99567 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t16_x2_u1_b3 16 2 1 3 add(P,log(div(P,R))) 76446 130010622 o2(x,o1(o2(x,x))) true 99575 99575 -0.9758 0.009567 0.9907 0.03465 0.1861 -1 1 2 1 0.2925 0.004017 0.002748 0.006366 0.1876 1 5.201e-7 0.01339 0.00886 0.006725 0.082 12.88 2.828 0.1953 0.3866 1 1 0.006236 0.0287 0.06471 0.18 0.8283 1.868 json
t16_x2_u1_b4 16 2 1 4 add(P,log(pow(P,R))) 76447 130010623 o2(x,o1(o2(x,x))) true 99583 99583 -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
t16_x2_u1_b5 16 2 1 5 add(P,log(mod(P,R))) 76448 130010624 o2(x,o1(o2(x,x))) true 99591 99591 -0.2695 0.3637 0.9489 0.861 0.9279 -1 1 2 1 1.709 0.00253 0.001393 0.01504 0.2897 1 -0.00001787 0.002581 0.008188 0.003699 0.06082 4.045 1.066 0.004557 0.002997 1 1 0.007914 0.07636 0.317 0.009191 0.08869 0.3682 json
t16_x2_u1_b6 16 2 1 6 add(P,log(lrg(P,R))) 76449 130010625 o2(x,o1(o2(x,x))) true 99599 99599 -0.08984 0.4609 0.9883 0.9775 0.9887 -1 1 2 1 1.174 0.01156 0.001808 0.009021 0.7296 1 -5.632e-11 0.02695 0.0155 0.01328 0.1153 12.78 2.828 0.01368 0.02757 1 1 0.01932 0.08219 0.3617 0.01976 0.08408 0.3701 json
t16_x2_u1_b7 16 2 1 7 add(P,log(eql(P,R))) 76450 130010626 o2(x,o1(o2(x,x))) true 99607 99607 -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
t16_x2_u1_b8 16 2 1 8 add(P,log(min(P,R))) 76451 130010627 o2(x,o1(o2(x,x))) true 99615 99615 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t16_x2_u1_b9 16 2 1 9 add(P,log(dot(P,R))) 76452 130010628 o2(x,o1(o2(x,x))) true 99623 99623 -0.9391 0.02983 0.994 0.1098 0.3314 -1 1 2 1 0.3219 0.01253 0.01123 0.01436 0.05477 1 -5.632e-11 0.04903 0.02483 0.02357 0.1535 10.69 2.828 0.2163 0.4463 1 1 0.02505 0.1153 0.2596 0.2281 1.05 2.363 json
t16_x2_u1_b10 16 2 1 10 add(P,log(dst(P,R))) 76453 130010629 o2(x,o1(o2(x,x))) true 99631 99631 0.1674 0.5819 0.927 0.8772 0.9366 -1 1 2 1 2.026 0.0006851 0.0001336 0.009196 0.6737 1 0.000002449 0.0001019 0.00268 0.0007338 0.02709 2.946 0.1828 0.0009333 0.0001162 1 1 0.002192 0.02635 0.2333 0.002499 0.03004 0.2659 json
t16_x2_u1_b11 16 2 1 11 sub(P,log(add(P,R))) 76454 130010630 o2(x,o1(o2(x,x))) true 99639 99639 -0.1042 0.4531 0.9895 0.9722 0.986 -1 1 2 1 1.245 0.01197 0.004991 0.01143 0.4115 1 -4.925e-7 0.03482 0.01978 0.01682 0.1297 11.35 2.828 0.01745 0.03582 1 1 0.02354 0.1003 0.3938 0.02421 0.1032 0.4051 json
t16_x2_u1_b12 16 2 1 12 sub(P,log(sub(P,R))) 76455 130010631 o2(x,o1(o2(x,x))) true 99647 99647 -0.08431 0.4609 0.9938 0.9838 0.9918 -1 1 2 1 1.166 0.01261 0.002425 0.009706 0.6776 1 -0.00001662 0.03032 0.01737 0.01496 0.1223 12.6 2.828 0.01529 0.03082 1 1 0.02178 0.09419 0.3916 0.02214 0.09574 0.398 json
t16_x2_u1_b13 16 2 1 13 sub(P,log(mlt(P,R))) 76456 130010632 o2(x,o1(o2(x,x))) true 99655 99655 -0.9857 0.006485 0.997 0.02434 0.156 -1 1 2 1 0.124 0.003043 0.00232 0.004165 0.1349 1 5.632e-12 0.01064 0.006422 0.005349 0.07314 17.56 2.828 0.2203 0.4372 1 1 0.004877 0.02003 0.03799 0.2004 0.8229 1.56 json
t16_x2_u1_b14 16 2 1 14 sub(P,log(div(P,R))) 76457 130010633 o2(x,o1(o2(x,x))) true 99663 99663 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t16_x2_u1_b15 16 2 1 15 sub(P,log(pow(P,R))) 76458 130010634 o2(x,o1(o2(x,x))) true 99671 99671 -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
t16_x2_u1_b16 16 2 1 16 sub(P,log(mod(P,R))) 76459 130010635 o2(x,o1(o2(x,x))) true 99679 99679 -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
t16_x2_u1_b17 16 2 1 17 sub(P,log(lrg(P,R))) 76460 130010636 o2(x,o1(o2(x,x))) true 99687 99687 -0.08984 0.4609 0.9883 0.9775 0.9887 -1 1 2 1 1.174 0.01156 0.001808 0.009021 0.7296 1 -5.632e-11 0.02695 0.0155 0.01328 0.1153 12.78 2.828 0.01368 0.02757 1 1 0.01932 0.08219 0.3617 0.01976 0.08408 0.3701 json
t16_x2_u1_b18 16 2 1 18 sub(P,log(eql(P,R))) 76461 130010637 o2(x,o1(o2(x,x))) true 99695 99695 -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
t16_x2_u1_b19 16 2 1 19 sub(P,log(min(P,R))) 76462 130010638 o2(x,o1(o2(x,x))) true 99703 99703 -0.9922 0.003906 1 0.01556 0.1248 -1 1 2 1 0.03687 0.001008 0.001764 0.001386 -0.2727 1 0 0.005795 0.002771 0.002769 0.05262 37.97 2 0.1781 0.3723 1 1 0 0 0.0133 0 0 0.8543 json
t16_x2_u1_b20 16 2 1 20 sub(P,log(dot(P,R))) 76463 130010639 o2(x,o1(o2(x,x))) true 99711 99711 -0.9292 0.03778 0.9938 0.1274 0.357 -1 1 2 1 0.3348 0.01417 0.01119 0.01453 0.1175 1 -0.000005578 0.05288 0.02716 0.02515 0.1586 10.91 2.828 0.1989 0.4149 1 1 0.02997 0.1254 0.3361 0.2352 0.9839 2.637 json
t16_x2_u1_b21 16 2 1 21 sub(P,log(dst(P,R))) 76464 130010640 o2(x,o1(o2(x,x))) true 99719 99719 -0.1554 0.4268 0.9334 0.8876 0.9421 -1 1 2 1 2.018 0.0007021 0.000122 0.009094 0.704 1 -0.000002711 0.0001104 0.002707 0.0007416 0.02723 2.995 0.2227 0.0009284 0.0001243 1 1 0.002269 0.0271 0.2477 0.002557 0.03053 0.2791 json
t16_x2_u1_b22 16 2 1 22 mlt(P,log(add(P,R))) 76465 130010641 o2(x,o1(o2(x,x))) true 99727 99727 -0.1388 0.4379 0.9637 0.9342 0.9665 -1 1 2 1 1.539 0.005766 0.001906 0.01111 0.5032 1 -0.000009695 0.0144 0.01327 0.007548 0.08688 7.822 2.243 0.008213 0.01542 1 1 0.01066 0.05947 0.3085 0.01141 0.06366 0.3302 json
t16_x2_u1_b23 16 2 1 23 mlt(P,log(sub(P,R))) 76466 130010642 o2(x,o1(o2(x,x))) true 99735 99735 -0.1586 0.4216 0.9665 0.9323 0.9656 -1 1 2 1 1.503 0.004988 0.001047 0.01266 0.6531 1 0.00001178 0.008806 0.01081 0.005869 0.07661 6.053 1.497 0.006473 0.009445 1 1 0.01062 0.07146 0.3045 0.01139 0.07665 0.3266 json
t16_x2_u1_b24 16 2 1 24 mlt(P,log(mlt(P,R))) 76467 130010643 o2(x,o1(o2(x,x))) true 99743 99743 -0.9557 0.02284 0.9895 0.07242 0.2691 -1 1 2 1 0.3198 0.007822 0.006008 0.01073 0.1312 1 -6.44e-7 0.02748 0.01607 0.01372 0.1171 10.92 2.828 0.191 0.3795 1 1 0.01316 0.06201 0.1411 0.1817 0.8562 1.948 json
t16_x2_u1_b25 16 2 1 25 mlt(P,log(div(P,R))) 76468 130010644 o2(x,o1(o2(x,x))) true 99751 99751 -0.9918 0.003906 0.9996 0.01574 0.1255 -1 1 2 1 0.05511 0.001067 0.00181 0.001714 -0.2584 1 -1.877e-11 0.006009 0.003253 0.002873 0.0536 31.28 2 0.1827 0.3817 1 1 0.0001538 0.0004548 0.01376 0.009767 0.02889 0.8743 json
t16_x2_u1_b26 16 2 1 26 mlt(P,log(pow(P,R))) 76469 130010645 o2(x,o1(o2(x,x))) true 99759 99759 -0.606 0.1896 0.9044 0.5128 0.7161 -1 1 2 1 1.876 0.01642 0.01353 0.04669 0.09649 1 0.00001055 0.03502 0.04103 0.02778 0.1667 3.57 2 0.0584 0.06829 1 1 0.03349 0.2396 0.6169 0.06532 0.4672 1.203 json
t16_x2_u1_b27 16 2 1 27 mlt(P,log(mod(P,R))) 76470 130010646 o2(x,o1(o2(x,x))) true 99767 99767 -1 0 1 0.000003116 0.001765 -1 -0.8989 0.1011 1 0.004709 0.000001306 4.128e-7 0.00003544 0.5195 0 9.794e-7 0.000002538 0.0000476 0.000001717 0.00131 36.97 0.09385 0.5515 0.8146 1 1 0.000003711 0.000008801 0.000009565 1.191 2.825 3.07 json
t16_x2_u1_b28 16 2 1 28 mlt(P,log(lrg(P,R))) 76471 130010647 o2(x,o1(o2(x,x))) true 99775 99775 -0.5391 0 0.5391 0.2487 0.4987 -1 0 1 1 0.9956 0.003968 0.0007559 0.004715 0.68 1 0 0.009637 0.009448 0.004701 0.06856 14.54 1.414 0.019 0.03876 1 1 0.006593 0.02637 0.1017 0.02651 0.1061 0.4091 json
t16_x2_u1_b29 16 2 1 29 mlt(P,log(eql(P,R))) 76472 130010648 o2(x,o1(o2(x,x))) true 99783 99783 -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
t16_x2_u1_b30 16 2 1 30 mlt(P,log(min(P,R))) 76473 130010649 o2(x,o1(o2(x,x))) true 99791 99791 -0.9999 0 0.9999 0.00001549 0.003936 -1 -0.6022 0.3978 1 0.003459 0.000003249 7.837e-7 0.00002305 0.6113 0 0.00001153 0.000003754 0.00002164 0.000004032 0.002008 87.12 0.2493 0.2604 0.2424 1 1 0 0 0.000006774 0 0 0.4374 json
t16_x2_u1_b31 16 2 1 31 mlt(P,log(dot(P,R))) 76474 130010650 o2(x,o1(o2(x,x))) true 99799 99799 -0.9514 0.02724 0.9884 0.08086 0.2844 -1 1 2 1 0.3055 0.009593 0.00921 0.01269 0.02035 1 -0.000001851 0.03827 0.02148 0.01864 0.1365 10.76 2.828 0.2325 0.4733 1 1 0.02015 0.08622 0.187 0.2492 1.066 2.313 json
t16_x2_u1_b32 16 2 1 32 mlt(P,log(dst(P,R))) 76475 130010651 o2(x,o1(o2(x,x))) true 99807 99807 -0.008351 0.4975 0.9318 0.918 0.9581 -1 1 2 1 1.845 0.001047 0.00009842 0.009022 0.8281 1 3.696e-7 0.0002226 0.00322 0.001063 0.03261 3.615 0.296 0.001247 0.0002425 1 1 0.002786 0.03148 0.2362 0.003035 0.0343 0.2573 json
t16_x2_u1_b33 16 2 1 33 div(P,log(add(P,R))) 76476 130010652 o2(x,o1(o2(x,x))) true 99815 99815 -0.1218 0.44 0.9917 0.9743 0.9871 -1 1 2 1 1.14 0.01071 0.004886 0.0124 0.3735 1 -0.000009796 0.02923 0.0182 0.01546 0.1243 10.02 2.828 0.01601 0.03 1 1 0.02523 0.1224 0.4046 0.0259 0.1256 0.4153 json
t16_x2_u1_b34 16 2 1 34 div(P,log(sub(P,R))) 76477 130010653 o2(x,o1(o2(x,x))) true 99823 99823 -0.1349 0.4278 0.9793 0.9567 0.9781 -1 1 2 1 1.306 0.009472 0.002677 0.01245 0.5592 1 0.000001545 0.02199 0.01569 0.012 0.1096 8.799 2.111 0.0127 0.02298 1 1 0.02103 0.1044 0.3686 0.02198 0.1092 0.3853 json
t16_x2_u1_b35 16 2 1 35 div(P,log(mlt(P,R))) 76478 130010654 o2(x,o1(o2(x,x))) true 99831 99831 -0.9451 0.02832 0.9859 0.08967 0.2995 -1 1 2 1 0.3615 0.009952 0.01037 0.0153 -0.02049 1 7.509e-12 0.04156 0.02496 0.0201 0.1418 9.265 2.828 0.2266 0.4635 1 1 0.02213 0.0964 0.2086 0.2468 1.075 2.326 json
t16_x2_u1_b36 16 2 1 36 div(P,log(div(P,R))) 76479 130010655 o2(x,o1(o2(x,x))) true 99839 99839 -0.9505 0.02344 0.9871 0.08071 0.2841 -1 1 2 1 0.3531 0.008501 0.006925 0.01128 0.1021 1 -6.007e-11 0.03159 0.0195 0.01529 0.1237 10.97 2.828 0.1911 0.3915 1 1 0.01285 0.06058 0.1521 0.1592 0.7507 1.885 json
t16_x2_u1_b37 16 2 1 37 div(P,log(pow(P,R))) 76480 130010656 o2(x,o1(o2(x,x))) true 99847 99847 -0.6802 0.1599 0.9874 0.5202 0.7212 -1 1 2 1 0.8743 0.03213 0.03165 0.04795 0.007508 1 -0.00001061 0.1166 0.07084 0.06144 0.2479 5.17 2.828 0.1226 0.2241 1 1 0.06824 0.3439 0.7464 0.1312 0.6612 1.435 json
t16_x2_u1_b38 16 2 1 38 div(P,log(mod(P,R))) 76481 130010657 o2(x,o1(o2(x,x))) true 99855 99855 -0.9376 0 0.9376 0.0391 0.1977 -1 -0.00003669 1 1 0.9822 0.004226 0.0001166 0.00965 0.9463 1 0.00002092 0.008048 0.009881 0.004248 0.06518 6.754 1 0.1111 0.2059 1 1 0.006172 0.02798 0.06386 0.1579 0.7156 1.633 json
t16_x2_u1_b39 16 2 1 39 div(P,log(lrg(P,R))) 76482 130010658 o2(x,o1(o2(x,x))) true 99863 99863 -0.5469 0 0.5469 0.2476 0.4976 -1 0 1 1 0.9937 0.003968 0.001512 0.005452 0.4483 1 0 0.01134 0.01096 0.005451 0.07383 13.54 1.414 0.02213 0.04579 1 1 0.007479 0.02992 0.1086 0.0302 0.1208 0.4385 json
t16_x2_u1_b40 16 2 1 40 div(P,log(eql(P,R))) 76483 130010659 o2(x,o1(o2(x,x))) true 99871 99871 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
t16_x2_u1_b41 16 2 1 41 div(P,log(min(P,R))) 76484 130010660 o2(x,o1(o2(x,x))) true 99879 99879 -0.999 0 0.999 0.0008061 0.02839 -1 -0.0007653 0.9992 1 0.01889 0.0003164 0.0001085 0.0006231 0.4893 1 -1.126e-11 0.0008489 0.0009412 0.0004245 0.0206 33.07 0.9992 0.5272 1.053 1 1 0.00005608 0.0003684 0.0007326 0.06957 0.4571 0.9089 json
t16_x2_u1_b42 16 2 1 42 div(P,log(dot(P,R))) 76485 130010661 o2(x,o1(o2(x,x))) true 99887 99887 -0.9485 0.02686 0.9909 0.08874 0.2979 -1 1 2 1 0.3102 0.01087 0.008117 0.01295 0.1451 1 0.000002426 0.03855 0.02154 0.01881 0.1371 10.59 2.828 0.214 0.4344 1 1 0.02315 0.1048 0.2364 0.2608 1.181 2.664 json
t16_x2_u1_b43 16 2 1 43 div(P,log(dst(P,R))) 76486 130010662 o2(x,o1(o2(x,x))) true 99895 99895 0.008263 0.5022 0.9104 0.885 0.9407 -1 1 2 1 2.214 0.001201 0.0007743 0.0109 0.2159 1 -9.087e-7 0.0006967 0.004056 0.001857 0.0431 3.953 0.8446 0.002232 0.0007872 1 1 0.006124 0.05702 0.2689 0.00692 0.06443 0.3038 json
t16_x2_u1_b44 16 2 1 44 pow(P,log(add(P,R))) 76487 130010663 o2(x,o1(o2(x,x))) true 99903 99903 -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
t16_x2_u1_b45 16 2 1 45 pow(P,log(sub(P,R))) 76488 130010664 o2(x,o1(o2(x,x))) true 99911 99911 -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
t16_x2_u1_b46 16 2 1 46 pow(P,log(mlt(P,R))) 76489 130010665 o2(x,o1(o2(x,x))) true 99919 99919 -0.9846 0.007813 0.9998 0.03029 0.174 -1 1 2 1 0.07206 0.00268 0.002623 0.002757 0.01088 1 7.509e-12 0.01107 0.005434 0.005293 0.07275 26.39 2 0.1751 0.3653 1 1 0 0 0.02594 0 0 0.8563 json
t16_x2_u1_b47 16 2 1 47 pow(P,log(div(P,R))) 76490 130010666 o2(x,o1(o2(x,x))) true 99927 99927 -0.9844 0.007813 1 0.03101 0.1761 -1 1 2 1 0.06591 0.002771 0.002771 0.002771 0 1 0 0.01159 0.005543 0.005537 0.07441 26.85 2 0.1788 0.3738 1 1 0 0 0.02659 0 0 0.8577 json
t16_x2_u1_b48 16 2 1 48 pow(P,log(pow(P,R))) 76491 130010667 o2(x,o1(o2(x,x))) true 99935 99935 -0.1662 0.4609 0.912 0.8515 0.9228 -1 1 2 1 2.172 0.0125 0.0029 0.02191 0.6233 1 -0.0001384 0.02838 0.02368 0.01492 0.1222 5.575 2.828 0.01808 0.03334 1 1 0.02167 0.1001 0.3839 0.02544 0.1175 0.4509 json
t16_x2_u1_b49 16 2 1 49 pow(P,log(mod(P,R))) 76492 130010668 o2(x,o1(o2(x,x))) true 99943 99943 -0.4584 0.4374 0.6666 0.4026 0.6345 -1 0.9999 2 1 2.426 0.01618 0.0001131 0.01755 0.9861 1 0.000002243 0.03184 0.01807 0.01599 0.1264 7.203 2 0.04047 0.07909 1 1 0.022 0.08751 0.2108 0.05464 0.2174 0.5236 json
t16_x2_u1_b50 16 2 1 50 pow(P,log(lrg(P,R))) 76493 130010669 o2(x,o1(o2(x,x))) true 99951 99951 -0.07813 0.4609 1 0.9946 0.9973 -1 1 2 1 0.9956 0.01587 0.003023 0.00943 0.68 1 0 0.03855 0.0189 0.0188 0.1371 14.54 2.828 0.019 0.03876 1 1 0.02637 0.1055 0.4069 0.02651 0.1061 0.4091 json
t16_x2_u1_b51 16 2 1 51 pow(P,log(eql(P,R))) 76494 130010670 o2(x,o1(o2(x,x))) true 99959 99959 -0.5313 0.0625 0.5938 0.3046 0.5519 -1 0.9997 2 1 1.385 0.01622 0 0.0119 1 1 -4.731e-10 0.03186 0.0168 0.01607 0.1268 10.65 2 0.05326 0.1046 1 1 0.0219 0.08325 0.1593 0.0719 0.2733 0.523 json
t16_x2_u1_b52 16 2 1 52 pow(P,log(min(P,R))) 76495 130010671 o2(x,o1(o2(x,x))) true 99967 99967 -0.9873 0.007813 0.9971 0.02127 0.1458 -1 1 2 1 0.09402 0.001824 0.001613 0.002379 0.06134 1 0.000004677 0.007118 0.004308 0.003431 0.05858 24.62 2 0.1616 0.3346 1 1 0 0 0.01795 0 0 0.8437 json
t16_x2_u1_b53 16 2 1 53 pow(P,log(dot(P,R))) 76496 130010672 o2(x,o1(o2(x,x))) true 99975 99975 -0.9474 0.02734 0.998 0.09956 0.3155 -1 1 2 1 0.2185 0.01157 0.01039 0.0118 0.05371 1 -9.386e-11 0.04582 0.02281 0.02181 0.1477 12.51 2.828 0.2205 0.4602 1 1 0.0226 0.09293 0.2299 0.227 0.9335 2.31 json
t16_x2_u1_b54 16 2 1 54 pow(P,log(dst(P,R))) 76497 130010673 o2(x,o1(o2(x,x))) true 99983 99983 -0.05469 0.4844 0.9766 0.9691 0.9845 -1 1 2 1 1.319 0.007257 0.001205 0.008659 0.7151 1 -4.224e-11 0.01669 0.01211 0.008381 0.09155 10.57 2.828 0.008731 0.01722 1 1 0.01334 0.06321 0.3368 0.01377 0.06522 0.3475 json
t16_x2_u1_b55 16 2 1 55 mod(P,log(add(P,R))) 76498 130010674 o2(x,o1(o2(x,x))) true 99991 99991 -0.2786 0.4525 0.8152 0.6762 0.8223 -1 1 2 1 2.676 0.007031 0.002221 0.02048 0.5199 1 -0.00001801 0.0174 0.01699 0.008835 0.09399 4.589 2 0.01368 0.02573 1 1 0.01257 0.06319 0.2348 0.01859 0.09346 0.3472 json
t16_x2_u1_b56 16 2 1 56 mod(P,log(sub(P,R))) 76499 130010675 o2(x,o1(o2(x,x))) true 99999 99999 -0.2645 0.4605 0.8136 0.6816 0.8256 -1 1 2 1 2.676 0.007428 0.001762 0.02194 0.6166 1 -0.000042 0.01651 0.01635 0.00871 0.09333 4.253 2 0.01348 0.02422 1 1 0.01248 0.06816 0.2453 0.01831 0.1 0.3599 json