Herbie run

Date:Thursday, May 9th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024130
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 1.2min)

simplify15.7s (21.2%)

Algorithm
66×egg-herbie
Rules
22573×fma-define
21322×fma-neg
11964×times-frac
11188×distribute-lft-in
9628×distribute-rgt-in
Stop Event
25×saturated
41×node limit
Counts
14615 → 13886

sample12.6s (17%)

Results
7.1s70224×0valid
2.0s4068×2valid
304.0ms2038×0invalid
2.0ms12×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.4s
ival-mult: 2.0s (31.5% of total)
ival-div: 1.6s (25.8% of total)
ival-sub: 607.0ms (9.5% of total)
ival-sqrt: 546.0ms (8.6% of total)
ival-neg: 354.0ms (5.6% of total)
ival-add: 323.0ms (5.1% of total)
ival->=: 272.0ms (4.3% of total)
const: 116.0ms (1.8% of total)
backward-pass: 112.0ms (1.8% of total)
ival-if: 112.0ms (1.8% of total)
ival-log: 106.0ms (1.7% of total)
ival-fabs: 102.0ms (1.6% of total)
ival-exp: 66.0ms (1% of total)
Bogosity

soundness9.7s (13.1%)

Rules
10451×fma-define
8541×fma-neg
6593×log1p-expm1-u
5954×times-frac
5349×*-commutative
Stop Event
3×saturated
3×fuel
30×node limit
6×done
Compiler

Compiled 6760 to 1890 computations (72% saved)

rewrite7.4s (10.1%)

Algorithm
28×batch-egg-rewrite
Rules
18187×log1p-expm1-u
11640×expm1-log1p-u
8201×pow1
7608×add-exp-log
7005×add-log-exp
Stop Event
28×node limit
Counts
275 → 7834

localize7.0s (9.5%)

Results
1.8s5705×0valid
1.5s517×2valid
789.0ms521×1valid
715.0ms98×5exit
428.0ms510×0invalid
282.0ms73×3valid
Compiler

Compiled 6556 to 722 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 1.0s (32.1% of total)
ival-pow: 460.0ms (14.3% of total)
ival-add: 397.0ms (12.3% of total)
ival-div: 327.0ms (10.2% of total)
backward-pass: 240.0ms (7.5% of total)
ival-sub: 195.0ms (6.1% of total)
ival-sqrt: 175.0ms (5.4% of total)
ival-if: 95.0ms (2.9% of total)
ival-fma: 77.0ms (2.4% of total)
ival-hypot: 61.0ms (1.9% of total)
ival-cbrt: 42.0ms (1.3% of total)
const: 31.0ms (1% of total)
ival-neg: 27.0ms (0.8% of total)
ival-log1p: 18.0ms (0.6% of total)
ival->=: 13.0ms (0.4% of total)
ival-fabs: 9.0ms (0.3% of total)
ival-log: 7.0ms (0.2% of total)
ival-exp: 5.0ms (0.2% of total)
...c/correct-round.rkt:119:19: 5.0ms (0.2% of total)
ival-expm1: 2.0ms (0.1% of total)

eval6.8s (9.2%)

Compiler

Compiled 816895 to 91247 computations (88.8% saved)

prune5.5s (7.4%)

Counts
22037 → 356
Compiler

Compiled 19784 to 10242 computations (48.2% saved)

explain2.5s (3.4%)

Results
734.0ms706×2valid
584.0ms3674×0valid
78.0ms216×1valid
8.0ms12×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 571.0ms
ival-mult: 217.0ms (38% of total)
ival-div: 111.0ms (19.4% of total)
ival-sub: 62.0ms (10.9% of total)
backward-pass: 44.0ms (7.7% of total)
ival-sqrt: 37.0ms (6.5% of total)
ival-neg: 24.0ms (4.2% of total)
ival-add: 22.0ms (3.9% of total)
ival-log: 18.0ms (3.2% of total)
ival-if: 12.0ms (2.1% of total)
const: 9.0ms (1.6% of total)
ival->=: 6.0ms (1.1% of total)
ival-fabs: 6.0ms (1.1% of total)
ival-exp: 4.0ms (0.7% of total)

series2.4s (3.3%)

Counts
275 → 6781
Calls

1749 calls:

TimeVariablePointExpression
245.0ms
f
@inf
(/ (- n f) (+ f n))
176.0ms
x
@0
(log x)
123.0ms
f
@0
(* 2 f)
104.0ms
c
@-inf
(- (sqrt (+ (* c (* a -4)) (* b b))) b)
60.0ms
c
@0
(/ (pow (cbrt (* c 2)) 3) (- (neg b) (* (cbrt (- (pow b 2) (* c (* a 4)))) (cbrt (sqrt (- (pow b 2) (* c (* a 4))))))))

preprocess1.4s (1.9%)

Algorithm
9×egg-herbie
Rules
3285×fma-neg
2821×fma-define
1502×times-frac
1470×div-sub
1170×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3416 to 1060 computations (69% saved)

bsearch1.1s (1.4%)

Algorithm
49×binary-search
3×left-value
Stop Event
9×predicate-same
40×narrow-enough
Results
690.0ms5728×0valid
45.0ms206×0invalid
10.0ms48×2valid
Compiler

Compiled 13356 to 8741 computations (34.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 476.0ms
ival-mult: 115.0ms (24.1% of total)
ival-sqrt: 103.0ms (21.6% of total)
ival-div: 82.0ms (17.2% of total)
ival-sub: 44.0ms (9.2% of total)
ival->=: 40.0ms (8.4% of total)
ival-add: 37.0ms (7.8% of total)
ival-neg: 18.0ms (3.8% of total)
ival-if: 13.0ms (2.7% of total)
ival-fabs: 12.0ms (2.5% of total)
const: 9.0ms (1.9% of total)
backward-pass: 3.0ms (0.6% of total)

analyze957.0ms (1.3%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 97 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 504.0ms
ival-mult: 184.0ms (36.5% of total)
ival-sub: 102.0ms (20.2% of total)
ival->=: 91.0ms (18% of total)
ival-div: 34.0ms (6.7% of total)
ival-sqrt: 21.0ms (4.2% of total)
ival-add: 20.0ms (4% of total)
ival-if: 20.0ms (4% of total)
ival-neg: 20.0ms (4% of total)
const: 7.0ms (1.4% of total)
ival-fabs: 4.0ms (0.8% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

regimes813.0ms (1.1%)

Counts
824 → 107
Calls

26 calls:

129.0ms
x
123.0ms
b
70.0ms
y
68.0ms
a
65.0ms
c
Compiler

Compiled 604 to 406 computations (32.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...