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
t17_x0_u3_b40 17 0 3 40 div(P,eql(P,flr(P))) 97900 138050860 o2(x,o2(x,o1(x))) true 100007 100007 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
t17_x0_u3_b41 17 0 3 41 div(P,min(P,flr(P))) 97901 138050861 o2(x,o2(x,o1(x))) true 100015 100015 0.75 0.875 1 0.4375 0.6614 -1 1 2 1 0.5436 0.03175 0 0.01587 1 1 7.569e-9 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
t17_x0_u3_b42 17 0 3 42 div(P,dot(P,flr(P))) 97902 138050862 o2(x,o2(x,o1(x))) true 100023 100023 -0.01562 0.489 0.1391 0.04132 0.2033 -1 0.9997 2 1 3.34 0.00164 0.00113 0.005443 0.1841 1 -4.78e-10 0.005603 0.00475 0.002741 0.05236 9.618 2.121 0.06705 0.1356 1 1 0.00496 0.02088 0.08355 0.1201 0.5053 2.022 json
t17_x0_u3_b43 17 0 3 43 div(P,dst(P,flr(P))) 97903 138050863 o2(x,o2(x,o1(x))) true 100031 100031 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
t17_x0_u3_b44 17 0 3 44 pow(P,add(P,flr(P))) 97904 138050864 o2(x,o2(x,o1(x))) true 100039 100039 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
t17_x0_u3_b45 17 0 3 45 pow(P,sub(P,flr(P))) 97905 138050865 o2(x,o2(x,o1(x))) true 100047 100047 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
t17_x0_u3_b46 17 0 3 46 pow(P,mlt(P,flr(P))) 97906 138050866 o2(x,o2(x,o1(x))) true 100055 100055 -0.125 0.4375 1 0.9844 0.9922 -1 1 2 1 0.9887 0.03175 0 0.01587 1 1 0 0.06349 0.03175 0.03149 0.1774 11.18 2 0.03225 0.0645 1 1 0.02105 0.08421 0.4947 0.02139 0.08555 0.5026 json
t17_x0_u3_b47 17 0 3 47 pow(P,div(P,flr(P))) 97907 138050867 o2(x,o2(x,o1(x))) true 100063 100063 -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
t17_x0_u3_b48 17 0 3 48 pow(P,pow(P,flr(P))) 97908 138050868 o2(x,o2(x,o1(x))) true 100071 100071 -0.5313 0.25 0.9688 0.6792 0.8241 -1 1 2 1 1.163 0.0202 0 0.01587 1 1 0 0.03965 0.02468 0.01994 0.1412 8.896 2 0.02974 0.05838 1 1 0.02728 0.124 0.6225 0.04017 0.1825 0.9165 json
t17_x0_u3_b49 17 0 3 49 pow(P,mod(P,flr(P))) 97909 138050869 o2(x,o2(x,o1(x))) true 100079 100079 0.125 0.5625 1 0.9844 0.9922 -1 1 2 1 0.9887 0.07937 0 0.03968 1 1 0 0.1587 0.07937 0.07773 0.2788 7.026 2 0.08062 0.1612 1 1 0.1053 0.4211 0.8421 0.1069 0.4277 0.8555 json
t17_x0_u3_b50 17 0 3 50 pow(P,lrg(P,flr(P))) 97910 138050870 o2(x,o2(x,o1(x))) true 100087 100087 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
t17_x0_u3_b51 17 0 3 51 pow(P,eql(P,flr(P))) 97911 138050871 o2(x,o2(x,o1(x))) true 100095 100095 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
t17_x0_u3_b52 17 0 3 52 pow(P,min(P,flr(P))) 97912 138050872 o2(x,o2(x,o1(x))) true 100103 100103 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
t17_x0_u3_b53 17 0 3 53 pow(P,dot(P,flr(P))) 97913 138050873 o2(x,o2(x,o1(x))) true 100111 100111 -0.4121 0.3086 0.9707 0.7936 0.8908 -1 1 2 1 1.255 0.02087 0.006064 0.019 0.5497 1 -1.201e-10 0.05466 0.03122 0.02658 0.163 8.578 2.828 0.03394 0.06888 1 1 0.02826 0.1484 0.7294 0.03561 0.187 0.9191 json
t17_x0_u3_b54 17 0 3 54 pow(P,dst(P,flr(P))) 97914 138050874 o2(x,o2(x,o1(x))) true 100119 100119 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
t17_x0_u3_b55 17 0 3 55 mod(P,add(P,flr(P))) 97915 138050875 o2(x,o2(x,o1(x))) true 100127 100127 -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
t17_x0_u3_b56 17 0 3 56 mod(P,sub(P,flr(P))) 97916 138050876 o2(x,o2(x,o1(x))) true 100135 100135 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
t17_x0_u3_b57 17 0 3 57 mod(P,mlt(P,flr(P))) 97917 138050877 o2(x,o2(x,o1(x))) true 100143 100143 -0.125 0.4375 0.9569 0.9337 0.9663 -1 1 2 1 1.476 0.00924 0 0.01587 1 1 0 0.01614 0.01936 0.008985 0.09479 5.974 1.001 0.009896 0.01729 1 1 0.01381 0.07397 0.3266 0.01479 0.07922 0.3498 json
t17_x0_u3_b58 17 0 3 58 mod(P,div(P,flr(P))) 97918 138050878 o2(x,o2(x,o1(x))) true 100151 100151 -0.125 0 0.125 0.1094 0.3307 -1 4.172e-7 1 1 1.294 0.007937 0 0.007937 1 1 -1.487e-13 0.01587 0.01587 0.007872 0.08872 11.18 1 0.07256 0.1451 1 1 0.01053 0.04211 0.1684 0.09624 0.385 1.54 json
t17_x0_u3_b59 17 0 3 59 mod(P,pow(P,flr(P))) 97919 138050879 o2(x,o2(x,o1(x))) true 100159 100159 -0.08402 0.4375 0.916 0.9056 0.9516 -1 1 2 1 1.463 0.00462 0 0.007937 1 1 -9.461e-10 0.008071 0.009734 0.004556 0.0675 8.504 1 0.005101 0.008912 1 1 0.006903 0.03698 0.2185 0.007622 0.04084 0.2413 json
t17_x0_u3_b60 17 0 3 60 mod(P,mod(P,flr(P))) 97920 138050880 o2(x,o2(x,o1(x))) true 100167 100167 -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.01053 0.07368 0.1684 0.04491 0.3144 0.7186 json
t17_x0_u3_b61 17 0 3 61 mod(P,lrg(P,flr(P))) 97921 138050881 o2(x,o2(x,o1(x))) true 100175 100175 -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
t17_x0_u3_b62 17 0 3 62 mod(P,eql(P,flr(P))) 97922 138050882 o2(x,o2(x,o1(x))) true 100183 100183 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
t17_x0_u3_b63 17 0 3 63 mod(P,min(P,flr(P))) 97923 138050883 o2(x,o2(x,o1(x))) true 100191 100191 -0.125 0.3125 0.6255 0.5899 0.768 -1 1 2 1 2.418 0.01617 0 0.03866 1 1 0 0.02037 0.03799 0.01467 0.1211 3.133 1 0.02741 0.03454 1 1 0.02392 0.1466 0.4242 0.04055 0.2485 0.7191 json
t17_x0_u3_b64 17 0 3 64 mod(P,dot(P,flr(P))) 97924 138050884 o2(x,o2(x,o1(x))) true 100199 100199 -0.01563 0.4922 0.9428 0.9297 0.9642 -1 1 2 1 1.767 0.002089 0.001431 0.009571 0.1869 1 -4.13e-11 0.005932 0.005937 0.003429 0.05856 6.118 2.828 0.003787 0.006381 1 1 0.00681 0.04415 0.2927 0.007325 0.04749 0.3148 json
t17_x0_u3_b65 17 0 3 65 mod(P,dst(P,flr(P))) 97925 138050885 o2(x,o2(x,o1(x))) true 100207 100207 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
t17_x0_u3_b66 17 0 3 66 lrg(P,add(P,flr(P))) 97926 138050886 o2(x,o2(x,o1(x))) true 100215 100215 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
t17_x0_u3_b67 17 0 3 67 lrg(P,sub(P,flr(P))) 97927 138050887 o2(x,o2(x,o1(x))) true 100223 100223 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
t17_x0_u3_b68 17 0 3 68 lrg(P,mlt(P,flr(P))) 97928 138050888 o2(x,o2(x,o1(x))) true 100231 100231 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
t17_x0_u3_b69 17 0 3 69 lrg(P,div(P,flr(P))) 97929 138050889 o2(x,o2(x,o1(x))) true 100239 100239 0.4688 0.5625 0.4688 0.2287 0.4783 0 1 1 1 1.79 0.001059 0 0.0119 1 1 -1.419e-9 0.00004864 0.002783 0.000917 0.03028 2.545 0.1169 0.004629 0.0002126 1 1 0.002776 0.03602 0.06598 0.01214 0.1575 0.2885 json
t17_x0_u3_b70 17 0 3 70 lrg(P,pow(P,flr(P))) 97930 138050890 o2(x,o2(x,o1(x))) true 100247 100247 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
t17_x0_u3_b71 17 0 3 71 lrg(P,mod(P,flr(P))) 97931 138050891 o2(x,o2(x,o1(x))) true 100255 100255 0.3438 0.5 0.3438 0.1918 0.4379 0 1 1 1 2.076 0.001764 0 0.01981 1 1 0.00008984 0.00007983 0.004549 0.001372 0.03704 1.869 0.1169 0.009201 0.0004163 1 1 0.003702 0.04837 0.2118 0.0193 0.2522 1.105 json
t17_x0_u3_b72 17 0 3 72 lrg(P,lrg(P,flr(P))) 97932 138050892 o2(x,o2(x,o1(x))) true 100263 100263 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
t17_x0_u3_b73 17 0 3 73 lrg(P,eql(P,flr(P))) 97933 138050893 o2(x,o2(x,o1(x))) true 100271 100271 0.4063 0.4375 0.4063 0.2344 0.4842 0 1 1 1 1.302 0.0003529 0 0.003968 1 1 -4.731e-10 0.00001619 0.0009276 0.0003372 0.01836 4.628 0.1169 0.001505 0.00006906 1 1 0.0009255 0.01214 0.0751 0.003947 0.0518 0.3203 json
t17_x0_u3_b74 17 0 3 74 lrg(P,min(P,flr(P))) 97934 138050894 o2(x,o2(x,o1(x))) true 100279 100279 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
t17_x0_u3_b75 17 0 3 75 lrg(P,dot(P,flr(P))) 97935 138050895 o2(x,o2(x,o1(x))) true 100287 100287 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
t17_x0_u3_b76 17 0 3 76 lrg(P,dst(P,flr(P))) 97936 138050896 o2(x,o2(x,o1(x))) true 100295 100295 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
t17_x0_u3_b77 17 0 3 77 eql(P,add(P,flr(P))) 97937 138050897 o2(x,o2(x,o1(x))) true 100303 100303 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
t17_x0_u3_b78 17 0 3 78 eql(P,sub(P,flr(P))) 97938 138050898 o2(x,o2(x,o1(x))) true 100311 100311 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
t17_x0_u3_b79 17 0 3 79 eql(P,mlt(P,flr(P))) 97939 138050899 o2(x,o2(x,o1(x))) true 100319 100319 0.125 0.1875 0.125 0.09585 0.3096 0 1 1 1 1.067 0.0007059 0 0.007937 1 1 -9.461e-10 0.00003238 0.001855 0.0006432 0.02536 3.195 0.1169 0.007364 0.0003379 1 1 0.001851 0.02429 0.1411 0.01931 0.2534 1.472 json
t17_x0_u3_b80 17 0 3 80 eql(P,div(P,flr(P))) 97940 138050900 o2(x,o2(x,o1(x))) true 100327 100327 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
t17_x0_u3_b81 17 0 3 81 eql(P,pow(P,flr(P))) 97941 138050901 o2(x,o2(x,o1(x))) true 100335 100335 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
t17_x0_u3_b82 17 0 3 82 eql(P,mod(P,flr(P))) 97942 138050902 o2(x,o2(x,o1(x))) true 100343 100343 0.375 0.625 0.375 0.1803 0.4246 0 1 1 1 2.555 0.002821 0 0.0316 1 1 -0.0001797 0.0001273 0.007243 0.001823 0.0427 1.351 0.1169 0.01565 0.000706 1 1 0.00555 0.07063 0.2075 0.03079 0.3918 1.151 json
t17_x0_u3_b83 17 0 3 83 eql(P,lrg(P,flr(P))) 97943 138050903 o2(x,o2(x,o1(x))) true 100351 100351 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
t17_x0_u3_b84 17 0 3 84 eql(P,eql(P,flr(P))) 97944 138050904 o2(x,o2(x,o1(x))) true 100359 100359 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
t17_x0_u3_b85 17 0 3 85 eql(P,min(P,flr(P))) 97945 138050905 o2(x,o2(x,o1(x))) true 100367 100367 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
t17_x0_u3_b86 17 0 3 86 eql(P,dot(P,flr(P))) 97946 138050906 o2(x,o2(x,o1(x))) true 100375 100375 0.007812 0.02258 0.007812 0.005398 0.07347 0 0.9997 0.9997 1 0.1706 0.00003512 0.00007993 0.001346 -0.3895 1 2.58e-11 0.000006278 0.0003238 0.0001133 0.01064 7.91 0.1169 0.02131 0.001163 1 1 0.0004001 0.00522 0.01922 0.07412 0.9669 3.56 json
t17_x0_u3_b87 17 0 3 87 eql(P,dst(P,flr(P))) 97947 138050907 o2(x,o2(x,o1(x))) true 100383 100383 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
t17_x0_u3_b88 17 0 3 88 min(P,add(P,flr(P))) 97948 138050908 o2(x,o2(x,o1(x))) true 100391 100391 -0.009727 0.5 0.9472 0.9365 0.9677 -1 1 2 1 1.65 0.001005 0 0.007937 1 1 4.731e-10 0.0001502 0.002719 0.0009424 0.0307 3.868 0.2265 0.001073 0.0001604 1 1 0.002565 0.02848 0.2515 0.002739 0.03041 0.2686 json
t17_x0_u3_b89 17 0 3 89 min(P,sub(P,flr(P))) 97949 138050909 o2(x,o2(x,o1(x))) true 100399 100399 -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
t17_x0_u3_b90 17 0 3 90 min(P,mlt(P,flr(P))) 97950 138050910 o2(x,o2(x,o1(x))) true 100407 100407 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
t17_x0_u3_b91 17 0 3 91 min(P,div(P,flr(P))) 97951 138050911 o2(x,o2(x,o1(x))) true 100415 100415 0 0.5 0.9375 0.924 0.9612 -1 1 2 1 1.813 0.0007059 0 0.007937 1 1 3.784e-9 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
t17_x0_u3_b92 17 0 3 92 min(P,pow(P,flr(P))) 97952 138050912 o2(x,o2(x,o1(x))) true 100423 100423 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
t17_x0_u3_b93 17 0 3 93 min(P,mod(P,flr(P))) 97953 138050913 o2(x,o2(x,o1(x))) true 100431 100431 -0.2185 0.3125 0.719 0.6542 0.8089 -1 1 2 1 2.238 0.00452 0 0.01964 1 1 -0.0006289 0.002266 0.01198 0.004133 0.06429 3.273 0.4609 0.006908 0.003463 1 1 0.00762 0.06437 0.2315 0.01165 0.09839 0.3539 json
t17_x0_u3_b94 17 0 3 94 min(P,lrg(P,flr(P))) 97954 138050914 o2(x,o2(x,o1(x))) true 100439 100439 -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
t17_x0_u3_b95 17 0 3 95 min(P,eql(P,flr(P))) 97955 138050915 o2(x,o2(x,o1(x))) true 100447 100447 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
t17_x0_u3_b96 17 0 3 96 min(P,min(P,flr(P))) 97956 138050916 o2(x,o2(x,o1(x))) true 100455 100455 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
t17_x0_u3_b97 17 0 3 97 min(P,dot(P,flr(P))) 97957 138050917 o2(x,o2(x,o1(x))) true 100463 100463 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
t17_x0_u3_b98 17 0 3 98 min(P,dst(P,flr(P))) 97958 138050918 o2(x,o2(x,o1(x))) true 100471 100471 -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
t17_x0_u3_b99 17 0 3 99 dot(P,add(P,flr(P))) 97959 138050919 o2(x,o2(x,o1(x))) true 100479 100479 0.9983 1 0.9983 0.001181 0.03437 0.001164 1 0.9988 1 0.04112 0.0000519 0.0000519 0.0005686 -4.907e-7 1 2.253e-11 0.00003964 0.0003493 0.0001035 0.01018 17.9 0.2685 0.08787 0.03356 1 1 0.0003401 0.002995 0.004304 0.2879 2.536 3.644 json
t17_x0_u3_b100 17 0 3 100 dot(P,sub(P,flr(P))) 97960 138050920 o2(x,o2(x,o1(x))) true 100487 100487 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
t17_x0_u3_b101 17 0 3 101 dot(P,mlt(P,flr(P))) 97961 138050921 o2(x,o2(x,o1(x))) true 100495 100495 3.725e-9 0.498 0.9867 0.9838 0.9919 -1 1 2 1 1.223 0.005879 0.005879 0.01178 -7.921e-8 1 -2.628e-10 0.02109 0.0135 0.01162 0.1078 9.153 1.414 0.01195 0.02144 1 1 0.02158 0.1241 0.5639 0.02194 0.1261 0.5731 json
t17_x0_u3_b102 17 0 3 102 dot(P,div(P,flr(P))) 97962 138050922 o2(x,o2(x,o1(x))) true 100503 100503 -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
t17_x0_u3_b103 17 0 3 103 dot(P,pow(P,flr(P))) 97963 138050923 o2(x,o2(x,o1(x))) true 100511 100511 -0.5008 0.25 0.9992 0.7483 0.865 -1 1 2 1 0.8325 0.007543 0.007543 0.007877 6.174e-8 1 3.341e-10 0.03016 0.01543 0.01502 0.1226 15.56 2 0.02016 0.04031 1 1 0.01971 0.08047 0.3328 0.02634 0.1075 0.4447 json
t17_x0_u3_b104 17 0 3 104 dot(P,mod(P,flr(P))) 97964 138050924 o2(x,o2(x,o1(x))) true 100519 100519 -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
t17_x0_u3_b105 17 0 3 105 dot(P,lrg(P,flr(P))) 97965 138050925 o2(x,o2(x,o1(x))) true 100527 100527 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
t17_x0_u3_b106 17 0 3 106 dot(P,eql(P,flr(P))) 97966 138050926 o2(x,o2(x,o1(x))) true 100535 100535 -1.583e-8 0.498 0.9392 0.9217 0.96 -1 1 2 1 1.917 0.0006889 0.0006889 0.01208 4.225e-7 1 -1.164e-10 0.0002289 0.003184 0.001231 0.03509 2.904 0.1653 0.001495 0.0002483 1 1 0.003512 0.04405 0.4161 0.003811 0.04779 0.4514 json
t17_x0_u3_b107 17 0 3 107 dot(P,min(P,flr(P))) 97967 138050927 o2(x,o2(x,o1(x))) true 100543 100543 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
t17_x0_u3_b108 17 0 3 108 dot(P,dot(P,flr(P))) 97968 138050928 o2(x,o2(x,o1(x))) true 100551 100551 -7.451e-9 0.498 0.9858 0.9826 0.9913 -1 1 2 1 1.234 0.005558 0.005558 0.01182 -4.189e-8 1 7.133e-11 0.01947 0.013 0.01098 0.1048 8.862 1.414 0.01131 0.01982 1 1 0.02038 0.1203 0.5604 0.02074 0.1224 0.5703 json
t17_x0_u3_b109 17 0 3 109 dot(P,dst(P,flr(P))) 97969 138050929 o2(x,o2(x,o1(x))) true 100559 100559 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
t17_x0_u3_b110 17 0 3 110 dst(P,add(P,flr(P))) 97970 138050930 o2(x,o2(x,o1(x))) true 100567 100567 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
t17_x0_u3_b111 17 0 3 111 dst(P,sub(P,flr(P))) 97971 138050931 o2(x,o2(x,o1(x))) true 100575 100575 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
t17_x0_u3_b112 17 0 3 112 dst(P,mlt(P,flr(P))) 97972 138050932 o2(x,o2(x,o1(x))) true 100583 100583 0.989 0.9961 0.989 0.009418 0.09705 0 1 1 1 0.1504 0.0001341 0.0001341 0.001582 -3.797e-7 1 -1.652e-10 0.00007401 0.0007952 0.0002656 0.0163 10.3 0.2415 0.02849 0.007858 1 1 0.0008883 0.008472 0.03463 0.09433 0.8996 3.677 json
t17_x0_u3_b113 17 0 3 113 dst(P,div(P,flr(P))) 97973 138050933 o2(x,o2(x,o1(x))) true 100591 100591 -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
t17_x0_u3_b114 17 0 3 114 dst(P,pow(P,flr(P))) 97974 138050934 o2(x,o2(x,o1(x))) true 100599 100599 -0.5 0.25 1 0.75 0.866 -1 1 2 1 0.8113 0.007937 0.007937 0.007937 0 1 0 0.03187 0.01587 0.01581 0.1257 15.84 2 0.02116 0.0425 1 1 0.02105 0.08421 0.3368 0.02807 0.1123 0.4491 json
t17_x0_u3_b115 17 0 3 115 dst(P,mod(P,flr(P))) 97975 138050935 o2(x,o2(x,o1(x))) true 100607 100607 -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
t17_x0_u3_b116 17 0 3 116 dst(P,lrg(P,flr(P))) 97976 138050936 o2(x,o2(x,o1(x))) true 100615 100615 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
t17_x0_u3_b117 17 0 3 117 dst(P,eql(P,flr(P))) 97977 138050937 o2(x,o2(x,o1(x))) true 100623 100623 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
t17_x0_u3_b118 17 0 3 118 dst(P,min(P,flr(P))) 97978 138050938 o2(x,o2(x,o1(x))) true 100631 100631 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
t17_x0_u3_b119 17 0 3 119 dst(P,dot(P,flr(P))) 97979 138050939 o2(x,o2(x,o1(x))) true 100639 100639 0.9982 1 0.9982 0.001283 0.03583 0.0008232 1 0.9992 1 0.04415 0.00005219 0.00005219 0.000598 -6.97e-8 1 3.379e-11 0.00004116 0.0003428 0.0001041 0.0102 17.06 0.2708 0.08133 0.03207 1 1 0.0003411 0.003076 0.004678 0.2658 2.397 3.645 json
t17_x0_u3_b120 17 0 3 120 dst(P,dst(P,flr(P))) 97980 138050940 o2(x,o2(x,o1(x))) true 100647 100647 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
t17_x0_u4_b0 17 0 4 0 add(P,add(P,cil(P))) 97981 138051021 o2(x,o2(x,o1(x))) true 100655 100655 0 0.5 0.9641 0.9583 0.9789 -1 1 2 1 1.379 0.001774 0 0.007937 1 1 0 0.0008204 0.004879 0.001711 0.04136 5.211 0.3082 0.001851 0.0008561 1 1 0.004162 0.03603 0.2806 0.004343 0.0376 0.2928 json
t17_x0_u4_b1 17 0 4 1 add(P,sub(P,cil(P))) 97982 138051022 o2(x,o2(x,o1(x))) true 100663 100663 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
t17_x0_u4_b2 17 0 4 2 add(P,mlt(P,cil(P))) 97983 138051023 o2(x,o2(x,o1(x))) true 100671 100671 0.8944 0.9375 0.8944 0.08685 0.2947 0 1 1 1 0.7463 0.001303 0 0.007937 1 1 -1.892e-9 0.0002682 0.003596 0.001241 0.03522 4.438 0.2265 0.01501 0.003088 1 1 0.003279 0.03186 0.132 0.03776 0.3669 1.52 json
t17_x0_u4_b3 17 0 4 3 add(P,div(P,cil(P))) 97984 138051024 o2(x,o2(x,o1(x))) true 100679 100679 -0.09375 0.4375 0.9688 0.9525 0.976 -1 1 2 1 1.404 0.02019 0 0.01587 1 1 0 0.03975 0.02473 0.01993 0.1412 8.896 2 0.0212 0.04173 1 1 0.0272 0.1109 0.3698 0.02856 0.1164 0.3883 json
t17_x0_u4_b4 17 0 4 4 add(P,pow(P,cil(P))) 97985 138051025 o2(x,o2(x,o1(x))) true 100687 100687 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
t17_x0_u4_b5 17 0 4 5 add(P,mod(P,cil(P))) 97986 138051026 o2(x,o2(x,o1(x))) true 100695 100695 -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
t17_x0_u4_b6 17 0 4 6 add(P,lrg(P,cil(P))) 97987 138051027 o2(x,o2(x,o1(x))) true 100703 100703 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
t17_x0_u4_b7 17 0 4 7 add(P,eql(P,cil(P))) 97988 138051028 o2(x,o2(x,o1(x))) true 100711 100711 0.125 0.5625 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json
t17_x0_u4_b8 17 0 4 8 add(P,min(P,cil(P))) 97989 138051029 o2(x,o2(x,o1(x))) true 100719 100719 0 0.5 0.9569 0.9494 0.9744 -1 1 2 1 1.488 0.001303 0 0.007937 1 1 0 0.0002681 0.003586 0.001241 0.03522 4.438 0.2265 0.001373 0.0002824 1 1 0.003279 0.03268 0.2686 0.003454 0.03442 0.2829 json
t17_x0_u4_b9 17 0 4 9 add(P,dot(P,cil(P))) 97990 138051030 o2(x,o2(x,o1(x))) true 100727 100727 0.9937 1 0.9937 0.004639 0.06811 0.000291 1 0.9997 1 0.1265 0.00007372 0.0000757 0.001194 -0.01323 1 -3.379e-11 0.00003768 0.0004689 0.0001478 0.01216 10.18 0.2359 0.03221 0.008122 1 1 0.0005008 0.005438 0.017 0.108 1.172 3.665 json
t17_x0_u4_b10 17 0 4 10 add(P,dst(P,cil(P))) 97991 138051031 o2(x,o2(x,o1(x))) true 100735 100735 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
t17_x0_u4_b11 17 0 4 11 sub(P,add(P,cil(P))) 97992 138051032 o2(x,o2(x,o1(x))) true 100743 100743 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
t17_x0_u4_b12 17 0 4 12 sub(P,sub(P,cil(P))) 97993 138051033 o2(x,o2(x,o1(x))) true 100751 100751 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
t17_x0_u4_b13 17 0 4 13 sub(P,mlt(P,cil(P))) 97994 138051034 o2(x,o2(x,o1(x))) true 100759 100759 -0.8944 0 0.8944 0.08685 0.2947 -1 0 1 1 0.8189 0.001303 0 0.007937 1 1 1.892e-9 0.0002682 0.003596 0.001241 0.03522 4.438 0.2265 0.01501 0.003088 1 1 0.003279 0.03186 0.132 0.03776 0.3669 1.52 json
t17_x0_u4_b14 17 0 4 14 sub(P,div(P,cil(P))) 97995 138051035 o2(x,o2(x,o1(x))) true 100767 100767 -0.1563 0.4375 0.9688 0.9369 0.9679 -1 1 2 1 1.385 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004615 0.008435 1 1 0.006228 0.03975 0.2856 0.006647 0.04243 0.3049 json
t17_x0_u4_b15 17 0 4 15 sub(P,pow(P,cil(P))) 97996 138051036 o2(x,o2(x,o1(x))) true 100775 100775 -0.9472 0 0.9472 0.03942 0.1985 -1 -0.000291 0.9997 1 0.6778 0.001005 0 0.007934 1 1 1.419e-9 0.0001503 0.002725 0.0009424 0.0307 3.869 0.2265 0.02549 0.003814 1 1 0.002565 0.02767 0.05687 0.06508 0.7019 1.443 json
t17_x0_u4_b16 17 0 4 16 sub(P,mod(P,cil(P))) 97997 138051037 o2(x,o2(x,o1(x))) true 100783 100783 -0.125 0.375 0.7463 0.7093 0.8422 -1 1 2 1 2.465 0.02375 0 0.03967 1 1 -1.877e-12 0.03553 0.03674 0.02218 0.1489 3.754 2 0.03348 0.05009 1 1 0.03363 0.1714 0.4313 0.04742 0.2416 0.608 json
t17_x0_u4_b17 17 0 4 17 sub(P,lrg(P,cil(P))) 97998 138051038 o2(x,o2(x,o1(x))) true 100791 100791 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
t17_x0_u4_b18 17 0 4 18 sub(P,eql(P,cil(P))) 97999 138051039 o2(x,o2(x,o1(x))) true 100799 100799 -0.125 0.4375 0.9375 0.9084 0.9531 -1 1 2 1 1.8 0.0007059 0 0.007937 1 1 0 0.00003235 0.001851 0.0006432 0.02536 3.195 0.1169 0.0007771 0.00003562 1 1 0.001851 0.02449 0.2344 0.002038 0.02696 0.2581 json