Metrics for Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B

start0.0ms (0%)

Memory: 0.1MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze149.0ms (5%)

Memory

6.0MiB live, 191.7MiB allocated; 31ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
25%	25%	74.9%	0.2%	0%	0%	0%	5
25%	25%	74.9%	0.2%	0%	0%	0%	6
25%	25%	74.9%	0.2%	0%	0%	0%	7
37.5%	37.4%	62.4%	0.2%	0%	0%	0%	8
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	9
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	10
56.3%	56.1%	43.7%	0.2%	0%	0%	0%	11
65.6%	65.5%	34.3%	0.2%	0%	0%	0%	12

Compiler

Compiled 11 to 10 computations (9.1% saved)

sample847.0ms (28.6%)

Memory

35.6MiB live, 1 027.8MiB allocated; 158ms collecting garbage

Samples

532.0ms

8 256×

valid

Precisions

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

ival-div: 149.0ms (51.3% of total)

ival-mult: 136.0ms (46.8% of total)

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

adjust: 2.0ms (0.7% of total)

Bogosity

explain110.0ms (3.7%)

Memory

-42.6MiB live, 148.4MiB allocated; 14ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
38	-	4	(6.1314514905783e-129 -1.4009781178317276e+104 1.3517403369193777e+202 -4.613784265961422e-215)	`(/.f64 (*.f64 (/.f64 y z) t) t)`
22	-	1	(-2.3908697057476157e+195 -3.639655742747529e-192 -8.01013358618326e+118 3.9186715725087187e+242)	`(*.f64 (/.f64 y z) t)`
13	-	1	(-2.3908697057476157e+195 -3.639655742747529e-192 -8.01013358618326e+118 3.9186715725087187e+242)	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
0	-	0	-	`y`
0	-	0	-	`t`
0	-	0	-	`z`
0	-	0	-	`x`
0	-	0	-	`(/.f64 y z)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (*.f64 (/.f64 y z) t) t)`	o/n	20	0
↳	`(*.f64 (/.f64 y z) t)`	overflow	34
↳	`(/.f64 y z)`	overflow	24
`/.f64`	`(/.f64 (*.f64 (/.f64 y z) t) t)`	u/n	14	0
↳	`(*.f64 (/.f64 y z) t)`	underflow	31
↳	`(/.f64 y z)`	underflow	28
`*.f64`	`(*.f64 (/.f64 y z) t)`	*nu**	11	0
`*.f64`	`(*.f64 (/.f64 y z) t)`	*no**	10	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*nu**	8	0
`*.f64`	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`	*no**	4	0

Confusion

	Predicted +	Predicted -
+	33	5
-	30	188

Precision

0.5238095238095238

Recall

0.868421052631579

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	33	0	5
-	30	0	188

Precision?

0.5238095238095238

Recall?

0.868421052631579

Freqs

test

number	freq
0	193
1	59
2	4

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

31.0ms

512×

valid

Compiler

Compiled 69 to 28 computations (59.4% saved)

Precisions

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

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

ival-mult: 6.0ms (40.2% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess223.0ms (7.5%)

Memory

6.7MiB live, 239.5MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	51	139
1	143	105
2	379	79
3	1298	79
4	5370	79
5	6724	79
0	8	9
0	12	9
1	20	7
2	43	5
3	89	5
4	320	5
5	1133	5
6	5218	5
0	8115	5

Stop Event

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

Calls

Call 1

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

Outputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
(*.f64 (/.f64 y z) x)

Symmetry

(abs t)

(negabs x)

(negabs y)

(negabs z)

(sort x y)

Compiler

Compiled 9 to 8 computations (11.1% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	82.9%	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Compiler

Compiled 9 to 8 computations (11.1% saved)

series16.0ms (0.6%)

Memory

41.0MiB live, 41.0MiB allocated; 0ms collecting garbage

Counts

8 → 8

Calls

Call 1

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

Outputs
#s(approx (* x (/ (* (/ y z) t) t)) #s(hole binary64 (/ (* x y) z)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (* (/ y z) t) t) #s(hole binary64 (/ y z)))
#s(approx (* (/ y z) t) #s(hole binary64 (/ (* t y) z)))
#s(approx (/ y z) #s(hole binary64 (/ y z)))
#s(approx y #s(hole binary64 y))
#s(approx z #s(hole binary64 z))
#s(approx t #s(hole binary64 t))

Calls

12 calls:

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

rewrite194.0ms (6.6%)

Memory

-42.3MiB live, 208.5MiB allocated; 137ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	84
0	30	84
1	51	76
2	131	68
3	463	68
4	1921	68
0	3499	68

Stop Event

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

Counts

16 → 422

Calls

Call 1

Inputs
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
x
(/.f64 (*.f64 (/.f64 y z) t) t)
(*.f64 (/.f64 y z) t)
(/.f64 y z)
y
z
t
#s(approx (* x (/ (* (/ y z) t) t)) #s(hole binary64 (/ (* x y) z)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (* (/ y z) t) t) #s(hole binary64 (/ y z)))
#s(approx (* (/ y z) t) #s(hole binary64 (/ (* t y) z)))
#s(approx (/ y z) #s(hole binary64 (/ y z)))
#s(approx y #s(hole binary64 y))
#s(approx z #s(hole binary64 z))
#s(approx t #s(hole binary64 t))

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

eval69.0ms (2.3%)

Memory: 18.6MiB live, 111.4MiB allocated; 54ms collecting garbage
Compiler: Compiled 5 529 to 724 computations (86.9% saved)

prune91.0ms (3.1%)

Memory

1.2MiB live, 139.3MiB allocated; 18ms collecting garbage

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	353	7	360
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	354	7	361

Accuracy

100.0%

Counts

361 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
	74.6%	(/.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) t) y) x) (.f64 (*.f64 #s(literal -1 binary64) t) z))
	75.8%	(/.f64 (.f64 (.f64 #s(literal -1 binary64) (/.f64 x t)) (.f64 (.f64 #s(literal -1 binary64) t) y)) z)
▶	93.2%	(/.f64 (.f64 (.f64 #s(literal -1 binary64) y) x) (neg.f64 z))
▶	75.7%	(.f64 (/.f64 (.f64 (.f64 #s(literal -1 binary64) y) x) t) (/.f64 (.f64 #s(literal -1 binary64) t) z))
▶	94.2%	(*.f64 (/.f64 y z) x)
▶	90.4%	(*.f64 (/.f64 x z) y)
▶	76.7%	(.f64 (/.f64 x t) (.f64 (/.f64 y z) t))

Compiler

Compiled 132 to 122 computations (7.6% saved)

series35.0ms (1.2%)

Memory

-11.1MiB live, 38.8MiB allocated; 18ms collecting garbage

Counts

20 → 19

Calls

Call 1

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

Outputs
#s(approx (* (/ y z) x) #s(hole binary64 (/ (* x y) z)))
#s(approx x #s(hole binary64 x))
#s(approx (* (/ x t) (* (/ y z) t)) #s(hole binary64 (/ (* x y) z)))
#s(approx (/ x t) #s(hole binary64 (/ x t)))
#s(approx (* (/ x z) y) #s(hole binary64 (/ (* x y) z)))
#s(approx (/ x z) #s(hole binary64 (/ x z)))
#s(approx (* (/ (* (* -1 y) x) t) (/ (* -1 t) z)) #s(hole binary64 (/ (* x y) z)))
#s(approx (/ (* (* -1 y) x) t) #s(hole binary64 (* -1 (/ (* x y) t))))
#s(approx (* (* -1 y) x) #s(hole binary64 (* -1 (* x y))))
#s(approx (/ (* (* -1 y) x) (neg z)) #s(hole binary64 (/ (* x y) z)))
#s(approx (/ y z) #s(hole binary64 (/ y z)))
#s(approx y #s(hole binary64 y))
#s(approx (* (/ y z) t) #s(hole binary64 (/ (* t y) z)))
#s(approx (* -1 y) #s(hole binary64 (* -1 y)))
#s(approx z #s(hole binary64 z))
#s(approx (/ (* -1 t) z) #s(hole binary64 (* -1 (/ t z))))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx t #s(hole binary64 t))
#s(approx (* -1 t) #s(hole binary64 (* -1 t)))

Calls

12 calls:

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

rewrite126.0ms (4.3%)

Memory

22.4MiB live, 116.8MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	255
0	84	209
1	153	209
2	525	209
3	2841	209
0	3964	209

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

39 → 529

Calls

Call 1

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

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

eval32.0ms (1.1%)

Memory: 9.7MiB live, 55.7MiB allocated; 3ms collecting garbage
Compiler: Compiled 4 697 to 690 computations (85.3% saved)

prune98.0ms (3.3%)

Memory

-8.0MiB live, 132.0MiB allocated; 11ms collecting garbage

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	366	1	367
Fresh	1	1	2
Picked	1	4	5
Done	0	0	0
Total	368	6	374

Accuracy

100.0%

Counts

374 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	74.6%	(/.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) t) y) x) (.f64 (*.f64 #s(literal -1 binary64) t) z))
✓	93.2%	(/.f64 (.f64 (.f64 #s(literal -1 binary64) y) x) (neg.f64 z))
▶	76.4%	(.f64 (/.f64 (.f64 (/.f64 x t) y) z) t)
✓	94.2%	(*.f64 (/.f64 y z) x)
✓	90.4%	(*.f64 (/.f64 x z) y)
✓	76.7%	(.f64 (/.f64 x t) (.f64 (/.f64 y z) t))

Compiler

Compiled 49 to 47 computations (4.1% saved)

series27.0ms (0.9%)

Memory

-3.7MiB live, 42.8MiB allocated; 3ms collecting garbage

Counts

14 → 13

Calls

Call 1

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

Outputs
#s(approx (* (/ (* (/ x t) y) z) t) #s(hole binary64 (/ (* x y) z)))
#s(approx (/ (* (/ x t) y) z) #s(hole binary64 (/ (* x y) (* t z))))
#s(approx (* (/ x t) y) #s(hole binary64 (/ (* x y) t)))
#s(approx (/ x t) #s(hole binary64 (/ x t)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (* (* (* -1 t) y) x) (* (* -1 t) z)) #s(hole binary64 (/ (* x y) z)))
#s(approx (* (* (* -1 t) y) x) #s(hole binary64 (* -1 (* t (* x y)))))
#s(approx y #s(hole binary64 y))
#s(approx (* (* -1 t) y) #s(hole binary64 (* -1 (* t y))))
#s(approx z #s(hole binary64 z))
#s(approx (* (* -1 t) z) #s(hole binary64 (* -1 (* t z))))
#s(approx t #s(hole binary64 t))
#s(approx (* -1 t) #s(hole binary64 (* -1 t)))

Calls

12 calls:

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

rewrite148.0ms (5%)

Memory

10.9MiB live, 112.1MiB allocated; 56ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	46	185
0	61	165
1	118	165
2	416	149
3	2250	149
0	3979	149

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

27 → 329

Calls

Call 1

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

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

eval25.0ms (0.8%)

Memory: 10.4MiB live, 53.6MiB allocated; 6ms collecting garbage
Compiler: Compiled 3 578 to 583 computations (83.7% saved)

prune79.0ms (2.7%)

Memory

5.6MiB live, 98.1MiB allocated; 27ms collecting garbage

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	260	0	260
Fresh	0	0	0
Picked	0	2	2
Done	0	4	4
Total	260	6	266

Accuracy

100.0%

Counts

266 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	74.6%	(/.f64 (.f64 (.f64 (.f64 #s(literal -1 binary64) t) y) x) (.f64 (*.f64 #s(literal -1 binary64) t) z))
✓	93.2%	(/.f64 (.f64 (.f64 #s(literal -1 binary64) y) x) (neg.f64 z))
✓	76.4%	(.f64 (/.f64 (.f64 (/.f64 x t) y) z) t)
✓	94.2%	(*.f64 (/.f64 y z) x)
✓	90.4%	(*.f64 (/.f64 x z) y)
✓	76.7%	(.f64 (/.f64 x t) (.f64 (/.f64 y z) t))

Compiler

Compiled 133 to 79 computations (40.6% saved)

regimes24.0ms (0.8%)

Memory

-6.0MiB live, 39.4MiB allocated; 5ms collecting garbage

Counts

9 → 2

Calls

Call 1

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

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

Calls

7 calls:

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

Results

Accuracy	Segments	Branch
99.7%	2	`(/.f64 y z)`
99.3%	2	`(/.f64 (*.f64 (/.f64 y z) t) t)`
99.3%	2	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
96.5%	2	`x`
96.5%	2	`y`
99.7%	2	`z`
94.2%	1	`t`

Compiler

Compiled 23 to 36 computations (-56.5% saved)

regimes3.0ms (0.1%)

Memory

5.2MiB live, 5.2MiB allocated; 0ms collecting garbage

Counts

6 → 2

Calls

Call 1

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

Outputs
(*.f64 (/.f64 y z) x)
(*.f64 (/.f64 x z) y)

Calls

1 calls:

2.0ms

(/.f64 y z)

Results

Accuracy	Segments	Branch
99.7%	2	`(/.f64 y z)`

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes10.0ms (0.3%)

Memory

-31.9MiB live, 13.5MiB allocated; 5ms collecting garbage

Counts

3 → 3

Calls

Call 1

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

Outputs
(*.f64 (/.f64 x z) y)
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
(*.f64 (/.f64 x z) y)

Calls

4 calls:

6.0ms	z
1.0ms	(/.f64 y z)
1.0ms	(/.f64 (*.f64 (/.f64 y z) t) t)
1.0ms	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Results

Accuracy	Segments	Branch
98.5%	3	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`
98.5%	3	`(/.f64 (*.f64 (/.f64 y z) t) t)`
95.9%	2	`z`
93.9%	2	`(/.f64 y z)`

Compiler

Compiled 20 to 24 computations (-20% saved)

regimes9.0ms (0.3%)

Memory

21.3MiB live, 21.3MiB allocated; 0ms collecting garbage

Accuracy

Total -4.1b remaining (-37.2%)

Threshold costs -4.1b (-37.2%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

7 calls:

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

Results

Accuracy	Segments	Branch
82.9%	1	`(/.f64 y z)`
82.9%	1	`t`
82.9%	1	`z`
82.9%	1	`y`
82.9%	1	`x`
82.9%	1	`(/.f64 (*.f64 (/.f64 y z) t) t)`
82.9%	1	`(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))`

Compiler

Compiled 23 to 36 computations (-56.5% saved)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	5.002224185628089e+211	2.8780095058955835e+213

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	9.33352615690709e+229	3.097924742151537e+230

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	2.804782864397508e-33	1.9480040938723573e-30
0.0ms	0.0	3e-323

Compiler

Compiled 12 to 15 computations (-25% saved)

simplify63.0ms (2.1%)

Memory

-10.5MiB live, 35.7MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	28	82
1	37	82
2	47	80
3	65	80
4	95	80
5	138	80
6	199	80
7	257	80
8	302	80
9	324	80
10	342	80
11	525	80
12	3333	80

Stop Event

1×	node limit

Calls

Call 1

Inputs
(if (<=.f64 (/.f64 y z) #s(literal 99999999999999990959401044767537593501656918740576398586892792465272451027953301036534141738485988029569553038510666318680865279842887243162229186843277653306392406169861934038413548670665077684456779836676898816 binary64)) (.f64 (/.f64 y z) x) (/.f64 (.f64 (*.f64 #s(literal -1 binary64) y) x) (neg.f64 z)))
(if (<=.f64 (/.f64 y z) #s(literal 100000000000000009956644432600511718615881550253707240288894882888289682097749535512827356959114607773492443453354095454801046151441888338236034913910900102616284254148427024265175655196680942530570909289367345315883616691581616128 binary64)) (.f64 (/.f64 y z) x) (.f64 (/.f64 x z) y))
(if (<=.f64 (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #s(literal 0 binary64)) (.f64 (/.f64 x z) y) (if (<=.f64 (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #s(literal 7307508186654515/1461501637330902918203684832716283019655932542976 binary64)) (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (.f64 (/.f64 x z) y)))
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

Outputs
(if (<=.f64 (/.f64 y z) #s(literal 99999999999999990959401044767537593501656918740576398586892792465272451027953301036534141738485988029569553038510666318680865279842887243162229186843277653306392406169861934038413548670665077684456779836676898816 binary64)) (.f64 (/.f64 y z) x) (/.f64 (.f64 (*.f64 #s(literal -1 binary64) y) x) (neg.f64 z)))
(if (<=.f64 (/.f64 y z) #s(literal 99999999999999990959401044767537593501656918740576398586892792465272451027953301036534141738485988029569553038510666318680865279842887243162229186843277653306392406169861934038413548670665077684456779836676898816 binary64)) (.f64 (/.f64 y z) x) (.f64 #s(literal -1 binary64) (/.f64 (.f64 (.f64 #s(literal -1 binary64) y) x) z)))
(if (<=.f64 (/.f64 y z) #s(literal 100000000000000009956644432600511718615881550253707240288894882888289682097749535512827356959114607773492443453354095454801046151441888338236034913910900102616284254148427024265175655196680942530570909289367345315883616691581616128 binary64)) (.f64 (/.f64 y z) x) (.f64 (/.f64 x z) y))
(if (<=.f64 (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #s(literal 0 binary64)) (.f64 (/.f64 x z) y) (if (<=.f64 (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) #s(literal 7307508186654515/1461501637330902918203684832716283019655932542976 binary64)) (.f64 x (/.f64 (.f64 (/.f64 y z) t) t)) (.f64 (/.f64 x z) y)))
(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))

derivations51.0ms (1.7%)

Memory

-1.5MiB live, 50.1MiB allocated; 6ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 88 to 28 computations (68.2% saved)

preprocess529.0ms (17.9%)

Memory: 1.2MiB live, 507.5MiB allocated; 125ms collecting garbage
Remove: (abs t)
Compiler: Compiled 914 to 576 computations (37% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze149.0ms (5%)

sample847.0ms (28.6%)

explain110.0ms (3.7%)

preprocess223.0ms (7.5%)

eval0.0ms (0%)

prune0.0ms (0%)

series16.0ms (0.6%)

rewrite194.0ms (6.6%)

eval69.0ms (2.3%)

prune91.0ms (3.1%)

series35.0ms (1.2%)

rewrite126.0ms (4.3%)

eval32.0ms (1.1%)

prune98.0ms (3.3%)

series27.0ms (0.9%)

rewrite148.0ms (5%)

eval25.0ms (0.8%)

prune79.0ms (2.7%)

regimes24.0ms (0.8%)

regimes3.0ms (0.1%)

regimes10.0ms (0.3%)

regimes9.0ms (0.3%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify63.0ms (2.1%)

derivations51.0ms (1.7%)

preprocess529.0ms (17.9%)

end0.0ms (0%)

Profiling