Herbie run

Date:Thursday, February 8th, 2024
Commit:b35bd1f1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024039
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.6min)

sample1.0min (27.9%)

Results
16.6s116148×256valid
10.2s23292×512valid
21.4s17376×8192exit
6.4s15962×1024valid
662.0ms4943×256infinite
4.2s4775×2048valid
507.0ms3921×256invalid
147.0ms1173×256unsamplable
Bogosity

soundness28.5s (13.2%)

Rules
54244×fma-define
42552×fma-neg
37996×log-prod
37820×times-frac
36754×log1p-expm1-u
Stop Event
5×saturated
105×node limit
4×unsound
Compiler

Compiled 10655 to 5494 computations (48.4% saved)

localize25.6s (11.8%)

Compiler

Compiled 8428 to 3978 computations (52.8% saved)

eval19.8s (9.2%)

Compiler

Compiled 926480 to 496224 computations (46.4% saved)

simplify17.3s (8%)

Algorithm
85×egg-herbie
Rules
41376×fma-define
40894×log-prod
37362×fma-neg
30320×associate-*r*
25988×times-frac
Stop Event
20×saturated
59×node limit
12×fuel
6×unsound
8×done
Counts
24979 → 21270
Compiler

Compiled 1676 to 1126 computations (32.8% saved)

regimes14.7s (6.8%)

Counts
3831 → 133
Calls

55 calls:

1.7s
x
1.7s
a
979.0ms
y
936.0ms
b
906.0ms
(*.f64 2 (pow.f64 x 2))
Compiler

Compiled 1866 to 1313 computations (29.6% saved)

analyze13.1s (6.1%)

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
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71%51.1%20.8%26.3%0%1.6%0.2%7
72%51.6%20.1%26.3%0%1.8%0.2%8
74.2%53%18.4%26.3%0%2%0.2%9
75.6%53.9%17.4%26.3%0%2.1%0.3%10
76.3%54.3%16.8%26.3%0%2.3%0.3%11
77%54.8%16.3%26.3%0%2.3%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

rewrite12.8s (5.9%)

Algorithm
65×batch-egg-rewrite
Rules
39866×log1p-expm1-u
30640×expm1-log1p-u
27454×unpow-prod-down
23438×log-prod
19218×prod-diff
Stop Event
65×node limit
Counts
458 → 17024

prune9.9s (4.6%)

Counts
39309 → 1702
Compiler

Compiled 59912 to 38197 computations (36.2% saved)

preprocess8.2s (3.8%)

Algorithm
20×egg-herbie
Rules
15490×fma-neg
13456×fma-define
6058×distribute-lft-neg-in
5264×distribute-rgt-neg-in
4554×distribute-lft-in
Stop Event
13×saturated
7×node limit
Compiler

Compiled 8669 to 5042 computations (41.8% saved)

series5.0s (2.3%)

Counts
458 → 7955
Calls

1965 calls:

TimeVariablePointExpression
225.0ms
s
@inf
(*.f64 (*.f64 c (*.f64 x s)) (*.f64 c (*.f64 x s)))
141.0ms
l
@-inf
(pow.f64 (cbrt.f64 (sqrt.f64 l)) (*.f64 (exp.f64 w) 2))
138.0ms
x
@-inf
(/.f64 (/.f64 (cos.f64 (*.f64 x 2)) (*.f64 x (*.f64 (*.f64 c x) s))) (*.f64 c s))
138.0ms
s
@inf
(/.f64 (/.f64 1 (pow.f64 s 2)) (*.f64 c x))
136.0ms
r
@0
(*.f64 r (/.f64 (*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (sin.f64 b))))) (cos.f64 b)))

bsearch808.0ms (0.4%)

Algorithm
4×left-value
23×binary-search
Stop Event
22×narrow-enough
1×predicate-failed
Results
359.0ms1448×256valid
376.0ms926×512valid
15.0ms106×256infinite
15.0ms101×256invalid
Compiler

Compiled 4264 to 2977 computations (30.2% saved)

end2.0ms (0%)

Profiling

Loading profile data...