Herbie run

Date:Thursday, May 16th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024137
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: 6.0min)

sample2.8min (47.6%)

Results
42.2s55355×2valid
34.8s143275×0precondition
31.2s116180×1valid
27.6s7114×5exit
6.7s57053×0valid
3.4s2580×3valid
470.0ms4258×0invalid
462.0ms4195×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 25.2s (20.9% of total)
ival-tan: 12.1s (10.1% of total)
ival-exp: 11.0s (9.1% of total)
ival-mult: 9.5s (7.9% of total)
ival-sub: 8.2s (6.8% of total)
...c/correct-round.rkt:121:19: 6.0s (5% of total)
backward-pass: 5.8s (4.8% of total)
ival-add: 5.7s (4.7% of total)
ival-log: 5.6s (4.6% of total)
ival-div: 5.4s (4.5% of total)
ival-<=: 5.2s (4.3% of total)
ival-sin: 5.0s (4.1% of total)
ival-cos: 4.5s (3.7% of total)
ival-fabs: 3.3s (2.7% of total)
ival-<: 2.3s (1.9% of total)
ival-sqrt: 1.6s (1.3% of total)
ival->: 949.0ms (0.8% of total)
ival-and: 771.0ms (0.6% of total)
const: 666.0ms (0.6% of total)
ival-fmin: 598.0ms (0.5% of total)
ival-neg: 517.0ms (0.4% of total)
ival-atan: 404.0ms (0.3% of total)
ival-cbrt: 359.0ms (0.3% of total)
Bogosity

simplify47.4s (13.2%)

Algorithm
244×egg-herbie
Rules
82219×fma-define
76766×fma-neg
50569×distribute-lft-in
47673×times-frac
44206×distribute-rgt-in
Stop Event
76×saturated
167×node limit
1×unsound
Counts
56662 → 59276

soundness29.9s (8.3%)

Rules
32660×log1p-expm1-u
26550×fma-define
26346×expm1-log1p-u
26010×fma-neg
18956×associate-*r*
Stop Event
9×saturated
109×node limit
21×fuel
7×done
Compiler

Compiled 22278 to 6893 computations (69.1% saved)

rewrite24.4s (6.8%)

Algorithm
107×batch-egg-rewrite
Rules
64666×log1p-expm1-u
50398×expm1-log1p-u
21745×add-exp-log
21551×add-log-exp
21305×pow1
Stop Event
107×node limit
Counts
1194 → 38910

localize22.9s (6.4%)

Results
6.0s4082×2valid
5.0s6696×1valid
4.6s14737×0valid
706.0ms1689×0invalid
631.0ms280×5exit
534.0ms316×3valid
37.0ms80×0unsamplable
18.0ms20×1invalid
5.0ms3×2invalid
2.0ms1×3invalid
Compiler

Compiled 18347 to 2494 computations (86.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.2s
ival-pow: 1.8s (15.8% of total)
ival-div: 1.5s (13.8% of total)
ival-mult: 1.5s (13.6% of total)
backward-pass: 1.1s (9.9% of total)
ival-tan: 749.0ms (6.7% of total)
ival-add: 708.0ms (6.3% of total)
ival-sub: 682.0ms (6.1% of total)
...c/correct-round.rkt:121:19: 562.0ms (5% of total)
ival-log: 380.0ms (3.4% of total)
ival-cos: 305.0ms (2.7% of total)
ival-log1p: 284.0ms (2.5% of total)
ival-sqrt: 235.0ms (2.1% of total)
ival-fma: 222.0ms (2% of total)
ival-exp: 202.0ms (1.8% of total)
ival-sin: 199.0ms (1.8% of total)
ival-neg: 185.0ms (1.7% of total)
ival-cbrt: 148.0ms (1.3% of total)
const: 104.0ms (0.9% of total)
ival-hypot: 90.0ms (0.8% of total)
ival-atan: 72.0ms (0.6% of total)
ival-cosh: 48.0ms (0.4% of total)
ival-expm1: 28.0ms (0.3% of total)
ival-atan2: 24.0ms (0.2% of total)
ival-e: 5.0ms (0% of total)

prune16.4s (4.6%)

Counts
84544 → 2129
Compiler

Compiled 70228 to 38753 computations (44.8% saved)

eval14.5s (4%)

Compiler

Compiled 2122645 to 319283 computations (85% saved)

series8.5s (2.4%)

Counts
1194 → 17752
Calls

4785 calls:

TimeVariablePointExpression
1.0s
x
@inf
(- (/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))) (tan x))
282.0ms
x
@-inf
(pow (pow (E) (pow (cbrt (log (- (exp (* a x)) 1))) 2)) (cbrt (log (- (exp (* a x)) 1))))
142.0ms
a
@-inf
(log (- (exp (* a x)) 1))
136.0ms
a
@inf
(pow (* (pow (E) (/ (pow (cbrt (log (- (exp (* a x)) 1))) 2) 2)) (pow (E) (/ (pow (cbrt (log (- (exp (* a x)) 1))) 2) 2))) (cbrt (log (- (exp (* a x)) 1))))
121.0ms
x
@inf
(- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1))))

explain7.7s (2.1%)

Results
2.8s3438×2valid
2.2s7208×1valid
458.0ms3522×0valid
386.0ms168×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0s
ival-tan: 806.0ms (20% of total)
ival-exp: 735.0ms (18.3% of total)
ival-sub: 442.0ms (11% of total)
backward-pass: 343.0ms (8.5% of total)
ival-sin: 314.0ms (7.8% of total)
ival-log: 291.0ms (7.2% of total)
ival-cos: 237.0ms (5.9% of total)
ival-mult: 215.0ms (5.3% of total)
ival-div: 175.0ms (4.3% of total)
ival-add: 130.0ms (3.2% of total)
ival-sqrt: 128.0ms (3.2% of total)
ival-pow: 99.0ms (2.5% of total)
const: 32.0ms (0.8% of total)
ival-cbrt: 30.0ms (0.7% of total)
ival-neg: 26.0ms (0.6% of total)
ival-atan: 25.0ms (0.6% of total)

preprocess4.8s (1.3%)

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 9692 to 3836 computations (60.4% saved)

regimes4.1s (1.1%)

Counts
4200 → 327
Calls

43 calls:

1.1s
x
570.0ms
b_2
282.0ms
eps
246.0ms
b
189.0ms
a
Compiler

Compiled 1573 to 1051 computations (33.2% saved)

analyze3.8s (1.1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%41.6%0%0%0%3
46.1%26.9%31.4%41.7%0%0%0%4
54.8%31.5%26%42.4%0%0%0%5
57.1%32.5%24.4%43.1%0%0%0%6
61.5%33.9%21.3%44%0%0.8%0.1%7
64.6%35.3%19.3%44.5%0%0.8%0.1%8
67.1%36%17.6%44.9%0%1.2%0.3%9
69.1%36.5%16.3%45.2%0%1.7%0.3%10
71.7%37.5%14.8%45.4%0%1.9%0.4%11
72.8%37.8%14.1%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-exp: 304.0ms (15% of total)
ival-sub: 243.0ms (12% of total)
ival-mult: 231.0ms (11.4% of total)
ival-pow: 165.0ms (8.2% of total)
ival-add: 164.0ms (8.1% of total)
...c/correct-round.rkt:121:19: 156.0ms (7.7% of total)
ival-fabs: 149.0ms (7.4% of total)
ival-div: 114.0ms (5.6% of total)
ival-log: 106.0ms (5.2% of total)
ival-<=: 92.0ms (4.5% of total)
ival-sin: 76.0ms (3.8% of total)
ival-sqrt: 55.0ms (2.7% of total)
ival-tan: 36.0ms (1.8% of total)
ival-neg: 31.0ms (1.5% of total)
ival-cos: 23.0ms (1.1% of total)
const: 22.0ms (1.1% of total)
ival->: 18.0ms (0.9% of total)
ival-and: 13.0ms (0.6% of total)
ival-<: 10.0ms (0.5% of total)
backward-pass: 8.0ms (0.4% of total)
ival-fmin: 7.0ms (0.3% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch3.5s (1%)

Algorithm
97×binary-search
29×left-value
Stop Event
8×predicate-same
89×narrow-enough
Results
1.4s7952×0valid
667.0ms3254×1valid
266.0ms538×2valid
225.0ms1547×0invalid
8.0ms60×0unsamplable
Compiler

Compiled 17982 to 13218 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-div: 454.0ms (26.4% of total)
ival-mult: 410.0ms (23.8% of total)
ival-pow: 223.0ms (13% of total)
ival-sub: 130.0ms (7.6% of total)
ival-exp: 117.0ms (6.8% of total)
ival-sqrt: 88.0ms (5.1% of total)
ival-add: 76.0ms (4.4% of total)
backward-pass: 66.0ms (3.8% of total)
ival-cbrt: 65.0ms (3.8% of total)
ival-neg: 50.0ms (2.9% of total)
const: 22.0ms (1.3% of total)
ival-cos: 18.0ms (1% of total)

end0.0ms (0%)

Profiling

Loading profile data...