Herbie run

Date:Friday, May 24th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024145
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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.4min)

sample1.2min (33.5%)

Results
26.9s48805×1valid
18.7s16561×5exit
11.4s109073×0valid
2.8s7242×2valid
482.0ms3921×0invalid
131.0ms1381×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 42.9s
ival-pow: 6.3s (14.7% of total)
ival-tan: 6.0s (13.9% of total)
ival-exp: 5.3s (12.3% of total)
backward-pass: 4.1s (9.5% of total)
ival-cos: 3.4s (7.9% of total)
...c/correct-round.rkt:121:19: 2.8s (6.6% of total)
ival-mult: 2.5s (5.7% of total)
ival-div: 2.2s (5.1% of total)
ival-sub: 1.6s (3.8% of total)
ival-sqrt: 1.5s (3.5% of total)
ival-log: 1.2s (2.8% of total)
ival-fmod: 1.2s (2.8% of total)
ival-<=: 1.2s (2.8% of total)
ival-add: 1.0s (2.4% of total)
ival-sin: 739.0ms (1.7% of total)
ival-acos: 429.0ms (1% of total)
ival-sinh: 409.0ms (1% of total)
ival-neg: 237.0ms (0.6% of total)
const: 221.0ms (0.5% of total)
ival-and: 140.0ms (0.3% of total)
ival-==: 138.0ms (0.3% of total)
ival-<: 134.0ms (0.3% of total)
ival-or: 63.0ms (0.1% of total)
ival-atan: 48.0ms (0.1% of total)
ival->=: 43.0ms (0.1% of total)
ival->: 34.0ms (0.1% of total)
Bogosity

simplify31.3s (15.2%)

Algorithm
155×egg-herbie
Rules
46916×fma-define
44329×fma-neg
26305×distribute-lft-in
24185×distribute-rgt-in
21177×*-commutative
Stop Event
58×saturated
90×node limit
7×unsound
Counts
31760 → 28495

soundness21.4s (10.4%)

Rules
17359×fma-define
16101×log1p-expm1-u
14125×fma-neg
12585×expm1-log1p-u
11977×associate-*r*
Stop Event
6×saturated
58×node limit
12×fuel
3×unsound
8×done
Compiler

Compiled 11697 to 3344 computations (71.4% saved)

localize18.0s (8.7%)

Results
4.2s4449×1valid
3.8s439×5exit
3.7s11069×0valid
2.2s1052×2valid
247.0ms107×0unsamplable
218.0ms59×1invalid
117.0ms196×0invalid
65.0ms37×3valid
Compiler

Compiled 9689 to 1369 computations (85.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.5s
ival-pow: 1.8s (16.7% of total)
ival-mult: 1.1s (10.9% of total)
ival-log: 1.0s (9.6% of total)
ival-cos: 849.0ms (8.1% of total)
backward-pass: 846.0ms (8% of total)
ival-div: 645.0ms (6.1% of total)
ival-exp: 588.0ms (5.6% of total)
ival-fmod: 527.0ms (5% of total)
ival-sin: 448.0ms (4.3% of total)
ival-add: 440.0ms (4.2% of total)
...c/correct-round.rkt:121:19: 412.0ms (3.9% of total)
ival-sub: 343.0ms (3.3% of total)
ival-sqrt: 323.0ms (3.1% of total)
ival-log1p: 215.0ms (2% of total)
ival-tan: 214.0ms (2% of total)
ival-neg: 136.0ms (1.3% of total)
ival-fma: 100.0ms (1% of total)
ival-cbrt: 91.0ms (0.9% of total)
ival-acos: 90.0ms (0.9% of total)
ival-e: 89.0ms (0.8% of total)
ival-asin: 82.0ms (0.8% of total)
ival-sinh: 50.0ms (0.5% of total)
const: 47.0ms (0.4% of total)
ival-hypot: 31.0ms (0.3% of total)
ival-expm1: 27.0ms (0.3% of total)
ival-pi: 10.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)
ival-atan: 3.0ms (0% of total)

prune17.3s (8.4%)

Counts
49233 → 2071
Compiler

Compiled 76777 to 40939 computations (46.7% saved)

rewrite15.2s (7.4%)

Algorithm
67×batch-egg-rewrite
Rules
36057×log1p-expm1-u
28903×expm1-log1p-u
17661×pow1
14898×add-exp-log
14522×add-log-exp
Stop Event
67×node limit
Counts
652 → 20981

eval9.7s (4.7%)

Compiler

Compiled 1173325 to 166592 computations (85.8% saved)

analyze5.7s (2.8%)

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: 3.5s
...c/correct-round.rkt:121:19: 1.4s (41.1% of total)
ival-<=: 663.0ms (18.9% of total)
ival-mult: 246.0ms (7% of total)
ival-tan: 172.0ms (4.9% of total)
ival-pow: 130.0ms (3.7% of total)
ival-add: 127.0ms (3.6% of total)
ival-exp: 126.0ms (3.6% of total)
ival-sub: 121.0ms (3.4% of total)
ival-sin: 80.0ms (2.3% of total)
ival-cos: 71.0ms (2% of total)
ival-fmod: 62.0ms (1.8% of total)
ival-and: 57.0ms (1.6% of total)
ival-div: 53.0ms (1.5% of total)
ival-==: 34.0ms (1% of total)
ival-or: 30.0ms (0.9% of total)
ival-neg: 21.0ms (0.6% of total)
ival-log: 19.0ms (0.5% of total)
ival-sqrt: 18.0ms (0.5% of total)
const: 14.0ms (0.4% of total)
ival-sinh: 11.0ms (0.3% of total)
backward-pass: 6.0ms (0.2% of total)
ival->: 6.0ms (0.2% of total)
ival-<: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

regimes5.7s (2.7%)

Counts
3692 → 158
Calls

55 calls:

736.0ms
x
550.0ms
a
505.0ms
b
394.0ms
w
344.0ms
r
Compiler

Compiled 1525 to 1072 computations (29.7% saved)

series5.0s (2.4%)

Counts
652 → 10779
Calls

2697 calls:

TimeVariablePointExpression
192.0ms
a
@-inf
(cbrt (* r (/ (sin b) (cos (+ b a)))))
185.0ms
z
@-inf
(log (+ 1 (- (tan (+ y z)) (- (tan a) x))))
177.0ms
x
@-inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))
152.0ms
b
@0
(/ (* r (sin b)) (- (cos b) (* (sin b) a)))
105.0ms
z
@inf
(/ (+ (tan y) (tan z)) (- 1 (* (tan y) z)))

preprocess3.9s (1.9%)

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 6598 to 3034 computations (54% saved)

explain3.0s (1.4%)

Results
1.1s2962×1valid
671.0ms6698×0valid
299.0ms108×5exit
163.0ms472×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-tan: 423.0ms (26.2% of total)
ival-cos: 286.0ms (17.7% of total)
ival-mult: 160.0ms (9.9% of total)
backward-pass: 131.0ms (8.1% of total)
ival-sub: 110.0ms (6.8% of total)
ival-sin: 77.0ms (4.8% of total)
ival-add: 73.0ms (4.5% of total)
ival-log: 68.0ms (4.2% of total)
ival-sqrt: 64.0ms (4% of total)
ival-pow: 45.0ms (2.8% of total)
ival-exp: 42.0ms (2.6% of total)
ival-fmod: 40.0ms (2.5% of total)
ival-div: 33.0ms (2% of total)
ival-acos: 23.0ms (1.4% of total)
ival-sinh: 15.0ms (0.9% of total)
const: 13.0ms (0.8% of total)
ival-neg: 7.0ms (0.4% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch1.2s (0.6%)

Algorithm
45×binary-search
5×left-value
Stop Event
2×predicate-same
39×narrow-enough
4×predicate-failed
Results
499.0ms2000×1valid
348.0ms2896×0valid
49.0ms96×2valid
48.0ms404×0invalid
Compiler

Compiled 8560 to 6016 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 637.0ms
ival-tan: 182.0ms (28.6% of total)
ival-cos: 95.0ms (14.9% of total)
backward-pass: 66.0ms (10.4% of total)
ival-exp: 63.0ms (9.9% of total)
ival-pow: 53.0ms (8.3% of total)
ival-add: 46.0ms (7.2% of total)
ival-mult: 37.0ms (5.8% of total)
ival-sub: 24.0ms (3.8% of total)
ival-fmod: 19.0ms (3% of total)
ival-neg: 11.0ms (1.7% of total)
ival-div: 9.0ms (1.4% of total)
ival-acos: 9.0ms (1.4% of total)
ival-sin: 8.0ms (1.3% of total)
ival-sqrt: 7.0ms (1.1% of total)
const: 5.0ms (0.8% of total)

end0.0ms (0%)

Profiling

Loading profile data...