Herbie run

Date:Friday, October 6th, 2023
Commit:add13636 on main
Hostname:nightly with Racket 8.6
Seed:2023279
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: 12.0min)

sample2.4min (19.8%)

Results
41.4s155048×body256valid
25.7s29574×body1024valid
16.4s66599×body256invalid
13.0s7768×body8192exit
10.9s39054×body256infinite
7.5s13865×body512valid
7.2s10373×body2048valid
5.0s5991×body1024invalid
2.7s622×body4096infinite
2.6s2031×body4096valid
2.1s8054×body256unsamplable
1.8s2459×body1024infinite
1.8s666×body2048infinite
1.6s3032×body512invalid
1.0s815×body8192valid
779.0ms1429×body512infinite
2.0ms1×body2048invalid
Bogosity

localize2.2min (18.3%)

Compiler

Compiled 39387 to 18474 computations (53.1% saved)

soundness1.9min (15.5%)

Rules
277884×fma-def
197098×times-frac
186266×associate-*r*
165162×associate-*l*
157272×log-prod
Stop Event
2×unsound
4×saturated
417×node limit
Compiler

Compiled 43369 to 25753 computations (40.6% saved)

regimes1.5min (12.7%)

Counts
11022 → 911
Calls

152 calls:

6.3s
l
4.8s
d
4.7s
t
4.2s
mu
3.4s
h
Compiler

Compiled 177755 to 89390 computations (49.7% saved)

eval1.2min (10.1%)

Compiler

Compiled 2659618 to 1533236 computations (42.4% saved)

simplify42.5s (5.9%)

Algorithm
153×egg-herbie
Rules
99930×fma-def
74738×times-frac
74672×associate-*r*
68902×associate-*l*
63572×log-prod
Stop Event
1×unsound
2×done
31×saturated
29×fuel
121×node limit
Counts
59405 → 45920
Compiler

Compiled 15048 to 9592 computations (36.3% saved)

prune31.0s (4.3%)

Counts
74926 → 3154
Compiler

Compiled 237429 to 161996 computations (31.8% saved)

bsearch30.1s (4.2%)

Algorithm
462×binary-search
94×left-value
Stop Event
454×narrow-enough
3×predicate-failed
5×predicate-same
Results
10.6s35740×body256valid
5.8s6972×body1024valid
3.4s11252×body256invalid
3.2s8877×body256infinite
1.7s3380×body512valid
970.0ms797×body4096valid
548.0ms650×body1024invalid
510.0ms365×body8192valid
456.0ms578×body2048valid
341.0ms359×body1024infinite
298.0ms312×body8192exit
254.0ms398×body512invalid
180.0ms343×body512infinite
59.0ms48×body2048infinite
44.0ms29×body4096infinite
Compiler

Compiled 140998 to 103510 computations (26.6% saved)

preprocess21.6s (3%)

Algorithm
31×egg-herbie
Rules
36464×fma-def
16456×fma-neg
13966×div-sub
13472×distribute-lft-neg-in
12750×distribute-lft-in
Stop Event
5×saturated
26×node limit
Compiler

Compiled 39108 to 21009 computations (46.3% saved)

rewrite19.9s (2.8%)

Algorithm
122×batch-egg-rewrite
Rules
81848×pow1
77472×add-exp-log
77374×log1p-expm1-u
77362×expm1-log1p-u
77332×add-log-exp
Stop Event
1×unsound
121×node limit
Counts
1279 → 28187

analyze14.6s (2%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
30.2%28.2%65.2%1.8%0%4.8%0%3
34%31.2%60.6%1.8%0%6.4%0%4
36.2%33.2%58.5%1.8%0%6.4%0%5
40.4%37%54.5%1.8%0%6.6%0%6
45.4%41.1%49.4%1.8%0%7.3%0.4%7
47.7%42.6%46.7%1.8%0%8.6%0.4%8
50.6%44.9%43.9%1.8%0%8.9%0.5%9
51.7%45.7%42.7%1.8%0%9.3%0.5%10
53.4%46.8%40.9%1.8%0%9.9%0.6%11
55.1%48%39.1%1.8%0%10.5%0.6%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

series9.7s (1.4%)

Counts
1279 → 31218
Calls

8730 calls:

TimeVariablePointExpression
192.0ms
l
@0
(pow.f64 (*.f64 h l) -1/2)
148.0ms
h
@-inf
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 2 (*.f64 (/.f64 (*.f64 c0 d) D) (/.f64 (/.f64 d (*.f64 h w)) D))))
135.0ms
f
@-inf
(*.f64 (/.f64 1 (/.f64 (PI.f64) 4)) (log.f64 (/.f64 2 (*.f64 (PI.f64) (*.f64 f 1/2)))))
99.0ms
l
@-inf
(pow.f64 (/.f64 A (*.f64 V l)) 3/2)
92.0ms
l
@0
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))

end30.0ms (0%)

Profiling

Loading profile data...