Herbie run

Date:Friday, August 18th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023230
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: 5.0min)

sample1.3min (24.9%)

Results
39.1s269284×body256valid
16.2s14397×body2048valid
8.7s19637×body1024valid
5.1s31081×body256infinite
2.7s11126×body512valid
1.6s202×body8192exit
470.0ms797×body4096valid
348.0ms2677×body256invalid
143.0ms187×body1024infinite
122.0ms951×body256unsamplable
76.0ms221×body512infinite
23.0ms22×body2048infinite
Bogosity

soundness50.3s (16.7%)

Rules
211866×fma-def
131574×associate-*r*
123210×log-prod
104538×times-frac
98572×associate-*l*
Stop Event
7×saturated
303×node limit
Compiler

Compiled 26732 to 15978 computations (40.2% saved)

localize43.8s (14.5%)

Compiler

Compiled 27771 to 15069 computations (45.7% saved)

eval33.3s (11%)

Compiler

Compiled 1723444 to 1034186 computations (40% saved)

simplify24.6s (8.1%)

Algorithm
208×egg-herbie
Rules
142044×fma-def
79010×associate-*r*
69172×times-frac
68262×associate-*l*
67982×fma-neg
Stop Event
1×unsound
14×done
58×saturated
28×fuel
149×node limit
Counts
48546 → 42566
Compiler

Compiled 8649 to 5606 computations (35.2% saved)

regimes17.0s (5.6%)

Counts
4265 → 589
Calls

94 calls:

1.7s
b
1.6s
x
1.4s
a
1.3s
c
1.0s
d
Compiler

Compiled 73764 to 43588 computations (40.9% saved)

prune16.1s (5.4%)

Counts
60239 → 2156
Compiler

Compiled 127222 to 85642 computations (32.7% saved)

rewrite13.8s (4.6%)

Algorithm
124×batch-egg-rewrite
Rules
82058×pow1
77798×add-exp-log
77724×log1p-expm1-u
77708×expm1-log1p-u
75818×add-log-exp
Stop Event
124×node limit
Counts
935 → 29627

preprocess9.5s (3.1%)

Algorithm
42×egg-herbie
Rules
53946×fma-def
22276×fma-neg
17644×unsub-neg
17506×distribute-lft-in
17362×sub-neg
Stop Event
12×saturated
30×node limit
Compiler

Compiled 21113 to 12575 computations (40.4% saved)

bsearch9.4s (3.1%)

Algorithm
302×binary-search
19×left-value
Stop Event
287×narrow-enough
15×predicate-same
Results
4.7s23538×body256valid
2.0s8514×body256infinite
790.0ms1787×body1024valid
458.0ms1694×body512valid
296.0ms496×body2048valid
204.0ms2179×body256invalid
69.0ms137×body1024infinite
27.0ms80×body512infinite
12.0ms85×body256unsamplable
6.0ms10×body4096valid
Compiler

Compiled 74909 to 53317 computations (28.8% saved)

analyze6.0s (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)

series2.7s (0.9%)

Counts
935 → 18877
Calls

4986 calls:

TimeVariablePointExpression
76.0ms
a
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c)))))
60.0ms
x
@inf
(log.f64 (cbrt.f64 (exp.f64 (cos.f64 x))))
53.0ms
v
@inf
(/.f64 (-.f64 1 v) (*.f64 w (*.f64 (*.f64 r r) (fma.f64 v 1/4 -3/8))))
47.0ms
c
@-inf
(pow.f64 (exp.f64 1/4) (*.f64 2 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c)))))
44.0ms
u
@0
(/.f64 (*.f64 (+.f64 t1 u) (+.f64 t1 u)) v)

end10.0ms (0%)

Profiling

Loading profile data...