Herbie run

Date:Tuesday, October 24th, 2023
Commit:21d611eb on main
Hostname:nightly with Racket 8.6
Seed:2023297
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: 2.8min)

sample48.2s (29.1%)

Results
12.8s29722×body1024valid
12.5s109467×body256valid
11.4s12808×body8192exit
4.6s5831×body2048valid
3.6s15041×body512valid
1.3s3956×body1024invalid
659.0ms4718×body256infinite
399.0ms2014×body512invalid
246.0ms2466×body256invalid
148.0ms1239×body256unsamplable
65.0ms166×body1024infinite
50.0ms175×body512infinite
7.0ms5×body4096invalid
1.0ms2×body2048invalid
Bogosity

localize25.4s (15.3%)

Compiler

Compiled 8419 to 3595 computations (57.3% saved)

soundness22.2s (13.4%)

Rules
74672×fma-def
60036×log-prod
59726×pow1
56188×add-exp-log
56100×log1p-expm1-u
Stop Event
5×saturated
3×unsound
142×node limit
Compiler

Compiled 11583 to 6560 computations (43.4% saved)

eval14.1s (8.5%)

Compiler

Compiled 723596 to 359715 computations (50.3% saved)

simplify12.0s (7.2%)

Algorithm
86×egg-herbie
Rules
51372×fma-def
35278×log-prod
32042×associate-*r*
29728×associate-*l*
26558×times-frac
Stop Event
5×done
4×unsound
20×saturated
15×fuel
62×node limit
Counts
25544 → 19473
Compiler

Compiled 2007 to 1256 computations (37.4% saved)

regimes10.8s (6.5%)

Counts
3556 → 163
Calls

53 calls:

1.5s
x
1.3s
a
1.1s
b
1.1s
r
574.0ms
(tan.f64 a)
Compiler

Compiled 44061 to 19967 computations (54.7% saved)

analyze8.8s (5.3%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
47.5%35%38.7%26.3%0%0%0%2
56%41.2%32.5%26.3%0%0%0%3
65.3%48.1%25.6%26.3%0%0%0%4
68.7%50%22.8%26.3%0%0.9%0%5
70.3%50.9%21.5%26.3%0%1.1%0.2%6
74.5%53.6%18.3%26.3%0%1.6%0.2%7
75.5%54.1%17.6%26.3%0%1.8%0.2%8
77.7%55.5%15.9%26.3%0%2%0.2%9
79.1%56.4%14.9%26.3%0%2.2%0.3%10
79.8%56.8%14.3%26.3%0%2.3%0.3%11
80.5%57.2%13.8%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

prune8.8s (5.3%)

Counts
31998 → 1824
Compiler

Compiled 96433 to 62803 computations (34.9% saved)

rewrite7.0s (4.2%)

Algorithm
66×batch-egg-rewrite
Rules
49512×pow1
46508×add-exp-log
46432×log1p-expm1-u
46420×expm1-log1p-u
45950×add-log-exp
Stop Event
66×node limit
Counts
493 → 16478

preprocess4.3s (2.6%)

Algorithm
20×egg-herbie
Rules
18794×fma-def
9552×fma-neg
5312×distribute-lft-neg-in
4910×sub-neg
4300×distribute-rgt-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 5386 to 2734 computations (49.2% saved)

series2.5s (1.5%)

Counts
493 → 9066
Calls

2487 calls:

TimeVariablePointExpression
72.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
64.0ms
x
@0
(log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (fma.f64 x (*.f64 x -1/4) 1)))))
60.0ms
r
@-inf
(log.f64 (fabs.f64 (*.f64 r (sin.f64 b))))
55.0ms
w
@-inf
(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
50.0ms
b
@-inf
(log.f64 (sqrt.f64 (exp.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))

bsearch1.7s (1%)

Algorithm
37×binary-search
18×left-value
Stop Event
36×narrow-enough
1×predicate-same
Results
781.0ms3139×body256valid
513.0ms696×body1024valid
208.0ms602×body512valid
53.0ms77×body2048valid
39.0ms245×body256infinite
18.0ms72×body512infinite
5.0ms33×body256unsamplable
0.0ms1×body1024infinite
Compiler

Compiled 8329 to 5863 computations (29.6% saved)

end1.0ms (0%)

Profiling

Loading profile data...