Herbie run

Date:Friday, October 6th, 2023
Commit:c7e70dc6 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: 12.0min)

sample2.6min (21.4%)

Results
46.2s155048×body256valid
29.1s29574×body1024valid
18.7s66599×body256invalid
12.1s7768×body8192exit
11.1s39054×body256infinite
8.1s10373×body2048valid
8.0s13865×body512valid
4.7s5991×body1024invalid
3.6s2031×body4096valid
2.7s622×body4096infinite
2.0s8054×body256unsamplable
1.9s666×body2048infinite
1.8s3032×body512invalid
1.7s2459×body1024infinite
1.3s815×body8192valid
732.0ms1429×body512infinite
1.0ms1×body2048invalid
Bogosity

localize2.3min (18.8%)

Compiler

Compiled 39387 to 18474 computations (53.1% saved)

soundness1.7min (14.2%)

Rules
277884×fma-def
197098×times-frac
186266×associate-*r*
165162×associate-*l*
157272×log-prod
Stop Event
2×unsound
4×saturated
417×node limit
Compiler

Compiled 43369 to 25753 computations (40.6% saved)

regimes1.5min (12.8%)

Counts
11022 → 911
Calls

152 calls:

6.9s
l
4.3s
d
4.3s
t
4.0s
mu
3.6s
h
Compiler

Compiled 177755 to 89390 computations (49.7% saved)

eval1.2min (10.2%)

Compiler

Compiled 2659618 to 1533236 computations (42.4% saved)

simplify41.7s (5.8%)

Algorithm
153×egg-herbie
Rules
99930×fma-def
74738×times-frac
74672×associate-*r*
68902×associate-*l*
63572×log-prod
Stop Event
1×unsound
2×done
31×saturated
29×fuel
121×node limit
Counts
59405 → 45920
Compiler

Compiled 15048 to 9592 computations (36.3% saved)

prune32.1s (4.4%)

Counts
74926 → 3154
Compiler

Compiled 237429 to 161996 computations (31.8% saved)

bsearch28.6s (4%)

Algorithm
462×binary-search
94×left-value
Stop Event
454×narrow-enough
3×predicate-failed
5×predicate-same
Results
10.1s35740×body256valid
6.1s6972×body1024valid
2.9s11252×body256invalid
2.6s8877×body256infinite
1.9s3380×body512valid
985.0ms797×body4096valid
574.0ms365×body8192valid
471.0ms578×body2048valid
267.0ms650×body1024invalid
180.0ms312×body8192exit
174.0ms359×body1024infinite
129.0ms343×body512infinite
118.0ms398×body512invalid
72.0ms29×body4096infinite
46.0ms48×body2048infinite
Compiler

Compiled 140998 to 103510 computations (26.6% saved)

rewrite20.8s (2.9%)

Algorithm
122×batch-egg-rewrite
Rules
81848×pow1
77472×add-exp-log
77374×log1p-expm1-u
77362×expm1-log1p-u
77332×add-log-exp
Stop Event
1×unsound
121×node limit
Counts
1279 → 28187

analyze16.7s (2.3%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
30.2%28.2%65.2%1.8%0%4.8%0%3
34%31.2%60.6%1.8%0%6.4%0%4
36.2%33.2%58.5%1.8%0%6.4%0%5
40.4%37%54.5%1.8%0%6.6%0%6
45.4%41.1%49.4%1.8%0%7.3%0.4%7
47.7%42.6%46.7%1.8%0%8.6%0.4%8
50.6%44.9%43.9%1.8%0%8.9%0.5%9
51.7%45.7%42.7%1.8%0%9.3%0.5%10
53.4%46.8%40.9%1.8%0%9.9%0.6%11
55.1%48%39.1%1.8%0%10.5%0.6%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

preprocess13.3s (1.8%)

Algorithm
31×egg-herbie
Rules
36464×fma-def
16456×fma-neg
13966×div-sub
13472×distribute-lft-neg-in
12750×distribute-lft-in
Stop Event
5×saturated
26×node limit
Compiler

Compiled 35708 to 19274 computations (46% saved)

series10.2s (1.4%)

Counts
1279 → 31218
Calls

8730 calls:

TimeVariablePointExpression
169.0ms
V
@0
(pow.f64 (/.f64 A (*.f64 V l)) 3/2)
145.0ms
A
@-inf
(pow.f64 (*.f64 V (/.f64 l A)) -1/2)
140.0ms
f
@0
(*.f64 (/.f64 1 (/.f64 (PI.f64) 4)) (log.f64 (/.f64 2 (*.f64 (PI.f64) (*.f64 f 1/2)))))
135.0ms
f
@0
(/.f64 (PI.f64) (-.f64 (log.f64 (/.f64 (/.f64 2 (PI.f64)) 1/2)) (log.f64 f)))
127.0ms
f
@-inf
(-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 f) (/.f64 (PI.f64) -4)))

end35.0ms (0%)

Profiling

Loading profile data...