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
t15_x2_u40_b5 15 2 40 5 mod(P,sgn(sgn(R))) 71300 121897862 o2(x,o1(o1(x))) true 58407 58407 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
t15_x2_u40_b6 15 2 40 6 lrg(P,sgn(sgn(R))) 71301 121897863 o2(x,o1(o1(x))) true 58415 58415 0.4648 0.541 0.4648 0.2315 0.4811 0 1 1 1 1.711 0.0005491 0.0002856 0.009689 0.3156 1 0.00001711 0.00004555 0.002325 0.0007411 0.02722 2.81 0.1169 0.003606 0.0001968 1 1 0.002192 0.02842 0.09003 0.009467 0.1228 0.3889 json
t15_x2_u40_b7 15 2 40 7 eql(P,sgn(sgn(R))) 71302 121897864 o2(x,o1(o1(x))) true 58423 58423 0.06641 0.1954 0.06641 0.04165 0.2041 0 0.9997 0.9997 1 1.048 0.0006635 0.0003158 0.01147 0.355 1 -4.364e-10 0.00005347 0.002748 0.0008472 0.02911 2.538 0.1169 0.02351 0.001284 1 1 0.002493 0.0323 0.07847 0.05987 0.7755 1.884 json
t15_x2_u40_b8 15 2 40 8 min(P,sgn(sgn(R))) 71303 121897865 o2(x,o1(o1(x))) true 58431 58431 -0.543 0.2191 0.8285 0.4739 0.6884 -1 1 2 1 2.817 0.004315 0.00494 0.05623 -0.06757 1 -0.00005418 0.000559 0.0137 0.006094 0.07807 1.388 0.2338 0.01953 0.001179 1 1 0.01813 0.2355 0.6057 0.03827 0.4969 1.278 json
t15_x2_u40_b9 15 2 40 9 dot(P,sgn(sgn(R))) 71304 121897866 o2(x,o1(o1(x))) true 58439 58439 -0.08787 0.4576 0.9178 0.8848 0.9407 -1 1 2 1 2.187 0.04287 0.05536 0.1113 -0.1272 1 0.000105 0.1226 0.1178 0.08582 0.2929 2.632 2.355 0.111 0.1385 1 1 0.1236 0.7705 1.656 0.1397 0.8708 1.871 json
t15_x2_u40_b10 15 2 40 10 dst(P,sgn(sgn(R))) 71305 121897867 o2(x,o1(o1(x))) true 58447 58447 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
t15_x2_u41_b0 15 2 41 0 add(P,sgn(nrm(R))) 71306 121898058 o2(x,o1(o1(x))) true 58455 58455 0.006117 0.4994 0.9421 0.9262 0.9624 -1 1 2 1 1.861 0.001892 0.001043 0.0157 0.2894 1 -0.00003255 0.0006342 0.005652 0.002688 0.05184 3.302 0.3507 0.003169 0.0006847 1 1 0.007625 0.08405 0.3316 0.008232 0.09074 0.358 json
t15_x2_u41_b1 15 2 41 1 sub(P,sgn(nrm(R))) 71307 121898059 o2(x,o1(o1(x))) true 58463 58463 -0.00008297 0.5047 0.9353 0.918 0.9581 -1 1 2 1 1.934 0.001844 0.001053 0.01631 0.2732 1 0.00002874 0.0006075 0.005737 0.002629 0.05127 3.143 0.3507 0.003155 0.0006617 1 1 0.007534 0.08295 0.3282 0.008207 0.09035 0.3575 json
t15_x2_u41_b2 15 2 41 2 mlt(P,sgn(nrm(R))) 71308 121898060 o2(x,o1(o1(x))) true 58471 58471 -0.056 0.4736 0.8588 0.8173 0.904 -1 1 2 1 2.72 0.03337 0.04339 0.1064 -0.1305 1 -0.000008313 0.07809 0.09296 0.06541 0.2558 2.403 1.863 0.09393 0.09555 1 1 0.09871 0.6759 1.52 0.1208 0.8271 1.86 json
t15_x2_u41_b3 15 2 41 3 div(P,sgn(nrm(R))) 71309 121898061 o2(x,o1(o1(x))) true 58479 58479 -0.056 0.4736 0.8588 0.8173 0.904 -1 1 2 1 2.72 0.03337 0.04339 0.1064 -0.1305 1 -0.000008313 0.07809 0.09296 0.06541 0.2558 2.403 1.863 0.09393 0.09555 1 1 0.09871 0.6759 1.52 0.1208 0.8271 1.86 json
t15_x2_u41_b4 15 2 41 4 pow(P,sgn(nrm(R))) 71310 121898062 o2(x,o1(o1(x))) true 58487 58487 -0.1969 0.4531 0.8969 0.8249 0.9083 -1 1 2 1 2.071 0.01435 0.005381 0.02649 0.4544 1 -0.0001705 0.03579 0.03001 0.01902 0.1379 5.207 2.828 0.02391 0.04339 1 1 0.02718 0.1269 0.403 0.03294 0.1538 0.4886 json
t15_x2_u41_b5 15 2 41 5 mod(P,sgn(nrm(R))) 71311 121898063 o2(x,o1(o1(x))) true 58495 58495 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
t15_x2_u41_b6 15 2 41 6 lrg(P,sgn(nrm(R))) 71312 121898064 o2(x,o1(o1(x))) true 58503 58503 0.4648 0.541 0.4648 0.2315 0.4811 0 1 1 1 1.711 0.0005491 0.0002856 0.009689 0.3156 1 0.00001711 0.00004555 0.002325 0.0007411 0.02722 2.81 0.1169 0.003606 0.0001968 1 1 0.002192 0.02842 0.09003 0.009467 0.1228 0.3889 json
t15_x2_u41_b7 15 2 41 7 eql(P,sgn(nrm(R))) 71313 121898065 o2(x,o1(o1(x))) true 58511 58511 0.06641 0.1954 0.06641 0.04165 0.2041 0 0.9997 0.9997 1 1.048 0.0006635 0.0003158 0.01147 0.355 1 -4.364e-10 0.00005347 0.002748 0.0008472 0.02911 2.538 0.1169 0.02351 0.001284 1 1 0.002493 0.0323 0.07847 0.05987 0.7755 1.884 json
t15_x2_u41_b8 15 2 41 8 min(P,sgn(nrm(R))) 71314 121898066 o2(x,o1(o1(x))) true 58519 58519 -0.543 0.2191 0.8285 0.4739 0.6884 -1 1 2 1 2.817 0.004315 0.00494 0.05623 -0.06757 1 -0.00005418 0.000559 0.0137 0.006094 0.07807 1.388 0.2338 0.01953 0.001179 1 1 0.01813 0.2355 0.6057 0.03827 0.4969 1.278 json
t15_x2_u41_b9 15 2 41 9 dot(P,sgn(nrm(R))) 71315 121898067 o2(x,o1(o1(x))) true 58527 58527 -0.08787 0.4576 0.9178 0.8848 0.9407 -1 1 2 1 2.187 0.04287 0.05536 0.1113 -0.1272 1 0.000105 0.1226 0.1178 0.08582 0.2929 2.632 2.355 0.111 0.1385 1 1 0.1236 0.7705 1.656 0.1397 0.8708 1.871 json
t15_x2_u41_b10 15 2 41 10 dst(P,sgn(nrm(R))) 71316 121898068 o2(x,o1(o1(x))) true 58535 58535 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
t15_x2_u42_b0 15 2 42 0 add(P,nrm(sqt(R))) 71317 121898259 o2(x,o1(o1(x))) true 58543 58543 -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
t15_x2_u42_b1 15 2 42 1 sub(P,nrm(sqt(R))) 71318 121898260 o2(x,o1(o1(x))) true 58551 58551 -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
t15_x2_u42_b2 15 2 42 2 mlt(P,nrm(sqt(R))) 71319 121898261 o2(x,o1(o1(x))) true 58559 58559 -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
t15_x2_u42_b3 15 2 42 3 div(P,nrm(sqt(R))) 71320 121898262 o2(x,o1(o1(x))) true 58567 58567 -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
t15_x2_u42_b4 15 2 42 4 pow(P,nrm(sqt(R))) 71321 121898263 o2(x,o1(o1(x))) true 58575 58575 -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
t15_x2_u42_b5 15 2 42 5 mod(P,nrm(sqt(R))) 71322 121898264 o2(x,o1(o1(x))) true 58583 58583 -0.9973 0 0.9973 0.001878 0.04333 -1 -0.1171 0.8829 1 0.04843 0.0002516 0.0002442 0.0007686 0.01499 1 3.754e-11 0.00105 0.001392 0.0004948 0.02224 28.94 0.8829 0.2641 0.5592 1 1 0.0008767 0.003528 0.006583 0.4669 1.879 3.506 json
t15_x2_u42_b6 15 2 42 6 lrg(P,nrm(sqt(R))) 71323 121898265 o2(x,o1(o1(x))) true 58591 58591 0.8613 0.9952 0.8613 0.07948 0.2819 0 1 1 1 1.807 0.0008224 0.001041 0.02185 -0.1174 1 -0.000005711 0.000106 0.005285 0.001387 0.03724 1.704 0.1169 0.02345 0.001334 1 1 0.003824 0.04888 0.127 0.04811 0.6151 1.599 json
t15_x2_u42_b7 15 2 42 7 eql(P,nrm(sqt(R))) 71324 121898266 o2(x,o1(o1(x))) true 58599 58599 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
t15_x2_u42_b8 15 2 42 8 min(P,nrm(sqt(R))) 71325 121898267 o2(x,o1(o1(x))) true 58607 58607 -0.01497 0.5 0.9225 0.9 0.9487 -1 1 2 1 2.114 0.0008641 0.0003526 0.01192 0.4204 1 -0.0001006 0.0004291 0.005338 0.001074 0.03278 2.751 0.3377 0.001352 0.0004768 1 1 0.002706 0.02882 0.2321 0.003007 0.03203 0.2579 json
t15_x2_u42_b9 15 2 42 9 dot(P,nrm(sqt(R))) 71326 121898268 o2(x,o1(o1(x))) true 58615 58615 -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
t15_x2_u42_b10 15 2 42 10 dst(P,nrm(sqt(R))) 71327 121898269 o2(x,o1(o1(x))) true 58623 58623 -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
t15_x2_u43_b0 15 2 43 0 add(P,nrm(log(R))) 71328 121898460 o2(x,o1(o1(x))) true 58631 58631 -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
t15_x2_u43_b1 15 2 43 1 sub(P,nrm(log(R))) 71329 121898461 o2(x,o1(o1(x))) true 58639 58639 -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
t15_x2_u43_b2 15 2 43 2 mlt(P,nrm(log(R))) 71330 121898462 o2(x,o1(o1(x))) true 58647 58647 -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
t15_x2_u43_b3 15 2 43 3 div(P,nrm(log(R))) 71331 121898463 o2(x,o1(o1(x))) true 58655 58655 -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
t15_x2_u43_b4 15 2 43 4 pow(P,nrm(log(R))) 71332 121898464 o2(x,o1(o1(x))) true 58663 58663 -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
t15_x2_u43_b5 15 2 43 5 mod(P,nrm(log(R))) 71333 121898465 o2(x,o1(o1(x))) true 58671 58671 -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
t15_x2_u43_b6 15 2 43 6 lrg(P,nrm(log(R))) 71334 121898466 o2(x,o1(o1(x))) true 58679 58679 0.9434 1 0.9434 0.0343 0.1852 0.000291 1 0.9997 1 0.9675 0.0004478 0.0004534 0.01065 -0.006162 1 0.000005703 0.00005206 0.002582 0.0007879 0.02807 2.635 0.1169 0.02628 0.001518 1 1 0.00207 0.0264 0.06205 0.06034 0.7698 1.809 json
t15_x2_u43_b7 15 2 43 7 eql(P,nrm(log(R))) 71335 121898467 o2(x,o1(o1(x))) true 58687 58687 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
t15_x2_u43_b8 15 2 43 8 min(P,nrm(log(R))) 71336 121898468 o2(x,o1(o1(x))) true 58695 58695 -0.03151 0.4833 0.9161 0.8952 0.9461 -1 1 2 1 2.07 0.001721 0.001578 0.01682 0.0434 1 1.201e-10 0.00116 0.007215 0.003018 0.05494 3.267 0.6263 0.003685 0.001296 1 1 0.007137 0.07058 0.2874 0.007972 0.07884 0.3211 json
t15_x2_u43_b9 15 2 43 9 dot(P,nrm(log(R))) 71337 121898469 o2(x,o1(o1(x))) true 58703 58703 -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
t15_x2_u43_b10 15 2 43 10 dst(P,nrm(log(R))) 71338 121898470 o2(x,o1(o1(x))) true 58711 58711 -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
t15_x2_u44_b0 15 2 44 0 add(P,nrm(frc(R))) 71339 121898661 o2(x,o1(o1(x))) true 58719 58719 0.06773 0.5335 0.9339 0.9073 0.9525 -1 1 2 1 1.986 0.0007822 0.00007804 0.008845 0.8186 1 2.454e-7 0.0001298 0.002811 0.0007825 0.02797 3.162 0.2206 0.0009482 0.0001431 1 1 0.002178 0.02581 0.2283 0.002401 0.02845 0.2517 json
t15_x2_u44_b1 15 2 44 1 sub(P,nrm(frc(R))) 71340 121898662 o2(x,o1(o1(x))) true 58727 58727 -0.06687 0.468 0.9346 0.9073 0.9525 -1 1 2 1 1.998 0.0007536 0.0000654 0.008738 0.8403 1 0.000001435 0.0001249 0.002753 0.0007426 0.02725 3.119 0.2122 0.0009026 0.0001377 1 1 0.00212 0.02523 0.2272 0.002336 0.02781 0.2504 json
t15_x2_u44_b2 15 2 44 2 mlt(P,nrm(frc(R))) 71341 121898663 o2(x,o1(o1(x))) true 58735 58735 0.004299 0.4994 0.8507 0.8026 0.8959 -1 1 2 1 2.956 0.00106 0.00067 0.01795 0.2254 1 6.308e-7 0.0006252 0.00816 0.001407 0.03751 2.089 0.3469 0.002156 0.0007789 1 1 0.003308 0.03315 0.1783 0.004122 0.0413 0.2222 json
t15_x2_u44_b3 15 2 44 3 div(P,nrm(frc(R))) 71342 121898664 o2(x,o1(o1(x))) true 58743 58743 -0.0002119 0.5 0.9581 0.9505 0.9749 -1 1 2 1 1.532 0.001607 0.0001286 0.008209 0.8518 1 0.000001834 0.001143 0.004503 0.001669 0.04086 4.977 0.955 0.001826 0.001203 1 1 0.004043 0.03661 0.2766 0.004253 0.03851 0.291 json
t15_x2_u44_b4 15 2 44 4 pow(P,nrm(frc(R))) 71343 121898665 o2(x,o1(o1(x))) true 58751 58751 -0.03125 0.5 0.9688 0.9603 0.98 -1 1 2 1 1.406 0.004323 0 0.007937 1 1 -9.386e-13 0.007903 0.008812 0.004259 0.06526 8.223 1 0.004502 0.008229 1 1 0.006228 0.03975 0.2856 0.006485 0.04139 0.2974 json
t15_x2_u44_b5 15 2 44 5 mod(P,nrm(frc(R))) 71344 121898666 o2(x,o1(o1(x))) true 58759 58759 0.01773 0.4973 0.2422 0.0852 0.2919 -0.7982 0.7981 1.596 1 4.24 0.0003578 0.0003009 0.02036 0.08636 1 4.534e-7 0.00003757 0.004628 0.0002442 0.01563 0.7675 0.09051 0.007731 0.0004409 1 1 0.001277 0.0165 0.05894 0.01499 0.1937 0.6917 json
t15_x2_u44_b6 15 2 44 6 lrg(P,nrm(frc(R))) 71345 121898667 o2(x,o1(o1(x))) true 58767 58767 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
t15_x2_u44_b7 15 2 44 7 eql(P,nrm(frc(R))) 71346 121898668 o2(x,o1(o1(x))) true 58775 58775 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
t15_x2_u44_b8 15 2 44 8 min(P,nrm(frc(R))) 71347 121898669 o2(x,o1(o1(x))) true 58783 58783 -0.2095 0.4994 0.728 0.5798 0.7614 -1 0.9709 1.971 1 3.298 0.0007276 0.000271 0.01831 0.4573 1 0.0000194 0.0000534 0.00422 0.0006633 0.02575 1.406 0.1169 0.001722 0.0000921 1 1 0.002124 0.02791 0.1819 0.003664 0.04815 0.3137 json
t15_x2_u44_b9 15 2 44 9 dot(P,nrm(frc(R))) 71348 121898670 o2(x,o1(o1(x))) true 58791 58791 -0.02978 0.4876 0.899 0.8633 0.9292 -1 1 2 1 2.458 0.005309 0.007368 0.03837 -0.1624 1 -0.00005893 0.005492 0.01929 0.0112 0.1058 2.758 1.17 0.01468 0.006361 1 1 0.0169 0.1718 0.5064 0.01957 0.1989 0.5865 json
t15_x2_u44_b10 15 2 44 10 dst(P,nrm(frc(R))) 71349 121898671 o2(x,o1(o1(x))) true 58799 58799 0.999 1 0.999 0.0002155 0.01468 0.6348 1 0.3652 1 0.05437 0.000008098 0.000006355 0.0002586 0.1206 0 -4.505e-11 0.000006054 0.0001439 0.00001438 0.003792 14.66 0.1255 0.06708 0.0281 1 1 0.00004635 0.0004095 0.0007856 0.2151 1.901 3.646 json
t15_x2_u45_b0 15 2 45 0 add(P,nrm(flr(R))) 71350 121898862 o2(x,o1(o1(x))) true 58807 58807 -0.3594 0.3222 0.953 0.8088 0.8993 -1 1 2 1 1.669 0.0264 0.02467 0.03356 0.03384 1 -0.00001098 0.1031 0.0539 0.04996 0.2235 6.66 2.828 0.06315 0.1275 1 1 0.05448 0.2483 0.8908 0.06736 0.3071 1.101 json
t15_x2_u45_b1 15 2 45 1 sub(P,nrm(flr(R))) 71351 121898863 o2(x,o1(o1(x))) true 58815 58815 -0.2763 0.3609 0.9478 0.8554 0.9249 -1 1 2 1 1.755 0.02845 0.02597 0.0357 0.04551 1 0.00001369 0.11 0.05739 0.05311 0.2305 6.455 2.828 0.06361 0.1286 1 1 0.06001 0.2707 0.9763 0.07015 0.3164 1.141 json
t15_x2_u45_b2 15 2 45 2 mlt(P,nrm(flr(R))) 71352 121898864 o2(x,o1(o1(x))) true 58823 58823 -0.386 0.2853 0.7711 0.5898 0.768 -1 1 2 1 2.646 0.02812 0.02408 0.0569 0.07738 1 -0.000001265 0.09924 0.0726 0.04896 0.2213 3.889 2.828 0.0885 0.1683 1 1 0.06033 0.2796 0.7257 0.1023 0.474 1.23 json
t15_x2_u45_b3 15 2 45 3 div(P,nrm(flr(R))) 71353 121898865 o2(x,o1(o1(x))) true 58831 58831 -0.8688 0.06641 0.9984 0.2433 0.4933 -1 1 2 1 0.3721 0.02649 0.02354 0.02523 0.05903 1 2.403e-10 0.1053 0.05055 0.04938 0.2222 8.808 2.828 0.2056 0.4329 1 1 0.04394 0.1852 0.4507 0.1806 0.761 1.852 json
t15_x2_u45_b4 15 2 45 4 pow(P,nrm(flr(R))) 71354 121898866 o2(x,o1(o1(x))) true 58839 58839 -0.4731 0.3164 0.8941 0.6243 0.7901 -1 1 2 1 1.988 0.03277 0.02777 0.04267 0.08262 1 -1.78e-7 0.1252 0.06902 0.05869 0.2423 5.678 2.828 0.09697 0.2005 1 1 0.07167 0.3037 0.8549 0.1148 0.4865 1.369 json
t15_x2_u45_b5 15 2 45 5 mod(P,nrm(flr(R))) 71355 121898867 o2(x,o1(o1(x))) true 58847 58847 -0.9332 0.03098 0.9439 0.06335 0.2517 -1 0.5855 1.585 1 0.6453 0.00519 0.006721 0.01293 -0.1285 1 0.000006101 0.02491 0.02342 0.01174 0.1084 8.379 1.9 0.188 0.3933 1 1 0.01242 0.05349 0.1361 0.196 0.8444 2.148 json
t15_x2_u45_b6 15 2 45 6 lrg(P,nrm(flr(R))) 71356 121898868 o2(x,o1(o1(x))) true 58855 58855 0.5605 0.725 0.5605 0.2186 0.4676 0 1 1 1 2.022 0.0007668 0.0005539 0.01551 0.1612 1 -1.309e-10 0.00007468 0.003748 0.00108 0.03287 2.119 0.1169 0.006041 0.0003416 1 1 0.003182 0.04098 0.1412 0.01455 0.1875 0.6459 json
t15_x2_u45_b7 15 2 45 7 eql(P,nrm(flr(R))) 71357 121898869 o2(x,o1(o1(x))) true 58863 58863 0.0332 0.09076 0.0332 0.02211 0.1487 0 0.9997 0.9997 1 0.5809 0.000322 0.0001483 0.005501 0.3694 1 -1.985e-10 0.00002679 0.001331 0.0004402 0.02098 3.814 0.1169 0.02127 0.001211 1 1 0.001279 0.01666 0.05373 0.05784 0.7535 2.43 json
t15_x2_u45_b8 15 2 45 8 min(P,nrm(flr(R))) 71358 121898870 o2(x,o1(o1(x))) true 58871 58871 -0.5923 0.09062 0.7248 0.2966 0.5446 -1 1 2 1 3.229 0.002859 0.003254 0.0358 -0.06447 1 -0.0001355 0.001796 0.01253 0.004831 0.06951 1.941 0.648 0.02061 0.006056 1 1 0.01163 0.125 0.3544 0.03921 0.4215 1.195 json
t15_x2_u45_b9 15 2 45 9 dot(P,nrm(flr(R))) 71359 121898871 o2(x,o1(o1(x))) true 58879 58879 -0.4202 0.2897 0.8805 0.676 0.8222 -1 1 2 1 2.232 0.03539 0.03167 0.07052 0.0555 1 0.00007985 0.1163 0.08396 0.06205 0.2491 3.532 2.828 0.09919 0.1721 1 1 0.07802 0.3996 0.9516 0.1154 0.5911 1.408 json
t15_x2_u45_b10 15 2 45 10 dst(P,nrm(flr(R))) 71360 121898872 o2(x,o1(o1(x))) true 58887 58887 0.2953 0.6484 0.9984 0.9101 0.954 -1 1 2 1 0.9842 0.06083 0.05146 0.05651 0.08345 1 0 0.231 0.1128 0.1092 0.3304 5.847 2.828 0.1234 0.2539 1 1 0.1237 0.5125 1.606 0.1359 0.5631 1.764 json
t15_x2_u46_b0 15 2 46 0 add(P,nrm(cil(R))) 71361 121899063 o2(x,o1(o1(x))) true 58895 58895 -0.4016 0.2921 0.9362 0.7598 0.8717 -1 1 2 1 1.73 0.02745 0.02989 0.0372 -0.04243 1 -0.00001399 0.1159 0.05968 0.05598 0.2366 6.36 2.828 0.07547 0.1525 1 1 0.05923 0.2645 1.045 0.07796 0.3481 1.375 json
t15_x2_u46_b1 15 2 46 1 sub(P,nrm(cil(R))) 71362 121899064 o2(x,o1(o1(x))) true 58903 58903 -0.4953 0.2573 0.9386 0.6766 0.8226 -1 1 2 1 1.659 0.02663 0.02777 0.03563 -0.0209 1 0.00001399 0.1099 0.05713 0.0531 0.2304 6.467 2.828 0.0804 0.1625 1 1 0.05403 0.2423 0.933 0.07986 0.3582 1.379 json
t15_x2_u46_b2 15 2 46 2 mlt(P,nrm(cil(R))) 71363 121899065 o2(x,o1(o1(x))) true 58911 58911 -0.4374 0.2659 0.7639 0.5343 0.731 -1 1 2 1 2.736 0.02161 0.02565 0.05426 -0.08562 1 -0.00002172 0.08949 0.06645 0.04431 0.2105 3.879 2.828 0.08845 0.1675 1 1 0.04536 0.2416 0.7859 0.08489 0.4522 1.471 json
t15_x2_u46_b3 15 2 46 3 div(P,nrm(cil(R))) 71364 121899066 o2(x,o1(o1(x))) true 58919 58919 -0.9531 0.02344 0.9968 0.0877 0.2961 -1 1 2 1 0.205 0.01014 0.01136 0.01133 -0.05636 1 3.004e-11 0.04567 0.02207 0.02137 0.1462 12.91 2.828 0.2452 0.5207 1 1 0.02195 0.08981 0.165 0.2503 1.024 1.881 json
t15_x2_u46_b4 15 2 46 4 pow(P,nrm(cil(R))) 71365 121899067 o2(x,o1(o1(x))) true 58927 58927 -0.3906 0.3125 0.9844 0.8269 0.9093 -1 1 2 1 1.154 0.03696 0.03315 0.03845 0.05442 1 0.000002852 0.1437 0.07241 0.06862 0.262 6.813 2.828 0.08479 0.1738 1 1 0.07093 0.2996 1.082 0.08578 0.3624 1.309 json
t15_x2_u46_b5 15 2 46 5 mod(P,nrm(cil(R))) 71366 121899068 o2(x,o1(o1(x))) true 58935 58935 -0.9632 0.007568 0.9664 0.03277 0.181 -1 0.6357 1.636 1 0.4171 0.003105 0.003316 0.007831 -0.03278 1 0.000004968 0.01334 0.01402 0.006359 0.07974 10.18 1.828 0.196 0.407 1 1 0.003848 0.01741 0.04645 0.1174 0.5314 1.418 json
t15_x2_u46_b6 15 2 46 6 lrg(P,nrm(cil(R))) 71367 121899069 o2(x,o1(o1(x))) true 58943 58943 0.5098 0.6557 0.5098 0.2257 0.475 0 1 1 1 1.935 0.0007165 0.0004477 0.01363 0.2309 1 -0.00002282 0.00006395 0.003264 0.0009789 0.03129 2.296 0.1169 0.005159 0.0002834 1 1 0.002293 0.02937 0.1172 0.01016 0.1301 0.5195 json
t15_x2_u46_b7 15 2 46 7 eql(P,nrm(cil(R))) 71368 121899070 o2(x,o1(o1(x))) true 58951 58951 0.04297 0.1099 0.04297 0.02944 0.1716 0 1 1 1 0.6876 0.0003836 0.0001707 0.00648 0.3841 1 0.000005704 0.00003075 0.001564 0.0005124 0.02264 3.493 0.1169 0.01883 0.001045 1 1 0.001479 0.01916 0.06144 0.05024 0.651 2.087 json
t15_x2_u46_b8 15 2 46 8 min(P,nrm(cil(R))) 71369 121899071 o2(x,o1(o1(x))) true 58959 58959 -0.1972 0.4907 0.7402 0.6389 0.7993 -1 1 2 1 3.155 0.002065 0.001211 0.02773 0.2606 1 -0.0001005 0.001176 0.01104 0.002507 0.05007 1.806 0.4653 0.005128 0.001841 1 1 0.006204 0.06613 0.245 0.009711 0.1035 0.3834 json
t15_x2_u46_b9 15 2 46 9 dot(P,nrm(cil(R))) 71370 121899072 o2(x,o1(o1(x))) true 58967 58967 -0.4042 0.2956 0.8995 0.7109 0.8432 -1 1 2 1 2.112 0.02684 0.03189 0.06148 -0.0859 1 0.00004768 0.1013 0.0715 0.05492 0.2344 3.812 2.828 0.08261 0.1425 1 1 0.06441 0.3626 1.041 0.09061 0.51 1.464 json
t15_x2_u46_b10 15 2 46 10 dst(P,nrm(cil(R))) 71371 121899073 o2(x,o1(o1(x))) true 58975 58975 0.2154 0.6094 0.9967 0.9493 0.9743 -1 1 2 1 1.051 0.05334 0.05635 0.05538 -0.02743 1 0 0.2249 0.1099 0.1066 0.3265 5.895 2.828 0.1155 0.2369 1 1 0.1035 0.4266 1.445 0.109 0.4494 1.522 json
t15_x2_u47_b0 15 2 47 0 add(P,nrm(sgn(R))) 71372 121899264 o2(x,o1(o1(x))) true 58983 58983 0.003108 0.4979 0.9407 0.9161 0.9571 -1 1 2 1 1.952 0.001088 0.0003485 0.01078 0.5148 1 -0.00001907 0.0002531 0.003801 0.001319 0.03632 3.368 0.2518 0.001568 0.0002763 1 1 0.003726 0.04197 0.2548 0.004067 0.04582 0.2781 json
t15_x2_u47_b1 15 2 47 1 sub(P,nrm(sgn(R))) 71373 121899265 o2(x,o1(o1(x))) true 58991 58991 -0.00104 0.5031 0.9364 0.91 0.9539 -1 1 2 1 1.996 0.001052 0.00035 0.01085 0.5007 1 0.00001857 0.0002507 0.003786 0.001284 0.03584 3.303 0.2518 0.001541 0.0002755 1 1 0.003667 0.04121 0.2507 0.004029 0.04529 0.2755 json
t15_x2_u47_b2 15 2 47 2 mlt(P,nrm(sgn(R))) 71374 121899266 o2(x,o1(o1(x))) true 58999 58999 -0.05892 0.4734 0.7788 0.7134 0.8446 -1 1 2 1 3.319 0.02034 0.02567 0.09894 -0.1158 1 -0.000007959 0.02471 0.05684 0.03621 0.1903 1.923 1.076 0.06449 0.03463 1 1 0.06291 0.5434 1.267 0.08819 0.7617 1.776 json
t15_x2_u47_b3 15 2 47 3 div(P,nrm(sgn(R))) 71375 121899267 o2(x,o1(o1(x))) true 59007 59007 -0.05505 0.4739 0.9063 0.8805 0.9383 -1 1 2 1 2.14 0.04602 0.07104 0.1103 -0.2138 1 0.000001772 0.1837 0.1338 0.1049 0.3239 2.937 2.488 0.133 0.2086 1 1 0.1353 0.767 1.667 0.1536 0.871 1.893 json
t15_x2_u47_b4 15 2 47 4 pow(P,nrm(sgn(R))) 71376 121899268 o2(x,o1(o1(x))) true 59015 59015 -0.182 0.4531 0.9117 0.8372 0.915 -1 1 2 1 2.125 0.0136 0.004431 0.02252 0.5086 1 -0.00007939 0.03456 0.02588 0.01752 0.1324 5.879 2.828 0.02154 0.04128 1 1 0.02472 0.1107 0.3864 0.02953 0.1322 0.4615 json
t15_x2_u47_b5 15 2 47 5 mod(P,nrm(sgn(R))) 71377 121899269 o2(x,o1(o1(x))) true 59023 59023 -1e-11 0.5 0.2833 0.1004 0.3169 -0.5359 0.5359 1.072 1 4.063 0.0004623 0 0.01613 1 1 0 0.00002082 0.003705 0.0002018 0.01421 0.8806 0.0494 0.004603 0.0002073 1 1 0.0008383 0.01095 0.05376 0.008347 0.109 0.5353 json
t15_x2_u47_b6 15 2 47 6 lrg(P,nrm(sgn(R))) 71378 121899270 o2(x,o1(o1(x))) true 59031 59031 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t15_x2_u47_b7 15 2 47 7 eql(P,nrm(sgn(R))) 71379 121899271 o2(x,o1(o1(x))) true 59039 59039 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
t15_x2_u47_b8 15 2 47 8 min(P,nrm(sgn(R))) 71380 121899272 o2(x,o1(o1(x))) true 59047 59047 -0.5116 0.2191 0.6764 0.3043 0.5516 -1 0.5774 1.577 1 3.291 0.001578 0.001647 0.03406 -0.02135 1 -0.00003128 0.0001927 0.008249 0.002064 0.04544 1.334 0.135 0.0106 0.0006334 1 1 0.006417 0.08341 0.2454 0.02109 0.2741 0.8065 json
t15_x2_u47_b9 15 2 47 9 dot(P,nrm(sgn(R))) 71381 121899273 o2(x,o1(o1(x))) true 59055 59055 -0.09135 0.4575 0.862 0.8102 0.9001 -1 1 2 1 2.748 0.02739 0.03576 0.1076 -0.1325 1 0.0001487 0.04917 0.08004 0.05154 0.227 2.109 1.772 0.07794 0.06069 1 1 0.08399 0.6486 1.483 0.1037 0.8005 1.83 json
t15_x2_u47_b10 15 2 47 10 dst(P,nrm(sgn(R))) 71382 121899274 o2(x,o1(o1(x))) true 59063 59063 0.9993 1 0.9993 0.00006803 0.008248 0.8313 1 0.1687 1 0.05025 0.000003255 0.000006761 0.0002604 -0.3501 0 1.427e-10 0.000007582 0.0002232 0.000009943 0.003153 12.11 0.09798 0.1472 0.1115 1 1 0.00002949 0.0001707 0.0001947 0.4335 2.51 2.863 json
t15_x2_u48_b0 15 2 48 0 add(P,nrm(nrm(R))) 71383 121899465 o2(x,o1(o1(x))) true 59071 59071 0.00461 0.4985 0.9455 0.9231 0.9608 -1 1 2 1 1.945 0.001159 0.0003314 0.01084 0.5553 1 -0.0000216 0.0002629 0.003673 0.001372 0.03705 3.416 0.3153 0.001615 0.0002849 1 1 0.00384 0.04426 0.2718 0.00416 0.04794 0.2944 json
t15_x2_u48_b1 15 2 48 1 sub(P,nrm(nrm(R))) 71384 121899466 o2(x,o1(o1(x))) true 59079 59079 -0.004735 0.502 0.9369 0.9122 0.9551 -1 1 2 1 2.02 0.001139 0.0003812 0.01154 0.4985 1 0.00002006 0.000263 0.003831 0.001386 0.03723 3.227 0.2935 0.001667 0.0002883 1 1 0.00398 0.04595 0.2649 0.004363 0.05037 0.2904 json
t15_x2_u48_b2 15 2 48 2 mlt(P,nrm(nrm(R))) 71385 121899467 o2(x,o1(o1(x))) true 59087 59087 -0.06147 0.4692 0.7395 0.663 0.8143 -1 1 2 1 3.686 0.01697 0.02007 0.09281 -0.08377 1 -0.00005416 0.01968 0.04927 0.02844 0.1686 1.817 1.316 0.05587 0.02968 1 1 0.05071 0.4597 1.072 0.07648 0.6934 1.616 json
t15_x2_u48_b3 15 2 48 3 div(P,nrm(nrm(R))) 71386 121899468 o2(x,o1(o1(x))) true 59095 59095 -0.0429 0.4792 0.923 0.9032 0.9504 -1 1 2 1 1.987 0.06073 0.07884 0.1126 -0.1298 1 0.0002053 0.2666 0.1571 0.1269 0.3562 3.163 2.828 0.1545 0.2952 1 1 0.159 0.8228 1.823 0.176 0.9109 2.018 json
t15_x2_u48_b4 15 2 48 4 pow(P,nrm(nrm(R))) 71387 121899469 o2(x,o1(o1(x))) true 59103 59103 -0.1747 0.4531 0.919 0.849 0.9214 -1 1 2 1 2.175 0.01349 0.004223 0.02187 0.5231 1 -0.00009349 0.03439 0.02457 0.01724 0.1313 6.002 2.828 0.02086 0.04051 1 1 0.02421 0.107 0.3822 0.02852 0.1261 0.4502 json
t15_x2_u48_b5 15 2 48 5 mod(P,nrm(nrm(R))) 71388 121899470 o2(x,o1(o1(x))) true 59111 59111 -0.00265 0.4972 0.2405 0.08285 0.2878 -0.7962 0.7963 1.592 1 4.218 0.0004273 0.000331 0.02191 0.1269 1 0.00001301 0.00004598 0.005083 0.0002783 0.01668 0.7614 0.09291 0.009153 0.000555 1 1 0.001361 0.01752 0.05661 0.01643 0.2115 0.6834 json
t15_x2_u48_b6 15 2 48 6 lrg(P,nrm(nrm(R))) 71389 121899471 o2(x,o1(o1(x))) true 59119 59119 0.5039 0.5456 0.5039 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 0.000005704 0.00002256 0.001187 0.0004044 0.02011 4.037 0.1169 0.001779 0.00009352 1 1 0.001146 0.01504 0.08976 0.004753 0.06234 0.3721 json
t15_x2_u48_b7 15 2 48 7 eql(P,nrm(nrm(R))) 71390 121899472 o2(x,o1(o1(x))) true 59127 59127 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
t15_x2_u48_b8 15 2 48 8 min(P,nrm(nrm(R))) 71391 121899473 o2(x,o1(o1(x))) true 59135 59135 -0.5032 0.2194 0.6672 0.3165 0.5626 -1 0.9368 1.937 1 3.599 0.001691 0.001359 0.03412 0.1089 1 -0.00002519 0.0001814 0.007957 0.001885 0.04342 1.272 0.2109 0.009635 0.0005732 1 1 0.005869 0.07637 0.2441 0.01854 0.2413 0.7715 json
t15_x2_u48_b9 15 2 48 9 dot(P,nrm(nrm(R))) 71392 121899474 o2(x,o1(o1(x))) true 59143 59143 -0.08864 0.4602 0.8557 0.8032 0.8962 -1 1 2 1 2.821 0.02566 0.03346 0.1031 -0.132 1 0.00004978 0.04632 0.07501 0.0485 0.2202 2.136 2 0.07361 0.05766 1 1 0.07377 0.5814 1.399 0.09184 0.7239 1.741 json
t15_x2_u48_b10 15 2 48 10 dst(P,nrm(nrm(R))) 71393 121899475 o2(x,o1(o1(x))) true 59151 59151 0.9993 1 0.9993 0.000146 0.01208 0.635 1 0.365 1 0.03936 0.000007441 0.000009623 0.0002582 -0.1279 0 6.007e-11 0.000008987 0.0001872 0.00001702 0.004125 15.98 0.1576 0.1169 0.06157 1 1 0.00005352 0.0003988 0.0005322 0.3667 2.732 3.646 json
t15_x3_u0_b0 15 3 0 0 add(D,sqt(sqt(P))) 71394 121930218 o2(x,o1(o1(x))) true 59159 59159 -0.03125 0.5 0.9688 0.9567 0.9781 -1 1 2 1 1.49 0.004457 0 0.007937 1 1 0 0.007952 0.008185 0.004392 0.06627 8.351 1.031 0.004658 0.008312 1 1 0.006548 0.04034 0.2807 0.006845 0.04216 0.2934 json
t15_x3_u0_b1 15 3 0 1 sub(D,sqt(sqt(P))) 71395 121930219 o2(x,o1(o1(x))) true 59167 59167 -0.9654 0.01953 0.9676 0.02848 0.1687 -1 0.09672 1.097 1 0.5156 0.004877 0 0.009748 1 1 -2.365e-9 0.00815 0.01044 0.00478 0.06914 7.092 1.031 0.1713 0.2862 1 1 0.007532 0.03542 0.03996 0.2645 1.244 1.403 json
t15_x3_u0_b2 15 3 0 2 mlt(D,sqt(sqt(P))) 71396 121930220 o2(x,o1(o1(x))) true 59175 59175 -0.515 0.2148 0.5677 0.2465 0.4965 -1 0.2334 1.233 1 2.503 0.005519 0 0.02855 1 1 0.0002701 0.008219 0.0176 0.004703 0.06858 2.402 0.9997 0.02239 0.03334 1 1 0.007922 0.03735 0.07294 0.03214 0.1515 0.2959 json
t15_x3_u0_b3 15 3 0 3 div(D,sqt(sqt(P))) 71397 121930221 o2(x,o1(o1(x))) true 59183 59183 -0.5589 0.2227 0.5923 0.2527 0.5027 -1 0.158 1.158 1 1.942 0.004593 0 0.0154 1 1 0.00009256 0.008045 0.01252 0.004358 0.06601 4.286 1.031 0.01818 0.03184 1 1 0.006663 0.03098 0.08786 0.02637 0.1226 0.3477 json
t15_x3_u0_b4 15 3 0 4 pow(D,sqt(sqt(P))) 71398 121930222 o2(x,o1(o1(x))) true 59191 59191 -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
t15_x3_u0_b5 15 3 0 5 mod(D,sqt(sqt(P))) 71399 121930223 o2(x,o1(o1(x))) true 59199 59199 -0.5625 0.2188 0.6038 0.2508 0.5008 -1 0.1454 1.145 1 2.109 0.004924 0 0.01978 1 1 0.0001582 0.008104 0.01431 0.004534 0.06734 3.404 1.031 0.01964 0.03231 1 1 0.007206 0.03435 0.08512 0.02873 0.137 0.3394 json