Herbie run

Date:Thursday, September 14th, 2023
Commit:4716b437 on main
Hostname:nightly with Racket 8.6
Seed:2023257
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: 56.4s)

localize11.6s (20.6%)

Compiler

Compiled 6276 to 3315 computations (47.2% saved)

sample10.8s (19.1%)

Results
8.1s62936×body256valid
1.3s4090×body2048valid
998.0ms7278×body256infinite
313.0ms1959×body256invalid
Bogosity

eval8.9s (15.7%)

Compiler

Compiled 454861 to 268899 computations (40.9% saved)

soundness7.6s (13.6%)

Rules
48362×fma-def
23772×associate-*r*
21840×fma-neg
19124×associate-*l*
15936×times-frac
Stop Event
4×saturated
43×node limit
Compiler

Compiled 4684 to 2788 computations (40.5% saved)

simplify4.6s (8.1%)

Algorithm
41×egg-herbie
Rules
36066×fma-def
16564×times-frac
15072×associate-*r*
12440×associate-*l*
11300×distribute-lft-in
Stop Event
15×saturated
5×done
4×fuel
26×node limit
Counts
7839 → 7764
Compiler

Compiled 1464 to 942 computations (35.7% saved)

prune3.5s (6.2%)

Counts
12545 → 343
Compiler

Compiled 30257 to 20018 computations (33.8% saved)

rewrite2.7s (4.9%)

Algorithm
23×batch-egg-rewrite
Rules
15776×pow1
14962×add-exp-log
14938×log1p-expm1-u
14936×expm1-log1p-u
14834×add-log-exp
Stop Event
23×node limit
Counts
154 → 4740

regimes2.4s (4.2%)

Counts
467 → 104
Calls

23 calls:

393.0ms
b
369.0ms
a
342.0ms
x
293.0ms
c
177.0ms
z
Compiler

Compiled 8994 to 5065 computations (43.7% saved)

preprocess1.6s (2.8%)

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 3317 to 1882 computations (43.3% saved)

series1.3s (2.3%)

Counts
154 → 3090
Calls

954 calls:

TimeVariablePointExpression
155.0ms
a
@-inf
(log.f64 (*.f64 a (*.f64 c -4)))
96.0ms
b
@-inf
(/.f64 c (fma.f64 b 2 (/.f64 (*.f64 -2 c) (/.f64 b a))))
63.0ms
c
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
51.0ms
c
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))
48.0ms
a
@-inf
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))

bsearch956.0ms (1.7%)

Algorithm
56×binary-search
1×left-value
Stop Event
48×narrow-enough
8×predicate-same
Results
729.0ms5274×body256valid
102.0ms886×body256infinite
34.0ms255×body256invalid
Compiler

Compiled 12456 to 8828 computations (29.1% saved)

analyze408.0ms (0.7%)

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