Herbie run

Date:Thursday, February 15th, 2024
Commit:3a78953a on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024046
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.1min)

sample3.8min (46.9%)

Results
34.0s141615×0precondition
15.7s95011×0invalid
14.1s77645×0valid
38.5s41016×4valid
21.1s35122×3valid
12.1s34617×1valid
9.4s22957×2valid
20.3s10807×5valid
26.0s9937×6exit
14.9s4722×6valid
1.1s4262×0infinite
746.0ms4019×0unsamplable
11.0ms10×4infinite
4.0ms5×3infinite
2.0ms3×2infinite
1.0ms2×1infinite
Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-sub, time spent: 21.9s, 14.0% of total-time
Operation ival-pow, time spent: 20.9s, 14.0% of total-time
Operation ival-tan, time spent: 15.8s, 10.0% of total-time
Operation ival-exp, time spent: 15.5s, 10.0% of total-time
Operation ival-add, time spent: 13.8s, 9.0% of total-time
Operation ival-mult, time spent: 11.3s, 7.0% of total-time
Operation ival-div, time spent: 8.7s, 6.0% of total-time
Operation ival-log, time spent: 8.2s, 5.0% of total-time
Operation ival-<=, time spent: 6.9s, 5.0% of total-time
Operation ival-sin, time spent: 5.5s, 4.0% of total-time
Operation ival-cos, time spent: 4.9s, 3.0% of total-time
Operation const, time spent: 3.8s, 2.0% of total-time
Operation ival-fabs, time spent: 3.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 2.0% of total-time
Operation ival-<, time spent: 3.3s, 2.0% of total-time
Operation ival-and, time spent: 1.8s, 1.0% of total-time
Operation ival->, time spent: 1.7s, 1.0% of total-time
Operation ival-atan, time spent: 771.0ms, 1.0% of total-time
Operation ival-neg, time spent: 719.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 641.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 639.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 127.0ms, 0.0% of total-time
Bogosity

localize1.6min (19.8%)

Compiler

Compiled 14313 to 8294 computations (42.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-pow, time spent: 15.7s, 21.0% of total-time
Operation ival-add, time spent: 12.3s, 16.0% of total-time
Operation ival-mult, time spent: 9.6s, 13.0% of total-time
Operation composed, time spent: 8.6s, 11.0% of total-time
Operation ival-div, time spent: 5.4s, 7.0% of total-time
Operation ival-sub, time spent: 4.9s, 7.0% of total-time
Operation ival-exp, time spent: 3.2s, 4.0% of total-time
Operation ival-sin, time spent: 2.9s, 4.0% of total-time
Operation ival-log, time spent: 2.9s, 4.0% of total-time
Operation const, time spent: 2.7s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.4s, 3.0% of total-time
Operation ival-cbrt, time spent: 1.8s, 2.0% of total-time
Operation ival-tan, time spent: 1.3s, 2.0% of total-time
Operation ival-cosh, time spent: 412.0ms, 1.0% of total-time
Operation ival-cos, time spent: 381.0ms, 1.0% of total-time
Operation ival-neg, time spent: 204.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 55.0ms, 0.0% of total-time
Operation ival-e, time spent: 39.0ms, 0.0% of total-time
Operation ival-atan, time spent: 36.0ms, 0.0% of total-time

soundness38.1s (7.8%)

Rules
89532×fma-define
76260×fma-neg
52564×associate-*r*
48802×times-frac
47524×log-prod
Stop Event
3×saturated
156×node limit
1×unsound
Compiler

Compiled 18126 to 12104 computations (33.2% saved)

eval31.0s (6.4%)

Compiler

Compiled 1359453 to 899434 computations (33.8% saved)

preprocess22.3s (4.6%)

Algorithm
28×egg-herbie
Rules
23796×fma-neg
15718×fma-define
9020×distribute-lft-in
8670×sub-neg
8024×div-sub
Stop Event
15×saturated
13×node limit
Compiler

Compiled 10239 to 6418 computations (37.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.9s
Operation ival-pow, time spent: 1.7s, 17.0% of total-time
Operation ival-add, time spent: 1.7s, 17.0% of total-time
Operation ival-sub, time spent: 1.5s, 16.0% of total-time
Operation ival-tan, time spent: 979.0ms, 10.0% of total-time
Operation ival-exp, time spent: 883.0ms, 9.0% of total-time
Operation ival-div, time spent: 680.0ms, 7.0% of total-time
Operation ival-log, time spent: 663.0ms, 7.0% of total-time
Operation ival-mult, time spent: 627.0ms, 6.0% of total-time
Operation const, time spent: 289.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 288.0ms, 3.0% of total-time
Operation ival-cos, time spent: 240.0ms, 2.0% of total-time
Operation ival-sin, time spent: 229.0ms, 2.0% of total-time
Operation ival-atan, time spent: 65.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 49.0ms, 0.0% of total-time
Operation ival-neg, time spent: 27.0ms, 0.0% of total-time

simplify22.1s (4.6%)

Algorithm
119×egg-herbie
Rules
58394×fma-define
48750×fma-neg
44112×times-frac
41134×associate-*r*
35024×log-prod
Stop Event
28×saturated
89×node limit
23×fuel
2×unsound
5×done
Counts
35359 → 35910
Compiler

Compiled 2491 to 1787 computations (28.3% saved)

rewrite17.6s (3.6%)

Algorithm
91×batch-egg-rewrite
Rules
60348×log1p-expm1-u
45233×expm1-log1p-u
31972×prod-diff
27218×unpow-prod-down
27208×fma-define
Stop Event
91×node limit
Counts
659 → 26359

prune11.3s (2.3%)

Counts
54321 → 2016
Compiler

Compiled 60466 to 44057 computations (27.1% saved)

regimes8.1s (1.7%)

Counts
2571 → 238
Calls

43 calls:

1.6s
x
1.3s
a
1.2s
(/.f64 1 n)
879.0ms
c
710.0ms
b_2
Compiler

Compiled 1346 to 943 computations (29.9% saved)

series4.9s (1%)

Counts
659 → 9000
Calls

2976 calls:

TimeVariablePointExpression
211.0ms
x
@-inf
(+.f64 (/.f64 1 (+.f64 x -1)) (-.f64 (/.f64 -2 x) (/.f64 1 (-.f64 -1 x))))
100.0ms
x
@inf
(log.f64 (*.f64 (-.f64 1 (cos.f64 x)) (pow.f64 x -2)))
92.0ms
b_2
@inf
(cbrt.f64 (/.f64 b_2 a))
64.0ms
x
@-inf
(log.f64 (*.f64 x n))
63.0ms
x
@0
(pow.f64 x (/.f64 1 n))

analyze3.2s (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 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
Operation ival-mult, time spent: 423.0ms, 23.0% of total-time
Operation ival-sub, time spent: 210.0ms, 12.0% of total-time
Operation ival-pow, time spent: 191.0ms, 11.0% of total-time
Operation ival-log, time spent: 189.0ms, 10.0% of total-time
Operation ival-div, time spent: 114.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 103.0ms, 6.0% of total-time
Operation ival-neg, time spent: 103.0ms, 6.0% of total-time
Operation ival-<=, time spent: 100.0ms, 6.0% of total-time
Operation ival-exp, time spent: 83.0ms, 5.0% of total-time
Operation ival-add, time spent: 65.0ms, 4.0% of total-time
Operation ival-sin, time spent: 57.0ms, 3.0% of total-time
Operation const, time spent: 36.0ms, 2.0% of total-time
Operation ival-tan, time spent: 35.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 31.0ms, 2.0% of total-time
Operation ival-cos, time spent: 17.0ms, 1.0% of total-time
Operation ival-and, time spent: 15.0ms, 1.0% of total-time
Operation ival->, time spent: 15.0ms, 1.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 10.0ms, 1.0% of total-time
Operation ival-<, time spent: 8.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 3.0ms, 0.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

bsearch3.1s (0.6%)

Algorithm
20×left-value
67×binary-search
Stop Event
6×predicate-same
61×narrow-enough
Results
852.0ms5269×0valid
198.0ms1438×0invalid
138.0ms554×0infinite
156.0ms478×1valid
277.0ms444×3valid
664.0ms387×4valid
134.0ms200×2valid
183.0ms42×5valid
135.0ms15×6exit
1.0ms3×0unsamplable
8.0ms2×6valid
Compiler

Compiled 11282 to 8384 computations (25.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-pow, time spent: 665.0ms, 36.0% of total-time
Operation ival-sub, time spent: 346.0ms, 19.0% of total-time
Operation ival-mult, time spent: 186.0ms, 10.0% of total-time
Operation ival-div, time spent: 160.0ms, 9.0% of total-time
Operation ival-exp, time spent: 160.0ms, 9.0% of total-time
Operation ival-add, time spent: 123.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 103.0ms, 6.0% of total-time
Operation const, time spent: 45.0ms, 2.0% of total-time
Operation ival-neg, time spent: 39.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 14.0ms, 1.0% of total-time
Operation ival-log, time spent: 7.0ms, 0.0% of total-time
Operation ival-cos, time spent: 6.0ms, 0.0% of total-time

end3.0ms (0%)

Profiling

Loading profile data...