Herbie run

Date:Saturday, February 24th, 2024
Commit:0406aea6 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024055
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: 9.2min)

sample1.9min (20.8%)

Results
46.3s179683×256valid
14.4s65964×256invalid
9.4s42720×256infinite
9.0s10875×1024valid
6.7s9294×2048valid
3.8s8295×512valid
4.6s5616×1024invalid
1.5s3042×512invalid
2.6s1997×4096valid
1.1s787×8192valid
2.8s766×4096infinite
1.5s735×2048infinite
246.0ms394×1024infinite
165.0ms390×512infinite
72.0ms210×256unsamplable
12.0ms13×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 17.1s, 26.0% of total-time
Operation ival-div, time spent: 11.4s, 17.0% of total-time
Operation ival-pow, time spent: 6.1s, 9.0% of total-time
Operation ival-tan, time spent: 4.9s, 7.0% of total-time
Operation ival-sub, time spent: 4.8s, 7.0% of total-time
Operation ival-sqrt, time spent: 4.7s, 7.0% of total-time
Operation ival-sin, time spent: 3.4s, 5.0% of total-time
Operation ival-add, time spent: 3.4s, 5.0% of total-time
Operation ival-exp, time spent: 2.6s, 4.0% of total-time
Operation ival-acos, time spent: 1.5s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-cos, time spent: 1.4s, 2.0% of total-time
Operation ival-neg, time spent: 1.1s, 2.0% of total-time
Operation ival-log, time spent: 903.0ms, 1.0% of total-time
Operation composed, time spent: 752.0ms, 1.0% of total-time
Operation ival-pi, time spent: 617.0ms, 1.0% of total-time
Operation ival-asin, time spent: 277.0ms, 0.0% of total-time
Operation ival-<, time spent: 184.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 98.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.0ms, 0.0% of total-time
Bogosity

localize1.6min (17.9%)

Compiler

Compiled 36738 to 18797 computations (48.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation ival-mult, time spent: 15.2s, 21.0% of total-time
Operation ival-pow, time spent: 10.7s, 15.0% of total-time
Operation composed, time spent: 8.9s, 13.0% of total-time
Operation ival-div, time spent: 7.0s, 10.0% of total-time
Operation ival-add, time spent: 4.7s, 7.0% of total-time
Operation ival-sqrt, time spent: 4.3s, 6.0% of total-time
Operation ival-tan, time spent: 3.4s, 5.0% of total-time
Operation ival-log, time spent: 3.1s, 4.0% of total-time
Operation ival-sub, time spent: 2.4s, 3.0% of total-time
Operation ival-exp, time spent: 2.0s, 3.0% of total-time
Operation ival-sin, time spent: 1.9s, 3.0% of total-time
Operation ival-cos, time spent: 1.8s, 3.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-asin, time spent: 1.5s, 2.0% of total-time
Operation ival-acos, time spent: 1.3s, 2.0% of total-time
Operation ival-neg, time spent: 566.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 564.0ms, 1.0% of total-time
Operation ival-pi, time spent: 140.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 12.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval59.8s (10.8%)

Compiler

Compiled 2781940 to 1733830 computations (37.7% saved)

regimes57.5s (10.4%)

Counts
9550 → 741
Calls

152 calls:

5.8s
l
4.0s
k
3.6s
t
2.8s
d
2.3s
NdChar
Compiler

Compiled 7662 to 5931 computations (22.6% saved)

soundness48.5s (8.8%)

Rules
106814×fma-define
83142×associate-*r*
73446×times-frac
65136×associate-*l*
60966×*-commutative
Stop Event
8×saturated
164×node limit
1×unsound
Compiler

Compiled 33011 to 20521 computations (37.8% saved)

simplify45.4s (8.2%)

Algorithm
153×egg-herbie
Rules
102084×fma-define
80490×*-commutative
78550×associate-*r*
76990×times-frac
68676×distribute-lft-in
Stop Event
31×saturated
122×node limit
28×fuel
3×done
Counts
68366 → 58696
Compiler

Compiled 12413 to 8385 computations (32.4% saved)

preprocess30.2s (5.5%)

Algorithm
31×egg-herbie
Rules
39452×fma-define
26360×fma-neg
16974×times-frac
15822×unsub-neg
14432×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 55836 to 33986 computations (39.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
Operation ival-mult, time spent: 2.4s, 26.0% of total-time
Operation ival-div, time spent: 1.3s, 14.0% of total-time
Operation ival-pow, time spent: 953.0ms, 10.0% of total-time
Operation ival-tan, time spent: 763.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 687.0ms, 7.0% of total-time
Operation ival-sub, time spent: 654.0ms, 7.0% of total-time
Operation ival-add, time spent: 525.0ms, 6.0% of total-time
Operation ival-exp, time spent: 435.0ms, 5.0% of total-time
Operation ival-sin, time spent: 385.0ms, 4.0% of total-time
Operation composed, time spent: 291.0ms, 3.0% of total-time
Operation ival-cos, time spent: 267.0ms, 3.0% of total-time
Operation const, time spent: 239.0ms, 3.0% of total-time
Operation ival-neg, time spent: 174.0ms, 2.0% of total-time
Operation ival-log, time spent: 96.0ms, 1.0% of total-time
Operation ival-acos, time spent: 58.0ms, 1.0% of total-time
Operation ival-pi, time spent: 27.0ms, 0.0% of total-time
Operation ival-asin, time spent: 13.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

rewrite26.7s (4.8%)

Algorithm
122×batch-egg-rewrite
Rules
69801×log1p-expm1-u
52848×expm1-log1p-u
34204×prod-diff
30086×add-exp-log
29958×associate-*r*
Stop Event
121×node limit
1×unsound
Counts
1262 → 36463

prune25.4s (4.6%)

Counts
86563 → 2988
Compiler

Compiled 134141 to 93438 computations (30.3% saved)

bsearch18.8s (3.4%)

Algorithm
355×binary-search
63×left-value
Stop Event
6×predicate-same
349×narrow-enough
Results
9.2s33561×256valid
3.0s9058×256infinite
2.5s7249×256invalid
449.0ms865×1024valid
301.0ms413×512valid
225.0ms272×2048valid
200.0ms196×1024invalid
203.0ms137×4096valid
26.0ms87×512invalid
96.0ms41×2048infinite
19.0ms38×512infinite
19.0ms28×1024infinite
22.0ms22×8192valid
19.0ms13×4096infinite
1.0ms1×8192exit
Compiler

Compiled 112334 to 85628 computations (23.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.4s
Operation ival-div, time spent: 2.8s, 27.0% of total-time
Operation ival-mult, time spent: 2.1s, 21.0% of total-time
Operation ival-pow, time spent: 1.6s, 16.0% of total-time
Operation ival-add, time spent: 956.0ms, 9.0% of total-time
Operation ival-sin, time spent: 647.0ms, 6.0% of total-time
Operation ival-tan, time spent: 634.0ms, 6.0% of total-time
Operation ival-sub, time spent: 502.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 358.0ms, 3.0% of total-time
Operation const, time spent: 203.0ms, 2.0% of total-time
Operation ival-neg, time spent: 187.0ms, 2.0% of total-time
Operation ival-exp, time spent: 132.0ms, 1.0% of total-time
Operation ival-cos, time spent: 114.0ms, 1.0% of total-time
Operation composed, time spent: 49.0ms, 0.0% of total-time
Operation ival-asin, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

analyze12.8s (2.3%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.7%30.4%59.8%1.8%0%7.3%0.8%4
36%32.4%57.5%1.8%0%7.3%1%5
40.4%36.2%53.5%1.8%0%7.4%1.1%6
45.3%40.3%48.7%1.8%0%8%1.2%7
47.6%41.8%46%1.8%0%9.2%1.3%8
50.5%44.1%43.3%1.8%0%9.5%1.3%9
51.6%44.9%42.1%1.8%0%9.8%1.4%10
53.3%46.1%40.3%1.8%0%10.4%1.4%11
55.1%47.3%38.5%1.8%0%10.9%1.4%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.5s
Operation ival-mult, time spent: 2.4s, 32.0% of total-time
Operation ival-pow, time spent: 1.3s, 17.0% of total-time
Operation ival-div, time spent: 1.0s, 14.0% of total-time
Operation ival-sub, time spent: 666.0ms, 9.0% of total-time
Operation ival-add, time spent: 516.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 490.0ms, 7.0% of total-time
Operation ival-sin, time spent: 277.0ms, 4.0% of total-time
Operation ival-tan, time spent: 200.0ms, 3.0% of total-time
Operation const, time spent: 173.0ms, 2.0% of total-time
Operation ival-acos, time spent: 90.0ms, 1.0% of total-time
Operation ival-neg, time spent: 86.0ms, 1.0% of total-time
Operation ival-exp, time spent: 82.0ms, 1.0% of total-time
Operation ival-pi, time spent: 57.0ms, 1.0% of total-time
Operation ival-asin, time spent: 49.0ms, 1.0% of total-time
Operation ival-cos, time spent: 47.0ms, 1.0% of total-time
Operation ival-log, time spent: 26.0ms, 0.0% of total-time
Operation ival-<, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time
Operation ival-and, time spent: 3.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

series12.7s (2.3%)

Counts
1262 → 31903
Calls

8292 calls:

TimeVariablePointExpression
278.0ms
M
@-inf
(+ (* (pow (/ d D) 2) (/ c0 (* w h))) (sqrt (- (pow (* (/ c0 (* w h)) (pow (/ d D) 2)) 2) (pow M 2))))
189.0ms
l
@-inf
(log (* -1/4 (* (pow M 2) (/ h (* (pow d 2) l)))))
185.0ms
h
@inf
(* (pow (* l h) -1/4) d)
178.0ms
h
@0
(/ (* (/ d D) (sqrt c0)) (sqrt (* h w)))
166.0ms
l
@0
(+ (* (pow (* 1/2 (* M (/ D d))) 2) (* -1/2 (/ h l))) 1)

end29.0ms (0%)

Profiling

Loading profile data...