Herbie run

Date:Friday, March 15th, 2024
Commit:780c4768 on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024075
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: 16.1min)

analyze5.4min (33.5%)

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: 35.3s, 27.0% of total-time
Operation ival-<=, time spent: 31.3s, 24.0% of total-time
Operation ival-fabs, time spent: 17.9s, 13.0% of total-time
Operation ival-floor, time spent: 11.4s, 9.0% of total-time
Operation ival-add, time spent: 7.0s, 5.0% of total-time
Operation ival-and, time spent: 5.5s, 4.0% of total-time
Operation ival-log2, time spent: 4.4s, 3.0% of total-time
Operation ival-fmax, time spent: 4.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.5s, 3.0% of total-time
Operation ival-div, time spent: 3.3s, 3.0% of total-time
Operation const, time spent: 3.1s, 2.0% of total-time
Operation ival-if, time spent: 1.8s, 1.0% of total-time
Operation ival-==, time spent: 1.1s, 1.0% of total-time
Operation ival-sub, time spent: 716.0ms, 1.0% of total-time
Operation ival->, time spent: 478.0ms, 0.0% of total-time
Operation ival->=, time spent: 366.0ms, 0.0% of total-time
Operation ival-cos, time spent: 186.0ms, 0.0% of total-time
Operation ival-tan, time spent: 185.0ms, 0.0% of total-time
Operation ival-<, time spent: 174.0ms, 0.0% of total-time
Operation ival-sin, time spent: 172.0ms, 0.0% of total-time
Operation ival-log, time spent: 97.0ms, 0.0% of total-time
Operation ival-exp, time spent: 65.0ms, 0.0% of total-time
Operation ival-atan, time spent: 56.0ms, 0.0% of total-time
Operation ival-neg, time spent: 51.0ms, 0.0% of total-time
Operation ival-pi, time spent: 32.0ms, 0.0% of total-time
Operation ival-asin, time spent: 22.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 21.0ms, 0.0% of total-time

localize2.7min (17%)

Compiler

Compiled 85440 to 24395 computations (71.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-mult, time spent: 19.8s, 25.0% of total-time
Operation ival-pow, time spent: 16.0s, 20.0% of total-time
Operation ival-add, time spent: 7.1s, 9.0% of total-time
Operation ival-div, time spent: 6.3s, 8.0% of total-time
Operation composed, time spent: 6.0s, 8.0% of total-time
Operation ival-exp, time spent: 3.5s, 4.0% of total-time
Operation ival-sub, time spent: 3.4s, 4.0% of total-time
Operation ival-log, time spent: 2.8s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 3.0% of total-time
Operation ival-tan, time spent: 2.4s, 3.0% of total-time
Operation ival-sin, time spent: 2.1s, 3.0% of total-time
Operation const, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 1.2s, 2.0% of total-time
Operation ival-fmax, time spent: 1.1s, 1.0% of total-time
Operation ival-atan, time spent: 582.0ms, 1.0% of total-time
Operation ival-if, time spent: 487.0ms, 1.0% of total-time
Operation ival-neg, time spent: 364.0ms, 0.0% of total-time
Operation ival-pi, time spent: 362.0ms, 0.0% of total-time
Operation ival-log2, time spent: 339.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 206.0ms, 0.0% of total-time
Operation ival-floor, time spent: 173.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 145.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 142.0ms, 0.0% of total-time
Operation ival->, time spent: 128.0ms, 0.0% of total-time
Operation ival-asin, time spent: 83.0ms, 0.0% of total-time
Operation ival->=, time spent: 74.0ms, 0.0% of total-time
Operation ival-<, time spent: 17.0ms, 0.0% of total-time
Operation ival-acos, time spent: 10.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

sample2.5min (15.8%)

Results
2.2min239424×256valid
2.5s8418×256invalid
916.0ms2072×256precondition
Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation ival-mult, time spent: 17.7s, 24.0% of total-time
Operation ival-<=, time spent: 12.3s, 16.0% of total-time
Operation ival-div, time spent: 6.0s, 8.0% of total-time
Operation ival-sqrt, time spent: 5.9s, 8.0% of total-time
Operation ival-fabs, time spent: 4.9s, 7.0% of total-time
Operation ival-sub, time spent: 2.7s, 4.0% of total-time
Operation ival-add, time spent: 2.7s, 4.0% of total-time
Operation ival-floor, time spent: 2.6s, 3.0% of total-time
Operation ival-sin, time spent: 2.6s, 3.0% of total-time
Operation ival-log, time spent: 2.1s, 3.0% of total-time
Operation ival-tan, time spent: 1.8s, 2.0% of total-time
Operation ival-and, time spent: 1.7s, 2.0% of total-time
Operation ival-cos, time spent: 1.6s, 2.0% of total-time
Operation const, time spent: 1.6s, 2.0% of total-time
Operation ival-exp, time spent: 1.0s, 1.0% of total-time
Operation ival-atan, time spent: 977.0ms, 1.0% of total-time
Operation ival-log2, time spent: 900.0ms, 1.0% of total-time
Operation ival-==, time spent: 832.0ms, 1.0% of total-time
Operation ival-neg, time spent: 819.0ms, 1.0% of total-time
Operation ival->, time spent: 776.0ms, 1.0% of total-time
Operation ival-if, time spent: 715.0ms, 1.0% of total-time
Operation ival-pi, time spent: 693.0ms, 1.0% of total-time
Operation ival-<, time spent: 593.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 566.0ms, 1.0% of total-time
Operation ival-asin, time spent: 467.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 116.0ms, 0.0% of total-time
Operation ival->=, time spent: 109.0ms, 0.0% of total-time
Bogosity

eval1.4min (8.9%)

Compiler

Compiled 5934036 to 2117870 computations (64.3% saved)

simplify55.6s (5.8%)

Algorithm
141×egg-herbie
Rules
102232×fma-define
69438×*-commutative
66444×associate-*r*
64252×distribute-lft-in
63910×times-frac
Stop Event
29×saturated
112×node limit
27×fuel
2×done
Counts
61766 → 51170
Compiler

Compiled 7266 to 4354 computations (40.1% saved)

soundness47.9s (5%)

Rules
98660×fma-define
62982×associate-*r*
61642×times-frac
52742×*-commutative
49778×distribute-lft-in
Stop Event
8×saturated
141×node limit
Compiler

Compiled 31410 to 17421 computations (44.5% saved)

preprocess41.7s (4.3%)

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 50030 to 23237 computations (53.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
Operation ival-mult, time spent: 2.5s, 27.0% of total-time
Operation ival-div, time spent: 1.3s, 14.0% of total-time
Operation ival-sin, time spent: 901.0ms, 10.0% of total-time
Operation ival-tan, time spent: 887.0ms, 10.0% of total-time
Operation ival-sub, time spent: 843.0ms, 9.0% of total-time
Operation ival-cos, time spent: 507.0ms, 6.0% of total-time
Operation ival-add, time spent: 461.0ms, 5.0% of total-time
Operation ival-atan, time spent: 407.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 296.0ms, 3.0% of total-time
Operation ival-log, time spent: 288.0ms, 3.0% of total-time
Operation const, time spent: 168.0ms, 2.0% of total-time
Operation ival-floor, time spent: 159.0ms, 2.0% of total-time
Operation ival-log2, time spent: 93.0ms, 1.0% of total-time
Operation ival-exp, time spent: 92.0ms, 1.0% of total-time
Operation ival-neg, time spent: 65.0ms, 1.0% of total-time
Operation ival-if, time spent: 62.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 52.0ms, 1.0% of total-time
Operation ival-pi, time spent: 49.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 24.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 22.0ms, 0.0% of total-time
Operation ival->, time spent: 20.0ms, 0.0% of total-time
Operation ival->=, time spent: 11.0ms, 0.0% of total-time
Operation ival-asin, time spent: 10.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time

prune32.7s (3.4%)

Counts
95694 → 3461
Compiler

Compiled 225760 to 127780 computations (43.4% saved)

rewrite24.2s (2.5%)

Algorithm
112×batch-egg-rewrite
Rules
60728×log1p-expm1-u
44187×expm1-log1p-u
31060×log-prod
30540×add-exp-log
30165×add-log-exp
Stop Event
112×node limit
Counts
1261 → 31520

regimes18.7s (1.9%)

Counts
7131 → 310
Calls

138 calls:

692.0ms
s
673.0ms
maxCos
666.0ms
ux
499.0ms
(*.f32 sinTheta_i sinTheta_O)
450.0ms
cosTheta_i
Compiler

Compiled 11031 to 7438 computations (32.6% saved)

series17.5s (1.8%)

Counts
1261 → 30246
Calls

6822 calls:

TimeVariablePointExpression
2.4s
h
@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)
525.0ms
dY.v
@-inf
(log (pow (exp (fabs (* (floor w) (* (floor h) (- (* dX.u dY.v) (* dX.v dY.u)))))) (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/2)))
321.0ms
h
@inf
(log (pow (exp (fabs (* (floor w) (* (floor h) (- (* dX.u dY.v) (* dX.v dY.u)))))) (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/2)))
286.0ms
x
@-inf
(log (+ 1 (exp (/ x (neg s)))))
222.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)

bsearch16.0ms (0%)

Algorithm
29×binary-search
15×left-value
Stop Event
29×narrow-enough
Compiler

Compiled 1089 to 742 computations (31.9% saved)

end13.0ms (0%)

Profiling

Loading profile data...