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_x25_u1_b107 17 25 1 107 dot(R,min(R,log(D))) 118900 139060550 o2(x,o2(x,o1(x))) true 111207 111207 -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_x25_u1_b108 17 25 1 108 dot(R,dot(R,log(D))) 118901 139060551 o2(x,o2(x,o1(x))) true 111215 111215 -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_x25_u1_b109 17 25 1 109 dot(R,dst(R,log(D))) 118902 139060552 o2(x,o2(x,o1(x))) true 111223 111223 -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_x25_u1_b110 17 25 1 110 dst(R,add(R,log(D))) 118903 139060553 o2(x,o2(x,o1(x))) true 111231 111231 -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_x25_u1_b111 17 25 1 111 dst(R,sub(R,log(D))) 118904 139060554 o2(x,o2(x,o1(x))) true 111239 111239 -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_x25_u1_b112 17 25 1 112 dst(R,mlt(R,log(D))) 118905 139060555 o2(x,o2(x,o1(x))) true 111247 111247 -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_x25_u1_b113 17 25 1 113 dst(R,div(R,log(D))) 118906 139060556 o2(x,o2(x,o1(x))) true 111255 111255 -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_x25_u1_b114 17 25 1 114 dst(R,pow(R,log(D))) 118907 139060557 o2(x,o2(x,o1(x))) true 111263 111263 -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_x25_u1_b115 17 25 1 115 dst(R,mod(R,log(D))) 118908 139060558 o2(x,o2(x,o1(x))) true 111271 111271 -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_x25_u1_b116 17 25 1 116 dst(R,lrg(R,log(D))) 118909 139060559 o2(x,o2(x,o1(x))) true 111279 111279 0.9921 1 0.9921 0.00238 0.04879 0.4077 1 0.5923 1 0.2843 0.000107 0.0001626 0.002882 -0.2061 1 -2.666e-10 0.0001568 0.002128 0.0002614 0.01617 5.61 0.3116 0.1133 0.06587 1 1 0.0007076 0.00516 0.006478 0.2973 2.168 2.721 json
t17_x25_u1_b117 17 25 1 117 dst(R,eql(R,log(D))) 118910 139060560 o2(x,o2(x,o1(x))) true 111287 111287 0.897 1 0.897 0.02252 0.1501 0.09951 1 0.9005 1 2.181 0.0003411 0.0004606 0.01666 -0.149 1 -0.00001961 0.000143 0.005703 0.0005243 0.0229 1.374 0.1266 0.0356 0.006351 1 1 0.001342 0.015 0.03485 0.05959 0.666 1.547 json
t17_x25_u1_b118 17 25 1 118 dst(R,min(R,log(D))) 118911 139060561 o2(x,o2(x,o1(x))) true 111295 111295 -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_x25_u1_b119 17 25 1 119 dst(R,dot(R,log(D))) 118912 139060562 o2(x,o2(x,o1(x))) true 111303 111303 -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_x25_u1_b120 17 25 1 120 dst(R,dst(R,log(D))) 118913 139060563 o2(x,o2(x,o1(x))) true 111311 111311 -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_x25_u2_b0 17 25 2 0 add(R,add(R,frc(D))) 118914 139060644 o2(x,o2(x,o1(x))) true 111319 111319 0.3305 0.6829 0.6759 0.4655 0.6822 -1 1 2 1 4.063 0.03454 0.00824 0.1164 0.6148 1 -0.00008472 0.06163 0.09356 0.02924 0.171 1.469 1.035 0.09192 0.1324 1 1 0.05603 0.3746 0.7543 0.1204 0.8048 1.62 json
t17_x25_u2_b1 17 25 2 1 add(R,sub(R,frc(D))) 118915 139060645 o2(x,o2(x,o1(x))) true 111327 111327 -0.3078 0.334 0.6841 0.4854 0.6967 -1 1 2 1 4.117 0.03391 0.008605 0.1206 0.5952 1 0.000156 0.05842 0.09231 0.02797 0.1672 1.387 1.035 0.08758 0.1203 1 1 0.05719 0.4095 0.8536 0.1178 0.8436 1.758 json
t17_x25_u2_b2 17 25 2 2 add(R,mlt(R,frc(D))) 118916 139060646 o2(x,o2(x,o1(x))) true 111335 111335 0.01331 0.4984 0.5457 0.4016 0.6337 -1 1 2 1 4.844 0.01069 0.006497 0.09692 0.2438 1 -0.00002619 0.01255 0.05287 0.007792 0.08827 0.9108 0.6081 0.04279 0.03126 1 1 0.02907 0.2954 0.7213 0.07239 0.7355 1.796 json
t17_x25_u2_b3 17 25 2 3 add(R,div(R,frc(D))) 118917 139060647 o2(x,o2(x,o1(x))) true 111343 111343 0.005394 0.4984 0.7865 0.7143 0.8452 -1 1 2 1 3.552 0.02669 0.02448 0.1178 0.04325 1 0.00005632 0.06422 0.08861 0.0373 0.1931 1.639 2.111 0.07164 0.08991 1 1 0.07901 0.5904 1.284 0.1106 0.8265 1.798 json
t17_x25_u2_b4 17 25 2 4 add(R,pow(R,frc(D))) 118918 139060648 o2(x,o2(x,o1(x))) true 111351 111351 -0.9161 0.04297 0.998 0.1574 0.3968 -1 1 2 1 0.3061 0.01594 0.01566 0.01662 0.008864 1 0.000003163 0.06596 0.03263 0.03132 0.177 10.65 2.828 0.2008 0.419 1 1 0.02449 0.1066 0.2661 0.1556 0.6772 1.691 json
t17_x25_u2_b5 17 25 2 5 add(R,mod(R,frc(D))) 118919 139060649 o2(x,o2(x,o1(x))) true 111359 111359 0.001414 0.4949 0.5354 0.3813 0.6175 -1 1 2 1 4.925 0.01684 0.005967 0.1129 0.4768 1 -0.00002097 0.02995 0.1145 0.01006 0.1003 0.8881 0.7478 0.05981 0.07854 1 1 0.03222 0.2859 0.6877 0.0845 0.7497 1.803 json
t17_x25_u2_b6 17 25 2 6 add(R,lrg(R,frc(D))) 118920 139060650 o2(x,o2(x,o1(x))) true 111367 111367 0.1808 0.554 0.5312 0.3641 0.6034 -0.9989 1 1.999 1 4.543 0.02321 0.006131 0.1041 0.5821 1 -0.0001196 0.04015 0.08765 0.01851 0.136 1.307 0.9627 0.08057 0.1102 1 1 0.03804 0.2876 0.644 0.1045 0.7898 1.769 json
t17_x25_u2_b7 17 25 2 7 add(R,eql(R,frc(D))) 118921 139060651 o2(x,o2(x,o1(x))) true 111375 111375 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_x25_u2_b8 17 25 2 8 add(R,min(R,frc(D))) 118922 139060652 o2(x,o2(x,o1(x))) true 111383 111383 -0.03917 0.4813 0.6232 0.4951 0.7036 -1 1 2 1 4.619 0.01083 0.008434 0.09897 0.1245 1 -0.0000738 0.009462 0.04549 0.00947 0.09732 0.9832 0.7674 0.03892 0.01911 1 1 0.03475 0.3682 0.8799 0.07018 0.7437 1.777 json
t17_x25_u2_b9 17 25 2 9 add(R,dot(R,frc(D))) 118923 139060653 o2(x,o2(x,o1(x))) true 111391 111391 0.01662 0.4908 0.559 0.4197 0.6478 -1 1 2 1 4.78 0.01197 0.01615 0.1164 -0.1486 1 -0.00009457 0.03594 0.08874 0.01458 0.1207 1.038 0.9624 0.06701 0.08564 1 1 0.03923 0.3088 0.7422 0.09349 0.7358 1.769 json
t17_x25_u2_b10 17 25 2 10 add(R,dst(R,frc(D))) 118924 139060654 o2(x,o2(x,o1(x))) true 111399 111399 0.9199 1 0.9199 0.02735 0.1654 0.03586 1 0.9641 1 1.688 0.008565 0.00233 0.03834 0.5723 1 -0.0000525 0.02144 0.04559 0.009422 0.09707 2.531 0.9239 0.3984 0.7839 1 1 0.0122 0.03886 0.04543 0.4461 1.421 1.661 json
t17_x25_u2_b11 17 25 2 11 sub(R,add(R,frc(D))) 118925 139060655 o2(x,o2(x,o1(x))) true 111407 111407 -0.5 0 0.5 0.08301 0.2881 -0.9688 -0.03125 0.9375 1 4 0.05599 0 0.1146 1 1 0 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 0 0.641 1.506 0 json
t17_x25_u2_b12 17 25 2 12 sub(R,sub(R,frc(D))) 118926 139060656 o2(x,o2(x,o1(x))) true 111415 111415 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 3.447e-17 0.1146 1 1 -8.879e-10 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 5.65e-16 0.641 1.506 6.807e-15 json
t17_x25_u2_b13 17 25 2 13 sub(R,mlt(R,frc(D))) 118927 139060657 o2(x,o2(x,o1(x))) true 111423 111423 0.005618 0.498 0.1971 0.07599 0.2757 -0.9676 0.95 1.918 1 4.088 0.01604 0.001091 0.06816 0.8726 1 0.00005941 0.03323 0.06149 0.01249 0.1117 1.639 0.9364 0.2254 0.4373 1 1 0.01785 0.07237 0.136 0.2349 0.9524 1.79 json
t17_x25_u2_b14 17 25 2 14 sub(R,div(R,frc(D))) 118928 139060658 o2(x,o2(x,o1(x))) true 111431 111431 -0.004033 0.5014 0.4342 0.3427 0.5854 -1 1 2 1 4.232 0.06958 0.01423 0.1468 0.6604 1 0.00001163 0.1595 0.1685 0.06227 0.2495 1.7 2.119 0.2446 0.4654 1 1 0.0984 0.4046 0.6182 0.2871 1.181 1.804 json
t17_x25_u2_b15 17 25 2 15 sub(R,pow(R,frc(D))) 118929 139060659 o2(x,o2(x,o1(x))) true 111439 111439 -0.9648 0 0.9648 0.02862 0.1692 -1 -0.001807 0.9982 1 0.3823 0.003029 0.002914 0.00795 0.01934 1 -0.00001068 0.01239 0.01376 0.005879 0.07668 9.645 1.409 0.2077 0.433 1 1 0.004715 0.02043 0.04794 0.1648 0.714 1.675 json
t17_x25_u2_b16 17 25 2 16 sub(R,mod(R,frc(D))) 118930 139060660 o2(x,o2(x,o1(x))) true 111447 111447 0.01597 0.4262 0.2387 0.1181 0.3436 -0.9687 0.9682 1.937 1 4.145 0.0304 0.001665 0.1029 0.8962 1 0.0003754 0.06968 0.1466 0.02148 0.1466 1.424 0.9375 0.2716 0.59 1 1 0.02959 0.1004 0.2107 0.2505 0.85 1.784 json
t17_x25_u2_b17 17 25 2 17 sub(R,lrg(R,frc(D))) 118931 139060661 o2(x,o2(x,o1(x))) true 111455 111455 -0.2555 0.1927 0.362 0.1233 0.3512 -0.9989 0.9633 1.962 1 4.462 0.0429 0.001493 0.09206 0.9327 1 0.00009618 0.09119 0.1177 0.03592 0.1895 2.059 1.005 0.36 0.7394 1 1 0.04161 0.1347 0.1823 0.3374 1.092 1.478 json
t17_x25_u2_b18 17 25 2 18 sub(R,eql(R,frc(D))) 118932 139060662 o2(x,o2(x,o1(x))) true 111463 111463 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_x25_u2_b19 17 25 2 19 sub(R,min(R,frc(D))) 118933 139060663 o2(x,o2(x,o1(x))) true 111471 111471 0.0917 0.6084 0.0917 0.02731 0.1653 0 0.9497 0.9497 1 1.922 0.009357 0.0003023 0.03637 0.9374 1 0.000126 0.01891 0.03627 0.008335 0.0913 2.51 0.937 0.3537 0.6922 1 1 0.009978 0.03297 0.04137 0.3653 1.207 1.515 json
t17_x25_u2_b20 17 25 2 20 sub(R,dot(R,frc(D))) 118934 139060664 o2(x,o2(x,o1(x))) true 111479 111479 -0.01069 0.4859 0.296 0.1477 0.3843 -1 1 2 1 4.604 0.01576 0.01586 0.1058 -0.003204 1 0.0001168 0.06069 0.1087 0.02044 0.143 1.352 1.236 0.2141 0.4108 1 1 0.034 0.1435 0.2863 0.2301 0.9711 1.938 json
t17_x25_u2_b21 17 25 2 21 sub(R,dst(R,frc(D))) 118935 139060665 o2(x,o2(x,o1(x))) true 111487 111487 -0.7956 0.02301 0.8025 0.09819 0.3134 -1 0.6996 1.7 1 2.592 0.004041 0.007694 0.05333 -0.3113 1 -0.00001714 0.01716 0.04967 0.008891 0.09429 1.768 0.9706 0.1195 0.1747 1 1 0.01488 0.09175 0.1866 0.1515 0.9344 1.901 json
t17_x25_u2_b22 17 25 2 22 mlt(R,add(R,frc(D))) 118936 139060666 o2(x,o2(x,o1(x))) true 111495 111495 0.3365 0.8621 0.3609 0.1088 0.3298 -0.2344 1 1.234 1 4.153 0.01239 0.001726 0.06937 0.7554 1 -0.0001058 0.02397 0.05613 0.009305 0.09646 1.391 0.9359 0.1298 0.2203 1 1 0.01683 0.0956 0.2196 0.1548 0.879 2.019 json
t17_x25_u2_b23 17 25 2 23 mlt(R,sub(R,frc(D))) 118937 139060667 o2(x,o2(x,o1(x))) true 111503 111503 0.328 0.8893 0.3478 0.09867 0.3141 -0.2346 1 1.235 1 4.072 0.01241 0.001492 0.06589 0.7853 1 -0.000005924 0.02478 0.05563 0.009559 0.09777 1.484 0.9089 0.1409 0.2511 1 1 0.01551 0.07535 0.1614 0.1572 0.7637 1.636 json
t17_x25_u2_b24 17 25 2 24 mlt(R,mlt(R,frc(D))) 118938 139060668 o2(x,o2(x,o1(x))) true 111511 111511 0.1751 0.9994 0.1751 0.03041 0.1744 0.000002743 0.9667 0.9667 1 2.929 0.01111 0.0002792 0.04633 0.951 1 0.00001523 0.02337 0.04569 0.009239 0.09612 2.075 0.9356 0.3744 0.7683 1 1 0.01059 0.0322 0.03717 0.3481 1.059 1.222 json
t17_x25_u2_b25 17 25 2 25 mlt(R,div(R,frc(D))) 118939 139060669 o2(x,o2(x,o1(x))) true 111519 111519 0.6336 1 0.6336 0.1181 0.3436 0.00007966 1 0.9999 1 3.447 0.03146 0.001888 0.08779 0.8868 1 0.00007641 0.06475 0.1032 0.02564 0.1601 1.824 0.9679 0.2824 0.5484 1 1 0.0356 0.1246 0.1616 0.3015 1.056 1.368 json
t17_x25_u2_b26 17 25 2 26 mlt(R,pow(R,frc(D))) 118940 139060670 o2(x,o2(x,o1(x))) true 111527 111527 -0.9369 0.04297 0.9771 0.0906 0.301 -1 0.9411 1.941 1 0.4175 0.009209 0.009127 0.01354 0.004493 1 0.00001304 0.03826 0.02468 0.01816 0.1347 9.952 2.482 0.2024 0.4223 1 1 0.01448 0.06301 0.1527 0.1598 0.6955 1.685 json
t17_x25_u2_b27 17 25 2 27 mlt(R,mod(R,frc(D))) 118941 139060671 o2(x,o2(x,o1(x))) true 111535 111535 0.1306 0.9995 0.1306 0.01981 0.1407 0.00001069 0.9368 0.9368 1 2.509 0.01904 0.0001861 0.0647 0.9806 1 0.0003485 0.04643 0.1058 0.01504 0.1226 1.896 0.9072 0.9706 2.344 1 1 0.0148 0.02454 0.02605 0.7469 1.239 1.315 json
t17_x25_u2_b28 17 25 2 28 mlt(R,lrg(R,frc(D))) 118942 139060672 o2(x,o2(x,o1(x))) true 111543 111543 0.184 0.6282 0.184 0.06475 0.2545 0 0.9809 0.9809 1 2.651 0.01665 0.0008683 0.05683 0.9009 1 -0.00005316 0.03637 0.06572 0.0143 0.1196 2.104 0.9634 0.2706 0.5617 1 1 0.0169 0.06208 0.1157 0.261 0.9588 1.787 json
t17_x25_u2_b29 17 25 2 29 mlt(R,eql(R,frc(D))) 118943 139060673 o2(x,o2(x,o1(x))) true 111551 111551 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_x25_u2_b30 17 25 2 30 mlt(R,min(R,frc(D))) 118944 139060674 o2(x,o2(x,o1(x))) true 111559 111559 0.2791 0.9998 0.2791 0.04882 0.221 0.00001971 0.9979 0.9979 1 3.535 0.00603 0.0006236 0.04084 0.8126 1 -0.00007052 0.01155 0.02816 0.004986 0.07061 1.729 0.9085 0.1363 0.2365 1 1 0.007103 0.03557 0.07897 0.1455 0.7285 1.617 json
t17_x25_u2_b31 17 25 2 31 mlt(R,dot(R,frc(D))) 118945 139060675 o2(x,o2(x,o1(x))) true 111567 111567 0.1634 0.8257 0.1984 0.05028 0.2242 -0.843 1 1.843 1 3.711 0.01115 0.005833 0.06639 0.3129 1 -0.0000244 0.03437 0.07206 0.01257 0.1121 1.689 1.202 0.3377 0.6836 1 1 0.01605 0.05211 0.07836 0.3193 1.036 1.559 json
t17_x25_u2_b32 17 25 2 32 mlt(R,dst(R,frc(D))) 118946 139060676 o2(x,o2(x,o1(x))) true 111575 111575 -0.08753 0.4573 0.4644 0.308 0.555 -1 1 2 1 4.826 0.007297 0.007103 0.0889 0.01348 1 0.0001493 0.01219 0.05201 0.006497 0.0806 0.9066 0.7923 0.04675 0.03958 1 1 0.02211 0.2189 0.5405 0.07178 0.7106 1.755 json
t17_x25_u2_b33 17 25 2 33 div(R,add(R,frc(D))) 118947 139060677 o2(x,o2(x,o1(x))) true 111583 111583 0.3124 0.7069 0.7205 0.5311 0.7288 -1 1 2 1 3.833 0.4244 0.01199 0.3128 0.945 1 -0.0007482 1.035 0.5307 0.3385 0.5818 1.86 2.828 0.8217 1.948 1 1 0.4001 0.7705 0.8145 0.7533 1.451 1.534 json
t17_x25_u2_b34 17 25 2 34 div(R,sub(R,frc(D))) 118948 139060678 o2(x,o2(x,o1(x))) true 111591 111591 0.3823 0.7585 0.7245 0.4849 0.6963 -1 1 2 1 3.776 0.4072 0.01139 0.3002 0.9456 1 0.000228 0.9938 0.5113 0.3285 0.5731 1.909 2.828 0.8633 2.05 1 1 0.3534 0.662 0.748 0.7288 1.365 1.543 json
t17_x25_u2_b35 17 25 2 35 div(R,mlt(R,frc(D))) 118949 139060679 o2(x,o2(x,o1(x))) true 111599 111599 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_x25_u2_b36 17 25 2 36 div(R,div(R,frc(D))) 118950 139060680 o2(x,o2(x,o1(x))) true 111607 111607 0.5 1 0.5 0.08301 0.2881 0.03125 0.9688 0.9375 1 4 0.05599 5.465e-17 0.1146 1 1 -2.359e-9 0.119 0.119 0.04284 0.207 1.806 0.9375 0.6745 1.434 1 1 0.05321 0.125 9.182e-16 0.641 1.506 1.106e-14 json
t17_x25_u2_b37 17 25 2 37 div(R,pow(R,frc(D))) 118951 139060681 o2(x,o2(x,o1(x))) true 111615 111615 -0.9251 0.04297 0.9889 0.1264 0.3555 -1 0.9981 1.998 1 0.401 0.01371 0.01282 0.01607 0.03321 1 0.000001054 0.05576 0.02988 0.02626 0.1621 10.08 2.822 0.2099 0.4412 1 1 0.02076 0.08829 0.2129 0.1643 0.6986 1.684 json
t17_x25_u2_b38 17 25 2 38 div(R,mod(R,frc(D))) 118952 139060682 o2(x,o2(x,o1(x))) true 111623 111623 1 1 1 1.433e-16 1.197e-8 1 1 5.96e-8 1 0 8.509e-17 1.796e-17 1.682e-9 0.00006713 0 5.267e-9 1.256e-15 5.267e-9 1.003e-16 1.002e-8 5.956 8.429e-8 0.0001031 0.001256 0 1 1.148e-16 2.618e-16 2.828e-16 0.0001148 0.0002618 0.0002828 json
t17_x25_u2_b39 17 25 2 39 div(R,lrg(R,frc(D))) 118953 139060683 o2(x,o2(x,o1(x))) true 111631 111631 -0.975 0.01489 0.9952 0.04229 0.2057 -1 1 2 1 0.163 0.01334 0.004605 0.01095 0.4868 1 0.00000305 0.03913 0.02184 0.01783 0.1335 12.2 2.828 0.4243 0.9253 1 1 0.01141 0.04148 0.06668 0.2697 0.9808 1.577 json
t17_x25_u2_b40 17 25 2 40 div(R,eql(R,frc(D))) 118954 139060684 o2(x,o2(x,o1(x))) true 111639 111639 -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_x25_u2_b41 17 25 2 41 div(R,min(R,frc(D))) 118955 139060685 o2(x,o2(x,o1(x))) true 111647 111647 1 1 1 2.317e-16 1.522e-8 1 1 5.96e-8 1 0 9.304e-17 3.038e-17 2.007e-9 0.00006266 0 6.409e-9 1.528e-15 6.409e-9 1.194e-16 1.092e-8 5.444 8.429e-8 0.0001234 0.001528 0 1 1.427e-16 3.78e-16 4.466e-16 0.0001427 0.000378 0.0004466 json
t17_x25_u2_b42 17 25 2 42 div(R,dot(R,frc(D))) 118956 139060686 o2(x,o2(x,o1(x))) true 111655 111655 0.4171 0.7296 0.8615 0.636 0.7975 -1 1 2 1 2.796 0.3589 0.3303 0.4132 0.04148 1 -0.0003521 2.529 0.7761 0.5182 0.7199 1.742 2.828 1.084 3.976 1 1 0.5983 1.088 1.068 0.9407 1.711 1.679 json
t17_x25_u2_b43 17 25 2 43 div(R,dst(R,frc(D))) 118957 139060687 o2(x,o2(x,o1(x))) true 111663 111663 0.1184 0.5406 0.3786 0.2021 0.4495 -0.9356 1 1.936 1 4.702 0.006046 0.005834 0.07766 0.01784 1 -0.0001402 0.01313 0.0531 0.005849 0.07648 0.9847 1.164 0.05879 0.06495 1 1 0.01869 0.1596 0.3732 0.09248 0.7896 1.847 json
t17_x25_u2_b44 17 25 2 44 pow(R,add(R,frc(D))) 118958 139060688 o2(x,o2(x,o1(x))) true 111671 111671 -0.9315 0.04297 0.9826 0.1058 0.3252 -1 0.9443 1.944 1 0.4029 0.01102 0.01055 0.0145 0.02162 1 0.00001713 0.04519 0.02695 0.02135 0.1461 10.08 2.502 0.204 0.4272 1 1 0.01653 0.0715 0.1776 0.1563 0.676 1.679 json
t17_x25_u2_b45 17 25 2 45 pow(R,sub(R,frc(D))) 118959 139060689 o2(x,o2(x,o1(x))) true 111679 111679 -0.9162 0.04297 0.9979 0.1567 0.3958 -1 1 2 1 0.3165 0.01534 0.01566 0.0165 -0.01048 1 -0.00001777 0.06448 0.03229 0.03071 0.1752 10.62 2.828 0.1978 0.4115 1 1 0.02385 0.1047 0.2628 0.1522 0.668 1.677 json
t17_x25_u2_b46 17 25 2 46 pow(R,mlt(R,frc(D))) 118960 139060690 o2(x,o2(x,o1(x))) true 111687 111687 -0.919 0.04297 0.9951 0.1464 0.3826 -1 0.9983 1.998 1 0.3465 0.01504 0.01447 0.01617 0.01921 1 0.00000539 0.06169 0.03145 0.02924 0.171 10.58 2.669 0.2015 0.4213 1 1 0.02241 0.09691 0.2453 0.153 0.6619 1.675 json
t17_x25_u2_b47 17 25 2 47 pow(R,div(R,frc(D))) 118961 139060691 o2(x,o2(x,o1(x))) true 111695 111695 -0.9341 0.04237 0.98 0.09947 0.3154 -1 0.9421 1.942 1 0.4132 0.009381 0.009984 0.01433 -0.03111 1 -0.00006652 0.03988 0.02523 0.01915 0.1384 9.657 2.659 0.1947 0.4009 1 1 0.01511 0.06864 0.1671 0.1519 0.6901 1.68 json
t17_x25_u2_b48 17 25 2 48 pow(R,pow(R,frc(D))) 118962 139060692 o2(x,o2(x,o1(x))) true 111703 111703 -0.9279 0.04297 0.9862 0.1168 0.3417 -1 0.9438 1.944 1 0.3933 0.01193 0.01169 0.01488 0.01042 1 -2.985e-7 0.04934 0.02811 0.02341 0.153 10.28 2.663 0.2022 0.4225 1 1 0.01847 0.07996 0.1958 0.1582 0.6847 1.676 json
t17_x25_u2_b49 17 25 2 49 pow(R,mod(R,frc(D))) 118963 139060693 o2(x,o2(x,o1(x))) true 111711 111711 -0.9198 0.04297 0.9943 0.1436 0.379 -1 0.9997 2 1 0.3525 0.01501 0.01418 0.01667 0.02868 1 -0.00000713 0.06107 0.03257 0.02891 0.17 10.2 2.664 0.2033 0.4252 1 1 0.02219 0.09561 0.2408 0.1545 0.6657 1.677 json
t17_x25_u2_b50 17 25 2 50 pow(R,lrg(R,frc(D))) 118964 139060694 o2(x,o2(x,o1(x))) true 111719 111719 0.9195 1 0.9195 0.0221 0.1486 0.06703 1 0.933 1 1.786 0.01154 0.0002606 0.03527 0.9558 1 0.0000165 0.02437 0.05212 0.01055 0.1027 2.912 0.933 0.5338 1.103 1 1 0.009691 0.02849 0.03169 0.4386 1.29 1.434 json
t17_x25_u2_b51 17 25 2 51 pow(R,eql(R,frc(D))) 118965 139060695 o2(x,o2(x,o1(x))) true 111727 111727 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_x25_u2_b52 17 25 2 52 pow(R,min(R,frc(D))) 118966 139060696 o2(x,o2(x,o1(x))) true 111735 111735 -0.9213 0.04297 0.9928 0.1384 0.372 -1 0.9982 1.998 1 0.3545 0.01488 0.01365 0.01607 0.04296 1 0.00001791 0.06 0.03113 0.02827 0.1681 10.46 2.664 0.2062 0.4336 1 1 0.02163 0.09197 0.2313 0.1563 0.6647 1.671 json
t17_x25_u2_b53 17 25 2 53 pow(R,dot(R,frc(D))) 118967 139060697 o2(x,o2(x,o1(x))) true 111743 111743 -0.9186 0.04297 0.9955 0.1484 0.3852 -1 1 2 1 0.3536 0.01492 0.01438 0.01636 0.01857 1 -0.000005346 0.06111 0.03155 0.02902 0.1704 10.42 2.828 0.1975 0.412 1 1 0.0218 0.09542 0.2438 0.1469 0.6432 1.643 json
t17_x25_u2_b54 17 25 2 54 pow(R,dst(R,frc(D))) 118968 139060698 o2(x,o2(x,o1(x))) true 111751 111751 -0.9316 0.04297 0.9825 0.1063 0.326 -1 0.9574 1.957 1 0.4135 0.01049 0.01081 0.0145 -0.01541 1 0.000003141 0.04428 0.02662 0.02108 0.1452 10.01 2.768 0.2004 0.4165 1 1 0.01716 0.07571 0.1807 0.1614 0.7122 1.7 json
t17_x25_u2_b55 17 25 2 55 mod(R,add(R,frc(D))) 118969 139060699 o2(x,o2(x,o1(x))) true 111759 111759 0.1999 0.6438 0.2783 0.09751 0.3123 -0.4685 0.9809 1.449 1 4.198 0.004903 0.001427 0.05959 0.5491 1 0.000009135 0.009267 0.05273 0.002779 0.05272 0.8847 0.4517 0.06492 0.09503 1 1 0.008628 0.07601 0.1928 0.08848 0.7795 1.977 json
t17_x25_u2_b56 17 25 2 56 mod(R,sub(R,frc(D))) 118970 139060700 o2(x,o2(x,o1(x))) true 111767 111767 -0.1952 0.3305 0.2653 0.09006 0.3001 -0.9989 0.4832 1.482 1 4.163 0.004675 0.001286 0.05632 0.5685 1 -0.0001521 0.009647 0.052 0.002789 0.05281 0.9378 0.452 0.06619 0.1071 1 1 0.007156 0.06033 0.1493 0.07946 0.6699 1.658 json
t17_x25_u2_b57 17 25 2 57 mod(R,mlt(R,frc(D))) 118971 139060701 o2(x,o2(x,o1(x))) true 111775 111775 0.001479 0.4763 0.06915 0.009702 0.0985 -0.4553 0.4413 0.8965 1 2.645 0.00278 0.0001427 0.03605 0.9024 1 -0.00001191 0.006272 0.04047 0.001623 0.04029 1.118 0.3945 0.3013 0.6465 1 1 0.00268 0.009551 0.01719 0.2762 0.9844 1.772 json
t17_x25_u2_b58 17 25 2 58 mod(R,div(R,frc(D))) 118972 139060702 o2(x,o2(x,o1(x))) true 111783 111783 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_x25_u2_b59 17 25 2 59 mod(R,pow(R,frc(D))) 118973 139060703 o2(x,o2(x,o1(x))) true 111791 111791 -0.9327 0.04297 0.9813 0.1025 0.3202 -1 0.9428 1.943 1 0.413 0.01033 0.01038 0.01414 -0.00231 1 0.000008535 0.04322 0.0262 0.02051 0.1432 10.13 2.64 0.2021 0.4217 1 1 0.01648 0.07156 0.1733 0.1608 0.6982 1.691 json
t17_x25_u2_b60 17 25 2 60 mod(R,mod(R,frc(D))) 118974 139060704 o2(x,o2(x,o1(x))) true 111799 111799 -0.001307 0.4379 0.05753 0.01422 0.1193 -0.9675 0.9557 1.923 1 2.39 0.006916 0.0001787 0.03796 0.9496 1 -0.00002217 0.0164 0.05934 0.005654 0.07519 1.981 0.9537 0.4988 1.153 1 1 0.007079 0.02052 0.03353 0.4977 1.443 2.357 json
t17_x25_u2_b61 17 25 2 61 mod(R,lrg(R,frc(D))) 118975 139060705 o2(x,o2(x,o1(x))) true 111807 111807 -0.9818 0.01147 0.9952 0.02893 0.1701 -1 0.9428 1.943 1 0.1306 0.01206 0.002841 0.009471 0.6188 1 0.00000305 0.03218 0.01884 0.01481 0.1217 12.85 2.685 0.5151 1.112 1 1 0.009708 0.0319 0.04995 0.3355 1.102 1.726 json
t17_x25_u2_b62 17 25 2 62 mod(R,eql(R,frc(D))) 118976 139060706 o2(x,o2(x,o1(x))) true 111815 111815 -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_x25_u2_b63 17 25 2 63 mod(R,min(R,frc(D))) 118977 139060707 o2(x,o2(x,o1(x))) true 111823 111823 -0.01018 0.5361 0.09817 0.03341 0.1828 -0.9675 0.9557 1.923 1 2.808 0.003895 0.0004664 0.03583 0.7861 1 -0.00008977 0.008212 0.03724 0.003077 0.05547 1.548 0.937 0.1305 0.2458 1 1 0.005614 0.03519 0.07582 0.168 1.053 2.27 json
t17_x25_u2_b64 17 25 2 64 mod(R,dot(R,frc(D))) 118978 139060708 o2(x,o2(x,o1(x))) true 111831 111831 0.01958 0.5094 0.1468 0.04685 0.2164 -0.9984 0.9682 1.967 1 3.665 0.01337 0.01099 0.09314 0.09774 1 0.00003 0.08289 0.1619 0.01568 0.1252 1.344 1.367 0.5198 1.769 1 1 0.02113 0.05127 0.08468 0.451 1.094 1.808 json
t17_x25_u2_b65 17 25 2 65 mod(R,dst(R,frc(D))) 118979 139060709 o2(x,o2(x,o1(x))) true 111839 111839 -0.04485 0.4595 0.3594 0.1889 0.4346 -0.9989 0.9806 1.979 1 4.791 0.0073 0.008004 0.0759 -0.04599 1 0.00009564 0.03229 0.05849 0.009543 0.09769 1.287 1.324 0.08101 0.171 1 1 0.01901 0.1429 0.3372 0.1006 0.7566 1.785 json
t17_x25_u2_b66 17 25 2 66 lrg(R,add(R,frc(D))) 118980 139060710 o2(x,o2(x,o1(x))) true 111847 111847 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_x25_u2_b67 17 25 2 67 lrg(R,sub(R,frc(D))) 118981 139060711 o2(x,o2(x,o1(x))) true 111855 111855 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_x25_u2_b68 17 25 2 68 lrg(R,mlt(R,frc(D))) 118982 139060712 o2(x,o2(x,o1(x))) true 111863 111863 0.4819 0.9143 0.4819 0.1538 0.3921 0 1 1 1 3.428 0.002761 0.002439 0.05261 0.06189 1 -0.00001781 0.002652 0.01455 0.002434 0.04933 0.9378 0.9994 0.03382 0.01725 1 1 0.009413 0.1128 0.287 0.06121 0.7339 1.867 json
t17_x25_u2_b69 17 25 2 69 lrg(R,div(R,frc(D))) 118983 139060713 o2(x,o2(x,o1(x))) true 111871 111871 0.5173 0.9429 0.5173 0.1537 0.3921 0 1 1 1 3.429 0.002367 0.002442 0.05216 -0.0157 1 0.00001817 0.001456 0.01356 0.002089 0.0457 0.8762 0.9994 0.03128 0.009473 1 1 0.008731 0.1124 0.2862 0.05679 0.7315 1.862 json
t17_x25_u2_b70 17 25 2 70 lrg(R,pow(R,frc(D))) 118984 139060714 o2(x,o2(x,o1(x))) true 111879 111879 0.5176 0.9429 0.5176 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x25_u2_b71 17 25 2 71 lrg(R,mod(R,frc(D))) 118985 139060715 o2(x,o2(x,o1(x))) true 111887 111887 0.2645 0.6326 0.2645 0.1234 0.3513 0 1 1 1 2.773 0.04309 0.001528 0.08949 0.9315 1 -0.00006966 0.09129 0.1174 0.03661 0.1913 2.138 1 0.3615 0.7397 1 1 0.04217 0.1383 0.202 0.3417 1.12 1.637 json
t17_x25_u2_b72 17 25 2 72 lrg(R,lrg(R,frc(D))) 118986 139060716 o2(x,o2(x,o1(x))) true 111895 111895 0.2179 0.5552 0.2179 0.1074 0.3277 0 1 1 1 2.504 0.04287 0.001383 0.08516 0.9375 1 0.00005185 0.09124 0.1163 0.037 0.1923 2.259 1 0.412 0.8495 1 1 0.04105 0.1256 0.1577 0.3822 1.169 1.468 json
t17_x25_u2_b73 17 25 2 73 lrg(R,eql(R,frc(D))) 118987 139060717 o2(x,o2(x,o1(x))) true 111903 111903 0.4824 0.9147 0.4824 0.1537 0.3921 0 1 1 1 3.429 0.001972 0.002442 0.05168 -0.1065 1 -0.00001781 0.0002592 0.01257 0.001744 0.04176 0.8079 0.1169 0.02872 0.001686 1 1 0.008731 0.1124 0.2862 0.0568 0.7316 1.862 json
t17_x25_u2_b74 17 25 2 74 lrg(R,min(R,frc(D))) 118988 139060718 o2(x,o2(x,o1(x))) true 111911 111911 0.2645 0.6326 0.2645 0.1234 0.3513 0 1 1 1 2.773 0.04309 0.001528 0.08949 0.9315 1 -0.00006966 0.09129 0.1174 0.03661 0.1913 2.138 1 0.3615 0.7397 1 1 0.04217 0.1383 0.202 0.3417 1.12 1.637 json
t17_x25_u2_b75 17 25 2 75 lrg(R,dot(R,frc(D))) 118989 139060719 o2(x,o2(x,o1(x))) true 111919 111919 0.4897 0.9206 0.4897 0.1566 0.3957 0 1 1 1 3.392 0.02983 0.03045 0.1146 -0.01031 1 0.00005219 0.1698 0.1652 0.04715 0.2171 1.895 1.414 0.385 1.085 1 1 0.05705 0.175 0.3059 0.3644 1.118 1.954 json
t17_x25_u2_b76 17 25 2 76 lrg(R,dst(R,frc(D))) 118990 139060720 o2(x,o2(x,o1(x))) true 111927 111927 0.08711 0.2945 0.08711 0.04558 0.2135 0 0.9999 0.9999 1 1.457 0.0107 0.01142 0.04485 -0.03236 1 -0.0001105 0.06153 0.06496 0.0201 0.1418 3.161 1.414 0.4853 1.35 1 1 0.02282 0.06166 0.09283 0.5007 1.353 2.037 json
t17_x25_u2_b77 17 25 2 77 eql(R,add(R,frc(D))) 118991 139060721 o2(x,o2(x,o1(x))) true 111935 111935 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_x25_u2_b78 17 25 2 78 eql(R,sub(R,frc(D))) 118992 139060722 o2(x,o2(x,o1(x))) true 111943 111943 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_x25_u2_b79 17 25 2 79 eql(R,mlt(R,frc(D))) 118993 139060723 o2(x,o2(x,o1(x))) true 111951 111951 0.0007324 0.002289 0.0007324 0.000573 0.02394 0 0.9994 0.9994 1 0.01725 0.001184 0.000008397 0.001526 0.9859 1 -3.565e-7 0.003585 0.003025 0.00119 0.0345 22.61 0.9994 2.081 6.257 1 1 0.0007136 0.0009475 0.001388 1.245 1.654 2.423 json
t17_x25_u2_b80 17 25 2 80 eql(R,div(R,frc(D))) 118994 139060724 o2(x,o2(x,o1(x))) true 111959 111959 0.0002441 0.0007629 0.0002441 0.0001911 0.01382 0 0.9994 0.9994 1 0.006378 0.0003946 0.000002799 0.0005084 0.9859 1 -3.565e-7 0.001195 0.001008 0.0003971 0.01993 39.2 0.9994 2.079 6.253 1 1 0 0 0 0 0 0 json
t17_x25_u2_b81 17 25 2 81 eql(R,pow(R,frc(D))) 118995 139060725 o2(x,o2(x,o1(x))) true 111967 111967 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_x25_u2_b82 17 25 2 82 eql(R,mod(R,frc(D))) 118996 139060726 o2(x,o2(x,o1(x))) true 111975 111975 0.4825 0.772 0.4825 0.1766 0.4202 0 1 1 1 3.033 0.09317 0.001343 0.1452 0.9716 1 0.0003197 0.1981 0.2299 0.07343 0.271 1.867 1 0.5353 1.122 1 1 0.09177 0.2407 0.1777 0.5197 1.363 1.006 json
t17_x25_u2_b83 17 25 2 83 eql(R,lrg(R,frc(D))) 118997 139060727 o2(x,o2(x,o1(x))) true 111983 111983 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_x25_u2_b84 17 25 2 84 eql(R,eql(R,frc(D))) 118998 139060728 o2(x,o2(x,o1(x))) true 111991 111991 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_x25_u2_b85 17 25 2 85 eql(R,min(R,frc(D))) 118999 139060729 o2(x,o2(x,o1(x))) true 111999 111999 0.7355 0.9823 0.7355 0.1234 0.3513 0 1 1 1 2.773 0.04309 0.001528 0.08949 0.9315 1 0.00006966 0.09129 0.1174 0.03661 0.1913 2.138 1 0.3615 0.7397 1 1 0.04217 0.1383 0.202 0.3417 1.12 1.637 json