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: 2.9min)

sample44.2s (25.1%)

Results
14.0s48477×1valid
9.9s109347×0valid
9.7s16476×5exit
2.9s7296×2valid
523.0ms3957×0invalid
136.0ms1393×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 25.7s
ival-cos: 4.6s (17.9% of total)
...c/correct-round.rkt:119:19: 2.9s (11.2% of total)
backward-pass: 2.4s (9.3% of total)
ival-mult: 1.8s (7.1% of total)
ival-exp: 1.7s (6.7% of total)
ival-pow: 1.6s (6.2% of total)
ival-log: 1.4s (5.5% of total)
ival-sqrt: 1.3s (4.9% of total)
ival-tan: 1.1s (4.1% of total)
ival-sin: 1.0s (4% of total)
ival-fmod: 898.0ms (3.5% of total)
ival-add: 847.0ms (3.3% of total)
ival-div: 826.0ms (3.2% of total)
ival-sub: 742.0ms (2.9% of total)
ival-<=: 667.0ms (2.6% of total)
ival-sinh: 434.0ms (1.7% of total)
ival-acos: 363.0ms (1.4% of total)
ival-neg: 293.0ms (1.1% of total)
const: 211.0ms (0.8% of total)
ival-and: 200.0ms (0.8% of total)
ival-==: 123.0ms (0.5% of total)
ival-<: 88.0ms (0.3% of total)
ival-atan: 79.0ms (0.3% of total)
ival-or: 66.0ms (0.3% of total)
ival->=: 46.0ms (0.2% of total)
ival->: 31.0ms (0.1% of total)
Bogosity

simplify23.8s (13.6%)

Algorithm
162×egg-herbie
Rules
277542×*-lowering-*.f32
277542×*-lowering-*.f64
140838×+-lowering-+.f32
140838×+-lowering-+.f64
131616×fma-lowering-fma.f64
Stop Event
140×iter limit
79×saturated
85×node limit
Counts
17484 → 17484

soundness23.1s (13.2%)

Rules
216764×*-lowering-*.f32
216764×*-lowering-*.f64
100048×+-lowering-+.f32
100048×+-lowering-+.f64
83082×/-lowering-/.f64
Stop Event
11×saturated
76×iter limit
64×node limit
13×fuel
7×done
Compiler

Compiled 10779 to 5930 computations (45% saved)

localize19.3s (11%)

Results
5.4s1156×5exit
4.5s12257×0valid
4.1s3521×1valid
1.9s812×2valid
326.0ms184×1invalid
94.0ms180×0unsamplable
38.0ms19×3valid
28.0ms47×0invalid
Compiler

Compiled 10827 to 1583 computations (85.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.9s
ival-mult: 1.4s (15.5% of total)
backward-pass: 1.2s (13.9% of total)
ival-pow: 1.2s (13.8% of total)
ival-div: 673.0ms (7.5% of total)
ival-cos: 659.0ms (7.4% of total)
ival-add: 499.0ms (5.6% of total)
ival-log: 474.0ms (5.3% of total)
ival-exp: 395.0ms (4.4% of total)
ival-fmod: 391.0ms (4.4% of total)
...c/correct-round.rkt:119:19: 390.0ms (4.4% of total)
ival-sub: 332.0ms (3.7% of total)
compiled-spec: 293.0ms (3.3% of total)
ival-sin: 243.0ms (2.7% of total)
ival-tan: 160.0ms (1.8% of total)
ival-acos: 159.0ms (1.8% of total)
ival-sqrt: 133.0ms (1.5% of total)
ival-asin: 106.0ms (1.2% of total)
const: 61.0ms (0.7% of total)
ival-sinh: 40.0ms (0.4% of total)
ival-e: 21.0ms (0.2% of total)
ival-cbrt: 18.0ms (0.2% of total)
ival-neg: 15.0ms (0.2% of total)
ival-pi: 13.0ms (0.1% of total)
ival-atan: 5.0ms (0.1% of total)

rewrite18.3s (10.4%)

Algorithm
71×batch-egg-rewrite
Rules
174780×*-lowering-*.f32
174780×*-lowering-*.f64
91218×/-lowering-/.f32
91218×/-lowering-/.f64
65354×+-lowering-+.f32
Stop Event
9×saturated
72×iter limit
63×node limit
Counts
942 → 48446

eval11.2s (6.4%)

Compiler

Compiled 1770912 to 168782 computations (90.5% saved)

prune10.5s (6%)

Counts
79942 → 1700
Compiler

Compiled 62906 to 34314 computations (45.5% saved)

regimes7.6s (4.3%)

Counts
5685 → 256
Calls

55 calls:

1.1s
a
770.0ms
b
765.0ms
x
508.0ms
r
434.0ms
z
Compiler

Compiled 2245 to 1619 computations (27.9% saved)

analyze5.1s (2.9%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
...c/correct-round.rkt:119:19: 1.7s (51.6% of total)
ival-<=: 294.0ms (9.2% of total)
ival-add: 245.0ms (7.6% of total)
ival-mult: 141.0ms (4.4% of total)
ival-sin: 138.0ms (4.3% of total)
ival-tan: 136.0ms (4.2% of total)
ival-pow: 101.0ms (3.2% of total)
ival-cos: 76.0ms (2.4% of total)
ival-and: 72.0ms (2.2% of total)
ival-div: 48.0ms (1.5% of total)
ival-exp: 47.0ms (1.5% of total)
ival-fmod: 46.0ms (1.4% of total)
ival-sub: 44.0ms (1.4% of total)
ival-or: 31.0ms (1% of total)
ival-==: 27.0ms (0.8% of total)
ival-sqrt: 21.0ms (0.7% of total)
ival-neg: 20.0ms (0.6% of total)
ival-log: 19.0ms (0.6% of total)
const: 15.0ms (0.5% of total)
ival-sinh: 13.0ms (0.4% of total)
backward-pass: 9.0ms (0.3% of total)
ival-<: 4.0ms (0.1% of total)
ival->: 3.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

bsearch3.8s (2.2%)

Algorithm
9×left-value
99×binary-search
Stop Event
99×narrow-enough
Results
2.1s6245×1valid
714.0ms6187×0valid
36.0ms64×2valid
3.0ms37×0unsamplable
Compiler

Compiled 23375 to 16103 computations (31.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-sin: 444.0ms (23.2% of total)
ival-cos: 343.0ms (18% of total)
ival-tan: 316.0ms (16.5% of total)
ival-mult: 186.0ms (9.7% of total)
backward-pass: 151.0ms (7.9% of total)
ival-add: 125.0ms (6.5% of total)
ival-div: 112.0ms (5.9% of total)
ival-pow: 108.0ms (5.7% of total)
ival-exp: 56.0ms (2.9% of total)
ival-neg: 26.0ms (1.4% of total)
ival-sub: 18.0ms (0.9% of total)
const: 12.0ms (0.6% of total)
ival-fmod: 11.0ms (0.6% of total)
ival-sqrt: 3.0ms (0.2% of total)

series3.2s (1.8%)

Counts
942 → 17484
Calls

3465 calls:

TimeVariablePointExpression
106.0ms
x
@0
(* (pow x 1/8) (sqrt (* 2 (pow x 7/4))))
75.0ms
b
@inf
(* (log (/ (cos (+ b a)) r)) -1)
61.0ms
a
@inf
(* (log (/ (cos (+ b a)) (* r (sin b)))) -1)
49.0ms
x
@0
(pow (* 2 (sqrt x)) 1/2)
46.0ms
x
@-inf
(log (/ x (sinh x)))

explain3.0s (1.7%)

Results
958.0ms3074×1valid
696.0ms6616×0valid
372.0ms106×5exit
349.0ms444×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-cos: 340.0ms (24.4% of total)
ival-exp: 182.0ms (13.1% of total)
ival-mult: 157.0ms (11.3% of total)
backward-pass: 146.0ms (10.5% of total)
ival-sqrt: 88.0ms (6.3% of total)
ival-log: 71.0ms (5.1% of total)
ival-sin: 64.0ms (4.6% of total)
ival-tan: 54.0ms (3.9% of total)
ival-sub: 45.0ms (3.2% of total)
ival-add: 42.0ms (3% of total)
ival-div: 40.0ms (2.9% of total)
ival-fmod: 40.0ms (2.9% of total)
ival-neg: 37.0ms (2.7% of total)
ival-pow: 36.0ms (2.6% of total)
ival-acos: 21.0ms (1.5% of total)
ival-sinh: 16.0ms (1.1% of total)
const: 12.0ms (0.9% of total)
ival-atan: 3.0ms (0.2% of total)

preprocess2.4s (1.4%)

Algorithm
40×egg-herbie
Rules
14798×fnmadd-define
13060×sum3-define
11960×fmsub-define
11852×fnmsub-define
9304×fmm-def
Stop Event
36×saturated
19×iter limit
5×node limit
Compiler

Compiled 8946 to 3402 computations (62% saved)

end0.0ms (0%)

Profiling

Loading profile data...