Herbie run

Date:Thursday, June 27th, 2024
Commit:d87a728e on artem-popl-eval-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024179
Parameters:256 points for 0 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
-o setup:simplify

Time bar (total: 3.1min)

sample3.0min (94.1%)

Memory
-60.5MiB live, 45 243.1MiB allocated
Samples
21.1s185 800×0valid-baseline
19.0s185 800×0valid-sollya
18.9s185 800×0valid-rival
9.1s22 292×1valid-baseline
5.9s22 292×1valid-rival
4.7s22 292×1valid-sollya
3.2s3 353×2valid-baseline
2.3s1 050×3valid-baseline
1.8s3 353×2valid-sollya
1.5s1 050×3valid-sollya
959.0ms3 353×2valid-rival
865.0ms8 557×0valid-rival+baseline-inf
305.0ms1 050×3valid-rival
177.0ms1 517×0valid-rival-only-real
72.0ms254×1valid-rival+baseline-inf
4.0ms15×3valid-rival+sollya-inf
3.0ms31×0valid-rival+baseline-zero
2.0ms20×0valid-rival+baseline-real
2.0ms1valid-rival+sollya-real
1.0ms3valid-rival+baseline-inf
1.0ms0valid-rival+sollya-real
1.0ms3valid-rival-only-inf
0.0ms5valid-sollya-only-real
0.0ms2valid-rival+sollya-real
0.0ms2valid-rival+sollya-inf
0.0ms2valid-rival+baseline-inf
0.0ms0valid-rival+sollya-zero
Precisions
Click to see Rival histograms. Total time spent on operations: 24.0s
ival-mult: 5.8s (24.1% of total)
ival-div: 3.1s (13.1% of total)
ival-tan: 3.0s (12.6% of total)
ival-sub: 1.7s (7.1% of total)
ival-add: 1.5s (6.4% of total)
ival-sin: 1.5s (6.3% of total)
ival-sqrt: 1.4s (5.9% of total)
ival-pow2: 1.4s (5.7% of total)
ival-pow: 1.1s (4.7% of total)
ival-cos: 640.0ms (2.7% of total)
adjust: 584.0ms (2.4% of total)
ival-exp: 583.0ms (2.4% of total)
ival-acos: 266.0ms (1.1% of total)
ival-true: 251.0ms (1% of total)
ival-neg: 233.0ms (1% of total)
...in/eval/compile.rkt:76:19: 175.0ms (0.7% of total)
ival-pi: 166.0ms (0.7% of total)
ival-asin: 161.0ms (0.7% of total)
...in/eval/compile.rkt:77:19: 104.0ms (0.4% of total)
ival-assert: 103.0ms (0.4% of total)
ival-atan: 76.0ms (0.3% of total)
ival-fabs: 33.0ms (0.1% of total)
ival-hypot: 0.0ms (0% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 32.9s
ival-mult: 8.2s (25% of total)
ival-div: 4.1s (12.4% of total)
ival-tan: 4.0s (12.2% of total)
ival-pow: 3.7s (11.3% of total)
ival-sin: 2.7s (8.3% of total)
ival-sub: 2.5s (7.6% of total)
ival-add: 2.2s (6.7% of total)
ival-sqrt: 1.8s (5.4% of total)
ival-acos: 941.0ms (2.9% of total)
ival-cos: 667.0ms (2% of total)
const: 627.0ms (1.9% of total)
ival-exp: 467.0ms (1.4% of total)
ival-neg: 274.0ms (0.8% of total)
ival-pi: 263.0ms (0.8% of total)
ival-asin: 159.0ms (0.5% of total)
...ms/src/baseline.rkt:166:19: 115.0ms (0.3% of total)
ival-atan: 76.0ms (0.2% of total)
ival-fabs: 44.0ms (0.1% of total)
Bogosity

analyze6.0s (3.2%)

Memory
1.6MiB live, 2 537.1MiB allocated
Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
30.4%28.2%64.4%1.8%0%5.6%0%3
34.9%31.6%59%1.8%0%7.7%0%4
37.5%33.8%56.3%1.8%0%8.1%0%5
42%37.8%52.3%1.8%0%8.1%0%6
46.8%42.1%47.8%1.8%0%8.2%0%7
49.4%43.7%44.7%1.8%0%9.8%0%8
52.5%46.2%41.7%1.8%0%10.3%0%9
53.7%47%40.5%1.8%0%10.6%0%10
55.5%48.2%38.7%1.8%0%11.2%0%11
57.1%49.4%37.1%1.8%0%11.7%0%12
Compiler

Compiled 1 638 to 1 110 computations (32.2% saved)

preprocess4.8s (2.6%)

Memory
-23.8MiB live, 1 411.4MiB allocated
Algorithm
27×egg-herbie
Rules
17 515×fma-define
11 294×fmm-def
7 046×times-frac
6 765×unsub-neg
6 332×distribute-lft-in
Stop Event
19×node limit
saturated
Compiler

Compiled 7 948 to 5 252 computations (33.9% saved)

simplify151.0ms (0.1%)

Memory
7.3MiB live, 23.0MiB allocated
Algorithm
27×egg-herbie
Rules
566×unsub-neg
387×neg-mul-1
258×distribute-lft-neg-in
187×+-commutative
186×*-commutative
Stop Event
27×saturated

prune24.0ms (0%)

Memory
25.8MiB live, 25.8MiB allocated
Compiler

Compiled 1 296 to 848 computations (34.6% saved)

soundness9.0ms (0%)

Memory
10.4MiB live, 10.4MiB allocated
Stop Event
27×fuel
Compiler

Compiled 636 to 422 computations (33.6% saved)

eval3.0ms (0%)

Memory
-9.6MiB live, 6.2MiB allocated
Compiler

Compiled 81 to 81 computations (0% saved)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...