Herbie run

Date:Saturday, November 18th, 2023
Commit:fb1f2946 on main
Hostname:nightly with Racket 8.6
Seed:2023322
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)

localize12.5s (20.3%)

Compiler

Compiled 6228 to 3251 computations (47.8% saved)

eval11.8s (19.1%)

Compiler

Compiled 601390 to 382876 computations (36.3% saved)

sample11.0s (17.8%)

Results
7.8s63027×body256valid
1.6s4068×body2048valid
889.0ms7209×body256infinite
510.0ms1966×body256invalid
Bogosity

soundness8.1s (13.1%)

Rules
26204×fma-def
16412×associate-*r*
16182×times-frac
16136×log-prod
16082×associate-*l*
Stop Event
2×saturated
39×node limit
Compiler

Compiled 4636 to 2756 computations (40.6% saved)

prune4.2s (6.8%)

Counts
13507 → 285
Compiler

Compiled 23875 to 16261 computations (31.9% saved)

simplify4.1s (6.7%)

Algorithm
27×egg-herbie
Rules
17714×fma-def
10538×associate-*r*
10402×times-frac
8606×associate-*l*
8294×log-prod
Stop Event
9×saturated
4×done
5×fuel
18×node limit
Counts
7804 → 7137
Compiler

Compiled 1589 to 1033 computations (35% saved)

rewrite2.8s (4.5%)

Algorithm
18×batch-egg-rewrite
Rules
9553×log1p-expm1-u
7468×prod-diff
6997×expm1-log1p-u
5284×expm1-udef
4133×add-exp-log
Stop Event
18×node limit
Counts
136 → 4945

preprocess2.3s (3.8%)

Algorithm
9×egg-herbie
Rules
7114×fma-def
5098×div-sub
4546×fma-neg
3720×times-frac
3216×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4048 to 2286 computations (43.5% saved)

regimes2.3s (3.8%)

Counts
517 → 93
Calls

22 calls:

539.0ms
b
447.0ms
a
326.0ms
c
182.0ms
x
142.0ms
z
Compiler

Compiled 10395 to 5988 computations (42.4% saved)

bsearch1.3s (2.2%)

Algorithm
49×binary-search
1×left-value
Stop Event
46×narrow-enough
3×predicate-same
Results
1.0s6491×body256valid
160.0ms1209×body256invalid
30.0ms245×body256infinite
Compiler

Compiled 18374 to 12917 computations (29.7% saved)

series729.0ms (1.2%)

Counts
136 → 2859
Calls

849 calls:

TimeVariablePointExpression
41.0ms
a
@-inf
(log.f64 (*.f64 a (*.f64 c -4)))
39.0ms
c
@0
(exp.f64 (*.f64 (+.f64 (log.f64 (*.f64 c -4)) (log.f64 a)) 1/2))
36.0ms
f
@inf
(*.f64 (+.f64 1 (/.f64 n f)) (/.f64 n f))
29.0ms
c
@-inf
(exp.f64 (*.f64 (+.f64 (log.f64 (*.f64 c -4)) (log.f64 a)) 1/2))
24.0ms
c
@inf
(log.f64 (*.f64 a (*.f64 c -4)))

analyze488.0ms (0.8%)

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...