Herbie run

Date:Friday, October 6th, 2023
Commit:add13636 on main
Hostname:nightly with Racket 8.6
Seed:2023279
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)

sample1.9min (26.4%)

Results
1.0min269681×body256valid
22.5s14380×body2048valid
13.7s19553×body1024valid
8.5s30915×body256infinite
4.3s11097×body512valid
2.3s202×body8192exit
704.0ms762×body4096valid
479.0ms2718×body256invalid
182.0ms991×body256unsamplable
169.0ms150×body1024infinite
139.0ms197×body512infinite
26.0ms17×body2048infinite
Bogosity

soundness1.0min (14%)

Rules
207344×fma-def
140424×associate-*r*
110184×associate-*l*
109422×fma-neg
106984×times-frac
Stop Event
4×saturated
291×node limit
Compiler

Compiled 23622 to 13962 computations (40.9% saved)

localize1.0min (13.9%)

Compiler

Compiled 27210 to 14557 computations (46.5% saved)

eval47.2s (10.6%)

Compiler

Compiled 1732161 to 1015045 computations (41.4% saved)

simplify33.9s (7.7%)

Algorithm
166×egg-herbie
Rules
91928×fma-def
74690×associate-*r*
64024×associate-*l*
57566×log-prod
57274×fma-neg
Stop Event
15×done
42×saturated
27×fuel
124×node limit
Counts
48715 → 42439
Compiler

Compiled 10055 to 6361 computations (36.7% saved)

regimes28.5s (6.4%)

Counts
4701 → 662
Calls

94 calls:

4.9s
x1
3.9s
c
2.1s
b
1.5s
d
1.4s
t1
Compiler

Compiled 72156 to 41681 computations (42.2% saved)

preprocess23.5s (5.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 27180 to 15722 computations (42.2% saved)

prune21.1s (4.8%)

Counts
58718 → 1893
Compiler

Compiled 110889 to 73639 computations (33.6% saved)

rewrite19.4s (4.4%)

Algorithm
124×batch-egg-rewrite
Rules
89302×pow1
84574×add-exp-log
84490×log1p-expm1-u
84482×expm1-log1p-u
74404×add-log-exp
Stop Event
124×node limit
Counts
913 → 30440

bsearch15.3s (3.5%)

Algorithm
354×binary-search
31×left-value
Stop Event
339×narrow-enough
15×predicate-same
Results
7.5s29016×body256valid
3.8s9116×body256infinite
1.3s2422×body1024valid
619.0ms1656×body512valid
615.0ms673×body2048valid
372.0ms3305×body256invalid
69.0ms167×body512infinite
41.0ms64×body1024infinite
6.0ms6×body4096valid
3.0ms20×body256unsamplable
Compiler

Compiled 107717 to 73872 computations (31.4% saved)

analyze8.8s (2%)

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.4s (1%)

Counts
913 → 18275
Calls

4842 calls:

TimeVariablePointExpression
190.0ms
c
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
114.0ms
a
@inf
(/.f64 (+.f64 (neg.f64 b) (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))) (*.f64 2 a))
70.0ms
i
@0
(+.f64 (pow.f64 (/.f64 i n) n) -1)
64.0ms
a
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
60.0ms
t
@0
(pow.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)

end30.0ms (0%)

Profiling

Loading profile data...