Herbie run

Date:Saturday, November 4th, 2023
Commit:14fe7950 on main
Hostname:nightly with Racket 8.6
Seed:2023308
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.0min)

sample50.7s (28.1%)

Results
13.3s109471×body256valid
12.7s29903×body1024valid
12.5s12890×body8192exit
4.8s5851×body2048valid
3.9s14842×body512valid
1.5s4076×body1024invalid
630.0ms4762×body256infinite
436.0ms2053×body512invalid
243.0ms2452×body256invalid
192.0ms1156×body256unsamplable
54.0ms141×body1024infinite
43.0ms150×body512infinite
1.0ms1×body4096invalid
Bogosity

localize28.7s (15.9%)

Compiler

Compiled 7672 to 3695 computations (51.8% saved)

eval18.6s (10.3%)

Compiler

Compiled 764749 to 436977 computations (42.9% saved)

soundness18.4s (10.2%)

Rules
45660×fma-def
31392×log-prod
30238×fma-neg
27406×associate-*r*
25882×log1p-expm1-u
Stop Event
5×saturated
2×unsound
86×node limit
Compiler

Compiled 6994 to 3625 computations (48.2% saved)

simplify13.7s (7.6%)

Algorithm
81×egg-herbie
Rules
46220×fma-def
38240×log-prod
28086×associate-*r*
26174×associate-*l*
24784×fma-neg
Stop Event
4×unsound
5×done
20×saturated
15×fuel
57×node limit
Counts
25493 → 20860
Compiler

Compiled 1402 to 962 computations (31.4% saved)

regimes12.4s (6.9%)

Counts
3309 → 135
Calls

53 calls:

1.7s
a
1.7s
b
1.2s
r
970.0ms
x
701.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
Compiler

Compiled 37097 to 16652 computations (55.1% saved)

analyze10.5s (5.8%)

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)

prune9.1s (5%)

Counts
33360 → 1568
Compiler

Compiled 83464 to 55904 computations (33% saved)

rewrite9.0s (5%)

Algorithm
61×batch-egg-rewrite
Rules
33047×log1p-expm1-u
26703×expm1-log1p-u
20286×expm1-udef
20154×log-prod
20084×unpow-prod-down
Stop Event
61×node limit
Counts
483 → 17561

preprocess4.7s (2.6%)

Algorithm
20×egg-herbie
Rules
18794×fma-def
9572×fma-neg
5330×distribute-lft-neg-in
5272×sub-neg
4292×distribute-rgt-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 4218 to 2292 computations (45.7% saved)

series3.2s (1.8%)

Counts
483 → 7932
Calls

2187 calls:

TimeVariablePointExpression
115.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
101.0ms
a
@inf
(log.f64 (-.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (-.f64 (tan.f64 a) x)))
83.0ms
r
@inf
(log.f64 (/.f64 1 (pow.f64 (exp.f64 r) (sin.f64 b))))
80.0ms
x
@0
(*.f64 (pow.f64 x 3/2) -1/6)
76.0ms
x
@-inf
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (-.f64 1 x)))))

bsearch1.4s (0.8%)

Algorithm
29×binary-search
7×left-value
Stop Event
29×narrow-enough
Results
606.0ms2530×body256valid
299.0ms710×body1024valid
222.0ms346×body512valid
148.0ms139×body2048valid
4.0ms19×body256infinite
Compiler

Compiled 4829 to 3685 computations (23.7% saved)

end1.0ms (0%)

Profiling

Loading profile data...