Metrics for Data.HashTable.ST.Basic:computeOverhead from hashtables-1.2.0.2

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze208.0ms (10.8%)

Memory

15.4MiB live, 290.4MiB 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
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	5
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	6
18.8%	18.7%	81.1%	0.2%	0%	0%	0%	7
28.1%	28.1%	71.7%	0.2%	0%	0%	0%	8
42.2%	42.1%	57.7%	0.2%	0%	0%	0%	9
42.2%	42.1%	57.7%	0.2%	0%	0%	0%	10
49.2%	49.1%	50.7%	0.2%	0%	0%	0%	11
57.4%	57.3%	42.5%	0.2%	0%	0%	0%	12

Compiler

Compiled 19 to 16 computations (15.8% saved)

sample1.0s (52.2%)

Memory

28.0MiB live, 1 558.1MiB allocated

Samples

637.0ms

8 256×

valid

Precisions

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

ival-mult: 157.0ms (37.1% of total)

ival-div: 135.0ms (31.9% of total)

ival-add: 69.0ms (16.3% of total)

ival-sub: 44.0ms (10.4% of total)

exact: 8.0ms (1.9% of total)

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

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

Bogosity

explain290.0ms (15%)

Memory

-163.1MiB live, 285.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
27	-	-	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
1	-	-	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`
0	-	-	`(/.f64 x y)`
0	-	-	`t`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`z`
0	-	-	`(*.f64 t z)`
0	-	-	`(.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))`
0	-	-	`y`
0	-	-	`#s(literal 2 binary64)`
0	-	-	`(*.f64 z #s(literal 2 binary64))`
0	-	-	`(-.f64 #s(literal 1 binary64) t)`
0	-	-	`(+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t)))`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`	o/o	21	0
↳	`(.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))`	overflow	27
↳	`(+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t)))`	overflow	27
↳	`(*.f64 t z)`	overflow	27
`+.f64`	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`	nan-rescue	1	0
↳	`(/.f64 x y)`	overflow	28
↳	`(*.f64 t z)`	overflow	27
↳	`(.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))`	overflow	27
↳	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`	overflow	36
↳	`(+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t)))`	overflow	27

Confusion

	Predicted +	Predicted -
+	22	6
-	0	228

Precision

1.0

Recall

0.7857142857142857

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	22	0	6
-	0	0	228

Precision?

1.0

Recall?

0.7857142857142857

Freqs

test

number	freq
0	234
1	22

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

52.0ms

512×

valid

Compiler

Compiled 213 to 60 computations (71.8% saved)

Precisions

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

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

ival-div: 8.0ms (31.5% of total)

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

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

exact: 1.0ms (3.9% of total)

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

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

preprocess4.0ms (0.2%)

Memory

10.8MiB live, 10.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 17 to 14 computations (17.6% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 17 to 14 computations (17.6% saved)

simplify1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize37.0ms (1.9%)

Memory

-1.4MiB live, 74.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 t z)
accuracy	0.0078125	(.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))
accuracy	0.20703125000000003	(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))
accuracy	6.839014246230572	(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))

Samples

29.0ms

256×

valid

Compiler

Compiled 130 to 30 computations (76.9% saved)

Precisions

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

ival-mult: 7.0ms (48.4% of total)

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

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

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

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

exact: 0.0ms (0% of total)

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

series21.0ms (1.1%)

Memory

-6.0MiB live, 39.1MiB allocated

Counts

6 → 35

Calls

Call 1

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

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

Calls

12 calls:

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

simplify1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Algorithm

1×	egg-herbie

Counts

35 → 6

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 3.3MiB live, 3.3MiB allocated
Compiler: Compiled 262 to 31 computations (88.2% saved)

prune4.0ms (0.2%)

Memory

10.0MiB live, 10.0MiB allocated

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	7	5	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	7	6	13

Accuracy

93.7%

Counts

13 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	88.9%	(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))
▶	24.2%	(+.f64 #s(approx (/ x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (.f64 t z))) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (.f64 t z)))
▶	32.9%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 x y))
▶	3.6%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))))
▶	3.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t)))
▶	3.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (*.f64 t z))

Compiler

Compiled 267 to 190 computations (28.8% saved)

simplify3.0ms (0.1%)

Memory

-36.1MiB live, 2.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

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

Calls

Call 1

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

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

localize42.0ms (2.2%)

Memory

12.5MiB live, 89.7MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0.0078125	(.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))
accuracy	0.20703125000000003	(+.f64 #s(approx (/ x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (.f64 t z))) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (.f64 t z)))
accuracy	6.839014246230572	(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))
accuracy	61.476342689798784	#s(approx (/ x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))
accuracy	0.0	(+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t)))
accuracy	0.0	(*.f64 z #s(literal 2 binary64))
accuracy	0.0078125	(.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))
accuracy	61.69906906339321	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))))
accuracy	0.0	(-.f64 #s(literal 1 binary64) t)
accuracy	0.0	(*.f64 z #s(literal 2 binary64))
accuracy	0.0078125	(.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))
accuracy	61.862980312711514	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t)))
accuracy	0.0	(*.f64 t z)
accuracy	61.866003169766195	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (*.f64 t z))
accuracy	0.0	(/.f64 x y)
accuracy	42.96048315218489	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 x y))

Samples

28.0ms

256×

valid

Compiler

Compiled 422 to 45 computations (89.3% saved)

Precisions

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

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series12.0ms (0.6%)

Memory

26.8MiB live, 26.8MiB allocated

Counts

13 → 40

Calls

Call 1

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

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

Calls

12 calls:

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

simplify1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Counts

40 → 13

Calls

Call 1

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

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

rewrite4.0ms (0.2%)

Memory

-40.3MiB live, 1.8MiB allocated

Counts

13 → 13

Calls

Call 1

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

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

eval5.0ms (0.3%)

Memory: 13.4MiB live, 13.4MiB allocated
Compiler: Compiled 1 757 to 70 computations (96% saved)

prune5.0ms (0.3%)

Memory

13.9MiB live, 13.9MiB allocated

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	45	4	49
Fresh	0	0	0
Picked	1	4	5
Done	0	1	1
Total	46	9	55

Accuracy

93.7%

Counts

55 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	88.9%	(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))
✓	32.9%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 x y))
▶	2.5%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 #s(literal 1 binary64) t))
✓	3.6%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))))
▶	3.6%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) #s(approx (* (* z 2) (- 1 t)) (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))))))
✓	3.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t)))
▶	2.6%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (*.f64 z #s(literal 2 binary64)))
✓	3.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (*.f64 t z))
▶	62.1%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ 2 (* (* z 2) (- 1 t))) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))))

Compiler

Compiled 231 to 168 computations (27.3% saved)

simplify1.0ms (0.1%)

Memory

2.6MiB live, 2.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

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

Calls

Call 1

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

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

localize41.0ms (2.1%)

Memory

-3.2MiB live, 72.8MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 #s(literal 1 binary64) t)
accuracy	62.37458970721805	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 #s(literal 1 binary64) t))
accuracy	0.0	(*.f64 z #s(literal 2 binary64))
accuracy	0.0078125	(.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))
accuracy	26.139627102132813	#s(approx (* (* z 2) (- 1 t)) (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))))
accuracy	61.69906906339321	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) #s(approx (* (* z 2) (- 1 t)) (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))))))
accuracy	0.0	(*.f64 z #s(literal 2 binary64))
accuracy	62.34384596524377	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (*.f64 z #s(literal 2 binary64)))
accuracy	0.0078125	(.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))
accuracy	6.839014246230572	(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))
accuracy	61.69906906339321	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ 2 (* (* z 2) (- 1 t))) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))))
accuracy	61.99769125181671	#s(approx (+ 2 (* (* z 2) (- 1 t))) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))

Samples

29.0ms

256×

valid

Compiler

Compiled 430 to 45 computations (89.5% saved)

Precisions

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

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series14.0ms (0.7%)

Memory

-15.6MiB live, 22.3MiB allocated

Counts

12 → 39

Calls

Call 1

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

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

Calls

12 calls:

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

simplify1.0ms (0%)

Memory

2.1MiB live, 2.1MiB allocated

Algorithm

1×	egg-herbie

Counts

39 → 12

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

2.8MiB live, 2.8MiB allocated

Counts

12 → 12

Calls

Call 1

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

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

eval3.0ms (0.2%)

Memory: 8.4MiB live, 8.4MiB allocated
Compiler: Compiled 1 103 to 51 computations (95.4% saved)

prune7.0ms (0.4%)

Memory

14.0MiB live, 14.0MiB allocated

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	28	1	29
Fresh	0	0	0
Picked	0	4	4
Done	0	5	5
Total	28	10	38

Accuracy

93.7%

Counts

38 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	88.9%	(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))
✓	32.9%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 x y))
✓	2.5%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 #s(literal 1 binary64) t))
✓	3.6%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))))
✓	3.6%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) #s(approx (* (* z 2) (- 1 t)) (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))))))
▶	3.1%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) #s(approx (* (* z 2) (- 1 t)) (+.f64 #s(literal 2 binary64) (.f64 #s(approx ( z 2) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (-.f64 #s(literal 1 binary64) t))))))
✓	3.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t)))
✓	2.6%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (*.f64 z #s(literal 2 binary64)))
✓	3.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (*.f64 t z))
✓	62.1%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ 2 (* (* z 2) (- 1 t))) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))))

Compiler

Compiled 276 to 193 computations (30.1% saved)

simplify1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize38.0ms (2%)

Memory

-33.5MiB live, 45.1MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0078125	(.f64 #s(approx ( z 2) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (-.f64 #s(literal 1 binary64) t))
accuracy	26.139627102132813	#s(approx (* (* z 2) (- 1 t)) (+.f64 #s(literal 2 binary64) (.f64 #s(approx ( z 2) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (-.f64 #s(literal 1 binary64) t))))
accuracy	27.322667364734922	#s(approx (* z 2) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t)))
accuracy	61.69906906339321	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) #s(approx (* (* z 2) (- 1 t)) (+.f64 #s(literal 2 binary64) (.f64 #s(approx ( z 2) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (-.f64 #s(literal 1 binary64) t))))))

Samples

21.0ms

256×

valid

Compiler

Compiled 228 to 41 computations (82% saved)

Precisions

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

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

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

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

ival-sub: 1.0ms (8.5% 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.4%)

Memory

13.1MiB live, 13.1MiB allocated

Counts

6 → 28

Calls

Call 1

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

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

Calls

12 calls:

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

simplify1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Counts

28 → 6

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 2.4MiB live, 2.4MiB allocated
Compiler: Compiled 473 to 30 computations (93.7% saved)

prune6.0ms (0.3%)

Memory

9.0MiB live, 9.0MiB allocated

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	10	1	11
Fresh	0	0	0
Picked	1	0	1
Done	0	9	9
Total	11	10	21

Accuracy

93.7%

Counts

21 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	88.9%	(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))
✓	32.9%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (/.f64 x y))
✓	2.5%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (-.f64 #s(literal 1 binary64) t))
✓	3.6%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))))
✓	3.6%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (+.f64 #s(literal 2 binary64) #s(approx (* (* z 2) (- 1 t)) (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))))))
✓	3.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t)))
	2.9%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (.f64 #s(approx ( z 2) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (-.f64 #s(literal 1 binary64) t)))
✓	2.6%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (*.f64 z #s(literal 2 binary64)))
✓	3.3%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) (*.f64 t z))
✓	62.1%	#s(approx (+ (/ x y) (/ (+ 2 (* (* z 2) (- 1 t))) (* t z))) #s(approx (+ 2 (* (* z 2) (- 1 t))) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))))

Compiler

Compiled 604 to 234 computations (61.3% saved)

regimes35.0ms (1.8%)

Memory

8.2MiB live, 44.8MiB allocated

Counts

12 → 2

Calls

Call 1

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

Outputs

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

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

Calls

7 calls:

9.0ms	(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))
4.0ms	y
4.0ms	t
4.0ms	z
4.0ms	x

Results

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

Compiler

Compiled 37 to 47 computations (-27% saved)

regimes32.0ms (1.6%)

Memory

3.1MiB live, 39.8MiB allocated

Counts

10 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

7 calls:

9.0ms	(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))
4.0ms	t
4.0ms	z
4.0ms	y
4.0ms	x

Results

Accuracy	Segments	Branch
73.2%	3	`x`
67.9%	3	`y`
62.1%	1	`z`
69.5%	2	`t`
78.6%	3	`(/.f64 x y)`
69.9%	4	`(/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z))`
66.1%	2	`(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))`

Compiler

Compiled 37 to 47 computations (-27% saved)

regimes33.0ms (1.7%)

Memory

-35.9MiB live, 49.3MiB allocated

Counts

9 → 1

Calls

Call 1

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

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

Calls

7 calls:

10.0ms	x
3.0ms	t
3.0ms	y
3.0ms	z
3.0ms	(/.f64 x y)

Results

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

Compiler

Compiled 37 to 47 computations (-27% saved)

regimes13.0ms (0.7%)

Memory

39.8MiB live, 39.8MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

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

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

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

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

Calls

7 calls:

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

Results

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

Compiler

Compiled 37 to 47 computations (-27% saved)

regimes10.0ms (0.5%)

Memory

-17.4MiB live, 21.9MiB allocated

Counts

1 → 1

Calls

Call 1

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

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

Calls

7 calls:

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

Results

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

Compiler

Compiled 37 to 47 computations (-27% saved)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 20 to 21 computations (-5% saved)

bsearch34.0ms (1.7%)

Memory

13.1MiB live, 51.8MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	2.9923210948116698e+81	1.2415828758448132e+86
17.0ms	-4.739680758600773e+186	-8.39981593901317e+178

Samples

20.0ms

272×

valid

Compiler

Compiled 1 040 to 718 computations (31% saved)

Precisions

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

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

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

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

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

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

exact: 0.0ms (0% of total)

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

simplify7.0ms (0.4%)

Memory: -31.3MiB live, 11.1MiB allocated

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze208.0ms (10.8%)

sample1.0s (52.2%)

explain290.0ms (15%)

preprocess4.0ms (0.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify1.0ms (0%)

localize37.0ms (1.9%)

series21.0ms (1.1%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune4.0ms (0.2%)

simplify3.0ms (0.1%)

localize42.0ms (2.2%)

series12.0ms (0.6%)

simplify1.0ms (0%)

rewrite4.0ms (0.2%)

eval5.0ms (0.3%)

prune5.0ms (0.3%)

simplify1.0ms (0.1%)

localize41.0ms (2.1%)

series14.0ms (0.7%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval3.0ms (0.2%)

prune7.0ms (0.4%)

simplify1.0ms (0%)

localize38.0ms (2%)

series8.0ms (0.4%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune6.0ms (0.3%)

regimes35.0ms (1.8%)

regimes32.0ms (1.6%)

regimes33.0ms (1.7%)

regimes13.0ms (0.7%)

regimes10.0ms (0.5%)

bsearch0.0ms (0%)

bsearch34.0ms (1.7%)

simplify7.0ms (0.4%)

end0.0ms (0%)

Profiling