Metrics for Jmat.Real.erfi, branch x less than or equal to 0.5

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	74.9%	25.1%	0%	0%	0%	0
100%	74.9%	0%	25.1%	0%	0%	0%	1

Compiler

Compiled 71 to 31 computations (56.3% saved)

sample47.0ms (1.2%)

Memory

3.2MiB live, 19.0MiB allocated

Samples

35.0ms

260×

valid

Precisions

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

ival-mult: 14.0ms (46.9% of total)

ival-div: 6.0ms (20.1% of total)

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

ival-fabs: 2.0ms (6.7% of total)

ival-sqrt: 2.0ms (6.7% of total)

ival-pi: 1.0ms (3.4% of total)

exact: 1.0ms (3.4% of total)

ival-<=: 1.0ms (3.4% of total)

adjust: 0.0ms (0% of total)

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

Bogosity

explain3.6s (89.8%)

Memory

13.9MiB live, 2 523.5MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))`
-	-	(fabs.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
-	-	`#s(literal 1 binary64)`
-	-	`#s(literal 5 binary64)`
-	-	`#s(literal 3 binary64)`
-	-	`(.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))`
-	-	`(.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))`
-	-	`(/.f64 #s(literal 1 binary64) #s(literal 21 binary64))`
-	-	(.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
-	-	`(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))`
-	-	`(.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))`
-	-	`(+.f64 (+.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))`
-	-	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))`
-	-	`(PI.f64)`
-	-	(+.f64 (+.f64 (+.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))
-	-	`(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))`
-	-	`(/.f64 #s(literal 1 binary64) #s(literal 5 binary64))`
-	-	`(*.f64 (fabs.f64 x) (fabs.f64 x))`
-	-	`(fabs.f64 x)`
-	-	`(/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64)))`
-	-	`(sqrt.f64 (PI.f64))`
-	-	`(*.f64 #s(literal 2 binary64) (fabs.f64 x))`
-	-	`#s(literal 2 binary64)`
-	-	`(/.f64 #s(literal 2 binary64) #s(literal 3 binary64))`
-	-	`#s(literal 21 binary64)`
-	-	`(+.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))))`
-	-	`(.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Total Time

13.507080078125

Average Time

0.05276203155517578

Samples

478.0ms

3 072×

valid

Compiler

Compiled 15 372 to 1 368 computations (91.1% saved)

Precisions

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

ival-mult: 168.0ms (48.1% of total)

ival-div: 75.0ms (21.5% of total)

ival-add: 36.0ms (10.3% of total)

ival-fabs: 27.0ms (7.7% of total)

ival-sqrt: 20.0ms (5.7% of total)

ival-pi: 13.0ms (3.7% of total)

exact: 6.0ms (1.7% of total)

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

adjust: 1.0ms (0.3% of total)

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

preprocess337.0ms (8.4%)

Memory

1.9MiB live, 34.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	123
1	80	79
2	260	57
3	1539	53
4	5856	53
0	28	61
0	53	49
1	94	39
2	249	28
3	1062	26
4	2180	26
5	3894	26
6	4603	26
7	4686	26
8	4694	26
9	4694	26
10	6401	26
11	6532	26
12	6611	26
13	6740	26
14	6792	26
15	6792	26
16	6905	26
17	6923	26
18	6923	26
19	7366	26
20	7386	26
21	7386	26
22	7386	26
23	7386	26
0	11825	23

Stop Event

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

Calls

Call 1

Inputs
(fabs.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Inputs

(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Outputs
(fabs.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
(fabs.f64 (/.f64 (.f64 (fma.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/5 binary64) (fma.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/21 binary64) (fma.f64 (.f64 x x) #s(literal 2/3 binary64) #s(literal 2 binary64)))) (fabs.f64 x)) (sqrt.f64 (PI.f64))))

Outputs

(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

(fabs.f64 (/.f64 (*.f64 (fma.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/5 binary64) (fma.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/21 binary64) (fma.f64 (*.f64 x x) #s(literal 2/3 binary64) #s(literal 2 binary64)))) (fabs.f64 x)) (sqrt.f64 (PI.f64))))

Symmetry

(abs x)

Compiler

Compiled 67 to 28 computations (58.2% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.8%	(fabs.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Status

Accuracy

Program

99.8%

(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Compiler

Compiled 134 to 56 computations (58.2% saved)

simplify21.0ms (0.5%)

Memory

-7.3MiB live, 18.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	67
1	47	67
2	51	67

Stop Event

1×

saturated

Calls

Call 1

Inputs
(fabs.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Inputs

(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Outputs
(fabs.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
(fabs.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) #s(literal 21 binary64))) (+.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) #s(literal 5 binary64))) (+.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (/.f64 #s(literal 2 binary64) #s(literal 3 binary64))) (*.f64 (fabs.f64 x) #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64)))))

Outputs

(fabs.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 2 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 2 binary64) #s(literal 3 binary64)) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 21 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

(fabs.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) #s(literal 21 binary64))) (+.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) #s(literal 5 binary64))) (+.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (/.f64 #s(literal 2 binary64) #s(literal 3 binary64))) (*.f64 (fabs.f64 x) #s(literal 2 binary64))))) (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64)))))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 67 to 28 computations (58.2% saved)

preprocess3.0ms (0.1%)

Memory: 1.9MiB live, 1.9MiB allocated
Remove: (abs x)
Compiler: Compiled 536 to 224 computations (58.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample47.0ms (1.2%)

explain3.6s (89.8%)

preprocess337.0ms (8.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify21.0ms (0.5%)

soundness0.0ms (0%)

preprocess3.0ms (0.1%)

end0.0ms (0%)

Profiling