Metrics for Numeric.Signal:interpolate from hsignal-0.2.7.1

start3.0ms (0.1%)

Memory: -38.2MiB live, 0.3MiB allocated

analyze143.0ms (7.4%)

Memory

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

sample1.3s (65.7%)

Memory

-74.0MiB live, 1 542.0MiB allocated

Samples

737.0ms	7 019×	0	valid
173.0ms	1 177×	1	valid
13.0ms	60×	2	valid

Precisions

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

ival-sub: 171.0ms (41.3% of total)

ival-mult: 82.0ms (19.8% of total)

ival-div: 67.0ms (16.2% of total)

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

adjust: 38.0ms (9.2% of total)

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

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

Bogosity

explain108.0ms (5.6%)

Memory

14.8MiB live, 216.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
44	-	0	-	`(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))`
19	-	1	(-7.265806882031344e-234 1.8250396581810525e+137 -2.73906975994161e+168 -1.480202496220897e-150 -14529221.773413794)	`(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))`
0	-	0	-	`(-.f64 t x)`
0	-	0	-	`a`
0	-	0	-	`(-.f64 a z)`
0	-	0	-	`t`
0	-	0	-	`z`
0	-	0	-	`(/.f64 (-.f64 t x) (-.f64 a 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 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))`	cancellation	44
`*.f64`	`(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))`	*no**	9
`*.f64`	`(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))`	*nu**	8

Confusion

	Predicted +	Predicted -
+	57	1
-	0	198

Precision

1.0

Recall

0.9827586206896551

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	57	0	1
-	0	0	198

Precision?

1.0

Recall?

0.9827586206896551

Freqs

test

number	freq
0	199
1	53
2	4

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

36.0ms	432×	0	valid
12.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: 24.0ms

ival-sub: 10.0ms (41.5% of total)

ival-div: 5.0ms (20.8% of total)

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

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

adjust: 2.0ms (8.3% of total)

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

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

preprocess8.0ms (0.4%)

Memory

-34.0MiB live, 10.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

Outputs
(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.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

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	79.4%	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.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 (-.f64 t x) (-.f64 a z))
cost-diff	0	(-.f64 y z)
cost-diff	0	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
cost-diff	0	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

Calls

Call 1

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

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

localize29.0ms (1.5%)

Memory

27.0MiB live, 66.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 a z)
accuracy	0.03125	(/.f64 (-.f64 t x) (-.f64 a z))
accuracy	4.574385630519265	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
accuracy	9.621668008760413	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.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: 4.0ms (33.3% of total)

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

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

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

adjust: 1.0ms (8.3% of total)

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

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

series21.0ms (1.1%)

Memory

-12.5MiB live, 26.4MiB allocated

Counts

5 → 113

Calls

Call 1

Inputs
(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
(-.f64 y z)
(/.f64 (-.f64 t x) (-.f64 a 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 (- a z))
(+ (* -1 (/ x (- a z))) (/ t (- a 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 (- a z)))
(* x (- (/ t (* x (- a z))) (/ 1 (- a z))))
(* -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 (+ (* -1 (/ t (* x (- a z)))) (/ 1 (- a 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)
(- 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
(* 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 (- (/ 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))
(/ (- t x) a)
(- (+ (/ t a) (/ (* z (- t x)) (pow a 2))) (/ x a))
(- (+ (* z (- (/ (* z (- t x)) (pow a 3)) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
(- (+ (* z (- (* z (- (/ (* z (- t x)) (pow a 4)) (* -1 (/ (- t x) (pow a 3))))) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
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 (- (/ y z) 1))
(* -1 (/ (- t x) z))
(/ (+ (* -1 (- t x)) (* -1 (/ (* a (- t x)) z))) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 2) (- t x)) (pow z 2)))) (/ (* a (- t x)) z)) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 3) (- t x)) (pow z 3)))) (+ (/ (* a (- t x)) z) (/ (* (pow a 2) (- t x)) (pow z 2)))) z)
(* 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 (+ 1 (* -1 (/ y z)))))
(* -1 (/ (- (+ t (/ (* a (- t x)) z)) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (* (pow a 2) (- t x)) z)) (* a (- t x))) z))) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (- (/ (* (pow a 3) (- t x)) z) (* -1 (* (pow a 2) (- t x)))) z)) (* a (- t x))) z))) x) 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 (+ (* -1 (/ x (* t (- a z)))) (/ 1 (- a 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 (- (/ x (* t (- a z))) (/ 1 (- a z)))))
(+ 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)))))
(+ (* -1 (/ (- t x) z)) (* a (- (/ x (pow z 2)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (/ x (pow z 2)) (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) z)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (* a (- (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) (pow z 2)) (* -1 (/ (- (/ x (pow z 2)) (/ t (pow z 2))) z)))) (/ x (pow z 2))) (/ t (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)
(/ (- (+ t (/ (* z (- t x)) a)) x) a)
(/ (- (+ t (/ (* (pow z 2) (- t x)) (pow a 2))) (+ x (* -1 (/ (* z (- t x)) a)))) a)
(/ (- (+ t (/ (* (pow z 3) (- t x)) (pow a 3))) (+ x (+ (* -1 (/ (* z (- t x)) a)) (* -1 (/ (* (pow z 2) (- t x)) (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 (/ (+ (* -1 (- t x)) (* -1 (/ (* z (- t x)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* z (- t x)) (/ (* (pow z 2) (- t x)) a)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* -1 (/ (+ (* -1 (* (pow z 2) (- t x))) (* -1 (/ (* (pow z 3) (- t x)) a))) a)) (* z (- t x))) a))) a))
(* -1 (* a (- (/ z a) 1)))

Calls

15 calls:

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

simplify1.0ms (0.1%)

Memory

2.2MiB live, 2.2MiB allocated

Algorithm

1×	egg-herbie

Counts

113 → 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 (- a z))
(+ (* -1 (/ x (- a z))) (/ t (- a 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 (- a z)))
(* x (- (/ t (* x (- a z))) (/ 1 (- a z))))
(* -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 (+ (* -1 (/ t (* x (- a z)))) (/ 1 (- a 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)
(- 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
(* 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 (- (/ 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))
(/ (- t x) a)
(- (+ (/ t a) (/ (* z (- t x)) (pow a 2))) (/ x a))
(- (+ (* z (- (/ (* z (- t x)) (pow a 3)) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
(- (+ (* z (- (* z (- (/ (* z (- t x)) (pow a 4)) (* -1 (/ (- t x) (pow a 3))))) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
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 (- (/ y z) 1))
(* -1 (/ (- t x) z))
(/ (+ (* -1 (- t x)) (* -1 (/ (* a (- t x)) z))) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 2) (- t x)) (pow z 2)))) (/ (* a (- t x)) z)) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 3) (- t x)) (pow z 3)))) (+ (/ (* a (- t x)) z) (/ (* (pow a 2) (- t x)) (pow z 2)))) z)
(* 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 (+ 1 (* -1 (/ y z)))))
(* -1 (/ (- (+ t (/ (* a (- t x)) z)) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (* (pow a 2) (- t x)) z)) (* a (- t x))) z))) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (- (/ (* (pow a 3) (- t x)) z) (* -1 (* (pow a 2) (- t x)))) z)) (* a (- t x))) z))) x) 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 (+ (* -1 (/ x (* t (- a z)))) (/ 1 (- a 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 (- (/ x (* t (- a z))) (/ 1 (- a z)))))
(+ 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)))))
(+ (* -1 (/ (- t x) z)) (* a (- (/ x (pow z 2)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (/ x (pow z 2)) (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) z)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (* a (- (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) (pow z 2)) (* -1 (/ (- (/ x (pow z 2)) (/ t (pow z 2))) z)))) (/ x (pow z 2))) (/ t (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)
(/ (- (+ t (/ (* z (- t x)) a)) x) a)
(/ (- (+ t (/ (* (pow z 2) (- t x)) (pow a 2))) (+ x (* -1 (/ (* z (- t x)) a)))) a)
(/ (- (+ t (/ (* (pow z 3) (- t x)) (pow a 3))) (+ x (+ (* -1 (/ (* z (- t x)) a)) (* -1 (/ (* (pow z 2) (- t x)) (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 (/ (+ (* -1 (- t x)) (* -1 (/ (* z (- t x)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* z (- t x)) (/ (* (pow z 2) (- t x)) a)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* -1 (/ (+ (* -1 (* (pow z 2) (- t x))) (* -1 (/ (* (pow z 3) (- t x)) a))) a)) (* z (- t x))) a))) a))
(* -1 (* a (- (/ z a) 1)))

Outputs
(/ (* t (- y z)) (- a z))
(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
(+ (* x (+ 1 (* -1 (/ (- y z) (- a z))))) (/ (* t (- y z)) (- a z)))
(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
(+ (* -1 (/ (* x (- y z)) (- a z))) (/ (* t (- y z)) (- a z)))
(-.f64 y z)
(/ t (- a z))
(/.f64 (-.f64 t x) (-.f64 a z))
(+ (* -1 (/ x (- a z))) (/ t (- a 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 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
(-.f64 y z)
(/.f64 (-.f64 t x) (-.f64 a z))
(-.f64 a z)

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

eval1.0ms (0.1%)

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

prune2.0ms (0.1%)

Memory

2.9MiB live, 2.9MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	7	3	10
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	7	4	11

Accuracy

80.2%

Counts

11 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	79.4%	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
▶	10.0%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
▶	16.7%	(+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
▶	58.3%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

Compiler

Compiled 72 to 54 computations (25% saved)

simplify1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

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

Calls

Call 1

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

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

localize45.0ms (2.3%)

Memory

-30.1MiB live, 48.7MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 a z)
accuracy	4.574385630519265	(*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))
accuracy	9.621668008760413	(+.f64 x (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
accuracy	62.10127788083021	#s(approx (/ (- t x) (- a z)) (-.f64 a z))
accuracy	0.0	(-.f64 y z)
accuracy	9.621668008760413	(+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
accuracy	61.679286963145124	#s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))
accuracy	0.0	(-.f64 a z)
accuracy	0.03125	(/.f64 (-.f64 t x) (-.f64 a z))
accuracy	4.574385630519265	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
accuracy	23.656279075424187	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

Samples

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

Compiler

Compiled 266 to 35 computations (86.8% saved)

Precisions

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

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

adjust: 4.0ms (27.7% of total)

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

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

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

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

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

series10.0ms (0.5%)

Memory

21.5MiB live, 21.5MiB allocated

Counts

10 → 113

Calls

Call 1

Inputs
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
(-.f64 y z)
(/.f64 (-.f64 t x) (-.f64 a z))
(+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
#s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))
(+.f64 x (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
(*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))
#s(approx (/ (- t x) (- a z)) (-.f64 a 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 (- a z))
(+ (* -1 (/ x (- a z))) (/ t (- a 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 (- a z)))
(* x (- (/ t (* x (- a z))) (/ 1 (- a z))))
(* -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 (+ (* -1 (/ t (* x (- a z)))) (/ 1 (- a 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)
(- 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
(* 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 (- (/ 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))
(/ (- t x) a)
(- (+ (/ t a) (/ (* z (- t x)) (pow a 2))) (/ x a))
(- (+ (* z (- (/ (* z (- t x)) (pow a 3)) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
(- (+ (* z (- (* z (- (/ (* z (- t x)) (pow a 4)) (* -1 (/ (- t x) (pow a 3))))) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
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 (- (/ y z) 1))
(* -1 (/ (- t x) z))
(/ (+ (* -1 (- t x)) (* -1 (/ (* a (- t x)) z))) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 2) (- t x)) (pow z 2)))) (/ (* a (- t x)) z)) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 3) (- t x)) (pow z 3)))) (+ (/ (* a (- t x)) z) (/ (* (pow a 2) (- t x)) (pow z 2)))) z)
(* 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 (+ 1 (* -1 (/ y z)))))
(* -1 (/ (- (+ t (/ (* a (- t x)) z)) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (* (pow a 2) (- t x)) z)) (* a (- t x))) z))) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (- (/ (* (pow a 3) (- t x)) z) (* -1 (* (pow a 2) (- t x)))) z)) (* a (- t x))) z))) x) 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 (+ (* -1 (/ x (* t (- a z)))) (/ 1 (- a 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 (- (/ x (* t (- a z))) (/ 1 (- a z)))))
(+ 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)))))
(+ (* -1 (/ (- t x) z)) (* a (- (/ x (pow z 2)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (/ x (pow z 2)) (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) z)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (* a (- (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) (pow z 2)) (* -1 (/ (- (/ x (pow z 2)) (/ t (pow z 2))) z)))) (/ x (pow z 2))) (/ t (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)
(/ (- (+ t (/ (* z (- t x)) a)) x) a)
(/ (- (+ t (/ (* (pow z 2) (- t x)) (pow a 2))) (+ x (* -1 (/ (* z (- t x)) a)))) a)
(/ (- (+ t (/ (* (pow z 3) (- t x)) (pow a 3))) (+ x (+ (* -1 (/ (* z (- t x)) a)) (* -1 (/ (* (pow z 2) (- t x)) (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 (/ (+ (* -1 (- t x)) (* -1 (/ (* z (- t x)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* z (- t x)) (/ (* (pow z 2) (- t x)) a)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* -1 (/ (+ (* -1 (* (pow z 2) (- t x))) (* -1 (/ (* (pow z 3) (- t x)) a))) a)) (* z (- t x))) a))) a))
(* -1 (* a (- (/ z a) 1)))

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	t	@	-inf	((+ 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))) (+ x (* (- y z) (/ (- t x) (- a z)))) (* (- y z) (/ (- t x) (- a z))) (/ (- t x) (- a z)) (- a z))
1.0ms	x	@	inf	((+ 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))) (+ x (* (- y z) (/ (- t x) (- a z)))) (* (- y z) (/ (- t x) (- a z))) (/ (- t x) (- a z)) (- a z))
1.0ms	x	@	-inf	((+ 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))) (+ x (* (- y z) (/ (- t x) (- a z)))) (* (- y z) (/ (- t x) (- a z))) (/ (- t x) (- a z)) (- a z))
1.0ms	t	@	inf	((+ 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))) (+ x (* (- y z) (/ (- t x) (- a z)))) (* (- y z) (/ (- t x) (- a z))) (/ (- t x) (- a z)) (- a z))
1.0ms	y	@	-inf	((+ 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))) (+ x (* (- y z) (/ (- t x) (- a z)))) (* (- y z) (/ (- t x) (- a z))) (/ (- t x) (- a z)) (- a z))

simplify2.0ms (0.1%)

Memory

3.1MiB live, 3.1MiB allocated

Algorithm

1×	egg-herbie

Counts

113 → 10

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 (- a z))
(+ (* -1 (/ x (- a z))) (/ t (- a 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 (- a z)))
(* x (- (/ t (* x (- a z))) (/ 1 (- a z))))
(* -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 (+ (* -1 (/ t (* x (- a z)))) (/ 1 (- a 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)
(- 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
(* 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 (- (/ 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))
(/ (- t x) a)
(- (+ (/ t a) (/ (* z (- t x)) (pow a 2))) (/ x a))
(- (+ (* z (- (/ (* z (- t x)) (pow a 3)) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
(- (+ (* z (- (* z (- (/ (* z (- t x)) (pow a 4)) (* -1 (/ (- t x) (pow a 3))))) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
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 (- (/ y z) 1))
(* -1 (/ (- t x) z))
(/ (+ (* -1 (- t x)) (* -1 (/ (* a (- t x)) z))) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 2) (- t x)) (pow z 2)))) (/ (* a (- t x)) z)) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 3) (- t x)) (pow z 3)))) (+ (/ (* a (- t x)) z) (/ (* (pow a 2) (- t x)) (pow z 2)))) z)
(* 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 (+ 1 (* -1 (/ y z)))))
(* -1 (/ (- (+ t (/ (* a (- t x)) z)) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (* (pow a 2) (- t x)) z)) (* a (- t x))) z))) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (- (/ (* (pow a 3) (- t x)) z) (* -1 (* (pow a 2) (- t x)))) z)) (* a (- t x))) z))) x) 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 (+ (* -1 (/ x (* t (- a z)))) (/ 1 (- a 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 (- (/ x (* t (- a z))) (/ 1 (- a z)))))
(+ 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)))))
(+ (* -1 (/ (- t x) z)) (* a (- (/ x (pow z 2)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (/ x (pow z 2)) (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) z)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (* a (- (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) (pow z 2)) (* -1 (/ (- (/ x (pow z 2)) (/ t (pow z 2))) z)))) (/ x (pow z 2))) (/ t (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)
(/ (- (+ t (/ (* z (- t x)) a)) x) a)
(/ (- (+ t (/ (* (pow z 2) (- t x)) (pow a 2))) (+ x (* -1 (/ (* z (- t x)) a)))) a)
(/ (- (+ t (/ (* (pow z 3) (- t x)) (pow a 3))) (+ x (+ (* -1 (/ (* z (- t x)) a)) (* -1 (/ (* (pow z 2) (- t x)) (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 (/ (+ (* -1 (- t x)) (* -1 (/ (* z (- t x)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* z (- t x)) (/ (* (pow z 2) (- t x)) a)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* -1 (/ (+ (* -1 (* (pow z 2) (- t x))) (* -1 (/ (* (pow z 3) (- t x)) a))) a)) (* z (- t x))) a))) a))
(* -1 (* a (- (/ z a) 1)))

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

rewrite1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

10 → 10

Calls

Call 1

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

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

eval2.0ms (0.1%)

Memory: 4.2MiB live, 4.2MiB allocated
Compiler: Compiled 538 to 36 computations (93.3% saved)

prune4.0ms (0.2%)

Memory

8.6MiB live, 8.6MiB allocated

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	16	4	20
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	16	8	24

Accuracy

80.2%

Counts

24 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	79.4%	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
✓	10.0%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
✓	16.7%	(+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
✓	58.3%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
▶	3.9%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
▶	7.5%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (+.f64 x #s(approx ( (- y z) (/ (- t x) (- a z))) (-.f64 y z))))))
▶	3.4%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
▶	3.2%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))

Compiler

Compiled 210 to 116 computations (44.8% saved)

simplify3.0ms (0.2%)

Memory

-36.7MiB live, 2.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

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

Calls

Call 1

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

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

localize39.0ms (2%)

Memory

18.5MiB live, 56.6MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 a z)
accuracy	4.574385630519265	(*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))
accuracy	23.656279075424187	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
accuracy	62.10127788083021	#s(approx (/ (- t x) (- a z)) (-.f64 a z))
accuracy	9.621668008760413	(+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
accuracy	23.656279075424187	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (+.f64 x #s(approx ( (- y z) (/ (- t x) (- a z))) (-.f64 y z))))))
accuracy	60.77348517556224	#s(approx (/ (- t x) (- a z)) (+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))))
accuracy	61.679286963145124	#s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))
accuracy	0.0	(-.f64 y z)
accuracy	23.656279075424187	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
accuracy	61.679286963145124	#s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))
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))) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
accuracy	59.378295128675475	#s(approx (* (- y z) (/ (- t x) (- a z))) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))
accuracy	62.10127788083021	#s(approx (/ (- t x) (- a z)) (-.f64 a z))

Samples

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

Compiler

Compiled 492 to 37 computations (92.5% saved)

Precisions

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

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

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

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

adjust: 1.0ms (7.8% of total)

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

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

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

series12.0ms (0.6%)

Memory

18.9MiB live, 18.9MiB allocated

Counts

13 → 113

Calls

Call 1

Inputs
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
#s(approx (* (- y z) (/ (- t x) (- a z))) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))
#s(approx (/ (- 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 y z)))
#s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))
(-.f64 y z)
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (+.f64 x #s(approx ( (- y z) (/ (- t x) (- a z))) (-.f64 y z))))))
(.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (+.f64 x #s(approx ( (- y z) (/ (- t x) (- a z))) (-.f64 y z)))))
#s(approx (/ (- t x) (- a z)) (+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))))
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
(*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))
(+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y 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 (- a z))
(+ (* -1 (/ x (- a z))) (/ t (- a 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 (- a z)))
(* x (- (/ t (* x (- a z))) (/ 1 (- a z))))
(* -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 (+ (* -1 (/ t (* x (- a z)))) (/ 1 (- a 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)
(- 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
(* 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 (- (/ 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))
(/ (- t x) a)
(- (+ (/ t a) (/ (* z (- t x)) (pow a 2))) (/ x a))
(- (+ (* z (- (/ (* z (- t x)) (pow a 3)) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
(- (+ (* z (- (* z (- (/ (* z (- t x)) (pow a 4)) (* -1 (/ (- t x) (pow a 3))))) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
a
(+ a (* -1 z))
(+ y (* -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))))))
(* -1 (/ (- t x) z))
(/ (+ (* -1 (- t x)) (* -1 (/ (* a (- t x)) z))) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 2) (- t x)) (pow z 2)))) (/ (* a (- t x)) z)) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 3) (- t x)) (pow z 3)))) (+ (/ (* a (- t x)) z) (/ (* (pow a 2) (- t x)) (pow z 2)))) z)
(* z (- (/ a z) 1))
(* z (- (/ y 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 (/ (- (+ t (/ (* a (- t x)) z)) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (* (pow a 2) (- t x)) z)) (* a (- t x))) z))) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (- (/ (* (pow a 3) (- t x)) z) (* -1 (* (pow a 2) (- t x)))) z)) (* a (- t x))) z))) x) z))
(* -1 (* z (+ 1 (* -1 (/ a z)))))
(* -1 (* z (+ 1 (* -1 (/ y 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 (+ (* -1 (/ x (* t (- a z)))) (/ 1 (- a 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 (- (/ x (* t (- a z))) (/ 1 (- a z)))))
(+ 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)))))
(+ (* -1 (/ (- t x) z)) (* a (- (/ x (pow z 2)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (/ x (pow z 2)) (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) z)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (* a (- (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) (pow z 2)) (* -1 (/ (- (/ x (pow z 2)) (/ t (pow z 2))) z)))) (/ x (pow z 2))) (/ t (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)
(/ (- (+ t (/ (* z (- t x)) a)) x) a)
(/ (- (+ t (/ (* (pow z 2) (- t x)) (pow a 2))) (+ x (* -1 (/ (* z (- t x)) a)))) a)
(/ (- (+ t (/ (* (pow z 3) (- t x)) (pow a 3))) (+ x (+ (* -1 (/ (* z (- t x)) a)) (* -1 (/ (* (pow z 2) (- t x)) (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 (/ (+ (* -1 (- t x)) (* -1 (/ (* z (- t x)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* z (- t x)) (/ (* (pow z 2) (- t x)) a)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* -1 (/ (+ (* -1 (* (pow z 2) (- t x))) (* -1 (/ (* (pow z 3) (- t x)) a))) a)) (* z (- t x))) a))) a))
(* -1 (* a (- (/ z a) 1)))

Calls

15 calls:

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

simplify2.0ms (0.1%)

Memory

2.7MiB live, 2.7MiB allocated

Algorithm

1×	egg-herbie

Counts

113 → 13

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 (- a z))
(+ (* -1 (/ x (- a z))) (/ t (- a 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 (- a z)))
(* x (- (/ t (* x (- a z))) (/ 1 (- a z))))
(* -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 (+ (* -1 (/ t (* x (- a z)))) (/ 1 (- a 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)
(- 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
(* 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 (- (/ 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))
(/ (- t x) a)
(- (+ (/ t a) (/ (* z (- t x)) (pow a 2))) (/ x a))
(- (+ (* z (- (/ (* z (- t x)) (pow a 3)) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
(- (+ (* z (- (* z (- (/ (* z (- t x)) (pow a 4)) (* -1 (/ (- t x) (pow a 3))))) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
a
(+ a (* -1 z))
(+ y (* -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))))))
(* -1 (/ (- t x) z))
(/ (+ (* -1 (- t x)) (* -1 (/ (* a (- t x)) z))) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 2) (- t x)) (pow z 2)))) (/ (* a (- t x)) z)) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 3) (- t x)) (pow z 3)))) (+ (/ (* a (- t x)) z) (/ (* (pow a 2) (- t x)) (pow z 2)))) z)
(* z (- (/ a z) 1))
(* z (- (/ y 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 (/ (- (+ t (/ (* a (- t x)) z)) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (* (pow a 2) (- t x)) z)) (* a (- t x))) z))) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (- (/ (* (pow a 3) (- t x)) z) (* -1 (* (pow a 2) (- t x)))) z)) (* a (- t x))) z))) x) z))
(* -1 (* z (+ 1 (* -1 (/ a z)))))
(* -1 (* z (+ 1 (* -1 (/ y 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 (+ (* -1 (/ x (* t (- a z)))) (/ 1 (- a 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 (- (/ x (* t (- a z))) (/ 1 (- a z)))))
(+ 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)))))
(+ (* -1 (/ (- t x) z)) (* a (- (/ x (pow z 2)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (/ x (pow z 2)) (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) z)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (* a (- (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) (pow z 2)) (* -1 (/ (- (/ x (pow z 2)) (/ t (pow z 2))) z)))) (/ x (pow z 2))) (/ t (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)
(/ (- (+ t (/ (* z (- t x)) a)) x) a)
(/ (- (+ t (/ (* (pow z 2) (- t x)) (pow a 2))) (+ x (* -1 (/ (* z (- t x)) a)))) a)
(/ (- (+ t (/ (* (pow z 3) (- t x)) (pow a 3))) (+ x (+ (* -1 (/ (* z (- t x)) a)) (* -1 (/ (* (pow z 2) (- t x)) (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 (/ (+ (* -1 (- t x)) (* -1 (/ (* z (- t x)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* z (- t x)) (/ (* (pow z 2) (- t x)) a)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* -1 (/ (+ (* -1 (* (pow z 2) (- t x))) (* -1 (/ (* (pow z 3) (- t x)) a))) a)) (* z (- t x))) a))) a))
(* -1 (* a (- (/ z a) 1)))

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

rewrite2.0ms (0.1%)

Memory

-36.9MiB live, 1.5MiB allocated

Counts

13 → 13

Calls

Call 1

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

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

eval3.0ms (0.2%)

Memory: 6.0MiB live, 6.0MiB allocated
Compiler: Compiled 1 250 to 46 computations (96.3% saved)

prune6.0ms (0.3%)

Memory

13.2MiB live, 13.2MiB allocated

Pruning

10 alts after pruning (2 fresh and 8 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	0	0	0
Picked	0	4	4
Done	0	4	4
Total	28	10	38

Accuracy

80.2%

Counts

38 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	79.4%	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
✓	10.0%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
✓	16.7%	(+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
✓	58.3%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
✓	3.9%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
✓	7.5%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (+.f64 x #s(approx ( (- y z) (/ (- t x) (- a z))) (-.f64 y z))))))
▶	6.0%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))))))
▶	7.2%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))))))
✓	3.4%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
✓	3.2%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))

Compiler

Compiled 320 to 152 computations (52.5% saved)

simplify1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

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

Calls

Call 1

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

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

localize38.0ms (1.9%)

Memory

-20.5MiB live, 60.9MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	23.656279075424187	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
accuracy	23.656279075424187	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))))))
accuracy	60.77348517556224	#s(approx (/ (- t x) (- a z)) #s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))))
accuracy	62.10127788083021	#s(approx (/ (- t x) (- a z)) (-.f64 a z))
accuracy	23.656279075424187	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))))))
accuracy	23.656279075424187	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
accuracy	60.77348517556224	#s(approx (/ (- t x) (- a z)) #s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))))
accuracy	61.679286963145124	#s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))

Samples

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

Compiler

Compiled 512 to 37 computations (92.8% saved)

Precisions

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

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

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

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

adjust: 1.0ms (7.3% of total)

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

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

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

series11.0ms (0.6%)

Memory

20.8MiB live, 20.8MiB allocated

Counts

11 → 106

Calls

Call 1

Inputs
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))))))
(.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))))
(-.f64 y z)
#s(approx (/ (- t x) (- a z)) #s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))))
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))))))
(.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))))
#s(approx (/ (- t x) (- a z)) #s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))))
#s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
#s(approx (/ (- t x) (- a z)) (-.f64 a z))
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a 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 (- a z))
(+ (* -1 (/ x (- a z))) (/ t (- a 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 (- a z)))
(* x (- (/ t (* x (- a z))) (/ 1 (- a z))))
(* -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 (+ (* -1 (/ t (* x (- a z)))) (/ 1 (- a 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)
(- 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
(* 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 (- (/ 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))
(/ (- t x) a)
(- (+ (/ t a) (/ (* z (- t x)) (pow a 2))) (/ x a))
(- (+ (* z (- (/ (* z (- t x)) (pow a 3)) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
(- (+ (* z (- (* z (- (/ (* z (- t x)) (pow a 4)) (* -1 (/ (- t x) (pow a 3))))) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
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 (- (/ y z) 1))
(* -1 (/ (- t x) z))
(/ (+ (* -1 (- t x)) (* -1 (/ (* a (- t x)) z))) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 2) (- t x)) (pow z 2)))) (/ (* a (- t x)) z)) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 3) (- t x)) (pow z 3)))) (+ (/ (* a (- t x)) z) (/ (* (pow a 2) (- t x)) (pow z 2)))) z)
(+ 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 (+ 1 (* -1 (/ y z)))))
(* -1 (/ (- (+ t (/ (* a (- t x)) z)) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (* (pow a 2) (- t x)) z)) (* a (- t x))) z))) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (- (/ (* (pow a 3) (- t x)) z) (* -1 (* (pow a 2) (- t x)))) z)) (* a (- t x))) z))) x) 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 (+ (* -1 (/ x (* t (- a z)))) (/ 1 (- a 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 (- (/ x (* t (- a z))) (/ 1 (- a z)))))
(+ 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)))))
(+ (* -1 (/ (- t x) z)) (* a (- (/ x (pow z 2)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (/ x (pow z 2)) (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) z)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (* a (- (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) (pow z 2)) (* -1 (/ (- (/ x (pow z 2)) (/ t (pow z 2))) z)))) (/ x (pow z 2))) (/ t (pow z 2)))))
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)
(/ (- (+ t (/ (* z (- t x)) a)) x) a)
(/ (- (+ t (/ (* (pow z 2) (- t x)) (pow a 2))) (+ x (* -1 (/ (* z (- t x)) a)))) a)
(/ (- (+ t (/ (* (pow z 3) (- t x)) (pow a 3))) (+ x (+ (* -1 (/ (* z (- t x)) a)) (* -1 (/ (* (pow z 2) (- t x)) (pow a 2)))))) 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 (/ (+ (* -1 (- t x)) (* -1 (/ (* z (- t x)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* z (- t x)) (/ (* (pow z 2) (- t x)) a)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* -1 (/ (+ (* -1 (* (pow z 2) (- t x))) (* -1 (/ (* (pow z 3) (- t x)) a))) a)) (* z (- t x))) a))) a))

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	t	@	-inf	((+ 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))) (/ (- t x) (- a z)) (* (- y z) (/ (- t x) (- a z))) (+ x (* (- y z) (/ (- t x) (- a z)))) (/ (- t x) (- a z)) (+ x (* (- y z) (/ (- t x) (- a z)))))
1.0ms	x	@	-inf	((+ 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))) (/ (- t x) (- a z)) (* (- y z) (/ (- t x) (- a z))) (+ x (* (- y z) (/ (- t x) (- a z)))) (/ (- t x) (- a z)) (+ x (* (- y z) (/ (- t x) (- a z)))))
1.0ms	t	@	inf	((+ 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))) (/ (- t x) (- a z)) (* (- y z) (/ (- t x) (- a z))) (+ x (* (- y z) (/ (- t x) (- a z)))) (/ (- t x) (- a z)) (+ x (* (- y z) (/ (- t x) (- a z)))))
1.0ms	x	@	inf	((+ 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))) (/ (- t x) (- a z)) (* (- y z) (/ (- t x) (- a z))) (+ x (* (- y z) (/ (- t x) (- a z)))) (/ (- t x) (- a z)) (+ x (* (- y z) (/ (- t x) (- a z)))))
1.0ms	x	@	0	((+ 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))) (/ (- t x) (- a z)) (* (- y z) (/ (- t x) (- a z))) (+ x (* (- y z) (/ (- t x) (- a z)))) (/ (- t x) (- a z)) (+ x (* (- y z) (/ (- t x) (- a z)))))

simplify2.0ms (0.1%)

Memory

3.2MiB live, 3.2MiB allocated

Algorithm

1×	egg-herbie

Counts

106 → 11

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 (- a z))
(+ (* -1 (/ x (- a z))) (/ t (- a 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 (- a z)))
(* x (- (/ t (* x (- a z))) (/ 1 (- a z))))
(* -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 (+ (* -1 (/ t (* x (- a z)))) (/ 1 (- a 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)
(- 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
(* 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 (- (/ 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))
(/ (- t x) a)
(- (+ (/ t a) (/ (* z (- t x)) (pow a 2))) (/ x a))
(- (+ (* z (- (/ (* z (- t x)) (pow a 3)) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
(- (+ (* z (- (* z (- (/ (* z (- t x)) (pow a 4)) (* -1 (/ (- t x) (pow a 3))))) (* -1 (/ (- t x) (pow a 2))))) (/ t a)) (/ x a))
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 (- (/ y z) 1))
(* -1 (/ (- t x) z))
(/ (+ (* -1 (- t x)) (* -1 (/ (* a (- t x)) z))) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 2) (- t x)) (pow z 2)))) (/ (* a (- t x)) z)) z)
(/ (- (+ (* -1 (- t x)) (* -1 (/ (* (pow a 3) (- t x)) (pow z 3)))) (+ (/ (* a (- t x)) z) (/ (* (pow a 2) (- t x)) (pow z 2)))) z)
(+ 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 (+ 1 (* -1 (/ y z)))))
(* -1 (/ (- (+ t (/ (* a (- t x)) z)) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (* (pow a 2) (- t x)) z)) (* a (- t x))) z))) x) z))
(* -1 (/ (- (+ t (* -1 (/ (- (* -1 (/ (- (/ (* (pow a 3) (- t x)) z) (* -1 (* (pow a 2) (- t x)))) z)) (* a (- t x))) z))) x) 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 (+ (* -1 (/ x (* t (- a z)))) (/ 1 (- a 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 (- (/ x (* t (- a z))) (/ 1 (- a z)))))
(+ 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)))))
(+ (* -1 (/ (- t x) z)) (* a (- (/ x (pow z 2)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (/ x (pow z 2)) (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) z)) (/ t (pow z 2)))))
(+ (* -1 (/ (- t x) z)) (* a (- (+ (* a (- (/ (* a (- (/ x (pow z 2)) (/ t (pow z 2)))) (pow z 2)) (* -1 (/ (- (/ x (pow z 2)) (/ t (pow z 2))) z)))) (/ x (pow z 2))) (/ t (pow z 2)))))
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)
(/ (- (+ t (/ (* z (- t x)) a)) x) a)
(/ (- (+ t (/ (* (pow z 2) (- t x)) (pow a 2))) (+ x (* -1 (/ (* z (- t x)) a)))) a)
(/ (- (+ t (/ (* (pow z 3) (- t x)) (pow a 3))) (+ x (+ (* -1 (/ (* z (- t x)) a)) (* -1 (/ (* (pow z 2) (- t x)) (pow a 2)))))) 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 (/ (+ (* -1 (- t x)) (* -1 (/ (* z (- t x)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* z (- t x)) (/ (* (pow z 2) (- t x)) a)) a))) a))
(* -1 (/ (+ (* -1 (- t x)) (* -1 (/ (+ (* -1 (/ (+ (* -1 (* (pow z 2) (- t x))) (* -1 (/ (* (pow z 3) (- t x)) a))) a)) (* z (- t x))) a))) a))

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

rewrite1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Counts

11 → 11

Calls

Call 1

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

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

eval2.0ms (0.1%)

Memory: 4.9MiB live, 4.9MiB allocated
Compiler: Compiled 1 141 to 39 computations (96.6% saved)

prune10.0ms (0.5%)

Memory

-22.2MiB live, 15.6MiB allocated

Pruning

11 alts after pruning (1 fresh and 10 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	0	0	0
Picked	0	2	2
Done	0	8	8
Total	20	11	31

Accuracy

80.2%

Counts

31 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	79.4%	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
✓	10.0%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
✓	16.7%	(+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
✓	58.3%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
✓	3.9%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))
✓	7.5%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (+.f64 x #s(approx ( (- y z) (/ (- t x) (- a z))) (-.f64 y z))))))
✓	6.0%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z)))))))
	7.4%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))))))))
✓	7.2%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))))))
✓	3.4%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
✓	3.2%	#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))

Compiler

Compiled 802 to 213 computations (73.4% saved)

regimes26.0ms (1.3%)

Memory

13.2MiB live, 51.2MiB allocated

Counts

11 → 1

Calls

Call 1

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

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

Calls

6 calls:

6.0ms	y
4.0ms	x
4.0ms	a
4.0ms	z
4.0ms	t

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes25.0ms (1.3%)

Memory

2.4MiB live, 43.3MiB allocated

Counts

10 → 2

Calls

Call 1

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

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

Calls

6 calls:

7.0ms	a
3.0ms	x
3.0ms	y
3.0ms	z
3.0ms	t

Results

Accuracy	Segments	Branch
61.7%	3	`x`
58.3%	1	`y`
58.3%	1	`z`
61.6%	2	`a`
58.3%	1	`(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))`
58.3%	1	`t`

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes19.0ms (1%)

Memory

-2.0MiB live, 37.0MiB allocated

Counts

8 → 2

Calls

Call 1

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

Outputs

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

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

Calls

6 calls:

4.0ms	y
3.0ms	x
3.0ms	a
3.0ms	z
3.0ms	t

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes4.0ms (0.2%)

Memory

8.9MiB live, 8.9MiB 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))) #s(approx (/ (- 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 y z)))

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 14 to 16 computations (-14.3% saved)

regimes10.0ms (0.5%)

Memory

-17.1MiB live, 21.9MiB 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))) #s(approx (/ (- 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 y z)))

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes7.0ms (0.4%)

Memory

19.1MiB live, 19.1MiB 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))) #s(approx (/ (- 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))) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))

Calls

6 calls:

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

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

bsearch19.0ms (1%)

Memory

-9.5MiB live, 29.4MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
17.0ms	-4.810724470338791e+247	-2.987311275635966e+236

Samples

10.0ms	154×	0	valid
1.0ms	6×	1	valid

Compiler

Compiled 436 to 339 computations (22.2% saved)

Precisions

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

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

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

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

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

adjust: 0.0ms (0% of total)

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

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

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.6801591236415774e+299	1.0276058064333286e+305

Compiler

Compiled 16 to 19 computations (-18.8% saved)

simplify5.0ms (0.2%)

Memory

10.7MiB live, 10.7MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
(if (<=.f64 a #s(literal -43999999999999999873330692189669707750636109376522119958554823651606002904144028156019963109252632305905573604204296178497431439657877721079431755724824747334808168032053452186104863188385026275484552833739647830900936079839606940043216683008 binary64)) (+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))) #s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))))
(if (<=.f64 (+.f64 x (.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) #s(literal 200000000000000010500952051040884049740893716221631830983170823102360491597781639157274275016089572808740888766576775635388504647072086115128958436957341396569677440185315160747566046758957618011873790646994159989016223807793528176014930548556028498915851757764011368567623133894439277373091880108032 binary64)) (+.f64 x #s(approx ( (- y z) (/ (- t x) (- a z))) (-.f64 y z))) #s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))))))
(+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))

Outputs
(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
(if (<=.f64 a #s(literal -43999999999999999873330692189669707750636109376522119958554823651606002904144028156019963109252632305905573604204296178497431439657877721079431755724824747334808168032053452186104863188385026275484552833739647830900936079839606940043216683008 binary64)) (+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z))) #s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))))
(if (<=.f64 (+.f64 x (.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))) #s(literal 200000000000000010500952051040884049740893716221631830983170823102360491597781639157274275016089572808740888766576775635388504647072086115128958436957341396569677440185315160747566046758957618011873790646994159989016223807793528176014930548556028498915851757764011368567623133894439277373091880108032 binary64)) (+.f64 x #s(approx ( (- y z) (/ (- t x) (- a z))) (-.f64 y z))) #s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) (.f64 (-.f64 y z) #s(approx (/ (- t x) (- a z)) #s(approx (+ x ( (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))))))
(+.f64 x #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) (-.f64 y z)))
#s(approx (+ x (* (- y z) (/ (- t x) (- a z)))) #s(approx (* (- y z) (/ (- t x) (- a z))) #s(approx (/ (- t x) (- a z)) (-.f64 a z))))

soundness1.0ms (0.1%)

Memory

2.6MiB live, 2.6MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 230 to 33 computations (85.7% saved)

preprocess35.0ms (1.8%)

Memory: -10.6MiB live, 68.3MiB allocated
Compiler: Compiled 486 to 88 computations (81.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start3.0ms (0.1%)

analyze143.0ms (7.4%)

sample1.3s (65.7%)

explain108.0ms (5.6%)

preprocess8.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize29.0ms (1.5%)

series21.0ms (1.1%)

simplify1.0ms (0.1%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0%)

localize45.0ms (2.3%)

series10.0ms (0.5%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval2.0ms (0.1%)

prune4.0ms (0.2%)

simplify3.0ms (0.2%)

localize39.0ms (2%)

series12.0ms (0.6%)

simplify2.0ms (0.1%)

rewrite2.0ms (0.1%)

eval3.0ms (0.2%)

prune6.0ms (0.3%)

simplify1.0ms (0%)

localize38.0ms (1.9%)

series11.0ms (0.6%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval2.0ms (0.1%)

prune10.0ms (0.5%)

regimes26.0ms (1.3%)

regimes25.0ms (1.3%)

regimes19.0ms (1%)

regimes4.0ms (0.2%)

regimes10.0ms (0.5%)

regimes7.0ms (0.4%)

bsearch19.0ms (1%)

bsearch0.0ms (0%)

simplify5.0ms (0.2%)

soundness1.0ms (0.1%)

preprocess35.0ms (1.8%)

end0.0ms (0%)

Profiling