Herbie run

Date:Wednesday, January 10th, 2024
Commit:169df4f4 on fix-rewrite-once
Hostname:nightly with Racket 8.6
Seed:2024010
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: 5.3min)

sample1.7min (32.5%)

Results
34.0s33154×body2048valid
24.4s53577×body1024valid
15.4s96858×body256valid
13.1s62340×body256precondition
11.4s41056×body512valid
1.3s1857×body4096valid
968.0ms1121×body1024invalid
817.0ms4326×body256infinite
646.0ms5029×body256invalid
558.0ms3861×body256unsamplable
242.0ms597×body512invalid
145.0ms151×body1024infinite
100.0ms189×body512infinite
Bogosity

soundness46.8s (14.7%)

Rules
120542×associate-*r*
110564×+-commutative
106730×*-commutative
98642×associate-*l*
98478×associate-/r*
Stop Event
2×unsound
3×saturated
226×node limit
Compiler

Compiled 23882 to 14623 computations (38.8% saved)

localize39.0s (12.2%)

Compiler

Compiled 12880 to 7011 computations (45.6% saved)

eval37.1s (11.6%)

Compiler

Compiled 1699913 to 1045454 computations (38.5% saved)

simplify23.1s (7.2%)

Algorithm
121×egg-herbie
Rules
63258×+-commutative
58350×associate-/l*
57404×associate-*r*
56370×*-commutative
54898×associate-/r*
Stop Event
6×done
1×unsound
28×saturated
22×fuel
92×node limit
Counts
44546 → 45672
Compiler

Compiled 4725 to 3225 computations (31.7% saved)

prune16.9s (5.3%)

Counts
68196 → 2265
Compiler

Compiled 116460 to 80937 computations (30.5% saved)

regimes15.9s (5%)

Counts
5627 → 397
Calls

43 calls:

3.6s
eps
3.5s
x
989.0ms
c
984.0ms
a
858.0ms
b_2
Compiler

Compiled 64941 to 36784 computations (43.4% saved)

rewrite15.1s (4.7%)

Algorithm
93×batch-egg-rewrite
Rules
31510×*-commutative
30296×associate-/r*
30244×associate-*r/
29346×associate-*r*
29144×associate-*l/
Stop Event
1×unsound
92×node limit
Counts
735 → 34728

preprocess9.8s (3.1%)

Algorithm
28×egg-herbie
Rules
16416×fma-def
12208×*-commutative
11378×associate-/r*
10868×distribute-lft-in
10384×+-commutative
Stop Event
13×saturated
15×node limit
Compiler

Compiled 13294 to 8027 computations (39.6% saved)

bsearch5.1s (1.6%)

Algorithm
152×binary-search
36×left-value
Stop Event
148×narrow-enough
4×predicate-same
Results
1.9s13182×body256valid
1.4s3416×body512valid
570.0ms733×body2048valid
469.0ms1112×body1024valid
213.0ms1247×body256invalid
137.0ms505×body256infinite
20.0ms22×body1024infinite
13.0ms70×body256unsamplable
10.0ms5×body4096valid
0.0ms1×body512infinite
Compiler

Compiled 32936 to 24172 computations (26.6% saved)

series4.0s (1.3%)

Counts
735 → 9818
Calls

3219 calls:

TimeVariablePointExpression
427.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
95.0ms
x
@inf
(log1p.f64 (neg.f64 (cos.f64 x)))
70.0ms
a
@0
(-.f64 (sqrt.f64 (*.f64 (neg.f64 a) c)) b_2)
58.0ms
b_2
@-inf
(log.f64 (*.f64 -1/2 (/.f64 a (/.f64 b_2 c))))
43.0ms
a
@inf
(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (*.f64 a (*.f64 c -4)) 3/2) 1/3)) (*.f64 2 a))

analyze2.6s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%83%17%0%0%0%0
26.9%22.3%60.7%17%0%0%0%1
40.4%32.1%47.3%17%0%3.6%0%2
51.4%40.3%38.2%17%0%4.5%0%3
58.2%45.4%32.6%17.2%0%4.9%0%4
64.1%49.5%27.7%17.2%0%5.6%0%5
66.1%50.6%25.9%17.5%0%5.9%0%6
68.8%51.8%23.5%17.9%0%6.7%0.1%7
71%53.1%21.7%18.1%0%6.9%0.1%8
72.6%53.8%20.3%18.2%0%7.3%0.3%9
74%54.3%19.1%18.4%0%7.9%0.3%10
75.7%55.2%17.8%18.5%0%8.1%0.4%11
76.5%55.5%17.1%18.6%0%8.5%0.4%12
Compiler

Compiled 408 to 294 computations (27.9% saved)

end4.0ms (0%)

Profiling

Loading profile data...