Herbie run

Date:Thursday, May 16th, 2024
Commit:b03b03c2 on artem-sharing-exponents
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.5min)

sample3.4min (53.3%)

Results
1.3min227125×0valid
59.1s143275×0precondition
44.4s7114×5exit
6.1s4013×1valid
2.8s4195×0unsamplable
459.0ms4258×0invalid
20.0ms26×2valid
7.0ms4×3valid
Precisions
Click to see histograms. Total time spent on operations: 2.9min
ival-pow: 1.1min (37.7% of total)
ival-exp: 35.8s (20.8% of total)
ival-tan: 16.4s (9.5% of total)
ival-mult: 7.1s (4.2% of total)
...c/correct-round.rkt:130:19: 6.3s (3.7% of total)
ival-add: 5.2s (3% of total)
ival-sub: 5.2s (3% of total)
ival-cos: 4.5s (2.6% of total)
ival-sin: 4.3s (2.5% of total)
ival-<=: 3.7s (2.1% of total)
ival-log: 3.6s (2.1% of total)
backward-pass: 3.1s (1.8% of total)
ival-div: 2.7s (1.6% of total)
ival-fabs: 2.6s (1.5% of total)
ival-<: 1.6s (1% of total)
ival-sqrt: 1.1s (0.7% of total)
ival-fmin: 956.0ms (0.6% of total)
ival-and: 683.0ms (0.4% of total)
ival-neg: 659.0ms (0.4% of total)
const: 480.0ms (0.3% of total)
ival->: 413.0ms (0.2% of total)
ival-atan: 324.0ms (0.2% of total)
ival-cbrt: 145.0ms (0.1% of total)
Bogosity

simplify47.7s (12.3%)

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

soundness30.5s (7.9%)

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.8s (6.4%)

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

localize20.1s (5.2%)

Results
10.1s24018×0valid
1.8s280×5exit
1.7s1665×1valid
1.0s1701×0invalid
200.0ms122×2valid
72.0ms26×3valid
35.0ms80×0unsamplable
8.0ms10×1invalid
3.0ms2×2invalid
Compiler

Compiled 18347 to 2494 computations (86.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.4s
ival-pow: 2.0s (19.2% of total)
ival-mult: 1.0s (9.9% of total)
ival-log: 1.0s (9.6% of total)
...c/correct-round.rkt:130:19: 959.0ms (9.2% of total)
ival-div: 860.0ms (8.2% of total)
backward-pass: 662.0ms (6.3% of total)
ival-exp: 562.0ms (5.4% of total)
ival-log1p: 534.0ms (5.1% of total)
ival-add: 522.0ms (5% of total)
ival-tan: 443.0ms (4.2% of total)
ival-sub: 378.0ms (3.6% of total)
ival-sqrt: 298.0ms (2.9% of total)
ival-cos: 266.0ms (2.5% of total)
ival-sin: 264.0ms (2.5% of total)
ival-fma: 144.0ms (1.4% of total)
ival-cbrt: 117.0ms (1.1% of total)
ival-neg: 78.0ms (0.7% of total)
const: 78.0ms (0.7% of total)
ival-atan: 66.0ms (0.6% of total)
ival-hypot: 59.0ms (0.6% of total)
ival-atan2: 50.0ms (0.5% of total)
ival-cosh: 26.0ms (0.2% of total)
ival-expm1: 26.0ms (0.2% of total)
ival-e: 5.0ms (0% of total)

prune18.1s (4.7%)

Counts
84544 → 2129
Compiler

Compiled 70228 to 38753 computations (44.8% saved)

eval14.2s (3.7%)

Compiler

Compiled 2122645 to 319283 computations (85% saved)

series6.3s (1.6%)

Counts
1194 → 17752
Calls

4785 calls:

TimeVariablePointExpression
187.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))))
143.0ms
x
@0
(pow (- (tan (+ x eps)) (tan x)) 3)
102.0ms
x
@-inf
(* (pow x 2) (+ 1/12 (* (pow x 2) (+ 1/360 (* (pow x 2) 1/20160)))))
75.0ms
eps
@0
(exp (- (tan (+ x eps)) (tan x)))
70.0ms
x
@inf
(log (- (exp (* a x)) 1))

explain5.5s (1.4%)

Results
2.5s12536×0valid
1.6s1736×1valid
43.0ms62×2valid
4.0ms2×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-tan: 654.0ms (20.1% of total)
ival-exp: 628.0ms (19.3% of total)
ival-log: 295.0ms (9% of total)
ival-sub: 236.0ms (7.2% of total)
backward-pass: 230.0ms (7.1% of total)
ival-sin: 194.0ms (5.9% of total)
ival-mult: 184.0ms (5.6% of total)
ival-neg: 179.0ms (5.5% of total)
ival-cos: 152.0ms (4.7% of total)
ival-pow: 122.0ms (3.7% of total)
ival-add: 117.0ms (3.6% of total)
ival-div: 111.0ms (3.4% of total)
ival-sqrt: 103.0ms (3.2% of total)
const: 24.0ms (0.7% of total)
ival-atan: 22.0ms (0.7% of total)
ival-cbrt: 10.0ms (0.3% of total)

preprocess4.7s (1.2%)

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)

regimes3.4s (0.9%)

Counts
4200 → 327
Calls

43 calls:

984.0ms
x
324.0ms
b_2
207.0ms
eps
185.0ms
b
176.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1573 to 1051 computations (33.2% saved)

analyze3.1s (0.8%)

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: 1.7s
ival-sub: 297.0ms (17.8% of total)
ival-mult: 233.0ms (13.9% of total)
...c/correct-round.rkt:130:19: 158.0ms (9.4% of total)
ival-pow: 158.0ms (9.4% of total)
ival-log: 114.0ms (6.8% of total)
ival-div: 113.0ms (6.8% of total)
ival-<=: 89.0ms (5.3% of total)
ival-sin: 81.0ms (4.8% of total)
ival-exp: 77.0ms (4.6% of total)
ival-add: 69.0ms (4.1% of total)
ival-sqrt: 61.0ms (3.6% of total)
ival-fabs: 55.0ms (3.3% of total)
ival-tan: 42.0ms (2.5% of total)
ival-neg: 31.0ms (1.9% of total)
ival-cos: 23.0ms (1.4% of total)
const: 22.0ms (1.3% of total)
ival->: 15.0ms (0.9% of total)
ival-and: 12.0ms (0.7% of total)
ival-<: 10.0ms (0.6% of total)
ival-fmin: 9.0ms (0.5% of total)
backward-pass: 7.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.4s (0.6%)

Algorithm
97×binary-search
29×left-value
Stop Event
8×predicate-same
89×narrow-enough
Results
1.3s10958×0valid
288.0ms767×1valid
183.0ms1547×0invalid
12.0ms60×0unsamplable
8.0ms19×2valid
Compiler

Compiled 17982 to 13218 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult: 322.0ms (25.6% of total)
ival-pow: 267.0ms (21.2% of total)
ival-sqrt: 111.0ms (8.8% of total)
ival-sub: 101.0ms (8% of total)
ival-div: 101.0ms (8% of total)
ival-exp: 80.0ms (6.4% of total)
ival-add: 79.0ms (6.3% of total)
ival-neg: 74.0ms (5.9% of total)
ival-cbrt: 57.0ms (4.5% of total)
backward-pass: 29.0ms (2.3% of total)
const: 18.0ms (1.4% of total)
ival-cos: 18.0ms (1.4% of total)

end0.0ms (0%)

Profiling

Loading profile data...