Metrics for Diagrams.Solve.Polynomial:quadForm from diagrams-solve-0.1, B

start0.0ms (0%)

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

analyze55.0ms (1.8%)

Memory

-6.3MiB live, 86.6MiB allocated; 11ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
50%	49.9%	49.9%	0.1%	0%	0%	0%	4
50%	49.9%	49.9%	0.1%	0%	0%	0%	5
50%	49.9%	49.9%	0.1%	0%	0%	0%	6
66.7%	49.9%	25%	0.1%	0%	25%	0%	7
66.7%	49.9%	25%	0.1%	0%	25%	0%	8
66.7%	49.9%	25%	0.1%	0%	25%	0%	9
80%	49.9%	12.5%	0.1%	0%	37.4%	0%	10
80%	49.9%	12.5%	0.1%	0%	37.4%	0%	11
80%	49.9%	12.5%	0.1%	0%	37.4%	0%	12

Compiler

Compiled 12 to 12 computations (0% saved)

sample998.0ms (32.4%)

Memory

51.3MiB live, 1 709.7MiB allocated; 136ms collecting garbage

Samples

496.0ms	8 256×	0	valid
123.0ms	2 078×	0	invalid

Precisions

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

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

ival-div: 78.0ms (22.2% of total)

ival-sqrt: 71.0ms (20.2% of total)

ival-add: 50.0ms (14.2% of total)

exact: 12.0ms (3.4% of total)

adjust: 3.0ms (0.9% of total)

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

Bogosity

explain93.0ms (3%)

Memory

-37.9MiB live, 201.8MiB allocated; 7ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 #s(literal 1 binary64) #s(literal 2 binary64))`
-	-	`#s(literal 1 binary64)`
-	-	`z`
-	-	`(sqrt.f64 z)`
-	-	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
-	-	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
-	-	`y`
-	-	`#s(literal 2 binary64)`
-	-	`(*.f64 y (sqrt.f64 z))`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

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

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

35.0ms

512×

valid

Compiler

Compiled 74 to 34 computations (54.1% saved)

Precisions

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

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

ival-sqrt: 4.0ms (22.7% of total)

ival-div: 3.0ms (17% of total)

ival-add: 3.0ms (17% of total)

exact: 1.0ms (5.7% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess182.0ms (5.9%)

Memory

20.8MiB live, 214.0MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	84
1	134	82
2	441	82
3	1784	82
4	5791	82
0	10	8
0	16	8
1	31	8
2	63	8
3	122	8
4	235	8
5	554	8
6	4028	8
0	8490	7

Stop Event

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

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))

Outputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
(*.f64 (fma.f64 (sqrt.f64 z) y x) #s(literal 1/2 binary64))

Compiler

Compiled 10 to 10 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))

Compiler

Compiled 10 to 10 computations (0% saved)

series9.0ms (0.3%)

Memory

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

Counts

10 → 28

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
(/.f64 #s(literal 1 binary64) #s(literal 2 binary64))
#s(literal 1 binary64)
#s(literal 2 binary64)
(+.f64 x (*.f64 y (sqrt.f64 z)))
x
(*.f64 y (sqrt.f64 z))
y
(sqrt.f64 z)
z

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

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	z	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) x (* y (sqrt z)) y (sqrt z) z)
1.0ms	z	@	0	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) x (* y (sqrt z)) y (sqrt z) z)
1.0ms	y	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) x (* y (sqrt z)) y (sqrt z) z)
1.0ms	x	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) x (* y (sqrt z)) y (sqrt z) z)
1.0ms	z	@	inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) x (* y (sqrt z)) y (sqrt z) z)

rewrite62.0ms (2%)

Memory

-3.0MiB live, 94.6MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	109	476
0	115	433
0	505	401

Stop Event

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

Counts

38 → 57

Calls

Call 1

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

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

eval7.0ms (0.2%)

Memory: -32.2MiB live, 15.2MiB allocated; 1ms collecting garbage
Compiler: Compiled 870 to 181 computations (79.2% saved)

prune20.0ms (0.7%)

Memory

-7.8MiB live, 39.5MiB allocated; 1ms collecting garbage

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	54	2	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	54	3	57

Accuracy

99.9%

Counts

57 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

99.8%

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (*.f64 y (sqrt.f64 z))))

▶

88.3%

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x (* y (sqrt z))) (*.f64 (fma.f64 (/.f64 y x) (sqrt.f64 z) #s(literal 1 binary64)) x)))

▶

83.6%

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x (* y (sqrt z))) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z)) z)))

Compiler

Compiled 52 to 41 computations (21.2% saved)

series26.0ms (0.9%)

Memory

6.7MiB live, 53.4MiB allocated; 1ms collecting garbage

Counts

18 → 65

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z)) z)))
(/.f64 #s(literal 1 binary64) #s(literal 2 binary64))
#s(literal 1 binary64)
#s(literal 2 binary64)
#s(approx (+ x (* y (sqrt z))) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z)) z))
(*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z)) z)
(fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z))
(/.f64 #s(literal 1 binary64) (sqrt.f64 z))
(sqrt.f64 z)
z
y
(/.f64 x z)
x
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (*.f64 (fma.f64 (/.f64 y x) (sqrt.f64 z) #s(literal 1 binary64)) x)))
#s(approx (+ x (* y (sqrt z))) (*.f64 (fma.f64 (/.f64 y x) (sqrt.f64 z) #s(literal 1 binary64)) x))
(*.f64 (fma.f64 (/.f64 y x) (sqrt.f64 z) #s(literal 1 binary64)) x)
(fma.f64 (/.f64 y x) (sqrt.f64 z) #s(literal 1 binary64))
(/.f64 y x)

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

Calls

9 calls:

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

rewrite52.0ms (1.7%)

Memory

32.1MiB live, 80.2MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	199	1310
0	218	1217
0	861	1180

Stop Event

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

Counts

83 → 115

Calls

Call 1

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

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

eval15.0ms (0.5%)

Memory: -13.3MiB live, 33.9MiB allocated; 1ms collecting garbage
Compiler: Compiled 3 385 to 508 computations (85% saved)

prune169.0ms (5.5%)

Memory

6.8MiB live, 291.3MiB allocated; 7ms collecting garbage

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	130	3	133
Fresh	0	0	0
Picked	1	1	2
Done	0	1	1
Total	131	5	136

Accuracy

100.0%

Counts

136 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
▶	83.7%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (*.f64 (fma.f64 (pow.f64 (pow.f64 z #s(literal -1 binary64)) #s(literal 1/2 binary64)) y (/.f64 x z)) z)))
✓	83.6%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z)) z)))
▶	71.9%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 (/.f64 (-.f64 (.f64 (/.f64 (.f64 (sqrt.f64 z) y) x) (/.f64 (.f64 (sqrt.f64 z) y) x)) #s(literal 1 binary64)) (-.f64 (/.f64 (*.f64 (sqrt.f64 z) y) x) #s(literal 1 binary64))) x)))
▶	88.9%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 #s(approx (+ ( (/ y x) (sqrt z)) 1) (*.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) (sqrt.f64 z) (pow.f64 y #s(literal -1 binary64))) y)) x)))

Compiler

Compiled 125 to 86 computations (31.2% saved)

series56.0ms (1.8%)

Memory

2.5MiB live, 98.3MiB allocated; 9ms collecting garbage

Counts

33 → 142

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable		Point	Expression
13.0ms	z	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) (* (+ (* (/ y x) (sqrt z)) 1) x) (+ (* (/ y x) (sqrt z)) 1) (* (+ (* (pow x -1) (sqrt z)) (pow y -1)) y) (+ (* (pow x -1) (sqrt z)) (pow y -1)) (pow x -1) x -1 (sqrt z) z (pow y -1) y (* (/ 1 2) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z))) (* (/ (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (- (/ (* (sqrt z) y) x) 1)) x) (/ (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (- (/ (* (sqrt z) y) x) 1)) (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) (/ (* (sqrt z) y) x) (* (sqrt z) y) (- (/ (* (sqrt z) y) x) 1) (* (/ 1 2) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z))) (* (+ (* (pow (pow z -1) 1/2) y) (/ x z)) z) (+ (* (pow (pow z -1) 1/2) y) (/ x z)) (pow (pow z -1) 1/2) (pow z -1) 1/2 (/ x z))
9.0ms	x	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) (* (+ (* (/ y x) (sqrt z)) 1) x) (+ (* (/ y x) (sqrt z)) 1) (* (+ (* (pow x -1) (sqrt z)) (pow y -1)) y) (+ (* (pow x -1) (sqrt z)) (pow y -1)) (pow x -1) x -1 (sqrt z) z (pow y -1) y (* (/ 1 2) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z))) (* (/ (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (- (/ (* (sqrt z) y) x) 1)) x) (/ (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (- (/ (* (sqrt z) y) x) 1)) (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) (/ (* (sqrt z) y) x) (* (sqrt z) y) (- (/ (* (sqrt z) y) x) 1) (* (/ 1 2) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z))) (* (+ (* (pow (pow z -1) 1/2) y) (/ x z)) z) (+ (* (pow (pow z -1) 1/2) y) (/ x z)) (pow (pow z -1) 1/2) (pow z -1) 1/2 (/ x z))
6.0ms	z	@	inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) (* (+ (* (/ y x) (sqrt z)) 1) x) (+ (* (/ y x) (sqrt z)) 1) (* (+ (* (pow x -1) (sqrt z)) (pow y -1)) y) (+ (* (pow x -1) (sqrt z)) (pow y -1)) (pow x -1) x -1 (sqrt z) z (pow y -1) y (* (/ 1 2) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z))) (* (/ (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (- (/ (* (sqrt z) y) x) 1)) x) (/ (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (- (/ (* (sqrt z) y) x) 1)) (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) (/ (* (sqrt z) y) x) (* (sqrt z) y) (- (/ (* (sqrt z) y) x) 1) (* (/ 1 2) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z))) (* (+ (* (pow (pow z -1) 1/2) y) (/ x z)) z) (+ (* (pow (pow z -1) 1/2) y) (/ x z)) (pow (pow z -1) 1/2) (pow z -1) 1/2 (/ x z))
5.0ms	z	@	0	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) (* (+ (* (/ y x) (sqrt z)) 1) x) (+ (* (/ y x) (sqrt z)) 1) (* (+ (* (pow x -1) (sqrt z)) (pow y -1)) y) (+ (* (pow x -1) (sqrt z)) (pow y -1)) (pow x -1) x -1 (sqrt z) z (pow y -1) y (* (/ 1 2) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z))) (* (/ (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (- (/ (* (sqrt z) y) x) 1)) x) (/ (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (- (/ (* (sqrt z) y) x) 1)) (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) (/ (* (sqrt z) y) x) (* (sqrt z) y) (- (/ (* (sqrt z) y) x) 1) (* (/ 1 2) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z))) (* (+ (* (pow (pow z -1) 1/2) y) (/ x z)) z) (+ (* (pow (pow z -1) 1/2) y) (/ x z)) (pow (pow z -1) 1/2) (pow z -1) 1/2 (/ x z))
5.0ms	y	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) (* (+ (* (/ y x) (sqrt z)) 1) x) (+ (* (/ y x) (sqrt z)) 1) (* (+ (* (pow x -1) (sqrt z)) (pow y -1)) y) (+ (* (pow x -1) (sqrt z)) (pow y -1)) (pow x -1) x -1 (sqrt z) z (pow y -1) y (* (/ 1 2) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z))) (* (/ (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (- (/ (* (sqrt z) y) x) 1)) x) (/ (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (- (/ (* (sqrt z) y) x) 1)) (- (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) 1) (* (/ (* (sqrt z) y) x) (/ (* (sqrt z) y) x)) (/ (* (sqrt z) y) x) (* (sqrt z) y) (- (/ (* (sqrt z) y) x) 1) (* (/ 1 2) (+ x (* y (sqrt z)))) (+ x (* y (sqrt z))) (* (+ (* (pow (pow z -1) 1/2) y) (/ x z)) z) (+ (* (pow (pow z -1) 1/2) y) (/ x z)) (pow (pow z -1) 1/2) (pow z -1) 1/2 (/ x z))

rewrite89.0ms (2.9%)

Memory

7.6MiB live, 101.0MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	465	4210
0	504	3221
0	2373	3080

Stop Event

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

Counts

175 → 250

Calls

Call 1

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

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

eval41.0ms (1.3%)

Memory: -15.0MiB live, 80.0MiB allocated; 6ms collecting garbage
Compiler: Compiled 11 196 to 1 478 computations (86.8% saved)

prune788.0ms (25.5%)

Memory

-7.9MiB live, 1 486.4MiB allocated; 135ms collecting garbage

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	307	1	308
Fresh	0	0	0
Picked	0	3	3
Done	0	2	2
Total	307	6	313

Accuracy

100.0%

Counts

313 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
▶	69.8%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (/.f64 (.f64 (-.f64 (pow.f64 (/.f64 (.f64 (sqrt.f64 z) y) x) #s(literal 2 binary64)) #s(literal 1 binary64)) x) (-.f64 (/.f64 (*.f64 (sqrt.f64 z) y) x) #s(literal 1 binary64)))))
✓	83.7%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (*.f64 (fma.f64 (pow.f64 (pow.f64 z #s(literal -1 binary64)) #s(literal 1/2 binary64)) y (/.f64 x z)) z)))
✓	83.6%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z)) z)))
✓	71.9%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 (/.f64 (-.f64 (.f64 (/.f64 (.f64 (sqrt.f64 z) y) x) (/.f64 (.f64 (sqrt.f64 z) y) x)) #s(literal 1 binary64)) (-.f64 (/.f64 (*.f64 (sqrt.f64 z) y) x) #s(literal 1 binary64))) x)))
✓	88.9%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 #s(approx (+ ( (/ y x) (sqrt z)) 1) (*.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) (sqrt.f64 z) (pow.f64 y #s(literal -1 binary64))) y)) x)))

Compiler

Compiled 157 to 105 computations (33.1% saved)

series21.0ms (0.7%)

Memory

6.6MiB live, 54.2MiB allocated; 1ms collecting garbage

Counts

16 → 75

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable		Point	Expression
3.0ms	y	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) (/ (* (- (pow (/ (* (sqrt z) y) x) 2) 1) x) (- (/ (* (sqrt z) y) x) 1)) (* (- (pow (/ (* (sqrt z) y) x) 2) 1) x) (- (pow (/ (* (sqrt z) y) x) 2) 1) (pow (/ (* (sqrt z) y) x) 2) (/ (* (sqrt z) y) x) (* (sqrt z) y) (sqrt z) z y x (- (/ (* (sqrt z) y) x) 1))
3.0ms	z	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) (/ (* (- (pow (/ (* (sqrt z) y) x) 2) 1) x) (- (/ (* (sqrt z) y) x) 1)) (* (- (pow (/ (* (sqrt z) y) x) 2) 1) x) (- (pow (/ (* (sqrt z) y) x) 2) 1) (pow (/ (* (sqrt z) y) x) 2) (/ (* (sqrt z) y) x) (* (sqrt z) y) (sqrt z) z y x (- (/ (* (sqrt z) y) x) 1))
2.0ms	x	@	-inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) (/ (* (- (pow (/ (* (sqrt z) y) x) 2) 1) x) (- (/ (* (sqrt z) y) x) 1)) (* (- (pow (/ (* (sqrt z) y) x) 2) 1) x) (- (pow (/ (* (sqrt z) y) x) 2) 1) (pow (/ (* (sqrt z) y) x) 2) (/ (* (sqrt z) y) x) (* (sqrt z) y) (sqrt z) z y x (- (/ (* (sqrt z) y) x) 1))
2.0ms	y	@	inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) (/ (* (- (pow (/ (* (sqrt z) y) x) 2) 1) x) (- (/ (* (sqrt z) y) x) 1)) (* (- (pow (/ (* (sqrt z) y) x) 2) 1) x) (- (pow (/ (* (sqrt z) y) x) 2) 1) (pow (/ (* (sqrt z) y) x) 2) (/ (* (sqrt z) y) x) (* (sqrt z) y) (sqrt z) z y x (- (/ (* (sqrt z) y) x) 1))
2.0ms	z	@	inf	((* (/ 1 2) (+ x (* y (sqrt z)))) (/ 1 2) 1 2 (+ x (* y (sqrt z))) (/ (* (- (pow (/ (* (sqrt z) y) x) 2) 1) x) (- (/ (* (sqrt z) y) x) 1)) (* (- (pow (/ (* (sqrt z) y) x) 2) 1) x) (- (pow (/ (* (sqrt z) y) x) 2) 1) (pow (/ (* (sqrt z) y) x) 2) (/ (* (sqrt z) y) x) (* (sqrt z) y) (sqrt z) z y x (- (/ (* (sqrt z) y) x) 1))

rewrite63.0ms (2.1%)

Memory

-5.2MiB live, 89.4MiB allocated; 1ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	297	2060
0	317	1913
0	1564	1863

Stop Event

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

Counts

91 → 108

Calls

Call 1

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

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

eval19.0ms (0.6%)

Memory: -6.5MiB live, 41.4MiB allocated; 3ms collecting garbage
Compiler: Compiled 4 874 to 652 computations (86.6% saved)

prune160.0ms (5.2%)

Memory

18.8MiB live, 258.1MiB allocated; 8ms collecting garbage

Pruning

6 alts after pruning (1 fresh and 5 done)

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

Accuracy

100.0%

Counts

138 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
✓	83.7%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (*.f64 (fma.f64 (pow.f64 (pow.f64 z #s(literal -1 binary64)) #s(literal 1/2 binary64)) y (/.f64 x z)) z)))
✓	83.6%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z)) z)))
✓	71.9%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 (/.f64 (-.f64 (.f64 (/.f64 (.f64 (sqrt.f64 z) y) x) (/.f64 (.f64 (sqrt.f64 z) y) x)) #s(literal 1 binary64)) (-.f64 (/.f64 (*.f64 (sqrt.f64 z) y) x) #s(literal 1 binary64))) x)))
	68.4%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 (-.f64 (pow.f64 (/.f64 (.f64 (sqrt.f64 z) y) x) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 x (-.f64 (/.f64 (*.f64 (sqrt.f64 z) y) x) #s(literal 1 binary64))))))
✓	88.9%	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 #s(approx (+ ( (/ y x) (sqrt z)) 1) (*.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) (sqrt.f64 z) (pow.f64 y #s(literal -1 binary64))) y)) x)))

Compiler

Compiled 366 to 168 computations (54.1% saved)

regimes33.0ms (1.1%)

Memory

1.9MiB live, 49.6MiB allocated; 1ms collecting garbage

Counts

8 → 1

Calls

Call 1

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

Outputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))

Calls

7 calls:

16.0ms	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
3.0ms	y
3.0ms	z
3.0ms	(sqrt.f64 z)
3.0ms	x

Results

Accuracy	Segments	Branch
99.8%	1	`(sqrt.f64 z)`
99.8%	1	`(*.f64 y (sqrt.f64 z))`
99.8%	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
99.8%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
99.8%	1	`x`
99.8%	1	`y`
99.8%	1	`z`

Compiler

Compiled 25 to 34 computations (-36% saved)

regimes20.0ms (0.7%)

Memory

4.5MiB live, 50.3MiB allocated; 2ms collecting garbage

Counts

7 → 2

Calls

Call 1

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

Outputs

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

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

Calls

7 calls:

5.0ms	x
3.0ms	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
2.0ms	y
2.0ms	(sqrt.f64 z)
2.0ms	z

Results

Accuracy	Segments	Branch
95.0%	2	`(sqrt.f64 z)`
94.4%	3	`(*.f64 y (sqrt.f64 z))`
88.9%	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
88.9%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
95.8%	3	`x`
92.6%	3	`y`
95.0%	2	`z`

Compiler

Compiled 25 to 34 computations (-36% saved)

regimes4.0ms (0.1%)

Memory

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

Counts

5 → 2

Calls

Call 1

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

Outputs

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

(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x (* y (sqrt z))) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z)) z)))

Calls

2 calls:

2.0ms	(sqrt.f64 z)
2.0ms	z

Results

Accuracy	Segments	Branch
94.9%	2	`(sqrt.f64 z)`
94.9%	2	`z`

Compiler

Compiled 3 to 7 computations (-133.3% saved)

regimes15.0ms (0.5%)

Memory

-21.9MiB live, 29.7MiB allocated; 4ms collecting garbage

Accuracy

Total -13.2b remaining (-186.4%)

Threshold costs -13.2b (-186.4%)

Counts

3 → 1

Calls

Call 1

Inputs

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

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

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

Outputs

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

Calls

7 calls:

5.0ms	(sqrt.f64 z)
2.0ms	(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
2.0ms	(+.f64 x (*.f64 y (sqrt.f64 z)))
1.0ms	(*.f64 y (sqrt.f64 z))
1.0ms	x

Results

Accuracy	Segments	Branch
88.9%	1	`(+.f64 x (*.f64 y (sqrt.f64 z)))`
88.9%	1	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))`
88.9%	1	`y`
88.9%	1	`(*.f64 y (sqrt.f64 z))`
88.9%	1	`x`
88.9%	1	`(sqrt.f64 z)`
88.9%	1	`z`

Compiler

Compiled 25 to 34 computations (-36% saved)

bsearch18.0ms (0.6%)

Memory

-2.5MiB live, 43.2MiB allocated; 2ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
16.0ms	9.16308896267516e-85	1.7974957864671666e-79

Samples

9.0ms

144×

valid

Compiler

Compiled 517 to 403 computations (22.1% saved)

Precisions

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

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

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

ival-add: 1.0ms (21.2% of total)

ival-sqrt: 1.0ms (21.2% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

bsearch2.0ms (0.1%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	9.16308896267516e-85	1.7974957864671666e-79

Compiler

Compiled 508 to 385 computations (24.2% saved)

simplify32.0ms (1%)

Memory

-18.9MiB live, 28.1MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	162
1	53	162
2	72	162
3	124	162
4	319	162
5	2318	162

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
(if (<=.f64 z #s(literal 7742953005213299/133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536 binary64)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 #s(approx (+ ( (/ y x) (sqrt z)) 1) (.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) (sqrt.f64 z) (pow.f64 y #s(literal -1 binary64))) y)) x))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x (* y (sqrt z))) (*.f64 (fma.f64 (pow.f64 (pow.f64 z #s(literal -1 binary64)) #s(literal 1/2 binary64)) y (/.f64 x z)) z))))
(if (<=.f64 z #s(literal 7742953005213299/133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536 binary64)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 #s(approx (+ ( (/ y x) (sqrt z)) 1) (.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) (sqrt.f64 z) (pow.f64 y #s(literal -1 binary64))) y)) x))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x (* y (sqrt z))) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z)) z))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 #s(approx (+ ( (/ y x) (sqrt z)) 1) (*.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) (sqrt.f64 z) (pow.f64 y #s(literal -1 binary64))) y)) x)))

Outputs
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x (.f64 y (sqrt.f64 z))))
(if (<=.f64 z #s(literal 7742953005213299/133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536 binary64)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 #s(approx (+ ( (/ y x) (sqrt z)) 1) (.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) (sqrt.f64 z) (pow.f64 y #s(literal -1 binary64))) y)) x))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x (* y (sqrt z))) (*.f64 (fma.f64 (pow.f64 (pow.f64 z #s(literal -1 binary64)) #s(literal 1/2 binary64)) y (/.f64 x z)) z))))
(if (<=.f64 z #s(literal 7742953005213299/133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536 binary64)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 #s(approx (+ ( (/ y x) (sqrt z)) 1) (.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) (sqrt.f64 z) (pow.f64 y #s(literal -1 binary64))) y)) x))) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x (* y (sqrt z))) (*.f64 (fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 z)) y (/.f64 x z)) z))))
(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) #s(approx (+ x ( y (sqrt z))) (.f64 #s(approx (+ ( (/ y x) (sqrt z)) 1) (*.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) (sqrt.f64 z) (pow.f64 y #s(literal -1 binary64))) y)) x)))

derivations8.0ms (0.2%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 162 to 43 computations (73.5% saved)

preprocess27.0ms (0.9%)

Memory: 11.5MiB live, 58.0MiB allocated; 3ms collecting garbage
Compiler: Compiled 344 to 106 computations (69.2% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze55.0ms (1.8%)

sample998.0ms (32.4%)

explain93.0ms (3%)

preprocess182.0ms (5.9%)

eval0.0ms (0%)

prune0.0ms (0%)

series9.0ms (0.3%)

rewrite62.0ms (2%)

eval7.0ms (0.2%)

prune20.0ms (0.7%)

series26.0ms (0.9%)

rewrite52.0ms (1.7%)

eval15.0ms (0.5%)

prune169.0ms (5.5%)

series56.0ms (1.8%)

rewrite89.0ms (2.9%)

eval41.0ms (1.3%)

prune788.0ms (25.5%)

series21.0ms (0.7%)

rewrite63.0ms (2.1%)

eval19.0ms (0.6%)

prune160.0ms (5.2%)

regimes33.0ms (1.1%)

regimes20.0ms (0.7%)

regimes4.0ms (0.1%)

regimes15.0ms (0.5%)

bsearch18.0ms (0.6%)

bsearch2.0ms (0.1%)

simplify32.0ms (1%)

derivations8.0ms (0.2%)

preprocess27.0ms (0.9%)

end0.0ms (0%)

Profiling