Metrics for Graphics.Rasterific.Shading:$sradialGradientWithFocusShader from Rasterific-0.6.1, B

start0.0ms (0%)

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

analyze1.0ms (0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 15 to 13 computations (13.3% saved)

sample1.1s (37.7%)

Memory

20.8MiB live, 1 291.4MiB allocated; 260ms collecting garbage

Samples

750.0ms

8 256×

valid

Precisions

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

ival-mult: 282.0ms (76.2% of total)

ival-sub: 78.0ms (21.1% of total)

exact: 6.0ms (1.6% of total)

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

adjust: 2.0ms (0.5% of total)

Bogosity

explain119.0ms (4.1%)

Memory

-12.8MiB live, 180.0MiB allocated; 16ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
17	-	-	`(.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))`
10	-	-	`(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))`
0	-	-	`t`
0	-	-	`(*.f64 y #s(literal 4 binary64))`
0	-	-	`z`
0	-	-	`#s(literal 4 binary64)`
0	-	-	`(*.f64 x x)`
0	-	-	`(*.f64 z z)`
0	-	-	`y`
0	-	-	`(-.f64 (*.f64 z z) t)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`*.f64`	`(.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))`	*no**	17	0
`-.f64`	`(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))`	nan-rescue	10	0
↳	`(*.f64 x x)`	overflow	56
↳	`(.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))`	overflow	84
↳	`(-.f64 (*.f64 z z) t)`	overflow	69
↳	`(*.f64 z z)`	overflow	69

Confusion

	Predicted +	Predicted -
+	25	0
-	2	229

Precision

0.9259259259259259

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	25	0	0
-	2	0	229

Precision?

0.9259259259259259

Recall?

1.0

Freqs

test

number	freq
0	229
1	27

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

40.0ms

512×

valid

Compiler

Compiled 99 to 37 computations (62.6% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

preprocess34.0ms (1.2%)

Memory

16.5MiB live, 61.5MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	203
1	141	201
2	384	201
3	922	197
4	1517	197
5	1526	197
0	11	13
0	17	13
1	32	13
2	83	13
3	184	13
4	280	13
5	306	13
0	306	12

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))

Outputs
(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))
(fma.f64 (.f64 (-.f64 (.f64 z z) t) y) #s(literal -4 binary64) (*.f64 x x))

Symmetry

(abs x)

(abs z)

Compiler

Compiled 13 to 11 computations (15.4% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	90.5%	(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))

Compiler

Compiled 13 to 11 computations (15.4% saved)

series63.0ms (2.2%)

Memory

-25.6MiB live, 33.3MiB allocated; 86ms collecting garbage

Counts

11 → 37

Calls

Call 1

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

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

Calls

12 calls:

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

rewrite195.0ms (6.8%)

Memory

18.7MiB live, 207.6MiB allocated; 61ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	130	772
0	139	761
1	624	741
0	5682	712

Stop Event

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

Counts

48 → 277

Calls

Call 1

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

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

eval29.0ms (1%)

Memory: 13.0MiB live, 60.5MiB allocated; 5ms collecting garbage
Compiler: Compiled 5 166 to 743 computations (85.6% saved)

prune10.0ms (0.4%)

Memory

-23.0MiB live, 23.7MiB allocated; 2ms collecting garbage

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	271	7	278
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	272	7	279

Accuracy

96.3%

Counts

279 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
	59.0%	(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (/.f64 (-.f64 (pow.f64 z #s(literal 4 binary64)) (.f64 t t)) (fma.f64 z z t))))
▶	68.6%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 (.f64 z z) y) #s(literal -4 binary64) (*.f64 x x)))
▶	67.9%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x)))
▶	37.8%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z z) y) #s(literal -4 binary64)))
▶	30.6%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64)))
	60.3%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 #s(literal -4 binary64) y) (fma.f64 z z (neg.f64 t))))
▶	43.0%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))

Compiler

Compiled 292 to 216 computations (26% saved)

series19.0ms (0.7%)

Memory

33.3MiB live, 33.4MiB allocated; 0ms collecting garbage

Counts

19 → 41

Calls

Call 1

Inputs
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 (.f64 z z) y) #s(literal -4 binary64) (*.f64 x x)))
(fma.f64 (.f64 (.f64 z z) y) #s(literal -4 binary64) (*.f64 x x))
(.f64 (.f64 z z) y)
(*.f64 z z)
z
y
#s(literal -4 binary64)
(*.f64 x x)
x
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64)))
(.f64 (.f64 t y) #s(literal 4 binary64))
(*.f64 t y)
t
#s(literal 4 binary64)
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z z) y) #s(literal -4 binary64)))
(.f64 (.f64 (*.f64 z z) y) #s(literal -4 binary64))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x)))
(fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x))

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

Calls

12 calls:

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

rewrite196.0ms (6.8%)

Memory

-20.5MiB live, 165.3MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	156	989
0	170	972
1	766	961
0	6559	926

Stop Event

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

Counts

60 → 302

Calls

Call 1

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

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

eval58.0ms (2%)

Memory: 31.4MiB live, 76.9MiB allocated; 5ms collecting garbage
Compiler: Compiled 11 183 to 1 041 computations (90.7% saved)

prune25.0ms (0.9%)

Memory

-6.0MiB live, 45.4MiB allocated; 11ms collecting garbage

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	418	2	420
Fresh	2	0	2
Picked	0	5	5
Done	0	0	0
Total	420	7	427

Accuracy

100.0%

Counts

427 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	68.6%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 (.f64 z z) y) #s(literal -4 binary64) (*.f64 x x)))
✓	67.9%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x)))
▶	60.3%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (-.f64 (*.f64 z z) t) y) #s(literal -4 binary64)))
✓	37.8%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z z) y) #s(literal -4 binary64)))
▶	40.7%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))
✓	30.6%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64)))
✓	43.0%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))

Compiler

Compiled 147 to 110 computations (25.2% saved)

series18.0ms (0.6%)

Memory

-13.0MiB live, 32.6MiB allocated; 3ms collecting garbage

Counts

13 → 44

Calls

Call 1

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

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

Calls

12 calls:

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

rewrite201.0ms (7%)

Memory

9.9MiB live, 202.4MiB allocated; 51ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	160	961
0	172	929
1	777	912
0	6981	879

Stop Event

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

Counts

57 → 272

Calls

Call 1

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

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

eval29.0ms (1%)

Memory: 13.9MiB live, 59.7MiB allocated; 4ms collecting garbage
Compiler: Compiled 7 805 to 1 017 computations (87% saved)

prune24.0ms (0.8%)

Memory

-4.2MiB live, 41.2MiB allocated; 4ms collecting garbage

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	272	1	273
Fresh	0	0	0
Picked	0	2	2
Done	0	5	5
Total	272	8	280

Accuracy

100.0%

Counts

280 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	68.6%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 (.f64 z z) y) #s(literal -4 binary64) (*.f64 x x)))
✓	67.9%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x)))
✓	60.3%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (-.f64 (*.f64 z z) t) y) #s(literal -4 binary64)))
✓	37.8%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z z) y) #s(literal -4 binary64)))
✓	40.7%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))
✓	30.6%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64)))
▶	59.5%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 #s(approx ( (- (* z z) t) y) (.f64 (.f64 y (fma.f64 z (/.f64 z t) #s(literal -1 binary64))) t)) #s(literal -4 binary64)))
✓	43.0%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))

Compiler

Compiled 181 to 131 computations (27.6% saved)

series33.0ms (1.1%)

Memory

-9.8MiB live, 45.4MiB allocated; 7ms collecting garbage

Counts

12 → 52

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable		Point	Expression
8.0ms	y	@	inf	((- (* x x) (* (* y 4) (- (* z z) t))) (* (* (- (* z z) t) y) -4) (* (- (* z z) t) y) (* (* y (+ (* z (/ z t)) -1)) t) (* y (+ (* z (/ z t)) -1)) y (+ (* z (/ z t)) -1) z (/ z t) t -1 -4)
4.0ms	y	@	-inf	((- (* x x) (* (* y 4) (- (* z z) t))) (* (* (- (* z z) t) y) -4) (* (- (* z z) t) y) (* (* y (+ (* z (/ z t)) -1)) t) (* y (+ (* z (/ z t)) -1)) y (+ (* z (/ z t)) -1) z (/ z t) t -1 -4)
3.0ms	z	@	inf	((- (* x x) (* (* y 4) (- (* z z) t))) (* (* (- (* z z) t) y) -4) (* (- (* z z) t) y) (* (* y (+ (* z (/ z t)) -1)) t) (* y (+ (* z (/ z t)) -1)) y (+ (* z (/ z t)) -1) z (/ z t) t -1 -4)
3.0ms	y	@	0	((- (* x x) (* (* y 4) (- (* z z) t))) (* (* (- (* z z) t) y) -4) (* (- (* z z) t) y) (* (* y (+ (* z (/ z t)) -1)) t) (* y (+ (* z (/ z t)) -1)) y (+ (* z (/ z t)) -1) z (/ z t) t -1 -4)
3.0ms	z	@	-inf	((- (* x x) (* (* y 4) (- (* z z) t))) (* (* (- (* z z) t) y) -4) (* (- (* z z) t) y) (* (* y (+ (* z (/ z t)) -1)) t) (* y (+ (* z (/ z t)) -1)) y (+ (* z (/ z t)) -1) z (/ z t) t -1 -4)

rewrite212.0ms (7.4%)

Memory

-10.5MiB live, 215.0MiB allocated; 29ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	171	1184
0	178	1141
1	816	1113
0	7349	1083

Stop Event

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

Counts

64 → 161

Calls

Call 1

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

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

eval20.0ms (0.7%)

Memory: 0.8MiB live, 44.7MiB allocated; 6ms collecting garbage
Compiler: Compiled 6 188 to 845 computations (86.3% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	156	1	157
Fresh	0	0	0
Picked	1	0	1
Done	0	7	7
Total	157	8	165

Accuracy

100.0%

Counts

165 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	68.6%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 (.f64 z z) y) #s(literal -4 binary64) (*.f64 x x)))
✓	67.9%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x)))
✓	60.3%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (-.f64 (*.f64 z z) t) y) #s(literal -4 binary64)))
✓	37.8%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z z) y) #s(literal -4 binary64)))
✓	40.7%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))
✓	30.6%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64)))
	36.9%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 #s(approx ( (- (* z z) t) y) (.f64 (.f64 y #s(approx (+ (* z (/ z t)) -1) (*.f64 (/.f64 z t) z))) t)) #s(literal -4 binary64)))
✓	43.0%	#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))

Compiler

Compiled 466 to 204 computations (56.2% saved)

regimes44.0ms (1.5%)

Memory

-24.7MiB live, 77.9MiB allocated; 12ms collecting garbage

Counts

12 → 2

Calls

Call 1

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

Outputs
(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))

Calls

10 calls:

8.0ms	(-.f64 (*.f64 z z) t)
5.0ms	y
4.0ms	x
4.0ms	t
4.0ms	(*.f64 y #s(literal 4 binary64))

Results

Accuracy	Segments	Branch
95.4%	2	`(*.f64 z z)`
95.4%	2	`(-.f64 (*.f64 z z) t)`
90.5%	1	`(*.f64 y #s(literal 4 binary64))`
93.6%	2	`(.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))`
93.6%	2	`(*.f64 x x)`
93.6%	2	`(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))`
93.6%	2	`x`
90.5%	1	`y`
95.4%	2	`z`
90.5%	1	`t`

Compiler

Compiled 40 to 58 computations (-45% saved)

regimes30.0ms (1.1%)

Memory

15.0MiB live, 60.8MiB allocated; 4ms collecting garbage

Counts

8 → 3

Calls

Call 1

Inputs
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z z) y) #s(literal -4 binary64)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 #s(literal -4 binary64) y) (fma.f64 z z (neg.f64 t))))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (-.f64 (*.f64 z z) t) y) #s(literal -4 binary64)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 (.f64 z z) y) #s(literal -4 binary64) (*.f64 x x)))

Outputs

#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (*.f64 t y) #s(literal 4 binary64) (*.f64 x x)))

#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (*.f64 (*.f64 z z) y) #s(literal -4 binary64) (*.f64 x x)))

#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 (*.f64 (*.f64 z y) z) #s(literal -4 binary64)))

Calls

10 calls:

5.0ms	(.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))
3.0ms	(*.f64 y #s(literal 4 binary64))
3.0ms	x
3.0ms	t
3.0ms	y

Results

Accuracy	Segments	Branch
79.7%	3	`t`
79.9%	4	`(*.f64 y #s(literal 4 binary64))`
79.9%	4	`y`
86.3%	3	`(.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))`
86.6%	3	`(*.f64 x x)`
85.8%	4	`(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))`
86.6%	3	`x`
92.4%	3	`(*.f64 z z)`
87.6%	3	`(-.f64 (*.f64 z z) t)`
92.5%	3	`z`

Compiler

Compiled 40 to 58 computations (-45% saved)

regimes5.0ms (0.2%)

Memory

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

Counts

7 → 2

Calls

Call 1

Inputs
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z z) y) #s(literal -4 binary64)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 #s(literal -4 binary64) y) (fma.f64 z z (neg.f64 t))))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (-.f64 (*.f64 z z) t) y) #s(literal -4 binary64)))

Outputs

#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (*.f64 t y) #s(literal 4 binary64) (*.f64 x x)))

#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 (*.f64 (*.f64 z y) z) #s(literal -4 binary64)))

Calls

2 calls:

2.0ms	z
2.0ms	(*.f64 z z)

Results

Accuracy	Segments	Branch
88.7%	2	`(*.f64 z z)`
88.7%	2	`z`

Compiler

Compiled 4 to 9 computations (-125% saved)

regimes21.0ms (0.7%)

Memory

-1.1MiB live, 44.8MiB allocated; 4ms collecting garbage

Counts

4 → 5

Calls

Call 1

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

Outputs
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))

Calls

10 calls:

5.0ms	(-.f64 (*.f64 z z) t)
2.0ms	x
2.0ms	(*.f64 y #s(literal 4 binary64))
2.0ms	y
2.0ms	z

Results

Accuracy	Segments	Branch
52.9%	3	`(*.f64 y #s(literal 4 binary64))`
52.9%	3	`y`
57.3%	5	`t`
67.4%	3	`(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))`
67.2%	4	`(.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))`
66.9%	3	`(*.f64 x x)`
66.9%	3	`x`
69.5%	3	`(-.f64 (*.f64 z z) t)`
68.1%	2	`(*.f64 z z)`
73.2%	5	`z`

Compiler

Compiled 40 to 58 computations (-45% saved)

regimes12.0ms (0.4%)

Memory

-22.2MiB live, 23.6MiB allocated; 4ms collecting garbage

Counts

2 → 2

Calls

Call 1

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

Outputs
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))

Calls

7 calls:

4.0ms	x
1.0ms	z
1.0ms	(-.f64 (*.f64 z z) t)
1.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))
1.0ms	(.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))

Results

Accuracy	Segments	Branch
47.4%	2	`(.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))`
60.9%	2	`(*.f64 x x)`
60.9%	2	`x`
56.6%	2	`(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))`
48.0%	2	`(-.f64 (*.f64 z z) t)`
43.0%	1	`(*.f64 z z)`
48.2%	4	`z`

Compiler

Compiled 35 to 44 computations (-25.7% saved)

regimes21.0ms (0.7%)

Memory

-16.2MiB live, 41.5MiB allocated; 20ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

10 calls:

11.0ms	(*.f64 z z)
1.0ms	x
1.0ms	(*.f64 y #s(literal 4 binary64))
1.0ms	z
1.0ms	y

Results

Accuracy	Segments	Branch
43.0%	1	`(*.f64 z z)`
43.0%	1	`z`
43.0%	1	`(.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (*.f64 z z) t))`
43.0%	1	`(-.f64 (*.f64 z z) t)`
43.0%	1	`(*.f64 y #s(literal 4 binary64))`
43.0%	1	`y`
43.0%	1	`t`
43.0%	1	`(-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t)))`
43.0%	1	`(*.f64 x x)`
43.0%	1	`x`

Compiler

Compiled 40 to 58 computations (-45% saved)

bsearch18.0ms (0.6%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
16.0ms	3.6503226502345614e+159	1.634991562468009e+170

Samples

10.0ms

160×

valid

Compiler

Compiled 356 to 308 computations (13.5% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

bsearch16.0ms (0.6%)

Memory

-23.6MiB live, 23.1MiB allocated; 4ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	3.6503226502345614e+159	1.634991562468009e+170
13.0ms	3.9572294179241793e+42	8.467855733373818e+43

Samples

9.0ms

112×

valid

Compiler

Compiled 788 to 613 computations (22.2% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

bsearch11.0ms (0.4%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
9.0ms	1.842178476811321e+46	2.0129537573231726e+47

Samples

6.0ms

96×

valid

Compiler

Compiled 274 to 222 computations (19% saved)

Precisions

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

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

ival-sub: 1.0ms (31.3% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

bsearch52.0ms (1.8%)

Memory

-23.4MiB live, 67.5MiB allocated; 10ms collecting garbage

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	9.973905471925714e+29	3.9572294179241793e+42
13.0ms	2.830636325768539e-103	1.4827738521837272e-100
7.0ms	2.8491811197068665e-196	3.6407006681885145e-196
9.0ms	1.0733629657764634e-288	6.0133623740582234e-288

Samples

26.0ms

432×

valid

Compiler

Compiled 1 008 to 838 computations (16.9% saved)

Precisions

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

ival-mult: 10.0ms (68.1% of total)

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

bsearch6.0ms (0.2%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
5.0ms	3.602366811407577e-49	5.215640627769013e-49

Samples

3.0ms

48×

valid

Compiler

Compiled 124 to 108 computations (12.9% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

simplify70.0ms (2.4%)

Memory

4.9MiB live, 54.3MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	326
1	78	326
2	145	326
3	263	326
4	385	326
5	455	326
6	480	326
7	535	326
8	640	326
9	683	326
10	717	326
11	923	326
12	3761	326

Stop Event

1×	node limit

Calls

Call 1

Inputs
(if (<=.f64 z #s(literal 3700000000000000008546365905172477103420971446122087305083081768517733603504342224601966184597052702650516198651795184722552887922927991754548404604220737585152 binary64)) (-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t))) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64))))
(if (<=.f64 z #s(literal 18500000000000000443529422267723124626685952 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x))) (if (<=.f64 z #s(literal 3700000000000000008546365905172477103420971446122087305083081768517733603504342224601966184597052702650516198651795184722552887922927991754548404604220737585152 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 (.f64 z z) y) #s(literal -4 binary64) (.f64 x x))) #s(approx (- ( x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))))
(if (<=.f64 z #s(literal 50000000000000002192292152253809867731702382592 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x))) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64))))
(if (<=.f64 z #s(literal 8229186103190533/5486124068793688683255936251187209270074392635932332070112001988456197381759672947165175699536362793613284725337872111744958183862744647903224103718245670299614498700710006264535590197791934024641512541262359795191593953928908168990292758500391456212260452596575509589842140073806143686060649302051520512 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64))) (if (<=.f64 z #s(literal 3366486976990959/10520271803096747014481979765760257331100679605646347718996561806137464308594161644227333072555176902453965937712356435426038864500367607726255629541303761699910447342256889196383327515768645434542586503471562752 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 x x)) (if (<=.f64 z #s(literal 7060839510393891/10086913586276986678343434265636765134100413253239154346994763111486904773503285916522052161250538404046496765518544896 binary64)) #s(approx (- ( x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64))) (if (<=.f64 z #s(literal 849999999999999937570227584427381932163072 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 x x)) #s(approx (- ( x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))))))
(if (<=.f64 x #s(literal 6318737500113431/13164036458569648337239753460458804039861886925068638906788872192 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64))) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))

Outputs
(if (<=.f64 z #s(literal 3700000000000000008546365905172477103420971446122087305083081768517733603504342224601966184597052702650516198651795184722552887922927991754548404604220737585152 binary64)) (-.f64 (.f64 x x) (.f64 (.f64 y #s(literal 4 binary64)) (-.f64 (.f64 z z) t))) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64))))
(if (<=.f64 z #s(literal 18500000000000000443529422267723124626685952 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x))) (if (<=.f64 z #s(literal 3700000000000000008546365905172477103420971446122087305083081768517733603504342224601966184597052702650516198651795184722552887922927991754548404604220737585152 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 (.f64 z z) y) #s(literal -4 binary64) (.f64 x x))) #s(approx (- ( x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))))
(if (<=.f64 z #s(literal 50000000000000002192292152253809867731702382592 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (fma.f64 (.f64 t y) #s(literal 4 binary64) (.f64 x x))) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64))))
(if (<=.f64 z #s(literal 8229186103190533/5486124068793688683255936251187209270074392635932332070112001988456197381759672947165175699536362793613284725337872111744958183862744647903224103718245670299614498700710006264535590197791934024641512541262359795191593953928908168990292758500391456212260452596575509589842140073806143686060649302051520512 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64))) (if (<=.f64 z #s(literal 3366486976990959/10520271803096747014481979765760257331100679605646347718996561806137464308594161644227333072555176902453965937712356435426038864500367607726255629541303761699910447342256889196383327515768645434542586503471562752 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 x x)) (if (<=.f64 z #s(literal 7060839510393891/10086913586276986678343434265636765134100413253239154346994763111486904773503285916522052161250538404046496765518544896 binary64)) #s(approx (- ( x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64))) (if (<=.f64 z #s(literal 849999999999999937570227584427381932163072 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 x x)) #s(approx (- ( x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 (*.f64 z y) z) #s(literal -4 binary64)))))))
(if (<=.f64 x #s(literal 6318737500113431/13164036458569648337239753460458804039861886925068638906788872192 binary64)) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (.f64 (.f64 t y) #s(literal 4 binary64))) #s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x)))
#s(approx (- (* x x) (* (* y 4) (- (* z z) t))) (*.f64 x x))

derivations143.0ms (5%)

Memory

17.7MiB live, 108.2MiB allocated; 6ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 326 to 57 computations (82.5% saved)

preprocess49.0ms (1.7%)

Memory: -16.5MiB live, 78.5MiB allocated; 19ms collecting garbage
Remove: (abs x)
Compiler: Compiled 932 to 314 computations (66.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample1.1s (37.7%)

explain119.0ms (4.1%)

preprocess34.0ms (1.2%)

eval0.0ms (0%)

prune0.0ms (0%)

series63.0ms (2.2%)

rewrite195.0ms (6.8%)

eval29.0ms (1%)

prune10.0ms (0.4%)

series19.0ms (0.7%)

rewrite196.0ms (6.8%)

eval58.0ms (2%)

prune25.0ms (0.9%)

series18.0ms (0.6%)

rewrite201.0ms (7%)

eval29.0ms (1%)

prune24.0ms (0.8%)

series33.0ms (1.1%)

rewrite212.0ms (7.4%)

eval20.0ms (0.7%)

prune7.0ms (0.2%)

regimes44.0ms (1.5%)

regimes30.0ms (1.1%)

regimes5.0ms (0.2%)

regimes21.0ms (0.7%)

regimes12.0ms (0.4%)

regimes21.0ms (0.7%)

bsearch18.0ms (0.6%)

bsearch16.0ms (0.6%)

bsearch11.0ms (0.4%)

bsearch52.0ms (1.8%)

bsearch6.0ms (0.2%)

simplify70.0ms (2.4%)

derivations143.0ms (5%)

preprocess49.0ms (1.7%)

end0.0ms (0%)

Profiling