Metrics for Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTick from plot-0.2.3.4, B

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze129.0ms (8.8%)

Memory

-9.1MiB live, 191.0MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 15 to 13 computations (13.3% saved)

sample964.0ms (65.7%)

Memory

14.2MiB live, 1 432.6MiB allocated

Samples

442.0ms	6 950×	0	valid
175.0ms	1 260×	1	valid
9.0ms	46×	2	valid

Precisions

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

ival-sub: 141.0ms (36.8% of total)

ival-add: 78.0ms (20.4% of total)

ival-div: 61.0ms (15.9% of total)

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

adjust: 34.0ms (8.9% of total)

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

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

Bogosity

explain125.0ms (8.5%)

Memory

-4.8MiB live, 192.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
51	-	1	(-1.3391768545717462e-239 -6.0859987277060886e-282 -1.766380157466071e-42 9.012597355885607e-149 -1.3645447871635072e-232)	`(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))`
46	-	0	-	`(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))`
0	-	0	-	`a`
0	-	0	-	`t`
0	-	0	-	`z`
0	-	0	-	`(*.f64 (-.f64 z t) y)`
0	-	0	-	`y`
0	-	0	-	`(-.f64 z t)`
0	-	0	-	`(+.f64 x y)`
0	-	0	-	`(-.f64 a t)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))`	o/n	46	0
↳	`(*.f64 (-.f64 z t) y)`	overflow	60
`-.f64`	`(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))`	cancellation	46	0
`/.f64`	`(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))`	u/n	2	0
↳	`(*.f64 (-.f64 z t) y)`	underflow	9

Confusion

	Predicted +	Predicted -
+	66	1
-	0	189

Precision

1.0

Recall

0.9850746268656716

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	66	0	1
-	0	0	189

Precision?

1.0

Recall?

0.9850746268656716

Freqs

test

number	freq
0	190
1	38
2	28

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

44.0ms	424×	0	valid
13.0ms	84×	1	valid
1.0ms	4×	2	valid

Compiler

Compiled 140 to 48 computations (65.7% saved)

Precisions

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

ival-sub: 14.0ms (50.8% of total)

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

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

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

adjust: 2.0ms (7.3% of total)

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

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

preprocess4.0ms (0.3%)

Memory

11.1MiB live, 11.1MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 13 to 11 computations (15.4% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 13 to 11 computations (15.4% saved)

simplify0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize31.0ms (2.1%)

Memory

16.3MiB live, 54.6MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(+.f64 x y)
accuracy	0.0078125	(*.f64 (-.f64 z t) y)
accuracy	10.623971089906197	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
accuracy	12.092223520145183	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))

Samples

18.0ms	212×	0	valid
6.0ms	42×	1	valid
0.0ms	2×	2	valid

Compiler

Compiled 84 to 24 computations (71.4% saved)

Precisions

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

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

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

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

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

adjust: 1.0ms (9.2% of total)

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

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

series20.0ms (1.4%)

Memory

-9.7MiB live, 35.0MiB allocated

Counts

4 → 75

Calls

Call 1

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

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

Calls

15 calls:

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

simplify1.0ms (0.1%)

Memory

2.1MiB live, 2.1MiB allocated

Algorithm

1×	egg-herbie

Counts

75 → 4

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

4 → 4

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 2.1MiB live, 2.1MiB allocated
Compiler: Compiled 138 to 23 computations (83.3% saved)

prune1.0ms (0.1%)

Memory

3.0MiB live, 3.0MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	6	2	8
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	6	3	9

Accuracy

81.6%

Counts

9 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

75.7%

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

▶

13.1%

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

▶

64.2%

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

Compiler

Compiled 49 to 36 computations (26.5% saved)

simplify0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

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

Calls

Call 1

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

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

localize36.0ms (2.4%)

Memory

-10.7MiB live, 65.9MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0.0078125	(*.f64 (-.f64 z t) y)
accuracy	10.623971089906197	(-.f64 #s(approx (+ x y) (.f64 (-.f64 z t) y)) (/.f64 (.f64 (-.f64 z t) y) (-.f64 a t)))
accuracy	12.092223520145183	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))
accuracy	61.96329269256118	#s(approx (+ x y) (*.f64 (-.f64 z t) y))
accuracy	0.0	(+.f64 x y)
accuracy	22.910412703926585	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) (+.f64 x y))

Samples

18.0ms	212×	0	valid
9.0ms	42×	1	valid
0.0ms	2×	2	valid

Compiler

Compiled 134 to 32 computations (76.1% saved)

Precisions

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

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

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

adjust: 4.0ms (24.2% of total)

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

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

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

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

series10.0ms (0.7%)

Memory

-16.5MiB live, 21.8MiB allocated

Counts

7 → 83

Calls

Call 1

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

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

Calls

15 calls:

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

simplify1.0ms (0.1%)

Memory

3.1MiB live, 3.1MiB allocated

Algorithm

1×	egg-herbie

Counts

83 → 7

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Counts

7 → 7

Calls

Call 1

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

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

eval2.0ms (0.1%)

Memory: 4.9MiB live, 4.9MiB allocated
Compiler: Compiled 325 to 28 computations (91.4% saved)

prune3.0ms (0.2%)

Memory

9.1MiB live, 9.1MiB allocated

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	12	3	15
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	12	6	18

Accuracy

81.7%

Counts

18 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	75.7%	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
✓	13.1%	(-.f64 #s(approx (+ x y) (.f64 (-.f64 z t) y)) (/.f64 (.f64 (-.f64 z t) y) (-.f64 a t)))
▶	2.9%	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) (-.f64 z t))
✓	64.2%	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) (+.f64 x y))
▶	6.7%	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) (*.f64 (-.f64 z t) y))
▶	3.0%	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) #s(approx (+ x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))))

Compiler

Compiled 112 to 80 computations (28.6% saved)

simplify1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 9 expressions of interest:

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

Calls

Call 1

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

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

localize39.0ms (2.6%)

Memory

4.5MiB live, 94.0MiB allocated

Localize:

Found 9 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 z t)
accuracy	62.14339879917342	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) (-.f64 z t))
accuracy	0.0	(-.f64 z t)
accuracy	0.0078125	(*.f64 (-.f64 z t) y)
accuracy	59.70723498436168	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) (*.f64 (-.f64 z t) y))
accuracy	0.0078125	(*.f64 (-.f64 z t) y)
accuracy	12.092223520145183	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))
accuracy	22.910412703926585	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) #s(approx (+ x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))))
accuracy	50.84634543357135	#s(approx (+ x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))

Samples

18.0ms	212×	0	valid
7.0ms	42×	1	valid
0.0ms	2×	2	valid

Compiler

Compiled 200 to 32 computations (84% saved)

Precisions

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

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

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

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

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

adjust: 1.0ms (9.3% of total)

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

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

series9.0ms (0.6%)

Memory

-11.6MiB live, 26.8MiB allocated

Counts

7 → 83

Calls

Call 1

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

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

Calls

15 calls:

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

simplify1.0ms (0.1%)

Memory

4.2MiB live, 4.2MiB allocated

Algorithm

1×	egg-herbie

Counts

83 → 7

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Counts

7 → 7

Calls

Call 1

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

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

eval2.0ms (0.1%)

Memory: 5.8MiB live, 5.8MiB allocated
Compiler: Compiled 358 to 25 computations (93% saved)

prune4.0ms (0.3%)

Memory

-26.9MiB live, 12.5MiB allocated

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	14	0	14
Fresh	0	0	0
Picked	0	3	3
Done	0	3	3
Total	14	6	20

Accuracy

81.7%

Counts

20 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	75.7%	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
✓	13.1%	(-.f64 #s(approx (+ x y) (.f64 (-.f64 z t) y)) (/.f64 (.f64 (-.f64 z t) y) (-.f64 a t)))
✓	2.9%	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) (-.f64 z t))
✓	64.2%	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) (+.f64 x y))
✓	6.7%	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) (*.f64 (-.f64 z t) y))
✓	3.0%	#s(approx (- (+ x y) (/ (* (- z t) y) (- a t))) #s(approx (+ x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))))

Compiler

Compiled 224 to 104 computations (53.6% saved)

regimes17.0ms (1.2%)

Memory

4.4MiB live, 47.7MiB allocated

Counts

6 → 2

Calls

Call 1

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

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

Calls

6 calls:

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

Results

Accuracy	Segments	Branch
77.8%	2	`x`
75.7%	1	`y`
75.7%	1	`z`
77.8%	2	`t`
79.3%	3	`a`
77.4%	2	`(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))`

Compiler

Compiled 18 to 36 computations (-100% saved)

regimes13.0ms (0.9%)

Memory

-0.1MiB live, 39.5MiB allocated

Accuracy

Total -40.3b remaining (-175.9%)

Threshold costs -40.3b (-175.9%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 18 to 36 computations (-100% saved)

bsearch13.0ms (0.9%)

Memory

-2.3MiB live, 37.1MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
12.0ms	5.594033468726705e+193	2.019625165186797e+195

Samples

6.0ms	106×	0	valid
1.0ms	6×	1	valid

Compiler

Compiled 226 to 201 computations (11.1% saved)

Precisions

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

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

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

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

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

adjust: 0.0ms (0% of total)

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

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

simplify4.0ms (0.3%)

Memory

13.8MiB live, 13.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs

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

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

Outputs

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

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

soundness0.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Stop Event

1×

done

Compiler

Compiled 51 to 21 computations (58.8% saved)

preprocess33.0ms (2.3%)

Memory: -23.6MiB live, 95.8MiB allocated
Compiler: Compiled 278 to 120 computations (56.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze129.0ms (8.8%)

sample964.0ms (65.7%)

explain125.0ms (8.5%)

preprocess4.0ms (0.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize31.0ms (2.1%)

series20.0ms (1.4%)

simplify1.0ms (0.1%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

simplify0.0ms (0%)

localize36.0ms (2.4%)

series10.0ms (0.7%)

simplify1.0ms (0.1%)

rewrite1.0ms (0%)

eval2.0ms (0.1%)

prune3.0ms (0.2%)

simplify1.0ms (0%)

localize39.0ms (2.6%)

series9.0ms (0.6%)

simplify1.0ms (0.1%)

rewrite0.0ms (0%)

eval2.0ms (0.1%)

prune4.0ms (0.3%)

regimes17.0ms (1.2%)

regimes13.0ms (0.9%)

bsearch13.0ms (0.9%)

simplify4.0ms (0.3%)

soundness0.0ms (0%)

preprocess33.0ms (2.3%)

end0.0ms (0%)

Profiling