Herbie run

Date:Friday, April 19th, 2024
Commit:a62871db on main
Hostname:nightly with Racket 8.11.1
Seed:2024110
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: 7.0min)

sample2.9min (42.2%)

Results
29.3s141536×0precondition
32.6s116167×1valid
8.0s64946×0valid
42.9s48051×2valid
35.6s7168×5exit
373.0ms4352×0invalid
541.0ms4289×0unsamplable
2.2s2004×3valid
Precisions
Click to see histograms. Total time spent on operations: 2.2min
ival-pow: 33.2s (25.6% of total)
ival-exp: 12.8s (9.9% of total)
ival-tan: 12.2s (9.4% of total)
ival-mult: 10.2s (7.9% of total)
backward-pass: 9.4s (7.3% of total)
ival-sub: 8.0s (6.1% of total)
ival-log: 6.6s (5.1% of total)
ival-div: 6.5s (5% of total)
ival-add: 5.0s (3.8% of total)
ival-<=: 4.7s (3.7% of total)
ival-cos: 4.7s (3.6% of total)
ival-sin: 4.2s (3.2% of total)
ival-fabs: 3.6s (2.8% of total)
ival-sqrt: 2.0s (1.5% of total)
ival-<: 1.9s (1.5% of total)
ival-fmin: 1.1s (0.9% of total)
const: 1.1s (0.9% of total)
ival-and: 733.0ms (0.6% of total)
ival-neg: 576.0ms (0.4% of total)
ival->: 443.0ms (0.3% of total)
ival-atan: 395.0ms (0.3% of total)
ival-cbrt: 306.0ms (0.2% of total)
Bogosity

localize1.2min (17.6%)

Algorithm
378×egg-herbie
Rules
92821×fma-define
70720×fma-neg
36389×associate-*r*
28381×unsub-neg
26638×distribute-lft-in
Stop Event
298×saturated
80×node limit
Results
10.2s16026×0valid
16.7s6666×1valid
8.1s2894×2valid
1.4s1615×0invalid
3.6s536×5exit
342.0ms137×3valid
29.0ms30×0unsamplable
Compiler

Compiled 16432 to 9781 computations (40.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.8s
ival-pow: 9.3s (28.3% of total)
ival-mult: 5.6s (17.2% of total)
backward-pass: 4.5s (13.7% of total)
ival-div: 3.4s (10.5% of total)
ival-add: 2.3s (7% of total)
ival-sub: 1.4s (4.2% of total)
ival-sqrt: 784.0ms (2.4% of total)
const: 695.0ms (2.1% of total)
ival-exp: 643.0ms (2% of total)
ival-cos: 636.0ms (1.9% of total)
ival-fma: 628.0ms (1.9% of total)
ival-sin: 543.0ms (1.7% of total)
ival-log: 537.0ms (1.6% of total)
ival-tan: 528.0ms (1.6% of total)
ival-cbrt: 482.0ms (1.5% of total)
ival-log1p: 255.0ms (0.8% of total)
ival-neg: 173.0ms (0.5% of total)
ival-hypot: 171.0ms (0.5% of total)
ival-expm1: 71.0ms (0.2% of total)
ival-atan: 53.0ms (0.2% of total)
ival-atan2: 30.0ms (0.1% of total)
ival-cosh: 10.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)

simplify33.4s (8%)

Algorithm
135×egg-herbie
Rules
36810×fma-neg
33974×fma-define
28681×times-frac
28157×*-commutative
28121×distribute-lft-in
Stop Event
28×saturated
107×node limit
Counts
54659 → 56500

eval30.8s (7.4%)

Compiler

Compiled 1763061 to 1156660 computations (34.4% saved)

rewrite26.4s (6.3%)

Algorithm
107×batch-egg-rewrite
Rules
69928×log1p-expm1-u
48957×expm1-log1p-u
21471×pow1
21058×add-exp-log
20893×add-log-exp
Stop Event
107×node limit
Counts
1167 → 36947

soundness23.7s (5.7%)

Rules
28250×log1p-expm1-u
26672×fma-neg
26243×fma-define
21049×expm1-log1p-u
17618×times-frac
Stop Event
8×saturated
101×node limit
22×fuel
6×done
Compiler

Compiled 22667 to 14513 computations (36% saved)

prune21.4s (5.1%)

Counts
76102 → 2018
Compiler

Compiled 65139 to 46181 computations (29.1% saved)

explain8.6s (2.1%)

Results
3.0s7118×1valid
689.0ms3892×0valid
3.2s3204×2valid
140.0ms122×3valid
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.4s
ival-exp: 698.0ms (13% of total)
ival-log: 596.0ms (11.1% of total)
backward-pass: 587.0ms (10.9% of total)
ival-tan: 565.0ms (10.5% of total)
ival-sub: 556.0ms (10.4% of total)
ival-add: 472.0ms (8.8% of total)
ival-cos: 332.0ms (6.2% of total)
ival-mult: 330.0ms (6.1% of total)
ival-div: 300.0ms (5.6% of total)
ival-pow: 277.0ms (5.2% of total)
ival-sin: 199.0ms (3.7% of total)
ival-neg: 192.0ms (3.6% of total)
ival-sqrt: 122.0ms (2.3% of total)
const: 81.0ms (1.5% of total)
ival-atan: 37.0ms (0.7% of total)
ival-cbrt: 28.0ms (0.5% of total)

series6.8s (1.6%)

Counts
1167 → 17712
Calls

4794 calls:

TimeVariablePointExpression
275.0ms
x
@-inf
(pow x 1/4)
214.0ms
N
@inf
(atan2 1 (+ 1 (+ N (cbrt (pow N 6)))))
196.0ms
eps
@inf
(* eps (- (* eps (- 1/3 (+ (* -1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (* -1 (/ (pow (sin x) 4) (pow (cos x) 4))) (* -1/3 (/ (pow (sin x) 2) (pow (cos x) 2))))))) (+ (* -1 (/ (sin x) (cos x))) (* -1 (/ (pow (sin x) 3) (pow (cos x) 3))))))
171.0ms
x
@-inf
(log (+ 1 (/ 1 (- 1 (cos x)))))
140.0ms
x
@-inf
(* eps (- (+ 1 (* eps (- (* eps (- 1/3 (+ (* -1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (* -1 (/ (pow (sin x) 4) (pow (cos x) 4))) (* -1/3 (/ (pow (sin x) 2) (pow (cos x) 2))))))) (+ (* -1 (/ (sin x) (cos x))) (* -1 (/ (pow (sin x) 3) (pow (cos x) 3))))))) (* -1 (/ (pow (sin x) 2) (pow (cos x) 2)))))

preprocess5.4s (1.3%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 8472 to 5412 computations (36.1% saved)

regimes5.3s (1.3%)

Counts
3473 → 277
Calls

43 calls:

1.2s
x
694.0ms
a
611.0ms
b
443.0ms
eps
390.0ms
c
Compiler

Compiled 1461 to 1016 computations (30.5% saved)

analyze3.3s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
12.3%7.5%53.6%38.9%0%0%0%1
21%12.9%48.2%38.9%0%0%0%2
38.4%22.5%35.9%41.6%0%0%0%3
47.7%27.8%30.5%41.7%0%0%0%4
55.6%32%25.6%42.4%0%0%0%5
58.1%33%23.9%43.1%0%0%0%6
62%34.2%20.9%44%0%0.8%0.1%7
65.2%35.6%19%44.5%0%0.8%0.1%8
67.5%36.2%17.4%44.9%0%1.2%0.3%9
69.5%36.7%16.1%45.2%0%1.7%0.3%10
72%37.7%14.6%45.4%0%1.9%0.4%11
73.2%38%13.9%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-log: 466.0ms (24.9% of total)
ival-mult: 297.0ms (15.9% of total)
ival-sub: 236.0ms (12.6% of total)
ival-pow: 183.0ms (9.8% of total)
ival-div: 110.0ms (5.9% of total)
ival-add: 91.0ms (4.9% of total)
ival-<=: 76.0ms (4.1% of total)
ival-exp: 71.0ms (3.8% of total)
ival-sin: 57.0ms (3% of total)
ival-sqrt: 53.0ms (2.8% of total)
ival-fabs: 52.0ms (2.8% of total)
ival-tan: 38.0ms (2% of total)
ival-cos: 31.0ms (1.7% of total)
const: 31.0ms (1.7% of total)
ival-neg: 31.0ms (1.7% of total)
ival->: 13.0ms (0.7% of total)
ival-and: 11.0ms (0.6% of total)
backward-pass: 9.0ms (0.5% of total)
ival-<: 8.0ms (0.4% of total)
ival-fmin: 6.0ms (0.3% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch3.0s (0.7%)

Algorithm
74×binary-search
20×left-value
Stop Event
2×predicate-same
72×narrow-enough
Results
899.0ms7138×0valid
203.0ms1744×0invalid
819.0ms1568×1valid
372.0ms718×2valid
Compiler

Compiled 14708 to 10912 computations (25.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-div: 387.0ms (24.2% of total)
ival-sub: 284.0ms (17.8% of total)
ival-mult: 277.0ms (17.3% of total)
ival-pow: 264.0ms (16.5% of total)
ival-neg: 100.0ms (6.3% of total)
ival-sqrt: 71.0ms (4.4% of total)
backward-pass: 67.0ms (4.2% of total)
ival-add: 53.0ms (3.3% of total)
ival-exp: 37.0ms (2.3% of total)
ival-cbrt: 24.0ms (1.5% of total)
const: 20.0ms (1.3% of total)
ival-cos: 13.0ms (0.8% of total)

end0.0ms (0%)

Profiling

Loading profile data...