Date:Friday, November 4th, 2022
Commit:3b7366bf on main
Hostname:warfa with Racket 8.6
Seed:2022308
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:simplify
default

Details

Time bar (total: 5.4min)

sample2.0min (37.5%)

Results
47.1s36849×body2048valid
41.2s66108×body1024valid
15.2s91289×body256valid
11.6s34746×body512valid
1.8s2175×body4096valid
1.8s1473×body1024invalid
929.0ms5758×body256invalid
507.0ms2950×body256infinite
408.0ms755×body512invalid
370.0ms198×body1024infinite
302.0ms473×body1024unsamplable
240.0ms1109×body256unsamplable
217.0ms309×body2048unsamplable
140.0ms226×body512infinite
69.0ms222×body512unsamplable
12.0ms8×body2048invalid
3.0ms1×body8192valid
3.0ms3×body2048infinite
Bogosity

regimes43.2s (13.2%)

Counts
5752 → 377
Calls

43 calls:

8.5s
x
5.8s
c
5.6s
eps
5.3s
a
3.1s
(/.f64 1 n)
Compiler

Compiled 65628 to 35755 computations (45.5% saved)

eval35.2s (10.8%)

Compiler

Compiled 1322249 to 707503 computations (46.5% saved)

simplify32.2s (9.8%)

Algorithm
384×egg-herbie
Rules
141388×fma-def_binary64
84133×associate-*l*_binary64
77572×unswap-sqr_binary64
73596×fma-neg_binary64
67542×associate-*r*_binary64
Stop Event
3×done
1×unsound
119×saturated
25×fuel
264×node limit
Counts
48620 → 44775
Compiler

Compiled 4451 to 2938 computations (34% saved)

rewrite31.0s (9.5%)

Algorithm
328×batch-egg-rewrite
6×egg-rewrite
3×egg-rewrite-iter-limit
Rules
130004×pow1_binary64
122235×add-log-exp_binary64
122175×expm1-log1p-u_binary64
122156×log1p-expm1-u_binary64
105321×add-exp-log_binary64
Stop Event
5×unsound
3×iter limit
329×node limit
Counts
771 → 37147

prune16.9s (5.2%)

Counts
56682 → 2412
Compiler

Compiled 56705 to 40086 computations (29.3% saved)

bsearch15.1s (4.6%)

Algorithm
155×binary-search
39×left-value
Compiler

Compiled 11949 to 8734 computations (26.9% saved)

localize9.1s (2.8%)

Compiler

Compiled 14839 to 7589 computations (48.9% saved)

analyze5.7s (1.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
11.8%10.7%80.2%9.1%0%0%0%1
16%14.2%74.9%9.1%0%1.8%0%2
34.9%29.6%55.3%9.1%1.6%4.5%0%3
43.8%35.9%45.9%9.1%2.9%5.4%0.9%4
51.1%40.9%39.1%9.1%3.5%6%1.3%5
54.8%43.3%35.7%9.1%4%6.4%1.6%6
57.8%44.9%32.7%9.1%4.2%7.2%1.9%7
60.1%46.4%30.8%9.1%4.4%7.4%2%8
62.1%47.4%28.9%9.1%4.7%7.8%2.1%9
64%48.4%27.2%9.1%4.9%8.4%2.2%10
66%49.5%25.5%9.1%5.1%8.6%2.3%11
67.9%50.6%23.8%9.1%5.3%8.9%2.3%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

series5.7s (1.7%)

Counts
771 → 11445
Calls

3582 calls:

TimeVariablePointExpression
144.0ms
b
@inf
(+.f64 (/.f64 1 b) (*.f64 eps -1/2))
136.0ms
eps
@0
(/.f64 (+.f64 a b) (*.f64 a (*.f64 b eps)))
125.0ms
b
@0
(/.f64 (+.f64 b a) (*.f64 b a))
113.0ms
eps
@-inf
(-.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (+.f64 x eps)))) 1) (cos.f64 x))
88.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 a))) (log.f64 (neg.f64 c)))))

soundness5.4s (1.7%)

Algorithm
42×egg-herbie
Rules
18243×fma-def_binary64
12894×fma-neg_binary64
12204×times-frac_binary64
9884×associate-*l*_binary64
9375×associate-/l*_binary64
Stop Event
12×saturated
30×node limit
Compiler

Compiled 3864 to 2831 computations (26.7% saved)

end3.1s (0.9%)

Compiler

Compiled 4346 to 2447 computations (43.7% saved)

preprocess2.0s (0.6%)

Algorithm
56×egg-herbie
Rules
8011×fma-def_binary64
7975×fma-neg_binary64
4152×div-sub_binary64
4046×distribute-rgt-in_binary64
3668×associate-/l*_binary64
Stop Event
2×unsound
43×saturated
11×node limit
Compiler

Compiled 368 to 279 computations (24.2% saved)

Profiling

Loading profile data...