Herbie run

Date:Thursday, June 6th, 2024
Commit:b2854467 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024158
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 10.7min)

prune2.2min (20.8%)

Counts
210226 → 4990
Compiler

Compiled 411484 to 175242 computations (57.4% saved)

soundness1.5min (13.8%)

Rules
842518×*-lowering-*.f32
842518×*-lowering-*.f64
420230×+-lowering-+.f32
420230×+-lowering-+.f64
363126×/-lowering-/.f32
Stop Event
10×saturated
202×iter limit
191×node limit
28×fuel
1×done
Compiler

Compiled 33217 to 15347 computations (53.8% saved)

simplify1.4min (13.3%)

Algorithm
265×egg-herbie
Rules
891294×*-lowering-*.f32
891294×*-lowering-*.f64
465054×+-lowering-+.f32
465054×+-lowering-+.f64
267046×/-lowering-/.f64
Stop Event
238×iter limit
53×saturated
210×node limit
2×unsound
Counts
71424 → 71424

sample1.4min (12.9%)

Results
1.1min247680×0valid
1.5s8320×0invalid
640.0ms2014×0precondition
26.0ms63×5exit
Precisions
Click to see histograms. Total time spent on operations: 51.5s
ival-mult: 10.9s (21.2% of total)
ival-<=: 8.8s (17.1% of total)
...c/correct-round.rkt:119:19: 7.6s (14.7% of total)
ival-div: 4.1s (7.9% of total)
ival-sub: 2.5s (4.9% of total)
ival-sin: 1.9s (3.7% of total)
ival-add: 1.8s (3.5% of total)
ival-fabs: 1.6s (3.2% of total)
ival-and: 1.6s (3.1% of total)
ival-floor: 1.5s (2.9% of total)
ival-log: 1.5s (2.8% of total)
ival-sqrt: 1.4s (2.7% of total)
ival-cos: 917.0ms (1.8% of total)
ival-exp: 703.0ms (1.4% of total)
ival-if: 595.0ms (1.2% of total)
ival-neg: 569.0ms (1.1% of total)
ival-pi: 557.0ms (1.1% of total)
const: 482.0ms (0.9% of total)
ival-fmax: 404.0ms (0.8% of total)
ival-tan: 369.0ms (0.7% of total)
ival-<: 354.0ms (0.7% of total)
ival->: 297.0ms (0.6% of total)
ival-log2: 281.0ms (0.5% of total)
ival-==: 172.0ms (0.3% of total)
ival-atan: 158.0ms (0.3% of total)
ival-asin: 129.0ms (0.3% of total)
ival-sinh: 129.0ms (0.3% of total)
backward-pass: 127.0ms (0.2% of total)
ival->=: 89.0ms (0.2% of total)
Bogosity

eval51.2s (7.9%)

Compiler

Compiled 33047530 to 484582 computations (98.5% saved)

localize50.9s (7.9%)

Results
25.2s27280×0valid
7.1s968×5exit
1.9s564×1valid
1.7s1232×0invalid
84.0ms164×0unsamplable
Compiler

Compiled 107749 to 5757 computations (94.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.2s
ival-mult: 4.4s (27.4% of total)
ival-div: 2.1s (13.1% of total)
ival-add: 1.5s (9.5% of total)
backward-pass: 1.3s (8.2% of total)
ival-pow: 1.3s (7.8% of total)
compiled-spec: 884.0ms (5.5% of total)
ival-log: 785.0ms (4.8% of total)
...c/correct-round.rkt:119:19: 539.0ms (3.3% of total)
ival-sin: 447.0ms (2.8% of total)
ival-sqrt: 442.0ms (2.7% of total)
ival-sub: 425.0ms (2.6% of total)
ival-exp: 297.0ms (1.8% of total)
ival-cos: 259.0ms (1.6% of total)
ival-neg: 161.0ms (1% of total)
ival-floor: 140.0ms (0.9% of total)
ival-tan: 131.0ms (0.8% of total)
const: 120.0ms (0.7% of total)
ival-fmax: 118.0ms (0.7% of total)
ival-if: 118.0ms (0.7% of total)
ival-log2: 112.0ms (0.7% of total)
ival-fabs: 101.0ms (0.6% of total)
ival-cosh: 101.0ms (0.6% of total)
ival-atan: 66.0ms (0.4% of total)
ival-asin: 62.0ms (0.4% of total)
ival-pi: 61.0ms (0.4% of total)
ival->=: 56.0ms (0.3% of total)
ival->: 27.0ms (0.2% of total)
ival-sinh: 17.0ms (0.1% of total)
ival-<: 8.0ms (0% of total)
ival-e: 7.0ms (0% of total)
ival-acos: 6.0ms (0% of total)

rewrite44.1s (6.8%)

Algorithm
118×batch-egg-rewrite
Rules
418102×*-lowering-*.f32
418102×*-lowering-*.f64
285256×/-lowering-/.f32
285256×/-lowering-/.f64
179896×fma-lowering-fma.f64
Stop Event
121×iter limit
116×node limit
2×unsound
Counts
2401 → 69229

regimes39.2s (6.1%)

Counts
17133 → 509
Calls

144 calls:

2.0s
cosTheta_i
1.1s
u1
1.1s
s
1.0s
u
998.0ms
u2
Compiler

Compiled 15333 to 11020 computations (28.1% saved)

analyze31.3s (4.8%)

Algorithm
30×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%2.6%97.4%0%0%0%0
0%0%2.6%97.4%0%0%0%1
7.8%0.2%2.4%97.4%0%0%0%2
8.5%0.2%2.4%97.4%0%0%0%3
12.8%0.3%2.3%97.4%0%0%0%4
47%1.2%1.4%97.4%0%0%0%5
51.8%1.3%1.2%97.4%0%0%0%6
69.5%1.8%0.8%97.4%0%0%0%7
71.6%1.8%0.7%97.4%0%0.1%0%8
81.1%2.1%0.5%97.4%0%0.1%0%9
82.6%2.1%0.4%97.4%0%0.1%0%10
88.3%2.2%0.3%97.4%0%0.1%0%11
89.1%2.2%0.3%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1046 computations (60.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.4s
ival-mult: 4.7s (24% of total)
ival-<=: 3.4s (17.6% of total)
...c/correct-round.rkt:119:19: 2.0s (10.6% of total)
ival-fabs: 1.6s (8.1% of total)
ival-div: 1.1s (5.5% of total)
ival-floor: 1.1s (5.5% of total)
ival-if: 716.0ms (3.7% of total)
ival-add: 692.0ms (3.6% of total)
ival-and: 678.0ms (3.5% of total)
ival-sqrt: 545.0ms (2.8% of total)
ival-sub: 403.0ms (2.1% of total)
ival-fmax: 383.0ms (2% of total)
ival-sin: 327.0ms (1.7% of total)
ival-cos: 235.0ms (1.2% of total)
ival-==: 229.0ms (1.2% of total)
ival-log2: 228.0ms (1.2% of total)
ival-log: 209.0ms (1.1% of total)
const: 140.0ms (0.7% of total)
ival->: 125.0ms (0.6% of total)
ival-tan: 122.0ms (0.6% of total)
ival-exp: 105.0ms (0.5% of total)
ival->=: 86.0ms (0.4% of total)
ival-pi: 83.0ms (0.4% of total)
ival-neg: 82.0ms (0.4% of total)
ival-<: 65.0ms (0.3% of total)
backward-pass: 41.0ms (0.2% of total)
ival-sinh: 39.0ms (0.2% of total)
ival-atan: 36.0ms (0.2% of total)
ival-asin: 19.0ms (0.1% of total)

series19.6s (3%)

Counts
2401 → 71424
Calls

14094 calls:

TimeVariablePointExpression
405.0ms
s
@0
(* (* -3 s) (log (+ 1 (+ (/ (* (* u (* u u)) -64/27) (+ 1/9 (* u (+ (* u 16/9) 4/9)))) (/ 1/27 (+ 1/9 (* u (+ (* u 16/9) 4/9))))))))
346.0ms
cosTheta
@inf
(/ 1 (+ (+ 1 c) (* (/ 1 (/ (pow (PI) 1/2) (/ (pow (+ 1 (* cosTheta -2)) 1/2) cosTheta))) (exp (* (neg cosTheta) cosTheta)))))
264.0ms
dX.v
@0
(* (/ 1 (sqrt (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)))))) (* (floor w) dX.u))
209.0ms
h
@-inf
(exp (+ (* (log dY.v) 2) (* 2 (log (floor h)))))
202.0ms
u1
@-inf
(* (log (+ 1 (/ (/ u0 (- 1 u0)) (+ (/ (/ 1 (+ 1 (pow (/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay)) 2))) (* alphax alphax)) (/ (pow (sin (atan (/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay)))) 2) (* alphay alphay)))))) -1/2)

preprocess8.9s (1.4%)

Algorithm
60×egg-herbie
Rules
49422×fma-define
44786×fnmadd-define
41132×sum3-define
37636×fmsub-define
35894×sum4-define
Stop Event
24×saturated
30×iter limit
36×node limit
Compiler

Compiled 50786 to 18774 computations (63% saved)

explain7.0s (1.1%)

Results
4.4s15294×0valid
111.0ms64×5exit
1.0ms2×1valid
Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 660.0ms (35% of total)
ival-div: 317.0ms (16.8% of total)
ival-add: 139.0ms (7.4% of total)
ival-sub: 104.0ms (5.5% of total)
ival-log: 104.0ms (5.5% of total)
ival-sin: 79.0ms (4.2% of total)
ival-sqrt: 70.0ms (3.7% of total)
ival-exp: 50.0ms (2.6% of total)
ival-floor: 47.0ms (2.5% of total)
ival-cos: 46.0ms (2.4% of total)
const: 43.0ms (2.3% of total)
ival-neg: 35.0ms (1.9% of total)
backward-pass: 26.0ms (1.4% of total)
...c/correct-round.rkt:119:19: 25.0ms (1.3% of total)
ival-pi: 24.0ms (1.3% of total)
ival-fmax: 22.0ms (1.2% of total)
ival-tan: 21.0ms (1.1% of total)
ival-if: 16.0ms (0.8% of total)
ival-log2: 16.0ms (0.8% of total)
ival-fabs: 10.0ms (0.5% of total)
ival-atan: 7.0ms (0.4% of total)
ival-sinh: 7.0ms (0.4% of total)
ival->=: 6.0ms (0.3% of total)
ival-asin: 5.0ms (0.3% of total)
ival->: 5.0ms (0.3% of total)
ival-<: 2.0ms (0.1% of total)

bsearch65.0ms (0%)

Algorithm
65×binary-search
41×left-value
Stop Event
65×narrow-enough
Compiler

Compiled 4601 to 2342 computations (49.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...