Herbie run

Date:Monday, March 11th, 2024
Commit:d14d36a1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024071
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.9min)

sample2.0min (20.2%)

Results
46.1s179353×256valid
15.4s67418×256invalid
10.5s42946×256infinite
8.0s10756×1024valid
6.9s9311×2048valid
4.0s8567×512valid
5.9s7790×1024invalid
2.3s4097×512invalid
2.3s1933×4096valid
3.5s813×4096infinite
1.1s773×8192valid
1.8s693×2048infinite
220.0ms400×512infinite
429.0ms391×1024infinite
43.0ms209×256unsamplable
96.0ms124×2048invalid
4.0ms4×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 17.9s, 26.0% of total-time
Operation ival-div, time spent: 11.3s, 17.0% of total-time
Operation ival-pow, time spent: 7.2s, 10.0% of total-time
Operation ival-tan, time spent: 5.2s, 8.0% of total-time
Operation ival-add, time spent: 4.8s, 7.0% of total-time
Operation ival-sub, time spent: 4.2s, 6.0% of total-time
Operation ival-sin, time spent: 3.7s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 5.0% of total-time
Operation ival-exp, time spent: 2.7s, 4.0% of total-time
Operation ival-cos, time spent: 1.5s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-neg, time spent: 1.2s, 2.0% of total-time
Operation composed, time spent: 1.1s, 2.0% of total-time
Operation ival-acos, time spent: 929.0ms, 1.0% of total-time
Operation ival-pi, time spent: 806.0ms, 1.0% of total-time
Operation ival-log, time spent: 797.0ms, 1.0% of total-time
Operation ival-asin, time spent: 180.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 147.0ms, 0.0% of total-time
Operation ival-<, time spent: 124.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Bogosity

localize1.7min (17.3%)

Compiler

Compiled 37459 to 19415 computations (48.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation ival-mult, time spent: 16.9s, 23.0% of total-time
Operation ival-pow, time spent: 13.7s, 19.0% of total-time
Operation composed, time spent: 11.1s, 15.0% of total-time
Operation ival-div, time spent: 8.5s, 12.0% of total-time
Operation ival-add, time spent: 5.1s, 7.0% of total-time
Operation ival-sub, time spent: 2.8s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 3.0% of total-time
Operation ival-log, time spent: 2.2s, 3.0% of total-time
Operation ival-exp, time spent: 2.1s, 3.0% of total-time
Operation const, time spent: 1.6s, 2.0% of total-time
Operation ival-tan, time spent: 1.6s, 2.0% of total-time
Operation ival-cos, time spent: 1.5s, 2.0% of total-time
Operation ival-acos, time spent: 1.1s, 2.0% of total-time
Operation ival-asin, time spent: 953.0ms, 1.0% of total-time
Operation ival-sin, time spent: 948.0ms, 1.0% of total-time
Operation ival-neg, time spent: 719.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 333.0ms, 0.0% of total-time
Operation ival-pi, time spent: 150.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 23.0ms, 0.0% of total-time

eval1.0min (10.5%)

Compiler

Compiled 2746263 to 1736406 computations (36.8% saved)

regimes55.8s (9.4%)

Counts
9947 → 767
Calls

152 calls:

8.0s
l
3.4s
k
3.1s
F
2.1s
KbT
2.0s
d
Compiler

Compiled 7860 to 6067 computations (22.8% saved)

simplify51.6s (8.7%)

Algorithm
149×egg-herbie
Rules
48162×fma-define
39275×*-commutative
36152×times-frac
35951×associate-*r*
31892×distribute-lft-in
Stop Event
31×saturated
118×node limit
26×fuel
5×done
Counts
66678 → 56903
Compiler

Compiled 12641 to 8390 computations (33.6% saved)

soundness49.8s (8.4%)

Rules
54830×fma-define
43293×log1p-expm1-u
40429×associate-*r*
36093×times-frac
31740×associate-*l*
Stop Event
7×saturated
172×node limit
1×unsound
Compiler

Compiled 36298 to 22202 computations (38.8% saved)

analyze39.7s (6.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.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: 33.4s
Operation ival-sin, time spent: 16.2s, 49.0% of total-time
Operation ival-tan, time spent: 7.4s, 22.0% of total-time
Operation ival-cos, time spent: 2.6s, 8.0% of total-time
Operation ival-mult, time spent: 2.4s, 7.0% of total-time
Operation ival-pow, time spent: 1.3s, 4.0% of total-time
Operation ival-div, time spent: 1.2s, 3.0% of total-time
Operation ival-sub, time spent: 795.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 527.0ms, 2.0% of total-time
Operation ival-add, time spent: 476.0ms, 1.0% of total-time
Operation const, time spent: 172.0ms, 1.0% of total-time
Operation ival-neg, time spent: 109.0ms, 0.0% of total-time
Operation ival-exp, time spent: 74.0ms, 0.0% of total-time
Operation ival-acos, time spent: 69.0ms, 0.0% of total-time
Operation ival-pi, time spent: 43.0ms, 0.0% of total-time
Operation ival-log, time spent: 38.0ms, 0.0% of total-time
Operation ival-asin, time spent: 31.0ms, 0.0% of total-time
Operation ival-<, time spent: 20.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 18.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

preprocess29.4s (4.9%)

Algorithm
31×egg-herbie
Rules
19726×fma-define
13180×fma-neg
8487×times-frac
7911×unsub-neg
7216×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 56852 to 34752 computations (38.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
Operation ival-mult, time spent: 2.4s, 25.0% of total-time
Operation ival-pow, time spent: 1.5s, 16.0% of total-time
Operation ival-div, time spent: 1.5s, 16.0% of total-time
Operation ival-tan, time spent: 665.0ms, 7.0% of total-time
Operation ival-sub, time spent: 555.0ms, 6.0% of total-time
Operation ival-add, time spent: 545.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 502.0ms, 5.0% of total-time
Operation ival-exp, time spent: 434.0ms, 5.0% of total-time
Operation ival-cos, time spent: 260.0ms, 3.0% of total-time
Operation composed, time spent: 244.0ms, 3.0% of total-time
Operation const, time spent: 236.0ms, 3.0% of total-time
Operation ival-sin, time spent: 181.0ms, 2.0% of total-time
Operation ival-neg, time spent: 143.0ms, 2.0% of total-time
Operation ival-log, time spent: 74.0ms, 1.0% of total-time
Operation ival-acos, time spent: 51.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: 5.0ms, 0.0% of total-time

rewrite27.0s (4.5%)

Algorithm
118×batch-egg-rewrite
Rules
68104×log1p-expm1-u
46324×expm1-log1p-u
29222×add-exp-log
29087×add-log-exp
28870×pow1
Stop Event
117×node limit
1×unsound
Counts
1242 → 34847

prune24.9s (4.2%)

Counts
83775 → 3213
Compiler

Compiled 150949 to 105097 computations (30.4% saved)

bsearch18.3s (3.1%)

Algorithm
363×binary-search
75×left-value
Stop Event
10×predicate-same
353×narrow-enough
Results
8.9s32136×256valid
2.8s11030×256infinite
1.9s7845×256invalid
219.0ms380×2048valid
863.0ms353×4096valid
543.0ms327×1024valid
73.0ms193×512valid
273.0ms117×8192valid
18.0ms43×512infinite
15.0ms33×1024invalid
7.0ms26×512invalid
4.0ms7×1024infinite
5.0ms6×2048infinite
Compiler

Compiled 117818 to 88808 computations (24.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
Operation ival-mult, time spent: 2.6s, 28.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: 692.0ms, 8.0% of total-time
Operation ival-cos, time spent: 634.0ms, 7.0% of total-time
Operation ival-sin, time spent: 513.0ms, 6.0% of total-time
Operation ival-tan, time spent: 486.0ms, 5.0% of total-time
Operation ival-sub, time spent: 382.0ms, 4.0% of total-time
Operation ival-neg, time spent: 219.0ms, 2.0% of total-time
Operation ival-exp, time spent: 213.0ms, 2.0% of total-time
Operation const, time spent: 195.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 152.0ms, 2.0% of total-time
Operation composed, time spent: 14.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 11.0ms, 0.0% of total-time
Operation ival-asin, time spent: 3.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

series13.2s (2.2%)

Counts
1242 → 31831
Calls

8370 calls:

TimeVariablePointExpression
292.0ms
l
@inf
(/ t (sqrt (- (* (/ (+ x 1) (+ x -1)) (+ (* l l) (* 2 (* t t)))) (* l l))))
168.0ms
l
@inf
(sqrt (- (* (/ (+ x 1) (+ x -1)) (+ (* l l) (* 2 (* t t)))) (* l l)))
161.0ms
l
@0
(sqrt (* (* 2 n) (* U (- t (+ (* 2 (* l (/ l Om))) (* n (* U* (neg (pow (/ l Om) 2)))))))))
160.0ms
x
@inf
(cbrt (/ t (* t (pow (* 2 (/ (+ 1 x) (+ x -1))) 1/2))))
143.0ms
K
@inf
(log (+ 1 (cos (- (* 1/2 (* K (+ m n))) M))))

end29.0ms (0%)

Profiling

Loading profile data...