Herbie run

Date:Saturday, April 27th, 2024
Commit:49c7f308 on main
Hostname:nightly with Racket 8.11.1
Seed:2024118
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.7min)

sample2.6min (45.8%)

Results
40.9s54990×2valid
28.6s116410×1valid
28.1s6927×5exit
26.6s140742×0precondition
6.0s57136×0valid
3.5s2632×3valid
507.0ms4377×0unsamplable
460.0ms4098×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 28.0s (24.5% of total)
ival-exp: 12.9s (11.3% of total)
ival-tan: 11.3s (9.9% of total)
ival-mult: 10.2s (8.9% of total)
ival-sub: 7.3s (6.4% of total)
ival-log: 5.3s (4.7% of total)
ival-add: 5.3s (4.6% of total)
backward-pass: 5.1s (4.4% of total)
ival-div: 5.0s (4.3% of total)
ival-<=: 4.3s (3.8% of total)
ival-sin: 4.3s (3.7% of total)
ival-cos: 4.0s (3.5% of total)
ival-fabs: 3.5s (3% of total)
ival-sqrt: 1.7s (1.5% of total)
ival-<: 1.6s (1.4% of total)
ival-fmin: 955.0ms (0.8% of total)
ival->: 898.0ms (0.8% of total)
ival-and: 789.0ms (0.7% of total)
const: 780.0ms (0.7% of total)
ival-neg: 583.0ms (0.5% of total)
ival-atan: 421.0ms (0.4% of total)
ival-cbrt: 312.0ms (0.3% of total)
Bogosity

localize41.3s (12%)

Algorithm
108×egg-herbie
Rules
46135×fma-define
36091×fma-neg
19401×unsub-neg
18568×distribute-lft-in
17653×sub-neg
Stop Event
48×saturated
60×node limit
Results
8.5s4514×2valid
5.6s923×5exit
4.7s6219×1valid
4.3s13981×0valid
1.5s386×3valid
581.0ms1625×0invalid
Compiler

Compiled 19125 to 2566 computations (86.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.8s
ival-pow: 4.8s (28.4% of total)
ival-mult: 1.7s (10% of total)
backward-pass: 1.6s (9.4% of total)
ival-div: 1.5s (8.8% of total)
ival-tan: 1.3s (8% of total)
ival-sin: 1.2s (7.1% of total)
ival-sub: 887.0ms (5.3% of total)
ival-add: 740.0ms (4.4% of total)
ival-cos: 675.0ms (4% of total)
ival-log: 562.0ms (3.3% of total)
ival-sqrt: 321.0ms (1.9% of total)
ival-fma: 262.0ms (1.6% of total)
ival-neg: 225.0ms (1.3% of total)
ival-cbrt: 218.0ms (1.3% of total)
ival-exp: 213.0ms (1.3% of total)
ival-cosh: 198.0ms (1.2% of total)
ival-log1p: 158.0ms (0.9% of total)
const: 127.0ms (0.8% of total)
ival-atan: 56.0ms (0.3% of total)
ival-expm1: 50.0ms (0.3% of total)
ival-hypot: 44.0ms (0.3% of total)
ival-atan2: 27.0ms (0.2% of total)

simplify34.5s (10%)

Algorithm
136×egg-herbie
Rules
33375×fma-define
32372×fma-neg
29908×distribute-lft-in
28703×times-frac
28290×associate-*r*
Stop Event
28×saturated
106×node limit
2×unsound
Counts
57740 → 59715

soundness27.7s (8.1%)

Rules
30947×log1p-expm1-u
27472×fma-define
26443×fma-neg
25279×expm1-log1p-u
19357×associate-*r*
Stop Event
7×saturated
110×node limit
24×fuel
1×unsound
4×done
Compiler

Compiled 19149 to 6134 computations (68% saved)

rewrite26.4s (7.7%)

Algorithm
108×batch-egg-rewrite
Rules
61800×log1p-expm1-u
48132×expm1-log1p-u
23622×pow1
22636×add-exp-log
22408×prod-diff
Stop Event
108×node limit
Counts
1240 → 39207

prune16.4s (4.8%)

Counts
82553 → 1997
Compiler

Compiled 62988 to 35506 computations (43.6% saved)

eval13.5s (3.9%)

Compiler

Compiled 1970526 to 310690 computations (84.2% saved)

explain6.5s (1.9%)

Results
2.5s3386×2valid
2.0s7256×1valid
448.0ms3508×0valid
326.0ms186×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-tan: 771.0ms (21.5% of total)
ival-exp: 475.0ms (13.2% of total)
ival-log: 344.0ms (9.6% of total)
ival-sin: 330.0ms (9.2% of total)
backward-pass: 265.0ms (7.4% of total)
ival-cos: 253.0ms (7% of total)
ival-div: 243.0ms (6.8% of total)
ival-sub: 234.0ms (6.5% of total)
ival-add: 194.0ms (5.4% of total)
ival-mult: 178.0ms (5% of total)
ival-pow: 133.0ms (3.7% of total)
ival-sqrt: 77.0ms (2.1% of total)
const: 32.0ms (0.9% of total)
ival-neg: 28.0ms (0.8% of total)
ival-atan: 20.0ms (0.6% of total)
ival-cbrt: 17.0ms (0.5% of total)

series5.9s (1.7%)

Counts
1240 → 18533
Calls

4989 calls:

TimeVariablePointExpression
145.0ms
a
@0
(pow (cbrt (- (exp (* a x)) 1)) 4)
97.0ms
b
@inf
(/ (+ (neg b) (sqrt (- (* b b) (pow (cbrt (* a (* c 4))) 3)))) (* a 2))
92.0ms
x
@inf
(log (exp (+ (* 2 (cosh x)) -2)))
86.0ms
a
@0
(* (cbrt (pow (pow (cbrt (- (exp (* a x)) 1)) 4) 2)) (cbrt (cbrt (- (exp (* a x)) 1))))
65.0ms
N
@0
(log N)

preprocess5.3s (1.5%)

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 9398 to 3708 computations (60.5% saved)

analyze3.3s (1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
10.9%6.7%54.4%38.9%0%0%0%1
20.4%12.4%48.7%38.9%0%0%0%2
38.1%22.2%36.2%41.6%0%0%0%3
47.5%27.7%30.6%41.7%0%0%0%4
55.5%31.9%25.6%42.4%0%0%0%5
57.5%32.7%24.2%43.1%0%0%0%6
61.6%34%21.2%44%0%0.8%0.1%7
64.7%35.3%19.3%44.5%0%0.8%0.1%8
67.2%36%17.6%44.9%0%1.2%0.3%9
69.1%36.5%16.3%45.2%0%1.7%0.3%10
71.7%37.5%14.8%45.4%0%1.9%0.4%11
72.9%37.8%14.1%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-sub: 262.0ms (14.7% of total)
ival-mult: 223.0ms (12.5% of total)
ival-fabs: 176.0ms (9.8% of total)
ival-pow: 166.0ms (9.3% of total)
ival-log: 151.0ms (8.5% of total)
ival-div: 118.0ms (6.6% of total)
ival-tan: 92.0ms (5.1% of total)
ival-sqrt: 92.0ms (5.1% of total)
ival-<=: 90.0ms (5% of total)
ival-add: 80.0ms (4.5% of total)
ival->: 76.0ms (4.3% of total)
ival-exp: 71.0ms (4% of total)
ival-sin: 60.0ms (3.4% of total)
ival-neg: 47.0ms (2.6% of total)
const: 26.0ms (1.5% of total)
ival-cos: 24.0ms (1.3% of total)
ival-and: 12.0ms (0.7% 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)

regimes3.2s (0.9%)

Counts
3914 → 314
Calls

43 calls:

870.0ms
x
315.0ms
eps
279.0ms
b_2
218.0ms
b
145.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1546 to 1035 computations (33.1% saved)

bsearch2.6s (0.7%)

Algorithm
80×binary-search
34×left-value
Stop Event
4×predicate-same
76×narrow-enough
Results
779.0ms8662×0valid
373.0ms2080×0invalid
324.0ms705×2valid
275.0ms1065×1valid
8.0ms23×0unsamplable
Compiler

Compiled 16019 to 11762 computations (26.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-mult: 276.0ms (24.1% of total)
ival-add: 143.0ms (12.5% of total)
ival-pow: 135.0ms (11.8% of total)
ival-sub: 130.0ms (11.3% of total)
ival-div: 125.0ms (10.9% of total)
ival-exp: 108.0ms (9.4% of total)
ival-sqrt: 90.0ms (7.8% of total)
ival-neg: 73.0ms (6.4% of total)
backward-pass: 41.0ms (3.6% of total)
const: 18.0ms (1.6% of total)
ival-cos: 9.0ms (0.8% of total)

end0.0ms (0%)

Profiling

Loading profile data...