Herbie run

Date:Friday, April 19th, 2024
Commit:0226cf0a on fix-register-compiler
Hostname:nightly with Racket 8.11.1
Seed:2024110
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: 20.0min)

sample5.7min (28.2%)

Results
50.3s290295×0valid
58.4s115323×1valid
10.9s49899×0unsamplable
4.6s26970×0invalid
2.0min25996×5exit
18.4s15131×2valid
23.7s7550×3valid
1.6s3650×1invalid
6.1s1011×4valid
97.0ms866×0precondition
422.0ms802×2invalid
29.0ms42×1unsamplable
3.0ms2×5valid
Precisions
Click to see histograms. Total time spent on operations: 4.4min
ival-pow: 2.1min (47% of total)
ival-mult: 27.5s (10.4% of total)
ival-sin: 18.0s (6.8% of total)
ival-div: 17.4s (6.6% of total)
ival-cos: 16.1s (6.1% of total)
backward-pass: 14.1s (5.3% of total)
ival-sub: 8.8s (3.3% of total)
ival-add: 8.1s (3.1% of total)
ival-exp: 7.2s (2.7% of total)
ival-log: 5.0s (1.9% of total)
ival-sqrt: 4.7s (1.8% of total)
ival-neg: 4.1s (1.6% of total)
ival-<: 2.6s (1% of total)
const: 1.1s (0.4% of total)
ival-atan2: 1.0s (0.4% of total)
ival-pi: 770.0ms (0.3% of total)
ival-tan: 629.0ms (0.2% of total)
ival-acos: 420.0ms (0.2% of total)
ival-atan: 414.0ms (0.2% of total)
ival-cbrt: 411.0ms (0.2% of total)
ival-and: 410.0ms (0.2% of total)
ival-asin: 261.0ms (0.1% of total)
ival-fabs: 223.0ms (0.1% of total)
ival-<=: 200.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

localize3.0min (15.1%)

Algorithm
785×egg-herbie
Rules
261528×fma-define
203138×fma-neg
119853×associate-*r*
98529×unsub-neg
96257×associate-+r-
Stop Event
511×saturated
274×node limit
Results
15.4s29229×0valid
19.3s9907×1valid
2.7s4514×0invalid
39.7s4230×5exit
7.0s2222×2valid
2.0s338×3valid
1.3s158×1invalid
18.0ms60×0unsamplable
574.0ms30×4valid
Compiler

Compiled 91629 to 7450 computations (91.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 59.3s
ival-mult: 11.0s (18.6% of total)
ival-sin: 9.5s (16% of total)
ival-pow: 8.1s (13.6% of total)
backward-pass: 7.2s (12.1% of total)
ival-cos: 5.2s (8.7% of total)
ival-div: 3.8s (6.4% of total)
ival-add: 1.8s (3% of total)
ival-log: 1.7s (2.9% of total)
ival-sub: 1.5s (2.6% of total)
ival-exp: 1.3s (2.2% of total)
ival-expm1: 1.2s (2% of total)
ival-sqrt: 1.1s (1.8% of total)
ival-fma: 1.0s (1.8% of total)
ival-log1p: 918.0ms (1.5% of total)
ival-hypot: 822.0ms (1.4% of total)
ival-cbrt: 778.0ms (1.3% of total)
ival-neg: 560.0ms (0.9% of total)
ival-atan2: 514.0ms (0.9% of total)
ival-tan: 269.0ms (0.5% of total)
const: 252.0ms (0.4% of total)
ival-atan: 233.0ms (0.4% of total)
ival-acos: 177.0ms (0.3% of total)
ival-pi: 166.0ms (0.3% of total)
ival-fabs: 166.0ms (0.3% of total)
ival-asin: 31.0ms (0.1% of total)
ival-e: 25.0ms (0% of total)

simplify2.4min (11.8%)

Algorithm
250×egg-herbie
Rules
73209×fma-define
62696×*-commutative
61124×distribute-lft-in
60279×times-frac
52877×distribute-rgt-in
Stop Event
52×saturated
197×node limit
1×unsound
Counts
145607 → 121317

soundness2.0min (9.8%)

Rules
86707×fma-define
70759×log1p-expm1-u
55405×expm1-log1p-u
53343×distribute-lft-in
51842×times-frac
Stop Event
14×saturated
45×fuel
272×node limit
4×unsound
7×done
Compiler

Compiled 77822 to 21991 computations (71.7% saved)

regimes1.7min (8.7%)

Counts
26328 → 1000
Calls

155 calls:

9.7s
phi1
7.8s
phi2
6.1s
lambda2
6.1s
lambda1
4.8s
(-.f64 lambda1 lambda2)
Compiler

Compiled 14887 to 9457 computations (36.5% saved)

prune1.5min (7.7%)

Counts
196094 → 8022
Compiler

Compiled 562965 to 278069 computations (50.6% saved)

rewrite57.1s (4.8%)

Algorithm
198×batch-egg-rewrite
Rules
122847×log1p-expm1-u
92998×expm1-log1p-u
52879×pow1
50198×add-exp-log
46308×add-log-exp
Stop Event
192×node limit
6×unsound
Counts
2946 → 77343

eval45.8s (3.8%)

Compiler

Compiled 8534577 to 865590 computations (89.9% saved)

series35.6s (3%)

Counts
2946 → 68264
Calls

17661 calls:

TimeVariablePointExpression
306.0ms
ew
@-inf
(cbrt (pow (/ (* ew (cos t)) (sqrt (+ (* 1 1) (* (* (tan t) (/ eh ew)) (* (tan t) (/ eh ew)))))) 3))
299.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)))
284.0ms
angle
@-inf
(sqrt (+ (* 2 (* (pow a 2) (pow (sin (* 1/180 (* angle (PI)))) 2))) (* 2 (* (pow b 2) (pow (cos (* 1/180 (* angle (PI)))) 2)))))
261.0ms
x-scale
@0
(* 1/4 (* (/ (sqrt 8) (* x-scale y-scale)) (sqrt (+ (* 2 (/ (* (pow a 2) (pow (cos (* 1/180 (* angle (PI)))) 2)) (pow y-scale 2))) (* 2 (/ (* (pow b 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (pow y-scale 2)))))))
246.0ms
lambda2
@inf
(+ lambda1 (atan2 (* 1 (sin (- lambda1 lambda2))) (+ (cos (- lambda2 lambda1)) 1)))

analyze26.2s (2.2%)

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.0s
ival-mult: 5.0s (29.2% of total)
ival-pow: 3.0s (17.5% of total)
ival-cos: 2.0s (11.9% of total)
ival-sub: 1.4s (8.5% of total)
ival-div: 1.4s (8.2% of total)
ival-sin: 1.2s (7.3% of total)
ival-add: 1.0s (5.9% of total)
ival-sqrt: 520.0ms (3.1% of total)
ival-neg: 261.0ms (1.5% of total)
ival-<: 242.0ms (1.4% of total)
ival-tan: 136.0ms (0.8% of total)
ival-atan2: 128.0ms (0.8% of total)
ival-pi: 117.0ms (0.7% of total)
ival-exp: 97.0ms (0.6% of total)
const: 93.0ms (0.5% of total)
ival-asin: 58.0ms (0.3% of total)
ival-log: 52.0ms (0.3% of total)
ival-atan: 51.0ms (0.3% of total)
ival-and: 51.0ms (0.3% of total)
ival-acos: 37.0ms (0.2% of total)
ival-fabs: 36.0ms (0.2% of total)
backward-pass: 33.0ms (0.2% of total)
ival-cbrt: 17.0ms (0.1% of total)
ival-<=: 3.0ms (0% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

bsearch24.7s (2.1%)

Algorithm
396×binary-search
71×left-value
Stop Event
12×predicate-same
384×narrow-enough
Results
6.2s33369×0valid
7.6s11517×1valid
2.7s2559×2valid
3.2s1599×3valid
121.0ms1254×0invalid
2.0ms37×0unsamplable
140.0ms28×4valid
1.0ms1×5exit
Compiler

Compiled 117670 to 82448 computations (29.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.1s
ival-mult: 3.0s (18.9% of total)
ival-sin: 2.5s (15.8% of total)
ival-cos: 2.5s (15.7% of total)
ival-pow: 1.9s (11.7% of total)
ival-div: 1.4s (8.5% of total)
backward-pass: 1.2s (7.2% of total)
ival-sub: 990.0ms (6.1% of total)
ival-add: 740.0ms (4.6% of total)
ival-sqrt: 605.0ms (3.8% of total)
ival-atan: 199.0ms (1.2% of total)
ival-acos: 173.0ms (1.1% of total)
ival-exp: 153.0ms (0.9% of total)
ival-tan: 144.0ms (0.9% of total)
ival-atan2: 133.0ms (0.8% of total)
ival-pi: 116.0ms (0.7% of total)
const: 102.0ms (0.6% of total)
ival-log: 92.0ms (0.6% of total)
ival-neg: 84.0ms (0.5% of total)
ival-asin: 30.0ms (0.2% of total)
ival-fabs: 25.0ms (0.2% of total)
ival-cbrt: 3.0ms (0% of total)

explain18.9s (1.6%)

Results
4.3s16802×0valid
4.3s7694×1valid
2.2s1600×2valid
1.7s468×3valid
355.0ms60×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
ival-sin: 2.0s (22.9% of total)
ival-mult: 1.5s (17.5% of total)
ival-cos: 964.0ms (11.3% of total)
ival-div: 699.0ms (8.2% of total)
backward-pass: 668.0ms (7.8% of total)
ival-pow: 655.0ms (7.6% of total)
ival-add: 559.0ms (6.5% of total)
ival-exp: 314.0ms (3.7% of total)
ival-sub: 310.0ms (3.6% of total)
ival-sqrt: 227.0ms (2.7% of total)
ival-log: 214.0ms (2.5% of total)
ival-neg: 106.0ms (1.2% of total)
ival-tan: 92.0ms (1.1% of total)
ival-atan2: 83.0ms (1% of total)
const: 60.0ms (0.7% of total)
ival-pi: 41.0ms (0.5% of total)
ival-acos: 33.0ms (0.4% of total)
ival-atan: 32.0ms (0.4% of total)
ival-cbrt: 19.0ms (0.2% of total)
ival-fabs: 16.0ms (0.2% of total)
ival-asin: 13.0ms (0.2% of total)

preprocess15.4s (1.3%)

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 61312 to 22816 computations (62.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...