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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze135.0ms (6.7%)

Memory

-50.5MiB live, 197.9MiB 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.0s (50.9%)

Memory

17.6MiB live, 1 298.9MiB allocated

Samples

470.0ms	6 917×	0	valid
207.0ms	1 276×	1	valid
14.0ms	63×	2	valid

Precisions

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

ival-sub: 188.0ms (43.3% of total)

ival-mult: 76.0ms (17.5% of total)

ival-div: 68.0ms (15.6% of total)

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

adjust: 41.0ms (9.4% of total)

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

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

Bogosity

explain112.0ms (5.5%)

Memory

4.2MiB live, 203.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
71	-	-	`(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))`
48	-	-	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`
0	-	-	`(-.f64 t x)`
0	-	-	`a`
0	-	-	`(-.f64 a z)`
0	-	-	`t`
0	-	-	`(*.f64 (-.f64 y z) (-.f64 t x))`
0	-	-	`z`
0	-	-	`y`
0	-	-	`(-.f64 y z)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))`	o/n	71	0
↳	`(*.f64 (-.f64 y z) (-.f64 t x))`	overflow	91
`+.f64`	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`	cancellation	48	0

Confusion

	Predicted +	Predicted -
+	95	0
-	0	161

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	95	0	0
-	0	0	161

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	161
1	71
2	24

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

30.0ms	418×	0	valid
16.0ms	92×	1	valid
0.0ms	2×	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: 9.0ms (38.2% of total)

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

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

adjust: 3.0ms (12.7% of total)

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

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

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

preprocess4.0ms (0.2%)

Memory

11.2MiB live, 11.2MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 13 to 11 computations (15.4% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 13 to 11 computations (15.4% saved)

simplify0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize34.0ms (1.7%)

Memory

-23.7MiB live, 56.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 a z)
accuracy	0.02734375	(*.f64 (-.f64 y z) (-.f64 t x))
accuracy	11.410226554120758	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
accuracy	16.779472474495556	(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))

Samples

15.0ms	209×	0	valid
10.0ms	46×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 92 to 24 computations (73.9% saved)

Precisions

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

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

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

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

adjust: 1.0ms (7% of total)

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

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

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

series17.0ms (0.9%)

Memory

30.3MiB live, 30.3MiB allocated

Counts

5 → 100

Calls

Call 1

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

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

Calls

15 calls:

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

simplify1.0ms (0.1%)

Memory

2.5MiB live, 2.5MiB allocated

Algorithm

1×	egg-herbie

Counts

100 → 5

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Counts

5 → 5

Calls

Call 1

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

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

eval1.0ms (0.1%)

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

prune4.0ms (0.2%)

Memory

-34.2MiB live, 4.0MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Accuracy

68.3%

Counts

11 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	64.7%	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
▶	27.0%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
▶	18.9%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
▶	18.7%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
▶	42.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))

Compiler

Compiled 93 to 68 computations (26.9% saved)

simplify1.0ms (0%)

Memory

2.7MiB live, 2.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

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

Calls

Call 1

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

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

localize44.0ms (2.2%)

Memory

19.6MiB live, 97.2MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 a z)
accuracy	11.410226554120758	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
accuracy	16.779472474495556	(/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))
accuracy	61.89445542743414	#s(approx (* (- y z) (- t x)) (-.f64 y z))
accuracy	0.0	(-.f64 a z)
accuracy	11.410226554120758	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
accuracy	16.779472474495556	(/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))
accuracy	61.84971629488936	#s(approx (* (- y z) (- t x)) (-.f64 a z))
accuracy	0.0	(-.f64 t x)
accuracy	0.02734375	(*.f64 (-.f64 y z) (-.f64 t x))
accuracy	11.410226554120758	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
accuracy	58.51605849199888	#s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))
accuracy	0.0	(-.f64 a z)
accuracy	0.02734375	(*.f64 (-.f64 y z) (-.f64 t x))
accuracy	16.779472474495556	(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))
accuracy	27.813045535502145	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))

Samples

20.0ms	209×	0	valid
10.0ms	46×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 382 to 38 computations (90.1% saved)

Precisions

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

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

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

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

adjust: 1.0ms (7.2% of total)

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

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

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

series16.0ms (0.8%)

Memory

-26.1MiB live, 23.4MiB allocated

Counts

14 → 106

Calls

Call 1

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

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

Calls

15 calls:

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

simplify2.0ms (0.1%)

Memory

3.6MiB live, 3.6MiB allocated

Algorithm

1×	egg-herbie

Counts

106 → 14

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Counts

14 → 14

Calls

Call 1

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

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

eval4.0ms (0.2%)

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

prune11.0ms (0.5%)

Memory

-13.2MiB live, 24.2MiB allocated

Pruning

15 alts after pruning (10 fresh and 5 done)

	Pruned	Kept	Total
New	29	10	39
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	29	15	44

Accuracy

68.8%

Counts

44 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	64.7%	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
✓	27.0%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
✓	18.9%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
✓	18.7%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
	14.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))))))
	17.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
▶	18.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
▶	10.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
✓	42.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
	5.4%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))))) (-.f64 a z)))
▶	4.0%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))
	5.0%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
▶	3.2%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
▶	2.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))
	8.1%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))

Compiler

Compiled 797 to 404 computations (49.3% saved)

simplify1.0ms (0.1%)

Memory

3.0MiB live, 3.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

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

Calls

Call 1

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

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

localize55.0ms (2.7%)

Memory

16.3MiB live, 89.3MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	16.779472474495556	(/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))
accuracy	27.813045535502145	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))
accuracy	58.51605849199888	#s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
accuracy	61.89445542743414	#s(approx (* (- y z) (- t x)) (-.f64 y z))
accuracy	11.410226554120758	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
accuracy	58.51605849199888	#s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))
accuracy	58.51605849199888	#s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))))
accuracy	58.83879070197259	#s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))
accuracy	0.0	(-.f64 a z)
accuracy	16.779472474495556	(/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))
accuracy	27.813045535502145	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
accuracy	61.84971629488936	#s(approx (* (- y z) (- t x)) (-.f64 a z))
accuracy	0.0	(-.f64 a z)
accuracy	27.813045535502145	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))
accuracy	62.16266202952593	#s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))
accuracy	0.0	(-.f64 y z)
accuracy	11.410226554120758	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
accuracy	58.51605849199888	#s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))
accuracy	61.89445542743414	#s(approx (* (- y z) (- t x)) (-.f64 y z))

Samples

26.0ms	209×	0	valid
14.0ms	46×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 704 to 45 computations (93.6% saved)

Precisions

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

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

ival-add: 7.0ms (32% of total)

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

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

adjust: 1.0ms (4.6% of total)

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

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

series20.0ms (1%)

Memory

-15.6MiB live, 31.2MiB allocated

Counts

19 → 100

Calls

Call 1

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

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

Calls

15 calls:

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

simplify2.0ms (0.1%)

Memory

3.0MiB live, 3.0MiB allocated

Algorithm

1×	egg-herbie

Counts

100 → 19

Calls

Call 1

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

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

rewrite1.0ms (0.1%)

Memory

2.1MiB live, 2.1MiB allocated

Counts

19 → 19

Calls

Call 1

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

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

eval4.0ms (0.2%)

Memory: 9.6MiB live, 9.6MiB allocated
Compiler: Compiled 1 803 to 76 computations (95.8% saved)

prune15.0ms (0.7%)

Memory

-14.9MiB live, 23.1MiB allocated

Pruning

20 alts after pruning (10 fresh and 10 done)

	Pruned	Kept	Total
New	40	5	45
Fresh	0	5	5
Picked	0	5	5
Done	0	5	5
Total	40	20	60

Accuracy

68.8%

Counts

60 → 20

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	64.7%	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
✓	27.0%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
✓	18.9%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
✓	18.7%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
▶	14.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))))))
	17.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
✓	18.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
✓	10.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
▶	9.8%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))))))))
▶	28.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z))))))
	10.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))))))
✓	42.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
	5.4%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))))) (-.f64 a z)))
✓	4.0%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))
	5.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))) (-.f64 a z))) (-.f64 a z)))
	5.0%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
✓	3.2%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
✓	2.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))
▶	8.1%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
▶	3.1%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))

Compiler

Compiled 1 220 to 519 computations (57.5% saved)

simplify2.0ms (0.1%)

Memory

4.1MiB live, 4.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 20 expressions of interest:

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

Calls

Call 1

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

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

localize62.0ms (3.1%)

Memory

30.6MiB live, 106.2MiB allocated

Localize:

Found 20 expressions of interest:

New	Metric	Score
accuracy	16.779472474495556	(/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))
accuracy	51.86399030464607	#s(approx (- t x) (+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))))
accuracy	58.51605849199888	#s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))))))
accuracy	61.84971629488936	#s(approx (* (- y z) (- t x)) (-.f64 a z))
accuracy	58.51605849199888	#s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))))
accuracy	58.51605849199888	#s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))))
accuracy	58.83879070197259	#s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))
accuracy	58.83879070197259	#s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))))))
accuracy	0.0	(-.f64 t x)
accuracy	0.02734375	(*.f64 (-.f64 y z) (-.f64 t x))
accuracy	27.813045535502145	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
accuracy	58.51605849199888	#s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))
accuracy	0.0	(-.f64 y z)
accuracy	27.813045535502145	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
accuracy	58.51605849199888	#s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))
accuracy	61.89445542743414	#s(approx (* (- y z) (- t x)) (-.f64 y z))
accuracy	58.51605849199888	#s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))))
accuracy	58.51605849199888	#s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
accuracy	58.83879070197259	#s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z))))
accuracy	61.89445542743414	#s(approx (* (- y z) (- t x)) (-.f64 y z))

Samples

26.0ms	209×	0	valid
13.0ms	46×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 1 316 to 54 computations (95.9% saved)

Precisions

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

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

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

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

adjust: 1.0ms (7% of total)

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

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

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

series20.0ms (1%)

Memory

-14.0MiB live, 31.5MiB allocated

Counts

25 → 99

Calls

Call 1

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

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

Calls

15 calls:

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

simplify2.0ms (0.1%)

Memory

3.0MiB live, 3.0MiB allocated

Algorithm

1×	egg-herbie

Counts

99 → 25

Calls

Call 1

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

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

rewrite1.0ms (0.1%)

Memory

3.0MiB live, 2.9MiB allocated

Counts

25 → 25

Calls

Call 1

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

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

eval9.0ms (0.4%)

Memory: -23.8MiB live, 13.8MiB allocated
Compiler: Compiled 3 186 to 125 computations (96.1% saved)

prune18.0ms (0.9%)

Memory

-3.7MiB live, 34.9MiB allocated

Pruning

25 alts after pruning (11 fresh and 14 done)

	Pruned	Kept	Total
New	51	7	58
Fresh	1	4	5
Picked	1	4	5
Done	0	10	10
Total	53	25	78

Accuracy

68.8%

Counts

78 → 25

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	64.7%	(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
✓	27.0%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
✓	18.9%	(+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
✓	18.7%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
	17.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
	6.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (- t x) (+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))))))
✓	18.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
	10.3%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 a z))))
✓	10.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))
✓	9.8%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))))))))
	9.4%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))))))))))))
	9.8%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))))))))
✓	28.0%	(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z))))))
✓	42.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
	5.4%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))))) (-.f64 a z)))
✓	4.0%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))
	5.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (-.f64 a z)))) (-.f64 a z))) (-.f64 a z)))
	5.0%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))
✓	3.2%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))
✓	2.7%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z)))
✓	8.1%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x))))
	4.9%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z)))))))
	5.9%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) (+.f64 x #s(approx (/ ( (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (*.f64 (-.f64 y z) (-.f64 t x)))))))))))
	7.0%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))))))
✓	3.1%	#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))

Compiler

Compiled 2 232 to 522 computations (76.6% saved)

regimes51.0ms (2.5%)

Memory

4.8MiB live, 126.7MiB allocated

Counts

27 → 1

Calls

Call 1

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

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

Calls

6 calls:

9.0ms	z
9.0ms	a
8.0ms	x
8.0ms	t
8.0ms	y

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes41.0ms (2%)

Memory

-1.6MiB live, 76.8MiB allocated

Counts

21 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

6 calls:

7.0ms	z
7.0ms	y
6.0ms	a
6.0ms	x
6.0ms	t

Results

Accuracy	Segments	Branch
46.3%	3	`y`
46.4%	3	`t`
46.3%	2	`x`
42.7%	1	`z`
53.9%	3	`a`
45.8%	3	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes43.0ms (2.2%)

Memory

-39.1MiB live, 81.7MiB allocated

Counts

19 → 2

Calls

Call 1

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

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

Calls

6 calls:

13.0ms	t
6.0ms	z
6.0ms	a
6.0ms	x
6.0ms	y

Results

Accuracy	Segments	Branch
27.0%	1	`z`
27.0%	1	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`
27.0%	1	`y`
28.8%	2	`t`
27.0%	1	`x`
30.2%	3	`a`

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes28.0ms (1.4%)

Memory

23.7MiB live, 63.1MiB allocated

Counts

14 → 2

Calls

Call 1

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

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

Calls

6 calls:

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

Results

Accuracy	Segments	Branch
22.8%	2	`x`
21.9%	2	`z`
21.7%	2	`y`
22.1%	2	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`
23.6%	3	`a`
20.5%	2	`t`

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes22.0ms (1.1%)

Memory

-6.8MiB live, 32.2MiB allocated

Counts

13 → 2

Calls

Call 1

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

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
21.2%	2	`y`
20.8%	2	`z`
22.4%	3	`a`
22.4%	3	`(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))`
21.3%	2	`x`

Compiler

Compiled 17 to 31 computations (-82.4% saved)

regimes6.0ms (0.3%)

Memory

9.5MiB live, 9.5MiB allocated

Counts

7 → 2

Calls

Call 1

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

Outputs

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

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

Calls

2 calls:

3.0ms	x
3.0ms	y

Results

Accuracy	Segments	Branch
20.9%	2	`y`
18.0%	1	`x`

Compiler

Compiled 2 to 10 computations (-400% saved)

regimes14.0ms (0.7%)

Memory

-21.1MiB live, 20.0MiB allocated

Counts

5 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 17 to 31 computations (-82.4% saved)

regimes12.0ms (0.6%)

Memory

21.4MiB live, 21.4MiB allocated

Counts

4 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes10.0ms (0.5%)

Memory

-22.5MiB live, 16.6MiB allocated

Accuracy

Total -0.7b remaining (-1.1%)

Threshold costs -0.7b (-1.1%)

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

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

bsearch28.0ms (1.4%)

Memory

0.4MiB live, 38.9MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
9.0ms	9.541889443040346e+76	1.787833238057543e+77
16.0ms	-3.8970469702173954e+97	-1.536843741737814e+92

Samples

10.0ms	170×	0	valid
7.0ms	38×	1	valid

Compiler

Compiled 562 to 435 computations (22.6% saved)

Precisions

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

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

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

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

adjust: 1.0ms (10.9% of total)

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

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

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

bsearch14.0ms (0.7%)

Memory

21.8MiB live, 21.8MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
12.0ms	-1.3516429190681245e+141	-7.034216874868662e+138

Samples

6.0ms	96×	0	valid
2.0ms	16×	1	valid

Compiler

Compiled 282 to 229 computations (18.8% saved)

Precisions

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

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

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

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

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

adjust: 0.0ms (0% of total)

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

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

bsearch18.0ms (0.9%)

Memory

-10.2MiB live, 27.8MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
17.0ms	1.3520442529254507e+25	1.620484135946848e+29

Samples

9.0ms	104×	0	valid
3.0ms	24×	1	valid

Compiler

Compiled 320 to 251 computations (21.6% saved)

Precisions

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

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

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

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

adjust: 1.0ms (12.8% of total)

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

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

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

bsearch20.0ms (1%)

Memory

-14.5MiB live, 27.3MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
18.0ms	1.2419894657678918e+41	9.758301182915356e+47

Samples

7.0ms	122×	0	valid
5.0ms	22×	1	valid

Compiler

Compiled 430 to 298 computations (30.7% saved)

Precisions

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

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

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

adjust: 1.0ms (12.2% of total)

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

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

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

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

bsearch18.0ms (0.9%)

Memory

28.7MiB live, 28.7MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
16.0ms	-1.5731477738896693e+158	-1.6361910041716158e+150

Samples

7.0ms	121×	0	valid
3.0ms	23×	1	valid

Compiler

Compiled 754 to 325 computations (56.9% saved)

Precisions

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

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

adjust: 1.0ms (16% of total)

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

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

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

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

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

simplify8.0ms (0.4%)

Memory

-27.6MiB live, 11.3MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
(if (<=.f64 a #s(literal -169999999999999990005327100087832318923702113938643505014103844341055252272608187673055592448 binary64)) (+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (if (<=.f64 a #s(literal 149999999999999990989639731795917682953773097706373436242150705195545389957120 binary64)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))))
(if (<=.f64 t #s(literal -339999999999999982079668619558736512971310719120342224024380514499600333821040926411105632915728104004217572279197094802727157714604141838336 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))))
(if (<=.f64 x #s(literal 14000000000000000838860800 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))))
(if (<=.f64 x #s(literal 299999999999999982517212821288268163186688 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x #s(approx (/ ( (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))))
(if (<=.f64 y #s(literal -3799999999999999664059647260252329065322637597857569977728253709776442604474526511918511123691592133377107470629058087678121901390235523063761029801443328 binary64)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))))) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))))
(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))))))
#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))

Outputs
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
(if (<=.f64 a #s(literal -169999999999999990005327100087832318923702113938643505014103844341055252272608187673055592448 binary64)) (+.f64 x (/.f64 #s(approx (* (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))) (if (<=.f64 a #s(literal 149999999999999990989639731795917682953773097706373436242150705195545389957120 binary64)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) (/.f64 (.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 y z)) (-.f64 a z)))))
(if (<=.f64 t #s(literal -339999999999999982079668619558736512971310719120342224024380514499600333821040926411105632915728104004217572279197094802727157714604141838336 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 y z)) (-.f64 a z))))
(if (<=.f64 x #s(literal 14000000000000000838860800 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x (/.f64 #s(approx ( (- y z) (- t x)) (-.f64 a z)) (-.f64 a z))))
(if (<=.f64 x #s(literal 299999999999999982517212821288268163186688 binary64)) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) (-.f64 t x)))) (+.f64 x #s(approx (/ ( (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))))
(if (<=.f64 y #s(literal -3799999999999999664059647260252329065322637597857569977728253709776442604474526511918511123691592133377107470629058087678121901390235523063761029801443328 binary64)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (.f64 (-.f64 y z) #s(approx (- t x) #s(approx (/ ( (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))))) (+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z)))))
(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))
(+.f64 x #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) #s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) (-.f64 a z))))))
#s(approx (+ x (/ (* (- y z) (- t x)) (- a z))) #s(approx (/ (* (- y z) (- t x)) (- a z)) #s(approx (* (- y z) (- t x)) (-.f64 y z))))

soundness2.0ms (0.1%)

Memory

3.9MiB live, 3.9MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 413 to 56 computations (86.4% saved)

preprocess54.0ms (2.7%)

Memory: 26.0MiB live, 102.9MiB allocated
Compiler: Compiled 930 to 174 computations (81.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze135.0ms (6.7%)

sample1.0s (50.9%)

explain112.0ms (5.5%)

preprocess4.0ms (0.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize34.0ms (1.7%)

series17.0ms (0.9%)

simplify1.0ms (0.1%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune4.0ms (0.2%)

simplify1.0ms (0%)

localize44.0ms (2.2%)

series16.0ms (0.8%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval4.0ms (0.2%)

prune11.0ms (0.5%)

simplify1.0ms (0.1%)

localize55.0ms (2.7%)

series20.0ms (1%)

simplify2.0ms (0.1%)

rewrite1.0ms (0.1%)

eval4.0ms (0.2%)

prune15.0ms (0.7%)

simplify2.0ms (0.1%)

localize62.0ms (3.1%)

series20.0ms (1%)

simplify2.0ms (0.1%)

rewrite1.0ms (0.1%)

eval9.0ms (0.4%)

prune18.0ms (0.9%)

regimes51.0ms (2.5%)

regimes41.0ms (2%)

regimes43.0ms (2.2%)

regimes28.0ms (1.4%)

regimes22.0ms (1.1%)

regimes6.0ms (0.3%)

regimes14.0ms (0.7%)

regimes12.0ms (0.6%)

regimes10.0ms (0.5%)

bsearch28.0ms (1.4%)

bsearch14.0ms (0.7%)

bsearch18.0ms (0.9%)

bsearch20.0ms (1%)

bsearch18.0ms (0.9%)

simplify8.0ms (0.4%)

soundness2.0ms (0.1%)

preprocess54.0ms (2.7%)

end0.0ms (0%)

Profiling