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 (22.1%)

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: 18.2s, 19.0% of total-time
Operation ival-pow, time spent: 15.3s, 16.0% of total-time
Operation ival-div, time spent: 11.0s, 11.0% of total-time
Operation composed, time spent: 10.8s, 11.0% of total-time
Operation ival-tan, time spent: 9.7s, 10.0% of total-time
Operation ival-add, time spent: 6.1s, 6.0% of total-time
Operation ival-cos, time spent: 4.5s, 5.0% of total-time
Operation ival-sub, time spent: 3.4s, 4.0% of total-time
Operation ival-log, time spent: 3.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 3.0% of total-time
Operation ival-acos, time spent: 2.8s, 3.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-asin, time spent: 1.7s, 2.0% of total-time
Operation ival-sin, time spent: 1.7s, 2.0% of total-time
Operation ival-exp, time spent: 1.5s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.4s, 1.0% of total-time
Operation ival-neg, time spent: 1.3s, 1.0% of total-time
Operation ival-pi, time spent: 79.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 12.0ms, 0.0% of total-time

sample2.0min (19.8%)

Results
46.6s179710×256valid
14.8s67925×256invalid
11.0s42669×256infinite
7.6s10781×1024valid
7.8s9373×2048valid
3.9s8360×512valid
5.3s7629×1024invalid
1.7s4073×512invalid
2.4s1973×4096valid
1.0s781×8192valid
2.6s777×4096infinite
1.6s713×2048infinite
183.0ms403×512infinite
405.0ms396×1024infinite
39.0ms193×256unsamplable
70.0ms114×2048invalid
68.0ms15×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 18.0s, 27.0% of total-time
Operation ival-div, time spent: 11.3s, 17.0% of total-time
Operation ival-pow, time spent: 6.6s, 10.0% of total-time
Operation ival-tan, time spent: 5.3s, 8.0% of total-time
Operation ival-add, time spent: 4.8s, 7.0% of total-time
Operation ival-sub, time spent: 4.0s, 6.0% of total-time
Operation ival-sin, time spent: 4.0s, 6.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 5.0% of total-time
Operation ival-exp, time spent: 2.6s, 4.0% of total-time
Operation ival-cos, time spent: 1.7s, 3.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-neg, time spent: 1.2s, 2.0% of total-time
Operation ival-acos, time spent: 984.0ms, 1.0% of total-time
Operation composed, time spent: 769.0ms, 1.0% of total-time
Operation ival-log, time spent: 735.0ms, 1.0% of total-time
Operation ival-pi, time spent: 556.0ms, 1.0% of total-time
Operation ival-asin, time spent: 190.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 153.0ms, 0.0% of total-time
Operation ival-<, time spent: 127.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Bogosity

eval1.3min (12.8%)

Compiler

Compiled 3260367 to 2104290 computations (35.5% saved)

simplify50.7s (8.5%)

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)

soundness48.9s (8.2%)

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)

analyze39.3s (6.6%)

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.2s
Operation ival-sin, time spent: 17.0s, 51.0% of total-time
Operation ival-tan, time spent: 7.1s, 22.0% of total-time
Operation ival-cos, time spent: 2.4s, 7.0% of total-time
Operation ival-mult, time spent: 2.0s, 6.0% of total-time
Operation ival-pow, time spent: 1.8s, 5.0% of total-time
Operation ival-div, time spent: 1.2s, 4.0% of total-time
Operation ival-sqrt, time spent: 395.0ms, 1.0% of total-time
Operation ival-add, time spent: 383.0ms, 1.0% of total-time
Operation ival-sub, time spent: 345.0ms, 1.0% of total-time
Operation const, time spent: 184.0ms, 1.0% of total-time
Operation ival-neg, time spent: 96.0ms, 0.0% of total-time
Operation ival-exp, time spent: 78.0ms, 0.0% of total-time
Operation ival-acos, time spent: 70.0ms, 0.0% of total-time
Operation ival-pi, time spent: 35.0ms, 0.0% of total-time
Operation ival-asin, time spent: 26.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 19.0ms, 0.0% of total-time
Operation ival-<, time spent: 19.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

preprocess30.3s (5.1%)

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.2s
Operation ival-mult, time spent: 2.0s, 22.0% of total-time
Operation ival-div, time spent: 1.9s, 20.0% of total-time
Operation ival-pow, time spent: 1.1s, 12.0% of total-time
Operation ival-add, time spent: 812.0ms, 9.0% of total-time
Operation ival-tan, time spent: 680.0ms, 7.0% of total-time
Operation ival-sub, time spent: 464.0ms, 5.0% of total-time
Operation ival-exp, time spent: 391.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 384.0ms, 4.0% of total-time
Operation ival-cos, time spent: 315.0ms, 3.0% of total-time
Operation ival-sin, time spent: 259.0ms, 3.0% of total-time
Operation const, time spent: 236.0ms, 3.0% of total-time
Operation composed, time spent: 218.0ms, 2.0% of total-time
Operation ival-log, time spent: 206.0ms, 2.0% of total-time
Operation ival-neg, time spent: 194.0ms, 2.0% of total-time
Operation ival-acos, time spent: 62.0ms, 1.0% of total-time
Operation ival-pi, time spent: 28.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

rewrite27.3s (4.6%)

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

prune25.7s (4.3%)

Counts
91220 → 2856
Compiler

Compiled 138290 to 96310 computations (30.4% saved)

regimes22.6s (3.8%)

Counts
8721 → 760
Calls

152 calls:

1.6s
l
1.4s
k
1.0s
NaChar
1.0s
t
906.0ms
Vef
Compiler

Compiled 8125 to 6294 computations (22.5% saved)

bsearch14.9s (2.5%)

Algorithm
321×binary-search
114×left-value
Stop Event
10×predicate-same
311×narrow-enough
Results
8.3s29146×256valid
1.5s4978×256infinite
1.2s4652×256invalid
549.0ms961×1024valid
450.0ms432×2048valid
180.0ms428×512valid
72.0ms129×1024invalid
47.0ms60×4096valid
17.0ms59×512invalid
35.0ms41×2048infinite
13.0ms22×1024infinite
20.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.6s
Operation ival-mult, time spent: 1.6s, 22.0% of total-time
Operation ival-div, time spent: 1.6s, 21.0% of total-time
Operation ival-pow, time spent: 1.1s, 14.0% of total-time
Operation ival-sub, time spent: 662.0ms, 9.0% of total-time
Operation ival-add, time spent: 643.0ms, 8.0% of total-time
Operation ival-sin, time spent: 608.0ms, 8.0% of total-time
Operation ival-tan, time spent: 480.0ms, 6.0% of total-time
Operation ival-neg, time spent: 312.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 170.0ms, 2.0% of total-time
Operation const, time spent: 164.0ms, 2.0% of total-time
Operation ival-exp, time spent: 119.0ms, 2.0% of total-time
Operation composed, time spent: 108.0ms, 1.0% of total-time
Operation ival-cos, time spent: 89.0ms, 1.0% of total-time
Operation ival-asin, time spent: 12.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

series11.8s (2%)

Counts
1170 → 31580
Calls

8190 calls:

TimeVariablePointExpression
262.0ms
kx
@0
(sqrt (+ 1/2 (* 1/2 (/ 1 (* 2 (* (/ l Om) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))))))))
201.0ms
f
@inf
(* (/ 1 (/ (PI) 4)) (log (/ 2 (* f (* (PI) 1/2)))))
130.0ms
Om
@inf
(* (/ (- 1 (pow (/ Om Omc) 2)) (- 1 (* (pow (/ t l) 4) 4))) (+ 1 (* -2 (pow (/ t l) 2))))
125.0ms
ky
@0
(/ 1 (sqrt (+ 1 (* (pow (* 2 (/ l Om)) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))
88.0ms
f
@0
(* (log (+ (/ (+ (* -1/2 f) (* 2 (/ 1 (PI)))) f) (/ (+ (* 1/2 f) (* 2 (/ 1 (PI)))) f))) (/ -4 (PI)))

end38.0ms (0%)

Profiling

Loading profile data...