Herbie run

Date:Friday, March 29th, 2024
Commit:b0dcf92e on main
Hostname:nightly with Racket 8.11.1
Seed:2024089
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.3min)

localize8.4min (33.1%)

Results
48.1s30226×256valid
38.9s4333×1024valid
11.5s3175×256invalid
5.3s3016×256infinite
4.2min2871×8192exit
14.6s2659×512valid
27.7s2073×2048valid
28.0s535×4096valid
3.5s267×1024infinite
1.5s153×512infinite
616.0ms111×1024invalid
42.0ms106×256unsamplable
2.8s85×2048infinite
159.0ms62×512invalid
3.6s62×4096infinite
9.7s31×8192valid
16.0ms2×2048invalid
Compiler

Compiled 90432 to 50163 computations (44.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.1min
ival-sin: 1.7min (24.4% of total)
ival-cos: 1.6min (22.4% of total)
ival-pow: 1.2min (16.3% of total)
ival-mult: 1.1min (15.5% of total)
ival-div: 30.0s (7% of total)
composed: 15.4s (3.6% of total)
ival-add: 9.3s (2.2% of total)
ival-log: 7.9s (1.8% of total)
ival-exp: 6.1s (1.4% of total)
ival-sub: 5.7s (1.3% of total)
ival-sqrt: 4.9s (1.2% of total)
const: 4.5s (1% of total)
ival-cbrt: 2.6s (0.6% of total)
ival-atan2: 2.1s (0.5% of total)
ival-atan: 1.2s (0.3% of total)
ival-acos: 762.0ms (0.2% of total)
ival-neg: 711.0ms (0.2% of total)
ival-tan: 327.0ms (0.1% of total)
ival-pi: 147.0ms (0% of total)
ival-fabs: 109.0ms (0% of total)
ival-asin: 77.0ms (0% of total)

sample6.2min (24.3%)

Results
52.3s263509×0valid
1.1min112345×1valid
13.5s49384×0unsamplable
4.3s27516×0invalid
5.6s26383×0infinite
55.1s25809×5exit
26.0s10305×2valid
54.7s7259×3valid
6.1s6842×1infinite
2.1s3836×1invalid
22.1s1285×4valid
84.0ms914×0precondition
666.0ms834×2invalid
2.9s828×2infinite
3.3s542×3infinite
40.0ms47×1unsamplable
30.0ms9×5valid
74.0ms5×4infinite
2.0ms2×2unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.5min
ival-sin: 45.6s (17% of total)
ival-mult: 38.9s (14.5% of total)
ival-cos: 34.6s (12.9% of total)
ival-pow: 31.7s (11.8% of total)
ival-div: 28.6s (10.7% of total)
backward-pass: 25.3s (9.5% of total)
ival-exp: 18.6s (7% of total)
ival-add: 12.3s (4.6% of total)
ival-sub: 8.2s (3% of total)
ival-sqrt: 4.1s (1.5% of total)
ival-log: 3.9s (1.4% of total)
ival-neg: 3.8s (1.4% of total)
ival-<: 3.6s (1.4% of total)
const: 3.4s (1.3% of total)
ival-atan2: 747.0ms (0.3% of total)
ival-pi: 733.0ms (0.3% of total)
ival-tan: 732.0ms (0.3% of total)
ival-and: 638.0ms (0.2% of total)
ival-cbrt: 630.0ms (0.2% of total)
ival-atan: 454.0ms (0.2% of total)
ival-acos: 446.0ms (0.2% of total)
ival-<=: 303.0ms (0.1% of total)
ival-asin: 266.0ms (0.1% of total)
ival-fabs: 146.0ms (0.1% of total)
ival-==: 3.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

eval2.6min (10.1%)

Compiler

Compiled 7291831 to 4292887 computations (41.1% saved)

explain1.9min (7.4%)

Results
9.2s17376×256valid
11.7s2958×1024valid
5.2s1996×512valid
1.5s1680×256infinite
15.1s1334×2048valid
29.5s614×4096valid
2.0s272×1024infinite
651.0ms146×512infinite
19.8s110×8192valid
1.6s104×2048infinite
1.7s34×4096infinite
Compiler

Compiled 20263 to 11933 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-sin: 24.2s (27% of total)
ival-cos: 18.3s (20.4% of total)
ival-mult: 16.1s (18% of total)
ival-pow: 12.1s (13.5% of total)
ival-div: 11.3s (12.6% of total)
ival-add: 2.2s (2.4% of total)
ival-sub: 1.6s (1.8% of total)
ival-sqrt: 1.0s (1.1% of total)
const: 881.0ms (1% of total)
ival-log: 592.0ms (0.7% of total)
ival-neg: 295.0ms (0.3% of total)
ival-atan2: 286.0ms (0.3% of total)
ival-exp: 215.0ms (0.2% of total)
ival-atan: 196.0ms (0.2% of total)
ival-tan: 123.0ms (0.1% of total)
ival-cbrt: 87.0ms (0.1% of total)
ival-acos: 74.0ms (0.1% of total)
ival-pi: 55.0ms (0.1% of total)
ival-asin: 16.0ms (0% of total)
ival-fabs: 14.0ms (0% of total)

simplify1.2min (4.9%)

Algorithm
238×egg-herbie
Rules
74704×fma-define
62717×associate-*r*
57132×distribute-lft-in
54990×*-commutative
52532×distribute-rgt-in
Stop Event
52×saturated
184×node limit
2×unsound
Counts
90655 → 78597

soundness1.1min (4.4%)

Rules
77187×fma-define
56641×log1p-expm1-u
52086×associate-*r*
48094×fma-neg
45967×distribute-lft-in
Stop Event
16×saturated
40×fuel
222×node limit
3×unsound
10×done
Compiler

Compiled 65997 to 38345 computations (41.9% saved)

regimes57.6s (3.8%)

Counts
19774 → 861
Calls

150 calls:

4.9s
phi1
4.6s
phi2
4.5s
lambda1
4.0s
lambda2
2.6s
b
Compiler

Compiled 11804 to 8704 computations (26.3% saved)

prune56.5s (3.7%)

Counts
172893 → 6782
Compiler

Compiled 443542 to 307482 computations (30.7% saved)

rewrite37.8s (2.5%)

Algorithm
188×batch-egg-rewrite
Rules
119066×log1p-expm1-u
88913×expm1-log1p-u
47064×pow1
43467×add-exp-log
41976×add-log-exp
Stop Event
185×node limit
3×unsound
Counts
1749 → 50265

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

Precisions
Click to see histograms. Total time spent on operations: 21.3s
ival-mult: 6.1s (28.8% of total)
ival-div: 3.8s (17.9% of total)
ival-pow: 3.2s (15.1% of total)
ival-cos: 2.4s (11.2% of total)
ival-sin: 1.7s (8.2% of total)
ival-sub: 1.0s (4.9% of total)
ival-add: 946.0ms (4.4% of total)
ival-sqrt: 470.0ms (2.2% of total)
const: 316.0ms (1.5% of total)
ival-neg: 300.0ms (1.4% of total)
ival-<: 241.0ms (1.1% of total)
ival-atan2: 142.0ms (0.7% of total)
ival-exp: 79.0ms (0.4% of total)
ival-log: 79.0ms (0.4% of total)
ival-pi: 70.0ms (0.3% of total)
ival-atan: 58.0ms (0.3% of total)
ival-tan: 58.0ms (0.3% of total)
ival-acos: 55.0ms (0.3% of total)
ival-and: 52.0ms (0.2% of total)
ival-asin: 36.0ms (0.2% of total)
ival-fabs: 35.0ms (0.2% of total)
ival-cbrt: 20.0ms (0.1% of total)
ival-<=: 4.0ms (0% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

bsearch21.6s (1.4%)

Algorithm
329×binary-search
53×left-value
Stop Event
6×predicate-same
323×narrow-enough
Results
5.9s28396×0valid
7.8s8641×1valid
209.0ms1741×0invalid
1.0s1480×2valid
290.0ms1206×0infinite
777.0ms792×3valid
1.2s492×5exit
344.0ms333×1infinite
Compiler

Compiled 109707 to 82652 computations (24.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.2s
ival-sin: 2.4s (18.1% of total)
ival-mult: 1.9s (14.1% of total)
ival-cos: 1.7s (12.7% of total)
ival-pow: 1.5s (11.2% of total)
ival-div: 1.3s (10.2% of total)
backward-pass: 1.2s (8.8% of total)
ival-sub: 1.0s (7.6% of total)
ival-add: 589.0ms (4.5% of total)
ival-exp: 399.0ms (3% of total)
ival-sqrt: 351.0ms (2.7% of total)
ival-atan2: 186.0ms (1.4% of total)
const: 163.0ms (1.2% of total)
ival-atan: 131.0ms (1% of total)
ival-neg: 129.0ms (1% of total)
ival-pi: 123.0ms (0.9% of total)
ival-acos: 77.0ms (0.6% of total)
ival-log: 61.0ms (0.5% of total)
ival-asin: 47.0ms (0.4% of total)
ival-cbrt: 8.0ms (0.1% of total)

preprocess18.2s (1.2%)

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 58222 to 35716 computations (38.7% saved)

series16.6s (1.1%)

Counts
1749 → 40390
Calls

9852 calls:

TimeVariablePointExpression
214.0ms
C
@0
(log (* B (sqrt (* 2 (* F (* -1/2 (/ (pow B 2) C)))))))
114.0ms
lambda2
@0
(* R (sqrt (+ (* (* (- lambda1 lambda2) (+ (cos (* 1/2 phi1)) (* (* -1/2 phi2) (sin (* 1/2 phi1))))) (* (- lambda1 lambda2) (+ (cos (* 1/2 phi1)) (* (* -1/2 phi2) (sin (* 1/2 phi1)))))) (* (- phi1 phi2) (- phi1 phi2)))))
111.0ms
s
@inf
(/ (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (+ 1 (/ 1 (- -1 (exp (neg s))))) c_n)) (pow (+ 1 (/ 1 (- -1 (exp (neg t))))) c_n)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
100.0ms
phi2
@-inf
(log (* R (acos (+ (* phi1 (sin phi2)) (* (cos phi1) (cos (- lambda2 lambda1)))))))
97.0ms
angle
@-inf
(- (* (/ (/ (* (* (* 2 (pow b 2)) (sin (* 1/180 (* angle (PI))))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (* (* 2 (pow b 2)) (sin (* 1/180 (* angle (PI))))) (* x-scale y-scale))) (* (* 4 (/ (/ (+ (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)))

end631.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 6.1s
ival-pow: 4.0s (65.6% of total)
ival-cos: 2.1s (34.4% of total)

Profiling

Loading profile data...