Herbie run

Date:Thursday, September 28th, 2023
Commit:4fc72252 on main
Hostname:nightly with Racket 8.6
Seed:2023271
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.9min)

sample49.9s (28.9%)

Results
13.9s109848×body256valid
12.1s29491×body1024valid
11.8s12627×body8192exit
4.6s5855×body2048valid
3.9s14859×body512valid
1.4s3887×body1024invalid
658.0ms4760×body256infinite
394.0ms1949×body512invalid
392.0ms2569×body256invalid
147.0ms1252×body256unsamplable
60.0ms151×body1024infinite
43.0ms156×body512infinite
1.0ms3×body2048invalid
1.0ms1×body4096invalid
Bogosity

localize25.9s (15%)

Compiler

Compiled 9175 to 3909 computations (57.4% saved)

soundness20.9s (12.1%)

Rules
69182×fma-def
55976×log-prod
47210×pow1
46930×fma-neg
44446×add-exp-log
Stop Event
5×saturated
2×unsound
122×node limit
Compiler

Compiled 11109 to 6544 computations (41.1% saved)

eval17.8s (10.3%)

Compiler

Compiled 988465 to 513627 computations (48% saved)

simplify11.8s (6.8%)

Algorithm
86×egg-herbie
Rules
49794×fma-def
45724×log-prod
29368×associate-*r*
28888×fma-neg
26566×associate-*l*
Stop Event
4×unsound
5×done
20×saturated
15×fuel
62×node limit
Counts
23545 → 19010
Compiler

Compiled 2132 to 1367 computations (35.9% saved)

regimes10.8s (6.3%)

Counts
3365 → 159
Calls

55 calls:

1.8s
x
1.2s
a
1.0s
b
909.0ms
r
675.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 45838 to 22966 computations (49.9% saved)

prune9.7s (5.6%)

Counts
36106 → 1877
Compiler

Compiled 108773 to 68772 computations (36.8% saved)

analyze9.2s (5.4%)

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)

rewrite7.4s (4.3%)

Algorithm
66×batch-egg-rewrite
Rules
57186×pow1
53540×add-exp-log
53486×log1p-expm1-u
53468×expm1-log1p-u
49746×add-log-exp
Stop Event
66×node limit
Counts
488 → 14601

series3.7s (2.1%)

Counts
488 → 8944
Calls

2454 calls:

TimeVariablePointExpression
137.0ms
a
@0
(+.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (-.f64 x (tan.f64 a)))
135.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
113.0ms
b
@inf
(/.f64 (sin.f64 b) (pow.f64 (cbrt.f64 (/.f64 (neg.f64 (cos.f64 (+.f64 b a))) r)) 3))
86.0ms
x
@0
(expm1.f64 (log.f64 x))
67.0ms
y
@inf
(log1p.f64 (+.f64 (tan.f64 (+.f64 y z)) (-.f64 x (tan.f64 a))))

preprocess3.2s (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 5181 to 2792 computations (46.1% saved)

bsearch2.2s (1.2%)

Algorithm
45×binary-search
2×left-value
Stop Event
41×narrow-enough
4×predicate-same
Results
860.0ms3046×body256valid
634.0ms1277×body1024valid
360.0ms553×body2048valid
163.0ms538×body512valid
43.0ms282×body256infinite
Compiler

Compiled 10785 to 7131 computations (33.9% saved)

end2.0ms (0%)

Profiling

Loading profile data...