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: 2.4min)

sample45.1s (31.9%)

Results
13.2s82556×body256valid
12.6s16952×body1024valid
9.6s3238×body8192exit
3.2s7046×body512valid
2.8s4934×body1024invalid
892.0ms2480×body512invalid
865.0ms774×body2048valid
774.0ms3303×body256infinite
340.0ms2223×body256invalid
141.0ms224×body1024infinite
131.0ms260×body512infinite
60.0ms144×body256unsamplable
7.0ms9×body2048invalid
Bogosity

regimes20.6s (14.6%)

Counts
3603 → 131
Calls

38 calls:

2.5s
r
2.4s
a
1.9s
x
1.5s
b
1.5s
(tan.f64 a)
Compiler

Compiled 46422 to 17885 computations (61.5% saved)

simplify15.9s (11.3%)

Algorithm
198×egg-herbie
Rules
60103×fma-def_binary64
33559×associate-*l*_binary64
30924×associate-*r*_binary64
29360×unswap-sqr_binary64
28492×fma-neg_binary64
Stop Event
80×saturated
13×fuel
118×node limit
Counts
24566 → 20172
Compiler

Compiled 1708 to 966 computations (43.4% saved)

rewrite14.5s (10.3%)

Algorithm
172×batch-egg-rewrite
16×egg-rewrite-iter-limit
14×egg-rewrite
Rules
65008×pow1_binary64
60789×add-log-exp_binary64
60732×expm1-log1p-u_binary64
60731×log1p-expm1-u_binary64
59542×add-exp-log_binary64
Stop Event
22×unsound
16×iter limit
164×node limit
Counts
413 → 16938

analyze12.0s (8.5%)

Algorithm
13×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%76.9%23.1%0%0%0%0
0%0%76.9%23.1%0%0%0%1
0%0%76.9%23.1%0%0%0%2
30%23.1%53.8%23.1%0%0%0%3
42.5%32.7%44.2%23.1%0%0%0%4
50%38.4%38.4%23.1%0%0%0%5
54%40.8%34.8%23.1%0.7%0%0.5%6
59%44.6%31%23.1%0.8%0%0.5%7
61.7%46.2%28.7%23.1%1.3%0%0.7%8
64.4%48.1%26.6%23.1%1.4%0%0.7%9
66.8%49.6%24.7%23.1%1.7%0.1%0.8%10
68.3%50.5%23.5%23.1%1.9%0.1%0.8%11
69.5%51.3%22.5%23.1%2.1%0.1%0.9%12
Compiler

Compiled 211 to 152 computations (28% saved)

eval11.5s (8.1%)

Compiler

Compiled 547218 to 223362 computations (59.2% saved)

prune7.5s (5.3%)

Counts
25140 → 1588
Compiler

Compiled 43673 to 28530 computations (34.7% saved)

localize4.3s (3%)

Compiler

Compiled 6930 to 2991 computations (56.8% saved)

series4.1s (2.9%)

Counts
413 → 7615
Calls

2091 calls:

TimeVariablePointExpression
163.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
153.0ms
x
@-inf
(pow.f64 (*.f64 2 (*.f64 x x)) 1/4)
151.0ms
a
@inf
(*.f64 (sin.f64 b) a)
134.0ms
x
@-inf
(log.f64 (*.f64 x (neg.f64 (sqrt.f64 2))))
134.0ms
x
@inf
(-.f64 x (tan.f64 a))

bsearch2.2s (1.6%)

Algorithm
43×binary-search
13×left-value
Compiler

Compiled 1212 to 839 computations (30.8% saved)

soundness1.7s (1.2%)

Algorithm
16×egg-herbie
Rules
5653×fma-def_binary64
4423×unswap-sqr_binary64
4407×sqr-pow_binary64
3462×associate-*l*_binary64
2886×fabs-mul_binary64
Stop Event
5×saturated
11×node limit
Compiler

Compiled 757 to 507 computations (33% saved)

preprocess1.0s (0.7%)

Algorithm
26×egg-herbie
Rules
3008×associate-/l/_binary64
2814×unswap-sqr_binary64
2779×sqr-pow_binary64
2390×fma-neg_binary64
2335×fma-def_binary64
Stop Event
2×unsound
18×saturated
6×node limit
Compiler

Compiled 153 to 113 computations (26.1% saved)

end793.0ms (0.6%)

Compiler

Compiled 1656 to 626 computations (62.2% saved)

Profiling

Loading profile data...