\set ECHO none
add_provenance

(1 row)
add_provenance

(1 row)
rows|sum_prob|provsql
2 (*)|1.632000 (*)|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
remove_provenance

(1 row)
rows|sum_p
2 (*)|1.632000 (*)
(1 row)
remove_provenance

(1 row)
rows|prob_positive
2 (*)|t
(1 row)
remove_provenance

(1 row)
id|p
0|0.816000
1|0.816000
(2 rows)
max|provsql
4 (*)|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
sum|provsql
8 (*)|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
count|provsql
2 (*)|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
remove_provenance

(1 row)
groups_kept
2 (*)
(1 row)
groups|provsql
2 (*)|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
WARNING:  ProvSQL: aggregate of an aggregate result of another kind (an avg of a count, a max of a sum): provenance not tracked, although the statement tracks l_nested
DETAIL:  provsql-reason: aggregate-over-aggregate; scope: gap
HINT:  Mark the inner aggregate plain() to say so.
remove_provenance

(1 row)
WARNING:  ProvSQL: converting agg_token to text: provenance information is lost
DETAIL:  provsql-reason: stored-agg-token-conversion; scope: deliberate
sum_times|sum_of_times|avg_times|max_plus|min_minus
8000.0|8000.0|8.0000000000000000|5|3
(1 row)
sum_times|sum_of_times|avg_times|max_plus|min_minus
8000.0|8000.0|8.0000000000000000|5|3
(1 row)
remove_provenance

(1 row)
e_times|e_sum
4015.686275|4.015686
(1 row)
remove_provenance

(1 row)
s
4
(1 row)
s
4
(1 row)
ERROR:  ProvSQL: the NULL-ness of an aggregate of aggregate results (a COALESCE or IS [NOT] NULL over it) is not supported
DETAIL:  provsql-reason: null-test-aggregate-of-aggregates; scope: gap
ERROR:  ProvSQL: the NULL-ness of an aggregate of aggregate results (a COALESCE or IS [NOT] NULL over it) is not supported
DETAIL:  provsql-reason: null-test-aggregate-of-aggregates; scope: gap
ERROR:  ProvSQL: the NULL-ness of an aggregate of aggregate results (a COALESCE or IS [NOT] NULL over it) is not supported
DETAIL:  provsql-reason: null-test-aggregate-of-aggregates; scope: gap
remove_provenance

(1 row)
remove_provenance

(1 row)