Metrics for Linear.Quaternion:$c/ from linear-1.19.1.3, D

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB 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 17 to 11 computations (35.3% saved)

sample923.0ms (70.3%)

Memory

35.1MiB live, 1 522.8MiB allocated

Samples

348.0ms	5 795×	0	valid
296.0ms	2 461×	1	valid

Precisions

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

ival-mult: 211.0ms (49.3% of total)

ival-sub: 98.0ms (22.9% of total)

adjust: 59.0ms (13.8% of total)

ival-add: 51.0ms (11.9% of total)

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

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

Bogosity

explain134.0ms (10.2%)

Memory

4.6MiB live, 243.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
124	-	-	`(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))`
16	-	-	`(-.f64 (.f64 x y) (.f64 y y))`
5	-	-	`(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))`
0	-	-	`z`
0	-	-	`(*.f64 x y)`
0	-	-	`y`
0	-	-	`(*.f64 y z)`
0	-	-	`(*.f64 y y)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))`	nan-rescue	73	0
↳	`(*.f64 y y)`	overflow	80
↳	`(*.f64 x y)`	overflow	35
↳	`(-.f64 (.f64 x y) (.f64 y y))`	overflow	85
↳	`(*.f64 y y)`	overflow	80
`+.f64`	`(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))`	cancellation	16	1
`-.f64`	`(-.f64 (.f64 x y) (.f64 y y))`	nan-rescue	16	0
↳	`(*.f64 x y)`	overflow	35
↳	`(*.f64 y y)`	overflow	80
`-.f64`	`(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))`	nan-rescue	5	0
↳	`(*.f64 y y)`	overflow	160
↳	`(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))`	overflow	35
↳	`(*.f64 x y)`	overflow	35
↳	`(-.f64 (.f64 x y) (.f64 y y))`	overflow	85
↳	`(*.f64 y z)`	overflow	35

Confusion

	Predicted +	Predicted -
+	91	0
-	5	160

Precision

0.9479166666666666

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	91	0	0
-	5	1	159

Precision?

0.9381443298969072

Recall?

1.0

Freqs

test

number	freq
0	160
1	82
2	14

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

34.0ms	228×	1	valid
20.0ms	278×	0	valid
1.0ms	6×	2	valid

Compiler

Compiled 154 to 40 computations (74% saved)

Precisions

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

ival-mult: 19.0ms (54% of total)

ival-sub: 7.0ms (19.9% of total)

adjust: 5.0ms (14.2% of total)

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

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

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

preprocess3.0ms (0.2%)

Memory

7.6MiB live, 7.6MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))

Outputs
(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))

Compiler

Compiled 15 to 9 computations (40% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	65.9%	(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))

Compiler

Compiled 15 to 9 computations (40% saved)

simplify0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 x y)
cost-diff	0	(-.f64 (.f64 x y) (.f64 y y))
cost-diff	0	(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
cost-diff	0	(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
x
y
(*.f64 y y)
(*.f64 y z)
z

Outputs
(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
x
y
(*.f64 y y)
(*.f64 y z)
z

localize40.0ms (3%)

Memory

-13.5MiB live, 62.1MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x y)
accuracy	1.046872935830206	(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
accuracy	3.6523251724718526	(-.f64 (.f64 x y) (.f64 y y))
accuracy	28.703049361741705	(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))

Samples

20.0ms	114×	1	valid
12.0ms	139×	0	valid
1.0ms	3×	2	valid

Compiler

Compiled 92 to 20 computations (78.3% saved)

Precisions

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

ival-mult: 16.0ms (69.9% of total)

ival-sub: 3.0ms (13.1% of total)

adjust: 2.0ms (8.7% of total)

ival-add: 2.0ms (8.7% of total)

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

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

series7.0ms (0.5%)

Memory

13.5MiB live, 13.5MiB allocated

Counts

4 → 16

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)

Outputs
(* -1 (* y z))
(- (* x y) (* y z))
(* x y)
(* -1 (pow y 2))
(- (* x y) (pow y 2))
(* x (+ y (* -1 (/ (* y z) x))))
(* x (+ y (* -1 (/ (pow y 2) x))))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (+ (* -1 y) (/ (pow y 2) x))))
(* y (- x z))
(* y (+ x (* -1 y)))
(* (pow y 2) (- (/ x y) 1))
(* -1 (* y (- (* -1 x) (* -1 z))))
(+ (* -1 (* y z)) (* x y))
(* z (- (/ (* x y) z) y))
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))

Calls

9 calls:

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

simplify0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Counts

16 → 4

Calls

Call 1

Inputs
(* -1 (* y z))
(- (* x y) (* y z))
(* x y)
(* -1 (pow y 2))
(- (* x y) (pow y 2))
(* x (+ y (* -1 (/ (* y z) x))))
(* x (+ y (* -1 (/ (pow y 2) x))))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (+ (* -1 y) (/ (pow y 2) x))))
(* y (- x z))
(* y (+ x (* -1 y)))
(* (pow y 2) (- (/ x y) 1))
(* -1 (* y (- (* -1 x) (* -1 z))))
(+ (* -1 (* y z)) (* x y))
(* z (- (/ (* x y) z) y))
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))

Outputs
(* -1 (* y z))
(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
(- (* x y) (* y z))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(* x y)
(-.f64 (.f64 x y) (.f64 y y))
(* -1 (pow y 2))
(*.f64 x y)

rewrite0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

4 → 4

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)

Outputs
(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)

eval1.0ms (0.1%)

Memory: 2.0MiB live, 2.0MiB allocated
Compiler: Compiled 160 to 22 computations (86.3% saved)

prune1.0ms (0.1%)

Memory

3.1MiB live, 3.1MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Accuracy

84.3%

Counts

9 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	65.9%	(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
▶	68.8%	(-.f64 (+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y)) (*.f64 y z))
▶	64.4%	(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))) (*.f64 y z))
▶	34.6%	#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y)))

Compiler

Compiled 84 to 48 computations (42.9% saved)

simplify1.0ms (0.1%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y)))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
x
y
(*.f64 y y)
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))) (*.f64 y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
x
y
(*.f64 y y)
(*.f64 y z)
z
(-.f64 (+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y)) (*.f64 y z))
(+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y))
#s(approx (- (* x y) (* y y)) (*.f64 x y))
(*.f64 x y)
x
y
(*.f64 y y)
(*.f64 y z)
z

Outputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y)))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
x
y
(*.f64 y y)
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))) (*.f64 y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
x
y
(*.f64 y y)
(*.f64 y z)
z
(-.f64 (+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y)) (*.f64 y z))
(+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y))
#s(approx (- (* x y) (* y y)) (*.f64 x y))
(*.f64 x y)
x
y
(*.f64 y y)
(*.f64 y z)
z

localize59.0ms (4.5%)

Memory

-72.8MiB live, 83.3MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x y)
accuracy	1.046872935830206	(-.f64 (+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y)) (*.f64 y z))
accuracy	27.996848935783845	#s(approx (- (* x y) (* y y)) (*.f64 x y))
accuracy	28.703049361741705	(+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y))
accuracy	0.0	(*.f64 x y)
accuracy	1.046872935830206	(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))) (*.f64 y z))
accuracy	3.6523251724718526	(-.f64 (.f64 x y) (.f64 y y))
accuracy	27.996848935783845	#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
accuracy	0.0	(*.f64 x y)
accuracy	3.6523251724718526	(-.f64 (.f64 x y) (.f64 y y))
accuracy	28.703049361741705	(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
accuracy	30.39767599348275	#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y)))

Samples

22.0ms	114×	1	valid
11.0ms	139×	0	valid
1.0ms	3×	2	valid

Compiler

Compiled 304 to 31 computations (89.8% saved)

Precisions

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

ival-mult: 7.0ms (48.9% of total)

ival-sub: 3.0ms (21% of total)

adjust: 2.0ms (14% of total)

ival-add: 2.0ms (14% of total)

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

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

series5.0ms (0.4%)

Memory

11.2MiB live, 11.2MiB allocated

Counts

9 → 16

Calls

Call 1

Inputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y)))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))) (*.f64 y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(-.f64 (+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y)) (*.f64 y z))
(+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y))
#s(approx (- (* x y) (* y y)) (*.f64 x y))

Outputs
(* -1 (* y z))
(- (* x y) (* y z))
(* x y)
(* -1 (pow y 2))
(- (* x y) (pow y 2))
(* x (+ y (* -1 (/ (* y z) x))))
(* x (+ y (* -1 (/ (pow y 2) x))))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (+ (* -1 y) (/ (pow y 2) x))))
(* y (- x z))
(* y (+ x (* -1 y)))
(* (pow y 2) (- (/ x y) 1))
(* -1 (* y (- (* -1 x) (* -1 z))))
(+ (* -1 (* y z)) (* x y))
(* z (- (/ (* x y) z) y))
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))

Calls

9 calls:

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

simplify0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Counts

16 → 9

Calls

Call 1

Inputs
(* -1 (* y z))
(- (* x y) (* y z))
(* x y)
(* -1 (pow y 2))
(- (* x y) (pow y 2))
(* x (+ y (* -1 (/ (* y z) x))))
(* x (+ y (* -1 (/ (pow y 2) x))))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (+ (* -1 y) (/ (pow y 2) x))))
(* y (- x z))
(* y (+ x (* -1 y)))
(* (pow y 2) (- (/ x y) 1))
(* -1 (* y (- (* -1 x) (* -1 z))))
(+ (* -1 (* y z)) (* x y))
(* z (- (/ (* x y) z) y))
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))

Outputs
(* -1 (* y z))
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y)))
(- (* x y) (* y z))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(* x y)
(-.f64 (.f64 x y) (.f64 y y))
(* -1 (pow y 2))
(*.f64 x y)
(- (* x y) (pow y 2))
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))) (*.f64 y z))
(* x (+ y (* -1 (/ (* y z) x))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(* x (+ y (* -1 (/ (pow y 2) x))))
(-.f64 (+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y)) (*.f64 y z))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y))
(* -1 (* x (+ (* -1 y) (/ (pow y 2) x))))
#s(approx (- (* x y) (* y y)) (*.f64 x y))

rewrite1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Counts

9 → 9

Calls

Call 1

Inputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y)))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))) (*.f64 y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(-.f64 (+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y)) (*.f64 y z))
(+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y))
#s(approx (- (* x y) (* y y)) (*.f64 x y))

Outputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y)))
(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))) (*.f64 y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(-.f64 (+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y)) (*.f64 y z))
(+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y))
#s(approx (- (* x y) (* y y)) (*.f64 x y))

eval2.0ms (0.2%)

Memory: 4.9MiB live, 4.9MiB allocated
Compiler: Compiled 698 to 40 computations (94.3% saved)

prune2.0ms (0.1%)

Memory

4.4MiB live, 4.4MiB allocated

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	20	2	22
Fresh	0	0	0
Picked	3	0	3
Done	1	0	1
Total	24	2	26

Accuracy

98.4%

Counts

26 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.0%	(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (.f64 x y))) (.f64 y z))
▶	40.8%	#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))))

Status

Accuracy

Program

▶

98.0%

(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))) (*.f64 y z))

▶

40.8%

#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y y))))

Compiler

Compiled 62 to 26 computations (58.1% saved)

simplify1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
x
y
(*.f64 y y)
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (.f64 x y))) (.f64 y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
#s(approx (- (* x y) (* y y)) (*.f64 x y))
(*.f64 x y)
x
y
(*.f64 y z)
z

Outputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
x
y
(*.f64 y y)
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (.f64 x y))) (.f64 y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
#s(approx (- (* x y) (* y y)) (*.f64 x y))
(*.f64 x y)
x
y
(*.f64 y z)
z

localize36.0ms (2.8%)

Memory

-7.6MiB live, 70.4MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x y)
accuracy	1.046872935830206	(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (.f64 x y))) (.f64 y z))
accuracy	27.996848935783845	#s(approx (- (* x y) (* y y)) (*.f64 x y))
accuracy	27.996848935783845	#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
accuracy	0.0	(*.f64 x y)
accuracy	3.6523251724718526	(-.f64 (.f64 x y) (.f64 y y))
accuracy	27.996848935783845	#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
accuracy	30.39767599348275	#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))))

Samples

17.0ms	114×	1	valid
9.0ms	139×	0	valid
1.0ms	3×	2	valid

Compiler

Compiled 224 to 29 computations (87.1% saved)

Precisions

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

ival-mult: 8.0ms (53.4% of total)

ival-sub: 3.0ms (20% of total)

adjust: 2.0ms (13.3% of total)

ival-add: 2.0ms (13.3% of total)

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

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

series4.0ms (0.3%)

Memory

9.8MiB live, 9.8MiB allocated

Counts

7 → 16

Calls

Call 1

Inputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (.f64 x y))) (.f64 y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
#s(approx (- (* x y) (* y y)) (*.f64 x y))

Outputs
(* -1 (* y z))
(- (* x y) (* y z))
(* x y)
(* -1 (pow y 2))
(- (* x y) (pow y 2))
(* x (+ y (* -1 (/ (* y z) x))))
(* x (+ y (* -1 (/ (pow y 2) x))))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (+ (* -1 y) (/ (pow y 2) x))))
(* y (- x z))
(* y (+ x (* -1 y)))
(* (pow y 2) (- (/ x y) 1))
(* -1 (* y (- (* -1 x) (* -1 z))))
(+ (* -1 (* y z)) (* x y))
(* z (- (/ (* x y) z) y))
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))

Calls

9 calls:

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

simplify0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	egg-herbie

Counts

16 → 7

Calls

Call 1

Inputs
(* -1 (* y z))
(- (* x y) (* y z))
(* x y)
(* -1 (pow y 2))
(- (* x y) (pow y 2))
(* x (+ y (* -1 (/ (* y z) x))))
(* x (+ y (* -1 (/ (pow y 2) x))))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (+ (* -1 y) (/ (pow y 2) x))))
(* y (- x z))
(* y (+ x (* -1 y)))
(* (pow y 2) (- (/ x y) 1))
(* -1 (* y (- (* -1 x) (* -1 z))))
(+ (* -1 (* y z)) (* x y))
(* z (- (/ (* x y) z) y))
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))

Outputs
(* -1 (* y z))
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))))
(- (* x y) (* y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(* x y)
(-.f64 (.f64 x y) (.f64 y y))
(* -1 (pow y 2))
(*.f64 x y)
(- (* x y) (pow y 2))
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (.f64 x y))) (.f64 y z))
(* x (+ y (* -1 (/ (* y z) x))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
(* x (+ y (* -1 (/ (pow y 2) x))))
#s(approx (- (* x y) (* y y)) (*.f64 x y))

rewrite0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Counts

7 → 7

Calls

Call 1

Inputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (.f64 x y))) (.f64 y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
#s(approx (- (* x y) (* y y)) (*.f64 x y))

Outputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y)))
(-.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (.f64 x y))) (.f64 y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
#s(approx (- (* x y) (* y y)) (*.f64 x y))

eval1.0ms (0.1%)

Memory: 3.1MiB live, 3.1MiB allocated
Compiler: Compiled 460 to 26 computations (94.3% saved)

prune2.0ms (0.2%)

Memory

5.2MiB live, 5.2MiB allocated

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	11	1	12
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	12	2	14

Accuracy

98.4%

Counts

14 → 2

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

98.0%

(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))) (*.f64 y z))

▶

52.5%

#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))

Compiler

Compiled 66 to 25 computations (62.1% saved)

simplify0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
#s(approx (- (* x y) (* y y)) (*.f64 x y))
(*.f64 x y)
x
y

Outputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
#s(approx (- (* x y) (* y y)) (*.f64 x y))
(*.f64 x y)
x
y

localize31.0ms (2.4%)

Memory

-24.7MiB live, 57.0MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x y)
accuracy	27.996848935783845	#s(approx (- (* x y) (* y y)) (*.f64 x y))
accuracy	27.996848935783845	#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
accuracy	30.39767599348275	#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))

Samples

16.0ms	114×	1	valid
8.0ms	139×	0	valid
0.0ms	3×	2	valid

Compiler

Compiled 118 to 24 computations (79.7% saved)

Precisions

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

ival-mult: 7.0ms (42.5% of total)

adjust: 5.0ms (30.3% of total)

ival-sub: 3.0ms (18.2% of total)

ival-add: 2.0ms (12.1% of total)

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

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

series4.0ms (0.3%)

Memory

7.4MiB live, 7.4MiB allocated

Counts

4 → 16

Calls

Call 1

Inputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
#s(approx (- (* x y) (* y y)) (*.f64 x y))
(*.f64 x y)

Outputs
(* -1 (* y z))
(- (* x y) (* y z))
(* x y)
(* -1 (pow y 2))
(- (* x y) (pow y 2))
(* x (+ y (* -1 (/ (* y z) x))))
(* x (+ y (* -1 (/ (pow y 2) x))))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (+ (* -1 y) (/ (pow y 2) x))))
(* y (- x z))
(* y (+ x (* -1 y)))
(* (pow y 2) (- (/ x y) 1))
(* -1 (* y (- (* -1 x) (* -1 z))))
(+ (* -1 (* y z)) (* x y))
(* z (- (/ (* x y) z) y))
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))

Calls

9 calls:

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

simplify0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	egg-herbie

Counts

16 → 4

Calls

Call 1

Inputs
(* -1 (* y z))
(- (* x y) (* y z))
(* x y)
(* -1 (pow y 2))
(- (* x y) (pow y 2))
(* x (+ y (* -1 (/ (* y z) x))))
(* x (+ y (* -1 (/ (pow y 2) x))))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (+ (* -1 y) (/ (pow y 2) x))))
(* y (- x z))
(* y (+ x (* -1 y)))
(* (pow y 2) (- (/ x y) 1))
(* -1 (* y (- (* -1 x) (* -1 z))))
(+ (* -1 (* y z)) (* x y))
(* z (- (/ (* x y) z) y))
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))

Outputs
(* -1 (* y z))
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))
(- (* x y) (* y z))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
(* x y)
#s(approx (- (* x y) (* y y)) (*.f64 x y))
(* -1 (pow y 2))
(*.f64 x y)

rewrite0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

4 → 4

Calls

Call 1

Inputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
#s(approx (- (* x y) (* y y)) (*.f64 x y))
(*.f64 x y)

Outputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))
#s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y)))
#s(approx (- (* x y) (* y y)) (*.f64 x y))
(*.f64 x y)

eval1.0ms (0%)

Memory: 1.6MiB live, 1.6MiB allocated
Compiler: Compiled 211 to 14 computations (93.4% saved)

prune3.0ms (0.3%)

Memory

6.8MiB live, 6.8MiB allocated

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	5	0	5
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	5	2	7

Accuracy

98.4%

Counts

7 → 2

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

98.0%

(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))) (*.f64 y z))

✓

52.5%

#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))

Compiler

Compiled 251 to 50 computations (80.1% saved)

regimes12.0ms (0.9%)

Memory

-12.7MiB live, 25.9MiB allocated

Counts

7 → 1

Calls

Call 1

Inputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))))
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (.f64 x y))) (.f64 y z))
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y)))
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (.f64 x y) (.f64 y y))) (*.f64 y z))
(-.f64 (+.f64 #s(approx (- (* x y) (* y y)) (.f64 x y)) (.f64 y y)) (*.f64 y z))
(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))

Outputs
(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (.f64 x y))) (.f64 y z))

Calls

4 calls:

4.0ms	z
3.0ms	y
3.0ms	(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
3.0ms	x

Results

Accuracy	Segments	Branch
98.0%	1	`x`
98.0%	1	`y`
98.0%	1	`z`
98.0%	1	`(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))`

Compiler

Compiled 18 to 18 computations (0% saved)

regimes6.0ms (0.4%)

Memory

16.5MiB live, 16.5MiB allocated

Accuracy

Total -9.7b remaining (-31.9%)

Threshold costs -9.7b (-31.9%)

Counts

2 → 1

Calls

Call 1

Inputs

#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))

#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y y))))

Outputs
#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))

Calls

4 calls:

1.0ms	(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
1.0ms	y
1.0ms	x
1.0ms	z

Results

Accuracy	Segments	Branch
52.5%	1	`x`
52.5%	1	`y`
52.5%	1	`z`
52.5%	1	`(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))`

Compiler

Compiled 18 to 18 computations (0% saved)

simplify6.0ms (0.5%)

Memory

-27.4MiB live, 11.5MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs

(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))) (*.f64 y z))

#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))

Outputs

(-.f64 #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))) (*.f64 y z))

#s(approx (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) #s(approx (+ (- (* x y) (* y y)) (* y y)) #s(approx (- (* x y) (* y y)) (*.f64 x y))))

soundness1.0ms (0.1%)

Memory

1.5MiB live, 1.5MiB allocated

Stop Event

1×

done

Compiler

Compiled 66 to 15 computations (77.3% saved)

preprocess23.0ms (1.8%)

Memory: 5.2MiB live, 46.8MiB allocated
Compiler: Compiled 172 to 58 computations (66.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample923.0ms (70.3%)

explain134.0ms (10.2%)

preprocess3.0ms (0.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize40.0ms (3%)

series7.0ms (0.5%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

simplify1.0ms (0.1%)

localize59.0ms (4.5%)

series5.0ms (0.4%)

simplify0.0ms (0%)

rewrite1.0ms (0%)

eval2.0ms (0.2%)

prune2.0ms (0.1%)

simplify1.0ms (0%)

localize36.0ms (2.8%)

series4.0ms (0.3%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.2%)

simplify0.0ms (0%)

localize31.0ms (2.4%)

series4.0ms (0.3%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0%)

prune3.0ms (0.3%)

regimes12.0ms (0.9%)

regimes6.0ms (0.4%)

simplify6.0ms (0.5%)

soundness1.0ms (0.1%)

preprocess23.0ms (1.8%)

end0.0ms (0%)

Profiling