Herbie run

Date:Thursday, March 7th, 2024
Commit:36fc83f8 on main
Hostname:nightly with Racket 8.11.1
Seed:2024067
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.8min)

sample4.0min (33.9%)

Results
45.7s179057×256valid
9.9s49601×256invalid
9.0s42175×256infinite
2.2min24751×8192exit
9.1s11684×1024valid
6.8s9216×2048valid
3.8s8827×512valid
3.7s4727×1024invalid
1.3s2652×512invalid
2.1s1928×4096valid
2.9s794×4096infinite
864.0ms756×8192valid
1.9s690×2048infinite
330.0ms430×1024infinite
161.0ms379×512infinite
107.0ms289×256unsamplable
Precisions
Click to see histograms. Total time spent on operations: 3.0min
Operation ival-pow, time spent: 1.7min, 57.0% of total-time
Operation ival-mult, time spent: 24.0s, 14.0% of total-time
Operation ival-div, time spent: 21.1s, 12.0% of total-time
Operation ival-sub, time spent: 5.3s, 3.0% of total-time
Operation ival-tan, time spent: 5.1s, 3.0% of total-time
Operation ival-sin, time spent: 3.8s, 2.0% of total-time
Operation ival-add, time spent: 3.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.2s, 2.0% of total-time
Operation ival-exp, time spent: 3.1s, 2.0% of total-time
Operation const, time spent: 2.2s, 1.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-neg, time spent: 882.0ms, 0.0% of total-time
Operation ival-acos, time spent: 872.0ms, 0.0% of total-time
Operation composed, time spent: 761.0ms, 0.0% of total-time
Operation ival-log, time spent: 572.0ms, 0.0% of total-time
Operation ival-pi, time spent: 485.0ms, 0.0% of total-time
Operation ival-asin, time spent: 197.0ms, 0.0% of total-time
Operation ival-<, time spent: 114.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 108.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Bogosity

localize2.1min (18%)

Compiler

Compiled 38144 to 18735 computations (50.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-pow, time spent: 20.1s, 21.0% of total-time
Operation ival-mult, time spent: 15.6s, 16.0% of total-time
Operation ival-tan, time spent: 15.4s, 16.0% of total-time
Operation ival-div, time spent: 9.1s, 9.0% of total-time
Operation composed, time spent: 8.7s, 9.0% of total-time
Operation ival-cos, time spent: 4.8s, 5.0% of total-time
Operation ival-add, time spent: 4.8s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 3.0% of total-time
Operation ival-log, time spent: 2.5s, 3.0% of total-time
Operation ival-exp, time spent: 2.5s, 3.0% of total-time
Operation ival-acos, time spent: 2.4s, 2.0% of total-time
Operation ival-sub, time spent: 2.4s, 2.0% of total-time
Operation const, time spent: 1.6s, 2.0% of total-time
Operation ival-sin, time spent: 1.2s, 1.0% of total-time
Operation ival-cbrt, time spent: 818.0ms, 1.0% of total-time
Operation ival-neg, time spent: 511.0ms, 1.0% of total-time
Operation ival-asin, time spent: 287.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 133.0ms, 0.0% of total-time
Operation ival-pi, time spent: 66.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 30.0ms, 0.0% of total-time

eval1.1min (9.5%)

Compiler

Compiled 3114513 to 1938544 computations (37.8% saved)

regimes56.6s (8%)

Counts
10906 → 815
Calls

152 calls:

5.4s
l
3.2s
t
3.1s
NaChar
1.9s
F
1.9s
Vef
Compiler

Compiled 8669 to 6765 computations (22% saved)

simplify50.7s (7.1%)

Algorithm
149×egg-herbie
Rules
92006×fma-define
82276×times-frac
81424×*-commutative
75394×associate-*r*
67594×distribute-lft-in
Stop Event
30×saturated
119×node limit
26×fuel
4×done
Counts
67602 → 56940
Compiler

Compiled 13528 to 8744 computations (35.4% saved)

soundness43.1s (6.1%)

Rules
98070×fma-define
79132×times-frac
72254×associate-*r*
63568×*-commutative
58742×distribute-lft-in
Stop Event
7×saturated
157×node limit
1×unsound
Compiler

Compiled 34939 to 20915 computations (40.1% saved)

preprocess28.3s (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 70358 to 42600 computations (39.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
Operation ival-mult, time spent: 2.2s, 24.0% of total-time
Operation ival-pow, time spent: 1.6s, 17.0% of total-time
Operation ival-div, time spent: 1.2s, 13.0% of total-time
Operation ival-tan, time spent: 710.0ms, 8.0% of total-time
Operation ival-sub, time spent: 674.0ms, 7.0% of total-time
Operation ival-add, time spent: 614.0ms, 7.0% of total-time
Operation ival-exp, time spent: 458.0ms, 5.0% of total-time
Operation ival-cos, time spent: 420.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 322.0ms, 3.0% of total-time
Operation ival-sin, time spent: 269.0ms, 3.0% of total-time
Operation const, time spent: 244.0ms, 3.0% of total-time
Operation composed, time spent: 239.0ms, 3.0% of total-time
Operation ival-neg, time spent: 122.0ms, 1.0% of total-time
Operation ival-log, time spent: 74.0ms, 1.0% of total-time
Operation ival-acos, time spent: 50.0ms, 1.0% of total-time
Operation ival-pi, time spent: 27.0ms, 0.0% of total-time
Operation ival-asin, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time

prune27.3s (3.8%)

Counts
91309 → 3113
Compiler

Compiled 143596 to 100027 computations (30.3% saved)

rewrite24.8s (3.5%)

Algorithm
119×batch-egg-rewrite
Rules
73714×log1p-expm1-u
49277×expm1-log1p-u
35010×prod-diff
29988×associate-*r*
29898×log-prod
Stop Event
118×node limit
1×unsound
Counts
1231 → 35315

bsearch18.9s (2.7%)

Algorithm
342×binary-search
93×left-value
Stop Event
8×predicate-same
334×narrow-enough
Results
8.6s33991×256valid
1.1s4652×256infinite
5.0s1156×8192exit
149.0ms950×256invalid
345.0ms674×1024valid
423.0ms337×2048valid
119.0ms298×512valid
671.0ms153×2048infinite
62.0ms141×512infinite
310.0ms113×4096infinite
75.0ms110×1024infinite
151.0ms66×4096valid
14.0ms49×512invalid
21.0ms49×1024invalid
Compiler

Compiled 115300 to 86594 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.7s
Operation ival-pow, time spent: 4.3s, 37.0% of total-time
Operation ival-div, time spent: 1.5s, 13.0% of total-time
Operation ival-mult, time spent: 1.3s, 11.0% of total-time
Operation ival-sin, time spent: 1.1s, 9.0% of total-time
Operation ival-tan, time spent: 856.0ms, 7.0% of total-time
Operation ival-add, time spent: 805.0ms, 7.0% of total-time
Operation ival-sub, time spent: 735.0ms, 6.0% of total-time
Operation ival-exp, time spent: 286.0ms, 2.0% of total-time
Operation ival-neg, time spent: 214.0ms, 2.0% of total-time
Operation ival-cos, time spent: 200.0ms, 2.0% of total-time
Operation const, time spent: 176.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 142.0ms, 1.0% of total-time
Operation composed, time spent: 47.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time
Operation ival-log, time spent: 6.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time

series12.4s (1.7%)

Counts
1231 → 32287
Calls

8496 calls:

TimeVariablePointExpression
180.0ms
f
@-inf
(/ (* -4 (- (log (/ 4 (PI))) (log f))) (PI))
116.0ms
n
@-inf
(log (+ 1 (cos (- (* K (* (+ m n) 1/2)) M))))
96.0ms
l
@0
(/ (pow t 3) (* l l))
94.0ms
f
@0
(* (/ 1 (/ (PI) 4)) (log (/ 2 (* f (* (PI) 1/2)))))
83.0ms
c0
@-inf
(+ (* c0 (* d (/ d (exp (log (* w (* h (pow D 2)))))))) (sqrt (* (+ (* c0 (* d (/ d (* D (* w (* h D)))))) M) (- (* c0 (* d (/ d (* D (* w (* h D)))))) M))))

analyze12.3s (1.7%)

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.1s
Operation ival-mult, time spent: 2.2s, 32.0% of total-time
Operation ival-pow, time spent: 1.6s, 23.0% of total-time
Operation ival-div, time spent: 930.0ms, 13.0% of total-time
Operation ival-add, time spent: 603.0ms, 8.0% of total-time
Operation ival-sub, time spent: 357.0ms, 5.0% of total-time
Operation ival-sin, time spent: 288.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 262.0ms, 4.0% of total-time
Operation ival-tan, time spent: 196.0ms, 3.0% of total-time
Operation const, time spent: 171.0ms, 2.0% of total-time
Operation ival-exp, time spent: 99.0ms, 1.0% of total-time
Operation ival-neg, time spent: 84.0ms, 1.0% of total-time
Operation ival-acos, time spent: 65.0ms, 1.0% of total-time
Operation ival-cos, time spent: 49.0ms, 1.0% of total-time
Operation ival-pi, time spent: 38.0ms, 1.0% of total-time
Operation ival-<, time spent: 26.0ms, 0.0% of total-time
Operation ival-asin, time spent: 24.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.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

end28.0ms (0%)

Profiling

Loading profile data...