Herbie run

Date:Thursday, April 25th, 2024
Commit:8a894d72 on main
Hostname:nightly with Racket 8.11.1
Seed:2024116
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.5min)

sample58.7s (27.8%)

Results
11.1s109413×0valid
23.3s48494×1valid
9.1s16325×5exit
3.3s7213×2valid
709.0ms3809×0invalid
128.0ms1370×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 37.2s
backward-pass: 10.3s (27.8% of total)
ival-cos: 5.1s (13.6% of total)
ival-sqrt: 2.7s (7.3% of total)
ival-add: 2.7s (7.2% of total)
ival-mult: 2.7s (7.2% of total)
ival-pow: 2.3s (6.1% of total)
ival-log: 1.5s (4% of total)
ival-tan: 1.4s (3.8% of total)
ival-exp: 1.3s (3.4% of total)
ival-div: 1.2s (3.2% of total)
ival-fmod: 1.2s (3.1% of total)
ival-sin: 1.1s (3% of total)
ival-<=: 813.0ms (2.2% of total)
ival-sub: 721.0ms (1.9% of total)
ival-sinh: 664.0ms (1.8% of total)
ival-acos: 362.0ms (1% of total)
ival-neg: 357.0ms (1% of total)
const: 257.0ms (0.7% of total)
ival-==: 185.0ms (0.5% of total)
ival-and: 125.0ms (0.3% of total)
ival-<: 114.0ms (0.3% of total)
ival-atan: 58.0ms (0.2% of total)
ival-or: 52.0ms (0.1% of total)
ival->=: 45.0ms (0.1% of total)
ival->: 29.0ms (0.1% of total)
Bogosity

simplify29.8s (14.1%)

Algorithm
87×egg-herbie
Rules
19551×fma-define
18484×fma-neg
14869×associate-*r*
14595×times-frac
14478×*-commutative
Stop Event
23×saturated
55×node limit
9×unsound
Counts
31474 → 27917

soundness26.9s (12.8%)

Rules
16762×log1p-expm1-u
15913×fma-define
13264×associate-*r*
12513×fma-neg
12490×expm1-log1p-u
Stop Event
6×saturated
63×node limit
12×fuel
3×unsound
8×done
Compiler

Compiled 11377 to 3139 computations (72.4% saved)

rewrite25.0s (11.8%)

Algorithm
67×batch-egg-rewrite
Rules
34713×log1p-expm1-u
27482×expm1-log1p-u
16019×pow1
15257×add-exp-log
14993×add-log-exp
Stop Event
67×node limit
Counts
626 → 20878

localize23.1s (10.9%)

Algorithm
70×egg-herbie
Rules
32166×fma-define
19654×fma-neg
12683×unsub-neg
9923×sub-neg
8791×distribute-lft-in
Stop Event
45×saturated
25×node limit
Results
2.8s11162×0valid
4.6s4504×1valid
2.7s1478×2valid
2.0s300×5exit
50.0ms181×0unsamplable
136.0ms156×1invalid
60.0ms139×0invalid
Compiler

Compiled 8865 to 1317 computations (85.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0s
ival-cos: 1.4s (18% of total)
backward-pass: 1.0s (12.6% of total)
ival-mult: 928.0ms (11.6% of total)
ival-div: 777.0ms (9.7% of total)
ival-log: 742.0ms (9.2% of total)
ival-pow: 672.0ms (8.4% of total)
ival-sin: 343.0ms (4.3% of total)
ival-add: 337.0ms (4.2% of total)
ival-exp: 326.0ms (4.1% of total)
ival-fmod: 281.0ms (3.5% of total)
ival-tan: 242.0ms (3% of total)
ival-sqrt: 240.0ms (3% of total)
ival-sub: 204.0ms (2.5% of total)
ival-fma: 95.0ms (1.2% of total)
ival-acos: 72.0ms (0.9% of total)
ival-neg: 60.0ms (0.7% of total)
const: 53.0ms (0.7% of total)
ival-asin: 48.0ms (0.6% of total)
ival-sinh: 46.0ms (0.6% of total)
ival-cbrt: 42.0ms (0.5% of total)
ival-hypot: 40.0ms (0.5% of total)
ival-expm1: 7.0ms (0.1% of total)
ival-log1p: 6.0ms (0.1% of total)
ival-pi: 5.0ms (0.1% of total)
ival-fabs: 4.0ms (0% of total)
ival-atan: 2.0ms (0% of total)

eval11.8s (5.6%)

Compiler

Compiled 1028893 to 157822 computations (84.7% saved)

prune10.8s (5.1%)

Counts
46686 → 1937
Compiler

Compiled 69719 to 37403 computations (46.4% saved)

regimes9.1s (4.3%)

Counts
3871 → 165
Calls

53 calls:

991.0ms
a
969.0ms
r
646.0ms
x
624.0ms
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
589.0ms
b
Compiler

Compiled 1678 to 1195 computations (28.8% saved)

series4.3s (2%)

Counts
626 → 10596
Calls

2628 calls:

TimeVariablePointExpression
244.0ms
a
@inf
(/ (* r (+ b (* -1/6 (pow b 3)))) (cos (+ b a)))
153.0ms
l
@0
(cbrt l)
126.0ms
x
@-inf
(log (sqrt (exp (acos (- 1 x)))))
97.0ms
r
@-inf
(log (/ (* r (sin b)) (cos (- b a))))
90.0ms
x
@inf
(log (pow (cbrt (exp (cos x))) 2))

preprocess3.7s (1.7%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 6142 to 3204 computations (47.8% saved)

analyze3.6s (1.7%)

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.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-<=: 362.0ms (24.7% of total)
ival-mult: 205.0ms (14% of total)
ival-tan: 122.0ms (8.3% of total)
ival-pow: 114.0ms (7.8% of total)
ival-add: 98.0ms (6.7% of total)
ival-sin: 75.0ms (5.1% of total)
ival-cos: 66.0ms (4.5% of total)
ival-exp: 55.0ms (3.8% of total)
ival-div: 51.0ms (3.5% of total)
ival-and: 49.0ms (3.3% of total)
ival-fmod: 45.0ms (3.1% of total)
ival-sub: 38.0ms (2.6% of total)
ival-==: 37.0ms (2.5% of total)
const: 35.0ms (2.4% of total)
ival-or: 23.0ms (1.6% of total)
ival-sqrt: 23.0ms (1.6% of total)
ival-log: 20.0ms (1.4% of total)
ival-neg: 17.0ms (1.2% of total)
ival-sinh: 11.0ms (0.8% of total)
backward-pass: 8.0ms (0.5% of total)
ival-<: 5.0ms (0.3% of total)
ival->: 3.0ms (0.2% of total)
ival-atan: 1.0ms (0.1% of total)
ival->=: 1.0ms (0.1% of total)
ival-acos: 0.0ms (0% of total)

explain2.7s (1.3%)

Results
600.0ms6660×0valid
776.0ms3012×1valid
225.0ms478×2valid
433.0ms90×5exit
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-cos: 442.0ms (33% of total)
ival-log: 125.0ms (9.3% of total)
ival-sqrt: 111.0ms (8.3% of total)
ival-sin: 109.0ms (8.1% of total)
ival-mult: 105.0ms (7.8% of total)
backward-pass: 72.0ms (5.4% of total)
ival-div: 57.0ms (4.3% of total)
ival-tan: 50.0ms (3.7% of total)
ival-sub: 46.0ms (3.4% of total)
ival-pow: 42.0ms (3.1% of total)
ival-exp: 41.0ms (3.1% of total)
ival-add: 41.0ms (3.1% of total)
ival-fmod: 39.0ms (2.9% of total)
ival-acos: 20.0ms (1.5% of total)
ival-sinh: 16.0ms (1.2% of total)
const: 12.0ms (0.9% of total)
ival-neg: 7.0ms (0.5% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch1.9s (0.9%)

Algorithm
44×binary-search
8×left-value
Stop Event
44×narrow-enough
Results
529.0ms3094×0valid
744.0ms2794×1valid
177.0ms288×2valid
Compiler

Compiled 8554 to 6220 computations (27.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 941.0ms
ival-sin: 196.0ms (20.8% of total)
ival-cos: 169.0ms (18% of total)
ival-exp: 127.0ms (13.5% of total)
ival-tan: 116.0ms (12.3% of total)
ival-mult: 71.0ms (7.5% of total)
ival-add: 66.0ms (7% of total)
backward-pass: 53.0ms (5.6% of total)
ival-div: 37.0ms (3.9% of total)
ival-pow: 31.0ms (3.3% of total)
ival-sub: 23.0ms (2.4% of total)
ival-fmod: 21.0ms (2.2% of total)
ival-sqrt: 8.0ms (0.8% of total)
ival-acos: 8.0ms (0.8% of total)
ival-neg: 8.0ms (0.8% of total)
const: 6.0ms (0.6% of total)

end0.0ms (0%)

Profiling

Loading profile data...