Herbie run

Date:Sunday, January 21st, 2024
Commit:4a418bc7 on main
Hostname:nightly with Racket 8.6
Seed:2024021
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.8min)

sample1.0min (26.3%)

Results
20.1s116256×body256valid
14.5s12873×body8192exit
11.6s23323×body512valid
6.3s15832×body1024valid
4.4s4738×body2048valid
1.2s2227×body1024invalid
844.0ms4965×body256infinite
812.0ms4833×body256invalid
301.0ms1162×body512invalid
171.0ms1237×body256unsamplable
8.0ms3×body8192invalid
2.0ms6×body512infinite
1.0ms1×body4096invalid
1.0ms1×body2048invalid
Bogosity

localize42.1s (18.3%)

Compiler

Compiled 9320 to 4290 computations (54% saved)

soundness28.1s (12.2%)

Rules
48226×fma-def
35823×log1p-expm1-u
29146×log-prod
27446×associate-*r*
27226×expm1-log1p-u
Stop Event
6×saturated
4×unsound
101×node limit
Compiler

Compiled 9834 to 4922 computations (49.9% saved)

eval24.4s (10.6%)

Compiler

Compiled 1199979 to 622864 computations (48.1% saved)

simplify16.0s (6.9%)

Algorithm
82×egg-herbie
Rules
39152×fma-def
31300×log-prod
26156×associate-*r*
24978×associate-*l*
24570×distribute-lft-in
Stop Event
3×done
3×unsound
20×saturated
17×fuel
59×node limit
Counts
26278 → 20816
Compiler

Compiled 1676 to 1123 computations (33% saved)

rewrite12.9s (5.6%)

Algorithm
62×batch-egg-rewrite
Rules
33540×log1p-expm1-u
27059×expm1-log1p-u
20246×expm1-udef
20052×prod-diff
19262×log-prod
Stop Event
62×node limit
Counts
469 → 18094

analyze12.6s (5.5%)

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
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71%51.1%20.8%26.3%0%1.6%0.2%7
72%51.6%20.1%26.3%0%1.8%0.2%8
74.2%53%18.4%26.3%0%2%0.2%9
75.7%53.9%17.3%26.3%0%2.2%0.3%10
76.4%54.3%16.8%26.3%0%2.3%0.3%11
77.2%54.8%16.2%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

prune11.9s (5.2%)

Counts
44086 → 1715
Compiler

Compiled 105542 to 70233 computations (33.5% saved)

regimes11.2s (4.9%)

Counts
3114 → 157
Calls

53 calls:

1.6s
a
1.2s
x
1.2s
b
1.1s
r
531.0ms
(tan.f64 (+.f64 y z))
Compiler

Compiled 41461 to 19813 computations (52.2% saved)

preprocess4.9s (2.1%)

Algorithm
20×egg-herbie
Rules
23976×fma-def
6950×fma-neg
6346×distribute-lft-neg-in
5212×div-sub
4916×distribute-rgt-neg-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 7422 to 4247 computations (42.8% saved)

series3.9s (1.7%)

Counts
469 → 8184
Calls

2253 calls:

TimeVariablePointExpression
256.0ms
x
@0
(pow.f64 (E.f64) (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
122.0ms
a
@-inf
(log1p.f64 (-.f64 (tan.f64 (+.f64 y z)) (-.f64 (tan.f64 a) x)))
89.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
88.0ms
x
@inf
(log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))
72.0ms
r
@0
(log.f64 (*.f64 (sin.f64 b) r))

bsearch1.6s (0.7%)

Algorithm
44×binary-search
8×left-value
Stop Event
43×narrow-enough
1×predicate-same
Results
789.0ms3544×body256valid
642.0ms1549×body512valid
35.0ms219×body256infinite
Compiler

Compiled 7565 to 5416 computations (28.4% saved)

end2.0ms (0%)

Profiling

Loading profile data...