Herbie run

Date:Saturday, February 24th, 2024
Commit:79d5306a on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024055
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: 33.7min)

sample8.2min (24.3%)

Results
1.2min298728×256valid
43.7s45617×512valid
4.8s27521×256invalid
7.0s27402×256infinite
7.0s26045×256unsamplable
19.6s25305×1024valid
2.7min16391×8192exit
32.2s11176×2048valid
52.5s7309×4096valid
8.4s6118×512infinite
1.3s1570×1024invalid
595.0ms1175×512invalid
21.1s1128×8192valid
1.6s1115×2048invalid
97.0ms931×256precondition
4.1s680×2048infinite
1.7s558×1024infinite
4.3s381×4096infinite
6.0ms7×512unsamplable
4.0ms2×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.4min
Operation ival-pow, time spent: 2.5min, 39.0% of total-time
Operation ival-sin, time spent: 53.0s, 14.0% of total-time
Operation ival-mult, time spent: 43.4s, 11.0% of total-time
Operation ival-cos, time spent: 38.1s, 10.0% of total-time
Operation ival-div, time spent: 31.4s, 8.0% of total-time
Operation ival-exp, time spent: 11.5s, 3.0% of total-time
Operation ival-log, time spent: 10.2s, 3.0% of total-time
Operation ival-add, time spent: 9.8s, 3.0% of total-time
Operation ival-sub, time spent: 9.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 6.8s, 2.0% of total-time
Operation ival-<, time spent: 5.3s, 1.0% of total-time
Operation const, time spent: 3.7s, 1.0% of total-time
Operation ival-neg, time spent: 3.2s, 1.0% of total-time
Operation ival-atan2, time spent: 1.6s, 0.0% of total-time
Operation ival-atan, time spent: 1.5s, 0.0% of total-time
Operation ival-pi, time spent: 1.1s, 0.0% of total-time
Operation ival-acos, time spent: 998.0ms, 0.0% of total-time
Operation ival-tan, time spent: 789.0ms, 0.0% of total-time
Operation ival-<=, time spent: 582.0ms, 0.0% of total-time
Operation ival-and, time spent: 520.0ms, 0.0% of total-time
Operation ival-asin, time spent: 358.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 325.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 120.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

localize7.2min (21.3%)

Results
1.8min28157×256valid
14.5s4898×256invalid
36.2s3910×512valid
6.0s2928×256infinite
17.4s2346×1024valid
51.5s2162×2048valid
45.9s560×4096valid
5.9s371×512infinite
15.6s347×2048infinite
6.0s177×512invalid
37.3s128×8192exit
1.9s84×1024infinite
14.2s81×4096infinite
437.0ms21×4096invalid
321.0ms19×1024invalid
6.2s18×8192valid
168.0ms12×2048invalid
2.0s2×8192infinite
Compiler

Compiled 110849 to 67381 computations (39.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.8min
Operation ival-sin, time spent: 1.6min, 29.0% of total-time
Operation ival-mult, time spent: 1.1min, 18.0% of total-time
Operation ival-pow, time spent: 57.9s, 17.0% of total-time
Operation ival-div, time spent: 35.6s, 10.0% of total-time
Operation ival-cos, time spent: 29.1s, 8.0% of total-time
Operation composed, time spent: 19.7s, 6.0% of total-time
Operation ival-add, time spent: 10.3s, 3.0% of total-time
Operation ival-log, time spent: 6.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.0s, 2.0% of total-time
Operation const, time spent: 5.0s, 1.0% of total-time
Operation ival-sub, time spent: 4.8s, 1.0% of total-time
Operation ival-exp, time spent: 3.2s, 1.0% of total-time
Operation ival-atan2, time spent: 1.7s, 0.0% of total-time
Operation ival-cbrt, time spent: 1.3s, 0.0% of total-time
Operation ival-atan, time spent: 745.0ms, 0.0% of total-time
Operation ival-tan, time spent: 614.0ms, 0.0% of total-time
Operation ival-acos, time spent: 455.0ms, 0.0% of total-time
Operation ival-neg, time spent: 406.0ms, 0.0% of total-time
Operation ival-pi, time spent: 166.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 70.0ms, 0.0% of total-time
Operation ival-asin, time spent: 53.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 4.0ms, 0.0% of total-time

eval5.6min (16.6%)

Results
Compiler

Compiled 11266248 to 7330784 computations (34.9% saved)

preprocess3.0min (8.9%)

Algorithm
51×egg-herbie
Rules
63000×fma-define
37664×fma-neg
25928×div-sub
22916×unsub-neg
22266×sub-neg
Stop Event
21×saturated
30×node limit
Results
10.8s17090×256valid
13.2s3232×512valid
6.5s1856×1024valid
1.6s1544×256infinite
16.3s1162×2048valid
28.6s602×4096valid
4.6s414×512infinite
1.1s88×2048infinite
10.9s66×8192valid
480.0ms34×1024infinite
838.0ms22×4096infinite
660.0ms2×8192infinite
Compiler

Compiled 72604 to 44448 computations (38.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 23.6s, 28.0% of total-time
Operation ival-cos, time spent: 17.6s, 21.0% of total-time
Operation ival-mult, time spent: 16.4s, 19.0% of total-time
Operation ival-div, time spent: 11.0s, 13.0% of total-time
Operation ival-pow, time spent: 8.1s, 10.0% of total-time
Operation ival-add, time spent: 2.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 2.0% of total-time
Operation ival-sub, time spent: 1.6s, 2.0% of total-time
Operation const, time spent: 1.1s, 1.0% of total-time
Operation ival-log, time spent: 672.0ms, 1.0% of total-time
Operation ival-tan, time spent: 327.0ms, 0.0% of total-time
Operation ival-exp, time spent: 231.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 214.0ms, 0.0% of total-time
Operation ival-atan, time spent: 197.0ms, 0.0% of total-time
Operation ival-neg, time spent: 141.0ms, 0.0% of total-time
Operation ival-pi, time spent: 102.0ms, 0.0% of total-time
Operation ival-acos, time spent: 75.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 72.0ms, 0.0% of total-time
Operation ival-asin, time spent: 40.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time

series2.6min (7.8%)

Counts
1687 → 59696
Calls

9744 calls:

TimeVariablePointExpression
11.4s
phi2
@inf
(exp (+ (log R) (log (acos (+ (* (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (* (sin phi1) (sin phi2)))))))
4.9s
R
@0
(log (* (acos (+ (* (cos (- lambda1 lambda2)) (* (cos phi1) (cos phi2))) (* (sin phi1) (sin phi2)))) R))
4.9s
a
@inf
(log (+ (/ b (+ 1 (exp a))) (log (+ 1 (exp a)))))
3.4s
lambda1
@0
(exp (+ (log R) (log (acos (+ (* (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (* (sin phi1) (sin phi2)))))))
3.0s
angle
@0
(sin (* (PI) (pow (exp (sqrt (log (* angle 1/180)))) (sqrt (log (* angle 1/180))))))

simplify2.0min (5.9%)

Algorithm
220×egg-herbie
Rules
119362×fma-define
117708×distribute-lft-in
117392×*-commutative
100370×distribute-rgt-in
87758×associate-*r*
Stop Event
46×saturated
37×fuel
174×node limit
10×done
Counts
108367 → 83805
Compiler

Compiled 14672 to 10072 computations (31.4% saved)

regimes1.4min (4.2%)

Counts
17705 → 789
Calls

137 calls:

6.6s
lambda1
6.3s
phi1
5.7s
lambda2
5.4s
phi2
4.9s
b
Results
Compiler

Compiled 10394 to 7632 computations (26.6% saved)

soundness1.2min (3.7%)

Rules
129650×fma-define
95972×distribute-lft-in
82990×*-commutative
82844×distribute-rgt-in
78184×fma-neg
Stop Event
12×saturated
204×node limit
2×unsound
Compiler

Compiled 38270 to 22177 computations (42.1% saved)

prune58.3s (2.9%)

Counts
170082 → 6528
Compiler

Compiled 449478 to 312085 computations (30.6% saved)

analyze41.3s (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 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.3s
Operation ival-mult, time spent: 8.9s, 30.0% of total-time
Operation ival-sin, time spent: 4.7s, 15.0% of total-time
Operation ival-div, time spent: 4.0s, 13.0% of total-time
Operation ival-cos, time spent: 4.0s, 13.0% of total-time
Operation ival-pow, time spent: 3.1s, 10.0% of total-time
Operation ival-sub, time spent: 1.2s, 4.0% of total-time
Operation ival-add, time spent: 996.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 829.0ms, 3.0% of total-time
Operation ival-cbrt, time spent: 657.0ms, 2.0% of total-time
Operation const, time spent: 444.0ms, 1.0% of total-time
Operation ival-neg, time spent: 312.0ms, 1.0% of total-time
Operation ival-<, time spent: 307.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 153.0ms, 1.0% of total-time
Operation ival-pi, time spent: 136.0ms, 0.0% of total-time
Operation ival-log, time spent: 94.0ms, 0.0% of total-time
Operation ival-tan, time spent: 90.0ms, 0.0% of total-time
Operation ival-acos, time spent: 87.0ms, 0.0% of total-time
Operation ival-exp, time spent: 82.0ms, 0.0% of total-time
Operation ival-asin, time spent: 61.0ms, 0.0% of total-time
Operation ival-atan, time spent: 60.0ms, 0.0% of total-time
Operation ival-and, time spent: 45.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 39.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

rewrite37.2s (1.8%)

Algorithm
173×batch-egg-rewrite
Rules
108795×log1p-expm1-u
81800×expm1-log1p-u
49170×log-prod
48452×prod-diff
46138×unpow-prod-down
Stop Event
170×node limit
3×unsound
Counts
1687 → 48671

bsearch15.0s (0.7%)

Algorithm
268×binary-search
55×left-value
Stop Event
6×predicate-same
262×narrow-enough
Results
5.1s24635×256valid
3.0s4432×512valid
194.0ms1360×256invalid
1.0s1218×2048valid
1.0s1025×4096valid
358.0ms973×256infinite
569.0ms868×1024valid
105.0ms209×512infinite
2.0ms33×256unsamplable
Compiler

Compiled 72996 to 54920 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
Operation ival-mult, time spent: 1.4s, 17.0% of total-time
Operation ival-cos, time spent: 1.3s, 17.0% of total-time
Operation ival-sin, time spent: 1.3s, 17.0% of total-time
Operation ival-div, time spent: 589.0ms, 8.0% of total-time
Operation ival-sub, time spent: 588.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 502.0ms, 6.0% of total-time
Operation ival-pow, time spent: 494.0ms, 6.0% of total-time
Operation ival-add, time spent: 369.0ms, 5.0% of total-time
Operation ival-atan, time spent: 340.0ms, 4.0% of total-time
Operation ival-acos, time spent: 215.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 206.0ms, 3.0% of total-time
Operation const, time spent: 127.0ms, 2.0% of total-time
Operation ival-pi, time spent: 93.0ms, 1.0% of total-time
Operation ival-log, time spent: 93.0ms, 1.0% of total-time
Operation ival-exp, time spent: 70.0ms, 1.0% of total-time
Operation ival-neg, time spent: 55.0ms, 1.0% of total-time
Operation ival-tan, time spent: 39.0ms, 0.0% of total-time
Operation ival-asin, time spent: 38.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time

end29.0ms (0%)

Profiling

Loading profile data...