Date:Saturday, November 26th, 2022
Commit:ce9ba413 on main
Hostname:nightly with Racket 8.6
Seed:2022330
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: 1.9min)

sample36.2s (32%)

Results
10.4s16958×body1024valid
9.9s82619×body256valid
8.0s3127×body8192exit
2.7s6941×body512valid
2.5s5037×body1024invalid
787.0ms810×body2048valid
768.0ms2440×body512invalid
550.0ms3391×body256infinite
289.0ms2226×body256invalid
94.0ms223×body1024infinite
67.0ms240×body512infinite
25.0ms144×body256unsamplable
4.0ms6×body2048invalid
3.0ms2×body4096invalid
Bogosity

regimes14.2s (12.6%)

Counts
3912 → 160
Calls

38 calls:

2.2s
x
1.6s
s
1.6s
a
1.3s
r
1.1s
b
Compiler

Compiled 47442 to 18957 computations (60% saved)

simplify12.7s (11.3%)

Algorithm
164×egg-herbie
Rules
48655×fma-def_binary64
36385×fma-neg_binary64
35913×log-prod_binary64
31715×unswap-sqr_binary64
27158×distribute-rgt-in_binary64
Stop Event
9×unsound
21×saturated
13×fuel
134×node limit
Counts
22189 → 22548
Compiler

Compiled 2031 to 1132 computations (44.3% saved)

eval11.6s (10.2%)

Compiler

Compiled 716151 to 293992 computations (58.9% saved)

rewrite9.0s (8%)

Algorithm
138×batch-egg-rewrite
Rules
51357×pow1_binary64
47751×add-log-exp_binary64
47714×expm1-log1p-u_binary64
47710×log1p-expm1-u_binary64
44062×log-prod_binary64
Stop Event
138×node limit
Counts
340 → 14319

analyze8.9s (7.9%)

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)

prune8.1s (7.2%)

Counts
27739 → 1588
Compiler

Compiled 41263 to 26829 computations (35% saved)

series3.1s (2.7%)

Counts
340 → 7857
Calls

2115 calls:

TimeVariablePointExpression
175.0ms
a
@-inf
(exp.f64 (+.f64 (log.f64 (/.f64 (sin.f64 b) (neg.f64 (cos.f64 (+.f64 b a))))) (log.f64 (neg.f64 r))))
102.0ms
a
@-inf
(log.f64 (/.f64 (sin.f64 b) (/.f64 (cos.f64 (+.f64 a b)) r)))
87.0ms
a
@-inf
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (-.f64 (+.f64 x (tan.f64 (+.f64 z y))) (tan.f64 a))))))
82.0ms
a
@inf
(/.f64 (cos.f64 (+.f64 b a)) r)
81.0ms
b
@-inf
(exp.f64 (+.f64 (log.f64 (/.f64 (sin.f64 b) (neg.f64 (cos.f64 (+.f64 b a))))) (log.f64 (neg.f64 r))))

bsearch2.6s (2.3%)

Algorithm
70×binary-search
6×left-value
Results
1.0s5278×body256valid
523.0ms834×body2048valid
484.0ms1028×body1024valid
169.0ms885×body256infinite
144.0ms444×body512valid
99.0ms707×body256invalid
22.0ms46×body1024infinite
14.0ms115×body256unsamplable
9.0ms31×body512infinite
Compiler

Compiled 13243 to 8743 computations (34% saved)

soundness2.5s (2.2%)

Algorithm
26×egg-herbie
Rules
8090×unswap-sqr_binary64
6258×fma-def_binary64
5802×*-commutative_binary64
5541×log-prod_binary64
5285×associate-*l*_binary64
Stop Event
4×saturated
22×node limit
Compiler

Compiled 3854 to 2917 computations (24.3% saved)

localize2.3s (2.1%)

Compiler

Compiled 6019 to 2188 computations (63.6% saved)

preprocess934.0ms (0.8%)

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)

end831.0ms (0.7%)

Compiler

Compiled 1964 to 750 computations (61.8% saved)

Profiling

Loading profile data...