Herbie run

Date:Monday, March 18th, 2024
Commit:487b55ff on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024078
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: 18.7min)

analyze5.3min (28.6%)

Algorithm
30×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%2.6%97.4%0%0%0%0
0.2%0%2.6%97.4%0%0%0%1
9.2%0.2%2.4%97.4%0%0%0%2
10.8%0.3%2.3%97.4%0%0%0%3
15.5%0.4%2.2%97.4%0%0%0%4
48.8%1.3%1.3%97.4%0%0%0%5
53.6%1.4%1.2%97.4%0%0%0%6
70.7%1.8%0.8%97.4%0%0%0%7
72.6%1.9%0.7%97.4%0%0.1%0%8
81.8%2.1%0.5%97.4%0%0.1%0%9
83.3%2.1%0.4%97.4%0%0.1%0%10
88.8%2.2%0.3%97.4%0%0.1%0%11
89.5%2.2%0.3%97.4%0%0.1%0%12
Results
Compiler

Compiled 2668 to 1270 computations (52.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2min
Operation ival-mult, time spent: 37.8s, 29.0% of total-time
Operation ival-<=, time spent: 28.1s, 22.0% of total-time
Operation ival-fabs, time spent: 18.8s, 15.0% of total-time
Operation ival-floor, time spent: 8.3s, 6.0% of total-time
Operation ival-add, time spent: 6.8s, 5.0% of total-time
Operation ival-and, time spent: 5.4s, 4.0% of total-time
Operation ival-div, time spent: 5.2s, 4.0% of total-time
Operation ival-log2, time spent: 4.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 3.0% of total-time
Operation const, time spent: 3.1s, 2.0% of total-time
Operation ival-fmax, time spent: 2.9s, 2.0% of total-time
Operation ival-if, time spent: 1.7s, 1.0% of total-time
Operation ival-==, time spent: 1.0s, 1.0% of total-time
Operation ival-sub, time spent: 799.0ms, 1.0% of total-time
Operation ival->, time spent: 482.0ms, 0.0% of total-time
Operation ival->=, time spent: 370.0ms, 0.0% of total-time
Operation ival-sin, time spent: 208.0ms, 0.0% of total-time
Operation ival-<, time spent: 197.0ms, 0.0% of total-time
Operation ival-tan, time spent: 192.0ms, 0.0% of total-time
Operation ival-cos, time spent: 171.0ms, 0.0% of total-time
Operation ival-log, time spent: 87.0ms, 0.0% of total-time
Operation ival-exp, time spent: 62.0ms, 0.0% of total-time
Operation ival-atan, time spent: 47.0ms, 0.0% of total-time
Operation ival-neg, time spent: 41.0ms, 0.0% of total-time
Operation ival-pi, time spent: 34.0ms, 0.0% of total-time
Operation ival-asin, time spent: 22.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 16.0ms, 0.0% of total-time

localize4.1min (21.8%)

Compiler

Compiled 117984 to 27452 computations (76.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3min
Operation ival-tan, time spent: 30.6s, 22.0% of total-time
Operation ival-mult, time spent: 21.5s, 15.0% of total-time
Operation ival-sin, time spent: 20.4s, 15.0% of total-time
Operation ival-atan, time spent: 16.6s, 12.0% of total-time
Operation ival-pow, time spent: 10.9s, 8.0% of total-time
Operation ival-div, time spent: 9.2s, 7.0% of total-time
Operation ival-add, time spent: 7.6s, 5.0% of total-time
Operation composed, time spent: 5.4s, 4.0% of total-time
Operation ival-log, time spent: 4.0s, 3.0% of total-time
Operation ival-sub, time spent: 3.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.2s, 2.0% of total-time
Operation ival-exp, time spent: 2.0s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-cos, time spent: 1.4s, 1.0% of total-time
Operation ival-fmax, time spent: 1.2s, 1.0% of total-time
Operation ival-if, time spent: 423.0ms, 0.0% of total-time
Operation ival-neg, time spent: 379.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 345.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 236.0ms, 0.0% of total-time
Operation ival-log2, time spent: 174.0ms, 0.0% of total-time
Operation ival-floor, time spent: 167.0ms, 0.0% of total-time
Operation ival->, time spent: 166.0ms, 0.0% of total-time
Operation ival-pi, time spent: 115.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 96.0ms, 0.0% of total-time
Operation ival->=, time spent: 77.0ms, 0.0% of total-time
Operation ival-asin, time spent: 65.0ms, 0.0% of total-time
Operation ival-<, time spent: 41.0ms, 0.0% of total-time
Operation ival-acos, time spent: 30.0ms, 0.0% of total-time
Operation ival-e, time spent: 9.0ms, 0.0% of total-time

sample2.3min (12.2%)

Results
2.0min239424×256valid
2.0s8341×256invalid
868.0ms2120×256precondition
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-<=, time spent: 15.2s, 23.0% of total-time
Operation ival-mult, time spent: 14.6s, 22.0% of total-time
Operation ival-div, time spent: 5.5s, 8.0% of total-time
Operation ival-sub, time spent: 3.3s, 5.0% of total-time
Operation ival-log, time spent: 3.2s, 5.0% of total-time
Operation ival-sin, time spent: 2.8s, 4.0% of total-time
Operation ival-add, time spent: 2.5s, 4.0% of total-time
Operation ival-fmax, time spent: 2.2s, 3.0% of total-time
Operation ival-fabs, time spent: 1.9s, 3.0% of total-time
Operation ival-tan, time spent: 1.8s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 3.0% of total-time
Operation ival-and, time spent: 1.7s, 3.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-cos, time spent: 1.4s, 2.0% of total-time
Operation ival-atan, time spent: 992.0ms, 2.0% of total-time
Operation ival-exp, time spent: 890.0ms, 1.0% of total-time
Operation ival-floor, time spent: 809.0ms, 1.0% of total-time
Operation ival-pi, time spent: 759.0ms, 1.0% of total-time
Operation ival-neg, time spent: 577.0ms, 1.0% of total-time
Operation ival->, time spent: 450.0ms, 1.0% of total-time
Operation ival-if, time spent: 414.0ms, 1.0% of total-time
Operation ival-<, time spent: 402.0ms, 1.0% of total-time
Operation ival-==, time spent: 301.0ms, 0.0% of total-time
Operation ival-asin, time spent: 218.0ms, 0.0% of total-time
Operation ival-log2, time spent: 191.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 106.0ms, 0.0% of total-time
Operation ival->=, time spent: 96.0ms, 0.0% of total-time
Bogosity

preprocess2.1min (11.2%)

Algorithm
29×egg-herbie
Rules
30510×fma-define
21782×fma-neg
14260×unsub-neg
14136×distribute-lft-neg-in
11384×distribute-rgt-neg-in
Stop Event
11×saturated
18×node limit
Results
Compiler

Compiled 53878 to 23737 computations (55.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
Operation ival-mult, time spent: 2.2s, 27.0% of total-time
Operation ival-tan, time spent: 1.1s, 13.0% of total-time
Operation ival-div, time spent: 692.0ms, 9.0% of total-time
Operation ival-sub, time spent: 641.0ms, 8.0% of total-time
Operation ival-sin, time spent: 580.0ms, 7.0% of total-time
Operation ival-atan, time spent: 569.0ms, 7.0% of total-time
Operation ival-cos, time spent: 559.0ms, 7.0% of total-time
Operation ival-add, time spent: 523.0ms, 7.0% of total-time
Operation ival-log, time spent: 361.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 203.0ms, 3.0% of total-time
Operation const, time spent: 162.0ms, 2.0% of total-time
Operation ival-floor, time spent: 85.0ms, 1.0% of total-time
Operation ival-exp, time spent: 82.0ms, 1.0% of total-time
Operation ival-neg, time spent: 68.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 56.0ms, 1.0% of total-time
Operation ival-pi, time spent: 46.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 23.0ms, 0.0% of total-time
Operation ival-log2, time spent: 21.0ms, 0.0% of total-time
Operation ival-if, time spent: 18.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time
Operation ival-asin, time spent: 10.0ms, 0.0% of total-time
Operation ival-<, time spent: 10.0ms, 0.0% of total-time
Operation ival->=, time spent: 6.0ms, 0.0% of total-time
Operation ival->, time spent: 6.0ms, 0.0% of total-time

eval1.7min (9.2%)

Compiler

Compiled 10060494 to 2205921 computations (78.1% saved)

simplify1.1min (5.7%)

Algorithm
141×egg-herbie
Rules
98170×fma-define
71556×*-commutative
68468×distribute-lft-in
60508×times-frac
57688×distribute-rgt-in
Stop Event
29×saturated
112×node limit
27×fuel
2×done
Counts
62141 → 49865
Compiler

Compiled 7898 to 4183 computations (47% saved)

soundness42.0s (3.7%)

Rules
97300×fma-define
57252×times-frac
55594×distribute-lft-in
55572×*-commutative
55140×associate-*r*
Stop Event
7×saturated
130×node limit
Compiler

Compiled 27753 to 14179 computations (48.9% saved)

prune32.9s (2.9%)

Counts
101595 → 3602
Compiler

Compiled 280116 to 140834 computations (49.7% saved)

rewrite22.5s (2%)

Algorithm
112×batch-egg-rewrite
Rules
62421×log1p-expm1-u
45694×expm1-log1p-u
35196×log-prod
30310×pow1
29888×add-exp-log
Stop Event
112×node limit
Counts
1247 → 31196

regimes17.4s (1.6%)

Counts
6484 → 306
Calls

138 calls:

650.0ms
u1
604.0ms
cosTheta_i
576.0ms
v
543.0ms
x
539.0ms
u2
Compiler

Compiled 11167 to 6525 computations (41.6% saved)

series12.0s (1.1%)

Counts
1247 → 30945
Calls

7002 calls:

TimeVariablePointExpression
179.0ms
dX.u
@0
(pow (exp (sqrt (* 2 (log (* (floor w) dX.u))))) (sqrt (* 2 (log (* (floor w) dX.u)))))
130.0ms
dY.v
@inf
(pow (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) 1/4)
128.0ms
w
@0
(pow (exp (sqrt (* 2 (log (* (floor w) dX.u))))) (sqrt (* 2 (log (* (floor w) dX.u)))))
116.0ms
v
@0
(* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))
114.0ms
w
@inf
(pow (exp (sqrt (* 2 (log (* (floor w) dX.u))))) (sqrt (* 2 (log (* (floor w) dX.u)))))

end18.0ms (0%)

bsearch16.0ms (0%)

Algorithm
32×binary-search
17×left-value
Stop Event
32×narrow-enough
Compiler

Compiled 1145 to 788 computations (31.2% saved)

Profiling

Loading profile data...