Metrics for Numeric.AD.Rank1.Halley:findZero from ad-4.2.4

start0.0ms (0%)

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

analyze223.0ms (8%)

Memory

10.2MiB live, 389.6MiB allocated; 37ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
25%	25%	74.9%	0.2%	0%	0%	0%	5
25%	25%	74.9%	0.2%	0%	0%	0%	6
31.3%	31.2%	68.6%	0.2%	0%	0%	0%	7
40.6%	40.5%	59.3%	0.2%	0%	0%	0%	8
50%	49.9%	49.9%	0.2%	0%	0%	0%	9
50%	49.9%	49.9%	0.2%	0%	0%	0%	10
54.7%	54.6%	45.2%	0.2%	0%	0%	0%	11
62.5%	62.4%	37.4%	0.2%	0%	0%	0%	12

Compiler

Compiled 19 to 15 computations (21.1% saved)

sample1.2s (43.7%)

Memory

49.2MiB live, 1 723.6MiB allocated; 315ms collecting garbage

Samples

809.0ms

8 256×

valid

Precisions

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

ival-mult: 322.0ms (67% of total)

ival-div: 73.0ms (15.2% of total)

ival-sub: 73.0ms (15.2% of total)

exact: 7.0ms (1.5% of total)

adjust: 3.0ms (0.6% of total)

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

Bogosity

explain165.0ms (5.9%)

Memory

39.0MiB live, 328.7MiB allocated; 26ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
69	-	1	(-2.043049025656552e-51 1.4072282262507417e-9 1.32390649123827e-241 3.7242817144615334e-302)	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`
3	-	0	-	`(-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))`
1	-	0	-	`(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))`
0	-	0	-	`(*.f64 y t)`
0	-	0	-	`(.f64 (.f64 y #s(literal 2 binary64)) z)`
0	-	0	-	`t`
0	-	0	-	`(.f64 (.f64 z #s(literal 2 binary64)) z)`
0	-	0	-	`z`
0	-	0	-	`(*.f64 y #s(literal 2 binary64))`
0	-	0	-	`y`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`(*.f64 z #s(literal 2 binary64))`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`	o/o	14	0
↳	`(.f64 (.f64 y #s(literal 2 binary64)) z)`	overflow	28
↳	`(*.f64 y t)`	overflow	30
↳	`(-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))`	overflow	88
↳	`(.f64 (.f64 z #s(literal 2 binary64)) z)`	overflow	65
`/.f64`	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`	n/o	6	0
↳	`(*.f64 y t)`	overflow	30
↳	`(-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))`	overflow	88
↳	`(.f64 (.f64 z #s(literal 2 binary64)) z)`	overflow	65
`-.f64`	`(-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))`	nan-rescue	3	0
↳	`(.f64 (.f64 z #s(literal 2 binary64)) z)`	overflow	65
↳	`(*.f64 y t)`	overflow	30
`/.f64`	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`	u/n	2	0
↳	`(.f64 (.f64 y #s(literal 2 binary64)) z)`	underflow	18
`-.f64`	`(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))`	cancellation	1	0
`/.f64`	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`	n/u	1	0
↳	`(*.f64 y t)`	underflow	29
↳	`(-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))`	underflow	3
↳	`(.f64 (.f64 z #s(literal 2 binary64)) z)`	underflow	46
`/.f64`	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`	u/u	1	0
↳	`(.f64 (.f64 y #s(literal 2 binary64)) z)`	underflow	18
↳	`(*.f64 y t)`	underflow	29
↳	`(-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))`	underflow	3
↳	`(.f64 (.f64 z #s(literal 2 binary64)) z)`	underflow	46
`/.f64`	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`	o/n	1	0
↳	`(.f64 (.f64 y #s(literal 2 binary64)) z)`	overflow	28

Confusion

	Predicted +	Predicted -
+	26	13
-	1	216

Precision

0.9629629629629629

Recall

0.6666666666666666

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	26	0	13
-	1	0	216

Precision?

0.9629629629629629

Recall?

0.6666666666666666

Freqs

test

number	freq
0	229
1	25
2	2

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

54.0ms

512×

valid

Compiler

Compiled 151 to 43 computations (71.5% saved)

Precisions

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

ival-mult: 18.0ms (68.3% of total)

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

ival-div: 3.0ms (11.4% 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)

preprocess226.0ms (8.1%)

Memory

-21.5MiB live, 206.6MiB allocated; 47ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	267
1	165	261
2	444	259
3	1645	259
4	3861	259
0	13	17
0	21	17
1	36	17
2	79	17
3	244	17
4	601	17
5	2483	17
6	6679	17
0	8040	15

Stop Event

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

Calls

Call 1

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

Outputs

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

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

Compiler

Compiled 17 to 13 computations (23.5% 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
▶	85.3%	(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))

Compiler

Compiled 17 to 13 computations (23.5% saved)

series28.0ms (1%)

Memory

5.4MiB live, 51.1MiB allocated; 5ms collecting garbage

Counts

13 → 72

Calls

Call 1

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

Outputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -2 (/ (* y z) (- (* 2 (pow z 2)) (* t y))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* 2 (/ (* y z) (- (* 2 (pow z 2)) (* t y)))))))
#s(approx x #s(hole binary64 x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* x (+ 1 (* -2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y)))))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -1 (* x (- (* 2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y))))) 1)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ y z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* y (- (* -1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* 1/2 (/ (* t y) (pow z 3))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/2 (/ t (pow z 3))) (* y (+ (* 1/8 (/ (* (pow t 3) y) (pow z 7))) (* 1/4 (/ (pow t 2) (pow z 5))))))) (/ 1 z)))))
#s(approx (* (* y 2) z) #s(hole binary64 (* 2 (* y z))))
#s(approx (* y 2) #s(hole binary64 (* 2 y)))
#s(approx y #s(hole binary64 y))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* 2 (pow z 2))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (+ (* -1 (* t y)) (* 2 (pow z 2)))))
#s(approx (* y t) #s(hole binary64 (* t y)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 4 (/ (pow z 3) (* (pow t 2) y)))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 8 (/ (pow z 5) (* (pow t 3) (pow y 2))))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 16 (/ (pow z 7) (* (pow t 4) (pow y 3))))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -2 (/ z t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -16 (/ (pow z 7) (* (pow t 4) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* t y))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* y (- (* 2 (/ (pow z 2) y)) t))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -8 (/ (pow z 5) (* (pow t 3) y))) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -1 (/ (- (* 16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* 8 (/ (pow z 5) (* (pow t 3) y)))) y)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* -1 (/ (+ (* -16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y)))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* y (- (* -2 (/ (pow z 2) y)) (* -1 t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* 2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* (pow z 2) (+ (* 8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* -4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* -8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* (pow z 2) (- (* -16 (/ (pow z 2) (* (pow t 4) (pow y 3)))) (* 8 (/ 1 (* (pow t 3) (pow y 2)))))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx z #s(hole binary64 z))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (- (* 2 (pow z 2)) (* t y))))
#s(approx (* (* z 2) z) #s(hole binary64 (* 2 (pow z 2))))
#s(approx (* z 2) #s(hole binary64 (* 2 z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/2 (/ (* t (pow y 2)) (pow z 3)))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 5)))) (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (* 1/2 (/ (* t (pow y 2)) (pow z 2)))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6))) (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2)))))) z)))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* (pow z 2) (+ 2 (* -1 (/ (* t y) (pow z 2)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1 y)) z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2)))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (+ (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* -1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6)))))) z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* -1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* t (- (* -1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/2 (/ (pow y 2) (pow z 3))) (* t (+ (* 1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))))) (/ y z))))
#s(approx t #s(hole binary64 t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -16 (/ (pow z 7) (* (pow t 3) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)))) t)))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* t (- (* 2 (/ (pow z 2) t)) y))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -4 (/ (pow z 3) (* t y))) (* 2 z)) t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -1 (/ (- (* 8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* 2 z) (* 4 (/ (pow z 3) (* t y)))) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -4 (/ (pow z 3) y)) (* -1 (/ (+ (* 8 (/ (pow z 5) (pow y 2))) (* 16 (/ (pow z 7) (* t (pow y 3))))) t))) t)) (* 2 z)) t))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* t (- (* -2 (/ (pow z 2) t)) (* -1 y))))))

Calls

12 calls:

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

rewrite214.0ms (7.6%)

Memory

-29.4MiB live, 229.6MiB allocated; 117ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	435	2645
0	447	2586
1	2523	2570
0	8031	2494

Stop Event

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

Counts

85 → 116

Calls

Call 1

Inputs
(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
x
(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))
(.f64 (.f64 y #s(literal 2 binary64)) z)
(*.f64 y #s(literal 2 binary64))
y
#s(literal 2 binary64)
z
(-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))
(.f64 (.f64 z #s(literal 2 binary64)) z)
(*.f64 z #s(literal 2 binary64))
(*.f64 y t)
t
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -2 (/ (* y z) (- (* 2 (pow z 2)) (* t y))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* 2 (/ (* y z) (- (* 2 (pow z 2)) (* t y)))))))
#s(approx x #s(hole binary64 x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* x (+ 1 (* -2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y)))))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -1 (* x (- (* 2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y))))) 1)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ y z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* y (- (* -1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* 1/2 (/ (* t y) (pow z 3))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/2 (/ t (pow z 3))) (* y (+ (* 1/8 (/ (* (pow t 3) y) (pow z 7))) (* 1/4 (/ (pow t 2) (pow z 5))))))) (/ 1 z)))))
#s(approx (* (* y 2) z) #s(hole binary64 (* 2 (* y z))))
#s(approx (* y 2) #s(hole binary64 (* 2 y)))
#s(approx y #s(hole binary64 y))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* 2 (pow z 2))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (+ (* -1 (* t y)) (* 2 (pow z 2)))))
#s(approx (* y t) #s(hole binary64 (* t y)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 4 (/ (pow z 3) (* (pow t 2) y)))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 8 (/ (pow z 5) (* (pow t 3) (pow y 2))))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 16 (/ (pow z 7) (* (pow t 4) (pow y 3))))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -2 (/ z t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -16 (/ (pow z 7) (* (pow t 4) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* t y))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* y (- (* 2 (/ (pow z 2) y)) t))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -8 (/ (pow z 5) (* (pow t 3) y))) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -1 (/ (- (* 16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* 8 (/ (pow z 5) (* (pow t 3) y)))) y)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* -1 (/ (+ (* -16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y)))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* y (- (* -2 (/ (pow z 2) y)) (* -1 t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* 2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* (pow z 2) (+ (* 8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* -4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* -8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* (pow z 2) (- (* -16 (/ (pow z 2) (* (pow t 4) (pow y 3)))) (* 8 (/ 1 (* (pow t 3) (pow y 2)))))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx z #s(hole binary64 z))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (- (* 2 (pow z 2)) (* t y))))
#s(approx (* (* z 2) z) #s(hole binary64 (* 2 (pow z 2))))
#s(approx (* z 2) #s(hole binary64 (* 2 z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/2 (/ (* t (pow y 2)) (pow z 3)))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 5)))) (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (* 1/2 (/ (* t (pow y 2)) (pow z 2)))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6))) (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2)))))) z)))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* (pow z 2) (+ 2 (* -1 (/ (* t y) (pow z 2)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1 y)) z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2)))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (+ (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* -1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6)))))) z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* -1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* t (- (* -1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/2 (/ (pow y 2) (pow z 3))) (* t (+ (* 1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))))) (/ y z))))
#s(approx t #s(hole binary64 t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -16 (/ (pow z 7) (* (pow t 3) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)))) t)))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* t (- (* 2 (/ (pow z 2) t)) y))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -4 (/ (pow z 3) (* t y))) (* 2 z)) t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -1 (/ (- (* 8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* 2 z) (* 4 (/ (pow z 3) (* t y)))) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -4 (/ (pow z 3) y)) (* -1 (/ (+ (* 8 (/ (pow z 5) (pow y 2))) (* 16 (/ (pow z 7) (* t (pow y 3))))) t))) t)) (* 2 z)) t))))
#s(approx (- (* (* z 2) z) (* y t)) #s(hole binary64 (* -1 (* t (- (* -2 (/ (pow z 2) t)) (* -1 y))))))

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

eval14.0ms (0.5%)

Memory: 33.9MiB live, 33.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 4 579 to 634 computations (86.2% saved)

prune41.0ms (1.5%)

Memory

-23.4MiB live, 75.5MiB allocated; 12ms collecting garbage

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	118	4	122

Accuracy

100.0%

Counts

122 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	85.3%	(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
▶	66.0%	(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
▶	57.9%	(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64))))
▶	54.5%	#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (pow.f64 z #s(literal -1 binary64))) y x))

Compiler

Compiled 97 to 69 computations (28.9% saved)

series40.0ms (1.4%)

Memory

-2.0MiB live, 89.2MiB allocated; 6ms collecting garbage

Counts

23 → 93

Calls

Call 1

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

Outputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -2 (/ (* y z) (- (* 2 (pow z 2)) (* t y))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* 2 (/ (* y z) (- (* 2 (pow z 2)) (* t y)))))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z)))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (+ x (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))))
#s(approx x #s(hole binary64 x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* x (+ 1 (* -2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y)))))))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 x))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (* x (+ 1 (/ (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))) x)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (* -1 (* x (- (* 2 (/ (* y z) (* x (- (* 2 (pow z 2)) (* t y))))) 1)))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (* -1 (* x (- (* -1 (/ (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))) x)) 1)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ y z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* y (- (* y (- (* -1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z))))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (+ x (* -1 (/ y z)))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) #s(hole binary64 (/ -1 z)))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) #s(hole binary64 (- (* -1/2 (/ (* t y) (pow z 3))) (/ 1 z))))
#s(approx (/ (* -1/2 (* t y)) (* (* z z) z)) #s(hole binary64 (* -1/2 (/ (* t y) (pow z 3)))))
#s(approx (* -1/2 (* t y)) #s(hole binary64 (* -1/2 (* t y))))
#s(approx (* t y) #s(hole binary64 (* t y)))
#s(approx y #s(hole binary64 y))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* 1/2 (/ (* t y) (pow z 3))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/4 (/ (* (pow t 2) y) (pow z 5))) (* 1/2 (/ t (pow z 3))))) (/ 1 z)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* y (+ (* y (+ (* 1/2 (/ t (pow z 3))) (* y (+ (* 1/8 (/ (* (pow t 3) y) (pow z 7))) (* 1/4 (/ (pow t 2) (pow z 5))))))) (/ 1 z)))))
#s(approx (/ y z) #s(hole binary64 (/ y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 4 (/ (pow z 3) (* (pow t 2) y)))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 8 (/ (pow z 5) (* (pow t 3) (pow y 2))))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* 16 (/ (pow z 7) (* (pow t 4) (pow y 3))))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (* -1/2 (/ (* t (pow y 2)) (pow z 3)))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (* (pow y 2) (- (* -1/2 (/ t (pow z 3))) (/ 1 (* y z))))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (* (pow y 2) (- (+ (* -1/2 (/ t (pow z 3))) (/ x (pow y 2))) (/ 1 (* y z))))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) #s(hole binary64 (* -1/2 (/ (* t y) (pow z 3)))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) #s(hole binary64 (* y (- (* -1/2 (/ t (pow z 3))) (/ 1 (* y z))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -2 (/ z t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -16 (/ (pow z 7) (* (pow t 4) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 3) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* (pow t 2) y))) (* -2 (/ z t)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -8 (/ (pow z 5) (* (pow t 3) y))) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1 (/ (- (* -1 (/ (- (* 16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y))) (* -2 (/ z t)))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (* (pow y 2) (+ (* -1 (/ (+ (* -1 (/ x y)) (/ 1 z)) y)) (* -1/2 (/ t (pow z 3)))))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) #s(hole binary64 (* -1 (* y (+ (* 1/2 (/ t (pow z 3))) (/ 1 (* y z)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* 4 (/ (pow z 3) (pow t 2))) (* 8 (/ (pow z 5) (* (pow t 3) y)))) y)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* -2 (/ z t)) (* -1 (/ (+ (* -1 (/ (+ (* -16 (/ (pow z 7) (* (pow t 4) y))) (* -8 (/ (pow z 5) (pow t 3)))) y)) (* 4 (/ (pow z 3) (pow t 2)))) y)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* 2 (/ z t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* 4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t)))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* z (+ (* (pow z 2) (+ (* 8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t)))))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (/ (+ (* -1 (* y (pow z 2))) (* -1/2 (* t (pow y 2)))) (pow z 3))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (/ (+ (* -1/2 (* t (pow y 2))) (* (pow z 2) (+ (* -1 y) (* x z)))) (pow z 3))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) #s(hole binary64 (/ (+ (* -1 (pow z 2)) (* -1/2 (* t y))) (pow z 3))))
#s(approx (* (* z z) z) #s(hole binary64 (pow z 3)))
#s(approx (* z z) #s(hole binary64 (pow z 2)))
#s(approx z #s(hole binary64 z))
#s(approx (pow z -1) #s(hole binary64 (/ 1 z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* -4 (/ (pow z 2) (* (pow t 2) y))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* -8 (/ (pow z 2) (* (pow t 3) (pow y 2)))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* z (- (* (pow z 2) (- (* (pow z 2) (- (* -16 (/ (pow z 2) (* (pow t 4) (pow y 3)))) (* 8 (/ 1 (* (pow t 3) (pow y 2)))))) (* 4 (/ 1 (* (pow t 2) y))))) (* 2 (/ 1 t))))))
#s(approx (* (/ z t) -2) #s(hole binary64 (* -2 (/ z t))))
#s(approx (/ z t) #s(hole binary64 (/ z t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/2 (/ (* t (pow y 2)) (pow z 3)))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 5)))) (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z)))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (+ x (+ (* -1 (/ y z)) (* -1/2 (/ (* t (pow y 2)) (pow z 3)))))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) #s(hole binary64 (/ (- (* -1/2 (/ (* t y) (pow z 2))) 1) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (* 1/2 (/ (* t (pow y 2)) (pow z 2)))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ y (+ (* 1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6))) (+ (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* 1/2 (/ (* t (pow y 2)) (pow z 2)))))) z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1 y)) z)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* 1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2))))) z)))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (+ x (* -1 (/ (+ y (* 1/2 (/ (* t (pow y 2)) (pow z 2)))) z)))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) #s(hole binary64 (* -1 (/ (+ 1 (* 1/2 (/ (* t y) (pow z 2)))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (* -1/2 (/ (* t (pow y 2)) (pow z 2)))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))))) z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 y) (+ (* -1/2 (/ (* t (pow y 2)) (pow z 2))) (+ (* -1/4 (/ (* (pow t 2) (pow y 3)) (pow z 4))) (* -1/8 (/ (* (pow t 3) (pow y 4)) (pow z 6)))))) z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- x (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* -1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (- (+ x (* t (- (* t (- (* -1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))) (* 1/2 (/ (pow y 2) (pow z 3)))))) (/ y z))))
#s(approx t #s(hole binary64 t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* 1/2 (/ (* t (pow y 2)) (pow z 3))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/4 (/ (* t (pow y 3)) (pow z 5))) (* 1/2 (/ (pow y 2) (pow z 3))))) (/ y z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (+ (* t (+ (* 1/2 (/ (pow y 2) (pow z 3))) (* t (+ (* 1/8 (/ (* t (pow y 4)) (pow z 7))) (* 1/4 (/ (pow y 3) (pow z 5))))))) (/ y z))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (* t (+ (* -1 (/ y (* t z))) (+ (* -1/2 (/ (pow y 2) (pow z 3))) (/ x t))))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) #s(hole binary64 (* t (- (* -1/2 (/ y (pow z 3))) (/ 1 (* t z))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z))) t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (/ (+ (* -16 (/ (pow z 7) (* (pow t 3) (pow y 3)))) (+ (* -8 (/ (pow z 5) (* (pow t 2) (pow y 2)))) (+ (* -4 (/ (pow z 3) (* t y))) (* -2 z)))) t)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -4 (/ (pow z 3) (* t y))) (* 2 z)) t)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) #s(hole binary64 (+ x (* -1 (/ (- (* -1 (/ (- (* 8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t)))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (+ x (* -1 (/ y z))) t)) (* 1/2 (/ (pow y 2) (pow z 3))))))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) #s(hole binary64 (* -1 (* t (+ (* 1/2 (/ y (pow z 3))) (/ 1 (* t z)))))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* 2 z) (* 4 (/ (pow z 3) (* t y)))) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -8 (/ (pow z 5) (* t (pow y 2)))) (* -4 (/ (pow z 3) y))) t)) (* 2 z)) t))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) #s(hole binary64 (* -1 (/ (+ (* -1 (/ (+ (* -4 (/ (pow z 3) y)) (* -1 (/ (+ (* 8 (/ (pow z 5) (pow y 2))) (* 16 (/ (pow z 7) (* t (pow y 3))))) t))) t)) (* 2 z)) t))))

Calls

12 calls:

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

rewrite262.0ms (9.4%)

Memory

22.2MiB live, 255.8MiB allocated; 46ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	522	3524
0	541	3388
1	3004	3370
0	9163	3281

Stop Event

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

Counts

116 → 206

Calls

Call 1

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

Outputs
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y x))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)))) (neg.f64 (-.f64 x (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)) (.f64 x x))) (neg.f64 (-.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) x)))
(/.f64 (neg.f64 (fma.f64 (.f64 x x) x (.f64 (pow.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) #s(literal 3 binary64)) (.f64 (.f64 y y) y)))) (neg.f64 (fma.f64 (fabs.f64 x) (fabs.f64 x) (-.f64 (.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)) (.f64 x (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y))))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) #s(literal 3 binary64)) (.f64 (.f64 y y) y) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 (fabs.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)) (fabs.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) x)))))
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y))) (-.f64 x (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)))
(/.f64 (-.f64 (.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)) (.f64 x x)) (-.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) x))
(/.f64 (fma.f64 (.f64 x x) x (.f64 (pow.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) #s(literal 3 binary64)) (.f64 (.f64 y y) y))) (fma.f64 (fabs.f64 x) (fabs.f64 x) (-.f64 (.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)) (.f64 x (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)))))
(/.f64 (fma.f64 (pow.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) #s(literal 3 binary64)) (.f64 (.f64 y y) y) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (fabs.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)) (fabs.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y)) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) x))))
(fma.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y x)
(fma.f64 y (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) x)
(-.f64 x (.f64 (.f64 #s(literal -1 binary64) y) (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z)))))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y) x)
(+.f64 x (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y))
(/.f64 (neg.f64 (-.f64 (/.f64 (/.f64 (pow.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 z z) #s(literal -1 binary64)) #s(literal 2 binary64))) (.f64 z z)) (pow.f64 (pow.f64 (.f64 z z) #s(literal -1/2 binary64)) #s(literal 2 binary64)))) (neg.f64 (/.f64 (fma.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)) z (.f64 (.f64 (.f64 z z) z) #s(literal 1 binary64))) (.f64 (.f64 (.f64 z z) z) z))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 t y) z) #s(literal 3 binary64))) (pow.f64 (pow.f64 (.f64 z z) #s(literal -1/2 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (/.f64 (.f64 t y) z)) (.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (/.f64 (.f64 t y) z)) (fma.f64 (pow.f64 (.f64 z z) #s(literal -1/2 binary64)) (pow.f64 (.f64 z z) #s(literal -1/2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (/.f64 (.f64 t y) z)) (pow.f64 (*.f64 z z) #s(literal -1/2 binary64)))))))
(/.f64 (neg.f64 (neg.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 z z) #s(literal 2 binary64))) (.f64 (*.f64 z z) #s(literal 2 binary64))))) (neg.f64 (neg.f64 z)))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) z) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal 1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) z))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z)))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 t y) #s(literal -1 binary64)) (.f64 (.f64 z z) #s(literal 2 binary64))) z) (.f64 z #s(literal 1 binary64))) (*.f64 z z))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 t y) #s(literal -1 binary64)) (.f64 (.f64 z z) #s(literal 2 binary64))) (neg.f64 z)) (.f64 z #s(literal -1 binary64))) (*.f64 z (neg.f64 z)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)) z) (.f64 (.f64 (.f64 z z) z) #s(literal 1 binary64))) (.f64 (.f64 (*.f64 z z) z) z))
(/.f64 (-.f64 (.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)) (neg.f64 z)) (.f64 (.f64 (.f64 z z) z) #s(literal -1 binary64))) (.f64 (.f64 (*.f64 z z) z) (neg.f64 z)))
(/.f64 (-.f64 (/.f64 (/.f64 (pow.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 z z) #s(literal -1 binary64)) #s(literal 2 binary64))) (.f64 z z)) (pow.f64 (pow.f64 (.f64 z z) #s(literal -1/2 binary64)) #s(literal 2 binary64))) (/.f64 (fma.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)) z (.f64 (.f64 (.f64 z z) z) #s(literal 1 binary64))) (.f64 (.f64 (.f64 z z) z) z)))
(/.f64 (-.f64 (.f64 (pow.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 t y) z) #s(literal 3 binary64))) (pow.f64 (pow.f64 (.f64 z z) #s(literal -1/2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (/.f64 (.f64 t y) z)) (.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (/.f64 (.f64 t y) z)) (fma.f64 (pow.f64 (.f64 z z) #s(literal -1/2 binary64)) (pow.f64 (.f64 z z) #s(literal -1/2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (/.f64 (.f64 t y) z)) (pow.f64 (*.f64 z z) #s(literal -1/2 binary64))))))
(/.f64 (neg.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 z z) #s(literal 2 binary64))) (.f64 (*.f64 z z) #s(literal 2 binary64)))) (neg.f64 z))
(/.f64 (/.f64 (-.f64 (.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)) #s(literal 2 binary64)) (.f64 (.f64 z z) #s(literal 2 binary64))) (.f64 (*.f64 z z) #s(literal 2 binary64))) z)
(-.f64 (.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (/.f64 (.f64 t y) z)) (pow.f64 (*.f64 z z) #s(literal -1/2 binary64)))
(.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (/.f64 (.f64 t y) z))
(.f64 (.f64 t (/.f64 y (.f64 (.f64 z z) z))) #s(literal -1/2 binary64))
(.f64 #s(literal -1/2 binary64) (.f64 t (/.f64 y (.f64 (.f64 z z) z))))
(/.f64 (neg.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)))) (neg.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64))))
(/.f64 (.f64 (neg.f64 (.f64 t y)) #s(literal -1 binary64)) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 t y) #s(literal -1 binary64)) (.f64 (.f64 (*.f64 z z) z) #s(literal 2 binary64)))
(/.f64 (.f64 #s(literal -1 binary64) (neg.f64 (.f64 t y))) (*.f64 #s(literal 2 binary64) (pow.f64 (neg.f64 z) #s(literal 3 binary64))))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 t y)) (.f64 #s(literal 2 binary64) (.f64 (*.f64 z z) z)))
(/.f64 (neg.f64 (/.f64 (.f64 (.f64 t y) #s(literal -1 binary64)) (.f64 (.f64 z z) #s(literal 2 binary64)))) (neg.f64 z))
(/.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (pow.f64 (neg.f64 z) #s(literal 3 binary64)))
(/.f64 (/.f64 (.f64 (.f64 t y) #s(literal -1 binary64)) (.f64 (.f64 z z) #s(literal 2 binary64))) z)
(/.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64)) (.f64 (.f64 z z) z))
(.f64 (.f64 #s(literal -1/2 binary64) t) y)
(.f64 (.f64 t y) #s(literal -1/2 binary64))
(.f64 #s(literal -1/2 binary64) (.f64 t y))
#s(literal -1/2 binary64)
(*.f64 t y)
(*.f64 y t)
t
y
(*.f64 (neg.f64 (pow.f64 z #s(literal 3/2 binary64))) (neg.f64 (pow.f64 z #s(literal 3/2 binary64))))
(*.f64 (fabs.f64 (pow.f64 z #s(literal 3/2 binary64))) (fabs.f64 (pow.f64 z #s(literal 3/2 binary64))))
(*.f64 (pow.f64 z #s(literal 3/2 binary64)) (pow.f64 z #s(literal 3/2 binary64)))
(.f64 (.f64 z z) z)
(.f64 z (.f64 z z))
(pow.f64 (exp.f64 (log.f64 z)) #s(literal 3 binary64))
(pow.f64 (pow.f64 z #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 z z) #s(literal 3/2 binary64))
(pow.f64 z #s(literal 3 binary64))
(exp.f64 (*.f64 (log.f64 z) #s(literal 3 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 z) #s(literal 3 binary64))) (sinh.f64 (.f64 (log.f64 z) #s(literal 3 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) (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))
(/.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (*.f64 z z) #s(literal -1/2 binary64)) #s(literal 2 binary64)))
(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
(*.f64 (neg.f64 (pow.f64 z #s(literal -1/2 binary64))) (neg.f64 (pow.f64 z #s(literal -1/2 binary64))))
(*.f64 (fabs.f64 (pow.f64 z #s(literal -1/2 binary64))) (fabs.f64 (pow.f64 z #s(literal -1/2 binary64))))
(*.f64 (pow.f64 z #s(literal -1/2 binary64)) (pow.f64 z #s(literal -1/2 binary64)))
(pow.f64 (exp.f64 (log.f64 z)) #s(literal -1 binary64))
(pow.f64 (pow.f64 z #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 z z) #s(literal -1/2 binary64))
(pow.f64 z #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 z)))
(/.f64 #s(literal 1 binary64) z)
(/.f64 #s(literal -1 binary64) (neg.f64 z))
(exp.f64 (*.f64 (log.f64 z) #s(literal -1 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 z) #s(literal -1 binary64))) (sinh.f64 (.f64 (log.f64 z) #s(literal -1 binary64))))
#s(literal -1 binary64)
x
(/.f64 (neg.f64 (-.f64 (.f64 x x) (.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64))) #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64)))))) (neg.f64 (+.f64 x #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64))) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (fabs.f64 x) (fabs.f64 x) (fma.f64 #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64))) #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64))) (.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64))))))))
(/.f64 (-.f64 (.f64 x x) (.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64))) #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64))))) (+.f64 x #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64)))))
(/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64))) #s(literal 3 binary64))) (fma.f64 (fabs.f64 x) (fabs.f64 x) (fma.f64 #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64))) #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64))) (.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64)))))))
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64)))
(*.f64 (/.f64 z t) #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) (/.f64 z t))
(/.f64 (neg.f64 (*.f64 #s(literal -2 binary64) z)) (neg.f64 t))
(/.f64 (*.f64 #s(literal -2 binary64) z) t)
(/.f64 (neg.f64 (neg.f64 z)) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 z) (neg.f64 t))
(/.f64 z t)
#s(literal -2 binary64)
(/.f64 (neg.f64 (-.f64 (.f64 x x) (.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))))) (neg.f64 (+.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (fabs.f64 x) (fabs.f64 x) (fma.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) (.f64 x #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))))))
(/.f64 (-.f64 (.f64 x x) (.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))) (+.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))))
(/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(literal 3 binary64))) (fma.f64 (fabs.f64 x) (fabs.f64 x) (fma.f64 #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)) (.f64 x #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))))))
(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) y)) (neg.f64 (neg.f64 z)))
(/.f64 (*.f64 #s(literal -1 binary64) y) (neg.f64 z))
(/.f64 y z)
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (/.f64 (.f64 #s(literal -2 binary64) (.f64 z y)) (fma.f64 (.f64 z z) #s(literal 2 binary64) (.f64 (neg.f64 t) y))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 x (/.f64 (.f64 #s(literal 2 binary64) (.f64 z y)) (fma.f64 (.f64 z z) #s(literal 2 binary64) (.f64 (neg.f64 t) y)))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (fma.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y x))
#s(approx x x)
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) x)
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (.f64 (fma.f64 (/.f64 (/.f64 (.f64 z y) x) (fma.f64 (.f64 z z) #s(literal 2 binary64) (.f64 (neg.f64 t) y))) #s(literal -2 binary64) #s(literal 1 binary64)) x))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) x)
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (.f64 (fma.f64 y (/.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) x) #s(literal 1 binary64)) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (.f64 (.f64 #s(literal -1 binary64) x) (-.f64 (.f64 (/.f64 (/.f64 (.f64 z y) x) (fma.f64 (.f64 z z) #s(literal 2 binary64) (.f64 (neg.f64 t) y))) #s(literal 2 binary64)) #s(literal 1 binary64))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (.f64 (.f64 #s(literal -1 binary64) x) (-.f64 (.f64 (.f64 y (/.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) x)) #s(literal -1 binary64)) #s(literal 1 binary64))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 y z) #s(literal -1 binary64) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))) y x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (.f64 (fma.f64 (.f64 (.f64 t t) (/.f64 y (pow.f64 (.f64 z z) #s(literal 5/2 binary64)))) #s(literal -1/4 binary64) (.f64 (/.f64 t (.f64 (.f64 z z) z)) #s(literal -1/2 binary64))) y) (pow.f64 (.f64 z z) #s(literal -1/2 binary64))) y x))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (fma.f64 (/.f64 y z) #s(literal -1 binary64) x))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) (/.f64 #s(literal -1 binary64) z))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))))
#s(approx (/ (* -1/2 (* t y)) (* (* z z) z)) (.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (/.f64 (.f64 t y) z)))
#s(approx (* -1/2 (* t y)) (.f64 (.f64 t y) #s(literal -1/2 binary64)))
#s(approx (* t y) (*.f64 t y))
#s(approx y y)
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) y (.f64 (pow.f64 (.f64 z z) #s(literal -1/2 binary64)) y)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (fma.f64 (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 t t) y)) (pow.f64 (.f64 z z) #s(literal 5/2 binary64))) y (.f64 (.f64 (/.f64 t (.f64 (.f64 z z) z)) #s(literal 1/2 binary64)) y)) y (.f64 (pow.f64 (.f64 z z) #s(literal -1/2 binary64)) y)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (fma.f64 (fma.f64 (/.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (.f64 t t)) (pow.f64 (.f64 z z) #s(literal 7/2 binary64)) (.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 (.f64 t t) t) y)))) (.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (pow.f64 (.f64 z z) #s(literal 7/2 binary64)))) y (.f64 (/.f64 t (.f64 (.f64 z z) z)) #s(literal 1/2 binary64))) y (pow.f64 (*.f64 z z) #s(literal -1/2 binary64))) y))
#s(approx (/ y z) (/.f64 y z))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 x (-.f64 (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 z z) z)) (.f64 (.f64 t t) y)) (.f64 (/.f64 z t) #s(literal -2 binary64)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal 8 binary64) x) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (.f64 (/.f64 z t) #s(literal -2 binary64)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (-.f64 (fma.f64 (/.f64 (pow.f64 (.f64 z z) #s(literal 7/2 binary64)) (.f64 (.f64 (.f64 y y) y) (pow.f64 (.f64 t t) #s(literal 2 binary64)))) #s(literal 16 binary64) x) (/.f64 (.f64 #s(literal -8 binary64) (pow.f64 (.f64 z z) #s(literal 5/2 binary64))) (.f64 (.f64 y y) (.f64 (.f64 t t) t)))) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (.f64 (/.f64 z t) #s(literal -2 binary64)))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (/.f64 (.f64 (.f64 (.f64 y y) t) #s(literal -1 binary64)) (.f64 (.f64 (.f64 z z) z) #s(literal 2 binary64))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (.f64 (-.f64 (.f64 (/.f64 t (.f64 (.f64 z z) z)) #s(literal -1/2 binary64)) (pow.f64 (.f64 z y) #s(literal -1 binary64))) (.f64 y y)))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (.f64 (-.f64 (fma.f64 (/.f64 t (.f64 (.f64 z z) z)) #s(literal -1/2 binary64) (/.f64 x (.f64 y y))) (pow.f64 (.f64 z y) #s(literal -1 binary64))) (.f64 y y)))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) (.f64 (/.f64 #s(literal 1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (/.f64 (.f64 t y) z)))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) (.f64 (-.f64 (.f64 (/.f64 t (.f64 (.f64 z z) z)) #s(literal -1/2 binary64)) (pow.f64 (*.f64 z y) #s(literal -1 binary64))) y))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 #s(literal -8 binary64) (/.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (.f64 (/.f64 z t) #s(literal -2 binary64)))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 #s(literal -16 binary64) (/.f64 (pow.f64 (.f64 z z) #s(literal 7/2 binary64)) (.f64 (.f64 (.f64 y y) y) (pow.f64 (.f64 t t) #s(literal 2 binary64)))) (fma.f64 #s(literal -8 binary64) (/.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) (fma.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) y)) (*.f64 (/.f64 z t) #s(literal -2 binary64))))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (-.f64 (/.f64 (.f64 #s(literal -8 binary64) (pow.f64 (.f64 z z) #s(literal 5/2 binary64))) (.f64 (.f64 (.f64 t t) t) y)) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 z z) z)) (.f64 t t))) y) #s(literal -1 binary64) x) (.f64 (/.f64 z t) #s(literal -2 binary64))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (fma.f64 (/.f64 (-.f64 (/.f64 (.f64 #s(literal 16 binary64) (pow.f64 (.f64 z z) #s(literal 7/2 binary64))) (.f64 (pow.f64 (.f64 t t) #s(literal 2 binary64)) y)) (/.f64 (.f64 #s(literal -8 binary64) (pow.f64 (.f64 z z) #s(literal 5/2 binary64))) (.f64 (.f64 t t) t))) y) #s(literal -1 binary64) (.f64 #s(literal -4 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 t t)))) y) #s(literal -1 binary64) x) (*.f64 (/.f64 z t) #s(literal -2 binary64))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (.f64 (fma.f64 (/.f64 (fma.f64 (/.f64 x y) #s(literal -1 binary64) (pow.f64 (.f64 z z) #s(literal -1/2 binary64))) y) #s(literal -1 binary64) (.f64 (/.f64 t (.f64 (.f64 z z) z)) #s(literal -1/2 binary64))) (.f64 y y)))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) (.f64 (.f64 (fma.f64 (/.f64 t (.f64 (.f64 z z) z)) #s(literal 1/2 binary64) (pow.f64 (*.f64 z y) #s(literal -1 binary64))) y) #s(literal -1 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 (fma.f64 (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 z z) z)) (.f64 t t)) y (.f64 y (/.f64 (.f64 #s(literal 8 binary64) (pow.f64 (.f64 z z) #s(literal 5/2 binary64))) (.f64 (.f64 (.f64 t t) t) y)))) (.f64 y y)) #s(literal -1 binary64) (.f64 (/.f64 z t) #s(literal -2 binary64))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 (/.f64 (.f64 #s(literal -16 binary64) (pow.f64 (.f64 z z) #s(literal 7/2 binary64))) (.f64 (pow.f64 (.f64 t t) #s(literal 2 binary64)) y)) y (.f64 y (/.f64 (.f64 #s(literal -8 binary64) (pow.f64 (.f64 z z) #s(literal 5/2 binary64))) (.f64 (.f64 t t) t)))) (.f64 y y)) #s(literal -1 binary64) (/.f64 (.f64 #s(literal 4 binary64) (.f64 (.f64 z z) z)) (.f64 t t))) y) #s(literal -1 binary64) (*.f64 (/.f64 z t) #s(literal -2 binary64))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 z t) #s(literal 2 binary64) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 (.f64 t t) y) (.f64 t (.f64 #s(literal 4 binary64) (.f64 z z)))) (.f64 t (.f64 (.f64 t t) y))) z x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (fma.f64 (fma.f64 (pow.f64 (.f64 (.f64 t t) y) #s(literal -1 binary64)) #s(literal 4 binary64) (/.f64 (.f64 #s(literal 8 binary64) (.f64 z z)) (.f64 (.f64 y y) (.f64 (.f64 t t) t)))) (.f64 z z) (.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 2 binary64))) z x))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (/.f64 (fma.f64 (.f64 (.f64 z z) y) #s(literal -1 binary64) (.f64 (.f64 (.f64 y y) t) #s(literal -1/2 binary64))) (.f64 (*.f64 z z) z)))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (/.f64 (fma.f64 (.f64 #s(literal -1/2 binary64) t) (.f64 y y) (.f64 (fma.f64 #s(literal -1 binary64) y (.f64 z x)) (.f64 z z))) (.f64 (*.f64 z z) z)))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) (/.f64 (fma.f64 (.f64 t y) #s(literal -1/2 binary64) (.f64 (.f64 z z) #s(literal -1 binary64))) (.f64 (*.f64 z z) z)))
#s(approx (* (* z z) z) (.f64 (.f64 z z) z))
#s(approx (* z z) (*.f64 z z))
#s(approx z z)
#s(approx (pow z -1) (pow.f64 (*.f64 z z) #s(literal -1/2 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (.f64 t t) y)) #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) (pow.f64 t #s(literal -1 binary64)))) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (fma.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 (.f64 y y) (.f64 (.f64 t t) t))) #s(literal -8 binary64) (.f64 #s(literal -4 binary64) (pow.f64 (.f64 (.f64 t t) y) #s(literal -1 binary64)))) (.f64 z z) (*.f64 #s(literal -2 binary64) (pow.f64 t #s(literal -1 binary64)))) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (fma.f64 (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -16 binary64) (.f64 z z)) (.f64 (.f64 (.f64 y y) y) (pow.f64 (.f64 t t) #s(literal 2 binary64)))) (.f64 (.f64 (pow.f64 (.f64 y y) #s(literal -1 binary64)) (pow.f64 (pow.f64 t #s(literal -1 binary64)) #s(literal 3 binary64))) #s(literal 8 binary64))) (.f64 z z) (.f64 #s(literal -4 binary64) (pow.f64 (.f64 (.f64 t t) y) #s(literal -1 binary64)))) (.f64 z z) (.f64 #s(literal -2 binary64) (pow.f64 t #s(literal -1 binary64)))) z))
#s(approx (* (/ z t) -2) (*.f64 (/.f64 z t) #s(literal -2 binary64)))
#s(approx (/ z t) (/.f64 z t))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (+.f64 x (-.f64 (/.f64 (.f64 (.f64 (.f64 y y) t) #s(literal -1 binary64)) (.f64 (.f64 (.f64 z z) z) #s(literal 2 binary64))) (/.f64 y z))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (pow.f64 (.f64 z z) #s(literal 5/2 binary64))) #s(literal -1/4 binary64) x) (/.f64 (fma.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) z (.f64 (.f64 (.f64 z z) z) y)) (.f64 (.f64 (.f64 z z) z) z))))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (+.f64 (fma.f64 (/.f64 y z) #s(literal -1 binary64) x) (/.f64 (.f64 (.f64 (.f64 y y) t) #s(literal -1 binary64)) (.f64 (.f64 (.f64 z z) z) #s(literal 2 binary64)))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) (/.f64 (-.f64 (.f64 (neg.f64 (.f64 (.f64 t y) #s(literal -1/2 binary64))) (neg.f64 z)) (.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) #s(literal -1 binary64))) (*.f64 (pow.f64 (neg.f64 z) #s(literal 3 binary64)) (neg.f64 z))))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (.f64 #s(literal -1 binary64) y) z (.f64 (neg.f64 z) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (.f64 z z)))) (*.f64 (neg.f64 z) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (+.f64 (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (pow.f64 (.f64 (.f64 z z) #s(literal -1 binary64)) #s(literal 2 binary64))) #s(literal 1/4 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (.f64 z z))) y) z))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (+.f64 (fma.f64 (/.f64 (.f64 (pow.f64 (.f64 y y) #s(literal 2 binary64)) (.f64 (.f64 t t) t)) (pow.f64 (.f64 (.f64 z z) z) #s(literal 2 binary64))) #s(literal 1/8 binary64) (fma.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (pow.f64 (.f64 (.f64 z z) #s(literal -1 binary64)) #s(literal 2 binary64))) #s(literal 1/4 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (.f64 z z)))) y) z))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 (fma.f64 (.f64 t (pow.f64 (.f64 (/.f64 y z) #s(literal -1 binary64)) #s(literal 2 binary64))) #s(literal 1/2 binary64) (*.f64 #s(literal 1 binary64) y)) z) #s(literal -1 binary64) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (pow.f64 (.f64 (.f64 z z) #s(literal -1 binary64)) #s(literal 2 binary64))) #s(literal 1/4 binary64)) (fma.f64 (.f64 t (pow.f64 (.f64 (/.f64 y z) #s(literal -1 binary64)) #s(literal 2 binary64))) #s(literal -1/2 binary64) (.f64 #s(literal -1 binary64) y))) z) #s(literal -1 binary64) x))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (fma.f64 (/.f64 (fma.f64 (.f64 #s(literal -1 binary64) y) z (.f64 (neg.f64 z) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) (.f64 z z)))) (*.f64 (neg.f64 z) z)) #s(literal -1 binary64) x))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) (.f64 (/.f64 (+.f64 (.f64 #s(literal -1 binary64) z) (.f64 (neg.f64 z) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 t y)) (.f64 z z)))) (*.f64 (neg.f64 z) z)) #s(literal -1 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 (fma.f64 (.f64 t (pow.f64 (.f64 (/.f64 y z) #s(literal -1 binary64)) #s(literal 2 binary64))) #s(literal -1/2 binary64) (.f64 #s(literal -1 binary64) y)) z) #s(literal -1 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 (+.f64 (fma.f64 (.f64 t (pow.f64 (.f64 (/.f64 y z) #s(literal -1 binary64)) #s(literal 2 binary64))) #s(literal -1/2 binary64) (.f64 #s(literal -1 binary64) y)) (.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (pow.f64 (.f64 (*.f64 z z) #s(literal -1 binary64)) #s(literal 2 binary64))) #s(literal -1/4 binary64))) z) #s(literal -1 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 (+.f64 (fma.f64 (.f64 t (pow.f64 (.f64 (/.f64 y z) #s(literal -1 binary64)) #s(literal 2 binary64))) #s(literal -1/2 binary64) (.f64 #s(literal -1 binary64) y)) (fma.f64 #s(literal -1/8 binary64) (/.f64 (.f64 (pow.f64 (.f64 y y) #s(literal 2 binary64)) (.f64 (.f64 t t) t)) (pow.f64 (.f64 (.f64 z z) z) #s(literal 2 binary64))) (.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 t t)) (pow.f64 (.f64 (*.f64 z z) #s(literal -1 binary64)) #s(literal 2 binary64))) #s(literal -1/4 binary64)))) z) #s(literal -1 binary64)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 x (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (/.f64 (fma.f64 (.f64 #s(literal -1/4 binary64) (.f64 (.f64 (.f64 y y) y) t)) (.f64 (.f64 z z) z) (.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (.f64 #s(literal -1/2 binary64) (.f64 y y)))) (.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (.f64 (.f64 z z) z))) t x) (/.f64 y z)))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (-.f64 (fma.f64 (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/8 binary64) (.f64 (pow.f64 (.f64 y y) #s(literal 2 binary64)) t)) (pow.f64 (.f64 z z) #s(literal 7/2 binary64))) (/.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 y y) y)) (pow.f64 (.f64 z z) #s(literal 5/2 binary64)))) t (/.f64 (.f64 #s(literal -1 binary64) (.f64 y y)) (.f64 #s(literal 2 binary64) (.f64 (*.f64 z z) z)))) t x) (/.f64 y z)))
#s(approx t t)
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (.f64 #s(literal 1/2 binary64) (.f64 (.f64 y y) t)) z (.f64 (.f64 (.f64 z z) z) y)) (.f64 (.f64 (*.f64 z z) z) z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (/.f64 (fma.f64 (.f64 #s(literal 1/4 binary64) (.f64 (.f64 (.f64 y y) y) t)) (.f64 (.f64 z z) z) (.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (.f64 #s(literal 1/2 binary64) (.f64 y y)))) (.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (.f64 (.f64 z z) z))) t (/.f64 y z)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (fma.f64 (fma.f64 (/.f64 (fma.f64 (.f64 #s(literal 1/8 binary64) (.f64 (pow.f64 (.f64 y y) #s(literal 2 binary64)) t)) (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (.f64 (pow.f64 (.f64 z z) #s(literal 7/2 binary64)) (.f64 #s(literal 1/4 binary64) (.f64 (.f64 y y) y)))) (.f64 (pow.f64 (.f64 z z) #s(literal 7/2 binary64)) (pow.f64 (.f64 z z) #s(literal 5/2 binary64)))) t (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 y y)) (.f64 (.f64 z z) z))) t (/.f64 y z)))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (.f64 (fma.f64 (/.f64 y (.f64 t z)) #s(literal -1 binary64) (/.f64 (fma.f64 x (.f64 (.f64 z z) z) (.f64 t (.f64 #s(literal -1/2 binary64) (.f64 y y)))) (.f64 t (.f64 (.f64 z z) z)))) t))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) (.f64 (-.f64 (.f64 (/.f64 y (.f64 (.f64 z z) z)) #s(literal -1/2 binary64)) (pow.f64 (*.f64 t z) #s(literal -1 binary64))) t))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (.f64 #s(literal -4 binary64) (.f64 (.f64 z z) z)) (.f64 t y)) t (.f64 t (.f64 #s(literal -2 binary64) z))) (*.f64 t t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (.f64 #s(literal -8 binary64) (pow.f64 (.f64 z z) #s(literal 5/2 binary64))) (pow.f64 (.f64 t y) #s(literal 2 binary64))) t (.f64 t (fma.f64 (/.f64 (/.f64 (.f64 (.f64 z z) z) t) y) #s(literal -4 binary64) (.f64 #s(literal -2 binary64) z)))) (.f64 t t)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 (fma.f64 (/.f64 (pow.f64 (.f64 z z) #s(literal 7/2 binary64)) (pow.f64 (.f64 t y) #s(literal 3 binary64))) #s(literal -16 binary64) (fma.f64 (/.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) (pow.f64 (.f64 t y) #s(literal 2 binary64))) #s(literal -8 binary64) (fma.f64 (/.f64 (/.f64 (.f64 (.f64 z z) z) t) y) #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) z)))) t))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 (fma.f64 (/.f64 (.f64 #s(literal -4 binary64) (.f64 (.f64 z z) z)) (.f64 t y)) t (.f64 t (.f64 #s(literal -2 binary64) z))) (*.f64 t t)) #s(literal -1 binary64) x))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 (/.f64 (/.f64 (pow.f64 (.f64 z z) #s(literal 5/2 binary64)) t) (.f64 y y)) #s(literal 8 binary64) (.f64 #s(literal 4 binary64) (/.f64 (.f64 (.f64 z z) z) y))) t) #s(literal -1 binary64) (.f64 #s(literal -2 binary64) z)) t) #s(literal -1 binary64) x))
#s(approx (+ (* (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) y) x) (.f64 (.f64 #s(literal -1 binary64) t) (fma.f64 (/.f64 (fma.f64 (/.f64 y z) #s(literal -1 binary64) x) t) #s(literal -1 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 y y)) (.f64 (.f64 z z) z)))))
#s(approx (- (/ (* -1/2 (* t y)) (* (* z z) z)) (pow z -1)) (.f64 (.f64 (fma.f64 (/.f64 y (.f64 (.f64 z z) z)) #s(literal 1/2 binary64) (pow.f64 (*.f64 t z) #s(literal -1 binary64))) t) #s(literal -1 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 (fma.f64 (/.f64 (/.f64 (.f64 (.f64 z z) z) t) y) #s(literal 4 binary64) (.f64 z #s(literal 2 binary64))) t) #s(literal -1 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 (/.f64 (.f64 #s(literal -8 binary64) (pow.f64 (.f64 z z) #s(literal 5/2 binary64))) (.f64 (.f64 y y) t)) t (.f64 t (.f64 (/.f64 (.f64 (.f64 z z) z) y) #s(literal -4 binary64)))) (.f64 t t)) #s(literal -1 binary64) (*.f64 z #s(literal 2 binary64))) t) #s(literal -1 binary64)))
#s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 (/.f64 (.f64 #s(literal 8 binary64) (pow.f64 (.f64 z z) #s(literal 5/2 binary64))) (.f64 y y)) t (.f64 t (/.f64 (.f64 #s(literal 16 binary64) (pow.f64 (.f64 z z) #s(literal 7/2 binary64))) (.f64 (.f64 (.f64 y y) y) t)))) (.f64 t t)) #s(literal -1 binary64) (.f64 (/.f64 (.f64 (.f64 z z) z) y) #s(literal -4 binary64))) t) #s(literal -1 binary64) (*.f64 z #s(literal 2 binary64))) t) #s(literal -1 binary64)))

eval29.0ms (1%)

Memory: 18.8MiB live, 65.1MiB allocated; 6ms collecting garbage
Compiler: Compiled 10 485 to 1 125 computations (89.3% saved)

prune82.0ms (2.9%)

Memory

-6.7MiB live, 139.4MiB allocated; 46ms collecting garbage

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	221	0	221
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	221	4	225

Accuracy

100.0%

Counts

225 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	85.3%	(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
✓	66.0%	(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))
✓	57.9%	(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64))))
✓	54.5%	#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (pow.f64 z #s(literal -1 binary64))) y x))

Compiler

Compiled 194 to 110 computations (43.3% saved)

regimes14.0ms (0.5%)

Memory

-19.0MiB live, 28.7MiB allocated; 3ms collecting garbage

Counts

4 → 2

Calls

Call 1

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

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

Calls

6 calls:

3.0ms	z
2.0ms	y
2.0ms	(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))
2.0ms	(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))
2.0ms	x

Results

Accuracy	Segments	Branch
95.1%	2	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`
94.8%	2	`(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))`
85.3%	1	`x`
86.9%	2	`y`
95.1%	3	`z`
85.3%	1	`t`

Compiler

Compiled 36 to 41 computations (-13.9% saved)

regimes5.0ms (0.2%)

Memory

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

Counts

3 → 3

Calls

Call 1

Inputs

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

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

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

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

Outputs

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

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

(-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))

Calls

3 calls:

2.0ms

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

2.0ms

1.0ms

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

Results

Accuracy	Segments	Branch
91.8%	3	`z`
75.6%	4	`(-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t))))`
68.2%	2	`(/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (*.f64 y t)))`

Compiler

Compiled 33 to 29 computations (12.1% saved)

regimes6.0ms (0.2%)

Memory

-31.9MiB live, 14.9MiB allocated; 1ms collecting garbage

Counts

2 → 3

Calls

Call 1

Inputs

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

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

Outputs

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

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

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

Calls

4 calls:

2.0ms	x
1.0ms	z
1.0ms	y
1.0ms	t

Results

Accuracy	Segments	Branch
66.7%	5	`x`
72.9%	3	`t`
67.7%	3	`y`
87.8%	3	`z`

Compiler

Compiled 4 to 16 computations (-300% saved)

regimes7.0ms (0.2%)

Memory

19.3MiB live, 19.2MiB allocated; 0ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 36 to 41 computations (-13.9% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	5.244635269991625e+152	1.5230050058072328e+178

Compiler

Compiled 20 to 20 computations (0% saved)

bsearch24.0ms (0.9%)

Memory

2.9MiB live, 49.1MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
4.0ms	1.1336184440623052e-9	1.2759726449713243e-9
18.0ms	-3.348580111537028e-23	-1.3314233561497092e-29

Samples

14.0ms

176×

valid

Compiler

Compiled 504 to 394 computations (21.8% saved)

Precisions

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

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

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

ival-div: 1.0ms (11.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)

bsearch27.0ms (1%)

Memory

0.1MiB live, 44.6MiB allocated; 9ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
4.0ms	2.4937552972296992e+64	2.7011879916055717e+64
20.0ms	-3.348580111537028e-23	-1.3314233561497092e-29

Samples

18.0ms

144×

valid

Compiler

Compiled 669 to 493 computations (26.3% saved)

Precisions

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

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

ival-div: 1.0ms (7.5% of total)

ival-sub: 1.0ms (7.5% 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)

simplify50.0ms (1.8%)

Memory

5.7MiB live, 51.6MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	213
1	89	213
2	157	213
3	344	213
4	791	213
5	4963	213

Stop Event

1×	node limit

Calls

Call 1

Inputs
(if (<=.f64 (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (.f64 y t))) #s(literal 999999999999999999733403004123153744855539019118436686285840188024369679522423761672919759564567158443669378824028710020392594094129030220133015859757056 binary64)) (-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (.f64 y t)))) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))))
(if (<=.f64 z #s(literal -2504478220538107/21778071482940061661655974875633165533184 binary64)) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))) (if (<=.f64 z #s(literal 2949778999859695/2417851639229258349412352 binary64)) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64)))) (-.f64 x #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))))
(if (<=.f64 z #s(literal -5614659054195485/170141183460469231731687303715884105728 binary64)) #s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (pow.f64 z #s(literal -1 binary64))) y x)) (if (<=.f64 z #s(literal 25999999999999999677429911847272567757621805023197276822573154304 binary64)) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64)))) #s(approx (- x (/ ( (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (pow.f64 z #s(literal -1 binary64))) y x))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (pow.f64 z #s(literal -1 binary64))) y x))

Outputs
(if (<=.f64 (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (.f64 y t))) #s(literal 999999999999999999733403004123153744855539019118436686285840188024369679522423761672919759564567158443669378824028710020392594094129030220133015859757056 binary64)) (-.f64 x (/.f64 (.f64 (.f64 y #s(literal 2 binary64)) z) (-.f64 (.f64 (.f64 z #s(literal 2 binary64)) z) (.f64 y t)))) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))))
(if (<=.f64 z #s(literal -2504478220538107/21778071482940061661655974875633165533184 binary64)) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))) (if (<=.f64 z #s(literal 2949778999859695/2417851639229258349412352 binary64)) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64)))) (-.f64 x #s(approx (/ ( (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z)))))
(if (or (<=.f64 z #s(literal -2504478220538107/21778071482940061661655974875633165533184 binary64)) (not (<=.f64 z #s(literal 2949778999859695/2417851639229258349412352 binary64)))) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (/.f64 y z))) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64)))))
(if (<=.f64 z #s(literal -5614659054195485/170141183460469231731687303715884105728 binary64)) #s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (pow.f64 z #s(literal -1 binary64))) y x)) (if (<=.f64 z #s(literal 25999999999999999677429911847272567757621805023197276822573154304 binary64)) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (.f64 (/.f64 z t) #s(literal -2 binary64)))) #s(approx (- x (/ ( (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (pow.f64 z #s(literal -1 binary64))) y x))))
(if (or (<=.f64 z #s(literal -5614659054195485/170141183460469231731687303715884105728 binary64)) (not (<=.f64 z #s(literal 25999999999999999677429911847272567757621805023197276822573154304 binary64)))) #s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (pow.f64 z #s(literal -1 binary64))) y x)) (-.f64 x #s(approx (/ (* (* y 2) z) (- (* (* z 2) z) (* y t))) (*.f64 (/.f64 z t) #s(literal -2 binary64)))))
#s(approx (- x (/ (* (* y 2) z) (- (* (* z 2) z) (* y t)))) (fma.f64 (-.f64 (/.f64 (.f64 #s(literal -1/2 binary64) (.f64 t y)) (.f64 (.f64 z z) z)) (pow.f64 z #s(literal -1 binary64))) y x))

derivations67.0ms (2.4%)

Memory

-13.9MiB live, 77.2MiB allocated; 7ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 213 to 58 computations (72.8% saved)

preprocess46.0ms (1.6%)

Memory: 39.9MiB live, 89.5MiB allocated; 15ms collecting garbage
Compiler: Compiled 460 to 142 computations (69.1% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze223.0ms (8%)

sample1.2s (43.7%)

explain165.0ms (5.9%)

preprocess226.0ms (8.1%)

eval0.0ms (0%)

prune0.0ms (0%)

series28.0ms (1%)

rewrite214.0ms (7.6%)

eval14.0ms (0.5%)

prune41.0ms (1.5%)

series40.0ms (1.4%)

rewrite262.0ms (9.4%)

eval29.0ms (1%)

prune82.0ms (2.9%)

regimes14.0ms (0.5%)

regimes5.0ms (0.2%)

regimes6.0ms (0.2%)

regimes7.0ms (0.2%)

bsearch0.0ms (0%)

bsearch24.0ms (0.9%)

bsearch27.0ms (1%)

simplify50.0ms (1.8%)

derivations67.0ms (2.4%)

preprocess46.0ms (1.6%)

end0.0ms (0%)

Profiling