Metrics for Data.Colour.Matrix:determinant from colour-2.3.3, A

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze1.0ms (0%)

Memory

1.5MiB live, 1.5MiB 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 31 to 25 computations (19.4% saved)

sample1.5s (55.6%)

Memory

10.5MiB live, 2 436.4MiB allocated

Samples

1.1s

8 256×

valid

Precisions

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

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

ival-sub: 150.0ms (20.8% of total)

ival-add: 33.0ms (4.6% of total)

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

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

Bogosity

explain249.0ms (9.2%)

Memory

2.9MiB live, 443.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
21	-	0	-	`(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))`
18	-	1	(-5.621614371518668e+201 -1.0491465762449436e-219 -5.84828349952948e-244 -4.450915711989274e-226 1.328831332225864e-90 -3.0920133936713654e+79 -3.4592374584577456e-216 -5.47634619586996e-77 -1.6633732783839696e+115)	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`
18	-	0	-	`(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))`
18	-	0	-	`(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))`
14	-	0	-	`(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i))))`
2	-	0	-	`(-.f64 (.f64 y z) (.f64 t a))`
2	-	0	-	`(-.f64 (.f64 c z) (.f64 t i))`
1	-	0	-	`(-.f64 (.f64 c a) (.f64 y i))`
0	-	0	-	`(*.f64 t i)`
0	-	0	-	`(*.f64 c a)`
0	-	0	-	`a`
0	-	0	-	`t`
0	-	0	-	`c`
0	-	0	-	`y`
0	-	0	-	`i`
0	-	0	-	`(*.f64 c z)`
0	-	0	-	`(*.f64 y z)`
0	-	0	-	`j`
0	-	0	-	`z`
0	-	0	-	`(*.f64 y i)`
0	-	0	-	`b`
0	-	0	-	`(*.f64 t a)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`*.f64`	`(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))`	*no**	21	0
`+.f64`	`(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))`	nan-rescue	18	0
↳	`(*.f64 t a)`	overflow	21
↳	`(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))`	overflow	71
↳	`(*.f64 c z)`	overflow	33
↳	`(-.f64 (.f64 c z) (.f64 t i))`	overflow	56
↳	`(*.f64 t i)`	overflow	27
↳	`(*.f64 y z)`	overflow	35
↳	`(-.f64 (.f64 y z) (.f64 t a))`	overflow	54
↳	`(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i))))`	overflow	111
↳	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`	overflow	70
↳	`(-.f64 (.f64 c a) (.f64 y i))`	overflow	68
↳	`(*.f64 c a)`	overflow	28
↳	`(*.f64 y i)`	overflow	45
↳	`(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))`	overflow	78
`*.f64`	`(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))`	*no**	17	0
`*.f64`	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`	*no**	16	0
`-.f64`	`(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i))))`	nan-rescue	14	0
↳	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`	overflow	70
↳	`(*.f64 t a)`	overflow	21
↳	`(*.f64 y z)`	overflow	35
↳	`(-.f64 (.f64 y z) (.f64 t a))`	overflow	54
↳	`(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))`	overflow	71
↳	`(*.f64 c z)`	overflow	33
↳	`(-.f64 (.f64 c z) (.f64 t i))`	overflow	56
↳	`(*.f64 t i)`	overflow	27
`-.f64`	`(-.f64 (.f64 c z) (.f64 t i))`	nan-rescue	2	0
↳	`(*.f64 c z)`	overflow	33
↳	`(*.f64 t i)`	overflow	27
`-.f64`	`(-.f64 (.f64 y z) (.f64 t a))`	nan-rescue	2	0
↳	`(*.f64 y z)`	overflow	35
↳	`(*.f64 t a)`	overflow	21
`-.f64`	`(-.f64 (.f64 c a) (.f64 y i))`	nan-rescue	1	0
↳	`(*.f64 c a)`	overflow	28
↳	`(*.f64 y i)`	overflow	45
`*.f64`	`(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))`	*nu**	1	0
`*.f64`	`(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))`	*nu**	1	0

Confusion

	Predicted +	Predicted -
+	61	1
-	11	183

Precision

0.8472222222222222

Recall

0.9838709677419355

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	61	0	1
-	11	0	183

Precision?

0.8472222222222222

Recall?

0.9838709677419355

Freqs

test

number	freq
0	184
1	51
2	21

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

78.0ms

512×

valid

Compiler

Compiled 402 to 96 computations (76.1% saved)

Precisions

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

ival-mult: 28.0ms (59.3% of total)

ival-sub: 13.0ms (27.5% of total)

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

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

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

preprocess10.0ms (0.4%)

Memory

-20.7MiB live, 16.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 29 to 23 computations (20.7% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	76.6%	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize57.0ms (2.1%)

Memory

1.2MiB live, 76.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	4.050762672471853	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
accuracy	4.221522115759857	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
accuracy	4.328179158887321	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
accuracy	5.047062441462506	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))

Samples

39.0ms

256×

valid

Compiler

Compiled 248 to 48 computations (80.6% saved)

Precisions

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

ival-mult: 18.0ms (75.6% of total)

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

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

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

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

series44.0ms (1.6%)

Memory

30.4MiB live, 67.2MiB allocated

Counts

6 → 127

Calls

Call 1

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

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

Calls

27 calls:

Time	Variable		Point	Expression
6.0ms	a	@	0	((+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* x (- (* y z) (* t a))) (- (* y z) (* t a)) (* b (- (* c z) (* t i))) (* j (- (* c a) (* y i))))
3.0ms	b	@	inf	((+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* x (- (* y z) (* t a))) (- (* y z) (* t a)) (* b (- (* c z) (* t i))) (* j (- (* c a) (* y i))))
2.0ms	z	@	inf	((+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* x (- (* y z) (* t a))) (- (* y z) (* t a)) (* b (- (* c z) (* t i))) (* j (- (* c a) (* y i))))
2.0ms	x	@	0	((+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* x (- (* y z) (* t a))) (- (* y z) (* t a)) (* b (- (* c z) (* t i))) (* j (- (* c a) (* y i))))
2.0ms	y	@	0	((+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* x (- (* y z) (* t a))) (- (* y z) (* t a)) (* b (- (* c z) (* t i))) (* j (- (* c a) (* y i))))

simplify2.0ms (0.1%)

Memory

2.6MiB live, 2.6MiB allocated

Algorithm

1×	egg-herbie

Counts

127 → 6

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval4.0ms (0.1%)

Memory: -34.8MiB live, 2.7MiB allocated
Compiler: Compiled 436 to 47 computations (89.2% saved)

prune2.0ms (0.1%)

Memory

4.4MiB live, 4.4MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	8	4	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	8	5	13

Accuracy

90.6%

Counts

13 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	76.6%	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
▶	36.6%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
▶	58.7%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
▶	60.3%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))
▶	42.2%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))

Compiler

Compiled 193 to 139 computations (28% saved)

simplify1.0ms (0.1%)

Memory

2.7MiB live, 2.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

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

Calls

Call 1

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

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

localize72.0ms (2.7%)

Memory

-5.4MiB live, 116.0MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0.45702918583020585	(-.f64 (.f64 y z) (.f64 t a))
accuracy	4.050762672471853	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
accuracy	4.328179158887321	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
accuracy	58.10610053672156	#s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))
accuracy	4.050762672471853	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
accuracy	4.221522115759857	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
accuracy	4.328179158887321	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
accuracy	30.93565600944185	#s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (*.f64 t a))))
accuracy	2.8398416858302062	(-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i))))
accuracy	4.221522115759857	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
accuracy	5.047062441462506	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
accuracy	19.03859097349435	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))
accuracy	0.0	(*.f64 c a)
accuracy	0.2578104358302058	(-.f64 (.f64 c a) (.f64 y i))
accuracy	4.328179158887321	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
accuracy	37.296886886524206	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))

Samples

49.0ms

256×

valid

Compiler

Compiled 760 to 67 computations (91.2% saved)

Precisions

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

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

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

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

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

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

series37.0ms (1.3%)

Memory

21.0MiB live, 103.6MiB allocated

Counts

14 → 139

Calls

Call 1

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

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

Calls

27 calls:

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

simplify2.0ms (0.1%)

Memory

3.8MiB live, 3.8MiB allocated

Algorithm

1×	egg-herbie

Counts

139 → 14

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

2.1MiB live, 2.1MiB allocated

Counts

14 → 14

Calls

Call 1

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

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

eval5.0ms (0.2%)

Memory: -27.5MiB live, 11.7MiB allocated
Compiler: Compiled 2 131 to 70 computations (96.7% saved)

prune10.0ms (0.4%)

Memory

25.5MiB live, 25.5MiB allocated

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	34	9	43
Fresh	0	0	0
Picked	1	3	4
Done	0	1	1
Total	35	13	48

Accuracy

93.3%

Counts

48 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	76.6%	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
▶	9.6%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))) #s(approx (* j (- (* c a) (* y i))) (*.f64 y z)))
▶	9.6%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))) #s(approx (* j (- (* c a) (* y i))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))))
✓	58.7%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	27.1%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))) #s(approx ( j (- (* c a) (* y i))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))))
	9.6%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (-.f64 (.f64 y z) (.f64 t a)))
✓	60.3%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))
✓	42.2%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	21.5%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (.f64 j #s(approx (- ( c a) (* y i)) (.f64 b (-.f64 (.f64 c z) (*.f64 t i))))))
▶	14.0%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 c a) (.f64 y i))))
▶	37.1%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (*.f64 t a)))))
	6.9%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (*.f64 c a)))
▶	7.1%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (* j (- (* c a) (* y i))) (*.f64 y z)))

Compiler

Compiled 1 098 to 616 computations (43.9% saved)

simplify1.0ms (0%)

Memory

2.2MiB live, 2.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

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

Calls

Call 1

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

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

localize69.0ms (2.5%)

Memory

-31.5MiB live, 88.6MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	0.45702918583020585	(-.f64 (.f64 y z) (.f64 t a))
accuracy	4.050762672471853	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))) #s(approx (* j (- (* c a) (* y i))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))))
accuracy	55.955130094962	#s(approx (* j (- (* c a) (* y i))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))))
accuracy	58.10610053672156	#s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))
accuracy	0.45702918583020585	(-.f64 (.f64 y z) (.f64 t a))
accuracy	4.050762672471853	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))) #s(approx (* j (- (* c a) (* y i))) (*.f64 y z)))
accuracy	58.10610053672156	#s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))
accuracy	59.81566222026066	#s(approx (* j (- (* c a) (* y i))) (*.f64 y z))
accuracy	0.0	(*.f64 c a)
accuracy	0.2578104358302058	(-.f64 (.f64 c a) (.f64 y i))
accuracy	19.03859097349435	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 c a) (.f64 y i))))
accuracy	56.27191935214365	#s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 c a) (.f64 y i)))
accuracy	0.0	(*.f64 y z)
accuracy	37.296886886524206	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (* j (- (* c a) (* y i))) (*.f64 y z)))
accuracy	59.81566222026066	#s(approx (* j (- (* c a) (* y i))) (*.f64 y z))
accuracy	0.45702918583020585	(-.f64 (.f64 y z) (.f64 t a))
accuracy	4.221522115759857	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
accuracy	19.03859097349435	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (*.f64 t a)))))
accuracy	30.93565600944185	#s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (*.f64 t a))))

Samples

42.0ms

256×

valid

Compiler

Compiled 854 to 65 computations (92.4% saved)

Precisions

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

ival-mult: 17.0ms (75.6% of total)

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

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

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

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

series38.0ms (1.4%)

Memory

22.3MiB live, 59.0MiB allocated

Counts

15 → 127

Calls

Call 1

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

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

Calls

27 calls:

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

simplify2.0ms (0.1%)

Memory

3.0MiB live, 3.0MiB allocated

Algorithm

1×	egg-herbie

Counts

127 → 15

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Counts

15 → 15

Calls

Call 1

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

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

eval4.0ms (0.1%)

Memory: 7.7MiB live, 7.7MiB allocated
Compiler: Compiled 2 173 to 62 computations (97.1% saved)

prune15.0ms (0.5%)

Memory

-17.9MiB live, 19.3MiB allocated

Pruning

13 alts after pruning (4 fresh and 9 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	1	3	4
Picked	0	5	5
Done	0	4	4
Total	35	13	48

Accuracy

93.3%

Counts

48 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	76.6%	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
✓	9.6%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))) #s(approx (* j (- (* c a) (* y i))) (*.f64 y z)))
✓	9.6%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))) #s(approx (* j (- (* c a) (* y i))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))))
✓	58.7%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
▶	27.1%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))) #s(approx ( j (- (* c a) (* y i))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))))
▶	9.6%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (-.f64 (.f64 y z) (.f64 t a)))
✓	60.3%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))
✓	42.2%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
▶	21.5%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (.f64 j #s(approx (- ( c a) (* y i)) (.f64 b (-.f64 (.f64 c z) (*.f64 t i))))))
▶	6.9%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (*.f64 c a))
✓	14.0%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 c a) (.f64 y i))))
✓	37.1%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (*.f64 t a)))))
✓	7.1%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (* j (- (* c a) (* y i))) (*.f64 y z)))

Compiler

Compiled 607 to 363 computations (40.2% saved)

simplify1.0ms (0%)

Memory

2.0MiB live, 2.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 14 expressions of interest:

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

Calls

Call 1

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

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

localize64.0ms (2.4%)

Memory

4.4MiB live, 87.4MiB allocated

Localize:

Found 14 expressions of interest:

New	Metric	Score
accuracy	4.221522115759857	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
accuracy	30.93565600944185	#s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (*.f64 t a))))
accuracy	55.955130094962	#s(approx (* j (- (* c a) (* y i))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))))
accuracy	58.10610053672156	#s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))
accuracy	0.0	(*.f64 y z)
accuracy	0.0	(*.f64 t a)
accuracy	0.45702918583020585	(-.f64 (.f64 y z) (.f64 t a))
accuracy	57.37153874088708	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (-.f64 (.f64 y z) (.f64 t a)))
accuracy	4.328179158887321	(.f64 j #s(approx (- ( c a) (* y i)) (.f64 b (-.f64 (.f64 c z) (*.f64 t i)))))
accuracy	5.047062441462506	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
accuracy	37.296886886524206	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (.f64 j #s(approx (- ( c a) (* y i)) (.f64 b (-.f64 (.f64 c z) (*.f64 t i))))))
accuracy	59.00235274472952	#s(approx (- (* c a) (* y i)) (.f64 b (-.f64 (.f64 c z) (*.f64 t i))))
accuracy	0.0	(*.f64 c a)
accuracy	59.60297958313553	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (*.f64 c a))

Samples

49.0ms

256×

valid

Compiler

Compiled 650 to 66 computations (89.8% saved)

Precisions

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

ival-mult: 25.0ms (83% of total)

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

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

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

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

series36.0ms (1.3%)

Memory

7.5MiB live, 85.2MiB allocated

Counts

15 → 140

Calls

Call 1

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

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

Calls

27 calls:

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

simplify2.0ms (0.1%)

Memory

5.1MiB live, 5.1MiB allocated

Algorithm

1×	egg-herbie

Counts

140 → 15

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

2.6MiB live, 2.6MiB allocated

Counts

15 → 15

Calls

Call 1

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

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

eval4.0ms (0.2%)

Memory: -29.0MiB live, 10.1MiB allocated
Compiler: Compiled 2 066 to 66 computations (96.8% saved)

prune10.0ms (0.4%)

Memory

23.9MiB live, 23.9MiB allocated

Pruning

15 alts after pruning (2 fresh and 13 done)

	Pruned	Kept	Total
New	32	2	34
Fresh	0	0	0
Picked	0	4	4
Done	0	9	9
Total	32	15	47

Accuracy

93.7%

Counts

47 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	76.6%	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
✓	9.6%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))) #s(approx (* j (- (* c a) (* y i))) (*.f64 y z)))
✓	9.6%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))) #s(approx (* j (- (* c a) (* y i))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))))
✓	58.7%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
✓	27.1%	(+.f64 #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))) #s(approx ( j (- (* c a) (* y i))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a)))))
✓	9.6%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (-.f64 (.f64 y z) (.f64 t a)))
✓	60.3%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))
	5.7%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (*.f64 t a))
✓	42.2%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
✓	21.5%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (.f64 j #s(approx (- ( c a) (* y i)) (.f64 b (-.f64 (.f64 c z) (*.f64 t i))))))
	15.5%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (.f64 j #s(approx (- ( c a) (* y i)) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 y z) (.f64 t a))))))
✓	6.9%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (*.f64 c a))
✓	14.0%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (-.f64 (.f64 c a) (.f64 y i))))
✓	37.1%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (.f64 x (-.f64 (.f64 y z) (*.f64 t a)))))
✓	7.1%	#s(approx (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))) #s(approx (* j (- (* c a) (* y i))) (*.f64 y z)))

Compiler

Compiled 1 504 to 481 computations (68% saved)

regimes63.0ms (2.3%)

Memory

-17.1MiB live, 103.5MiB allocated

Counts

17 → 2

Calls

Call 1

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

Outputs

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

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

Calls

10 calls:

7.0ms	x
7.0ms	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
7.0ms	b
6.0ms	z
6.0ms	j

Results

Accuracy	Segments	Branch
78.6%	2	`x`
76.6%	1	`y`
76.6%	1	`z`
76.6%	1	`t`
78.2%	2	`a`
76.6%	1	`b`
78.2%	2	`c`
76.6%	1	`i`
78.2%	2	`j`
84.5%	2	`(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))`

Compiler

Compiled 38 to 104 computations (-173.7% saved)

regimes59.0ms (2.2%)

Memory

22.5MiB live, 102.1MiB allocated

Counts

16 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

10 calls:

7.0ms	z
7.0ms	c
5.0ms	y
5.0ms	b
5.0ms	x

Results

Accuracy	Segments	Branch
63.0%	2	`i`
73.2%	3	`j`
68.4%	3	`y`
68.1%	3	`z`
66.7%	3	`t`
72.9%	3	`b`
65.7%	3	`c`
68.9%	3	`a`
68.3%	3	`x`
64.2%	2	`(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))`

Compiler

Compiled 38 to 104 computations (-173.7% saved)

regimes12.0ms (0.5%)

Memory

-17.1MiB live, 21.5MiB allocated

Counts

15 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

2 calls:

6.0ms	j
5.0ms	b

Results

Accuracy	Segments	Branch
63.7%	3	`b`
69.2%	3	`j`

Compiler

Compiled 2 to 18 computations (-800% saved)

regimes52.0ms (1.9%)

Memory

17.2MiB live, 93.9MiB allocated

Counts

14 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

10 calls:

6.0ms	y
6.0ms	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
5.0ms	x
5.0ms	z
5.0ms	j

Results

Accuracy	Segments	Branch
47.6%	4	`b`
47.2%	3	`i`
45.9%	3	`c`
42.2%	1	`(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))`
47.6%	3	`t`
49.3%	3	`z`
57.5%	3	`x`
42.2%	1	`y`
45.8%	2	`a`
53.6%	3	`j`

Compiler

Compiled 38 to 104 computations (-173.7% saved)

regimes39.0ms (1.4%)

Memory

-16.2MiB live, 68.8MiB allocated

Counts

8 → 1

Calls

Call 1

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

Outputs

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

Calls

10 calls:

8.0ms	j
4.0ms	c
3.0ms	z
3.0ms	x
3.0ms	b

Results

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

Compiler

Compiled 38 to 104 computations (-173.7% saved)

regimes31.0ms (1.1%)

Memory

-3.1MiB live, 74.0MiB allocated

Counts

6 → 2

Calls

Call 1

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

Outputs

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

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

Calls

10 calls:

5.0ms	z
4.0ms	j
3.0ms	c
3.0ms	x
3.0ms	b

Results

Accuracy	Segments	Branch
14.0%	1	`(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))`
14.0%	1	`z`
15.8%	2	`x`
14.0%	1	`c`
14.0%	1	`y`
14.0%	1	`t`
14.0%	1	`a`
16.0%	2	`j`
14.0%	1	`b`
14.0%	1	`i`

Compiler

Compiled 38 to 104 computations (-173.7% saved)

regimes5.0ms (0.2%)

Memory

12.8MiB live, 12.8MiB allocated

Counts

5 → 1

Calls

Call 1

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

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

Calls

2 calls:

2.0ms	x
2.0ms	j

Results

Accuracy	Segments	Branch
14.0%	1	`x`
14.0%	1	`j`

Compiler

Compiled 2 to 18 computations (-800% saved)

regimes25.0ms (0.9%)

Memory

12.4MiB live, 53.9MiB allocated

Counts

4 → 2

Calls

Call 1

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

Outputs

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

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

Calls

10 calls:

6.0ms	b
2.0ms	i
2.0ms	x
2.0ms	y
2.0ms	a

Results

Accuracy	Segments	Branch
8.7%	2	`t`
7.1%	1	`z`
10.8%	3	`c`
7.1%	1	`i`
7.1%	1	`(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))`
9.4%	2	`y`
9.5%	2	`a`
9.7%	2	`b`
9.8%	2	`j`
9.3%	2	`x`

Compiler

Compiled 38 to 104 computations (-173.7% saved)

regimes11.0ms (0.4%)

Memory

-15.5MiB live, 23.2MiB allocated

Counts

1 → 1

Calls

Call 1

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

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

Calls

7 calls:

4.0ms	j
1.0ms	c
1.0ms	y
1.0ms	b
1.0ms	t

Results

Accuracy	Segments	Branch
7.1%	1	`t`
7.1%	1	`c`
7.1%	1	`x`
7.1%	1	`y`
7.1%	1	`a`
7.1%	1	`b`
7.1%	1	`j`

Compiler

Compiled 7 to 63 computations (-800% saved)

bsearch1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 32 to 35 computations (-9.4% saved)

bsearch26.0ms (1%)

Memory

-0.4MiB live, 38.0MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
5.0ms	1.3842478080669315e-23	1.670379863693667e-23
18.0ms	-14675.2481998738	-411.0208217166335

Samples

17.0ms

144×

valid

Compiler

Compiled 824 to 602 computations (26.9% saved)

Precisions

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

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

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

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

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

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

bsearch53.0ms (2%)

Memory

-12.8MiB live, 66.2MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
19.0ms	6.973313455768198e+39	2.266182366455889e+42
26.0ms	-7.418062452542445e+25	-4.641435632145292e+20

Samples

34.0ms

272×

valid

Compiler

Compiled 1 528 to 1 106 computations (27.6% saved)

Precisions

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

ival-mult: 18.0ms (77.3% of total)

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

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

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

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

bsearch43.0ms (1.6%)

Memory

20.2MiB live, 97.0MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
22.0ms	4.925846030426427e+41	2.41660516755876e+45
17.0ms	-3.9910550377832594e+125	-1.9529962096925265e+124

Samples

27.0ms

240×

valid

Compiler

Compiled 1 502 to 920 computations (38.7% saved)

Precisions

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

ival-mult: 12.0ms (71.3% of total)

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

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

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

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

bsearch17.0ms (0.6%)

Memory

4.4MiB live, 42.6MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
16.0ms	7.83184388737163e-281	4.3341223766826014e-280

Samples

12.0ms

96×

valid

Compiler

Compiled 596 to 377 computations (36.7% saved)

Precisions

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

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

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

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

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

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

bsearch20.0ms (0.7%)

Memory

-7.1MiB live, 36.3MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
18.0ms	-4.470666105972524e-201	-4.9910773797507625e-202

Samples

14.0ms

96×

valid

Compiler

Compiled 608 to 359 computations (41% saved)

Precisions

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

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

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

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

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

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

simplify4.0ms (0.2%)

Memory: 11.2MiB live, 11.2MiB allocated

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.0ms (0%)

sample1.5s (55.6%)

explain249.0ms (9.2%)

preprocess10.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify1.0ms (0%)

localize57.0ms (2.1%)

series44.0ms (1.6%)

simplify2.0ms (0.1%)

rewrite0.0ms (0%)

eval4.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0.1%)

localize72.0ms (2.7%)

series37.0ms (1.3%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval5.0ms (0.2%)

prune10.0ms (0.4%)

simplify1.0ms (0%)

localize69.0ms (2.5%)

series38.0ms (1.4%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval4.0ms (0.1%)

prune15.0ms (0.5%)

simplify1.0ms (0%)

localize64.0ms (2.4%)

series36.0ms (1.3%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval4.0ms (0.2%)

prune10.0ms (0.4%)

regimes63.0ms (2.3%)

regimes59.0ms (2.2%)

regimes12.0ms (0.5%)

regimes52.0ms (1.9%)

regimes39.0ms (1.4%)

regimes31.0ms (1.1%)

regimes5.0ms (0.2%)

regimes25.0ms (0.9%)

regimes11.0ms (0.4%)

bsearch1.0ms (0%)

bsearch26.0ms (1%)

bsearch53.0ms (2%)

bsearch43.0ms (1.6%)

bsearch17.0ms (0.6%)

bsearch20.0ms (0.7%)

simplify4.0ms (0.2%)

end0.0ms (0%)

Profiling