Herbie run

Date:Saturday, April 27th, 2024
Commit:49c7f308 on main
Hostname:nightly with Racket 8.11.1
Seed:2024118
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 4.2min)

sample1.2min (27.7%)

Results
35.1s48828×1valid
11.6s109076×0valid
9.5s16205×5exit
2.7s7216×2valid
463.0ms3900×0invalid
166.0ms1382×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 45.6s
ival-cos: 10.8s (23.6% of total)
ival-tan: 9.7s (21.3% of total)
ival-mult: 3.8s (8.4% of total)
backward-pass: 3.4s (7.5% of total)
ival-<=: 2.7s (6% of total)
ival-pow: 2.0s (4.4% of total)
ival-sqrt: 1.7s (3.6% of total)
ival-sin: 1.5s (3.4% of total)
ival-fmod: 1.5s (3.3% of total)
ival-exp: 1.4s (3.1% of total)
ival-log: 1.3s (2.8% of total)
ival-add: 1.1s (2.4% of total)
ival-div: 957.0ms (2.1% of total)
ival-sub: 949.0ms (2.1% of total)
ival-acos: 636.0ms (1.4% of total)
ival-sinh: 613.0ms (1.3% of total)
ival-<: 351.0ms (0.8% of total)
ival-neg: 312.0ms (0.7% of total)
ival-==: 262.0ms (0.6% of total)
const: 249.0ms (0.5% of total)
ival-and: 128.0ms (0.3% of total)
ival-atan: 59.0ms (0.1% of total)
ival-or: 53.0ms (0.1% of total)
ival->=: 46.0ms (0.1% of total)
ival->: 30.0ms (0.1% of total)
Bogosity

soundness35.0s (14%)

Rules
17062×log1p-expm1-u
14368×fma-define
13552×expm1-log1p-u
12122×fma-neg
11265×associate-*r*
Stop Event
6×saturated
59×node limit
12×fuel
3×unsound
8×done
Compiler

Compiled 11307 to 3201 computations (71.7% saved)

localize34.8s (13.9%)

Algorithm
70×egg-herbie
Rules
25510×fma-define
17676×fma-neg
10281×sub-neg
10273×unsub-neg
8691×distribute-lft-in
Stop Event
41×saturated
29×node limit
Results
14.9s4500×1valid
4.6s537×5exit
3.3s11768×0valid
2.1s973×2valid
66.0ms20×1invalid
22.0ms96×0unsamplable
16.0ms26×0invalid
Compiler

Compiled 9001 to 1371 computations (84.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.9s
ival-pow: 2.0s (20% of total)
ival-mult: 1.5s (15.3% of total)
ival-fmod: 883.0ms (9% of total)
ival-cos: 830.0ms (8.4% of total)
ival-log: 758.0ms (7.7% of total)
backward-pass: 625.0ms (6.3% of total)
ival-div: 505.0ms (5.1% of total)
ival-sub: 350.0ms (3.5% of total)
ival-add: 349.0ms (3.5% of total)
ival-exp: 319.0ms (3.2% of total)
ival-asin: 294.0ms (3% of total)
ival-tan: 292.0ms (3% of total)
ival-sqrt: 240.0ms (2.4% of total)
ival-sin: 233.0ms (2.4% of total)
ival-acos: 148.0ms (1.5% of total)
ival-cbrt: 134.0ms (1.4% of total)
ival-fma: 128.0ms (1.3% of total)
ival-neg: 55.0ms (0.6% of total)
const: 53.0ms (0.5% of total)
ival-log1p: 53.0ms (0.5% of total)
ival-expm1: 38.0ms (0.4% of total)
ival-sinh: 35.0ms (0.4% of total)
ival-hypot: 28.0ms (0.3% of total)
ival-pi: 13.0ms (0.1% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-atan: 9.0ms (0.1% of total)
ival-e: 5.0ms (0.1% of total)

simplify21.0s (8.4%)

Algorithm
88×egg-herbie
Rules
19871×fma-neg
19359×fma-define
16860×associate-*r*
16425×times-frac
15955×*-commutative
Stop Event
22×saturated
59×node limit
7×unsound
Counts
32810 → 29812

rewrite20.1s (8%)

Algorithm
68×batch-egg-rewrite
Rules
34962×log1p-expm1-u
29085×expm1-log1p-u
16362×pow1
15145×add-exp-log
14903×add-log-exp
Stop Event
68×node limit
Counts
674 → 21402

regimes16.1s (6.4%)

Counts
3792 → 170
Calls

55 calls:

5.7s
lo
4.8s
hi
977.0ms
x
626.0ms
a
423.0ms
b
Compiler

Compiled 1527 to 1062 computations (30.5% saved)

prune13.4s (5.4%)

Counts
47909 → 2046
Compiler

Compiled 73168 to 39753 computations (45.7% saved)

series11.2s (4.5%)

Counts
674 → 11408
Calls

2832 calls:

TimeVariablePointExpression
6.8s
lo
@-inf
(* -1 (/ (- x lo) lo))
183.0ms
r
@0
(* r (/ (log (+ 1 (* b (+ 1 (* b 1/2))))) (cos b)))
131.0ms
x
@-inf
(pow (cbrt (exp (cos x))) 2)
122.0ms
s
@inf
(* (pow s 2) (pow x 2))
100.0ms
x
@0
(pow (* (pow x 4) 4) 1/4)

explain9.8s (3.9%)

Results
7.7s6618×0valid
685.0ms3060×1valid
511.0ms112×5exit
232.0ms450×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-cos: 502.0ms (36.9% of total)
ival-mult: 108.0ms (7.9% of total)
backward-pass: 104.0ms (7.6% of total)
ival-tan: 92.0ms (6.8% of total)
ival-pow: 86.0ms (6.3% of total)
ival-sin: 67.0ms (4.9% of total)
ival-log: 67.0ms (4.9% of total)
ival-sqrt: 65.0ms (4.8% of total)
ival-exp: 52.0ms (3.8% of total)
ival-add: 41.0ms (3% of total)
ival-sub: 40.0ms (2.9% of total)
ival-fmod: 39.0ms (2.9% of total)
ival-div: 34.0ms (2.5% of total)
ival-acos: 24.0ms (1.8% of total)
ival-sinh: 16.0ms (1.2% of total)
const: 12.0ms (0.9% of total)
ival-neg: 10.0ms (0.7% of total)
ival-atan: 3.0ms (0.2% of total)

eval9.2s (3.7%)

Compiler

Compiled 1057404 to 165099 computations (84.4% saved)

analyze4.0s (1.6%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult: 352.0ms (19.9% of total)
ival-<=: 313.0ms (17.7% of total)
ival-tan: 146.0ms (8.3% of total)
ival-pow: 118.0ms (6.7% of total)
ival-add: 108.0ms (6.1% of total)
ival-==: 105.0ms (5.9% of total)
ival-div: 104.0ms (5.9% of total)
ival-sin: 79.0ms (4.5% of total)
ival-cos: 74.0ms (4.2% of total)
ival-sub: 64.0ms (3.6% of total)
ival-exp: 52.0ms (2.9% of total)
ival-and: 50.0ms (2.8% of total)
ival-fmod: 48.0ms (2.7% of total)
const: 36.0ms (2% of total)
ival-or: 24.0ms (1.4% of total)
ival-neg: 22.0ms (1.2% of total)
ival-log: 20.0ms (1.1% of total)
ival-sqrt: 18.0ms (1% of total)
ival-sinh: 12.0ms (0.7% of total)
backward-pass: 8.0ms (0.5% of total)
ival-<: 5.0ms (0.3% of total)
ival->: 4.0ms (0.2% of total)
ival-atan: 1.0ms (0.1% of total)
ival->=: 1.0ms (0.1% of total)
ival-acos: 0.0ms (0% of total)

preprocess4.0s (1.6%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 5916 to 2630 computations (55.5% saved)

bsearch2.3s (0.9%)

Algorithm
49×binary-search
8×left-value
Stop Event
5×predicate-same
44×narrow-enough
Results
819.0ms3026×1valid
527.0ms1040×2valid
174.0ms1710×0valid
1.0ms15×0unsamplable
Compiler

Compiled 8792 to 6351 computations (27.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-exp: 318.0ms (27.3% of total)
ival-div: 134.0ms (11.5% of total)
ival-fmod: 131.0ms (11.2% of total)
ival-tan: 113.0ms (9.7% of total)
ival-cos: 102.0ms (8.8% of total)
backward-pass: 74.0ms (6.3% of total)
ival-mult: 64.0ms (5.5% of total)
ival-sin: 58.0ms (5% of total)
ival-sqrt: 43.0ms (3.7% of total)
ival-add: 40.0ms (3.4% of total)
ival-pow: 28.0ms (2.4% of total)
ival-neg: 23.0ms (2% of total)
ival-sub: 19.0ms (1.6% of total)
ival-acos: 14.0ms (1.2% of total)
const: 6.0ms (0.5% of total)

end0.0ms (0%)

Profiling

Loading profile data...