Herbie run

Date:Thursday, March 7th, 2024
Commit:36fc83f8 on main
Hostname:nightly with Racket 8.11.1
Seed:2024067
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: 13.2min)

localize4.3min (32.9%)

Compiler

Compiled 112576 to 28717 computations (74.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-tan, time spent: 29.0s, 19.0% of total-time
Operation ival-mult, time spent: 24.0s, 15.0% of total-time
Operation ival-sin, time spent: 23.1s, 15.0% of total-time
Operation ival-pow, time spent: 22.1s, 14.0% of total-time
Operation ival-atan, time spent: 17.2s, 11.0% of total-time
Operation ival-div, time spent: 9.0s, 6.0% of total-time
Operation ival-add, time spent: 6.0s, 4.0% of total-time
Operation composed, time spent: 4.6s, 3.0% of total-time
Operation ival-cos, time spent: 4.1s, 3.0% of total-time
Operation ival-sub, time spent: 3.3s, 2.0% of total-time
Operation ival-log, time spent: 3.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.5s, 2.0% of total-time
Operation const, time spent: 2.0s, 1.0% of total-time
Operation ival-exp, time spent: 1.9s, 1.0% of total-time
Operation ival-fmax, time spent: 755.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 343.0ms, 0.0% of total-time
Operation ival->, time spent: 289.0ms, 0.0% of total-time
Operation ival-neg, time spent: 268.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 245.0ms, 0.0% of total-time
Operation ival-log2, time spent: 189.0ms, 0.0% of total-time
Operation ival-floor, time spent: 155.0ms, 0.0% of total-time
Operation ival-<, time spent: 124.0ms, 0.0% of total-time
Operation ival-if, time spent: 120.0ms, 0.0% of total-time
Operation ival-pi, time spent: 120.0ms, 0.0% of total-time
Operation ival->=, time spent: 81.0ms, 0.0% of total-time
Operation ival-asin, time spent: 75.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 26.0ms, 0.0% of total-time
Operation ival-e, time spent: 18.0ms, 0.0% of total-time
Operation ival-acos, time spent: 7.0ms, 0.0% of total-time

sample2.0min (14.9%)

Results
1.7min247680×256valid
1.9s8323×256invalid
1.2s2063×256precondition
Precisions
Click to see histograms. Total time spent on operations: 52.5s
Operation ival-mult, time spent: 13.4s, 25.0% of total-time
Operation ival-<=, time spent: 9.4s, 18.0% of total-time
Operation ival-div, time spent: 4.8s, 9.0% of total-time
Operation ival-sin, time spent: 2.5s, 5.0% of total-time
Operation ival-sub, time spent: 2.4s, 5.0% of total-time
Operation ival-add, time spent: 2.1s, 4.0% of total-time
Operation ival-log, time spent: 2.0s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 4.0% of total-time
Operation ival-and, time spent: 1.8s, 3.0% of total-time
Operation ival-fabs, time spent: 1.8s, 3.0% of total-time
Operation ival-tan, 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.4s, 3.0% of total-time
Operation ival-pi, time spent: 1.1s, 2.0% of total-time
Operation ival-exp, time spent: 907.0ms, 2.0% of total-time
Operation ival-atan, time spent: 725.0ms, 1.0% of total-time
Operation ival-floor, time spent: 632.0ms, 1.0% of total-time
Operation ival-neg, time spent: 619.0ms, 1.0% of total-time
Operation ival-log2, time spent: 320.0ms, 1.0% of total-time
Operation ival->, time spent: 299.0ms, 1.0% of total-time
Operation ival-asin, time spent: 285.0ms, 1.0% of total-time
Operation ival-==, time spent: 283.0ms, 1.0% of total-time
Operation ival-<, time spent: 274.0ms, 1.0% of total-time
Operation ival->=, time spent: 248.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 126.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 121.0ms, 0.0% of total-time
Operation ival-if, time spent: 56.0ms, 0.0% of total-time
Bogosity

eval1.8min (13.5%)

Compiler

Compiled 15017357 to 2772647 computations (81.5% saved)

preprocess1.1min (8.4%)

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
Results
Compiler

Compiled 60896 to 27148 computations (55.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
Operation ival-mult, time spent: 2.3s, 30.0% of total-time
Operation ival-tan, time spent: 947.0ms, 12.0% of total-time
Operation ival-div, time spent: 745.0ms, 10.0% of total-time
Operation ival-sin, time spent: 692.0ms, 9.0% of total-time
Operation ival-sub, time spent: 666.0ms, 9.0% of total-time
Operation ival-atan, time spent: 571.0ms, 7.0% of total-time
Operation ival-cos, time spent: 476.0ms, 6.0% of total-time
Operation ival-add, time spent: 411.0ms, 5.0% of total-time
Operation ival-log, time spent: 274.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 216.0ms, 3.0% of total-time
Operation const, time spent: 155.0ms, 2.0% of total-time
Operation ival-exp, time spent: 80.0ms, 1.0% of total-time
Operation ival-pi, time spent: 48.0ms, 1.0% of total-time
Operation ival-neg, time spent: 42.0ms, 1.0% of total-time
Operation ival-floor, time spent: 39.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 24.0ms, 0.0% of total-time
Operation ival-log2, time spent: 20.0ms, 0.0% of total-time
Operation ival-asin, time spent: 10.0ms, 0.0% of total-time
Operation ival->=, time spent: 8.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.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-if, time spent: 4.0ms, 0.0% of total-time

simplify53.9s (6.8%)

Algorithm
145×egg-herbie
Rules
51441×fma-define
37385×*-commutative
33408×times-frac
33106×associate-*r*
32795×distribute-lft-in
Stop Event
30×saturated
115×node limit
28×fuel
2×done
Counts
62242 → 51858
Compiler

Compiled 9435 to 5296 computations (43.9% saved)

soundness44.6s (5.6%)

Rules
46057×fma-define
31850×times-frac
30276×log1p-expm1-u
28748×associate-*r*
27604×*-commutative
Stop Event
8×saturated
139×node limit
Compiler

Compiled 38094 to 18184 computations (52.3% saved)

analyze40.4s (5.1%)

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: 14.2s
Operation ival-mult, time spent: 4.0s, 28.0% of total-time
Operation ival-<=, time spent: 2.6s, 18.0% of total-time
Operation ival-fabs, time spent: 1.3s, 9.0% of total-time
Operation ival-div, time spent: 1.1s, 8.0% of total-time
Operation ival-floor, time spent: 659.0ms, 5.0% of total-time
Operation ival-add, time spent: 555.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 552.0ms, 4.0% of total-time
Operation ival-and, time spent: 516.0ms, 4.0% of total-time
Operation const, time spent: 331.0ms, 2.0% of total-time
Operation ival-sub, time spent: 326.0ms, 2.0% of total-time
Operation ival->, time spent: 307.0ms, 2.0% of total-time
Operation ival-==, time spent: 265.0ms, 2.0% of total-time
Operation ival-if, time spent: 263.0ms, 2.0% of total-time
Operation ival-tan, time spent: 221.0ms, 2.0% of total-time
Operation ival-log2, time spent: 219.0ms, 2.0% of total-time
Operation ival-pi, time spent: 208.0ms, 1.0% of total-time
Operation ival-cos, time spent: 200.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 188.0ms, 1.0% of total-time
Operation ival-sin, time spent: 151.0ms, 1.0% of total-time
Operation ival-<, time spent: 93.0ms, 1.0% of total-time
Operation ival-log, time spent: 76.0ms, 1.0% of total-time
Operation ival-atan, time spent: 56.0ms, 0.0% of total-time
Operation ival-exp, time spent: 27.0ms, 0.0% of total-time
Operation ival-neg, time spent: 25.0ms, 0.0% of total-time
Operation ival-asin, time spent: 24.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.4s (4.1%)

Counts
112831 → 3512
Compiler

Compiled 277647 to 142117 computations (48.8% saved)

regimes29.8s (3.8%)

Counts
7540 → 346
Calls

145 calls:

985.0ms
cosTheta_i
983.0ms
s
890.0ms
u2
881.0ms
uy
787.0ms
x
Compiler

Compiled 12563 to 8769 computations (30.2% saved)

rewrite23.1s (2.9%)

Algorithm
115×batch-egg-rewrite
Rules
61387×log1p-expm1-u
46129×expm1-log1p-u
32589×add-exp-log
32053×pow1
31572×add-log-exp
Stop Event
115×node limit
Counts
1243 → 30275

series14.9s (1.9%)

Counts
1243 → 31967
Calls

7308 calls:

TimeVariablePointExpression
270.0ms
w
@inf
(/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))))
217.0ms
d
@-inf
(log (fmax (pow (* dX.u (floor w)) 2) (pow (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 2)))
214.0ms
dY.v
@inf
(log (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)))
199.0ms
dX.u
@inf
(log (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)))
175.0ms
uy
@0
(* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (+ (- 1 ux) (* ux maxCos)) (+ (- 1 ux) (* ux maxCos))))))

bsearch25.0ms (0%)

Algorithm
33×binary-search
30×left-value
Stop Event
33×narrow-enough
Compiler

Compiled 2440 to 1400 computations (42.6% saved)

end22.0ms (0%)

Profiling

Loading profile data...