Herbie run

Date:Friday, May 24th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024145
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 17.2min)

sample5.6min (32.6%)

Results
1.9min25706×5exit
1.2min130189×1valid
41.6s270509×0valid
22.9s8136×3valid
17.9s19153×2valid
13.0s49443×0unsamplable
6.7s1317×4valid
3.2s18805×0invalid
3.0s11051×1invalid
1.3s1729×2invalid
195.0ms8×5valid
83.0ms865×0precondition
55.0ms68×1unsamplable
12.0ms20×3invalid
12.0ms1×3unsamplable
5.0ms1×2unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.4min
ival-pow: 1.9min (42.6% of total)
ival-mult: 25.7s (9.7% of total)
ival-sin: 23.6s (8.9% of total)
ival-cos: 20.8s (7.9% of total)
backward-pass: 16.8s (6.4% of total)
ival-div: 15.9s (6% of total)
ival-add: 9.6s (3.6% of total)
ival-sub: 8.3s (3.1% of total)
ival-exp: 5.8s (2.2% of total)
ival-log: 5.3s (2% of total)
ival-sqrt: 5.2s (2% of total)
ival-neg: 4.0s (1.5% of total)
ival-<: 2.8s (1.1% of total)
...c/correct-round.rkt:121:19: 2.3s (0.9% of total)
const: 982.0ms (0.4% of total)
ival-atan2: 889.0ms (0.3% of total)
ival-pi: 689.0ms (0.3% of total)
ival-atan: 597.0ms (0.2% of total)
ival-tan: 515.0ms (0.2% of total)
ival-acos: 448.0ms (0.2% of total)
ival-and: 424.0ms (0.2% of total)
ival-cbrt: 386.0ms (0.1% of total)
ival-asin: 261.0ms (0.1% of total)
ival-<=: 255.0ms (0.1% of total)
ival-fabs: 203.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.9min (16.9%)

Algorithm
445×egg-herbie
Rules
168657×fma-define
114217×fma-neg
96751×distribute-lft-in
91277×times-frac
88510×*-commutative
Stop Event
126×saturated
318×node limit
1×unsound
Counts
142489 → 120371

soundness1.7min (10.1%)

Rules
86846×fma-define
61505×log1p-expm1-u
51721×expm1-log1p-u
48415×distribute-lft-in
46403×fma-neg
Stop Event
16×saturated
43×fuel
247×node limit
3×unsound
9×done
Compiler

Compiled 63491 to 18451 computations (70.9% saved)

localize1.6min (9%)

Results
24.7s13597×1valid
19.0s2133×5exit
13.7s27861×0valid
5.7s2149×2valid
3.3s491×3valid
2.6s3641×0invalid
929.0ms417×1invalid
509.0ms44×4valid
87.0ms2×5valid
22.0ms97×0unsamplable
Compiler

Compiled 96146 to 7500 computations (92.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.6s
ival-mult: 8.1s (16.7% of total)
ival-pow: 7.5s (15.4% of total)
ival-sin: 7.3s (15% of total)
ival-cos: 6.1s (12.6% of total)
backward-pass: 4.3s (8.9% of total)
ival-div: 3.6s (7.4% of total)
ival-add: 1.7s (3.5% of total)
ival-sub: 1.4s (3% of total)
ival-log: 1.4s (2.9% of total)
...c/correct-round.rkt:121:19: 1.2s (2.5% of total)
ival-sqrt: 1.0s (2.1% of total)
ival-exp: 676.0ms (1.4% of total)
ival-log1p: 595.0ms (1.2% of total)
ival-hypot: 535.0ms (1.1% of total)
ival-fma: 529.0ms (1.1% of total)
ival-neg: 383.0ms (0.8% of total)
ival-atan2: 328.0ms (0.7% of total)
ival-expm1: 297.0ms (0.6% of total)
ival-atan: 239.0ms (0.5% of total)
ival-cbrt: 223.0ms (0.5% of total)
const: 214.0ms (0.4% of total)
ival-fabs: 208.0ms (0.4% of total)
ival-e: 188.0ms (0.4% of total)
ival-acos: 144.0ms (0.3% of total)
ival-pi: 136.0ms (0.3% of total)
ival-tan: 102.0ms (0.2% of total)
ival-asin: 65.0ms (0.1% of total)

regimes58.7s (5.7%)

Counts
23121 → 820
Calls

155 calls:

4.4s
phi2
3.9s
lambda1
3.8s
lambda2
3.8s
phi1
2.8s
(-.f64 lambda1 lambda2)
Compiler

Compiled 13717 to 8827 computations (35.6% saved)

rewrite54.7s (5.3%)

Algorithm
196×batch-egg-rewrite
Rules
120891×log1p-expm1-u
96801×expm1-log1p-u
53188×pow1
49018×add-exp-log
46725×add-log-exp
Stop Event
193×node limit
3×unsound
Counts
2918 → 75591

prune53.9s (5.2%)

Counts
192500 → 8322
Compiler

Compiled 592466 to 288193 computations (51.4% saved)

eval45.1s (4.4%)

Compiler

Compiled 9034800 to 864358 computations (90.4% saved)

series36.2s (3.5%)

Counts
2918 → 66898
Calls

17364 calls:

TimeVariablePointExpression
409.0ms
c_p
@-inf
(pow (pow (E) c_p) (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))))
353.0ms
b
@0
(* (- (pow b 2) (pow a 2)) (* 2 (* (sin (* (PI) (/ angle 180))) (cos (* (PI) (/ angle 180))))))
310.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)))
263.0ms
b
@0
(sqrt (+ (* b b) (* c (* a -4))))
224.0ms
angle
@inf
(* 1/180 (* a (* angle (PI))))

analyze25.2s (2.4%)

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: 16.8s
ival-mult: 5.0s (29.7% of total)
ival-pow: 3.1s (18.5% of total)
ival-cos: 1.8s (10.8% of total)
ival-div: 1.3s (7.7% of total)
ival-sin: 1.1s (6.6% of total)
ival-sub: 1.1s (6.5% of total)
ival-add: 850.0ms (5% of total)
ival-sqrt: 698.0ms (4.1% of total)
ival-<: 330.0ms (2% of total)
...c/correct-round.rkt:121:19: 305.0ms (1.8% of total)
ival-neg: 297.0ms (1.8% of total)
ival-atan2: 183.0ms (1.1% of total)
ival-exp: 167.0ms (1% of total)
const: 93.0ms (0.6% of total)
ival-tan: 91.0ms (0.5% of total)
ival-pi: 76.0ms (0.5% of total)
ival-atan: 56.0ms (0.3% of total)
ival-and: 53.0ms (0.3% of total)
ival-log: 53.0ms (0.3% of total)
ival-asin: 42.0ms (0.2% of total)
ival-fabs: 39.0ms (0.2% of total)
ival-acos: 38.0ms (0.2% of total)
backward-pass: 23.0ms (0.1% of total)
ival-cbrt: 17.0ms (0.1% of total)
ival-<=: 3.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)

bsearch17.5s (1.7%)

Algorithm
296×binary-search
43×left-value
Stop Event
5×predicate-same
291×narrow-enough
Results
7.6s10553×1valid
4.3s23797×0valid
889.0ms688×3valid
848.0ms1263×2valid
112.0ms1134×0invalid
22.0ms3×4valid
1.0ms30×0unsamplable
1.0ms1×5exit
Compiler

Compiled 90545 to 62983 computations (30.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
ival-cos: 2.3s (21% of total)
ival-sin: 2.0s (18.3% of total)
ival-mult: 1.8s (16.7% of total)
ival-div: 1.1s (10.1% of total)
ival-pow: 1.1s (9.6% of total)
ival-sub: 609.0ms (5.5% of total)
backward-pass: 491.0ms (4.5% of total)
ival-add: 322.0ms (2.9% of total)
ival-sqrt: 291.0ms (2.6% of total)
ival-log: 256.0ms (2.3% of total)
ival-atan2: 152.0ms (1.4% of total)
ival-acos: 132.0ms (1.2% of total)
ival-tan: 104.0ms (0.9% of total)
ival-atan: 90.0ms (0.8% of total)
const: 60.0ms (0.5% of total)
ival-exp: 58.0ms (0.5% of total)
ival-neg: 55.0ms (0.5% of total)
ival-pi: 39.0ms (0.4% of total)
ival-fabs: 15.0ms (0.1% of total)

explain17.3s (1.7%)

Results
5.3s8458×1valid
2.7s15596×0valid
2.2s1946×2valid
1.4s540×3valid
426.0ms82×4valid
131.0ms2×5valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
ival-sin: 1.8s (21.7% of total)
ival-mult: 1.3s (16.1% of total)
ival-cos: 1.2s (14.4% of total)
ival-pow: 724.0ms (8.9% of total)
backward-pass: 610.0ms (7.5% of total)
ival-div: 582.0ms (7.2% of total)
ival-add: 437.0ms (5.4% of total)
ival-sub: 375.0ms (4.6% of total)
ival-exp: 301.0ms (3.7% of total)
ival-sqrt: 218.0ms (2.7% of total)
ival-log: 212.0ms (2.6% of total)
ival-neg: 121.0ms (1.5% of total)
ival-atan2: 60.0ms (0.7% of total)
ival-tan: 59.0ms (0.7% of total)
const: 55.0ms (0.7% of total)
ival-pi: 36.0ms (0.4% of total)
ival-atan: 31.0ms (0.4% of total)
ival-cbrt: 25.0ms (0.3% of total)
ival-acos: 22.0ms (0.3% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)

preprocess14.1s (1.4%)

Algorithm
52×egg-herbie
Rules
32328×fma-define
19274×fma-neg
13234×div-sub
11584×unsub-neg
11427×sub-neg
Stop Event
22×saturated
30×node limit
Compiler

Compiled 54424 to 22162 computations (59.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...