Herbie run

Date:Friday, April 19th, 2024
Commit:633bebd4 on jackson-platforms-report
Hostname:nightly with Racket 8.11.1
Seed:2024110
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.6min)

localize2.5min (25.9%)

Compiler

Compiled 36827 to 18917 computations (48.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0min
Operation ival-pow, time spent: 33.3s, 28.0% of total-time
Operation ival-mult, time spent: 18.8s, 16.0% of total-time
Operation composed, time spent: 12.3s, 10.0% of total-time
Operation ival-tan, time spent: 10.7s, 9.0% of total-time
Operation ival-div, time spent: 10.6s, 9.0% of total-time
Operation ival-log, time spent: 5.7s, 5.0% of total-time
Operation ival-cos, time spent: 5.0s, 4.0% of total-time
Operation ival-add, time spent: 4.6s, 4.0% of total-time
Operation ival-sin, time spent: 4.6s, 4.0% of total-time
Operation ival-exp, time spent: 4.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 3.0% of total-time
Operation ival-sub, 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.5s, 1.0% of total-time
Operation ival-cbrt, time spent: 761.0ms, 1.0% of total-time
Operation ival-asin, time spent: 249.0ms, 0.0% of total-time
Operation ival-neg, time spent: 179.0ms, 0.0% of total-time
Operation ival-pi, time spent: 83.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 36.0ms, 0.0% of total-time

sample1.9min (20.4%)

Results
45.8s179197×256valid
15.0s67663×256invalid
10.8s42960×256infinite
7.1s10824×1024valid
7.3s9355×2048valid
3.6s8480×512valid
5.0s7774×1024invalid
2.3s4130×512invalid
2.7s2042×4096valid
2.7s749×4096infinite
1.6s748×2048infinite
1.2s741×8192valid
276.0ms442×1024infinite
163.0ms398×512infinite
37.0ms177×256unsamplable
84.0ms129×2048invalid
19.0ms11×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 17.3s, 26.0% of total-time
Operation ival-div, time spent: 10.3s, 16.0% of total-time
Operation ival-pow, time spent: 6.7s, 10.0% of total-time
Operation ival-tan, time spent: 5.1s, 8.0% of total-time
Operation ival-sin, time spent: 4.2s, 6.0% of total-time
Operation ival-sub, time spent: 4.1s, 6.0% of total-time
Operation ival-add, time spent: 3.9s, 6.0% of total-time
Operation ival-sqrt, time spent: 3.1s, 5.0% of total-time
Operation ival-exp, time spent: 2.6s, 4.0% of total-time
Operation ival-cos, time spent: 1.6s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-acos, 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: 692.0ms, 1.0% of total-time
Operation ival-pi, time spent: 677.0ms, 1.0% of total-time
Operation ival-log, time spent: 667.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 192.0ms, 0.0% of total-time
Operation ival-asin, time spent: 167.0ms, 0.0% of total-time
Operation ival-<, time spent: 119.0ms, 0.0% of total-time
Operation ival-and, time spent: 17.0ms, 0.0% of total-time
Bogosity

eval1.0min (10.5%)

Compiler

Compiled 2788847 to 1722762 computations (38.2% saved)

soundness48.3s (8.4%)

Rules
58390×fma-define
42097×log1p-expm1-u
41226×times-frac
38050×associate-*r*
30845×*-commutative
Stop Event
7×saturated
168×node limit
1×unsound
Compiler

Compiled 37860 to 23675 computations (37.5% saved)

simplify44.9s (7.8%)

Algorithm
150×egg-herbie
Rules
51811×fma-define
42790×times-frac
37815×*-commutative
37118×associate-*r*
34091×distribute-lft-in
Stop Event
31×saturated
119×node limit
26×fuel
5×done
Counts
63845 → 54697
Compiler

Compiled 13521 to 8950 computations (33.8% saved)

regimes31.7s (5.5%)

Counts
10328 → 786
Calls

152 calls:

3.2s
l
2.0s
t
1.7s
k
1.4s
F
1.1s
h
Compiler

Compiled 8670 to 6658 computations (23.2% saved)

preprocess28.2s (4.9%)

Algorithm
31×egg-herbie
Rules
19755×fma-define
13180×fmm-def
8487×times-frac
7201×distribute-lft-in
7123×unsub-neg
Stop Event
8×saturated
23×node limit
Compiler

Compiled 68040 to 40562 computations (40.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0s
Operation ival-mult, time spent: 2.3s, 25.0% of total-time
Operation ival-div, time spent: 1.4s, 16.0% of total-time
Operation ival-pow, time spent: 1.1s, 13.0% of total-time
Operation ival-tan, time spent: 752.0ms, 8.0% of total-time
Operation ival-exp, time spent: 581.0ms, 6.0% of total-time
Operation ival-add, time spent: 521.0ms, 6.0% of total-time
Operation ival-sub, time spent: 441.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 399.0ms, 4.0% of total-time
Operation ival-cos, time spent: 362.0ms, 4.0% of total-time
Operation composed, time spent: 356.0ms, 4.0% of total-time
Operation const, time spent: 227.0ms, 3.0% of total-time
Operation ival-sin, time spent: 227.0ms, 3.0% of total-time
Operation ival-neg, time spent: 133.0ms, 1.0% of total-time
Operation ival-log, time spent: 80.0ms, 1.0% of total-time
Operation ival-acos, time spent: 44.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 27.0ms, 0.0% of total-time
Operation ival-pi, time spent: 26.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time

rewrite26.2s (4.6%)

Algorithm
119×batch-egg-rewrite
Rules
72264×log1p-expm1-u
49205×expm1-log1p-u
28680×add-exp-log
28550×add-log-exp
28300×pow1
Stop Event
118×node limit
1×unsound
Counts
1189 → 33187

prune24.0s (4.2%)

Counts
85117 → 3087
Compiler

Compiled 146959 to 100912 computations (31.3% saved)

bsearch19.2s (3.4%)

Algorithm
356×binary-search
94×left-value
Stop Event
6×predicate-same
350×narrow-enough
Results
9.9s32791×256valid
2.4s8283×256infinite
2.5s8267×256invalid
362.0ms676×1024valid
520.0ms640×2048valid
164.0ms393×512valid
81.0ms175×512infinite
138.0ms140×4096valid
311.0ms124×2048infinite
57.0ms88×1024infinite
29.0ms68×1024invalid
103.0ms65×8192valid
13.0ms41×512invalid
185.0ms33×4096infinite
Compiler

Compiled 108816 to 82191 computations (24.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.3s
Operation ival-div, time spent: 2.2s, 21.0% of total-time
Operation ival-mult, time spent: 2.1s, 20.0% of total-time
Operation ival-pow, time spent: 1.7s, 17.0% of total-time
Operation ival-add, time spent: 1.2s, 12.0% of total-time
Operation ival-tan, time spent: 808.0ms, 8.0% of total-time
Operation ival-sin, time spent: 699.0ms, 7.0% of total-time
Operation ival-sub, time spent: 451.0ms, 4.0% of total-time
Operation ival-cos, time spent: 280.0ms, 3.0% of total-time
Operation ival-neg, time spent: 257.0ms, 3.0% of total-time
Operation const, time spent: 194.0ms, 2.0% of total-time
Operation ival-exp, time spent: 165.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 156.0ms, 2.0% of total-time
Operation ival-asin, time spent: 34.0ms, 0.0% of total-time
Operation composed, time spent: 28.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 21.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

analyze14.0s (2.4%)

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
23.3%22.6%74%1.8%0%1.6%0%2
28.7%26.6%66%1.8%0%5.6%0%3
32.5%29.4%61.1%1.8%0%7.3%0.4%4
35.3%31.9%58.4%1.8%0%7.3%0.6%5
39.6%35.7%54.5%1.8%0%7.4%0.7%6
44.7%40%49.4%1.8%0%8%0.8%7
47%41.5%46.7%1.8%0%9.2%0.9%8
50.1%44%43.9%1.8%0%9.5%0.9%9
51.2%44.8%42.8%1.8%0%9.7%1%10
52.9%46%41%1.8%0%10.2%1%11
54.6%47.2%39.2%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: 8.1s
Operation ival-mult, time spent: 2.5s, 32.0% of total-time
Operation ival-pow, time spent: 1.7s, 20.0% of total-time
Operation ival-div, time spent: 1.4s, 18.0% of total-time
Operation ival-sub, time spent: 460.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 433.0ms, 5.0% of total-time
Operation ival-add, time spent: 380.0ms, 5.0% of total-time
Operation ival-tan, time spent: 247.0ms, 3.0% of total-time
Operation ival-sin, time spent: 244.0ms, 3.0% of total-time
Operation const, time spent: 170.0ms, 2.0% of total-time
Operation ival-neg, time spent: 108.0ms, 1.0% of total-time
Operation ival-cos, time spent: 107.0ms, 1.0% of total-time
Operation ival-exp, time spent: 87.0ms, 1.0% of total-time
Operation ival-acos, time spent: 68.0ms, 1.0% of total-time
Operation ival-pi, time spent: 37.0ms, 0.0% of total-time
Operation ival-<, time spent: 27.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 26.0ms, 0.0% of total-time
Operation ival-asin, time spent: 25.0ms, 0.0% of total-time
Operation ival-log, time spent: 11.0ms, 0.0% of total-time
Operation ival-and, time spent: 4.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

series11.2s (2%)

Counts
1189 → 30658
Calls

8175 calls:

TimeVariablePointExpression
465.0ms
v
@-inf
(acos (- (* 4 (pow v 2)) 1))
282.0ms
M
@inf
(cbrt (* (sqrt (- 1 (* (pow (* (* M 1/2) (/ D d)) 2) (/ h l)))) w0))
253.0ms
k
@0
(* (cbrt (sin k)) (/ t (pow (cbrt l) 2)))
170.0ms
U
@0
(cbrt (* (sqrt (* U U*)) (* l (/ (* n (sqrt 2)) Om))))
121.0ms
k
@inf
(/ (/ 2 (+ (pow (/ k t) 2) 0)) (log (pow (exp (/ (pow t 3) l)) (/ (* (sin k) (tan k)) l))))

end26.0ms (0%)

Profiling

Loading profile data...