Herbie run

Date:Tuesday, November 14th, 2023
Commit:fed13c1a on cleanup-reprs
Hostname:nightly with Racket 8.6
Seed:2023318
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: 3.3min)

sample51.4s (26.3%)

Results
13.3s109610×body256valid
13.0s12826×body8192exit
12.4s29642×body1024valid
5.0s5855×body2048valid
4.1s15021×body512valid
1.6s4080×body1024invalid
644.0ms4680×body256infinite
402.0ms1999×body512invalid
279.0ms2439×body256invalid
190.0ms1177×body256unsamplable
60.0ms152×body1024infinite
44.0ms160×body512infinite
3.0ms5×body2048invalid
2.0ms1×body8192invalid
Bogosity

localize28.0s (14.3%)

Compiler

Compiled 8932 to 4518 computations (49.4% saved)

soundness24.0s (12.3%)

Rules
56410×fma-def
38336×log-prod
37878×log1p-expm1-u
35592×associate-*r*
29322×prod-diff
Stop Event
6×saturated
5×unsound
110×node limit
Compiler

Compiled 11202 to 6278 computations (44% saved)

eval21.9s (11.2%)

Compiler

Compiled 1151053 to 680181 computations (40.9% saved)

simplify13.8s (7.1%)

Algorithm
80×egg-herbie
Rules
42700×fma-def
35682×log-prod
26314×fma-neg
24368×associate-*r*
23956×distribute-lft-in
Stop Event
2×done
4×unsound
20×saturated
18×fuel
56×node limit
Counts
26525 → 20089
Compiler

Compiled 1931 to 1319 computations (31.7% saved)

regimes12.8s (6.6%)

Counts
3625 → 154
Calls

53 calls:

1.9s
a
1.6s
b
1.3s
x
1.2s
r
731.0ms
(tan.f64 a)
Compiler

Compiled 44403 to 22398 computations (49.6% saved)

analyze11.5s (5.9%)

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)

rewrite10.6s (5.4%)

Algorithm
60×batch-egg-rewrite
Rules
31631×log1p-expm1-u
26669×expm1-log1p-u
24882×log-prod
17714×expm1-udef
17506×prod-diff
Stop Event
1×unsound
59×node limit
Counts
467 → 18219

prune10.5s (5.4%)

Counts
41293 → 1602
Compiler

Compiled 84672 to 58834 computations (30.5% saved)

preprocess5.7s (2.9%)

Algorithm
20×egg-herbie
Rules
23976×fma-def
6946×fma-neg
6348×distribute-lft-neg-in
5222×div-sub
4908×distribute-rgt-neg-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 5482 to 3074 computations (43.9% saved)

series3.5s (1.8%)

Counts
467 → 8306
Calls

2187 calls:

TimeVariablePointExpression
328.0ms
r
@-inf
(log.f64 (*.f64 (sin.f64 b) (/.f64 r (cos.f64 (+.f64 b a)))))
290.0ms
a
@inf
(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
150.0ms
a
@inf
(/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))
82.0ms
x
@0
(*.f64 (pow.f64 2 1/8) (*.f64 (pow.f64 2 1/4) x))
65.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)

bsearch1.6s (0.8%)

Algorithm
34×binary-search
7×left-value
Stop Event
34×narrow-enough
Results
759.0ms987×body1024valid
569.0ms2649×body256valid
157.0ms526×body512valid
57.0ms84×body2048valid
12.0ms74×body256infinite
Compiler

Compiled 6956 to 4949 computations (28.9% saved)

end2.0ms (0%)

Profiling

Loading profile data...