Herbie run

Date:Saturday, November 18th, 2023
Commit:fb1f2946 on main
Hostname:nightly with Racket 8.6
Seed:2023322
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: 3.3min)

sample49.0s (24.8%)

Results
12.7s109663×body256valid
12.6s29502×body1024valid
12.0s12949×body8192exit
4.6s5892×body2048valid
3.7s15021×body512valid
1.4s3990×body1024invalid
635.0ms4705×body256infinite
418.0ms2017×body512invalid
300.0ms2457×body256invalid
137.0ms1134×body256unsamplable
58.0ms147×body1024infinite
52.0ms190×body512infinite
5.0ms2×body8192invalid
Bogosity

localize31.8s (16.1%)

Compiler

Compiled 8182 to 4211 computations (48.5% saved)

soundness26.8s (13.6%)

Rules
67074×fma-def
35913×log1p-expm1-u
30164×associate-*r*
29926×times-frac
29084×log-prod
Stop Event
6×saturated
1×unsound
109×node limit
Compiler

Compiled 8111 to 4394 computations (45.8% saved)

regimes18.4s (9.3%)

Counts
4271 → 140
Calls

53 calls:

3.6s
a
1.7s
b
1.5s
r
1.3s
x
1.1s
(tan.f64 a)
Compiler

Compiled 49785 to 22649 computations (54.5% saved)

eval16.9s (8.6%)

Compiler

Compiled 823627 to 483457 computations (41.3% saved)

simplify14.0s (7.1%)

Algorithm
83×egg-herbie
Rules
51238×fma-def
30642×log-prod
28650×associate-*r*
27208×associate-*l*
27206×distribute-lft-in
Stop Event
5×unsound
5×done
20×saturated
15×fuel
58×node limit
Counts
27795 → 20893
Compiler

Compiled 1676 to 1140 computations (32% saved)

prune9.3s (4.7%)

Counts
35072 → 1675
Compiler

Compiled 88765 to 61118 computations (31.1% saved)

rewrite9.1s (4.6%)

Algorithm
63×batch-egg-rewrite
Rules
35518×log1p-expm1-u
29548×expm1-log1p-u
23672×log-prod
21906×prod-diff
21346×expm1-udef
Stop Event
63×node limit
Counts
495 → 19582

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

series8.1s (4.1%)

Counts
495 → 8213
Calls

2295 calls:

TimeVariablePointExpression
3.5s
x
@inf
(-.f64 (log.f64 (/.f64 (sinh.f64 x) (sqrt.f64 x))) (log.f64 (sqrt.f64 x)))
313.0ms
x
@-inf
(-.f64 (log.f64 (/.f64 (sinh.f64 x) (sqrt.f64 x))) (log.f64 (sqrt.f64 x)))
287.0ms
r
@0
(log.f64 (*.f64 (sin.f64 b) (/.f64 r (cos.f64 (+.f64 b a)))))
264.0ms
y
@-inf
(log.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x)))
155.0ms
a
@-inf
(log1p.f64 (cos.f64 a))

preprocess4.5s (2.3%)

Algorithm
20×egg-herbie
Rules
23976×fma-def
6946×fma-neg
6348×distribute-lft-neg-in
5222×div-sub
4908×distribute-rgt-neg-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 5104 to 2742 computations (46.3% saved)

bsearch817.0ms (0.4%)

Algorithm
20×binary-search
13×left-value
Stop Event
20×narrow-enough
Results
396.0ms1206×body256valid
240.0ms534×body1024valid
65.0ms227×body512valid
21.0ms31×body2048valid
5.0ms34×body256infinite
Compiler

Compiled 3189 to 2299 computations (27.9% saved)

end1.0ms (0%)

Profiling

Loading profile data...