Herbie run

Date:Tuesday, April 16th, 2024
Commit:7c422dd2 on artem-sharing-exponents
Hostname:nightly with Racket 8.11.1
Seed:2024107
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: 5.9min)

sample2.8min (47.3%)

Results
32.8s148107×0valid
48.7s140975×0precondition
25.5s80038×1valid
35.9s7252×5exit
617.0ms4200×0unsamplable
390.0ms4012×0invalid
2.3s3005×2valid
20.0ms18×3valid
Precisions
Click to see histograms. Total time spent on operations: 2.2min
ival-pow: 34.7s (26.7% of total)
ival-exp: 33.6s (25.8% of total)
ival-tan: 12.4s (9.5% of total)
ival-mult: 6.8s (5.2% of total)
ival-sub: 6.2s (4.7% of total)
ival-div: 4.9s (3.7% of total)
ival-log: 4.0s (3% of total)
ival-add: 3.9s (3% of total)
backward-pass: 3.9s (3% of total)
ival-sin: 3.7s (2.9% of total)
ival-cos: 3.1s (2.3% of total)
ival-<=: 2.9s (2.3% of total)
ival-fabs: 2.9s (2.2% of total)
ival-<: 1.7s (1.3% of total)
ival-sqrt: 1.5s (1.2% of total)
const: 1.1s (0.8% of total)
ival-fmin: 759.0ms (0.6% of total)
ival-and: 692.0ms (0.5% of total)
ival->: 551.0ms (0.4% of total)
ival-atan: 336.0ms (0.3% of total)
ival-neg: 301.0ms (0.2% of total)
ival-cbrt: 268.0ms (0.2% of total)
Bogosity

localize53.0s (15%)

Results
11.6s13067×0valid
16.5s6958×1valid
7.1s2466×2valid
1.9s1785×0invalid
6.1s707×5exit
344.0ms105×3valid
Compiler

Compiled 19601 to 11561 computations (41% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.8s
ival-pow: 11.2s (31.3% of total)
ival-mult: 4.9s (13.6% of total)
ival-div: 4.4s (12.2% of total)
backward-pass: 4.2s (11.8% of total)
ival-add: 2.5s (7% of total)
ival-sub: 1.6s (4.5% of total)
ival-log: 1.3s (3.6% of total)
const: 831.0ms (2.3% of total)
ival-sqrt: 825.0ms (2.3% of total)
ival-fma: 809.0ms (2.3% of total)
ival-cbrt: 622.0ms (1.7% of total)
ival-exp: 612.0ms (1.7% of total)
ival-tan: 490.0ms (1.4% of total)
ival-hypot: 373.0ms (1% of total)
ival-log1p: 312.0ms (0.9% of total)
ival-cos: 305.0ms (0.9% of total)
ival-sin: 263.0ms (0.7% of total)
ival-neg: 79.0ms (0.2% of total)
ival-expm1: 76.0ms (0.2% of total)
ival-atan2: 55.0ms (0.2% of total)
ival-cosh: 45.0ms (0.1% of total)
ival-atan: 22.0ms (0.1% of total)
ival-e: 3.0ms (0% of total)

eval26.9s (7.6%)

Compiler

Compiled 1846329 to 1208654 computations (34.5% saved)

simplify25.4s (7.2%)

Algorithm
123×egg-herbie
Rules
35690×fma-define
26356×distribute-lft-in
26041×fma-neg
25304×times-frac
24983×*-commutative
Stop Event
28×saturated
93×node limit
2×unsound
Counts
38109 → 40837

soundness22.3s (6.3%)

Rules
33148×fma-define
29828×log1p-expm1-u
26533×fma-neg
25075×expm1-log1p-u
18771×associate-*r*
Stop Event
9×saturated
104×node limit
20×fuel
1×unsound
8×done
Compiler

Compiled 21709 to 13906 computations (35.9% saved)

rewrite18.2s (5.2%)

Algorithm
95×batch-egg-rewrite
Rules
60180×log1p-expm1-u
50347×expm1-log1p-u
19553×prod-diff
19082×pow1
18164×add-exp-log
Stop Event
95×node limit
Counts
730 → 25493

prune14.0s (4%)

Counts
61235 → 1842
Compiler

Compiled 65575 to 46538 computations (29% saved)

explain8.2s (2.3%)

Results
2.9s7170×1valid
571.0ms4350×0valid
3.1s2778×2valid
24.0ms38×3valid
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-log: 893.0ms (17% of total)
ival-tan: 679.0ms (12.9% of total)
backward-pass: 604.0ms (11.5% of total)
ival-exp: 559.0ms (10.6% of total)
ival-sub: 442.0ms (8.4% of total)
ival-add: 389.0ms (7.4% of total)
ival-div: 337.0ms (6.4% of total)
ival-cos: 330.0ms (6.3% of total)
ival-mult: 289.0ms (5.5% of total)
ival-pow: 252.0ms (4.8% of total)
ival-sin: 183.0ms (3.5% of total)
ival-sqrt: 110.0ms (2.1% of total)
const: 88.0ms (1.7% of total)
ival-neg: 57.0ms (1.1% of total)
ival-atan: 27.0ms (0.5% of total)
ival-cbrt: 25.0ms (0.5% of total)

preprocess4.9s (1.4%)

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 7510 to 4870 computations (35.2% saved)

series4.8s (1.4%)

Counts
730 → 12616
Calls

3291 calls:

TimeVariablePointExpression
97.0ms
a
@0
(/ -1/2 (/ a (+ b (sqrt (+ (* b b) (* (* (sqrt (* c -4)) (sqrt a)) (* (sqrt (* c -4)) (sqrt a))))))))
78.0ms
x
@inf
(pow (E) (log (- (tan (+ x eps)) (tan x))))
76.0ms
a
@inf
(* (- (exp (* eps (+ a b))) 1) (/ 1 (* a (* b eps))))
75.0ms
x
@inf
(log (+ 1 (neg (cos x))))
67.0ms
x
@0
(pow (- (exp (* a x)) 1) 1/4)

regimes3.3s (0.9%)

Counts
2484 → 230
Calls

43 calls:

871.0ms
x
361.0ms
a
298.0ms
b
260.0ms
eps
258.0ms
b_2
Compiler

Compiled 1440 to 1007 computations (30.1% saved)

analyze2.8s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
12.3%7.5%53.6%38.9%0%0%0%1
21%12.9%48.2%38.9%0%0%0%2
38.4%22.5%35.9%41.6%0%0%0%3
47.7%27.8%30.5%41.7%0%0%0%4
55.6%32%25.6%42.4%0%0%0%5
58.1%33%23.9%43.1%0%0%0%6
62%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.5%36.2%17.4%44.9%0%1.2%0.3%9
69.5%36.7%16.1%45.2%0%1.7%0.3%10
72%37.7%14.6%45.4%0%1.9%0.4%11
73.2%38%13.9%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-mult: 225.0ms (15.9% of total)
ival-sub: 210.0ms (14.8% of total)
ival-pow: 156.0ms (11% of total)
ival-div: 129.0ms (9.1% of total)
ival-log: 124.0ms (8.8% of total)
ival-add: 85.0ms (6% of total)
ival-<=: 82.0ms (5.8% of total)
ival-exp: 62.0ms (4.4% of total)
ival-sin: 57.0ms (4% of total)
ival-sqrt: 51.0ms (3.6% of total)
ival-fabs: 46.0ms (3.2% of total)
ival-cos: 41.0ms (2.9% of total)
ival-tan: 35.0ms (2.5% of total)
ival-neg: 34.0ms (2.4% of total)
const: 32.0ms (2.3% of total)
ival->: 13.0ms (0.9% of total)
ival-and: 11.0ms (0.8% of total)
backward-pass: 8.0ms (0.6% of total)
ival-<: 8.0ms (0.6% of total)
ival-fmin: 6.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.0s (0.6%)

Algorithm
56×binary-search
19×left-value
Stop Event
56×narrow-enough
Results
499.0ms5559×0valid
412.0ms1495×1valid
293.0ms1311×0invalid
293.0ms354×2valid
1.0ms4×0unsamplable
Compiler

Compiled 11184 to 8337 computations (25.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 994.0ms
ival-sub: 272.0ms (27.4% of total)
ival-mult: 180.0ms (18.1% of total)
ival-div: 108.0ms (10.9% of total)
ival-exp: 91.0ms (9.2% of total)
ival-sqrt: 88.0ms (8.9% of total)
backward-pass: 70.0ms (7% of total)
ival-pow: 69.0ms (6.9% of total)
ival-neg: 49.0ms (4.9% of total)
ival-add: 38.0ms (3.8% of total)
const: 15.0ms (1.5% of total)
ival-cos: 7.0ms (0.7% of total)
ival-cbrt: 3.0ms (0.3% of total)
ival-log: 2.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...