Herbie run

Date:Wednesday, January 31st, 2024
Commit:c25f4985 on artem-tuning-128start-20-256-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.7min)

sample9.7min (36.2%)

Results
1.2min269405×0valid
1.1min85657×1valid
10.8s34014×0unsamplable
7.0s27341×0invalid
7.1s25968×0infinite
46.2s23036×2valid
2.7min19532×5exit
1.6min10703×3valid
8.6s6707×1infinite
2.2s3592×1invalid
2.8s2471×2invalid
33.3s1888×4valid
124.0ms924×0precondition
8.0s653×4infinite
14.2s602×5valid
3.4s532×3infinite
1.9s480×2infinite
8.3s360×5infinite
34.0ms24×2unsamplable
16.0ms5×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 8.0min
Operation ival-pow, time spent: 2.7min, 33.0% of total-time
Operation ival-sin, time spent: 1.5min, 19.0% of total-time
Operation ival-cos, time spent: 1.1min, 14.0% of total-time
Operation ival-mult, time spent: 39.8s, 8.0% of total-time
Operation ival-add, time spent: 31.4s, 7.0% of total-time
Operation ival-div, time spent: 29.9s, 6.0% of total-time
Operation ival-sub, time spent: 24.9s, 5.0% of total-time
Operation ival-exp, time spent: 13.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 6.7s, 1.0% of total-time
Operation const, time spent: 4.9s, 1.0% of total-time
Operation ival-log, time spent: 3.6s, 1.0% of total-time
Operation ival-<, time spent: 3.0s, 1.0% of total-time
Operation ival-neg, time spent: 2.8s, 1.0% of total-time
Operation ival-pi, time spent: 1.2s, 0.0% of total-time
Operation ival-atan2, time spent: 815.0ms, 0.0% of total-time
Operation ival-and, time spent: 692.0ms, 0.0% of total-time
Operation ival-tan, time spent: 616.0ms, 0.0% of total-time
Operation ival-acos, time spent: 611.0ms, 0.0% of total-time
Operation ival-atan, time spent: 455.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 328.0ms, 0.0% of total-time
Operation ival-asin, time spent: 227.0ms, 0.0% of total-time
Operation ival-<=, time spent: 209.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 87.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 (23%)

Results
Compiler

Compiled 71745 to 37835 computations (47.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.4min
Operation ival-sin, time spent: 2.3min, 43.0% of total-time
Operation ival-pow, time spent: 54.2s, 17.0% of total-time
Operation ival-cos, time spent: 36.7s, 11.0% of total-time
Operation ival-mult, time spent: 34.6s, 11.0% of total-time
Operation ival-div, time spent: 19.0s, 6.0% of total-time
Operation ival-add, time spent: 13.5s, 4.0% of total-time
Operation ival-sub, time spent: 7.9s, 2.0% of total-time
Operation const, time spent: 4.1s, 1.0% of total-time
Operation ival-sqrt, time spent: 4.1s, 1.0% of total-time
Operation ival-fma, time spent: 1.9s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.5s, 0.0% of total-time
Operation ival-exp, time spent: 1.5s, 0.0% of total-time
Operation ival-hypot, time spent: 1.0s, 0.0% of total-time
Operation ival-log, time spent: 974.0ms, 0.0% of total-time
Operation ival-log1p, time spent: 870.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 817.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 660.0ms, 0.0% of total-time
Operation ival-neg, time spent: 374.0ms, 0.0% of total-time
Operation ival-acos, time spent: 310.0ms, 0.0% of total-time
Operation ival-tan, time spent: 289.0ms, 0.0% of total-time
Operation ival-atan, time spent: 255.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 86.0ms, 0.0% of total-time
Operation ival-pi, time spent: 69.0ms, 0.0% of total-time
Operation ival-asin, time spent: 25.0ms, 0.0% of total-time

preprocess2.3min (8.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 69899 to 40778 computations (41.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-sin, time spent: 38.6s, 35.0% of total-time
Operation ival-cos, time spent: 22.6s, 20.0% of total-time
Operation ival-pow, time spent: 15.5s, 14.0% of total-time
Operation ival-mult, time spent: 12.2s, 11.0% of total-time
Operation ival-div, time spent: 8.9s, 8.0% of total-time
Operation ival-add, time spent: 5.7s, 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-exp, time spent: 207.0ms, 0.0% of total-time
Operation ival-log, time spent: 159.0ms, 0.0% of total-time
Operation ival-tan, time spent: 142.0ms, 0.0% of total-time
Operation ival-neg, time spent: 136.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 135.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 101.0ms, 0.0% of total-time
Operation ival-atan, time spent: 81.0ms, 0.0% of total-time
Operation ival-asin, time spent: 50.0ms, 0.0% of total-time
Operation ival-pi, time spent: 46.0ms, 0.0% of total-time
Operation ival-acos, time spent: 34.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 21.0ms, 0.0% of total-time

eval2.0min (7.5%)

Compiler

Compiled 5604578 to 3236862 computations (42.2% saved)

soundness1.7min (6.3%)

Rules
253648×fma-def
170156×associate-*r*
127930×log-prod
121016×associate-*l*
118318×fma-neg
Stop Event
6×saturated
369×node limit
4×unsound
Compiler

Compiled 39749 to 23522 computations (40.8% saved)

regimes1.4min (5.4%)

Counts
17540 → 769
Calls

134 calls:

7.8s
phi2
7.8s
phi1
7.1s
lambda1
5.8s
lambda2
5.2s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11087 to 8159 computations (26.4% saved)

simplify51.7s (3.2%)

Algorithm
217×egg-herbie
Rules
142826×fma-def
95742×associate-*r*
85638×log-prod
84770×associate-*l*
82752×times-frac
Stop Event
47×saturated
37×fuel
169×node limit
1×unsound
10×done
Counts
76963 → 62430
Compiler

Compiled 14052 to 9283 computations (33.9% saved)

prune45.5s (2.8%)

Counts
135690 → 6120
Compiler

Compiled 378823 to 260646 computations (31.2% saved)

analyze43.5s (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: 37.1s
Operation ival-pow, time spent: 17.5s, 47.0% of total-time
Operation ival-mult, time spent: 6.0s, 16.0% of total-time
Operation ival-sin, time spent: 3.2s, 8.0% of total-time
Operation ival-cos, time spent: 3.1s, 8.0% of total-time
Operation ival-div, time spent: 3.1s, 8.0% of total-time
Operation ival-add, time spent: 1.1s, 3.0% of total-time
Operation ival-sub, time spent: 849.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 799.0ms, 2.0% of total-time
Operation const, time spent: 362.0ms, 1.0% of total-time
Operation ival-<, time spent: 255.0ms, 1.0% of total-time
Operation ival-neg, time spent: 221.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 131.0ms, 0.0% of total-time
Operation ival-exp, time spent: 131.0ms, 0.0% of total-time
Operation ival-acos, time spent: 84.0ms, 0.0% of total-time
Operation ival-log, time spent: 83.0ms, 0.0% of total-time
Operation ival-tan, time spent: 69.0ms, 0.0% of total-time
Operation ival-pi, time spent: 68.0ms, 0.0% of total-time
Operation ival-asin, time spent: 55.0ms, 0.0% of total-time
Operation ival-atan, time spent: 54.0ms, 0.0% of total-time
Operation ival-and, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 29.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 19.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

rewrite33.1s (2.1%)

Algorithm
170×batch-egg-rewrite
Rules
91243×log1p-expm1-u
68565×expm1-log1p-u
55018×expm1-udef
53338×log1p-udef
50590×log-prod
Stop Event
165×node limit
5×unsound
Counts
1527 → 46463

bsearch20.2s (1.3%)

Algorithm
277×binary-search
77×left-value
Stop Event
8×predicate-same
269×narrow-enough
Results
6.3s22536×0valid
7.6s9177×1valid
1.2s1606×2valid
182.0ms980×0invalid
83.0ms289×0infinite
120.0ms242×1infinite
156.0ms161×3valid
3.0ms25×0unsamplable
13.0ms5×4valid
Compiler

Compiled 83291 to 61656 computations (26% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.2s
Operation ival-sin, time spent: 2.4s, 21.0% of total-time
Operation ival-cos, time spent: 1.8s, 16.0% of total-time
Operation ival-sub, time spent: 1.7s, 15.0% of total-time
Operation ival-mult, time spent: 1.4s, 12.0% of total-time
Operation ival-add, time spent: 1.1s, 10.0% of total-time
Operation ival-pow, time spent: 797.0ms, 7.0% of total-time
Operation ival-div, time spent: 542.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 527.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 243.0ms, 2.0% of total-time
Operation ival-log, time spent: 167.0ms, 1.0% of total-time
Operation const, time spent: 153.0ms, 1.0% of total-time
Operation ival-acos, time spent: 124.0ms, 1.0% of total-time
Operation ival-atan, time spent: 105.0ms, 1.0% of total-time
Operation ival-exp, time spent: 65.0ms, 1.0% of total-time
Operation ival-asin, time spent: 59.0ms, 1.0% of total-time
Operation ival-pi, time spent: 47.0ms, 0.0% of total-time
Operation ival-neg, time spent: 40.0ms, 0.0% of total-time
Operation ival-tan, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

series13.7s (0.9%)

Counts
1527 → 30500
Calls

8391 calls:

TimeVariablePointExpression
454.0ms
a
@inf
(-.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 a -3/2) (/.f64 b c)))) 1)
440.0ms
a
@-inf
(pow.f64 (pow.f64 (*.f64 (/.f64 a b) c) 3) 1/3)
424.0ms
b
@-inf
(pow.f64 (-.f64 (/.f64 (neg.f64 c) b) (*.f64 (pow.f64 c 2) (*.f64 a (pow.f64 b -3)))) 3)
332.0ms
a
@-inf
(/.f64 (fma.f64 -3/2 (*.f64 (/.f64 a b) c) (/.f64 (*.f64 -9/8 (pow.f64 a 2)) (/.f64 (pow.f64 b 3) (pow.f64 c 2)))) (*.f64 3 a))
309.0ms
lambda2
@0
(-.f64 1 (fma.f64 (pow.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 phi2 -1/2)) 2)))

end26.0ms (0%)

Profiling

Loading profile data...