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_x18_u0_b57 17 18 0 57 mod(R,mlt(P,sqt(P))) 112800 138777492 o2(x,o2(x,o1(x))) true 62407 62407 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t17_x18_u0_b58 17 18 0 58 mod(R,div(P,sqt(P))) 112801 138777493 o2(x,o2(x,o1(x))) true 62415 62415 -0.5736 0.1995 0.7298 0.325 0.57 -1 0.9806 1.981 1 3.079 0.008479 0.001297 0.03255 0.7347 1 0.00001063 0.01473 0.01637 0.008716 0.09336 2.868 1.943 0.03008 0.04532 1 1 0.01323 0.09166 0.2549 0.04071 0.2821 0.7843 json
t17_x18_u0_b59 17 18 0 59 mod(R,pow(P,sqt(P))) 112802 138777494 o2(x,o2(x,o1(x))) true 62423 62423 -0.5075 0.2342 0.6935 0.3484 0.5903 -1 0.9806 1.981 1 3.396 0.005748 0.001487 0.03555 0.5889 1 -1.078e-7 0.008702 0.01432 0.00597 0.07727 2.173 1.829 0.02077 0.02497 1 1 0.01182 0.09948 0.2945 0.03393 0.2855 0.8451 json
t17_x18_u0_b60 17 18 0 60 mod(R,mod(P,sqt(P))) 112803 138777495 o2(x,o2(x,o1(x))) true 62431 62431 -0.7609 0.109 0.8357 0.2164 0.4652 -1 0.9806 1.981 1 1.98 0.01217 0.0006117 0.02505 0.9043 1 0.00001806 0.02329 0.02532 0.01216 0.1103 4.402 1.925 0.05909 0.1076 1 1 0.01684 0.07521 0.2053 0.07783 0.3476 0.9486 json
t17_x18_u0_b61 17 18 0 61 mod(R,lrg(P,sqt(P))) 112804 138777496 o2(x,o2(x,o1(x))) true 62439 62439 -0.188 0.3971 0.5059 0.3303 0.5747 -1 0.9806 1.981 1 4.609 0.01267 0.002569 0.05815 0.663 1 0.00005812 0.02154 0.02796 0.01186 0.1089 1.873 1.956 0.04615 0.0652 1 1 0.02147 0.1598 0.4816 0.06499 0.4838 1.458 json
t17_x18_u0_b62 17 18 0 62 mod(R,eql(P,sqt(P))) 112805 138777497 o2(x,o2(x,o1(x))) true 62447 62447 -0.934 0.03471 0.9637 0.07983 0.2825 -1 0.943 1.943 1 0.6364 0.01177 0.0001907 0.01284 0.9681 1 -0.00001074 0.02313 0.01789 0.0118 0.1086 8.461 1.943 0.1499 0.2897 1 1 0.01558 0.06809 0.1275 0.1952 0.8529 1.598 json
t17_x18_u0_b63 17 18 0 63 mod(R,min(P,sqt(P))) 112806 138777498 o2(x,o2(x,o1(x))) true 62455 62455 -0.12 0.4324 0.4674 0.3015 0.5491 -1 0.9806 1.981 1 4.761 0.01585 0.002792 0.06406 0.7005 1 0.00004824 0.0275 0.03166 0.01454 0.1206 1.882 1.943 0.06184 0.09123 1 1 0.02584 0.1831 0.5035 0.0857 0.6074 1.67 json
t17_x18_u0_b64 17 18 0 64 mod(R,dot(P,sqt(P))) 112807 138777499 o2(x,o2(x,o1(x))) true 62463 62463 -0.7383 0.1285 0.8418 0.2536 0.5036 -1 0.9432 1.943 1 1.958 0.002927 0.003944 0.01913 -0.1481 1 -0.000007843 0.01138 0.01188 0.006505 0.08065 4.216 2.097 0.0271 0.04488 1 1 0.009546 0.06089 0.2098 0.03764 0.2401 0.8273 json
t17_x18_u0_b65 17 18 0 65 mod(R,dst(P,sqt(P))) 112808 138777500 o2(x,o2(x,o1(x))) true 62471 62471 -0.7537 0.1203 0.8477 0.2386 0.4885 -1 0.9276 1.928 1 1.878 0.002863 0.003732 0.018 -0.1317 1 -0.000007843 0.01107 0.01162 0.006272 0.0792 4.399 1.969 0.02764 0.04638 1 1 0.00886 0.05481 0.192 0.03713 0.2297 0.8046 json
t17_x18_u0_b66 17 18 0 66 lrg(R,add(P,sqt(P))) 112809 138777501 o2(x,o2(x,o1(x))) true 62479 62479 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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
t17_x18_u0_b67 17 18 0 67 lrg(R,sub(P,sqt(P))) 112810 138777502 o2(x,o2(x,o1(x))) true 62487 62487 0.5449 0.6378 0.5449 0.2279 0.4774 0 1 1 1 1.795 0.0005817 0.0003686 0.01103 0.2243 1 -0.00001141 0.00005362 0.002668 0.0008288 0.02879 2.609 0.1169 0.00417 0.0002353 1 1 0.002524 0.03274 0.09683 0.01108 0.1437 0.4249 json
t17_x18_u0_b68 17 18 0 68 lrg(R,mlt(P,sqt(P))) 112811 138777503 o2(x,o2(x,o1(x))) true 62495 62495 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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
t17_x18_u0_b69 17 18 0 69 lrg(R,div(P,sqt(P))) 112812 138777504 o2(x,o2(x,o1(x))) true 62503 62503 0.5313 0.5625 0.5313 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_x18_u0_b70 17 18 0 70 lrg(R,pow(P,sqt(P))) 112813 138777505 o2(x,o2(x,o1(x))) true 62511 62511 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_x18_u0_b71 17 18 0 71 lrg(R,mod(P,sqt(P))) 112814 138777506 o2(x,o2(x,o1(x))) true 62519 62519 0.625 0.7627 0.625 0.2084 0.4565 0 1 1 1 1.929 0.0007341 0.0004817 0.0143 0.2076 1 -0.00001141 0.00007025 0.00347 0.001012 0.03181 2.225 0.1169 0.005835 0.0003371 1 1 0.003266 0.04237 0.1438 0.01568 0.2033 0.6899 json
t17_x18_u0_b72 17 18 0 72 lrg(R,lrg(P,sqt(P))) 112815 138777507 o2(x,o2(x,o1(x))) true 62527 62527 0.06641 0.1561 0.06641 0.0456 0.2135 0 1 1 1 0.9365 0.0005099 0.0002856 0.009247 0.2818 1 -0.00001711 0.00004381 0.002221 0.0007098 0.02664 2.881 0.1169 0.01744 0.0009607 1 1 0.002114 0.02743 0.08862 0.04635 0.6014 1.943 json
t17_x18_u0_b73 17 18 0 73 lrg(R,eql(P,sqt(P))) 112816 138777508 o2(x,o2(x,o1(x))) true 62535 62535 0.416 0.8273 0.416 0.1566 0.3957 0 1 1 1 3.256 0.001821 0.002157 0.04662 -0.08441 1 -6.989e-7 0.0002319 0.01132 0.001804 0.04247 0.911 0.1169 0.0254 0.001481 1 1 0.007376 0.09501 0.2765 0.04711 0.6068 1.766 json
t17_x18_u0_b74 17 18 0 74 lrg(R,min(P,sqt(P))) 112817 138777509 o2(x,o2(x,o1(x))) true 62543 62543 0.4961 0.5378 0.4961 0.2412 0.4911 0 1 1 1 1.415 0.0003238 0.0001053 0.004981 0.5091 1 -0.000005705 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
t17_x18_u0_b75 17 18 0 75 lrg(R,dot(P,sqt(P))) 112818 138777510 o2(x,o2(x,o1(x))) true 62551 62551 0.7217 0.7537 0.7217 0.1938 0.4402 0 1 1 1 1.191 0.0001804 0.0001804 0.004101 0.000002339 1 -5.714e-10 0.0000173 0.0009644 0.0003441 0.01855 4.524 0.1169 0.001862 0.00008927 1 1 0.0009528 0.01251 0.07885 0.004917 0.06454 0.4069 json
t17_x18_u0_b76 17 18 0 76 lrg(R,dst(P,sqt(P))) 112819 138777511 o2(x,o2(x,o1(x))) true 62559 62559 0.7334 0.7767 0.7334 0.1857 0.4309 0 1 1 1 1.28 0.0002857 0.0001961 0.00554 0.186 1 -7.115e-10 0.00002585 0.001333 0.0004511 0.02124 3.834 0.1169 0.002595 0.0001392 1 1 0.001374 0.01794 0.07557 0.007398 0.09658 0.4069 json
t17_x18_u0_b77 17 18 0 77 eql(R,add(P,sqt(P))) 112820 138777512 o2(x,o2(x,o1(x))) true 62567 62567 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_x18_u0_b78 17 18 0 78 eql(R,sub(P,sqt(P))) 112821 138777513 o2(x,o2(x,o1(x))) true 62575 62575 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_x18_u0_b79 17 18 0 79 eql(R,mlt(P,sqt(P))) 112822 138777514 o2(x,o2(x,o1(x))) true 62583 62583 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_x18_u0_b80 17 18 0 80 eql(R,div(P,sqt(P))) 112823 138777515 o2(x,o2(x,o1(x))) true 62591 62591 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_x18_u0_b81 17 18 0 81 eql(R,pow(P,sqt(P))) 112824 138777516 o2(x,o2(x,o1(x))) true 62599 62599 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_x18_u0_b82 17 18 0 82 eql(R,mod(P,sqt(P))) 112825 138777517 o2(x,o2(x,o1(x))) true 62607 62607 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_x18_u0_b83 17 18 0 83 eql(R,lrg(P,sqt(P))) 112826 138777518 o2(x,o2(x,o1(x))) true 62615 62615 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_x18_u0_b84 17 18 0 84 eql(R,eql(P,sqt(P))) 112827 138777519 o2(x,o2(x,o1(x))) true 62623 62623 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_x18_u0_b85 17 18 0 85 eql(R,min(P,sqt(P))) 112828 138777520 o2(x,o2(x,o1(x))) true 62631 62631 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_x18_u0_b86 17 18 0 86 eql(R,dot(P,sqt(P))) 112829 138777521 o2(x,o2(x,o1(x))) true 62639 62639 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_x18_u0_b87 17 18 0 87 eql(R,dst(P,sqt(P))) 112830 138777522 o2(x,o2(x,o1(x))) true 62647 62647 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_x18_u0_b88 17 18 0 88 min(R,add(P,sqt(P))) 112831 138777523 o2(x,o2(x,o1(x))) true 62655 62655 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t17_x18_u0_b89 17 18 0 89 min(R,sub(P,sqt(P))) 112832 138777524 o2(x,o2(x,o1(x))) true 62663 62663 -0.03281 0.4376 0.3708 0.2024 0.4499 -0.9989 0.9806 1.979 1 4.818 0.002452 0.002849 0.05857 -0.07484 1 0.00003513 0.0003103 0.01342 0.001872 0.04326 0.7387 0.2301 0.02619 0.001533 1 1 0.01005 0.1291 0.3462 0.04967 0.6378 1.71 json
t17_x18_u0_b90 17 18 0 90 min(R,mlt(P,sqt(P))) 112833 138777525 o2(x,o2(x,o1(x))) true 62671 62671 -0.005276 0.4805 0.3857 0.2142 0.4628 -0.9989 0.9806 1.979 1 4.852 0.0028 0.003069 0.06243 -0.04583 1 0.00002809 0.000342 0.01428 0.001973 0.04442 0.7115 0.2301 0.0274 0.001597 1 1 0.01137 0.1459 0.366 0.05307 0.6813 1.709 json
t17_x18_u0_b91 17 18 0 91 min(R,div(P,sqt(P))) 112834 138777526 o2(x,o2(x,o1(x))) true 62679 62679 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
t17_x18_u0_b92 17 18 0 92 min(R,pow(P,sqt(P))) 112835 138777527 o2(x,o2(x,o1(x))) true 62687 62687 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
t17_x18_u0_b93 17 18 0 93 min(R,mod(P,sqt(P))) 112836 138777528 o2(x,o2(x,o1(x))) true 62695 62695 -0.04019 0.437 0.3688 0.199 0.4461 -0.9989 0.9806 1.979 1 4.813 0.002314 0.002791 0.05771 -0.09358 1 0.00003262 0.0002998 0.01321 0.001775 0.04213 0.73 0.2301 0.02565 0.001506 1 1 0.009495 0.1219 0.3314 0.0477 0.6127 1.665 json
t17_x18_u0_b94 17 18 0 94 min(R,lrg(P,sqt(P))) 112837 138777529 o2(x,o2(x,o1(x))) true 62703 62703 -0.03043 0.4388 0.3726 0.2045 0.4522 -0.9989 0.9806 1.979 1 4.822 0.00248 0.002896 0.05898 -0.07743 1 0.00003702 0.0003145 0.01351 0.001897 0.04356 0.7386 0.2301 0.02629 0.001538 1 1 0.01025 0.1317 0.3522 0.05015 0.6441 1.722 json
t17_x18_u0_b95 17 18 0 95 min(R,eql(P,sqt(P))) 112838 138777530 o2(x,o2(x,o1(x))) true 62711 62711 -0.2147 0.0789 0.2742 0.0963 0.3103 -0.9989 0.9431 1.942 1 3.969 0.001203 0.001212 0.03684 -0.00369 1 0.000002808 0.0001404 0.008551 0.001058 0.03253 0.8829 0.1967 0.02509 0.001458 1 1 0.004908 0.0632 0.1697 0.05097 0.6563 1.762 json
t17_x18_u0_b96 17 18 0 96 min(R,min(P,sqt(P))) 112839 138777531 o2(x,o2(x,o1(x))) true 62719 62719 -0.4947 0.2244 0.669 0.3314 0.5756 -1 0.9806 1.981 1 3.609 0.001675 0.001465 0.03457 0.06692 1 -5.686e-7 0.0001859 0.007986 0.001945 0.0441 1.276 0.219 0.009476 0.0005609 1 1 0.006236 0.08108 0.2653 0.01882 0.2447 0.8006 json
t17_x18_u0_b97 17 18 0 97 min(R,dot(P,sqt(P))) 112840 138777532 o2(x,o2(x,o1(x))) true 62727 62727 0.005739 0.494 0.3927 0.2182 0.4671 -0.9989 0.9806 1.979 1 4.859 0.002786 0.003153 0.06291 -0.06171 1 0.00002651 0.0003464 0.01439 0.001982 0.04452 0.7077 0.2301 0.02722 0.001588 1 1 0.01167 0.1499 0.3841 0.05348 0.6869 1.76 json
t17_x18_u0_b98 17 18 0 98 min(R,dst(P,sqt(P))) 112841 138777533 o2(x,o2(x,o1(x))) true 62735 62735 0.002161 0.4901 0.3906 0.2162 0.465 -0.9989 0.9806 1.979 1 4.855 0.00273 0.003141 0.06246 -0.07001 1 0.00002651 0.0003425 0.01429 0.00197 0.04439 0.7106 0.2301 0.02715 0.001584 1 1 0.01144 0.1469 0.3831 0.05288 0.6792 1.771 json
t17_x18_u0_b99 17 18 0 99 dot(R,add(P,sqt(P))) 112842 138777534 o2(x,o2(x,o1(x))) true 62743 62743 -0.7238 0.1394 0.9723 0.4395 0.6629 -1 1 2 1 1.029 0.01263 0.01321 0.02974 -0.02245 1 0.000008327 0.03483 0.03156 0.02494 0.1579 5.31 2.069 0.05879 0.07927 1 1 0.03274 0.2025 0.5611 0.0745 0.4608 1.277 json
t17_x18_u0_b100 17 18 0 100 dot(R,sub(P,sqt(P))) 112843 138777535 o2(x,o2(x,o1(x))) true 62751 62751 -0.7434 0.1304 0.9226 0.3505 0.592 -1 1 2 1 1.455 0.005955 0.007586 0.02603 -0.1204 1 9.589e-7 0.01569 0.01888 0.01286 0.1134 4.357 2 0.03864 0.04478 1 1 0.01568 0.1129 0.3662 0.04474 0.3221 1.045 json
t17_x18_u0_b101 17 18 0 101 dot(R,mlt(P,sqt(P))) 112844 138777536 o2(x,o2(x,o1(x))) true 62759 62759 -0.7264 0.1381 0.9773 0.4424 0.6652 -1 1 2 1 0.9496 0.01473 0.01698 0.03001 -0.07099 1 0.00001918 0.05181 0.03734 0.0308 0.1755 5.848 2.807 0.07168 0.1171 1 1 0.03616 0.2136 0.5749 0.08173 0.4827 1.299 json
t17_x18_u0_b102 17 18 0 102 dot(R,div(P,sqt(P))) 112845 138777537 o2(x,o2(x,o1(x))) true 62767 62767 -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_x18_u0_b103 17 18 0 103 dot(R,pow(P,sqt(P))) 112846 138777538 o2(x,o2(x,o1(x))) true 62775 62775 -0.7251 0.1385 0.9874 0.4575 0.6764 -1 1 2 1 0.8137 0.02217 0.02591 0.03132 -0.07779 1 -9.011e-11 0.1114 0.05145 0.0471 0.217 6.929 2.828 0.1051 0.2435 1 1 0.04538 0.2363 0.6087 0.09919 0.5165 1.33 json
t17_x18_u0_b104 17 18 0 104 dot(R,mod(P,sqt(P))) 112847 138777539 o2(x,o2(x,o1(x))) true 62783 62783 -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_x18_u0_b105 17 18 0 105 dot(R,lrg(P,sqt(P))) 112848 138777540 o2(x,o2(x,o1(x))) true 62791 62791 0.0161 0.4837 0.4519 0.3044 0.5517 -1 1 2 1 4.849 0.004356 0.004985 0.07279 -0.06736 1 0.00003504 0.001024 0.01849 0.004041 0.06357 0.8733 0.4275 0.03069 0.003365 1 1 0.01609 0.1955 0.5698 0.05287 0.6422 1.872 json
t17_x18_u0_b106 17 18 0 106 dot(R,eql(P,sqt(P))) 112849 138777541 o2(x,o2(x,o1(x))) true 62799 62799 -0.004699 0.4941 0.4037 0.2334 0.4831 -1 1 2 1 4.889 0.003614 0.003342 0.0659 0.03904 1 -0.00003798 0.0005666 0.01588 0.002613 0.05112 0.7758 0.3508 0.0298 0.002427 1 1 0.01596 0.2002 0.4938 0.06839 0.8576 2.116 json
t17_x18_u0_b107 17 18 0 107 dot(R,min(P,sqt(P))) 112850 138777542 o2(x,o2(x,o1(x))) true 62807 62807 -0.08442 0.4653 0.7859 0.7127 0.8442 -1 1 2 1 3.41 0.01873 0.02508 0.1005 -0.1449 1 -0.00003122 0.02706 0.05868 0.03372 0.1836 1.827 1.834 0.06147 0.03797 1 1 0.05994 0.4954 1.228 0.0841 0.6951 1.724 json
t17_x18_u0_b108 17 18 0 108 dot(R,dot(P,sqt(P))) 112851 138777543 o2(x,o2(x,o1(x))) true 62815 62815 -0.7421 0.1289 0.9881 0.4334 0.6583 -1 1 2 1 0.775 0.01984 0.02153 0.03102 -0.04079 1 0.000004849 0.08085 0.04622 0.04042 0.201 6.481 2.828 0.09546 0.1865 1 1 0.04549 0.2362 0.6522 0.105 0.545 1.505 json
t17_x18_u0_b109 17 18 0 109 dot(R,dst(P,sqt(P))) 112852 138777544 o2(x,o2(x,o1(x))) true 62823 62823 -0.75 0.1242 0.9455 0.3683 0.6069 -1 1 2 1 1.254 0.007529 0.009212 0.0276 -0.1005 1 0.00001141 0.01856 0.02238 0.01597 0.1264 4.579 2 0.04545 0.05039 1 1 0.02099 0.1463 0.4892 0.05697 0.3972 1.328 json
t17_x18_u0_b110 17 18 0 110 dst(R,add(P,sqt(P))) 112853 138777545 o2(x,o2(x,o1(x))) true 62831 62831 -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_x18_u0_b111 17 18 0 111 dst(R,sub(P,sqt(P))) 112854 138777546 o2(x,o2(x,o1(x))) true 62839 62839 -0.5015 0.25 0.9985 0.7459 0.8637 -1 1 2 1 0.8796 0.007519 0.007619 0.00811 -0.00659 1 1.126e-11 0.03037 0.01564 0.01507 0.1228 15.14 2 0.0203 0.04072 1 1 0.01979 0.08063 0.3294 0.02653 0.1081 0.4417 json
t17_x18_u0_b112 17 18 0 112 dst(R,mlt(P,sqt(P))) 112855 138777547 o2(x,o2(x,o1(x))) true 62847 62847 -0.5006 0.25 0.9994 0.7483 0.865 -1 1 2 1 0.8379 0.007936 0.007948 0.008155 -0.0007666 1 2.253e-11 0.03187 0.01602 0.01581 0.1258 15.42 2 0.02123 0.04259 1 1 0.0211 0.08438 0.333 0.02819 0.1128 0.445 json
t17_x18_u0_b113 17 18 0 113 dst(R,div(P,sqt(P))) 112856 138777548 o2(x,o2(x,o1(x))) true 62855 62855 -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_x18_u0_b114 17 18 0 114 dst(R,pow(P,sqt(P))) 112857 138777549 o2(x,o2(x,o1(x))) true 62863 62863 -0.5 0.25 1 0.7499 0.8659 -1 1 2 1 0.8153 0.007937 0.007937 0.007969 0.00001162 1 0 0.03187 0.01591 0.01581 0.1257 15.78 2 0.02117 0.04251 1 1 0.02106 0.08422 0.3365 0.02808 0.1123 0.4488 json
t17_x18_u0_b115 17 18 0 115 dst(R,mod(P,sqt(P))) 112858 138777550 o2(x,o2(x,o1(x))) true 62871 62871 -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_x18_u0_b116 17 18 0 116 dst(R,lrg(P,sqt(P))) 112859 138777551 o2(x,o2(x,o1(x))) true 62879 62879 0.9809 1 0.9809 0.004934 0.07024 0.3144 1 0.6856 1 0.6467 0.000182 0.0002528 0.006035 -0.1628 1 -0.00003115 0.0001895 0.003805 0.0003983 0.01996 3.307 0.2031 0.08813 0.03841 1 1 0.0008193 0.006666 0.01025 0.166 1.351 2.077 json
t17_x18_u0_b117 17 18 0 117 dst(R,eql(P,sqt(P))) 112860 138777552 o2(x,o2(x,o1(x))) true 62887 62887 0.9719 1 0.9719 0.008931 0.0945 0.2103 1 0.7897 1 0.7926 0.0002597 0.0002734 0.007105 -0.02564 1 -0.00003563 0.0001916 0.003849 0.0004824 0.02196 3.091 0.1992 0.05969 0.02146 1 1 0.0009013 0.007846 0.013 0.1009 0.8785 1.456 json
t17_x18_u0_b118 17 18 0 118 dst(R,min(P,sqt(P))) 112861 138777553 o2(x,o2(x,o1(x))) true 62895 62895 0.9989 1 0.9989 0.000256 0.016 0.5928 1 0.4072 1 0.0531 0.00001005 0.00001335 0.0003676 -0.1411 0 3.379e-11 0.00001147 0.0002446 0.00002325 0.004822 13.12 0.1413 0.09139 0.04481 1 1 0.00007392 0.0006014 0.0009304 0.2888 2.349 3.634 json
t17_x18_u0_b119 17 18 0 119 dst(R,dot(P,sqt(P))) 112862 138777554 o2(x,o2(x,o1(x))) true 62903 62903 -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_x18_u0_b120 17 18 0 120 dst(R,dst(P,sqt(P))) 112863 138777555 o2(x,o2(x,o1(x))) true 62911 62911 -0.5007 0.25 0.9993 0.7484 0.8651 -1 1 2 1 0.8467 0.007835 0.007542 0.008002 0.01903 1 7.509e-12 0.03086 0.0157 0.01531 0.1237 15.46 2 0.02055 0.04123 1 1 0.0202 0.08209 0.3328 0.027 0.1097 0.4447 json
t17_x18_u1_b0 17 18 1 0 add(R,add(P,log(P))) 112864 138777636 o2(x,o2(x,o1(x))) true 62919 62919 -0.1268 0.4375 0.9982 0.9808 0.9903 -1 1 2 1 1.048 0.01439 0.00002159 0.008074 0.997 1 -0.000006228 0.02866 0.01538 0.01434 0.1197 14.83 2 0.01469 0.02922 1 1 0.01904 0.08076 0.3335 0.01941 0.08234 0.34 json
t17_x18_u1_b1 17 18 1 1 add(R,sub(P,log(P))) 112865 138777637 o2(x,o2(x,o1(x))) true 62927 62927 -0.1318 0.4375 0.9932 0.9717 0.9857 -1 1 2 1 1.195 0.01441 0.00006702 0.009199 0.9907 1 -0.00001218 0.02872 0.01591 0.01439 0.1199 13.04 2 0.0149 0.02955 1 1 0.01914 0.07975 0.3236 0.0197 0.08207 0.3331 json
t17_x18_u1_b2 17 18 1 2 add(R,mlt(P,log(P))) 112866 138777638 o2(x,o2(x,o1(x))) true 62935 62935 -0.148 0.4306 0.9808 0.9513 0.9754 -1 1 2 1 1.374 0.00764 0.0001428 0.009006 0.9633 1 -0.00001201 0.0146 0.01137 0.007705 0.08778 9.746 1.944 0.008181 0.01534 1 1 0.009902 0.05545 0.3039 0.01041 0.05829 0.3194 json
t17_x18_u1_b3 17 18 1 3 add(R,div(P,log(P))) 112867 138777639 o2(x,o2(x,o1(x))) true 62943 62943 -0.25 0.375 1 0.9375 0.9682 -1 1 2 1 0.9544 0.01587 0 0.007937 1 1 0 0.03175 0.01587 0.01581 0.1257 15.84 2 0.01693 0.03386 1 1 0.02105 0.08421 0.3368 0.02246 0.08982 0.3593 json
t17_x18_u1_b4 17 18 1 4 add(R,pow(P,log(P))) 112868 138777640 o2(x,o2(x,o1(x))) true 62951 62951 -0.1282 0.4375 0.9968 0.979 0.9894 -1 1 2 1 1.099 0.01438 0.00003576 0.008393 0.995 1 -0.000009155 0.02869 0.0155 0.01434 0.1198 14.27 2 0.01473 0.02931 1 1 0.01902 0.07946 0.3308 0.01943 0.08116 0.338 json
t17_x18_u1_b5 17 18 1 5 add(R,mod(P,log(P))) 112869 138777641 o2(x,o2(x,o1(x))) true 62959 62959 -0.3896 0.3355 0.8812 0.69 0.8307 -1 1 2 1 2.3 0.01078 0.0006235 0.02298 0.8906 1 0.000003134 0.01942 0.01735 0.01087 0.1043 4.537 2 0.01652 0.02814 1 1 0.01561 0.0917 0.3849 0.02262 0.1329 0.5579 json
t17_x18_u1_b6 17 18 1 6 add(R,lrg(P,log(P))) 112870 138777642 o2(x,o2(x,o1(x))) true 62967 62967 0.8072 1 0.8072 0.06917 0.263 0.001146 1 0.9989 1 2.721 0.00124 0.001463 0.03034 -0.08261 1 -0.00006109 0.0006685 0.01204 0.001783 0.04223 1.392 0.223 0.03908 0.009664 1 1 0.004971 0.05068 0.113 0.07186 0.7327 1.634 json
t17_x18_u1_b7 17 18 1 7 add(R,eql(P,log(P))) 112871 138777643 o2(x,o2(x,o1(x))) true 62975 62975 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
t17_x18_u1_b8 17 18 1 8 add(R,min(P,log(P))) 112872 138777644 o2(x,o2(x,o1(x))) true 62983 62983 -0.1818 0.4252 0.9372 0.878 0.937 -1 1 2 1 2.043 0.008586 0.0004303 0.01629 0.9046 1 -0.00001319 0.01634 0.01621 0.008752 0.09355 5.744 1.943 0.01027 0.01861 1 1 0.01162 0.0615 0.2654 0.01323 0.07004 0.3022 json
t17_x18_u1_b9 17 18 1 9 add(R,dot(P,log(P))) 112873 138777645 o2(x,o2(x,o1(x))) true 62991 62991 -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_x18_u1_b10 17 18 1 10 add(R,dst(P,log(P))) 112874 138777646 o2(x,o2(x,o1(x))) true 62999 62999 -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_x18_u1_b11 17 18 1 11 sub(R,add(P,log(P))) 112875 138777647 o2(x,o2(x,o1(x))) true 63007 63007 -0.994 0 0.994 0.003546 0.05955 -1 -0.05726 0.9427 1 0.1432 0.00124 0.00004537 0.003201 0.9294 1 -5.632e-12 0.002208 0.00404 0.001274 0.0357 11.15 0.9427 0.3624 0.6228 1 1 0.001532 0.004684 0.005733 0.4319 1.321 1.617 json
t17_x18_u1_b12 17 18 1 12 sub(R,sub(P,log(P))) 112876 138777648 o2(x,o2(x,o1(x))) true 63015 63015 -0.988 0 0.988 0.006144 0.07838 -1 -0.05686 0.9431 1 0.3049 0.001178 0.00011 0.004246 0.8292 1 0.000002071 0.002145 0.004178 0.001269 0.03563 8.39 0.9431 0.2095 0.3492 1 1 0.001632 0.007939 0.01112 0.2656 1.292 1.809 json
t17_x18_u1_b13 17 18 1 13 sub(R,mlt(P,log(P))) 112877 138777649 o2(x,o2(x,o1(x))) true 63023 63023 -0.9649 0.0141 0.9777 0.03876 0.1969 -1 0.9428 1.943 1 0.4609 0.008134 0.0001543 0.01089 0.9628 1 -0.000003623 0.01484 0.01195 0.008173 0.0904 8.303 1.943 0.2138 0.3829 1 1 0.01086 0.04603 0.05428 0.2802 1.187 1.4 json
t17_x18_u1_b14 17 18 1 14 sub(R,div(P,log(P))) 112878 138777650 o2(x,o2(x,o1(x))) true 63031 63031 -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_x18_u1_b15 17 18 1 15 sub(R,pow(P,log(P))) 112879 138777651 o2(x,o2(x,o1(x))) true 63039 63039 -0.9915 0 0.9915 0.004652 0.0682 -1 -0.05695 0.9431 1 0.2115 0.001187 0.00006839 0.003576 0.891 1 0.000001837 0.002152 0.004003 0.001242 0.03525 9.857 0.9431 0.2698 0.4625 1 1 0.001519 0.006112 0.007693 0.3264 1.314 1.654 json
t17_x18_u1_b16 17 18 1 16 sub(R,mod(P,log(P))) 112880 138777652 o2(x,o2(x,o1(x))) true 63047 63047 -0.8989 0.01993 0.9068 0.06209 0.2492 -1 0.6321 1.632 1 1.541 0.001989 0.0005808 0.01584 0.5479 1 0.00002354 0.002649 0.007706 0.002319 0.04816 3.04 1.342 0.04139 0.04266 1 1 0.004125 0.03707 0.1086 0.06644 0.597 1.748 json
t17_x18_u1_b17 17 18 1 17 sub(R,lrg(P,log(P))) 112881 138777653 o2(x,o2(x,o1(x))) true 63055 63055 -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
t17_x18_u1_b18 17 18 1 18 sub(R,eql(P,log(P))) 112882 138777654 o2(x,o2(x,o1(x))) true 63063 63063 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
t17_x18_u1_b19 17 18 1 19 sub(R,min(P,log(P))) 112883 138777655 o2(x,o2(x,o1(x))) true 63071 63071 -0.06 0.4587 0.9448 0.9199 0.9591 -1 1 2 1 1.958 0.02197 0.0004026 0.0226 0.964 1 -0.000007794 0.04273 0.02831 0.02185 0.1478 6.54 2.006 0.02432 0.04645 1 1 0.02991 0.1349 0.4262 0.03252 0.1466 0.4632 json
t17_x18_u1_b20 17 18 1 20 sub(R,dot(P,log(P))) 112884 138777656 o2(x,o2(x,o1(x))) true 63079 63079 -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_x18_u1_b21 17 18 1 21 sub(R,dst(P,log(P))) 112885 138777657 o2(x,o2(x,o1(x))) true 63087 63087 -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_x18_u1_b22 17 18 1 22 mlt(R,add(P,log(P))) 112886 138777658 o2(x,o2(x,o1(x))) true 63095 63095 -0.6027 0.1977 0.9266 0.5389 0.7341 -1 1 2 1 1.782 0.01813 0.0121 0.05109 0.1997 1 0.000009588 0.03091 0.04009 0.02761 0.1662 3.252 1.943 0.05609 0.05735 1 1 0.03953 0.2825 0.6704 0.07335 0.5242 1.244 json
t17_x18_u1_b23 17 18 1 23 mlt(R,sub(P,log(P))) 112887 138777659 o2(x,o2(x,o1(x))) true 63103 63103 -0.588 0.199 0.8689 0.4804 0.6931 -1 1 2 1 2.351 0.01321 0.006365 0.04674 0.3496 1 -0.00001644 0.01938 0.02799 0.0174 0.1319 2.822 1.943 0.04074 0.04033 1 1 0.02428 0.1938 0.5119 0.05053 0.4034 1.066 json
t17_x18_u1_b24 17 18 1 24 mlt(R,mlt(P,log(P))) 112888 138777660 o2(x,o2(x,o1(x))) true 63111 63111 -0.606 0.1896 0.9044 0.5128 0.7161 -1 1 2 1 1.876 0.01642 0.01353 0.04669 0.09649 1 0.00001055 0.03502 0.04103 0.02778 0.1667 3.57 2 0.0584 0.06829 1 1 0.03349 0.2396 0.6169 0.06532 0.4672 1.203 json
t17_x18_u1_b25 17 18 1 25 mlt(R,div(P,log(P))) 112889 138777661 o2(x,o2(x,o1(x))) true 63119 63119 -0.6607 0.164 0.9125 0.4468 0.6684 -1 1 2 1 1.89 0.01122 0.005769 0.04142 0.3208 1 -0.00001449 0.01526 0.02276 0.01527 0.1236 2.983 2 0.03803 0.03416 1 1 0.02386 0.1966 0.5226 0.05341 0.4401 1.17 json
t17_x18_u1_b26 17 18 1 26 mlt(R,pow(P,log(P))) 112890 138777662 o2(x,o2(x,o1(x))) true 63127 63127 -0.5998 0.1988 0.9287 0.5455 0.7386 -1 1 2 1 1.743 0.0262 0.02098 0.05061 0.1107 1 0.000001971 0.08346 0.05638 0.04458 0.2111 4.172 2.828 0.08648 0.153 1 1 0.04341 0.2777 0.6647 0.07957 0.5092 1.219 json
t17_x18_u1_b27 17 18 1 27 mlt(R,mod(P,log(P))) 112891 138777663 o2(x,o2(x,o1(x))) true 63135 63135 -0.6231 0.1701 0.7485 0.3044 0.5517 -1 1 2 1 2.639 0.004868 0.001026 0.02444 0.6518 1 0.000004294 0.008075 0.01254 0.005299 0.07279 2.979 1.587 0.01936 0.02653 1 1 0.007707 0.05572 0.2046 0.02532 0.1831 0.6723 json
t17_x18_u1_b28 17 18 1 28 mlt(R,lrg(P,log(P))) 112892 138777664 o2(x,o2(x,o1(x))) true 63143 63143 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
t17_x18_u1_b29 17 18 1 29 mlt(R,eql(P,log(P))) 112893 138777665 o2(x,o2(x,o1(x))) true 63151 63151 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_x18_u1_b30 17 18 1 30 mlt(R,min(P,log(P))) 112894 138777666 o2(x,o2(x,o1(x))) true 63159 63159 -0.1738 0.3949 0.6838 0.5652 0.7518 -1 1 2 1 3.968 0.01759 0.01241 0.0808 0.1729 1 -0.00004688 0.02602 0.04676 0.02347 0.1532 1.896 1.947 0.05308 0.04604 1 1 0.04264 0.3376 0.8757 0.07545 0.5973 1.549 json
t17_x18_u1_b31 17 18 1 31 mlt(R,dot(P,log(P))) 112895 138777667 o2(x,o2(x,o1(x))) true 63167 63167 -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_x18_u1_b32 17 18 1 32 mlt(R,dst(P,log(P))) 112896 138777668 o2(x,o2(x,o1(x))) true 63175 63175 -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_x18_u1_b33 17 18 1 33 div(R,add(P,log(P))) 112897 138777669 o2(x,o2(x,o1(x))) true 63183 63183 -0.4886 0.2395 0.5576 0.2797 0.5289 -1 0.9432 1.943 1 2.6 0.004243 0.0002694 0.01436 0.8806 1 -0.00001548 0.007955 0.01031 0.004308 0.06564 4.571 1 0.01613 0.02844 1 1 0.006464 0.03753 0.132 0.02311 0.1342 0.4719 json
t17_x18_u1_b34 17 18 1 34 div(R,sub(P,log(P))) 112898 138777670 o2(x,o2(x,o1(x))) true 63191 63191 -0.4927 0.2382 0.5859 0.2863 0.5351 -1 0.9432 1.943 1 2.933 0.004406 0.000446 0.01916 0.8162 1 -0.00001397 0.007976 0.01142 0.004485 0.06697 3.494 1 0.01695 0.02785 1 1 0.007313 0.04858 0.157 0.02554 0.1696 0.5482 json
t17_x18_u1_b35 17 18 1 35 div(R,mlt(P,log(P))) 112899 138777671 o2(x,o2(x,o1(x))) true 63199 63199 -0.6288 0.1637 0.6522 0.2344 0.4841 -1 0.6893 1.689 1 1.949 0.004087 0.00008159 0.008432 0.9609 1 0.000001415 0.008071 0.008568 0.004099 0.06402 7.593 1.689 0.01779 0.03444 1 1 0.005344 0.02464 0.09514 0.0228 0.1051 0.406 json