Herbie run

Date:Wednesday, March 6th, 2024
Commit:790951ae on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024066
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: 11.5min)

sample4.1min (35.3%)

Results
46.1s179120×256valid
9.9s49673×256invalid
9.6s41946×256infinite
2.2min25114×8192exit
9.2s11621×1024valid
6.8s9386×2048valid
4.4s8883×512valid
3.7s4635×1024invalid
1.2s2551×512invalid
2.7s1952×4096valid
2.9s773×4096infinite
952.0ms758×8192valid
1.5s681×2048infinite
215.0ms414×512infinite
296.0ms402×1024infinite
72.0ms281×256unsamplable
Precisions
Click to see histograms. Total time spent on operations: 3.0min
Operation ival-pow, time spent: 1.7min, 56.0% of total-time
Operation ival-mult, time spent: 25.5s, 14.0% of total-time
Operation ival-div, time spent: 20.8s, 12.0% of total-time
Operation ival-tan, time spent: 4.8s, 3.0% of total-time
Operation ival-sub, time spent: 4.5s, 3.0% of total-time
Operation ival-add, time spent: 4.3s, 2.0% of total-time
Operation ival-sin, time spent: 3.9s, 2.0% of total-time
Operation ival-exp, time spent: 3.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation const, time spent: 2.3s, 1.0% of total-time
Operation ival-cos, time spent: 1.3s, 1.0% of total-time
Operation ival-neg, time spent: 1.3s, 1.0% of total-time
Operation ival-acos, time spent: 940.0ms, 1.0% of total-time
Operation composed, time spent: 879.0ms, 0.0% of total-time
Operation ival-pi, time spent: 831.0ms, 0.0% of total-time
Operation ival-log, time spent: 576.0ms, 0.0% of total-time
Operation ival-<, time spent: 402.0ms, 0.0% of total-time
Operation ival-asin, time spent: 182.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 127.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Bogosity

localize2.1min (18.5%)

Compiler

Compiled 39633 to 19764 computations (50.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-pow, time spent: 17.3s, 18.0% of total-time
Operation ival-mult, time spent: 16.2s, 17.0% of total-time
Operation ival-tan, time spent: 12.9s, 13.0% of total-time
Operation composed, time spent: 10.4s, 11.0% of total-time
Operation ival-div, time spent: 9.3s, 10.0% of total-time
Operation ival-add, time spent: 5.4s, 6.0% of total-time
Operation ival-sin, time spent: 4.2s, 4.0% of total-time
Operation ival-log, time spent: 3.9s, 4.0% of total-time
Operation ival-sub, time spent: 3.8s, 4.0% of total-time
Operation ival-cos, time spent: 3.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.5s, 3.0% of total-time
Operation ival-exp, time spent: 2.3s, 2.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-acos, time spent: 1.4s, 1.0% of total-time
Operation ival-cbrt, time spent: 637.0ms, 1.0% of total-time
Operation ival-neg, time spent: 432.0ms, 0.0% of total-time
Operation ival-asin, time spent: 288.0ms, 0.0% of total-time
Operation ival-pi, time spent: 63.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 20.0ms, 0.0% of total-time

eval1.1min (9.3%)

Compiler

Compiled 3169464 to 1939773 computations (38.8% saved)

simplify49.1s (7.1%)

Algorithm
150×egg-herbie
Rules
103766×fma-define
80390×times-frac
78212×*-commutative
71792×associate-*r*
67374×distribute-lft-in
Stop Event
31×saturated
119×node limit
25×fuel
6×done
Counts
67619 → 57335
Compiler

Compiled 10823 to 7217 computations (33.3% saved)

regimes47.2s (6.9%)

Counts
7843 → 624
Calls

152 calls:

3.3s
l
3.3s
NaChar
2.4s
t
2.1s
NdChar
1.9s
k
Compiler

Compiled 7530 to 5863 computations (22.1% saved)

soundness40.7s (5.9%)

Rules
103522×fma-define
71982×associate-*r*
71712×times-frac
53850×*-commutative
52082×distribute-lft-in
Stop Event
7×saturated
142×node limit
1×unsound
Compiler

Compiled 27708 to 17335 computations (37.4% saved)

preprocess27.7s (4%)

Algorithm
31×egg-herbie
Rules
39452×fma-define
26360×fma-neg
16974×times-frac
15822×unsub-neg
14432×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 58474 to 36916 computations (36.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.6s
Operation ival-mult, time spent: 2.0s, 21.0% of total-time
Operation ival-pow, time spent: 1.7s, 18.0% of total-time
Operation ival-div, time spent: 1.3s, 14.0% of total-time
Operation ival-tan, time spent: 868.0ms, 9.0% of total-time
Operation ival-add, time spent: 837.0ms, 9.0% of total-time
Operation ival-exp, time spent: 476.0ms, 5.0% of total-time
Operation ival-sub, time spent: 456.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 371.0ms, 4.0% of total-time
Operation ival-cos, time spent: 285.0ms, 3.0% of total-time
Operation ival-sin, time spent: 280.0ms, 3.0% of total-time
Operation const, time spent: 250.0ms, 3.0% of total-time
Operation composed, time spent: 231.0ms, 2.0% of total-time
Operation ival-log, time spent: 174.0ms, 2.0% of total-time
Operation ival-neg, time spent: 132.0ms, 1.0% of total-time
Operation ival-acos, time spent: 44.0ms, 0.0% of total-time
Operation ival-pi, time spent: 30.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time

rewrite25.0s (3.6%)

Algorithm
119×batch-egg-rewrite
Rules
67216×log1p-expm1-u
49995×expm1-log1p-u
36116×prod-diff
31532×log-prod
29934×associate-*r*
Stop Event
118×node limit
1×unsound
Counts
1196 → 35314

prune24.8s (3.6%)

Counts
93207 → 3012
Compiler

Compiled 143104 to 98934 computations (30.9% saved)

bsearch14.2s (2.1%)

Algorithm
283×binary-search
51×left-value
Stop Event
9×predicate-same
274×narrow-enough
Results
7.7s28792×256valid
766.0ms3091×256infinite
202.0ms1072×256invalid
2.9s813×8192exit
237.0ms475×1024valid
199.0ms232×2048valid
62.0ms186×512valid
23.0ms55×1024invalid
20.0ms47×512infinite
51.0ms43×4096valid
81.0ms20×4096infinite
4.0ms16×512invalid
22.0ms15×2048infinite
7.0ms11×1024infinite
Compiler

Compiled 84626 to 63695 computations (24.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.7s
Operation ival-pow, time spent: 2.6s, 34.0% of total-time
Operation ival-mult, time spent: 1.1s, 14.0% of total-time
Operation ival-div, time spent: 1.1s, 14.0% of total-time
Operation ival-add, time spent: 654.0ms, 8.0% of total-time
Operation ival-sin, time spent: 499.0ms, 6.0% of total-time
Operation ival-sub, time spent: 387.0ms, 5.0% of total-time
Operation ival-tan, time spent: 347.0ms, 5.0% of total-time
Operation ival-cos, time spent: 309.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 233.0ms, 3.0% of total-time
Operation ival-exp, time spent: 163.0ms, 2.0% of total-time
Operation ival-neg, time spent: 152.0ms, 2.0% of total-time
Operation const, time spent: 129.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 54.0ms, 1.0% of total-time
Operation composed, time spent: 41.0ms, 1.0% of total-time
Operation ival-asin, time spent: 4.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

analyze12.7s (1.8%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.7%30.4%59.8%1.8%0%7.3%0.8%4
36%32.4%57.5%1.8%0%7.3%1%5
40.4%36.2%53.5%1.8%0%7.4%1.1%6
45.2%40.5%49.1%1.8%0%7.4%1.2%7
47.7%42.3%46.5%1.8%0%8.2%1.3%8
50.9%45.1%43.5%1.8%0%8.3%1.3%9
52%46%42.4%1.8%0%8.4%1.4%10
53.7%47.2%40.8%1.8%0%8.9%1.4%11
55.6%48.6%38.9%1.8%0%9.2%1.4%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
Operation ival-mult, time spent: 2.3s, 29.0% of total-time
Operation ival-pow, time spent: 1.6s, 20.0% of total-time
Operation ival-div, time spent: 1.2s, 15.0% of total-time
Operation ival-add, time spent: 740.0ms, 10.0% of total-time
Operation ival-sin, time spent: 568.0ms, 7.0% of total-time
Operation ival-sub, time spent: 346.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 287.0ms, 4.0% of total-time
Operation ival-tan, time spent: 229.0ms, 3.0% of total-time
Operation const, time spent: 175.0ms, 2.0% of total-time
Operation ival-cos, time spent: 108.0ms, 1.0% of total-time
Operation ival-neg, time spent: 87.0ms, 1.0% of total-time
Operation ival-exp, time spent: 69.0ms, 1.0% of total-time
Operation ival-acos, time spent: 68.0ms, 1.0% of total-time
Operation ival-pi, time spent: 40.0ms, 1.0% of total-time
Operation ival-asin, time spent: 26.0ms, 0.0% of total-time
Operation ival-<, time spent: 21.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 15.0ms, 0.0% of total-time
Operation ival-log, time spent: 11.0ms, 0.0% of total-time
Operation ival-and, time spent: 3.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

series12.4s (1.8%)

Counts
1196 → 32305
Calls

8472 calls:

TimeVariablePointExpression
294.0ms
l
@inf
(* (/ 1 (* F F)) (/ (sin (* (PI) l)) (cos (* (PI) l))))
268.0ms
h
@inf
(* (pow (/ c0 (* h w)) 2) (pow (/ d D) 4))
185.0ms
c0
@inf
(/ (+ 0 (pow M 2)) (- (* c0 (/ (pow (/ d D) 2) (* h w))) (sqrt (- (* (pow (/ c0 (* h w)) 2) (pow (/ d D) 4)) (pow M 2)))))
129.0ms
Om
@0
(* (pow l 2) (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U*)) (pow Om 2)))))
129.0ms
f
@0
(/ (neg (log (* (PI) (* 1/4 f)))) (PI))

end20.0ms (0%)

Profiling

Loading profile data...