Herbie run

Date:Thursday, October 5th, 2023
Commit:d0ce0259 on arb-support
Hostname:nightly with Racket 8.6
Seed:2023278
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: 5.5min)

sample2.4min (42.8%)

Results
1.2min43243×body8192exit
16.9s30264×body1024valid
16.2s66116×body256valid
12.5s22157×body2048valid
7.3s16156×body512valid
4.9s32118×body256precondition
4.5s18953×body256invalid
3.3s6461×body4096valid
1.9s6065×body256infinite
1.1s2759×body1024invalid
882.0ms2856×body512invalid
536.0ms1372×body512infinite
19.0ms8×body8192valid
5.0ms5×body8192invalid
3.0ms4×body4096invalid
2.0ms4×body2048infinite
2.0ms7×body2048invalid
2.0ms5×body1024infinite
Bogosity

analyze1.0min (18.5%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%85%15%0%0%0%0
0%0%169.7%-69.7%0%0%0%1
0%0%339.2%-239.2%0%0%0%2
0.7%4.8%668.3%-573.1%0%0%0%3
0.7%9.6%1326.4%-1236%0%0%0%4
0.5%14.3%2641.2%-2555.6%0%0%0%5
0.4%19.1%5270.4%-5189.6%0%0%0%6
0.2%23.9%10526.6%-10450.5%0%0%0%7
0.1%28.7%21034.3%-20963%0%0%0%8
0.1%33.5%42035.1%-41968.6%0%0%0%9
0%38.3%84024.2%-83962.5%0%0%0%10
0%43.1%167966.1%-167909.1%0%0%0%11
0%47.8%335777.1%-335725%0%0%0%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

localize41.4s (12.5%)

Compiler

Compiled 7100 to 2516 computations (64.6% saved)

soundness19.8s (6%)

Rules
39236×fma-def
29364×times-frac
27298×associate-*r*
25816×unswap-sqr
24124×log-prod
Stop Event
8×saturated
74×node limit
Compiler

Compiled 5123 to 2781 computations (45.7% saved)

eval15.8s (4.8%)

Compiler

Compiled 536413 to 232488 computations (56.7% saved)

simplify13.3s (4%)

Algorithm
85×egg-herbie
Rules
48446×fma-def
29226×associate-*r*
29202×log-prod
24876×unswap-sqr
24600×associate-*l*
Stop Event
29×saturated
7×done
11×fuel
56×node limit
Counts
18034 → 14122
Compiler

Compiled 1079 to 692 computations (35.9% saved)

prune11.0s (3.3%)

Counts
21372 → 1335
Compiler

Compiled 74871 to 45859 computations (38.7% saved)

regimes10.8s (3.3%)

Counts
1824 → 93
Calls

48 calls:

1.8s
a
996.0ms
x
837.0ms
(tan.f64 a)
685.0ms
z
667.0ms
b
Compiler

Compiled 24045 to 9635 computations (59.9% saved)

rewrite7.6s (2.3%)

Algorithm
49×batch-egg-rewrite
Rules
36678×pow1
34318×add-exp-log
34262×log1p-expm1-u
34254×expm1-log1p-u
33868×add-log-exp
Stop Event
49×node limit
Counts
351 → 11309

series3.9s (1.2%)

Counts
351 → 6707
Calls

1791 calls:

TimeVariablePointExpression
304.0ms
b
@-inf
(log.f64 (*.f64 (sin.f64 b) (/.f64 r (cos.f64 a))))
194.0ms
y
@inf
(log1p.f64 (tan.f64 (+.f64 y z)))
146.0ms
l
@-inf
(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
133.0ms
y
@-inf
(log1p.f64 (tan.f64 (+.f64 y z)))
120.0ms
b
@inf
(log.f64 (*.f64 (sin.f64 b) (/.f64 r (cos.f64 a))))

preprocess3.7s (1.1%)

Algorithm
18×egg-herbie
Rules
15002×fma-def
8804×fma-neg
4816×distribute-lft-neg-in
4124×sub-neg
3856×distribute-rgt-in
Stop Event
11×saturated
7×node limit
Compiler

Compiled 3467 to 1899 computations (45.2% saved)

bsearch569.0ms (0.2%)

Algorithm
15×binary-search
6×left-value
Stop Event
15×narrow-enough
Results
183.0ms176×body8192exit
157.0ms903×body256valid
81.0ms264×body1024valid
63.0ms262×body256infinite
49.0ms172×body512valid
5.0ms15×body2048valid
Compiler

Compiled 2898 to 2035 computations (29.8% saved)

end1.0ms (0%)

Profiling

Loading profile data...