Herbie run

Date:Tuesday, July 11th, 2023
Commit:fc7fce6f on preprocess-absolute-value
Hostname:nightly with Racket 8.6
Seed:2023192
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: 4.1min)

sample1.4min (34.1%)

Results
31.1s33416×body2048valid
27.7s62187×body1024valid
11.0s86514×body256valid
8.1s33531×body512valid
1.5s13117×body256infinite
1.0s2034×body4096valid
990.0ms1135×body1024invalid
722.0ms7713×body256unsamplable
669.0ms5129×body256invalid
220.0ms270×body2048unsamplable
198.0ms564×body512invalid
173.0ms152×body1024infinite
168.0ms455×body1024unsamplable
98.0ms208×body512infinite
52.0ms225×body512unsamplable
7.0ms6×body2048invalid
4.0ms8×body2048infinite
3.0ms1×body8192valid
Bogosity

localize37.1s (15.1%)

Compiler

Compiled 14234 to 7266 computations (49% saved)

soundness32.9s (13.4%)

Rules
154546×fma-def
91956×log-prod
89672×fma-neg
75768×associate-*r*
57702×associate-*l*
Stop Event
7×saturated
200×node limit
Compiler

Compiled 18922 to 11419 computations (39.7% saved)

eval23.1s (9.4%)

Compiler

Compiled 1190814 to 685402 computations (42.4% saved)

simplify18.3s (7.4%)

Algorithm
154×egg-herbie
Rules
101348×fma-def
59006×associate-*r*
53314×fma-neg
49150×times-frac
48774×associate-*l*
Stop Event
5×done
47×saturated
23×fuel
107×node limit
Counts
34140 → 33922
Compiler

Compiled 3896 to 2707 computations (30.5% saved)

prune12.2s (5%)

Counts
50265 → 2228
Compiler

Compiled 110792 to 76476 computations (31% saved)

rewrite11.5s (4.7%)

Algorithm
98×batch-egg-rewrite
Rules
62694×pow1
59390×add-exp-log
59356×log1p-expm1-u
59320×expm1-log1p-u
52666×add-log-exp
Stop Event
98×node limit
Counts
728 → 23317

regimes11.0s (4.5%)

Counts
4018 → 362
Calls

43 calls:

2.9s
x
1.9s
eps
900.0ms
c
761.0ms
b
592.0ms
a
Compiler

Compiled 44547 to 24891 computations (44.1% saved)

bsearch4.5s (1.8%)

Algorithm
134×binary-search
35×left-value
Stop Event
132×narrow-enough
2×predicate-same
Results
1.6s11645×body256valid
1.4s3628×body1024valid
495.0ms756×body2048valid
381.0ms1240×body512valid
150.0ms1294×body256invalid
55.0ms321×body256infinite
33.0ms207×body256unsamplable
16.0ms37×body512infinite
13.0ms13×body1024infinite
3.0ms8×body4096valid
1.0ms4×body1024unsamplable
1.0ms5×body512unsamplable
1.0ms2×body2048unsamplable
Compiler

Compiled 28076 to 20712 computations (26.2% saved)

series3.0s (1.2%)

Counts
728 → 10795
Calls

3387 calls:

TimeVariablePointExpression
80.0ms
n
@0
(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
80.0ms
eps
@0
(pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 3)
52.0ms
b
@-inf
(log.f64 (/.f64 c b))
47.0ms
x
@0
(pow.f64 x (/.f64 1 n))
44.0ms
eps
@-inf
(expm1.f64 (+.f64 (cos.f64 eps) -1))

preprocess2.9s (1.2%)

Algorithm
28×egg-herbie
Rules
42740×fma-def
13078×fma-neg
9294×associate-/r*
9220×div-sub
9054×distribute-rgt-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 368 to 279 computations (24.2% saved)

end2.8s (1.1%)

Compiler

Compiled 8896 to 5470 computations (38.5% saved)

analyze2.6s (1.1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
27.4%24.9%66%9.1%0%0%0%1
39%34.7%54.4%9.1%0%1.8%0%2
51%44.1%42.4%9.1%0%4.5%0%3
58.9%50.1%35%9.1%0%5.8%0%4
65.5%55%29%9.1%0%6.9%0%5
67.8%56.6%26.9%9.1%0%7.5%0%6
70.2%57.8%24.6%9.1%0%8.4%0.1%7
72.2%59.3%22.8%9.1%0%8.7%0.1%8
73.5%60%21.6%9.1%0%9.1%0.3%9
74.7%60.5%20.4%9.1%0%9.7%0.3%10
76.2%61.5%19.2%9.1%0%9.9%0.4%11
76.9%61.8%18.5%9.1%0%10.2%0.4%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

Profiling

Loading profile data...