Herbie run

Date:Friday, April 19th, 2024
Commit:a62871db on main
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: 25.8min)

localize7.3min (28.2%)

Algorithm
760×egg-herbie
Rules
258459×fma-define
200722×fma-neg
96332×unsub-neg
96216×associate-+r-
92217×sub-neg
Stop Event
501×saturated
259×node limit
Results
38.7s27809×0valid
1.4min11058×1valid
10.6s4511×0invalid
1.7min3130×5exit
28.1s2270×2valid
33.5s370×3valid
5.1s161×1invalid
49.0ms60×0unsamplable
8.5s39×4valid
Compiler

Compiled 82550 to 45354 computations (45.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.7min
ival-sin: 55.9s (19.8% of total)
ival-mult: 54.1s (19.2% of total)
ival-pow: 51.8s (18.3% of total)
ival-cos: 35.8s (12.7% of total)
ival-div: 24.5s (8.7% of total)
backward-pass: 24.5s (8.7% of total)
ival-add: 6.5s (2.3% of total)
ival-sub: 5.2s (1.8% of total)
const: 3.4s (1.2% of total)
ival-expm1: 3.2s (1.1% of total)
ival-sqrt: 3.2s (1.1% of total)
ival-hypot: 2.6s (0.9% of total)
ival-log1p: 2.2s (0.8% of total)
ival-fma: 2.2s (0.8% of total)
ival-cbrt: 2.1s (0.7% of total)
ival-log: 1.6s (0.6% of total)
ival-exp: 1.2s (0.4% of total)
ival-atan2: 1.0s (0.4% of total)
ival-neg: 560.0ms (0.2% of total)
ival-atan: 349.0ms (0.1% of total)
ival-acos: 327.0ms (0.1% of total)
ival-tan: 202.0ms (0.1% of total)
ival-pi: 125.0ms (0% of total)
ival-fabs: 83.0ms (0% of total)
ival-asin: 57.0ms (0% of total)
ival-e: 25.0ms (0% of total)

sample6.0min (23.2%)

Results
56.7s289640×0valid
1.3min115964×1valid
14.0s49896×0unsamplable
5.3s26970×0invalid
35.6s25996×5exit
34.3s15120×2valid
57.8s7571×3valid
3.4s3650×1invalid
19.7s1015×4valid
196.0ms866×0precondition
676.0ms802×2invalid
45.0ms45×1unsamplable
3.0ms2×5valid
Precisions
Click to see histograms. Total time spent on operations: 4.5min
ival-sin: 48.3s (17.9% of total)
ival-mult: 43.6s (16.1% of total)
ival-cos: 36.8s (13.6% of total)
ival-pow: 34.9s (12.9% of total)
ival-div: 32.0s (11.8% of total)
backward-pass: 21.3s (7.9% of total)
ival-add: 13.2s (4.9% of total)
ival-sub: 9.1s (3.4% of total)
ival-exp: 6.4s (2.4% of total)
ival-log: 5.1s (1.9% of total)
ival-sqrt: 4.4s (1.6% of total)
ival-neg: 4.3s (1.6% of total)
ival-<: 3.1s (1.2% of total)
const: 3.0s (1.1% of total)
ival-atan2: 1.1s (0.4% of total)
ival-pi: 709.0ms (0.3% of total)
ival-tan: 605.0ms (0.2% of total)
ival-acos: 466.0ms (0.2% of total)
ival-and: 423.0ms (0.2% of total)
ival-atan: 408.0ms (0.2% of total)
ival-cbrt: 404.0ms (0.1% of total)
ival-asin: 312.0ms (0.1% of total)
ival-fabs: 250.0ms (0.1% of total)
ival-<=: 201.0ms (0.1% of total)
ival-==: 39.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

eval2.0min (7.8%)

Compiler

Compiled 7301866 to 4539517 computations (37.8% saved)

simplify1.9min (7.6%)

Algorithm
242×egg-herbie
Rules
70616×fma-define
59567×*-commutative
59210×distribute-lft-in
56907×times-frac
51395×distribute-rgt-in
Stop Event
50×saturated
191×node limit
1×unsound
Counts
139736 → 117059

soundness1.6min (6.2%)

Rules
82848×fma-define
67376×log1p-expm1-u
52022×expm1-log1p-u
50331×distribute-lft-in
47435×times-frac
Stop Event
14×saturated
43×fuel
258×node limit
4×unsound
7×done
Compiler

Compiled 74422 to 43126 computations (42.1% saved)

explain1.6min (6.1%)

Results
8.5s16104×0valid
23.5s8314×1valid
14.8s1612×2valid
25.7s518×3valid
8.0s76×4valid
Compiler

Compiled 20263 to 11933 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-sin: 16.6s (22.3% of total)
ival-mult: 13.5s (18.1% of total)
ival-cos: 12.1s (16.3% of total)
ival-div: 9.9s (13.3% of total)
ival-pow: 8.8s (11.8% of total)
backward-pass: 6.0s (8% of total)
ival-add: 2.6s (3.5% of total)
ival-sub: 1.6s (2.1% of total)
ival-sqrt: 1.4s (1.9% of total)
const: 735.0ms (1% of total)
ival-log: 383.0ms (0.5% of total)
ival-exp: 235.0ms (0.3% of total)
ival-tan: 223.0ms (0.3% of total)
ival-neg: 142.0ms (0.2% of total)
ival-atan2: 77.0ms (0.1% of total)
ival-atan: 73.0ms (0.1% of total)
ival-pi: 41.0ms (0.1% of total)
ival-cbrt: 39.0ms (0.1% of total)
ival-acos: 34.0ms (0% of total)
ival-asin: 13.0ms (0% of total)
ival-fabs: 13.0ms (0% of total)

regimes1.4min (5.6%)

Counts
25271 → 948
Calls

150 calls:

7.7s
phi1
5.8s
phi2
5.4s
lambda1
4.5s
lambda2
4.4s
(-.f64 lambda1 lambda2)
Compiler

Compiled 13660 to 10027 computations (26.6% saved)

prune1.3min (4.9%)

Counts
186921 → 7401
Compiler

Compiled 479290 to 332209 computations (30.7% saved)

rewrite51.8s (3.3%)

Algorithm
192×batch-egg-rewrite
Rules
119106×log1p-expm1-u
89257×expm1-log1p-u
49946×pow1
47867×add-exp-log
44915×add-log-exp
Stop Event
186×node limit
6×unsound
Counts
2817 → 75272

analyze35.6s (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 1338 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 25.3s
ival-mult: 7.3s (28.8% of total)
ival-pow: 5.1s (20.1% of total)
ival-div: 4.3s (17% of total)
ival-sin: 2.4s (9.3% of total)
ival-cos: 2.1s (8.5% of total)
ival-add: 952.0ms (3.8% of total)
ival-sub: 878.0ms (3.5% of total)
ival-sqrt: 521.0ms (2.1% of total)
const: 322.0ms (1.3% of total)
ival-pi: 317.0ms (1.3% of total)
ival-neg: 259.0ms (1% of total)
ival-<: 233.0ms (0.9% of total)
ival-atan2: 199.0ms (0.8% of total)
ival-exp: 76.0ms (0.3% of total)
ival-tan: 54.0ms (0.2% of total)
ival-atan: 52.0ms (0.2% of total)
ival-and: 51.0ms (0.2% of total)
ival-log: 50.0ms (0.2% of total)
ival-asin: 48.0ms (0.2% of total)
ival-acos: 40.0ms (0.2% of total)
backward-pass: 38.0ms (0.2% of total)
ival-fabs: 33.0ms (0.1% of total)
ival-cbrt: 19.0ms (0.1% of total)
ival-<=: 3.0ms (0% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

series30.3s (2%)

Counts
2817 → 64464
Calls

16740 calls:

TimeVariablePointExpression
382.0ms
C
@-inf
(* 180 (atan (+ (/ (- C A) B) -1)))
299.0ms
phi1
@0
(cbrt (* 2 (atan2 (sqrt (+ (* (sin (* (- phi1 phi2) 1/2)) (sin (* (- phi1 phi2) 1/2))) (* (sqrt (* (* (cos phi1) (cos phi2)) (pow (sin (* (- lambda1 lambda2) 1/2)) 2))) (sqrt (* (* (cos phi1) (cos phi2)) (pow (sin (* (- lambda1 lambda2) 1/2)) 2)))))) (sqrt (- 1 (+ (* (cos phi1) (* (cos phi2) (pow (sin (* (- lambda1 lambda2) 1/2)) 2))) (pow (sin (* (- phi2 phi1) 1/2)) 2)))))))
293.0ms
b
@inf
(+ (neg b) (sqrt (- (* b b) (* a (* c 3)))))
287.0ms
eh
@0
(- (exp (/ (sin t) (sqrt (+ (* 1 1) (* (/ eh (* ew (tan t))) (/ eh (* ew (tan t)))))))) 1)
285.0ms
ew
@0
(- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (pow (sqrt (* eh (sin t))) 2) (sin (atan (/ (* (neg eh) (tan t)) ew)))))

bsearch22.1s (1.4%)

Algorithm
368×binary-search
70×left-value
Stop Event
10×predicate-same
358×narrow-enough
Results
6.2s32373×0valid
8.8s10903×1valid
1.0s1861×2valid
688.0ms1254×0invalid
758.0ms1023×3valid
2.0ms37×0unsamplable
1.0ms1×5exit
Compiler

Compiled 105985 to 79755 computations (24.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.2s
ival-sin: 3.0s (21% of total)
ival-mult: 2.4s (17.2% of total)
ival-cos: 2.0s (14% of total)
ival-div: 1.5s (10.4% of total)
ival-pow: 1.3s (9.2% of total)
backward-pass: 839.0ms (5.9% of total)
ival-sub: 770.0ms (5.4% of total)
ival-sqrt: 465.0ms (3.3% of total)
ival-add: 441.0ms (3.1% of total)
ival-neg: 348.0ms (2.5% of total)
ival-acos: 170.0ms (1.2% of total)
ival-atan: 168.0ms (1.2% of total)
ival-tan: 161.0ms (1.1% of total)
const: 152.0ms (1.1% of total)
ival-atan2: 139.0ms (1% of total)
ival-pi: 114.0ms (0.8% of total)
ival-exp: 89.0ms (0.6% of total)
ival-log: 80.0ms (0.6% of total)
ival-asin: 56.0ms (0.4% of total)
ival-fabs: 26.0ms (0.2% of total)
ival-cbrt: 3.0ms (0% of total)

preprocess16.4s (1.1%)

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 56462 to 34322 computations (39.2% saved)

end5.5s (0.4%)

Calls

1 calls:

TimeVariablePointExpression
3.0ms
angle
@0
(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)))

Profiling

Loading profile data...