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
t20_x80_u0_b104 20 80 0 104 add(R,dot(mod(R,R),R)) 175700 165644204 o2(x,o2(o2(x,x),x)) true 114007 114007 0.2118 0.6541 0.447 0.2393 0.4891 -0.9989 1 1.999 1 4.818 0.003311 0.003127 0.06277 0.02858 1 -0.00002389 0.0005696 0.01528 0.002497 0.04997 0.7961 0.3027 0.02691 0.002381 1 1 0.0124 0.1558 0.433 0.05183 0.651 1.81 json
t20_x80_u0_b105 20 80 0 105 add(R,dot(lrg(R,R),R)) 175701 165644205 o2(x,o2(o2(x,x),x)) true 114015 114015 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b106 20 80 0 106 add(R,dot(eql(R,R),R)) 175702 165644206 o2(x,o2(o2(x,x),x)) true 114023 114023 0.00573 0.4995 0.6818 0.5786 0.7607 -1 1 2 1 4.25 0.009738 0.01113 0.09326 -0.06693 1 0.00005499 0.004712 0.03212 0.01217 0.1103 1.183 0.6182 0.03607 0.008144 1 1 0.0405 0.4178 1.043 0.07 0.722 1.803 json
t20_x80_u0_b107 20 80 0 107 add(R,dot(min(R,R),R)) 175703 165644207 o2(x,o2(o2(x,x),x)) true 114031 114031 0.7621 0.9802 0.7651 0.09206 0.3034 -0.209 1 1.209 1 2.992 0.001913 0.002032 0.0372 -0.03009 1 -0.00009498 0.001081 0.01545 0.002561 0.05061 1.361 0.3151 0.04284 0.01174 1 1 0.007525 0.07596 0.1771 0.08174 0.825 1.924 json
t20_x80_u0_b108 20 80 0 108 add(R,dot(dot(R,R),R)) 175704 165644208 o2(x,o2(o2(x,x),x)) true 114039 114039 0.03664 0.5178 0.6712 0.5667 0.7528 -1 1 2 1 4.227 0.0103 0.01219 0.09125 -0.08432 1 0.00005293 0.006912 0.03596 0.01416 0.119 1.304 0.953 0.03969 0.0122 1 1 0.04444 0.426 1.06 0.07841 0.7517 1.871 json
t20_x80_u0_b109 20 80 0 109 add(R,dot(dst(R,R),R)) 175705 165644209 o2(x,o2(o2(x,x),x)) true 114047 114047 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b110 20 80 0 110 add(R,dst(add(R,R),R)) 175706 165644210 o2(x,o2(o2(x,x),x)) true 114055 114055 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t20_x80_u0_b111 20 80 0 111 add(R,dst(sub(R,R),R)) 175707 165644211 o2(x,o2(o2(x,x),x)) true 114063 114063 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t20_x80_u0_b112 20 80 0 112 add(R,dst(mlt(R,R),R)) 175708 165644212 o2(x,o2(o2(x,x),x)) true 114071 114071 0.8499 1 0.8499 0.05201 0.2281 0.09956 1 0.9004 1 2.382 0.001075 0.001145 0.02634 -0.03156 1 -0.00007542 0.0006008 0.01106 0.001527 0.03908 1.484 0.2527 0.0427 0.01155 1 1 0.004574 0.04697 0.1047 0.08795 0.9032 2.013 json
t20_x80_u0_b113 20 80 0 113 add(R,dst(div(R,R),R)) 175709 165644213 o2(x,o2(o2(x,x),x)) true 114079 114079 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
t20_x80_u0_b114 20 80 0 114 add(R,dst(pow(R,R),R)) 175710 165644214 o2(x,o2(o2(x,x),x)) true 114087 114087 -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
t20_x80_u0_b115 20 80 0 115 add(R,dst(mod(R,R),R)) 175711 165644215 o2(x,o2(o2(x,x),x)) true 114095 114095 0.6702 0.9616 0.6881 0.1274 0.3569 -0.7072 1 1.707 1 3.471 0.002267 0.002787 0.04543 -0.1029 1 -0.00006289 0.001091 0.01642 0.00299 0.05468 1.204 0.3344 0.03968 0.008568 1 1 0.01046 0.1121 0.2462 0.08214 0.8801 1.933 json
t20_x80_u0_b116 20 80 0 116 add(R,dst(lrg(R,R),R)) 175712 165644216 o2(x,o2(o2(x,x),x)) true 114103 114103 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t20_x80_u0_b117 20 80 0 117 add(R,dst(eql(R,R),R)) 175713 165644217 o2(x,o2(o2(x,x),x)) true 114111 114111 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
t20_x80_u0_b118 20 80 0 118 add(R,dst(min(R,R),R)) 175714 165644218 o2(x,o2(o2(x,x),x)) true 114119 114119 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b119 20 80 0 119 add(R,dst(dot(R,R),R)) 175715 165644219 o2(x,o2(o2(x,x),x)) true 114127 114127 0.9661 1 0.9661 0.01414 0.1189 0.1149 1 0.8851 1 0.8031 0.0004311 0.0005764 0.00896 -0.1442 1 -0.00004567 0.0004652 0.005675 0.000927 0.03045 3.398 0.3039 0.07127 0.03291 1 1 0.001755 0.01397 0.02475 0.1241 0.9883 1.751 json
t20_x80_u0_b120 20 80 0 120 add(R,dst(dst(R,R),R)) 175716 165644220 o2(x,o2(o2(x,x),x)) true 114135 114135 0.7698 1 0.7698 0.07179 0.2679 0.03077 1 0.9692 1 2.953 0.001474 0.001584 0.03376 -0.03597 1 -0.00007251 0.000832 0.01385 0.001919 0.0438 1.298 0.2336 0.0426 0.01159 1 1 0.00568 0.0565 0.13 0.07911 0.7869 1.81 json
t20_x80_u0_b121 20 80 0 121 sub(R,add(add(R,R),R)) 175717 165644221 o2(x,o2(o2(x,x),x)) true 114143 114143 -0.01372 0.5016 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 -0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x80_u0_b122 20 80 0 122 sub(R,add(sub(R,R),R)) 175718 165644222 o2(x,o2(o2(x,x),x)) true 114151 114151 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
t20_x80_u0_b123 20 80 0 123 sub(R,add(mlt(R,R),R)) 175719 165644223 o2(x,o2(o2(x,x),x)) true 114159 114159 -0.3495 0 0.3495 0.05762 0.24 -0.9979 -0.00007718 0.9979 1 3.768 0.0007428 0.0008028 0.03156 -0.03877 1 -1.604e-7 0.00009378 0.007378 0.0005496 0.02344 0.7428 0.1117 0.02682 0.001628 1 1 0.002725 0.03526 0.107 0.0473 0.6119 1.856 json
t20_x80_u0_b124 20 80 0 124 sub(R,add(div(R,R),R)) 175720 165644224 o2(x,o2(o2(x,x),x)) true 114167 114167 -1 0 1 5.742e-16 2.396e-8 -1 -1 1.192e-7 1 0 5.533e-17 4.901e-17 1.733e-9 0.000006322 0 -4.524e-9 1.152e-15 4.832e-9 1.014e-16 1.007e-8 5.81 8.429e-8 0.0001043 0.001152 0 1 1.336e-16 5.893e-16 1.317e-15 0.0001336 0.0005893 0.001317 json
t20_x80_u0_b125 20 80 0 125 sub(R,add(pow(R,R),R)) 175721 165644225 o2(x,o2(o2(x,x),x)) true 114175 114175 -0.9906 0 0.9906 0.00214 0.04626 -1 -0.6923 0.3077 1 0.3286 0.0002397 0.0002274 0.002268 0.0264 1 -0.000003032 0.0009679 0.003807 0.0004621 0.0215 9.48 0.4352 0.2182 0.4523 1 1 0.0003564 0.00151 0.003582 0.1666 0.7055 1.674 json
t20_x80_u0_b126 20 80 0 126 sub(R,add(mod(R,R),R)) 175722 165644226 o2(x,o2(o2(x,x),x)) true 114183 114183 0.01621 0.3021 0.09644 0.04024 0.2006 -0.9558 0.9675 1.923 1 2.684 0.0006146 0.0005535 0.01871 0.05227 1 0.0000106 0.00006938 0.004372 0.0008183 0.02861 1.529 0.2163 0.02903 0.001724 1 1 0.002918 0.03769 0.09805 0.0725 0.9366 2.436 json
t20_x80_u0_b127 20 80 0 127 sub(R,add(lrg(R,R),R)) 175723 165644227 o2(x,o2(o2(x,x),x)) true 114191 114191 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
t20_x80_u0_b128 20 80 0 128 sub(R,add(eql(R,R),R)) 175724 165644228 o2(x,o2(o2(x,x),x)) true 114199 114199 -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
t20_x80_u0_b129 20 80 0 129 sub(R,add(min(R,R),R)) 175725 165644229 o2(x,o2(o2(x,x),x)) true 114207 114207 -0.008979 0.5015 0.3946 0.2196 0.4686 -0.9806 0.9989 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 -0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b130 20 80 0 130 sub(R,add(dot(R,R),R)) 175726 165644230 o2(x,o2(o2(x,x),x)) true 114215 114215 -0.8438 0 0.8438 0.04935 0.2222 -1 -0.0102 0.9898 1 2.51 0.0008588 0.001103 0.02548 -0.1246 1 0.00003928 0.0004481 0.009809 0.001312 0.03623 1.422 0.2044 0.03976 0.009079 1 1 0.003389 0.03587 0.07892 0.06866 0.7269 1.599 json
t20_x80_u0_b131 20 80 0 131 sub(R,add(dst(R,R),R)) 175727 165644231 o2(x,o2(o2(x,x),x)) true 114223 114223 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
t20_x80_u0_b132 20 80 0 132 sub(R,sub(add(R,R),R)) 175728 165644232 o2(x,o2(o2(x,x),x)) true 114231 114231 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
t20_x80_u0_b133 20 80 0 133 sub(R,sub(sub(R,R),R)) 175729 165644233 o2(x,o2(o2(x,x),x)) true 114239 114239 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x80_u0_b134 20 80 0 134 sub(R,sub(mlt(R,R),R)) 175730 165644234 o2(x,o2(o2(x,x),x)) true 114247 114247 -0.1602 0.4331 0.6254 0.4714 0.6866 -1 0.9986 1.999 1 4.501 0.007517 0.008441 0.08865 -0.05791 1 0.0001616 0.002709 0.02734 0.008099 0.09 1.015 0.4525 0.03385 0.005748 1 1 0.03081 0.3483 0.8253 0.06536 0.739 1.751 json
t20_x80_u0_b135 20 80 0 135 sub(R,sub(div(R,R),R)) 175731 165644235 o2(x,o2(o2(x,x),x)) true 114255 114255 -0.5964 0.1796 0.7309 0.2902 0.5387 -1 0.9613 1.961 1 3.293 0.005883 0.006361 0.06617 -0.03903 1 0.0001752 0.002786 0.02475 0.007863 0.08868 1.34 0.446 0.04219 0.009598 1 1 0.0238 0.2451 0.5613 0.08201 0.8444 1.934 json
t20_x80_u0_b136 20 80 0 136 sub(R,sub(pow(R,R),R)) 175732 165644236 o2(x,o2(o2(x,x),x)) true 114263 114263 -0.942 0.03593 0.9756 0.08046 0.2837 -1 0.9396 1.94 1 0.445 0.008093 0.008402 0.01327 -0.01876 1 0.00001404 0.03423 0.02279 0.01632 0.1278 9.628 2.616 0.205 0.4254 1 1 0.01364 0.05969 0.1372 0.1695 0.7418 1.705 json
t20_x80_u0_b137 20 80 0 137 sub(R,sub(mod(R,R),R)) 175733 165644237 o2(x,o2(o2(x,x),x)) true 114271 114271 0.02432 0.5005 0.6088 0.4842 0.6959 -1 1 2 1 4.561 0.007366 0.008377 0.08803 -0.06417 1 0.00003211 0.002564 0.02621 0.007995 0.08942 1.016 0.4602 0.03251 0.005295 1 1 0.02962 0.3378 0.8479 0.06117 0.6977 1.751 json
t20_x80_u0_b138 20 80 0 138 sub(R,sub(lrg(R,R),R)) 175734 165644238 o2(x,o2(o2(x,x),x)) true 114279 114279 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x80_u0_b139 20 80 0 139 sub(R,sub(eql(R,R),R)) 175735 165644239 o2(x,o2(o2(x,x),x)) true 114287 114287 -0.5964 0.1796 0.7309 0.2902 0.5387 -1 0.9613 1.961 1 3.293 0.005883 0.006361 0.06617 -0.03903 1 0.0001752 0.002786 0.02475 0.007863 0.08868 1.34 0.446 0.04219 0.009598 1 1 0.0238 0.2451 0.5613 0.08201 0.8444 1.934 json
t20_x80_u0_b140 20 80 0 140 sub(R,sub(min(R,R),R)) 175736 165644240 o2(x,o2(o2(x,x),x)) true 114295 114295 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b141 20 80 0 141 sub(R,sub(dot(R,R),R)) 175737 165644241 o2(x,o2(o2(x,x),x)) true 114303 114303 -0.5918 0.1572 0.6835 0.2419 0.4919 -1 0.9057 1.906 1 3.464 0.004737 0.005049 0.05989 -0.03185 1 0.0001564 0.002545 0.02351 0.006201 0.07875 1.315 0.4798 0.04045 0.01052 1 1 0.01839 0.1838 0.4128 0.07602 0.7596 1.706 json
t20_x80_u0_b142 20 80 0 142 sub(R,sub(dst(R,R),R)) 175738 165644242 o2(x,o2(o2(x,x),x)) true 114311 114311 0.01372 0.4984 0.659 0.5457 0.7387 -1 1 2 1 4.408 0.008726 0.009756 0.09338 -0.05568 1 0.00002908 0.003164 0.02873 0.009763 0.09881 1.058 0.4602 0.03387 0.005798 1 1 0.03624 0.4079 0.9797 0.06641 0.7475 1.795 json
t20_x80_u0_b143 20 80 0 143 sub(R,mlt(add(R,R),R)) 175739 165644243 o2(x,o2(o2(x,x),x)) true 114319 114319 -0.5288 0.08778 0.5388 0.1355 0.3681 -1 0.1246 1.125 1 3.834 0.002332 0.002568 0.04751 -0.04821 1 0.00009556 0.001116 0.01638 0.002643 0.05141 1.082 0.3203 0.03615 0.008232 1 1 0.008452 0.09139 0.2205 0.06236 0.6743 1.627 json
t20_x80_u0_b144 20 80 0 144 sub(R,mlt(sub(R,R),R)) 175740 165644244 o2(x,o2(o2(x,x),x)) true 114327 114327 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b145 20 80 0 145 sub(R,mlt(mlt(R,R),R)) 175741 165644245 o2(x,o2(o2(x,x),x)) true 114335 114335 -0.006489 0.4831 0.1884 0.0466 0.2159 -0.3847 0.3848 0.7694 1 3.629 0.0006548 0.0006887 0.02991 -0.02526 1 -0.0000161 0.00007966 0.006957 0.0004488 0.02118 0.7082 0.08923 0.02883 0.001709 1 1 0.002847 0.03669 0.08869 0.06109 0.7873 1.903 json
t20_x80_u0_b146 20 80 0 146 sub(R,mlt(div(R,R),R)) 175742 165644246 o2(x,o2(o2(x,x),x)) true 114343 114343 -3.529e-11 0 7.143e-9 2.43e-16 1.559e-8 -8.904e-8 1.19e-7 2.081e-7 1 0.2162 3.544e-18 3.108e-18 1.381e-9 4.358e-7 0 -3.767e-13 3.932e-19 3.239e-10 4.745e-18 2.178e-9 1.578 1.392e-8 0.000006652 3.932e-7 0 1 1.355e-17 1.742e-16 4.886e-16 0.00001355 0.0001742 0.0004886 json
t20_x80_u0_b147 20 80 0 147 sub(R,mlt(pow(R,R),R)) 175743 165644247 o2(x,o2(o2(x,x),x)) true 114351 114351 -0.9525 0.04297 0.9616 0.05037 0.2244 -1 0.1585 1.159 1 0.3151 0.005171 0.005052 0.009317 0.01168 1 -9.346e-8 0.02138 0.01846 0.01014 0.1007 10.81 1.617 0.2029 0.4244 1 1 0.007941 0.03407 0.08496 0.1576 0.6764 1.687 json
t20_x80_u0_b148 20 80 0 148 sub(R,mlt(mod(R,R),R)) 175744 165644248 o2(x,o2(o2(x,x),x)) true 114359 114359 -0.04808 0.4672 0.4018 0.2336 0.4834 -1 0.9804 1.98 1 4.877 0.003018 0.003572 0.06405 -0.08411 1 0.00005125 0.0005529 0.01529 0.002487 0.04987 0.7785 0.3358 0.0282 0.002367 1 1 0.01333 0.166 0.421 0.05706 0.7105 1.802 json
t20_x80_u0_b149 20 80 0 149 sub(R,mlt(lrg(R,R),R)) 175745 165644249 o2(x,o2(o2(x,x),x)) true 114367 114367 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b150 20 80 0 150 sub(R,mlt(eql(R,R),R)) 175746 165644250 o2(x,o2(o2(x,x),x)) true 114375 114375 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
t20_x80_u0_b151 20 80 0 151 sub(R,mlt(min(R,R),R)) 175747 165644251 o2(x,o2(o2(x,x),x)) true 114383 114383 -0.2898 0.3419 0.3805 0.1717 0.4143 -1 0.2497 1.25 1 4.066 0.002426 0.00281 0.05186 -0.0734 1 0.00006054 0.0007567 0.01453 0.002547 0.05046 0.973 0.2539 0.0305 0.004408 1 1 0.009752 0.1148 0.2804 0.0568 0.6687 1.633 json
t20_x80_u0_b152 20 80 0 152 sub(R,mlt(dot(R,R),R)) 175748 165644252 o2(x,o2(o2(x,x),x)) true 114391 114391 -0.02081 0.4393 0.1823 0.06551 0.2559 -1 1 2 1 3.958 0.0009607 0.0009173 0.032 0.02309 1 -0.00005286 0.0001214 0.007264 0.0008542 0.02923 0.9134 0.2244 0.02867 0.001853 1 1 0.003744 0.04744 0.1357 0.05715 0.7242 2.071 json
t20_x80_u0_b153 20 80 0 153 sub(R,mlt(dst(R,R),R)) 175749 165644253 o2(x,o2(o2(x,x),x)) true 114399 114399 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b154 20 80 0 154 sub(R,div(add(R,R),R)) 175750 165644254 o2(x,o2(o2(x,x),x)) true 114407 114407 -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
t20_x80_u0_b155 20 80 0 155 sub(R,div(sub(R,R),R)) 175751 165644255 o2(x,o2(o2(x,x),x)) true 114415 114415 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b156 20 80 0 156 sub(R,div(mlt(R,R),R)) 175752 165644256 o2(x,o2(o2(x,x),x)) true 114423 114423 1.88e-9 0 1.162e-8 2.664e-16 1.632e-8 -5.782e-8 9.189e-8 1.497e-7 1 0.186 4.241e-18 3.439e-18 2.074e-9 8.02e-7 0 -1.871e-12 4.571e-19 4.746e-10 3.377e-18 1.838e-9 0.886 1.303e-8 0.000007679 4.571e-7 0 1 1.683e-17 2.173e-16 6.356e-16 0.00001683 0.0002173 0.0006356 json
t20_x80_u0_b157 20 80 0 157 sub(R,div(div(R,R),R)) 175753 165644257 o2(x,o2(o2(x,x),x)) true 114431 114431 0.073 0.5387 0.7763 0.702 0.8379 -1 1 2 1 3.468 0.0251 0.02923 0.1047 -0.07594 1 0.0001103 0.05549 0.07536 0.04338 0.2083 1.989 2.828 0.07739 0.07904 1 1 0.08249 0.6002 1.401 0.1175 0.855 1.996 json
t20_x80_u0_b158 20 80 0 158 sub(R,div(pow(R,R),R)) 175754 165644258 o2(x,o2(o2(x,x),x)) true 114439 114439 -0.9889 0 0.9889 0.006619 0.08136 -1 -0.06075 0.9393 1 0.2361 0.0008624 0.001079 0.004407 -0.1118 1 0.00003703 0.003738 0.005784 0.001923 0.04385 9.95 1.198 0.2934 0.5647 1 1 0.001707 0.007368 0.01082 0.2579 1.113 1.634 json
t20_x80_u0_b159 20 80 0 159 sub(R,div(mod(R,R),R)) 175755 165644259 o2(x,o2(o2(x,x),x)) true 114447 114447 -0.1847 0.3639 0.4831 0.2883 0.537 -1 0.9804 1.98 1 4.833 0.003955 0.004444 0.0699 -0.0582 1 0.00007785 0.0008714 0.01793 0.003513 0.05927 0.8479 0.3432 0.02913 0.003022 1 1 0.01693 0.2034 0.5322 0.05871 0.7055 1.846 json
t20_x80_u0_b160 20 80 0 160 sub(R,div(lrg(R,R),R)) 175756 165644260 o2(x,o2(o2(x,x),x)) true 114455 114455 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b161 20 80 0 161 sub(R,div(eql(R,R),R)) 175757 165644261 o2(x,o2(o2(x,x),x)) true 114463 114463 0.073 0.5387 0.7763 0.702 0.8379 -1 1 2 1 3.468 0.0251 0.02923 0.1047 -0.07594 1 0.0001103 0.05549 0.07536 0.04338 0.2083 1.989 2.828 0.07739 0.07904 1 1 0.08249 0.6002 1.401 0.1175 0.855 1.996 json
t20_x80_u0_b162 20 80 0 162 sub(R,div(min(R,R),R)) 175758 165644262 o2(x,o2(o2(x,x),x)) true 114471 114471 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x80_u0_b163 20 80 0 163 sub(R,div(dot(R,R),R)) 175759 165644263 o2(x,o2(o2(x,x),x)) true 114479 114479 0.03623 0.5197 0.7743 0.6984 0.8357 -1 1 2 1 3.594 0.01809 0.02743 0.1044 -0.2052 1 -0.0002576 0.03852 0.06356 0.03462 0.1861 1.782 2.243 0.06518 0.05516 1 1 0.0739 0.5739 1.388 0.1058 0.8218 1.988 json
t20_x80_u0_b164 20 80 0 164 sub(R,div(dst(R,R),R)) 175760 165644264 o2(x,o2(o2(x,x),x)) true 114487 114487 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b165 20 80 0 165 sub(R,pow(add(R,R),R)) 175761 165644265 o2(x,o2(o2(x,x),x)) true 114495 114495 -0.984 0 0.984 0.006009 0.07752 -1 -0.5005 0.4995 1 0.3565 0.0006565 0.0006377 0.003689 0.01448 1 -0.000003346 0.002692 0.006415 0.001282 0.0358 9.703 0.7063 0.2154 0.4481 1 1 0.001037 0.004375 0.01026 0.1726 0.7281 1.707 json
t20_x80_u0_b166 20 80 0 166 sub(R,pow(sub(R,R),R)) 175762 165644266 o2(x,o2(o2(x,x),x)) true 114503 114503 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t20_x80_u0_b167 20 80 0 167 sub(R,pow(mlt(R,R),R)) 175763 165644267 o2(x,o2(o2(x,x),x)) true 114511 114511 -0.698 0.0867 0.7071 0.1593 0.3992 -1 0.1013 1.101 1 2.695 0.003666 0.004275 0.04883 -0.07675 1 0.0001282 0.00251 0.02304 0.005555 0.07453 1.526 0.2846 0.04983 0.01575 1 1 0.01543 0.1416 0.296 0.09683 0.8888 1.858 json
t20_x80_u0_b168 20 80 0 168 sub(R,pow(div(R,R),R)) 175764 165644268 o2(x,o2(o2(x,x),x)) true 114519 114519 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x80_u0_b169 20 80 0 169 sub(R,pow(pow(R,R),R)) 175765 165644269 o2(x,o2(o2(x,x),x)) true 114527 114527 -0.9708 0 0.9708 0.02087 0.1445 -1 -0.006287 0.9937 1 0.4098 0.002105 0.002206 0.00686 -0.0235 1 0.000008242 0.008922 0.0115 0.004264 0.0653 9.518 1.37 0.2066 0.4276 1 1 0.003618 0.01587 0.03572 0.1734 0.7608 1.712 json
t20_x80_u0_b170 20 80 0 170 sub(R,pow(mod(R,R),R)) 175766 165644270 o2(x,o2(o2(x,x),x)) true 114535 114535 -0.9423 0.03275 0.9759 0.08023 0.2832 -1 0.9428 1.943 1 0.4468 0.007902 0.009016 0.01348 -0.06586 1 0.00001278 0.03514 0.02301 0.01673 0.1294 9.593 2.64 0.2109 0.438 1 1 0.01301 0.05663 0.1199 0.1622 0.7058 1.494 json
t20_x80_u0_b171 20 80 0 171 sub(R,pow(lrg(R,R),R)) 175767 165644271 o2(x,o2(o2(x,x),x)) true 114543 114543 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t20_x80_u0_b172 20 80 0 172 sub(R,pow(eql(R,R),R)) 175768 165644272 o2(x,o2(o2(x,x),x)) true 114551 114551 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x80_u0_b173 20 80 0 173 sub(R,pow(min(R,R),R)) 175769 165644273 o2(x,o2(o2(x,x),x)) true 114559 114559 -0.9663 0 0.9663 0.0264 0.1625 -1 -0.003246 0.9968 1 0.3888 0.002668 0.00273 0.007389 -0.0114 1 0.000005503 0.01124 0.01322 0.005347 0.07312 9.896 1.391 0.2044 0.4257 1 1 0.004429 0.0192 0.04517 0.1678 0.7273 1.711 json
t20_x80_u0_b174 20 80 0 174 sub(R,pow(dot(R,R),R)) 175770 165644274 o2(x,o2(o2(x,x),x)) true 114567 114567 -0.843 0.0005951 0.843 0.05341 0.2311 -1 0.03339 1.033 1 2.468 0.001161 0.001111 0.02709 0.02185 1 0.00005674 0.0005645 0.01089 0.001537 0.0392 1.447 0.2591 0.04253 0.01057 1 1 0.004265 0.04269 0.09167 0.07985 0.7994 1.716 json
t20_x80_u0_b175 20 80 0 175 sub(R,pow(dst(R,R),R)) 175771 165644275 o2(x,o2(o2(x,x),x)) true 114575 114575 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t20_x80_u0_b176 20 80 0 176 sub(R,mod(add(R,R),R)) 175772 165644276 o2(x,o2(o2(x,x),x)) true 114583 114583 0.02519 0.4971 0.3349 0.1816 0.4261 -0.9989 0.9809 1.98 1 4.722 0.002252 0.002463 0.05486 -0.04485 1 0.00003711 0.0002706 0.01245 0.001706 0.0413 0.7529 0.2301 0.02596 0.00149 1 1 0.008707 0.1116 0.3161 0.04795 0.6147 1.741 json
t20_x80_u0_b177 20 80 0 177 sub(R,mod(sub(R,R),R)) 175773 165644277 o2(x,o2(o2(x,x),x)) true 114591 114591 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b178 20 80 0 178 sub(R,mod(mlt(R,R),R)) 175774 165644278 o2(x,o2(o2(x,x),x)) true 114599 114599 -0.2898 0.3419 0.3805 0.1717 0.4143 -1 0.2497 1.25 1 4.066 0.002426 0.00281 0.05186 -0.0734 1 0.00006054 0.0007567 0.01453 0.002547 0.05046 0.973 0.2539 0.0305 0.004408 1 1 0.009752 0.1148 0.2804 0.0568 0.6687 1.633 json
t20_x80_u0_b179 20 80 0 179 sub(R,mod(div(R,R),R)) 175775 165644279 o2(x,o2(o2(x,x),x)) true 114607 114607 -0.1642 0.4072 0.4111 0.2261 0.4755 -1 0.9621 1.962 1 4.779 0.003165 0.003425 0.06621 -0.03943 1 0.0000262 0.0003923 0.01523 0.002207 0.04698 0.7095 0.2294 0.02915 0.001735 1 1 0.01276 0.1638 0.3979 0.05645 0.7246 1.76 json
t20_x80_u0_b180 20 80 0 180 sub(R,mod(pow(R,R),R)) 175776 165644280 o2(x,o2(o2(x,x),x)) true 114615 114615 -0.9375 0.04297 0.9766 0.0895 0.2992 -1 0.9396 1.94 1 0.42 0.008913 0.009202 0.01358 -0.01595 1 0.00001068 0.03774 0.02439 0.01793 0.1339 9.864 2.617 0.2024 0.4216 1 1 0.01402 0.06163 0.1468 0.1566 0.6886 1.64 json
t20_x80_u0_b181 20 80 0 181 sub(R,mod(mod(R,R),R)) 175777 165644281 o2(x,o2(o2(x,x),x)) true 114623 114623 0.02519 0.4971 0.3349 0.1816 0.4261 -0.9989 0.9809 1.98 1 4.722 0.002252 0.002463 0.05486 -0.04485 1 0.00003711 0.0002706 0.01245 0.001706 0.0413 0.7529 0.2301 0.02596 0.00149 1 1 0.008707 0.1116 0.3161 0.04795 0.6147 1.741 json
t20_x80_u0_b182 20 80 0 182 sub(R,mod(lrg(R,R),R)) 175778 165644282 o2(x,o2(o2(x,x),x)) true 114631 114631 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b183 20 80 0 183 sub(R,mod(eql(R,R),R)) 175779 165644283 o2(x,o2(o2(x,x),x)) true 114639 114639 -0.1642 0.4072 0.4111 0.2261 0.4755 -1 0.9621 1.962 1 4.779 0.003165 0.003425 0.06621 -0.03943 1 0.0000262 0.0003923 0.01523 0.002207 0.04698 0.7095 0.2294 0.02915 0.001735 1 1 0.01276 0.1638 0.3979 0.05645 0.7246 1.76 json
t20_x80_u0_b184 20 80 0 184 sub(R,mod(min(R,R),R)) 175780 165644284 o2(x,o2(o2(x,x),x)) true 114647 114647 0.02519 0.4971 0.3349 0.1816 0.4261 -0.9989 0.9809 1.98 1 4.722 0.002252 0.002463 0.05486 -0.04485 1 0.00003711 0.0002706 0.01245 0.001706 0.0413 0.7529 0.2301 0.02596 0.00149 1 1 0.008707 0.1116 0.3161 0.04795 0.6147 1.741 json
t20_x80_u0_b185 20 80 0 185 sub(R,mod(dot(R,R),R)) 175781 165644285 o2(x,o2(o2(x,x),x)) true 114655 114655 -0.2133 0.3707 0.4064 0.2124 0.4609 -1 0.9668 1.967 1 4.665 0.002923 0.003195 0.06042 -0.04442 1 0.00005314 0.0005752 0.01498 0.002467 0.04967 0.822 0.2876 0.0288 0.002708 1 1 0.01218 0.151 0.3855 0.05734 0.7107 1.815 json
t20_x80_u0_b186 20 80 0 186 sub(R,mod(dst(R,R),R)) 175782 165644286 o2(x,o2(o2(x,x),x)) true 114663 114663 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b187 20 80 0 187 sub(R,lrg(add(R,R),R)) 175783 165644287 o2(x,o2(o2(x,x),x)) true 114671 114671 -0.4734 0 0.4734 0.05091 0.2256 -0.9989 -0.002975 0.9959 1 3.815 0.0007236 0.0006853 0.03089 0.02719 1 0.00004432 0.00008334 0.007111 0.0004549 0.02133 0.6905 0.1132 0.02767 0.001637 1 1 0.002542 0.03267 0.08567 0.04993 0.6416 1.683 json
t20_x80_u0_b188 20 80 0 188 sub(R,lrg(sub(R,R),R)) 175784 165644288 o2(x,o2(o2(x,x),x)) true 114679 114679 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x80_u0_b189 20 80 0 189 sub(R,lrg(mlt(R,R),R)) 175785 165644289 o2(x,o2(o2(x,x),x)) true 114687 114687 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x80_u0_b190 20 80 0 190 sub(R,lrg(div(R,R),R)) 175786 165644290 o2(x,o2(o2(x,x),x)) true 114695 114695 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x80_u0_b191 20 80 0 191 sub(R,lrg(pow(R,R),R)) 175787 165644291 o2(x,o2(o2(x,x),x)) true 114703 114703 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x80_u0_b192 20 80 0 192 sub(R,lrg(mod(R,R),R)) 175788 165644292 o2(x,o2(o2(x,x),x)) true 114711 114711 -0.2718 0.3873 0.6069 0.406 0.6372 -1 0.9806 1.981 1 4.307 0.006018 0.007448 0.08298 -0.1062 1 0.0001419 0.001883 0.02403 0.006581 0.08112 0.9776 0.347 0.03316 0.004638 1 1 0.02553 0.2981 0.7395 0.06286 0.7341 1.821 json
t20_x80_u0_b193 20 80 0 193 sub(R,lrg(lrg(R,R),R)) 175789 165644293 o2(x,o2(o2(x,x),x)) true 114719 114719 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x80_u0_b194 20 80 0 194 sub(R,lrg(eql(R,R),R)) 175790 165644294 o2(x,o2(o2(x,x),x)) true 114727 114727 -0.7982 0 0.7982 0.07256 0.2694 -1 -0.01936 0.9806 1 2.717 0.001471 0.00159 0.03308 -0.03903 1 0.0000876 0.0006964 0.01237 0.001966 0.04434 1.34 0.223 0.04219 0.009598 1 1 0.005951 0.06127 0.1403 0.08201 0.8444 1.934 json
t20_x80_u0_b195 20 80 0 195 sub(R,lrg(min(R,R),R)) 175791 165644295 o2(x,o2(o2(x,x),x)) true 114735 114735 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b196 20 80 0 196 sub(R,lrg(dot(R,R),R)) 175792 165644296 o2(x,o2(o2(x,x),x)) true 114743 114743 -0.7568 0.02943 0.7718 0.1108 0.3329 -1 0.7984 1.798 1 2.954 0.001984 0.002354 0.03966 -0.08533 1 0.0000859 0.0008522 0.01398 0.002764 0.05258 1.326 0.3135 0.03915 0.007692 1 1 0.007326 0.07714 0.1834 0.06612 0.6963 1.655 json
t20_x80_u0_b197 20 80 0 197 sub(R,lrg(dst(R,R),R)) 175793 165644297 o2(x,o2(o2(x,x),x)) true 114751 114751 -0.3539 0.3544 0.6666 0.4315 0.6569 -1 0.9804 1.98 1 3.927 0.006974 0.008247 0.08425 -0.08369 1 0.0001444 0.002323 0.02589 0.008124 0.09014 1.07 0.347 0.03528 0.005383 1 1 0.02989 0.3406 0.8128 0.06928 0.7893 1.884 json
t20_x80_u0_b198 20 80 0 198 sub(R,eql(add(R,R),R)) 175794 165644298 o2(x,o2(o2(x,x),x)) true 114759 114759 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b199 20 80 0 199 sub(R,eql(sub(R,R),R)) 175795 165644299 o2(x,o2(o2(x,x),x)) true 114767 114767 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json
t20_x80_u0_b200 20 80 0 200 sub(R,eql(mlt(R,R),R)) 175796 165644300 o2(x,o2(o2(x,x),x)) true 114775 114775 0.008979 0.4983 0.3946 0.2196 0.4686 -0.9989 0.9806 1.979 1 4.862 0.002813 0.00317 0.0632 -0.05957 1 0.00002651 0.0003508 0.01449 0.001989 0.0446 0.7057 0.2301 0.02725 0.001598 1 1 0.01182 0.1519 0.3914 0.05384 0.6917 1.782 json