Herbie run

Date:Friday, April 5th, 2024
Commit:e8a91f21 on egg-serialize
Hostname:nightly with Racket 8.11.1
Seed:2024096
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: 8.0min)

sample3.2min (40.7%)

Results
25.6s140863×0precondition
35.5s118095×1valid
7.9s61136×0valid
38.4s45157×2valid
57.5s7047×5exit
477.0ms4188×0unsamplable
966.0ms4119×0infinite
356.0ms4014×0invalid
2.3s2171×3valid
361.0ms483×1infinite
6.0ms7×2infinite
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-pow: 54.9s (38.3% of total)
ival-exp: 11.6s (8.1% of total)
ival-tan: 11.0s (7.7% of total)
ival-mult: 9.6s (6.7% of total)
backward-pass: 9.4s (6.6% of total)
ival-sub: 6.6s (4.6% of total)
ival-log: 4.9s (3.4% of total)
ival-div: 4.8s (3.3% of total)
ival-add: 4.7s (3.3% of total)
ival-cos: 4.6s (3.2% of total)
ival-<=: 4.5s (3.1% of total)
ival-fabs: 4.2s (2.9% of total)
ival-sin: 3.8s (2.6% of total)
ival-<: 1.9s (1.3% of total)
ival-sqrt: 1.4s (1% of total)
const: 1.3s (0.9% of total)
ival->: 1.3s (0.9% of total)
ival-fmin: 909.0ms (0.6% of total)
ival-and: 861.0ms (0.6% of total)
ival-neg: 476.0ms (0.3% of total)
ival-atan: 376.0ms (0.3% of total)
ival-cbrt: 312.0ms (0.2% of total)
Bogosity

localize1.7min (20.8%)

Results
9.9s13681×256valid
9.9s3756×1024valid
13.8s3186×2048valid
3.2s2061×512valid
1.7s1626×256invalid
16.9s694×8192exit
168.0ms458×256infinite
32.3s155×4096valid
104.0ms48×256unsamplable
397.0ms41×4096infinite
259.0ms37×2048infinite
45.0ms33×1024invalid
68.0ms24×1024infinite
13.0ms20×512invalid
19.0ms20×512infinite
28.0ms16×2048invalid
Compiler

Compiled 14988 to 8827 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-tan: 33.3s (39.7% of total)
ival-pow: 16.8s (20.1% of total)
ival-mult: 6.9s (8.2% of total)
ival-div: 4.7s (5.6% of total)
ival-exp: 4.4s (5.3% of total)
ival-add: 3.7s (4.5% of total)
composed: 3.6s (4.4% of total)
ival-log: 2.4s (2.9% of total)
ival-sin: 2.3s (2.7% of total)
ival-sub: 1.4s (1.7% of total)
ival-cbrt: 1.2s (1.4% of total)
ival-cos: 981.0ms (1.2% of total)
const: 856.0ms (1% of total)
ival-sqrt: 822.0ms (1% of total)
ival-neg: 137.0ms (0.2% of total)
ival-cosh: 128.0ms (0.2% of total)
ival-atan2: 43.0ms (0.1% of total)
ival-atan: 17.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)

soundness50.5s (10.6%)

Rules
28660×log1p-expm1-u
24427×fma-define
24299×fma-neg
21279×expm1-log1p-u
15591×associate-*r*
Stop Event
5×saturated
96×node limit
18×fuel
10×done
Compiler

Compiled 14854 to 9496 computations (36.1% saved)

rewrite50.4s (10.6%)

Algorithm
98×batch-egg-rewrite
Rules
61640×log1p-expm1-u
48476×expm1-log1p-u
19628×pow1
19540×prod-diff
19377×add-exp-log
Stop Event
98×node limit
Counts
702 → 30311

eval25.9s (5.4%)

Compiler

Compiled 1151087 to 753095 computations (34.6% saved)

simplify18.4s (3.8%)

Algorithm
126×egg-herbie
Rules
32482×fma-neg
32420×fma-define
27604×times-frac
25821×*-commutative
24053×distribute-lft-in
Stop Event
28×saturated
96×node limit
2×unsound
Counts
42463 → 38773

prune10.9s (2.3%)

Counts
50023 → 1703
Compiler

Compiled 52799 to 37771 computations (28.5% saved)

explain9.4s (2%)

Results
1.0s5796×256valid
2.4s3670×1024valid
2.9s2300×2048valid
684.0ms2150×512valid
46.0ms204×256infinite
129.0ms144×4096valid
192.0ms40×512infinite
76.0ms32×1024infinite
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2s
ival-exp: 821.0ms (15.8% of total)
ival-tan: 658.0ms (12.7% of total)
ival-log: 631.0ms (12.1% of total)
ival-sub: 622.0ms (12% of total)
ival-div: 491.0ms (9.5% of total)
ival-add: 393.0ms (7.6% of total)
ival-pow: 363.0ms (7% of total)
ival-mult: 334.0ms (6.4% of total)
ival-cos: 288.0ms (5.5% of total)
ival-sin: 250.0ms (4.8% of total)
ival-sqrt: 136.0ms (2.6% of total)
const: 102.0ms (2% of total)
ival-atan: 47.0ms (0.9% of total)
ival-neg: 29.0ms (0.6% of total)
ival-cbrt: 28.0ms (0.5% of total)

preprocess5.5s (1.1%)

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 7740 to 4948 computations (36.1% saved)

series4.4s (0.9%)

Counts
702 → 12152
Calls

3327 calls:

TimeVariablePointExpression
238.0ms
n
@-inf
(- (exp (exp (/ (log (+ 1 x)) n))) 1)
129.0ms
n
@0
(* n (log n))
91.0ms
a
@-inf
(/ (+ (neg b) (exp (* (- (log (* c -4)) (neg (log a))) 1/2))) (* 2 a))
74.0ms
eps
@-inf
(* eps (- (* -1 (* eps (+ 1/6 (+ (* -1 (/ (* (pow (sin x) 2) (- 1 (* -1 (/ (pow (sin x) 2) (pow (cos x) 2))))) (pow (cos x) 2))) (+ (* -1/2 (- 1 (* -1 (/ (pow (sin x) 2) (pow (cos x) 2))))) (* 1/6 (/ (pow (sin x) 2) (pow (cos x) 2)))))))) (* -1 (/ (* (sin x) (- 1 (* -1 (/ (pow (sin x) 2) (pow (cos x) 2))))) (cos x)))))
60.0ms
x
@inf
(* eps (cos x))

regimes3.4s (0.7%)

Counts
2783 → 240
Calls

43 calls:

871.0ms
x
353.0ms
b
317.0ms
n
250.0ms
a
241.0ms
c
Compiler

Compiled 1518 to 1059 computations (30.2% saved)

analyze2.9s (0.6%)

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.5s
ival-mult: 201.0ms (13% of total)
ival-sub: 199.0ms (12.9% of total)
ival-div: 194.0ms (12.5% of total)
ival-pow: 192.0ms (12.4% of total)
ival-log: 141.0ms (9.1% of total)
ival-sin: 115.0ms (7.4% of total)
ival-<=: 91.0ms (5.9% of total)
ival-exp: 70.0ms (4.5% of total)
ival-add: 63.0ms (4.1% of total)
ival-sqrt: 58.0ms (3.7% of total)
ival-fabs: 47.0ms (3% of total)
ival-neg: 42.0ms (2.7% of total)
ival-tan: 36.0ms (2.3% of total)
const: 35.0ms (2.3% of total)
ival-cos: 23.0ms (1.5% of total)
ival->: 14.0ms (0.9% of total)
ival-and: 11.0ms (0.7% of total)
ival-fmin: 8.0ms (0.5% of total)
ival-<: 8.0ms (0.5% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.4s (0.5%)

Algorithm
58×binary-search
16×left-value
Stop Event
1×predicate-same
57×narrow-enough
Results
696.0ms4488×0valid
488.0ms1443×1valid
92.0ms1102×0invalid
198.0ms492×0infinite
303.0ms375×2valid
21.0ms50×1infinite
9.0ms39×0unsamplable
Compiler

Compiled 10990 to 8077 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 990.0ms
ival-pow: 331.0ms (33.4% of total)
ival-mult: 154.0ms (15.5% of total)
ival-div: 103.0ms (10.4% of total)
ival-sub: 87.0ms (8.8% of total)
ival-exp: 82.0ms (8.3% of total)
backward-pass: 71.0ms (7.2% of total)
ival-sqrt: 54.0ms (5.5% of total)
ival-add: 41.0ms (4.1% of total)
ival-neg: 40.0ms (4% of total)
const: 19.0ms (1.9% of total)
ival-cos: 3.0ms (0.3% of total)
ival-cbrt: 3.0ms (0.3% of total)

end0.0ms (0%)

Profiling

Loading profile data...