Metrics for Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, C

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze162.0ms (11.3%)

Memory

-22.1MiB live, 300.6MiB 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
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	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
50%	49.9%	49.9%	0.2%	0%	0%	0%	11
75%	74.9%	25%	0.2%	0%	0%	0%	12

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample812.0ms (56.6%)

Memory

3.1MiB live, 1 252.3MiB allocated

Samples

522.0ms

8 256×

valid

Precisions

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

ival-div: 138.0ms (45.8% of total)

ival-sub: 89.0ms (29.5% of total)

ival-mult: 58.0ms (19.2% of total)

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

exact: 5.0ms (1.7% of total)

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

Bogosity

explain97.0ms (6.7%)

Memory

-15.9MiB live, 142.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
17	-	1	(4.98972577188404e+233 4.169562570493814e-90 1.5063640010176818e+228 -3.725650815362922e-189)	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
0	-	0	-	`(-.f64 #s(literal 1 binary64) z)`
0	-	0	-	`#s(literal 1 binary64)`
0	-	0	-	`t`
0	-	0	-	`z`
0	-	0	-	`(/.f64 y z)`
0	-	0	-	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
0	-	0	-	`y`
0	-	0	-	`(/.f64 t (-.f64 #s(literal 1 binary64) z))`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`*.f64`	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`	*no**	12	0
`*.f64`	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`	*nu**	4	0

Confusion

	Predicted +	Predicted -
+	16	1
-	0	239

Precision

1.0

Recall

0.9411764705882353

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	16	0	1
-	0	0	239

Precision?

1.0

Recall?

0.9411764705882353

Freqs

test

number	freq
0	240
1	16

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

34.0ms

512×

valid

Compiler

Compiled 123 to 44 computations (64.2% saved)

Precisions

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

ival-div: 7.0ms (41.9% of total)

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

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

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

exact: 0.0ms (0% of total)

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

preprocess4.0ms (0.3%)

Memory

6.6MiB live, 6.6MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Outputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Compiler

Compiled 11 to 10 computations (9.1% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	93.7%	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(/.f64 t (-.f64 #s(literal 1 binary64) z))
cost-diff	0	(/.f64 y z)
cost-diff	0	(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
cost-diff	0	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Calls

Call 1

Inputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
x
(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 y z)
y
z
(/.f64 t (-.f64 #s(literal 1 binary64) z))
t
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)

Outputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
x
(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 y z)
y
z
(/.f64 t (-.f64 #s(literal 1 binary64) z))
t
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)

localize25.0ms (1.7%)

Memory

-5.3MiB live, 33.0MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 #s(literal 1 binary64) z)
accuracy	0.006191259768442017	(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
accuracy	0.01171875	(/.f64 t (-.f64 #s(literal 1 binary64) z))
accuracy	4.025529441236315	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Samples

19.0ms

256×

valid

Compiler

Compiled 74 to 22 computations (70.3% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series14.0ms (1%)

Memory

20.7MiB live, 20.7MiB allocated

Counts

5 → 55

Calls

Call 1

Inputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 y z)
(/.f64 t (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)

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

Calls

12 calls:

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

simplify1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Counts

55 → 5

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Counts

5 → 5

Calls

Call 1

Inputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 y z)
(/.f64 t (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)

Outputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 y z)
(/.f64 t (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)

eval1.0ms (0.1%)

Memory: 1.6MiB live, 1.6MiB allocated
Compiler: Compiled 146 to 23 computations (84.2% saved)

prune2.0ms (0.1%)

Memory

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

93.7%

Counts

11 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.7%	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
▶	14.7%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
▶	5.1%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
▶	13.6%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
▶	12.1%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Compiler

Compiled 79 to 65 computations (17.7% saved)

simplify1.0ms (0.1%)

Memory

1.9MiB live, 1.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 13 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 y z)
y
z
(/.f64 t (-.f64 #s(literal 1 binary64) z))
t
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
(/.f64 y z)
y
z
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
x
#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
x
#s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 t (-.f64 #s(literal 1 binary64) z))
t
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z

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

localize34.0ms (2.4%)

Memory

-29.1MiB live, 47.0MiB allocated

Localize:

Found 13 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 #s(literal 1 binary64) z)
accuracy	0.01171875	(/.f64 t (-.f64 #s(literal 1 binary64) z))
accuracy	4.025529441236315	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
accuracy	58.718211467652374	#s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
accuracy	0.0	(-.f64 #s(literal 1 binary64) z)
accuracy	4.025529441236315	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
accuracy	61.98951856485916	#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))
accuracy	0.0	(/.f64 y z)
accuracy	55.31289427079435	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
accuracy	0.0	(-.f64 #s(literal 1 binary64) z)
accuracy	0.006191259768442017	(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
accuracy	0.01171875	(/.f64 t (-.f64 #s(literal 1 binary64) z))
accuracy	56.28077124408833	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Samples

23.0ms

256×

valid

Compiler

Compiled 254 to 33 computations (87% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series8.0ms (0.6%)

Memory

14.3MiB live, 14.3MiB allocated

Counts

10 → 55

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 y z)
(/.f64 t (-.f64 #s(literal 1 binary64) z))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))

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

Calls

12 calls:

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

simplify1.0ms (0.1%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

1×	egg-herbie

Counts

55 → 10

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

10 → 10

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 y z)
(/.f64 t (-.f64 #s(literal 1 binary64) z))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))

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

eval2.0ms (0.2%)

Memory: 4.9MiB live, 4.9MiB allocated
Compiler: Compiled 502 to 33 computations (93.4% saved)

prune4.0ms (0.3%)

Memory

6.1MiB live, 6.1MiB allocated

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	19	3	22
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	19	8	27

Accuracy

93.7%

Counts

27 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.7%	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	14.7%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	5.1%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
✓	13.6%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
✓	12.1%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
▶	5.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
▶	2.9%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
▶	10.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Compiler

Compiled 158 to 111 computations (29.7% saved)

simplify1.0ms (0.1%)

Memory

2.1MiB live, 2.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 t (-.f64 #s(literal 1 binary64) z))
t
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
#s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
x
#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z
(/.f64 t (-.f64 #s(literal 1 binary64) z))
t

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

localize32.0ms (2.2%)

Memory

1.7MiB live, 44.2MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	4.025529441236315	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
accuracy	55.31289427079435	#s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))))
accuracy	56.28077124408833	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
accuracy	61.98951856485916	#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))
accuracy	0.0	(-.f64 #s(literal 1 binary64) z)
accuracy	62.14578163397054	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
accuracy	0.0	(-.f64 #s(literal 1 binary64) z)
accuracy	0.01171875	(/.f64 t (-.f64 #s(literal 1 binary64) z))
accuracy	56.28077124408833	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
accuracy	58.718211467652374	#s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))

Samples

23.0ms

256×

valid

Compiler

Compiled 298 to 33 computations (88.9% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series10.0ms (0.7%)

Memory

-23.6MiB live, 14.9MiB allocated

Counts

10 → 55

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 t (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
#s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))

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

Calls

12 calls:

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

simplify1.0ms (0.1%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Counts

55 → 10

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Counts

10 → 10

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
(/.f64 t (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
#s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))

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

eval2.0ms (0.1%)

Memory: 4.2MiB live, 4.2MiB allocated
Compiler: Compiled 667 to 32 computations (95.2% saved)

prune5.0ms (0.3%)

Memory

9.0MiB live, 9.0MiB allocated

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	0	0	0
Picked	0	3	3
Done	0	5	5
Total	20	9	29

Accuracy

93.7%

Counts

29 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.7%	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	14.7%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	5.1%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
✓	13.6%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
✓	12.1%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	5.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
▶	5.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	2.9%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
✓	10.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Compiler

Compiled 217 to 132 computations (39.2% saved)

simplify1.0ms (0.1%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 #s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
#s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
#s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
x
#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z
(/.f64 t (-.f64 #s(literal 1 binary64) z))
t

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

localize27.0ms (1.9%)

Memory

3.6MiB live, 42.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	55.31289427079435	#s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
accuracy	56.28077124408833	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
accuracy	56.28077124408833	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
accuracy	61.98951856485916	#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))

Samples

19.0ms

256×

valid

Compiler

Compiled 348 to 33 computations (90.5% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series8.0ms (0.6%)

Memory

-26.5MiB live, 12.1MiB allocated

Counts

5 → 38

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 #s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
#s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))

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

Calls

12 calls:

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

simplify1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Counts

38 → 5

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

5 → 5

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(-.f64 #s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
#s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z))

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

eval1.0ms (0.1%)

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

prune5.0ms (0.3%)

Memory

9.0MiB live, 9.0MiB allocated

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	9	0	9
Fresh	0	0	0
Picked	0	1	1
Done	0	8	8
Total	9	9	18

Accuracy

93.7%

Counts

18 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.7%	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	14.7%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	5.1%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
✓	13.6%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
✓	12.1%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	5.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	5.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
✓	2.9%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
✓	10.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Compiler

Compiled 434 to 162 computations (62.7% saved)

regimes25.0ms (1.8%)

Memory

-8.1MiB live, 37.2MiB allocated

Counts

9 → 1

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Outputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Calls

6 calls:

8.0ms	y
3.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
3.0ms	x
3.0ms	t
3.0ms	z

Results

Accuracy	Segments	Branch
93.7%	1	`x`
93.7%	1	`y`
93.7%	1	`z`
93.7%	1	`t`
93.7%	1	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
93.7%	1	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`

Compiler

Compiled 24 to 35 computations (-45.8% saved)

regimes19.0ms (1.3%)

Memory

-3.7MiB live, 35.2MiB allocated

Counts

7 → 2

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

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

Calls

6 calls:

4.0ms	z
3.0ms	x
3.0ms	y
3.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
3.0ms	t

Results

Accuracy	Segments	Branch
20.6%	2	`x`
18.7%	3	`z`
19.5%	3	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
19.5%	3	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
19.3%	3	`y`
16.7%	2	`t`

Compiler

Compiled 24 to 35 computations (-45.8% saved)

regimes3.0ms (0.2%)

Memory

6.8MiB live, 6.8MiB allocated

Counts

6 → 2

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(approx (/ y z) (*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

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

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
20.2%	2	`x`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes14.0ms (1%)

Memory

-10.1MiB live, 29.0MiB allocated

Counts

4 → 2

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

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

Calls

6 calls:

3.0ms	t
2.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
2.0ms	x
2.0ms	y
2.0ms	z

Results

Accuracy	Segments	Branch
13.6%	1	`t`
13.6%	1	`z`
13.6%	1	`y`
13.6%	1	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
13.6%	1	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
16.5%	2	`x`

Compiler

Compiled 24 to 35 computations (-45.8% saved)

regimes4.0ms (0.3%)

Memory

9.1MiB live, 9.1MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))

(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))

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

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

Calls

2 calls:

2.0ms	x
2.0ms	z

Results

Accuracy	Segments	Branch
13.6%	1	`z`
13.6%	1	`x`

Compiler

Compiled 2 to 8 computations (-300% saved)

regimes9.0ms (0.6%)

Memory

23.4MiB live, 23.4MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))

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

Calls

6 calls:

1.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
1.0ms	t
1.0ms	x
1.0ms	z
1.0ms	y

Results

Accuracy	Segments	Branch
5.1%	1	`y`
5.1%	1	`t`
5.1%	1	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
5.1%	1	`x`
5.1%	1	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
5.1%	1	`z`

Compiler

Compiled 24 to 35 computations (-45.8% saved)

regimes8.0ms (0.6%)

Memory

-19.0MiB live, 20.2MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))

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

Calls

6 calls:

2.0ms	t
1.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))
1.0ms	z
1.0ms	y
1.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Results

Accuracy	Segments	Branch
2.9%	1	`y`
2.9%	1	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
2.9%	1	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
2.9%	1	`x`
2.9%	1	`t`
2.9%	1	`z`

Compiler

Compiled 24 to 35 computations (-45.8% saved)

bsearch17.0ms (1.2%)

Memory

-10.9MiB live, 29.8MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
16.0ms	4.42770892876229e-152	2.978603510303757e-145

Samples

8.0ms

144×

valid

Compiler

Compiled 356 to 305 computations (14.3% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

bsearch1.0ms (0.1%)

Memory

2.8MiB live, 2.8MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	4.42770892876229e-152	2.978603510303757e-145

Compiler

Compiled 302 to 269 computations (10.9% saved)

bsearch15.0ms (1.1%)

Memory

19.8MiB live, 19.8MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
13.0ms	3.7869179630450626e-302	8.679172850486527e-294

Samples

8.0ms

144×

valid

Compiler

Compiled 392 to 278 computations (29.1% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

simplify5.0ms (0.3%)

Memory

8.2MiB live, 8.2MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(if (<=.f64 x #s(literal 6298479312360475/449891379454319638281053850768598185886969711830191663310075557261183758067148787031904068610389085714992091063352089512320826605549429968900851518086516385513472 binary64)) (.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))) #s(approx ( x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
(if (<=.f64 x #s(literal 6298479312360475/449891379454319638281053850768598185886969711830191663310075557261183758067148787031904068610389085714992091063352089512320826605549429968900851518086516385513472 binary64)) (.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))) #s(approx ( x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z)))
(if (<=.f64 x #s(literal 5982722752821787/11505236063118821809467553221049758295155052665230762065499525194094891251552061640493342548634082305351687288311769174890162545204122663839542235560926343960177145179191391057683342054479750023644997308933440369205641643669917624414330439074612943178454432683813523087356623740062701843509462805095950344781824 binary64)) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z)))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))

Outputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
(if (<=.f64 x #s(literal 6298479312360475/449891379454319638281053850768598185886969711830191663310075557261183758067148787031904068610389085714992091063352089512320826605549429968900851518086516385513472 binary64)) (.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))) #s(approx ( x (- (/ y z) (/ t (- 1 z)))) (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
(if (<=.f64 x #s(literal 6298479312360475/449891379454319638281053850768598185886969711830191663310075557261183758067148787031904068610389085714992091063352089512320826605549429968900851518086516385513472 binary64)) (.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))) #s(approx ( x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z)))
(if (<=.f64 x #s(literal 5982722752821787/11505236063118821809467553221049758295155052665230762065499525194094891251552061640493342548634082305351687288311769174890162545204122663839542235560926343960177145179191391057683342054479750023644997308933440369205641643669917624414330439074612943178454432683813523087356623740062701843509462805095950344781824 binary64)) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 t (-.f64 #s(literal 1 binary64) z)))) #s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z)))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 y z))
(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (-.f64 #s(literal 1 binary64) z))

soundness1.0ms (0.1%)

Memory

2.4MiB live, 2.4MiB allocated

Stop Event

1×

done

Compiler

Compiled 180 to 31 computations (82.8% saved)

preprocess49.0ms (3.4%)

Memory: -3.3MiB live, 72.4MiB allocated
Compiler: Compiled 518 to 134 computations (74.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze162.0ms (11.3%)

sample812.0ms (56.6%)

explain97.0ms (6.7%)

preprocess4.0ms (0.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize25.0ms (1.7%)

series14.0ms (1%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0.1%)

localize34.0ms (2.4%)

series8.0ms (0.6%)

simplify1.0ms (0.1%)

rewrite1.0ms (0%)

eval2.0ms (0.2%)

prune4.0ms (0.3%)

simplify1.0ms (0.1%)

localize32.0ms (2.2%)

series10.0ms (0.7%)

simplify1.0ms (0.1%)

rewrite1.0ms (0%)

eval2.0ms (0.1%)

prune5.0ms (0.3%)

simplify1.0ms (0.1%)

localize27.0ms (1.9%)

series8.0ms (0.6%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune5.0ms (0.3%)

regimes25.0ms (1.8%)

regimes19.0ms (1.3%)

regimes3.0ms (0.2%)

regimes14.0ms (1%)

regimes4.0ms (0.3%)

regimes9.0ms (0.6%)

regimes8.0ms (0.6%)

bsearch17.0ms (1.2%)

bsearch1.0ms (0.1%)

bsearch15.0ms (1.1%)

simplify5.0ms (0.3%)

soundness1.0ms (0.1%)

preprocess49.0ms (3.4%)

end0.0ms (0%)

Profiling