Herbie run

Date:Thursday, July 6th, 2023
Commit:5d9b3d1e on filter-graph
Hostname:nightly with Racket 8.6
Seed:2023187
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: 1.0min)

localize14.3s (23.6%)

Compiler

Compiled 6988 to 3482 computations (50.2% saved)

sample10.7s (17.5%)

Results
8.1s63106×body256valid
1.1s4126×body2048valid
1.0s7072×body256infinite
284.0ms1899×body256invalid
Bogosity

eval9.3s (15.3%)

Compiler

Compiled 552056 to 318805 computations (42.3% saved)

soundness8.6s (14.1%)

Rules
46274×fma-def
23112×log-prod
22024×associate-*r*
19906×times-frac
18554×associate-*l*
Stop Event
3×saturated
49×node limit
Compiler

Compiled 5718 to 3350 computations (41.4% saved)

simplify4.9s (8%)

Algorithm
40×egg-herbie
Rules
30786×fma-def
12348×associate-*r*
11682×times-frac
11558×fma-neg
11342×log-prod
Stop Event
15×saturated
3×done
6×fuel
25×node limit
Counts
8043 → 7624
Compiler

Compiled 1381 to 894 computations (35.3% saved)

prune4.0s (6.6%)

Counts
14569 → 351
Compiler

Compiled 27748 to 18544 computations (33.2% saved)

rewrite2.8s (4.5%)

Algorithm
22×batch-egg-rewrite
Rules
14362×pow1
13610×add-exp-log
13592×expm1-log1p-u
13592×log1p-expm1-u
13500×add-log-exp
Stop Event
22×node limit
Counts
139 → 5308

regimes2.2s (3.7%)

Counts
453 → 106
Calls

23 calls:

449.0ms
x
301.0ms
c
270.0ms
a
266.0ms
b
138.0ms
z
Compiler

Compiled 9198 to 5297 computations (42.4% saved)

bsearch1.1s (1.7%)

Algorithm
57×binary-search
Stop Event
46×narrow-enough
11×predicate-same
Results
845.0ms5758×body256valid
74.0ms674×body256infinite
11.0ms83×body256invalid
Compiler

Compiled 10197 to 7502 computations (26.4% saved)

series809.0ms (1.3%)

Counts
139 → 2726
Calls

855 calls:

TimeVariablePointExpression
61.0ms
c
@inf
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))
58.0ms
c
@-inf
(+.f64 b (pow.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))) 3))
36.0ms
a
@-inf
(-.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (*.f64 -4 (*.f64 a c))) 1/4) 2))
31.0ms
c
@inf
(+.f64 b (pow.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))) 3))
28.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)

end806.0ms (1.3%)

Compiler

Compiled 2908 to 1674 computations (42.4% saved)

preprocess700.0ms (1.2%)

Algorithm
18×egg-herbie
Rules
8158×fma-def
4716×div-sub
3918×associate-/r*
3722×times-frac
3438×associate-/l*
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

analyze666.0ms (1.1%)

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)

Profiling

Loading profile data...