Herbie run

Date:Saturday, October 28th, 2023
Commit:f24e89ef on platforms
Hostname:nightly with Racket 8.6
Seed:2023301
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: 7.4min)

eval1.6min (22.2%)

Compiler

Compiled 3691618 to 2520748 computations (31.7% saved)

sample1.4min (19%)

Results
41.3s269368×body256valid
20.9s14399×body2048valid
9.6s19457×body1024valid
5.9s30954×body256infinite
3.1s11312×body512valid
1.7s202×body8192exit
730.0ms838×body4096valid
276.0ms2612×body256invalid
152.0ms183×body1024infinite
144.0ms931×body256unsamplable
88.0ms220×body512infinite
20.0ms21×body2048infinite
Bogosity

soundness1.0min (13.8%)

Rules
58853×associate-*r*
55667×associate-/l*
54021×+-commutative
51625×*-commutative
48405×associate-*l*
Stop Event
4×saturated
215×node limit
Compiler

Compiled 23912 to 14956 computations (37.5% saved)

localize49.3s (11.1%)

Compiler

Compiled 29216 to 17294 computations (40.8% saved)

simplify37.1s (8.3%)

Algorithm
163×egg-herbie
Rules
42940×associate-/l*
38305×+-commutative
37987×*-commutative
36489×associate-/r*
36479×associate-*r*
Stop Event
14×done
1×unsound
42×saturated
28×fuel
120×node limit
Counts
57492 → 54552
Compiler

Compiled 7868 to 5081 computations (35.4% saved)

prune31.1s (7%)

Counts
98255 → 1890
Compiler

Compiled 118520 to 82070 computations (30.8% saved)

rewrite26.2s (5.9%)

Algorithm
121×batch-egg-rewrite
Rules
30059×*-un-lft-identity
23304×associate-*r*
21811×add-sqr-sqrt
21120×*-commutative
19713×associate-*r/
Stop Event
121×node limit
Counts
862 → 40731

regimes20.7s (4.7%)

Counts
3848 → 531
Calls

94 calls:

2.8s
d
2.4s
c
1.9s
x
1.9s
b
1.6s
a
Compiler

Compiled 67630 to 41570 computations (38.5% saved)

preprocess17.2s (3.9%)

Algorithm
42×egg-herbie
Rules
21897×fma-def
11364×distribute-lft-in
10995×*-commutative
9133×+-commutative
8755×associate-+r+
Stop Event
10×saturated
32×node limit
Compiler

Compiled 22988 to 13758 computations (40.2% saved)

bsearch8.4s (1.9%)

Algorithm
269×binary-search
17×left-value
Stop Event
254×narrow-enough
15×predicate-same
Results
4.0s23560×body256valid
1.9s5579×body256infinite
662.0ms1570×body1024valid
521.0ms661×body2048valid
236.0ms779×body512valid
135.0ms1514×body256invalid
32.0ms28×body4096valid
22.0ms43×body1024infinite
16.0ms49×body512infinite
3.0ms3×body2048infinite
2.0ms14×body256unsamplable
Compiler

Compiled 74975 to 52494 computations (30% saved)

analyze7.3s (1.6%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series2.6s (0.6%)

Counts
862 → 16761
Calls

4659 calls:

TimeVariablePointExpression
147.0ms
b
@inf
(+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))))
67.0ms
x
@inf
(pow.f64 (+.f64 x eps) 15)
40.0ms
x
@0
(pow.f64 (pow.f64 (exp.f64 10) (pow.f64 x 2)) 3)
39.0ms
a
@0
(+.f64 (fma.f64 -1 (/.f64 b a) (/.f64 c b)) (/.f64 (*.f64 a (pow.f64 c 2)) (pow.f64 b 3)))
39.0ms
eps
@-inf
(+.f64 (pow.f64 eps 2) (*.f64 eps (*.f64 x 2)))

end9.0ms (0%)

Profiling

Loading profile data...