Herbie run

Date:Saturday, August 26th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023238
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.6min)

sample48.6s (30.6%)

Results
13.3s109551×body256valid
12.2s29592×body1024valid
11.4s12807×body8192exit
4.6s5895×body2048valid
3.7s15035×body512valid
1.4s4117×body1024invalid
673.0ms4749×body256infinite
421.0ms2060×body512invalid
244.0ms2465×body256invalid
153.0ms1194×body256unsamplable
56.0ms132×body1024infinite
52.0ms166×body512infinite
5.0ms2×body8192invalid
4.0ms3×body4096invalid
1.0ms1×body2048invalid
Bogosity

localize26.5s (16.7%)

Compiler

Compiled 7503 to 3025 computations (59.7% saved)

soundness19.1s (12%)

Rules
66954×fma-def
47530×log-prod
37488×pow1
35380×add-exp-log
35282×log1p-expm1-u
Stop Event
8×saturated
3×unsound
105×node limit
Compiler

Compiled 9123 to 4933 computations (45.9% saved)

eval12.8s (8%)

Compiler

Compiled 738569 to 364817 computations (50.6% saved)

simplify11.8s (7.5%)

Algorithm
102×egg-herbie
Rules
54178×fma-def
32318×log-prod
28456×unswap-sqr
28356×associate-*r*
26958×associate-*l*
Stop Event
4×unsound
5×done
33×saturated
15×fuel
65×node limit
Counts
25033 → 18594
Compiler

Compiled 1694 to 1161 computations (31.5% saved)

regimes9.3s (5.9%)

Counts
3892 → 149
Calls

53 calls:

1.4s
a
1.1s
r
1.1s
b
956.0ms
x
392.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 45662 to 19361 computations (57.6% saved)

prune8.8s (5.5%)

Counts
32053 → 1635
Compiler

Compiled 86137 to 54040 computations (37.3% saved)

analyze8.4s (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)

rewrite6.9s (4.4%)

Algorithm
62×batch-egg-rewrite
Rules
45172×pow1
42376×add-exp-log
42286×log1p-expm1-u
42278×expm1-log1p-u
41842×add-log-exp
Stop Event
62×node limit
Counts
435 → 16167

preprocess3.0s (1.9%)

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 4095 to 2262 computations (44.8% saved)

series2.6s (1.6%)

Counts
435 → 8846
Calls

2283 calls:

TimeVariablePointExpression
94.0ms
r
@-inf
(log.f64 (/.f64 1 (pow.f64 (exp.f64 r) (sin.f64 b))))
92.0ms
y
@-inf
(log1p.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) a)))
64.0ms
x
@inf
(log.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) 1)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) 1)))))))
54.0ms
y
@inf
(log1p.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) a)))
54.0ms
x
@-inf
(pow.f64 (cos.f64 x) 3/2)

bsearch1.0s (0.7%)

Algorithm
28×binary-search
2×left-value
Stop Event
26×narrow-enough
2×predicate-same
Results
544.0ms2427×body256valid
221.0ms480×body1024valid
110.0ms293×body512valid
32.0ms48×body2048valid
31.0ms213×body256infinite
4.0ms11×body512infinite
1.0ms7×body256unsamplable
Compiler

Compiled 5061 to 3623 computations (28.4% saved)

end1.0ms (0%)

Profiling

Loading profile data...