Herbie run

Date:Wednesday, January 24th, 2024
Commit:3e2cef84 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.6
Seed:2024024
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: 28.3min)

sample11.7min (41.2%)

Results
2.6min18685×body5exit
2.1min11054×body3valid
2.1min299716×body0valid
1.2min55959×body1valid
1.1min21342×body2valid
45.0s1844×body4valid
17.8s612×body5valid
15.2s31420×body0unsamplable
11.6s27387×body0infinite
11.5s5432×body1infinite
11.0s340×body5infinite
10.6s27624×body0invalid
10.2s596×body4infinite
5.3s574×body3infinite
4.7s2267×body2invalid
3.0s453×body2infinite
2.7s3258×body1invalid
182.0ms883×body0precondition
22.0ms11×body2unsamplable
15.0ms4×body3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 8.8min
Operation ival-pow, time spent: 2.6min, 30.0% of total-time
Operation ival-sin, time spent: 1.7min, 19.0% of total-time
Operation ival-cos, time spent: 1.3min, 14.0% of total-time
Operation ival-mult, time spent: 50.8s, 10.0% of total-time
Operation ival-div, time spent: 37.8s, 7.0% of total-time
Operation ival-add, time spent: 32.8s, 6.0% of total-time
Operation ival-sub, time spent: 26.0s, 5.0% of total-time
Operation ival-exp, time spent: 12.8s, 2.0% of total-time
Operation const, time spent: 8.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 7.5s, 1.0% of total-time
Operation ival-log, time spent: 4.2s, 1.0% of total-time
Operation ival-<, time spent: 3.5s, 1.0% of total-time
Operation ival-neg, time spent: 3.4s, 1.0% of total-time
Operation ival-atan2, time spent: 1.2s, 0.0% of total-time
Operation ival-pi, time spent: 1.1s, 0.0% of total-time
Operation ival-and, time spent: 977.0ms, 0.0% of total-time
Operation ival-acos, time spent: 872.0ms, 0.0% of total-time
Operation ival-tan, time spent: 736.0ms, 0.0% of total-time
Operation ival-atan, time spent: 683.0ms, 0.0% of total-time
Operation ival-asin, time spent: 380.0ms, 0.0% of total-time
Operation ival-<=, time spent: 291.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 284.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 223.0ms, 0.0% of total-time
Operation ival-==, time spent: 4.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

localize6.7min (23.7%)

Results
Compiler

Compiled 67311 to 33810 computations (49.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0min
Operation ival-sin, time spent: 1.8min, 37.0% of total-time
Operation ival-pow, time spent: 47.4s, 16.0% of total-time
Operation ival-mult, time spent: 36.2s, 12.0% of total-time
Operation ival-cos, time spent: 33.8s, 11.0% of total-time
Operation ival-div, time spent: 20.1s, 7.0% of total-time
Operation ival-add, time spent: 13.6s, 5.0% of total-time
Operation ival-sub, time spent: 10.7s, 4.0% of total-time
Operation const, time spent: 6.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 5.3s, 2.0% of total-time
Operation ival-fma, time spent: 2.6s, 1.0% of total-time
Operation ival-atan2, time spent: 1.6s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.4s, 0.0% of total-time
Operation ival-log, time spent: 1.3s, 0.0% of total-time
Operation ival-log1p, time spent: 1.2s, 0.0% of total-time
Operation ival-hypot, time spent: 1.2s, 0.0% of total-time
Operation ival-expm1, time spent: 1.1s, 0.0% of total-time
Operation ival-exp, time spent: 936.0ms, 0.0% of total-time
Operation ival-tan, time spent: 652.0ms, 0.0% of total-time
Operation ival-neg, time spent: 499.0ms, 0.0% of total-time
Operation ival-atan, time spent: 458.0ms, 0.0% of total-time
Operation ival-acos, time spent: 430.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 197.0ms, 0.0% of total-time
Operation ival-asin, time spent: 111.0ms, 0.0% of total-time
Operation ival-pi, time spent: 87.0ms, 0.0% of total-time

eval2.1min (7.3%)

Compiler

Compiled 5722253 to 3130372 computations (45.3% saved)

soundness1.6min (5.5%)

Rules
262732×fma-def
158910×associate-*r*
126736×log-prod
117614×times-frac
112552×associate-*l*
Stop Event
5×saturated
7×unsound
361×node limit
Compiler

Compiled 36714 to 21598 computations (41.2% saved)

preprocess1.3min (4.5%)

Algorithm
50×egg-herbie
Rules
74946×fma-def
27034×div-sub
26776×fma-neg
24782×sub-neg
22212×distribute-lft-in
Stop Event
8×saturated
42×node limit
Compiler

Compiled 45919 to 26355 computations (42.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.4s
Operation ival-sin, time spent: 13.3s, 29.0% of total-time
Operation ival-cos, time spent: 7.7s, 17.0% of total-time
Operation ival-pow, time spent: 7.6s, 17.0% of total-time
Operation ival-mult, time spent: 5.4s, 12.0% of total-time
Operation ival-div, time spent: 4.1s, 9.0% of total-time
Operation ival-sub, time spent: 2.6s, 6.0% of total-time
Operation ival-add, time spent: 2.4s, 5.0% of total-time
Operation const, time spent: 825.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 678.0ms, 1.0% of total-time
Operation ival-log, time spent: 148.0ms, 0.0% of total-time
Operation ival-atan, time spent: 133.0ms, 0.0% of total-time
Operation ival-exp, time spent: 114.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 67.0ms, 0.0% of total-time
Operation ival-tan, time spent: 54.0ms, 0.0% of total-time
Operation ival-neg, time spent: 52.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 30.0ms, 0.0% of total-time
Operation ival-pi, time spent: 26.0ms, 0.0% of total-time
Operation ival-acos, time spent: 22.0ms, 0.0% of total-time
Operation ival-asin, time spent: 11.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time

regimes1.2min (4.2%)

Counts
14277 → 678
Calls

134 calls:

7.0s
phi1
6.3s
phi2
5.4s
lambda1
4.0s
lambda2
3.9s
(-.f64 lambda1 lambda2)
Results
Compiler

Compiled 315794 to 149075 computations (52.8% saved)

analyze1.1min (3.9%)

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: 45.4s
Operation ival-pow, time spent: 19.0s, 42.0% of total-time
Operation ival-mult, time spent: 8.0s, 18.0% of total-time
Operation ival-div, time spent: 4.4s, 10.0% of total-time
Operation ival-cos, time spent: 3.8s, 8.0% of total-time
Operation ival-sin, time spent: 3.6s, 8.0% of total-time
Operation ival-add, time spent: 1.5s, 3.0% of total-time
Operation ival-sub, time spent: 1.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 2.0% of total-time
Operation const, time spent: 827.0ms, 2.0% of total-time
Operation ival-neg, time spent: 459.0ms, 1.0% of total-time
Operation ival-pi, time spent: 449.0ms, 1.0% of total-time
Operation ival-<, time spent: 242.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 203.0ms, 0.0% of total-time
Operation ival-log, time spent: 125.0ms, 0.0% of total-time
Operation ival-exp, time spent: 108.0ms, 0.0% of total-time
Operation ival-tan, time spent: 82.0ms, 0.0% of total-time
Operation ival-atan, time spent: 76.0ms, 0.0% of total-time
Operation ival-acos, time spent: 75.0ms, 0.0% of total-time
Operation ival-asin, time spent: 72.0ms, 0.0% of total-time
Operation ival-and, time spent: 66.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 36.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 27.0ms, 0.0% of total-time
Operation ival-<=, time spent: 4.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

prune50.9s (3%)

Counts
142616 → 6273
Compiler

Compiled 643077 to 448986 computations (30.2% saved)

simplify47.4s (2.8%)

Algorithm
207×egg-herbie
Rules
137526×fma-def
88012×associate-*r*
76466×log-prod
73018×times-frac
73016×associate-*l*
Stop Event
1×unsound
46×saturated
6×done
40×fuel
160×node limit
Counts
72587 → 61016
Compiler

Compiled 10749 to 7143 computations (33.5% saved)

rewrite32.7s (1.9%)

Algorithm
161×batch-egg-rewrite
Rules
91440×log1p-expm1-u
70893×expm1-log1p-u
55874×expm1-udef
53746×log1p-udef
46922×log-prod
Stop Event
3×unsound
158×node limit
Counts
1433 → 43719

bsearch20.4s (1.2%)

Algorithm
252×binary-search
35×left-value
Stop Event
242×narrow-enough
10×predicate-same
Results
8.4s21918×body0valid
5.7s6447×body1valid
3.2s2146×body2valid
771.0ms1857×body0invalid
402.0ms227×body3valid
372.0ms213×body2invalid
346.0ms506×body0infinite
230.0ms143×body1invalid
115.0ms137×body1infinite
39.0ms11×body4valid
Compiler

Compiled 64364 to 48395 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.5s
Operation ival-sub, time spent: 1.9s, 17.0% of total-time
Operation ival-mult, time spent: 1.8s, 16.0% of total-time
Operation ival-cos, time spent: 1.5s, 13.0% of total-time
Operation ival-sin, time spent: 1.5s, 13.0% of total-time
Operation ival-add, time spent: 1.3s, 11.0% of total-time
Operation ival-pow, time spent: 885.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 622.0ms, 5.0% of total-time
Operation ival-div, time spent: 539.0ms, 5.0% of total-time
Operation ival-acos, time spent: 308.0ms, 3.0% of total-time
Operation ival-log, time spent: 295.0ms, 3.0% of total-time
Operation const, time spent: 272.0ms, 2.0% of total-time
Operation ival-atan, time spent: 180.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 101.0ms, 1.0% of total-time
Operation ival-exp, time spent: 95.0ms, 1.0% of total-time
Operation ival-pi, time spent: 82.0ms, 1.0% of total-time
Operation ival-neg, time spent: 70.0ms, 1.0% of total-time
Operation ival-asin, time spent: 21.0ms, 0.0% of total-time
Operation ival-tan, time spent: 10.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 2.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

series11.6s (0.7%)

Counts
1433 → 28868
Calls

7908 calls:

TimeVariablePointExpression
153.0ms
F
@-inf
(pow.f64 (*.f64 (+.f64 A (+.f64 C (hypot.f64 (-.f64 A C) B))) (*.f64 (fma.f64 B B (*.f64 (*.f64 A C) -4)) (*.f64 2 F))) 1/4)
125.0ms
a
@inf
(log1p.f64 (exp.f64 a))
119.0ms
C
@-inf
(sqrt.f64 (*.f64 F (*.f64 (+.f64 C (-.f64 A (hypot.f64 B (-.f64 A C)))) (*.f64 2 (fma.f64 A (*.f64 C -4) (pow.f64 B 2))))))
118.0ms
c
@-inf
(/.f64 (+.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (*.f64 -9/8 (-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 (*.f64 a c) 2) (pow.f64 b -3)))) 1))) (*.f64 3 a))
118.0ms
lambda2
@inf
(pow.f64 (sqrt.f64 (*.f64 R (hypot.f64 (*.f64 (-.f64 (*.f64 (cos.f64 (*.f64 phi2 1/2)) (cos.f64 (*.f64 phi1 1/2))) (*.f64 (sin.f64 (*.f64 phi2 1/2)) (sin.f64 (*.f64 phi1 1/2)))) (-.f64 lambda1 lambda2)) (-.f64 phi1 phi2)))) 2)

end21.0ms (0%)

Profiling

Loading profile data...