Herbie run

Date:Monday, April 15th, 2024
Commit:9276f361 on zane-regimes-bug-fix
Hostname:nightly with Racket 8.11.1
Seed:2024106
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.5min)

sample2.5min (45.7%)

Results
23.6s141210×0precondition
28.3s115563×1valid
6.6s65511×0valid
36.1s48027×2valid
30.3s7104×5exit
348.0ms4198×0invalid
438.0ms4141×0unsamplable
2.2s2067×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-pow: 28.8s (26.3% of total)
ival-exp: 11.7s (10.7% of total)
ival-mult: 9.9s (9% of total)
ival-tan: 9.7s (8.9% of total)
backward-pass: 7.8s (7.1% of total)
ival-sub: 6.6s (6.1% of total)
ival-log: 4.9s (4.5% of total)
ival-div: 4.7s (4.3% of total)
ival-cos: 4.5s (4.1% of total)
ival-add: 4.1s (3.8% of total)
ival-sin: 3.4s (3.1% of total)
ival-<=: 3.3s (3% of total)
ival-fabs: 2.7s (2.5% of total)
ival-<: 1.6s (1.5% of total)
ival-sqrt: 1.5s (1.3% of total)
const: 1.1s (1% of total)
ival-fmin: 778.0ms (0.7% of total)
ival-and: 701.0ms (0.6% of total)
ival->: 451.0ms (0.4% of total)
ival-neg: 413.0ms (0.4% of total)
ival-atan: 378.0ms (0.3% of total)
ival-cbrt: 313.0ms (0.3% of total)
Bogosity

localize53.1s (15.9%)

Results
7.4s11635×0valid
17.0s6976×1valid
8.7s3380×2valid
2.0s1724×0invalid
8.0s626×5exit
684.0ms181×3valid
74.0ms37×1invalid
67.0ms17×2invalid
Compiler

Compiled 16870 to 9904 computations (41.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.0s
ival-pow: 11.0s (30.6% of total)
ival-mult: 5.3s (14.6% of total)
backward-pass: 4.4s (12.3% of total)
ival-div: 3.6s (9.9% of total)
ival-add: 2.8s (7.9% of total)
ival-sub: 1.5s (4.3% of total)
ival-fma: 1.2s (3.4% of total)
ival-log: 1.1s (3.1% of total)
ival-exp: 1.1s (3.1% of total)
ival-sqrt: 829.0ms (2.3% of total)
const: 702.0ms (2% of total)
ival-tan: 693.0ms (1.9% of total)
ival-cos: 303.0ms (0.8% of total)
ival-cbrt: 285.0ms (0.8% of total)
ival-neg: 269.0ms (0.7% of total)
ival-log1p: 210.0ms (0.6% of total)
ival-sin: 185.0ms (0.5% of total)
ival-hypot: 148.0ms (0.4% of total)
ival-cosh: 112.0ms (0.3% of total)
ival-expm1: 52.0ms (0.1% of total)
ival-atan: 40.0ms (0.1% of total)
ival-atan2: 25.0ms (0.1% of total)
ival-e: 9.0ms (0% of total)
ival-fabs: 7.0ms (0% of total)

simplify25.0s (7.5%)

Algorithm
119×egg-herbie
Rules
33223×fma-define
25218×fma-neg
24654×*-commutative
24642×distribute-lft-in
24400×distribute-rgt-in
Stop Event
28×saturated
91×node limit
Counts
36782 → 40695

soundness24.9s (7.5%)

Rules
32202×fma-define
31830×log1p-expm1-u
26056×fma-neg
24823×expm1-log1p-u
18832×associate-*r*
Stop Event
9×saturated
107×node limit
18×fuel
10×done
Compiler

Compiled 23318 to 15004 computations (35.7% saved)

eval20.7s (6.2%)

Compiler

Compiled 1313965 to 870155 computations (33.8% saved)

rewrite18.8s (5.7%)

Algorithm
91×batch-egg-rewrite
Rules
57697×log1p-expm1-u
44037×expm1-log1p-u
19234×pow1
17702×add-exp-log
17570×add-log-exp
Stop Event
91×node limit
Counts
709 → 24866

prune12.6s (3.8%)

Counts
52874 → 1885
Compiler

Compiled 63434 to 45104 computations (28.9% saved)

explain8.0s (2.4%)

Results
2.5s6920×1valid
669.0ms4058×0valid
3.2s3214×2valid
99.0ms144×3valid
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.8s
ival-exp: 744.0ms (15.7% of total)
backward-pass: 579.0ms (12.2% of total)
ival-log: 536.0ms (11.3% of total)
ival-tan: 528.0ms (11.1% of total)
ival-mult: 391.0ms (8.2% of total)
ival-sub: 388.0ms (8.2% of total)
ival-add: 302.0ms (6.4% of total)
ival-div: 294.0ms (6.2% of total)
ival-cos: 281.0ms (5.9% of total)
ival-pow: 211.0ms (4.4% of total)
ival-sin: 157.0ms (3.3% of total)
ival-sqrt: 109.0ms (2.3% of total)
ival-neg: 106.0ms (2.2% of total)
const: 78.0ms (1.6% of total)
ival-atan: 26.0ms (0.5% of total)
ival-cbrt: 24.0ms (0.5% of total)

preprocess4.8s (1.4%)

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 7444 to 4598 computations (38.2% saved)

series4.3s (1.3%)

Counts
709 → 11916
Calls

3207 calls:

TimeVariablePointExpression
86.0ms
a
@-inf
(cbrt (- b (sqrt (+ (* b b) (* (sqrt (* a (* c -4))) (sqrt (* a (* c -4))))))))
75.0ms
x
@0
(+ (* (pow (cbrt x) -1) (pow (cbrt (sqrt x)) -1)) (/ -1 (sqrt (+ 1 x))))
75.0ms
x
@-inf
(* x (- (* -5/12 x) 1/2))
60.0ms
b
@inf
(/ (- (exp (* eps (+ a b))) 1) (- (exp (* eps a)) 1))
55.0ms
x
@0
(/ (+ 1 (* x 1/2)) x)

regimes3.5s (1%)

Counts
3133 → 237
Calls

43 calls:

1.0s
x
337.0ms
eps
215.0ms
b
213.0ms
N
157.0ms
a
Compiler

Compiled 1484 to 1038 computations (30.1% saved)

analyze3.0s (0.9%)

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.7s
ival-<=: 327.0ms (19.5% of total)
ival-mult: 200.0ms (11.9% of total)
ival-sub: 198.0ms (11.8% of total)
ival-pow: 161.0ms (9.6% of total)
ival-log: 122.0ms (7.3% of total)
ival-div: 114.0ms (6.8% of total)
ival-add: 111.0ms (6.6% of total)
ival-sqrt: 64.0ms (3.8% of total)
ival-exp: 63.0ms (3.7% of total)
ival-cos: 53.0ms (3.2% of total)
ival-sin: 53.0ms (3.2% of total)
ival-tan: 51.0ms (3% of total)
ival-fabs: 42.0ms (2.5% of total)
const: 30.0ms (1.8% of total)
ival-neg: 29.0ms (1.7% of total)
ival->: 23.0ms (1.4% of total)
ival-and: 11.0ms (0.7% of total)
ival-fmin: 10.0ms (0.6% of total)
backward-pass: 9.0ms (0.5% of total)
ival-<: 8.0ms (0.5% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch1.9s (0.6%)

Algorithm
66×binary-search
4×left-value
Stop Event
6×predicate-same
60×narrow-enough
Results
552.0ms5701×0valid
476.0ms2387×1valid
160.0ms1278×0invalid
194.0ms424×2valid
3.0ms19×0unsamplable
Compiler

Compiled 14342 to 10407 computations (27.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 947.0ms
ival-mult: 189.0ms (20% of total)
ival-pow: 140.0ms (14.8% of total)
ival-sqrt: 127.0ms (13.4% of total)
ival-div: 113.0ms (11.9% of total)
ival-sub: 101.0ms (10.7% of total)
backward-pass: 73.0ms (7.7% of total)
ival-exp: 64.0ms (6.8% of total)
ival-neg: 53.0ms (5.6% of total)
ival-add: 53.0ms (5.6% of total)
const: 17.0ms (1.8% of total)
ival-cbrt: 14.0ms (1.5% of total)
ival-cos: 3.0ms (0.3% of total)

end0.0ms (0%)

Profiling

Loading profile data...