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

sample5.8min (31.6%)

Results
2.1min25828×5exit
1.2min129901×1valid
43.7s270792×0valid
23.3s8101×3valid
17.3s19178×2valid
12.4s49099×0unsamplable
7.8s1338×4valid
4.1s19291×0invalid
3.1s11170×1invalid
1.3s1829×2invalid
102.0ms904×0precondition
48.0ms66×1unsamplable
17.0ms26×3invalid
5.0ms2×5valid
Precisions
Click to see histograms. Total time spent on operations: 4.4min
ival-pow: 1.9min (43.3% of total)
ival-mult: 24.5s (9.3% of total)
ival-sin: 23.2s (8.8% of total)
ival-cos: 20.5s (7.8% of total)
ival-div: 17.4s (6.6% of total)
backward-pass: 13.0s (4.9% of total)
ival-add: 9.7s (3.7% of total)
ival-sub: 9.7s (3.7% of total)
ival-exp: 6.5s (2.5% of total)
ival-log: 5.6s (2.1% of total)
ival-sqrt: 4.7s (1.8% of total)
ival-neg: 4.0s (1.5% of total)
ival-<: 2.3s (0.9% of total)
...c/correct-round.rkt:119:19: 1.8s (0.7% of total)
ival-atan2: 1.5s (0.6% of total)
const: 1.1s (0.4% of total)
ival-pi: 734.0ms (0.3% of total)
ival-tan: 612.0ms (0.2% of total)
ival-and: 563.0ms (0.2% of total)
ival-atan: 517.0ms (0.2% of total)
ival-<=: 516.0ms (0.2% of total)
ival-acos: 429.0ms (0.2% of total)
ival-cbrt: 306.0ms (0.1% of total)
ival-fabs: 192.0ms (0.1% of total)
ival-asin: 172.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

soundness2.4min (13.1%)

Rules
1212694×*-lowering-*.f32
1212694×*-lowering-*.f64
603638×+-lowering-+.f32
603638×+-lowering-+.f64
520388×/-lowering-/.f32
Stop Event
14×saturated
309×iter limit
295×node limit
44×fuel
7×done
Compiler

Compiled 55837 to 29104 computations (47.9% saved)

simplify2.1min (11.3%)

Algorithm
449×egg-herbie
Rules
1372056×*-lowering-*.f32
1372056×*-lowering-*.f64
731398×+-lowering-+.f32
731398×+-lowering-+.f64
413220×fma-lowering-fma.f64
Stop Event
398×iter limit
113×saturated
336×node limit
Counts
89216 → 89216

localize2.0min (11.2%)

Results
37.3s4241×5exit
34.2s13957×1valid
17.1s27231×0valid
6.8s2139×2valid
2.5s2506×0invalid
1.3s378×1invalid
1.3s352×3valid
410.0ms104×2invalid
109.0ms14×3invalid
17.0ms4×4valid
14.0ms18×0unsamplable
Compiler

Compiled 96862 to 7914 computations (91.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 51.2s
ival-mult: 9.9s (19.2% of total)
backward-pass: 8.0s (15.6% of total)
ival-cos: 6.8s (13.3% of total)
ival-sin: 6.5s (12.8% of total)
ival-div: 5.8s (11.3% of total)
ival-add: 2.5s (4.9% of total)
ival-pow: 2.1s (4.1% of total)
ival-sub: 1.7s (3.3% of total)
...c/correct-round.rkt:119:19: 1.5s (3% of total)
ival-log: 1.3s (2.5% of total)
compiled-spec: 1.2s (2.4% of total)
ival-sqrt: 1.0s (2% of total)
ival-exp: 877.0ms (1.7% of total)
ival-atan2: 442.0ms (0.9% of total)
ival-atan: 266.0ms (0.5% of total)
const: 254.0ms (0.5% of total)
ival-tan: 234.0ms (0.5% of total)
ival-cbrt: 216.0ms (0.4% of total)
ival-acos: 212.0ms (0.4% of total)
ival-neg: 157.0ms (0.3% of total)
ival-pi: 113.0ms (0.2% of total)
ival-fabs: 110.0ms (0.2% of total)
ival-asin: 20.0ms (0% of total)
ival-cosh: 6.0ms (0% of total)
ival-sinh: 4.0ms (0% of total)
ival-tanh: 2.0ms (0% of total)

rewrite1.2min (6.5%)

Algorithm
199×batch-egg-rewrite
Rules
600224×*-lowering-*.f32
600224×*-lowering-*.f64
470426×/-lowering-/.f32
470426×/-lowering-/.f64
230312×+-lowering-+.f32
Stop Event
8×saturated
200×iter limit
191×node limit
Counts
3562 → 174383

eval1.0min (5.7%)

Compiler

Compiled 13071869 to 858136 computations (93.4% saved)

prune59.2s (5.4%)

Counts
325938 → 8420
Compiler

Compiled 609060 to 295897 computations (51.4% saved)

regimes52.7s (4.8%)

Counts
28502 → 1056
Calls

155 calls:

3.5s
phi2
3.4s
lambda2
2.9s
phi1
2.8s
b
2.8s
lambda1
Compiler

Compiled 12970 to 8646 computations (33.3% saved)

bsearch29.1s (2.7%)

Algorithm
418×binary-search
51×left-value
Stop Event
6×predicate-same
412×narrow-enough
Results
9.6s13389×1valid
6.6s33470×0valid
2.5s2487×2valid
1.8s1147×3valid
1.0s6143×0invalid
581.0ms639×2invalid
531.0ms320×5exit
531.0ms1059×1invalid
151.0ms29×4valid
2.0ms31×0unsamplable
Compiler

Compiled 141283 to 94215 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.3s
ival-mult: 3.3s (18.1% of total)
ival-cos: 3.1s (16.8% of total)
ival-sin: 2.8s (15.1% of total)
ival-pow: 2.1s (11.5% of total)
ival-sub: 1.6s (8.7% of total)
ival-div: 1.3s (6.9% of total)
backward-pass: 1.2s (6.5% of total)
ival-add: 858.0ms (4.7% of total)
ival-sqrt: 831.0ms (4.5% of total)
ival-atan2: 193.0ms (1.1% of total)
ival-neg: 189.0ms (1% of total)
ival-atan: 179.0ms (1% of total)
ival-acos: 170.0ms (0.9% of total)
ival-exp: 121.0ms (0.7% of total)
const: 118.0ms (0.6% of total)
ival-log: 108.0ms (0.6% of total)
ival-pi: 90.0ms (0.5% of total)
ival-tan: 55.0ms (0.3% of total)
ival-fabs: 51.0ms (0.3% of total)
ival-asin: 16.0ms (0.1% of total)

analyze24.9s (2.3%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 947 computations (50.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.6s
ival-mult: 4.2s (28.8% of total)
ival-pow: 1.9s (13.4% of total)
ival-cos: 1.5s (10.2% of total)
ival-div: 1.4s (9.9% of total)
ival-sin: 1.2s (8.4% of total)
ival-sub: 928.0ms (6.4% of total)
ival-add: 725.0ms (5% of total)
...c/correct-round.rkt:119:19: 651.0ms (4.5% of total)
ival-sqrt: 582.0ms (4% of total)
ival-neg: 285.0ms (2% of total)
ival-<: 233.0ms (1.6% of total)
ival-atan: 158.0ms (1.1% of total)
ival-atan2: 118.0ms (0.8% of total)
const: 96.0ms (0.7% of total)
ival-exp: 75.0ms (0.5% of total)
ival-pi: 67.0ms (0.5% of total)
ival-and: 66.0ms (0.5% of total)
ival-tan: 57.0ms (0.4% of total)
ival-asin: 54.0ms (0.4% of total)
ival-log: 49.0ms (0.3% of total)
ival-acos: 37.0ms (0.3% of total)
backward-pass: 36.0ms (0.2% of total)
ival-fabs: 32.0ms (0.2% of total)
ival-cbrt: 18.0ms (0.1% of total)
ival-<=: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

explain22.2s (2%)

Results
6.7s8178×1valid
3.6s15934×0valid
3.0s1886×2valid
2.1s526×3valid
761.0ms100×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
ival-sin: 2.0s (21.5% of total)
ival-cos: 1.4s (15.2% of total)
ival-mult: 1.4s (14.6% of total)
backward-pass: 884.0ms (9.5% of total)
ival-div: 858.0ms (9.2% of total)
ival-pow: 828.0ms (8.9% of total)
ival-add: 367.0ms (3.9% of total)
ival-sub: 356.0ms (3.8% of total)
ival-sqrt: 270.0ms (2.9% of total)
ival-log: 250.0ms (2.7% of total)
ival-exp: 215.0ms (2.3% of total)
ival-tan: 130.0ms (1.4% of total)
ival-neg: 126.0ms (1.4% of total)
const: 59.0ms (0.6% of total)
ival-pi: 55.0ms (0.6% of total)
ival-atan2: 45.0ms (0.5% of total)
ival-atan: 31.0ms (0.3% of total)
ival-acos: 22.0ms (0.2% of total)
ival-cbrt: 20.0ms (0.2% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)

series21.2s (1.9%)

Counts
3562 → 89216
Calls

18096 calls:

TimeVariablePointExpression
303.0ms
s
@-inf
(pow (/ (+ 1 (/ -1 (+ 1 (/ 1 (exp s))))) (+ 1 (/ -1 (+ 1 (exp (- 0 t)))))) c_n)
273.0ms
b
@0
(* (pow (exp 2) (log a)) b)
257.0ms
c
@0
(* (/ (sqrt (+ (* b b) (* -4 (* c a)))) (/ b a)) a)
187.0ms
t
@inf
(exp (+ (+ (* c_n (log (/ (+ 1 (/ 1 (+ -1 (/ -1 (exp s))))) (+ 1 (/ 1 (+ -1 (/ -1 (exp t)))))))) (* c_p (log (+ 1 (exp (- 0 t)))))) (- 0 (* c_p (log (+ 1 (exp (- 0 s))))))))
169.0ms
lambda1
@-inf
(* 1/2 (log (+ (+ 1/2 (* -1/2 (cos (- phi1 phi2)))) (* (cos phi1) (* (cos phi2) (+ 1/2 (* -1/2 (cos (- lambda1 lambda2)))))))))

preprocess15.1s (1.4%)

Algorithm
104×egg-herbie
Rules
92942×fnmadd-define
85926×fma-define
71350×sum3-define
65336×fmsub-define
57260×*-lowering-*.f32
Stop Event
50×saturated
52×iter limit
54×node limit
Compiler

Compiled 66146 to 22306 computations (66.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...