Herbie run

Date:Thursday, September 28th, 2023
Commit:710a663f on main
Hostname:nightly with Racket 8.6
Seed:2023271
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: 47.2s)

localize11.4s (24.2%)

Compiler

Compiled 6700 to 3580 computations (46.6% saved)

sample10.6s (22.6%)

Results
7.8s63010×body256valid
1.2s4120×body2048valid
1.0s7174×body256infinite
515.0ms1885×body256invalid
Bogosity

eval8.2s (17.4%)

Compiler

Compiled 491852 to 297651 computations (39.5% saved)

soundness4.6s (9.8%)

Rules
22544×fma-def
15110×associate-*r*
13324×times-frac
12342×associate-*l*
11436×log-prod
Stop Event
2×saturated
29×node limit
Compiler

Compiled 3285 to 1912 computations (41.8% saved)

prune3.1s (6.5%)

Counts
10991 → 308
Compiler

Compiled 32194 to 21521 computations (33.2% saved)

simplify2.8s (6%)

Algorithm
25×egg-herbie
Rules
10854×fma-def
8960×associate-*r*
7408×times-frac
7344×associate-*l*
6620×log-prod
Stop Event
10×saturated
5×done
4×fuel
15×node limit
Counts
5772 → 5829
Compiler

Compiled 1218 to 798 computations (34.5% saved)

regimes1.8s (3.8%)

Counts
335 → 72
Calls

19 calls:

372.0ms
c
325.0ms
a
279.0ms
b
142.0ms
x
135.0ms
z
Compiler

Compiled 7712 to 4610 computations (40.2% saved)

rewrite1.6s (3.3%)

Algorithm
15×batch-egg-rewrite
Rules
9446×pow1
8966×add-exp-log
8964×expm1-log1p-u
8964×log1p-expm1-u
8920×add-log-exp
Stop Event
15×node limit
Counts
109 → 3614

preprocess1.2s (2.5%)

Algorithm
9×egg-herbie
Rules
5828×div-sub
5698×fma-neg
5666×fma-def
4786×times-frac
3022×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 2852 to 1707 computations (40.1% saved)

bsearch762.0ms (1.6%)

Algorithm
38×binary-search
Stop Event
30×narrow-enough
8×predicate-same
Results
614.0ms4244×body256valid
44.0ms348×body256infinite
36.0ms271×body256invalid
Compiler

Compiled 10300 to 7310 computations (29% saved)

series624.0ms (1.3%)

Counts
109 → 2158
Calls

693 calls:

TimeVariablePointExpression
64.0ms
n
@0
(/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
35.0ms
b
@inf
(cbrt.f64 (*.f64 (pow.f64 (/.f64 2 (+.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))) b)) 3) (pow.f64 c 3)))
18.0ms
a
@0
(pow.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))) 1/4)
14.0ms
a
@-inf
(/.f64 (*.f64 2 c) (fma.f64 2 (/.f64 a (/.f64 b c)) (*.f64 b -2)))
12.0ms
c
@inf
(*.f64 (pow.f64 (/.f64 2 (+.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))) b)) 3) (pow.f64 c 3))

analyze445.0ms (0.9%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

end1.0ms (0%)

Profiling

Loading profile data...