Herbie run

Date:Wednesday, June 12th, 2024
Commit:01076b9b on varun10p-ablationgraphs
Hostname:nightly with Racket 8.11.1
Seed:2024164
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:porules:lynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 10.8min)

prune2.3min (21.5%)

Counts
249415 → 5037
Compiler

Compiled 364257 to 164986 computations (54.7% saved)

soundness1.5min (14%)

Rules
802048×*-lowering-*.f32
802048×*-lowering-*.f64
392252×+-lowering-+.f32
392252×+-lowering-+.f64
322974×/-lowering-/.f32
Stop Event
14×saturated
200×iter limit
183×node limit
28×fuel
1×unsound
1×done
Compiler

Compiled 28480 to 14232 computations (50% saved)

sample1.4min (13.4%)

Results
1.1min247680×0valid
1.5s8725×0invalid
723.0ms2011×0precondition
29.0ms57×5exit
Precisions
Click to see histograms. Total time spent on operations: 53.5s
ival-mult: 9.9s (18.6% of total)
...c/correct-round.rkt:119:19: 8.4s (15.8% of total)
ival-<=: 7.7s (14.4% of total)
ival-div: 5.1s (9.5% of total)
ival-sub: 2.5s (4.7% of total)
ival-log: 2.4s (4.5% of total)
ival-add: 2.1s (3.9% of total)
ival-sin: 2.0s (3.8% of total)
ival-and: 2.0s (3.7% of total)
ival-cos: 1.9s (3.6% of total)
ival-fabs: 1.8s (3.3% of total)
ival-sqrt: 1.4s (2.7% of total)
ival-floor: 785.0ms (1.5% of total)
ival-exp: 707.0ms (1.3% of total)
ival-fmax: 605.0ms (1.1% of total)
ival-pi: 549.0ms (1% of total)
ival-neg: 516.0ms (1% of total)
const: 446.0ms (0.8% of total)
ival-==: 433.0ms (0.8% of total)
ival-tan: 421.0ms (0.8% of total)
ival-log2: 320.0ms (0.6% of total)
ival-if: 266.0ms (0.5% of total)
ival-<: 249.0ms (0.5% of total)
ival-asin: 243.0ms (0.5% of total)
ival->: 222.0ms (0.4% of total)
backward-pass: 130.0ms (0.2% of total)
ival-sinh: 129.0ms (0.2% of total)
ival-atan: 117.0ms (0.2% of total)
ival->=: 68.0ms (0.1% of total)
Bogosity

simplify1.4min (12.5%)

Algorithm
265×egg-herbie
Rules
861564×*-lowering-*.f32
861564×*-lowering-*.f64
469942×+-lowering-+.f32
469942×+-lowering-+.f64
255996×fma-lowering-fma.f64
Stop Event
236×iter limit
58×saturated
207×node limit
Counts
65592 → 65592

eval54.7s (8.4%)

Compiler

Compiled 34635534 to 547979 computations (98.4% saved)

localize51.4s (7.9%)

Results
23.1s26791×0valid
9.5s1093×5exit
1.7s915×0invalid
1.1s1212×0unsamplable
341.0ms197×1valid
Compiler

Compiled 104932 to 5494 computations (94.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.2s
ival-mult: 3.8s (24.8% of total)
ival-div: 2.3s (15.1% of total)
ival-pow: 1.5s (10% of total)
backward-pass: 1.4s (9.2% of total)
ival-add: 1.2s (8.1% of total)
...c/correct-round.rkt:119:19: 823.0ms (5.4% of total)
ival-sin: 553.0ms (3.6% of total)
ival-log: 372.0ms (2.4% of total)
ival-sqrt: 360.0ms (2.4% of total)
ival-exp: 358.0ms (2.3% of total)
compiled-spec: 351.0ms (2.3% of total)
ival-cos: 346.0ms (2.3% of total)
ival-sub: 343.0ms (2.2% of total)
ival-tan: 275.0ms (1.8% of total)
ival-neg: 181.0ms (1.2% of total)
ival-pi: 156.0ms (1% of total)
ival-fmax: 135.0ms (0.9% of total)
ival-if: 135.0ms (0.9% of total)
ival-atan: 117.0ms (0.8% of total)
const: 112.0ms (0.7% of total)
ival-log2: 110.0ms (0.7% of total)
ival-floor: 98.0ms (0.6% of total)
ival-fabs: 48.0ms (0.3% of total)
ival-asin: 44.0ms (0.3% of total)
ival->=: 28.0ms (0.2% of total)
ival->: 18.0ms (0.1% of total)
ival-sinh: 14.0ms (0.1% of total)
ival-<: 8.0ms (0.1% of total)
ival-e: 7.0ms (0% of total)
ival-cosh: 7.0ms (0% of total)

regimes41.7s (6.4%)

Counts
19921 → 498
Calls

144 calls:

2.2s
s
1.4s
u2
1.3s
cosTheta_i
1.1s
u1
1.1s
uy
Compiler

Compiled 13312 to 9328 computations (29.9% saved)

rewrite36.7s (5.7%)

Algorithm
118×batch-egg-rewrite
Rules
349772×*-lowering-*.f32
349772×*-lowering-*.f64
226650×/-lowering-/.f32
226650×/-lowering-/.f64
118830×+-lowering-+.f32
Stop Event
5×saturated
120×iter limit
112×node limit
1×unsound
Counts
2309 → 96418

analyze34.0s (5.2%)

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: 20.1s
ival-mult: 4.5s (22.4% of total)
ival-<=: 3.4s (16.9% of total)
...c/correct-round.rkt:119:19: 2.7s (13.6% of total)
ival-fabs: 1.4s (7.2% of total)
ival-div: 1.2s (5.8% of total)
ival-add: 864.0ms (4.3% of total)
ival-and: 795.0ms (4% of total)
ival-floor: 759.0ms (3.8% of total)
ival-sub: 719.0ms (3.6% of total)
ival-sqrt: 546.0ms (2.7% of total)
ival-if: 461.0ms (2.3% of total)
ival-fmax: 427.0ms (2.1% of total)
ival-log: 356.0ms (1.8% of total)
ival-sin: 348.0ms (1.7% of total)
ival-log2: 284.0ms (1.4% of total)
ival-cos: 229.0ms (1.1% of total)
ival-==: 215.0ms (1.1% of total)
const: 129.0ms (0.6% of total)
ival-tan: 125.0ms (0.6% of total)
ival->=: 106.0ms (0.5% of total)
ival-neg: 97.0ms (0.5% of total)
ival-pi: 90.0ms (0.4% of total)
ival->: 90.0ms (0.4% of total)
ival-exp: 75.0ms (0.4% of total)
ival-<: 44.0ms (0.2% of total)
backward-pass: 39.0ms (0.2% of total)
ival-atan: 36.0ms (0.2% of total)
ival-sinh: 30.0ms (0.1% of total)
ival-asin: 17.0ms (0.1% of total)

series13.8s (2.1%)

Counts
2309 → 65592
Calls

12741 calls:

TimeVariablePointExpression
263.0ms
sinTheta_i
@-inf
(* (- 0 (* cosTheta_i cosTheta_O)) (* (/ -1 v) (/ (/ (/ 1/2 v) (sinh (/ 1 v))) (+ 1 (* sinTheta_i (+ (/ sinTheta_O v) (* sinTheta_i (+ (/ (* 1/6 (* sinTheta_i (* sinTheta_O (* sinTheta_O sinTheta_O)))) (* v (* v v))) (/ (* 1/2 (* sinTheta_O sinTheta_O)) (* v v))))))))))
256.0ms
dX.w
@inf
(* 1/2 (log (fmax (pow (* (floor d) dX.w) 2) (+ (+ (pow (* (floor w) dY.u) 2) (pow (* (floor d) dY.w) 2)) (pow (* (floor h) dY.v) 2)))))
159.0ms
u1
@0
(* (log (+ 1 (/ (* u0 (* alphay alphay)) (* (- 1 u0) (+ 1/2 (* -1/2 (cos (* 2 (atan (/ (* alphay (tan (* (PI) (+ 1/2 (* 2 u1))))) alphax)))))))))) -1/2)
144.0ms
w
@-inf
(pow (exp 2) (log (* (floor w) dX.u)))
138.0ms
d
@-inf
(* 1/2 (log (fmax (+ (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (pow (* (floor d) dX.w) 2)) (+ (pow (* (floor h) dY.v) 2) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor d) dY.w) 2))))))

preprocess8.8s (1.4%)

Algorithm
60×egg-herbie
Rules
48164×fma-define
43454×fnmadd-define
41980×sum3-define
38912×fmsub-define
36422×sum4-define
Stop Event
25×saturated
30×iter limit
35×node limit
Compiler

Compiled 47160 to 17152 computations (63.6% saved)

explain8.4s (1.3%)

Results
5.1s15280×0valid
185.0ms74×5exit
2.0ms6×1valid
Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 582.0ms (30.1% of total)
ival-div: 323.0ms (16.7% of total)
ival-sin: 138.0ms (7.1% of total)
ival-log: 138.0ms (7.1% of total)
ival-add: 98.0ms (5.1% of total)
ival-sub: 97.0ms (5% of total)
ival-sqrt: 74.0ms (3.8% of total)
...c/correct-round.rkt:119:19: 73.0ms (3.8% of total)
ival-neg: 65.0ms (3.4% of total)
ival-pi: 45.0ms (2.3% of total)
ival-floor: 44.0ms (2.3% of total)
ival-cos: 44.0ms (2.3% of total)
ival-exp: 42.0ms (2.2% of total)
const: 28.0ms (1.4% of total)
ival-fmax: 26.0ms (1.3% of total)
backward-pass: 26.0ms (1.3% of total)
ival-tan: 21.0ms (1.1% of total)
ival-if: 18.0ms (0.9% of total)
ival-log2: 17.0ms (0.9% of total)
ival-fabs: 12.0ms (0.6% of total)
ival-atan: 7.0ms (0.4% of total)
ival-sinh: 7.0ms (0.4% of total)
ival-asin: 5.0ms (0.3% of total)
ival->=: 4.0ms (0.2% of total)
ival->: 4.0ms (0.2% of total)
ival-<: 2.0ms (0.1% of total)

bsearch87.0ms (0%)

Algorithm
74×binary-search
43×left-value
Stop Event
74×narrow-enough
Compiler

Compiled 3989 to 2313 computations (42% saved)

end0.0ms (0%)

Profiling

Loading profile data...