Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze332.0ms (12.1%)

Memory

-7.2MiB live, 501.2MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
0%	0%	99.7%	0.3%	0%	0%	0%	7
25%	24.9%	74.7%	0.3%	0%	0%	0%	8
25%	24.9%	74.7%	0.3%	0%	0%	0%	9
25%	24.9%	74.7%	0.3%	0%	0%	0%	10
37.5%	37.4%	62.3%	0.3%	0%	0%	0%	11
37.5%	37.4%	62.3%	0.3%	0%	0%	0%	12

Compiler

Compiled 21 to 20 computations (4.8% saved)

sample1.2s (43.2%)

Memory

12.4MiB live, 1 555.1MiB allocated

Samples

744.0ms

8 256×

valid

Precisions

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

ival-mult: 294.0ms (65.3% of total)

ival-div: 53.0ms (11.8% of total)

ival-add: 45.0ms (10% of total)

ival-sub: 40.0ms (8.9% of total)

exact: 9.0ms (2% of total)

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

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

Bogosity

explain184.0ms (6.7%)

Memory

18.7MiB live, 377.7MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
57	-	1	(1.346892643502145e-285 1.3730421160297417e-144 -9.267109074349983e-249 -7.186178210006013e+94 1.6496902958190307e-112 -3.476193306197077e-50 -7.073125925170427e-62)	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
24	-	0	-	`(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)`
5	-	0	-	`(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))`
0	-	0	-	`a`
0	-	0	-	`t`
0	-	0	-	`(*.f64 z c)`
0	-	0	-	`(.f64 (.f64 x #s(literal 9 binary64)) y)`
0	-	0	-	`c`
0	-	0	-	`y`
0	-	0	-	`(*.f64 x #s(literal 9 binary64))`
0	-	0	-	`(.f64 (.f64 z #s(literal 4 binary64)) t)`
0	-	0	-	`#s(literal 9 binary64)`
0	-	0	-	`#s(literal 4 binary64)`
0	-	0	-	`z`
0	-	0	-	`(*.f64 z #s(literal 4 binary64))`
0	-	0	-	`b`
0	-	0	-	`(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`	o/n	21	0
↳	`(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)`	overflow	46
↳	`(.f64 (.f64 z #s(literal 4 binary64)) t)`	overflow	37
↳	`(*.f64 x #s(literal 9 binary64))`	overflow	1
↳	`(.f64 (.f64 x #s(literal 9 binary64)) y)`	overflow	35
↳	`(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))`	overflow	72
↳	`(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)`	overflow	72
`/.f64`	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`	o/o	17	0
↳	`(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)`	overflow	46
↳	`(.f64 (.f64 z #s(literal 4 binary64)) t)`	overflow	37
↳	`(*.f64 x #s(literal 9 binary64))`	overflow	1
↳	`(.f64 (.f64 x #s(literal 9 binary64)) y)`	overflow	35
↳	`(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))`	overflow	72
↳	`(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)`	overflow	72
↳	`(*.f64 z c)`	overflow	36
`/.f64`	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`	n/o	16	0
↳	`(*.f64 z c)`	overflow	36
`*.f64`	`(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)`	*no**	14	0
`-.f64`	`(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))`	nan-rescue	5	0
↳	`(*.f64 x #s(literal 9 binary64))`	overflow	1
↳	`(.f64 (.f64 x #s(literal 9 binary64)) y)`	overflow	35
↳	`(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)`	overflow	46
↳	`(.f64 (.f64 z #s(literal 4 binary64)) t)`	overflow	37
`/.f64`	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`	n/u	2	0
↳	`(*.f64 z c)`	underflow	23
`*.f64`	`(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)`	*nu**	1	0

Confusion

	Predicted +	Predicted -
+	67	1
-	1	187

Precision

0.9852941176470589

Recall

0.9852941176470589

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	67	0	1
-	1	0	187

Precision?

0.9852941176470589

Recall?

0.9852941176470589

Freqs

test

number	freq
0	188
1	60
2	8

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

62.0ms

512×

valid

Compiler

Compiled 269 to 76 computations (71.7% saved)

Precisions

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

ival-mult: 22.0ms (72.3% of total)

ival-div: 3.0ms (9.9% of total)

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

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

exact: 1.0ms (3.3% of total)

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

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

preprocess7.0ms (0.3%)

Memory

-22.2MiB live, 16.6MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))

Outputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))

Compiler

Compiled 19 to 18 computations (5.3% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	74.5%	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))

Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(.f64 (.f64 x #s(literal 9 binary64)) y)
cost-diff	0	(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
cost-diff	0	(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
cost-diff	0	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))

Calls

Call 1

Inputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
b
(*.f64 z c)
c

Outputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
b
(*.f64 z c)
c

localize40.0ms (1.5%)

Memory

-4.5MiB live, 76.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.20703125	(.f64 (.f64 x #s(literal 9 binary64)) y)
accuracy	1.1484313074906176	(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
accuracy	5.537743179811606	(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
accuracy	13.42286219076211	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))

Samples

28.0ms

256×

valid

Compiler

Compiled 166 to 38 computations (77.1% saved)

Precisions

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

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

ival-div: 2.0ms (14.5% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series34.0ms (1.3%)

Memory

34.0MiB live, 72.2MiB allocated

Counts

5 → 52

Calls

Call 1

Inputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)

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

Calls

21 calls:

Time	Variable		Point	Expression
4.0ms	b	@	inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (* (* (* z 4) t) a))
4.0ms	t	@	inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (* (* (* z 4) t) a))
3.0ms	z	@	inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (* (* (* z 4) t) a))
2.0ms	x	@	0	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (* (* (* z 4) t) a))
2.0ms	z	@	-inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (* (* (* z 4) t) a))

simplify1.0ms (0%)

Memory

2.5MiB live, 2.5MiB allocated

Algorithm

1×	egg-herbie

Counts

52 → 5

Calls

Call 1

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

Outputs
(/ (- b (* 4 (* a (* t z)))) (* c z))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(- (+ (* 9 (/ (* x y) (* c z))) (/ b (* c z))) (* 4 (/ (* a t) c)))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(- b (* 4 (* a (* t z))))
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(- (+ b (* 9 (* x y))) (* 4 (* a (* t z))))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(* -4 (* a (* t z)))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)

rewrite0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

5 → 5

Calls

Call 1

Inputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)

Outputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)

eval3.0ms (0.1%)

Memory: -35.5MiB live, 2.8MiB allocated
Compiler: Compiled 254 to 38 computations (85% saved)

prune2.0ms (0.1%)

Memory

5.8MiB live, 5.8MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Accuracy

75.6%

Counts

11 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.5%	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
▶	28.8%	(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
▶	56.4%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
▶	36.1%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
▶	9.3%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))

Compiler

Compiled 139 to 118 computations (15.1% saved)

simplify1.0ms (0.1%)

Memory

3.8MiB live, 3.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
b
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(*.f64 z c)
z
c
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
(*.f64 z c)
c
(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
b
(*.f64 z c)
c

Outputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
b
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(*.f64 z c)
z
c
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
(*.f64 z c)
c
(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
b
(*.f64 z c)
c

localize58.0ms (2.1%)

Memory

0.9MiB live, 121.1MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 z #s(literal 4 binary64))
accuracy	5.537743179811606	(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
accuracy	13.42286219076211	(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
accuracy	60.57167588760783	#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
accuracy	1.1484313074906176	(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
accuracy	5.537743179811606	(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
accuracy	13.42286219076211	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
accuracy	16.370784074815603	#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
accuracy	0.0	(*.f64 x #s(literal 9 binary64))
accuracy	0.20703125	(.f64 (.f64 x #s(literal 9 binary64)) y)
accuracy	13.42286219076211	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
accuracy	39.57772623425433	#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
accuracy	0.20703125	(.f64 (.f64 x #s(literal 9 binary64)) y)
accuracy	1.1484313074906176	(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
accuracy	5.537743179811606	(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
accuracy	57.96056285966908	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))

Samples

37.0ms

256×

valid

Compiler

Compiled 642 to 56 computations (91.3% saved)

Precisions

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

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

ival-div: 2.0ms (12% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series26.0ms (1%)

Memory

13.6MiB live, 52.3MiB allocated

Counts

14 → 54

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(*.f64 x #s(literal 9 binary64))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(*.f64 z #s(literal 4 binary64))

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

Calls

21 calls:

Time	Variable		Point	Expression
3.0ms	a	@	0	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* x 9) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* (* z 4) t) a) (* z 4))
1.0ms	z	@	-inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* x 9) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* (* z 4) t) a) (* z 4))
1.0ms	z	@	inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* x 9) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* (* z 4) t) a) (* z 4))
1.0ms	x	@	inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* x 9) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* (* z 4) t) a) (* z 4))
1.0ms	x	@	-inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* x 9) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* (* z 4) t) a) (* z 4))

simplify1.0ms (0%)

Memory

2.6MiB live, 2.6MiB allocated

Algorithm

1×	egg-herbie

Counts

54 → 14

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

2.2MiB live, 2.2MiB allocated

Counts

14 → 14

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(*.f64 x #s(literal 9 binary64))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(*.f64 z #s(literal 4 binary64))

Outputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))
(+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(*.f64 x #s(literal 9 binary64))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(*.f64 z #s(literal 4 binary64))

eval6.0ms (0.2%)

Memory: -26.7MiB live, 12.0MiB allocated
Compiler: Compiled 1 663 to 77 computations (95.4% saved)

prune10.0ms (0.4%)

Memory

28.6MiB live, 28.6MiB allocated

Pruning

15 alts after pruning (11 fresh and 4 done)

	Pruned	Kept	Total
New	30	11	41
Fresh	0	0	0
Picked	1	3	4
Done	0	1	1
Total	31	15	46

Accuracy

76.3%

Counts

46 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.5%	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
✓	28.8%	(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
✓	56.4%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
	30.9%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
✓	36.1%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
	6.5%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))) (.f64 z c))
	12.5%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
▶	7.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
▶	31.4%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
▶	5.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
▶	6.1%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
	5.8%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
	9.1%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
	5.7%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
▶	2.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))

Compiler

Compiled 1 086 to 642 computations (40.9% saved)

simplify2.0ms (0.1%)

Memory

4.6MiB live, 4.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c)))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(*.f64 z c)
z
c
b
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64)))
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
b
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
b
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
(+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
b

Outputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c)))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(*.f64 z c)
z
c
b
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64)))
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
b
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
b
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
(+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
b

localize59.0ms (2.1%)

Memory

1.9MiB live, 121.5MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	1.1484313074906176	(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
accuracy	5.537743179811606	(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
accuracy	57.96056285966908	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
accuracy	61.258951039655706	#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
accuracy	0.0	#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
accuracy	5.537743179811606	(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
accuracy	57.96056285966908	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
accuracy	60.57167588760783	#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
accuracy	0.20703125	(.f64 (.f64 x #s(literal 9 binary64)) y)
accuracy	16.370784074815603	#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
accuracy	39.57772623425433	#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
accuracy	57.96056285966908	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
accuracy	0.0	(*.f64 z #s(literal 4 binary64))
accuracy	57.96056285966908	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
accuracy	62.12341465409431	#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64)))
accuracy	13.42286219076211	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
accuracy	39.57772623425433	#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
accuracy	57.96056285966908	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
accuracy	58.08739759275373	#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c)))

Samples

36.0ms

256×

valid

Compiler

Compiled 1 078 to 64 computations (94.1% saved)

Precisions

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

ival-mult: 11.0ms (71.2% of total)

ival-div: 2.0ms (12.9% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series30.0ms (1.1%)

Memory

-10.5MiB live, 71.4MiB allocated

Counts

21 → 53

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c)))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64)))
(*.f64 z #s(literal 4 binary64))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
(+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)

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

Calls

21 calls:

Time	Variable		Point	Expression
3.0ms	a	@	0	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z 4) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (- (* (* x 9) y) (* (* (* z 4) t) a)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (* (* x 9) y) (* (* (* z 4) t) a))
3.0ms	x	@	inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z 4) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (- (* (* x 9) y) (* (* (* z 4) t) a)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (* (* x 9) y) (* (* (* z 4) t) a))
1.0ms	z	@	-inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z 4) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (- (* (* x 9) y) (* (* (* z 4) t) a)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (* (* x 9) y) (* (* (* z 4) t) a))
1.0ms	z	@	inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z 4) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (- (* (* x 9) y) (* (* (* z 4) t) a)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (* (* x 9) y) (* (* (* z 4) t) a))
1.0ms	c	@	-inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z 4) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (- (* (* x 9) y) (* (* (* z 4) t) a)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (* (* x 9) y) (* (* (* z 4) t) a))

simplify1.0ms (0%)

Memory

3.1MiB live, 3.1MiB allocated

Algorithm

1×	egg-herbie

Counts

53 → 21

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

3.2MiB live, 3.2MiB allocated

Counts

21 → 21

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c)))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64)))
(*.f64 z #s(literal 4 binary64))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
(+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)

Outputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c)))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64)))
(*.f64 z #s(literal 4 binary64))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b)
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
(+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)
(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)

eval6.0ms (0.2%)

Memory: -24.4MiB live, 14.3MiB allocated
Compiler: Compiled 2 420 to 81 computations (96.7% saved)

prune13.0ms (0.5%)

Memory

4.5MiB live, 44.2MiB allocated

Pruning

19 alts after pruning (10 fresh and 9 done)

	Pruned	Kept	Total
New	40	4	44
Fresh	0	6	6
Picked	0	5	5
Done	0	4	4
Total	40	19	59

Accuracy

76.4%

Counts

59 → 19

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.5%	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
✓	28.8%	(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
✓	56.4%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
▶	30.9%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
✓	36.1%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
	6.5%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))) (.f64 z c))
▶	12.5%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
	7.3%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
✓	7.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
✓	31.4%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
	7.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)) b))
	3.1%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
✓	5.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
✓	6.1%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
	5.8%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
▶	9.1%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
▶	5.7%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
✓	2.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
▶	3.1%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))

Compiler

Compiled 1 257 to 724 computations (42.4% saved)

simplify2.0ms (0.1%)

Memory

3.8MiB live, 3.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 20 expressions of interest:

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

Calls

Call 1

Inputs
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
(*.f64 z c)
c
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64))))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64))))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(*.f64 z c)
z
c
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a

Outputs
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a
(*.f64 z c)
c
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64))))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64))))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
(*.f64 z c)
z
c
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(*.f64 x #s(literal 9 binary64))
x
#s(literal 9 binary64)
y
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
(.f64 (.f64 z #s(literal 4 binary64)) t)
(*.f64 z #s(literal 4 binary64))
z
#s(literal 4 binary64)
t
a

localize57.0ms (2.1%)

Memory

-8.4MiB live, 110.4MiB allocated

Localize:

Found 20 expressions of interest:

New	Metric	Score
accuracy	1.1484313074906176	(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
accuracy	5.537743179811606	(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
accuracy	16.370784074815603	#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
accuracy	57.96056285966908	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
accuracy	0.0	(*.f64 x #s(literal 9 binary64))
accuracy	13.42286219076211	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
accuracy	39.57772623425433	#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64))))
accuracy	61.258951039655706	#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
accuracy	0.0	(*.f64 x #s(literal 9 binary64))
accuracy	0.20703125	(.f64 (.f64 x #s(literal 9 binary64)) y)
accuracy	39.57772623425433	#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
accuracy	57.96056285966908	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
accuracy	0.0	(*.f64 x #s(literal 9 binary64))
accuracy	39.57772623425433	#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64))))
accuracy	57.96056285966908	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
accuracy	61.258951039655706	#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
accuracy	5.537743179811606	(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)
accuracy	13.42286219076211	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
accuracy	16.370784074815603	#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
accuracy	61.258951039655706	#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))

Samples

38.0ms

256×

valid

Compiler

Compiled 772 to 58 computations (92.5% saved)

Precisions

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

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

ival-div: 2.0ms (12.2% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series27.0ms (1%)

Memory

11.3MiB live, 49.3MiB allocated

Counts

15 → 53

Calls

Call 1

Inputs
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64))))
(*.f64 x #s(literal 9 binary64))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)

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

Calls

21 calls:

Time	Variable		Point	Expression
4.0ms	b	@	0	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* x 9) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* (* z 4) t) a))
1.0ms	c	@	-inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* x 9) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* (* z 4) t) a))
1.0ms	x	@	inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* x 9) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* (* z 4) t) a))
1.0ms	x	@	0	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* x 9) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* (* z 4) t) a))
1.0ms	a	@	-inf	((/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* x 9) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* (* x 9) y) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (- (* (* x 9) y) (* (* (* z 4) t) a)) (* (* (* z 4) t) a))

simplify1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

1×	egg-herbie

Counts

53 → 15

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Counts

15 → 15

Calls

Call 1

Inputs
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64))))
(*.f64 x #s(literal 9 binary64))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)

Outputs
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))
#s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64))))
(*.f64 x #s(literal 9 binary64))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))
(.f64 (.f64 x #s(literal 9 binary64)) y)
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
#s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)))
(-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
(.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)

eval4.0ms (0.1%)

Memory: 8.4MiB live, 8.4MiB allocated
Compiler: Compiled 1 772 to 70 computations (96% saved)

prune18.0ms (0.6%)

Memory

-9.2MiB live, 28.7MiB allocated

Pruning

21 alts after pruning (7 fresh and 14 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	1	4	5
Picked	0	5	5
Done	0	9	9
Total	34	21	55

Accuracy

76.5%

Counts

55 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.5%	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
✓	28.8%	(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
	12.0%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))) (*.f64 z c))
✓	56.4%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
✓	30.9%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
✓	36.1%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
	6.5%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
✓	12.5%	(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
	7.3%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
✓	7.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
✓	31.4%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
	7.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)) b))
	3.1%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
✓	5.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
✓	6.1%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
	5.8%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
✓	9.1%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
✓	5.7%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
	10.0%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y)))
✓	2.5%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
✓	3.1%	#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))

Compiler

Compiled 1 940 to 598 computations (69.2% saved)

regimes91.0ms (3.3%)

Memory

-5.1MiB live, 110.3MiB allocated

Counts

23 → 1

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))) (.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))) (*.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))

Outputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))

Calls

10 calls:

14.0ms	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
13.0ms	x
13.0ms	t
7.0ms	(*.f64 x #s(literal 9 binary64))
7.0ms	c

Results

Accuracy	Segments	Branch
74.5%	1	`x`
74.5%	1	`y`
74.5%	1	`z`
74.5%	1	`t`
74.5%	1	`a`
74.5%	1	`b`
74.5%	1	`c`
74.5%	1	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
74.5%	1	`(.f64 (.f64 x #s(literal 9 binary64)) y)`
74.5%	1	`(*.f64 x #s(literal 9 binary64))`

Compiler

Compiled 34 to 86 computations (-152.9% saved)

regimes82.0ms (3%)

Memory

-0.7MiB live, 119.9MiB allocated

Counts

22 → 2

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))) (.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))) (*.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))

Outputs

(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (*.f64 (*.f64 x #s(literal 9 binary64)) y) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))

(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))

Calls

10 calls:

12.0ms	a
11.0ms	(*.f64 x #s(literal 9 binary64))
11.0ms	b
7.0ms	y
7.0ms	c

Results

Accuracy	Segments	Branch
60.2%	2	`b`
56.4%	1	`z`
56.4%	1	`t`
56.4%	1	`a`
56.4%	1	`c`
60.1%	3	`x`
56.4%	1	`y`
60.1%	3	`(*.f64 x #s(literal 9 binary64))`
56.4%	1	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
60.1%	3	`(.f64 (.f64 x #s(literal 9 binary64)) y)`

Compiler

Compiled 34 to 86 computations (-152.9% saved)

regimes79.0ms (2.9%)

Memory

1.7MiB live, 122.2MiB allocated

Counts

21 → 4

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))) (.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))) (*.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))

Outputs
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (*.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))

Calls

10 calls:

12.0ms	t
11.0ms	x
9.0ms	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
7.0ms	(*.f64 x #s(literal 9 binary64))
6.0ms	z

Results

Accuracy	Segments	Branch
44.4%	4	`t`
47.2%	5	`y`
44.7%	3	`z`
42.8%	4	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
41.6%	3	`c`
47.6%	5	`a`
51.9%	4	`(.f64 (.f64 x #s(literal 9 binary64)) y)`
48.4%	3	`x`
48.4%	3	`(*.f64 x #s(literal 9 binary64))`
43.7%	3	`b`

Compiler

Compiled 34 to 86 computations (-152.9% saved)

regimes7.0ms (0.3%)

Memory

16.8MiB live, 16.8MiB allocated

Counts

20 → 3

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))) (.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))
(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))) (*.f64 z c))

Outputs

(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 (*.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))

(/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (*.f64 (*.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b) (*.f64 z c))

(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 (*.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))

Calls

1 calls:

6.0ms

(*.f64 (*.f64 x #s(literal 9 binary64)) y)

Results

Accuracy	Segments	Branch
50.1%	3	`(.f64 (.f64 x #s(literal 9 binary64)) y)`

Compiler

Compiled 5 to 10 computations (-100% saved)

regimes69.0ms (2.5%)

Memory

-6.2MiB live, 107.4MiB allocated

Counts

18 → 1

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b)) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a)) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))) (.f64 z c))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c))

Outputs
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))

Calls

10 calls:

10.0ms	c
10.0ms	a
9.0ms	(*.f64 x #s(literal 9 binary64))
6.0ms	z
6.0ms	x

Results

Accuracy	Segments	Branch
36.1%	1	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
36.1%	1	`c`
36.1%	1	`t`
36.1%	1	`b`
36.1%	1	`y`
36.1%	1	`a`
36.1%	1	`z`
36.1%	1	`x`
36.1%	1	`(*.f64 x #s(literal 9 binary64))`
36.1%	1	`(.f64 (.f64 x #s(literal 9 binary64)) y)`

Compiler

Compiled 34 to 86 computations (-152.9% saved)

regimes47.0ms (1.7%)

Memory

18.4MiB live, 101.3MiB allocated

Counts

11 → 2

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b))

Outputs

#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 #s(approx (* x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 (*.f64 x #s(literal 9 binary64)) y)))) y)))

(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))) (*.f64 z c))

Calls

10 calls:

8.0ms	z
6.0ms	b
4.0ms	c
4.0ms	(*.f64 x #s(literal 9 binary64))
4.0ms	a

Results

Accuracy	Segments	Branch
14.4%	2	`a`
14.3%	2	`c`
14.1%	2	`b`
12.5%	1	`(.f64 (.f64 x #s(literal 9 binary64)) y)`
15.9%	2	`y`
12.5%	1	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
12.5%	1	`z`
14.2%	2	`x`
14.2%	2	`(*.f64 x #s(literal 9 binary64))`
12.5%	1	`t`

Compiler

Compiled 34 to 86 computations (-152.9% saved)

regimes46.0ms (1.7%)

Memory

-69.8MiB live, 90.7MiB allocated

Counts

8 → 1

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (*.f64 z #s(literal 4 binary64)) t) a))) b))

Outputs

#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 #s(approx (* x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 (*.f64 x #s(literal 9 binary64)) y)))) y)))

Calls

10 calls:

14.0ms	z
5.0ms	y
4.0ms	x
3.0ms	(*.f64 x #s(literal 9 binary64))
3.0ms	a

Results

Accuracy	Segments	Branch
10.0%	1	`z`
10.0%	1	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
10.0%	1	`t`
10.0%	1	`(.f64 (.f64 x #s(literal 9 binary64)) y)`
10.0%	1	`b`
10.0%	1	`x`
10.0%	1	`(*.f64 x #s(literal 9 binary64))`
10.0%	1	`c`
10.0%	1	`a`
10.0%	1	`y`

Compiler

Compiled 34 to 86 computations (-152.9% saved)

regimes25.0ms (0.9%)

Memory

22.4MiB live, 61.7MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))

Outputs

#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 (*.f64 x #s(literal 9 binary64)) y))) b))

Calls

10 calls:

4.0ms	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
2.0ms	(*.f64 x #s(literal 9 binary64))
2.0ms	z
2.0ms	c
2.0ms	t

Results

Accuracy	Segments	Branch
6.1%	1	`c`
6.1%	1	`z`
6.1%	1	`t`
6.1%	1	`b`
6.1%	1	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
6.1%	1	`x`
6.1%	1	`a`
6.1%	1	`(*.f64 x #s(literal 9 binary64))`
6.1%	1	`y`
6.1%	1	`(.f64 (.f64 x #s(literal 9 binary64)) y)`

Compiler

Compiled 34 to 86 computations (-152.9% saved)

regimes23.0ms (0.8%)

Memory

9.8MiB live, 48.5MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))

Outputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))

Calls

10 calls:

4.0ms	b
2.0ms	c
2.0ms	(*.f64 x #s(literal 9 binary64))
2.0ms	z
2.0ms	a

Results

Accuracy	Segments	Branch
5.7%	1	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
5.7%	1	`x`
5.7%	1	`(*.f64 x #s(literal 9 binary64))`
5.7%	1	`a`
5.7%	1	`y`
5.7%	1	`c`
5.7%	1	`b`
5.7%	1	`t`
5.7%	1	`z`
5.7%	1	`(.f64 (.f64 x #s(literal 9 binary64)) y)`

Compiler

Compiled 34 to 86 computations (-152.9% saved)

regimes21.0ms (0.8%)

Memory

-29.9MiB live, 51.1MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))

#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))

#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))

Outputs

#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))

Calls

10 calls:

3.0ms	z
3.0ms	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
2.0ms	(*.f64 x #s(literal 9 binary64))
2.0ms	(.f64 (.f64 x #s(literal 9 binary64)) y)
2.0ms	c

Results

Accuracy	Segments	Branch
3.1%	1	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
3.1%	1	`a`
3.1%	1	`c`
3.1%	1	`x`
3.1%	1	`(*.f64 x #s(literal 9 binary64))`
3.1%	1	`y`
3.1%	1	`t`
3.1%	1	`b`
3.1%	1	`z`
3.1%	1	`(.f64 (.f64 x #s(literal 9 binary64)) y)`

Compiler

Compiled 34 to 86 computations (-152.9% saved)

regimes16.0ms (0.6%)

Memory

6.5MiB live, 45.5MiB allocated

Accuracy

Total -0.9b remaining (-1.5%)

Threshold costs -0.9b (-1.5%)

Counts

2 → 1

Calls

Call 1

Inputs

#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))

#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))

Outputs
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))

Calls

10 calls:

2.0ms	(*.f64 x #s(literal 9 binary64))
1.0ms	a
1.0ms	b
1.0ms	t
1.0ms	(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))

Results

Accuracy	Segments	Branch
3.1%	1	`x`
3.1%	1	`(*.f64 x #s(literal 9 binary64))`
3.1%	1	`t`
3.1%	1	`a`
3.1%	1	`z`
3.1%	1	`c`
3.1%	1	`(.f64 (.f64 x #s(literal 9 binary64)) y)`
3.1%	1	`y`
3.1%	1	`(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))`
3.1%	1	`b`

Compiler

Compiled 34 to 86 computations (-152.9% saved)

bsearch15.0ms (0.5%)

Memory

-0.4MiB live, 38.8MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
13.0ms	1.0158090531507558e+216	9.257316218375496e+216

Samples

8.0ms

96×

valid

Compiler

Compiled 382 to 340 computations (11% saved)

Precisions

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

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

ival-div: 1.0ms (20.4% of total)

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

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

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

exact: 0.0ms (0% of total)

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

bsearch1.0ms (0%)

Memory

2.4MiB live, 2.4MiB allocated

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	1.7949545465551187e-10	1.2895709644551324e-9
0.0ms	4.028325645386677e-205	7.811740219769716e-201
0.0ms	-2.3476178978082247e+40	-4.7898064543199855e+27

Compiler

Compiled 22 to 28 computations (-27.3% saved)

bsearch1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.4273201069459076e-73	2.818483631152083e-70
0.0ms	-2.3476178978082247e+40	-4.7898064543199855e+27

Compiler

Compiled 22 to 28 computations (-27.3% saved)

bsearch15.0ms (0.6%)

Memory

-1.0MiB live, 38.3MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
13.0ms	-1.8573839841130132e-302	-1.3239440802703778e-303

Samples

10.0ms

96×

valid

Compiler

Compiled 694 to 334 computations (51.9% saved)

Precisions

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

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

ival-div: 1.0ms (16.1% of total)

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

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

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

exact: 0.0ms (0% of total)

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

simplify7.0ms (0.2%)

Memory

19.7MiB live, 19.7MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(if (<=.f64 b #s(literal 1099999999999999992945680962237762955818383212659196695330431363489858656932816214993366842803401159759179202194650214776458159744732430626392661414874811924297617852906825248178910435849481899036078684693134231732224 binary64)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c)) (/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c)))
(if (<=.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) #s(literal -20000000000000000607572056854007333781504 binary64)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (.f64 z c)) (if (<=.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) #s(literal 5648027917416435/11296055834832869987796435368818511453405415647406310098733607723450775321444793999623495683980919987883591461993135986312493187463513563790506212353947784425723184365930864482290528289970814110895029437915338121462939648 binary64)) (/.f64 (+.f64 #s(approx (- ( (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c)) (if (<=.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) #s(literal 7737125245533627/38685626227668133590597632 binary64)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c)) (/.f64 #s(approx (+ (- ( (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c)))))
(if (<=.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) #s(literal -20000000000000000607572056854007333781504 binary64)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (.f64 z c)) (if (<=.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) #s(literal 6365737426045269/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 binary64)) (/.f64 (+.f64 #s(approx (- ( (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
(if (<=.f64 y #s(literal -6176826577981891/772103322247736428651791941524190166662432288223808740069966728315087660095197093551484618001698015194652854401843307157096133183997320086925557708514169730840749451738610692460887556999562135090788908685580234789131193097780962748024381086918485856402626253175196722230275782071039209488625822100242638638716536487936 binary64)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y))) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))

Outputs
(/.f64 (+.f64 (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c))
(if (<=.f64 b #s(literal 1099999999999999992945680962237762955818383212659196695330431363489858656932816214993366842803401159759179202194650214776458159744732430626392661414874811924297617852906825248178910435849481899036078684693134231732224 binary64)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c)) (/.f64 (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c)))
(if (<=.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) #s(literal -20000000000000000607572056854007333781504 binary64)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (.f64 z c)) (if (<=.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) #s(literal 5648027917416435/11296055834832869987796435368818511453405415647406310098733607723450775321444793999623495683980919987883591461993135986312493187463513563790506212353947784425723184365930864482290528289970814110895029437915338121462939648 binary64)) (/.f64 (+.f64 #s(approx (- ( (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c)) (if (<=.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) #s(literal 7737125245533627/38685626227668133590597632 binary64)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (-.f64 #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64))) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a))) (.f64 z c)) (/.f64 #s(approx (+ (- ( (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c)))))
(if (<=.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) #s(literal -20000000000000000607572056854007333781504 binary64)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (.f64 z c)) (if (<=.f64 (.f64 (.f64 x #s(literal 9 binary64)) y) #s(literal 6365737426045269/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584 binary64)) (/.f64 (+.f64 #s(approx (- ( (* x 9) y) (* (* (* z 4) t) a)) (.f64 (.f64 (.f64 z #s(literal 4 binary64)) t) a)) b) (.f64 z c)) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))))
(/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)) (*.f64 z c))
(if (<=.f64 y #s(literal -6176826577981891/772103322247736428651791941524190166662432288223808740069966728315087660095197093551484618001698015194652854401843307157096133183997320086925557708514169730840749451738610692460887556999562135090788908685580234789131193097780962748024381086918485856402626253175196722230275782071039209488625822100242638638716536487936 binary64)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y))) (/.f64 #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (.f64 x #s(literal 9 binary64)))) (.f64 z c)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 #s(approx ( x 9) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (.f64 (.f64 x #s(literal 9 binary64)) y)))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) (+.f64 #s(approx (- (* (* x 9) y) (* (* (* z 4) t) a)) #s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (*.f64 z #s(literal 4 binary64))))) b))
#s(approx (/ (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) (* z c)) #s(approx (+ (- (* (* x 9) y) (* (* (* z 4) t) a)) b) #s(approx (* (* x 9) y) (*.f64 x #s(literal 9 binary64)))))

soundness3.0ms (0.1%)

Memory

6.3MiB live, 6.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 756 to 75 computations (90.1% saved)

preprocess83.0ms (3%)

Memory: -5.6MiB live, 148.2MiB allocated
Compiler: Compiled 2 014 to 298 computations (85.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze332.0ms (12.1%)

sample1.2s (43.2%)

explain184.0ms (6.7%)

preprocess7.0ms (0.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify1.0ms (0%)

localize40.0ms (1.5%)

series34.0ms (1.3%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval3.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0.1%)

localize58.0ms (2.1%)

series26.0ms (1%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval6.0ms (0.2%)

prune10.0ms (0.4%)

simplify2.0ms (0.1%)

localize59.0ms (2.1%)

series30.0ms (1.1%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval6.0ms (0.2%)

prune13.0ms (0.5%)

simplify2.0ms (0.1%)

localize57.0ms (2.1%)

series27.0ms (1%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval4.0ms (0.1%)

prune18.0ms (0.6%)

regimes91.0ms (3.3%)

regimes82.0ms (3%)

regimes79.0ms (2.9%)

regimes7.0ms (0.3%)

regimes69.0ms (2.5%)

regimes47.0ms (1.7%)

regimes46.0ms (1.7%)

regimes25.0ms (0.9%)

regimes23.0ms (0.8%)

regimes21.0ms (0.8%)

regimes16.0ms (0.6%)

bsearch15.0ms (0.5%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch15.0ms (0.6%)

simplify7.0ms (0.2%)

soundness3.0ms (0.1%)

preprocess83.0ms (3%)

end0.0ms (0%)

Profiling