Herbie run

Date:Friday, April 12th, 2024
Commit:f7c2f43b on zane-regimes-lt-or-eq
Hostname:nightly with Racket 8.11.1
Seed:2024103
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: 9.1min)

localize2.8min (31%)

Results
48.0s26619×256valid
9.3s2389×256invalid
1.4s672×256unsamplable
1.4min528×8192exit
Compiler

Compiled 109482 to 27676 computations (74.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-tan: 32.8s (24.2% of total)
ival-sin: 20.1s (14.8% of total)
ival-mult: 17.9s (13.2% of total)
ival-atan: 16.4s (12.1% of total)
ival-pow: 15.4s (11.3% of total)
ival-div: 7.4s (5.4% of total)
ival-add: 5.2s (3.8% of total)
<compiled-spec>: 3.9s (2.9% of total)
ival-sub: 3.2s (2.3% of total)
ival-log: 3.1s (2.3% of total)
ival-sqrt: 2.6s (1.9% of total)
ival-exp: 1.5s (1.1% of total)
const: 1.3s (1% of total)
ival-cos: 1.2s (0.9% of total)
ival-fmax: 1.2s (0.9% of total)
ival-neg: 637.0ms (0.5% of total)
ival-cbrt: 294.0ms (0.2% of total)
ival-if: 235.0ms (0.2% of total)
ival->=: 215.0ms (0.2% of total)
ival-log2: 178.0ms (0.1% of total)
ival-asin: 168.0ms (0.1% of total)
ival-sinh: 149.0ms (0.1% of total)
ival-floor: 111.0ms (0.1% of total)
ival->: 103.0ms (0.1% of total)
ival-pi: 63.0ms (0% of total)
ival-fabs: 43.0ms (0% of total)
ival-<: 29.0ms (0% of total)
ival-acos: 7.0ms (0% of total)
ival-e: 6.0ms (0% of total)

sample1.5min (15.9%)

Results
1.1min247680×0valid
1.4s8289×0invalid
697.0ms2069×0precondition
48.0ms67×5exit
Precisions
Click to see histograms. Total time spent on operations: 52.7s
ival-mult: 13.5s (25.5% of total)
ival-<=: 9.4s (17.8% of total)
ival-div: 4.5s (8.5% of total)
ival-sub: 3.1s (5.9% of total)
ival-add: 2.8s (5.4% of total)
ival-sin: 2.2s (4.1% of total)
ival-sqrt: 2.0s (3.7% of total)
ival-log: 1.8s (3.5% of total)
ival-fabs: 1.8s (3.4% of total)
ival-tan: 1.6s (3% of total)
ival-and: 1.5s (2.9% of total)
ival-cos: 1.3s (2.5% of total)
const: 1.3s (2.4% of total)
ival-atan: 989.0ms (1.9% of total)
ival-floor: 864.0ms (1.6% of total)
ival-exp: 782.0ms (1.5% of total)
ival-neg: 654.0ms (1.2% of total)
ival-pi: 621.0ms (1.2% of total)
ival-fmax: 352.0ms (0.7% of total)
ival-<: 337.0ms (0.6% of total)
ival->: 299.0ms (0.6% of total)
ival-if: 292.0ms (0.6% of total)
ival-log2: 245.0ms (0.5% of total)
ival-==: 212.0ms (0.4% of total)
ival-asin: 144.0ms (0.3% of total)
backward-pass: 141.0ms (0.3% of total)
ival-sinh: 89.0ms (0.2% of total)
ival->=: 82.0ms (0.2% of total)
Bogosity

simplify1.0min (11.1%)

Algorithm
145×egg-herbie
Rules
98846×fma-define
72740×*-commutative
66424×times-frac
63714×distribute-lft-in
60272×associate-*r*
Stop Event
30×saturated
115×node limit
Counts
67320 → 54298

eval50.3s (9.2%)

Compiler

Compiled 8659004 to 2288895 computations (73.6% saved)

soundness45.8s (8.4%)

Rules
95164×fma-define
61442×times-frac
60022×associate-*r*
55044×*-commutative
54630×distribute-lft-in
Stop Event
7×saturated
131×node limit
28×fuel
2×done
Compiler

Compiled 34450 to 18994 computations (44.9% saved)

prune30.5s (5.6%)

Counts
100046 → 3468
Compiler

Compiled 245823 to 134230 computations (45.4% saved)

rewrite25.6s (4.7%)

Algorithm
115×batch-egg-rewrite
Rules
61314×log1p-expm1-u
47702×expm1-log1p-u
34192×log-prod
32483×add-exp-log
32137×pow1
Stop Event
115×node limit
Counts
1328 → 32580

analyze25.2s (4.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
Compiler

Compiled 2668 to 1267 computations (52.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.9s
ival-mult: 4.1s (25.8% of total)
ival-<=: 2.7s (17.2% of total)
ival-fabs: 1.7s (10.4% of total)
ival-div: 1.2s (7.3% of total)
ival-floor: 881.0ms (5.5% of total)
ival-sqrt: 850.0ms (5.3% of total)
ival-add: 581.0ms (3.6% of total)
ival-if: 531.0ms (3.3% of total)
ival-and: 531.0ms (3.3% of total)
ival-==: 476.0ms (3% of total)
ival-fmax: 459.0ms (2.9% of total)
const: 321.0ms (2% of total)
ival-sub: 284.0ms (1.8% of total)
ival-tan: 202.0ms (1.3% of total)
ival-log2: 200.0ms (1.3% of total)
ival-sin: 182.0ms (1.1% of total)
ival-cos: 142.0ms (0.9% of total)
ival->: 99.0ms (0.6% of total)
ival->=: 83.0ms (0.5% of total)
ival-log: 81.0ms (0.5% of total)
ival-<: 75.0ms (0.5% of total)
ival-exp: 73.0ms (0.5% of total)
ival-atan: 63.0ms (0.4% of total)
ival-neg: 63.0ms (0.4% of total)
ival-pi: 40.0ms (0.3% of total)
ival-asin: 19.0ms (0.1% of total)
ival-sinh: 17.0ms (0.1% of total)

regimes16.4s (3%)

Counts
6682 → 327
Calls

145 calls:

531.0ms
ux
512.0ms
cosTheta_i
508.0ms
maxCos
504.0ms
(/.f32 u1 (-.f32 #s(literal 1 binary32) u1))
499.0ms
(*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))
Compiler

Compiled 11193 to 7757 computations (30.7% saved)

explain14.2s (2.6%)

Results
10.1s15360×256valid
Compiler

Compiled 16652 to 4502 computations (73% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0s
ival-mult: 2.5s (31.5% of total)
ival-tan: 1.1s (13.6% of total)
ival-div: 772.0ms (9.6% of total)
ival-sub: 748.0ms (9.3% of total)
ival-sin: 620.0ms (7.7% of total)
ival-cos: 529.0ms (6.6% of total)
ival-atan: 416.0ms (5.2% of total)
ival-add: 371.0ms (4.6% of total)
ival-log: 285.0ms (3.6% of total)
ival-sqrt: 191.0ms (2.4% of total)
const: 127.0ms (1.6% of total)
ival-exp: 87.0ms (1.1% of total)
ival-floor: 46.0ms (0.6% of total)
ival-neg: 46.0ms (0.6% of total)
ival-pi: 35.0ms (0.4% of total)
ival-fmax: 25.0ms (0.3% of total)
ival-sinh: 24.0ms (0.3% of total)
ival-log2: 22.0ms (0.3% of total)
ival-if: 16.0ms (0.2% of total)
ival-asin: 11.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival->=: 6.0ms (0.1% of total)
ival->: 5.0ms (0.1% of total)
ival-<: 4.0ms (0% of total)

series14.1s (2.6%)

Counts
1328 → 34740
Calls

7698 calls:

TimeVariablePointExpression
210.0ms
s
@0
(* (neg s) (log (+ (/ 1 (+ (/ u (+ 1 (exp (/ (PI) (neg s))))) (/ (- 1 u) (+ 1 (exp (/ (PI) s)))))) -1)))
157.0ms
alpha
@0
(/ (- (* alpha alpha) 1) (* (* (PI) (log (* alpha alpha))) (+ 1 (* (* (- (* alpha alpha) 1) cosTheta) cosTheta))))
153.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 h) dY.v) (* (floor h) dY.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)))) 2)) 1/4)
139.0ms
cosTheta
@inf
(/ 1 (+ 1 (+ (* (/ (sqrt (+ 1 (* cosTheta -2))) (* (sqrt (PI)) cosTheta)) (pow (exp (neg cosTheta)) cosTheta)) c)))
121.0ms
dX.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)))

preprocess8.1s (1.5%)

Algorithm
30×egg-herbie
Rules
30630×fma-define
21782×fma-neg
15892×unsub-neg
14706×distribute-lft-neg-in
11858×distribute-rgt-neg-in
Stop Event
11×saturated
19×node limit
Compiler

Compiled 30156 to 16216 computations (46.2% saved)

bsearch23.0ms (0%)

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

Compiled 2195 to 1469 computations (33.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...