Herbie run

Date:Friday, July 14th, 2023
Commit:132e0c53 on result-filters
Hostname:nightly with Racket 8.6
Seed:2023195
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.0s (31.8%)

Results
14.8s29666×body1024valid
14.0s109788×body256valid
11.4s12909×body8192exit
5.0s5881×body2048valid
3.6s14858×body512valid
1.4s4124×body1024invalid
620.0ms4659×body256infinite
388.0ms1968×body512invalid
230.0ms2393×body256invalid
143.0ms1194×body256unsamplable
48.0ms126×body1024infinite
40.0ms142×body512infinite
1.0ms1×body2048invalid
Bogosity

localize22.2s (13.6%)

Compiler

Compiled 8337 to 3145 computations (62.3% saved)

soundness21.6s (13.2%)

Rules
71736×fma-def
49612×pow1
46702×add-exp-log
46644×log1p-expm1-u
46628×expm1-log1p-u
Stop Event
8×saturated
4×unsound
127×node limit
Compiler

Compiled 9639 to 5476 computations (43.2% saved)

eval14.5s (8.8%)

Compiler

Compiled 841603 to 397648 computations (52.8% saved)

simplify11.6s (7.1%)

Algorithm
103×egg-herbie
Rules
61576×fma-def
33138×associate-*l*
32394×associate-*r*
30416×times-frac
29898×log-prod
Stop Event
4×unsound
5×done
33×saturated
15×fuel
66×node limit
Counts
25078 → 19080
Compiler

Compiled 2023 to 1340 computations (33.8% saved)

regimes9.2s (5.6%)

Counts
3488 → 182
Calls

53 calls:

1.3s
a
1.3s
x
953.0ms
b
905.0ms
r
285.0ms
c
Compiler

Compiled 40657 to 18238 computations (55.1% saved)

prune8.5s (5.2%)

Counts
33193 → 1823
Compiler

Compiled 92378 to 58483 computations (36.7% saved)

analyze8.5s (5.2%)

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)

rewrite6.9s (4.2%)

Algorithm
63×batch-egg-rewrite
Rules
48768×pow1
45804×add-exp-log
45740×log1p-expm1-u
45730×expm1-log1p-u
42516×add-log-exp
Stop Event
63×node limit
Counts
463 → 16285

series3.1s (1.9%)

Counts
463 → 8773
Calls

2337 calls:

TimeVariablePointExpression
197.0ms
a
@-inf
(log.f64 (+.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) x))
94.0ms
y
@-inf
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (tan.f64 (+.f64 y z)))) (exp.f64 (tan.f64 a))))
88.0ms
x
@-inf
(/.f64 (-.f64 x lo) (-.f64 hi lo))
66.0ms
x
@-inf
(log.f64 (/.f64 (sinh.f64 x) x))
66.0ms
y
@-inf
(log.f64 (+.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) x))

bsearch2.0s (1.2%)

Algorithm
51×binary-search
6×left-value
Stop Event
48×narrow-enough
3×predicate-failed
Results
729.0ms4070×body256valid
637.0ms944×body1024valid
216.0ms2229×body256invalid
201.0ms695×body512valid
49.0ms65×body2048valid
46.0ms280×body256infinite
15.0ms56×body512infinite
9.0ms18×body1024infinite
1.0ms12×body256unsamplable
Compiler

Compiled 9289 to 6532 computations (29.7% saved)

end1.8s (1.1%)

Compiler

Compiled 4262 to 2206 computations (48.2% saved)

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

Profiling

Loading profile data...