Herbie run

Date:Friday, June 7th, 2024
Commit:78284123 on varun10p-ablationgraphs
Hostname:nightly with Racket 8.11.1
Seed:2024159
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.9min)

prune1.9min (17.5%)

Counts
275595 → 5030
Compiler

Compiled 369287 to 163260 computations (55.8% saved)

soundness1.7min (15.8%)

Rules
847760×*-lowering-*.f32
847760×*-lowering-*.f64
415584×+-lowering-+.f32
415584×+-lowering-+.f64
334242×/-lowering-/.f32
Stop Event
15×saturated
218×iter limit
198×node limit
29×fuel
1×unsound
1×done
Compiler

Compiled 34817 to 15988 computations (54.1% saved)

simplify1.4min (12.9%)

Algorithm
266×egg-herbie
Rules
879002×*-lowering-*.f32
879002×*-lowering-*.f64
476182×+-lowering-+.f32
476182×+-lowering-+.f64
256814×/-lowering-/.f64
Stop Event
236×iter limit
63×saturated
203×node limit
Counts
72576 → 72576

sample1.4min (12.6%)

Results
1.1min247680×0valid
1.2s8284×0invalid
640.0ms2021×0precondition
21.0ms48×5exit
Precisions
Click to see histograms. Total time spent on operations: 50.4s
ival-mult: 9.5s (18.9% of total)
...c/correct-round.rkt:119:19: 7.9s (15.6% of total)
ival-<=: 7.5s (14.9% of total)
ival-div: 4.7s (9.4% of total)
ival-sub: 2.3s (4.6% of total)
ival-fabs: 2.2s (4.3% of total)
ival-add: 1.9s (3.9% of total)
ival-and: 1.9s (3.9% of total)
ival-sin: 1.9s (3.8% of total)
ival-sqrt: 1.6s (3.2% of total)
ival-log: 1.5s (3.1% of total)
ival-cos: 932.0ms (1.9% of total)
ival-exp: 808.0ms (1.6% of total)
ival-floor: 803.0ms (1.6% of total)
ival-neg: 660.0ms (1.3% of total)
ival-tan: 628.0ms (1.2% of total)
ival-pi: 592.0ms (1.2% of total)
const: 464.0ms (0.9% of total)
ival-<: 419.0ms (0.8% of total)
ival-fmax: 391.0ms (0.8% of total)
ival-if: 272.0ms (0.5% of total)
ival-log2: 268.0ms (0.5% of total)
ival-asin: 204.0ms (0.4% of total)
ival->: 197.0ms (0.4% of total)
ival-==: 147.0ms (0.3% of total)
ival-atan: 133.0ms (0.3% of total)
ival-sinh: 126.0ms (0.3% of total)
backward-pass: 125.0ms (0.2% of total)
ival->=: 87.0ms (0.2% of total)
Bogosity

eval56.1s (8.6%)

Compiler

Compiled 36729731 to 598729 computations (98.4% saved)

localize52.1s (8%)

Results
26.5s27344×0valid
5.5s428×5exit
2.9s912×1valid
1.2s792×0invalid
576.0ms732×0unsamplable
Compiler

Compiled 113629 to 5687 computations (95% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.3s
ival-pow: 4.0s (24.8% of total)
ival-mult: 3.9s (24.2% of total)
ival-div: 1.9s (11.8% of total)
ival-add: 1.6s (9.8% of total)
ival-log: 709.0ms (4.3% of total)
...c/correct-round.rkt:119:19: 689.0ms (4.2% of total)
backward-pass: 552.0ms (3.4% of total)
ival-sub: 388.0ms (2.4% of total)
ival-exp: 330.0ms (2% of total)
ival-sqrt: 314.0ms (1.9% of total)
ival-cos: 253.0ms (1.6% of total)
compiled-spec: 248.0ms (1.5% of total)
ival-sin: 207.0ms (1.3% of total)
ival-neg: 153.0ms (0.9% of total)
ival-fmax: 142.0ms (0.9% of total)
ival-if: 130.0ms (0.8% of total)
const: 114.0ms (0.7% of total)
ival-log2: 98.0ms (0.6% of total)
ival-floor: 89.0ms (0.5% of total)
ival-fabs: 69.0ms (0.4% of total)
ival-pi: 69.0ms (0.4% of total)
ival-cosh: 56.0ms (0.3% of total)
ival-asin: 50.0ms (0.3% of total)
ival-tan: 39.0ms (0.2% of total)
ival->=: 31.0ms (0.2% of total)
ival-atan: 24.0ms (0.1% of total)
ival-sinh: 19.0ms (0.1% of total)
ival->: 17.0ms (0.1% of total)
ival-e: 13.0ms (0.1% of total)
ival-<: 8.0ms (0% of total)

regimes46.4s (7.1%)

Counts
21062 → 534
Calls

145 calls:

1.8s
uy
1.7s
maxCos
1.7s
u2
1.7s
s
1.5s
u1
Compiler

Compiled 16011 to 10936 computations (31.7% saved)

rewrite38.5s (5.9%)

Algorithm
118×batch-egg-rewrite
Rules
349574×*-lowering-*.f32
349574×*-lowering-*.f64
217928×/-lowering-/.f32
217928×/-lowering-/.f64
133654×+-lowering-+.f32
Stop Event
5×saturated
122×iter limit
112×node limit
1×unsound
Counts
2430 → 99636

analyze32.0s (4.9%)

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.2s
ival-mult: 4.3s (22.3% of total)
ival-<=: 3.2s (16.5% of total)
...c/correct-round.rkt:119:19: 2.6s (13.4% of total)
ival-fabs: 1.3s (6.6% of total)
ival-div: 1.0s (5.4% of total)
ival-floor: 864.0ms (4.5% of total)
ival-and: 797.0ms (4.1% of total)
ival-add: 745.0ms (3.9% of total)
ival-sqrt: 684.0ms (3.6% of total)
ival-log2: 526.0ms (2.7% of total)
ival-if: 494.0ms (2.6% of total)
ival-sub: 364.0ms (1.9% of total)
ival-fmax: 339.0ms (1.8% of total)
ival-sin: 330.0ms (1.7% of total)
ival-cos: 268.0ms (1.4% of total)
ival-==: 229.0ms (1.2% of total)
ival->: 203.0ms (1.1% of total)
ival-log: 187.0ms (1% of total)
const: 134.0ms (0.7% of total)
ival-exp: 113.0ms (0.6% of total)
ival-tan: 110.0ms (0.6% of total)
ival-pi: 101.0ms (0.5% of total)
ival->=: 85.0ms (0.4% of total)
ival-neg: 79.0ms (0.4% of total)
ival-<: 62.0ms (0.3% of total)
ival-sinh: 52.0ms (0.3% of total)
backward-pass: 47.0ms (0.2% of total)
ival-atan: 36.0ms (0.2% of total)
ival-asin: 23.0ms (0.1% of total)

end15.2s (2.3%)

series14.0s (2.1%)

Counts
2430 → 72576
Calls

14328 calls:

TimeVariablePointExpression
271.0ms
v
@inf
(+ -1 (* (- (exp (/ 2 v)) 1) (* v u)))
181.0ms
u1
@0
(/ 1 (sqrt (+ 1 (/ u0 (* (- 1 u0) (+ (/ (/ 1 (* alphax alphax)) (+ 1 (pow (/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay)) 2))) (/ (- 1/2 (/ (cos (* 2 (atan (/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay))))) 2)) (* alphay alphay))))))))
176.0ms
alphay
@inf
(pow (+ 1 (/ 1 (/ (+ (* (+ (/ 1 u0) -1) (+ 1/2 (* -1/2 (cos (* 2 (atan (/ (* alphay (tan (* (PI) (+ 1/2 (* 2 u1))))) alphax))))))) (* (* alphay alphay) (- (/ (/ 1 (* alphax alphax)) u0) (/ 1 (* alphax alphax))))) (* alphay alphay)))) -1/2)
141.0ms
u
@-inf
(* (log (/ 1 (+ (/ 1 (+ (/ u (+ 1 (exp (- 0 (/ (PI) s))))) (/ (- 1 u) (+ 1 (exp (/ (PI) s)))))) -1))) s)
131.0ms
alphay
@inf
(/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay))

preprocess8.5s (1.3%)

Algorithm
60×egg-herbie
Rules
48166×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 50754 to 17594 computations (65.3% saved)

explain7.1s (1.1%)

Results
4.4s15312×0valid
63.0ms48×5exit
Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 592.0ms (29.9% of total)
ival-log: 332.0ms (16.8% of total)
ival-div: 225.0ms (11.4% of total)
ival-sin: 147.0ms (7.4% of total)
ival-add: 103.0ms (5.2% of total)
ival-sub: 99.0ms (5% of total)
ival-sqrt: 66.0ms (3.3% of total)
ival-cos: 64.0ms (3.2% of total)
ival-floor: 53.0ms (2.7% of total)
ival-pi: 42.0ms (2.1% of total)
ival-exp: 40.0ms (2% of total)
...c/correct-round.rkt:119:19: 32.0ms (1.6% of total)
ival-neg: 31.0ms (1.6% of total)
const: 29.0ms (1.5% of total)
ival-tan: 22.0ms (1.1% of total)
backward-pass: 18.0ms (0.9% of total)
ival-fmax: 17.0ms (0.9% of total)
ival-if: 15.0ms (0.8% of total)
ival-log2: 14.0ms (0.7% of total)
ival-atan: 11.0ms (0.6% of total)
ival-fabs: 10.0ms (0.5% of total)
ival-asin: 5.0ms (0.3% of total)
ival-sinh: 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)

bsearch73.0ms (0%)

Algorithm
58×binary-search
52×left-value
Stop Event
58×narrow-enough
Compiler

Compiled 4605 to 2398 computations (47.9% saved)

Profiling

Loading profile data...