Herbie run

Date:Saturday, March 16th, 2024
Commit:110598d9 on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024076
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: 9.8min)

localize2.2min (22.3%)

Results
22.8s17674×256valid
4.7s3680×256infinite
7.7s3576×256invalid
12.6s1604×1024valid
19.9s1548×2048valid
5.9s1372×512valid
26.2s1072×8192exit
1.7s154×4096valid
248.0ms145×256unsamplable
1.4s93×2048infinite
512.0ms66×1024infinite
295.0ms59×512infinite
1.9s58×4096infinite
191.0ms46×2048unsamplable
1.7s41×8192infinite
122.0ms18×8192valid
55.0ms18×1024unsamplable
10.0ms6×512unsamplable
9.0ms2×4096unsamplable
Compiler

Compiled 38223 to 19241 computations (49.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-pow, time spent: 19.9s, 20.0% of total-time
Operation ival-mult, time spent: 18.5s, 19.0% of total-time
Operation composed, time spent: 10.2s, 10.0% of total-time
Operation ival-div, time spent: 9.9s, 10.0% of total-time
Operation ival-tan, time spent: 7.3s, 7.0% of total-time
Operation ival-add, time spent: 6.0s, 6.0% of total-time
Operation ival-cos, time spent: 5.8s, 6.0% of total-time
Operation ival-sub, time spent: 3.6s, 4.0% of total-time
Operation ival-exp, time spent: 3.3s, 3.0% of total-time
Operation ival-log, time spent: 3.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 3.0% of total-time
Operation ival-acos, time spent: 2.3s, 2.0% of total-time
Operation const, time spent: 1.7s, 2.0% of total-time
Operation ival-sin, time spent: 1.3s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.0s, 1.0% of total-time
Operation ival-asin, time spent: 697.0ms, 1.0% of total-time
Operation ival-neg, time spent: 565.0ms, 1.0% of total-time
Operation ival-pi, time spent: 84.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 24.0ms, 0.0% of total-time

sample2.0min (20.1%)

Results
40.2s179956×256valid
12.5s68393×256invalid
8.9s42218×256infinite
7.7s10932×1024valid
6.8s9264×2048valid
3.9s8507×512valid
5.1s7563×1024invalid
2.1s4106×512invalid
2.2s1951×4096valid
1.0s792×8192valid
3.6s777×4096infinite
1.8s723×2048infinite
573.0ms435×1024infinite
179.0ms381×512infinite
33.0ms191×256unsamplable
72.0ms114×2048invalid
6.0ms8×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 18.8s, 27.0% of total-time
Operation ival-div, time spent: 11.6s, 17.0% of total-time
Operation ival-pow, time spent: 6.7s, 10.0% of total-time
Operation ival-tan, time spent: 5.5s, 8.0% of total-time
Operation ival-sub, time spent: 4.2s, 6.0% of total-time
Operation ival-sin, time spent: 4.2s, 6.0% of total-time
Operation ival-add, time spent: 4.0s, 6.0% of total-time
Operation ival-sqrt, time spent: 2.9s, 4.0% of total-time
Operation ival-exp, time spent: 2.8s, 4.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-neg, time spent: 1.4s, 2.0% of total-time
Operation ival-cos, time spent: 1.3s, 2.0% of total-time
Operation ival-acos, time spent: 1.1s, 2.0% of total-time
Operation ival-pi, time spent: 804.0ms, 1.0% of total-time
Operation composed, time spent: 782.0ms, 1.0% of total-time
Operation ival-log, time spent: 565.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 168.0ms, 0.0% of total-time
Operation ival-asin, time spent: 165.0ms, 0.0% of total-time
Operation ival-<, time spent: 132.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.0ms, 0.0% of total-time
Bogosity

eval1.1min (10.7%)

Compiler

Compiled 2770635 to 1745376 computations (37% saved)

regimes54.9s (9.3%)

Counts
8993 → 741
Calls

152 calls:

5.5s
l
3.1s
F
3.0s
t
2.6s
k
2.2s
EAccept
Compiler

Compiled 8337 to 6453 computations (22.6% saved)

soundness46.9s (8%)

Rules
100806×fma-define
83388×associate-*r*
81156×times-frac
58714×distribute-lft-in
58148×*-commutative
Stop Event
7×saturated
171×node limit
1×unsound
Compiler

Compiled 33347 to 20793 computations (37.6% saved)

simplify46.3s (7.9%)

Algorithm
150×egg-herbie
Rules
98080×fma-define
81930×times-frac
79374×associate-*r*
73702×*-commutative
68640×distribute-lft-in
Stop Event
31×saturated
119×node limit
25×fuel
6×done
Counts
65600 → 54689
Compiler

Compiled 12668 to 8491 computations (33% saved)

preprocess30.2s (5.1%)

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
Results
6.5s10586×256valid
1.3s2624×256infinite
989.0ms782×512valid
1.7s756×1024valid
1.3s716×2048valid
833.0ms194×4096valid
162.0ms50×2048infinite
99.0ms48×1024infinite
399.0ms48×4096infinite
36.0ms36×512infinite
51.0ms32×8192valid
Compiler

Compiled 60944 to 37838 computations (37.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.8s
Operation ival-mult, time spent: 2.3s, 23.0% of total-time
Operation ival-div, time spent: 1.5s, 15.0% of total-time
Operation ival-pow, time spent: 1.2s, 12.0% of total-time
Operation ival-tan, time spent: 1.0s, 10.0% of total-time
Operation ival-sub, time spent: 835.0ms, 8.0% of total-time
Operation ival-exp, time spent: 595.0ms, 6.0% of total-time
Operation ival-add, time spent: 580.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 521.0ms, 5.0% of total-time
Operation ival-cos, time spent: 305.0ms, 3.0% of total-time
Operation ival-sin, time spent: 264.0ms, 3.0% of total-time
Operation const, time spent: 237.0ms, 2.0% of total-time
Operation composed, time spent: 214.0ms, 2.0% of total-time
Operation ival-neg, time spent: 126.0ms, 1.0% of total-time
Operation ival-log, time spent: 84.0ms, 1.0% of total-time
Operation ival-acos, time spent: 43.0ms, 0.0% of total-time
Operation ival-asin, time spent: 41.0ms, 0.0% of total-time
Operation ival-pi, time spent: 26.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

prune25.5s (4.3%)

Counts
83840 → 3057
Compiler

Compiled 143927 to 100176 computations (30.4% saved)

rewrite25.4s (4.3%)

Algorithm
119×batch-egg-rewrite
Rules
71305×log1p-expm1-u
49589×expm1-log1p-u
36836×prod-diff
30454×log-prod
29700×pow1
Stop Event
118×node limit
1×unsound
Counts
1201 → 33722

bsearch17.1s (2.9%)

Algorithm
356×binary-search
68×left-value
Stop Event
14×predicate-same
342×narrow-enough
Results
9.0s35178×256valid
1.3s5694×256infinite
1.9s5104×256invalid
456.0ms969×1024valid
383.0ms699×512valid
135.0ms325×1024invalid
51.0ms171×512invalid
93.0ms169×2048valid
43.0ms104×512infinite
15.0ms19×4096valid
113.0ms18×4096infinite
33.0ms14×2048infinite
5.0ms10×1024infinite
6.0ms6×8192valid
3.0ms3×8192exit
Compiler

Compiled 105516 to 80388 computations (23.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
Operation ival-mult, time spent: 1.8s, 20.0% of total-time
Operation ival-div, time spent: 1.7s, 19.0% of total-time
Operation ival-pow, time spent: 1.4s, 15.0% of total-time
Operation ival-add, time spent: 992.0ms, 11.0% of total-time
Operation ival-tan, time spent: 734.0ms, 8.0% of total-time
Operation ival-sin, time spent: 688.0ms, 8.0% of total-time
Operation ival-sub, time spent: 479.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 413.0ms, 5.0% of total-time
Operation ival-neg, time spent: 276.0ms, 3.0% of total-time
Operation ival-cos, time spent: 239.0ms, 3.0% of total-time
Operation const, time spent: 183.0ms, 2.0% of total-time
Operation ival-exp, time spent: 143.0ms, 2.0% of total-time
Operation composed, time spent: 57.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.0ms, 0.0% of total-time
Operation ival-asin, time spent: 4.0ms, 0.0% of total-time

analyze16.6s (2.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.6%30.4%60.2%1.8%0%7.3%0.4%4
35.9%32.4%57.9%1.8%0%7.3%0.6%5
40.2%36.2%53.9%1.8%0%7.4%0.7%6
45%40.3%49.1%1.8%0%8%0.8%7
47.4%41.8%46.4%1.8%0%9.2%0.9%8
50.2%44.1%43.7%1.8%0%9.5%0.9%9
51.3%44.9%42.6%1.8%0%9.7%1%10
53%46.1%40.9%1.8%0%10.2%1%11
54.7%47.3%39.1%1.8%0%10.8%1%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
Operation ival-cos, time spent: 2.9s, 26.0% of total-time
Operation ival-mult, time spent: 2.4s, 22.0% of total-time
Operation ival-pow, time spent: 1.5s, 14.0% of total-time
Operation ival-div, time spent: 1.1s, 10.0% of total-time
Operation ival-add, time spent: 856.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 566.0ms, 5.0% of total-time
Operation ival-sub, time spent: 467.0ms, 4.0% of total-time
Operation ival-sin, time spent: 362.0ms, 3.0% of total-time
Operation ival-tan, time spent: 214.0ms, 2.0% of total-time
Operation const, time spent: 172.0ms, 2.0% of total-time
Operation ival-neg, time spent: 102.0ms, 1.0% of total-time
Operation ival-exp, time spent: 95.0ms, 1.0% of total-time
Operation ival-acos, time spent: 90.0ms, 1.0% of total-time
Operation ival-pi, time spent: 41.0ms, 0.0% of total-time
Operation ival-asin, time spent: 26.0ms, 0.0% of total-time
Operation ival-<, time spent: 23.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 19.0ms, 0.0% of total-time
Operation ival-log, time spent: 19.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 (2.1%)

Counts
1201 → 31878
Calls

8259 calls:

TimeVariablePointExpression
358.0ms
M
@-inf
(* (cos (- (/ (* K (+ m n)) 2) M)) (* (exp (+ (- m n) (- (* (- (* 1/2 m) M) (+ (- (* 1/2 m) M) n)) l))) 1))
169.0ms
l
@inf
(log (+ 1 (exp (+ (- (* (neg (- (* n 1/2) M)) (+ m (- (* n 1/2) M))) l) (fabs (- m n))))))
154.0ms
U
@inf
(+ (* n (* (pow (/ l Om) 2) (- U* U))) (+ (* (* l (/ l Om)) -2) t))
149.0ms
f
@-inf
(log (pow (/ (/ 4 (PI)) f) (/ 4 (PI))))
147.0ms
m
@inf
(* (cos (- (/ (* K (+ m n)) 2) M)) (* (exp (- (+ m (* 1/2 (* m (+ n (* 1/2 m))))) (+ l n))) 1))

end29.0ms (0%)

Profiling

Loading profile data...