Herbie run

Date:Tuesday, February 13th, 2024
Commit:0d1b31a7 on sound-rules
Hostname:nightly with Racket 8.11.1
Seed:2024044
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: 7.5min)

sample1.5min (20.3%)

Results
49.1s270705×256valid
6.7s31009×256infinite
9.2s19210×1024valid
18.7s13636×2048valid
3.3s11072×512valid
308.0ms2251×256invalid
3.0s2203×8192exit
149.0ms975×256unsamplable
424.0ms751×4096valid
78.0ms199×512infinite
110.0ms157×1024infinite
14.0ms13×2048infinite
Bogosity

eval1.2min (16.4%)

Compiler

Compiled 2865951 to 1921071 computations (33% saved)

localize1.1min (14.2%)

Compiler

Compiled 28593 to 16641 computations (41.8% saved)

soundness1.0min (13.6%)

Rules
144930×fma-define
101138×associate-*r*
97222×fma-neg
89890×times-frac
71620×distribute-lft-in
Stop Event
9×saturated
246×node limit
Compiler

Compiled 24133 to 14243 computations (41% saved)

simplify37.3s (8.3%)

Algorithm
166×egg-herbie
Rules
92822×fma-define
69756×fma-neg
63874×distribute-lft-in
61536×times-frac
57496×associate-*r*
Stop Event
42×saturated
124×node limit
24×fuel
18×done
Counts
52306 → 47918
Compiler

Compiled 7609 to 4921 computations (35.3% saved)

rewrite27.2s (6.1%)

Algorithm
124×batch-egg-rewrite
Rules
71927×log1p-expm1-u
57079×expm1-log1p-u
45588×prod-diff
42486×unpow-prod-down
40674×log-prod
Stop Event
124×node limit
Counts
875 → 35224

preprocess26.8s (6%)

Algorithm
42×egg-herbie
Rules
37136×fma-define
36960×fma-neg
19878×unsub-neg
18560×sub-neg
15262×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 28859 to 17491 computations (39.4% saved)

prune21.1s (4.7%)

Counts
78749 → 1927
Compiler

Compiled 68365 to 46251 computations (32.3% saved)

regimes18.3s (4.1%)

Counts
3998 → 522
Calls

94 calls:

2.2s
c
1.9s
d
1.7s
a
1.4s
b
1.3s
t1
Compiler

Compiled 4210 to 3035 computations (27.9% saved)

bsearch11.1s (2.5%)

Algorithm
249×binary-search
17×left-value
Stop Event
15×predicate-same
234×narrow-enough
Results
5.0s23192×256valid
2.7s5182×256infinite
981.0ms1689×1024valid
566.0ms1231×8192exit
363.0ms1160×512valid
90.0ms758×256invalid
486.0ms440×2048valid
56.0ms92×1024infinite
29.0ms75×512infinite
6.0ms39×256unsamplable
13.0ms6×4096valid
4.0ms4×2048infinite
Compiler

Compiled 71874 to 50126 computations (30.3% saved)

analyze9.5s (2.1%)

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.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78%40.8%11.5%45.6%0%2.1%0%7
81.6%42.6%9.6%45.7%0%2.1%0%8
84.2%43.8%8.2%45.7%0%2.2%0%9
86.2%44.6%7.1%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series7.7s (1.7%)

Counts
875 → 17082
Calls

4743 calls:

TimeVariablePointExpression
442.0ms
t
@-inf
(pow.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) 3) 3)
179.0ms
t
@inf
(pow.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) 3) 3)
161.0ms
i
@inf
(-.f64 (*.f64 100 (exp.f64 i)) 100)
140.0ms
x2
@inf
(*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3))
128.0ms
x
@inf
(pow.f64 (pow.f64 x 3/2) 2)

end14.0ms (0%)

Profiling

Loading profile data...