Metrics for AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze301.0ms (14.5%)

Memory

5.2MiB live, 526.4MiB 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
12.5%	12.5%	87.2%	0.3%	0%	0%	0%	5
12.5%	12.5%	87.2%	0.3%	0%	0%	0%	6
12.5%	12.5%	87.2%	0.3%	0%	0%	0%	7
18.8%	18.7%	81%	0.3%	0%	0%	0%	8
28.1%	28%	71.7%	0.3%	0%	0%	0%	9
28.1%	28%	71.7%	0.3%	0%	0%	0%	10
42.2%	42.1%	57.6%	0.3%	0%	0%	0%	11
42.2%	42.1%	57.6%	0.3%	0%	0%	0%	12

Compiler

Compiled 23 to 18 computations (21.7% saved)

sample1.1s (54.6%)

Memory

-9.6MiB live, 1 453.5MiB allocated

Samples

754.0ms	8 255×	0	valid
0.0ms	1×	1	valid

Precisions

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

ival-add: 208.0ms (44.3% of total)

ival-mult: 166.0ms (35.4% of total)

ival-div: 50.0ms (10.7% of total)

ival-sub: 34.0ms (7.2% of total)

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

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

adjust: 0.0ms (0% of total)

Bogosity

explain169.0ms (8.2%)

Memory

9.0MiB live, 210.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
110	-	-	`(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))`
11	-	-	`(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))`
7	-	-	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`
0	-	-	`a`
0	-	-	`t`
0	-	-	`z`
0	-	-	`(*.f64 y b)`
0	-	-	`y`
0	-	-	`(*.f64 (+.f64 x y) z)`
0	-	-	`(+.f64 x y)`
0	-	-	`(*.f64 (+.f64 t y) a)`
0	-	-	`(+.f64 x t)`
0	-	-	`(+.f64 (+.f64 x t) y)`
0	-	-	`b`
0	-	-	`(+.f64 t y)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))`	o/n	110	0
↳	`(*.f64 y b)`	overflow	29
↳	`(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))`	overflow	110
↳	`(*.f64 (+.f64 x y) z)`	overflow	49
↳	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`	overflow	98
↳	`(*.f64 (+.f64 t y) a)`	overflow	64
`-.f64`	`(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))`	nan-rescue	11	0
↳	`(*.f64 (+.f64 x y) z)`	overflow	49
↳	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`	overflow	98
↳	`(*.f64 (+.f64 t y) a)`	overflow	64
↳	`(*.f64 y b)`	overflow	29
`+.f64`	`(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))`	nan-rescue	7	0
↳	`(*.f64 (+.f64 x y) z)`	overflow	49
↳	`(*.f64 (+.f64 t y) a)`	overflow	64

Confusion

	Predicted +	Predicted -
+	110	0
-	0	146

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	110	0	0
-	0	0	146

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	146
1	94
2	14
3	2

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

54.0ms

512×

valid

Compiler

Compiled 265 to 68 computations (74.3% saved)

Precisions

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

ival-add: 12.0ms (42.9% of total)

ival-mult: 10.0ms (35.8% of total)

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

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

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

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

preprocess5.0ms (0.2%)

Memory

5.7MiB live, 5.7MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

Outputs
(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

Compiler

Compiled 21 to 16 computations (23.8% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	59.2%	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

Compiler

Compiled 21 to 16 computations (23.8% saved)

simplify1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

Inputs
(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
(*.f64 (+.f64 x y) z)
(+.f64 x y)
x
y
z
(*.f64 (+.f64 t y) a)
(+.f64 t y)
t
a
(*.f64 y b)
b
(+.f64 (+.f64 x t) y)
(+.f64 x t)

Outputs
(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
(*.f64 (+.f64 x y) z)
(+.f64 x y)
x
y
z
(*.f64 (+.f64 t y) a)
(+.f64 t y)
t
a
(*.f64 y b)
b
(+.f64 (+.f64 x t) y)
(+.f64 x t)

localize36.0ms (1.7%)

Memory

-13.1MiB live, 25.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0078125	(*.f64 (+.f64 t y) a)
accuracy	1.5507750574906174	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
accuracy	2.4492084291510294	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
accuracy	25.808581689475822	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

Samples

27.0ms

256×

valid

Compiler

Compiled 162 to 34 computations (79% saved)

Precisions

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

ival-add: 8.0ms (51.8% of total)

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

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

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

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

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

series26.0ms (1.2%)

Memory

17.5MiB live, 17.5MiB allocated

Counts

5 → 108

Calls

Call 1

Inputs
(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 t y) a)

Outputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ (* a (+ t y)) (* y z)) (* b y))
(- (+ (* a (+ t y)) (+ (* x z) (* y z))) (* b y))
(+ (* a (+ t y)) (* y z))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
(* y z)
(+ (* x z) (* y z))
z
(- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (* -1 (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2))) (+ (/ (* a (+ t y)) x) (/ (* y z) x)))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (/ (* a (+ t y)) x) (+ (/ (* y z) x) (/ (* (pow (+ t y) 2) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 3))))) (+ (/ (* b y) x) (+ (/ (* z (+ t y)) x) (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2)))))
(* x z)
(* x (- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (/ (* b y) x)))
(* x (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))))
(* x (+ z (/ (* y z) x)))
(+ z (* -1 (/ (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ t y) 2) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x)) (* -1 (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))))) x))) (* -1 (* z (+ t y)))) x)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (- (+ (* a (+ t y)) (* y z)) (* b y)) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (+ (* a (+ t y)) (* y z)) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(/ (+ (* a t) (* x z)) (+ t x))
(+ (* y (- (+ (/ a (+ t x)) (/ z (+ t x))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3)))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (* y (- (+ (/ a (pow (+ t x) 3)) (/ z (pow (+ t x) 3))) (+ (/ b (pow (+ t x) 3)) (+ (/ (* a t) (pow (+ t x) 4)) (/ (* x z) (pow (+ t x) 4)))))) (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3))))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* a t) (* x z))
(+ (* a t) (+ (* x z) (* y (- (+ a z) b))))
(+ (* a t) (+ (* x z) (* y (+ a z))))
(* a t)
(+ (* a t) (* a y))
(- (+ a z) b)
(- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (* -1 (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2))) (+ (/ (* a t) y) (/ (* x z) y))))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (/ (* a t) y) (+ (/ (* x z) y) (/ (* (pow (+ t x) 2) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 3)))))) (+ b (+ (/ (* (+ t x) (- (+ a z) b)) y) (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2)))))
(* y (- (+ a z) b))
(* y (- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) b))
(* y (+ a z))
(* y (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))))
(* y (+ z (/ (* x z) y)))
(* a y)
(* y (+ a (/ (* a t) y)))
(* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (- (* -1 (/ (* (pow (+ t x) 2) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y)) (* -1 (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(* -1 (* y (- (+ (* -1 a) (* -1 z)) (* -1 b))))
(* -1 (* y (- (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y)))) (* -1 b))))
(* -1 (* y (+ (* -1 a) (* -1 z))))
(* -1 (* y (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y))))))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 a) (* -1 (/ (* a t) y)))))
(/ (- (* a (+ t y)) (* b y)) (+ t (+ x y)))
(- (+ (* z (+ (/ x (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* a (+ t y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(- (* a (+ t y)) (* b y))
(- (+ (* a (+ t y)) (* z (+ x y))) (* b y))
(* a (+ t y))
(+ (* a (+ t y)) (* z (+ x y)))
(* z (+ x y))
(/ (* z (+ x y)) (+ t (+ x y)))
(* z (- (+ (/ x (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* a (+ t y)) (* z (+ t (+ x y)))))) (/ (* b y) (* z (+ t (+ x y))))))
(* z (- (+ x (+ y (/ (* a (+ t y)) z))) (/ (* b y) z)))
(* z (+ x (+ y (/ (* a (+ t y)) z))))
(* -1 (* z (+ (* -1 (/ (+ x y) (+ t (+ x y)))) (* -1 (/ (- (/ (* a (+ t y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (- (* a (+ t y)) (* b y)) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (* a (+ t y)) z)))))
(/ (- (+ (* a y) (* z (+ x y))) (* b y)) (+ x y))
(- (+ z (+ (* t (- (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (* t (- (+ (/ a (pow (+ x y) 3)) (/ (* b y) (pow (+ x y) 4))) (+ (/ z (pow (+ x y) 3)) (/ (* a y) (pow (+ x y) 4))))) (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3)))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ (* a y) (* z (+ x y))) (* b y))
(- (+ (* a t) (+ (* a y) (* z (+ x y)))) (* b y))
(+ (* a y) (* z (+ x y)))
(+ (* a t) (+ (* a y) (* z (+ x y))))
a
(- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (* -1 (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2))) (+ (/ (* a y) t) (/ (* z (+ x y)) t)))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (/ (* a y) t) (+ (/ (* z (+ x y)) t) (/ (* (pow (+ x y) 2) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 3))))) (+ (/ (* a (+ x y)) t) (+ (/ (* b y) t) (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2)))))
(* t (- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (/ (* b y) t)))
(* t (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))))
(* t (+ a (/ (* a y) t)))
(+ a (* -1 (/ (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ x y) 2) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t)) (* -1 (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))))) t))) (* -1 (* a (+ x y)))) t)))
(* -1 (* t (+ (* -1 a) (* -1 (/ (- (+ (* a y) (* z (+ x y))) (* b y)) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (+ (* a y) (* z (+ x y))) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (* a y) t)))))
(/ (- (* z (+ x y)) (* b y)) (+ t (+ x y)))
(- (+ (* a (+ (/ t (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* z (+ x y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(- (* z (+ x y)) (* b y))
(/ (* a (+ t y)) (+ t (+ x y)))
(* a (- (+ (/ t (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* z (+ x y)) (* a (+ t (+ x y)))))) (/ (* b y) (* a (+ t (+ x y))))))
(* a (- (+ t (+ y (/ (* z (+ x y)) a))) (/ (* b y) a)))
(* a (+ t (+ y (/ (* z (+ x y)) a))))
(* -1 (* a (+ (* -1 (/ (+ t y) (+ t (+ x y)))) (* -1 (/ (- (/ (* z (+ x y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (- (* z (+ x y)) (* b y)) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (* z (+ x y)) a)))))
(/ (+ (* a (+ t y)) (* z (+ x y))) (+ t (+ x y)))
(+ (* -1 (/ (* b y) (+ t (+ x y)))) (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))))
(+ (* -1 (* b y)) (+ (* a (+ t y)) (* z (+ x y))))
(* -1 (/ (* b y) (+ t (+ x y))))
(* b (+ (* -1 (/ y (+ t (+ x y)))) (+ (/ (* a (+ t y)) (* b (+ t (+ x y)))) (/ (* z (+ x y)) (* b (+ t (+ x y)))))))
(* -1 (* b y))
(* b (- (+ (/ (* a (+ t y)) b) (/ (* z (+ x y)) b)) y))
(* -1 (* b (+ (* -1 (/ (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))) b)) (/ y (+ t (+ x y))))))
(* -1 (* b (- (* -1 (/ (+ (* a (+ t y)) (* z (+ x y))) b)) (* -1 y))))

Calls

18 calls:

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

simplify2.0ms (0.1%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

1×	egg-herbie

Counts

108 → 5

Calls

Call 1

Inputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ (* a (+ t y)) (* y z)) (* b y))
(- (+ (* a (+ t y)) (+ (* x z) (* y z))) (* b y))
(+ (* a (+ t y)) (* y z))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
(* y z)
(+ (* x z) (* y z))
z
(- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (* -1 (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2))) (+ (/ (* a (+ t y)) x) (/ (* y z) x)))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (/ (* a (+ t y)) x) (+ (/ (* y z) x) (/ (* (pow (+ t y) 2) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 3))))) (+ (/ (* b y) x) (+ (/ (* z (+ t y)) x) (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2)))))
(* x z)
(* x (- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (/ (* b y) x)))
(* x (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))))
(* x (+ z (/ (* y z) x)))
(+ z (* -1 (/ (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ t y) 2) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x)) (* -1 (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))))) x))) (* -1 (* z (+ t y)))) x)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (- (+ (* a (+ t y)) (* y z)) (* b y)) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (+ (* a (+ t y)) (* y z)) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(/ (+ (* a t) (* x z)) (+ t x))
(+ (* y (- (+ (/ a (+ t x)) (/ z (+ t x))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3)))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (* y (- (+ (/ a (pow (+ t x) 3)) (/ z (pow (+ t x) 3))) (+ (/ b (pow (+ t x) 3)) (+ (/ (* a t) (pow (+ t x) 4)) (/ (* x z) (pow (+ t x) 4)))))) (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3))))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* a t) (* x z))
(+ (* a t) (+ (* x z) (* y (- (+ a z) b))))
(+ (* a t) (+ (* x z) (* y (+ a z))))
(* a t)
(+ (* a t) (* a y))
(- (+ a z) b)
(- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (* -1 (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2))) (+ (/ (* a t) y) (/ (* x z) y))))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (/ (* a t) y) (+ (/ (* x z) y) (/ (* (pow (+ t x) 2) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 3)))))) (+ b (+ (/ (* (+ t x) (- (+ a z) b)) y) (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2)))))
(* y (- (+ a z) b))
(* y (- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) b))
(* y (+ a z))
(* y (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))))
(* y (+ z (/ (* x z) y)))
(* a y)
(* y (+ a (/ (* a t) y)))
(* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (- (* -1 (/ (* (pow (+ t x) 2) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y)) (* -1 (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(* -1 (* y (- (+ (* -1 a) (* -1 z)) (* -1 b))))
(* -1 (* y (- (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y)))) (* -1 b))))
(* -1 (* y (+ (* -1 a) (* -1 z))))
(* -1 (* y (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y))))))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 a) (* -1 (/ (* a t) y)))))
(/ (- (* a (+ t y)) (* b y)) (+ t (+ x y)))
(- (+ (* z (+ (/ x (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* a (+ t y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(- (* a (+ t y)) (* b y))
(- (+ (* a (+ t y)) (* z (+ x y))) (* b y))
(* a (+ t y))
(+ (* a (+ t y)) (* z (+ x y)))
(* z (+ x y))
(/ (* z (+ x y)) (+ t (+ x y)))
(* z (- (+ (/ x (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* a (+ t y)) (* z (+ t (+ x y)))))) (/ (* b y) (* z (+ t (+ x y))))))
(* z (- (+ x (+ y (/ (* a (+ t y)) z))) (/ (* b y) z)))
(* z (+ x (+ y (/ (* a (+ t y)) z))))
(* -1 (* z (+ (* -1 (/ (+ x y) (+ t (+ x y)))) (* -1 (/ (- (/ (* a (+ t y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (- (* a (+ t y)) (* b y)) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (* a (+ t y)) z)))))
(/ (- (+ (* a y) (* z (+ x y))) (* b y)) (+ x y))
(- (+ z (+ (* t (- (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (* t (- (+ (/ a (pow (+ x y) 3)) (/ (* b y) (pow (+ x y) 4))) (+ (/ z (pow (+ x y) 3)) (/ (* a y) (pow (+ x y) 4))))) (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3)))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ (* a y) (* z (+ x y))) (* b y))
(- (+ (* a t) (+ (* a y) (* z (+ x y)))) (* b y))
(+ (* a y) (* z (+ x y)))
(+ (* a t) (+ (* a y) (* z (+ x y))))
a
(- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (* -1 (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2))) (+ (/ (* a y) t) (/ (* z (+ x y)) t)))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (/ (* a y) t) (+ (/ (* z (+ x y)) t) (/ (* (pow (+ x y) 2) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 3))))) (+ (/ (* a (+ x y)) t) (+ (/ (* b y) t) (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2)))))
(* t (- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (/ (* b y) t)))
(* t (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))))
(* t (+ a (/ (* a y) t)))
(+ a (* -1 (/ (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ x y) 2) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t)) (* -1 (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))))) t))) (* -1 (* a (+ x y)))) t)))
(* -1 (* t (+ (* -1 a) (* -1 (/ (- (+ (* a y) (* z (+ x y))) (* b y)) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (+ (* a y) (* z (+ x y))) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (* a y) t)))))
(/ (- (* z (+ x y)) (* b y)) (+ t (+ x y)))
(- (+ (* a (+ (/ t (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* z (+ x y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(- (* z (+ x y)) (* b y))
(/ (* a (+ t y)) (+ t (+ x y)))
(* a (- (+ (/ t (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* z (+ x y)) (* a (+ t (+ x y)))))) (/ (* b y) (* a (+ t (+ x y))))))
(* a (- (+ t (+ y (/ (* z (+ x y)) a))) (/ (* b y) a)))
(* a (+ t (+ y (/ (* z (+ x y)) a))))
(* -1 (* a (+ (* -1 (/ (+ t y) (+ t (+ x y)))) (* -1 (/ (- (/ (* z (+ x y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (- (* z (+ x y)) (* b y)) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (* z (+ x y)) a)))))
(/ (+ (* a (+ t y)) (* z (+ x y))) (+ t (+ x y)))
(+ (* -1 (/ (* b y) (+ t (+ x y)))) (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))))
(+ (* -1 (* b y)) (+ (* a (+ t y)) (* z (+ x y))))
(* -1 (/ (* b y) (+ t (+ x y))))
(* b (+ (* -1 (/ y (+ t (+ x y)))) (+ (/ (* a (+ t y)) (* b (+ t (+ x y)))) (/ (* z (+ x y)) (* b (+ t (+ x y)))))))
(* -1 (* b y))
(* b (- (+ (/ (* a (+ t y)) b) (/ (* z (+ x y)) b)) y))
(* -1 (* b (+ (* -1 (/ (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))) b)) (/ y (+ t (+ x y))))))
(* -1 (* b (- (* -1 (/ (+ (* a (+ t y)) (* z (+ x y))) b)) (* -1 y))))

Outputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(*.f64 (+.f64 x y) z)
(- (+ (* a (+ t y)) (* y z)) (* b y))
(*.f64 (+.f64 t y) a)

rewrite0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Counts

5 → 5

Calls

Call 1

Inputs
(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 t y) a)

Outputs
(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 t y) a)

eval1.0ms (0.1%)

Memory: 1.3MiB live, 1.3MiB allocated
Compiler: Compiled 272 to 32 computations (88.2% saved)

prune2.0ms (0.1%)

Memory

2.3MiB live, 2.3MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Accuracy

59.7%

Counts

11 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	59.2%	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
▶	23.5%	(/.f64 #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))
▶	3.3%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)))
▶	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)))
▶	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (*.f64 (+.f64 x y) z))

Compiler

Compiled 145 to 100 computations (31% saved)

simplify1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

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

Calls

Call 1

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

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

localize50.0ms (2.4%)

Memory

-15.2MiB live, 35.6MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score
accuracy	0.0	(+.f64 t y)
accuracy	0.0078125	(*.f64 (+.f64 t y) a)
accuracy	25.808581689475822	(/.f64 #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))
accuracy	35.68875203409988	#s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a))
accuracy	0.0078125	(*.f64 (+.f64 t y) a)
accuracy	1.5507750574906174	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
accuracy	2.4492084291510294	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
accuracy	61.759774790320854	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)))
accuracy	0.0078125	(*.f64 (+.f64 x y) z)
accuracy	0.0078125	(*.f64 (+.f64 t y) a)
accuracy	1.5507750574906174	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
accuracy	61.72259595355427	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)))
accuracy	0.0	(+.f64 x y)
accuracy	0.0078125	(*.f64 (+.f64 x y) z)
accuracy	61.82612339146487	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (*.f64 (+.f64 x y) z))

Samples

36.0ms

256×

valid

Compiler

Compiled 474 to 48 computations (89.9% saved)

Precisions

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

ival-add: 12.0ms (63.2% of total)

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

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

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

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

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

series17.0ms (0.8%)

Memory

-24.3MiB live, 14.4MiB allocated

Counts

11 → 121

Calls

Call 1

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

Outputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(* y z)
(+ (* x z) (* y z))
y
(+ x y)
(+ (* a (+ t y)) (* y z))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
(- (+ (* a (+ t y)) (* y z)) (* b y))
(- (+ (* a (+ t y)) (+ (* x z) (* y z))) (* b y))
z
(- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (* -1 (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2))) (+ (/ (* a (+ t y)) x) (/ (* y z) x)))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (/ (* a (+ t y)) x) (+ (/ (* y z) x) (/ (* (pow (+ t y) 2) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 3))))) (+ (/ (* b y) x) (+ (/ (* z (+ t y)) x) (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2)))))
(* x z)
(* x (+ z (/ (* y z) x)))
x
(* x (+ 1 (/ y x)))
(* x (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))))
(* x (- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (/ (* b y) x)))
(+ z (* -1 (/ (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ t y) 2) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x)) (* -1 (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))))) x))) (* -1 (* z (+ t y)))) x)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (+ (* a (+ t y)) (* y z)) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (- (+ (* a (+ t y)) (* y z)) (* b y)) x)))))
(/ (+ (* a t) (* x z)) (+ t x))
(+ (* y (- (+ (/ a (+ t x)) (/ z (+ t x))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3)))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (* y (- (+ (/ a (pow (+ t x) 3)) (/ z (pow (+ t x) 3))) (+ (/ b (pow (+ t x) 3)) (+ (/ (* a t) (pow (+ t x) 4)) (/ (* x z) (pow (+ t x) 4)))))) (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3))))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* a t) (* x z))
(+ (* a t) (+ (* x z) (* y (+ a z))))
(+ (* a t) (+ (* x z) (* y (- (+ a z) b))))
(* a t)
(+ (* a t) (* a y))
t
(+ t y)
(- (+ a z) b)
(- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (* -1 (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2))) (+ (/ (* a t) y) (/ (* x z) y))))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (/ (* a t) y) (+ (/ (* x z) y) (/ (* (pow (+ t x) 2) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 3)))))) (+ b (+ (/ (* (+ t x) (- (+ a z) b)) y) (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2)))))
(* y (+ z (/ (* x z) y)))
(* y (+ 1 (/ x y)))
(* y (+ a z))
(* y (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))))
(* y (- (+ a z) b))
(* y (- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) b))
(* a y)
(* y (+ a (/ (* a t) y)))
(* y (+ 1 (/ t y)))
(* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (- (* -1 (/ (* (pow (+ t x) 2) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y)) (* -1 (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (+ (* -1 a) (* -1 z))))
(* -1 (* y (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y))))))
(* -1 (* y (- (+ (* -1 a) (* -1 z)) (* -1 b))))
(* -1 (* y (- (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y)))) (* -1 b))))
(* -1 (* y (+ (* -1 a) (* -1 (/ (* a t) y)))))
(* -1 (* y (- (* -1 (/ t y)) 1)))
(/ (- (* a (+ t y)) (* b y)) (+ t (+ x y)))
(- (+ (* z (+ (/ x (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* a (+ t y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(* z (+ x y))
(* a (+ t y))
(+ (* a (+ t y)) (* z (+ x y)))
(- (* a (+ t y)) (* b y))
(- (+ (* a (+ t y)) (* z (+ x y))) (* b y))
(/ (* z (+ x y)) (+ t (+ x y)))
(* z (- (+ (/ x (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* a (+ t y)) (* z (+ t (+ x y)))))) (/ (* b y) (* z (+ t (+ x y))))))
(* z (+ x (+ y (/ (* a (+ t y)) z))))
(* z (- (+ x (+ y (/ (* a (+ t y)) z))) (/ (* b y) z)))
(* -1 (* z (+ (* -1 (/ (+ x y) (+ t (+ x y)))) (* -1 (/ (- (/ (* a (+ t y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (* a (+ t y)) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (- (* a (+ t y)) (* b y)) z)))))
(/ (- (+ (* a y) (* z (+ x y))) (* b y)) (+ x y))
(- (+ z (+ (* t (- (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (* t (- (+ (/ a (pow (+ x y) 3)) (/ (* b y) (pow (+ x y) 4))) (+ (/ z (pow (+ x y) 3)) (/ (* a y) (pow (+ x y) 4))))) (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3)))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(+ (* a y) (* z (+ x y)))
(+ (* a t) (+ (* a y) (* z (+ x y))))
(- (+ (* a y) (* z (+ x y))) (* b y))
(- (+ (* a t) (+ (* a y) (* z (+ x y)))) (* b y))
a
(- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (* -1 (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2))) (+ (/ (* a y) t) (/ (* z (+ x y)) t)))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (/ (* a y) t) (+ (/ (* z (+ x y)) t) (/ (* (pow (+ x y) 2) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 3))))) (+ (/ (* a (+ x y)) t) (+ (/ (* b y) t) (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2)))))
(* t (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))))
(* t (- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (/ (* b y) t)))
(* t (+ a (/ (* a y) t)))
(* t (+ 1 (/ y t)))
(+ a (* -1 (/ (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ x y) 2) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t)) (* -1 (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))))) t))) (* -1 (* a (+ x y)))) t)))
(* -1 (* t (+ (* -1 a) (* -1 (/ (+ (* a y) (* z (+ x y))) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (- (+ (* a y) (* z (+ x y))) (* b y)) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (* a y) t)))))
(* -1 (* t (- (* -1 (/ y t)) 1)))
(/ (- (* z (+ x y)) (* b y)) (+ t (+ x y)))
(- (+ (* a (+ (/ t (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* z (+ x y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(- (* z (+ x y)) (* b y))
(/ (* a (+ t y)) (+ t (+ x y)))
(* a (- (+ (/ t (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* z (+ x y)) (* a (+ t (+ x y)))))) (/ (* b y) (* a (+ t (+ x y))))))
(* a (+ t (+ y (/ (* z (+ x y)) a))))
(* a (- (+ t (+ y (/ (* z (+ x y)) a))) (/ (* b y) a)))
(* -1 (* a (+ (* -1 (/ (+ t y) (+ t (+ x y)))) (* -1 (/ (- (/ (* z (+ x y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (* z (+ x y)) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (- (* z (+ x y)) (* b y)) a)))))
(/ (+ (* a (+ t y)) (* z (+ x y))) (+ t (+ x y)))
(+ (* -1 (/ (* b y) (+ t (+ x y)))) (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))))
(+ (* -1 (* b y)) (+ (* a (+ t y)) (* z (+ x y))))
(* -1 (/ (* b y) (+ t (+ x y))))
(* b (+ (* -1 (/ y (+ t (+ x y)))) (+ (/ (* a (+ t y)) (* b (+ t (+ x y)))) (/ (* z (+ x y)) (* b (+ t (+ x y)))))))
(* -1 (* b y))
(* b (- (+ (/ (* a (+ t y)) b) (/ (* z (+ x y)) b)) y))
(* -1 (* b (+ (* -1 (/ (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))) b)) (/ y (+ t (+ x y))))))
(* -1 (* b (- (* -1 (/ (+ (* a (+ t y)) (* z (+ x y))) b)) (* -1 y))))

Calls

18 calls:

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

simplify2.0ms (0.1%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

1×	egg-herbie

Counts

121 → 11

Calls

Call 1

Inputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(* y z)
(+ (* x z) (* y z))
y
(+ x y)
(+ (* a (+ t y)) (* y z))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
(- (+ (* a (+ t y)) (* y z)) (* b y))
(- (+ (* a (+ t y)) (+ (* x z) (* y z))) (* b y))
z
(- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (* -1 (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2))) (+ (/ (* a (+ t y)) x) (/ (* y z) x)))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (/ (* a (+ t y)) x) (+ (/ (* y z) x) (/ (* (pow (+ t y) 2) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 3))))) (+ (/ (* b y) x) (+ (/ (* z (+ t y)) x) (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2)))))
(* x z)
(* x (+ z (/ (* y z) x)))
x
(* x (+ 1 (/ y x)))
(* x (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))))
(* x (- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (/ (* b y) x)))
(+ z (* -1 (/ (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ t y) 2) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x)) (* -1 (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))))) x))) (* -1 (* z (+ t y)))) x)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (+ (* a (+ t y)) (* y z)) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (- (+ (* a (+ t y)) (* y z)) (* b y)) x)))))
(/ (+ (* a t) (* x z)) (+ t x))
(+ (* y (- (+ (/ a (+ t x)) (/ z (+ t x))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3)))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (* y (- (+ (/ a (pow (+ t x) 3)) (/ z (pow (+ t x) 3))) (+ (/ b (pow (+ t x) 3)) (+ (/ (* a t) (pow (+ t x) 4)) (/ (* x z) (pow (+ t x) 4)))))) (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3))))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* a t) (* x z))
(+ (* a t) (+ (* x z) (* y (+ a z))))
(+ (* a t) (+ (* x z) (* y (- (+ a z) b))))
(* a t)
(+ (* a t) (* a y))
t
(+ t y)
(- (+ a z) b)
(- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (* -1 (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2))) (+ (/ (* a t) y) (/ (* x z) y))))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (/ (* a t) y) (+ (/ (* x z) y) (/ (* (pow (+ t x) 2) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 3)))))) (+ b (+ (/ (* (+ t x) (- (+ a z) b)) y) (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2)))))
(* y (+ z (/ (* x z) y)))
(* y (+ 1 (/ x y)))
(* y (+ a z))
(* y (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))))
(* y (- (+ a z) b))
(* y (- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) b))
(* a y)
(* y (+ a (/ (* a t) y)))
(* y (+ 1 (/ t y)))
(* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (- (* -1 (/ (* (pow (+ t x) 2) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y)) (* -1 (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (+ (* -1 a) (* -1 z))))
(* -1 (* y (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y))))))
(* -1 (* y (- (+ (* -1 a) (* -1 z)) (* -1 b))))
(* -1 (* y (- (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y)))) (* -1 b))))
(* -1 (* y (+ (* -1 a) (* -1 (/ (* a t) y)))))
(* -1 (* y (- (* -1 (/ t y)) 1)))
(/ (- (* a (+ t y)) (* b y)) (+ t (+ x y)))
(- (+ (* z (+ (/ x (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* a (+ t y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(* z (+ x y))
(* a (+ t y))
(+ (* a (+ t y)) (* z (+ x y)))
(- (* a (+ t y)) (* b y))
(- (+ (* a (+ t y)) (* z (+ x y))) (* b y))
(/ (* z (+ x y)) (+ t (+ x y)))
(* z (- (+ (/ x (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* a (+ t y)) (* z (+ t (+ x y)))))) (/ (* b y) (* z (+ t (+ x y))))))
(* z (+ x (+ y (/ (* a (+ t y)) z))))
(* z (- (+ x (+ y (/ (* a (+ t y)) z))) (/ (* b y) z)))
(* -1 (* z (+ (* -1 (/ (+ x y) (+ t (+ x y)))) (* -1 (/ (- (/ (* a (+ t y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (* a (+ t y)) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (- (* a (+ t y)) (* b y)) z)))))
(/ (- (+ (* a y) (* z (+ x y))) (* b y)) (+ x y))
(- (+ z (+ (* t (- (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (* t (- (+ (/ a (pow (+ x y) 3)) (/ (* b y) (pow (+ x y) 4))) (+ (/ z (pow (+ x y) 3)) (/ (* a y) (pow (+ x y) 4))))) (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3)))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(+ (* a y) (* z (+ x y)))
(+ (* a t) (+ (* a y) (* z (+ x y))))
(- (+ (* a y) (* z (+ x y))) (* b y))
(- (+ (* a t) (+ (* a y) (* z (+ x y)))) (* b y))
a
(- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (* -1 (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2))) (+ (/ (* a y) t) (/ (* z (+ x y)) t)))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (/ (* a y) t) (+ (/ (* z (+ x y)) t) (/ (* (pow (+ x y) 2) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 3))))) (+ (/ (* a (+ x y)) t) (+ (/ (* b y) t) (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2)))))
(* t (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))))
(* t (- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (/ (* b y) t)))
(* t (+ a (/ (* a y) t)))
(* t (+ 1 (/ y t)))
(+ a (* -1 (/ (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ x y) 2) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t)) (* -1 (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))))) t))) (* -1 (* a (+ x y)))) t)))
(* -1 (* t (+ (* -1 a) (* -1 (/ (+ (* a y) (* z (+ x y))) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (- (+ (* a y) (* z (+ x y))) (* b y)) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (* a y) t)))))
(* -1 (* t (- (* -1 (/ y t)) 1)))
(/ (- (* z (+ x y)) (* b y)) (+ t (+ x y)))
(- (+ (* a (+ (/ t (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* z (+ x y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(- (* z (+ x y)) (* b y))
(/ (* a (+ t y)) (+ t (+ x y)))
(* a (- (+ (/ t (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* z (+ x y)) (* a (+ t (+ x y)))))) (/ (* b y) (* a (+ t (+ x y))))))
(* a (+ t (+ y (/ (* z (+ x y)) a))))
(* a (- (+ t (+ y (/ (* z (+ x y)) a))) (/ (* b y) a)))
(* -1 (* a (+ (* -1 (/ (+ t y) (+ t (+ x y)))) (* -1 (/ (- (/ (* z (+ x y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (* z (+ x y)) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (- (* z (+ x y)) (* b y)) a)))))
(/ (+ (* a (+ t y)) (* z (+ x y))) (+ t (+ x y)))
(+ (* -1 (/ (* b y) (+ t (+ x y)))) (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))))
(+ (* -1 (* b y)) (+ (* a (+ t y)) (* z (+ x y))))
(* -1 (/ (* b y) (+ t (+ x y))))
(* b (+ (* -1 (/ y (+ t (+ x y)))) (+ (/ (* a (+ t y)) (* b (+ t (+ x y)))) (/ (* z (+ x y)) (* b (+ t (+ x y)))))))
(* -1 (* b y))
(* b (- (+ (/ (* a (+ t y)) b) (/ (* z (+ x y)) b)) y))
(* -1 (* b (+ (* -1 (/ (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))) b)) (/ y (+ t (+ x y))))))
(* -1 (* b (- (* -1 (/ (+ (* a (+ t y)) (* z (+ x y))) b)) (* -1 y))))

Outputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (*.f64 (+.f64 x y) z))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(*.f64 (+.f64 x y) z)
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(+.f64 x y)
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)))
(* y z)
(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
(+ (* x z) (* y z))
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)))
y
(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
(+ x y)
(/.f64 #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))
(+ (* a (+ t y)) (* y z))
#s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
(*.f64 (+.f64 t y) a)
(- (+ (* a (+ t y)) (* y z)) (* b y))
(+.f64 t y)

rewrite1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Counts

11 → 11

Calls

Call 1

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

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

eval4.0ms (0.2%)

Memory: 4.8MiB live, 4.8MiB allocated
Compiler: Compiled 1 682 to 69 computations (95.9% saved)

prune7.0ms (0.4%)

Memory

8.0MiB live, 8.0MiB allocated

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	33	7	40
Fresh	0	0	0
Picked	1	3	4
Done	0	1	1
Total	34	11	45

Accuracy

60.3%

Counts

45 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	59.2%	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
✓	23.5%	(/.f64 #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))
✓	3.3%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)))
▶	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (.f64 (+.f64 t y) a)) (.f64 y b)))
	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 #s(approx (* (+ x y) z) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))) (*.f64 (+.f64 t y) a)))
▶	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 x y))
✓	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (*.f64 (+.f64 x y) z))
▶	3.6%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) (/.f64 #s(approx (- (+ ( (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))) z))
	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b))) z))
▶	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+.f64 t y)))
▶	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (*.f64 (+.f64 t y) a)))

Compiler

Compiled 694 to 386 computations (44.4% saved)

simplify1.0ms (0.1%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 17 expressions of interest:

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

Calls

Call 1

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

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

localize46.0ms (2.2%)

Memory

-3.5MiB live, 34.8MiB allocated

Localize:

Found 17 expressions of interest:

New	Metric	Score
accuracy	0.0078125	(*.f64 (+.f64 t y) a)
accuracy	2.4492084291510294	(-.f64 #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (.f64 (+.f64 t y) a)) (.f64 y b))
accuracy	28.513074664427144	#s(approx (+ (* (+ x y) z) (* (+ t y) a)) (*.f64 (+.f64 t y) a))
accuracy	61.759774790320854	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (.f64 (+.f64 t y) a)) (.f64 y b)))
accuracy	0.0	(+.f64 t y)
accuracy	0.0078125	(*.f64 (+.f64 t y) a)
accuracy	28.513074664427144	#s(approx (+ (* (+ x y) z) (* (+ t y) a)) (*.f64 (+.f64 t y) a))
accuracy	61.72259595355427	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (*.f64 (+.f64 t y) a)))
accuracy	0.0	(+.f64 x y)
accuracy	61.79626531179534	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 x y))
accuracy	0.0	(+.f64 t y)
accuracy	61.759774790320854	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+.f64 t y)))
accuracy	61.92609044767165	#s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+.f64 t y))
accuracy	25.808581689475822	(/.f64 #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))
accuracy	35.68875203409988	#s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a))
accuracy	61.79626531179534	#s(approx (+ x y) (/.f64 #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y)))
accuracy	61.82612339146487	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) (/.f64 #s(approx (- (+ ( (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))) z))

Samples

31.0ms

256×

valid

Compiler

Compiled 706 to 52 computations (92.6% saved)

Precisions

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

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

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

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

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

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

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

series18.0ms (0.9%)

Memory

16.8MiB live, 16.8MiB allocated

Counts

15 → 121

Calls

Call 1

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

Outputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(* y z)
(+ (* x z) (* y z))
y
(+ x y)
(- (+ (* a (+ t y)) (* y z)) (* b y))
(- (+ (* a (+ t y)) (+ (* x z) (* y z))) (* b y))
(+ (* a (+ t y)) (* y z))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
z
(- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (* -1 (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2))) (+ (/ (* a (+ t y)) x) (/ (* y z) x)))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (/ (* a (+ t y)) x) (+ (/ (* y z) x) (/ (* (pow (+ t y) 2) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 3))))) (+ (/ (* b y) x) (+ (/ (* z (+ t y)) x) (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2)))))
(* x z)
(* x (+ z (/ (* y z) x)))
x
(* x (+ 1 (/ y x)))
(* x (- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (/ (* b y) x)))
(* x (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))))
(+ z (* -1 (/ (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ t y) 2) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x)) (* -1 (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))))) x))) (* -1 (* z (+ t y)))) x)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (- (+ (* a (+ t y)) (* y z)) (* b y)) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (+ (* a (+ t y)) (* y z)) x)))))
(/ (+ (* a t) (* x z)) (+ t x))
(+ (* y (- (+ (/ a (+ t x)) (/ z (+ t x))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3)))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (* y (- (+ (/ a (pow (+ t x) 3)) (/ z (pow (+ t x) 3))) (+ (/ b (pow (+ t x) 3)) (+ (/ (* a t) (pow (+ t x) 4)) (/ (* x z) (pow (+ t x) 4)))))) (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3))))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* a t) (* x z))
(+ (* a t) (+ (* x z) (* y (- (+ a z) b))))
t
(+ t y)
(+ (* a t) (+ (* x z) (* y (+ a z))))
(* a t)
(+ (* a t) (* a y))
(- (+ a z) b)
(- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (* -1 (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2))) (+ (/ (* a t) y) (/ (* x z) y))))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (/ (* a t) y) (+ (/ (* x z) y) (/ (* (pow (+ t x) 2) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 3)))))) (+ b (+ (/ (* (+ t x) (- (+ a z) b)) y) (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2)))))
(* y (+ z (/ (* x z) y)))
(* y (+ 1 (/ x y)))
(* y (- (+ a z) b))
(* y (- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) b))
(* y (+ 1 (/ t y)))
(* y (+ a z))
(* y (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))))
(* a y)
(* y (+ a (/ (* a t) y)))
(* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (- (* -1 (/ (* (pow (+ t x) 2) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y)) (* -1 (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (+ (* -1 a) (* -1 z)) (* -1 b))))
(* -1 (* y (- (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y)))) (* -1 b))))
(* -1 (* y (- (* -1 (/ t y)) 1)))
(* -1 (* y (+ (* -1 a) (* -1 z))))
(* -1 (* y (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y))))))
(* -1 (* y (+ (* -1 a) (* -1 (/ (* a t) y)))))
(/ (- (* a (+ t y)) (* b y)) (+ t (+ x y)))
(- (+ (* z (+ (/ x (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* a (+ t y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(* z (+ x y))
(- (* a (+ t y)) (* b y))
(- (+ (* a (+ t y)) (* z (+ x y))) (* b y))
(* a (+ t y))
(+ (* a (+ t y)) (* z (+ x y)))
(/ (* z (+ x y)) (+ t (+ x y)))
(* z (- (+ (/ x (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* a (+ t y)) (* z (+ t (+ x y)))))) (/ (* b y) (* z (+ t (+ x y))))))
(* z (- (+ x (+ y (/ (* a (+ t y)) z))) (/ (* b y) z)))
(* z (+ x (+ y (/ (* a (+ t y)) z))))
(* -1 (* z (+ (* -1 (/ (+ x y) (+ t (+ x y)))) (* -1 (/ (- (/ (* a (+ t y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (- (* a (+ t y)) (* b y)) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (* a (+ t y)) z)))))
(/ (- (+ (* a y) (* z (+ x y))) (* b y)) (+ x y))
(- (+ z (+ (* t (- (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (* t (- (+ (/ a (pow (+ x y) 3)) (/ (* b y) (pow (+ x y) 4))) (+ (/ z (pow (+ x y) 3)) (/ (* a y) (pow (+ x y) 4))))) (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3)))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ (* a y) (* z (+ x y))) (* b y))
(- (+ (* a t) (+ (* a y) (* z (+ x y)))) (* b y))
(+ (* a y) (* z (+ x y)))
(+ (* a t) (+ (* a y) (* z (+ x y))))
a
(- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (* -1 (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2))) (+ (/ (* a y) t) (/ (* z (+ x y)) t)))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (/ (* a y) t) (+ (/ (* z (+ x y)) t) (/ (* (pow (+ x y) 2) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 3))))) (+ (/ (* a (+ x y)) t) (+ (/ (* b y) t) (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2)))))
(* t (- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (/ (* b y) t)))
(* t (+ 1 (/ y t)))
(* t (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))))
(* t (+ a (/ (* a y) t)))
(+ a (* -1 (/ (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ x y) 2) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t)) (* -1 (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))))) t))) (* -1 (* a (+ x y)))) t)))
(* -1 (* t (+ (* -1 a) (* -1 (/ (- (+ (* a y) (* z (+ x y))) (* b y)) t)))))
(* -1 (* t (- (* -1 (/ y t)) 1)))
(* -1 (* t (+ (* -1 a) (* -1 (/ (+ (* a y) (* z (+ x y))) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (* a y) t)))))
(/ (- (* z (+ x y)) (* b y)) (+ t (+ x y)))
(- (+ (* a (+ (/ t (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* z (+ x y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(- (* z (+ x y)) (* b y))
(/ (* a (+ t y)) (+ t (+ x y)))
(* a (- (+ (/ t (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* z (+ x y)) (* a (+ t (+ x y)))))) (/ (* b y) (* a (+ t (+ x y))))))
(* a (- (+ t (+ y (/ (* z (+ x y)) a))) (/ (* b y) a)))
(* a (+ t (+ y (/ (* z (+ x y)) a))))
(* -1 (* a (+ (* -1 (/ (+ t y) (+ t (+ x y)))) (* -1 (/ (- (/ (* z (+ x y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (- (* z (+ x y)) (* b y)) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (* z (+ x y)) a)))))
(/ (+ (* a (+ t y)) (* z (+ x y))) (+ t (+ x y)))
(+ (* -1 (/ (* b y) (+ t (+ x y)))) (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))))
(+ (* -1 (* b y)) (+ (* a (+ t y)) (* z (+ x y))))
(* -1 (/ (* b y) (+ t (+ x y))))
(* b (+ (* -1 (/ y (+ t (+ x y)))) (+ (/ (* a (+ t y)) (* b (+ t (+ x y)))) (/ (* z (+ x y)) (* b (+ t (+ x y)))))))
(* -1 (* b y))
(* b (- (+ (/ (* a (+ t y)) b) (/ (* z (+ x y)) b)) y))
(* -1 (* b (+ (* -1 (/ (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))) b)) (/ y (+ t (+ x y))))))
(* -1 (* b (- (* -1 (/ (+ (* a (+ t y)) (* z (+ x y))) b)) (* -1 y))))

Calls

18 calls:

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

simplify2.0ms (0.1%)

Memory

1.9MiB live, 1.9MiB allocated

Algorithm

1×	egg-herbie

Counts

121 → 15

Calls

Call 1

Inputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(* y z)
(+ (* x z) (* y z))
y
(+ x y)
(- (+ (* a (+ t y)) (* y z)) (* b y))
(- (+ (* a (+ t y)) (+ (* x z) (* y z))) (* b y))
(+ (* a (+ t y)) (* y z))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
z
(- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (* -1 (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2))) (+ (/ (* a (+ t y)) x) (/ (* y z) x)))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (/ (* a (+ t y)) x) (+ (/ (* y z) x) (/ (* (pow (+ t y) 2) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 3))))) (+ (/ (* b y) x) (+ (/ (* z (+ t y)) x) (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2)))))
(* x z)
(* x (+ z (/ (* y z) x)))
x
(* x (+ 1 (/ y x)))
(* x (- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (/ (* b y) x)))
(* x (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))))
(+ z (* -1 (/ (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ t y) 2) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x)) (* -1 (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))))) x))) (* -1 (* z (+ t y)))) x)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (- (+ (* a (+ t y)) (* y z)) (* b y)) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (+ (* a (+ t y)) (* y z)) x)))))
(/ (+ (* a t) (* x z)) (+ t x))
(+ (* y (- (+ (/ a (+ t x)) (/ z (+ t x))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3)))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (* y (- (+ (/ a (pow (+ t x) 3)) (/ z (pow (+ t x) 3))) (+ (/ b (pow (+ t x) 3)) (+ (/ (* a t) (pow (+ t x) 4)) (/ (* x z) (pow (+ t x) 4)))))) (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3))))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* a t) (* x z))
(+ (* a t) (+ (* x z) (* y (- (+ a z) b))))
t
(+ t y)
(+ (* a t) (+ (* x z) (* y (+ a z))))
(* a t)
(+ (* a t) (* a y))
(- (+ a z) b)
(- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (* -1 (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2))) (+ (/ (* a t) y) (/ (* x z) y))))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (/ (* a t) y) (+ (/ (* x z) y) (/ (* (pow (+ t x) 2) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 3)))))) (+ b (+ (/ (* (+ t x) (- (+ a z) b)) y) (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2)))))
(* y (+ z (/ (* x z) y)))
(* y (+ 1 (/ x y)))
(* y (- (+ a z) b))
(* y (- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) b))
(* y (+ 1 (/ t y)))
(* y (+ a z))
(* y (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))))
(* a y)
(* y (+ a (/ (* a t) y)))
(* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (- (* -1 (/ (* (pow (+ t x) 2) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y)) (* -1 (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (+ (* -1 a) (* -1 z)) (* -1 b))))
(* -1 (* y (- (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y)))) (* -1 b))))
(* -1 (* y (- (* -1 (/ t y)) 1)))
(* -1 (* y (+ (* -1 a) (* -1 z))))
(* -1 (* y (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y))))))
(* -1 (* y (+ (* -1 a) (* -1 (/ (* a t) y)))))
(/ (- (* a (+ t y)) (* b y)) (+ t (+ x y)))
(- (+ (* z (+ (/ x (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* a (+ t y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(* z (+ x y))
(- (* a (+ t y)) (* b y))
(- (+ (* a (+ t y)) (* z (+ x y))) (* b y))
(* a (+ t y))
(+ (* a (+ t y)) (* z (+ x y)))
(/ (* z (+ x y)) (+ t (+ x y)))
(* z (- (+ (/ x (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* a (+ t y)) (* z (+ t (+ x y)))))) (/ (* b y) (* z (+ t (+ x y))))))
(* z (- (+ x (+ y (/ (* a (+ t y)) z))) (/ (* b y) z)))
(* z (+ x (+ y (/ (* a (+ t y)) z))))
(* -1 (* z (+ (* -1 (/ (+ x y) (+ t (+ x y)))) (* -1 (/ (- (/ (* a (+ t y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (- (* a (+ t y)) (* b y)) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (* a (+ t y)) z)))))
(/ (- (+ (* a y) (* z (+ x y))) (* b y)) (+ x y))
(- (+ z (+ (* t (- (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (* t (- (+ (/ a (pow (+ x y) 3)) (/ (* b y) (pow (+ x y) 4))) (+ (/ z (pow (+ x y) 3)) (/ (* a y) (pow (+ x y) 4))))) (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3)))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ (* a y) (* z (+ x y))) (* b y))
(- (+ (* a t) (+ (* a y) (* z (+ x y)))) (* b y))
(+ (* a y) (* z (+ x y)))
(+ (* a t) (+ (* a y) (* z (+ x y))))
a
(- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (* -1 (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2))) (+ (/ (* a y) t) (/ (* z (+ x y)) t)))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (/ (* a y) t) (+ (/ (* z (+ x y)) t) (/ (* (pow (+ x y) 2) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 3))))) (+ (/ (* a (+ x y)) t) (+ (/ (* b y) t) (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2)))))
(* t (- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (/ (* b y) t)))
(* t (+ 1 (/ y t)))
(* t (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))))
(* t (+ a (/ (* a y) t)))
(+ a (* -1 (/ (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ x y) 2) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t)) (* -1 (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))))) t))) (* -1 (* a (+ x y)))) t)))
(* -1 (* t (+ (* -1 a) (* -1 (/ (- (+ (* a y) (* z (+ x y))) (* b y)) t)))))
(* -1 (* t (- (* -1 (/ y t)) 1)))
(* -1 (* t (+ (* -1 a) (* -1 (/ (+ (* a y) (* z (+ x y))) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (* a y) t)))))
(/ (- (* z (+ x y)) (* b y)) (+ t (+ x y)))
(- (+ (* a (+ (/ t (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* z (+ x y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(- (* z (+ x y)) (* b y))
(/ (* a (+ t y)) (+ t (+ x y)))
(* a (- (+ (/ t (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* z (+ x y)) (* a (+ t (+ x y)))))) (/ (* b y) (* a (+ t (+ x y))))))
(* a (- (+ t (+ y (/ (* z (+ x y)) a))) (/ (* b y) a)))
(* a (+ t (+ y (/ (* z (+ x y)) a))))
(* -1 (* a (+ (* -1 (/ (+ t y) (+ t (+ x y)))) (* -1 (/ (- (/ (* z (+ x y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (- (* z (+ x y)) (* b y)) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (* z (+ x y)) a)))))
(/ (+ (* a (+ t y)) (* z (+ x y))) (+ t (+ x y)))
(+ (* -1 (/ (* b y) (+ t (+ x y)))) (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))))
(+ (* -1 (* b y)) (+ (* a (+ t y)) (* z (+ x y))))
(* -1 (/ (* b y) (+ t (+ x y))))
(* b (+ (* -1 (/ y (+ t (+ x y)))) (+ (/ (* a (+ t y)) (* b (+ t (+ x y)))) (/ (* z (+ x y)) (* b (+ t (+ x y)))))))
(* -1 (* b y))
(* b (- (+ (/ (* a (+ t y)) b) (/ (* z (+ x y)) b)) y))
(* -1 (* b (+ (* -1 (/ (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))) b)) (/ y (+ t (+ x y))))))
(* -1 (* b (- (* -1 (/ (+ (* a (+ t y)) (* z (+ x y))) b)) (* -1 y))))

Outputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) (/.f64 #s(approx (- (+ ( (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))) z))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(.f64 #s(approx (+ x y) (/.f64 #s(approx (- (+ ( (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))) z)
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
#s(approx (+ x y) (/.f64 #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(/.f64 #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))
(* y z)
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+.f64 t y)))
(+ (* x z) (* y z))
#s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+.f64 t y))
y
(+.f64 t y)
(+ x y)
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 x y))
(- (+ (* a (+ t y)) (* y z)) (* b y))
(+.f64 x y)
(- (+ (* a (+ t y)) (+ (* x z) (* y z))) (* b y))
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (*.f64 (+.f64 t y) a)))
(+ (* a (+ t y)) (* y z))
#s(approx (+ (* (+ x y) z) (* (+ t y) a)) (*.f64 (+.f64 t y) a))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
(*.f64 (+.f64 t y) a)
z
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (.f64 (+.f64 t y) a)) (.f64 y b)))
(- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(-.f64 #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (.f64 (+.f64 t y) a)) (.f64 y b))
(- (+ z (+ (* -1 (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2))) (+ (/ (* a (+ t y)) x) (/ (* y z) x)))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
#s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a))

rewrite1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Counts

15 → 15

Calls

Call 1

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

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

eval5.0ms (0.2%)

Memory: -34.4MiB live, 4.1MiB allocated
Compiler: Compiled 1 640 to 57 computations (96.5% saved)

prune8.0ms (0.4%)

Memory

8.5MiB live, 8.5MiB allocated

Pruning

12 alts after pruning (3 fresh and 9 done)

	Pruned	Kept	Total
New	33	1	34
Fresh	0	2	2
Picked	0	5	5
Done	0	4	4
Total	33	12	45

Accuracy

60.4%

Counts

45 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	59.2%	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
✓	23.5%	(/.f64 #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))
✓	3.3%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)))
✓	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (.f64 (+.f64 t y) a)) (.f64 y b)))
▶	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 #s(approx (* (+ x y) z) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))) (*.f64 (+.f64 t y) a)))
✓	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 x y))
✓	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (*.f64 (+.f64 x y) z))
✓	3.6%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) (/.f64 #s(approx (- (+ ( (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))) z))
▶	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b))) z))
▶	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (*.f64 #s(approx (+ x y) (+.f64 t y)) z))
✓	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+.f64 t y)))
✓	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (*.f64 (+.f64 t y) a)))

Compiler

Compiled 434 to 252 computations (41.9% saved)

simplify1.0ms (0.1%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

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

Calls

Call 1

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

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

localize47.0ms (2.3%)

Memory

12.5MiB live, 50.7MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	1.5507750574906174	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
accuracy	1.5507750574906174	(+.f64 #s(approx (* (+ x y) z) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))) (*.f64 (+.f64 t y) a))
accuracy	32.01389384002237	#s(approx (* (+ x y) z) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)))
accuracy	61.72259595355427	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 #s(approx (* (+ x y) z) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))) (*.f64 (+.f64 t y) a)))
accuracy	1.5507750574906174	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
accuracy	2.4492084291510294	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
accuracy	61.82612339146487	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b))) z))
accuracy	61.8568173166907	#s(approx (+ x y) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)))
accuracy	0.0	(+.f64 t y)
accuracy	0.0078125	(*.f64 #s(approx (+ x y) (+.f64 t y)) z)
accuracy	41.44997958592842	#s(approx (+ x y) (+.f64 t y))
accuracy	61.82612339146487	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (*.f64 #s(approx (+ x y) (+.f64 t y)) z))

Samples

33.0ms

256×

valid

Compiler

Compiled 490 to 50 computations (89.8% saved)

Precisions

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

ival-add: 10.0ms (57.4% of total)

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

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

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

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

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

series14.0ms (0.7%)

Memory

16.2MiB live, 16.2MiB allocated

Counts

12 → 115

Calls

Call 1

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

Outputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(* y z)
(+ (* x z) (* y z))
y
(+ x y)
(- (+ (* a (+ t y)) (* y z)) (* b y))
(- (+ (* a (+ t y)) (+ (* x z) (* y z))) (* b y))
(+ (* a (+ t y)) (* y z))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
z
(- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (* -1 (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2))) (+ (/ (* a (+ t y)) x) (/ (* y z) x)))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (/ (* a (+ t y)) x) (+ (/ (* y z) x) (/ (* (pow (+ t y) 2) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 3))))) (+ (/ (* b y) x) (+ (/ (* z (+ t y)) x) (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2)))))
(* x z)
(* x (+ z (/ (* y z) x)))
x
(* x (+ 1 (/ y x)))
(* x (- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (/ (* b y) x)))
(* x (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))))
(+ z (* -1 (/ (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ t y) 2) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x)) (* -1 (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))))) x))) (* -1 (* z (+ t y)))) x)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (- (+ (* a (+ t y)) (* y z)) (* b y)) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (+ (* a (+ t y)) (* y z)) x)))))
(/ (+ (* a t) (* x z)) (+ t x))
(+ (* y (- (+ (/ a (+ t x)) (/ z (+ t x))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3)))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (* y (- (+ (/ a (pow (+ t x) 3)) (/ z (pow (+ t x) 3))) (+ (/ b (pow (+ t x) 3)) (+ (/ (* a t) (pow (+ t x) 4)) (/ (* x z) (pow (+ t x) 4)))))) (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3))))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
t
(+ t y)
(+ (* a t) (* x z))
(+ (* a t) (+ (* x z) (* y (- (+ a z) b))))
(+ (* a t) (+ (* x z) (* y (+ a z))))
(- (+ a z) b)
(- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (* -1 (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2))) (+ (/ (* a t) y) (/ (* x z) y))))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (/ (* a t) y) (+ (/ (* x z) y) (/ (* (pow (+ t x) 2) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 3)))))) (+ b (+ (/ (* (+ t x) (- (+ a z) b)) y) (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2)))))
(* y (+ z (/ (* x z) y)))
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ t y)))
(* y (- (+ a z) b))
(* y (- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) b))
(* y (+ a z))
(* y (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))))
(* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (- (* -1 (/ (* (pow (+ t x) 2) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y)) (* -1 (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ t y)) 1)))
(* -1 (* y (- (+ (* -1 a) (* -1 z)) (* -1 b))))
(* -1 (* y (- (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y)))) (* -1 b))))
(* -1 (* y (+ (* -1 a) (* -1 z))))
(* -1 (* y (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y))))))
(/ (- (* a (+ t y)) (* b y)) (+ t (+ x y)))
(- (+ (* z (+ (/ x (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* a (+ t y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(* z (+ x y))
(- (* a (+ t y)) (* b y))
(- (+ (* a (+ t y)) (* z (+ x y))) (* b y))
(* a (+ t y))
(+ (* a (+ t y)) (* z (+ x y)))
(/ (* z (+ x y)) (+ t (+ x y)))
(* z (- (+ (/ x (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* a (+ t y)) (* z (+ t (+ x y)))))) (/ (* b y) (* z (+ t (+ x y))))))
(* z (- (+ x (+ y (/ (* a (+ t y)) z))) (/ (* b y) z)))
(* z (+ x (+ y (/ (* a (+ t y)) z))))
(* -1 (* z (+ (* -1 (/ (+ x y) (+ t (+ x y)))) (* -1 (/ (- (/ (* a (+ t y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (- (* a (+ t y)) (* b y)) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (* a (+ t y)) z)))))
(/ (- (+ (* a y) (* z (+ x y))) (* b y)) (+ x y))
(- (+ z (+ (* t (- (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (* t (- (+ (/ a (pow (+ x y) 3)) (/ (* b y) (pow (+ x y) 4))) (+ (/ z (pow (+ x y) 3)) (/ (* a y) (pow (+ x y) 4))))) (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3)))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ (* a y) (* z (+ x y))) (* b y))
(- (+ (* a t) (+ (* a y) (* z (+ x y)))) (* b y))
(+ (* a y) (* z (+ x y)))
(+ (* a t) (+ (* a y) (* z (+ x y))))
a
(- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (* -1 (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2))) (+ (/ (* a y) t) (/ (* z (+ x y)) t)))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (/ (* a y) t) (+ (/ (* z (+ x y)) t) (/ (* (pow (+ x y) 2) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 3))))) (+ (/ (* a (+ x y)) t) (+ (/ (* b y) t) (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2)))))
(* t (+ 1 (/ y t)))
(* a t)
(* t (- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (/ (* b y) t)))
(* t (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))))
(+ a (* -1 (/ (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ x y) 2) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t)) (* -1 (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))))) t))) (* -1 (* a (+ x y)))) t)))
(* -1 (* t (- (* -1 (/ y t)) 1)))
(* -1 (* t (+ (* -1 a) (* -1 (/ (- (+ (* a y) (* z (+ x y))) (* b y)) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (+ (* a y) (* z (+ x y))) t)))))
(/ (- (* z (+ x y)) (* b y)) (+ t (+ x y)))
(- (+ (* a (+ (/ t (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* z (+ x y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(- (* z (+ x y)) (* b y))
(/ (* a (+ t y)) (+ t (+ x y)))
(* a (- (+ (/ t (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* z (+ x y)) (* a (+ t (+ x y)))))) (/ (* b y) (* a (+ t (+ x y))))))
(* a (- (+ t (+ y (/ (* z (+ x y)) a))) (/ (* b y) a)))
(* a (+ t (+ y (/ (* z (+ x y)) a))))
(* -1 (* a (+ (* -1 (/ (+ t y) (+ t (+ x y)))) (* -1 (/ (- (/ (* z (+ x y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (- (* z (+ x y)) (* b y)) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (* z (+ x y)) a)))))
(/ (+ (* a (+ t y)) (* z (+ x y))) (+ t (+ x y)))
(+ (* -1 (/ (* b y) (+ t (+ x y)))) (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))))
(+ (* -1 (* b y)) (+ (* a (+ t y)) (* z (+ x y))))
(* -1 (/ (* b y) (+ t (+ x y))))
(* b (+ (* -1 (/ y (+ t (+ x y)))) (+ (/ (* a (+ t y)) (* b (+ t (+ x y)))) (/ (* z (+ x y)) (* b (+ t (+ x y)))))))
(* -1 (* b y))
(* b (- (+ (/ (* a (+ t y)) b) (/ (* z (+ x y)) b)) y))
(* -1 (* b (+ (* -1 (/ (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))) b)) (/ y (+ t (+ x y))))))
(* -1 (* b (- (* -1 (/ (+ (* a (+ t y)) (* z (+ x y))) b)) (* -1 y))))

Calls

18 calls:

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

simplify2.0ms (0.1%)

Memory

2.2MiB live, 2.2MiB allocated

Algorithm

1×	egg-herbie

Counts

115 → 12

Calls

Call 1

Inputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(* y z)
(+ (* x z) (* y z))
y
(+ x y)
(- (+ (* a (+ t y)) (* y z)) (* b y))
(- (+ (* a (+ t y)) (+ (* x z) (* y z))) (* b y))
(+ (* a (+ t y)) (* y z))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
z
(- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (* -1 (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2))) (+ (/ (* a (+ t y)) x) (/ (* y z) x)))) (+ (/ (* b y) x) (/ (* z (+ t y)) x)))
(- (+ z (+ (/ (* a (+ t y)) x) (+ (/ (* y z) x) (/ (* (pow (+ t y) 2) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 3))))) (+ (/ (* b y) x) (+ (/ (* z (+ t y)) x) (/ (* (+ t y) (- (+ (* a (+ t y)) (* y z)) (+ (* b y) (* z (+ t y))))) (pow x 2)))))
(* x z)
(* x (+ z (/ (* y z) x)))
x
(* x (+ 1 (/ y x)))
(* x (- (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))) (/ (* b y) x)))
(* x (+ z (+ (/ (* a (+ t y)) x) (/ (* y z) x))))
(+ z (* -1 (/ (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x))) (* -1 (* z (+ t y)))) x)))
(+ z (* -1 (/ (- (+ (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ t y) 2) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))) x)) (* -1 (* (+ t y) (- (* -1 (- (+ (* a (+ t y)) (* y z)) (* b y))) (* -1 (* z (+ t y))))))) x))) (* -1 (* z (+ t y)))) x)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (+ (* -1 z) (* -1 (/ (- (+ (* a (+ t y)) (* y z)) (* b y)) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (+ (* a (+ t y)) (* y z)) x)))))
(/ (+ (* a t) (* x z)) (+ t x))
(+ (* y (- (+ (/ a (+ t x)) (/ z (+ t x))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3)))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
(+ (* y (- (+ (* y (- (+ (* y (- (+ (/ a (pow (+ t x) 3)) (/ z (pow (+ t x) 3))) (+ (/ b (pow (+ t x) 3)) (+ (/ (* a t) (pow (+ t x) 4)) (/ (* x z) (pow (+ t x) 4)))))) (+ (/ b (pow (+ t x) 2)) (+ (/ (* a t) (pow (+ t x) 3)) (/ (* x z) (pow (+ t x) 3))))) (+ (/ a (pow (+ t x) 2)) (/ z (pow (+ t x) 2))))) (+ (/ a (+ t x)) (/ z (+ t x)))) (+ (/ b (+ t x)) (+ (/ (* a t) (pow (+ t x) 2)) (/ (* x z) (pow (+ t x) 2)))))) (+ (/ (* a t) (+ t x)) (/ (* x z) (+ t x))))
t
(+ t y)
(+ (* a t) (* x z))
(+ (* a t) (+ (* x z) (* y (- (+ a z) b))))
(+ (* a t) (+ (* x z) (* y (+ a z))))
(- (+ a z) b)
(- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (* -1 (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2))) (+ (/ (* a t) y) (/ (* x z) y))))) (+ b (/ (* (+ t x) (- (+ a z) b)) y)))
(- (+ a (+ z (+ (/ (* a t) y) (+ (/ (* x z) y) (/ (* (pow (+ t x) 2) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 3)))))) (+ b (+ (/ (* (+ t x) (- (+ a z) b)) y) (/ (* (+ t x) (- (+ (* a t) (* x z)) (* (+ t x) (- (+ a z) b)))) (pow y 2)))))
(* y (+ z (/ (* x z) y)))
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ t y)))
(* y (- (+ a z) b))
(* y (- (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))) b))
(* y (+ a z))
(* y (+ a (+ z (+ (/ (* a t) y) (/ (* x z) y)))))
(* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(+ (* -1 (- (+ (* -1 a) (* -1 z)) (* -1 b))) (* -1 (/ (- (+ (* -1 (+ (* a t) (* x z))) (* -1 (/ (- (* -1 (/ (* (pow (+ t x) 2) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))) y)) (* -1 (* (+ t x) (- (* -1 (+ (* a t) (* x z))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b))))))) y))) (* (+ t x) (- (+ (* -1 a) (* -1 z)) (* -1 b)))) y)))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ t y)) 1)))
(* -1 (* y (- (+ (* -1 a) (* -1 z)) (* -1 b))))
(* -1 (* y (- (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y)))) (* -1 b))))
(* -1 (* y (+ (* -1 a) (* -1 z))))
(* -1 (* y (+ (* -1 a) (+ (* -1 z) (* -1 (/ (+ (* a t) (* x z)) y))))))
(/ (- (* a (+ t y)) (* b y)) (+ t (+ x y)))
(- (+ (* z (+ (/ x (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* a (+ t y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(* z (+ x y))
(- (* a (+ t y)) (* b y))
(- (+ (* a (+ t y)) (* z (+ x y))) (* b y))
(* a (+ t y))
(+ (* a (+ t y)) (* z (+ x y)))
(/ (* z (+ x y)) (+ t (+ x y)))
(* z (- (+ (/ x (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* a (+ t y)) (* z (+ t (+ x y)))))) (/ (* b y) (* z (+ t (+ x y))))))
(* z (- (+ x (+ y (/ (* a (+ t y)) z))) (/ (* b y) z)))
(* z (+ x (+ y (/ (* a (+ t y)) z))))
(* -1 (* z (+ (* -1 (/ (+ x y) (+ t (+ x y)))) (* -1 (/ (- (/ (* a (+ t y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (- (* a (+ t y)) (* b y)) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (* a (+ t y)) z)))))
(/ (- (+ (* a y) (* z (+ x y))) (* b y)) (+ x y))
(- (+ z (+ (* t (- (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ z (+ (* t (- (+ (* t (- (+ (* t (- (+ (/ a (pow (+ x y) 3)) (/ (* b y) (pow (+ x y) 4))) (+ (/ z (pow (+ x y) 3)) (/ (* a y) (pow (+ x y) 4))))) (+ (/ z (pow (+ x y) 2)) (/ (* a y) (pow (+ x y) 3)))) (+ (/ a (pow (+ x y) 2)) (/ (* b y) (pow (+ x y) 3))))) (+ (/ a (+ x y)) (/ (* b y) (pow (+ x y) 2)))) (+ (/ z (+ x y)) (/ (* a y) (pow (+ x y) 2))))) (/ (* a y) (+ x y)))) (/ (* b y) (+ x y)))
(- (+ (* a y) (* z (+ x y))) (* b y))
(- (+ (* a t) (+ (* a y) (* z (+ x y)))) (* b y))
(+ (* a y) (* z (+ x y)))
(+ (* a t) (+ (* a y) (* z (+ x y))))
a
(- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (* -1 (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2))) (+ (/ (* a y) t) (/ (* z (+ x y)) t)))) (+ (/ (* a (+ x y)) t) (/ (* b y) t)))
(- (+ a (+ (/ (* a y) t) (+ (/ (* z (+ x y)) t) (/ (* (pow (+ x y) 2) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 3))))) (+ (/ (* a (+ x y)) t) (+ (/ (* b y) t) (/ (* (+ x y) (- (+ (* a y) (* z (+ x y))) (+ (* a (+ x y)) (* b y)))) (pow t 2)))))
(* t (+ 1 (/ y t)))
(* a t)
(* t (- (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))) (/ (* b y) t)))
(* t (+ a (+ (/ (* a y) t) (/ (* z (+ x y)) t))))
(+ a (* -1 (/ (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t))) (* -1 (* a (+ x y)))) t)))
(+ a (* -1 (/ (- (+ (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (/ (- (* -1 (/ (* (pow (+ x y) 2) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))) t)) (* -1 (* (+ x y) (- (* -1 (- (+ (* a y) (* z (+ x y))) (* b y))) (* -1 (* a (+ x y))))))) t))) (* -1 (* a (+ x y)))) t)))
(* -1 (* t (- (* -1 (/ y t)) 1)))
(* -1 (* t (+ (* -1 a) (* -1 (/ (- (+ (* a y) (* z (+ x y))) (* b y)) t)))))
(* -1 (* t (+ (* -1 a) (* -1 (/ (+ (* a y) (* z (+ x y))) t)))))
(/ (- (* z (+ x y)) (* b y)) (+ t (+ x y)))
(- (+ (* a (+ (/ t (+ t (+ x y))) (/ y (+ t (+ x y))))) (/ (* z (+ x y)) (+ t (+ x y)))) (/ (* b y) (+ t (+ x y))))
(- (* z (+ x y)) (* b y))
(/ (* a (+ t y)) (+ t (+ x y)))
(* a (- (+ (/ t (+ t (+ x y))) (+ (/ y (+ t (+ x y))) (/ (* z (+ x y)) (* a (+ t (+ x y)))))) (/ (* b y) (* a (+ t (+ x y))))))
(* a (- (+ t (+ y (/ (* z (+ x y)) a))) (/ (* b y) a)))
(* a (+ t (+ y (/ (* z (+ x y)) a))))
(* -1 (* a (+ (* -1 (/ (+ t y) (+ t (+ x y)))) (* -1 (/ (- (/ (* z (+ x y)) (+ t (+ x y))) (/ (* b y) (+ t (+ x y)))) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (- (* z (+ x y)) (* b y)) a)))))
(* -1 (* a (+ (* -1 (+ t y)) (* -1 (/ (* z (+ x y)) a)))))
(/ (+ (* a (+ t y)) (* z (+ x y))) (+ t (+ x y)))
(+ (* -1 (/ (* b y) (+ t (+ x y)))) (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))))
(+ (* -1 (* b y)) (+ (* a (+ t y)) (* z (+ x y))))
(* -1 (/ (* b y) (+ t (+ x y))))
(* b (+ (* -1 (/ y (+ t (+ x y)))) (+ (/ (* a (+ t y)) (* b (+ t (+ x y)))) (/ (* z (+ x y)) (* b (+ t (+ x y)))))))
(* -1 (* b y))
(* b (- (+ (/ (* a (+ t y)) b) (/ (* z (+ x y)) b)) y))
(* -1 (* b (+ (* -1 (/ (+ (/ (* a (+ t y)) (+ t (+ x y))) (/ (* z (+ x y)) (+ t (+ x y)))) b)) (/ y (+ t (+ x y))))))
(* -1 (* b (- (* -1 (/ (+ (* a (+ t y)) (* z (+ x y))) b)) (* -1 y))))

Outputs
(/ (- (+ (* a (+ t y)) (* y z)) (* b y)) (+ t y))
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (*.f64 #s(approx (+ x y) (+.f64 t y)) z))
(- (+ a (+ (* x (- (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(*.f64 #s(approx (+ x y) (+.f64 t y)) z)
(- (+ a (+ (* x (- (+ (* x (- (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
#s(approx (+ x y) (+.f64 t y))
(- (+ a (+ (* x (- (+ (* x (- (+ (* x (- (+ (/ z (pow (+ t y) 3)) (/ (* b y) (pow (+ t y) 4))) (+ (/ a (pow (+ t y) 3)) (/ (* y z) (pow (+ t y) 4))))) (+ (/ a (pow (+ t y) 2)) (/ (* y z) (pow (+ t y) 3)))) (+ (/ z (pow (+ t y) 2)) (/ (* b y) (pow (+ t y) 3))))) (+ (/ z (+ t y)) (/ (* b y) (pow (+ t y) 2)))) (+ (/ a (+ t y)) (/ (* y z) (pow (+ t y) 2))))) (/ (* y z) (+ t y)))) (/ (* b y) (+ t y)))
(+.f64 t y)
(* y z)
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b))) z))
(+ (* x z) (* y z))
(.f64 #s(approx (+ x y) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b))) z)
y
#s(approx (+ x y) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)))
(+ x y)
(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
(- (+ (* a (+ t y)) (* y z)) (* b y))
#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 #s(approx (* (+ x y) z) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))) (*.f64 (+.f64 t y) a)))
(- (+ (* a (+ t y)) (+ (* x z) (* y z))) (* b y))
(+.f64 #s(approx (* (+ x y) z) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))) (*.f64 (+.f64 t y) a))
(+ (* a (+ t y)) (* y z))
#s(approx (* (+ x y) z) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)))
(+ (* a (+ t y)) (+ (* x z) (* y z)))
(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))

rewrite1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Counts

12 → 12

Calls

Call 1

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

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

eval8.0ms (0.4%)

Memory: -33.3MiB live, 3.9MiB allocated
Compiler: Compiled 1 178 to 54 computations (95.4% saved)

prune8.0ms (0.4%)

Memory

10.4MiB live, 10.4MiB allocated

Pruning

13 alts after pruning (1 fresh and 12 done)

	Pruned	Kept	Total
New	25	1	26
Fresh	0	0	0
Picked	0	3	3
Done	0	9	9
Total	25	13	38

Accuracy

60.4%

Counts

38 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	59.2%	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
✓	23.5%	(/.f64 #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))
✓	3.3%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)))
✓	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (-.f64 #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (.f64 (+.f64 t y) a)) (.f64 y b)))
✓	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 #s(approx (* (+ x y) z) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))) (*.f64 (+.f64 t y) a)))
✓	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (+.f64 x y))
✓	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (*.f64 (+.f64 x y) z))
✓	3.6%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) (/.f64 #s(approx (- (+ ( (+ x y) z) (* (+ t y) a)) (* y b)) (*.f64 (+.f64 t y) a)) (+.f64 (+.f64 x t) y))) z))
✓	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b))) z))
✓	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (*.f64 #s(approx (+ x y) (+.f64 t y)) z))
	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) (.f64 #s(approx (+ x y) #s(approx (- (+ ( (+ x y) z) (* (+ t y) a)) (* y b)) (+.f64 #s(approx (* (+ x y) z) (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))) (*.f64 (+.f64 t y) a)))) z))
✓	3.4%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) #s(approx (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+.f64 t y)))
✓	3.5%	#s(approx (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) #s(approx (+ (* (+ x y) z) (* (+ t y) a)) (*.f64 (+.f64 t y) a)))

Compiler

Compiled 1 035 to 333 computations (67.8% saved)

regimes37.0ms (1.8%)

Memory

-2.3MiB live, 35.8MiB allocated

Counts

14 → 1

Calls

Call 1

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

Outputs
(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

Calls

7 calls:

9.0ms	y
5.0ms	b
5.0ms	a
4.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
4.0ms	x

Results

Accuracy	Segments	Branch
59.2%	1	`x`
59.2%	1	`y`
59.2%	1	`z`
59.2%	1	`t`
59.2%	1	`a`
59.2%	1	`b`
59.2%	1	`(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))`

Compiler

Compiled 27 to 52 computations (-92.6% saved)

regimes34.0ms (1.6%)

Memory

-4.1MiB live, 33.9MiB allocated

Counts

13 → 1

Calls

Call 1

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

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

Calls

7 calls:

9.0ms	x
4.0ms	a
4.0ms	b
4.0ms	y
4.0ms	z

Results

Accuracy	Segments	Branch
23.5%	1	`x`
23.5%	1	`(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))`
23.5%	1	`t`
23.5%	1	`b`
23.5%	1	`z`
23.5%	1	`y`
23.5%	1	`a`

Compiler

Compiled 27 to 52 computations (-92.6% saved)

regimes19.0ms (0.9%)

Memory

24.9MiB live, 24.9MiB allocated

Counts

7 → 1

Calls

Call 1

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

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

Calls

7 calls:

3.0ms	b
3.0ms	a
3.0ms	x
3.0ms	y
3.0ms	z

Results

Accuracy	Segments	Branch
3.5%	1	`x`
3.5%	1	`z`
3.5%	1	`a`
3.5%	1	`t`
3.5%	1	`y`
3.5%	1	`(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))`
3.5%	1	`b`

Compiler

Compiled 27 to 52 computations (-92.6% saved)

regimes15.0ms (0.7%)

Memory

-30.6MiB live, 16.6MiB allocated

Accuracy

Total -0.6b remaining (-1%)

Threshold costs -0.6b (-1%)

Counts

2 → 1

Calls

Call 1

Inputs

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

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

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

Calls

7 calls:

7.0ms	y
1.0ms	b
1.0ms	x
1.0ms	t
1.0ms	a

Results

Accuracy	Segments	Branch
3.4%	1	`x`
3.4%	1	`t`
3.4%	1	`y`
3.4%	1	`z`
3.4%	1	`b`
3.4%	1	`(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))`
3.4%	1	`a`

Compiler

Compiled 27 to 52 computations (-92.6% saved)

simplify5.0ms (0.2%)

Memory

6.9MiB live, 6.9MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

soundness1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 128 to 32 computations (75% saved)

preprocess41.0ms (2%)

Memory: 10.5MiB live, 48.5MiB allocated
Compiler: Compiled 460 to 150 computations (67.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze301.0ms (14.5%)

sample1.1s (54.6%)

explain169.0ms (8.2%)

preprocess5.0ms (0.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify1.0ms (0%)

localize36.0ms (1.7%)

series26.0ms (1.2%)

simplify2.0ms (0.1%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0%)

localize50.0ms (2.4%)

series17.0ms (0.8%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval4.0ms (0.2%)

prune7.0ms (0.4%)

simplify1.0ms (0.1%)

localize46.0ms (2.2%)

series18.0ms (0.9%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval5.0ms (0.2%)

prune8.0ms (0.4%)

simplify1.0ms (0.1%)

localize47.0ms (2.3%)

series14.0ms (0.7%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval8.0ms (0.4%)

prune8.0ms (0.4%)

regimes37.0ms (1.8%)

regimes34.0ms (1.6%)

regimes19.0ms (0.9%)

regimes15.0ms (0.7%)

simplify5.0ms (0.2%)

soundness1.0ms (0%)

preprocess41.0ms (2%)

end0.0ms (0%)

Profiling