Herbie run

Date:Sunday, March 17th, 2024
Commit:d4730769 on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024077
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: 29.1min)

analyze11.8min (40.6%)

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
Results
Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.6min
Operation ival-sin, time spent: 6.4min, 55.0% of total-time
Operation ival-cos, time spent: 4.9min, 42.0% of total-time
Operation ival-mult, time spent: 8.6s, 1.0% of total-time
Operation ival-div, time spent: 3.5s, 1.0% of total-time
Operation ival-pow, time spent: 3.1s, 0.0% of total-time
Operation ival-add, time spent: 1.2s, 0.0% of total-time
Operation ival-sub, time spent: 1.0s, 0.0% of total-time
Operation ival-sqrt, time spent: 552.0ms, 0.0% of total-time
Operation const, time spent: 464.0ms, 0.0% of total-time
Operation ival-neg, time spent: 405.0ms, 0.0% of total-time
Operation ival-<, time spent: 400.0ms, 0.0% of total-time
Operation ival-tan, time spent: 209.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 137.0ms, 0.0% of total-time
Operation ival-atan, time spent: 131.0ms, 0.0% of total-time
Operation ival-pi, time spent: 131.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 114.0ms, 0.0% of total-time
Operation ival-exp, time spent: 96.0ms, 0.0% of total-time
Operation ival-and, time spent: 68.0ms, 0.0% of total-time
Operation ival-log, time spent: 59.0ms, 0.0% of total-time
Operation ival-asin, time spent: 46.0ms, 0.0% of total-time
Operation ival-acos, time spent: 40.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 24.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

sample5.6min (19.4%)

Results
1.1min292370×256valid
27.8s41299×512valid
4.9s27973×256invalid
4.6s25611×256infinite
6.7s25588×256unsamplable
13.5s23826×1024valid
2.5min16218×8192exit
9.9s7635×2048valid
3.2s4758×512infinite
6.9s2352×4096valid
1.5s1624×1024invalid
914.0ms1215×512invalid
1.2s1119×2048invalid
121.0ms891×256precondition
3.5s692×2048infinite
1.5s481×1024infinite
3.3s402×4096infinite
177.0ms9×8192valid
4.0ms5×512unsamplable
5.0ms3×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.3min
Operation ival-pow, time spent: 2.3min, 54.0% of total-time
Operation ival-mult, time spent: 21.8s, 8.0% of total-time
Operation ival-sin, time spent: 16.4s, 6.0% of total-time
Operation ival-cos, time spent: 14.7s, 6.0% of total-time
Operation ival-div, time spent: 14.2s, 5.0% of total-time
Operation ival-exp, time spent: 10.7s, 4.0% of total-time
Operation ival-log, time spent: 9.1s, 3.0% of total-time
Operation ival-sub, time spent: 7.7s, 3.0% of total-time
Operation ival-add, time spent: 7.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.9s, 1.0% of total-time
Operation ival-<, time spent: 3.6s, 1.0% of total-time
Operation ival-neg, time spent: 2.9s, 1.0% of total-time
Operation const, time spent: 2.4s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 1.0% of total-time
Operation ival-acos, time spent: 1.1s, 0.0% of total-time
Operation ival-tan, time spent: 768.0ms, 0.0% of total-time
Operation ival-atan, time spent: 673.0ms, 0.0% of total-time
Operation ival-and, time spent: 574.0ms, 0.0% of total-time
Operation ival-pi, time spent: 467.0ms, 0.0% of total-time
Operation ival-asin, time spent: 299.0ms, 0.0% of total-time
Operation ival-<=, time spent: 298.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 233.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 232.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

localize4.9min (16.8%)

Results
49.4s27300×256valid
21.4s3976×512valid
7.3s3960×256invalid
14.3s2887×1024valid
2.3s2448×256infinite
2.1min2245×8192exit
15.8s1784×2048valid
7.3s431×4096valid
2.7s335×512infinite
955.0ms117×512invalid
1.5s92×1024infinite
2.5s76×2048infinite
22.0ms71×256unsamplable
3.0s52×4096infinite
22.0ms1×8192valid
Compiler

Compiled 57781 to 28760 computations (50.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0min
Operation ival-cos, time spent: 53.9s, 22.0% of total-time
Operation ival-sin, time spent: 47.4s, 20.0% of total-time
Operation ival-mult, time spent: 36.6s, 15.0% of total-time
Operation ival-pow, time spent: 33.7s, 14.0% of total-time
Operation composed, time spent: 16.3s, 7.0% of total-time
Operation ival-div, time spent: 15.5s, 6.0% of total-time
Operation ival-log, time spent: 9.0s, 4.0% of total-time
Operation ival-exp, time spent: 7.1s, 3.0% of total-time
Operation ival-add, time spent: 5.9s, 2.0% of total-time
Operation ival-sub, time spent: 4.1s, 2.0% of total-time
Operation const, time spent: 3.0s, 1.0% of total-time
Operation ival-sqrt, time spent: 2.9s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.0s, 1.0% of total-time
Operation ival-acos, time spent: 1.1s, 0.0% of total-time
Operation ival-atan2, time spent: 1.1s, 0.0% of total-time
Operation ival-atan, time spent: 848.0ms, 0.0% of total-time
Operation ival-tan, time spent: 779.0ms, 0.0% of total-time
Operation ival-neg, time spent: 468.0ms, 0.0% of total-time
Operation ival-pi, time spent: 191.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 159.0ms, 0.0% of total-time
Operation ival-asin, time spent: 89.0ms, 0.0% of total-time

eval1.5min (5.1%)

Compiler

Compiled 4279881 to 2349361 computations (45.1% saved)

simplify59.8s (3.4%)

Algorithm
219×egg-herbie
Rules
69693×fma-define
55609×associate-*r*
49016×*-commutative
48485×distribute-lft-in
43416×fma-neg
Stop Event
47×saturated
37×fuel
170×node limit
2×unsound
9×done
Counts
83563 → 72079
Compiler

Compiled 14738 to 9914 computations (32.7% saved)

soundness55.0s (3.2%)

Rules
74177×fma-define
53498×log1p-expm1-u
47410×associate-*r*
42893×fma-neg
42506×expm1-log1p-u
Stop Event
14×saturated
200×node limit
2×unsound
Compiler

Compiled 42713 to 24433 computations (42.8% saved)

preprocess49.6s (2.8%)

Algorithm
48×egg-herbie
Rules
29565×fma-define
18659×fma-neg
12543×div-sub
11366×unsub-neg
10644×sub-neg
Stop Event
21×saturated
27×node limit
Results
6.6s16566×256valid
5.2s2932×512valid
2.5s1774×1024valid
531.0ms1464×256infinite
4.3s970×2048valid
1.2s452×512infinite
2.3s276×4096valid
1.3s92×2048infinite
1.3s32×4096infinite
235.0ms18×1024infinite
Compiler

Compiled 59386 to 33574 computations (43.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.2s
Operation ival-sin, time spent: 4.7s, 23.0% of total-time
Operation ival-mult, time spent: 4.1s, 21.0% of total-time
Operation ival-div, time spent: 2.7s, 13.0% of total-time
Operation ival-cos, time spent: 2.6s, 13.0% of total-time
Operation ival-pow, time spent: 1.8s, 9.0% of total-time
Operation ival-sub, time spent: 848.0ms, 4.0% of total-time
Operation ival-add, time spent: 720.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 578.0ms, 3.0% of total-time
Operation ival-log, time spent: 530.0ms, 3.0% of total-time
Operation ival-tan, time spent: 382.0ms, 2.0% of total-time
Operation const, time spent: 350.0ms, 2.0% of total-time
Operation ival-exp, time spent: 246.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 157.0ms, 1.0% of total-time
Operation ival-atan, time spent: 119.0ms, 1.0% of total-time
Operation ival-neg, time spent: 101.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 71.0ms, 0.0% of total-time
Operation ival-pi, time spent: 52.0ms, 0.0% of total-time
Operation ival-acos, time spent: 49.0ms, 0.0% of total-time
Operation ival-asin, time spent: 33.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 15.0ms, 0.0% of total-time

prune42.8s (2.5%)

Counts
134064 → 5585
Compiler

Compiled 291470 to 196285 computations (32.7% saved)

regimes39.9s (2.3%)

Counts
15580 → 857
Calls

128 calls:

3.0s
phi1
2.8s
phi2
2.7s
b
2.5s
lambda1
2.1s
a
Compiler

Compiled 8165 to 6053 computations (25.9% saved)

rewrite37.4s (2.1%)

Algorithm
173×batch-egg-rewrite
Rules
112686×log1p-expm1-u
83387×expm1-log1p-u
39270×add-exp-log
39154×pow1
38136×add-log-exp
Stop Event
169×node limit
4×unsound
Counts
1590 → 47028

bsearch17.5s (1%)

Algorithm
318×binary-search
102×left-value
Stop Event
10×predicate-same
308×narrow-enough
Results
6.5s28375×256valid
2.7s4166×512valid
1.7s2012×2048valid
1.4s1480×4096valid
956.0ms1431×1024valid
181.0ms1165×256invalid
65.0ms309×256infinite
16.0ms35×512infinite
1.0ms12×256unsamplable
Compiler

Compiled 85529 to 64914 computations (24.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
Operation ival-mult, time spent: 1.6s, 16.0% of total-time
Operation ival-sin, time spent: 1.2s, 13.0% of total-time
Operation ival-cos, time spent: 1.1s, 12.0% of total-time
Operation ival-pow, time spent: 1.1s, 11.0% of total-time
Operation ival-sub, time spent: 817.0ms, 9.0% of total-time
Operation ival-add, time spent: 810.0ms, 9.0% of total-time
Operation ival-div, time spent: 809.0ms, 9.0% of total-time
Operation ival-atan, time spent: 553.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 484.0ms, 5.0% of total-time
Operation ival-acos, time spent: 228.0ms, 2.0% of total-time
Operation const, time spent: 164.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 143.0ms, 2.0% of total-time
Operation ival-pi, time spent: 111.0ms, 1.0% of total-time
Operation ival-neg, time spent: 99.0ms, 1.0% of total-time
Operation ival-log, time spent: 83.0ms, 1.0% of total-time
Operation ival-exp, time spent: 60.0ms, 1.0% of total-time
Operation ival-tan, time spent: 53.0ms, 1.0% of total-time
Operation ival-asin, time spent: 36.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time

series13.6s (0.8%)

Counts
1590 → 36535
Calls

8898 calls:

TimeVariablePointExpression
131.0ms
lambda1
@inf
(pow (* (cos (- lambda1 lambda2)) (sin phi1)) 3)
114.0ms
B
@0
(/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C)))
104.0ms
phi2
@-inf
(* (cos phi2) (cbrt (pow (* (cos lambda2) (sin phi1)) 3)))
95.0ms
lambda1
@inf
(log (acos (+ (* (cos phi1) (* (cos phi2) (cos (- lambda2 lambda1)))) (* (sin phi1) (sin phi2)))))
79.0ms
eh
@inf
(* eh (* (sin t) (sin (atan (* (neg eh) (/ (tan t) ew))))))

end36.0ms (0%)

Profiling

Loading profile data...