Date:Friday, May 12th, 2023
Commit:471e4502 on rr-proofs
Hostname:nightly with Racket 8.6
Seed:2023131
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: 7.3min)

sample1.6min (21.1%)

Results
48.5s297014×body256valid
19.6s14985×body2048valid
11.2s21636×body1024valid
5.4s19426×body256infinite
4.7s12257×body512valid
1.6s202×body8192exit
642.0ms860×body4096valid
366.0ms3043×body256invalid
154.0ms205×body1024infinite
107.0ms446×body256unsamplable
107.0ms243×body512infinite
26.0ms22×body2048infinite
Bogosity

eval1.3min (18.2%)

Compiler

Compiled 3451236 to 2003130 computations (42% saved)

rewrite1.1min (14.6%)

Algorithm
414×batch-egg-rewrite
Rules
285240×add-sqr-sqrt
279478×*-un-lft-identity
263524×add-cube-cbrt
255072×add-cbrt-cube
160362×add-exp-log
Stop Event
414×node limit
Counts
939 → 51769

simplify1.0min (13.8%)

Algorithm
498×egg-herbie
Rules
266820×associate-*r*
245432×associate-/l*
244946×*-commutative
242490×distribute-lft-in
234598×associate-*l*
Stop Event
12×done
3×unsound
58×saturated
30×fuel
437×node limit
Counts
70606 → 87448
Compiler

Compiled 8998 to 5572 computations (38.1% saved)

regimes39.2s (8.9%)

Counts
5679 → 633
Calls

94 calls:

7.4s
a
6.0s
b
5.4s
c
3.6s
d
1.7s
x
Compiler

Compiled 93273 to 51371 computations (44.9% saved)

prune37.3s (8.5%)

Counts
108102 → 2375
Compiler

Compiled 76913 to 51166 computations (33.5% saved)

localize17.1s (3.9%)

Compiler

Compiled 33271 to 18771 computations (43.6% saved)

soundness13.9s (3.2%)

Rules
42660×*-commutative
38372×distribute-lft-in
36670×associate-/r*
35414×associate-*r*
33502×fma-def
Stop Event
6×saturated
79×node limit
Compiler

Compiled 9786 to 5888 computations (39.8% saved)

bsearch12.4s (2.8%)

Algorithm
370×binary-search
4×left-value
Stop Event
353×narrow-enough
17×predicate-same
Results
7.3s39821×body256valid
1.6s2738×body1024valid
677.0ms705×body2048valid
610.0ms2096×body512valid
433.0ms3821×body256invalid
357.0ms553×body1024infinite
314.0ms1790×body256infinite
167.0ms443×body512infinite
Compiler

Compiled 86660 to 60126 computations (30.6% saved)

analyze11.4s (2.6%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
6.4%3.5%51%45.5%0%0%0%1
6.4%3.5%51%45.5%0%0%0%2
20.5%10.9%42.4%45.5%0%1.2%0%3
26.9%14.3%38.7%45.5%0%1.5%0%4
34.9%18.2%34%45.6%0.6%1.7%0%5
38.2%19.4%31.4%45.6%1.9%1.7%0%6
44.8%22%27.2%45.6%3%2.2%0%7
48.2%23.4%25.2%45.7%3.6%2.2%0.1%8
52.7%25%22.5%45.7%4.1%2.5%0.1%9
57.3%26.9%20%45.7%4.5%2.7%0.2%10
61%28.3%18%45.7%4.9%2.8%0.2%11
64.7%29.7%16.2%45.7%5.2%2.9%0.3%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

end4.6s (1%)

Compiler

Compiled 8598 to 4481 computations (47.9% saved)

series3.4s (0.8%)

Counts
939 → 18795
Calls

5157 calls:

TimeVariablePointExpression
85.0ms
n
@0
(log.f64 (/.f64 i n))
62.0ms
c
@-inf
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)
58.0ms
c
@inf
(*.f64 (*.f64 a 2) (/.f64 1 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))) b)))
47.0ms
n
@-inf
(-.f64 (log.f64 (/.f64 -1 n)) (log.f64 (/.f64 -1 i)))
44.0ms
t
@0
(pow.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)

preprocess3.1s (0.7%)

Algorithm
84×egg-herbie
Rules
23512×fma-def
17930×distribute-lft-in
17024×*-commutative
15010×+-commutative
14462×distribute-rgt-in
Stop Event
5×unsound
54×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

Profiling

Loading profile data...