Metrics for Isotropic LOD (LOD)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze982.0ms (24.8%)

Memory

6.6MiB live, 420.3MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
0%	0%	0%	100%	0%	0%	0%	1
0%	0%	0%	100%	0%	0%	0%	2
0%	0%	0%	100%	0%	0%	0%	3
0%	0%	0%	100%	0%	0%	0%	4
0%	0%	0%	100%	0%	0%	0%	5
0%	0%	0%	100%	0%	0%	0%	6

Compiler

Compiled 145 to 78 computations (46.2% saved)

sample84.0ms (2.1%)

Memory

2.9MiB live, 39.5MiB allocated

Samples

61.0ms

260×

valid

Precisions

Click to see histograms. Total time spent on operations: 50.0ms

ival-mult: 15.0ms (29.9% of total)

ival-<=: 9.0ms (17.9% of total)

ival-fabs: 7.0ms (13.9% of total)

const: 4.0ms (8% of total)

ival-add: 3.0ms (6% of total)

ival-floor: 3.0ms (6% of total)

ival-log2: 3.0ms (6% of total)

ival-and: 2.0ms (4% of total)

ival-fmax: 1.0ms (2% of total)

ival-sqrt: 1.0ms (2% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

Bogosity

explain2.8s (70.4%)

Memory

3.2MiB live, 2 201.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
84	-	-	`(sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w)))))`
0	-	-	`(+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v)))`
0	-	-	`(.f32 (.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w))`
0	-	-	`(.f32 (.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w))`
0	-	-	`d`
0	-	-	`(fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w))))`
0	-	-	`(*.f32 (floor.f32 h) dY.v)`
0	-	-	`(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w))))))`
0	-	-	`(*.f32 (floor.f32 w) dY.u)`
0	-	-	`(*.f32 (floor.f32 d) dX.w)`
0	-	-	`dX.w`
0	-	-	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`
0	-	-	`dX.v`
0	-	-	`(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))`
0	-	-	`dY.u`
0	-	-	`(floor.f32 w)`
0	-	-	`(floor.f32 d)`
0	-	-	`(*.f32 (floor.f32 d) dY.w)`
0	-	-	`(*.f32 (floor.f32 w) dX.u)`
0	-	-	`dY.w`
0	-	-	`(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))`
0	-	-	`(+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w)))`
0	-	-	`(+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))`
0	-	-	`(*.f32 (floor.f32 h) dX.v)`
0	-	-	`(floor.f32 h)`
0	-	-	`(+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w)))`
0	-	-	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`
0	-	-	`w`
0	-	-	`dY.v`
0	-	-	`dX.u`
0	-	-	`h`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f32`	`(sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w)))))`	oflow-rescue	84	0
↳	`(.f32 (.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))`	overflow	18
↳	`(fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w))))`	overflow	84
↳	`(+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v)))`	overflow	32
↳	`(.f32 (.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))`	overflow	22
↳	`(.f32 (.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u))`	overflow	17
↳	`(+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v)))`	overflow	36
↳	`(.f32 (.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u))`	overflow	16
↳	`(+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w)))`	overflow	53
↳	`(.f32 (.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w))`	overflow	7
↳	`(+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w)))`	overflow	39
↳	`(.f32 (.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w))`	overflow	19

Confusion

	Predicted +	Predicted -
+	84	0
-	0	172

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	84	0	0
-	0	0	172

Precision?

1.0

Recall?

1.0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	172
1	84

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Total Time

18.505615234375

Average Time

0.07228755950927734

Samples

480.0ms	3 024×	0	valid
17.0ms	48×	1	valid

Compiler

Compiled 14 040 to 1 512 computations (89.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 332.0ms

ival-mult: 178.0ms (53.7% of total)

ival-floor: 44.0ms (13.3% of total)

ival-add: 42.0ms (12.7% of total)

ival-log2: 30.0ms (9% of total)

ival-sqrt: 17.0ms (5.1% of total)

ival-fmax: 14.0ms (4.2% of total)

adjust: 3.0ms (0.9% of total)

ival-true: 2.0ms (0.6% of total)

ival-assert: 1.0ms (0.3% of total)

preprocess61.0ms (1.6%)

Memory

-1.0MiB live, 14.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	458	3351
1	1236	3327
2	2692	3327
3	5196	3327
0	31	61
0	53	61
1	106	61
2	193	61
3	200	61
0	200	57

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w))))))

Inputs

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))) (*.f32 (*.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u)) (*.f32 (*.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))) (*.f32 (*.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w))))))

Outputs
(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w))))))
(log2.f32 (sqrt.f32 (fmax.f32 (fma.f32 (.f32 (.f32 dX.w (floor.f32 d)) dX.w) (floor.f32 d) (fma.f32 (.f32 (.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w) (.f32 (.f32 (.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h)))) (fma.f32 (.f32 (.f32 dY.w (floor.f32 d)) dY.w) (floor.f32 d) (fma.f32 (.f32 (.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (.f32 (.f32 (.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h)))))))

Outputs

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))) (*.f32 (*.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u)) (*.f32 (*.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))) (*.f32 (*.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w))))))

(log2.f32 (sqrt.f32 (fmax.f32 (fma.f32 (*.f32 (*.f32 dX.w (floor.f32 d)) dX.w) (floor.f32 d) (fma.f32 (*.f32 (*.f32 dX.u (floor.f32 w)) dX.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) dX.v) (floor.f32 h)))) (fma.f32 (*.f32 (*.f32 dY.w (floor.f32 d)) dY.w) (floor.f32 d) (fma.f32 (*.f32 (*.f32 dY.u (floor.f32 w)) dY.u) (floor.f32 w) (*.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) dY.v) (floor.f32 h)))))))

Symmetry

(abs dY.w)

(abs dY.v)

(abs dY.u)

(abs dX.w)

(abs dX.v)

(abs dX.u)

Compiler

Compiled 61 to 31 computations (49.2% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 9 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	69.3%	(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w))))))

Status

Accuracy

Program

69.3%

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))) (*.f32 (*.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u)) (*.f32 (*.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))) (*.f32 (*.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w))))))

Compiler

Compiled 122 to 62 computations (49.2% saved)

simplify20.0ms (0.5%)

Memory

0.2MiB live, 18.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	61
1	41	61

Stop Event

1×

saturated

Calls

Call 1

Inputs
(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w))))))

Inputs

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))) (*.f32 (*.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u)) (*.f32 (*.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))) (*.f32 (*.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w))))))

Outputs
(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dX.u) (.f32 (floor.f32 w) dX.u)) (.f32 (.f32 (floor.f32 h) dX.v) (.f32 (floor.f32 h) dX.v))) (.f32 (.f32 (floor.f32 d) dX.w) (.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (.f32 (.f32 (floor.f32 w) dY.u) (.f32 (floor.f32 w) dY.u)) (.f32 (.f32 (floor.f32 h) dY.v) (.f32 (floor.f32 h) dY.v))) (.f32 (.f32 (floor.f32 d) dY.w) (.f32 (floor.f32 d) dY.w))))))
(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (.f32 (.f32 dX.w (floor.f32 d)) (.f32 dX.w (floor.f32 d))) (+.f32 (.f32 (.f32 dX.v (floor.f32 h)) (.f32 dX.v (floor.f32 h))) (.f32 (.f32 dX.u (floor.f32 w)) (.f32 dX.u (floor.f32 w))))) (+.f32 (.f32 (.f32 dY.w (floor.f32 d)) (.f32 dY.w (floor.f32 d))) (+.f32 (.f32 (.f32 dY.v (floor.f32 h)) (.f32 dY.v (floor.f32 h))) (.f32 (.f32 dY.u (floor.f32 w)) (.f32 dY.u (floor.f32 w))))))))

Outputs

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 w) dX.u)) (*.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 h) dX.v))) (*.f32 (*.f32 (floor.f32 d) dX.w) (*.f32 (floor.f32 d) dX.w))) (+.f32 (+.f32 (*.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 w) dY.u)) (*.f32 (*.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 h) dY.v))) (*.f32 (*.f32 (floor.f32 d) dY.w) (*.f32 (floor.f32 d) dY.w))))))

(log2.f32 (sqrt.f32 (fmax.f32 (+.f32 (*.f32 (*.f32 dX.w (floor.f32 d)) (*.f32 dX.w (floor.f32 d))) (+.f32 (*.f32 (*.f32 dX.v (floor.f32 h)) (*.f32 dX.v (floor.f32 h))) (*.f32 (*.f32 dX.u (floor.f32 w)) (*.f32 dX.u (floor.f32 w))))) (+.f32 (*.f32 (*.f32 dY.w (floor.f32 d)) (*.f32 dY.w (floor.f32 d))) (+.f32 (*.f32 (*.f32 dY.v (floor.f32 h)) (*.f32 dY.v (floor.f32 h))) (*.f32 (*.f32 dY.u (floor.f32 w)) (*.f32 dY.u (floor.f32 w))))))))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 61 to 31 computations (49.2% saved)

preprocess22.0ms (0.5%)

Memory

3.2MiB live, 18.8MiB allocated

Remove

(abs dX.u)

(abs dX.v)

(abs dX.w)

(abs dY.u)

(abs dY.v)

(abs dY.w)

Compiler

Compiled 1 708 to 868 computations (49.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze982.0ms (24.8%)

sample84.0ms (2.1%)

explain2.8s (70.4%)

preprocess61.0ms (1.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify20.0ms (0.5%)

soundness0.0ms (0%)

preprocess22.0ms (0.5%)

end0.0ms (0%)

Profiling