Herbie run

Date:Wednesday, January 31st, 2024
Commit:84d7cf92 on artem-tuning-128start-20-128-512-1024-2048
Hostname:nightly with Racket 8.11.1
Seed:2024031
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: 26.8min)

sample9.7min (36.3%)

Results
1.2min269510×0valid
1.1min85657×1valid
11.1s34471×0unsamplable
7.3s27341×0invalid
6.5s25968×0infinite
2.7min19715×5exit
1.8min17812×3valid
23.8s15148×2valid
8.2s6707×1infinite
2.1s3592×1invalid
48.8s2577×4valid
2.7s2471×2invalid
125.0ms924×0precondition
8.8s694×4infinite
14.6s693×5valid
3.6s593×3infinite
9.3s413×5infinite
1.1s325×2infinite
25.0ms20×2unsamplable
27.0ms9×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 8.1min
Operation ival-pow, time spent: 2.7min, 33.0% of total-time
Operation ival-sin, time spent: 1.5min, 18.0% of total-time
Operation ival-cos, time spent: 1.2min, 14.0% of total-time
Operation ival-mult, time spent: 40.8s, 8.0% of total-time
Operation ival-div, time spent: 32.3s, 7.0% of total-time
Operation ival-add, time spent: 30.8s, 6.0% of total-time
Operation ival-sub, time spent: 25.4s, 5.0% of total-time
Operation ival-exp, time spent: 13.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 7.0s, 1.0% of total-time
Operation const, time spent: 5.1s, 1.0% of total-time
Operation ival-log, time spent: 3.6s, 1.0% of total-time
Operation ival-neg, time spent: 2.9s, 1.0% of total-time
Operation ival-<, time spent: 2.9s, 1.0% of total-time
Operation ival-atan2, time spent: 844.0ms, 0.0% of total-time
Operation ival-pi, time spent: 812.0ms, 0.0% of total-time
Operation ival-and, time spent: 674.0ms, 0.0% of total-time
Operation ival-acos, time spent: 642.0ms, 0.0% of total-time
Operation ival-tan, time spent: 622.0ms, 0.0% of total-time
Operation ival-atan, time spent: 473.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 322.0ms, 0.0% of total-time
Operation ival-asin, time spent: 283.0ms, 0.0% of total-time
Operation ival-<=, time spent: 223.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 82.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

localize6.1min (22.9%)

Results
Compiler

Compiled 71772 to 37859 computations (47.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.4min
Operation ival-sin, time spent: 2.3min, 42.0% of total-time
Operation ival-pow, time spent: 54.3s, 17.0% of total-time
Operation ival-cos, time spent: 37.6s, 12.0% of total-time
Operation ival-mult, time spent: 31.9s, 10.0% of total-time
Operation ival-div, time spent: 19.8s, 6.0% of total-time
Operation ival-add, time spent: 12.6s, 4.0% of total-time
Operation ival-sub, time spent: 10.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 4.2s, 1.0% of total-time
Operation const, time spent: 4.2s, 1.0% of total-time
Operation ival-fma, time spent: 1.9s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.8s, 1.0% of total-time
Operation ival-exp, time spent: 1.7s, 1.0% of total-time
Operation ival-log1p, time spent: 1.2s, 0.0% of total-time
Operation ival-hypot, time spent: 1.1s, 0.0% of total-time
Operation ival-log, time spent: 931.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 812.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 607.0ms, 0.0% of total-time
Operation ival-neg, time spent: 372.0ms, 0.0% of total-time
Operation ival-atan, time spent: 365.0ms, 0.0% of total-time
Operation ival-tan, time spent: 333.0ms, 0.0% of total-time
Operation ival-acos, time spent: 308.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 89.0ms, 0.0% of total-time
Operation ival-pi, time spent: 78.0ms, 0.0% of total-time
Operation ival-asin, time spent: 28.0ms, 0.0% of total-time

preprocess2.3min (8.4%)

Algorithm
51×egg-herbie
Rules
76366×fma-def
27106×div-sub
26806×fma-neg
24952×sub-neg
22390×distribute-lft-in
Stop Event
8×saturated
43×node limit
Results
Compiler

Compiled 63545 to 36384 computations (42.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation ival-sin, time spent: 36.5s, 33.0% of total-time
Operation ival-cos, time spent: 23.1s, 21.0% of total-time
Operation ival-pow, time spent: 15.1s, 14.0% of total-time
Operation ival-mult, time spent: 11.8s, 11.0% of total-time
Operation ival-div, time spent: 9.5s, 9.0% of total-time
Operation ival-add, time spent: 5.0s, 5.0% of total-time
Operation ival-sub, time spent: 4.5s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 1.0% of total-time
Operation const, time spent: 1.1s, 1.0% of total-time
Operation ival-log, time spent: 383.0ms, 0.0% of total-time
Operation ival-exp, time spent: 222.0ms, 0.0% of total-time
Operation ival-tan, time spent: 165.0ms, 0.0% of total-time
Operation ival-neg, time spent: 110.0ms, 0.0% of total-time
Operation ival-atan, time spent: 90.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 89.0ms, 0.0% of total-time
Operation ival-pi, time spent: 42.0ms, 0.0% of total-time
Operation ival-acos, time spent: 42.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 34.0ms, 0.0% of total-time
Operation ival-asin, time spent: 14.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 11.0ms, 0.0% of total-time

eval2.2min (8.1%)

Compiler

Compiled 5614679 to 3244790 computations (42.2% saved)

soundness1.6min (6.1%)

Rules
247436×fma-def
166250×associate-*r*
126248×log-prod
115810×fma-neg
114902×associate-*l*
Stop Event
6×saturated
363×node limit
4×unsound
Compiler

Compiled 35387 to 20404 computations (42.3% saved)

regimes1.5min (5.6%)

Counts
17579 → 760
Calls

134 calls:

8.7s
phi2
7.5s
phi1
7.0s
lambda1
6.6s
lambda2
4.4s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11075 to 8150 computations (26.4% saved)

simplify50.0s (3.1%)

Algorithm
216×egg-herbie
Rules
142728×fma-def
96142×associate-*r*
84126×log-prod
82934×associate-*l*
82842×times-frac
Stop Event
46×saturated
36×fuel
169×node limit
1×unsound
10×done
Counts
77211 → 62782
Compiler

Compiled 12036 to 7814 computations (35.1% saved)

prune45.8s (2.9%)

Counts
135941 → 6121
Compiler

Compiled 378999 to 260760 computations (31.2% saved)

analyze42.8s (2.7%)

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: 36.4s
Operation ival-pow, time spent: 15.8s, 44.0% of total-time
Operation ival-mult, time spent: 5.8s, 16.0% of total-time
Operation ival-div, time spent: 4.2s, 12.0% of total-time
Operation ival-cos, time spent: 3.3s, 9.0% of total-time
Operation ival-sin, time spent: 2.8s, 8.0% of total-time
Operation ival-sub, time spent: 1.1s, 3.0% of total-time
Operation ival-add, time spent: 937.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 914.0ms, 3.0% of total-time
Operation const, time spent: 374.0ms, 1.0% of total-time
Operation ival-neg, time spent: 211.0ms, 1.0% of total-time
Operation ival-<, time spent: 165.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 123.0ms, 0.0% of total-time
Operation ival-log, time spent: 87.0ms, 0.0% of total-time
Operation ival-exp, time spent: 75.0ms, 0.0% of total-time
Operation ival-tan, time spent: 67.0ms, 0.0% of total-time
Operation ival-atan, time spent: 66.0ms, 0.0% of total-time
Operation ival-pi, time spent: 66.0ms, 0.0% of total-time
Operation ival-asin, time spent: 62.0ms, 0.0% of total-time
Operation ival-acos, time spent: 61.0ms, 0.0% of total-time
Operation ival-and, time spent: 36.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 29.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 20.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time

rewrite35.1s (2.2%)

Algorithm
170×batch-egg-rewrite
Rules
91345×log1p-expm1-u
68668×expm1-log1p-u
55048×expm1-udef
53368×log1p-udef
50640×log-prod
Stop Event
165×node limit
5×unsound
Counts
1530 → 46583

bsearch15.8s (1%)

Algorithm
260×binary-search
73×left-value
Stop Event
9×predicate-same
251×narrow-enough
Results
5.9s21196×0valid
6.3s8214×1valid
924.0ms1266×2valid
191.0ms980×0invalid
397.0ms440×3valid
77.0ms289×0infinite
113.0ms242×1infinite
3.0ms25×0unsamplable
13.0ms5×4valid
Compiler

Compiled 73940 to 54149 computations (26.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.2s
Operation ival-cos, time spent: 2.0s, 20.0% of total-time
Operation ival-sin, time spent: 1.8s, 18.0% of total-time
Operation ival-add, time spent: 1.4s, 14.0% of total-time
Operation ival-sub, time spent: 1.4s, 14.0% of total-time
Operation ival-mult, time spent: 1.2s, 12.0% of total-time
Operation ival-div, time spent: 490.0ms, 5.0% of total-time
Operation ival-pow, time spent: 459.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 361.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 195.0ms, 2.0% of total-time
Operation ival-log, time spent: 175.0ms, 2.0% of total-time
Operation const, time spent: 126.0ms, 1.0% of total-time
Operation ival-acos, time spent: 125.0ms, 1.0% of total-time
Operation ival-neg, time spent: 94.0ms, 1.0% of total-time
Operation ival-atan, time spent: 81.0ms, 1.0% of total-time
Operation ival-exp, time spent: 64.0ms, 1.0% of total-time
Operation ival-asin, time spent: 58.0ms, 1.0% of total-time
Operation ival-pi, time spent: 41.0ms, 0.0% of total-time
Operation ival-tan, time spent: 36.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

series12.8s (0.8%)

Counts
1530 → 30628
Calls

8424 calls:

TimeVariablePointExpression
475.0ms
g
@0
(sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2)))
342.0ms
C
@-inf
(*.f64 180 (/.f64 (atan.f64 (/.f64 (*.f64 -1/2 (/.f64 (pow.f64 B 2) C)) B)) (PI.f64)))
208.0ms
lambda2
@-inf
(log1p.f64 (sin.f64 (-.f64 lambda1 lambda2)))
166.0ms
theta
@inf
(*.f64 (sin.f64 theta) (-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)))) 1))
124.0ms
C
@0
(/.f64 (*.f64 180 (atan.f64 (+.f64 (/.f64 (*.f64 2 (-.f64 C A)) B) (*.f64 1/2 (/.f64 B C))))) (PI.f64))

end20.0ms (0%)

Profiling

Loading profile data...