Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, B

start0.0ms (0%)

Memory: 0.1MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

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 9 to 9 computations (0% saved)

sample593.0ms (71.5%)

Memory

-13.9MiB live, 920.2MiB allocated

Samples

371.0ms

8 256×

valid

Precisions

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

ival-mult: 137.0ms (73.4% of total)

ival-sub: 37.0ms (19.8% of total)

ival-true: 6.0ms (3.2% of total)

exact: 4.0ms (2.1% of total)

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

Bogosity

explain68.0ms (8.2%)

Memory

-9.4MiB live, 110.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
1	-	-	`(.f64 (.f64 x #s(literal 3 binary64)) y)`
0	-	-	`(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)`
0	-	-	`y`
0	-	-	`#s(literal 3 binary64)`
0	-	-	`(*.f64 x #s(literal 3 binary64))`
0	-	-	`z`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`*.f64`	`(.f64 (.f64 x #s(literal 3 binary64)) y)`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	1	0
-	0	255

Precision

1.0

Recall

1.0

Confusion?

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

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	255
1	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

27.0ms

512×

valid

Compiler

Compiled 68 to 32 computations (52.9% saved)

Precisions

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

ival-mult: 6.0ms (61.6% of total)

ival-sub: 2.0ms (20.5% of total)

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

exact: 0.0ms (0% of total)

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

preprocess3.0ms (0.4%)

Memory

6.1MiB live, 6.1MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)

Outputs
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)

Compiler

Compiled 7 to 7 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)

Compiler

Compiled 7 to 7 computations (0% saved)

simplify0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 x #s(literal 3 binary64))
cost-diff	0	(.f64 (.f64 x #s(literal 3 binary64)) y)
cost-diff	0	(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
y
z

Outputs
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
y
z

localize16.0ms (1.9%)

Memory

25.1MiB live, 25.1MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x #s(literal 3 binary64))
accuracy	0.01171875	(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
accuracy	0.440112741528202	(.f64 (.f64 x #s(literal 3 binary64)) y)

Samples

11.0ms

256×

valid

Compiler

Compiled 40 to 16 computations (60% saved)

Precisions

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

ival-mult: 3.0ms (63.7% of total)

ival-sub: 1.0ms (21.2% of total)

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

exact: 0.0ms (0% of total)

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

series8.0ms (0.9%)

Memory

-28.8MiB live, 9.2MiB allocated

Counts

3 → 11

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))

Outputs
(* -1 z)
(- (* 3 (* x y)) z)
(* 3 (* x y))
(* 3 x)
(* x (+ (* -1 (/ z x)) (* 3 y)))
(* -1 (* x (+ (* -3 y) (/ z x))))
(* y (+ (* -1 (/ z y)) (* 3 x)))
(* -1 (* y (+ (* -3 x) (/ z y))))
(+ (* -1 z) (* 3 (* x y)))
(* z (- (* 3 (/ (* x y) z)) 1))
(* -1 (* z (+ 1 (* -3 (/ (* x y) z)))))

Calls

9 calls:

Time	Variable		Point	Expression
3.0ms	x	@	inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3))
1.0ms	x	@	0	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3))
1.0ms	z	@	0	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3))
1.0ms	x	@	-inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3))
1.0ms	y	@	inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3))

simplify0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	egg-herbie

Counts

11 → 3

Calls

Call 1

Inputs
(* -1 z)
(- (* 3 (* x y)) z)
(* 3 (* x y))
(* 3 x)
(* x (+ (* -1 (/ z x)) (* 3 y)))
(* -1 (* x (+ (* -3 y) (/ z x))))
(* y (+ (* -1 (/ z y)) (* 3 x)))
(* -1 (* y (+ (* -3 x) (/ z y))))
(+ (* -1 z) (* 3 (* x y)))
(* z (- (* 3 (/ (* x y) z)) 1))
(* -1 (* z (+ 1 (* -3 (/ (* x y) z)))))

Outputs
(* -1 z)
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
(- (* 3 (* x y)) z)
(.f64 (.f64 x #s(literal 3 binary64)) y)
(* 3 (* x y))
(*.f64 x #s(literal 3 binary64))

rewrite0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Counts

3 → 3

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))

Outputs
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))

eval1.0ms (0.1%)

Memory: 1.3MiB live, 1.3MiB allocated
Compiler: Compiled 60 to 15 computations (75% saved)

prune1.0ms (0.1%)

Memory

2.2MiB live, 2.2MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	4	2	6
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	4	3	7

Accuracy

99.5%

Counts

7 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
▶	38.4%	(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
▶	55.3%	#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))

Compiler

Compiled 31 to 28 computations (9.7% saved)

simplify0.0ms (0.1%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 x #s(literal 3 binary64))
cost-diff	0	#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
cost-diff	0	(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
cost-diff	0	(*.f64 x #s(literal 3 binary64))
cost-diff	0	(.f64 (.f64 x #s(literal 3 binary64)) y)
cost-diff	0	#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))

Calls

Call 1

Inputs
#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
y
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
(*.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
z

Outputs
#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
y
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
(*.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
z

localize25.0ms (3%)

Memory

-18.6MiB live, 29.0MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x #s(literal 3 binary64))
accuracy	0.01171875	(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
accuracy	61.48201540284422	#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
accuracy	0.0	(*.f64 x #s(literal 3 binary64))
accuracy	0.440112741528202	(.f64 (.f64 x #s(literal 3 binary64)) y)
accuracy	28.293975799775026	#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))

Samples

13.0ms

256×

valid

Compiler

Compiled 88 to 22 computations (75% saved)

Precisions

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

ival-mult: 3.0ms (63.2% of total)

ival-sub: 1.0ms (21.1% of total)

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

exact: 0.0ms (0% of total)

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

series3.0ms (0.4%)

Memory

6.2MiB live, 6.2MiB allocated

Counts

5 → 11

Calls

Call 1

Inputs
#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))

Outputs
(* -1 z)
(- (* 3 (* x y)) z)
(* 3 (* x y))
(* 3 x)
(* x (+ (* -1 (/ z x)) (* 3 y)))
(* -1 (* x (+ (* -3 y) (/ z x))))
(* y (+ (* -1 (/ z y)) (* 3 x)))
(* -1 (* y (+ (* -3 x) (/ z y))))
(+ (* -1 z) (* 3 (* x y)))
(* z (- (* 3 (/ (* x y) z)) 1))
(* -1 (* z (+ 1 (* -3 (/ (* x y) z)))))

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3) (- (* (* x 3) y) z) (* (* x 3) y))
1.0ms	x	@	-inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3) (- (* (* x 3) y) z) (* (* x 3) y))
0.0ms	x	@	0	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3) (- (* (* x 3) y) z) (* (* x 3) y))
0.0ms	y	@	inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3) (- (* (* x 3) y) z) (* (* x 3) y))
0.0ms	y	@	-inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3) (- (* (* x 3) y) z) (* (* x 3) y))

simplify0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	egg-herbie

Counts

11 → 5

Calls

Call 1

Inputs
(* -1 z)
(- (* 3 (* x y)) z)
(* 3 (* x y))
(* 3 x)
(* x (+ (* -1 (/ z x)) (* 3 y)))
(* -1 (* x (+ (* -3 y) (/ z x))))
(* y (+ (* -1 (/ z y)) (* 3 x)))
(* -1 (* y (+ (* -3 x) (/ z y))))
(+ (* -1 z) (* 3 (* x y)))
(* z (- (* 3 (/ (* x y) z)) 1))
(* -1 (* z (+ 1 (* -3 (/ (* x y) z)))))

Outputs
(* -1 z)
#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))
(- (* 3 (* x y)) z)
(.f64 (.f64 x #s(literal 3 binary64)) y)
(* 3 (* x y))
(*.f64 x #s(literal 3 binary64))
(* 3 x)
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
(* x (+ (* -1 (/ z x)) (* 3 y)))
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))

rewrite0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Counts

5 → 5

Calls

Call 1

Inputs
#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))

Outputs
#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))

eval1.0ms (0.1%)

Memory: 2.1MiB live, 2.1MiB allocated
Compiler: Compiled 164 to 20 computations (87.8% saved)

prune2.0ms (0.2%)

Memory

3.6MiB live, 3.6MiB allocated

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	9	1	10
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	9	4	13

Accuracy

99.5%

Counts

13 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
✓	38.4%	(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
✓	55.3%	#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))
▶	3.4%	#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))

Compiler

Compiled 48 to 39 computations (18.8% saved)

simplify0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 x #s(literal 3 binary64))
cost-diff	0	#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
cost-diff	0	#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))

Calls

Call 1

Inputs
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
(*.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)

Outputs
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
(*.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)

localize17.0ms (2%)

Memory

-5.6MiB live, 32.7MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x #s(literal 3 binary64))
accuracy	28.293975799775026	#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))
accuracy	61.48201540284422	#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))

Samples

11.0ms

256×

valid

Compiler

Compiled 50 to 20 computations (60% saved)

Precisions

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

ival-mult: 3.0ms (64.6% of total)

ival-sub: 1.0ms (21.5% of total)

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

exact: 0.0ms (0% of total)

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

series3.0ms (0.4%)

Memory

5.9MiB live, 6.0MiB allocated

Counts

3 → 11

Calls

Call 1

Inputs
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
(*.f64 x #s(literal 3 binary64))

Outputs
(* -1 z)
(- (* 3 (* x y)) z)
(* 3 (* x y))
(* 3 x)
(* x (+ (* -1 (/ z x)) (* 3 y)))
(* -1 (* x (+ (* -3 y) (/ z x))))
(* y (+ (* -1 (/ z y)) (* 3 x)))
(* -1 (* y (+ (* -3 x) (/ z y))))
(+ (* -1 z) (* 3 (* x y)))
(* z (- (* 3 (/ (* x y) z)) 1))
(* -1 (* z (+ 1 (* -3 (/ (* x y) z)))))

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3))
0.0ms	x	@	inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3))
0.0ms	x	@	0	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3))
0.0ms	y	@	-inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3))
0.0ms	y	@	inf	((- (* (* x 3) y) z) (* (* x 3) y) (* x 3))

simplify0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Counts

11 → 3

Calls

Call 1

Inputs
(* -1 z)
(- (* 3 (* x y)) z)
(* 3 (* x y))
(* 3 x)
(* x (+ (* -1 (/ z x)) (* 3 y)))
(* -1 (* x (+ (* -3 y) (/ z x))))
(* y (+ (* -1 (/ z y)) (* 3 x)))
(* -1 (* y (+ (* -3 x) (/ z y))))
(+ (* -1 z) (* 3 (* x y)))
(* z (- (* 3 (/ (* x y) z)) 1))
(* -1 (* z (+ 1 (* -3 (/ (* x y) z)))))

Outputs
(* -1 z)
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))
(- (* 3 (* x y)) z)
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
(* 3 (* x y))
(*.f64 x #s(literal 3 binary64))

rewrite0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Counts

3 → 3

Calls

Call 1

Inputs
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
(*.f64 x #s(literal 3 binary64))

Outputs
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))
#s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64)))
(*.f64 x #s(literal 3 binary64))

eval1.0ms (0.1%)

Memory: 1.1MiB live, 1.1MiB allocated
Compiler: Compiled 76 to 12 computations (84.2% saved)

prune3.0ms (0.3%)

Memory

5.6MiB live, 5.6MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	4	0	4
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	4	4	8

Accuracy

99.5%

Counts

8 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
✓	38.4%	(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
✓	55.3%	#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))
✓	3.4%	#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))

Compiler

Compiled 96 to 54 computations (43.8% saved)

regimes15.0ms (1.8%)

Memory

-10.1MiB live, 28.2MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
#s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)

Outputs
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)

Calls

6 calls:

4.0ms	z
2.0ms	(*.f64 x #s(literal 3 binary64))
2.0ms	y
2.0ms	(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
2.0ms	x

Results

Accuracy	Segments	Branch
99.4%	1	`x`
99.4%	1	`y`
99.4%	1	`z`
99.4%	1	`(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)`
99.4%	1	`(.f64 (.f64 x #s(literal 3 binary64)) y)`
99.4%	1	`(*.f64 x #s(literal 3 binary64))`

Compiler

Compiled 18 to 27 computations (-50% saved)

regimes11.0ms (1.3%)

Memory

25.5MiB live, 25.5MiB allocated

Counts

3 → 3

Calls

Call 1

Inputs

#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))

(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)

#s(approx (- (* (* x 3) y) z) (*.f64 (*.f64 x #s(literal 3 binary64)) y))

Outputs

#s(approx (- (* (* x 3) y) z) (*.f64 (*.f64 x #s(literal 3 binary64)) y))

(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)

#s(approx (- (* (* x 3) y) z) (*.f64 (*.f64 x #s(literal 3 binary64)) y))

Calls

6 calls:

2.0ms	(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
2.0ms	(*.f64 x #s(literal 3 binary64))
2.0ms	y
2.0ms	z
2.0ms	x

Results

Accuracy	Segments	Branch
74.7%	3	`x`
65.6%	3	`y`
71.4%	3	`z`
59.2%	3	`(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)`
74.9%	3	`(.f64 (.f64 x #s(literal 3 binary64)) y)`
74.7%	3	`(*.f64 x #s(literal 3 binary64))`

Compiler

Compiled 18 to 27 computations (-50% saved)

regimes10.0ms (1.2%)

Memory

-17.3MiB live, 21.7MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)

Outputs
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)

Calls

6 calls:

2.0ms	(*.f64 x #s(literal 3 binary64))
1.0ms	(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
1.0ms	y
1.0ms	z
1.0ms	x

Results

Accuracy	Segments	Branch
38.4%	1	`(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)`
38.4%	1	`y`
38.4%	1	`z`
38.4%	1	`x`
38.4%	1	`(*.f64 x #s(literal 3 binary64))`
38.4%	1	`(.f64 (.f64 x #s(literal 3 binary64)) y)`

Compiler

Compiled 18 to 27 computations (-50% saved)

regimes7.0ms (0.9%)

Memory

18.7MiB live, 18.7MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))

Outputs
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))

Calls

6 calls:

1.0ms	(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
1.0ms	(*.f64 x #s(literal 3 binary64))
1.0ms	(.f64 (.f64 x #s(literal 3 binary64)) y)
1.0ms	z
1.0ms	y

Results

Accuracy	Segments	Branch
3.4%	1	`x`
3.4%	1	`(*.f64 x #s(literal 3 binary64))`
3.4%	1	`y`
3.4%	1	`z`
3.4%	1	`(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)`
3.4%	1	`(.f64 (.f64 x #s(literal 3 binary64)) y)`

Compiler

Compiled 18 to 27 computations (-50% saved)

bsearch1.0ms (0.1%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	5.976114625502821e-89	1.502918027011106e-86
0.0ms	-3.385532851479811e-135	-2.547996090651522e-137

Compiler

Compiled 10 to 13 computations (-30% saved)

simplify6.0ms (0.8%)

Memory

-28.8MiB live, 12.6MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
(if (<=.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) #s(literal -1636695303948071/818347651974035467503297424206899788054160511510766197370822842024033449101168638720817523081476039287721671031890017752304314136471348263332131897344 binary64)) #s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y)) (if (<=.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) #s(literal 7167183174968973/71671831749689734737838152978190216899892655911508785116799651230841339877765150252188079784691427704832 binary64)) (-.f64 #s(approx (* (* x 3) y) (.f64 x #s(literal 3 binary64))) z) #s(approx (- ( (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))))
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))

Outputs
(-.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) z)
(if (<=.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) #s(literal -1636695303948071/818347651974035467503297424206899788054160511510766197370822842024033449101168638720817523081476039287721671031890017752304314136471348263332131897344 binary64)) #s(approx (- (* (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y)) (if (<=.f64 (.f64 (.f64 x #s(literal 3 binary64)) y) #s(literal 7167183174968973/71671831749689734737838152978190216899892655911508785116799651230841339877765150252188079784691427704832 binary64)) (-.f64 #s(approx (* (* x 3) y) (.f64 x #s(literal 3 binary64))) z) #s(approx (- ( (* x 3) y) z) (.f64 (.f64 x #s(literal 3 binary64)) y))))
(-.f64 #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))) z)
#s(approx (- (* (* x 3) y) z) #s(approx (* (* x 3) y) (*.f64 x #s(literal 3 binary64))))

soundness1.0ms (0.1%)

Memory

2.3MiB live, 2.3MiB allocated

Stop Event

1×

done

Compiler

Compiled 88 to 21 computations (76.1% saved)

preprocess31.0ms (3.8%)

Memory: 19.4MiB live, 57.4MiB allocated
Compiler: Compiled 204 to 70 computations (65.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample593.0ms (71.5%)

explain68.0ms (8.2%)

preprocess3.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize16.0ms (1.9%)

series8.0ms (0.9%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

simplify0.0ms (0.1%)

localize25.0ms (3%)

series3.0ms (0.4%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.2%)

simplify0.0ms (0%)

localize17.0ms (2%)

series3.0ms (0.4%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune3.0ms (0.3%)

regimes15.0ms (1.8%)

regimes11.0ms (1.3%)

regimes10.0ms (1.2%)

regimes7.0ms (0.9%)

bsearch1.0ms (0.1%)

simplify6.0ms (0.8%)

soundness1.0ms (0.1%)

preprocess31.0ms (3.8%)

end0.0ms (0%)

Profiling