Herbie run

Date:Tuesday, December 5th, 2023
Commit:7be24717 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.6
Seed:2023339
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: 55.3s)

sample12.0s (21.7%)

Results
9.5s65118×body256valid
1.2s7109×body256infinite
695.0ms2077×body1024valid
492.0ms1837×body256invalid
Bogosity

eval10.7s (19.3%)

Compiler

Compiled 496433 to 303694 computations (38.8% saved)

localize10.2s (18.4%)

Compiler

Compiled 5394 to 2747 computations (49.1% saved)

soundness6.2s (11.2%)

Rules
23092×fma-def
17130×associate-*r*
15338×fma-neg
14484×times-frac
12672×log-prod
Stop Event
2×saturated
30×node limit
Compiler

Compiled 2330 to 1358 computations (41.7% saved)

simplify3.8s (6.9%)

Algorithm
26×egg-herbie
Rules
15336×fma-def
10912×associate-*r*
9526×times-frac
9508×fma-neg
8160×log-prod
Stop Event
9×saturated
4×done
5×fuel
17×node limit
Counts
7322 → 6161
Compiler

Compiled 1291 to 838 computations (35.1% saved)

prune3.2s (5.7%)

Counts
13269 → 278
Compiler

Compiled 21015 to 14038 computations (33.2% saved)

preprocess2.5s (4.5%)

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 3482 to 2026 computations (41.8% saved)

rewrite2.5s (4.5%)

Algorithm
17×batch-egg-rewrite
Rules
8849×log1p-expm1-u
6706×expm1-udef
6282×log1p-udef
5332×prod-diff
5201×expm1-log1p-u
Stop Event
17×node limit
Counts
129 → 4621

regimes2.0s (3.6%)

Counts
428 → 92
Calls

22 calls:

324.0ms
b
317.0ms
x
237.0ms
y
203.0ms
z
198.0ms
c
Compiler

Compiled 8042 to 4603 computations (42.8% saved)

bsearch1.1s (2%)

Algorithm
55×binary-search
1×left-value
Stop Event
51×narrow-enough
4×predicate-same
Results
776.0ms5480×body256valid
116.0ms808×body256infinite
106.0ms641×body256invalid
Compiler

Compiled 11808 to 8587 computations (27.3% saved)

analyze647.0ms (1.2%)

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 112 computations (30.4% saved)

series549.0ms (1%)

Counts
129 → 2701
Calls

810 calls:

TimeVariablePointExpression
29.0ms
c
@0
(log.f64 (*.f64 c (*.f64 2 (/.f64 a b))))
28.0ms
a
@0
(log.f64 (*.f64 c (*.f64 2 (/.f64 a b))))
27.0ms
n
@0
(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)
15.0ms
b
@-inf
(log.f64 (*.f64 c (*.f64 2 (/.f64 a b))))
15.0ms
a
@-inf
(log.f64 (*.f64 c (*.f64 2 (/.f64 a b))))

end1.0ms (0%)

Profiling

Loading profile data...