Herbie run

Date:Thursday, January 18th, 2024
Commit:24741fd0 on main
Hostname:nightly with Racket 8.6
Seed:2024018
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)

localize15.5s (23.7%)

Compiler

Compiled 6430 to 3220 computations (49.9% saved)

sample13.6s (20.9%)

Results
9.9s62942×body256valid
1.7s4202×body2048valid
1.1s7160×body256infinite
638.0ms1852×body256invalid
Bogosity

eval10.1s (15.5%)

Compiler

Compiled 532247 to 329507 computations (38.1% saved)

soundness6.3s (9.6%)

Rules
20346×fma-def
15978×associate-*r*
13220×associate-*l*
13206×log-prod
13106×times-frac
Stop Event
2×saturated
29×node limit
Compiler

Compiled 2473 to 1449 computations (41.4% saved)

simplify4.5s (6.9%)

Algorithm
30×egg-herbie
Rules
15538×fma-def
11960×log-prod
11056×associate-*r*
10186×times-frac
9554×fma-neg
Stop Event
9×saturated
4×done
5×fuel
21×node limit
Counts
7613 → 6625
Compiler

Compiled 1229 to 789 computations (35.8% saved)

rewrite4.0s (6.2%)

Algorithm
21×batch-egg-rewrite
Rules
12579×log1p-expm1-u
9498×expm1-log1p-u
5444×prod-diff
5118×fma-def
5072×add-exp-log
Stop Event
21×node limit
Counts
132 → 4621

prune4.0s (6.1%)

Counts
13781 → 315
Compiler

Compiled 28280 to 18874 computations (33.3% saved)

preprocess2.8s (4.3%)

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 3506 to 1996 computations (43.1% saved)

regimes2.2s (3.3%)

Counts
470 → 79
Calls

26 calls:

456.0ms
a
396.0ms
b
355.0ms
c
117.0ms
(/.f64 1 x)
106.0ms
x
Compiler

Compiled 10347 to 6032 computations (41.7% saved)

bsearch834.0ms (1.3%)

Algorithm
37×binary-search
Stop Event
33×narrow-enough
4×predicate-same
Results
648.0ms4160×body256valid
79.0ms466×body256invalid
35.0ms288×body256infinite
Compiler

Compiled 11237 to 7942 computations (29.3% saved)

series738.0ms (1.1%)

Counts
132 → 2992
Calls

924 calls:

TimeVariablePointExpression
91.0ms
f
@-inf
(/.f64 1 (-.f64 n f))
33.0ms
a
@0
(pow.f64 (*.f64 a (*.f64 -4 c)) 1/4)
24.0ms
c
@0
(pow.f64 (*.f64 a (*.f64 -4 c)) 1/4)
20.0ms
b
@0
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) c)
12.0ms
c
@-inf
(pow.f64 (*.f64 a (*.f64 -4 c)) 1/4)

analyze670.0ms (1%)

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