Herbie run

Date:Thursday, February 1st, 2024
Commit:93f5a71d on minor-egg-herbie-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024032
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: 1.2min)

localize15.4s (21.3%)

Compiler

Compiled 6184 to 3260 computations (47.3% saved)

sample13.2s (18.3%)

Results
9.6s62966×256valid
1.1s7198×256infinite
2.2s4140×2048valid
318.0ms1786×256invalid
Bogosity

eval11.7s (16.1%)

Compiler

Compiled 537589 to 349391 computations (35% saved)

soundness10.1s (14%)

Rules
29570×fma-def
19456×associate-*r*
18344×log-prod
17526×fma-neg
15966×times-frac
Stop Event
2×saturated
41×node limit
Compiler

Compiled 4369 to 2741 computations (37.3% saved)

simplify5.1s (7%)

Algorithm
30×egg-herbie
Rules
19940×fma-def
10070×log-prod
10032×associate-*r*
9648×times-frac
9308×distribute-lft-in
Stop Event
8×saturated
3×fuel
22×node limit
6×done
Counts
7036 → 6591
Compiler

Compiled 1310 to 894 computations (31.8% saved)

rewrite4.7s (6.5%)

Algorithm
21×batch-egg-rewrite
Rules
12144×log1p-expm1-u
8224×expm1-udef
7969×expm1-log1p-u
6476×log1p-udef
5778×prod-diff
Stop Event
21×node limit
Counts
132 → 4341

preprocess4.1s (5.6%)

Algorithm
9×egg-herbie
Rules
7114×fma-def
5092×div-sub
4546×fma-neg
3738×times-frac
3230×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4324 to 2601 computations (39.8% saved)

prune3.2s (4.5%)

Counts
13795 → 298
Compiler

Compiled 16591 to 11172 computations (32.7% saved)

regimes2.2s (3.1%)

Counts
572 → 95
Calls

26 calls:

446.0ms
b
337.0ms
c
270.0ms
x
249.0ms
a
191.0ms
y
Compiler

Compiled 600 to 419 computations (30.2% saved)

bsearch1.0s (1.4%)

Algorithm
47×binary-search
Stop Event
8×predicate-same
39×narrow-enough
Results
827.0ms4952×256valid
116.0ms760×256infinite
20.0ms129×256invalid
Compiler

Compiled 10214 to 7446 computations (27.1% saved)

series978.0ms (1.4%)

Counts
132 → 2695
Calls

807 calls:

TimeVariablePointExpression
71.0ms
a
@inf
(+.f64 b (pow.f64 (pow.f64 (fma.f64 c (*.f64 a -4) (pow.f64 b 2)) 1/4) 2))
70.0ms
c
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a)))))
37.0ms
c
@inf
(+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))
33.0ms
a
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a)))))
32.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)

analyze622.0ms (0.9%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

end1.0ms (0%)

Profiling

Loading profile data...