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

start0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated

analyze1.0ms (0%)

Memory

1.6MiB live, 1.6MiB 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)

sample981.0ms (51.3%)

Memory

26.9MiB live, 1 321.5MiB allocated

Samples

638.0ms

8 256×

valid

Precisions

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

ival-mult: 210.0ms (63.8% of total)

ival-add: 111.0ms (33.7% of total)

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

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

Bogosity

explain135.0ms (7.1%)

Memory

-2.9MiB live, 213.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
9	-	-	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
5	-	-	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
4	-	-	`(+.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 (.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	75
↳	`(*.f64 a b)`	overflow	22
↳	`(*.f64 x y)`	overflow	33
↳	`(+.f64 (.f64 x y) (.f64 z t))`	overflow	59
↳	`(*.f64 z t)`	overflow	31
↳	`(*.f64 c i)`	overflow	32
`+.f64`	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`	nan-rescue	5	0
↳	`(*.f64 x y)`	overflow	33
↳	`(+.f64 (.f64 x y) (.f64 z t))`	overflow	59
↳	`(*.f64 z t)`	overflow	31
↳	`(*.f64 a b)`	overflow	22
`+.f64`	`(+.f64 (.f64 x y) (.f64 z t))`	nan-rescue	4	0
↳	`(*.f64 x y)`	overflow	33
↳	`(*.f64 z t)`	overflow	31

Confusion

	Predicted +	Predicted -
+	17	0
-	0	239

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	17	0	0
-	0	0	239

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	239
1	16
2	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

46.0ms

512×

valid

Compiler

Compiled 178 to 64 computations (64% saved)

Precisions

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

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

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

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

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

preprocess6.0ms (0.3%)

Memory

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

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	93.3%	(+.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

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

localize31.0ms (1.6%)

Memory

-16.5MiB live, 60.7MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 a b)
accuracy	0.9570250574906174	(+.f64 (.f64 x y) (.f64 z t))
accuracy	1.1523375574906176	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
accuracy	2.0585834291510294	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

Samples

22.0ms

256×

valid

Compiler

Compiled 108 to 32 computations (70.4% saved)

Precisions

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

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

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

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

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

series18.0ms (0.9%)

Memory

-6.7MiB live, 31.1MiB 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
2.0ms	c	@	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	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	@	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	x	@	-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

2.1MiB live, 2.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.3MiB live, 2.3MiB allocated
Compiler: Compiled 194 to 31 computations (84% saved)

prune2.0ms (0.1%)

Memory

4.0MiB live, 4.0MiB 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.3%	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
▶	37.1%	(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
▶	74.3%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
▶	54.3%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
▶	71.5%	#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

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

localize43.0ms (2.3%)

Memory

-2.6MiB live, 77.4MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 a b)
accuracy	1.1523375574906176	(+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b))
accuracy	2.0585834291510294	(+.f64 (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)) (*.f64 c i))
accuracy	61.98376036493521	#s(approx (+ (* x y) (* z t)) (*.f64 a b))
accuracy	0.0	(*.f64 c i)
accuracy	0.9570250574906174	(+.f64 (.f64 x y) (.f64 z t))
accuracy	2.0585834291510294	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t))) (*.f64 c i))
accuracy	18.952626895759813	#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	2.0585834291510294	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
accuracy	39.92215372737968	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
accuracy	0.0	(*.f64 a b)
accuracy	0.9570250574906174	(+.f64 (.f64 x y) (.f64 z t))
accuracy	1.1523375574906176	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
accuracy	15.957886857737037	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))

Samples

30.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 (62.7% of total)

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

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

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

series15.0ms (0.8%)

Memory

24.2MiB live, 24.2MiB 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
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	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	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))

simplify4.0ms (0.2%)

Memory

-36.2MiB live, 1.3MiB 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.5MiB live, 1.5MiB 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)

eval3.0ms (0.2%)

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

prune5.0ms (0.3%)

Memory

9.8MiB live, 9.8MiB allocated

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	28	7	35
Fresh	0	0	0
Picked	3	1	4
Done	1	0	1
Total	32	8	40

Accuracy

100.0%

Counts

40 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	54.3%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
	48.7%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
▶	70.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
	12.0%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)))
▶	49.4%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
▶	52.9%	#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))))
▶	30.0%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
▶	23.1%	#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 493 to 291 computations (41% saved)

simplify1.0ms (0.1%)

Memory

2.1MiB live, 2.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

New	Metric	Score	Program
cost-diff	0	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
cost-diff	0	#s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
cost-diff	0	(+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b))
cost-diff	0	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
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))))
cost-diff	0	#s(approx (* x y) (*.f64 c i))
cost-diff	0	(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
cost-diff	0	(+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b))
cost-diff	0	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
(+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b))
(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
#s(approx (* x y) (*.f64 c i))
(*.f64 c i)
c
i
(*.f64 z t)
z
t
(*.f64 a b)
a
b
#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
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
(+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b))
#s(approx (+ (* x y) (* z t)) #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
(*.f64 a b)
a
b

Outputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
(+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b))
(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
#s(approx (* x y) (*.f64 c i))
(*.f64 c i)
c
i
(*.f64 z t)
z
t
(*.f64 a b)
a
b
#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
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
(+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b))
#s(approx (+ (* x y) (* z t)) #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
(*.f64 a b)
a
b

localize54.0ms (2.8%)

Memory

-5.4MiB live, 70.8MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	1.1523375574906176	(+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b))
accuracy	15.957886857737037	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
accuracy	18.952626895759813	#s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
accuracy	39.92215372737968	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
accuracy	0.0	(*.f64 x y)
accuracy	0.9570250574906174	(+.f64 (.f64 x y) (.f64 z t))
accuracy	15.957886857737037	#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	18.952626895759813	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
accuracy	0.0	(*.f64 x y)
accuracy	15.957886857737037	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
accuracy	39.92215372737968	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
accuracy	0.0	(*.f64 a b)
accuracy	15.957886857737037	#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	18.952626895759813	#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
accuracy	61.98376036493521	#s(approx (+ (* x y) (* z t)) (*.f64 a b))
accuracy	0.9570250574906174	(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
accuracy	1.1523375574906176	(+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b))
accuracy	15.957886857737037	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
accuracy	60.29767248069782	#s(approx (* x y) (*.f64 c i))

Samples

40.0ms

256×

valid

Compiler

Compiled 616 to 51 computations (91.7% saved)

Precisions

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

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

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

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

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

series22.0ms (1.1%)

Memory

-7.5MiB live, 29.5MiB allocated

Counts

17 → 48

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
(+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b))
(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
#s(approx (* x y) (*.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))))
#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))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
(+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b))
#s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))

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)) (* x y) (+ (+ (+ (* 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)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)))
1.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)) (+ (* 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)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)))
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)) (+ (* 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)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)))
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)) (+ (* 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)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)))
1.0ms	z	@	-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)) (+ (* 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)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)))

simplify1.0ms (0.1%)

Memory

1.9MiB live, 1.9MiB allocated

Algorithm

1×	egg-herbie

Counts

48 → 17

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 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
(+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b))
(+ (* a b) (* t z))
(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
(+ (* a b) (+ (* t z) (* x y)))
#s(approx (* x y) (*.f64 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))))
(+ (* t z) (* x y))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
(* x y)
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x)))))
(*.f64 a b)
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
(* x (+ y (/ (* t z) x)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x)))))
(*.f64 x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* 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))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (.f64 x y) (.f64 z t)))
(* y (+ x (+ (/ (* a b) y) (+ (/ (* c i) y) (/ (* t z) y)))))
(+.f64 (.f64 x y) (.f64 z t))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
(* y (+ x (/ (* t z) y)))
(+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) y)))))
#s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))

rewrite1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Counts

17 → 17

Calls

Call 1

Inputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
(+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b))
(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
#s(approx (* x y) (*.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))))
#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))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
(+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b))
#s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))

Outputs
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
(+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b))
(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
#s(approx (* x y) (*.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))))
#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))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
(+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b))
#s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))

eval3.0ms (0.2%)

Memory: 7.3MiB live, 7.3MiB allocated
Compiler: Compiled 1 475 to 65 computations (95.6% saved)

prune5.0ms (0.3%)

Memory

10.3MiB live, 10.3MiB allocated

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	35	2	37
Fresh	1	1	2
Picked	0	5	5
Done	0	1	1
Total	36	9	45

Accuracy

100.0%

Counts

45 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	54.3%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
▶	48.7%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
✓	70.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
✓	49.4%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
✓	52.9%	#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))))
▶	49.9%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
✓	30.0%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
✓	23.1%	#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))))
▶	28.0%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i))))

Compiler

Compiled 299 to 175 computations (41.5% saved)

simplify1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 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	#s(approx (* x y) (*.f64 c i))
cost-diff	0	(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
cost-diff	0	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.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 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
cost-diff	0	(*.f64 c i)
cost-diff	0	#s(approx (* x y) (*.f64 c i))
cost-diff	0	#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i)))
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) (*.f64 c i))))

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) (*.f64 c i))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i)))
#s(approx (* x y) (*.f64 c i))
(*.f64 c i)
c
i
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)))
(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
#s(approx (* x y) (*.f64 c i))
(*.f64 c i)
c
i
(*.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) (*.f64 c i))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i)))
#s(approx (* x y) (*.f64 c i))
(*.f64 c i)
c
i
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)))
(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
#s(approx (* x y) (*.f64 c i))
(*.f64 c i)
c
i
(*.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.2%)

Memory

-17.1MiB live, 57.5MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 a b)
accuracy	2.0585834291510294	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
accuracy	18.952626895759813	#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
accuracy	61.98376036493521	#s(approx (+ (* x y) (* z t)) (*.f64 a b))
accuracy	0.9570250574906174	(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
accuracy	15.957886857737037	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
accuracy	18.952626895759813	#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)))
accuracy	60.29767248069782	#s(approx (* x y) (*.f64 c i))
accuracy	0.0	(*.f64 c i)
accuracy	15.957886857737037	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i))))
accuracy	39.92215372737968	#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i)))
accuracy	60.29767248069782	#s(approx (* x y) (*.f64 c i))

Samples

29.0ms

256×

valid

Compiler

Compiled 352 to 44 computations (87.5% saved)

Precisions

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

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

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

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

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

series14.0ms (0.7%)

Memory

25.9MiB live, 25.9MiB 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) (*.f64 c i))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i)))
#s(approx (* x y) (*.f64 c i))
(*.f64 c i)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)))
(+.f64 #s(approx (* x y) (.f64 c i)) (.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)) #s(approx (+ (* x y) (* z t)) (*.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)))
(* x y)
(* t z)
(+ (* t z) (* 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	y	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* x y) (* c i) (+ (+ (+ (* 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)) (+ (+ (* 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) (* c i) (+ (+ (+ (* 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)) (+ (+ (* 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) (* c i) (+ (+ (+ (* 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)) (+ (+ (* 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) (* c i) (+ (+ (+ (* 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)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b))
1.0ms	x	@	0	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (* x y) (* c i) (+ (+ (+ (* 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)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b))

simplify1.0ms (0%)

Memory

1.5MiB live, 1.5MiB 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)))
(* x y)
(* t z)
(+ (* t z) (* 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) (*.f64 c i))))
(+ (* a b) (+ (* c i) (+ (* t z) (* x y))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i)))
(+ (* a b) (* t z))
#s(approx (* x y) (*.f64 c i))
(+ (* a b) (+ (* t z) (* x y)))
(*.f64 c i)
(* x y)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
(* t z)
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)))
(+ (* t z) (* x y))
(+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))
(* x (+ y (+ (/ (* a b) x) (+ (/ (* c i) x) (/ (* t z) x)))))
(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
(* x (+ y (/ (* t z) x)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (+ (* c i) (* t z))) x)))))
(*.f64 a b)

rewrite1.0ms (0%)

Memory

1.4MiB live, 1.4MiB 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) (*.f64 c i))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i)))
#s(approx (* x y) (*.f64 c i))
(*.f64 c i)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)))
(+.f64 #s(approx (* x y) (.f64 c i)) (.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)) #s(approx (+ (* x y) (* z t)) (*.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)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i)))
#s(approx (* x y) (*.f64 c i))
(*.f64 c i)
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)))
(+.f64 #s(approx (* x y) (.f64 c i)) (.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)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)

eval2.0ms (0.1%)

Memory: 5.0MiB live, 5.0MiB allocated
Compiler: Compiled 964 to 49 computations (94.9% saved)

prune13.0ms (0.7%)

Memory

-38.4MiB live, 13.9MiB allocated

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	24	0	24
Fresh	0	0	0
Picked	0	3	3
Done	0	6	6
Total	24	9	33

Accuracy

100.0%

Counts

33 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	54.3%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y)) (.f64 c i))
✓	48.7%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (.f64 a b))) (.f64 c i))
✓	70.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
✓	49.4%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
✓	52.9%	#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))))
✓	49.9%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
✓	30.0%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 x y)))
✓	23.1%	#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))))
✓	28.0%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.f64 c i))))

Compiler

Compiled 713 to 222 computations (68.9% saved)

regimes82.0ms (4.3%)

Memory

5.7MiB live, 120.2MiB allocated

Counts

14 → 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) (*.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))))
#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 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#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)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)))
(+.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 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
#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)) (*.f64 x y)))

Calls

15 calls:

8.0ms	b
7.0ms	x
6.0ms	(*.f64 x y)
5.0ms	z
5.0ms	t

Results

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

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes77.0ms (4%)

Memory

-1.3MiB live, 117.3MiB allocated

Counts

13 → 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) (*.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))))
#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 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#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)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)))
(+.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 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
#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)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))) (*.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))

Calls

15 calls:

8.0ms	(*.f64 c i)
7.0ms	b
7.0ms	x
5.0ms	z
5.0ms	c

Results

Accuracy	Segments	Branch
85.4%	3	`x`
84.1%	3	`y`
77.6%	3	`z`
76.2%	2	`t`
84.4%	3	`a`
85.4%	4	`b`
83.5%	3	`c`
84.7%	3	`i`
78.7%	3	`(*.f64 z t)`
86.7%	3	`(*.f64 a b)`
88.3%	3	`(*.f64 c i)`
85.4%	3	`(+.f64 (.f64 x y) (.f64 z t))`
86.8%	4	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
89.3%	4	`(*.f64 x y)`
80.5%	4	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes8.0ms (0.4%)

Memory

14.7MiB live, 14.7MiB allocated

Counts

11 → 4

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) (*.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))))
#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 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#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)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)))
(+.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 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))

Outputs
#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)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b)))

Calls

2 calls:

4.0ms	(*.f64 c i)
4.0ms	(*.f64 x y)

Results

Accuracy	Segments	Branch
89.3%	4	`(*.f64 x y)`
87.1%	3	`(*.f64 c i)`

Compiler

Compiled 6 to 18 computations (-200% saved)

regimes25.0ms (1.3%)

Memory

9.2MiB live, 47.4MiB allocated

Counts

10 → 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) (*.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))))
#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 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#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)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)))
(+.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 #s(approx (* x y) (.f64 c i)) (.f64 z t)) (*.f64 a b)))

Outputs

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

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

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

Calls

6 calls:

6.0ms	(*.f64 a b)
4.0ms	x
4.0ms	(*.f64 c i)
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
3.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

Results

Accuracy	Segments	Branch
74.1%	2	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
82.9%	3	`(+.f64 (.f64 x y) (.f64 z t))`
83.9%	4	`x`
74.1%	3	`(*.f64 a b)`
74.1%	3	`(*.f64 c i)`
85.1%	3	`(*.f64 x y)`

Compiler

Compiled 28 to 59 computations (-110.7% saved)

regimes38.0ms (2%)

Memory

-15.7MiB live, 107.0MiB allocated

Counts

9 → 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) (*.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))))
#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 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#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)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)))
(+.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

10 calls:

5.0ms	i
4.0ms	c
4.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
4.0ms	a
3.0ms	b

Results

Accuracy	Segments	Branch
73.2%	4	`(*.f64 z t)`
60.7%	4	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
73.4%	5	`x`
78.0%	3	`(+.f64 (.f64 x y) (.f64 z t))`
65.9%	4	`c`
68.3%	5	`b`
64.9%	3	`y`
65.1%	3	`a`
70.5%	4	`i`
72.8%	4	`(*.f64 x y)`

Compiler

Compiled 34 to 92 computations (-170.6% saved)

regimes24.0ms (1.3%)

Memory

20.1MiB live, 59.5MiB allocated

Counts

7 → 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) (*.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))))
#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 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#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)) (+.f64 #s(approx (+ (* x y) (* z t)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 x y))) (.f64 a b)))
#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+.f64 #s(approx (+ (* x y) (* z t)) (.f64 a b)) (.f64 a b)))

Outputs

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

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

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

Calls

8 calls:

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

Results

Accuracy	Segments	Branch
70.8%	3	`(*.f64 x y)`
69.0%	3	`(*.f64 z t)`
66.1%	4	`(*.f64 a b)`
69.7%	4	`(*.f64 c i)`
64.1%	3	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
61.3%	3	`z`
65.1%	3	`t`
69.9%	4	`(+.f64 (.f64 x y) (.f64 z t))`

Compiler

Compiled 32 to 76 computations (-137.5% saved)

regimes11.0ms (0.6%)

Memory

-15.3MiB live, 25.8MiB 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) (*.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))))
#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 #s(approx (* x y) (.f64 c i)) (.f64 z t))))
#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)) (+.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)) (+.f64 #s(approx (* x y) (*.f64 c i)) (*.f64 z t))))

#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

4 calls:

3.0ms	(*.f64 x y)
2.0ms	i
2.0ms	x
2.0ms	(*.f64 z t)

Results

Accuracy	Segments	Branch
64.9%	3	`i`
55.0%	2	`(*.f64 z t)`
66.3%	3	`x`
68.7%	3	`(*.f64 x y)`

Compiler

Compiled 8 to 34 computations (-325% saved)

regimes9.0ms (0.5%)

Memory

-18.0MiB live, 21.1MiB allocated

Counts

4 → 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) (*.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))))
#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 #s(approx (* x y) (.f64 c i)) (.f64 z t))))

Outputs

#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 #s(approx (* x y) (*.f64 c i)) (*.f64 z t))))

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

Calls

4 calls:

3.0ms	x
2.0ms	(*.f64 c i)
2.0ms	(+.f64 (.f64 x y) (.f64 z t))
2.0ms	(*.f64 x y)

Results

Accuracy	Segments	Branch
62.6%	3	`x`
54.1%	3	`(*.f64 c i)`
52.1%	2	`(+.f64 (.f64 x y) (.f64 z t))`
65.6%	3	`(*.f64 x y)`

Compiler

Compiled 14 to 37 computations (-164.3% saved)

regimes28.0ms (1.4%)

Memory

34.6MiB live, 73.9MiB 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) (*.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))))

#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)) (*.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) (*.f64 c i))))

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

Calls

15 calls:

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

Results

Accuracy	Segments	Branch
43.9%	3	`(+.f64 (.f64 x y) (.f64 z t))`
47.0%	3	`(*.f64 c i)`
34.4%	3	`(*.f64 z t)`
33.3%	2	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
36.7%	4	`z`
45.2%	3	`x`
41.9%	3	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
42.6%	4	`c`
44.8%	4	`(*.f64 a b)`
41.4%	3	`y`
45.0%	3	`i`
38.6%	4	`b`
31.9%	2	`t`
40.0%	3	`a`
48.0%	3	`(*.f64 x y)`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes8.0ms (0.4%)

Memory

-23.2MiB live, 16.1MiB 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) (*.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))))

Outputs

#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (* x y) (*.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))))

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

Calls

5 calls:

2.0ms	(*.f64 c i)
1.0ms	i
1.0ms	x
1.0ms	(+.f64 (.f64 x y) (.f64 z t))
1.0ms	(*.f64 x y)

Results

Accuracy	Segments	Branch
28.0%	1	`(+.f64 (.f64 x y) (.f64 z t))`
37.8%	3	`i`
31.7%	2	`x`
43.2%	3	`(*.f64 c i)`
28.0%	1	`(*.f64 x y)`

Compiler

Compiled 15 to 45 computations (-200% saved)

regimes32.0ms (1.7%)

Memory

-25.2MiB live, 34.8MiB 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) (*.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) (*.f64 c i))))

Calls

13 calls:

18.0ms	(*.f64 z t)
1.0ms	t
1.0ms	(*.f64 a b)
1.0ms	i
1.0ms	a

Results

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

Compiler

Compiled 43 to 119 computations (-176.7% saved)

bsearch0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch30.0ms (1.6%)

Memory

0.1MiB live, 38.4MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	12860343231853988.0	98426362404830320.0
16.0ms	-6.469341560982378e+143	-9.303845179209147e+133

Samples

18.0ms

256×

valid

Compiler

Compiled 826 to 672 computations (18.6% saved)

Precisions

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

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

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

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

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

bsearch46.0ms (2.4%)

Memory

20.2MiB live, 58.4MiB allocated

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	predicate-same

Steps

Time	Left	Right
13.0ms	8.811117534061594e+72	3.924904915810499e+77
16.0ms	-1.860778345675936e+60	-3.1705584508260293e+51
13.0ms	-inf	-1.5849234653931087e+301

Samples

28.0ms

400×

valid

Compiler

Compiled 1 402 to 1 086 computations (22.5% saved)

Precisions

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

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

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

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

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

bsearch15.0ms (0.8%)

Memory

-19.6MiB live, 18.5MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	8.811117534061594e+72	3.924904915810499e+77
1.0ms	-1.860778345675936e+60	-3.1705584508260293e+51

Samples

7.0ms

112×

valid

Compiler

Compiled 1 242 to 774 computations (37.7% saved)

Precisions

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

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

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

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

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

bsearch1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	7.829930695515955e+145	2.8409002043494167e+148
0.0ms	-1.2365829226650698e+200	-1.003173309385837e+199

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch11.0ms (0.6%)

Memory

14.2MiB live, 14.2MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
8.0ms	8.811117534061594e+72	3.924904915810499e+77
1.0ms	-1.860778345675936e+60	-3.1705584508260293e+51

Samples

5.0ms

80×

valid

Compiler

Compiled 1 378 to 757 computations (45.1% saved)

Precisions

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

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

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

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

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

bsearch7.0ms (0.4%)

Memory

10.9MiB live, 10.9MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
5.0ms	8.811117534061594e+72	3.924904915810499e+77
1.0ms	-1.860778345675936e+60	-3.1705584508260293e+51

Samples

3.0ms

48×

valid

Compiler

Compiled 1 242 to 740 computations (40.4% saved)

Precisions

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

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

ival-mult: 1.0ms (66.1% of total)

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

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

bsearch2.0ms (0.1%)

Memory

3.4MiB live, 3.4MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	8.811117534061594e+72	3.924904915810499e+77
1.0ms	-1.860778345675936e+60	-3.1705584508260293e+51

Compiler

Compiled 1 174 to 706 computations (39.9% saved)

bsearch14.0ms (0.8%)

Memory

-24.9MiB live, 16.2MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	8.811117534061594e+72	3.924904915810499e+77
1.0ms	-1.860778345675936e+60	-3.1705584508260293e+51

Samples

8.0ms

96×

valid

Compiler

Compiled 1 106 to 672 computations (39.2% saved)

Precisions

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

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

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

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

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

bsearch29.0ms (1.5%)

Memory

6.7MiB live, 45.0MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	538556.2178228067	2674844.588550154
15.0ms	-6.469341560982378e+143	-9.303845179209147e+133

Samples

17.0ms

240×

valid

Compiler

Compiled 1 170 to 650 computations (44.4% saved)

Precisions

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

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

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

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

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

simplify5.0ms (0.2%)

Memory: 10.4MiB live, 10.4MiB allocated

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.0ms (0%)

sample981.0ms (51.3%)

explain135.0ms (7.1%)

preprocess6.0ms (0.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize31.0ms (1.6%)

series18.0ms (0.9%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0.1%)

localize43.0ms (2.3%)

series15.0ms (0.8%)

simplify4.0ms (0.2%)

rewrite1.0ms (0%)

eval3.0ms (0.2%)

prune5.0ms (0.3%)

simplify1.0ms (0.1%)

localize54.0ms (2.8%)

series22.0ms (1.1%)

simplify1.0ms (0.1%)

rewrite1.0ms (0%)

eval3.0ms (0.2%)

prune5.0ms (0.3%)

simplify1.0ms (0%)

localize42.0ms (2.2%)

series14.0ms (0.7%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval2.0ms (0.1%)

prune13.0ms (0.7%)

regimes82.0ms (4.3%)

regimes77.0ms (4%)

regimes8.0ms (0.4%)

regimes25.0ms (1.3%)

regimes38.0ms (2%)

regimes24.0ms (1.3%)

regimes11.0ms (0.6%)

regimes9.0ms (0.5%)

regimes28.0ms (1.4%)

regimes8.0ms (0.4%)

regimes32.0ms (1.7%)

bsearch0.0ms (0%)

bsearch30.0ms (1.6%)

bsearch46.0ms (2.4%)

bsearch15.0ms (0.8%)

bsearch1.0ms (0%)

bsearch11.0ms (0.6%)

bsearch7.0ms (0.4%)

bsearch2.0ms (0.1%)

bsearch14.0ms (0.8%)

bsearch29.0ms (1.5%)

simplify5.0ms (0.2%)

end0.0ms (0%)

Profiling