Herbie run

Date:Saturday, January 6th, 2024
Commit:b16ab614 on platforms
Hostname:nightly with Racket 8.6
Seed:2024006
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.5min)

sample1.4min (25.8%)

Results
29.8s33310×body2048valid
24.1s57789×body1024valid
13.6s94236×body256valid
8.8s33494×body512valid
4.2s20344×body256precondition
1.2s2154×body4096valid
928.0ms1174×body1024invalid
810.0ms4207×body256infinite
671.0ms5272×body256invalid
504.0ms4032×body256unsamplable
271.0ms591×body512invalid
159.0ms182×body512infinite
127.0ms148×body1024infinite
4.0ms4×body2048invalid
1.0ms1×body8192valid
Bogosity

localize47.9s (14.4%)

Compiler

Compiled 16105 to 8987 computations (44.2% saved)

eval47.4s (14.3%)

Compiler

Compiled 2092906 to 1333542 computations (36.3% saved)

soundness47.3s (14.2%)

Rules
49084×*-commutative
47063×associate-/r*
45249×associate-*r/
44186×+-commutative
40380×associate-*r*
Stop Event
2×saturated
1×unsound
185×node limit
Compiler

Compiled 18454 to 11595 computations (37.2% saved)

simplify26.4s (7.9%)

Algorithm
121×egg-herbie
Rules
32495×associate-*r*
31796×+-commutative
30751×associate-*l*
30409×*-commutative
27851×associate-/l*
Stop Event
4×done
28×saturated
23×fuel
93×node limit
Counts
44178 → 44264
Compiler

Compiled 4647 to 3220 computations (30.7% saved)

rewrite20.7s (6.2%)

Algorithm
94×batch-egg-rewrite
Rules
20689×*-un-lft-identity
17044×associate-*r/
16979×associate-*r*
16705×associate-*l/
16619×*-commutative
Stop Event
2×unsound
92×node limit
Counts
751 → 34104

prune19.9s (6%)

Counts
73007 → 2202
Compiler

Compiled 118134 to 82345 computations (30.3% saved)

regimes13.9s (4.2%)

Counts
4362 → 383
Calls

42 calls:

3.4s
x
1.9s
eps
1.5s
(/.f64 1 n)
1.2s
a
903.0ms
c
Compiler

Compiled 49740 to 28775 computations (42.1% saved)

preprocess10.2s (3.1%)

Algorithm
27×egg-herbie
Rules
8115×fma-def
5702×*-commutative
5297×distribute-lft-in
5133×associate-/r*
5046×+-commutative
Stop Event
13×saturated
14×node limit
Compiler

Compiled 12876 to 7874 computations (38.8% saved)

series6.8s (2.1%)

Counts
751 → 10074
Calls

3300 calls:

TimeVariablePointExpression
573.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
264.0ms
a
@inf
(exp.f64 (+.f64 (log.f64 (/.f64 -1 a)) (neg.f64 (log.f64 (/.f64 -1 b)))))
146.0ms
c
@0
(sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))
142.0ms
a
@0
(exp.f64 (+.f64 (log.f64 (/.f64 -1 a)) (neg.f64 (log.f64 (/.f64 -1 b)))))
140.0ms
N
@-inf
(*.f64 (pow.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))) 1/4) (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))

bsearch3.2s (1%)

Algorithm
104×binary-search
88×left-value
Stop Event
101×narrow-enough
3×predicate-same
Results
1.2s9237×body256valid
876.0ms1926×body1024valid
429.0ms1444×body512valid
210.0ms312×body2048valid
135.0ms1215×body256invalid
89.0ms479×body256infinite
10.0ms18×body512infinite
7.0ms8×body1024infinite
4.0ms25×body256unsamplable
Compiler

Compiled 22325 to 16515 computations (26% saved)

analyze2.4s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%83%17%0%0%0%0
25.8%21.4%61.5%17%0%0%0%1
37.6%29.9%49.5%17%0%3.6%0%2
50%39.2%39.3%17%0%4.5%0%3
57.1%44.5%33.5%17.2%0%4.9%0%4
63.5%49%28.2%17.2%0%5.6%0%5
65.6%50.2%26.3%17.5%0%5.9%0%6
68.5%51.5%23.7%17.9%0%6.7%0.1%7
70.8%53%21.9%18.1%0%6.9%0.1%8
72.4%53.7%20.5%18.2%0%7.3%0.3%9
73.8%54.1%19.2%18.4%0%7.9%0.3%10
75.5%55.1%17.9%18.5%0%8.1%0.4%11
76.4%55.4%17.2%18.6%0%8.5%0.4%12
Compiler

Compiled 408 to 294 computations (27.9% saved)

end9.0ms (0%)

Profiling

Loading profile data...