Herbie run

Date:Thursday, August 17th, 2023
Commit:1987babf on main
Hostname:nightly with Racket 8.6
Seed:2023229
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: 5.1min)

sample1.2min (24.2%)

Results
38.4s269573×body256valid
16.3s14414×body2048valid
8.2s19601×body1024valid
4.9s31001×body256infinite
2.9s10986×body512valid
1.9s202×body8192exit
379.0ms756×body4096valid
287.0ms2746×body256invalid
124.0ms925×body256unsamplable
121.0ms185×body1024infinite
86.0ms218×body512infinite
52.0ms18×body2048infinite
Bogosity

localize46.6s (15.2%)

Compiler

Compiled 29040 to 15829 computations (45.5% saved)

soundness45.2s (14.7%)

Rules
203630×fma-def
113640×log-prod
106856×associate-*r*
98920×fma-neg
89640×associate-*l*
Stop Event
7×saturated
1×unsound
260×node limit
Compiler

Compiled 24875 to 15020 computations (39.6% saved)

eval42.6s (13.9%)

Compiler

Compiled 1997302 to 1244984 computations (37.7% saved)

simplify25.6s (8.3%)

Algorithm
210×egg-herbie
Rules
149252×fma-def
74186×associate-*r*
72054×fma-neg
68176×times-frac
67450×log-prod
Stop Event
2×unsound
15×done
58×saturated
27×fuel
150×node limit
Counts
48773 → 40868
Compiler

Compiled 8680 to 5568 computations (35.9% saved)

prune16.3s (5.3%)

Counts
69510 → 2101
Compiler

Compiled 123132 to 82892 computations (32.7% saved)

regimes15.8s (5.1%)

Counts
4280 → 539
Calls

94 calls:

1.8s
x1
1.8s
c
1.5s
x
1.4s
b
1.1s
a
Compiler

Compiled 73076 to 43458 computations (40.5% saved)

rewrite13.7s (4.5%)

Algorithm
126×batch-egg-rewrite
Rules
82296×pow1
78050×add-exp-log
78002×log1p-expm1-u
77984×expm1-log1p-u
74546×add-log-exp
Stop Event
126×node limit
Counts
939 → 29566

bsearch9.7s (3.2%)

Algorithm
262×binary-search
16×left-value
Stop Event
251×narrow-enough
11×predicate-same
Results
4.8s22604×body256valid
2.5s7095×body256infinite
711.0ms1291×body1024valid
355.0ms382×body2048valid
302.0ms1105×body512valid
142.0ms1454×body256invalid
41.0ms65×body1024infinite
37.0ms98×body512infinite
Compiler

Compiled 79869 to 55624 computations (30.4% saved)

preprocess9.1s (3%)

Algorithm
42×egg-herbie
Rules
53946×fma-def
22276×fma-neg
17644×unsub-neg
17506×distribute-lft-in
17362×sub-neg
Stop Event
12×saturated
30×node limit
Compiler

Compiled 21493 to 12677 computations (41% saved)

analyze5.8s (1.9%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series2.3s (0.8%)

Counts
939 → 19165
Calls

5100 calls:

TimeVariablePointExpression
47.0ms
t
@0
(expm1.f64 (log1p.f64 (+.f64 (pow.f64 t 3) -1)))
44.0ms
eps
@-inf
(-.f64 (+.f64 (*.f64 (+.f64 eps x) eps) (*.f64 x (+.f64 eps x))) (*.f64 x x))
44.0ms
u
@inf
(*.f64 (-.f64 (/.f64 u t1) 1) (/.f64 v (+.f64 t1 u)))
42.0ms
d
@-inf
(*.f64 (/.f64 a (-.f64 c d)) (neg.f64 (*.f64 d d)))
34.0ms
x
@inf
(log.f64 (cbrt.f64 (exp.f64 (cos.f64 x))))

end9.0ms (0%)

Profiling

Loading profile data...