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)

sample46.0ms (4.4%)

Memory

3.1MiB live, 19.0MiB allocated

Samples

34.0ms

260×

valid

Precisions

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

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

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

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

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

ival-sqrt: 2.0ms (6.9% 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

explain628.0ms (59.4%)

Memory

13.8MiB live, 264.4MiB allocated

Confusion

	Predicted +	Predicted -
+	0	0
-	73	183

Precision

0.0

Recall

0/0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Samples

410.0ms

3 072×

valid

Compiler

Compiled 2 436 to 1 032 computations (57.6% saved)

Precisions

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

ival-mult: 163.0ms (47.7% of total)

ival-div: 76.0ms (22.2% of total)

ival-add: 34.0ms (9.9% of total)

ival-fabs: 25.0ms (7.3% of total)

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

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

exact: 6.0ms (1.8% 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)

preprocess341.0ms (32.2%)

Memory

4.3MiB live, 34.5MiB 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.1%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.9%	(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.9%

(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)

simplify37.0ms (3.5%)

Memory

-9.8MiB 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.3%)

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%)

sample46.0ms (4.4%)

explain628.0ms (59.4%)

preprocess341.0ms (32.2%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify37.0ms (3.5%)

soundness0.0ms (0%)

preprocess3.0ms (0.3%)

end0.0ms (0%)

Profiling