Metrics for Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, E

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 11 to 10 computations (9.1% saved)

sample667.0ms (61.5%)

Memory

30.1MiB live, 1 003.9MiB allocated

Samples

434.0ms

8 256×

valid

Precisions

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

ival-mult: 111.0ms (51.4% of total)

ival-sub: 52.0ms (24.1% of total)

ival-add: 38.0ms (17.6% of total)

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

exact: 5.0ms (2.3% of total)

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

Bogosity

explain87.0ms (8%)

Memory

17.8MiB live, 141.4MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`#s(literal 6 binary64)`
-	-	`(-.f64 y x)`
-	-	`(.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z)`
-	-	`(*.f64 (-.f64 y x) #s(literal 6 binary64))`
-	-	`y`
-	-	`(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))`
-	-	`z`
-	-	`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

Samples

24.0ms	430×	0	valid
5.0ms	42×	1	valid
4.0ms	24×	2	valid
3.0ms	16×	3	valid

Compiler

Compiled 97 to 36 computations (62.9% saved)

Precisions

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

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

ival-sub: 4.0ms (21.9% of total)

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

adjust: 2.0ms (10.9% of total)

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

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

exact: 0.0ms (0% of total)

preprocess4.0ms (0.4%)

Memory

-32.1MiB live, 6.0MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 9 to 8 computations (11.1% 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.8%	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize24.0ms (2.2%)

Memory

-4.3MiB live, 33.6MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 y x)
accuracy	0.00390625	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))
accuracy	0.1953125	(*.f64 (-.f64 y x) #s(literal 6 binary64))
accuracy	0.19921875	(.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z)

Samples

12.0ms	215×	0	valid
2.0ms	21×	1	valid
2.0ms	12×	2	valid
2.0ms	8×	3	valid

Compiler

Compiled 58 to 18 computations (69% saved)

Precisions

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

ival-mult: 4.0ms (44.7% of total)

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

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

adjust: 1.0ms (11.2% of total)

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

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

exact: 0.0ms (0% of total)

series7.0ms (0.6%)

Memory

10.0MiB live, 10.0MiB allocated

Counts

4 → 36

Calls

Call 1

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

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

Calls

9 calls:

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

simplify0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Counts

36 → 4

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Counts

4 → 4

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 1.6MiB live, 1.6MiB allocated
Compiler: Compiled 100 to 20 computations (80% saved)

prune1.0ms (0.1%)

Memory

2.7MiB live, 2.7MiB 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

99.8%

Counts

9 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))
▶	64.4%	(+.f64 x (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
▶	3.3%	(+.f64 x #s(approx (* (* (- y x) 6) z) (*.f64 (-.f64 y x) #s(literal 6 binary64))))
▶	63.9%	#s(approx (+ x (* (* (- y x) 6) z)) (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))

Compiler

Compiled 54 to 43 computations (20.4% saved)

simplify1.0ms (0.1%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

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

Calls

Call 1

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

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

localize39.0ms (3.6%)

Memory

-21.0MiB live, 44.6MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 y x)
accuracy	0.00390625	(+.f64 x (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
accuracy	0.19921875	(.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z)
accuracy	53.36856962280246	#s(approx (* (- y x) 6) (-.f64 y x))
accuracy	0.0	(-.f64 y x)
accuracy	0.00390625	(+.f64 x #s(approx (* (* (- y x) 6) z) (*.f64 (-.f64 y x) #s(literal 6 binary64))))
accuracy	0.1953125	(*.f64 (-.f64 y x) #s(literal 6 binary64))
accuracy	61.482624563797536	#s(approx (* (* (- y x) 6) z) (*.f64 (-.f64 y x) #s(literal 6 binary64)))
accuracy	0.0	(-.f64 y x)
accuracy	0.1953125	(*.f64 (-.f64 y x) #s(literal 6 binary64))
accuracy	0.19921875	(.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z)
accuracy	22.992401509588646	#s(approx (+ x (* (* (- y x) 6) z)) (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))

Samples

23.0ms	215×	0	valid
3.0ms	21×	1	valid
2.0ms	12×	2	valid
2.0ms	8×	3	valid

Compiler

Compiled 198 to 28 computations (85.9% saved)

Precisions

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

ival-sub: 11.0ms (62.3% of total)

ival-mult: 4.0ms (22.7% of total)

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

adjust: 1.0ms (5.7% of total)

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

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

exact: 0.0ms (0% of total)

series4.0ms (0.4%)

Memory

7.5MiB live, 7.5MiB allocated

Counts

9 → 36

Calls

Call 1

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

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

Calls

9 calls:

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

simplify1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Counts

36 → 9

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

9 → 9

Calls

Call 1

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

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

eval2.0ms (0.2%)

Memory: 4.7MiB live, 4.7MiB allocated
Compiler: Compiled 520 to 47 computations (91% saved)

prune6.0ms (0.5%)

Memory

-30.0MiB live, 8.1MiB allocated

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	19	5	24
Fresh	0	0	0
Picked	1	2	3
Done	0	1	1
Total	20	8	28

Accuracy

99.9%

Counts

28 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))
✓	64.4%	(+.f64 x (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
▶	68.5%	(+.f64 x #s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (+.f64 x (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z))) #s(literal 6 binary64))))
▶	3.3%	(+.f64 x #s(approx (* (* (- y x) 6) z) #s(approx (* (- y x) 6) (-.f64 y x))))
✓	63.9%	#s(approx (+ x (* (* (- y x) 6) z)) (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))
▶	30.1%	#s(approx (+ x (* (* (- y x) 6) z)) (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
▶	3.3%	#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (- y x) 6) (-.f64 y x)))
▶	3.3%	#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (* (- y x) 6) z) (*.f64 (-.f64 y x) #s(literal 6 binary64))))

Compiler

Compiled 261 to 157 computations (39.8% saved)

simplify1.0ms (0.1%)

Memory

1.9MiB live, 1.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

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

Calls

Call 1

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

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

localize39.0ms (3.6%)

Memory

23.2MiB live, 60.9MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 y x)
accuracy	0.19921875	(.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z)
accuracy	22.992401509588646	#s(approx (+ x (* (* (- y x) 6) z)) (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
accuracy	53.36856962280246	#s(approx (* (- y x) 6) (-.f64 y x))
accuracy	0.0	(-.f64 y x)
accuracy	0.1953125	(*.f64 (-.f64 y x) #s(literal 6 binary64))
accuracy	22.992401509588646	#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (* (- y x) 6) z) (*.f64 (-.f64 y x) #s(literal 6 binary64))))
accuracy	61.482624563797536	#s(approx (* (* (- y x) 6) z) (*.f64 (-.f64 y x) #s(literal 6 binary64)))
accuracy	0.0	(-.f64 y x)
accuracy	0.00390625	(+.f64 x #s(approx (* (* (- y x) 6) z) #s(approx (* (- y x) 6) (-.f64 y x))))
accuracy	53.36856962280246	#s(approx (* (- y x) 6) (-.f64 y x))
accuracy	61.482624563797536	#s(approx (* (* (- y x) 6) z) #s(approx (* (- y x) 6) (-.f64 y x)))
accuracy	0.0	(-.f64 y x)
accuracy	53.36856962280246	#s(approx (* (- y x) 6) (-.f64 y x))
accuracy	61.88004862082171	#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (- y x) 6) (-.f64 y x)))
accuracy	0.19921875	(.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z)
accuracy	53.36856962280246	#s(approx (* (- y x) 6) (-.f64 y x))
accuracy	61.482624563797536	#s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (+.f64 x (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z))) #s(literal 6 binary64)))
accuracy	61.89052915251348	#s(approx (- y x) (+.f64 x (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z)))

Samples

18.0ms	215×	0	valid
3.0ms	21×	1	valid
3.0ms	12×	2	valid
2.0ms	8×	3	valid

Compiler

Compiled 462 to 34 computations (92.6% saved)

Precisions

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

ival-mult: 4.0ms (38.9% of total)

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

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

adjust: 1.0ms (9.7% of total)

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

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

exact: 0.0ms (0% of total)

series5.0ms (0.5%)

Memory

10.4MiB live, 10.4MiB allocated

Counts

14 → 36

Calls

Call 1

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

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

Calls

9 calls:

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

simplify1.0ms (0.1%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

1×	egg-herbie

Counts

36 → 14

Calls

Call 1

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

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

rewrite4.0ms (0.4%)

Memory

-36.0MiB live, 1.5MiB allocated

Counts

14 → 14

Calls

Call 1

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

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

eval3.0ms (0.3%)

Memory: 7.1MiB live, 7.1MiB allocated
Compiler: Compiled 897 to 56 computations (93.8% saved)

prune4.0ms (0.4%)

Memory

9.3MiB live, 9.3MiB allocated

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	0	0	0
Picked	1	4	5
Done	0	3	3
Total	35	8	43

Accuracy

99.9%

Counts

43 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))
✓	64.4%	(+.f64 x (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
▶	99.8%	(+.f64 x #s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z)) #s(literal 6 binary64))))
✓	3.3%	(+.f64 x #s(approx (* (* (- y x) 6) z) #s(approx (* (- y x) 6) (-.f64 y x))))
✓	63.9%	#s(approx (+ x (* (* (- y x) 6) z)) (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))
✓	30.1%	#s(approx (+ x (* (* (- y x) 6) z)) (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
✓	3.3%	#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (- y x) 6) (-.f64 y x)))
✓	3.3%	#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (* (- y x) 6) z) (*.f64 (-.f64 y x) #s(literal 6 binary64))))

Compiler

Compiled 148 to 93 computations (37.2% saved)

simplify1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize31.0ms (2.8%)

Memory

3.1MiB live, 43.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.19921875	(.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z)
accuracy	53.36856962280246	#s(approx (* (- y x) 6) (-.f64 y x))
accuracy	61.482624563797536	#s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z)) #s(literal 6 binary64)))
accuracy	61.491393926535196	#s(approx (- y x) (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))

Samples

18.0ms	215×	0	valid
2.0ms	21×	1	valid
2.0ms	12×	2	valid
2.0ms	8×	3	valid

Compiler

Compiled 156 to 25 computations (84% saved)

Precisions

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

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

ival-mult: 4.0ms (28.1% of total)

adjust: 1.0ms (7% of total)

ival-add: 1.0ms (7% of total)

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

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

exact: 0.0ms (0% of total)

series4.0ms (0.3%)

Memory

7.2MiB live, 7.2MiB allocated

Counts

6 → 36

Calls

Call 1

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

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

Calls

9 calls:

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

simplify0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	egg-herbie

Counts

36 → 6

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 2.2MiB live, 2.2MiB allocated
Compiler: Compiled 290 to 24 computations (91.7% saved)

prune7.0ms (0.7%)

Memory

-29.6MiB live, 8.5MiB allocated

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	9	1	10
Fresh	0	0	0
Picked	1	0	1
Done	0	7	7
Total	10	8	18

Accuracy

99.9%

Counts

18 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))
✓	64.4%	(+.f64 x (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
✓	3.3%	(+.f64 x #s(approx (* (* (- y x) 6) z) #s(approx (* (- y x) 6) (-.f64 y x))))
✓	63.9%	#s(approx (+ x (* (* (- y x) 6) z)) (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))
✓	30.1%	#s(approx (+ x (* (* (- y x) 6) z)) (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
✓	3.3%	#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (- y x) 6) (-.f64 y x)))
✓	3.3%	#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (* (- y x) 6) z) (*.f64 (-.f64 y x) #s(literal 6 binary64))))
	63.9%	#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z)) #s(literal 6 binary64))))

Compiler

Compiled 383 to 127 computations (66.8% saved)

regimes16.0ms (1.4%)

Memory

29.2MiB live, 29.2MiB allocated

Counts

11 → 1

Calls

Call 1

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

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

Calls

4 calls:

4.0ms	x
4.0ms	y
4.0ms	z
4.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))

Results

Accuracy	Segments	Branch
99.8%	1	`x`
99.8%	1	`y`
99.8%	1	`z`
99.8%	1	`(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))`

Compiler

Compiled 12 to 17 computations (-41.7% saved)

regimes14.0ms (1.3%)

Memory

-15.6MiB live, 23.5MiB allocated

Counts

8 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

4 calls:

4.0ms	z
3.0ms	x
3.0ms	y
3.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))

Results

Accuracy	Segments	Branch
79.0%	3	`x`
72.2%	3	`y`
87.5%	3	`z`
68.2%	2	`(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))`

Compiler

Compiled 12 to 17 computations (-41.7% saved)

regimes13.0ms (1.2%)

Memory

-10.2MiB live, 27.3MiB allocated

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

3.0ms	y
3.0ms	x
2.0ms	z
2.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))

Results

Accuracy	Segments	Branch
64.4%	1	`(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))`
64.4%	1	`y`
64.4%	1	`x`
64.4%	1	`z`

Compiler

Compiled 12 to 17 computations (-41.7% saved)

regimes9.0ms (0.9%)

Memory

20.6MiB live, 20.6MiB allocated

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

2.0ms	x
2.0ms	y
2.0ms	z
2.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))

Results

Accuracy	Segments	Branch
30.1%	1	`y`
30.1%	1	`z`
30.1%	1	`(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))`
30.1%	1	`x`

Compiler

Compiled 12 to 17 computations (-41.7% saved)

regimes7.0ms (0.7%)

Memory

16.6MiB live, 16.6MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

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

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

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

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

Calls

4 calls:

2.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))
2.0ms	z
2.0ms	x
2.0ms	y

Results

Accuracy	Segments	Branch
3.3%	1	`x`
3.3%	1	`(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))`
3.3%	1	`y`
3.3%	1	`z`

Compiler

Compiled 12 to 17 computations (-41.7% saved)

regimes10.0ms (0.9%)

Memory

-29.0MiB live, 13.1MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

6.0ms	z
1.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))
1.0ms	x
1.0ms	y

Results

Accuracy	Segments	Branch
3.3%	1	`y`
3.3%	1	`x`
3.3%	1	`(+.f64 x (.f64 (.f64 (-.f64 y x) #s(literal 6 binary64)) z))`
3.3%	1	`z`

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch15.0ms (1.4%)

Memory

26.0MiB live, 26.0MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
7.0ms	0.00011280407350599278	0.0003732491544301529
7.0ms	-1.1274280680035694e-33	-3.885740681497484e-34

Samples

8.0ms

160×

valid

Compiler

Compiled 492 to 294 computations (40.2% saved)

Precisions

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

ival-mult: 2.0ms (52.7% of total)

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

ival-add: 1.0ms (26.4% of total)

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

exact: 0.0ms (0% of total)

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

simplify9.0ms (0.8%)

Memory

-24.4MiB live, 13.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(+.f64 x #s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z)) #s(literal 6 binary64))))
(if (<=.f64 z #s(literal -7716728645107167/11692013098647223345629478661730264157247460343808 binary64)) #s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z)) #s(literal 6 binary64)))) (if (<=.f64 z #s(literal 4242751136953197/36893488147419103232 binary64)) (+.f64 x (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z)) #s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z)) #s(literal 6 binary64))))))
(+.f64 x (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
#s(approx (+ x (* (* (- y x) 6) z)) (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
(+.f64 x #s(approx (* (* (- y x) 6) z) #s(approx (* (- y x) 6) (-.f64 y x))))
#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (- y x) 6) (-.f64 y x)))

Outputs
(+.f64 x #s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z)) #s(literal 6 binary64))))
(if (<=.f64 z #s(literal -7716728645107167/11692013098647223345629478661730264157247460343808 binary64)) #s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z)) #s(literal 6 binary64)))) (if (<=.f64 z #s(literal 4242751136953197/36893488147419103232 binary64)) (+.f64 x (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z)) #s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (* (- y x) 6) z) (.f64 #s(approx (- y x) (.f64 #s(approx (* (- y x) 6) (-.f64 y x)) z)) #s(literal 6 binary64))))))
(+.f64 x (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
#s(approx (+ x (* (* (- y x) 6) z)) (.f64 #s(approx ( (- y x) 6) (-.f64 y x)) z))
(+.f64 x #s(approx (* (* (- y x) 6) z) #s(approx (* (- y x) 6) (-.f64 y x))))
#s(approx (+ x (* (* (- y x) 6) z)) #s(approx (* (- y x) 6) (-.f64 y x)))

soundness2.0ms (0.1%)

Memory

4.1MiB live, 4.1MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 190 to 28 computations (85.3% saved)

preprocess41.0ms (3.7%)

Memory: 9.7MiB live, 85.4MiB allocated
Compiler: Compiled 416 to 88 computations (78.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample667.0ms (61.5%)

explain87.0ms (8%)

preprocess4.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize24.0ms (2.2%)

series7.0ms (0.6%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

simplify1.0ms (0.1%)

localize39.0ms (3.6%)

series4.0ms (0.4%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval2.0ms (0.2%)

prune6.0ms (0.5%)

simplify1.0ms (0.1%)

localize39.0ms (3.6%)

series5.0ms (0.5%)

simplify1.0ms (0.1%)

rewrite4.0ms (0.4%)

eval3.0ms (0.3%)

prune4.0ms (0.4%)

simplify1.0ms (0%)

localize31.0ms (2.8%)

series4.0ms (0.3%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune7.0ms (0.7%)

regimes16.0ms (1.4%)

regimes14.0ms (1.3%)

regimes13.0ms (1.2%)

regimes9.0ms (0.9%)

regimes7.0ms (0.7%)

regimes10.0ms (0.9%)

bsearch15.0ms (1.4%)

simplify9.0ms (0.8%)

soundness2.0ms (0.1%)

preprocess41.0ms (3.7%)

end0.0ms (0%)

Profiling