Metrics for FastMath test3

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample1.1s (69.5%)

Memory

-11.7MiB live, 1 211.3MiB allocated; 339ms collecting garbage

Samples

725.0ms	7 801×	0	valid
49.0ms	367×	1	valid
13.0ms	88×	2	valid

Precisions

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

ival-mult: 266.0ms (56.2% of total)

ival-add: 176.0ms (37.2% of total)

adjust: 19.0ms (4% of total)

ival-true: 5.0ms (1.1% of total)

exact: 5.0ms (1.1% of total)

ival-assert: 3.0ms (0.6% of total)

Bogosity

explain125.0ms (7.9%)

Memory

11.1MiB live, 156.1MiB allocated; 10ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
4	-	-	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`
0	-	-	`(*.f64 d1 #s(literal 3 binary64))`
0	-	-	`(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))`
0	-	-	`#s(literal 3 binary64)`
0	-	-	`(*.f64 d1 d2)`
0	-	-	`(*.f64 d1 d3)`
0	-	-	`d2`
0	-	-	`d1`
0	-	-	`d3`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))`	nan-rescue	4	0
↳	`(*.f64 d1 d2)`	overflow	31
↳	`(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))`	overflow	31
↳	`(*.f64 d1 d3)`	overflow	32

Confusion

	Predicted +	Predicted -
+	4	0
-	0	252

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	4	0	0
-	0	0	252

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	252
1	4

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

29.0ms	460×	0	valid
4.0ms	22×	2	valid
3.0ms	26×	1	valid
1.0ms	4×	3	valid

Compiler

Compiled 77 to 31 computations (59.7% saved)

Precisions

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

ival-mult: 12.0ms (60.2% of total)

ival-add: 5.0ms (25.1% of total)

adjust: 2.0ms (10% of total)

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

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

exact: 0.0ms (0% of total)

preprocess188.0ms (11.9%)

Memory

5.4MiB live, 50.9MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	92
1	123	70
2	440	64
3	1100	63
4	2085	63
5	3487	63
6	4865	63
7	5168	63
8	5340	63
9	5373	63
10	5386	63
11	6124	63
12	6824	63
13	6839	63
14	6839	63
15	6839	63
16	6859	63
17	6879	63
18	6889	63
19	6889	63
0	9	11
0	9	11
0	9	11

Stop Event

1×	saturated
1×	saturated
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

Outputs
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

Symmetry

(negabs d1)

(sort d2 d3)

Compiler

Compiled 11 to 9 computations (18.2% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.3%	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify3.0ms (0.2%)

Memory

6.1MiB live, 6.1MiB allocated; 0ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 d1 d2)
cost-diff	0	(*.f64 d1 #s(literal 3 binary64))
cost-diff	0	(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
cost-diff	0	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	31
0	9	31
0	9	31

Stop Event

1×	saturated
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
(*.f64 d1 #s(literal 3 binary64))
d1
#s(literal 3 binary64)
(*.f64 d1 d2)
d2
(*.f64 d1 d3)
d3

Outputs
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
(*.f64 d1 #s(literal 3 binary64))
d1
#s(literal 3 binary64)
(*.f64 d1 d2)
d2
(*.f64 d1 d3)
d3

localize27.0ms (1.7%)

Memory

-7.4MiB live, 38.4MiB allocated; 5ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 d1 d2)
accuracy	0.0	(*.f64 d1 #s(literal 3 binary64))
accuracy	0.125	(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
accuracy	0.9257771216604116	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

Samples

16.0ms	229×	0	valid
2.0ms	18×	1	valid
2.0ms	6×	2	valid
1.0ms	3×	3	valid

Compiler

Compiled 33 to 11 computations (66.7% saved)

Precisions

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

ival-mult: 5.0ms (51.8% of total)

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

adjust: 2.0ms (20.7% of total)

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

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

exact: 0.0ms (0% of total)

series8.0ms (0.5%)

Memory

9.9MiB live, 9.9MiB allocated; 0ms collecting garbage

Counts

4 → 16

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d2)

Outputs
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 d2))
(* 3 d1)
(* d1 d2)
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (* d1 d2))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	d1	@	inf	((+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (+ (* d1 3) (* d1 d2)) (* d1 3) (* d1 d2))
1.0ms	d1	@	-inf	((+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (+ (* d1 3) (* d1 d2)) (* d1 3) (* d1 d2))
1.0ms	d1	@	0	((+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (+ (* d1 3) (* d1 d2)) (* d1 3) (* d1 d2))
1.0ms	d2	@	0	((+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (+ (* d1 3) (* d1 d2)) (* d1 3) (* d1 d2))
1.0ms	d2	@	-inf	((+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) (+ (* d1 3) (* d1 d2)) (* d1 3) (* d1 d2))

simplify50.0ms (3.2%)

Memory

-7.2MiB live, 43.1MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	56	90
1	203	88
2	685	88
3	2790	88
4	7375	88
0	8178	88

Stop Event

1×	saturated
1×	node limit

Counts

16 → 0

Calls

Call 1

Inputs
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 d2))
(* 3 d1)
(* d1 d2)
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (* d1 d2))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))

Outputs
(* d1 (+ 3 (+ d2 d3)))
(* d1 (+ 3 d2))
(* 3 d1)
(* d1 d2)
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d3)) 3)))
(* -1 (* d1 (- (* -1 d2) 3)))
(+ (* 3 d1) (* d1 d3))
(+ (* 3 d1) (+ (* d1 d2) (* d1 d3)))
(+ (* 3 d1) (* d1 d2))
(* d2 (+ d1 (+ (* 3 (/ d1 d2)) (/ (* d1 d3) d2))))
(* d2 (+ d1 (* 3 (/ d1 d2))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -3 (/ d1 d2)) (* -1 d1))))
(* d1 d3)
(* d3 (+ d1 (+ (* 3 (/ d1 d3)) (/ (* d1 d2) d3))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (+ (* 3 d1) (* d1 d2)) d3)))))

rewrite13.0ms (0.8%)

Memory

17.3MiB live, 17.3MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	24
0	9	24
0	9	24

Stop Event

1×	saturated
1×	saturated
1×	saturated

Counts

4 → 4

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d2)

Outputs
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))
(+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2))
(*.f64 d1 #s(literal 3 binary64))
(*.f64 d1 d2)

eval0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 44 to 9 computations (79.5% saved)

prune1.0ms (0.1%)

Memory

1.4MiB live, 1.4MiB allocated; 0ms collecting garbage

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	4	1	5

Accuracy

98.3%

Counts

5 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.3%	(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

Compiler

Compiled 22 to 18 computations (18.2% saved)

simplify43.0ms (2.7%)

Memory

-32.6MiB live, 13.8MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

Outputs
(+.f64 (+.f64 (.f64 d1 #s(literal 3 binary64)) (.f64 d1 d2)) (*.f64 d1 d3))

derivations0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 11 to 9 computations (18.2% saved)

preprocess22.0ms (1.4%)

Memory

40.4MiB live, 40.4MiB allocated; 0ms collecting garbage

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 146 to 122 computations (16.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze0.0ms (0%)

sample1.1s (69.5%)

explain125.0ms (7.9%)

preprocess188.0ms (11.9%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.2%)

localize27.0ms (1.7%)

series8.0ms (0.5%)

simplify50.0ms (3.2%)

rewrite13.0ms (0.8%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify43.0ms (2.7%)

derivations0.0ms (0%)

preprocess22.0ms (1.4%)

end0.0ms (0%)

Profiling