Herbie run

Date:Tuesday, July 11th, 2023
Commit:26f8dd61 on result-filters
Hostname:nightly with Racket 8.6
Seed:2023192
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: 2.7min)

sample52.1s (32.3%)

Results
13.2s109414×body256valid
13.1s29839×body1024valid
13.0s12799×body8192exit
5.1s5821×body2048valid
4.0s14987×body512valid
1.6s4158×body1024invalid
697.0ms4740×body256infinite
446.0ms1969×body512invalid
238.0ms2359×body256invalid
145.0ms1228×body256unsamplable
141.0ms143×body1024infinite
52.0ms176×body512infinite
4.0ms8×body2048invalid
2.0ms1×body8192invalid
1.0ms1×body4096invalid
Bogosity

localize24.1s (14.9%)

Compiler

Compiled 8284 to 3272 computations (60.5% saved)

soundness19.2s (12%)

Rules
62236×fma-def
48080×pow1
46092×log-prod
45012×add-exp-log
44976×log1p-expm1-u
Stop Event
6×saturated
4×unsound
123×node limit
Compiler

Compiled 12251 to 6147 computations (49.8% saved)

eval13.7s (8.5%)

Compiler

Compiled 851982 to 398751 computations (53.2% saved)

simplify11.8s (7.3%)

Algorithm
102×egg-herbie
Rules
58242×fma-def
35496×associate-*r*
30274×log-prod
29758×associate-*l*
26858×unswap-sqr
Stop Event
4×unsound
4×done
33×saturated
16×fuel
65×node limit
Counts
24445 → 18401
Compiler

Compiled 1936 to 1250 computations (35.4% saved)

regimes9.2s (5.7%)

Counts
3402 → 157
Calls

53 calls:

1.3s
x
1.1s
b
1.0s
a
517.0ms
r
445.0ms
hi
Compiler

Compiled 46112 to 20893 computations (54.7% saved)

analyze8.7s (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)

prune8.6s (5.3%)

Counts
34219 → 1765
Compiler

Compiled 99490 to 62117 computations (37.6% saved)

rewrite6.4s (4%)

Algorithm
62×batch-egg-rewrite
Rules
48652×pow1
45628×add-exp-log
45568×log1p-expm1-u
45550×expm1-log1p-u
45022×add-log-exp
Stop Event
1×unsound
61×node limit
Counts
466 → 15151

series3.1s (1.9%)

Counts
466 → 9274
Calls

2376 calls:

TimeVariablePointExpression
289.0ms
y
@inf
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (exp.f64 x)))
247.0ms
b
@inf
(/.f64 (pow.f64 (pow.f64 (*.f64 (sin.f64 b) r) 3) 1/3) (cos.f64 (+.f64 b a)))
94.0ms
x
@inf
(/.f64 (-.f64 x lo) (-.f64 hi lo))
86.0ms
x
@-inf
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (exp.f64 x)))
84.0ms
x
@0
(*.f64 2 (*.f64 x x))

preprocess1.5s (0.9%)

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.4s (0.9%)

Compiler

Compiled 4144 to 2176 computations (47.5% saved)

bsearch1.2s (0.8%)

Algorithm
43×binary-search
9×left-value
Stop Event
39×narrow-enough
4×predicate-failed
Results
341.0ms2284×body256valid
337.0ms465×body2048valid
258.0ms565×body1024valid
101.0ms929×body256invalid
95.0ms342×body512valid
26.0ms167×body256infinite
4.0ms13×body512infinite
2.0ms18×body256unsamplable
Compiler

Compiled 5719 to 3982 computations (30.4% saved)

Profiling

Loading profile data...