Herbie run

Date:Thursday, April 4th, 2024
Commit:9887997d on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024095
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: 2.1hr)

sample30.0min (23.3%)

Results
12.2min3465213×256valid
1.8min534502×256infinite
43.2s184543×256invalid
1.5min166880×1024valid
1.6min163749×512valid
34.1s144322×256precondition
2.0min90774×2048valid
5.0min50233×8192exit
9.4s37469×256unsamplable
1.1min13313×4096valid
11.6s12154×512infinite
7.8s10127×1024invalid
2.8s5829×512invalid
4.0s2044×1024infinite
21.9s1902×8192valid
8.3s1476×2048infinite
1.2s1233×2048invalid
7.6s1106×4096infinite
10.0ms11×512unsamplable
2.0ms1×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 17.6min
Operation ival-pow, time spent: 3.7min, 21.0% of total-time
Operation ival-mult, time spent: 3.0min, 17.0% of total-time
Operation ival-sin, time spent: 2.0min, 11.0% of total-time
Operation ival-div, time spent: 1.7min, 10.0% of total-time
Operation ival-add, time spent: 1.1min, 6.0% of total-time
Operation ival-sub, time spent: 1.1min, 6.0% of total-time
Operation ival-cos, time spent: 58.7s, 6.0% of total-time
Operation ival-exp, time spent: 40.5s, 4.0% of total-time
Operation ival-log, time spent: 39.9s, 4.0% of total-time
Operation ival-tan, time spent: 31.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 24.8s, 2.0% of total-time
Operation ival-<=, time spent: 23.2s, 2.0% of total-time
Operation const, time spent: 17.6s, 2.0% of total-time
Operation ival-neg, time spent: 8.5s, 1.0% of total-time
Operation ival-fabs, time spent: 8.3s, 1.0% of total-time
Operation ival-<, time spent: 6.9s, 1.0% of total-time
Operation ival-and, time spent: 4.4s, 0.0% of total-time
Operation ival-pi, time spent: 3.5s, 0.0% of total-time
Operation ival-atan2, time spent: 3.4s, 0.0% of total-time
Operation ival-acos, time spent: 3.1s, 0.0% of total-time
Operation ival-floor, time spent: 3.0s, 0.0% of total-time
Operation ival->, time spent: 2.8s, 0.0% of total-time
Operation ival-atan, time spent: 2.8s, 0.0% of total-time
Operation ival-asin, time spent: 2.7s, 0.0% of total-time
Operation ival-sinh, time spent: 2.3s, 0.0% of total-time
Operation ival-==, time spent: 1.3s, 0.0% of total-time
Operation composed, time spent: 1.2s, 0.0% of total-time
Operation ival-fmin, time spent: 957.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 949.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 895.0ms, 0.0% of total-time
Operation ival-if, time spent: 826.0ms, 0.0% of total-time
Operation ival->=, time spent: 598.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 570.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 548.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 521.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 417.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 316.0ms, 0.0% of total-time
Operation ival-log2, time spent: 276.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 110.0ms, 0.0% of total-time
Operation ival-or, time spent: 86.0ms, 0.0% of total-time
Bogosity

localize27.1min (21.1%)

Results
Compiler

Compiled 460705 to 213323 computations (53.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.2min
Operation ival-mult, time spent: 3.6min, 19.0% of total-time
Operation ival-pow, time spent: 3.3min, 17.0% of total-time
Operation ival-sin, time spent: 1.8min, 9.0% of total-time
Operation ival-div, time spent: 1.7min, 9.0% of total-time
Operation ival-cos, time spent: 1.4min, 7.0% of total-time
Operation composed, time spent: 1.3min, 7.0% of total-time
Operation ival-tan, time spent: 1.2min, 6.0% of total-time
Operation ival-add, time spent: 1.2min, 6.0% of total-time
Operation ival-log, time spent: 44.5s, 4.0% of total-time
Operation ival-sub, time spent: 41.9s, 4.0% of total-time
Operation ival-exp, time spent: 28.5s, 2.0% of total-time
Operation ival-atan, time spent: 27.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 25.1s, 2.0% of total-time
Operation const, time spent: 19.8s, 2.0% of total-time
Operation ival-asin, time spent: 12.8s, 1.0% of total-time
Operation ival-cbrt, time spent: 7.1s, 1.0% of total-time
Operation ival-acos, time spent: 5.5s, 0.0% of total-time
Operation ival-atan2, time spent: 4.3s, 0.0% of total-time
Operation ival-neg, time spent: 3.3s, 0.0% of total-time
Operation ival-fmax, time spent: 2.1s, 0.0% of total-time
Operation ival-fmod, time spent: 1.4s, 0.0% of total-time
Operation ival-if, time spent: 760.0ms, 0.0% of total-time
Operation ival-pi, time spent: 720.0ms, 0.0% of total-time
Operation ival->=, time spent: 646.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 467.0ms, 0.0% of total-time
Operation ival-log2, time spent: 371.0ms, 0.0% of total-time
Operation ival-floor, time spent: 330.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 307.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 232.0ms, 0.0% of total-time
Operation ival-e, time spent: 213.0ms, 0.0% of total-time
Operation ival->, time spent: 190.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 126.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 95.0ms, 0.0% of total-time
Operation ival-<, time spent: 60.0ms, 0.0% of total-time

eval13.6min (10.6%)

Results
Compiler

Compiled 36675422 to 19321687 computations (47.3% saved)

simplify10.2min (8%)

Algorithm
2234×egg-herbie
Rules
665227×fma-define
498468×fmm-def
490352×associate-*r*
487520×*-commutative
487071×distribute-lft-in
Stop Event
533×saturated
327×fuel
1684×node limit
17×unsound
206×done
Counts
786895 → 687656
Compiler

Compiled 133079 to 83863 computations (37% saved)

analyze8.9min (6.9%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.5%33.3%51.1%15.6%0%0%0%1
45.4%38%45.6%15.6%0%0.7%0%2
54.5%44.4%37.1%15.8%0%2.7%0%3
61.1%49.3%31.3%15.8%0%3.6%0%4
67.3%54%26.2%15.8%0%4%0%5
71.2%56.8%23%15.9%0%4.3%0%6
75.1%59.5%19.7%15.9%0%4.8%0.1%7
77.1%60.8%18%15.9%0%5.2%0.1%8
79.7%62.6%15.9%16%0%5.4%0.1%9
81.2%63.5%14.7%16%0%5.7%0.1%10
83.5%65.2%12.9%16%0%5.8%0.1%11
84.6%65.8%12%16%0%6%0.1%12
Results
Compiler

Compiled 13430 to 8701 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.1min
Operation ival-mult, time spent: 1.0min, 25.0% of total-time
Operation ival-<=, time spent: 51.1s, 21.0% of total-time
Operation ival-fabs, time spent: 27.1s, 11.0% of total-time
Operation ival-add, time spent: 18.6s, 7.0% of total-time
Operation ival-div, time spent: 12.8s, 5.0% of total-time
Operation ival-sqrt, time spent: 9.7s, 4.0% of total-time
Operation ival-floor, time spent: 9.0s, 4.0% of total-time
Operation ival-pow, time spent: 6.6s, 3.0% of total-time
Operation ival-sub, time spent: 6.3s, 3.0% of total-time
Operation ival-and, time spent: 6.1s, 2.0% of total-time
Operation ival-log2, time spent: 5.4s, 2.0% of total-time
Operation ival-sin, time spent: 5.4s, 2.0% of total-time
Operation const, time spent: 5.2s, 2.0% of total-time
Operation ival-fmax, time spent: 3.6s, 1.0% of total-time
Operation ival-cos, time spent: 3.5s, 1.0% of total-time
Operation ival-tan, time spent: 3.5s, 1.0% of total-time
Operation ival-if, time spent: 3.1s, 1.0% of total-time
Operation ival-==, time spent: 2.4s, 1.0% of total-time
Operation ival-<, time spent: 1.1s, 0.0% of total-time
Operation ival-log, time spent: 902.0ms, 0.0% of total-time
Operation ival-exp, time spent: 737.0ms, 0.0% of total-time
Operation ival->, time spent: 705.0ms, 0.0% of total-time
Operation ival-pi, time spent: 700.0ms, 0.0% of total-time
Operation ival-neg, time spent: 666.0ms, 0.0% of total-time
Operation ival->=, time spent: 645.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 400.0ms, 0.0% of total-time
Operation ival-atan, time spent: 218.0ms, 0.0% of total-time
Operation ival-or, time spent: 195.0ms, 0.0% of total-time
Operation ival-acos, time spent: 141.0ms, 0.0% of total-time
Operation ival-asin, time spent: 106.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 53.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 35.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 22.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 19.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 9.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 8.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

preprocess8.5min (6.6%)

Algorithm
539×egg-herbie
Rules
251430×fmm-def
250939×fma-define
104673×unsub-neg
100285×sub-neg
93578×distribute-lft-in
Stop Event
292×saturated
247×node limit
Results
Compiler

Compiled 514834 to 283111 computations (45% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7min
Operation ival-mult, time spent: 39.4s, 24.0% of total-time
Operation ival-sin, time spent: 23.7s, 14.0% of total-time
Operation ival-div, time spent: 22.0s, 13.0% of total-time
Operation ival-cos, time spent: 19.7s, 12.0% of total-time
Operation ival-pow, time spent: 17.1s, 10.0% of total-time
Operation ival-add, time spent: 11.0s, 7.0% of total-time
Operation ival-sub, time spent: 10.3s, 6.0% of total-time
Operation ival-log, time spent: 4.8s, 3.0% of total-time
Operation ival-tan, time spent: 3.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.5s, 2.0% of total-time
Operation const, time spent: 3.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.2s, 1.0% of total-time
Operation ival-atan, time spent: 874.0ms, 1.0% of total-time
Operation composed, time spent: 626.0ms, 0.0% of total-time
Operation ival-neg, time spent: 573.0ms, 0.0% of total-time
Operation ival-asin, time spent: 378.0ms, 0.0% of total-time
Operation ival-pi, time spent: 335.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 271.0ms, 0.0% of total-time
Operation ival->=, time spent: 195.0ms, 0.0% of total-time
Operation ival-acos, time spent: 143.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 125.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 101.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 97.0ms, 0.0% of total-time
Operation ival-floor, time spent: 64.0ms, 0.0% of total-time
Operation ival-if, time spent: 56.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 27.0ms, 0.0% of total-time
Operation ival-<, time spent: 25.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 13.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 12.0ms, 0.0% of total-time
Operation ival-log2, time spent: 11.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 9.0ms, 0.0% of total-time
Operation ival->, time spent: 7.0ms, 0.0% of total-time

soundness8.4min (6.6%)

Rules
622113×fma-define
470180×fmm-def
461329×log1p-expm1-u
399005×associate-*r*
362496×distribute-lft-in
Stop Event
158×saturated
1794×node limit
17×unsound
Compiler

Compiled 299830 to 174432 computations (41.8% saved)

rewrite6.2min (4.8%)

Algorithm
1701×batch-egg-rewrite
Rules
1123049×log1p-expm1-u
833989×expm1-log1p-u
367511×pow1
352550×add-exp-log
337604×add-log-exp
Stop Event
1686×node limit
15×unsound
Counts
13598 → 444175

prune5.3min (4.1%)

Counts
1033025 → 34859
Compiler

Compiled 1597872 to 1069059 computations (33.1% saved)

regimes4.9min (3.8%)

Counts
90592 → 9680
Calls

1163 calls:

29.1s
x
23.2s
z
21.7s
y
20.1s
t
16.7s
a
Compiler

Compiled 88011 to 66708 computations (24.2% saved)

bsearch3.4min (2.6%)

Algorithm
4943×binary-search
621×left-value
Stop Event
130×predicate-same
4813×narrow-enough
Results
1.8min455528×256valid
41.5s113381×256infinite
4.2s23129×256invalid
12.3s18464×512valid
5.4s8426×1024valid
2.7s3363×512infinite
2.3s2850×2048valid
989.0ms1069×4096valid
66.0ms334×256unsamplable
109.0ms178×1024invalid
81.0ms101×1024infinite
25.0ms87×512invalid
16.0ms14×8192valid
3.0ms4×2048infinite
Compiler

Compiled 1215804 to 899964 computations (26% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 32.4s, 36.0% of total-time
Operation ival-sub, time spent: 12.9s, 14.0% of total-time
Operation ival-add, time spent: 11.0s, 12.0% of total-time
Operation ival-div, time spent: 9.4s, 11.0% of total-time
Operation ival-sin, time spent: 4.7s, 5.0% of total-time
Operation ival-pow, time spent: 4.3s, 5.0% of total-time
Operation ival-cos, time spent: 3.4s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.5s, 3.0% of total-time
Operation ival-log, time spent: 2.4s, 3.0% of total-time
Operation const, time spent: 1.6s, 2.0% of total-time
Operation ival-atan2, time spent: 1.4s, 2.0% of total-time
Operation ival-exp, time spent: 1.1s, 1.0% of total-time
Operation ival-neg, time spent: 657.0ms, 1.0% of total-time
Operation ival-tan, time spent: 480.0ms, 1.0% of total-time
Operation ival-acos, time spent: 457.0ms, 1.0% of total-time
Operation ival-atan, time spent: 357.0ms, 0.0% of total-time
Operation ival-pi, time spent: 87.0ms, 0.0% of total-time
Operation ival-asin, time spent: 74.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 45.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 23.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 20.0ms, 0.0% of total-time
Operation ival-if, time spent: 17.0ms, 0.0% of total-time
Operation ival->=, time spent: 17.0ms, 0.0% of total-time
Operation composed, time spent: 11.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 11.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 6.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 3.0ms, 0.0% of total-time

series2.0min (1.6%)

Counts
13598 → 342720
Calls

83814 calls:

TimeVariablePointExpression
1.8s
dY.u
@0
(pow (exp 1) (log (+ 1 (sqrt (fmax (pow (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h))))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2))))))
1.3s
sin2phi
@inf
(/ (log (+ 1 (neg u0))) (- (/ (/ cos2phi alphax) (neg alphax)) (/ (/ sin2phi alphay) alphay)))
387.0ms
v
@inf
(/ (* cosTheta_i cosTheta_O) (* (* (sinh (/ 1 v)) (* (* v 2) v)) (pow (exp sinTheta_i) (/ sinTheta_O v))))
361.0ms
a
@-inf
(+ x (/ (- a x) (/ (+ t (- 1 z)) (- y z))))
350.0ms
B
@inf
(* (/ (sqrt 2) B) (sqrt (* F (- C (sqrt (+ (* B B) (* C C)))))))

end329.0ms (0%)

Profiling

Loading profile data...