Herbie run

Date:Monday, October 2nd, 2023
Commit:2a64fc33 on main
Hostname:nightly with Racket 8.6
Seed:2023275
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.5min)

sample1.8min (23.9%)

Results
54.4s269577×body256valid
22.5s14286×body2048valid
12.4s19588×body1024valid
8.2s31012×body256infinite
5.1s11103×body512valid
1.6s202×body8192exit
697.0ms792×body4096valid
466.0ms2597×body256invalid
317.0ms906×body256unsamplable
143.0ms153×body1024infinite
129.0ms228×body512infinite
101.0ms13×body2048infinite
Bogosity

localize1.2min (15.6%)

Compiler

Compiled 30549 to 16694 computations (45.4% saved)

soundness1.1min (15.3%)

Rules
223218×fma-def
130768×associate-*r*
118850×fma-neg
118762×associate-*l*
109736×times-frac
Stop Event
3×saturated
301×node limit
Compiler

Compiled 28490 to 17027 computations (40.2% saved)

eval55.6s (12.4%)

Compiler

Compiled 1926893 to 1159825 computations (39.8% saved)

simplify32.9s (7.4%)

Algorithm
170×egg-herbie
Rules
98530×fma-def
65920×associate-*r*
60450×log-prod
60080×associate-*l*
59828×times-frac
Stop Event
14×done
2×unsound
42×saturated
28×fuel
126×node limit
Counts
50630 → 42812
Compiler

Compiled 8035 to 5168 computations (35.7% saved)

regimes30.1s (6.7%)

Counts
4442 → 551
Calls

94 calls:

4.2s
b
3.2s
c
3.0s
a
2.4s
x1
2.1s
d
Compiler

Compiled 68193 to 39382 computations (42.2% saved)

prune23.7s (5.3%)

Counts
61377 → 1990
Compiler

Compiled 115849 to 77363 computations (33.2% saved)

rewrite20.3s (4.5%)

Algorithm
128×batch-egg-rewrite
Rules
83932×pow1
79748×add-exp-log
79684×log1p-expm1-u
79668×expm1-log1p-u
76230×add-log-exp
Stop Event
128×node limit
Counts
967 → 31182

preprocess14.6s (3.3%)

Algorithm
42×egg-herbie
Rules
55292×fma-def
23810×fma-neg
17914×distribute-lft-in
17852×unsub-neg
17806×sub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 19727 to 11593 computations (41.2% saved)

bsearch11.7s (2.6%)

Algorithm
264×binary-search
18×left-value
Stop Event
247×narrow-enough
17×predicate-same
Results
5.8s22358×body256valid
1.9s5107×body256infinite
1.2s1977×body1024valid
783.0ms693×body2048valid
655.0ms2121×body256invalid
378.0ms839×body512valid
34.0ms30×body4096valid
27.0ms42×body1024infinite
16.0ms41×body512infinite
13.0ms77×body256unsamplable
1.0ms1×body2048infinite
Compiler

Compiled 67720 to 47543 computations (29.8% saved)

analyze9.5s (2.1%)

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)

series4.0s (0.9%)

Counts
967 → 19448
Calls

5037 calls:

TimeVariablePointExpression
219.0ms
x
@inf
(/.f64 x (/.f64 (*.f64 y y) x))
149.0ms
eps
@inf
(*.f64 eps (*.f64 10 (pow.f64 x 3)))
92.0ms
x
@inf
(-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (+.f64 eps -1)) x)) (*.f64 (+.f64 (/.f64 1 eps) -1) (pow.f64 (exp.f64 (neg.f64 x)) (+.f64 1 eps))))
77.0ms
y
@-inf
(log.f64 (/.f64 y x))
69.0ms
eps
@-inf
(pow.f64 (exp.f64 (+.f64 eps -1)) x)

end20.0ms (0%)

Profiling

Loading profile data...