Metrics for Linear.V4:$cdot from linear-1.19.1.3, C

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.6%	0.4%	0%	0%	0%	0
100%	99.6%	0%	0.4%	0%	0%	0%	1

Compiler

Compiled 17 to 17 computations (0% saved)

sample1.0s (60.1%)

Memory

29.0MiB live, 1 483.8MiB allocated

Samples

671.0ms

8 256×

valid

Precisions

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

ival-mult: 242.0ms (67.5% of total)

ival-add: 107.0ms (29.9% of total)

ival-true: 7.0ms (2% of total)

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

Bogosity

explain144.0ms (8.3%)

Memory

-29.4MiB live, 205.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
9	-	-	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
9	-	-	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
1	-	-	`(+.f64 (.f64 x y) (.f64 z t))`
0	-	-	`(*.f64 c i)`
0	-	-	`a`
0	-	-	`t`
0	-	-	`(*.f64 z t)`
0	-	-	`z`
0	-	-	`(*.f64 x y)`
0	-	-	`c`
0	-	-	`y`
0	-	-	`i`
0	-	-	`b`
0	-	-	`(*.f64 a b)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`	nan-rescue	9	0
↳	`(*.f64 x y)`	overflow	29
↳	`(+.f64 (.f64 x y) (.f64 z t))`	overflow	66
↳	`(*.f64 z t)`	overflow	42
↳	`(*.f64 a b)`	overflow	37
`+.f64`	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`	nan-rescue	9	0
↳	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`	overflow	92
↳	`(*.f64 a b)`	overflow	37
↳	`(*.f64 x y)`	overflow	29
↳	`(+.f64 (.f64 x y) (.f64 z t))`	overflow	66
↳	`(*.f64 z t)`	overflow	42
↳	`(*.f64 c i)`	overflow	23
`+.f64`	`(+.f64 (.f64 x y) (.f64 z t))`	nan-rescue	1	0
↳	`(*.f64 x y)`	overflow	29
↳	`(*.f64 z t)`	overflow	42

Confusion

	Predicted +	Predicted -
+	16	0
-	0	240

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	16	0	0
-	0	0	240

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	240
1	14
2	1
3	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

52.0ms

512×

valid

Compiler

Compiled 178 to 64 computations (64% saved)

Precisions

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

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

ival-add: 6.0ms (27.2% of total)

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

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

preprocess6.0ms (0.4%)

Memory

11.3MiB live, 11.3MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

Outputs
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

Compiler

Compiled 15 to 15 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	93.7%	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

Compiler

Compiled 15 to 15 computations (0% 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	(+.f64 (.f64 x y) (.f64 z t))
cost-diff	0	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
cost-diff	0	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(*.f64 a b)
a
b
(*.f64 c i)
c
i

Outputs
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(*.f64 a b)
a
b
(*.f64 c i)
c
i

localize33.0ms (1.9%)

Memory

5.4MiB live, 42.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 a b)
accuracy	0.20312500000000003	(+.f64 (.f64 x y) (.f64 z t))
accuracy	1.9531188074906176	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
accuracy	2.152329300811441	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

Samples

26.0ms

256×

valid

Compiler

Compiled 108 to 32 computations (70.4% saved)

Precisions

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

ival-add: 7.0ms (51.5% of total)

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

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

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

series21.0ms (1.2%)

Memory

-11.5MiB live, 25.0MiB allocated

Counts

5 → 48

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
(*.f64 a b)

Outputs
(+ (* a b) (+ (* c i) (* t z)))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
(+ (* a b) (* t z))
(+ (* a b) (+ (* t z) (* x y)))
(* t z)
(+ (* t z) (* x y))
(* x y)
(* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x)))))
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
(* x (+ y (/ (* t z) x)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(* y (+ x (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
(* y (+ x (/ (* t z) y)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y)))))
(+ (* a b) (+ (* c i) (* x y)))
(+ (* a b) (* x y))
(* z (+ t (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z)))))
(* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))
(* z (+ t (/ (* x y) z)))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z)))))
(* t (+ z (+ (/ (* a b) t) (+ (/ (* c i) t) (/ (* x y) t)))))
(* t (+ z (+ (/ (* a b) t) (/ (* x y) t))))
(* t (+ z (/ (* x y) t)))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t)))))
(+ (* c i) (+ (* t z) (* x y)))
(* a b)
(* a (+ b (+ (/ (* c i) a) (+ (/ (* t z) a) (/ (* x y) a)))))
(* a (+ b (+ (/ (* t z) a) (/ (* x y) a))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) a)))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a)))))
(* b (+ a (+ (/ (* c i) b) (+ (/ (* t z) b) (/ (* x y) b)))))
(* b (+ a (+ (/ (* t z) b) (/ (* x y) b))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) b)))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b)))))
(* c i)
(* c (+ i (+ (/ (* a b) c) (+ (/ (* t z) c) (/ (* x y) c)))))
(* -1 (* c (+ (* -1 i) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) c)))))
(* i (+ c (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i)))))
(* -1 (* i (+ (* -1 c) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) i)))))

Calls

24 calls:

Time	Variable		Point	Expression
5.0ms	c	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (* a b))
1.0ms	z	@	inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (* a b))
1.0ms	x	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (* a b))
1.0ms	x	@	0	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (* a b))
1.0ms	y	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (* a b))

simplify1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Counts

48 → 5

Calls

Call 1

Inputs
(+ (* a b) (+ (* c i) (* t z)))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
(+ (* a b) (* t z))
(+ (* a b) (+ (* t z) (* x y)))
(* t z)
(+ (* t z) (* x y))
(* x y)
(* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x)))))
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
(* x (+ y (/ (* t z) x)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(* y (+ x (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
(* y (+ x (/ (* t z) y)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y)))))
(+ (* a b) (+ (* c i) (* x y)))
(+ (* a b) (* x y))
(* z (+ t (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z)))))
(* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))
(* z (+ t (/ (* x y) z)))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z)))))
(* t (+ z (+ (/ (* a b) t) (+ (/ (* c i) t) (/ (* x y) t)))))
(* t (+ z (+ (/ (* a b) t) (/ (* x y) t))))
(* t (+ z (/ (* x y) t)))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t)))))
(+ (* c i) (+ (* t z) (* x y)))
(* a b)
(* a (+ b (+ (/ (* c i) a) (+ (/ (* t z) a) (/ (* x y) a)))))
(* a (+ b (+ (/ (* t z) a) (/ (* x y) a))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) a)))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a)))))
(* b (+ a (+ (/ (* c i) b) (+ (/ (* t z) b) (/ (* x y) b)))))
(* b (+ a (+ (/ (* t z) b) (/ (* x y) b))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) b)))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b)))))
(* c i)
(* c (+ i (+ (/ (* a b) c) (+ (/ (* t z) c) (/ (* x y) c)))))
(* -1 (* c (+ (* -1 i) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) c)))))
(* i (+ c (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i)))))
(* -1 (* i (+ (* -1 c) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) i)))))

Outputs
(+ (* a b) (+ (* c i) (* t z)))
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+ (* a b) (* t z))
(+.f64 (.f64 x y) (.f64 z t))
(+ (* a b) (+ (* t z) (* x y)))
(*.f64 x y)
(* t z)
(*.f64 a b)

rewrite0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Counts

5 → 5

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
(*.f64 a b)

Outputs
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
(*.f64 a b)

eval1.0ms (0.1%)

Memory: 2.0MiB live, 2.0MiB allocated
Compiler: Compiled 194 to 31 computations (84% saved)

prune2.0ms (0.1%)

Memory

3.3MiB live, 3.3MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	6	4	10
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	6	5	11

Accuracy

99.2%

Counts

11 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.7%	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
▶	36.5%	(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
▶	72.5%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
▶	48.2%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
▶	76.0%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))

Compiler

Compiled 103 to 88 computations (14.6% saved)

simplify1.0ms (0.1%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(*.f64 a b)
a
b
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(*.f64 x y)
x
y
(*.f64 c i)
c
i
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(*.f64 c i)
c
i
(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
a
b
(*.f64 c i)
c
i

Outputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(*.f64 a b)
a
b
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(*.f64 x y)
x
y
(*.f64 c i)
c
i
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(*.f64 c i)
c
i
(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
a
b
(*.f64 c i)
c
i

localize45.0ms (2.6%)

Memory

24.2MiB live, 61.4MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 a b)
accuracy	1.9531188074906176	(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
accuracy	2.152329300811441	(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b))
accuracy	61.496117739768586	#s(approx (+ (* x y) (* z t)) (*.f64 a b))
accuracy	0.0	(*.f64 c i)
accuracy	0.20312500000000003	(+.f64 (.f64 x y) (.f64 z t))
accuracy	1.9531188074906176	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
accuracy	21.716343718877216	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
accuracy	0.0	(*.f64 x y)
accuracy	0.0	(*.f64 c i)
accuracy	1.9531188074906176	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
accuracy	42.302930358324154	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
accuracy	0.0	(*.f64 a b)
accuracy	0.20312500000000003	(+.f64 (.f64 x y) (.f64 z t))
accuracy	2.152329300811441	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
accuracy	13.114122174864335	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))

Samples

31.0ms

256×

valid

Compiler

Compiled 400 to 46 computations (88.5% saved)

Precisions

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

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

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

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

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

series25.0ms (1.4%)

Memory

-22.9MiB live, 25.1MiB allocated

Counts

13 → 48

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(*.f64 c i)
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)

Outputs
(+ (* a b) (+ (* c i) (* t z)))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
(+ (* a b) (* t z))
(+ (* a b) (+ (* t z) (* x y)))
(* t z)
(+ (* t z) (* x y))
(* x y)
(* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x)))))
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
(* x (+ y (/ (* t z) x)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(* y (+ x (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
(* y (+ x (/ (* t z) y)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y)))))
(+ (* a b) (+ (* c i) (* x y)))
(+ (* a b) (* x y))
(* z (+ t (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z)))))
(* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))
(* z (+ t (/ (* x y) z)))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z)))))
(* t (+ z (+ (/ (* a b) t) (+ (/ (* c i) t) (/ (* x y) t)))))
(* t (+ z (+ (/ (* a b) t) (/ (* x y) t))))
(* t (+ z (/ (* x y) t)))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t)))))
(+ (* c i) (+ (* t z) (* x y)))
(* a b)
(* a (+ b (+ (/ (* c i) a) (+ (/ (* t z) a) (/ (* x y) a)))))
(* a (+ b (+ (/ (* t z) a) (/ (* x y) a))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) a)))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a)))))
(* b (+ a (+ (/ (* c i) b) (+ (/ (* t z) b) (/ (* x y) b)))))
(* b (+ a (+ (/ (* t z) b) (/ (* x y) b))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) b)))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b)))))
(* c i)
(* c (+ i (+ (/ (* a b) c) (+ (/ (* t z) c) (/ (* x y) c)))))
(* -1 (* c (+ (* -1 i) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) c)))))
(* i (+ c (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i)))))
(* -1 (* i (+ (* -1 c) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) i)))))

Calls

24 calls:

Time	Variable		Point	Expression
10.0ms	y	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* c i) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b))
1.0ms	x	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* c i) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b))
1.0ms	b	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* c i) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b))
1.0ms	a	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* c i) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b))
1.0ms	i	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* c i) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b))

simplify1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Counts

48 → 13

Calls

Call 1

Inputs
(+ (* a b) (+ (* c i) (* t z)))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
(+ (* a b) (* t z))
(+ (* a b) (+ (* t z) (* x y)))
(* t z)
(+ (* t z) (* x y))
(* x y)
(* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x)))))
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
(* x (+ y (/ (* t z) x)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(* y (+ x (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
(* y (+ x (/ (* t z) y)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y)))))
(+ (* a b) (+ (* c i) (* x y)))
(+ (* a b) (* x y))
(* z (+ t (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z)))))
(* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))
(* z (+ t (/ (* x y) z)))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z)))))
(* t (+ z (+ (/ (* a b) t) (+ (/ (* c i) t) (/ (* x y) t)))))
(* t (+ z (+ (/ (* a b) t) (/ (* x y) t))))
(* t (+ z (/ (* x y) t)))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t)))))
(+ (* c i) (+ (* t z) (* x y)))
(* a b)
(* a (+ b (+ (/ (* c i) a) (+ (/ (* t z) a) (/ (* x y) a)))))
(* a (+ b (+ (/ (* t z) a) (/ (* x y) a))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) a)))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a)))))
(* b (+ a (+ (/ (* c i) b) (+ (/ (* t z) b) (/ (* x y) b)))))
(* b (+ a (+ (/ (* t z) b) (/ (* x y) b))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) b)))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b)))))
(* c i)
(* c (+ i (+ (/ (* a b) c) (+ (/ (* t z) c) (/ (* x y) c)))))
(* -1 (* c (+ (* -1 i) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) c)))))
(* i (+ c (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i)))))
(* -1 (* i (+ (* -1 c) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) i)))))

Outputs
(+ (* a b) (+ (* c i) (* t z)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+ (* a b) (* t z))
(+.f64 (.f64 x y) (.f64 z t))
(+ (* a b) (+ (* t z) (* x y)))
(*.f64 x y)
(* t z)
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
(+ (* t z) (* x y))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(* x y)
(*.f64 c i)
(* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x)))))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(* x (+ y (/ (* t z) x)))
(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x)))))
(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(*.f64 a b)

rewrite1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Counts

13 → 13

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(*.f64 c i)
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)

Outputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(*.f64 c i)
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)

eval4.0ms (0.2%)

Memory: 6.6MiB live, 6.6MiB allocated
Compiler: Compiled 1 045 to 62 computations (94.1% saved)

prune3.0ms (0.2%)

Memory

6.2MiB live, 6.2MiB allocated

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	31	4	35
Fresh	0	0	0
Picked	1	3	4
Done	1	0	1
Total	33	7	40

Accuracy

100.0%

Counts

40 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	72.5%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
✓	48.2%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
▶	48.3%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
✓	76.0%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
▶	53.8%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
▶	27.6%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
▶	28.7%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

Compiler

Compiled 201 to 132 computations (34.3% saved)

simplify1.0ms (0.1%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
a
b
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(*.f64 x y)
x
y
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
a
b
(*.f64 c i)
c
i

Outputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
a
b
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(*.f64 x y)
x
y
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(+.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
a
b
(*.f64 c i)
c
i

localize42.0ms (2.4%)

Memory

-22.1MiB live, 52.8MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 a b)
accuracy	1.9531188074906176	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
accuracy	21.716343718877216	#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
accuracy	61.496117739768586	#s(approx (+ (* x y) (* z t)) (*.f64 a b))
accuracy	0.0	(*.f64 x y)
accuracy	0.20312500000000003	(+.f64 (.f64 x y) (.f64 z t))
accuracy	13.114122174864335	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
accuracy	21.716343718877216	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
accuracy	0.0	(*.f64 x y)
accuracy	13.114122174864335	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
accuracy	42.302930358324154	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
accuracy	0.0	(*.f64 a b)
accuracy	13.114122174864335	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
accuracy	21.716343718877216	#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
accuracy	61.496117739768586	#s(approx (+ (* x y) (* z t)) (*.f64 a b))

Samples

31.0ms

256×

valid

Compiler

Compiled 428 to 45 computations (89.5% saved)

Precisions

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

ival-mult: 9.0ms (72.4% of total)

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

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

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

series14.0ms (0.8%)

Memory

25.3MiB live, 25.3MiB allocated

Counts

11 → 48

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(*.f64 x y)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(+.f64 (.f64 x y) (.f64 z t))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))

Outputs
(+ (* a b) (+ (* c i) (* t z)))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
(+ (* a b) (* t z))
(+ (* a b) (+ (* t z) (* x y)))
(* t z)
(+ (* t z) (* x y))
(* x y)
(* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x)))))
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
(* x (+ y (/ (* t z) x)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(* y (+ x (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
(* y (+ x (/ (* t z) y)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y)))))
(+ (* a b) (+ (* c i) (* x y)))
(+ (* a b) (* x y))
(* z (+ t (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z)))))
(* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))
(* z (+ t (/ (* x y) z)))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z)))))
(* t (+ z (+ (/ (* a b) t) (+ (/ (* c i) t) (/ (* x y) t)))))
(* t (+ z (+ (/ (* a b) t) (/ (* x y) t))))
(* t (+ z (/ (* x y) t)))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t)))))
(+ (* c i) (+ (* t z) (* x y)))
(* a b)
(* a (+ b (+ (/ (* c i) a) (+ (/ (* t z) a) (/ (* x y) a)))))
(* a (+ b (+ (/ (* t z) a) (/ (* x y) a))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) a)))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a)))))
(* b (+ a (+ (/ (* c i) b) (+ (/ (* t z) b) (/ (* x y) b)))))
(* b (+ a (+ (/ (* t z) b) (/ (* x y) b))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) b)))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b)))))
(* c i)
(* c (+ i (+ (/ (* a b) c) (+ (/ (* t z) c) (/ (* x y) c)))))
(* -1 (* c (+ (* -1 i) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) c)))))
(* i (+ c (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i)))))
(* -1 (* i (+ (* -1 c) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) i)))))

Calls

24 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* x y) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
1.0ms	y	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* x y) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
1.0ms	a	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* x y) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
1.0ms	b	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* x y) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
1.0ms	x	@	inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* x y) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

simplify1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

1×	egg-herbie

Counts

48 → 11

Calls

Call 1

Inputs
(+ (* a b) (+ (* c i) (* t z)))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
(+ (* a b) (* t z))
(+ (* a b) (+ (* t z) (* x y)))
(* t z)
(+ (* t z) (* x y))
(* x y)
(* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x)))))
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
(* x (+ y (/ (* t z) x)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(* y (+ x (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
(* y (+ x (/ (* t z) y)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y)))))
(+ (* a b) (+ (* c i) (* x y)))
(+ (* a b) (* x y))
(* z (+ t (+ (/ (* a b) z) (+ (/ (* c i) z) (/ (* x y) z)))))
(* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))
(* z (+ t (/ (* x y) z)))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z)))))
(* t (+ z (+ (/ (* a b) t) (+ (/ (* c i) t) (/ (* x y) t)))))
(* t (+ z (+ (/ (* a b) t) (/ (* x y) t))))
(* t (+ z (/ (* x y) t)))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (+ (* c i) (* x y))) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t)))))
(+ (* c i) (+ (* t z) (* x y)))
(* a b)
(* a (+ b (+ (/ (* c i) a) (+ (/ (* t z) a) (/ (* x y) a)))))
(* a (+ b (+ (/ (* t z) a) (/ (* x y) a))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) a)))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a)))))
(* b (+ a (+ (/ (* c i) b) (+ (/ (* t z) b) (/ (* x y) b)))))
(* b (+ a (+ (/ (* t z) b) (/ (* x y) b))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* c i) (+ (* t z) (* x y))) b)))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b)))))
(* c i)
(* c (+ i (+ (/ (* a b) c) (+ (/ (* t z) c) (/ (* x y) c)))))
(* -1 (* c (+ (* -1 i) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) c)))))
(* i (+ c (+ (/ (* a b) i) (+ (/ (* t z) i) (/ (* x y) i)))))
(* -1 (* i (+ (* -1 c) (* -1 (/ (+ (* a b) (+ (* t z) (* x y))) i)))))

Outputs
(+ (* a b) (+ (* c i) (* t z)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
(+ (* a b) (* t z))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(+ (* a b) (+ (* t z) (* x y)))
(*.f64 a b)
(* t z)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
(+ (* t z) (* x y))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(* x y)
(*.f64 x y)
(* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x)))))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(* x (+ y (/ (* t z) x)))
(+.f64 (.f64 x y) (.f64 z t))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x)))))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))

rewrite1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Counts

11 → 11

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(*.f64 x y)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(+.f64 (.f64 x y) (.f64 z t))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))

Outputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(*.f64 x y)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(+.f64 (.f64 x y) (.f64 z t))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))

eval6.0ms (0.4%)

Memory: -31.5MiB live, 6.5MiB allocated
Compiler: Compiled 1 138 to 55 computations (95.2% saved)

prune8.0ms (0.5%)

Memory

17.3MiB live, 17.3MiB allocated

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	30	0	30
Fresh	0	0	0
Picked	0	4	4
Done	0	3	3
Total	30	7	37

Accuracy

100.0%

Counts

37 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	72.5%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
✓	48.2%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
✓	48.3%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
✓	76.0%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
✓	53.8%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
✓	27.6%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
✓	28.7%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

Compiler

Compiled 436 to 167 computations (61.7% saved)

regimes63.0ms (3.7%)

Memory

-10.3MiB live, 107.5MiB allocated

Counts

9 → 2

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

Outputs

(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

Calls

15 calls:

9.0ms	(*.f64 x y)
8.0ms	b
6.0ms	x
3.0ms	t
3.0ms	z

Results

Accuracy	Segments	Branch
93.7%	1	`x`
93.7%	1	`y`
93.7%	1	`z`
93.7%	1	`t`
93.7%	1	`a`
95.3%	2	`b`
93.7%	1	`c`
93.7%	1	`i`
96.5%	2	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
96.1%	2	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
93.7%	1	`(+.f64 (.f64 x y) (.f64 z t))`
93.7%	1	`(*.f64 x y)`
93.7%	1	`(*.f64 z t)`
95.7%	2	`(*.f64 a b)`
93.7%	1	`(*.f64 c i)`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes49.0ms (2.8%)

Memory

-1.4MiB live, 123.3MiB allocated

Counts

8 → 3

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))

Outputs

(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 c i))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))

(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)) (*.f64 c i))

Calls

15 calls:

4.0ms	(*.f64 c i)
4.0ms	c
4.0ms	y
3.0ms	b
3.0ms	z

Results

Accuracy	Segments	Branch
81.1%	3	`x`
79.9%	3	`y`
79.4%	3	`z`
79.6%	3	`t`
83.9%	3	`a`
86.6%	3	`b`
87.8%	3	`c`
85.4%	3	`i`
84.0%	3	`(+.f64 (.f64 x y) (.f64 z t))`
80.9%	3	`(*.f64 x y)`
76.0%	1	`(*.f64 z t)`
90.1%	3	`(*.f64 c i)`
88.5%	3	`(*.f64 a b)`
89.4%	4	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
80.1%	3	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes3.0ms (0.2%)

Memory

7.6MiB live, 7.6MiB allocated

Counts

6 → 3

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))

Outputs

(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)) (*.f64 c i))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))

(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)) (*.f64 c i))

Calls

1 calls:

2.0ms

(*.f64 c i)

Results

Accuracy	Segments	Branch
89.0%	3	`(*.f64 c i)`

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes33.0ms (1.9%)

Memory

-13.4MiB live, 64.7MiB allocated

Counts

5 → 3

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))

Outputs

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))))

(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))) (*.f64 c i))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))))

Calls

14 calls:

3.0ms	z
3.0ms	b
2.0ms	t
2.0ms	i
2.0ms	a

Results

Accuracy	Segments	Branch
70.4%	7	`z`
67.5%	4	`t`
67.2%	3	`y`
64.6%	5	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
68.0%	3	`(*.f64 x y)`
62.5%	3	`x`
65.3%	3	`a`
79.2%	3	`(+.f64 (.f64 x y) (.f64 z t))`
65.9%	4	`i`
69.6%	3	`b`
65.8%	4	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
60.9%	2	`c`
73.0%	3	`(*.f64 a b)`
67.2%	3	`(*.f64 c i)`

Compiler

Compiled 50 to 130 computations (-160% saved)

regimes5.0ms (0.3%)

Memory

11.0MiB live, 11.0MiB allocated

Counts

3 → 3

Calls

Call 1

Inputs

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))))

Outputs

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

Calls

3 calls:

2.0ms	(*.f64 a b)
2.0ms	(*.f64 z t)
2.0ms	(+.f64 (.f64 x y) (.f64 z t))

Results

Accuracy	Segments	Branch
71.2%	3	`(*.f64 a b)`
53.8%	1	`(*.f64 z t)`
63.5%	3	`(+.f64 (.f64 x y) (.f64 z t))`

Compiler

Compiled 13 to 29 computations (-123.1% saved)

regimes23.0ms (1.3%)

Memory

11.3MiB live, 51.4MiB allocated

Counts

2 → 3

Calls

Call 1

Inputs

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))

Outputs

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

Calls

15 calls:

3.0ms	i
1.0ms	a
1.0ms	b
1.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
1.0ms	t

Results

Accuracy	Segments	Branch
30.4%	2	`(*.f64 z t)`
33.6%	3	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
39.8%	3	`x`
33.5%	2	`c`
43.6%	3	`(+.f64 (.f64 x y) (.f64 z t))`
32.8%	3	`z`
33.5%	3	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
34.1%	4	`i`
40.0%	3	`a`
37.1%	4	`t`
41.0%	3	`y`
30.6%	2	`(*.f64 c i)`
47.4%	3	`(*.f64 x y)`
44.3%	3	`b`
48.6%	3	`(*.f64 a b)`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes19.0ms (1.1%)

Memory

4.2MiB live, 43.2MiB allocated

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

Outputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))))

Calls

15 calls:

1.0ms	b
1.0ms	x
1.0ms	y
1.0ms	a
1.0ms	(+.f64 (.f64 x y) (.f64 z t))

Results

Accuracy	Segments	Branch
28.7%	1	`(*.f64 z t)`
28.7%	1	`(*.f64 c i)`
28.7%	1	`i`
28.7%	1	`z`
28.7%	1	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
28.7%	1	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
28.7%	1	`c`
28.7%	1	`t`
28.7%	1	`x`
28.7%	1	`a`
28.7%	1	`y`
28.7%	1	`(+.f64 (.f64 x y) (.f64 z t))`
28.7%	1	`b`
28.7%	1	`(*.f64 x y)`
28.7%	1	`(*.f64 a b)`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch33.0ms (1.9%)

Memory

9.0MiB live, 47.5MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	8.238538132260117e+137	1.4112091808068268e+139
18.0ms	-1.6656575085836012e+103	-1.4012690665984595e+84

Samples

20.0ms

272×

valid

Compiler

Compiled 806 to 709 computations (12% saved)

Precisions

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

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

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

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

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

bsearch21.0ms (1.2%)

Memory

-4.1MiB live, 34.0MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	8.238538132260117e+137	1.4112091808068268e+139
18.0ms	-2.087372652261344e+164	-2.7632422284729155e+149

Samples

11.0ms

160×

valid

Compiler

Compiled 766 to 689 computations (10.1% saved)

Precisions

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

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

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

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

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

bsearch1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	2.5134211044624663e+114	3.8744785385077346e+118
0.0ms	-1.1939003416554691e+228	-1.8281346038634953e+223

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch41.0ms (2.4%)

Memory

-32.2MiB live, 53.1MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
18.0ms	1.4581713962414816e+131	1.0192812499220085e+141
20.0ms	-4.1427029314466815e+246	-3.2209685352245464e+240

Samples

25.0ms

304×

valid

Compiler

Compiled 1 386 to 786 computations (43.3% saved)

Precisions

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

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

ival-add: 4.0ms (42% of total)

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

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

bsearch33.0ms (1.9%)

Memory

15.0MiB live, 53.6MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	4.97119177103327e+42	1.2482932016678693e+47
15.0ms	-2.6486143925861364e+104	-9.949711726699847e+97

Samples

18.0ms

272×

valid

Compiler

Compiled 1 174 to 672 computations (42.8% saved)

Precisions

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

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

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

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

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

simplify5.0ms (0.3%)

Memory: 10.7MiB live, 10.7MiB allocated

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.0ms (0%)

sample1.0s (60.1%)

explain144.0ms (8.3%)

preprocess6.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize33.0ms (1.9%)

series21.0ms (1.2%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0.1%)

localize45.0ms (2.6%)

series25.0ms (1.4%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval4.0ms (0.2%)

prune3.0ms (0.2%)

simplify1.0ms (0.1%)

localize42.0ms (2.4%)

series14.0ms (0.8%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval6.0ms (0.4%)

prune8.0ms (0.5%)

regimes63.0ms (3.7%)

regimes49.0ms (2.8%)

regimes3.0ms (0.2%)

regimes33.0ms (1.9%)

regimes5.0ms (0.3%)

regimes23.0ms (1.3%)

regimes19.0ms (1.1%)

bsearch0.0ms (0%)

bsearch33.0ms (1.9%)

bsearch21.0ms (1.2%)

bsearch1.0ms (0%)

bsearch41.0ms (2.4%)

bsearch33.0ms (1.9%)

simplify5.0ms (0.3%)

end0.0ms (0%)

Profiling