Herbie run

Date:Saturday, July 22nd, 2023
Commit:687f458a on main
Hostname:nightly with Racket 8.6
Seed:2023203
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: 2.7min)

sample51.5s (31.6%)

Results
13.7s109834×body256valid
12.7s12609×body8192exit
12.4s29349×body1024valid
4.9s5955×body2048valid
3.9s14979×body512valid
1.4s3963×body1024invalid
999.0ms4681×body256infinite
406.0ms1988×body512invalid
261.0ms2390×body256invalid
140.0ms1193×body256unsamplable
70.0ms162×body1024infinite
63.0ms160×body512infinite
5.0ms2×body8192invalid
1.0ms1×body4096invalid
1.0ms2×body2048invalid
Bogosity

localize28.4s (17.5%)

Compiler

Compiled 8274 to 3458 computations (58.2% saved)

soundness20.2s (12.4%)

Rules
82824×fma-def
49780×pow1
46806×add-exp-log
46726×log1p-expm1-u
46718×expm1-log1p-u
Stop Event
8×saturated
2×unsound
129×node limit
Compiler

Compiled 13823 to 6557 computations (52.6% saved)

eval11.9s (7.3%)

Compiler

Compiled 725116 to 342336 computations (52.8% saved)

simplify11.0s (6.8%)

Algorithm
102×egg-herbie
Rules
66944×fma-def
36492×associate-*r*
35316×log-prod
34608×associate-*l*
28356×unswap-sqr
Stop Event
5×done
3×unsound
33×saturated
15×fuel
66×node limit
Counts
23735 → 17718
Compiler

Compiled 2056 to 1353 computations (34.2% saved)

regimes10.7s (6.6%)

Counts
3916 → 147
Calls

55 calls:

1.5s
a
1.2s
x
862.0ms
r
775.0ms
b
624.0ms
(tan.f64 a)
Compiler

Compiled 49331 to 21863 computations (55.7% saved)

analyze8.6s (5.3%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
47.5%35%38.7%26.3%0%0%0%2
56%41.2%32.5%26.3%0%0%0%3
65.3%48.1%25.6%26.3%0%0%0%4
68.7%50%22.8%26.3%0%0.9%0%5
70.3%50.9%21.5%26.3%0%1.1%0.2%6
74.5%53.6%18.3%26.3%0%1.6%0.2%7
75.5%54.1%17.6%26.3%0%1.8%0.2%8
77.7%55.5%15.9%26.3%0%2%0.2%9
79.1%56.4%14.9%26.3%0%2.2%0.3%10
79.8%56.8%14.3%26.3%0%2.3%0.3%11
80.5%57.2%13.8%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

prune8.2s (5.1%)

Counts
28861 → 1730
Compiler

Compiled 93495 to 58861 computations (37% saved)

rewrite6.2s (3.8%)

Algorithm
62×batch-egg-rewrite
Rules
51386×pow1
48040×add-exp-log
47972×log1p-expm1-u
47964×expm1-log1p-u
47386×add-log-exp
Stop Event
62×node limit
Counts
468 → 14780

preprocess2.9s (1.8%)

Algorithm
20×egg-herbie
Rules
18794×fma-def
9552×fma-neg
5312×distribute-lft-neg-in
4910×sub-neg
4300×distribute-rgt-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 4931 to 2656 computations (46.1% saved)

series2.4s (1.5%)

Counts
468 → 8935
Calls

2343 calls:

TimeVariablePointExpression
107.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
72.0ms
z
@-inf
(log.f64 (+.f64 (/.f64 (sin.f64 z) (cos.f64 z)) (-.f64 x (tan.f64 a))))
54.0ms
b
@inf
(log.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 b))))
53.0ms
r
@0
(/.f64 r (-.f64 (/.f64 (cos.f64 b) (sin.f64 b)) a))
44.0ms
z
@-inf
(log.f64 (+.f64 (tan.f64 (+.f64 y z)) (-.f64 x (tan.f64 a))))

bsearch645.0ms (0.4%)

Algorithm
23×binary-search
12×left-value
Stop Event
23×narrow-enough
Results
262.0ms465×body1024valid
222.0ms1056×body256valid
90.0ms323×body512valid
29.0ms43×body2048valid
9.0ms65×body256infinite
Compiler

Compiled 2998 to 2173 computations (27.5% saved)

end2.0ms (0%)

Profiling

Loading profile data...