Metrics for Language.Haskell.HsColour.ColourHighlight:unbase from hscolour-1.23

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 11 to 10 computations (9.1% saved)

sample901.0ms (23.6%)

Memory

39.4MiB live, 1 001.3MiB allocated

Samples

430.0ms

8 256×

valid

Precisions

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

ival-mult: 128.0ms (59.3% of total)

ival-add: 79.0ms (36.6% of total)

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

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

Bogosity

explain84.0ms (2.2%)

Memory

-24.4MiB live, 139.7MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(+.f64 (*.f64 x y) z)`
-	-	`(.f64 (+.f64 (.f64 x y) z) y)`
-	-	`y`
-	-	`t`
-	-	`z`
-	-	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
-	-	`(*.f64 x y)`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

30.0ms

512×

valid

Compiler

Compiled 69 to 28 computations (59.4% saved)

Precisions

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

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

ival-add: 5.0ms (38.7% of total)

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

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

preprocess125.0ms (3.3%)

Memory

3.1MiB live, 41.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	140
1	121	127
2	285	126
3	1039	126
4	2548	126
5	3908	126
6	4566	126
7	4682	126
8	4702	126
9	4705	126
10	4705	126
11	4756	126
12	4772	126
13	4772	126
0	8	9
0	12	9
1	16	9
2	24	9
3	49	9
4	51	9
0	51	7

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Outputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(fma.f64 (fma.f64 y x z) y t)

Compiler

Compiled 9 to 8 computations (11.1% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify3.0ms (0.1%)

Memory

5.3MiB live, 5.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	28
0	12	28
1	16	28
2	24	28
3	49	28
4	51	28
0	51	24

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(.f64 (+.f64 (.f64 x y) z) y)
(+.f64 (*.f64 x y) z)
(*.f64 x y)
x
y
z
t

Outputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(fma.f64 (fma.f64 y x z) y t)
(.f64 (+.f64 (.f64 x y) z) y)
(*.f64 (fma.f64 y x z) y)
(+.f64 (*.f64 x y) z)
(fma.f64 y x z)
(*.f64 x y)
(*.f64 y x)
x
y
z
t

localize26.0ms (0.7%)

Memory

-4.3MiB live, 36.1MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
accuracy	0.0	(*.f64 x y)
accuracy	0.00390625	(+.f64 (*.f64 x y) z)
accuracy	0.06640625	(.f64 (+.f64 (.f64 x y) z) y)

Samples

19.0ms

256×

valid

Compiler

Compiled 30 to 10 computations (66.7% saved)

Precisions

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

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

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

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

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

series8.0ms (0.2%)

Memory

12.3MiB live, 12.3MiB allocated

Counts

4 → 31

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(+.f64 (*.f64 x y) z)
(.f64 (+.f64 (.f64 x y) z) y)
(*.f64 x y)

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

Calls

12 calls:

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

simplify126.0ms (3.3%)

Memory

0.8MiB live, 154.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	93	241
1	335	211
2	1035	211
3	2809	207
4	6124	207
0	8112	173

Stop Event

1×	iter limit
1×	node limit

Counts

31 → 29

Calls

Call 1

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

Outputs
(+ t (* y z))
(fma.f64 z y t)
(+ t (+ (* x (pow y 2)) (* y z)))
(fma.f64 (fma.f64 y x z) y t)
z
(+ z (* x y))
(fma.f64 y x z)
(* y z)
(*.f64 z y)
(+ (* x (pow y 2)) (* y z))
(*.f64 (fma.f64 y x z) y)
(* x y)
(*.f64 y x)
(* x (pow y 2))
(.f64 (.f64 y y) x)
(* x (+ (/ t x) (+ (/ (* y z) x) (pow y 2))))
(fma.f64 (fma.f64 y x z) y t)
(* x (+ y (/ z x)))
(fma.f64 y x z)
(* x (+ (/ (* y z) x) (pow y 2)))
(*.f64 (fma.f64 y x z) y)
(* -1 (* x (+ (* -1 (/ (+ t (* y z)) x)) (* -1 (pow y 2)))))
(fma.f64 (fma.f64 y x z) y t)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 y x z)
(* -1 (* x (+ (* -1 (/ (* y z) x)) (* -1 (pow y 2)))))
(*.f64 (fma.f64 y x z) y)
t
(+ t (* y (+ z (* x y))))
(fma.f64 (fma.f64 y x z) y t)
(* y (+ z (* x y)))
(*.f64 (fma.f64 y x z) y)
(* (pow y 2) (+ x (/ z y)))
(*.f64 (fma.f64 y x z) y)
(* (pow y 2) (+ x (+ (/ t (pow y 2)) (/ z y))))
(.f64 (fma.f64 (+.f64 (/.f64 t (.f64 y y)) x) y z) y)
(* y (+ x (/ z y)))
(fma.f64 y x z)
(* (pow y 2) (+ x (* -1 (/ (+ (* -1 z) (* -1 (/ t y))) y))))
(.f64 (fma.f64 (+.f64 (/.f64 t (.f64 y y)) x) y z) y)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 y x z)
(+ t (* x (pow y 2)))
(fma.f64 (*.f64 y x) y t)
(* z (+ y (+ (/ t z) (/ (* x (pow y 2)) z))))
(fma.f64 (fma.f64 y x z) y t)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 y x z)
(* z (+ y (/ (* x (pow y 2)) z)))
(*.f64 (fma.f64 y x z) y)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ t (* x (pow y 2))) z)))))
(fma.f64 (fma.f64 y x z) y t)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 y x z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (* x (pow y 2)) z)))))
(*.f64 (fma.f64 y x z) y)
(* t (+ 1 (/ (* y (+ z (* x y))) t)))
(fma.f64 (fma.f64 y x z) y t)
(* -1 (* t (- (* -1 (/ (* y (+ z (* x y))) t)) 1)))
(fma.f64 (fma.f64 y x z) y t)

rewrite191.0ms (5%)

Memory

-7.3MiB live, 202.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	24
0	12	24
1	41	24
2	308	24
3	3857	24
0	8164	20

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 257

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(+.f64 (*.f64 x y) z)
(.f64 (+.f64 (.f64 x y) z) y)
(*.f64 x y)

Outputs
(.f64 (pow.f64 (/.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64)))) #s(literal -1 binary64)) (pow.f64 (-.f64 (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (+.f64 (pow.f64 t #s(literal 9 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 9 binary64)))) #s(literal -1 binary64)) (pow.f64 (-.f64 (+.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (pow.f64 (.f64 t (*.f64 (fma.f64 y x z) y)) #s(literal 3 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 4 binary64)) (pow.f64 t #s(literal 4 binary64)))) #s(literal -1 binary64)) (pow.f64 (fma.f64 t t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64)))) #s(literal -1 binary64)) (pow.f64 (fma.f64 (.f64 t t) (fma.f64 t t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 4 binary64))) #s(literal -1 binary64)))
(.f64 (/.f64 (fma.f64 (neg.f64 t) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64)))) (fma.f64 t (fma.f64 (fma.f64 y x z) y t) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))))
(.f64 (/.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t)))
(.f64 (/.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t) #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)))) (fma.f64 (.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t) (-.f64 (.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 4 binary64))))
(.f64 (/.f64 (fma.f64 (neg.f64 t) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (fma.f64 (neg.f64 t) t (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))) (fma.f64 (fma.f64 y x z) y t))
(.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (pow.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) #s(literal -1 binary64)))
(.f64 (pow.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) #s(literal -1 binary64)) (pow.f64 (pow.f64 (fma.f64 (neg.f64 t) t (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (pow.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) #s(literal -1 binary64)) (fma.f64 (neg.f64 t) t (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64))))
(.f64 (pow.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) #s(literal -1 binary64)) (pow.f64 (pow.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64))) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (pow.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) #s(literal -1 binary64)) (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64))))
(*.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 y x z) y t))
(.f64 (neg.f64 (fma.f64 (neg.f64 t) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))) (pow.f64 (neg.f64 (-.f64 (*.f64 (fma.f64 y x z) y) t)) #s(literal -1 binary64)))
(.f64 (neg.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64)))) (pow.f64 (neg.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))) #s(literal -1 binary64)))
(.f64 (fma.f64 (neg.f64 t) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (pow.f64 (-.f64 (*.f64 (fma.f64 y x z) y) t) #s(literal -1 binary64)))
(.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (/.f64 (fma.f64 (fma.f64 y x z) y t) (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))))
(.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (.f64 (fma.f64 (fma.f64 y x z) y t) (pow.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) #s(literal -1 binary64))))
(.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64))) (pow.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (fma.f64 (fma.f64 y x z) y t) (/.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) (-.f64 (*.f64 (fma.f64 y x z) y) t)))
(.f64 (fma.f64 (fma.f64 y x z) y t) (.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) (pow.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) #s(literal -1 binary64))))
(pow.f64 (/.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) (-.f64 (.f64 t t) (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (pow.f64 (fma.f64 (fma.f64 y x z) y t) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (fma.f64 (fma.f64 y x z) y t) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 4 binary64)) (pow.f64 t #s(literal 4 binary64))) (pow.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) #s(literal -1 binary64))) (fma.f64 t t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (pow.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) #s(literal -1 binary64))) (fma.f64 (.f64 t t) (fma.f64 t t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 4 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (pow.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) #s(literal -1 binary64))) (-.f64 (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 t #s(literal 9 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 9 binary64))) (pow.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) #s(literal -1 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (pow.f64 (.f64 t (*.f64 (fma.f64 y x z) y)) #s(literal 3 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (-.f64 (.f64 (fma.f64 y x z) y) t)) #s(literal 2 binary64)) (pow.f64 (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (-.f64 (.f64 (fma.f64 y x z) y) t)) (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t)))))
(/.f64 (-.f64 (/.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) #s(literal 3 binary64))) (/.f64 (pow.f64 t #s(literal 6 binary64)) (pow.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) #s(literal 3 binary64)))) (+.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (-.f64 (.f64 (fma.f64 y x z) y) t)) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (-.f64 (.f64 (fma.f64 y x z) y) t)) (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t)))))))
(/.f64 (neg.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))) (neg.f64 (-.f64 t (*.f64 (fma.f64 y x z) y))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (neg.f64 t) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (-.f64 (.f64 (fma.f64 y x z) y) t))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 4 binary64)) (pow.f64 t #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 t t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (-.f64 (*.f64 (fma.f64 y x z) y) t)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 t t) (fma.f64 t t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 4 binary64))) (-.f64 (*.f64 (fma.f64 y x z) y) t)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))))
(/.f64 (.f64 (+.f64 (pow.f64 t #s(literal 9 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (pow.f64 (.f64 t (.f64 (fma.f64 y x z) y)) #s(literal 3 binary64))) (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (-.f64 (.f64 (fma.f64 y x z) y) t)) (.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) (.f64 t t))) (pow.f64 (-.f64 (*.f64 (fma.f64 y x z) y) t) #s(literal 2 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (fma.f64 (fma.f64 y x z) y t) #s(literal -1 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 4 binary64)) (pow.f64 t #s(literal 4 binary64))) (.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) (fma.f64 t t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (-.f64 t (*.f64 (fma.f64 y x z) y)))
(/.f64 (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) (fma.f64 (.f64 t t) (fma.f64 t t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (-.f64 (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) (-.f64 (.f64 t t) (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (fma.f64 (fma.f64 y x z) y t) #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 (fma.f64 y x z) y t) #s(literal -1 binary64)))
(/.f64 (+.f64 (pow.f64 t #s(literal 9 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 9 binary64))) (.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (pow.f64 (.f64 t (*.f64 (fma.f64 y x z) y)) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (fma.f64 (neg.f64 t) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))) (neg.f64 (-.f64 (.f64 (fma.f64 y x z) y) t)))
(/.f64 (neg.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))))
(/.f64 (fma.f64 (neg.f64 t) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (-.f64 (.f64 (fma.f64 y x z) y) t))
(/.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64))) (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 (neg.f64 t) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))) (-.f64 (.f64 (fma.f64 y x z) y) t)))
(neg.f64 (/.f64 (neg.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64)))) (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))))
(neg.f64 (/.f64 (fma.f64 (neg.f64 t) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (neg.f64 (-.f64 (.f64 (fma.f64 y x z) y) t))))
(neg.f64 (/.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64))) (neg.f64 (fma.f64 (-.f64 t (.f64 (fma.f64 y x z) y)) t (pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 2 binary64))))))
(fma.f64 (exp.f64 (log.f64 (fma.f64 y x z))) (exp.f64 (log.f64 y)) t)
(fma.f64 (exp.f64 (log.f64 y)) (exp.f64 (log.f64 (fma.f64 y x z))) t)
(fma.f64 (pow.f64 (/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) #s(literal 1 binary64)) (pow.f64 (fma.f64 z (fma.f64 y x z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 (/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (fma.f64 (neg.f64 z) z (pow.f64 (*.f64 y x) #s(literal 2 binary64)))) #s(literal 1 binary64)) (pow.f64 (fma.f64 y x z) #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 (/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (-.f64 (pow.f64 (.f64 y x) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 2 binary64)))) #s(literal 1 binary64)) (pow.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (.f64 (-.f64 z (.f64 y x)) z)) #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 (/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (+.f64 (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 6 binary64)))) #s(literal 1 binary64)) (pow.f64 (fma.f64 (.f64 (-.f64 z (.f64 y x)) z) (-.f64 (.f64 (-.f64 z (.f64 y x)) z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (*.f64 y x) #s(literal 4 binary64))) #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) #s(literal 1 binary64)) (pow.f64 (pow.f64 (-.f64 (*.f64 y x) z) #s(literal -1 binary64)) #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) #s(literal 1 binary64)) (pow.f64 (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal 1 binary64)) (pow.f64 (/.f64 y (-.f64 (.f64 y x) z)) #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal 1 binary64)) (pow.f64 (.f64 (pow.f64 (-.f64 (*.f64 y x) z) #s(literal -1 binary64)) y) #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) #s(literal 1 binary64)) (pow.f64 (/.f64 y (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64)))) #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) #s(literal 1 binary64)) (pow.f64 (.f64 (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) y) #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 (fma.f64 y x z) #s(literal 1 binary64)) (pow.f64 y #s(literal 1 binary64)) t)
(fma.f64 (pow.f64 y #s(literal 1 binary64)) (pow.f64 (fma.f64 y x z) #s(literal 1 binary64)) t)
(fma.f64 (/.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64)))) (fma.f64 t (fma.f64 (fma.f64 y x z) y t) (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64))) (neg.f64 (.f64 t (/.f64 t (-.f64 (*.f64 (fma.f64 y x z) y) t)))))
(fma.f64 (/.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (fma.f64 (neg.f64 t) t (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)))) (fma.f64 (fma.f64 y x z) y t) (neg.f64 (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t)))))
(fma.f64 (/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (fma.f64 z (fma.f64 y x z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) t)
(fma.f64 (/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (fma.f64 (neg.f64 z) z (pow.f64 (*.f64 y x) #s(literal 2 binary64)))) (fma.f64 y x z) t)
(fma.f64 (/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (-.f64 (pow.f64 (.f64 y x) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (.f64 (-.f64 z (.f64 y x)) z)) t)
(fma.f64 (/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (+.f64 (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 6 binary64)))) (fma.f64 (.f64 (-.f64 z (.f64 y x)) z) (-.f64 (.f64 (-.f64 z (.f64 y x)) z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (*.f64 y x) #s(literal 4 binary64))) t)
(fma.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (pow.f64 (-.f64 (*.f64 y x) z) #s(literal -1 binary64)) t)
(fma.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) t)
(fma.f64 (.f64 (pow.f64 (fma.f64 y x z) #s(literal 2 binary64)) y) (/.f64 y (-.f64 (.f64 (fma.f64 y x z) y) t)) (neg.f64 (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t)))))
(fma.f64 (.f64 (.f64 (fma.f64 y x z) y) y) (/.f64 (fma.f64 y x z) (-.f64 (.f64 (fma.f64 y x z) y) t)) (neg.f64 (.f64 t (/.f64 t (-.f64 (*.f64 (fma.f64 y x z) y) t)))))
(fma.f64 (pow.f64 (fma.f64 y x z) #s(literal 2 binary64)) (/.f64 (.f64 y y) (-.f64 (.f64 (fma.f64 y x z) y) t)) (neg.f64 (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t)))))
(fma.f64 (.f64 y y) (/.f64 (pow.f64 (fma.f64 y x z) #s(literal 2 binary64)) (-.f64 (.f64 (fma.f64 y x z) y) t)) (neg.f64 (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t)))))
(fma.f64 (*.f64 y y) x (fma.f64 z y t))
(fma.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (/.f64 y (-.f64 (.f64 y x) z)) t)
(fma.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (.f64 (pow.f64 (-.f64 (*.f64 y x) z) #s(literal -1 binary64)) y) t)
(fma.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (pow.f64 (-.f64 (.f64 (fma.f64 y x z) y) t) #s(literal -1 binary64)) (neg.f64 (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t)))))
(fma.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (/.f64 y (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64)))) t)
(fma.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (.f64 (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) y) t)
(fma.f64 (.f64 (fma.f64 y x z) y) (/.f64 (.f64 (fma.f64 y x z) y) (-.f64 (.f64 (fma.f64 y x z) y) t)) (neg.f64 (.f64 t (/.f64 t (-.f64 (*.f64 (fma.f64 y x z) y) t)))))
(fma.f64 (fma.f64 y x z) (/.f64 (.f64 (.f64 (fma.f64 y x z) y) y) (-.f64 (.f64 (fma.f64 y x z) y) t)) (neg.f64 (.f64 t (/.f64 t (-.f64 (*.f64 (fma.f64 y x z) y) t)))))
(fma.f64 (fma.f64 y x z) y t)
(fma.f64 z y (fma.f64 (*.f64 y y) x t))
(fma.f64 (*.f64 y x) y (fma.f64 z y t))
(fma.f64 y (/.f64 (.f64 (pow.f64 (fma.f64 y x z) #s(literal 2 binary64)) y) (-.f64 (.f64 (fma.f64 y x z) y) t)) (neg.f64 (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t)))))
(fma.f64 y (fma.f64 y x z) t)
(fma.f64 y z (fma.f64 (*.f64 y y) x t))
(fma.f64 y (*.f64 y x) (fma.f64 z y t))
(fma.f64 x (*.f64 y y) (fma.f64 z y t))
(-.f64 (/.f64 (.f64 t t) (-.f64 t (.f64 (fma.f64 y x z) y))) (/.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (-.f64 t (.f64 (fma.f64 y x z) y))))
(-.f64 (/.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (-.f64 (.f64 (fma.f64 y x z) y) t)) (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 (fma.f64 y x z) y t) #s(literal -1 binary64))) #s(literal -1 binary64)))
(+.f64 (+.f64 t (.f64 z y)) (.f64 (*.f64 y y) x))
(+.f64 (+.f64 t (.f64 (.f64 y y) x)) (*.f64 z y))
(+.f64 (.f64 z y) (fma.f64 (.f64 y y) x t))
(+.f64 (.f64 (.f64 y y) x) (fma.f64 z y t))
(+.f64 (/.f64 (pow.f64 (.f64 (fma.f64 y x z) y) #s(literal 2 binary64)) (-.f64 (.f64 (fma.f64 y x z) y) t)) (neg.f64 (.f64 t (/.f64 t (-.f64 (.f64 (fma.f64 y x z) y) t)))))
(+.f64 t (*.f64 (fma.f64 y x z) y))
(+.f64 (*.f64 (fma.f64 y x z) y) t)
(.f64 (pow.f64 (/.f64 (-.f64 (.f64 y x) z) (-.f64 (pow.f64 (.f64 y x) #s(literal 4 binary64)) (pow.f64 z #s(literal 4 binary64)))) #s(literal -1 binary64)) (pow.f64 (fma.f64 z z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (-.f64 (.f64 y x) z) (-.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64)))) #s(literal -1 binary64)) (pow.f64 (fma.f64 (.f64 z z) (fma.f64 z z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (.f64 y x) #s(literal 4 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64)))) #s(literal -1 binary64)) (pow.f64 (-.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) #s(literal -1 binary64)))
(.f64 (pow.f64 (/.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (+.f64 (pow.f64 z #s(literal 9 binary64)) (pow.f64 (.f64 y x) #s(literal 9 binary64)))) #s(literal -1 binary64)) (pow.f64 (-.f64 (+.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) (pow.f64 (.f64 z (*.f64 y x)) #s(literal 3 binary64))) #s(literal -1 binary64)))
(.f64 (/.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (fma.f64 z (fma.f64 y x z) (pow.f64 (.f64 y x) #s(literal 2 binary64))))
(.f64 (/.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 y x) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (.f64 (-.f64 z (.f64 y x)) z)))
(.f64 (/.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 6 binary64)))) (fma.f64 (.f64 (-.f64 z (.f64 y x)) z) (-.f64 (.f64 (-.f64 z (.f64 y x)) z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (*.f64 y x) #s(literal 4 binary64))))
(.f64 (/.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (fma.f64 (neg.f64 z) z (pow.f64 (*.f64 y x) #s(literal 2 binary64)))) (fma.f64 y x z))
(.f64 (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (-.f64 z (.f64 y x)) #s(literal -1 binary64)))
(.f64 (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64)) (pow.f64 (pow.f64 (fma.f64 (neg.f64 z) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64)) (fma.f64 (neg.f64 z) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))))
(.f64 (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) (pow.f64 (pow.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) #s(literal -1 binary64)) #s(literal -1 binary64)))
(.f64 (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))))
(*.f64 #s(literal 1 binary64) (fma.f64 y x z))
(.f64 (neg.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (pow.f64 (neg.f64 (-.f64 (*.f64 y x) z)) #s(literal -1 binary64)))
(.f64 (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64)))) (pow.f64 (neg.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) #s(literal -1 binary64)))
(.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (-.f64 (*.f64 y x) z) #s(literal -1 binary64)))
(.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (/.f64 (fma.f64 y x z) (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64)))))
(.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (.f64 (fma.f64 y x z) (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64))))
(.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (fma.f64 y x z) (/.f64 (-.f64 (.f64 y x) z) (-.f64 (*.f64 y x) z)))
(.f64 (fma.f64 y x z) (.f64 (-.f64 (.f64 y x) z) (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64))))
(pow.f64 (/.f64 (-.f64 z (.f64 y x)) (-.f64 (.f64 z z) (pow.f64 (*.f64 y x) #s(literal 2 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (pow.f64 (fma.f64 y x z) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (fma.f64 y x z) #s(literal -1 binary64)) #s(literal -1 binary64))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 4 binary64)) (pow.f64 z #s(literal 4 binary64))) (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64))) (fma.f64 z z (pow.f64 (.f64 y x) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64))) (fma.f64 (.f64 z z) (fma.f64 z z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (.f64 y x) #s(literal 4 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64))) (-.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 9 binary64)) (pow.f64 (.f64 y x) #s(literal 9 binary64))) (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) (pow.f64 (.f64 z (*.f64 y x)) #s(literal 3 binary64))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 (.f64 y x) z)) #s(literal 2 binary64)) (pow.f64 (.f64 z (/.f64 z (-.f64 (.f64 y x) z))) #s(literal 2 binary64))) (+.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 (.f64 y x) z)) (.f64 z (/.f64 z (-.f64 (.f64 y x) z)))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 (-.f64 (.f64 y x) z) #s(literal -3 binary64))) (.f64 (pow.f64 z #s(literal 6 binary64)) (pow.f64 (-.f64 (.f64 y x) z) #s(literal -3 binary64)))) (+.f64 (pow.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 (.f64 y x) z)) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 z (/.f64 z (-.f64 (.f64 y x) z))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 (.f64 y x) z)) (.f64 z (/.f64 z (-.f64 (.f64 y x) z)))))))
(/.f64 (neg.f64 (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (neg.f64 (-.f64 z (*.f64 y x))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (-.f64 (.f64 y x) z))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 4 binary64)) (pow.f64 z #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 z z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (-.f64 (*.f64 y x) z)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 z z) (fma.f64 z z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (.f64 y x) #s(literal 4 binary64))) (-.f64 (*.f64 y x) z)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 9 binary64)) (pow.f64 (.f64 y x) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) (pow.f64 (.f64 z (.f64 y x)) #s(literal 3 binary64))) (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 (.f64 y x) z)) (.f64 (-.f64 (.f64 y x) z) (.f64 z z))) (pow.f64 (-.f64 (*.f64 y x) z) #s(literal 2 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (pow.f64 (fma.f64 y x z) #s(literal -1 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 4 binary64)) (pow.f64 z #s(literal 4 binary64))) (.f64 (-.f64 (.f64 y x) z) (fma.f64 z z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) (.f64 (-.f64 (.f64 y x) z) (fma.f64 (.f64 z z) (fma.f64 z z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (.f64 y x) #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) (.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (-.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))))
(/.f64 (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (-.f64 z (*.f64 y x)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 z (.f64 y x)) (-.f64 (.f64 z z) (pow.f64 (*.f64 y x) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (fma.f64 y x z) #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 y x z) #s(literal -1 binary64)))
(/.f64 (+.f64 (pow.f64 z #s(literal 9 binary64)) (pow.f64 (.f64 y x) #s(literal 9 binary64))) (.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 y x) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) (pow.f64 (.f64 z (*.f64 y x)) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (neg.f64 (-.f64 (.f64 y x) z)))
(/.f64 (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64)))))
(/.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (-.f64 (.f64 y x) z))
(/.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (-.f64 (.f64 y x) z)))
(neg.f64 (/.f64 (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64)))) (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64)))))
(neg.f64 (/.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (neg.f64 (-.f64 (.f64 y x) z))))
(neg.f64 (/.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (neg.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))))))
(fma.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 y)) z)
(fma.f64 (exp.f64 (log.f64 y)) (exp.f64 (log.f64 x)) z)
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 y #s(literal 1 binary64)) z)
(fma.f64 (pow.f64 y #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) z)
(fma.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (fma.f64 z (fma.f64 y x z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (neg.f64 (.f64 z (/.f64 z (-.f64 (*.f64 y x) z)))))
(fma.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (fma.f64 y x z) (neg.f64 (.f64 z (/.f64 z (-.f64 (.f64 y x) z)))))
(fma.f64 (.f64 (.f64 x x) y) (/.f64 y (-.f64 (.f64 y x) z)) (neg.f64 (.f64 z (/.f64 z (-.f64 (*.f64 y x) z)))))
(fma.f64 (.f64 (.f64 y y) x) (/.f64 x (-.f64 (.f64 y x) z)) (neg.f64 (.f64 z (/.f64 z (-.f64 (*.f64 y x) z)))))
(fma.f64 (.f64 y y) (/.f64 (.f64 x x) (-.f64 (.f64 y x) z)) (neg.f64 (.f64 z (/.f64 z (-.f64 (*.f64 y x) z)))))
(fma.f64 (.f64 x x) (/.f64 (.f64 y y) (-.f64 (.f64 y x) z)) (neg.f64 (.f64 z (/.f64 z (-.f64 (*.f64 y x) z)))))
(fma.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64)) (neg.f64 (.f64 z (/.f64 z (-.f64 (.f64 y x) z)))))
(fma.f64 (.f64 y x) (/.f64 (.f64 y x) (-.f64 (.f64 y x) z)) (neg.f64 (.f64 z (/.f64 z (-.f64 (*.f64 y x) z)))))
(fma.f64 y (/.f64 (.f64 (.f64 x x) y) (-.f64 (.f64 y x) z)) (neg.f64 (.f64 z (/.f64 z (-.f64 (*.f64 y x) z)))))
(fma.f64 y x z)
(fma.f64 x (/.f64 (.f64 (.f64 y y) x) (-.f64 (.f64 y x) z)) (neg.f64 (.f64 z (/.f64 z (-.f64 (*.f64 y x) z)))))
(fma.f64 x y z)
(-.f64 (/.f64 (.f64 z z) (-.f64 z (.f64 y x))) (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 z (.f64 y x))))
(-.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 (.f64 y x) z)) (.f64 z (/.f64 z (-.f64 (.f64 y x) z))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 y x z) #s(literal -1 binary64))) #s(literal -1 binary64)))
(+.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 (.f64 y x) z)) (neg.f64 (.f64 z (/.f64 z (-.f64 (.f64 y x) z)))))
(+.f64 z (*.f64 y x))
(+.f64 (*.f64 y x) z)
(*.f64 (exp.f64 (log.f64 (fma.f64 y x z))) (exp.f64 (log.f64 y)))
(*.f64 (exp.f64 (log.f64 y)) (exp.f64 (log.f64 (fma.f64 y x z))))
(.f64 (pow.f64 (/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) #s(literal 1 binary64)) (pow.f64 (fma.f64 z (fma.f64 y x z) (pow.f64 (*.f64 y x) #s(literal 2 binary64))) #s(literal 1 binary64)))
(.f64 (pow.f64 (/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) #s(literal 1 binary64)) (pow.f64 (fma.f64 y x z) #s(literal 1 binary64)))
(.f64 (pow.f64 (/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (-.f64 (pow.f64 (.f64 y x) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 2 binary64)))) #s(literal 1 binary64)) (pow.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (.f64 (-.f64 z (*.f64 y x)) z)) #s(literal 1 binary64)))
(.f64 (pow.f64 (/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (+.f64 (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 6 binary64)))) #s(literal 1 binary64)) (pow.f64 (fma.f64 (.f64 (-.f64 z (.f64 y x)) z) (-.f64 (.f64 (-.f64 z (.f64 y x)) z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (.f64 y x) #s(literal 4 binary64))) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) #s(literal 1 binary64)) (pow.f64 (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) #s(literal 1 binary64)) (pow.f64 (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal 1 binary64)) (pow.f64 (/.f64 y (-.f64 (*.f64 y x) z)) #s(literal 1 binary64)))
(.f64 (pow.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) #s(literal 1 binary64)) (pow.f64 (.f64 (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64)) y) #s(literal 1 binary64)))
(.f64 (pow.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) #s(literal 1 binary64)) (pow.f64 (/.f64 y (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) #s(literal 1 binary64)))
(.f64 (pow.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) #s(literal 1 binary64)) (pow.f64 (.f64 (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) y) #s(literal 1 binary64)))
(*.f64 (pow.f64 (fma.f64 y x z) #s(literal 1 binary64)) (pow.f64 y #s(literal 1 binary64)))
(*.f64 (pow.f64 y #s(literal 1 binary64)) (pow.f64 (fma.f64 y x z) #s(literal 1 binary64)))
(.f64 (/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (fma.f64 z (fma.f64 y x z) (pow.f64 (*.f64 y x) #s(literal 2 binary64))))
(.f64 (/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (fma.f64 y x z))
(.f64 (/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (-.f64 (pow.f64 (.f64 y x) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (.f64 (-.f64 z (*.f64 y x)) z)))
(.f64 (/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (+.f64 (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 6 binary64)))) (fma.f64 (.f64 (-.f64 z (.f64 y x)) z) (-.f64 (.f64 (-.f64 z (.f64 y x)) z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (.f64 y x) #s(literal 4 binary64))))
(.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64)))
(.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (/.f64 y (-.f64 (*.f64 y x) z)))
(.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (.f64 (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64)) y))
(.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (/.f64 y (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (.f64 (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) y))
(*.f64 (fma.f64 y x z) y)
(*.f64 y (fma.f64 y x z))
(pow.f64 (/.f64 (-.f64 (.f64 y x) z) (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))) y)) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y)) #s(literal -1 binary64))
(pow.f64 (*.f64 (fma.f64 y x z) y) #s(literal 1 binary64))
(/.f64 (exp.f64 (log.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y))) (exp.f64 (log.f64 (-.f64 (*.f64 y x) z))))
(/.f64 (exp.f64 (log.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y))) (exp.f64 (log.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))))))
(/.f64 (.f64 (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (-.f64 z (.f64 y x)))
(/.f64 (*.f64 #s(literal 1 binary64) y) (pow.f64 (fma.f64 y x z) #s(literal -1 binary64)))
(/.f64 (.f64 (neg.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) y) (neg.f64 (-.f64 (*.f64 y x) z)))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64)))) y) (neg.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(/.f64 (.f64 y (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (-.f64 z (.f64 y x)))
(/.f64 (*.f64 y #s(literal 1 binary64)) (pow.f64 (fma.f64 y x z) #s(literal -1 binary64)))
(/.f64 (.f64 y (neg.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))))) (neg.f64 (-.f64 (*.f64 y x) z)))
(/.f64 (.f64 y (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64))) (-.f64 (.f64 z y) (.f64 (.f64 y y) x)))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (-.f64 (.f64 (.f64 y y) x) (.f64 z y)))
(/.f64 (+.f64 (pow.f64 (.f64 z y) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 y y) x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (.f64 (.f64 z y) (.f64 (.f64 y y) x)))))
(/.f64 (fma.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 (.f64 (.f64 y y) x) (.f64 z y)))))
(/.f64 (neg.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y)) (neg.f64 (-.f64 (*.f64 y x) z)))
(/.f64 (neg.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y)) (neg.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (-.f64 (*.f64 y x) z))
(/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 y x) z) (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))) y)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y)))
(/.f64 y (pow.f64 (fma.f64 y x z) #s(literal -1 binary64)))
(fma.f64 (.f64 y y) x (.f64 z y))
(fma.f64 z y (.f64 (.f64 y y) x))
(fma.f64 (.f64 y x) y (.f64 z y))
(fma.f64 y z (.f64 (.f64 y y) x))
(fma.f64 y (.f64 y x) (.f64 z y))
(fma.f64 x (.f64 y y) (.f64 z y))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 y x z) y)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 (fma.f64 y x z) y)))
(+.f64 (.f64 z y) (.f64 (*.f64 y y) x))
(+.f64 (.f64 (.f64 y y) x) (*.f64 z y))
(*.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 y)))
(*.f64 (exp.f64 (log.f64 y)) (exp.f64 (log.f64 x)))
(*.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 y #s(literal 1 binary64)))
(*.f64 (pow.f64 y #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(*.f64 y x)
(*.f64 x y)
(pow.f64 (*.f64 y x) #s(literal 1 binary64))
(exp.f64 (.f64 (log.f64 (.f64 y x)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 y x)))

eval71.0ms (1.9%)

Memory: 18.0MiB live, 56.4MiB allocated
Compiler: Compiled 7 087 to 885 computations (87.5% saved)

prune23.0ms (0.6%)

Memory

-21.4MiB live, 17.0MiB allocated

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	262	5	267
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	263	5	268

Accuracy

100.0%

Counts

268 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	90.1%	(fma.f64 (*.f64 y y) x (fma.f64 z y t))
▶	78.1%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y x) y t))
▶	67.9%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
▶	59.9%	#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
▶	35.6%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))

Compiler

Compiled 140 to 100 computations (28.6% saved)

simplify4.0ms (0.1%)

Memory

4.9MiB live, 4.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 14 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	123
0	30	119
1	47	118
2	50	118
0	50	113

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(fma.f64 (*.f64 y y) x (fma.f64 z y t))
(*.f64 y y)
y
x
(fma.f64 z y t)
z
t
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
(fma.f64 z y t)
z
y
t
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
(.f64 (.f64 y y) x)
(*.f64 y y)
y
x
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
(*.f64 (fma.f64 y x z) y)
(fma.f64 y x z)
y
x
z
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y x) y t))
(fma.f64 (*.f64 y x) y t)
(*.f64 y x)
y
x
t

Outputs
(fma.f64 (*.f64 y y) x (fma.f64 z y t))
(fma.f64 (fma.f64 x y z) y t)
(*.f64 y y)
y
x
(fma.f64 z y t)
z
t
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
(fma.f64 z y t)
z
y
t
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 x (.f64 y y)))
(.f64 (.f64 y y) x)
(.f64 x (.f64 y y))
(*.f64 y y)
y
x
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 x y z) y))
(*.f64 (fma.f64 y x z) y)
(*.f64 (fma.f64 x y z) y)
(fma.f64 y x z)
(fma.f64 x y z)
y
x
z
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y x) y t))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 x y) y t))
(fma.f64 (*.f64 y x) y t)
(fma.f64 (*.f64 x y) y t)
(*.f64 y x)
(*.f64 x y)
y
x
t

localize63.0ms (1.6%)

Memory

-23.6MiB live, 61.5MiB allocated

Localize:

Found 14 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 y x)
accuracy	0.0703125	(fma.f64 (*.f64 y x) y t)
accuracy	13.964239108799768	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y x) y t))
accuracy	0.0	(fma.f64 y x z)
accuracy	0.06640625	(*.f64 (fma.f64 y x z) y)
accuracy	25.655539871991294	#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
accuracy	0.0	(*.f64 y y)
accuracy	6.740375659796647	(.f64 (.f64 y y) x)
accuracy	39.51448590969105	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
accuracy	0.0	(fma.f64 z y t)
accuracy	20.541201264541154	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
accuracy	0.0	(fma.f64 z y t)
accuracy	0.0	(*.f64 y y)
accuracy	6.134481832757942	(fma.f64 (*.f64 y y) x (fma.f64 z y t))

Samples

41.0ms

256×

valid

Compiler

Compiled 107 to 20 computations (81.3% saved)

Precisions

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

ival-mult: 13.0ms (66.9% of total)

ival-add: 6.0ms (30.9% of total)

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

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

series12.0ms (0.3%)

Memory

19.2MiB live, 19.2MiB allocated

Counts

12 → 45

Calls

Call 1

Inputs
(fma.f64 (*.f64 y y) x (fma.f64 z y t))
(*.f64 y y)
(fma.f64 z y t)
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
(.f64 (.f64 y y) x)
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
(*.f64 (fma.f64 y x z) y)
(fma.f64 y x z)
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y x) y t))
(fma.f64 (*.f64 y x) y t)
(*.f64 y x)

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

Calls

12 calls:

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

simplify130.0ms (3.4%)

Memory

-9.4MiB live, 109.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	133	323
1	483	285
2	1482	285
3	3978	285
4	7454	285
0	8110	234

Stop Event

1×	iter limit
1×	node limit

Counts

45 → 43

Calls

Call 1

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

Outputs
(+ t (* y z))
(fma.f64 z y t)
(+ t (+ (* x (pow y 2)) (* y z)))
(fma.f64 (fma.f64 x y z) y t)
(* x (pow y 2))
(.f64 (.f64 y y) x)
(* y z)
(*.f64 z y)
(+ (* x (pow y 2)) (* y z))
(*.f64 (fma.f64 x y z) y)
z
(+ z (* x y))
(fma.f64 x y z)
t
(+ t (* x (pow y 2)))
(fma.f64 (*.f64 y y) x t)
(* x y)
(*.f64 x y)
(* x (+ (/ t x) (+ (/ (* y z) x) (pow y 2))))
(fma.f64 (fma.f64 x y z) y t)
(* x (+ (/ (* y z) x) (pow y 2)))
(*.f64 (fma.f64 x y z) y)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x (+ (/ t x) (pow y 2)))
(fma.f64 (*.f64 y y) x t)
(* -1 (* x (+ (* -1 (/ (+ t (* y z)) x)) (* -1 (pow y 2)))))
(fma.f64 (fma.f64 x y z) y t)
(* -1 (* x (+ (* -1 (/ (* y z) x)) (* -1 (pow y 2)))))
(*.f64 (fma.f64 x y z) y)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
(* -1 (* x (+ (* -1 (/ t x)) (* -1 (pow y 2)))))
(fma.f64 (*.f64 y y) x t)
(+ t (* y (+ z (* x y))))
(fma.f64 (fma.f64 x y z) y t)
(pow y 2)
(*.f64 y y)
(* y (+ z (* x y)))
(*.f64 (fma.f64 x y z) y)
(* (pow y 2) (+ x (/ z y)))
(*.f64 (fma.f64 x y z) y)
(* (pow y 2) (+ x (+ (/ t (pow y 2)) (/ z y))))
(fma.f64 (fma.f64 x y z) y t)
(* y (+ z (/ t y)))
(fma.f64 z y t)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* (pow y 2) (+ x (/ t (pow y 2))))
(fma.f64 (*.f64 y y) x t)
(* (pow y 2) (+ x (* -1 (/ (+ (* -1 z) (* -1 (/ t y))) y))))
(fma.f64 (fma.f64 x y z) y t)
(* -1 (* y (+ (* -1 z) (* -1 (/ t y)))))
(fma.f64 z y t)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* z (+ y (+ (/ t z) (/ (* x (pow y 2)) z))))
(fma.f64 (fma.f64 x y z) y t)
(* z (+ y (/ t z)))
(fma.f64 z y t)
(* z (+ y (/ (* x (pow y 2)) z)))
(*.f64 (fma.f64 x y z) y)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ t (* x (pow y 2))) z)))))
(fma.f64 (fma.f64 x y z) y t)
(* -1 (* z (+ (* -1 y) (* -1 (/ t z)))))
(fma.f64 z y t)
(* -1 (* z (+ (* -1 y) (* -1 (/ (* x (pow y 2)) z)))))
(*.f64 (fma.f64 x y z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(* t (+ 1 (+ (/ (* x (pow y 2)) t) (/ (* y z) t))))
(fma.f64 (fma.f64 x y z) y t)
(* t (+ 1 (/ (* y z) t)))
(fma.f64 z y t)
(* t (+ 1 (/ (* y (+ z (* x y))) t)))
(fma.f64 (fma.f64 x y z) y t)
(* t (+ 1 (/ (* x (pow y 2)) t)))
(fma.f64 (*.f64 y y) x t)
(* -1 (* t (- (* -1 (/ (+ (* x (pow y 2)) (* y z)) t)) 1)))
(fma.f64 (fma.f64 x y z) y t)
(* -1 (* t (- (* -1 (/ (* y z) t)) 1)))
(fma.f64 z y t)
(* -1 (* t (- (* -1 (/ (* y (+ z (* x y))) t)) 1)))
(fma.f64 (fma.f64 x y z) y t)
(* -1 (* t (- (* -1 (/ (* x (pow y 2)) t)) 1)))
(fma.f64 (*.f64 y y) x t)

rewrite361.0ms (9.5%)

Memory

20.2MiB live, 129.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	101
0	30	97
1	124	96
2	790	96
0	8556	91

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

12 → 292

Calls

Call 1

Inputs
(fma.f64 (*.f64 y y) x (fma.f64 z y t))
(*.f64 y y)
(fma.f64 z y t)
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
(.f64 (.f64 y y) x)
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
(*.f64 (fma.f64 y x z) y)
(fma.f64 y x z)
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y x) y t))
(fma.f64 (*.f64 y x) y t)
(*.f64 y x)

Outputs
(.f64 (-.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z y (-.f64 t (.f64 x (*.f64 y y))))))
(.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 t (.f64 (fma.f64 x y z) y))))
(*.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y z) y t))
(.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 (neg.f64 x) (.f64 y y) (fma.f64 z y t))))
(.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (fma.f64 z y t) (fma.f64 z y (-.f64 t (.f64 x (*.f64 y y)))))))))
(.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (*.f64 t t))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (fma.f64 x y z) y (neg.f64 t)))))
(.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 t (-.f64 t (.f64 (fma.f64 x y z) y)) (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64))))))
(.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 2 binary64))) (pow.f64 (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t)) #s(literal -1 binary64)))
(.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (*.f64 t t)) (pow.f64 (fma.f64 (fma.f64 x y z) y (neg.f64 t)) #s(literal -1 binary64)))
(.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (.f64 (.f64 x (.f64 y y)) (fma.f64 y (-.f64 (*.f64 x y) z) (neg.f64 t))))))
(.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (fma.f64 z y t) (fma.f64 z y (-.f64 t (.f64 x (*.f64 y y)))))) #s(literal -1 binary64)))
(.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 t t (.f64 (.f64 (fma.f64 x y z) y) (fma.f64 (fma.f64 x y z) y (neg.f64 t))))))
(.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) (pow.f64 (fma.f64 t (-.f64 t (.f64 (fma.f64 x y z) y)) (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64))) #s(literal -1 binary64)))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y z) y t)) #s(literal -1 binary64))
(/.f64 (-.f64 (.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t)))) (.f64 (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))))) (+.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t)))))
(/.f64 (-.f64 (.f64 (/.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (/.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (fma.f64 (fma.f64 x y z) y (neg.f64 t)))) (.f64 (/.f64 (.f64 t t) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (/.f64 (.f64 t t) (fma.f64 (fma.f64 x y z) y (neg.f64 t))))) (+.f64 (/.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (/.f64 (.f64 t t) (fma.f64 (fma.f64 x y z) y (neg.f64 t)))))
(/.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 (fma.f64 (.f64 x y) y t) (fma.f64 (.f64 x y) y t))) (-.f64 (.f64 z y) (fma.f64 (.f64 x y) y t)))
(/.f64 (-.f64 (.f64 (fma.f64 (.f64 x y) y t) (fma.f64 (.f64 x y) y t)) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (-.f64 (fma.f64 (.f64 x y) y t) (.f64 z y)))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (fma.f64 (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 y (-.f64 (*.f64 x y) z) (neg.f64 t)))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 t t) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (/.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (fma.f64 (/.f64 (.f64 t t) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (/.f64 (.f64 t t) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (.f64 (/.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (/.f64 (*.f64 t t) (fma.f64 (fma.f64 x y z) y (neg.f64 t)))))))
(/.f64 (+.f64 (pow.f64 (.f64 z y) #s(literal 3 binary64)) (pow.f64 (fma.f64 (.f64 x y) y t) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 (fma.f64 (.f64 x y) y t) (fma.f64 (.f64 x y) y t)) (.f64 (.f64 z y) (fma.f64 (*.f64 x y) y t)))))
(/.f64 (+.f64 (pow.f64 (fma.f64 (.f64 x y) y t) #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (fma.f64 (fma.f64 (.f64 x y) y t) (fma.f64 (.f64 x y) y t) (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 (fma.f64 (.f64 x y) y t) (.f64 z y)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 z y (-.f64 t (.f64 x (.f64 y y))))))
(/.f64 (neg.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)))) (neg.f64 (-.f64 t (*.f64 (fma.f64 x y z) y))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 2 binary64))))) (neg.f64 (fma.f64 (neg.f64 x) (*.f64 y y) (fma.f64 z y t))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (fma.f64 z y t) (fma.f64 z y (-.f64 t (.f64 x (.f64 y y)))))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (.f64 t t)))) (neg.f64 (neg.f64 (fma.f64 (fma.f64 x y z) y (neg.f64 t)))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 t (-.f64 t (.f64 (fma.f64 x y z) y)) (pow.f64 (*.f64 (fma.f64 x y z) y) #s(literal 2 binary64))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 4 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (pow.f64 (fma.f64 z y t) #s(literal 2 binary64))) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 4 binary64)) (pow.f64 t #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (*.f64 t t)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (+.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 4 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 4 binary64))) (pow.f64 (.f64 (.f64 (fma.f64 z y t) x) (.f64 y y)) #s(literal 2 binary64))) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 3 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (fma.f64 z y t) (fma.f64 z y (-.f64 t (.f64 x (.f64 y y))))))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 9 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 6 binary64))) (.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 x (fma.f64 z y t)) #s(literal 3 binary64)))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (fma.f64 z y t) (fma.f64 z y (-.f64 t (.f64 x (.f64 y y))))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 4 binary64)) (+.f64 (pow.f64 t #s(literal 4 binary64)) (pow.f64 (.f64 (.f64 t (fma.f64 x y z)) y) #s(literal 2 binary64)))) (fma.f64 (fma.f64 x y z) y (neg.f64 t))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) (fma.f64 t (-.f64 t (.f64 (fma.f64 x y z) y)) (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 9 binary64)) (pow.f64 t #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (pow.f64 (.f64 (.f64 t (fma.f64 x y z)) y) #s(literal 3 binary64))) (fma.f64 t (-.f64 t (.f64 (fma.f64 x y z) y)) (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (.f64 (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t)) (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)))) (.f64 (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t)) (fma.f64 y (-.f64 (*.f64 x y) z) (neg.f64 t))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (.f64 (fma.f64 (fma.f64 x y z) y (neg.f64 t)) (.f64 t t))) (*.f64 (fma.f64 (fma.f64 x y z) y (neg.f64 t)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y z) y t))))
(/.f64 (-.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64))) (fma.f64 z y (-.f64 t (.f64 x (.f64 y y)))))
(/.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64))) (-.f64 t (*.f64 (fma.f64 x y z) y)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z y (-.f64 t (.f64 x (.f64 y y)))) (-.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 t (.f64 (fma.f64 x y z) y)) (-.f64 (.f64 t t) (pow.f64 (*.f64 (fma.f64 x y z) y) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y z) y t)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (.f64 (.f64 x (.f64 y y)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 t t (.f64 (.f64 (fma.f64 x y z) y) (fma.f64 (fma.f64 x y z) y (neg.f64 t)))) (+.f64 (pow.f64 (*.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y z) y t)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)))) (fma.f64 (neg.f64 x) (*.f64 y y) (fma.f64 z y t)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (.f64 (.f64 x (.f64 y y)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (fma.f64 z y t) (fma.f64 z y (-.f64 t (.f64 x (.f64 y y))))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (.f64 t t))) (neg.f64 (fma.f64 (fma.f64 x y z) y (neg.f64 t))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64)))) (neg.f64 (fma.f64 t t (.f64 (*.f64 (fma.f64 x y z) y) (fma.f64 (fma.f64 x y z) y (neg.f64 t))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64)))) (neg.f64 (fma.f64 t (-.f64 t (.f64 (fma.f64 x y z) y)) (pow.f64 (*.f64 (fma.f64 x y z) y) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 2 binary64))) (fma.f64 y (-.f64 (*.f64 x y) z) (neg.f64 t)))
(/.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (.f64 t t)) (fma.f64 (fma.f64 x y z) y (neg.f64 t)))
(/.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64))) (+.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (.f64 (.f64 x (.f64 y y)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t)))))
(/.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (fma.f64 z y t) (fma.f64 z y (-.f64 t (.f64 x (.f64 y y)))))))
(/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) (fma.f64 t t (.f64 (*.f64 (fma.f64 x y z) y) (fma.f64 (fma.f64 x y z) y (neg.f64 t)))))
(/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) (fma.f64 t (-.f64 t (.f64 (fma.f64 x y z) y)) (pow.f64 (*.f64 (fma.f64 x y z) y) #s(literal 2 binary64))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)))) (fma.f64 y (-.f64 (*.f64 x y) z) (neg.f64 t))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64)))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (fma.f64 z y t) (fma.f64 z y (-.f64 t (.f64 x (.f64 y y))))))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (.f64 t t))) (fma.f64 (fma.f64 x y z) y (neg.f64 t))))
(neg.f64 (/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64)))) (fma.f64 t (-.f64 t (.f64 (fma.f64 x y z) y)) (pow.f64 (*.f64 (fma.f64 x y z) y) #s(literal 2 binary64)))))
(neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 2 binary64))) (fma.f64 (neg.f64 x) (*.f64 y y) (fma.f64 z y t))))
(neg.f64 (/.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (fma.f64 z y t) #s(literal 3 binary64))) (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (fma.f64 z y t) (fma.f64 z y (-.f64 t (.f64 x (.f64 y y)))))))))
(neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (.f64 t t)) (neg.f64 (fma.f64 (fma.f64 x y z) y (neg.f64 t)))))
(neg.f64 (/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) (neg.f64 (fma.f64 t (-.f64 t (.f64 (fma.f64 x y z) y)) (pow.f64 (*.f64 (fma.f64 x y z) y) #s(literal 2 binary64))))))
(fma.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)) y) (pow.f64 (-.f64 (.f64 x y) z) #s(literal -1 binary64)) t)
(fma.f64 (.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) y) (pow.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64))) #s(literal -1 binary64)) t)
(fma.f64 (.f64 y (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z))) (pow.f64 (-.f64 (.f64 x y) z) #s(literal -1 binary64)) t)
(fma.f64 (.f64 y (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (pow.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64))) #s(literal -1 binary64)) t)
(fma.f64 (.f64 (.f64 y y) (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z))) (/.f64 #s(literal 1 binary64) (.f64 y (-.f64 (.f64 x y) z))) t)
(fma.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 t (.f64 x (.f64 y y)))) (.f64 z y))
(fma.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 t (.f64 z y))) (.f64 x (*.f64 y y)))
(fma.f64 #s(literal 1 binary64) (fma.f64 (.f64 x y) y t) (.f64 z y))
(fma.f64 #s(literal 1 binary64) (fma.f64 z y t) (.f64 x (.f64 y y)))
(fma.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 (*.f64 (pow.f64 y #s(literal 3 binary64)) x) z)))) t)
(fma.f64 (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (neg.f64 t) t))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 x (.f64 y y)) t))) (*.f64 z y))
(fma.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (.f64 y y))))))) (*.f64 z y))
(fma.f64 (neg.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 t t))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 z y) t))) (.f64 x (*.f64 y y)))
(fma.f64 (neg.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 t (-.f64 t (.f64 z y)) (pow.f64 (.f64 z y) #s(literal 2 binary64))))) (.f64 x (*.f64 y y)))
(fma.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (neg.f64 t) t)) (pow.f64 (-.f64 (.f64 x (.f64 y y)) t) #s(literal -1 binary64)) (*.f64 z y))
(fma.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 t t)) (pow.f64 (-.f64 (.f64 z y) t) #s(literal -1 binary64)) (.f64 x (*.f64 y y)))
(fma.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (pow.f64 (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t)) #s(literal -1 binary64)) (neg.f64 (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t)))))
(fma.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 t t (.f64 (.f64 x (.f64 y y)) (-.f64 (.f64 x (.f64 y y)) t)))) (.f64 z y))
(fma.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (.f64 y y))))) #s(literal -1 binary64)) (*.f64 z y))
(fma.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (pow.f64 (fma.f64 (fma.f64 x y z) y (neg.f64 t)) #s(literal -1 binary64)) (neg.f64 (/.f64 (.f64 t t) (fma.f64 (fma.f64 x y z) y (neg.f64 t)))))
(fma.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 t t (.f64 (.f64 z y) (-.f64 (.f64 z y) t)))) (.f64 x (.f64 y y)))
(fma.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (pow.f64 (fma.f64 t (-.f64 t (.f64 z y)) (pow.f64 (.f64 z y) #s(literal 2 binary64))) #s(literal -1 binary64)) (.f64 x (*.f64 y y)))
(fma.f64 (*.f64 x y) y (fma.f64 z y t))
(fma.f64 (fma.f64 x y z) y t)
(fma.f64 z y (fma.f64 (*.f64 x y) y t))
(fma.f64 x (*.f64 y y) (fma.f64 z y t))
(fma.f64 (*.f64 y y) x (fma.f64 z y t))
(fma.f64 y (*.f64 x y) (fma.f64 z y t))
(fma.f64 y (fma.f64 x y z) t)
(fma.f64 y z (fma.f64 (*.f64 x y) y t))
(-.f64 (fma.f64 z y (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t))) (/.f64 (.f64 t t) (-.f64 (.f64 x (*.f64 y y)) t)))
(-.f64 (fma.f64 (.f64 x y) y (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t))) (/.f64 (.f64 t t) (-.f64 (*.f64 z y) t)))
(-.f64 (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 z y (-.f64 t (.f64 x (.f64 y y))))) (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 z y (-.f64 t (.f64 x (.f64 y y))))))
(-.f64 (/.f64 (.f64 t t) (-.f64 t (.f64 (fma.f64 x y z) y))) (/.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (-.f64 t (.f64 (fma.f64 x y z) y))))
(-.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))))
(-.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t)) (-.f64 (/.f64 (.f64 t t) (-.f64 (.f64 x (.f64 y y)) t)) (.f64 z y)))
(-.f64 (/.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (/.f64 (.f64 t t) (fma.f64 (fma.f64 x y z) y (neg.f64 t))))
(-.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t)) (-.f64 (/.f64 (.f64 t t) (-.f64 (.f64 z y) t)) (.f64 x (.f64 y y))))
(+.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t))) (neg.f64 (/.f64 (pow.f64 (fma.f64 z y t) #s(literal 2 binary64)) (fma.f64 y (-.f64 (.f64 x y) z) (neg.f64 t)))))
(+.f64 (/.f64 (pow.f64 (.f64 (fma.f64 x y z) y) #s(literal 2 binary64)) (fma.f64 (fma.f64 x y z) y (neg.f64 t))) (neg.f64 (/.f64 (.f64 t t) (fma.f64 (fma.f64 x y z) y (neg.f64 t)))))
(+.f64 (.f64 z y) (fma.f64 (.f64 x y) y t))
(+.f64 (fma.f64 (.f64 x y) y t) (.f64 z y))
(+.f64 (.f64 x (.f64 y y)) (fma.f64 z y t))
(+.f64 (*.f64 (fma.f64 x y z) y) t)
(+.f64 (fma.f64 z y t) (.f64 x (.f64 y y)))
(+.f64 t (*.f64 (fma.f64 x y z) y))
(*.f64 (exp.f64 (log.f64 y)) (exp.f64 (log.f64 y)))
(*.f64 y y)
(pow.f64 (exp.f64 (log.f64 y)) #s(literal 2 binary64))
(pow.f64 (*.f64 y y) #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 y) #s(literal 2 binary64)))
(.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 t (.f64 z y))))
(*.f64 #s(literal 1 binary64) (fma.f64 z y t))
(.f64 (neg.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 t t))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 z y) t))))
(.f64 (neg.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 t (-.f64 t (.f64 z y)) (pow.f64 (.f64 z y) #s(literal 2 binary64))))))
(.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 t t)) (pow.f64 (-.f64 (.f64 z y) t) #s(literal -1 binary64)))
(.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 t t (.f64 (.f64 z y) (-.f64 (*.f64 z y) t)))))
(.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (pow.f64 (fma.f64 t (-.f64 t (.f64 z y)) (pow.f64 (.f64 z y) #s(literal 2 binary64))) #s(literal -1 binary64)))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 z y t)) #s(literal -1 binary64))
(/.f64 (-.f64 (.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t)) (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t))) (.f64 (/.f64 (.f64 t t) (-.f64 (.f64 z y) t)) (/.f64 (.f64 t t) (-.f64 (.f64 z y) t)))) (+.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t)) (/.f64 (.f64 t t) (-.f64 (.f64 z y) t))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 t t) (-.f64 (.f64 z y) t)) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t)) (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t)) (fma.f64 (/.f64 (.f64 t t) (-.f64 (.f64 z y) t)) (/.f64 (.f64 t t) (-.f64 (.f64 z y) t)) (.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t)) (/.f64 (.f64 t t) (-.f64 (*.f64 z y) t))))))
(/.f64 (neg.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 z y) #s(literal 2 binary64)))) (neg.f64 (-.f64 t (*.f64 z y))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 t t)))) (neg.f64 (neg.f64 (-.f64 (*.f64 z y) t))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 t (-.f64 t (.f64 z y)) (pow.f64 (*.f64 z y) #s(literal 2 binary64))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) (fma.f64 t (-.f64 t (.f64 z y)) (pow.f64 (.f64 z y) #s(literal 2 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (.f64 z y) #s(literal 4 binary64)) (+.f64 (pow.f64 t #s(literal 4 binary64)) (pow.f64 (.f64 (.f64 z y) t) #s(literal 2 binary64)))) (-.f64 (*.f64 z y) t)))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 z y) #s(literal 9 binary64)) (pow.f64 t #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 z y) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (pow.f64 (.f64 (.f64 z y) t) #s(literal 3 binary64))) (fma.f64 t (-.f64 t (.f64 z y)) (pow.f64 (.f64 z y) #s(literal 2 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 4 binary64)) (pow.f64 t #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 t t)) (-.f64 (.f64 z y) t)))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t)) (.f64 (-.f64 (.f64 z y) t) (.f64 t t))) (pow.f64 (-.f64 (*.f64 z y) t) #s(literal 2 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 z y t))))
(/.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (-.f64 t (*.f64 z y)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 t (.f64 z y)) (-.f64 (.f64 t t) (pow.f64 (*.f64 z y) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 z y t)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 t t (.f64 (.f64 z y) (-.f64 (.f64 z y) t))) (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 z y t)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 t t))) (neg.f64 (-.f64 (*.f64 z y) t)))
(/.f64 (neg.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))) (neg.f64 (fma.f64 t t (.f64 (.f64 z y) (-.f64 (.f64 z y) t)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))) (neg.f64 (fma.f64 t (-.f64 t (.f64 z y)) (pow.f64 (*.f64 z y) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 t t)) (-.f64 (*.f64 z y) t))
(/.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (fma.f64 t t (.f64 (.f64 z y) (-.f64 (.f64 z y) t))))
(/.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (fma.f64 t (-.f64 t (.f64 z y)) (pow.f64 (*.f64 z y) #s(literal 2 binary64))))
(neg.f64 (neg.f64 (fma.f64 z y t)))
(fma.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (pow.f64 (-.f64 (.f64 z y) t) #s(literal -1 binary64)) (neg.f64 (/.f64 (.f64 t t) (-.f64 (.f64 z y) t))))
(fma.f64 z y t)
(fma.f64 y z t)
(-.f64 (/.f64 (.f64 t t) (-.f64 t (.f64 z y))) (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 t (.f64 z y))))
(-.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t)) (/.f64 (.f64 t t) (-.f64 (.f64 z y) t)))
(+.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (.f64 z y) t)) (neg.f64 (/.f64 (.f64 t t) (-.f64 (.f64 z y) t))))
(+.f64 (*.f64 z y) t)
(+.f64 t (*.f64 z y))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 x (.f64 y y)))
(.f64 (.f64 x y) y)
(.f64 x (.f64 y y))
(.f64 (.f64 y y) x)
(.f64 y (.f64 x y))
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 x y z) y))
(.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)) y) (pow.f64 (-.f64 (*.f64 x y) z) #s(literal -1 binary64)))
(.f64 (.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) y) (pow.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (*.f64 x y) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 y (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z))) (pow.f64 (-.f64 (*.f64 x y) z) #s(literal -1 binary64)))
(.f64 (.f64 y (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (pow.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (*.f64 x y) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 y y) (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z))) (/.f64 #s(literal 1 binary64) (.f64 y (-.f64 (*.f64 x y) z))))
(.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) z)))))
(*.f64 (fma.f64 x y z) y)
(*.f64 y (fma.f64 x y z))
(/.f64 (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64))) (-.f64 (.f64 z y) (.f64 x (.f64 y y))))
(/.f64 (+.f64 (pow.f64 (.f64 z y) #s(literal 3 binary64)) (pow.f64 (.f64 x (.f64 y y)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (.f64 (.f64 (.f64 z y) y) (.f64 x y)))))
(/.f64 (neg.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)) y)) (neg.f64 (-.f64 (.f64 x y) z)))
(/.f64 (neg.f64 (.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) y)) (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (.f64 y (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)))) (neg.f64 (-.f64 (.f64 x y) z)))
(/.f64 (neg.f64 (.f64 y (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))))) (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (.f64 (.f64 y y) (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)))) (neg.f64 (.f64 y (-.f64 (.f64 x y) z))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 (*.f64 (pow.f64 y #s(literal 3 binary64)) x) z)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)) y) (-.f64 (.f64 x y) z))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) y) (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64))))
(/.f64 (.f64 y (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z))) (-.f64 (.f64 x y) z))
(/.f64 (.f64 y (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64))))
(/.f64 (.f64 (.f64 y y) (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z))) (.f64 y (-.f64 (.f64 x y) z)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 x y) z) (.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)) y)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) y)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 x y) z) (.f64 y (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (.f64 y (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 y (-.f64 (.f64 x y) z)) (.f64 (.f64 y y) (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) z))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (*.f64 z y) #s(literal 3 binary64)))))
(/.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (-.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 (*.f64 (pow.f64 y #s(literal 3 binary64)) x) z))))
(/.f64 y (/.f64 #s(literal 1 binary64) (fma.f64 x y z)))
(fma.f64 (.f64 x y) y (.f64 z y))
(fma.f64 z y (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(fma.f64 (.f64 y y) x (.f64 z y))
(fma.f64 y (.f64 x y) (.f64 z y))
(fma.f64 y z (.f64 x (.f64 y y)))
(-.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (.f64 y (-.f64 (.f64 x y) z))) (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 y (-.f64 (*.f64 x y) z))))
(+.f64 (.f64 z y) (.f64 x (*.f64 y y)))
(+.f64 (.f64 x (.f64 y y)) (*.f64 z y))
(.f64 (-.f64 (.f64 z z) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 z (.f64 x y))))
(*.f64 #s(literal 1 binary64) (fma.f64 x y z))
(.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 x y) z))))
(.f64 (neg.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64))))))
(.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)) (pow.f64 (-.f64 (.f64 x y) z) #s(literal -1 binary64)))
(.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z z (.f64 (.f64 x y) (-.f64 (*.f64 x y) z)))))
(.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (pow.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64))) #s(literal -1 binary64)))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z)) #s(literal -1 binary64))
(/.f64 (-.f64 (.f64 (/.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 (.f64 x y) z)) (/.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 (.f64 x y) z))) (.f64 (/.f64 (.f64 z z) (-.f64 (.f64 x y) z)) (/.f64 (.f64 z z) (-.f64 (.f64 x y) z)))) (+.f64 (/.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 (.f64 x y) z)) (/.f64 (.f64 z z) (-.f64 (.f64 x y) z))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 (.f64 x y) z)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 z z) (-.f64 (.f64 x y) z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 (.f64 x y) z)) (/.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 (.f64 x y) z)) (fma.f64 (/.f64 (.f64 z z) (-.f64 (.f64 x y) z)) (/.f64 (.f64 z z) (-.f64 (.f64 x y) z)) (.f64 (/.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 (.f64 x y) z)) (/.f64 (.f64 z z) (-.f64 (*.f64 x y) z))))))
(/.f64 (neg.f64 (-.f64 (.f64 z z) (pow.f64 (.f64 x y) #s(literal 2 binary64)))) (neg.f64 (-.f64 z (*.f64 x y))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)))) (neg.f64 (neg.f64 (-.f64 (*.f64 x y) z))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (*.f64 x y) #s(literal 2 binary64))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 4 binary64)) (pow.f64 z #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)) (-.f64 (.f64 x y) z)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 4 binary64)) (+.f64 (pow.f64 z #s(literal 4 binary64)) (pow.f64 (.f64 (.f64 z y) x) #s(literal 2 binary64)))) (-.f64 (*.f64 x y) z)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64)))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 9 binary64)) (pow.f64 z #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 6 binary64)) (pow.f64 z #s(literal 6 binary64))) (pow.f64 (.f64 (.f64 z y) x) #s(literal 3 binary64))) (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (.f64 x y) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 (.f64 x y) z)) (.f64 (-.f64 (.f64 x y) z) (.f64 z z))) (.f64 (-.f64 (.f64 x y) z) (-.f64 (*.f64 x y) z)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (-.f64 (.f64 z z) (pow.f64 (.f64 x y) #s(literal 2 binary64))) (-.f64 z (*.f64 x y)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 z (.f64 x y)) (-.f64 (.f64 z z) (pow.f64 (*.f64 x y) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z z (.f64 (.f64 x y) (-.f64 (.f64 x y) z))) (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 x y z)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z))) (neg.f64 (-.f64 (*.f64 x y) z)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (fma.f64 z z (.f64 (.f64 x y) (-.f64 (.f64 x y) z)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (*.f64 x y) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)) (-.f64 (*.f64 x y) z))
(/.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z z (.f64 (.f64 x y) (-.f64 (.f64 x y) z))))
(/.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (*.f64 x y) #s(literal 2 binary64))))
(neg.f64 (/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z))) (-.f64 (*.f64 x y) z)))
(neg.f64 (/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (*.f64 x y) #s(literal 2 binary64)))))
(neg.f64 (/.f64 (-.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (.f64 z z)) (neg.f64 (-.f64 (*.f64 x y) z))))
(neg.f64 (/.f64 (+.f64 (pow.f64 (.f64 x y) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (pow.f64 (*.f64 x y) #s(literal 2 binary64))))))
(fma.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (pow.f64 (-.f64 (.f64 x y) z) #s(literal -1 binary64)) (neg.f64 (/.f64 (.f64 z z) (-.f64 (.f64 x y) z))))
(fma.f64 x y z)
(fma.f64 y x z)
(-.f64 (/.f64 (.f64 z z) (-.f64 z (.f64 x y))) (/.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 z (.f64 x y))))
(-.f64 (/.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 (.f64 x y) z)) (/.f64 (.f64 z z) (-.f64 (.f64 x y) z)))
(+.f64 (/.f64 (pow.f64 (.f64 x y) #s(literal 2 binary64)) (-.f64 (.f64 x y) z)) (neg.f64 (/.f64 (.f64 z z) (-.f64 (.f64 x y) z))))
(+.f64 (*.f64 x y) z)
(+.f64 z (*.f64 x y))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 x y) y t))
(.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 t (.f64 x (.f64 y y)))))
(.f64 #s(literal 1 binary64) (fma.f64 (.f64 x y) y t))
(.f64 (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (neg.f64 t) t))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 x (*.f64 y y)) t))))
(.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (*.f64 y y))))))))
(.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (neg.f64 t) t)) (pow.f64 (-.f64 (.f64 x (*.f64 y y)) t) #s(literal -1 binary64)))
(.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 t t (.f64 (.f64 x (.f64 y y)) (-.f64 (.f64 x (.f64 y y)) t)))))
(.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (*.f64 y y))))) #s(literal -1 binary64)))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x y) y t)) #s(literal -1 binary64))
(/.f64 (-.f64 (.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t)) (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t))) (.f64 (/.f64 (.f64 t t) (-.f64 (.f64 x (.f64 y y)) t)) (/.f64 (.f64 t t) (-.f64 (.f64 x (.f64 y y)) t)))) (+.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t)) (/.f64 (.f64 t t) (-.f64 (.f64 x (*.f64 y y)) t))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 t t) (-.f64 (.f64 x (.f64 y y)) t)) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t)) (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t)) (fma.f64 (/.f64 (.f64 t t) (-.f64 (.f64 x (.f64 y y)) t)) (/.f64 (.f64 t t) (-.f64 (.f64 x (.f64 y y)) t)) (.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t)) (/.f64 (.f64 t t) (-.f64 (.f64 x (*.f64 y y)) t))))))
(/.f64 (neg.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)))) (neg.f64 (-.f64 t (.f64 x (*.f64 y y)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (neg.f64 t) t)))) (neg.f64 (neg.f64 (-.f64 (.f64 x (.f64 y y)) t))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (.f64 y y))))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 4 binary64)) (pow.f64 t #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t t)) (-.f64 (.f64 x (.f64 y y)) t)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 4 binary64)) (+.f64 (pow.f64 t #s(literal 4 binary64)) (pow.f64 (.f64 (.f64 x (.f64 y y)) t) #s(literal 2 binary64)))) (-.f64 (.f64 x (*.f64 y y)) t)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 3 binary64)) (pow.f64 t #s(literal 3 binary64))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (.f64 y y)))))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 9 binary64)) (pow.f64 t #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 6 binary64)) (pow.f64 t #s(literal 6 binary64))) (pow.f64 (.f64 (.f64 x (.f64 y y)) t) #s(literal 3 binary64))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (*.f64 y y)))))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t)) (.f64 (-.f64 (.f64 x (.f64 y y)) t) (.f64 t t))) (.f64 (-.f64 (.f64 x (.f64 y y)) t) (-.f64 (.f64 x (.f64 y y)) t)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x y) y t))))
(/.f64 (-.f64 (.f64 t t) (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64))) (-.f64 t (.f64 x (*.f64 y y))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 t (.f64 x (.f64 y y))) (-.f64 (.f64 t t) (pow.f64 (.f64 x (*.f64 y y)) #s(literal 2 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x y) y t)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 t t (.f64 (.f64 x (.f64 y y)) (-.f64 (.f64 x (*.f64 y y)) t))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x y) y t)))
(/.f64 (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (neg.f64 t) t))) (neg.f64 (-.f64 (.f64 x (.f64 y y)) t)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64)))) (neg.f64 (fma.f64 t t (.f64 (.f64 x (.f64 y y)) (-.f64 (.f64 x (*.f64 y y)) t)))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (.f64 y y)))))))
(/.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (neg.f64 t) t)) (-.f64 (.f64 x (.f64 y y)) t))
(/.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64))) (fma.f64 t t (.f64 (.f64 x (.f64 y y)) (-.f64 (.f64 x (*.f64 y y)) t))))
(/.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (.f64 y y))))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (neg.f64 t) t))) (-.f64 (.f64 x (.f64 y y)) t)))
(neg.f64 (/.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64)))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (.f64 y y)))))))
(neg.f64 (/.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (neg.f64 t) t)) (neg.f64 (-.f64 (.f64 x (.f64 y y)) t))))
(neg.f64 (/.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)) (pow.f64 t #s(literal 3 binary64))) (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 t (-.f64 t (.f64 x (.f64 y y))))))))
(fma.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (pow.f64 (-.f64 (.f64 x (.f64 y y)) t) #s(literal -1 binary64)) (neg.f64 (/.f64 (.f64 t t) (-.f64 (.f64 x (*.f64 y y)) t))))
(fma.f64 (*.f64 x y) y t)
(fma.f64 x (*.f64 y y) t)
(fma.f64 (*.f64 y y) x t)
(fma.f64 y (*.f64 x y) t)
(-.f64 (/.f64 (.f64 t t) (-.f64 t (.f64 x (.f64 y y)))) (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 t (.f64 x (*.f64 y y)))))
(-.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t)) (/.f64 (.f64 t t) (-.f64 (.f64 x (*.f64 y y)) t)))
(+.f64 (/.f64 (pow.f64 (.f64 x (.f64 y y)) #s(literal 2 binary64)) (-.f64 (.f64 x (.f64 y y)) t)) (neg.f64 (/.f64 (.f64 t t) (-.f64 (.f64 x (*.f64 y y)) t))))
(+.f64 (.f64 x (.f64 y y)) t)
(+.f64 t (.f64 x (.f64 y y)))
(*.f64 x y)
(*.f64 y x)

eval103.0ms (2.7%)

Memory: -9.2MiB live, 72.4MiB allocated
Compiler: Compiled 10 515 to 1 061 computations (89.9% saved)

prune7.0ms (0.2%)

Memory

19.1MiB live, 19.1MiB allocated

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	348	3	351
Fresh	0	0	0
Picked	1	4	5
Done	0	0	0
Total	349	7	356

Accuracy

100.0%

Counts

356 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	51.0%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (.f64 y y) x (.f64 z y)))
✓	78.1%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y x) y t))
✓	67.9%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
✓	59.9%	#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
✓	35.6%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
▶	38.2%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
▶	28.7%	#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))

Compiler

Compiled 115 to 80 computations (30.4% saved)

simplify4.0ms (0.1%)

Memory

4.3MiB live, 4.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	97
0	26	97
1	38	95
2	39	95
3	47	95
4	50	95
0	50	85

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))
#s(approx (* (+ (* y x) z) y) (*.f64 z y))
(*.f64 z y)
z
y
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
(.f64 (.f64 x y) y)
(*.f64 x y)
x
y
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (.f64 y y) x (.f64 z y)))
(fma.f64 (.f64 y y) x (.f64 z y))
(*.f64 y y)
y
x
(*.f64 z y)
z

Outputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))
#s(approx (* (+ (* y x) z) y) (*.f64 z y))
(*.f64 z y)
z
y
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
(.f64 (.f64 x y) y)
(.f64 (.f64 y y) x)
(*.f64 x y)
(*.f64 y x)
x
y
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (.f64 y y) x (.f64 z y)))
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
(fma.f64 (.f64 y y) x (.f64 z y))
(*.f64 (fma.f64 y x z) y)
(*.f64 y y)
y
x
(*.f64 z y)
z

localize258.0ms (6.8%)

Memory

-28.0MiB live, 47.8MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 z y)
accuracy	0.0	(*.f64 y y)
accuracy	8.257633310121697	(fma.f64 (.f64 y y) x (.f64 z y))
accuracy	25.655539871991294	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (.f64 y y) x (.f64 z y)))
accuracy	0.0	(*.f64 x y)
accuracy	0.125	(.f64 (.f64 x y) y)
accuracy	39.51448590969105	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
accuracy	0.0	(*.f64 z y)
accuracy	25.655539871991294	#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))
accuracy	27.19067767218059	#s(approx (* (+ (* y x) z) y) (*.f64 z y))

Samples

45.0ms

256×

valid

Compiler

Compiled 69 to 18 computations (73.9% saved)

Precisions

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

ival-mult: 30.0ms (87% of total)

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

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

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

series9.0ms (0.2%)

Memory

9.1MiB live, 9.1MiB allocated

Counts

9 → 24

Calls

Call 1

Inputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))
#s(approx (* (+ (* y x) z) y) (*.f64 z y))
(*.f64 z y)
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
(.f64 (.f64 x y) y)
(*.f64 x y)
(fma.f64 (.f64 y y) x (.f64 z y))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (.f64 y y) x (.f64 z y)))
(*.f64 y y)

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

Calls

12 calls:

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

simplify141.0ms (3.7%)

Memory

-5.2MiB live, 79.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	200
1	253	166
2	790	166
3	2083	166
4	5886	166
0	8166	137

Stop Event

1×	iter limit
1×	node limit

Counts

24 → 23

Calls

Call 1

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

Outputs
(+ t (* y z))
(fma.f64 z y t)
(+ t (+ (* x (pow y 2)) (* y z)))
(fma.f64 (fma.f64 y x z) y t)
(* y z)
(*.f64 z y)
(+ (* x (pow y 2)) (* y z))
(*.f64 (fma.f64 y x z) y)
(* x (pow y 2))
(.f64 (.f64 y y) x)
(* x y)
(*.f64 y x)
(* x (+ (/ t x) (+ (/ (* y z) x) (pow y 2))))
(fma.f64 (fma.f64 y x z) y t)
(* x (+ (/ (* y z) x) (pow y 2)))
(*.f64 (fma.f64 y x z) y)
(* -1 (* x (+ (* -1 (/ (+ t (* y z)) x)) (* -1 (pow y 2)))))
(fma.f64 (fma.f64 y x z) y t)
(* -1 (* x (+ (* -1 (/ (* y z) x)) (* -1 (pow y 2)))))
(*.f64 (fma.f64 y x z) y)
t
(+ t (* y (+ z (* x y))))
(fma.f64 (fma.f64 y x z) y t)
(* y (+ z (* x y)))
(*.f64 (fma.f64 y x z) y)
(pow y 2)
(*.f64 y y)
(* (pow y 2) (+ x (/ z y)))
(*.f64 (fma.f64 y x z) y)
(* (pow y 2) (+ x (+ (/ t (pow y 2)) (/ z y))))
(fma.f64 (fma.f64 y x z) y t)
(* (pow y 2) (+ x (* -1 (/ (+ (* -1 z) (* -1 (/ t y))) y))))
(fma.f64 (fma.f64 y x z) y t)
(+ t (* x (pow y 2)))
(fma.f64 (*.f64 y y) x t)
(* z (+ y (+ (/ t z) (/ (* x (pow y 2)) z))))
(fma.f64 (fma.f64 y x z) y t)
(* z (+ y (/ (* x (pow y 2)) z)))
(*.f64 (fma.f64 y x z) y)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ t (* x (pow y 2))) z)))))
(fma.f64 (fma.f64 y x z) y t)
(* -1 (* z (+ (* -1 y) (* -1 (/ (* x (pow y 2)) z)))))
(*.f64 (fma.f64 y x z) y)
(* t (+ 1 (/ (* y (+ z (* x y))) t)))
(fma.f64 (fma.f64 y x z) y t)
(* -1 (* t (- (* -1 (/ (* y (+ z (* x y))) t)) 1)))
(fma.f64 (fma.f64 y x z) y t)

rewrite208.0ms (5.4%)

Memory

6.0MiB live, 196.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	87
0	26	87
1	90	85
2	512	85
3	6641	85
0	8102	75

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

9 → 130

Calls

Call 1

Inputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))
#s(approx (* (+ (* y x) z) y) (*.f64 z y))
(*.f64 z y)
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
(.f64 (.f64 x y) y)
(*.f64 x y)
(fma.f64 (.f64 y y) x (.f64 z y))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (.f64 y y) x (.f64 z y)))
(*.f64 y y)

Outputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))
#s(approx (* (+ (* y x) z) y) (*.f64 z y))
(*.f64 z y)
(*.f64 y z)
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
(.f64 (.f64 y y) x)
(.f64 (.f64 y x) y)
(.f64 y (.f64 y x))
(.f64 x (.f64 y y))
(*.f64 y x)
(*.f64 x y)
(.f64 (/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (-.f64 (pow.f64 (.f64 y x) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (.f64 (-.f64 z (*.f64 y x)) z)))
(.f64 (/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (+.f64 (pow.f64 (.f64 (-.f64 z (.f64 y x)) z) #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 6 binary64)))) (fma.f64 (.f64 (-.f64 z (.f64 y x)) z) (-.f64 (.f64 (-.f64 z (.f64 y x)) z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (pow.f64 (.f64 y x) #s(literal 4 binary64))))
(.f64 (/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (fma.f64 z (fma.f64 y x z) (pow.f64 (*.f64 y x) #s(literal 2 binary64))))
(.f64 (/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (fma.f64 y x z))
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (.f64 (*.f64 y y) z) (fma.f64 y x z))))
(.f64 (/.f64 (fma.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 4 binary64)) (pow.f64 (.f64 (.f64 (.f64 y y) z) (-.f64 z (.f64 y x))) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (.f64 (.f64 (.f64 y y) z) (-.f64 z (.f64 y x)))))
(.f64 (/.f64 (fma.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (.f64 (.f64 y y) z) (-.f64 z (.f64 y x))) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 y y) x) #s(literal 6 binary64)))) (fma.f64 (.f64 (.f64 (.f64 y y) z) (-.f64 z (.f64 y x))) (-.f64 (.f64 (.f64 (.f64 y y) z) (-.f64 z (.f64 y x))) (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64))) (pow.f64 (.f64 (.f64 y y) x) #s(literal 4 binary64))))
(.f64 (/.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64)))) (.f64 (fma.f64 y x z) y))
(.f64 (/.f64 (.f64 (fma.f64 y x z) y) y) (/.f64 (.f64 (-.f64 (.f64 y x) z) y) (-.f64 (*.f64 y x) z)))
(.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64)))
(.f64 (.f64 (.f64 y y) (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 y (-.f64 z (*.f64 y x)))))
(.f64 (pow.f64 (.f64 (-.f64 (.f64 y x) z) y) #s(literal -1 binary64)) (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64))))
(.f64 (pow.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64))) #s(literal -1 binary64)) (fma.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (*.f64 z y) #s(literal 3 binary64))))
(.f64 #s(literal 1 binary64) (.f64 (fma.f64 y x z) y))
(.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (.f64 (neg.f64 y) (-.f64 (.f64 y x) z))))
(.f64 (neg.f64 (fma.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (*.f64 z y) #s(literal 2 binary64))))))
(.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (.f64 (pow.f64 (-.f64 (.f64 y x) z) #s(literal -1 binary64)) y))
(.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (/.f64 y (-.f64 (*.f64 y x) z)))
(.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (pow.f64 (.f64 (-.f64 (.f64 y x) z) y) #s(literal -1 binary64)))
(.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (/.f64 y (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (.f64 (pow.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))) #s(literal -1 binary64)) y))
(.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (/.f64 (.f64 (fma.f64 y x z) y) (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64)))))
(.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (.f64 (.f64 (fma.f64 y x z) y) (pow.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (*.f64 z y) #s(literal 2 binary64))) #s(literal -1 binary64))))
(.f64 (fma.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (pow.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (*.f64 z y) #s(literal 2 binary64))) #s(literal -1 binary64)))
(.f64 (.f64 (fma.f64 y x z) y) (/.f64 (.f64 (-.f64 (.f64 y x) z) y) (.f64 (-.f64 (.f64 y x) z) y)))
(.f64 (.f64 (fma.f64 y x z) y) (.f64 (.f64 (-.f64 (.f64 y x) z) y) (pow.f64 (.f64 (-.f64 (*.f64 y x) z) y) #s(literal -1 binary64))))
(*.f64 (fma.f64 y x z) y)
(*.f64 y (fma.f64 y x z))
(pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 y x z) y)) #s(literal -1 binary64))
(/.f64 (/.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64))) y) (-.f64 (.f64 y x) z))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 4 binary64)) (pow.f64 (.f64 z y) #s(literal 4 binary64))) (pow.f64 (.f64 (-.f64 (.f64 y x) z) y) #s(literal -1 binary64))) (.f64 (.f64 y y) (fma.f64 z z (pow.f64 (*.f64 y x) #s(literal 2 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 6 binary64))) (pow.f64 (.f64 (-.f64 (.f64 y x) z) y) #s(literal -1 binary64))) (+.f64 (+.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 4 binary64)) (pow.f64 (.f64 z y) #s(literal 4 binary64))) (pow.f64 (.f64 (*.f64 (pow.f64 y #s(literal 3 binary64)) z) x) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 6 binary64))) (pow.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64))) #s(literal -1 binary64))) (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 z y) #s(literal 9 binary64)) (pow.f64 (.f64 (.f64 y y) x) #s(literal 9 binary64))) (pow.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64))) #s(literal -1 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 6 binary64))) (pow.f64 (.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) z) x) #s(literal 3 binary64))))
(/.f64 (.f64 (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (-.f64 z (.f64 y x)))
(/.f64 (.f64 (neg.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) y) (neg.f64 (-.f64 (*.f64 y x) z)))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64)))) y) (neg.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(/.f64 (*.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 1 binary64) (fma.f64 y x z)))
(/.f64 (.f64 y (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (-.f64 z (.f64 y x)))
(/.f64 (.f64 y (neg.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))))) (neg.f64 (-.f64 (*.f64 y x) z)))
(/.f64 (.f64 y (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(/.f64 (*.f64 y #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 y x z)))
(/.f64 (-.f64 (.f64 (.f64 (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) y) (/.f64 x (-.f64 (.f64 y x) z))) (.f64 (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) y) (/.f64 x (-.f64 (.f64 y x) z)))) (.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z)) (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z)))) (fma.f64 (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) y) (/.f64 x (-.f64 (.f64 y x) z)) (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(/.f64 (-.f64 (pow.f64 (.f64 (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) y) (/.f64 x (-.f64 (.f64 y x) z))) #s(literal 3 binary64)) (pow.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z)) #s(literal 3 binary64))) (fma.f64 (.f64 (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) y) (/.f64 x (-.f64 (.f64 y x) z))) (.f64 (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) y) (/.f64 x (-.f64 (.f64 y x) z))) (fma.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z)) (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z)) (.f64 (.f64 (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) y) (/.f64 x (-.f64 (.f64 y x) z))) (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))))
(/.f64 (neg.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y)) (neg.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y)) (neg.f64 (-.f64 (*.f64 y x) z)))
(/.f64 (neg.f64 (.f64 (.f64 y y) (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64))))) (neg.f64 (.f64 y (-.f64 z (.f64 y x)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64))))) (neg.f64 (.f64 (neg.f64 y) (-.f64 (*.f64 y x) z))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 4 binary64)) (pow.f64 (.f64 z y) #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (.f64 (.f64 y y) (fma.f64 z z (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (.f64 (-.f64 (.f64 y x) z) y)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (+.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 4 binary64)) (pow.f64 (.f64 z y) #s(literal 4 binary64))) (pow.f64 (.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) z) x) #s(literal 2 binary64))) (.f64 (-.f64 (.f64 y x) z) y)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (*.f64 z y) #s(literal 2 binary64)))))
(/.f64 (.f64 (+.f64 (pow.f64 (.f64 z y) #s(literal 9 binary64)) (pow.f64 (.f64 (.f64 y y) x) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (+.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 6 binary64))) (pow.f64 (.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) z) x) #s(literal 3 binary64))) (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (*.f64 z y) #s(literal 2 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64))) #s(literal 1 binary64)) (.f64 (-.f64 (.f64 y x) z) y))
(/.f64 (.f64 (fma.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (*.f64 z y) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (.f64 (-.f64 (.f64 y x) z) y)) (.f64 (.f64 (-.f64 (.f64 y x) z) y) (pow.f64 (.f64 z y) #s(literal 2 binary64)))) (.f64 (.f64 (-.f64 (.f64 y x) z) y) (.f64 (-.f64 (.f64 y x) z) y)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 y x z) y))))
(/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y) (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))))
(/.f64 (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) y) (-.f64 (*.f64 y x) z))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 4 binary64)) (pow.f64 (.f64 z y) #s(literal 4 binary64))) (.f64 (.f64 (-.f64 (.f64 y x) z) y) (.f64 (.f64 y y) (fma.f64 z z (pow.f64 (*.f64 y x) #s(literal 2 binary64))))))
(/.f64 (.f64 (.f64 y y) (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (.f64 y (-.f64 z (.f64 y x))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 6 binary64))) (.f64 (.f64 (-.f64 (.f64 y x) z) y) (+.f64 (+.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 4 binary64)) (pow.f64 (.f64 z y) #s(literal 4 binary64))) (pow.f64 (.f64 (*.f64 (pow.f64 y #s(literal 3 binary64)) z) x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 6 binary64))) (.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (-.f64 z (.f64 y x)) z (pow.f64 (.f64 y x) #s(literal 2 binary64))) (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 (.f64 y x) #s(literal 3 binary64))) y)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 y x) z) (.f64 (fma.f64 (neg.f64 z) z (pow.f64 (*.f64 y x) #s(literal 2 binary64))) y)))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 y (-.f64 z (.f64 y x))) (.f64 (.f64 y y) (-.f64 (.f64 z z) (pow.f64 (.f64 y x) #s(literal 2 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 y x z) y)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 y x z) y)))
(/.f64 (+.f64 (pow.f64 (.f64 z y) #s(literal 9 binary64)) (pow.f64 (.f64 (.f64 y y) x) #s(literal 9 binary64))) (.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (-.f64 (+.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 6 binary64)) (pow.f64 (.f64 z y) #s(literal 6 binary64))) (pow.f64 (.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) z) x) #s(literal 3 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64)))) (.f64 (neg.f64 y) (-.f64 (*.f64 y x) z)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64))) (.f64 (-.f64 (*.f64 y x) z) y))
(/.f64 (fma.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64))) (fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z) (pow.f64 (.f64 z y) #s(literal 2 binary64))))
(/.f64 y (/.f64 #s(literal 1 binary64) (fma.f64 y x z)))
(neg.f64 (*.f64 (neg.f64 y) (fma.f64 y x z)))
(fma.f64 (/.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 3 binary64)) (pow.f64 (.f64 z y) #s(literal 3 binary64)))) (fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) x (.f64 (.f64 (.f64 y y) z) (fma.f64 y x z))) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (/.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 z y) #s(literal 2 binary64)))) (.f64 (fma.f64 y x z) y) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) y) (/.f64 x (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (/.f64 (.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) x) y) (/.f64 y (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (/.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) y) (/.f64 (.f64 y x) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (/.f64 (pow.f64 y #s(literal 4 binary64)) y) (/.f64 (.f64 x x) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (/.f64 (.f64 x x) y) (/.f64 (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) y) (/.f64 (.f64 y y) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (/.f64 (.f64 (.f64 y y) x) y) (/.f64 (.f64 (.f64 y y) x) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (/.f64 (.f64 y y) y) (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (/.f64 (.f64 y x) y) (/.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (/.f64 y y) (/.f64 (.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) x) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (/.f64 x y) (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) (/.f64 x (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) x) (/.f64 y (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (/.f64 (.f64 y x) (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (pow.f64 y #s(literal 4 binary64)) (/.f64 (.f64 x x) (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (.f64 x x) (/.f64 (pow.f64 y #s(literal 4 binary64)) (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (/.f64 (.f64 y y) (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (pow.f64 (.f64 (-.f64 (.f64 y x) z) y) #s(literal -1 binary64)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (.f64 (.f64 y y) x) (/.f64 (.f64 (.f64 y y) x) (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (.f64 y y) (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (.f64 y y) x (.f64 z y))
(fma.f64 (.f64 y x) (/.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 (.f64 y x) y (.f64 z y))
(fma.f64 z y (.f64 (.f64 y y) x))
(fma.f64 y (/.f64 (.f64 (.f64 (pow.f64 y #s(literal 3 binary64)) x) x) (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (.f64 y x) z))))
(fma.f64 y (.f64 y x) (.f64 z y))
(fma.f64 y z (.f64 (.f64 y y) x))
(fma.f64 x (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) (.f64 (-.f64 (.f64 y x) z) y)) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(fma.f64 x (.f64 y y) (.f64 z y))
(-.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) (.f64 y (-.f64 z (.f64 y x)))) (/.f64 (pow.f64 (.f64 (.f64 y y) x) #s(literal 2 binary64)) (.f64 y (-.f64 z (*.f64 y x)))))
(-.f64 (.f64 (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) y) (/.f64 x (-.f64 (.f64 y x) z))) (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z)))
(+.f64 (.f64 (/.f64 (.f64 (pow.f64 y #s(literal 4 binary64)) x) y) (/.f64 x (-.f64 (.f64 y x) z))) (neg.f64 (/.f64 (/.f64 (pow.f64 (.f64 z y) #s(literal 2 binary64)) y) (-.f64 (*.f64 y x) z))))
(+.f64 (.f64 (.f64 y y) x) (*.f64 z y))
(+.f64 (.f64 z y) (.f64 (*.f64 y y) x))
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
(*.f64 (exp.f64 (log.f64 y)) (exp.f64 (log.f64 y)))
(*.f64 y y)
(pow.f64 (exp.f64 (log.f64 y)) #s(literal 2 binary64))
(pow.f64 (*.f64 y y) #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 y) #s(literal 2 binary64)))

eval14.0ms (0.4%)

Memory: 26.5MiB live, 26.5MiB allocated
Compiler: Compiled 4 851 to 504 computations (89.6% saved)

prune21.0ms (0.5%)

Memory

-23.1MiB live, 15.2MiB allocated

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	0	0
Picked	0	3	3
Done	0	4	4
Total	139	7	146

Accuracy

100.0%

Counts

146 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	51.0%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (.f64 y y) x (.f64 z y)))
✓	78.1%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y x) y t))
✓	67.9%	#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
✓	59.9%	#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
✓	35.6%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
✓	38.2%	#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
✓	28.7%	#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))

Compiler

Compiled 248 to 114 computations (54% saved)

regimes49.0ms (1.3%)

Memory

-7.9MiB live, 39.2MiB allocated

Counts

9 → 1

Calls

Call 1

Inputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y x) y t))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (.f64 y y) x (.f64 z y)))
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(fma.f64 (*.f64 y y) x (fma.f64 z y t))

Outputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Calls

6 calls:

31.0ms	y
4.0ms	x
3.0ms	t
3.0ms	z
3.0ms	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Results

Accuracy	Segments	Branch
99.9%	1	`x`
99.9%	1	`y`
99.9%	1	`z`
99.9%	1	`t`
99.9%	1	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
99.9%	1	`(.f64 (+.f64 (.f64 x y) z) y)`

Compiler

Compiled 20 to 31 computations (-55% saved)

regimes20.0ms (0.5%)

Memory

8.4MiB live, 44.7MiB allocated

Counts

7 → 3

Calls

Call 1

Inputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (*.f64 y x) y t))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 (.f64 y y) x (.f64 z y)))

Outputs
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
#s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))

Calls

6 calls:

5.0ms	y
3.0ms	t
3.0ms	x
3.0ms	z
3.0ms	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Results

Accuracy	Segments	Branch
87.6%	3	`x`
91.7%	3	`y`
90.6%	3	`z`
86.1%	3	`t`
87.5%	3	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
94.4%	3	`(.f64 (+.f64 (.f64 x y) z) y)`

Compiler

Compiled 20 to 31 computations (-55% saved)

regimes13.0ms (0.3%)

Memory

-11.7MiB live, 26.3MiB allocated

Counts

4 → 3

Calls

Call 1

Inputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 y y) x))

Outputs
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
#s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))

Calls

5 calls:

2.0ms	x
2.0ms	y
2.0ms	z
2.0ms	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
2.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Results

Accuracy	Segments	Branch
81.6%	3	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
76.3%	3	`x`
67.9%	1	`z`
82.2%	3	`y`
86.4%	3	`(.f64 (+.f64 (.f64 x y) z) y)`

Compiler

Compiled 19 to 27 computations (-42.1% saved)

regimes8.0ms (0.2%)

Memory

19.2MiB live, 19.2MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))

Outputs
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))

Calls

5 calls:

1.0ms	y
1.0ms	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
1.0ms	x
1.0ms	t
1.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Results

Accuracy	Segments	Branch
67.9%	1	`x`
67.9%	1	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
67.9%	1	`y`
67.9%	1	`t`
67.9%	1	`(.f64 (+.f64 (.f64 x y) z) y)`

Compiler

Compiled 19 to 27 computations (-42.1% saved)

regimes7.0ms (0.2%)

Memory

20.0MiB live, 20.0MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

6 calls:

1.0ms	z
1.0ms	y
1.0ms	x
1.0ms	t
1.0ms	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Results

Accuracy	Segments	Branch
28.7%	1	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
28.7%	1	`(.f64 (+.f64 (.f64 x y) z) y)`
28.7%	1	`x`
28.7%	1	`z`
28.7%	1	`y`
28.7%	1	`t`

Compiler

Compiled 20 to 31 computations (-55% saved)

bsearch2.0ms (0.1%)

Memory

-36.1MiB live, 1.5MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	8.370226179135806e+140	3.1610420000343398e+143
1.0ms	-2.866962063270937e+98	-3.0844838242325635e+92

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	6.498721665941326e+261	4.652536790826516e+262
0.0ms	-7.72397135577873e+191	-3.4362670333337e+191

Compiler

Compiled 12 to 15 computations (-25% saved)

simplify11.0ms (0.3%)

Memory

25.1MiB live, 25.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	145
1	49	145
2	57	145
3	82	145
4	84	145

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(if (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal -199999999999999999538074049028741601393225095984807677841113727932195173096259352955823864957370368 binary64)) #s(approx (+ (* (+ (* x y) z) y) t) (.f64 (fma.f64 y x z) y)) (if (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal 1000000000000000016976219238238959704141045173573106739630601035115997744067216908958262325956255112879408454231155599236459402033650892537856 binary64)) #s(approx (+ ( (+ (* x y) z) y) t) (fma.f64 z y t)) #s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))))
(if (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal -500000000000000020450440104380699000643009869133148478980010856721047331745998863777181002269122598686781630923878906723815766393148952970087156093369888651687677299391471869377327132254928896 binary64)) #s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y)) (if (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal 10000000000000000161728392950095834780961727121532468109675577629605415353003578843613352249644053642881905330331839631511632172467492917395324154002545647584434349098564602595580939232492998880708913562707066468760361494711018313643605437535869015444666630275072 binary64)) #s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t)) #s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))

Outputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(if (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal -199999999999999999538074049028741601393225095984807677841113727932195173096259352955823864957370368 binary64)) #s(approx (+ (* (+ (* x y) z) y) t) (.f64 (fma.f64 y x z) y)) (if (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal 1000000000000000016976219238238959704141045173573106739630601035115997744067216908958262325956255112879408454231155599236459402033650892537856 binary64)) #s(approx (+ ( (+ (* x y) z) y) t) (fma.f64 z y t)) #s(approx (+ (* (+ (* x y) z) y) t) (*.f64 (fma.f64 y x z) y))))
(if (or (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal -199999999999999999538074049028741601393225095984807677841113727932195173096259352955823864957370368 binary64)) (not (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal 1000000000000000016976219238238959704141045173573106739630601035115997744067216908958262325956255112879408454231155599236459402033650892537856 binary64)))) #s(approx (+ (* (+ (* x y) z) y) t) (.f64 (fma.f64 y x z) y)) #s(approx (+ ( (+ (* x y) z) y) t) (fma.f64 z y t)))
(if (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal -500000000000000020450440104380699000643009869133148478980010856721047331745998863777181002269122598686781630923878906723815766393148952970087156093369888651687677299391471869377327132254928896 binary64)) #s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y)) (if (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal 10000000000000000161728392950095834780961727121532468109675577629605415353003578843613352249644053642881905330331839631511632172467492917395324154002545647584434349098564602595580939232492998880708913562707066468760361494711018313643605437535869015444666630275072 binary64)) #s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t)) #s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y))))
(if (or (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal -500000000000000020450440104380699000643009869133148478980010856721047331745998863777181002269122598686781630923878906723815766393148952970087156093369888651687677299391471869377327132254928896 binary64)) (not (<=.f64 (.f64 (+.f64 (.f64 x y) z) y) #s(literal 10000000000000000161728392950095834780961727121532468109675577629605415353003578843613352249644053642881905330331839631511632172467492917395324154002545647584434349098564602595580939232492998880708913562707066468760361494711018313643605437535869015444666630275072 binary64)))) #s(approx (+ (* (+ (* x y) z) y) t) (.f64 (.f64 x y) y)) #s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t)))
#s(approx (+ (* (+ (* x y) z) y) t) (fma.f64 z y t))
#s(approx (+ (* (+ (* x y) z) y) t) #s(approx (* (+ (* y x) z) y) (*.f64 z y)))

soundness760.0ms (19.9%)

Memory

-20.7MiB live, 413.1MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	93	241
1	335	211
2	1035	211
3	2809	207
4	6124	207
0	8112	173
0	133	323
1	483	285
2	1482	285
3	3978	285
4	7454	285
0	8110	234
0	20	101
0	30	97
1	124	96
2	790	96
0	8556	91

Stop Event

1×	done
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Compiler

Compiled 177 to 83 computations (53.1% saved)

preprocess48.0ms (1.3%)

Memory: 35.2MiB live, 73.9MiB allocated
Compiler: Compiled 308 to 94 computations (69.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample901.0ms (23.6%)

explain84.0ms (2.2%)

preprocess125.0ms (3.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.1%)

localize26.0ms (0.7%)

series8.0ms (0.2%)

simplify126.0ms (3.3%)

rewrite191.0ms (5%)

eval71.0ms (1.9%)

prune23.0ms (0.6%)

simplify4.0ms (0.1%)

localize63.0ms (1.6%)

series12.0ms (0.3%)

simplify130.0ms (3.4%)

rewrite361.0ms (9.5%)

eval103.0ms (2.7%)

prune7.0ms (0.2%)

simplify4.0ms (0.1%)

localize258.0ms (6.8%)

series9.0ms (0.2%)

simplify141.0ms (3.7%)

rewrite208.0ms (5.4%)

eval14.0ms (0.4%)

prune21.0ms (0.5%)

regimes49.0ms (1.3%)

regimes20.0ms (0.5%)

regimes13.0ms (0.3%)

regimes8.0ms (0.2%)

regimes7.0ms (0.2%)

bsearch2.0ms (0.1%)

bsearch1.0ms (0%)

simplify11.0ms (0.3%)

soundness760.0ms (19.9%)

preprocess48.0ms (1.3%)

end0.0ms (0%)

Profiling