Herbie run

Date:Friday, August 18th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023230
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)

sample48.7s (29.6%)

Results
12.6s29406×body1024valid
12.3s109612×body256valid
11.7s12840×body8192exit
4.8s5978×body2048valid
4.1s15090×body512valid
1.3s3873×body1024invalid
619.0ms4745×body256infinite
383.0ms1982×body512invalid
287.0ms2437×body256invalid
134.0ms1149×body256unsamplable
57.0ms149×body1024infinite
40.0ms140×body512infinite
2.0ms1×body8192invalid
1.0ms1×body4096invalid
0.0ms1×body2048invalid
Bogosity

localize28.8s (17.5%)

Compiler

Compiled 8935 to 3701 computations (58.6% saved)

soundness18.5s (11.2%)

Rules
50668×fma-def
41788×pow1
39470×add-exp-log
39420×log1p-expm1-u
39388×expm1-log1p-u
Stop Event
8×saturated
1×unsound
108×node limit
Compiler

Compiled 10884 to 5707 computations (47.6% saved)

eval16.7s (10.1%)

Compiler

Compiled 964667 to 472972 computations (51% saved)

simplify12.6s (7.7%)

Algorithm
103×egg-herbie
Rules
60612×fma-def
41254×associate-*r*
40302×log-prod
35174×associate-*l*
28590×unswap-sqr
Stop Event
1×unsound
6×done
33×saturated
14×fuel
69×node limit
Counts
22561 → 17887
Compiler

Compiled 1710 to 1074 computations (37.2% saved)

prune8.6s (5.2%)

Counts
33971 → 1620
Compiler

Compiled 91190 to 58322 computations (36% saved)

analyze8.6s (5.2%)

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)

regimes8.3s (5.1%)

Counts
2675 → 121
Calls

55 calls:

997.0ms
x
961.0ms
a
747.0ms
r
606.0ms
b
581.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 37540 to 16725 computations (55.4% saved)

rewrite7.0s (4.3%)

Algorithm
63×batch-egg-rewrite
Rules
49300×pow1
46190×add-exp-log
46172×log1p-expm1-u
46148×expm1-log1p-u
44046×add-log-exp
Stop Event
63×node limit
Counts
461 → 13962

series3.2s (1.9%)

Counts
461 → 8579
Calls

2289 calls:

TimeVariablePointExpression
362.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
169.0ms
a
@-inf
(/.f64 (-.f64 (*.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 b) (sin.f64 a))) (sin.f64 b))
146.0ms
a
@-inf
(log1p.f64 (+.f64 x (-.f64 (fabs.f64 (tan.f64 (+.f64 y z))) (tan.f64 a))))
80.0ms
y
@-inf
(pow.f64 (pow.f64 (+.f64 x (tan.f64 (+.f64 y z))) 3/2) 1/3)
75.0ms
z
@inf
(pow.f64 (pow.f64 (+.f64 x (tan.f64 (+.f64 y z))) 3/2) 1/3)

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 4361 to 2332 computations (46.5% saved)

bsearch661.0ms (0.4%)

Algorithm
23×binary-search
5×left-value
Stop Event
22×narrow-enough
1×predicate-same
Results
312.0ms1972×body256valid
171.0ms330×body1024valid
55.0ms427×body256infinite
42.0ms96×body512valid
24.0ms38×body2048valid
14.0ms33×body1024infinite
Compiler

Compiled 4734 to 3250 computations (31.3% saved)

end1.0ms (0%)

Profiling

Loading profile data...