Herbie run

Date:Tuesday, March 12th, 2024
Commit:ac5701bb on zane-regimes-unsafe-ops
Hostname:nightly with Racket 8.11.1
Seed:2024072
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: 10.0min)

localize2.2min (21.8%)

Compiler

Compiled 38803 to 20005 computations (48.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-mult, time spent: 17.3s, 18.0% of total-time
Operation ival-pow, time spent: 16.5s, 17.0% of total-time
Operation ival-div, time spent: 11.2s, 11.0% of total-time
Operation composed, time spent: 11.0s, 11.0% of total-time
Operation ival-tan, time spent: 10.9s, 11.0% of total-time
Operation ival-add, time spent: 6.1s, 6.0% of total-time
Operation ival-cos, time spent: 3.9s, 4.0% of total-time
Operation ival-sqrt, time spent: 3.5s, 4.0% of total-time
Operation ival-log, time spent: 3.0s, 3.0% of total-time
Operation ival-sub, time spent: 3.0s, 3.0% of total-time
Operation ival-acos, time spent: 2.6s, 3.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-sin, time spent: 1.7s, 2.0% of total-time
Operation ival-exp, time spent: 1.6s, 2.0% of total-time
Operation ival-asin, time spent: 1.5s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.2s, 1.0% of total-time
Operation ival-neg, time spent: 378.0ms, 0.0% of total-time
Operation ival-pi, time spent: 107.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time

sample2.0min (20%)

Results
48.6s179710×256valid
14.6s67925×256invalid
10.6s42669×256infinite
7.5s10781×1024valid
7.1s9373×2048valid
3.8s8360×512valid
5.3s7629×1024invalid
2.1s4073×512invalid
2.9s1973×4096valid
925.0ms781×8192valid
2.8s777×4096infinite
1.6s713×2048infinite
177.0ms403×512infinite
325.0ms396×1024infinite
37.0ms193×256unsamplable
83.0ms114×2048invalid
15.0ms15×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 17.9s, 27.0% of total-time
Operation ival-div, time spent: 10.4s, 16.0% of total-time
Operation ival-pow, time spent: 6.8s, 10.0% of total-time
Operation ival-tan, time spent: 4.9s, 7.0% of total-time
Operation ival-sin, time spent: 4.1s, 6.0% of total-time
Operation ival-sub, time spent: 4.1s, 6.0% of total-time
Operation ival-add, time spent: 4.0s, 6.0% of total-time
Operation ival-exp, time spent: 3.3s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.0s, 4.0% of total-time
Operation ival-cos, time spent: 1.9s, 3.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-neg, time spent: 1.2s, 2.0% of total-time
Operation ival-acos, time spent: 931.0ms, 1.0% of total-time
Operation ival-log, time spent: 744.0ms, 1.0% of total-time
Operation composed, time spent: 663.0ms, 1.0% of total-time
Operation ival-pi, time spent: 595.0ms, 1.0% of total-time
Operation ival-asin, time spent: 223.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 140.0ms, 0.0% of total-time
Operation ival-<, time spent: 126.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.0ms, 0.0% of total-time
Bogosity

eval1.3min (13.1%)

Compiler

Compiled 3260367 to 2104290 computations (35.5% saved)

simplify51.4s (8.6%)

Algorithm
148×egg-herbie
Rules
98048×fma-define
79242×times-frac
77016×*-commutative
72988×associate-*r*
66634×distribute-lft-in
Stop Event
31×saturated
117×node limit
26×fuel
5×done
Counts
65497 → 54242
Compiler

Compiled 13124 to 8441 computations (35.7% saved)

soundness47.9s (8%)

Rules
109462×fma-define
80644×associate-*r*
80390×times-frac
61938×associate-*l*
61868×*-commutative
Stop Event
7×saturated
164×node limit
1×unsound
Compiler

Compiled 31048 to 18701 computations (39.8% saved)

analyze38.7s (6.5%)

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.6%30.4%60.2%1.8%0%7.3%0.4%4
35.9%32.4%57.9%1.8%0%7.3%0.6%5
40.2%36.2%53.9%1.8%0%7.4%0.7%6
45%40.3%49.1%1.8%0%8%0.8%7
47.4%41.8%46.4%1.8%0%9.2%0.9%8
50.2%44.1%43.7%1.8%0%9.5%0.9%9
51.3%44.9%42.6%1.8%0%9.7%1%10
53%46.1%40.9%1.8%0%10.2%1%11
54.7%47.3%39.1%1.8%0%10.8%1%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 33.8s
Operation ival-sin, time spent: 17.1s, 50.0% of total-time
Operation ival-tan, time spent: 7.1s, 21.0% of total-time
Operation ival-mult, time spent: 2.6s, 8.0% of total-time
Operation ival-cos, time spent: 2.5s, 8.0% of total-time
Operation ival-div, time spent: 1.6s, 5.0% of total-time
Operation ival-pow, time spent: 1.3s, 4.0% of total-time
Operation ival-add, time spent: 554.0ms, 2.0% of total-time
Operation ival-sub, time spent: 347.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 285.0ms, 1.0% of total-time
Operation const, time spent: 179.0ms, 1.0% of total-time
Operation ival-neg, time spent: 113.0ms, 0.0% of total-time
Operation ival-exp, time spent: 70.0ms, 0.0% of total-time
Operation ival-acos, time spent: 63.0ms, 0.0% of total-time
Operation ival-pi, time spent: 42.0ms, 0.0% of total-time
Operation ival-asin, time spent: 24.0ms, 0.0% of total-time
Operation ival-<, time spent: 22.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 15.0ms, 0.0% of total-time
Operation ival-log, time spent: 11.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

preprocess29.3s (4.9%)

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 64296 to 38552 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
Operation ival-mult, time spent: 2.3s, 26.0% of total-time
Operation ival-div, time spent: 1.6s, 17.0% of total-time
Operation ival-pow, time spent: 1.1s, 12.0% of total-time
Operation ival-tan, time spent: 723.0ms, 8.0% of total-time
Operation ival-sub, time spent: 545.0ms, 6.0% of total-time
Operation ival-add, time spent: 541.0ms, 6.0% of total-time
Operation ival-exp, time spent: 465.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 429.0ms, 5.0% of total-time
Operation composed, time spent: 287.0ms, 3.0% of total-time
Operation ival-cos, time spent: 268.0ms, 3.0% of total-time
Operation const, time spent: 240.0ms, 3.0% of total-time
Operation ival-sin, time spent: 190.0ms, 2.0% of total-time
Operation ival-neg, time spent: 152.0ms, 2.0% of total-time
Operation ival-acos, time spent: 94.0ms, 1.0% of total-time
Operation ival-log, time spent: 75.0ms, 1.0% of total-time
Operation ival-pi, time spent: 36.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

prune26.7s (4.5%)

Counts
91220 → 2856
Compiler

Compiled 138290 to 96310 computations (30.4% saved)

rewrite25.6s (4.3%)

Algorithm
117×batch-egg-rewrite
Rules
72035×log1p-expm1-u
50818×expm1-log1p-u
34294×prod-diff
29902×log-prod
28710×associate-*r*
Stop Event
115×node limit
2×unsound
Counts
1170 → 33917

regimes22.5s (3.8%)

Counts
8721 → 760
Calls

152 calls:

1.8s
l
1.2s
k
963.0ms
NaChar
800.0ms
t
775.0ms
F
Compiler

Compiled 8125 to 6294 computations (22.5% saved)

bsearch14.6s (2.4%)

Algorithm
321×binary-search
114×left-value
Stop Event
10×predicate-same
311×narrow-enough
Results
8.6s29146×256valid
1.5s4978×256infinite
1.4s4652×256invalid
585.0ms961×1024valid
359.0ms432×2048valid
182.0ms428×512valid
55.0ms129×1024invalid
46.0ms60×4096valid
19.0ms59×512invalid
50.0ms41×2048infinite
13.0ms22×1024infinite
21.0ms18×8192valid
5.0ms10×512infinite
Compiler

Compiled 94159 to 71369 computations (24.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.7s
Operation ival-div, time spent: 1.5s, 20.0% of total-time
Operation ival-mult, time spent: 1.5s, 19.0% of total-time
Operation ival-pow, time spent: 1.3s, 17.0% of total-time
Operation ival-add, time spent: 1.0s, 13.0% of total-time
Operation ival-sub, time spent: 515.0ms, 7.0% of total-time
Operation ival-tan, time spent: 502.0ms, 7.0% of total-time
Operation ival-sin, time spent: 490.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 201.0ms, 3.0% of total-time
Operation ival-neg, time spent: 179.0ms, 2.0% of total-time
Operation const, time spent: 166.0ms, 2.0% of total-time
Operation ival-exp, time spent: 133.0ms, 2.0% of total-time
Operation ival-cos, time spent: 89.0ms, 1.0% of total-time
Operation composed, time spent: 73.0ms, 1.0% of total-time
Operation ival-asin, time spent: 13.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

series12.4s (2.1%)

Counts
1170 → 31580
Calls

8190 calls:

TimeVariablePointExpression
261.0ms
n
@inf
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ 1 (/ Om (pow l 2))))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
221.0ms
v
@inf
(/ (/ (/ 4/3 (PI)) (- 1 (* v v))) (sqrt (+ (* (* v v) -6) 2)))
195.0ms
f
@inf
(* (/ 1 (/ (PI) 4)) (log (/ 2 (* f (* (PI) 1/2)))))
177.0ms
h
@0
(* (/ c0 (pow D 2)) (/ (pow d 2) (* h w)))
171.0ms
kx
@-inf
(sqrt (sqrt (+ (* 1 1) (* (* (/ 2 (/ Om l)) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))) (* (/ 2 (/ Om l)) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))))))))

end31.0ms (0%)

Profiling

Loading profile data...