Herbie run

Date:Monday, March 25th, 2024
Commit:f03d6b38 on main
Hostname:nightly with Racket 8.11.1
Seed:2024085
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.7min)

sample1.8min (23.7%)

Results
47.6s270176×256valid
6.3s31203×256infinite
9.6s19448×1024valid
18.1s13677×2048valid
3.8s11081×512valid
489.0ms4322×256invalid
159.0ms933×256unsamplable
650.0ms778×4096valid
89.0ms212×512infinite
1.7s202×8192exit
103.0ms159×1024infinite
19.0ms18×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 11.3s, 19.0% of total-time
Operation ival-pow, time spent: 7.6s, 13.0% of total-time
Operation ival-tan, time spent: 7.5s, 12.0% of total-time
Operation ival-add, time spent: 6.1s, 10.0% of total-time
Operation ival-div, time spent: 6.0s, 10.0% of total-time
Operation ival-sub, time spent: 4.9s, 8.0% of total-time
Operation ival-<=, time spent: 4.6s, 8.0% of total-time
Operation ival-sin, time spent: 3.2s, 5.0% of total-time
Operation ival-cos, time spent: 2.0s, 3.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-log, time spent: 1.4s, 2.0% of total-time
Operation ival-exp, time spent: 825.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 696.0ms, 1.0% of total-time
Operation ival-and, time spent: 568.0ms, 1.0% of total-time
Operation ival-neg, time spent: 515.0ms, 1.0% of total-time
Operation composed, time spent: 397.0ms, 1.0% of total-time
Operation ival-==, time spent: 357.0ms, 1.0% of total-time
Operation ival-atan, time spent: 216.0ms, 0.0% of total-time
Operation ival-<, time spent: 145.0ms, 0.0% of total-time
Operation ival-pi, time spent: 102.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 53.0ms, 0.0% of total-time
Operation ival-if, time spent: 9.0ms, 0.0% of total-time
Bogosity

localize1.4min (18.7%)

Results
20.8s25354×256valid
3.0s2354×256infinite
1.9s2003×256invalid
9.3s1731×1024valid
7.5s1022×2048valid
3.8s1013×512valid
5.9s433×8192exit
305.0ms371×256unsamplable
8.7s264×1024infinite
2.1s104×512infinite
1.4s78×2048infinite
543.0ms63×4096valid
230.0ms26×4096infinite
Compiler

Compiled 28535 to 16833 computations (41% saved)

Precisions
Click to see histograms. Total time spent on operations: 57.0s
Operation ival-mult, time spent: 17.3s, 30.0% of total-time
Operation ival-pow, time spent: 9.7s, 17.0% of total-time
Operation ival-add, time spent: 8.0s, 14.0% of total-time
Operation ival-div, time spent: 8.0s, 14.0% of total-time
Operation composed, time spent: 5.6s, 10.0% of total-time
Operation ival-sub, time spent: 3.6s, 6.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-exp, time spent: 1.1s, 2.0% of total-time
Operation ival-tan, time spent: 520.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 448.0ms, 1.0% of total-time
Operation ival-log, time spent: 357.0ms, 1.0% of total-time
Operation ival-cos, time spent: 211.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 189.0ms, 0.0% of total-time
Operation ival-sin, time spent: 143.0ms, 0.0% of total-time
Operation ival-atan, time spent: 136.0ms, 0.0% of total-time
Operation ival-neg, time spent: 93.0ms, 0.0% of total-time
Operation ival-e, time spent: 10.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

eval1.2min (15.5%)

Compiler

Compiled 2718629 to 1859354 computations (31.6% saved)

simplify36.1s (7.9%)

Algorithm
168×egg-herbie
Rules
47275×fma-define
39487×distribute-lft-in
37017×distribute-rgt-in
36732×fma-neg
31988×*-commutative
Stop Event
42×saturated
126×node limit
Counts
53932 → 52178

preprocess33.2s (7.2%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Results
6.5s16072×256valid
734.0ms1796×256infinite
2.2s1686×1024valid
886.0ms882×512valid
1.6s820×2048valid
2.0s128×1024infinite
460.0ms72×512infinite
44.0ms36×4096valid
238.0ms12×2048infinite
Compiler

Compiled 32649 to 20235 computations (38% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.9s
Operation ival-mult, time spent: 3.4s, 31.0% of total-time
Operation ival-pow, time spent: 1.7s, 16.0% of total-time
Operation ival-div, time spent: 1.7s, 16.0% of total-time
Operation ival-add, time spent: 1.7s, 16.0% of total-time
Operation ival-sub, time spent: 1.1s, 10.0% of total-time
Operation const, time spent: 319.0ms, 3.0% of total-time
Operation ival-tan, time spent: 304.0ms, 3.0% of total-time
Operation ival-sin, time spent: 140.0ms, 1.0% of total-time
Operation ival-exp, time spent: 128.0ms, 1.0% of total-time
Operation ival-cos, time spent: 99.0ms, 1.0% of total-time
Operation ival-neg, time spent: 79.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 67.0ms, 1.0% of total-time
Operation ival-log, time spent: 67.0ms, 1.0% of total-time
Operation ival-atan, time spent: 25.0ms, 0.0% of total-time
Operation composed, time spent: 22.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time

soundness32.1s (7%)

Rules
43789×fma-define
33925×log1p-expm1-u
29098×fma-neg
27701×distribute-lft-in
27619×expm1-log1p-u
Stop Event
8×saturated
142×node limit
21×fuel
21×done
Compiler

Compiled 35509 to 21639 computations (39.1% saved)

rewrite26.2s (5.7%)

Algorithm
126×batch-egg-rewrite
Rules
74104×log1p-expm1-u
58735×expm1-log1p-u
25928×pow1
25593×add-exp-log
24707×add-log-exp
Stop Event
126×node limit
Counts
958 → 33773

prune22.5s (4.9%)

Counts
85530 → 2027
Compiler

Compiled 75126 to 51946 computations (30.9% saved)

bsearch17.0s (3.7%)

Algorithm
326×binary-search
28×left-value
Stop Event
21×predicate-same
305×narrow-enough
Results
5.6s26655×256valid
4.8s9939×256infinite
1.4s2882×1024valid
216.0ms2812×256invalid
369.0ms1362×512valid
555.0ms518×2048valid
18.0ms49×512infinite
6.0ms11×1024infinite
2.0ms11×256unsamplable
9.0ms6×4096valid
2.0ms2×2048infinite
Compiler

Compiled 97565 to 69595 computations (28.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
Operation ival-mult, time spent: 3.0s, 33.0% of total-time
Operation ival-add, time spent: 1.8s, 20.0% of total-time
Operation ival-pow, time spent: 1.3s, 15.0% of total-time
Operation ival-div, time spent: 1.2s, 13.0% of total-time
Operation ival-sub, time spent: 1.1s, 12.0% of total-time
Operation const, time spent: 222.0ms, 2.0% of total-time
Operation ival-exp, time spent: 203.0ms, 2.0% of total-time
Operation ival-neg, time spent: 120.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 32.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

analyze12.2s (2.7%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
49.8%26.2%26.5%45.5%0%1.7%0%3
58.3%30.7%22%45.5%0%1.8%0%4
71.6%37.7%15%45.6%0%1.8%0%5
73.1%38.4%14.1%45.6%0%1.8%0%6
78%40.7%11.5%45.6%0%2.1%0%7
81.5%42.6%9.6%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.1%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.7s
Operation ival-add, time spent: 1.7s, 19.0% of total-time
Operation ival-mult, time spent: 1.5s, 17.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 13.0% of total-time
Operation ival-pow, time spent: 1.0s, 12.0% of total-time
Operation ival-div, time spent: 1.0s, 12.0% of total-time
Operation ival-sub, time spent: 906.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 446.0ms, 5.0% of total-time
Operation ival-<, time spent: 398.0ms, 5.0% of total-time
Operation const, time spent: 204.0ms, 2.0% of total-time
Operation ival-exp, time spent: 107.0ms, 1.0% of total-time
Operation ival-<=, time spent: 90.0ms, 1.0% of total-time
Operation ival-if, time spent: 71.0ms, 1.0% of total-time
Operation ival-==, time spent: 49.0ms, 1.0% of total-time
Operation ival-neg, time spent: 25.0ms, 0.0% of total-time
Operation ival-and, time spent: 22.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time
Operation ival-cos, time spent: 2.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

regimes9.3s (2%)

Counts
4450 → 633
Calls

94 calls:

975.0ms
b
897.0ms
x
863.0ms
x1
851.0ms
c
708.0ms
a
Compiler

Compiled 4029 to 2844 computations (29.4% saved)

series5.2s (1.1%)

Counts
958 → 20159
Calls

5076 calls:

TimeVariablePointExpression
136.0ms
a
@0
(* (+ a b) (+ a b))
89.0ms
x
@0
(+ (exp (* x (- eps 1))) (/ 1 (exp (* x eps))))
87.0ms
i
@-inf
(- (log i) (log n))
79.0ms
b
@0
(log (* b (/ d c)))
69.0ms
v
@0
(* (* (* (+ 3/8 (* v -1/4)) r) w) (/ w (/ (- 1 v) r)))

end0.0ms (0%)

Profiling

Loading profile data...