Herbie run

Date:Friday, April 12th, 2024
Commit:ed895eeb on main
Hostname:nightly with Racket 8.11.1
Seed:2024103
Parameters:256 points for 4 iterations
Flags:
reduce: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: 1.6hr)

sample22.0min (23.3%)

Results
8.1min3880893×0valid
3.1min463357×1valid
28.3s180828×0invalid
25.2s143464×0precondition
1.5min111379×2valid
2.0min62504×5exit
15.1s61092×0unsamplable
58.3s17297×3valid
7.4s14866×1invalid
17.6s1836×4valid
812.0ms1339×2invalid
34.0ms43×1unsamplable
8.0ms6×5valid
8.0ms3×4unsamplable
2.0ms2×2unsamplable
2.0ms1×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 13.3min
ival-mult: 2.7min (20% of total)
ival-sin: 1.5min (11.1% of total)
ival-div: 1.4min (10.2% of total)
ival-pow: 1.3min (9.7% of total)
ival-add: 1.0min (7.6% of total)
ival-sub: 56.8s (7.1% of total)
ival-cos: 50.4s (6.3% of total)
backward-pass: 49.5s (6.2% of total)
ival-exp: 28.6s (3.6% of total)
ival-log: 25.4s (3.2% of total)
ival-sqrt: 22.0s (2.8% of total)
ival-tan: 21.7s (2.7% of total)
ival-<=: 20.4s (2.6% of total)
const: 12.6s (1.6% of total)
ival-neg: 7.4s (0.9% of total)
ival-fabs: 6.0s (0.8% of total)
ival-<: 4.6s (0.6% of total)
ival-and: 3.3s (0.4% of total)
ival-pi: 3.2s (0.4% of total)
ival-asin: 2.0s (0.3% of total)
ival-acos: 2.0s (0.2% of total)
ival-atan2: 1.9s (0.2% of total)
ival-atan: 1.8s (0.2% of total)
ival->: 1.7s (0.2% of total)
ival-floor: 1.0s (0.1% of total)
ival-fmod: 981.0ms (0.1% of total)
ival-cbrt: 952.0ms (0.1% of total)
ival-sinh: 841.0ms (0.1% of total)
ival-fmin: 657.0ms (0.1% of total)
ival-==: 644.0ms (0.1% of total)
ival-acosh: 519.0ms (0.1% of total)
ival->=: 456.0ms (0.1% of total)
ival-log2: 414.0ms (0.1% of total)
ival-if: 397.0ms (0% of total)
ival-cosh: 379.0ms (0% of total)
ival-asinh: 332.0ms (0% of total)
ival-hypot: 331.0ms (0% of total)
ival-fmax: 325.0ms (0% of total)
ival-fma: 264.0ms (0% of total)
ival-tanh: 192.0ms (0% of total)
ival-atanh: 148.0ms (0% of total)
ival-or: 55.0ms (0% of total)
Bogosity

localize18.0min (19%)

Results
4.8min373785×0valid
3.0min39051×1valid
37.6s24691×0invalid
1.5min12186×2valid
3.6min9873×5exit
3.8s2572×0unsamplable
48.8s1749×3valid
2.5s381×1invalid
8.3s74×4valid
161.0ms19×2invalid
6.0ms2×3invalid
6.0ms1×5valid
Compiler

Compiled 451677 to 206627 computations (54.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.2min
ival-mult: 2.5min (20.1% of total)
ival-pow: 2.0min (16.1% of total)
ival-div: 1.2min (9.8% of total)
ival-sin: 1.1min (9.3% of total)
backward-pass: 1.1min (8.7% of total)
ival-cos: 44.2s (6% of total)
ival-add: 43.3s (5.9% of total)
ival-sub: 30.4s (4.1% of total)
ival-fma: 21.0s (2.9% of total)
ival-sqrt: 18.3s (2.5% of total)
ival-log: 15.5s (2.1% of total)
ival-tan: 14.3s (2% of total)
ival-expm1: 12.5s (1.7% of total)
const: 12.3s (1.7% of total)
ival-asin: 10.1s (1.4% of total)
ival-exp: 9.4s (1.3% of total)
ival-log1p: 8.6s (1.2% of total)
ival-cbrt: 6.3s (0.9% of total)
ival-hypot: 4.9s (0.7% of total)
ival-acos: 2.5s (0.3% of total)
ival-neg: 2.5s (0.3% of total)
ival-atan: 2.2s (0.3% of total)
ival-fmod: 1.4s (0.2% of total)
ival-fmax: 1.1s (0.2% of total)
ival-atan2: 908.0ms (0.1% of total)
ival-if: 509.0ms (0.1% of total)
ival-fabs: 486.0ms (0.1% of total)
ival-pi: 405.0ms (0.1% of total)
ival-sinh: 403.0ms (0.1% of total)
ival-log2: 211.0ms (0% of total)
ival->: 192.0ms (0% of total)
ival-copysign: 163.0ms (0% of total)
ival->=: 157.0ms (0% of total)
ival-e: 150.0ms (0% of total)
ival-floor: 147.0ms (0% of total)
ival-<: 40.0ms (0% of total)
ival-cosh: 32.0ms (0% of total)
ival-tanh: 16.0ms (0% of total)

simplify9.9min (10.5%)

Algorithm
2236×egg-herbie
Rules
681920×fma-define
494754×*-commutative
493349×distribute-lft-in
478035×fma-neg
477879×associate-*r*
Stop Event
539×saturated
1677×node limit
20×unsound
Counts
779403 → 690025

soundness8.2min (8.7%)

Rules
629989×fma-define
460168×fma-neg
453756×log1p-expm1-u
383568×associate-*r*
355582×distribute-lft-in
Stop Event
153×saturated
332×fuel
1743×node limit
17×unsound
208×done
Compiler

Compiled 411033 to 230802 computations (43.8% saved)

eval8.0min (8.4%)

Compiler

Compiled 36248371 to 18808287 computations (48.1% saved)

rewrite6.0min (6.4%)

Algorithm
1696×batch-egg-rewrite
Rules
1109998×log1p-expm1-u
827088×expm1-log1p-u
366620×pow1
347472×add-exp-log
336058×add-log-exp
Stop Event
1684×node limit
12×unsound
Counts
13506 → 439001

prune5.1min (5.4%)

Counts
1014602 → 34581
Compiler

Compiled 1586267 to 1062030 computations (33% saved)

regimes4.7min (5%)

Counts
87128 → 9319
Calls

1197 calls:

25.7s
x
24.0s
y
23.5s
z
18.7s
t
14.2s
a
Compiler

Compiled 90328 to 68215 computations (24.5% saved)

explain3.6min (3.9%)

Results
59.9s232176×0valid
51.8s34488×1valid
24.6s9318×2valid
25.2s1212×3valid
657.0ms190×5exit
7.2s120×4valid
Compiler

Compiled 97157 to 47036 computations (51.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-mult: 30.0s (21.6% of total)
ival-sin: 19.4s (13.9% of total)
ival-div: 16.1s (11.6% of total)
ival-cos: 12.3s (8.9% of total)
ival-pow: 11.3s (8.1% of total)
backward-pass: 10.6s (7.6% of total)
ival-add: 10.5s (7.6% of total)
ival-sub: 9.2s (6.6% of total)
ival-tan: 5.4s (3.9% of total)
ival-log: 4.1s (2.9% of total)
ival-sqrt: 2.9s (2.1% of total)
const: 2.3s (1.6% of total)
ival-exp: 1.8s (1.3% of total)
ival-atan: 745.0ms (0.5% of total)
ival-neg: 692.0ms (0.5% of total)
ival-pi: 556.0ms (0.4% of total)
ival-atan2: 123.0ms (0.1% of total)
ival-asin: 115.0ms (0.1% of total)
ival-if: 107.0ms (0.1% of total)
ival-acos: 95.0ms (0.1% of total)
ival-fabs: 85.0ms (0.1% of total)
ival-log1p: 83.0ms (0.1% of total)
ival-hypot: 78.0ms (0.1% of total)
ival-cbrt: 58.0ms (0% of total)
ival-floor: 47.0ms (0% of total)
ival-sinh: 46.0ms (0% of total)
ival-fmod: 40.0ms (0% of total)
ival-fmax: 23.0ms (0% of total)
ival->=: 18.0ms (0% of total)
ival-fma: 16.0ms (0% of total)
ival-log2: 15.0ms (0% of total)
ival-copysign: 15.0ms (0% of total)
ival-cosh: 13.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival->: 6.0ms (0% of total)
ival-<: 4.0ms (0% of total)

bsearch2.7min (2.8%)

Algorithm
4721×binary-search
602×left-value
Stop Event
113×predicate-same
4608×narrow-enough
Results
1.5min531241×0valid
20.0s36700×1valid
2.2s14092×0invalid
2.6s4247×2valid
666.0ms923×3valid
31.0ms200×0unsamplable
43.0ms155×1invalid
67.0ms73×4valid
24.0ms61×2invalid
Compiler

Compiled 1132754 to 839034 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-mult: 28.0s (34.9% of total)
ival-sub: 11.2s (14% of total)
ival-add: 10.1s (12.6% of total)
ival-div: 8.9s (11.1% of total)
ival-sin: 4.1s (5.2% of total)
ival-pow: 3.6s (4.5% of total)
ival-cos: 3.1s (3.8% of total)
backward-pass: 2.6s (3.2% of total)
ival-sqrt: 2.1s (2.6% of total)
ival-log: 1.9s (2.4% of total)
const: 1.2s (1.5% of total)
ival-neg: 976.0ms (1.2% of total)
ival-exp: 942.0ms (1.2% of total)
ival-tan: 493.0ms (0.6% of total)
ival-atan2: 325.0ms (0.4% of total)
ival-acos: 232.0ms (0.3% of total)
ival-atan: 127.0ms (0.2% of total)
ival-copysign: 99.0ms (0.1% of total)
ival-pi: 84.0ms (0.1% of total)
ival-fabs: 49.0ms (0.1% of total)
ival-asin: 37.0ms (0% of total)
ival-tanh: 11.0ms (0% of total)
ival-hypot: 7.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival-if: 5.0ms (0% of total)
ival-cbrt: 3.0ms (0% of total)
ival-cosh: 2.0ms (0% of total)
ival-sinh: 1.0ms (0% of total)

preprocess2.3min (2.4%)

Algorithm
542×egg-herbie
Rules
254384×fma-define
252110×fma-neg
118944×unsub-neg
101039×sub-neg
94642×distribute-lft-in
Stop Event
294×saturated
248×node limit
Compiler

Compiled 362630 to 200722 computations (44.6% saved)

series2.1min (2.2%)

Counts
13506 → 341353
Calls

83166 calls:

TimeVariablePointExpression
481.0ms
mu
@inf
(/ NaChar (- (+ 2 (+ (/ EAccept KbT) (+ (/ Ev KbT) (/ Vef KbT)))) (/ mu KbT)))
387.0ms
z
@inf
(* (pow z y) (/ (/ (pow a (+ t -1)) (exp b)) y))
333.0ms
x
@0
(* x (log y))
295.0ms
x-scale
@inf
(/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)))
295.0ms
w
@inf
(pow l (exp w))

analyze1.8min (1.9%)

Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.4%33.3%51.2%15.6%0%0%0%1
45.1%37.7%46%15.6%0%0.7%0%2
54.3%44.3%37.3%15.7%0%2.7%0%3
61%49.2%31.4%15.8%0%3.6%0%4
67.2%53.9%26.3%15.8%0%4%0%5
71.1%56.7%23%15.8%0%4.3%0%6
75.1%59.5%19.7%15.9%0%4.8%0.1%7
77.1%60.8%18.1%15.9%0%5.2%0.1%8
79.7%62.6%15.9%15.9%0%5.5%0.1%9
81.2%63.5%14.7%16%0%5.7%0.1%10
83.5%65.2%12.9%16%0%5.8%0.1%11
84.6%65.8%12%16%0%6.1%0.1%12
Compiler

Compiled 13446 to 8689 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 19.5s (29.2% of total)
ival-div: 7.1s (10.6% of total)
ival-pow: 6.5s (9.8% of total)
ival-add: 5.5s (8.3% of total)
ival-sub: 4.7s (7.1% of total)
ival-<=: 3.5s (5.2% of total)
ival-sqrt: 2.7s (4.1% of total)
ival-sin: 2.7s (4% of total)
ival-cos: 2.6s (3.9% of total)
ival-fabs: 2.3s (3.5% of total)
const: 1.1s (1.7% of total)
ival-floor: 1.1s (1.6% of total)
ival-log: 882.0ms (1.3% of total)
ival-neg: 821.0ms (1.2% of total)
ival-if: 793.0ms (1.2% of total)
ival-exp: 717.0ms (1.1% of total)
ival-and: 642.0ms (1% of total)
ival-tan: 557.0ms (0.8% of total)
ival-==: 435.0ms (0.7% of total)
ival->=: 380.0ms (0.6% of total)
ival-<: 362.0ms (0.5% of total)
ival-fmax: 329.0ms (0.5% of total)
ival-atan2: 251.0ms (0.4% of total)
backward-pass: 175.0ms (0.3% of total)
ival-log2: 171.0ms (0.3% of total)
ival-pi: 141.0ms (0.2% of total)
ival-atan: 138.0ms (0.2% of total)
ival->: 123.0ms (0.2% of total)
ival-acos: 113.0ms (0.2% of total)
ival-cosh: 92.0ms (0.1% of total)
ival-asin: 87.0ms (0.1% of total)
ival-fmod: 51.0ms (0.1% of total)
ival-sinh: 36.0ms (0.1% of total)
ival-or: 24.0ms (0% of total)
ival-cbrt: 18.0ms (0% of total)
ival-tanh: 11.0ms (0% of total)
ival-fmin: 7.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)
ival-fma: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end73.0ms (0%)

Profiling

Loading profile data...