Herbie run

Date:Friday, June 16th, 2023
Commit:a13ffd81 on redesign-details
Hostname:nightly with Racket 8.6
Seed:2023167
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

Details

Time bar (total: 2.6min)

sample49.6s (31.5%)

Results
14.0s109827×body256valid
11.8s29457×body1024valid
11.7s13121×body8192exit
4.9s5797×body2048valid
3.9s15010×body512valid
1.3s3973×body1024invalid
693.0ms4722×body256infinite
384.0ms1961×body512invalid
234.0ms2471×body256invalid
196.0ms1241×body256unsamplable
60.0ms146×body1024infinite
42.0ms161×body512infinite
3.0ms1×body8192invalid
1.0ms1×body4096invalid
1.0ms1×body2048invalid
Bogosity

localize22.3s (14.2%)

Compiler

Compiled 7917 to 3344 computations (57.8% saved)

soundness20.0s (12.7%)

Rules
67226×fma-def
52530×log-prod
44250×pow1
41766×add-exp-log
41744×log1p-expm1-u
Stop Event
9×saturated
120×node limit
Compiler

Compiled 10477 to 6008 computations (42.7% saved)

eval13.6s (8.7%)

Compiler

Compiled 725302 to 363846 computations (49.8% saved)

simplify12.5s (7.9%)

Algorithm
103×egg-herbie
Rules
65164×fma-def
40126×log-prod
34468×associate-*r*
30692×associate-*l*
27994×distribute-lft-in
Stop Event
3×unsound
5×done
33×saturated
15×fuel
67×node limit
Counts
25388 → 18535
Compiler

Compiled 1784 to 1235 computations (30.8% saved)

analyze8.5s (5.4%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
47.5%35%38.7%26.3%0%0%0%2
56%41.2%32.5%26.3%0%0%0%3
65.3%48.1%25.6%26.3%0%0%0%4
68.7%50%22.8%26.3%0%0.9%0%5
70.3%50.9%21.5%26.3%0%1.1%0.2%6
74.5%53.6%18.3%26.3%0%1.6%0.2%7
75.5%54.1%17.6%26.3%0%1.8%0.2%8
77.7%55.5%15.9%26.3%0%2%0.2%9
79.1%56.4%14.9%26.3%0%2.2%0.3%10
79.8%56.8%14.3%26.3%0%2.3%0.3%11
80.5%57.2%13.8%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

regimes7.9s (5.1%)

Counts
2716 → 167
Calls

55 calls:

1.4s
a
1.0s
x
784.0ms
b
631.0ms
r
371.0ms
(tan.f64 a)
Compiler

Compiled 32259 to 14751 computations (54.3% saved)

prune7.9s (5%)

Counts
30400 → 1552
Compiler

Compiled 79997 to 51545 computations (35.6% saved)

rewrite6.9s (4.4%)

Algorithm
63×batch-egg-rewrite
Rules
53186×pow1
49710×add-exp-log
49642×log1p-expm1-u
49630×expm1-log1p-u
43076×add-log-exp
Stop Event
1×unsound
62×node limit
Counts
497 → 15673

series2.8s (1.8%)

Counts
497 → 9695
Calls

2613 calls:

TimeVariablePointExpression
175.0ms
z
@-inf
(-.f64 (tan.f64 (+.f64 y z)) (neg.f64 x))
102.0ms
x
@inf
(log.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) 1)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) 1)))))))
101.0ms
x
@inf
(/.f64 (-.f64 x lo) (-.f64 hi lo))
79.0ms
x
@0
(log.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) 1)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) 1)))))))
78.0ms
b
@inf
(log.f64 (*.f64 (sin.f64 b) (/.f64 r (fabs.f64 (cos.f64 (+.f64 a b))))))

preprocess1.7s (1.1%)

Algorithm
40×egg-herbie
Rules
12706×fma-def
6350×sqr-pow
6278×associate-/l/
5720×unswap-sqr
3572×associate-*r*
Stop Event
3×unsound
29×saturated
8×node limit
Compiler

Compiled 221 to 162 computations (26.7% saved)

end1.7s (1.1%)

Compiler

Compiled 3812 to 2146 computations (43.7% saved)

bsearch1.7s (1.1%)

Algorithm
48×binary-search
5×left-value
Stop Event
45×narrow-enough
3×predicate-failed
Results
614.0ms3940×body256valid
541.0ms761×body1024valid
152.0ms2056×body256invalid
142.0ms364×body512valid
56.0ms83×body2048valid
55.0ms343×body256infinite
2.0ms4×body1024infinite
1.0ms2×body512infinite
Compiler

Compiled 7408 to 5440 computations (26.6% saved)

Profiling

Loading profile data...