Herbie run

Date:Tuesday, March 26th, 2024
Commit:79027280 on main
Hostname:nightly with Racket 8.11.1
Seed:2024086
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: 6.6min)

sample2.7min (41.1%)

Results
24.4s142233×0precondition
35.1s118382×1valid
7.5s60811×0valid
39.3s45383×2valid
26.2s7142×5exit
488.0ms4216×0unsamplable
670.0ms4067×0infinite
386.0ms3930×0invalid
2.5s2048×3valid
264.0ms470×1infinite
6.0ms7×2infinite
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-pow: 23.1s (20.9% of total)
ival-exp: 11.7s (10.6% of total)
ival-tan: 11.7s (10.5% of total)
ival-mult: 8.7s (7.8% of total)
backward-pass: 8.4s (7.6% of total)
ival-sub: 6.6s (6% of total)
ival-cos: 5.3s (4.8% of total)
ival-add: 5.1s (4.6% of total)
ival-div: 5.1s (4.6% of total)
ival-log: 4.7s (4.2% of total)
ival-<=: 4.1s (3.7% of total)
ival-sin: 3.6s (3.2% of total)
ival-fabs: 3.4s (3% of total)
ival-<: 2.3s (2.1% of total)
const: 1.3s (1.2% of total)
ival-sqrt: 1.3s (1.1% of total)
ival->: 1.1s (1% of total)
ival-neg: 948.0ms (0.9% of total)
ival-and: 893.0ms (0.8% of total)
ival-fmin: 680.0ms (0.6% of total)
ival-atan: 403.0ms (0.4% of total)
ival-cbrt: 380.0ms (0.3% of total)
Bogosity

localize1.4min (21.2%)

Results
10.1s13884×256valid
12.6s3688×1024valid
18.8s3333×2048valid
3.6s2085×512valid
1.8s1757×256invalid
19.7s708×8192exit
245.0ms258×256infinite
677.0ms169×4096valid
1.3s92×1024infinite
291.0ms38×512infinite
159.0ms30×256unsamplable
300.0ms22×2048invalid
157.0ms19×1024invalid
53.0ms10×4096infinite
88.0ms9×2048infinite
23.0ms7×512invalid
24.0ms3×4096invalid
Compiler

Compiled 18405 to 11240 computations (38.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-pow: 26.5s (40.6% of total)
ival-mult: 8.0s (12.3% of total)
ival-div: 6.4s (9.8% of total)
composed: 4.7s (7.2% of total)
ival-add: 4.0s (6.1% of total)
ival-log: 3.3s (5.1% of total)
ival-sub: 2.6s (4% of total)
ival-exp: 2.0s (3% of total)
ival-sin: 1.9s (2.8% of total)
ival-tan: 1.6s (2.4% of total)
ival-cbrt: 1.2s (1.8% of total)
const: 1.2s (1.8% of total)
ival-sqrt: 997.0ms (1.5% of total)
ival-cos: 600.0ms (0.9% of total)
ival-neg: 143.0ms (0.2% of total)
ival-cosh: 97.0ms (0.1% of total)
ival-atan2: 54.0ms (0.1% of total)
ival-atan: 22.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)

eval37.9s (9.5%)

Compiler

Compiled 1564515 to 1033395 computations (33.9% saved)

simplify25.2s (6.3%)

Algorithm
126×egg-herbie
Rules
33123×fma-define
31433×fma-neg
27296×distribute-lft-in
26214×*-commutative
24047×distribute-rgt-in
Stop Event
28×saturated
98×node limit
Counts
37476 → 41034

soundness23.7s (6%)

Rules
30249×fma-define
29445×fma-neg
25614×log1p-expm1-u
21969×expm1-log1p-u
19420×associate-*r*
Stop Event
8×saturated
109×node limit
19×fuel
9×done
Compiler

Compiled 22267 to 14508 computations (34.8% saved)

rewrite18.8s (4.7%)

Algorithm
98×batch-egg-rewrite
Rules
58374×log1p-expm1-u
46450×expm1-log1p-u
21238×pow1
21191×add-exp-log
20950×add-log-exp
Stop Event
98×node limit
Counts
758 → 24581

prune13.6s (3.4%)

Counts
55908 → 1821
Compiler

Compiled 60219 to 43233 computations (28.2% saved)

explain9.0s (2.3%)

Results
1.1s5756×256valid
2.2s3634×1024valid
2.8s2356×2048valid
827.0ms2174×512valid
52.0ms208×256infinite
130.0ms146×4096valid
76.0ms34×1024infinite
28.0ms28×512infinite
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2s
ival-exp: 724.0ms (14% of total)
ival-tan: 711.0ms (13.7% of total)
ival-log: 642.0ms (12.4% of total)
ival-sub: 640.0ms (12.3% of total)
ival-div: 449.0ms (8.7% of total)
ival-pow: 448.0ms (8.6% of total)
ival-mult: 392.0ms (7.6% of total)
ival-add: 339.0ms (6.5% of total)
ival-sin: 263.0ms (5.1% of total)
ival-cos: 238.0ms (4.6% of total)
ival-sqrt: 143.0ms (2.8% of total)
const: 103.0ms (2% of total)
ival-atan: 37.0ms (0.7% of total)
ival-cbrt: 30.0ms (0.6% of total)
ival-neg: 27.0ms (0.5% of total)

preprocess6.0s (1.5%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 8974 to 5634 computations (37.2% saved)

series5.0s (1.3%)

Counts
758 → 12895
Calls

3477 calls:

TimeVariablePointExpression
245.0ms
x
@inf
(* x (+ 1/2 (* x 1/6)))
148.0ms
x
@-inf
(+ (* (neg (pow x (/ (/ 1 n) 2))) (pow x (/ (/ 1 n) 2))) (pow x (/ 1 n)))
148.0ms
a
@-inf
(sqrt (/ (- (sqrt (+ (* b_2 b_2) (* (sqrt (* c (neg a))) (sqrt (* c (neg a)))))) b_2) a))
55.0ms
a
@inf
(- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
54.0ms
x
@0
(pow (pow (+ 1 (exp x)) 2) 1/4)

regimes4.1s (1%)

Counts
3275 → 277
Calls

43 calls:

1.1s
x
455.0ms
b_2
329.0ms
b
315.0ms
(/.f64 #s(literal 1 binary64) n)
306.0ms
a
Compiler

Compiled 1636 to 1146 computations (30% saved)

bsearch3.6s (0.9%)

Algorithm
87×binary-search
11×left-value
Stop Event
2×predicate-same
85×narrow-enough
Results
828.0ms6151×0valid
1.1s2811×1valid
226.0ms1753×0invalid
231.0ms1071×0infinite
303.0ms509×2valid
100.0ms162×1infinite
27.0ms153×0unsamplable
Compiler

Compiled 16398 to 12106 computations (26.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-pow: 736.0ms (39.4% of total)
ival-mult: 216.0ms (11.6% of total)
ival-div: 203.0ms (10.9% of total)
ival-sub: 186.0ms (10% of total)
backward-pass: 125.0ms (6.7% of total)
ival-neg: 115.0ms (6.2% of total)
ival-exp: 92.0ms (4.9% of total)
ival-add: 75.0ms (4% of total)
ival-sqrt: 74.0ms (4% of total)
const: 33.0ms (1.8% of total)
ival-cos: 11.0ms (0.6% of total)
ival-cbrt: 4.0ms (0.2% of total)

analyze2.6s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
16.7%10.2%50.9%38.9%0%0%0%1
24.7%15.1%46%38.9%0%0%0%2
40.4%23.6%34.8%41.6%0%0%0%3
48.7%28.4%29.9%41.7%0%0%0%4
56.1%32.3%25.3%42.4%0%0%0%5
58.2%33.1%23.8%43.1%0%0%0%6
62.1%34.2%20.9%44%0%0.8%0.1%7
65.2%35.6%19%44.5%0%0.8%0.1%8
67.6%36.3%17.4%44.9%0%1.2%0.3%9
69.6%36.7%16%45.2%0%1.7%0.3%10
72.1%37.7%14.6%45.4%0%1.9%0.4%11
73.3%38%13.8%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-sub: 199.0ms (14.4% of total)
ival-mult: 195.0ms (14.1% of total)
ival-pow: 183.0ms (13.3% of total)
ival-log: 131.0ms (9.5% of total)
ival-div: 108.0ms (7.8% of total)
ival-<=: 82.0ms (5.9% of total)
ival-exp: 77.0ms (5.6% of total)
ival-add: 65.0ms (4.7% of total)
ival-sin: 60.0ms (4.3% of total)
ival-sqrt: 54.0ms (3.9% of total)
ival-tan: 52.0ms (3.8% of total)
ival-fabs: 45.0ms (3.3% of total)
const: 35.0ms (2.5% of total)
ival-neg: 32.0ms (2.3% of total)
ival-cos: 23.0ms (1.7% of total)
ival->: 13.0ms (0.9% of total)
ival-and: 12.0ms (0.9% of total)
ival-<: 10.0ms (0.7% of total)
ival-fmin: 6.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...