Herbie run

Date:Friday, May 10th, 2024
Commit:b0326c12 on jackson-platforms-report
Hostname:nightly with Racket 8.11.1
Seed:2024131
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: 18.3min)

sample6.0min (32.6%)

Results
2.1min26239×5exit
1.2min130094×1valid
43.0s270422×0valid
25.2s8174×3valid
20.1s19276×2valid
13.7s50096×0unsamplable
8.2s1342×4valid
3.3s19328×0invalid
3.3s11393×1invalid
1.4s1705×2invalid
99.0ms4×5valid
88.0ms946×0precondition
46.0ms57×1unsamplable
14.0ms23×3invalid
2.0ms1×4unsamplable
1.0ms1×3unsamplable
1.0ms1×2unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.6min
ival-pow: 2.1min (44.3% of total)
ival-mult: 30.2s (10.8% of total)
ival-sin: 24.9s (8.9% of total)
ival-cos: 21.9s (7.9% of total)
ival-div: 18.7s (6.7% of total)
backward-pass: 10.3s (3.7% of total)
ival-sub: 9.8s (3.5% of total)
ival-add: 9.1s (3.3% of total)
ival-log: 6.4s (2.3% of total)
ival-exp: 6.1s (2.2% of total)
ival-neg: 4.6s (1.6% of total)
ival-sqrt: 4.4s (1.6% of total)
ival-<: 2.9s (1% of total)
const: 1.1s (0.4% of total)
ival-atan2: 1.1s (0.4% of total)
ival-pi: 791.0ms (0.3% of total)
ival-tan: 565.0ms (0.2% of total)
ival-acos: 460.0ms (0.2% of total)
ival-and: 418.0ms (0.1% of total)
ival-atan: 411.0ms (0.1% of total)
ival-cbrt: 350.0ms (0.1% of total)
ival-<=: 267.0ms (0.1% of total)
ival-fabs: 232.0ms (0.1% of total)
ival-asin: 196.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

localize2.5min (13.6%)

Algorithm
195×egg-herbie
Rules
110984×fma-define
73002×fmm-def
45923×distribute-lft-in
38657×unsub-neg
36459×associate-*r*
Stop Event
60×saturated
135×node limit
Results
58.2s9641×5exit
15.6s8715×1valid
13.8s25353×0valid
4.5s1507×2valid
2.5s3922×0invalid
1.2s340×1invalid
247.0ms85×3valid
103.0ms50×2invalid
80.0ms299×0unsamplable
71.0ms8×2unsamplable
Compiler

Compiled 95207 to 7553 computations (92.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 11.6s (17.1% of total)
ival-pow: 10.4s (15.4% of total)
ival-sin: 8.7s (12.9% of total)
backward-pass: 7.7s (11.4% of total)
ival-cos: 5.8s (8.5% of total)
ival-div: 4.6s (6.7% of total)
ival-exp: 3.5s (5.1% of total)
<compiled-spec>: 3.3s (4.9% of total)
ival-add: 3.1s (4.5% of total)
ival-sub: 2.3s (3.4% of total)
ival-log: 2.2s (3.2% of total)
ival-sqrt: 1.5s (2.2% of total)
ival-cbrt: 717.0ms (1.1% of total)
ival-atan2: 485.0ms (0.7% of total)
ival-neg: 470.0ms (0.7% of total)
ival-pi: 390.0ms (0.6% of total)
const: 283.0ms (0.4% of total)
ival-atan: 281.0ms (0.4% of total)
ival-tan: 206.0ms (0.3% of total)
ival-acos: 137.0ms (0.2% of total)
ival-fabs: 90.0ms (0.1% of total)
ival-asin: 57.0ms (0.1% of total)

simplify2.2min (12.1%)

Algorithm
245×egg-herbie
Rules
73556×fma-define
63911×*-commutative
56370×distribute-lft-in
54242×times-frac
50113×associate-*r*
Stop Event
51×saturated
192×node limit
2×unsound
Counts
142604 → 121429

soundness1.8min (9.8%)

Rules
86689×fma-define
71408×log1p-expm1-u
54216×expm1-log1p-u
50132×distribute-lft-in
49898×*-commutative
Stop Event
14×saturated
44×fuel
256×node limit
4×unsound
7×done
Compiler

Compiled 73127 to 20636 computations (71.8% saved)

regimes1.3min (7.1%)

Counts
28980 → 988
Calls

143 calls:

5.5s
lambda1
5.3s
phi1
4.9s
phi2
4.8s
lambda2
3.2s
(-.f64 lambda1 lambda2)
Compiler

Compiled 14699 to 9406 computations (36% saved)

prune54.1s (4.9%)

Counts
192683 → 8506
Compiler

Compiled 605704 to 295582 computations (51.2% saved)

rewrite52.9s (4.8%)

Algorithm
194×batch-egg-rewrite
Rules
120777×log1p-expm1-u
90420×expm1-log1p-u
52392×pow1
51014×add-exp-log
48502×add-log-exp
Stop Event
191×node limit
3×unsound
Counts
2972 → 74899

eval42.6s (3.9%)

Compiler

Compiled 9309536 to 874122 computations (90.6% saved)

series32.9s (3%)

Counts
2972 → 67705
Calls

17715 calls:

TimeVariablePointExpression
360.0ms
x-scale
@-inf
(/ (sqrt (* (* b (* (pow a 2) (neg b))) (* (* 8 (* b (/ (* (pow a 2) (neg b)) (pow (* x-scale 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)) (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))))))))))) (* b (/ (* (pow a 2) (neg b)) (pow (* x-scale y-scale) 2))))
325.0ms
t
@inf
(fabs (pow (sqrt (+ (* ew (/ (cos t) (sqrt (+ (* 1 1) (* (* eh (/ (tan t) ew)) (* eh (/ (tan t) ew))))))) (* eh (* (sin t) (sin (atan (* eh (/ (tan t) ew)))))))) 2))
260.0ms
angle
@inf
(log (* 180 (/ (atan (* -1/2 (* (* 2 (/ (pow (sqrt (+ (* (* (sin (* 1/180 (* angle (PI)))) a) (* (sin (* 1/180 (* angle (PI)))) a)) (* (* b (cos (* 1/180 (* angle (PI))))) (* b (cos (* 1/180 (* angle (PI)))))))) 2) (* x-scale (* (cos (* 1/180 (* angle (PI)))) (* (sin (* 1/180 (* angle (PI)))) (- (pow b 2) (pow a 2))))))) y-scale))) (PI))))
235.0ms
y-scale
@-inf
(log (+ 1 (/ (atan (* (/ y-scale x-scale) (tan (* 1/180 (* angle (PI)))))) (PI))))
211.0ms
lambda2
@0
(- 1 (+ (* (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2)) (sin (/ (- lambda1 lambda2) 2)))) (pow (sin (/ (- phi2 phi1) 2)) 2)))

bsearch29.5s (2.7%)

Algorithm
394×binary-search
56×left-value
Stop Event
3×predicate-same
391×narrow-enough
Results
12.0s12471×1valid
6.2s31681×0valid
3.7s1175×3valid
2.5s2233×2valid
195.0ms1978×0invalid
43.0ms8×4valid
2.0ms37×0unsamplable
Compiler

Compiled 130262 to 85915 computations (34% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.6s
ival-sin: 5.2s (25.3% of total)
ival-cos: 4.4s (21.3% of total)
ival-mult: 3.2s (15.7% of total)
ival-pow: 1.7s (8.1% of total)
ival-div: 1.2s (6.1% of total)
ival-sub: 1.1s (5.2% of total)
ival-add: 822.0ms (4% of total)
backward-pass: 690.0ms (3.4% of total)
ival-sqrt: 619.0ms (3% of total)
ival-log: 401.0ms (2% of total)
ival-atan2: 248.0ms (1.2% of total)
ival-atan: 243.0ms (1.2% of total)
ival-exp: 163.0ms (0.8% of total)
ival-acos: 130.0ms (0.6% of total)
ival-fabs: 128.0ms (0.6% of total)
ival-tan: 92.0ms (0.4% of total)
const: 85.0ms (0.4% of total)
ival-neg: 76.0ms (0.4% of total)
ival-pi: 76.0ms (0.4% of total)
ival-asin: 15.0ms (0.1% of total)

analyze25.5s (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 947 computations (50.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.1s
ival-mult: 4.8s (28.3% of total)
ival-pow: 2.7s (16% of total)
ival-cos: 1.8s (10.6% of total)
ival-sin: 1.7s (10.2% of total)
ival-div: 1.7s (9.7% of total)
ival-add: 1.1s (6.5% of total)
ival-sub: 820.0ms (4.8% of total)
ival-sqrt: 806.0ms (4.7% of total)
ival-neg: 368.0ms (2.2% of total)
ival-<: 324.0ms (1.9% of total)
ival-atan2: 185.0ms (1.1% of total)
ival-log: 108.0ms (0.6% of total)
const: 102.0ms (0.6% of total)
ival-exp: 72.0ms (0.4% of total)
ival-pi: 66.0ms (0.4% of total)
ival-asin: 63.0ms (0.4% of total)
ival-tan: 61.0ms (0.4% of total)
ival-atan: 55.0ms (0.3% of total)
ival-and: 51.0ms (0.3% of total)
ival-acos: 39.0ms (0.2% of total)
backward-pass: 36.0ms (0.2% of total)
ival-fabs: 32.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)

explain19.5s (1.8%)

Results
5.5s8372×1valid
2.9s15678×0valid
2.5s1884×2valid
2.3s586×3valid
857.0ms104×4valid
Compiler

Compiled 20263 to 2450 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.6s
ival-sin: 2.2s (22.6% of total)
ival-cos: 1.9s (19.3% of total)
ival-mult: 1.4s (14.4% of total)
ival-pow: 926.0ms (9.6% of total)
ival-div: 730.0ms (7.6% of total)
backward-pass: 608.0ms (6.3% of total)
ival-sub: 355.0ms (3.7% of total)
ival-add: 310.0ms (3.2% of total)
ival-exp: 287.0ms (3% of total)
ival-sqrt: 245.0ms (2.5% of total)
ival-log: 210.0ms (2.2% of total)
ival-tan: 186.0ms (1.9% of total)
ival-neg: 106.0ms (1.1% of total)
const: 57.0ms (0.6% of total)
ival-pi: 43.0ms (0.4% of total)
ival-atan2: 42.0ms (0.4% of total)
ival-atan: 30.0ms (0.3% of total)
ival-acos: 26.0ms (0.3% of total)
ival-cbrt: 20.0ms (0.2% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-asin: 12.0ms (0.1% of total)

preprocess15.5s (1.4%)

Algorithm
52×egg-herbie
Rules
32339×fma-define
19274×fmm-def
13261×div-sub
11418×sub-neg
10337×distribute-lft-in
Stop Event
22×saturated
30×node limit
Compiler

Compiled 67238 to 24900 computations (63% saved)

end0.0ms (0%)

Profiling

Loading profile data...