Herbie run

Date:Wednesday, January 24th, 2024
Commit:89eba0ac on mix-histograms
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.6min)

sample10.7min (37.4%)

Results
2.7min16510×body8192exit
2.1min298001×body256valid
1.6min7457×body4096valid
1.2min46026×body512valid
54.9s11160×body2048valid
35.2s25615×body1024valid
29.7s1123×body8192valid
12.4s5808×body512infinite
11.6s27387×body256infinite
11.1s25851×body256unsamplable
10.1s27624×body256invalid
5.3s660×body2048infinite
4.8s384×body4096infinite
3.2s1181×body2048invalid
2.9s542×body1024infinite
2.9s1683×body1024invalid
1.6s1177×body512invalid
253.0ms883×body256precondition
10.0ms4×body1024unsamplable
10.0ms8×body512unsamplable
Precisions
Click to see histograms. Total time spent on operations: 7.5min
Operation ival-pow, time spent: 2.9min, 39.0% of total-time
Operation ival-sin, time spent: 56.2s, 12.0% of total-time
Operation ival-mult, time spent: 55.0s, 12.0% of total-time
Operation ival-cos, time spent: 44.4s, 10.0% of total-time
Operation ival-div, time spent: 40.0s, 9.0% of total-time
Operation ival-add, time spent: 14.1s, 3.0% of total-time
Operation ival-exp, time spent: 12.0s, 3.0% of total-time
Operation ival-sub, time spent: 11.4s, 3.0% of total-time
Operation ival-log, time spent: 10.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 9.8s, 2.0% of total-time
Operation const, time spent: 7.9s, 2.0% of total-time
Operation ival-neg, time spent: 3.3s, 1.0% of total-time
Operation ival-<, time spent: 3.2s, 1.0% of total-time
Operation ival-atan2, time spent: 1.8s, 0.0% of total-time
Operation ival-atan, time spent: 1.5s, 0.0% of total-time
Operation ival-pi, time spent: 1.3s, 0.0% of total-time
Operation ival-acos, time spent: 1.0s, 0.0% of total-time
Operation ival-and, time spent: 973.0ms, 0.0% of total-time
Operation ival-tan, time spent: 755.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 510.0ms, 0.0% of total-time
Operation ival-asin, time spent: 398.0ms, 0.0% of total-time
Operation ival-<=, time spent: 302.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 128.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.4min (25.8%)

Results
Compiler

Compiled 71505 to 36748 computations (48.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2min
Operation ival-sin, time spent: 1.8min, 34.0% of total-time
Operation ival-pow, time spent: 59.6s, 19.0% of total-time
Operation ival-mult, time spent: 43.4s, 14.0% of total-time
Operation ival-cos, time spent: 29.5s, 9.0% of total-time
Operation ival-div, time spent: 27.4s, 9.0% of total-time
Operation const, time spent: 7.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.5s, 2.0% of total-time
Operation ival-add, time spent: 6.0s, 2.0% of total-time
Operation ival-sub, time spent: 5.4s, 2.0% of total-time
Operation ival-fma, time spent: 3.0s, 1.0% of total-time
Operation ival-log, time spent: 2.3s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.1s, 1.0% of total-time
Operation ival-atan2, time spent: 1.9s, 1.0% of total-time
Operation ival-hypot, time spent: 1.9s, 1.0% of total-time
Operation ival-exp, time spent: 1.3s, 0.0% of total-time
Operation ival-atan, time spent: 1.2s, 0.0% of total-time
Operation ival-log1p, time spent: 1.1s, 0.0% of total-time
Operation ival-expm1, time spent: 1.1s, 0.0% of total-time
Operation ival-tan, time spent: 1.0s, 0.0% of total-time
Operation ival-neg, time spent: 682.0ms, 0.0% of total-time
Operation ival-acos, time spent: 620.0ms, 0.0% of total-time
Operation ival-pi, time spent: 273.0ms, 0.0% of total-time
Operation ival-asin, time spent: 214.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 177.0ms, 0.0% of total-time

eval2.3min (8.1%)

Results
Compiler

Compiled 6705124 to 3793903 computations (43.4% saved)

soundness1.6min (5.5%)

Rules
252218×fma-def
167412×associate-*r*
129842×log-prod
122268×associate-*l*
119886×times-frac
Stop Event
5×saturated
7×unsound
365×node limit
Results
Compiler

Compiled 38284 to 22578 computations (41% saved)

preprocess1.3min (4.7%)

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 48584 to 27303 computations (43.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.5s
Operation ival-sin, time spent: 10.7s, 23.0% of total-time
Operation ival-pow, time spent: 9.5s, 20.0% of total-time
Operation ival-cos, time spent: 7.8s, 17.0% of total-time
Operation ival-mult, time spent: 7.5s, 16.0% of total-time
Operation ival-div, time spent: 6.0s, 13.0% of total-time
Operation ival-add, time spent: 1.2s, 2.0% of total-time
Operation const, time spent: 969.0ms, 2.0% of total-time
Operation ival-sub, time spent: 938.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 739.0ms, 2.0% of total-time
Operation ival-log, time spent: 339.0ms, 1.0% of total-time
Operation ival-atan, time spent: 241.0ms, 1.0% of total-time
Operation ival-tan, time spent: 212.0ms, 0.0% of total-time
Operation ival-exp, time spent: 135.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 86.0ms, 0.0% of total-time
Operation ival-neg, time spent: 82.0ms, 0.0% of total-time
Operation ival-pi, time spent: 61.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 57.0ms, 0.0% of total-time
Operation ival-acos, time spent: 35.0ms, 0.0% of total-time
Operation ival-asin, time spent: 23.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

analyze1.2min (4.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 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 49.9s
Operation ival-pow, time spent: 18.9s, 38.0% of total-time
Operation ival-mult, time spent: 9.1s, 18.0% of total-time
Operation ival-sin, time spent: 5.1s, 10.0% of total-time
Operation ival-div, time spent: 4.8s, 10.0% of total-time
Operation ival-cos, time spent: 4.8s, 10.0% of total-time
Operation ival-add, time spent: 2.1s, 4.0% of total-time
Operation ival-sub, time spent: 1.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 2.0% of total-time
Operation const, time spent: 967.0ms, 2.0% of total-time
Operation ival-neg, time spent: 349.0ms, 1.0% of total-time
Operation ival-<, time spent: 267.0ms, 1.0% of total-time
Operation ival-pi, time spent: 214.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 178.0ms, 0.0% of total-time
Operation ival-log, time spent: 139.0ms, 0.0% of total-time
Operation ival-exp, time spent: 117.0ms, 0.0% of total-time
Operation ival-tan, time spent: 112.0ms, 0.0% of total-time
Operation ival-asin, time spent: 89.0ms, 0.0% of total-time
Operation ival-atan, time spent: 86.0ms, 0.0% of total-time
Operation ival-and, time spent: 83.0ms, 0.0% of total-time
Operation ival-acos, time spent: 77.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 46.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 26.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

regimes1.2min (4.2%)

Counts
14002 → 630
Calls

137 calls:

7.0s
phi1
5.9s
phi2
5.3s
lambda1
4.7s
b
3.8s
lambda2
Results
Compiler

Compiled 318805 to 152190 computations (52.3% saved)

prune56.4s (3.3%)

Counts
149539 → 6344
Compiler

Compiled 671073 to 469403 computations (30.1% saved)

simplify54.0s (3.1%)

Algorithm
213×egg-herbie
Rules
138084×fma-def
96626×associate-*r*
81022×associate-*l*
78442×times-frac
75488×log-prod
Stop Event
1×unsound
47×saturated
7×done
40×fuel
165×node limit
Counts
75385 → 62195
Compiler

Compiled 10287 to 6766 computations (34.2% saved)

rewrite34.9s (2%)

Algorithm
166×batch-egg-rewrite
Rules
91093×log1p-expm1-u
71955×expm1-log1p-u
54290×expm1-udef
53522×log1p-udef
50100×log-prod
Stop Event
3×unsound
163×node limit
Counts
1481 → 44440

bsearch17.2s (1%)

Algorithm
204×binary-search
40×left-value
Stop Event
195×narrow-enough
9×predicate-same
Results
6.6s18761×body256valid
5.6s4206×body512valid
1.3s943×body2048valid
836.0ms700×body1024valid
747.0ms379×body4096valid
704.0ms2011×body256invalid
247.0ms124×body2048invalid
238.0ms146×body1024invalid
167.0ms506×body256infinite
115.0ms137×body512infinite
71.0ms86×body512invalid
Compiler

Compiled 56124 to 41550 computations (26% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.9s
Operation ival-cos, time spent: 1.7s, 19.0% of total-time
Operation ival-mult, time spent: 1.7s, 18.0% of total-time
Operation ival-sin, time spent: 1.3s, 15.0% of total-time
Operation ival-pow, time spent: 764.0ms, 9.0% of total-time
Operation ival-add, time spent: 604.0ms, 7.0% of total-time
Operation ival-sub, time spent: 593.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 467.0ms, 5.0% of total-time
Operation ival-div, time spent: 457.0ms, 5.0% of total-time
Operation ival-acos, time spent: 436.0ms, 5.0% of total-time
Operation ival-atan, time spent: 274.0ms, 3.0% of total-time
Operation const, time spent: 207.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 145.0ms, 2.0% of total-time
Operation ival-log, time spent: 99.0ms, 1.0% of total-time
Operation ival-neg, time spent: 80.0ms, 1.0% of total-time
Operation ival-pi, time spent: 62.0ms, 1.0% of total-time
Operation ival-exp, time spent: 58.0ms, 1.0% of total-time
Operation ival-asin, time spent: 24.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 12.0ms, 0.0% of total-time
Operation ival-tan, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time

series11.9s (0.7%)

Counts
1481 → 30945
Calls

8385 calls:

TimeVariablePointExpression
141.0ms
x
@-inf
(*.f64 1/60 (pow.f64 x 5))
115.0ms
phi1
@inf
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 delta) (*.f64 (cos.f64 phi1) (sin.f64 theta))))) 1)
87.0ms
b
@-inf
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (pow.f64 (+.f64 (exp.f64 a) 1) -5/18) 2) (*.f64 b 1/3))) 3)
86.0ms
a
@0
(log.f64 (*.f64 (+.f64 g (sqrt.f64 (-.f64 (pow.f64 g 2) (pow.f64 h 2)))) (/.f64 -1/2 a)))
72.0ms
theta
@inf
(log.f64 (pow.f64 (exp.f64 (sin.f64 phi1)) (fma.f64 (cos.f64 delta) (sin.f64 phi1) (*.f64 (cos.f64 phi1) (*.f64 (sin.f64 delta) (cos.f64 theta))))))

end19.0ms (0%)

Profiling

Loading profile data...