Herbie run

Date:Saturday, March 16th, 2024
Commit:d6625134 on platforms
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: 7.6min)

sample1.8min (23.8%)

Results
53.9s270576×256valid
7.9s30985×256infinite
10.2s19346×1024valid
19.3s13705×2048valid
3.5s10977×512valid
494.0ms4194×256invalid
272.0ms999×256unsamplable
955.0ms806×4096valid
91.0ms217×512infinite
1.7s202×8192exit
262.0ms126×1024infinite
15.0ms14×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 11.2s, 18.0% of total-time
Operation ival-pow, time spent: 7.6s, 13.0% of total-time
Operation ival-tan, time spent: 7.6s, 13.0% of total-time
Operation ival-div, time spent: 6.5s, 11.0% of total-time
Operation ival-add, time spent: 5.7s, 9.0% of total-time
Operation ival-sub, time spent: 4.4s, 7.0% of total-time
Operation ival-<=, time spent: 4.4s, 7.0% of total-time
Operation ival-sin, time spent: 3.6s, 6.0% of total-time
Operation ival-cos, time spent: 2.0s, 3.0% of total-time
Operation ival-log, time spent: 1.6s, 3.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 1.3s, 2.0% of total-time
Operation ival-neg, time spent: 720.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 665.0ms, 1.0% of total-time
Operation ival-and, time spent: 549.0ms, 1.0% of total-time
Operation composed, time spent: 436.0ms, 1.0% of total-time
Operation ival-==, time spent: 329.0ms, 1.0% of total-time
Operation ival-atan, time spent: 228.0ms, 0.0% of total-time
Operation ival-<, time spent: 112.0ms, 0.0% of total-time
Operation ival-pi, time spent: 43.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 41.0ms, 0.0% of total-time
Operation ival-if, time spent: 9.0ms, 0.0% of total-time
Bogosity

localize1.4min (18.9%)

Compiler

Compiled 28795 to 17212 computations (40.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 57.9s
Operation ival-mult, time spent: 17.2s, 30.0% of total-time
Operation ival-pow, time spent: 8.7s, 15.0% of total-time
Operation ival-div, time spent: 8.5s, 15.0% of total-time
Operation ival-add, time spent: 8.4s, 14.0% of total-time
Operation ival-sub, time spent: 5.5s, 9.0% of total-time
Operation composed, time spent: 4.6s, 8.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-exp, time spent: 1.1s, 2.0% of total-time
Operation ival-tan, time spent: 777.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 500.0ms, 1.0% of total-time
Operation ival-sin, time spent: 351.0ms, 1.0% of total-time
Operation ival-cos, time spent: 242.0ms, 0.0% of total-time
Operation ival-log, time spent: 234.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 231.0ms, 0.0% of total-time
Operation ival-neg, time spent: 89.0ms, 0.0% of total-time
Operation ival-atan, time spent: 68.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.3min (16.5%)

Compiler

Compiled 2834618 to 1919510 computations (32.3% saved)

simplify37.8s (8.2%)

Algorithm
164×egg-herbie
Rules
44370×fma-define
39933×distribute-lft-in
35897×fmm-def
35894×distribute-rgt-in
32337×*-commutative
Stop Event
42×saturated
122×node limit
22×fuel
20×done
Counts
54055 → 52219
Compiler

Compiled 9388 to 6258 computations (33.3% saved)

preprocess32.2s (7%)

Algorithm
42×egg-herbie
Rules
18502×fmm-def
16342×fma-define
9180×sub-neg
8997×unsub-neg
7628×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 32677 to 20505 computations (37.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.4s
Operation ival-mult, time spent: 4.0s, 35.0% of total-time
Operation ival-div, time spent: 1.6s, 14.0% of total-time
Operation ival-pow, time spent: 1.6s, 14.0% of total-time
Operation ival-add, time spent: 1.5s, 13.0% of total-time
Operation ival-sub, time spent: 1.1s, 10.0% of total-time
Operation ival-tan, time spent: 389.0ms, 3.0% of total-time
Operation const, time spent: 320.0ms, 3.0% of total-time
Operation ival-neg, time spent: 226.0ms, 2.0% of total-time
Operation ival-cos, time spent: 202.0ms, 2.0% of total-time
Operation ival-sin, time spent: 151.0ms, 1.0% of total-time
Operation ival-exp, time spent: 138.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 71.0ms, 1.0% of total-time
Operation ival-log, time spent: 68.0ms, 1.0% of total-time
Operation ival-atan, time spent: 27.0ms, 0.0% of total-time
Operation composed, time spent: 21.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

soundness29.4s (6.4%)

Rules
38535×fma-define
28310×fmm-def
27232×distribute-lft-in
26080×log1p-expm1-u
25282×distribute-rgt-in
Stop Event
8×saturated
128×node limit
Compiler

Compiled 22531 to 14799 computations (34.3% saved)

rewrite25.6s (5.6%)

Algorithm
122×batch-egg-rewrite
Rules
69142×log1p-expm1-u
56569×expm1-log1p-u
25431×pow1
22993×add-exp-log
22437×add-log-exp
Stop Event
122×node limit
Counts
947 → 34485

prune23.0s (5%)

Counts
85590 → 1985
Compiler

Compiled 77448 to 53368 computations (31.1% saved)

bsearch14.5s (3.2%)

Algorithm
265×binary-search
29×left-value
Stop Event
18×predicate-same
247×narrow-enough
Results
5.6s21514×256valid
4.1s6427×256infinite
275.0ms2548×256invalid
1.3s2181×1024valid
434.0ms983×512valid
364.0ms332×2048valid
6.0ms36×256unsamplable
39.0ms14×4096valid
5.0ms13×512infinite
6.0ms8×1024infinite
Compiler

Compiled 85797 to 61008 computations (28.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.7s
Operation ival-mult, time spent: 2.9s, 38.0% of total-time
Operation ival-add, time spent: 1.9s, 24.0% of total-time
Operation ival-div, time spent: 1.1s, 14.0% of total-time
Operation ival-pow, time spent: 844.0ms, 11.0% of total-time
Operation ival-sub, time spent: 689.0ms, 9.0% of total-time
Operation const, time spent: 194.0ms, 3.0% of total-time
Operation ival-neg, time spent: 52.0ms, 1.0% of total-time
Operation ival-exp, time spent: 36.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 30.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time

analyze12.0s (2.6%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
49.8%26.2%26.5%45.5%0%1.7%0%3
58.3%30.7%22%45.5%0%1.8%0%4
71.6%37.7%15%45.6%0%1.8%0%5
73.1%38.4%14.1%45.6%0%1.8%0%6
78%40.7%11.5%45.6%0%2.1%0%7
81.5%42.6%9.6%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.1%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.7s
Operation ival-mult, time spent: 1.5s, 17.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 16.0% of total-time
Operation ival-add, time spent: 1.4s, 16.0% of total-time
Operation ival-div, time spent: 1.2s, 14.0% of total-time
Operation ival-pow, time spent: 1.0s, 12.0% of total-time
Operation ival-sub, time spent: 971.0ms, 11.0% of total-time
Operation ival-fabs, time spent: 473.0ms, 5.0% of total-time
Operation const, time spent: 205.0ms, 2.0% of total-time
Operation ival-exp, time spent: 145.0ms, 2.0% of total-time
Operation ival-==, time spent: 109.0ms, 1.0% of total-time
Operation ival-<=, time spent: 103.0ms, 1.0% of total-time
Operation ival-if, time spent: 71.0ms, 1.0% of total-time
Operation ival-neg, time spent: 71.0ms, 1.0% of total-time
Operation ival-<, time spent: 27.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.0ms, 0.0% of total-time
Operation ival-pi, time spent: 13.0ms, 0.0% of total-time
Operation ival-cos, time spent: 2.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

regimes8.8s (1.9%)

Counts
4715 → 558
Calls

94 calls:

1.1s
x1
713.0ms
b
666.0ms
a
634.0ms
c
532.0ms
x
Compiler

Compiled 4009 to 2862 computations (28.6% saved)

series3.7s (0.8%)

Counts
947 → 19570
Calls

4923 calls:

TimeVariablePointExpression
125.0ms
c
@-inf
(* a (/ 2 (+ b (sqrt (+ (* a (* c -4)) (pow b 2))))))
73.0ms
x
@inf
(+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x))))
66.0ms
b
@0
(/ (- b a) (* a b))
52.0ms
a
@0
(+ (* e (+ (+ (/ c e) (/ d e)) (+ (/ b e) 1))) a)
35.0ms
x
@-inf
(+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x))))

end24.0ms (0%)

Profiling

Loading profile data...