Herbie run

Date:Tuesday, March 19th, 2024
Commit:0f421560 on main
Hostname:nightly with Racket 8.11.1
Seed:2024079
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.9min)

sample3.1min (45.3%)

Results
30.0s143022×256precondition
13.5s95371×256valid
27.2s58499×1024valid
44.0s36188×2048valid
9.1s34712×512valid
33.1s7078×8192exit
726.0ms4219×256infinite
552.0ms4172×256unsamplable
380.0ms4110×256invalid
1.4s1896×4096valid
80.0ms147×512infinite
351.0ms136×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 32.2s, 26.0% of total-time
Operation ival-tan, time spent: 13.7s, 11.0% of total-time
Operation ival-exp, time spent: 11.9s, 9.0% of total-time
Operation ival-mult, time spent: 11.2s, 9.0% of total-time
Operation ival-sub, time spent: 8.8s, 7.0% of total-time
Operation ival-log, time spent: 6.3s, 5.0% of total-time
Operation ival-cos, time spent: 6.1s, 5.0% of total-time
Operation ival-div, time spent: 5.9s, 5.0% of total-time
Operation ival-add, time spent: 5.2s, 4.0% of total-time
Operation ival-sin, time spent: 5.2s, 4.0% of total-time
Operation ival-<=, time spent: 5.2s, 4.0% of total-time
Operation ival-fabs, time spent: 3.5s, 3.0% of total-time
Operation ival-<, time spent: 2.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 2.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival->, time spent: 1.1s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival-fmin, time spent: 978.0ms, 1.0% of total-time
Operation ival-neg, time spent: 648.0ms, 1.0% of total-time
Operation ival-atan, time spent: 474.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 445.0ms, 0.0% of total-time
Bogosity

localize1.2min (17.7%)

Results
9.8s13230×256valid
13.7s4200×1024valid
12.6s2888×2048valid
2.6s2536×256invalid
3.8s2288×512valid
15.9s732×8192exit
137.0ms170×256infinite
492.0ms117×4096valid
88.0ms37×512infinite
203.0ms36×1024infinite
103.0ms34×1024invalid
52.0ms27×512invalid
115.0ms27×2048infinite
152.0ms25×4096infinite
91.0ms19×2048invalid
18.0ms2×4096invalid
Compiler

Compiled 15875 to 9418 computations (40.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.3s
Operation ival-pow, time spent: 16.3s, 31.0% of total-time
Operation ival-mult, time spent: 7.3s, 14.0% of total-time
Operation composed, time spent: 5.0s, 9.0% of total-time
Operation ival-div, time spent: 4.5s, 8.0% of total-time
Operation ival-add, time spent: 4.0s, 8.0% of total-time
Operation ival-exp, time spent: 3.6s, 7.0% of total-time
Operation ival-log, time spent: 2.5s, 5.0% of total-time
Operation ival-sin, time spent: 2.2s, 4.0% of total-time
Operation ival-sub, time spent: 1.9s, 4.0% of total-time
Operation ival-cbrt, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 3.0% of total-time
Operation const, time spent: 1.1s, 2.0% of total-time
Operation ival-tan, time spent: 871.0ms, 2.0% of total-time
Operation ival-cos, time spent: 531.0ms, 1.0% of total-time
Operation ival-neg, time spent: 333.0ms, 1.0% of total-time
Operation ival-cosh, time spent: 126.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 69.0ms, 0.0% of total-time
Operation ival-atan, time spent: 17.0ms, 0.0% of total-time

eval39.3s (9.5%)

Compiler

Compiled 1702351 to 1119242 computations (34.3% saved)

simplify25.2s (6.1%)

Algorithm
126×egg-herbie
Rules
33369×fma-define
29183×fma-neg
27195×distribute-lft-in
26409×times-frac
25668×associate-*r*
Stop Event
28×saturated
97×node limit
20×fuel
1×unsound
8×done
Counts
39531 → 42721
Compiler

Compiled 3129 to 2206 computations (29.5% saved)

soundness23.6s (5.7%)

Rules
33129×log1p-expm1-u
30075×fma-define
27474×fma-neg
24366×expm1-log1p-u
18812×associate-*r*
Stop Event
8×saturated
109×node limit
1×unsound
Compiler

Compiled 19057 to 12375 computations (35.1% saved)

rewrite18.8s (4.6%)

Algorithm
98×batch-egg-rewrite
Rules
61830×log1p-expm1-u
47461×expm1-log1p-u
18727×pow1
18710×add-exp-log
18573×add-log-exp
Stop Event
97×node limit
1×unsound
Counts
766 → 26379

preprocess15.2s (3.7%)

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
Results
1.3s6124×256valid
2.6s3516×1024valid
3.0s2244×2048valid
821.0ms2070×512valid
51.0ms206×256infinite
103.0ms116×4096valid
44.0ms42×512infinite
30.0ms16×1024infinite
5.0ms2×2048infinite
Compiler

Compiled 11875 to 7578 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.4s
Operation ival-exp, time spent: 780.0ms, 15.0% of total-time
Operation ival-tan, time spent: 777.0ms, 15.0% of total-time
Operation ival-sub, time spent: 758.0ms, 14.0% of total-time
Operation ival-log, time spent: 752.0ms, 14.0% of total-time
Operation ival-mult, time spent: 374.0ms, 7.0% of total-time
Operation ival-div, time spent: 365.0ms, 7.0% of total-time
Operation ival-add, time spent: 344.0ms, 6.0% of total-time
Operation ival-pow, time spent: 303.0ms, 6.0% of total-time
Operation ival-sin, time spent: 286.0ms, 5.0% of total-time
Operation ival-cos, time spent: 259.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 143.0ms, 3.0% of total-time
Operation const, time spent: 120.0ms, 2.0% of total-time
Operation ival-atan, time spent: 36.0ms, 1.0% of total-time
Operation ival-neg, time spent: 34.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 27.0ms, 1.0% of total-time

prune13.9s (3.4%)

Counts
61595 → 2020
Compiler

Compiled 63915 to 45914 computations (28.2% saved)

series5.1s (1.2%)

Counts
766 → 13152
Calls

3447 calls:

TimeVariablePointExpression
112.0ms
x
@inf
(- (pow (log (+ 1 x)) 2) (pow (log x) 2))
97.0ms
a
@inf
(pow (pow (exp (pow (cbrt (log (- (exp (* a x)) 1))) 2)) (cbrt (log (- (exp (* a x)) 1)))) 1/6)
67.0ms
x
@inf
(log (+ 1 (neg (cos x))))
66.0ms
x
@inf
(pow (pow (exp (pow (cbrt (log (- (exp (* a x)) 1))) 2)) (cbrt (log (- (exp (* a x)) 1)))) 1/6)
63.0ms
x
@inf
(sqrt (pow (cbrt (- (exp (* a x)) 1)) 5))

regimes3.9s (1%)

Counts
3058 → 290
Calls

43 calls:

1.0s
x
460.0ms
(/.f64 #s(literal 1 binary64) n)
419.0ms
a
408.0ms
c
306.0ms
n
Compiler

Compiled 1538 to 1071 computations (30.4% saved)

bsearch3.8s (0.9%)

Algorithm
87×binary-search
19×left-value
Stop Event
3×predicate-same
84×narrow-enough
Results
1.2s7356×256valid
813.0ms1688×1024valid
149.0ms1611×256invalid
242.0ms640×512valid
109.0ms501×256infinite
334.0ms415×2048valid
255.0ms137×256unsamplable
45.0ms96×512infinite
18.0ms19×1024infinite
3.0ms5×4096valid
Compiler

Compiled 16061 to 12001 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
Operation ival-pow, time spent: 938.0ms, 47.0% of total-time
Operation ival-mult, time spent: 227.0ms, 11.0% of total-time
Operation ival-div, time spent: 195.0ms, 10.0% of total-time
Operation ival-sub, time spent: 160.0ms, 8.0% of total-time
Operation ival-add, time spent: 158.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 92.0ms, 5.0% of total-time
Operation ival-neg, time spent: 68.0ms, 3.0% of total-time
Operation ival-exp, time spent: 54.0ms, 3.0% of total-time
Operation ival-cbrt, time spent: 39.0ms, 2.0% of total-time
Operation const, time spent: 32.0ms, 2.0% of total-time
Operation ival-cos, time spent: 12.0ms, 1.0% of total-time

analyze3.3s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.4%32.5%25.1%42.4%0%0%0%5
58.7%33.4%23.5%43.1%0%0%0%6
62.4%34.4%20.7%44%0%0.8%0.1%7
65.4%35.7%18.9%44.5%0%0.8%0.1%8
67.8%36.4%17.3%44.9%0%1.2%0.3%9
69.8%36.8%15.9%45.2%0%1.7%0.3%10
72.3%37.8%14.5%45.4%0%1.9%0.4%11
73.5%38.1%13.7%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.9s
Operation ival-mult, time spent: 313.0ms, 17.0% of total-time
Operation ival-sub, time spent: 289.0ms, 15.0% of total-time
Operation ival-add, time spent: 220.0ms, 12.0% of total-time
Operation ival-pow, time spent: 178.0ms, 9.0% of total-time
Operation ival-log, time spent: 170.0ms, 9.0% of total-time
Operation ival-div, time spent: 135.0ms, 7.0% of total-time
Operation ival-<=, time spent: 92.0ms, 5.0% of total-time
Operation ival-sin, time spent: 79.0ms, 4.0% of total-time
Operation ival-exp, time spent: 68.0ms, 4.0% of total-time
Operation ival-tan, time spent: 62.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 56.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 50.0ms, 3.0% of total-time
Operation const, time spent: 46.0ms, 2.0% of total-time
Operation ival-neg, time spent: 41.0ms, 2.0% of total-time
Operation ival-cos, time spent: 33.0ms, 2.0% of total-time
Operation ival-fmin, time spent: 16.0ms, 1.0% of total-time
Operation ival-and, time spent: 13.0ms, 1.0% of total-time
Operation ival->, time spent: 13.0ms, 1.0% of total-time
Operation ival-<, time spent: 10.0ms, 1.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time

end4.0ms (0%)

Profiling

Loading profile data...