Herbie run

Date:Tuesday, June 27th, 2023
Commit:99c486fd on tutorial-update
Hostname:nightly with Racket 8.6
Seed:2023178
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

Details

Time bar (total: 4.9min)

sample1.3min (25.7%)

Results
38.8s269699×body256valid
16.9s14439×body2048valid
8.2s19570×body1024valid
5.5s30882×body256infinite
3.2s11033×body512valid
1.3s202×body8192exit
527.0ms750×body4096valid
333.0ms2841×body256invalid
233.0ms164×body1024infinite
129.0ms903×body256unsamplable
86.0ms195×body512infinite
18.0ms20×body2048infinite
Bogosity

localize42.1s (14.3%)

Compiler

Compiled 28090 to 15745 computations (43.9% saved)

soundness41.3s (14%)

Rules
182660×fma-def
114568×associate-*r*
96590×fma-neg
93924×associate-*l*
91690×log-prod
Stop Event
2×unsound
6×saturated
251×node limit
Compiler

Compiled 22305 to 13663 computations (38.7% saved)

eval36.1s (12.2%)

Compiler

Compiled 1795752 to 1103845 computations (38.5% saved)

simplify25.8s (8.7%)

Algorithm
207×egg-herbie
Rules
140086×fma-def
78998×associate-*r*
73722×fma-neg
70556×associate-*l*
65494×log-prod
Stop Event
1×unsound
13×done
58×saturated
29×fuel
148×node limit
Counts
46286 → 39614
Compiler

Compiled 7822 to 5111 computations (34.7% saved)

regimes17.2s (5.8%)

Counts
4214 → 550
Calls

94 calls:

1.4s
a
1.4s
x
1.3s
c
1.3s
b
1.1s
d
Compiler

Compiled 70377 to 43087 computations (38.8% saved)

prune15.6s (5.3%)

Counts
58927 → 2075
Compiler

Compiled 121603 to 82795 computations (31.9% saved)

rewrite14.4s (4.9%)

Algorithm
123×batch-egg-rewrite
Rules
87278×pow1
82604×add-exp-log
82564×log1p-expm1-u
82550×expm1-log1p-u
77342×add-log-exp
Stop Event
123×node limit
Counts
892 → 28446

bsearch9.2s (3.1%)

Algorithm
255×binary-search
31×left-value
Stop Event
248×narrow-enough
7×predicate-same
Results
3.9s21274×body256valid
2.1s6237×body256infinite
1.3s2853×body1024valid
544.0ms696×body2048valid
512.0ms1631×body512valid
250.0ms2637×body256invalid
89.0ms672×body256unsamplable
17.0ms10×body4096valid
10.0ms17×body1024infinite
6.0ms18×body512infinite
Compiler

Compiled 65928 to 47161 computations (28.5% saved)

analyze6.3s (2.2%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

end5.7s (1.9%)

Compiler

Compiled 17488 to 10264 computations (41.3% saved)

preprocess3.1s (1%)

Algorithm
84×egg-herbie
Rules
36052×fma-def
15902×distribute-lft-in
14450×distribute-rgt-in
13270×distribute-lft-neg-in
12830×sub-neg
Stop Event
6×unsound
53×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

series2.2s (0.7%)

Counts
892 → 17798
Calls

4749 calls:

TimeVariablePointExpression
37.0ms
x2
@inf
(+.f64 (fma.f64 (fma.f64 (*.f64 (*.f64 x1 2) (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (+.f64 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -3) (*.f64 (*.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) (fma.f64 x1 x1 1) (*.f64 (*.f64 x1 3) (*.f64 x1 (/.f64 (-.f64 (fma.f64 (*.f64 x1 3) x1 (*.f64 2 x2)) x1) (fma.f64 x1 x1 1))))) (*.f64 x1 (*.f64 x1 x1)))
35.0ms
b
@-inf
(log.f64 (*.f64 (/.f64 b a) 2))
33.0ms
t
@0
(-.f64 (pow.f64 t 3/2) 1)
32.0ms
x
@inf
(fma.f64 (/.f64 x -10) x 1/10)
32.0ms
x
@0
(log.f64 (*.f64 5 (*.f64 x x)))

Profiling

Loading profile data...