Herbie run

Date:Monday, November 6th, 2023
Commit:ec08111b on hamming-cleanup
Hostname:nightly with Racket 8.6
Seed:2023310
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: 3.2min)

sample53.7s (27.7%)

Results
14.5s109720×body256valid
13.0s12624×body8192exit
13.0s29624×body1024valid
5.7s5816×body2048valid
4.0s15027×body512valid
1.5s4042×body1024invalid
644.0ms4641×body256infinite
476.0ms2057×body512invalid
263.0ms2469×body256invalid
142.0ms1216×body256unsamplable
84.0ms145×body1024infinite
41.0ms147×body512infinite
6.0ms3×body4096invalid
2.0ms1×body8192invalid
1.0ms3×body2048invalid
Bogosity

localize31.5s (16.2%)

Compiler

Compiled 9378 to 5144 computations (45.1% saved)

soundness23.9s (12.3%)

Rules
57330×fma-def
35674×log-prod
33989×log1p-expm1-u
31640×associate-*r*
28033×expm1-log1p-u
Stop Event
3×unsound
5×saturated
111×node limit
Compiler

Compiled 9342 to 5420 computations (42% saved)

eval21.9s (11.3%)

Compiler

Compiled 1043633 to 642708 computations (38.4% saved)

simplify13.2s (6.8%)

Algorithm
86×egg-herbie
Rules
51600×fma-def
32720×log-prod
30786×associate-*r*
27694×associate-*l*
25426×distribute-lft-in
Stop Event
1×done
5×unsound
20×saturated
19×fuel
61×node limit
Counts
28128 → 22223
Compiler

Compiled 1299 to 926 computations (28.7% saved)

prune10.4s (5.3%)

Counts
41331 → 1710
Compiler

Compiled 93429 to 65781 computations (29.6% saved)

rewrite10.2s (5.2%)

Algorithm
66×batch-egg-rewrite
Rules
32158×log1p-expm1-u
27372×expm1-log1p-u
25450×log-prod
21108×expm1-udef
20126×prod-diff
Stop Event
66×node limit
Counts
513 → 19786

regimes10.1s (5.2%)

Counts
2776 → 127
Calls

55 calls:

1.6s
a
1.0s
x
877.0ms
r
865.0ms
b
649.0ms
(tan.f64 a)
Compiler

Compiled 33072 to 16641 computations (49.7% saved)

analyze9.8s (5%)

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
47.5%35%38.7%26.3%0%0%0%2
56%41.2%32.5%26.3%0%0%0%3
65.3%48.1%25.6%26.3%0%0%0%4
68.7%50%22.8%26.3%0%0.9%0%5
70.3%50.9%21.5%26.3%0%1.1%0.2%6
74.5%53.6%18.3%26.3%0%1.6%0.2%7
75.5%54.1%17.6%26.3%0%1.8%0.2%8
77.7%55.5%15.9%26.3%0%2%0.2%9
79.1%56.4%14.9%26.3%0%2.2%0.3%10
79.8%56.8%14.3%26.3%0%2.3%0.3%11
80.5%57.2%13.8%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

preprocess4.8s (2.5%)

Algorithm
20×egg-herbie
Rules
18794×fma-def
9572×fma-neg
5330×distribute-lft-neg-in
5272×sub-neg
4292×distribute-rgt-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 4054 to 2386 computations (41.1% saved)

series3.9s (2%)

Counts
513 → 8342
Calls

2289 calls:

TimeVariablePointExpression
259.0ms
y
@-inf
(log.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x)))
168.0ms
r
@inf
(log.f64 (pow.f64 (exp.f64 r) (/.f64 (sin.f64 b) (cos.f64 b))))
140.0ms
x
@0
(sqrt.f64 (*.f64 (cbrt.f64 x) (*.f64 x 2)))
85.0ms
x
@0
(*.f64 (pow.f64 2 1/8) (*.f64 (pow.f64 2 1/8) (*.f64 (pow.f64 2 1/4) x)))
77.0ms
r
@inf
(log.f64 (pow.f64 (exp.f64 r) (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))))

bsearch822.0ms (0.4%)

Algorithm
4×left-value
23×binary-search
Stop Event
16×narrow-enough
4×predicate-failed
3×predicate-same
Results
279.0ms545×body1024valid
220.0ms1354×body256valid
178.0ms301×body512valid
53.0ms404×body256invalid
41.0ms54×body2048valid
12.0ms80×body256infinite
0.0ms2×body512infinite
Compiler

Compiled 3750 to 2699 computations (28% saved)

end1.0ms (0%)

Profiling

Loading profile data...