Metrics for Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze119.0ms (6.1%)

Memory

4.8MiB live, 159.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
50%	49.9%	49.9%	0.2%	0%	0%	0%	6
50%	49.9%	49.9%	0.2%	0%	0%	0%	7
50%	49.9%	49.9%	0.2%	0%	0%	0%	8
50%	49.9%	49.9%	0.2%	0%	0%	0%	9
50%	49.9%	49.9%	0.2%	0%	0%	0%	10
75%	74.8%	24.9%	0.2%	0%	0%	0%	11
75%	74.8%	24.9%	0.2%	0%	0%	0%	12

Compiler

Compiled 15 to 13 computations (13.3% saved)

sample995.0ms (51.3%)

Memory

-9.2MiB live, 1 519.3MiB allocated

Samples

498.0ms	7 019×	0	valid
158.0ms	1 177×	1	valid
12.0ms	60×	2	valid

Precisions

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

ival-sub: 145.0ms (39.1% of total)

ival-div: 74.0ms (19.9% of total)

ival-mult: 61.0ms (16.4% of total)

ival-add: 48.0ms (12.9% of total)

adjust: 33.0ms (8.9% of total)

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

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

Bogosity

explain105.0ms (5.4%)

Memory

8.4MiB live, 169.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
73	-	2	(-6.534943577771942e-223 -1.0369304269543499e-152 -1.4789811221254903e-93 9.167420570116402e-244 1.4626775143497026e-146)	`(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))`
44	-	0	-	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`
0	-	0	-	`(-.f64 t x)`
0	-	0	-	`a`
0	-	0	-	`(-.f64 a z)`
0	-	0	-	`t`
0	-	0	-	`(*.f64 (-.f64 y z) (-.f64 t x))`
0	-	0	-	`z`
0	-	0	-	`y`
0	-	0	-	`(-.f64 y z)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))`	o/n	69	0
↳	`(*.f64 (-.f64 y z) (-.f64 t x))`	overflow	91
`+.f64`	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`	cancellation	44	0
`/.f64`	`(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))`	u/n	2	0
↳	`(*.f64 (-.f64 y z) (-.f64 t x))`	underflow	4

Confusion

	Predicted +	Predicted -
+	96	1
-	0	159

Precision

1.0

Recall

0.9896907216494846

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	96	0	1
-	0	0	159

Precision?

1.0

Recall?

0.9896907216494846

Freqs

test

number	freq
0	160
1	77
2	19

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

31.0ms	432×	0	valid
14.0ms	72×	1	valid
2.0ms	8×	2	valid

Compiler

Compiled 152 to 48 computations (68.4% saved)

Precisions

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

ival-sub: 9.0ms (35.6% of total)

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

ival-div: 4.0ms (15.8% of total)

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

adjust: 2.0ms (7.9% of total)

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

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

preprocess8.0ms (0.4%)

Memory

-39.3MiB live, 7.9MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 13 to 11 computations (15.4% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 13 to 11 computations (15.4% saved)

simplify0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize28.0ms (1.5%)

Memory

9.1MiB live, 47.8MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 a z)
accuracy	0.015625	(*.f64 (-.f64 y z) (-.f64 t x))
accuracy	9.621668008760413	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
accuracy	16.848271373060136	(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))

Samples

16.0ms	216×	0	valid
5.0ms	36×	1	valid
1.0ms	4×	2	valid

Compiler

Compiled 92 to 24 computations (73.9% saved)

Precisions

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

ival-sub: 5.0ms (43.1% of total)

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

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

adjust: 1.0ms (8.6% of total)

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

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

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

series19.0ms (1%)

Memory

-7.7MiB live, 30.8MiB allocated

Counts

5 → 100

Calls

Call 1

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

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

Calls

15 calls:

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

simplify1.0ms (0.1%)

Memory

2.0MiB live, 2.0MiB allocated

Algorithm

1×	egg-herbie

Counts

100 → 5

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Counts

5 → 5

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 2.0MiB live, 2.0MiB allocated
Compiler: Compiled 172 to 27 computations (84.3% saved)

prune2.0ms (0.1%)

Memory

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

67.4%

Counts

11 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	65.1%	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
▶	20.4%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
▶	15.5%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
▶	16.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
▶	45.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))

Compiler

Compiled 93 to 68 computations (26.9% saved)

simplify1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

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

Calls

Call 1

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

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

localize41.0ms (2.1%)

Memory

19.8MiB live, 57.7MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 a z)
accuracy	9.621668008760413	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
accuracy	16.848271373060136	(/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))
accuracy	61.61351583249392	#s(approx (* (- y z) (- t x)) (-.f64 y z))
accuracy	0.0	(-.f64 a z)
accuracy	9.621668008760413	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
accuracy	16.848271373060136	(/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))
accuracy	61.77600432917305	#s(approx (* (- y z) (- t x)) (-.f64 a z))
accuracy	0.0	(-.f64 t x)
accuracy	0.015625	(*.f64 (-.f64 y z) (-.f64 t x))
accuracy	9.621668008760413	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
accuracy	58.529340225673565	#s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))
accuracy	0.0	(-.f64 a z)
accuracy	0.015625	(*.f64 (-.f64 y z) (-.f64 t x))
accuracy	16.848271373060136	(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))
accuracy	23.656279075424187	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))

Samples

21.0ms	216×	0	valid
7.0ms	36×	1	valid
1.0ms	4×	2	valid

Compiler

Compiled 382 to 38 computations (90.1% saved)

Precisions

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

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

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

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

adjust: 1.0ms (9.4% of total)

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

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

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

series14.0ms (0.7%)

Memory

-24.2MiB live, 17.0MiB allocated

Counts

14 → 106

Calls

Call 1

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

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

Calls

15 calls:

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

simplify1.0ms (0.1%)

Memory

2.3MiB live, 2.3MiB allocated

Algorithm

1×	egg-herbie

Counts

106 → 14

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Counts

14 → 14

Calls

Call 1

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

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

eval4.0ms (0.2%)

Memory: 7.4MiB live, 7.4MiB allocated
Compiler: Compiled 1 099 to 69 computations (93.7% saved)

prune8.0ms (0.4%)

Memory

14.7MiB live, 14.7MiB allocated

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	30	9	39
Fresh	0	0	0
Picked	1	3	4
Done	0	1	1
Total	31	13	44

Accuracy

67.9%

Counts

44 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	65.1%	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
✓	20.4%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
✓	16.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
	13.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))))))
▶	18.2%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
	16.7%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
	9.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
✓	45.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
▶	5.5%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))
▶	3.8%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
	3.4%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
▶	3.2%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))
▶	7.9%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))

Compiler

Compiled 694 to 352 computations (49.3% saved)

simplify1.0ms (0.1%)

Memory

2.4MiB live, 2.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

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

Calls

Call 1

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

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

localize48.0ms (2.5%)

Memory

-12.0MiB live, 64.7MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	16.848271373060136	(/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))
accuracy	23.656279075424187	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))
accuracy	58.529340225673565	#s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
accuracy	61.61351583249392	#s(approx (* (- y z) (- t x)) (-.f64 y z))
accuracy	0.0	(-.f64 a z)
accuracy	16.848271373060136	(/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))
accuracy	23.656279075424187	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
accuracy	61.61351583249392	#s(approx (* (- y z) (- t x)) (-.f64 y z))
accuracy	0.0	(-.f64 t x)
accuracy	0.015625	(*.f64 (-.f64 y z) (-.f64 t x))
accuracy	23.656279075424187	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
accuracy	58.529340225673565	#s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))
accuracy	0.0	(-.f64 a z)
accuracy	23.656279075424187	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))
accuracy	62.0144831209951	#s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))
accuracy	9.621668008760413	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
accuracy	41.667668482794184	#s(approx (- t x) #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
accuracy	58.529340225673565	#s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))
accuracy	58.529340225673565	#s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))))

Samples

22.0ms	216×	0	valid
9.0ms	36×	1	valid
1.0ms	4×	2	valid

Compiler

Compiled 706 to 42 computations (94.1% saved)

Precisions

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

ival-sub: 6.0ms (44.6% of total)

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

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

adjust: 1.0ms (7.4% of total)

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

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

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

series12.0ms (0.6%)

Memory

20.1MiB live, 20.1MiB allocated

Counts

18 → 106

Calls

Call 1

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

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

Calls

15 calls:

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

simplify3.0ms (0.2%)

Memory

-36.1MiB live, 2.5MiB allocated

Algorithm

1×	egg-herbie

Counts

106 → 18

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Counts

18 → 18

Calls

Call 1

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

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

eval4.0ms (0.2%)

Memory: 7.9MiB live, 7.9MiB allocated
Compiler: Compiled 1 539 to 65 computations (95.8% saved)

prune10.0ms (0.5%)

Memory

19.6MiB live, 19.6MiB allocated

Pruning

18 alts after pruning (9 fresh and 9 done)

	Pruned	Kept	Total
New	36	5	41
Fresh	0	4	4
Picked	0	5	5
Done	0	4	4
Total	36	18	54

Accuracy

75.1%

Counts

54 → 18

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	65.1%	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
✓	20.4%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
▶	19.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x)))
✓	16.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
▶	25.9%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (/.f64 #s(approx ( (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z))))))
	10.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) #s(approx (- t x) (-.f64 a z)))))
	13.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))))))
✓	18.2%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
	16.7%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
	9.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
▶	8.4%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))))))
✓	45.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
✓	5.5%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))
✓	3.8%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
▶	3.4%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
✓	3.2%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))
✓	7.9%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
▶	8.8%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))

Compiler

Compiled 911 to 440 computations (51.7% saved)

simplify2.0ms (0.1%)

Memory

3.3MiB live, 3.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

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

Calls

Call 1

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

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

localize54.0ms (2.8%)

Memory

-21.3MiB live, 96.0MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	23.656279075424187	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
accuracy	41.667668482794184	#s(approx (- t x) #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
accuracy	58.529340225673565	#s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))
accuracy	58.529340225673565	#s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))))
accuracy	0.0	(-.f64 a z)
accuracy	16.848271373060136	(/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))
accuracy	23.656279075424187	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
accuracy	61.77600432917305	#s(approx (* (- y z) (- t x)) (-.f64 a z))
accuracy	0.0	(-.f64 t x)
accuracy	9.621668008760413	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x)))
accuracy	41.667668482794184	#s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))
accuracy	23.656279075424187	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))
accuracy	58.529340225673565	#s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))))
accuracy	58.96432077425214	#s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))))
accuracy	62.0144831209951	#s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))
accuracy	41.667668482794184	#s(approx (- t x) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))
accuracy	58.529340225673565	#s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (/.f64 #s(approx ( (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))))
accuracy	58.529340225673565	#s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
accuracy	61.61351583249392	#s(approx (* (- y z) (- t x)) (-.f64 y z))

Samples

24.0ms	216×	0	valid
8.0ms	36×	1	valid
1.0ms	4×	2	valid

Compiler

Compiled 980 to 51 computations (94.8% saved)

Precisions

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

ival-sub: 7.0ms (53.1% of total)

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

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

adjust: 1.0ms (7.6% of total)

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

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

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

series19.0ms (1%)

Memory

-2.2MiB live, 34.8MiB allocated

Counts

24 → 106

Calls

Call 1

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

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

Calls

15 calls:

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

simplify2.0ms (0.1%)

Memory

3.9MiB live, 3.9MiB allocated

Algorithm

1×	egg-herbie

Counts

106 → 24

Calls

Call 1

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

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

rewrite1.0ms (0.1%)

Memory

3.1MiB live, 3.1MiB allocated

Counts

24 → 24

Calls

Call 1

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

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

eval6.0ms (0.3%)

Memory: 14.3MiB live, 14.3MiB allocated
Compiler: Compiled 2 567 to 110 computations (95.7% saved)

prune19.0ms (1%)

Memory

-10.0MiB live, 33.2MiB allocated

Pruning

21 alts after pruning (8 fresh and 13 done)

	Pruned	Kept	Total
New	51	4	55
Fresh	0	4	4
Picked	1	4	5
Done	0	9	9
Total	52	21	73

Accuracy

75.1%

Counts

73 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	65.1%	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
✓	20.4%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
✓	19.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x)))
✓	16.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
	10.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) #s(approx (- t x) (-.f64 a z)))))
	13.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))))))
✓	18.2%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
	16.7%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
	9.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
	4.1%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))))))))
✓	8.4%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))))))
✓	45.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
✓	5.5%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))
✓	3.8%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
✓	3.4%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
✓	3.2%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))
✓	7.9%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
	7.1%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (/.f64 #s(approx ( (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z))))))
✓	8.8%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
	6.0%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) #s(approx (- t x) (-.f64 a z))))))))
	7.5%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx ( (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))))))))))

Compiler

Compiled 1 664 to 429 computations (74.2% saved)

regimes50.0ms (2.6%)

Memory

18.0MiB live, 95.4MiB allocated

Counts

23 → 3

Calls

Call 1

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

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

Calls

6 calls:

10.0ms	a
9.0ms	y
7.0ms	z
7.0ms	t
7.0ms	x

Results

Accuracy	Segments	Branch
65.1%	1	`x`
65.1%	1	`y`
70.4%	3	`z`
65.1%	1	`t`
65.1%	1	`a`
65.1%	1	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes39.0ms (2%)

Memory

-15.7MiB live, 72.7MiB allocated

Counts

17 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

6 calls:

9.0ms	t
6.0ms	z
6.0ms	y
6.0ms	x
6.0ms	a

Results

Accuracy	Segments	Branch
45.7%	1	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`
49.2%	3	`x`
45.7%	1	`t`
50.2%	2	`a`
45.7%	1	`y`
51.9%	3	`z`

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes35.0ms (1.8%)

Memory

-12.0MiB live, 65.9MiB allocated

Counts

16 → 4

Calls

Call 1

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

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

Calls

6 calls:

7.0ms	a
7.0ms	t
5.0ms	z
5.0ms	y
5.0ms	x

Results

Accuracy	Segments	Branch
26.1%	3	`t`
26.0%	3	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`
25.0%	3	`y`
28.4%	3	`x`
34.5%	4	`a`
33.2%	4	`z`

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes11.0ms (0.5%)

Memory

23.4MiB live, 23.3MiB allocated

Counts

14 → 4

Calls

Call 1

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

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

Calls

2 calls:

5.0ms	z
5.0ms	a

Results

Accuracy	Segments	Branch
30.3%	4	`z`
32.0%	4	`a`

Compiler

Compiled 2 to 10 computations (-400% saved)

regimes7.0ms (0.3%)

Memory

-27.0MiB live, 12.0MiB allocated

Counts

13 → 4

Calls

Call 1

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

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

Calls

1 calls:

6.0ms

Results

Accuracy	Segments	Branch
31.9%	4	`a`

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes4.0ms (0.2%)

Memory

7.4MiB live, 7.4MiB allocated

Counts

7 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
28.9%	3	`a`

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes13.0ms (0.7%)

Memory

-12.7MiB live, 29.2MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

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

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

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

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

Calls

6 calls:

3.0ms	y
2.0ms	a
2.0ms	x
2.0ms	z
2.0ms	t

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes9.0ms (0.5%)

Memory

25.6MiB live, 25.6MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs

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

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

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

Calls

6 calls:

1.0ms	a
1.0ms	y
1.0ms	t
1.0ms	x
1.0ms	z

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes8.0ms (0.4%)

Memory

-19.7MiB live, 19.5MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

6 calls:

2.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
1.0ms	x
1.0ms	z
1.0ms	t
1.0ms	y

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

bsearch39.0ms (2%)

Memory

-0.0MiB live, 78.3MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	2.7264934586740272e+209	1.9390030008943763e+213
19.0ms	-1.793679470064111e+199	-2.792212472332818e+184

Samples

11.0ms	196×	0	valid
11.0ms	88×	1	valid
1.0ms	4×	2	valid

Compiler

Compiled 556 to 487 computations (12.4% saved)

Precisions

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

ival-sub: 5.0ms (34.7% of total)

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

adjust: 2.0ms (13.9% of total)

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

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

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

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

bsearch12.0ms (0.6%)

Memory

30.7MiB live, 30.7MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	2.7264934586740272e+209	1.9390030008943763e+213
10.0ms	-2.792212472332818e+184	-1.0681943853881844e+184

Samples

3.0ms	54×	0	valid
2.0ms	19×	1	valid
1.0ms	7×	2	valid

Compiler

Compiled 562 to 435 computations (22.6% saved)

Precisions

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

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

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

adjust: 1.0ms (23.6% of total)

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

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

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

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

bsearch49.0ms (2.5%)

Memory

-16.7MiB live, 102.3MiB allocated

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	3.334119951608719e+94	1.0546287432267642e+96
18.0ms	1.3825700675132973e-52	1.0259881956533255e-35
15.0ms	-7.90118561071756e+76	-8.888248516432757e+72

Samples

24.0ms	349×	0	valid
7.0ms	51×	1	valid

Compiler

Compiled 934 to 753 computations (19.4% saved)

Precisions

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

ival-sub: 7.0ms (43.5% of total)

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

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

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

adjust: 1.0ms (6.2% of total)

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

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

bsearch28.0ms (1.5%)

Memory

16.6MiB live, 55.6MiB allocated

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	2.431377667696801e+111	3.441289001023892e+119
1.0ms	1.3825700675132973e-52	1.0259881956533255e-35
8.0ms	-3.4802016450301885e+133	-1.6097066148705227e+133

Samples

11.0ms	196×	0	valid
4.0ms	28×	1	valid

Compiler

Compiled 948 to 725 computations (23.5% saved)

Precisions

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

ival-sub: 3.0ms (35.2% of total)

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

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

adjust: 1.0ms (11.7% of total)

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

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

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

bsearch11.0ms (0.6%)

Memory

-22.6MiB live, 19.3MiB allocated

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
8.0ms	3.334119951608719e+94	1.0546287432267642e+96
1.0ms	1.3825700675132973e-52	1.0259881956533255e-35
1.0ms	-3.4802016450301885e+133	-1.6097066148705227e+133

Samples

3.0ms	58×	0	valid
1.0ms	6×	1	valid

Compiler

Compiled 928 to 681 computations (26.6% saved)

Precisions

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

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

adjust: 0.0ms (0% of total)

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

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

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

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

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

bsearch18.0ms (0.9%)

Memory

2.3MiB live, 41.4MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	1.3825700675132973e-52	1.0259881956533255e-35
0.0ms	-3.4802016450301885e+133	-1.6097066148705227e+133

Samples

6.0ms	100×	0	valid
4.0ms	26×	1	valid
0.0ms	2×	2	valid

Compiler

Compiled 646 to 454 computations (29.7% saved)

Precisions

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

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

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

adjust: 1.0ms (15% of total)

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

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

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

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

simplify6.0ms (0.3%)

Memory

14.7MiB live, 14.7MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(if (<=.f64 z #s(literal -29999999999999998219488724349890805862869936549079077911603446332526866549753169737000602840719851130159460950717307329921261443232682811692630548432098605895899391924467390296701278607114240 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (if (<=.f64 z #s(literal 38000000000000001610266724852402421730274131297485213488938531873130929816762843789049366780045170735855526446741431644294831809969824085438499416463969899284012321051738650006243098763356943115745803027301269504 binary64)) (+.f64 x (/.f64 (.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))) (+.f64 x #s(approx (/ ( (- y z) (- t x)) (- a z)) (-.f64 t x)))))
(if (<=.f64 z #s(literal -11499999999999999916554504933529378557394171935999434635454618184668274365082204775240938125955507911848997888110090781025895363456022168998290675166072614476406921889140579844032036864 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (if (<=.f64 z #s(literal 38000000000000001610266724852402421730274131297485213488938531873130929816762843789049366780045170735855526446741431644294831809969824085438499416463969899284012321051738650006243098763356943115745803027301269504 binary64)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))) (+.f64 x #s(approx (/ ( (- y z) (- t x)) (- a z)) (-.f64 t x)))))
(if (<=.f64 a #s(literal -9500000000000000544994064783134181012819936339512895317261518991792275456 binary64)) (+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (if (<=.f64 a #s(literal 1632046451200537/3138550867693340381917894711603833208051177722232017256448 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (if (<=.f64 a #s(literal 50000000000000001010943956357797349428804816160717887056888842810400200249908215467934891376640 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))))))
(if (<=.f64 a #s(literal -17999999999999998889284064529035477051661996896237997093799917586147324699221751749721450295824693592710450439926964309690738553126912 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))) (if (<=.f64 a #s(literal 1632046451200537/3138550867693340381917894711603833208051177722232017256448 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (if (<=.f64 a #s(literal 270000000000000011036200869902959880216483836911253353738492528257613984745017184912649177775112570946054374031360 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))))))
(if (<=.f64 a #s(literal -17999999999999998889284064529035477051661996896237997093799917586147324699221751749721450295824693592710450439926964309690738553126912 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))) (if (<=.f64 a #s(literal 1632046451200537/3138550867693340381917894711603833208051177722232017256448 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (if (<=.f64 a #s(literal 69999999999999994004627827712679782091783702068978939270365361333564181824586125148668550971392 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x #s(approx (/ ( (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))))))
(if (<=.f64 a #s(literal -17999999999999998889284064529035477051661996896237997093799917586147324699221751749721450295824693592710450439926964309690738553126912 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))) (if (<=.f64 a #s(literal 888592995497189/93536104789177786765035829293842113257979682750464 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))))
(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))))))
#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))

Outputs
(if (<=.f64 z #s(literal -29999999999999998219488724349890805862869936549079077911603446332526866549753169737000602840719851130159460950717307329921261443232682811692630548432098605895899391924467390296701278607114240 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (if (<=.f64 z #s(literal 38000000000000001610266724852402421730274131297485213488938531873130929816762843789049366780045170735855526446741431644294831809969824085438499416463969899284012321051738650006243098763356943115745803027301269504 binary64)) (+.f64 x (/.f64 (.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))) (+.f64 x #s(approx (/ ( (- y z) (- t x)) (- a z)) (-.f64 t x)))))
(if (<=.f64 z #s(literal -11499999999999999916554504933529378557394171935999434635454618184668274365082204775240938125955507911848997888110090781025895363456022168998290675166072614476406921889140579844032036864 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (if (<=.f64 z #s(literal 38000000000000001610266724852402421730274131297485213488938531873130929816762843789049366780045170735855526446741431644294831809969824085438499416463969899284012321051738650006243098763356943115745803027301269504 binary64)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))) (+.f64 x #s(approx (/ ( (- y z) (- t x)) (- a z)) (-.f64 t x)))))
(if (<=.f64 a #s(literal -9500000000000000544994064783134181012819936339512895317261518991792275456 binary64)) (+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (if (<=.f64 a #s(literal 1632046451200537/3138550867693340381917894711603833208051177722232017256448 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (if (<=.f64 a #s(literal 50000000000000001010943956357797349428804816160717887056888842810400200249908215467934891376640 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))))))
(if (<=.f64 a #s(literal -17999999999999998889284064529035477051661996896237997093799917586147324699221751749721450295824693592710450439926964309690738553126912 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))) (if (<=.f64 a #s(literal 1632046451200537/3138550867693340381917894711603833208051177722232017256448 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (if (<=.f64 a #s(literal 270000000000000011036200869902959880216483836911253353738492528257613984745017184912649177775112570946054374031360 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))))))
(if (<=.f64 a #s(literal -17999999999999998889284064529035477051661996896237997093799917586147324699221751749721450295824693592710450439926964309690738553126912 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))) (if (<=.f64 a #s(literal 1632046451200537/3138550867693340381917894711603833208051177722232017256448 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (if (<=.f64 a #s(literal 69999999999999994004627827712679782091783702068978939270365361333564181824586125148668550971392 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x #s(approx (/ ( (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))))))
(if (<=.f64 a #s(literal -17999999999999998889284064529035477051661996896237997093799917586147324699221751749721450295824693592710450439926964309690738553126912 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))) (if (<=.f64 a #s(literal 888592995497189/93536104789177786765035829293842113257979682750464 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 t x))) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))))
(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))))))
#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))

soundness3.0ms (0.1%)

Memory

5.7MiB live, 5.7MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 578 to 70 computations (87.9% saved)

preprocess66.0ms (3.4%)

Memory: 1.7MiB live, 118.4MiB allocated
Compiler: Compiled 1 260 to 202 computations (84% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze119.0ms (6.1%)

sample995.0ms (51.3%)

explain105.0ms (5.4%)

preprocess8.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize28.0ms (1.5%)

series19.0ms (1%)

simplify1.0ms (0.1%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0%)

localize41.0ms (2.1%)

series14.0ms (0.7%)

simplify1.0ms (0.1%)

rewrite1.0ms (0%)

eval4.0ms (0.2%)

prune8.0ms (0.4%)

simplify1.0ms (0.1%)

localize48.0ms (2.5%)

series12.0ms (0.6%)

simplify3.0ms (0.2%)

rewrite1.0ms (0%)

eval4.0ms (0.2%)

prune10.0ms (0.5%)

simplify2.0ms (0.1%)

localize54.0ms (2.8%)

series19.0ms (1%)

simplify2.0ms (0.1%)

rewrite1.0ms (0.1%)

eval6.0ms (0.3%)

prune19.0ms (1%)

regimes50.0ms (2.6%)

regimes39.0ms (2%)

regimes35.0ms (1.8%)

regimes11.0ms (0.5%)

regimes7.0ms (0.3%)

regimes4.0ms (0.2%)

regimes13.0ms (0.7%)

regimes9.0ms (0.5%)

regimes8.0ms (0.4%)

bsearch39.0ms (2%)

bsearch12.0ms (0.6%)

bsearch49.0ms (2.5%)

bsearch28.0ms (1.5%)

bsearch11.0ms (0.6%)

bsearch18.0ms (0.9%)

simplify6.0ms (0.3%)

soundness3.0ms (0.1%)

preprocess66.0ms (3.4%)

end0.0ms (0%)

Profiling