Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, I

start0.0ms (0%)

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

analyze169.0ms (2.7%)

Memory

-5.5MiB live, 180.5MiB allocated; 64ms 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
0%	0%	99.8%	0.2%	0%	0%	0%	5
50%	49.9%	49.9%	0.2%	0%	0%	0%	6
50%	49.9%	49.9%	0.2%	0%	0%	0%	7
50%	49.9%	49.9%	0.2%	0%	0%	0%	8
50%	49.9%	49.9%	0.2%	0%	0%	0%	9
50%	49.9%	49.9%	0.2%	0%	0%	0%	10
75%	74.8%	24.9%	0.2%	0%	0%	0%	11
75%	74.8%	24.9%	0.2%	0%	0%	0%	12

Compiler

Compiled 15 to 15 computations (0% saved)

sample1.1s (17.1%)

Memory

15.4MiB live, 1 059.1MiB allocated; 213ms collecting garbage

Samples

731.0ms

8 256×

valid

Precisions

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

ival-mult: 332.0ms (75.8% of total)

ival-div: 56.0ms (12.8% of total)

ival-sub: 36.0ms (8.2% of total)

exact: 9.0ms (2.1% of total)

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

adjust: 2.0ms (0.5% of total)

Bogosity

explain115.0ms (1.8%)

Memory

27.3MiB live, 175.5MiB allocated; 11ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
17	-	-	`(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))`
3	-	-	`(-.f64 (.f64 x y) (.f64 (*.f64 z #s(literal 9 binary64)) t))`
1	-	-	`(.f64 (.f64 z #s(literal 9 binary64)) t)`
0	-	-	`(*.f64 a #s(literal 2 binary64))`
0	-	-	`a`
0	-	-	`t`
0	-	-	`#s(literal 9 binary64)`
0	-	-	`z`
0	-	-	`(*.f64 z #s(literal 9 binary64))`
0	-	-	`(*.f64 x y)`
0	-	-	`#s(literal 2 binary64)`
0	-	-	`y`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))`	o/n	16	0
↳	`(*.f64 x y)`	overflow	38
↳	`(-.f64 (.f64 x y) (.f64 (*.f64 z #s(literal 9 binary64)) t))`	overflow	63
↳	`(.f64 (.f64 z #s(literal 9 binary64)) t)`	overflow	31
↳	`(*.f64 z #s(literal 9 binary64))`	overflow	1
`-.f64`	`(-.f64 (.f64 x y) (.f64 (*.f64 z #s(literal 9 binary64)) t))`	nan-rescue	3	0
↳	`(*.f64 x y)`	overflow	38
↳	`(.f64 (.f64 z #s(literal 9 binary64)) t)`	overflow	31
↳	`(*.f64 z #s(literal 9 binary64))`	overflow	1
`*.f64`	`(.f64 (.f64 z #s(literal 9 binary64)) t)`	*no**	1	0
`/.f64`	`(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))`	u/n	1	0
↳	`(.f64 (.f64 z #s(literal 9 binary64)) t)`	underflow	35
↳	`(*.f64 x y)`	underflow	22
↳	`(-.f64 (.f64 x y) (.f64 (*.f64 z #s(literal 9 binary64)) t))`	underflow	2

Confusion

	Predicted +	Predicted -
+	20	0
-	0	236

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	20	0	0
-	0	0	236

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	236
1	19
2	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

44.0ms

512×

valid

Compiler

Compiled 103 to 43 computations (58.3% saved)

Precisions

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

ival-mult: 16.0ms (69.3% of total)

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

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

exact: 1.0ms (4.3% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess199.0ms (3.2%)

Memory

-32.3MiB live, 195.5MiB allocated; 23ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	80	282
1	257	273
2	1018	273
3	3715	273
0	13	13
0	19	13
1	35	13
2	115	13
3	390	13
4	1490	13
5	2949	13
6	6053	13
0	8301	12

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))

Outputs

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

(/.f64 (fma.f64 (*.f64 #s(literal -9 binary64) t) z (*.f64 y x)) (*.f64 #s(literal 2 binary64) a))

Symmetry

(negabs a)

(sort x y)

(sort z t)

Compiler

Compiled 13 to 13 computations (0% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	92.4%	(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))

Compiler

Compiled 13 to 13 computations (0% saved)

series22.0ms (0.4%)

Memory

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

Counts

13 → 33

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite188.0ms (3%)

Memory

-38.3MiB live, 208.6MiB allocated; 27ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	155	694
0	164	682
1	714	680
2	6237	680
0	8227	634

Stop Event

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

Counts

46 → 125

Calls

Call 1

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

Outputs
(/.f64 (/.f64 (fma.f64 (.f64 #s(literal -9 binary64) z) t (.f64 y x)) #s(literal 2 binary64)) a)
(/.f64 (-.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (/.f64 (.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64))) #s(literal 2 binary64))) (fma.f64 (/.f64 x #s(literal 2 binary64)) (/.f64 y a) (.f64 (/.f64 (*.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (/.f64 (.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 (/.f64 (.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64))) #s(literal 2 binary64)) (.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) (.f64 (/.f64 (.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64)))))))
(/.f64 (neg.f64 (/.f64 (fma.f64 (.f64 #s(literal -9 binary64) z) t (.f64 y x)) a)) #s(literal -2 binary64))
(/.f64 (neg.f64 (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 (neg.f64 x) y))) (neg.f64 (*.f64 #s(literal -2 binary64) a)))
(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 #s(literal 2 binary64) a)) (.f64 (.f64 #s(literal 2 binary64) a) (.f64 (.f64 t z) #s(literal 9 binary64)))) (pow.f64 (.f64 #s(literal 2 binary64) a) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 2 binary64))) (.f64 (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 y x)) (*.f64 #s(literal 2 binary64) a)))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 3 binary64))) (.f64 (fma.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 y x)) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) a)))
(/.f64 (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 (neg.f64 x) y)) (*.f64 #s(literal -2 binary64) a))
(/.f64 (/.f64 (fma.f64 (.f64 #s(literal -9 binary64) z) t (.f64 y x)) a) #s(literal 2 binary64))
(/.f64 (fma.f64 (.f64 #s(literal -9 binary64) z) t (.f64 y x)) (*.f64 #s(literal 2 binary64) a))
(neg.f64 (/.f64 (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 (neg.f64 x) y)) (*.f64 #s(literal 2 binary64) a)))
(neg.f64 (/.f64 (fma.f64 (.f64 #s(literal -9 binary64) z) t (.f64 y x)) (*.f64 #s(literal -2 binary64) a)))
(fma.f64 (/.f64 x #s(literal 2 binary64)) (/.f64 y a) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 #s(literal 2 binary64) a)))
(fma.f64 (/.f64 y #s(literal 2 binary64)) (/.f64 x a) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 #s(literal 2 binary64) a)))
(fma.f64 (/.f64 x a) (/.f64 y #s(literal 2 binary64)) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 #s(literal 2 binary64) a)))
(fma.f64 (/.f64 y a) (/.f64 x #s(literal 2 binary64)) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 #s(literal 2 binary64) a)))
(fma.f64 y (/.f64 x (.f64 #s(literal 2 binary64) a)) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (.f64 #s(literal 2 binary64) a)))
(fma.f64 x (/.f64 y (.f64 #s(literal 2 binary64) a)) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (.f64 #s(literal 2 binary64) a)))
(-.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) (.f64 (/.f64 (*.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64))))
(+.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (.f64 #s(literal 2 binary64) a)))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 x) y) #s(literal 3 binary64))) (fma.f64 (pow.f64 (.f64 t z) #s(literal 2 binary64)) #s(literal 81 binary64) (+.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 (neg.f64 x) y)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 (.f64 t #s(literal 9 binary64)) z (*.f64 y x))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (neg.f64 (fma.f64 (.f64 #s(literal -9 binary64) z) t (*.f64 (neg.f64 x) y))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 y x)) (pow.f64 (.f64 y x) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (.f64 t z) #s(literal 3 binary64)) #s(literal -729 binary64) (pow.f64 (.f64 y x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (pow.f64 (.f64 t z) #s(literal 2 binary64)) #s(literal 81 binary64) (.f64 (.f64 y x) (fma.f64 (.f64 t #s(literal 9 binary64)) z (*.f64 y x))))))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 2 binary64))) (fma.f64 (.f64 t #s(literal 9 binary64)) z (*.f64 y x)))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 y x) #s(literal 2 binary64))) (fma.f64 (.f64 #s(literal -9 binary64) z) t (*.f64 (neg.f64 x) y)))
(/.f64 (-.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 y x)) (pow.f64 (.f64 y x) #s(literal 2 binary64))))
(/.f64 (fma.f64 (pow.f64 (.f64 t z) #s(literal 3 binary64)) #s(literal -729 binary64) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal -9 binary64) (*.f64 t z)) y) x))))
(/.f64 (fma.f64 (pow.f64 (.f64 t z) #s(literal 3 binary64)) #s(literal -729 binary64) (pow.f64 (.f64 y x) #s(literal 3 binary64))) (fma.f64 (pow.f64 (.f64 t z) #s(literal 2 binary64)) #s(literal 81 binary64) (.f64 (.f64 y x) (fma.f64 (.f64 t #s(literal 9 binary64)) z (*.f64 y x)))))
(fma.f64 (.f64 #s(literal -9 binary64) z) t (.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 (.f64 #s(literal -9 binary64) z) t (.f64 y x))
(fma.f64 (.f64 #s(literal -9 binary64) t) z (.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 (.f64 #s(literal -9 binary64) t) z (.f64 y x))
(fma.f64 #s(literal -9 binary64) (.f64 t z) (.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 #s(literal -9 binary64) (.f64 t z) (.f64 y x))
(fma.f64 (.f64 t z) #s(literal -9 binary64) (.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 (.f64 t z) #s(literal -9 binary64) (.f64 y x))
(fma.f64 t (.f64 #s(literal -9 binary64) z) (.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 t (.f64 #s(literal -9 binary64) z) (.f64 y x))
(fma.f64 z (.f64 #s(literal -9 binary64) t) (.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 z (.f64 #s(literal -9 binary64) t) (.f64 y x))
(fma.f64 y x (.f64 (neg.f64 t) (.f64 #s(literal 9 binary64) z)))
(fma.f64 y x (.f64 (neg.f64 z) (.f64 t #s(literal 9 binary64))))
(fma.f64 y x (.f64 (.f64 (neg.f64 z) t) #s(literal 9 binary64)))
(fma.f64 y x (.f64 #s(literal -9 binary64) (.f64 t z)))
(fma.f64 x y (.f64 (neg.f64 t) (.f64 #s(literal 9 binary64) z)))
(fma.f64 x y (.f64 (neg.f64 z) (.f64 t #s(literal 9 binary64))))
(fma.f64 x y (.f64 (.f64 (neg.f64 z) t) #s(literal 9 binary64)))
(fma.f64 x y (.f64 #s(literal -9 binary64) (.f64 t z)))
(-.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 y x))) (/.f64 (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 t #s(literal 9 binary64)) z (*.f64 y x))))
(-.f64 (/.f64 (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 2 binary64)) (fma.f64 (.f64 #s(literal -9 binary64) z) t (.f64 (neg.f64 x) y))) (/.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) (fma.f64 (.f64 #s(literal -9 binary64) z) t (*.f64 (neg.f64 x) y))))
(-.f64 (/.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 y x)) (pow.f64 (.f64 y x) #s(literal 2 binary64)))) (/.f64 (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 y x)) (pow.f64 (*.f64 y x) #s(literal 2 binary64)))))
(-.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 (neg.f64 x) y))
(-.f64 (.f64 y x) (.f64 (*.f64 (neg.f64 z) t) #s(literal -9 binary64)))
(-.f64 (.f64 y x) (.f64 (*.f64 t z) #s(literal 9 binary64)))
(+.f64 (/.f64 (pow.f64 (.f64 (.f64 t z) #s(literal 9 binary64)) #s(literal 3 binary64)) (fma.f64 (pow.f64 (.f64 t z) #s(literal 2 binary64)) #s(literal 81 binary64) (.f64 (.f64 y x) (fma.f64 (.f64 t #s(literal 9 binary64)) z (.f64 y x))))) (/.f64 (pow.f64 (.f64 y x) #s(literal 3 binary64)) (fma.f64 (pow.f64 (.f64 t z) #s(literal 2 binary64)) #s(literal 81 binary64) (.f64 (.f64 y x) (fma.f64 (.f64 t #s(literal 9 binary64)) z (*.f64 y x))))))
(+.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 (neg.f64 (neg.f64 x)) y))
(+.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 y x))
(+.f64 (.f64 y x) (.f64 (neg.f64 t) (*.f64 #s(literal 9 binary64) z)))
(+.f64 (.f64 y x) (.f64 (neg.f64 z) (*.f64 t #s(literal 9 binary64))))
(+.f64 (.f64 y x) (.f64 (*.f64 (neg.f64 z) t) #s(literal 9 binary64)))
(+.f64 (.f64 y x) (.f64 #s(literal -9 binary64) (*.f64 t z)))
(*.f64 y x)
(*.f64 x y)
x
y
(.f64 (.f64 t #s(literal 9 binary64)) z)
(.f64 (.f64 #s(literal 9 binary64) z) t)
(.f64 (.f64 t z) #s(literal 9 binary64))
(.f64 t (.f64 #s(literal 9 binary64) z))
(.f64 #s(literal 9 binary64) (.f64 t z))
(.f64 z (.f64 t #s(literal 9 binary64)))
(neg.f64 (.f64 #s(literal -9 binary64) (.f64 t z)))
(*.f64 #s(literal 9 binary64) z)
(*.f64 z #s(literal 9 binary64))
(neg.f64 (*.f64 #s(literal -9 binary64) z))
z
#s(literal 9 binary64)
t
(*.f64 #s(literal 2 binary64) a)
(*.f64 a #s(literal 2 binary64))
(/.f64 (-.f64 (.f64 a a) (.f64 a a)) (-.f64 a a))
(/.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (fma.f64 a a (-.f64 (.f64 a a) (.f64 a a))))
(fma.f64 #s(literal 1 binary64) a (*.f64 #s(literal 1 binary64) a))
(fma.f64 a #s(literal 1 binary64) (*.f64 a #s(literal 1 binary64)))
(+.f64 (.f64 #s(literal 1 binary64) a) (.f64 #s(literal 1 binary64) a))
(+.f64 (.f64 a #s(literal 1 binary64)) (.f64 a #s(literal 1 binary64)))
(+.f64 a a)
a
#s(literal 2 binary64)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (/.f64 (fma.f64 (.f64 #s(literal 1/2 binary64) y) x (.f64 (*.f64 #s(literal -9/2 binary64) t) z)) a))
#s(approx (- (* x y) (* (* z 9) t)) (.f64 #s(literal -9 binary64) (.f64 t z)))
#s(approx (- (* x y) (* (* z 9) t)) (fma.f64 (.f64 #s(literal -9 binary64) z) t (.f64 y x)))
#s(approx (* x y) (*.f64 y x))
#s(approx x x)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 y a) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) x) #s(literal -9/2 binary64))) x))
#s(approx (- (* x y) (* (* z 9) t)) (*.f64 y x))
#s(approx (- (* x y) (* (* z 9) t)) (.f64 (fma.f64 (/.f64 (.f64 t z) x) #s(literal -9 binary64) y) x))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 x) (fma.f64 #s(literal 9/2 binary64) (/.f64 (/.f64 (.f64 t z) a) x) (*.f64 #s(literal -1/2 binary64) (/.f64 y a)))))
#s(approx (- (* x y) (* (* z 9) t)) (.f64 (neg.f64 x) (fma.f64 (/.f64 (.f64 t z) x) #s(literal 9 binary64) (neg.f64 y))))
#s(approx y y)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) y) #s(literal -9/2 binary64))) y))
#s(approx (- (* x y) (* (* z 9) t)) (.f64 (fma.f64 (/.f64 (.f64 t z) y) #s(literal -9 binary64) x) y))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal -1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) y) #s(literal 9/2 binary64))) (neg.f64 y)))
#s(approx (- (* x y) (* (* z 9) t)) (.f64 (fma.f64 (/.f64 (.f64 t z) y) #s(literal 9 binary64) (neg.f64 x)) (neg.f64 y)))
#s(approx (- (* x y) (* (* z 9) t)) (fma.f64 (.f64 #s(literal -9 binary64) z) t (.f64 y x)))
#s(approx (* (* z 9) t) (.f64 (.f64 t z) #s(literal 9 binary64)))
#s(approx (* z 9) (*.f64 #s(literal 9 binary64) z))
#s(approx z z)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
#s(approx (- (* x y) (* (* z 9) t)) (.f64 (fma.f64 #s(literal -9 binary64) t (/.f64 (.f64 y x) z)) z))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 z) (fma.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal -1/2 binary64) (*.f64 (/.f64 t a) #s(literal 9/2 binary64)))))
#s(approx (- (* x y) (* (* z 9) t)) (.f64 (neg.f64 z) (fma.f64 (neg.f64 x) (/.f64 y z) (.f64 t #s(literal 9 binary64)))))
#s(approx t t)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal 1/2 binary64) (*.f64 (/.f64 z a) #s(literal -9/2 binary64))) t))
#s(approx (- (* x y) (* (* z 9) t)) (.f64 (fma.f64 #s(literal -9 binary64) z (/.f64 (.f64 y x) t)) t))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 t) (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal -1/2 binary64) (*.f64 (/.f64 z a) #s(literal 9/2 binary64)))))
#s(approx (- (* x y) (* (* z 9) t)) (.f64 (neg.f64 t) (fma.f64 (neg.f64 x) (/.f64 y t) (.f64 #s(literal 9 binary64) z))))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (/.f64 (fma.f64 (.f64 #s(literal -9 binary64) z) t (*.f64 y x)) a) #s(literal 1/2 binary64)))
#s(approx (* a 2) (*.f64 #s(literal 2 binary64) a))
#s(approx a a)

eval13.0ms (0.2%)

Memory: 22.2MiB live, 22.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 473 to 412 computations (83.3% saved)

prune88.0ms (1.4%)

Memory

-36.4MiB live, 109.5MiB allocated; 8ms collecting garbage

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	118	6	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	119	6	125

Accuracy

99.6%

Counts

125 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
	87.4%	(fma.f64 (/.f64 y a) (/.f64 x #s(literal 2 binary64)) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 #s(literal 2 binary64) a)))
	65.7%	(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 #s(literal 2 binary64) a)) (.f64 (.f64 #s(literal 2 binary64) a) (.f64 (.f64 t z) #s(literal 9 binary64)))) (pow.f64 (.f64 #s(literal 2 binary64) a) #s(literal 2 binary64)))
	87.1%	(/.f64 #s(approx (- (* x y) (* (* z 9) t)) (.f64 (neg.f64 z) (fma.f64 (neg.f64 x) (/.f64 y z) (.f64 t #s(literal 9 binary64))))) (*.f64 a #s(literal 2 binary64)))
	86.1%	(-.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) (.f64 (/.f64 (*.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64))))
▶	87.5%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
	83.1%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) y) #s(literal -9/2 binary64))) y))

Compiler

Compiled 284 to 224 computations (21.1% saved)

series39.0ms (0.6%)

Memory

3.6MiB live, 49.8MiB allocated; 2ms collecting garbage

Counts

15 → 47

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite193.0ms (3.1%)

Memory

10.2MiB live, 195.5MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	188	1302
0	201	1286
1	851	1241
0	7259	1169

Stop Event

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

Counts

62 → 204

Calls

Call 1

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

Outputs
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t)) (/.f64 z a)))
(.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t)) (/.f64 z a))
(.f64 (/.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t)) a) z)
(.f64 z (/.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t)) a))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)) (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64))) z) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (.f64 #s(literal 9/2 binary64) (/.f64 t a))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64))) z) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y)))
(/.f64 (.f64 (fma.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64))) z) (fma.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y)) (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64))))
(/.f64 (.f64 (fma.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64))) z) (fma.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (.f64 #s(literal 9/2 binary64) (/.f64 t a))) (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64))))
(/.f64 (.f64 z (-.f64 (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)) (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)))) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (.f64 #s(literal 9/2 binary64) (/.f64 t a))))
(/.f64 (.f64 z (-.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)))) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y)))
(/.f64 (.f64 z (fma.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64)))) (fma.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y)) (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64))))
(/.f64 (.f64 z (fma.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64)))) (fma.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (.f64 #s(literal 9/2 binary64) (/.f64 t a))) (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))) (-.f64 (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z)))
(/.f64 (fma.f64 (pow.f64 (/.f64 (.f64 t z) a) #s(literal 3 binary64)) #s(literal -729/8 binary64) (pow.f64 (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z)) (.f64 (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 (/.f64 (*.f64 y x) a) z) #s(literal 1/2 binary64)) z)))))
(/.f64 (neg.f64 (.f64 (neg.f64 z) (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t)))) (neg.f64 (neg.f64 a)))
(/.f64 (.f64 (neg.f64 z) (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t))) (neg.f64 a))
(/.f64 (.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t)) z) a)
(neg.f64 (/.f64 (.f64 (neg.f64 z) (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t))) a))
(neg.f64 (/.f64 (.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t)) z) (neg.f64 a)))
(fma.f64 (.f64 z #s(literal 1/2 binary64)) (/.f64 (/.f64 (.f64 y x) a) z) (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)))
(fma.f64 (.f64 z (/.f64 (/.f64 (.f64 y x) a) z)) #s(literal 1/2 binary64) (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)))
(fma.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(fma.f64 (.f64 #s(literal -9/2 binary64) t) (/.f64 z a) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (.f64 #s(literal -9/2 binary64) t) (/.f64 z a) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(fma.f64 (.f64 (/.f64 z a) #s(literal -9/2 binary64)) t (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (.f64 (/.f64 z a) #s(literal -9/2 binary64)) t (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(fma.f64 (/.f64 z a) (.f64 #s(literal -9/2 binary64) t) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (/.f64 z a) (.f64 #s(literal -9/2 binary64) t) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(fma.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)))
(fma.f64 (/.f64 (/.f64 (.f64 y x) a) z) (.f64 #s(literal 1/2 binary64) z) (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)))
(fma.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) z (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) z (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(fma.f64 (/.f64 t a) (.f64 #s(literal -9/2 binary64) z) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (/.f64 t a) (.f64 #s(literal -9/2 binary64) z) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(fma.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 t a) z) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 t a) z) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(fma.f64 #s(literal -9/2 binary64) (/.f64 (.f64 t z) a) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 #s(literal -9/2 binary64) (/.f64 (.f64 t z) a) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(fma.f64 #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (.f64 y x) a) z) z) (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)))
(fma.f64 t (.f64 (/.f64 z a) #s(literal -9/2 binary64)) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 t (.f64 (/.f64 z a) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(fma.f64 z (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)))
(fma.f64 z (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 z (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(-.f64 (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)) (.f64 (neg.f64 z) (.f64 (/.f64 (/.f64 (*.f64 y x) a) z) #s(literal 1/2 binary64))))
(-.f64 (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)) (.f64 (.f64 (*.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) z))
(+.f64 (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) z) (.f64 (/.f64 (*.f64 t z) a) #s(literal -9/2 binary64)))
(+.f64 (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)) (/.f64 (.f64 (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(+.f64 (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 (/.f64 (*.f64 y x) a) z) #s(literal 1/2 binary64)) z))
(/.f64 (-.f64 (pow.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (/.f64 (neg.f64 t) a) #s(literal -9/2 binary64)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (.f64 (/.f64 (neg.f64 t) a) #s(literal -9/2 binary64))))))
(/.f64 (-.f64 (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (.f64 #s(literal -9/2 binary64) t)))) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)) (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (*.f64 #s(literal 9/2 binary64) (/.f64 t a)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)))) (neg.f64 (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (*.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y)) (pow.f64 (.f64 (*.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (.f64 #s(literal 9/2 binary64) (/.f64 t a))) (pow.f64 (*.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal -9/2 binary64) t) (.f64 a z)) (.f64 a (.f64 (.f64 #s(literal -1/2 binary64) x) y))) (.f64 a (.f64 a z)))
(/.f64 (fma.f64 (.f64 #s(literal -9/2 binary64) t) a (.f64 a (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)))) (*.f64 a a))
(/.f64 (fma.f64 (.f64 (.f64 #s(literal 1/2 binary64) y) x) a (.f64 (.f64 a z) (.f64 #s(literal -9/2 binary64) t))) (.f64 (*.f64 a z) a))
(/.f64 (fma.f64 (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)) a (.f64 (.f64 #s(literal -9/2 binary64) t) z)) (*.f64 a z))
(/.f64 (fma.f64 (.f64 #s(literal -9/2 binary64) t) (.f64 a z) (.f64 a (.f64 (.f64 #s(literal 1/2 binary64) y) x))) (.f64 a (*.f64 a z)))
(/.f64 (fma.f64 (.f64 #s(literal -9/2 binary64) z) t (.f64 a (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)))) (*.f64 a z))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)) (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64))) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (*.f64 #s(literal 9/2 binary64) (/.f64 t a))))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) t) #s(literal 2 binary64)) (pow.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal -1/2 binary64)) #s(literal 2 binary64))) (.f64 (fma.f64 #s(literal -9/2 binary64) t (.f64 (/.f64 (.f64 y x) z) #s(literal -1/2 binary64))) a))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64))) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (*.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y)))
(/.f64 (fma.f64 (pow.f64 t #s(literal 3 binary64)) #s(literal -729/8 binary64) (pow.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (.f64 (fma.f64 (.f64 t t) #s(literal 81/4 binary64) (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) (-.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) (.f64 #s(literal -9/2 binary64) t)))) a))
(/.f64 (fma.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y)) (pow.f64 (.f64 (*.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64))))
(/.f64 (fma.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (.f64 #s(literal 9/2 binary64) (/.f64 t a))) (pow.f64 (*.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64))))
(/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (.f64 #s(literal -9/2 binary64) t))) (neg.f64 a))
(/.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (.f64 #s(literal -9/2 binary64) t)) a)
(neg.f64 (/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (.f64 #s(literal -9/2 binary64) t))) a))
(neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (.f64 #s(literal -9/2 binary64) t)) (neg.f64 a)))
(fma.f64 (/.f64 #s(literal 1/2 binary64) a) (/.f64 (.f64 y x) z) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (/.f64 #s(literal 1/2 binary64) z) (/.f64 (.f64 y x) a) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (.f64 #s(literal 1/2 binary64) y) (/.f64 (/.f64 x a) z) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (.f64 #s(literal 1/2 binary64) x) (/.f64 (/.f64 y a) z) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (/.f64 (.f64 y x) z) (/.f64 #s(literal 1/2 binary64) a) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (/.f64 (/.f64 x a) z) (.f64 #s(literal 1/2 binary64) y) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (.f64 (/.f64 x a) #s(literal 1/2 binary64)) (/.f64 y z) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (/.f64 x a) (.f64 (/.f64 y z) #s(literal 1/2 binary64)) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (.f64 (/.f64 (/.f64 y a) z) #s(literal 1/2 binary64)) x (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (/.f64 (/.f64 y a) z) (.f64 #s(literal 1/2 binary64) x) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (neg.f64 (/.f64 (/.f64 (.f64 y x) a) z)) #s(literal -1/2 binary64)))
(fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)))
(fma.f64 (/.f64 (.f64 y x) a) (/.f64 #s(literal 1/2 binary64) z) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 #s(literal -9/2 binary64) (/.f64 t a) (.f64 (neg.f64 (/.f64 (/.f64 (.f64 y x) a) z)) #s(literal -1/2 binary64)))
(fma.f64 #s(literal -9/2 binary64) (/.f64 t a) (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)))
(fma.f64 #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 x a) z) y) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 #s(literal 1/2 binary64) (/.f64 (/.f64 (.f64 y x) a) z) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 t (/.f64 #s(literal -9/2 binary64) a) (.f64 (neg.f64 (/.f64 (/.f64 (.f64 y x) a) z)) #s(literal -1/2 binary64)))
(fma.f64 t (/.f64 #s(literal -9/2 binary64) a) (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)))
(fma.f64 y (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(fma.f64 x (.f64 (/.f64 (/.f64 y a) z) #s(literal 1/2 binary64)) (.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(-.f64 (/.f64 (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (.f64 #s(literal 9/2 binary64) (/.f64 t a)))) (/.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (*.f64 #s(literal 9/2 binary64) (/.f64 t a)))))
(-.f64 (/.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y))) (/.f64 (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (*.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y))))
(-.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (*.f64 (/.f64 (neg.f64 t) a) #s(literal -9/2 binary64)))
(-.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (*.f64 #s(literal 9/2 binary64) (/.f64 t a)))
(-.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (.f64 (neg.f64 (/.f64 (/.f64 (*.f64 y x) a) z)) #s(literal 1/2 binary64)))
(-.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (.f64 (*.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y))
(+.f64 (/.f64 (pow.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y)) (pow.f64 (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)))) (/.f64 (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64)) (fma.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y)) (pow.f64 (.f64 (*.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64)) y) #s(literal 2 binary64)))))
(+.f64 (/.f64 (pow.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) #s(literal 3 binary64)) (fma.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (.f64 #s(literal 9/2 binary64) (/.f64 t a))) (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)))) (/.f64 (pow.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (fma.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (fma.f64 (.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64)) y (.f64 #s(literal 9/2 binary64) (/.f64 t a))) (pow.f64 (*.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)))))
(+.f64 (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)) (*.f64 (/.f64 t a) #s(literal -9/2 binary64)))
(+.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (.f64 (neg.f64 (/.f64 (/.f64 (*.f64 y x) a) z)) #s(literal -1/2 binary64)))
(+.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (.f64 (/.f64 (/.f64 (*.f64 y x) a) z) #s(literal 1/2 binary64)))
(*.f64 (/.f64 x z) (/.f64 y a))
(*.f64 (/.f64 y z) (/.f64 x a))
(*.f64 (/.f64 x a) (/.f64 y z))
(*.f64 (/.f64 (/.f64 y a) z) x)
(*.f64 (/.f64 y a) (/.f64 x z))
(*.f64 y (/.f64 (/.f64 x a) z))
(*.f64 x (/.f64 (/.f64 y a) z))
(/.f64 (*.f64 (neg.f64 x) (/.f64 y z)) (neg.f64 a))
(/.f64 (neg.f64 (.f64 (neg.f64 x) y)) (neg.f64 (.f64 (neg.f64 z) a)))
(/.f64 (/.f64 (*.f64 (neg.f64 x) y) a) (neg.f64 z))
(/.f64 (.f64 (neg.f64 x) y) (.f64 (neg.f64 z) a))
(/.f64 (/.f64 (*.f64 y x) z) a)
(/.f64 (/.f64 (*.f64 y x) a) (neg.f64 (neg.f64 z)))
(/.f64 (/.f64 (*.f64 y x) a) z)
(/.f64 (.f64 y x) (.f64 a z))
(neg.f64 (/.f64 (/.f64 (*.f64 (neg.f64 x) y) a) z))
(neg.f64 (/.f64 (.f64 (neg.f64 x) y) (.f64 a z)))
(neg.f64 (/.f64 (/.f64 (*.f64 y x) a) (neg.f64 z)))
(neg.f64 (/.f64 (.f64 y x) (.f64 (neg.f64 z) a)))
(*.f64 (/.f64 x a) y)
(*.f64 (/.f64 y a) x)
(*.f64 y (/.f64 x a))
(*.f64 x (/.f64 y a))
(/.f64 (neg.f64 (*.f64 (neg.f64 x) y)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 a))
(/.f64 (*.f64 y x) a)
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) a))
(*.f64 y x)
(*.f64 x y)
y
x
a
z
#s(literal 1/2 binary64)
(*.f64 (/.f64 t a) #s(literal -9/2 binary64))
(*.f64 #s(literal -9/2 binary64) (/.f64 t a))
(*.f64 t (/.f64 #s(literal -9/2 binary64) a))
(/.f64 (*.f64 #s(literal -9/2 binary64) (neg.f64 t)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 t) #s(literal -9/2 binary64)) (neg.f64 a))
(/.f64 (neg.f64 (*.f64 #s(literal -9/2 binary64) t)) (neg.f64 a))
(/.f64 (*.f64 #s(literal -9/2 binary64) t) a)
(neg.f64 (*.f64 #s(literal 9/2 binary64) (/.f64 t a)))
(/.f64 (neg.f64 (neg.f64 t)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 t) (neg.f64 a))
(/.f64 t a)
(neg.f64 (/.f64 (neg.f64 t) a))
t
#s(literal -9/2 binary64)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (/.f64 (fma.f64 (.f64 #s(literal 1/2 binary64) y) x (.f64 (*.f64 #s(literal -9/2 binary64) t) z)) a))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (/.f64 (.f64 t z) a) #s(literal -9/2 binary64)))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (/.f64 (fma.f64 (.f64 #s(literal 1/2 binary64) y) x (.f64 (*.f64 #s(literal -9/2 binary64) t) z)) a))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (*.f64 (/.f64 t a) #s(literal -9/2 binary64)))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (/.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (.f64 #s(literal -9/2 binary64) t)) a))
#s(approx (/ (/ (* y x) a) z) (/.f64 (/.f64 (*.f64 y x) a) z))
#s(approx (/ (* y x) a) (/.f64 (*.f64 y x) a))
#s(approx (* y x) (*.f64 y x))
#s(approx x x)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 y a) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) x) #s(literal -9/2 binary64))) x))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (fma.f64 (/.f64 y a) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) x) #s(literal -9/2 binary64))) x))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64)))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (.f64 (fma.f64 (/.f64 (/.f64 y a) z) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 t a) x) #s(literal -9/2 binary64))) x))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 x) (fma.f64 #s(literal 9/2 binary64) (/.f64 (/.f64 (.f64 t z) a) x) (*.f64 #s(literal -1/2 binary64) (/.f64 y a)))))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (neg.f64 x) (fma.f64 #s(literal 9/2 binary64) (/.f64 (/.f64 (.f64 t z) a) x) (*.f64 #s(literal -1/2 binary64) (/.f64 y a)))))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (.f64 (neg.f64 x) (fma.f64 #s(literal 9/2 binary64) (/.f64 (/.f64 t a) x) (.f64 #s(literal -1/2 binary64) (/.f64 (/.f64 y a) z)))))
#s(approx y y)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) y) #s(literal -9/2 binary64))) y))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) y) #s(literal -9/2 binary64))) y))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (.f64 (fma.f64 (/.f64 (/.f64 x a) z) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 t a) y) #s(literal -9/2 binary64))) y))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 y) (fma.f64 (/.f64 x a) #s(literal -1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) y) #s(literal 9/2 binary64)))))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (neg.f64 y) (fma.f64 (/.f64 x a) #s(literal -1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) y) #s(literal 9/2 binary64)))))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (.f64 (neg.f64 y) (fma.f64 (/.f64 (/.f64 x a) z) #s(literal -1/2 binary64) (.f64 (/.f64 (/.f64 t a) y) #s(literal 9/2 binary64)))))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (/.f64 (/.f64 (fma.f64 (.f64 #s(literal 1/2 binary64) y) x (.f64 (*.f64 #s(literal -9/2 binary64) t) z)) a) z))
#s(approx z z)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t)) (/.f64 z a)))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t)) (/.f64 z a)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 z) (/.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal -1/2 binary64) (*.f64 #s(literal 9/2 binary64) t)) a)))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (neg.f64 z) (/.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal -1/2 binary64) (*.f64 #s(literal 9/2 binary64) t)) a)))
#s(approx (* (/ t a) -9/2) (*.f64 (/.f64 t a) #s(literal -9/2 binary64)))
#s(approx (/ t a) (/.f64 t a))
#s(approx t t)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal 1/2 binary64) (*.f64 (/.f64 z a) #s(literal -9/2 binary64))) t))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal 1/2 binary64) (*.f64 (/.f64 z a) #s(literal -9/2 binary64))) t))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (.f64 (fma.f64 (/.f64 #s(literal 1/2 binary64) (.f64 a t)) (/.f64 (*.f64 y x) z) (/.f64 #s(literal -9/2 binary64) a)) t))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 t) (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal -1/2 binary64) (*.f64 (/.f64 z a) #s(literal 9/2 binary64)))))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (neg.f64 t) (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal -1/2 binary64) (*.f64 (/.f64 z a) #s(literal 9/2 binary64)))))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (.f64 (neg.f64 t) (fma.f64 (/.f64 (/.f64 (/.f64 (.f64 y x) a) t) z) #s(literal -1/2 binary64) (/.f64 #s(literal 9/2 binary64) a))))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (/.f64 (fma.f64 (.f64 #s(literal -9 binary64) t) z (*.f64 y x)) a) #s(literal 1/2 binary64)))
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (*.f64 #s(literal -9/2 binary64) t)) (/.f64 z a)))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (/.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64) (.f64 #s(literal -9/2 binary64) t)) a))
#s(approx a a)
#s(approx (* (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) z) (.f64 (neg.f64 z) (/.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal -1/2 binary64) (*.f64 #s(literal 9/2 binary64) t)) a)))
#s(approx (+ (* (/ (/ (* y x) a) z) 1/2) (* (/ t a) -9/2)) (/.f64 (fma.f64 (/.f64 (.f64 y x) z) #s(literal -1/2 binary64) (.f64 #s(literal 9/2 binary64) t)) (neg.f64 a)))

eval22.0ms (0.3%)

Memory: 36.3MiB live, 36.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 7 525 to 810 computations (89.2% saved)

prune2.8s (43.7%)

Memory

-169.0MiB live, 666.7MiB allocated; 2.7s collecting garbage

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	201	3	204
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	203	7	210

Accuracy

100.0%

Counts

210 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
	87.4%	(fma.f64 (/.f64 y a) (/.f64 x #s(literal 2 binary64)) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 #s(literal 2 binary64) a)))
	87.1%	(/.f64 #s(approx (- (* x y) (* (* z 9) t)) (.f64 (neg.f64 z) (fma.f64 (neg.f64 x) (/.f64 y z) (.f64 t #s(literal 9 binary64))))) (*.f64 a #s(literal 2 binary64)))
	86.1%	(-.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) (.f64 (/.f64 (*.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64))))
▶	87.8%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 t a) z) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a)))
	86.2%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (.f64 (/.f64 x a) y) z) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
	87.1%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (.f64 y x) z) (/.f64 #s(literal 1/2 binary64) a) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
	83.1%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) y) #s(literal -9/2 binary64))) y))

Compiler

Compiled 362 to 286 computations (21% saved)

series51.0ms (0.8%)

Memory

10.9MiB live, 56.8MiB allocated; 7ms collecting garbage

Counts

16 → 37

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite200.0ms (3.2%)

Memory

-48.0MiB live, 251.2MiB allocated; 44ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	141	1002
0	156	990
1	595	974
2	4896	974
0	8360	925

Stop Event

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

Counts

53 → 163

Calls

Call 1

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

Outputs
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
(.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z)
(.f64 z (fma.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))))
(/.f64 (.f64 (fma.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 3 binary64))) z) (fma.f64 (pow.f64 (/.f64 t a) #s(literal 2 binary64)) #s(literal 81/4 binary64) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64)) (-.f64 (.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64)) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))))))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)) (pow.f64 (.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal -1/2 binary64)) #s(literal 2 binary64))) z) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal -1/2 binary64))))
(/.f64 (.f64 z (fma.f64 (pow.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 3 binary64)) #s(literal 1/8 binary64) (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 3 binary64)))) (fma.f64 (pow.f64 (/.f64 t a) #s(literal 2 binary64)) #s(literal 81/4 binary64) (.f64 (.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64)) (-.f64 (.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64)) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))))))
(/.f64 (.f64 z (-.f64 (pow.f64 (.f64 #s(literal 9/2 binary64) (/.f64 t a)) #s(literal 2 binary64)) (pow.f64 (.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal -1/2 binary64)) #s(literal 2 binary64)))) (fma.f64 (/.f64 t a) #s(literal -9/2 binary64) (.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal -1/2 binary64))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) #s(literal 2 binary64)) (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64))) (-.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a))))
(/.f64 (fma.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z (.f64 (.f64 t z) #s(literal -9/2 binary64))) a)
(/.f64 (fma.f64 (.f64 #s(literal -9/2 binary64) z) t (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z)) a)
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)) (pow.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) #s(literal 2 binary64)))) (neg.f64 (/.f64 (-.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z)) a)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (.f64 z (/.f64 (/.f64 (.f64 y x) z) a)) #s(literal 3 binary64)) #s(literal 1/8 binary64) (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 3 binary64)) #s(literal -729/8 binary64)))) (neg.f64 (fma.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64) (.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (-.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))))))
(/.f64 (fma.f64 (.f64 (neg.f64 z) (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64))) a (.f64 (neg.f64 a) (.f64 (.f64 t z) #s(literal -9/2 binary64)))) (*.f64 (neg.f64 a) a))
(/.f64 (fma.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a (.f64 a (.f64 (.f64 t z) #s(literal -9/2 binary64)))) (*.f64 a a))
(/.f64 (fma.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) (neg.f64 a) (.f64 a (.f64 (neg.f64 z) (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64))))) (*.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) a (.f64 a (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z))) (*.f64 a a))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)) (pow.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) #s(literal 2 binary64))) (/.f64 (-.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z)) a))
(/.f64 (fma.f64 (pow.f64 (.f64 z (/.f64 (/.f64 (.f64 y x) z) a)) #s(literal 3 binary64)) #s(literal 1/8 binary64) (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 3 binary64)) #s(literal -729/8 binary64))) (+.f64 (pow.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)) (.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (.f64 z (/.f64 (.f64 (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)) z) a))))))
(/.f64 (fma.f64 (pow.f64 (.f64 z (/.f64 (/.f64 (.f64 y x) z) a)) #s(literal 3 binary64)) #s(literal 1/8 binary64) (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 3 binary64)) #s(literal -729/8 binary64))) (fma.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64) (.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (-.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a))))))
(fma.f64 (.f64 z (/.f64 (/.f64 (.f64 y x) z) a)) #s(literal 1/2 binary64) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (.f64 #s(literal 1/2 binary64) z) (/.f64 (/.f64 (.f64 y x) z) a) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (.f64 #s(literal -9/2 binary64) t) (/.f64 z a) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (.f64 (/.f64 z a) #s(literal -9/2 binary64)) t (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (/.f64 z a) (.f64 #s(literal -9/2 binary64) t) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (/.f64 z a) (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64)) z (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (/.f64 (/.f64 (.f64 y x) z) a) (.f64 #s(literal 1/2 binary64) z) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) z (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) (/.f64 z a) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 #s(literal 1/2 binary64) z) a) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (/.f64 (.f64 y x) z) (.f64 #s(literal 1/2 binary64) (/.f64 z a)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (.f64 (/.f64 t a) z) #s(literal -9/2 binary64) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (/.f64 t a) (.f64 #s(literal -9/2 binary64) z) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 (.f64 t z) (/.f64 #s(literal -9/2 binary64) a) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 #s(literal 1/2 binary64) (.f64 (/.f64 (.f64 y x) z) (/.f64 z a)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (.f64 y x) z) a) z) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 t a) z) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 t (.f64 (/.f64 z a) #s(literal -9/2 binary64)) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(fma.f64 z (.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 z (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a))
(-.f64 (/.f64 (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)) (/.f64 (-.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z)) a)) (/.f64 (pow.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)) z)) a)))
(-.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (.f64 (neg.f64 (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
(-.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (.f64 (neg.f64 (*.f64 (/.f64 t a) z)) #s(literal -9/2 binary64)))
(-.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (.f64 (*.f64 (/.f64 z a) #s(literal 9/2 binary64)) t))
(-.f64 (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)) (.f64 (neg.f64 z) (.f64 (/.f64 (/.f64 (*.f64 y x) z) a) #s(literal 1/2 binary64))))
(-.f64 (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)) (.f64 (neg.f64 (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64))) (/.f64 z a)))
(-.f64 (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)) (.f64 (.f64 (/.f64 (/.f64 (*.f64 y x) z) a) #s(literal -1/2 binary64)) z))
(+.f64 (/.f64 (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 3 binary64)) #s(literal -729/8 binary64)) (fma.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64) (.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (-.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))))) (/.f64 (pow.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) #s(literal 3 binary64)) (fma.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64) (.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (-.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (.f64 (*.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))))))
(+.f64 (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a) (.f64 (*.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(+.f64 (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)) (/.f64 (.f64 (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)) z) a))
#s(literal -9/2 binary64)
(*.f64 (/.f64 z a) t)
(*.f64 (/.f64 t a) z)
(*.f64 t (/.f64 z a))
(*.f64 z (/.f64 t a))
(/.f64 (neg.f64 (*.f64 (neg.f64 z) t)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 (neg.f64 z) t) (neg.f64 a))
(/.f64 (*.f64 t z) a)
(neg.f64 (/.f64 (*.f64 (neg.f64 z) t) a))
(neg.f64 (/.f64 (*.f64 t z) (neg.f64 a)))
(/.f64 (neg.f64 (neg.f64 t)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 t) (neg.f64 a))
(/.f64 t a)
(neg.f64 (/.f64 (neg.f64 t) a))
(neg.f64 (/.f64 t (neg.f64 a)))
t
a
z
(.f64 (.f64 z (/.f64 (/.f64 (*.f64 y x) z) a)) #s(literal 1/2 binary64))
(.f64 (.f64 #s(literal 1/2 binary64) z) (/.f64 (/.f64 (*.f64 y x) z) a))
(.f64 (/.f64 z a) (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)))
(.f64 (.f64 (/.f64 (/.f64 (*.f64 y x) z) a) #s(literal 1/2 binary64)) z)
(.f64 (/.f64 (/.f64 (.f64 y x) z) a) (*.f64 #s(literal 1/2 binary64) z))
(.f64 (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)) (/.f64 z a))
(.f64 (/.f64 (.f64 y x) z) (/.f64 (*.f64 #s(literal 1/2 binary64) z) a))
(.f64 (/.f64 (.f64 y x) z) (*.f64 #s(literal 1/2 binary64) (/.f64 z a)))
(.f64 #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 y x) z) (/.f64 z a)))
(.f64 #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 y x) z) a) z))
(.f64 z (.f64 (/.f64 (/.f64 (*.f64 y x) z) a) #s(literal 1/2 binary64)))
(/.f64 (.f64 (.f64 #s(literal 1/2 binary64) (*.f64 y x)) (/.f64 z a)) z)
(/.f64 (.f64 z (.f64 #s(literal 1/2 binary64) (.f64 y x))) (.f64 a z))
(/.f64 (neg.f64 (.f64 (neg.f64 z) (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)))) (neg.f64 (neg.f64 a)))
(/.f64 (.f64 (.f64 #s(literal 1/2 binary64) (.f64 y x)) (neg.f64 z)) (.f64 (neg.f64 z) a))
(/.f64 (.f64 (.f64 #s(literal 1/2 binary64) (.f64 y x)) z) (.f64 a z))
(/.f64 (.f64 (neg.f64 z) (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64))) (neg.f64 a))
(/.f64 (.f64 (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)) z) a)
(neg.f64 (/.f64 (.f64 (neg.f64 z) (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64))) a))
(neg.f64 (/.f64 (.f64 (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)) z) (neg.f64 a)))
(.f64 (.f64 z (/.f64 (*.f64 y x) z)) #s(literal 1/2 binary64))
(.f64 (.f64 #s(literal 1/2 binary64) z) (/.f64 (*.f64 y x) z))
(.f64 (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)) z)
(.f64 (/.f64 (.f64 y x) z) (*.f64 #s(literal 1/2 binary64) z))
(.f64 #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 y x) z) z))
(.f64 z (.f64 (/.f64 (*.f64 y x) z) #s(literal 1/2 binary64)))
(.f64 y (.f64 (/.f64 x z) (*.f64 #s(literal 1/2 binary64) z)))
(.f64 x (.f64 (/.f64 y z) (*.f64 #s(literal 1/2 binary64) z)))
(/.f64 (.f64 (.f64 (neg.f64 y) x) (*.f64 #s(literal 1/2 binary64) z)) (neg.f64 z))
(/.f64 (.f64 (.f64 y x) (*.f64 #s(literal 1/2 binary64) z)) z)
(/.f64 (.f64 z (.f64 #s(literal 1/2 binary64) (*.f64 y x))) z)
(/.f64 (.f64 (.f64 #s(literal 1/2 binary64) (*.f64 y x)) z) z)
(.f64 (.f64 #s(literal 1/2 binary64) y) (/.f64 x z))
(.f64 (.f64 #s(literal 1/2 binary64) x) (/.f64 y z))
(.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64))
(.f64 #s(literal 1/2 binary64) (/.f64 (.f64 y x) z))
(.f64 (.f64 y x) (/.f64 #s(literal 1/2 binary64) z))
(.f64 y (.f64 (/.f64 x z) #s(literal 1/2 binary64)))
(.f64 x (.f64 (/.f64 y z) #s(literal 1/2 binary64)))
(/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (neg.f64 y) x)) (neg.f64 z))
(/.f64 (.f64 (.f64 (neg.f64 y) x) #s(literal 1/2 binary64)) (neg.f64 z))
(/.f64 (.f64 #s(literal -1/2 binary64) (.f64 y x)) (neg.f64 z))
(/.f64 (.f64 #s(literal 1/2 binary64) (.f64 y x)) z)
(*.f64 (/.f64 x z) y)
(*.f64 (/.f64 y z) x)
(*.f64 y (/.f64 x z))
(*.f64 x (/.f64 y z))
(/.f64 (neg.f64 (*.f64 (neg.f64 y) x)) (neg.f64 (neg.f64 z)))
(/.f64 (*.f64 (neg.f64 y) x) (neg.f64 z))
(/.f64 (*.f64 y x) z)
(neg.f64 (/.f64 (*.f64 (neg.f64 y) x) z))
(neg.f64 (/.f64 (*.f64 y x) (neg.f64 z)))
(*.f64 y x)
(*.f64 x y)
y
x
#s(literal 1/2 binary64)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (/.f64 (fma.f64 (.f64 t z) #s(literal -9/2 binary64) (.f64 #s(literal 1/2 binary64) (*.f64 y x))) a))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (/.f64 (fma.f64 (.f64 t z) #s(literal -9/2 binary64) (.f64 #s(literal 1/2 binary64) (*.f64 y x))) a))
#s(approx (/ (* (* (/ (* y x) z) 1/2) z) a) (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)))
#s(approx (* (* (/ (* y x) z) 1/2) z) (.f64 #s(literal 1/2 binary64) (.f64 y x)))
#s(approx (* (/ (* y x) z) 1/2) (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)))
#s(approx (/ (* y x) z) (/.f64 (*.f64 y x) z))
#s(approx (* y x) (*.f64 y x))
#s(approx x x)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 y a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) x) #s(literal -9/2 binary64))) x))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (.f64 (fma.f64 (/.f64 y a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) x) #s(literal -9/2 binary64))) x))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 x) (fma.f64 #s(literal 9/2 binary64) (/.f64 (.f64 (/.f64 t a) z) x) (*.f64 #s(literal -1/2 binary64) (/.f64 y a)))))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (.f64 (neg.f64 x) (fma.f64 #s(literal 9/2 binary64) (/.f64 (.f64 (/.f64 t a) z) x) (*.f64 #s(literal -1/2 binary64) (/.f64 y a)))))
#s(approx y y)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal -9/2 binary64))) y))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal -9/2 binary64))) y))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 y) (fma.f64 (/.f64 x a) #s(literal -1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal 9/2 binary64)))))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (.f64 (neg.f64 y) (fma.f64 (/.f64 x a) #s(literal -1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal 9/2 binary64)))))
#s(approx (* (/ t a) z) (*.f64 (/.f64 t a) z))
#s(approx z z)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 z) (fma.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal -1/2 binary64) (*.f64 #s(literal 9/2 binary64) (/.f64 t a)))))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (.f64 (neg.f64 z) (fma.f64 (/.f64 (/.f64 (.f64 y x) z) a) #s(literal -1/2 binary64) (*.f64 #s(literal 9/2 binary64) (/.f64 t a)))))
#s(approx (/ t a) (/.f64 t a))
#s(approx t t)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal 1/2 binary64) (*.f64 (/.f64 z a) #s(literal -9/2 binary64))) t))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal 1/2 binary64) (*.f64 (/.f64 z a) #s(literal -9/2 binary64))) t))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 t) (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal -1/2 binary64) (*.f64 (/.f64 z a) #s(literal 9/2 binary64)))))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (.f64 (neg.f64 t) (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal -1/2 binary64) (*.f64 (/.f64 z a) #s(literal 9/2 binary64)))))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (/.f64 (fma.f64 (.f64 #s(literal -9 binary64) t) z (*.f64 y x)) a) #s(literal 1/2 binary64)))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (/.f64 (fma.f64 (.f64 t z) #s(literal -9/2 binary64) (.f64 #s(literal 1/2 binary64) (*.f64 y x))) a))
#s(approx a a)
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* (* (/ (* y x) z) 1/2) z) a)) (/.f64 (fma.f64 #s(literal 9/2 binary64) (.f64 t z) (.f64 #s(literal -1/2 binary64) (*.f64 y x))) (neg.f64 a)))

eval19.0ms (0.3%)

Memory: -7.4MiB live, 39.4MiB allocated; 2ms collecting garbage
Compiler: Compiled 6 073 to 660 computations (89.1% saved)

prune327.0ms (5.2%)

Memory

36.2MiB live, 561.9MiB allocated; 12ms collecting garbage

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	164	3	167
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	168	6	174

Accuracy

100.0%

Counts

174 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
	87.4%	(fma.f64 (/.f64 y a) (/.f64 x #s(literal 2 binary64)) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 #s(literal 2 binary64) a)))
	86.1%	(-.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) (.f64 (/.f64 (*.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64))))
	82.4%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 z a) t) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a)))
▶	87.6%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 t a) z) (/.f64 (.f64 x (.f64 (/.f64 y z) (.f64 #s(literal 1/2 binary64) z))) a)))
	87.1%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (.f64 y x) z) (/.f64 #s(literal 1/2 binary64) a) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
	85.0%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal -9/2 binary64))) y))

Compiler

Compiled 314 to 246 computations (21.7% saved)

series27.0ms (0.4%)

Memory

0.0MiB live, 47.3MiB allocated; 2ms collecting garbage

Counts

16 → 37

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite214.0ms (3.4%)

Memory

-22.1MiB live, 173.0MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	140	992
0	154	979
1	586	964
2	4902	964
0	8348	915

Stop Event

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

Counts

53 → 133

Calls

Call 1

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

Outputs
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (/.f64 (fma.f64 (.f64 (.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z (.f64 (.f64 t z) #s(literal -9/2 binary64))) a))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) #s(literal 2 binary64)) (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64))) (-.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a))))
(/.f64 (fma.f64 (.f64 (.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z (.f64 (.f64 t z) #s(literal -9/2 binary64))) a)
(/.f64 (fma.f64 (.f64 #s(literal -9/2 binary64) z) t (.f64 (.f64 (.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z)) a)
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)) (pow.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) #s(literal 2 binary64)))) (neg.f64 (/.f64 (-.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) (.f64 (.f64 (.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z)) a)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 3 binary64)) #s(literal 729/8 binary64) (pow.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (-.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a))) (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)))))
(/.f64 (fma.f64 (.f64 (neg.f64 x) (.f64 (.f64 (/.f64 y z) z) #s(literal 1/2 binary64))) a (.f64 (neg.f64 a) (.f64 (.f64 t z) #s(literal -9/2 binary64)))) (*.f64 (neg.f64 a) a))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z) a (.f64 a (.f64 (.f64 t z) #s(literal -9/2 binary64)))) (*.f64 a a))
(/.f64 (fma.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) (neg.f64 a) (.f64 a (.f64 (neg.f64 x) (.f64 (.f64 (/.f64 y z) z) #s(literal 1/2 binary64))))) (*.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) a (.f64 a (.f64 (.f64 (.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z))) (*.f64 a a))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)) (pow.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) #s(literal 2 binary64))) (/.f64 (-.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) (.f64 (.f64 (.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z)) a))
(/.f64 (fma.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 3 binary64)) #s(literal 729/8 binary64) (pow.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)) (.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (.f64 (*.f64 #s(literal -9/2 binary64) z) (/.f64 t a))))))
(/.f64 (fma.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 3 binary64)) #s(literal 729/8 binary64) (pow.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (-.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a))) (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64))))
(fma.f64 (.f64 (.f64 (/.f64 y z) #s(literal 1/2 binary64)) (/.f64 z a)) x (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a) (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (.f64 #s(literal -9/2 binary64) t) (/.f64 z a) (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 (.f64 (/.f64 z a) #s(literal -9/2 binary64)) t (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 (/.f64 z a) (.f64 #s(literal -9/2 binary64) t) (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 (.f64 (/.f64 t a) #s(literal -9/2 binary64)) z (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 (.f64 (.f64 (/.f64 y z) z) #s(literal 1/2 binary64)) (/.f64 x a) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(fma.f64 (.f64 (/.f64 t a) z) #s(literal -9/2 binary64) (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 (/.f64 t a) (.f64 #s(literal -9/2 binary64) z) (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 (.f64 t z) (/.f64 #s(literal -9/2 binary64) a) (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 t a) z) (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 t (.f64 (/.f64 z a) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 z (.f64 (/.f64 t a) #s(literal -9/2 binary64)) (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)))
(fma.f64 x (.f64 (.f64 (/.f64 y z) #s(literal 1/2 binary64)) (/.f64 z a)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(-.f64 (/.f64 (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)) (/.f64 (-.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) (.f64 (.f64 (.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z)) a)) (/.f64 (pow.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 (.f64 t z) #s(literal -9/2 binary64)) (.f64 (.f64 (*.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z)) a)))
(-.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (.f64 (neg.f64 (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
(-.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (.f64 (neg.f64 (*.f64 (/.f64 t a) z)) #s(literal -9/2 binary64)))
(-.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (.f64 (*.f64 (/.f64 z a) #s(literal 9/2 binary64)) t))
(-.f64 (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)) (.f64 (neg.f64 x) (.f64 (*.f64 (/.f64 y z) #s(literal 1/2 binary64)) (/.f64 z a))))
(+.f64 (/.f64 (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 3 binary64)) #s(literal 729/8 binary64)) (fma.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (-.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a))) (.f64 (pow.f64 (.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)))) (/.f64 (pow.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (-.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a))) (.f64 (pow.f64 (*.f64 (/.f64 t a) z) #s(literal 2 binary64)) #s(literal 81/4 binary64)))))
(+.f64 (.f64 (.f64 (/.f64 y z) x) (/.f64 (.f64 #s(literal 1/2 binary64) z) a)) (.f64 (*.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
(+.f64 (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)) (.f64 (.f64 (/.f64 y z) x) (/.f64 (*.f64 #s(literal 1/2 binary64) z) a)))
#s(literal -9/2 binary64)
(*.f64 (/.f64 z a) t)
(*.f64 (/.f64 t a) z)
(*.f64 t (/.f64 z a))
(*.f64 z (/.f64 t a))
(/.f64 (neg.f64 (*.f64 (neg.f64 t) z)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 (neg.f64 t) z) (neg.f64 a))
(/.f64 (*.f64 t z) a)
(neg.f64 (/.f64 (*.f64 (neg.f64 t) z) a))
(neg.f64 (/.f64 (*.f64 t z) (neg.f64 a)))
(/.f64 (neg.f64 (neg.f64 t)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 t) (neg.f64 a))
(/.f64 t a)
(neg.f64 (/.f64 (neg.f64 t) a))
(neg.f64 (/.f64 t (neg.f64 a)))
t
a
z
(.f64 (.f64 (*.f64 (/.f64 y z) #s(literal 1/2 binary64)) (/.f64 z a)) x)
(.f64 (.f64 (/.f64 y z) x) (/.f64 (*.f64 #s(literal 1/2 binary64) z) a))
(.f64 (.f64 (*.f64 (/.f64 y z) z) #s(literal 1/2 binary64)) (/.f64 x a))
(.f64 x (.f64 (*.f64 (/.f64 y z) #s(literal 1/2 binary64)) (/.f64 z a)))
(/.f64 (neg.f64 (.f64 (neg.f64 x) (.f64 (*.f64 (/.f64 y z) z) #s(literal 1/2 binary64)))) (neg.f64 (neg.f64 a)))
(/.f64 (.f64 (neg.f64 x) (.f64 (*.f64 (/.f64 y z) z) #s(literal 1/2 binary64))) (neg.f64 a))
(/.f64 (.f64 (.f64 (*.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z) a)
(neg.f64 (/.f64 (.f64 (neg.f64 x) (.f64 (*.f64 (/.f64 y z) z) #s(literal 1/2 binary64))) a))
(neg.f64 (/.f64 (.f64 (.f64 (*.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z) (neg.f64 a)))
(.f64 (.f64 (*.f64 (/.f64 y z) x) #s(literal 1/2 binary64)) z)
(.f64 (.f64 (*.f64 (/.f64 y z) x) z) #s(literal 1/2 binary64))
(.f64 (.f64 x (*.f64 (/.f64 y z) #s(literal 1/2 binary64))) z)
(.f64 (.f64 x (*.f64 #s(literal 1/2 binary64) z)) (/.f64 y z))
(.f64 (.f64 (/.f64 y z) x) (*.f64 #s(literal 1/2 binary64) z))
(.f64 (.f64 (/.f64 y z) #s(literal 1/2 binary64)) (*.f64 z x))
(.f64 (.f64 (*.f64 (/.f64 y z) z) #s(literal 1/2 binary64)) x)
(.f64 (.f64 #s(literal 1/2 binary64) z) (*.f64 (/.f64 y z) x))
(.f64 (/.f64 y z) (.f64 (*.f64 #s(literal 1/2 binary64) z) x))
(.f64 x (.f64 (*.f64 (/.f64 y z) z) #s(literal 1/2 binary64)))
(/.f64 (.f64 (.f64 (*.f64 #s(literal 1/2 binary64) y) z) x) z)
(/.f64 (.f64 x (.f64 (*.f64 #s(literal 1/2 binary64) y) z)) z)
x
(.f64 (.f64 (/.f64 y z) z) #s(literal 1/2 binary64))
(.f64 (.f64 (/.f64 y z) #s(literal 1/2 binary64)) z)
(.f64 (.f64 #s(literal 1/2 binary64) z) (/.f64 y z))
(.f64 (/.f64 y z) (.f64 #s(literal 1/2 binary64) z))
(.f64 #s(literal 1/2 binary64) (.f64 z (/.f64 y z)))
(.f64 z (.f64 (/.f64 y z) #s(literal 1/2 binary64)))
(.f64 y (/.f64 (.f64 #s(literal 1/2 binary64) z) z))
(/.f64 (.f64 (neg.f64 y) (.f64 #s(literal 1/2 binary64) z)) (neg.f64 z))
(/.f64 (.f64 (.f64 #s(literal 1/2 binary64) z) (neg.f64 y)) (neg.f64 z))
(/.f64 (neg.f64 (.f64 (.f64 #s(literal 1/2 binary64) y) z)) (neg.f64 z))
(/.f64 (.f64 (.f64 #s(literal 1/2 binary64) y) z) z)
(/.f64 (neg.f64 (neg.f64 y)) (neg.f64 (neg.f64 z)))
(/.f64 (neg.f64 y) (neg.f64 z))
(/.f64 y z)
(neg.f64 (/.f64 (neg.f64 y) z))
(neg.f64 (/.f64 y (neg.f64 z)))
y
(*.f64 #s(literal 1/2 binary64) z)
(*.f64 z #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (/.f64 (fma.f64 (.f64 #s(literal 1/2 binary64) y) x (.f64 (*.f64 t z) #s(literal -9/2 binary64))) a))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (.f64 (.f64 #s(literal -9/2 binary64) z) (/.f64 t a)))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (/.f64 (fma.f64 (.f64 #s(literal 1/2 binary64) y) x (.f64 (*.f64 t z) #s(literal -9/2 binary64))) a))
#s(approx (/ (* x (* (/ y z) (* 1/2 z))) a) (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)))
#s(approx (* x (* (/ y z) (* 1/2 z))) (.f64 #s(literal 1/2 binary64) (.f64 y x)))
#s(approx x x)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 y a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) x) #s(literal -9/2 binary64))) x))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (.f64 (/.f64 (.f64 y x) a) #s(literal 1/2 binary64)))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (.f64 (fma.f64 (/.f64 y a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) x) #s(literal -9/2 binary64))) x))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 x) (fma.f64 #s(literal 9/2 binary64) (/.f64 (.f64 (/.f64 t a) z) x) (*.f64 #s(literal -1/2 binary64) (/.f64 y a)))))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (.f64 (neg.f64 x) (fma.f64 #s(literal 9/2 binary64) (/.f64 (.f64 (/.f64 t a) z) x) (*.f64 #s(literal -1/2 binary64) (/.f64 y a)))))
#s(approx (* (/ y z) (* 1/2 z)) (*.f64 #s(literal 1/2 binary64) y))
#s(approx (/ y z) (/.f64 y z))
#s(approx y y)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal -9/2 binary64))) y))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal -9/2 binary64))) y))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 y) (fma.f64 (/.f64 x a) #s(literal -1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal 9/2 binary64)))))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (.f64 (neg.f64 y) (fma.f64 (/.f64 x a) #s(literal -1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal 9/2 binary64)))))
#s(approx (* (/ t a) z) (*.f64 (/.f64 t a) z))
#s(approx z z)
#s(approx (* 1/2 z) (*.f64 #s(literal 1/2 binary64) z))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 z) (fma.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal -1/2 binary64) (*.f64 #s(literal 9/2 binary64) (/.f64 t a)))))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (.f64 (neg.f64 z) (fma.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal -1/2 binary64) (*.f64 #s(literal 9/2 binary64) (/.f64 t a)))))
#s(approx (/ t a) (/.f64 t a))
#s(approx t t)
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal 1/2 binary64) (*.f64 (/.f64 z a) #s(literal -9/2 binary64))) t))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal 1/2 binary64) (*.f64 (/.f64 z a) #s(literal -9/2 binary64))) t))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (neg.f64 t) (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal -1/2 binary64) (*.f64 (/.f64 z a) #s(literal 9/2 binary64)))))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (.f64 (neg.f64 t) (fma.f64 (/.f64 (/.f64 (.f64 y x) a) t) #s(literal -1/2 binary64) (*.f64 (/.f64 z a) #s(literal 9/2 binary64)))))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (/.f64 (fma.f64 (.f64 #s(literal -9 binary64) t) z (*.f64 y x)) a) #s(literal 1/2 binary64)))
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (/.f64 (fma.f64 (.f64 #s(literal 1/2 binary64) y) x (.f64 (*.f64 t z) #s(literal -9/2 binary64))) a))
#s(approx a a)
#s(approx (+ (* -9/2 (* (/ t a) z)) (/ (* x (* (/ y z) (* 1/2 z))) a)) (/.f64 (fma.f64 #s(literal 9/2 binary64) (.f64 t z) (.f64 #s(literal -1/2 binary64) (*.f64 y x))) (neg.f64 a)))

eval14.0ms (0.2%)

Memory: 31.4MiB live, 31.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 5 029 to 540 computations (89.3% saved)

prune284.0ms (4.5%)

Memory

-15.9MiB live, 320.2MiB allocated; 23ms collecting garbage

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	138	6	144

Accuracy

100.0%

Counts

144 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
	87.4%	(fma.f64 (/.f64 y a) (/.f64 x #s(literal 2 binary64)) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 #s(literal 2 binary64) a)))
	86.1%	(-.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) (.f64 (/.f64 (*.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64))))
	82.4%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 z a) t) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a)))
✓	87.6%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 t a) z) (/.f64 (.f64 x (.f64 (/.f64 y z) (.f64 #s(literal 1/2 binary64) z))) a)))
	87.1%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (.f64 y x) z) (/.f64 #s(literal 1/2 binary64) a) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
	85.0%	#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal -9/2 binary64))) y))

Compiler

Compiled 498 to 220 computations (55.8% saved)

regimes45.0ms (0.7%)

Memory

-6.5MiB live, 85.2MiB allocated; 5ms collecting garbage

Accuracy

Total -31.6b remaining (-1962.9%)

Threshold costs -31.6b (-1962.9%)

Counts

13 → 3

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))
(/.f64 #s(approx (- (* x y) (* (* z 9) t)) (.f64 (neg.f64 z) (fma.f64 (neg.f64 x) (/.f64 y z) (.f64 t #s(literal 9 binary64))))) (*.f64 a #s(literal 2 binary64)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal -9/2 binary64))) y))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (.f64 (/.f64 (/.f64 (*.f64 t z) a) y) #s(literal -9/2 binary64))) y))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (.f64 y x) z) (/.f64 #s(literal 1/2 binary64) a) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (.f64 (/.f64 x a) y) z) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 y x) a) z) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))
(fma.f64 (/.f64 y a) (/.f64 x #s(literal 2 binary64)) (/.f64 (.f64 #s(literal -9 binary64) (.f64 t z)) (*.f64 #s(literal 2 binary64) a)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 t a) z) (/.f64 (.f64 x (.f64 (/.f64 y z) (.f64 #s(literal 1/2 binary64) z))) a)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 t a) z) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a)))
#s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (fma.f64 #s(literal -9/2 binary64) (.f64 (/.f64 z a) t) (/.f64 (.f64 (.f64 (/.f64 (.f64 y x) z) #s(literal 1/2 binary64)) z) a)))
(-.f64 (/.f64 (/.f64 (.f64 y x) a) #s(literal 2 binary64)) (.f64 (/.f64 (*.f64 #s(literal 9 binary64) z) a) (/.f64 t #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 (.f64 y x) (.f64 #s(literal 2 binary64) a)) (.f64 (.f64 #s(literal 2 binary64) a) (.f64 (.f64 t z) #s(literal 9 binary64)))) (pow.f64 (.f64 #s(literal 2 binary64) a) #s(literal 2 binary64)))

Outputs

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

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

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

Calls

11 calls:

7.0ms	z
5.0ms	(.f64 (.f64 z #s(literal 9 binary64)) t)
4.0ms	a
4.0ms	y
4.0ms	t

Results

Accuracy	Segments	Branch
95.1%	2	`(*.f64 a #s(literal 2 binary64))`
94.8%	2	`(*.f64 z #s(literal 9 binary64))`
94.6%	2	`(.f64 (.f64 z #s(literal 9 binary64)) t)`
96.7%	3	`(*.f64 x y)`
97.5%	3	`(-.f64 (.f64 x y) (.f64 (*.f64 z #s(literal 9 binary64)) t))`
96.8%	3	`(/.f64 (-.f64 (.f64 x y) (.f64 (.f64 z #s(literal 9 binary64)) t)) (.f64 a #s(literal 2 binary64)))`
92.4%	1	`x`
92.4%	1	`y`
94.8%	2	`z`
92.4%	1	`t`
95.1%	2	`a`

Compiler

Compiled 41 to 76 computations (-85.4% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.060321276274296e+273	4.522024306340954e+274
0.0ms	-inf	-8.17836605292307e+307

Compiler

Compiled 16 to 21 computations (-31.3% saved)

simplify46.0ms (0.7%)

Memory

-4.5MiB live, 42.2MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	97
1	62	97
2	154	97
3	442	97
4	1778	97
5	3859	97

Stop Event

1×	node limit

Calls

Call 1

Inputs

(if (<=.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) #s(literal -inf.0 binary64)) #s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (*.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (*.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal -9/2 binary64))) y)) (if (<=.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) #s(literal 1999999999999999890804683393185349769157953083910885318265220719651437388485828238629684325641350559298078414599142617667693818382277369945015978564673391565215334080451836550101368130522335033956354709580531210130932132738753700702586121847078092877339360813809429907505152 binary64)) (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) (*.f64 a #s(literal 2 binary64))) #s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (*.f64 (fma.f64 (/.f64 (*.f64 (/.f64 x a) y) z) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))))

Outputs

(if (<=.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) #s(literal -inf.0 binary64)) #s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (*.f64 (fma.f64 (/.f64 x a) #s(literal 1/2 binary64) (*.f64 (/.f64 (*.f64 (/.f64 t a) z) y) #s(literal -9/2 binary64))) y)) (if (<=.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) #s(literal 1999999999999999890804683393185349769157953083910885318265220719651437388485828238629684325641350559298078414599142617667693818382277369945015978564673391565215334080451836550101368130522335033956354709580531210130932132738753700702586121847078092877339360813809429907505152 binary64)) (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) (*.f64 a #s(literal 2 binary64))) #s(approx (/ (- (* x y) (* (* z 9) t)) (* a 2)) (*.f64 (fma.f64 (/.f64 (*.f64 (/.f64 x a) y) z) #s(literal 1/2 binary64) (*.f64 (/.f64 t a) #s(literal -9/2 binary64))) z))))

derivations128.0ms (2%)

Memory

4.3MiB live, 106.6MiB allocated; 6ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 97 to 43 computations (55.7% saved)

preprocess63.0ms (1%)

Memory: -18.7MiB live, 74.6MiB allocated; 5ms collecting garbage
Remove: (negabs a)
Compiler: Compiled 1 292 to 612 computations (52.6% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze169.0ms (2.7%)

sample1.1s (17.1%)

explain115.0ms (1.8%)

preprocess199.0ms (3.2%)

eval0.0ms (0%)

prune1.0ms (0%)

series22.0ms (0.4%)

rewrite188.0ms (3%)

eval13.0ms (0.2%)

prune88.0ms (1.4%)

series39.0ms (0.6%)

rewrite193.0ms (3.1%)

eval22.0ms (0.3%)

prune2.8s (43.7%)

series51.0ms (0.8%)

rewrite200.0ms (3.2%)

eval19.0ms (0.3%)

prune327.0ms (5.2%)

series27.0ms (0.4%)

rewrite214.0ms (3.4%)

eval14.0ms (0.2%)

prune284.0ms (4.5%)

regimes45.0ms (0.7%)

bsearch1.0ms (0%)

simplify46.0ms (0.7%)

derivations128.0ms (2%)

preprocess63.0ms (1%)

end0.0ms (0%)

Profiling