Herbie run

Date:Wednesday, March 6th, 2024
Commit:790951ae on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024066
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: 11.9min)

localize3.8min (31.8%)

Compiler

Compiled 111407 to 29107 computations (73.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3min
Operation ival-tan, time spent: 29.9s, 22.0% of total-time
Operation ival-mult, time spent: 22.0s, 16.0% of total-time
Operation ival-sin, time spent: 21.4s, 16.0% of total-time
Operation ival-atan, time spent: 17.3s, 13.0% of total-time
Operation ival-pow, time spent: 11.8s, 9.0% of total-time
Operation ival-div, time spent: 7.6s, 6.0% of total-time
Operation ival-add, time spent: 5.9s, 4.0% of total-time
Operation composed, time spent: 4.3s, 3.0% of total-time
Operation ival-sub, time spent: 3.8s, 3.0% of total-time
Operation ival-cos, time spent: 3.2s, 2.0% of total-time
Operation ival-log, time spent: 2.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.4s, 2.0% of total-time
Operation const, time spent: 1.7s, 1.0% of total-time
Operation ival-exp, time spent: 1.3s, 1.0% of total-time
Operation ival-fmax, time spent: 396.0ms, 0.0% of total-time
Operation ival-neg, time spent: 354.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 251.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 187.0ms, 0.0% of total-time
Operation ival-log2, time spent: 163.0ms, 0.0% of total-time
Operation ival-pi, time spent: 151.0ms, 0.0% of total-time
Operation ival->, time spent: 111.0ms, 0.0% of total-time
Operation ival-floor, time spent: 88.0ms, 0.0% of total-time
Operation ival-asin, time spent: 79.0ms, 0.0% of total-time
Operation ival->=, time spent: 69.0ms, 0.0% of total-time
Operation ival-if, time spent: 49.0ms, 0.0% of total-time
Operation ival-<, time spent: 41.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 29.0ms, 0.0% of total-time
Operation ival-acos, time spent: 27.0ms, 0.0% of total-time

sample2.0min (16.9%)

Results
1.7min247680×256valid
2.6s8488×256invalid
829.0ms2089×256precondition
Precisions
Click to see histograms. Total time spent on operations: 54.4s
Operation ival-mult, time spent: 14.1s, 26.0% of total-time
Operation ival-<=, time spent: 9.9s, 18.0% of total-time
Operation ival-div, time spent: 4.7s, 9.0% of total-time
Operation ival-sub, time spent: 3.0s, 5.0% of total-time
Operation ival-sin, time spent: 2.7s, 5.0% of total-time
Operation ival-add, time spent: 2.2s, 4.0% of total-time
Operation ival-log, time spent: 2.1s, 4.0% of total-time
Operation ival-tan, time spent: 2.0s, 4.0% of total-time
Operation ival-and, time spent: 1.8s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 3.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-cos, time spent: 1.3s, 2.0% of total-time
Operation ival-floor, time spent: 1.1s, 2.0% of total-time
Operation ival-fabs, time spent: 1.0s, 2.0% of total-time
Operation ival-exp, time spent: 950.0ms, 2.0% of total-time
Operation ival-atan, time spent: 861.0ms, 2.0% of total-time
Operation ival-pi, time spent: 811.0ms, 1.0% of total-time
Operation ival-neg, time spent: 578.0ms, 1.0% of total-time
Operation ival-<, time spent: 543.0ms, 1.0% of total-time
Operation ival-log2, time spent: 341.0ms, 1.0% of total-time
Operation ival-==, time spent: 314.0ms, 1.0% of total-time
Operation ival->, time spent: 294.0ms, 1.0% of total-time
Operation ival-asin, time spent: 229.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 123.0ms, 0.0% of total-time
Operation ival->=, time spent: 113.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 110.0ms, 0.0% of total-time
Operation ival-if, time spent: 60.0ms, 0.0% of total-time
Bogosity

eval1.5min (12.8%)

Compiler

Compiled 9290990 to 2505234 computations (73% saved)

simplify56.4s (7.9%)

Algorithm
146×egg-herbie
Rules
50982×fma-define
35038×*-commutative
34299×times-frac
33846×distribute-lft-in
33754×associate-*r*
Stop Event
30×saturated
116×node limit
29×fuel
1×done
Counts
65443 → 52457
Compiler

Compiled 10005 to 5545 computations (44.6% saved)

soundness44.9s (6.3%)

Rules
45746×fma-define
31248×associate-*r*
31156×log1p-expm1-u
29628×times-frac
24911×distribute-lft-in
Stop Event
8×saturated
141×node limit
Compiler

Compiled 37759 to 17089 computations (54.7% saved)

analyze41.6s (5.8%)

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.3%0.2%2.4%97.4%0%0%0%2
43.2%1.1%1.5%97.4%0%0%0%3
48.1%1.3%1.4%97.4%0%0%0%4
65.1%1.7%0.9%97.4%0%0%0%5
70.3%1.8%0.8%97.4%0%0%0%6
79.1%2%0.5%97.4%0%0%0%7
81.1%2.1%0.5%97.4%0%0.1%0%8
86.1%2.2%0.4%97.4%0%0.1%0%9
87.6%2.2%0.3%97.4%0%0.1%0%10
91.9%2.3%0.2%97.4%0%0.1%0%11
92.6%2.3%0.2%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1270 computations (52.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.9s
Operation ival-mult, time spent: 3.4s, 25.0% of total-time
Operation ival-<=, time spent: 2.9s, 21.0% of total-time
Operation ival-fabs, time spent: 1.4s, 10.0% of total-time
Operation ival-div, time spent: 1.0s, 7.0% of total-time
Operation ival-floor, time spent: 712.0ms, 5.0% of total-time
Operation ival-and, time spent: 510.0ms, 4.0% of total-time
Operation ival-add, time spent: 478.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 417.0ms, 3.0% of total-time
Operation ival-==, time spent: 376.0ms, 3.0% of total-time
Operation ival-sub, time spent: 341.0ms, 2.0% of total-time
Operation const, time spent: 331.0ms, 2.0% of total-time
Operation ival->, time spent: 290.0ms, 2.0% of total-time
Operation ival-if, time spent: 284.0ms, 2.0% of total-time
Operation ival-log2, time spent: 260.0ms, 2.0% of total-time
Operation ival-fmax, time spent: 258.0ms, 2.0% of total-time
Operation ival-cos, time spent: 202.0ms, 1.0% of total-time
Operation ival-tan, time spent: 155.0ms, 1.0% of total-time
Operation ival-sin, time spent: 149.0ms, 1.0% of total-time
Operation ival-<, time spent: 136.0ms, 1.0% of total-time
Operation ival-log, time spent: 75.0ms, 1.0% of total-time
Operation ival-atan, time spent: 53.0ms, 0.0% of total-time
Operation ival-pi, time spent: 28.0ms, 0.0% of total-time
Operation ival-exp, time spent: 25.0ms, 0.0% of total-time
Operation ival-neg, time spent: 23.0ms, 0.0% of total-time
Operation ival-asin, time spent: 19.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 0.0ms, 0.0% of total-time

prune32.1s (4.5%)

Counts
103305 → 3468
Compiler

Compiled 254043 to 138765 computations (45.4% saved)

regimes31.4s (4.4%)

Counts
6458 → 337
Calls

145 calls:

1.4s
cosTheta_i
1.1s
maxCos
1.0s
dY.u
865.0ms
s
812.0ms
dX.v
Compiler

Compiled 13013 to 8957 computations (31.2% saved)

preprocess30.0s (4.2%)

Algorithm
30×egg-herbie
Rules
15315×fma-define
10891×fma-neg
7946×unsub-neg
7353×distribute-lft-neg-in
5929×distribute-rgt-neg-in
Stop Event
11×saturated
19×node limit
Compiler

Compiled 62784 to 26878 computations (57.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
Operation ival-mult, time spent: 2.5s, 31.0% of total-time
Operation ival-tan, time spent: 903.0ms, 11.0% of total-time
Operation ival-div, time spent: 670.0ms, 8.0% of total-time
Operation ival-sin, time spent: 617.0ms, 8.0% of total-time
Operation ival-sub, time spent: 582.0ms, 7.0% of total-time
Operation ival-add, time spent: 528.0ms, 7.0% of total-time
Operation ival-log, time spent: 525.0ms, 7.0% of total-time
Operation ival-cos, time spent: 471.0ms, 6.0% of total-time
Operation ival-atan, time spent: 460.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 188.0ms, 2.0% of total-time
Operation const, time spent: 156.0ms, 2.0% of total-time
Operation ival-exp, time spent: 90.0ms, 1.0% of total-time
Operation ival-floor, time spent: 56.0ms, 1.0% of total-time
Operation ival-pi, time spent: 49.0ms, 1.0% of total-time
Operation ival-neg, time spent: 43.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 23.0ms, 0.0% of total-time
Operation ival-log2, time spent: 20.0ms, 0.0% of total-time
Operation ival-asin, time spent: 11.0ms, 0.0% of total-time
Operation ival-fmax, 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
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time

rewrite24.4s (3.4%)

Algorithm
116×batch-egg-rewrite
Rules
59896×log1p-expm1-u
48020×expm1-log1p-u
32643×add-exp-log
32441×pow1
31895×add-log-exp
Stop Event
116×node limit
Counts
1293 → 32029

series14.7s (2%)

Counts
1293 → 33414
Calls

7839 calls:

TimeVariablePointExpression
268.0ms
h
@0
(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)
265.0ms
alphay
@-inf
(/ (- (/ (* cos2phi alphay) alphax) (* alphax (/ sin2phi alphay))) (* alphax alphay))
249.0ms
maxCos
@0
(* uy (* (sqrt (* ux (- 2 (* 2 maxCos)))) (PI)))
247.0ms
dY.u
@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)
215.0ms
w
@0
(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)) 3/4)

bsearch35.0ms (0%)

Algorithm
42×binary-search
23×left-value
Stop Event
42×narrow-enough
Compiler

Compiled 2688 to 1460 computations (45.7% saved)

end11.0ms (0%)

Profiling

Loading profile data...