Herbie run

Date:Tuesday, April 30th, 2024
Commit:877d2d5e on artem-safe-sampling
Hostname:nightly with Racket 8.11.1
Seed:2024121
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: 17.7min)

sample5.7min (32.2%)

Results
2.0min25941×5exit
1.1min129833×1valid
42.6s270630×0valid
23.3s8074×3valid
17.1s19350×2valid
13.5s49772×0unsamplable
10.1s1423×4valid
3.7s19040×0invalid
2.6s11060×1invalid
1.3s1663×2invalid
114.0ms22×3invalid
108.0ms875×0precondition
37.0ms53×1unsamplable
32.0ms1×3unsamplable
6.0ms2×5valid
Precisions
Click to see histograms. Total time spent on operations: 4.5min
ival-pow: 1.9min (42.8% of total)
ival-mult: 26.5s (9.9% of total)
ival-sin: 23.6s (8.8% of total)
ival-cos: 22.5s (8.4% of total)
ival-div: 17.3s (6.5% of total)
backward-pass: 10.2s (3.8% of total)
ival-add: 9.8s (3.7% of total)
ival-sub: 9.1s (3.4% of total)
ival-exp: 7.0s (2.6% of total)
ival-log: 6.0s (2.2% of total)
ival-sqrt: 5.1s (1.9% of total)
ival-neg: 4.3s (1.6% of total)
ival-<: 3.2s (1.2% of total)
...c/correct-round.rkt:119:19: 1.9s (0.7% of total)
ival-atan2: 1.1s (0.4% of total)
const: 1.0s (0.4% of total)
ival-pi: 886.0ms (0.3% of total)
ival-tan: 635.0ms (0.2% of total)
ival-<=: 512.0ms (0.2% of total)
ival-atan: 475.0ms (0.2% of total)
ival-and: 431.0ms (0.2% of total)
ival-cbrt: 428.0ms (0.2% of total)
ival-acos: 409.0ms (0.2% of total)
ival-fabs: 193.0ms (0.1% of total)
ival-asin: 182.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.4min (13.5%)

Algorithm
251×egg-herbie
Rules
72515×fma-define
67051×*-commutative
62455×times-frac
58822×distribute-lft-in
51849×distribute-rgt-in
Stop Event
52×saturated
198×node limit
1×unsound
Counts
148708 → 124296

localize2.1min (11.8%)

Algorithm
200×egg-herbie
Rules
102018×fma-define
72913×fma-neg
44535×unsub-neg
42374×distribute-lft-in
38073×distribute-rgt-in
Stop Event
63×saturated
137×node limit
Results
27.6s13801×1valid
20.1s2742×5exit
12.5s27196×0valid
7.6s2479×2valid
3.2s3931×0invalid
3.1s499×3valid
1.3s490×1invalid
729.0ms59×4valid
3.0ms3×0unsamplable
Compiler

Compiled 93771 to 7593 computations (91.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 50.0s
ival-mult: 9.0s (17.9% of total)
ival-sin: 7.0s (13.9% of total)
ival-pow: 6.9s (13.9% of total)
ival-cos: 5.5s (11% of total)
backward-pass: 4.8s (9.6% of total)
ival-div: 3.8s (7.7% of total)
ival-add: 1.9s (3.8% of total)
ival-sub: 1.5s (3.1% of total)
ival-exp: 1.2s (2.4% of total)
...c/correct-round.rkt:119:19: 1.2s (2.3% of total)
ival-sqrt: 970.0ms (1.9% of total)
ival-fma: 924.0ms (1.8% of total)
ival-log: 921.0ms (1.8% of total)
ival-log1p: 776.0ms (1.6% of total)
ival-cbrt: 737.0ms (1.5% of total)
ival-hypot: 631.0ms (1.3% of total)
ival-neg: 445.0ms (0.9% of total)
ival-atan2: 445.0ms (0.9% of total)
ival-atan: 269.0ms (0.5% of total)
ival-expm1: 247.0ms (0.5% of total)
const: 212.0ms (0.4% of total)
ival-acos: 201.0ms (0.4% of total)
ival-tan: 199.0ms (0.4% of total)
ival-pi: 95.0ms (0.2% of total)
ival-fabs: 87.0ms (0.2% of total)
ival-asin: 29.0ms (0.1% of total)

soundness1.8min (10.4%)

Rules
83391×fma-define
75446×log1p-expm1-u
55647×expm1-log1p-u
51649×*-commutative
51074×times-frac
Stop Event
16×saturated
261×node limit
44×fuel
4×unsound
7×done
Compiler

Compiled 74163 to 21329 computations (71.2% saved)

regimes1.1min (6.5%)

Counts
25477 → 835
Calls

155 calls:

4.9s
phi1
4.5s
lambda1
4.1s
phi2
3.9s
lambda2
3.3s
(-.f64 lambda1 lambda2)
Compiler

Compiled 14178 to 9063 computations (36.1% saved)

rewrite54.7s (5.2%)

Algorithm
199×batch-egg-rewrite
Rules
121864×log1p-expm1-u
88328×expm1-log1p-u
53869×pow1
49128×add-exp-log
47240×add-log-exp
Stop Event
195×node limit
4×unsound
Counts
3010 → 78758

prune53.3s (5%)

Counts
198752 → 8435
Compiler

Compiled 591669 to 289383 computations (51.1% saved)

eval44.4s (4.2%)

Compiler

Compiled 9452770 to 888312 computations (90.6% saved)

series41.0s (3.9%)

Counts
3010 → 69950
Calls

17811 calls:

TimeVariablePointExpression
430.0ms
y-scale
@-inf
(/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale)
427.0ms
A
@0
(cbrt (sqrt (* F (- A (sqrt (+ (* B B) (* A A)))))))
378.0ms
a
@0
(+ (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* b (cos (* angle (/ (PI) 180)))) 2)) (pow x-scale 2)) (- (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* b (cos (* angle (/ (PI) 180)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* b (cos (* angle (/ (PI) 180)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (* (* 2 (- (pow b 2) (pow a 2))) (/ (* (sin (* angle (/ (PI) 180))) (cos (* angle (/ (PI) 180)))) (* x-scale y-scale))) (* (* 2 (- (pow b 2) (pow a 2))) (/ (* (sin (* angle (/ (PI) 180))) (cos (* angle (/ (PI) 180)))) (* x-scale y-scale))))))))
371.0ms
angle
@-inf
(log (* a (sin (* angle (/ (PI) 180)))))
359.0ms
x-scale
@inf
(- (/ (pow (* (cos (* 1/180 (* angle (PI)))) a) 2) (pow y-scale 2)) (+ (* (pow a 2) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2))) (sqrt (+ (* 4 (* (pow a 4) (* (pow (cos (* 1/180 (* angle (PI)))) 2) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* (pow y-scale 2) (pow x-scale 2)))))) (pow (- (* (pow a 2) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2))) (/ (pow (* (cos (* 1/180 (* angle (PI)))) a) 2) (pow y-scale 2))) 2)))))

analyze25.6s (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: 17.5s
ival-mult: 5.2s (29.8% of total)
ival-pow: 2.6s (14.9% of total)
ival-cos: 1.9s (11.2% of total)
ival-div: 1.7s (9.8% of total)
ival-sin: 1.2s (7% of total)
ival-add: 1.1s (6.2% of total)
ival-sub: 1.0s (5.9% of total)
ival-sqrt: 558.0ms (3.2% of total)
ival-<: 428.0ms (2.5% of total)
ival-neg: 361.0ms (2.1% of total)
...c/correct-round.rkt:119:19: 326.0ms (1.9% of total)
ival-atan2: 296.0ms (1.7% of total)
ival-exp: 95.0ms (0.5% of total)
const: 92.0ms (0.5% of total)
ival-pi: 74.0ms (0.4% of total)
ival-tan: 57.0ms (0.3% of total)
ival-asin: 56.0ms (0.3% of total)
ival-and: 53.0ms (0.3% of total)
ival-atan: 52.0ms (0.3% of total)
ival-log: 49.0ms (0.3% of total)
ival-fabs: 39.0ms (0.2% of total)
ival-acos: 39.0ms (0.2% of total)
backward-pass: 32.0ms (0.2% of total)
ival-cbrt: 20.0ms (0.1% of total)
ival-<=: 15.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)

bsearch19.6s (1.8%)

Algorithm
62×left-value
278×binary-search
Stop Event
5×predicate-same
273×narrow-enough
Results
6.8s9972×1valid
4.4s19952×0valid
2.5s1227×3valid
2.0s1541×2valid
801.0ms108×4valid
131.0ms887×0invalid
Compiler

Compiled 85977 to 59565 computations (30.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.7s
ival-sin: 3.1s (22.8% of total)
ival-cos: 2.7s (19.6% of total)
ival-mult: 2.6s (19.1% of total)
ival-pow: 1.4s (10.1% of total)
ival-div: 983.0ms (7.2% of total)
ival-sub: 668.0ms (4.9% of total)
backward-pass: 611.0ms (4.5% of total)
ival-add: 419.0ms (3.1% of total)
ival-sqrt: 342.0ms (2.5% of total)
ival-acos: 223.0ms (1.6% of total)
ival-atan2: 139.0ms (1% of total)
ival-exp: 135.0ms (1% of total)
ival-atan: 79.0ms (0.6% of total)
ival-neg: 76.0ms (0.6% of total)
ival-pi: 73.0ms (0.5% of total)
const: 60.0ms (0.4% of total)
ival-tan: 41.0ms (0.3% of total)
ival-log: 29.0ms (0.2% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-asin: 7.0ms (0.1% of total)

explain18.8s (1.8%)

Results
6.1s8514×1valid
2.6s1942×2valid
2.6s15546×0valid
1.3s522×3valid
985.0ms100×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
ival-sin: 1.9s (20.2% of total)
ival-mult: 1.4s (15% of total)
ival-cos: 1.3s (14.3% of total)
ival-div: 740.0ms (8.1% of total)
ival-log: 703.0ms (7.7% of total)
ival-pow: 684.0ms (7.5% of total)
backward-pass: 611.0ms (6.7% of total)
ival-sub: 368.0ms (4% of total)
ival-add: 341.0ms (3.7% of total)
ival-exp: 330.0ms (3.6% of total)
ival-tan: 241.0ms (2.6% of total)
ival-sqrt: 211.0ms (2.3% of total)
ival-neg: 156.0ms (1.7% of total)
const: 55.0ms (0.6% of total)
ival-atan2: 44.0ms (0.5% of total)
ival-atan: 39.0ms (0.4% of total)
ival-pi: 36.0ms (0.4% of total)
ival-acos: 22.0ms (0.2% of total)
ival-cbrt: 21.0ms (0.2% of total)
ival-fabs: 16.0ms (0.2% of total)
ival-asin: 8.0ms (0.1% of total)

preprocess14.5s (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 60558 to 23894 computations (60.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...