Herbie run

Date:Thursday, January 11th, 2024
Commit:0cc17b7d on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.6
Seed:2024011
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.1min)

localize16.7s (25.1%)

Compiler

Compiled 5964 to 3169 computations (46.9% saved)

sample16.6s (25%)

Results
12.9s63004×body256valid
1.6s4158×body1024valid
1.2s7142×body256infinite
662.0ms1921×body256invalid
Bogosity

eval9.6s (14.4%)

Compiler

Compiled 459546 to 293892 computations (36% saved)

soundness6.0s (9%)

Rules
25344×fma-def
17406×times-frac
13612×associate-*r*
10472×fma-neg
10444×*-commutative
Stop Event
2×saturated
29×node limit
Compiler

Compiled 2960 to 1766 computations (40.3% saved)

simplify3.9s (5.9%)

Algorithm
29×egg-herbie
Rules
16548×fma-def
10902×associate-*r*
10452×log-prod
10324×times-frac
8150×associate-*l*
Stop Event
10×saturated
4×done
5×fuel
19×node limit
Counts
7026 → 6125
Compiler

Compiled 1242 to 805 computations (35.2% saved)

prune3.3s (4.9%)

Counts
11460 → 283
Compiler

Compiled 22332 to 15019 computations (32.7% saved)

preprocess2.7s (4%)

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

Compiled 3484 to 1988 computations (42.9% saved)

rewrite2.5s (3.8%)

Algorithm
19×batch-egg-rewrite
Rules
10738×log1p-expm1-u
8499×expm1-log1p-u
8290×prod-diff
5722×log-prod
4938×unpow-prod-down
Stop Event
19×node limit
Counts
128 → 4637

regimes2.2s (3.3%)

Counts
440 → 81
Calls

26 calls:

391.0ms
c
369.0ms
b
291.0ms
a
267.0ms
x
172.0ms
y
Compiler

Compiled 9466 to 5561 computations (41.3% saved)

bsearch1.4s (2.1%)

Algorithm
39×binary-search
Stop Event
36×narrow-enough
3×predicate-same
Results
1.0s4339×body256valid
147.0ms557×body256infinite
99.0ms398×body256invalid
Compiler

Compiled 11764 to 8321 computations (29.3% saved)

series841.0ms (1.3%)

Counts
128 → 2389
Calls

765 calls:

TimeVariablePointExpression
43.0ms
f
@0
(*.f64 (/.f64 f n) (+.f64 1 (/.f64 f n)))
40.0ms
b
@inf
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
37.0ms
a
@0
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 -4 (*.f64 a c)))) 3)
12.0ms
c
@0
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 -4 (*.f64 a c)))) 3)
9.0ms
a
@inf
(+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (*.f64 (*.f64 -4 a) c)) 1/4) 2))

analyze802.0ms (1.2%)

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...