Metrics for Development.Shake.Progress:decay from shake-0.15.5

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze351.0ms (14.8%)

Memory

1.1MiB live, 546.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
12.5%	12.5%	87.2%	0.3%	0%	0%	0%	7
12.5%	12.5%	87.2%	0.3%	0%	0%	0%	8
18.8%	18.7%	81%	0.3%	0%	0%	0%	9
21.9%	21.8%	77.9%	0.3%	0%	0%	0%	10
21.9%	21.8%	77.9%	0.3%	0%	0%	0%	11
21.9%	21.8%	77.9%	0.3%	0%	0%	0%	12

Compiler

Compiled 19 to 16 computations (15.8% saved)

sample1.1s (47.2%)

Memory

2.6MiB live, 1 714.4MiB allocated

Samples

699.0ms

8 256×

valid

Precisions

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

ival-mult: 169.0ms (40.7% of total)

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

ival-add: 92.0ms (22.1% of total)

ival-div: 52.0ms (12.5% of total)

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

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

Bogosity

explain138.0ms (5.8%)

Memory

-1.0MiB live, 238.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
86	-	-	`(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))`
3	-	-	`(+.f64 (.f64 x y) (.f64 z (-.f64 t a)))`
0	-	-	`(*.f64 z (-.f64 t a))`
0	-	-	`a`
0	-	-	`t`
0	-	-	`z`
0	-	-	`(+.f64 y (*.f64 z (-.f64 b y)))`
0	-	-	`(*.f64 x y)`
0	-	-	`(-.f64 b y)`
0	-	-	`(*.f64 z (-.f64 b y))`
0	-	-	`y`
0	-	-	`(-.f64 t a)`
0	-	-	`b`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))`	o/n	37	0
↳	`(+.f64 (.f64 x y) (.f64 z (-.f64 t a)))`	overflow	74
↳	`(*.f64 z (-.f64 t a))`	overflow	47
↳	`(*.f64 x y)`	overflow	30
`/.f64`	`(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))`	o/o	33	0
↳	`(+.f64 (.f64 x y) (.f64 z (-.f64 t a)))`	overflow	74
↳	`(*.f64 z (-.f64 t a))`	overflow	47
↳	`(*.f64 x y)`	overflow	30
↳	`(+.f64 y (*.f64 z (-.f64 b y)))`	overflow	55
↳	`(*.f64 z (-.f64 b y))`	overflow	55
`/.f64`	`(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))`	n/o	16	0
↳	`(+.f64 y (*.f64 z (-.f64 b y)))`	overflow	55
↳	`(*.f64 z (-.f64 b y))`	overflow	55
`+.f64`	`(+.f64 (.f64 x y) (.f64 z (-.f64 t a)))`	nan-rescue	3	0
↳	`(*.f64 x y)`	overflow	30
↳	`(*.f64 z (-.f64 t a))`	overflow	47

Confusion

	Predicted +	Predicted -
+	86	0
-	0	170

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	86	0	0
-	0	0	170

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	170
1	83
2	3

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

51.0ms

512×

valid

Compiler

Compiled 195 to 60 computations (69.2% saved)

Precisions

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

ival-mult: 11.0ms (44.2% of total)

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

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

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

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

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

preprocess5.0ms (0.2%)

Memory

10.3MiB live, 10.3MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 17 to 14 computations (17.6% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 17 to 14 computations (17.6% saved)

simplify0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize34.0ms (1.4%)

Memory

-18.0MiB live, 59.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0078125	(*.f64 z (-.f64 b y))
accuracy	0.01171875	(+.f64 y (*.f64 z (-.f64 b y)))
accuracy	0.6523416858302058	(+.f64 (.f64 x y) (.f64 z (-.f64 t a)))
accuracy	20.705405787991356	(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))

Samples

23.0ms

256×

valid

Compiler

Compiled 118 to 30 computations (74.6% saved)

Precisions

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

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

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

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

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

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

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

series31.0ms (1.3%)

Memory

9.8MiB live, 46.1MiB allocated

Counts

6 → 92

Calls

Call 1

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

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

Calls

18 calls:

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

simplify2.0ms (0.1%)

Memory

2.7MiB live, 2.7MiB allocated

Algorithm

1×	egg-herbie

Counts

92 → 6

Calls

Call 1

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

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

rewrite0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 2.4MiB live, 2.4MiB allocated
Compiler: Compiled 256 to 32 computations (87.5% saved)

prune3.0ms (0.1%)

Memory

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

68.0%

Counts

13 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	67.4%	(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
▶	24.2%	(/.f64 (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
▶	40.1%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))
▶	32.1%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 x y)) (+.f64 y (.f64 z (-.f64 b y))))
▶	3.8%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 (.f64 x y) (.f64 z (-.f64 t a))))
▶	3.0%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (*.f64 z (-.f64 b y)))

Compiler

Compiled 255 to 182 computations (28.6% saved)

simplify1.0ms (0%)

Memory

2.1MiB live, 2.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

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

Calls

Call 1

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

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

localize67.0ms (2.8%)

Memory

-2.2MiB live, 82.5MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	0.01171875	(+.f64 y (*.f64 z (-.f64 b y)))
accuracy	0.6523416858302058	(+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a)))
accuracy	20.705405787991356	(/.f64 (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
accuracy	61.77610633757599	#s(approx (* x y) (+.f64 y (*.f64 z (-.f64 b y))))
accuracy	0.0078125	(*.f64 z (-.f64 b y))
accuracy	0.01171875	(+.f64 y (*.f64 z (-.f64 b y)))
accuracy	20.705405787991356	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 x y)) (+.f64 y (.f64 z (-.f64 b y))))
accuracy	37.553421312195006	#s(approx (+ (* x y) (* z (- t a))) (*.f64 x y))
accuracy	0.0	(*.f64 x y)
accuracy	0.0078125	(*.f64 z (-.f64 t a))
accuracy	0.6523416858302058	(+.f64 (.f64 x y) (.f64 z (-.f64 t a)))
accuracy	61.54561748159341	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 (.f64 x y) (.f64 z (-.f64 t a))))
accuracy	0.0	(-.f64 b y)
accuracy	0.0078125	(*.f64 z (-.f64 b y))
accuracy	62.087942356126554	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (*.f64 z (-.f64 b y)))
accuracy	0.0078125	(*.f64 z (-.f64 b y))
accuracy	0.01171875	(+.f64 y (*.f64 z (-.f64 b y)))
accuracy	20.705405787991356	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))
accuracy	25.3509309287118	#s(approx (+ (* x y) (* z (- t a))) (*.f64 z (-.f64 t a)))

Samples

50.0ms

256×

valid

Compiler

Compiled 520 to 46 computations (91.2% saved)

Precisions

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

ival-sub: 16.0ms (51.8% of total)

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

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

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

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

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

series20.0ms (0.8%)

Memory

7.1MiB live, 45.9MiB allocated

Counts

16 → 108

Calls

Call 1

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

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

Calls

18 calls:

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

simplify3.0ms (0.1%)

Memory

-34.1MiB live, 4.9MiB allocated

Algorithm

1×	egg-herbie

Counts

108 → 16

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

2.5MiB live, 2.5MiB allocated

Counts

16 → 16

Calls

Call 1

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

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

eval5.0ms (0.2%)

Memory: 14.2MiB live, 14.2MiB allocated
Compiler: Compiled 1 545 to 64 computations (95.9% saved)

prune11.0ms (0.5%)

Memory

-17.9MiB live, 28.2MiB allocated

Pruning

16 alts after pruning (10 fresh and 6 done)

	Pruned	Kept	Total
New	43	10	53
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	43	16	59

Accuracy

68.4%

Counts

59 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	67.4%	(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
✓	24.2%	(/.f64 (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
	8.7%	(/.f64 (+.f64 #s(approx (* x y) (+.f64 y #s(approx (* z (- b y)) (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a)))))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))
▶	24.2%	(/.f64 (+.f64 #s(approx (* x y) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y))))))) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
▶	6.6%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (-.f64 t a)) (+.f64 y (*.f64 z (-.f64 b y))))
✓	40.1%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))
✓	32.1%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 x y)) (+.f64 y (.f64 z (-.f64 b y))))
	2.7%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z (-.f64 b y))))) (+.f64 y (.f64 z (-.f64 b y))))
▶	2.6%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (-.f64 b y))
✓	3.8%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 (.f64 x y) (.f64 z (-.f64 t a))))
▶	3.8%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a))))
	2.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 y (*.f64 z (-.f64 b y))))
✓	3.0%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (*.f64 z (-.f64 b y)))
▶	4.2%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 z (-.f64 t a))))
	3.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 x y)))
	3.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (* z (- b y)) (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a)))))

Compiler

Compiled 832 to 482 computations (42.1% saved)

simplify1.0ms (0.1%)

Memory

4.2MiB live, 4.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 18 expressions of interest:

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

Calls

Call 1

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

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

localize51.0ms (2.2%)

Memory

14.1MiB live, 91.3MiB allocated

Localize:

Found 18 expressions of interest:

New	Metric	Score
accuracy	0.0078125	(*.f64 z (-.f64 b y))
accuracy	0.01171875	(+.f64 y (*.f64 z (-.f64 b y)))
accuracy	20.705405787991356	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (-.f64 t a)) (+.f64 y (*.f64 z (-.f64 b y))))
accuracy	61.84839033727438	#s(approx (+ (* x y) (* z (- t a))) (-.f64 t a))
accuracy	0.6523416858302058	(+.f64 #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a)))
accuracy	61.54561748159341	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a))))
accuracy	61.6467280976608	#s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (*.f64 z (-.f64 b y))))
accuracy	62.087942356126554	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (*.f64 z (-.f64 b y)))
accuracy	0.0	(-.f64 t a)
accuracy	0.0078125	(*.f64 z (-.f64 t a))
accuracy	25.3509309287118	#s(approx (+ (* x y) (* z (- t a))) (*.f64 z (-.f64 t a)))
accuracy	61.54561748159341	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 z (-.f64 t a))))
accuracy	0.0	(-.f64 b y)
accuracy	62.32403466473718	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (-.f64 b y))
accuracy	20.705405787991356	(/.f64 (+.f64 #s(approx (* x y) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y))))))) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
accuracy	60.897621338824564	#s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (*.f64 z (-.f64 b y)))))
accuracy	61.77610633757599	#s(approx (* x y) (+.f64 y (*.f64 z (-.f64 b y))))
accuracy	61.77610633757599	#s(approx (* x y) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (*.f64 z (-.f64 b y)))))))

Samples

34.0ms

256×

valid

Compiler

Compiled 710 to 50 computations (93% saved)

Precisions

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

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

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

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

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

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

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

series21.0ms (0.9%)

Memory

3.6MiB live, 41.5MiB allocated

Counts

20 → 108

Calls

Call 1

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

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

Calls

18 calls:

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

simplify2.0ms (0.1%)

Memory

3.9MiB live, 3.9MiB allocated

Algorithm

1×	egg-herbie

Counts

108 → 20

Calls

Call 1

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

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

rewrite1.0ms (0%)

Memory

2.3MiB live, 2.3MiB allocated

Counts

20 → 20

Calls

Call 1

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

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

eval11.0ms (0.4%)

Memory: -26.8MiB live, 13.7MiB allocated
Compiler: Compiled 2 242 to 95 computations (95.8% saved)

prune10.0ms (0.4%)

Memory

25.2MiB live, 25.2MiB allocated

Pruning

18 alts after pruning (9 fresh and 9 done)

	Pruned	Kept	Total
New	54	4	58
Fresh	0	5	5
Picked	1	4	5
Done	1	5	6
Total	56	18	74

Accuracy

68.4%

Counts

74 → 18

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	67.4%	(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
	8.7%	(/.f64 (+.f64 #s(approx (* x y) (+.f64 y #s(approx (* z (- b y)) (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a)))))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))
▶	24.0%	(/.f64 (+.f64 #s(approx (* x y) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y)))))))))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))
✓	6.6%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (-.f64 t a)) (+.f64 y (*.f64 z (-.f64 b y))))
▶	2.7%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y))))))) (+.f64 y (.f64 z (-.f64 b y))))
✓	40.1%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))
✓	32.1%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 x y)) (+.f64 y (.f64 z (-.f64 b y))))
	2.7%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z (-.f64 b y))))) (+.f64 y (.f64 z (-.f64 b y))))
✓	2.6%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (-.f64 b y))
✓	3.8%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 (.f64 x y) (.f64 z (-.f64 t a))))
	3.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 #s(approx (* x y) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y))))))) (.f64 z (-.f64 t a))))
✓	3.8%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a))))
▶	3.5%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y))))))) (*.f64 z (-.f64 t a))))
	2.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 y (*.f64 z (-.f64 b y))))
✓	3.0%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (*.f64 z (-.f64 b y)))
✓	4.2%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 z (-.f64 t a))))
▶	3.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 x y)))
▶	3.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (* z (- b y)) (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a)))))

Compiler

Compiled 983 to 541 computations (45% saved)

simplify2.0ms (0.1%)

Memory

4.9MiB live, 4.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

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

Calls

Call 1

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

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

localize70.0ms (2.9%)

Memory

-22.1MiB live, 137.1MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	20.705405787991356	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y))))))) (+.f64 y (.f64 z (-.f64 b y))))
accuracy	57.357886168321606	#s(approx (+ (* x y) (* z (- t a))) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (*.f64 z (-.f64 b y)))))))
accuracy	60.897621338824564	#s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (*.f64 z (-.f64 b y)))))
accuracy	61.77610633757599	#s(approx (* x y) (+.f64 y (*.f64 z (-.f64 b y))))
accuracy	61.54561748159341	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y))))))) (*.f64 z (-.f64 t a))))
accuracy	61.6467280976608	#s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y)))))))
accuracy	62.087942356126554	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y))))))
accuracy	62.13411763998872	#s(approx (- b y) (+.f64 y (*.f64 z (-.f64 b y))))
accuracy	0.6523416858302058	(+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a)))
accuracy	57.42796736158915	#s(approx (* z (- b y)) (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a))))
accuracy	61.77610633757599	#s(approx (* x y) (+.f64 y (*.f64 z (-.f64 b y))))
accuracy	62.087942356126554	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (* z (- b y)) (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a)))))
accuracy	0.0	(*.f64 x y)
accuracy	37.553421312195006	#s(approx (+ (* x y) (* z (- t a))) (*.f64 x y))
accuracy	61.54561748159341	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 x y)))
accuracy	60.897621338824564	#s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y))))))))
accuracy	61.77610633757599	#s(approx (* x y) (+.f64 y (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y)))))))
accuracy	61.77610633757599	#s(approx (* x y) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y))))))))))
accuracy	62.13411763998872	#s(approx (- b y) (+.f64 y (*.f64 z (-.f64 b y))))

Samples

37.0ms

256×

valid

Compiler

Compiled 1 092 to 59 computations (94.6% saved)

Precisions

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

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

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

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

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

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

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

series20.0ms (0.8%)

Memory

5.0MiB live, 43.6MiB allocated

Counts

22 → 95

Calls

Call 1

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

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

Calls

18 calls:

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

simplify2.0ms (0.1%)

Memory

5.5MiB live, 5.5MiB allocated

Algorithm

1×	egg-herbie

Counts

95 → 22

Calls

Call 1

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

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

rewrite1.0ms (0.1%)

Memory

3.0MiB live, 3.0MiB allocated

Counts

22 → 22

Calls

Call 1

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

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

eval4.0ms (0.2%)

Memory: 11.8MiB live, 11.8MiB allocated
Compiler: Compiled 2 121 to 99 computations (95.3% saved)

prune14.0ms (0.6%)

Memory

-6.6MiB live, 32.4MiB allocated

Pruning

21 alts after pruning (8 fresh and 13 done)

	Pruned	Kept	Total
New	40	5	45
Fresh	1	3	4
Picked	1	4	5
Done	0	9	9
Total	42	21	63

Accuracy

68.4%

Counts

63 → 21

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	67.4%	(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
	8.7%	(/.f64 (+.f64 #s(approx (* x y) (+.f64 y #s(approx (* z (- b y)) (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a)))))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))
	24.0%	(/.f64 (+.f64 #s(approx (* x y) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z #s(approx (- b y) (+.f64 y #s(approx ( z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y))))))))))))) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
✓	6.6%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (-.f64 t a)) (+.f64 y (*.f64 z (-.f64 b y))))
✓	2.7%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y))))))) (+.f64 y (.f64 z (-.f64 b y))))
	2.7%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y)))))))))) (+.f64 y (*.f64 z (-.f64 b y))))
✓	40.1%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))
✓	32.1%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 x y)) (+.f64 y (.f64 z (-.f64 b y))))
	2.7%	(/.f64 #s(approx (+ (* x y) (* z (- t a))) #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z (-.f64 b y))))) (+.f64 y (.f64 z (-.f64 b y))))
✓	2.6%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (-.f64 b y))
✓	3.8%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 (.f64 x y) (.f64 z (-.f64 t a))))
✓	3.8%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a))))
✓	3.5%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y))))))) (*.f64 z (-.f64 t a))))
	2.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (+.f64 y (*.f64 z (-.f64 b y))))
✓	3.0%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (*.f64 z (-.f64 b y)))
✓	4.2%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 z (-.f64 t a))))
✓	3.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 x y)))
✓	3.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (* z (- b y)) (+.f64 #s(approx (* x y) (+.f64 y (.f64 z (-.f64 b y)))) (.f64 z (-.f64 t a)))))
	2.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (* z (- b y)) #s(approx (+ (* x y) (* z (- t a))) (+.f64 y #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (*.f64 z (-.f64 b y)))))))))
	2.7%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (* z (- b y)) #s(approx (* x y) (+.f64 y (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y)))))))))
	2.6%	#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (* x y) #s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (.f64 z #s(approx (- b y) (+.f64 y (.f64 z (-.f64 b y))))))))

Compiler

Compiled 1 692 to 501 computations (70.4% saved)

regimes71.0ms (3%)

Memory

-45.4MiB live, 119.3MiB allocated

Counts

25 → 1

Calls

Call 1

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

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

Calls

8 calls:

16.0ms	a
9.0ms	z
9.0ms	(-.f64 t a)
7.0ms	y
7.0ms	b

Results

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

Compiler

Compiled 26 to 57 computations (-119.2% saved)

regimes52.0ms (2.2%)

Memory

1.6MiB live, 76.1MiB allocated

Counts

18 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

8 calls:

9.0ms	x
8.0ms	b
6.0ms	y
6.0ms	a
5.0ms	t

Results

Accuracy	Segments	Branch
51.3%	3	`z`
44.0%	3	`t`
43.1%	2	`b`
48.9%	3	`(-.f64 t a)`
40.1%	1	`(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))`
49.3%	3	`y`
46.2%	2	`x`
45.7%	3	`a`

Compiler

Compiled 26 to 57 computations (-119.2% saved)

regimes48.0ms (2%)

Memory

-7.9MiB live, 72.3MiB allocated

Counts

16 → 1

Calls

Call 1

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

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

Calls

8 calls:

9.0ms	y
8.0ms	t
5.0ms	(-.f64 t a)
5.0ms	x
5.0ms	z

Results

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

Compiler

Compiled 26 to 57 computations (-119.2% saved)

regimes42.0ms (1.8%)

Memory

-1.6MiB live, 74.2MiB allocated

Counts

14 → 1

Calls

Call 1

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

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

Calls

8 calls:

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

Results

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

Compiler

Compiled 26 to 57 computations (-119.2% saved)

regimes38.0ms (1.6%)

Memory

-6.0MiB live, 75.9MiB allocated

Counts

12 → 1

Calls

Call 1

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

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

Calls

8 calls:

7.0ms	(-.f64 t a)
6.0ms	x
4.0ms	y
4.0ms	z
4.0ms	b

Results

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

Compiler

Compiled 26 to 57 computations (-119.2% saved)

regimes12.0ms (0.5%)

Memory

30.5MiB live, 30.5MiB allocated

Counts

2 → 1

Calls

Call 1

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

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

Calls

8 calls:

1.0ms	z
1.0ms	b
1.0ms	(-.f64 t a)
1.0ms	x
1.0ms	t

Results

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

Compiler

Compiled 26 to 57 computations (-119.2% saved)

regimes12.0ms (0.5%)

Memory

-12.8MiB live, 25.8MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

8 calls:

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

Results

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

Compiler

Compiled 26 to 57 computations (-119.2% saved)

bsearch39.0ms (1.6%)

Memory

-17.0MiB live, 61.2MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	2.5728451178552626e-132	4.665727113468012e-130
18.0ms	-1.2878252565753096e-151	-6.23358385828307e-156

Samples

21.0ms

240×

valid

Compiler

Compiled 680 to 548 computations (19.4% saved)

Precisions

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

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

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

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

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

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

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

simplify5.0ms (0.2%)

Memory

12.1MiB live, 12.1MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
(if (<=.f64 z #s(literal -1710076723747261/29484081443918291814387145163970850710288447034503440846689111720668938768688662906922865040450459121417721679927842538279457692421287442441886205089317937841010900992 binary64)) (/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y)))) (if (<=.f64 z #s(literal 7492196520758381/99895953610111751404211111353381321783955140565279076827493022708011895642232499843849795298031743077114461795885011932654335221737225129801285632 binary64)) (/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 x y)) (+.f64 y (.f64 z (-.f64 b y)))) (/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))))
(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 x y)) (+.f64 y (.f64 z (-.f64 b y))))
(/.f64 #s(approx (+ (* x y) (* z (- t a))) (-.f64 t a)) (+.f64 y (*.f64 z (-.f64 b y))))
#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 z (-.f64 t a))))
#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 x y)))
#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (-.f64 b y))

Outputs
(/.f64 (+.f64 (.f64 x y) (.f64 z (-.f64 t a))) (+.f64 y (*.f64 z (-.f64 b y))))
(if (<=.f64 z #s(literal -1710076723747261/29484081443918291814387145163970850710288447034503440846689111720668938768688662906922865040450459121417721679927842538279457692421287442441886205089317937841010900992 binary64)) (/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y)))) (if (<=.f64 z #s(literal 7492196520758381/99895953610111751404211111353381321783955140565279076827493022708011895642232499843849795298031743077114461795885011932654335221737225129801285632 binary64)) (/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 x y)) (+.f64 y (.f64 z (-.f64 b y)))) (/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 z (-.f64 t a))) (+.f64 y (.f64 z (-.f64 b y))))))
(/.f64 #s(approx (+ (* x y) (* z (- t a))) (.f64 x y)) (+.f64 y (.f64 z (-.f64 b y))))
(/.f64 #s(approx (+ (* x y) (* z (- t a))) (-.f64 t a)) (+.f64 y (*.f64 z (-.f64 b y))))
#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 z (-.f64 t a))))
#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) #s(approx (+ (* x y) (* z (- t a))) (*.f64 x y)))
#s(approx (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) (-.f64 b y))

soundness1.0ms (0.1%)

Memory

3.2MiB live, 3.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 219 to 37 computations (83.1% saved)

preprocess49.0ms (2.1%)

Memory: 22.3MiB live, 97.8MiB allocated
Compiler: Compiled 522 to 136 computations (73.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze351.0ms (14.8%)

sample1.1s (47.2%)

explain138.0ms (5.8%)

preprocess5.0ms (0.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize34.0ms (1.4%)

series31.0ms (1.3%)

simplify2.0ms (0.1%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune3.0ms (0.1%)

simplify1.0ms (0%)

localize67.0ms (2.8%)

series20.0ms (0.8%)

simplify3.0ms (0.1%)

rewrite1.0ms (0%)

eval5.0ms (0.2%)

prune11.0ms (0.5%)

simplify1.0ms (0.1%)

localize51.0ms (2.2%)

series21.0ms (0.9%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval11.0ms (0.4%)

prune10.0ms (0.4%)

simplify2.0ms (0.1%)

localize70.0ms (2.9%)

series20.0ms (0.8%)

simplify2.0ms (0.1%)

rewrite1.0ms (0.1%)

eval4.0ms (0.2%)

prune14.0ms (0.6%)

regimes71.0ms (3%)

regimes52.0ms (2.2%)

regimes48.0ms (2%)

regimes42.0ms (1.8%)

regimes38.0ms (1.6%)

regimes12.0ms (0.5%)

regimes12.0ms (0.5%)

bsearch39.0ms (1.6%)

simplify5.0ms (0.2%)

soundness1.0ms (0.1%)

preprocess49.0ms (2.1%)

end0.0ms (0%)

Profiling