Herbie run

Date:Thursday, June 6th, 2024
Commit:b2854467 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024158
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 3.2min)

sample45.8s (23.8%)

Results
14.7s48569×1valid
10.9s109239×0valid
9.5s16534×5exit
2.7s7312×2valid
459.0ms3917×0invalid
138.0ms1361×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 27.0s
ival-cos: 4.1s (15.1% of total)
...c/correct-round.rkt:119:19: 3.0s (11% of total)
backward-pass: 2.3s (8.6% of total)
ival-mult: 2.2s (8.2% of total)
ival-pow: 1.8s (6.6% of total)
ival-exp: 1.4s (5.2% of total)
ival-log: 1.3s (4.9% of total)
ival-sqrt: 1.3s (4.8% of total)
ival-acos: 1.3s (4.8% of total)
ival-tan: 1.2s (4.3% of total)
ival-<=: 1.2s (4.3% of total)
ival-sin: 1.1s (4% of total)
ival-fmod: 898.0ms (3.3% of total)
ival-add: 857.0ms (3.2% of total)
ival-div: 794.0ms (2.9% of total)
ival-sub: 776.0ms (2.9% of total)
ival-sinh: 428.0ms (1.6% of total)
ival-neg: 272.0ms (1% of total)
const: 229.0ms (0.8% of total)
ival-==: 153.0ms (0.6% of total)
ival-<: 141.0ms (0.5% of total)
ival-and: 140.0ms (0.5% of total)
ival-or: 64.0ms (0.2% of total)
ival-atan: 57.0ms (0.2% of total)
ival->=: 50.0ms (0.2% of total)
ival->: 35.0ms (0.1% of total)
Bogosity

soundness31.8s (16.5%)

Rules
260418×*-lowering-*.f32
260418×*-lowering-*.f64
137984×+-lowering-+.f32
137984×+-lowering-+.f64
117054×/-lowering-/.f64
Stop Event
12×saturated
101×iter limit
72×node limit
15×fuel
5×unsound
5×done
Compiler

Compiled 6626 to 3750 computations (43.4% saved)

rewrite30.0s (15.6%)

Algorithm
75×batch-egg-rewrite
Rules
217058×*-lowering-*.f32
217058×*-lowering-*.f64
150374×/-lowering-/.f32
150374×/-lowering-/.f64
92546×+-lowering-+.f32
Stop Event
5×saturated
88×iter limit
65×node limit
6×unsound
Counts
846 → 33277

simplify23.5s (12.2%)

Algorithm
170×egg-herbie
Rules
281370×*-lowering-*.f32
281370×*-lowering-*.f64
158774×+-lowering-+.f32
158774×+-lowering-+.f64
121700×fma-lowering-fma.f64
Stop Event
146×iter limit
92×saturated
82×node limit
Counts
16596 → 16596

localize21.0s (10.9%)

Results
5.2s4113×1valid
5.1s358×5exit
4.1s13564×0valid
2.1s874×2valid
305.0ms72×3valid
95.0ms176×0unsamplable
19.0ms43×0invalid
Compiler

Compiled 10701 to 1477 computations (86.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-mult: 1.3s (18.9% of total)
ival-pow: 1.0s (14.5% of total)
ival-cos: 816.0ms (11.5% of total)
backward-pass: 795.0ms (11.2% of total)
ival-div: 565.0ms (8% of total)
ival-add: 415.0ms (5.9% of total)
ival-log: 349.0ms (4.9% of total)
...c/correct-round.rkt:119:19: 295.0ms (4.2% of total)
ival-fmod: 271.0ms (3.8% of total)
ival-exp: 247.0ms (3.5% of total)
ival-sin: 246.0ms (3.5% of total)
ival-sub: 193.0ms (2.7% of total)
ival-tan: 169.0ms (2.4% of total)
ival-sqrt: 117.0ms (1.7% of total)
compiled-spec: 117.0ms (1.7% of total)
const: 50.0ms (0.7% of total)
ival-sinh: 20.0ms (0.3% of total)
ival-acos: 20.0ms (0.3% of total)
ival-neg: 9.0ms (0.1% of total)
ival-pi: 9.0ms (0.1% of total)
ival-atan: 8.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)

eval8.8s (4.6%)

Compiler

Compiled 1619797 to 127801 computations (92.1% saved)

prune7.9s (4.1%)

Counts
59932 → 1600
Compiler

Compiled 69582 to 34258 computations (50.8% saved)

regimes6.3s (3.3%)

Counts
4468 → 183
Calls

55 calls:

774.0ms
x
764.0ms
a
583.0ms
b
506.0ms
r
306.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1858 to 1317 computations (29.1% saved)

analyze6.3s (3.2%)

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: 3.7s
...c/correct-round.rkt:119:19: 2.1s (57.4% of total)
ival-<=: 369.0ms (10% of total)
ival-tan: 188.0ms (5.1% of total)
ival-mult: 152.0ms (4.1% of total)
ival-sin: 124.0ms (3.3% of total)
ival-pow: 114.0ms (3.1% of total)
ival-add: 111.0ms (3% of total)
ival-cos: 71.0ms (1.9% of total)
ival-exp: 57.0ms (1.5% of total)
ival-and: 57.0ms (1.5% of total)
ival-div: 54.0ms (1.5% of total)
ival-fmod: 50.0ms (1.3% of total)
ival-==: 49.0ms (1.3% of total)
ival-sub: 46.0ms (1.2% of total)
ival-or: 31.0ms (0.8% of total)
ival-neg: 21.0ms (0.6% of total)
ival-sqrt: 20.0ms (0.5% of total)
ival-log: 19.0ms (0.5% of total)
const: 15.0ms (0.4% of total)
ival-sinh: 12.0ms (0.3% of total)
backward-pass: 10.0ms (0.3% of total)
ival-<: 5.0ms (0.1% of total)
ival->: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

explain3.8s (2%)

Results
859.0ms6652×0valid
834.0ms3038×1valid
290.0ms464×2valid
271.0ms86×5exit
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-cos: 312.0ms (24.5% of total)
ival-sqrt: 176.0ms (13.8% of total)
ival-mult: 163.0ms (12.8% of total)
backward-pass: 103.0ms (8.1% of total)
ival-log: 74.0ms (5.8% of total)
ival-sin: 73.0ms (5.7% of total)
ival-exp: 49.0ms (3.8% of total)
ival-tan: 49.0ms (3.8% of total)
ival-add: 47.0ms (3.7% of total)
ival-div: 42.0ms (3.3% of total)
ival-pow: 42.0ms (3.3% of total)
ival-fmod: 38.0ms (3% of total)
ival-sub: 37.0ms (2.9% of total)
ival-acos: 24.0ms (1.9% of total)
ival-sinh: 20.0ms (1.6% of total)
const: 13.0ms (1% of total)
ival-neg: 9.0ms (0.7% of total)
ival-atan: 3.0ms (0.2% of total)

preprocess2.8s (1.5%)

Algorithm
40×egg-herbie
Rules
17610×fnmadd-define
16432×sum3-define
14168×fmsub-define
13672×fnmsub-define
11250×fma-define
Stop Event
34×saturated
19×iter limit
7×node limit
Compiler

Compiled 6962 to 3146 computations (54.8% saved)

series2.7s (1.4%)

Counts
846 → 16596
Calls

3420 calls:

TimeVariablePointExpression
185.0ms
x
@0
(* x (pow 2 1/4))
132.0ms
x
@0
(* (pow (* x 4) 1/4) (pow x 3/4))
107.0ms
x
@0
(- x (log (fmod (exp x) (sqrt (cos x)))))
75.0ms
x
@-inf
(pow x 3/4)
70.0ms
x
@0
(log (fmod (exp x) (pow (cos x) 1/2)))

bsearch2.0s (1%)

Algorithm
61×binary-search
1×left-value
Stop Event
2×predicate-same
55×narrow-enough
4×predicate-failed
Results
778.0ms2684×1valid
563.0ms4804×0valid
85.0ms96×2valid
75.0ms404×0invalid
Compiler

Compiled 12835 to 8647 computations (32.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 966.0ms
ival-tan: 169.0ms (17.5% of total)
ival-cos: 139.0ms (14.4% of total)
ival-sin: 128.0ms (13.3% of total)
ival-exp: 96.0ms (9.9% of total)
ival-mult: 95.0ms (9.8% of total)
backward-pass: 91.0ms (9.4% of total)
ival-pow: 83.0ms (8.6% of total)
ival-add: 64.0ms (6.6% of total)
ival-div: 32.0ms (3.3% of total)
ival-fmod: 20.0ms (2.1% of total)
ival-sub: 18.0ms (1.9% of total)
ival-neg: 14.0ms (1.5% of total)
const: 8.0ms (0.8% of total)
ival-sqrt: 7.0ms (0.7% of total)

end0.0ms (0%)

Profiling

Loading profile data...