Metrics for AI.Clustering.Hierarchical.Internal:average from clustering-0.2.1, B

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze18.0ms (0.7%)

Memory

-7.7MiB live, 29.4MiB allocated

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
25%	25%	74.9%	0.1%	0%	0%	0%	3
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	4
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	5
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	6
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	7
82%	82%	18%	0.1%	0%	0%	0%	8
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	9
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	10
93.8%	93.8%	6.1%	0.1%	0%	0%	0%	11
95.4%	95.3%	4.6%	0.1%	0%	0%	0%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample524.0ms (20%)

Memory

0.7MiB live, 788.0MiB allocated

Samples

313.0ms

8 256×

valid

Precisions

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

ival-div: 69.0ms (48.8% of total)

ival-add: 62.0ms (43.9% of total)

ival-true: 6.0ms (4.2% of total)

ival-assert: 4.0ms (2.8% of total)

Bogosity

explain73.0ms (2.8%)

Memory

9.4MiB live, 48.1MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`y`
-	-	`(/.f64 x (+.f64 y x))`
-	-	`(+.f64 y x)`
-	-	`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

52.0ms

512×

valid

Compiler

Compiled 39 to 20 computations (48.7% saved)

Precisions

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

ival-add: 36.0ms (89.5% of total)

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

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

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

preprocess68.0ms (2.6%)

Memory

-21.3MiB live, 21.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	35	25
2	72	25
3	145	25
4	324	25
5	504	25
6	628	25
7	648	25
8	675	25
9	687	25
0	4	5
0	6	5
1	7	5
0	7	5

Stop Event

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

Calls

Call 1

Inputs
(/.f64 x (+.f64 y x))

Outputs
(/.f64 x (+.f64 y x))

Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune2.0ms (0.1%)

Memory

1.5MiB live, 1.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 x (+.f64 y x))

Compiler

Compiled 5 to 4 computations (20% saved)

simplify3.0ms (0.1%)

Memory

2.4MiB live, 2.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 y x)
cost-diff	0	(/.f64 x (+.f64 y x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	10
0	6	10
1	7	10
0	7	10

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(/.f64 x (+.f64 y x))
x
(+.f64 y x)
y

Outputs
(/.f64 x (+.f64 y x))
x
(+.f64 y x)
y

localize13.0ms (0.5%)

Memory

14.1MiB live, 14.1MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0	(+.f64 y x)
accuracy	0.01171875	(/.f64 x (+.f64 y x))

Samples

9.0ms

256×

valid

Compiler

Compiled 22 to 10 computations (54.5% saved)

Precisions

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

ival-div: 2.0ms (52.2% of total)

ival-add: 2.0ms (52.2% of total)

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

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

series4.0ms (0.1%)

Memory

3.9MiB live, 3.9MiB allocated

Counts

2 → 48

Calls

Call 1

Inputs
#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())
#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())

Outputs
#s(alt 1 (taylor 0 y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (/ y (pow x 2)) (/ 1 x)))) (taylor 0 y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x)))) (taylor 0 y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y) (taylor inf y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y) (taylor inf y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x)) (taylor inf x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x))) (taylor inf x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt (/.f64 x (+.f64 y x)) (patch (/.f64 x (+.f64 y x)) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	inf	((/ x (+ y x)) (+ y x))
1.0ms	x	@	inf	((/ x (+ y x)) (+ y x))
1.0ms	y	@	-inf	((/ x (+ y x)) (+ y x))
0.0ms	x	@	-inf	((/ x (+ y x)) (+ y x))
0.0ms	y	@	0	((/ x (+ y x)) (+ y x))

simplify229.0ms (8.7%)

Memory

-7.5MiB live, 104.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	124	360
1	369	342
2	945	318
3	3728	316
0	8239	303

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 42

Calls

Call 1

Inputs
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* y (- (/ y (pow x 2)) (/ 1 x))))
(+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x))))
x
(+ x y)
(+ x y)
(+ x y)
(/ x y)
(/ (+ x (* -1 (/ (pow x 2) y))) y)
(/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y)
(/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y)
y
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ x y)))
(/ x y)
(* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y))
y
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(/ x y)
(* x (+ (* -1 (/ x (pow y 2))) (/ 1 y)))
(* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y)))
(* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y)))
y
(+ x y)
(+ x y)
(+ x y)
1
(+ 1 (* -1 (/ y x)))
(- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x))
(- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x)))
x
(* x (+ 1 (/ y x)))
(* x (+ 1 (/ y x)))
(* x (+ 1 (/ y x)))
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x)))
(+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x)))
x
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))

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

rewrite219.0ms (8.4%)

Memory

11.7MiB live, 129.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	8
0	6	8
1	28	8
2	189	8
3	1838	8
0	8683	8

Stop Event

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

Counts

2 → 315

Calls

Call 1

Inputs
(/.f64 x (+.f64 y x))
(+.f64 y x)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval62.0ms (2.4%)

Memory: 17.5MiB live, 54.8MiB allocated
Compiler: Compiled 8 205 to 1 057 computations (87.1% saved)

prune28.0ms (1.1%)

Memory

-14.9MiB live, 30.8MiB allocated

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	352	5	357
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	352	6	358

Accuracy

100.0%

Counts

358 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 x (+.f64 y x))
▶	99.2%	(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x))
▶	47.8%	#s(approx (/ x (+ y x)) (/.f64 (-.f64 x (*.f64 (/.f64 x y) x)) y))
▶	48.8%	#s(approx (/ x (+ y x)) (/.f64 x y))
▶	51.6%	#s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))
▶	52.1%	#s(approx (/ x (+ y x)) #s(literal 1 binary64))

Compiler

Compiled 63 to 58 computations (7.9% saved)

simplify177.0ms (6.8%)

Memory

-3.7MiB live, 34.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 13 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 (/.f64 x y) x)
cost-diff	0	(-.f64 x (*.f64 (/.f64 x y) x))
cost-diff	0	(/.f64 (-.f64 x (*.f64 (/.f64 x y) x)) y)
cost-diff	0	#s(approx (/ x (+ y x)) (/.f64 (-.f64 x (*.f64 (/.f64 x y) x)) y))
cost-diff	0	(/.f64 y x)
cost-diff	0	(-.f64 #s(literal 1 binary64) (/.f64 y x))
cost-diff	0	#s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))
cost-diff	0	(/.f64 x y)
cost-diff	0	#s(approx (/ x (+ y x)) (/.f64 x y))
cost-diff	0	#s(approx (/ x (+ y x)) #s(literal 1 binary64))
cost-diff	0	(+.f64 y x)
cost-diff	0	(/.f64 (+.f64 y x) x)
cost-diff	704	(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	103
0	27	103
1	44	103
2	78	101
3	126	101
4	278	101
5	607	101
6	902	101
7	1263	101
8	1773	101
9	2205	101
10	2238	101
11	2282	101
12	2341	101
13	2389	101
14	2525	101
15	2717	101
16	3111	101
17	3175	101
18	3185	101
19	3247	101
20	3259	101
21	3277	101
22	3351	101
23	3359	101
24	3359	101
25	3359	101
0	3359	101

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize48.0ms (1.8%)

Memory

6.0MiB live, 44.0MiB allocated

Localize:

Found 13 expressions of interest:

New	Metric	Score
accuracy	0.00390625	(-.f64 x (*.f64 (/.f64 x y) x))
accuracy	0.11328125	(*.f64 (/.f64 x y) x)
accuracy	1.9123152042601745	(/.f64 (-.f64 x (*.f64 (/.f64 x y) x)) y)
accuracy	33.42515373442581	#s(approx (/ x (+ y x)) (/.f64 (-.f64 x (*.f64 (/.f64 x y) x)) y))
accuracy	0	(/.f64 y x)
accuracy	0	(-.f64 #s(literal 1 binary64) (/.f64 y x))
accuracy	30.96303811538738	#s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))
accuracy	0	(/.f64 x y)
accuracy	32.786408390803196	#s(approx (/ x (+ y x)) (/.f64 x y))
accuracy	30.668469689327004	#s(approx (/ x (+ y x)) #s(literal 1 binary64))
accuracy	0	(+.f64 y x)
accuracy	0.01171875	(/.f64 (+.f64 y x) x)
accuracy	0.489589970815669	(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x))

Samples

38.0ms

256×

valid

Compiler

Compiled 166 to 31 computations (81.3% saved)

Precisions

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

ival-div: 10.0ms (49.3% of total)

ival-sub: 6.0ms (29.6% of total)

ival-add: 2.0ms (9.9% of total)

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

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

exact: 0.0ms (0% of total)

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

series29.0ms (1.1%)

Memory

-15.8MiB live, 21.9MiB allocated

Counts

13 → 312

Calls

Call 1

Inputs
#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())
#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())
#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())
#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())
#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())
#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())
#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())
#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())
#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())
#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())
#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())

Outputs
#s(alt 1 (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (/ y (pow x 2)) (/ 1 x)))) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x)))) (taylor 0 y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (/ y x)) (taylor 0 y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (/ y x)) (taylor 0 y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (/ y x)) (taylor 0 y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (/ y (pow x 2)) (/ 1 x)))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x)))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (/ y (pow x 2)) (/ 1 x)))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x)))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (/ y (pow x 2)) (/ 1 x)))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x)))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (/ y (pow x 2)) (/ 1 x)))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x)))) (taylor 0 y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (pow x 2) (pow y 2))) (taylor 0 y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (/ (+ (* -1 (pow x 2)) (* x y)) (pow y 2)) (taylor 0 y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (/ (+ (* -1 (pow x 2)) (* x y)) (pow y 2)) (taylor 0 y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (/ (+ (* -1 (pow x 2)) (* x y)) (pow y 2)) (taylor 0 y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (pow x 2) y)) (taylor 0 y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (* x y) (pow x 2)) y) (taylor 0 y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (* x y) (pow x 2)) y) (taylor 0 y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (* x y) (pow x 2)) y) (taylor 0 y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor 0 y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor 0 y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor 0 y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor 0 y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y) (taylor inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (* y (+ (/ 1 x) (/ 1 y))) (taylor inf y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (* y (+ (/ 1 x) (/ 1 y))) (taylor inf y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (* y (+ (/ 1 x) (/ 1 y))) (taylor inf y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ y x)) (taylor inf y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* y (- (/ 1 y) (/ 1 x))) (taylor inf y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* y (- (/ 1 y) (/ 1 x))) (taylor inf y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* y (- (/ 1 y) (/ 1 x))) (taylor inf y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y) (taylor inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt x (taylor inf y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (+ x (* -1 (/ (pow x 2) y))) (taylor inf y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (+ x (* -1 (/ (pow x 2) y))) (taylor inf y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (+ x (* -1 (/ (pow x 2) y))) (taylor inf y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor inf y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor inf y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor inf y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor inf y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (* y (+ (/ 1 x) (/ 1 y))) (taylor -inf y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (* y (+ (/ 1 x) (/ 1 y))) (taylor -inf y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (* y (+ (/ 1 x) (/ 1 y))) (taylor -inf y) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ y x)) (taylor -inf y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (/ 1 x) (/ 1 y)))) (taylor -inf y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (/ 1 x) (/ 1 y)))) (taylor -inf y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (/ 1 x) (/ 1 y)))) (taylor -inf y) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf y) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (+ x (* -1 (/ (pow x 2) y))) (taylor -inf y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (+ x (* -1 (/ (pow x 2) y))) (taylor -inf y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (+ x (* -1 (/ (pow x 2) y))) (taylor -inf y) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor -inf y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor -inf y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor -inf y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor -inf y) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (/ (+ x y) x) (taylor 0 x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (/ (+ x y) x) (taylor 0 x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (/ (+ x y) x) (taylor 0 x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt y (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (+ x y) (taylor 0 x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ y x)) (taylor 0 x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ (- x y) x) (taylor 0 x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ (- x y) x) (taylor 0 x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ (- x y) x) (taylor 0 x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor 0 x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (/ x y)))) (taylor 0 x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (/ x y)))) (taylor 0 x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (/ x y)))) (taylor 0 x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor 0 x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor 0 x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor 0 x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor 0 x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x)) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x))) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (/ y x)) (taylor inf x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (/ y x)) (taylor inf x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (/ y x)) (taylor inf x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x)) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x)) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x)) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x)) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (pow x 2) (pow y 2))) (taylor inf x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2)))) (taylor inf x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2)))) (taylor inf x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2)))) (taylor inf x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (pow x 2) y)) (taylor inf x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 x) (/ 1 y))) (taylor inf x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 x) (/ 1 y))) (taylor inf x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 x) (/ 1 y))) (taylor inf x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor inf x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor inf x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor inf x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor inf x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) (patch (/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (/ y x)) (taylor -inf x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (/ y x)) (taylor -inf x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (/ y x)) (taylor -inf x) (#s(alt (/.f64 (+.f64 y x) x) (patch (/.f64 (+.f64 y x) x) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 y x) (patch (+.f64 y x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ y x)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 x y)) (patch #s(approx (/ x (+ y x)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf x) (#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt (-.f64 #s(literal 1 binary64) (/.f64 y x)) (patch (-.f64 #s(literal 1 binary64) (/.f64 y x)) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt (/ y x) (taylor -inf x) (#s(alt (/.f64 y x) (patch (/.f64 y x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ y x)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (pow x 2) (pow y 2))) (taylor -inf x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2)))) (taylor -inf x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2)))) (taylor -inf x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2)))) (taylor -inf x) (#s(alt (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) (patch (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (pow x 2) y)) (taylor -inf x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 x) (/ 1 y))) (taylor -inf x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 x) (/ 1 y))) (taylor -inf x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (- (/ 1 x) (/ 1 y))) (taylor -inf x) (#s(alt (-.f64 x (.f64 (/.f64 x y) x)) (patch (-.f64 x (.f64 (/.f64 x y) x)) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor -inf x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor -inf x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor -inf x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())
#s(alt (/ (pow x 2) y) (taylor -inf x) (#s(alt (.f64 (/.f64 x y) x) (patch (.f64 (/.f64 x y) x) #<representation binary64>) () ())) ())

Calls

6 calls:

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

simplify179.0ms (6.9%)

Memory

34.3MiB live, 143.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	148	2478
1	432	2283
2	1093	2163
3	4974	2128
0	8412	2063

Stop Event

1×	iter limit
1×	node limit

Counts

312 → 303

Calls

Call 1

Inputs
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* y (- (/ y (pow x 2)) (/ 1 x))))
(+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x))))
1
(+ 1 (/ y x))
(+ 1 (/ y x))
(+ 1 (/ y x))
x
(+ x y)
(+ x y)
(+ x y)
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* y (- (/ y (pow x 2)) (/ 1 x))))
(+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x))))
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* y (- (/ y (pow x 2)) (/ 1 x))))
(+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x))))
(/ x y)
(/ x y)
(/ x y)
(/ x y)
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* y (- (/ y (pow x 2)) (/ 1 x))))
(+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x))))
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ y x)))
(/ y x)
(/ y x)
(/ y x)
(/ y x)
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* y (- (/ y (pow x 2)) (/ 1 x))))
(+ 1 (* y (- (* y (+ (* -1 (/ y (pow x 3))) (/ 1 (pow x 2)))) (/ 1 x))))
(* -1 (/ (pow x 2) (pow y 2)))
(/ (+ (* -1 (pow x 2)) (* x y)) (pow y 2))
(/ (+ (* -1 (pow x 2)) (* x y)) (pow y 2))
(/ (+ (* -1 (pow x 2)) (* x y)) (pow y 2))
(* -1 (/ (pow x 2) y))
(/ (- (* x y) (pow x 2)) y)
(/ (- (* x y) (pow x 2)) y)
(/ (- (* x y) (pow x 2)) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ x y)
(/ (+ x (* -1 (/ (pow x 2) y))) y)
(/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y)
(/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y)
(/ y x)
(* y (+ (/ 1 x) (/ 1 y)))
(* y (+ (/ 1 x) (/ 1 y)))
(* y (+ (/ 1 x) (/ 1 y)))
y
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ x y)))
(/ x y)
(/ (+ x (* -1 (/ (pow x 2) y))) y)
(/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y)
(/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y)
(/ x y)
(/ (+ x (* -1 (/ (pow x 2) y))) y)
(/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y)
(/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ (+ x (* -1 (/ (pow x 2) y))) y)
(/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y)
(/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y)
(* -1 (/ y x))
(* y (- (/ 1 y) (/ 1 x)))
(* y (- (/ 1 y) (/ 1 x)))
(* y (- (/ 1 y) (/ 1 x)))
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ x y)
(/ (+ x (* -1 (/ (pow x 2) y))) y)
(/ (- (+ x (/ (pow x 3) (pow y 2))) (/ (pow x 2) y)) y)
(/ (- (+ x (* -1 (/ (pow x 4) (pow y 3)))) (+ (* -1 (/ (pow x 3) (pow y 2))) (/ (pow x 2) y))) y)
(/ x y)
(/ (+ x (* -1 (/ (pow x 2) y))) y)
(/ (+ x (* -1 (/ (pow x 2) y))) y)
(/ (+ x (* -1 (/ (pow x 2) y))) y)
x
(+ x (* -1 (/ (pow x 2) y)))
(+ x (* -1 (/ (pow x 2) y)))
(+ x (* -1 (/ (pow x 2) y)))
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ x y)
(* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y))
(/ y x)
(* y (+ (/ 1 x) (/ 1 y)))
(* y (+ (/ 1 x) (/ 1 y)))
(* y (+ (/ 1 x) (/ 1 y)))
y
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(/ x y)
(* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y))
(/ x y)
(* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y))
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y))
(* -1 (/ y x))
(* -1 (* y (- (/ 1 x) (/ 1 y))))
(* -1 (* y (- (/ 1 x) (/ 1 y))))
(* -1 (* y (- (/ 1 x) (/ 1 y))))
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ x y)
(* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (/ (pow x 3) y) (pow x 2)) y))) y))
(* -1 (/ (+ (* -1 x) (* -1 (/ (- (* -1 (/ (- (/ (pow x 4) y) (pow x 3)) y)) (pow x 2)) y))) y))
(/ x y)
(* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y))
(* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y))
(* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y))
x
(+ x (* -1 (/ (pow x 2) y)))
(+ x (* -1 (/ (pow x 2) y)))
(+ x (* -1 (/ (pow x 2) y)))
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ x y)
(* x (+ (* -1 (/ x (pow y 2))) (/ 1 y)))
(* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y)))
(* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y)))
(/ y x)
(/ (+ x y) x)
(/ (+ x y) x)
(/ (+ x y) x)
y
(+ x y)
(+ x y)
(+ x y)
(/ x y)
(* x (+ (* -1 (/ x (pow y 2))) (/ 1 y)))
(* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y)))
(* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y)))
(/ x y)
(* x (+ (* -1 (/ x (pow y 2))) (/ 1 y)))
(* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y)))
(* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y)))
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(/ x y)
(* x (+ (* -1 (/ x (pow y 2))) (/ 1 y)))
(* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y)))
(* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y)))
(* -1 (/ y x))
(/ (- x y) x)
(/ (- x y) x)
(/ (- x y) x)
(/ y x)
(/ y x)
(/ y x)
(/ y x)
(/ x y)
(* x (+ (* -1 (/ x (pow y 2))) (/ 1 y)))
(* x (+ (* x (- (/ x (pow y 3)) (/ 1 (pow y 2)))) (/ 1 y)))
(* x (+ (* x (- (* x (+ (* -1 (/ x (pow y 4))) (/ 1 (pow y 3)))) (/ 1 (pow y 2)))) (/ 1 y)))
(/ x y)
(* x (+ (* -1 (/ x (pow y 2))) (/ 1 y)))
(* x (+ (* -1 (/ x (pow y 2))) (/ 1 y)))
(* x (+ (* -1 (/ x (pow y 2))) (/ 1 y)))
x
(* x (+ 1 (* -1 (/ x y))))
(* x (+ 1 (* -1 (/ x y))))
(* x (+ 1 (* -1 (/ x y))))
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
1
(+ 1 (* -1 (/ y x)))
(- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x))
(- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x)))
1
(+ 1 (/ y x))
(+ 1 (/ y x))
(+ 1 (/ y x))
x
(* x (+ 1 (/ y x)))
(* x (+ 1 (/ y x)))
(* x (+ 1 (/ y x)))
1
(+ 1 (* -1 (/ y x)))
(- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x))
(- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x)))
1
(+ 1 (* -1 (/ y x)))
(- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x))
(- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x)))
(/ x y)
(/ x y)
(/ x y)
(/ x y)
1
(+ 1 (* -1 (/ y x)))
(- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x))
(- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x)))
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ y x)))
(/ y x)
(/ y x)
(/ y x)
(/ y x)
1
(+ 1 (* -1 (/ y x)))
(- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x))
(- (+ 1 (* -1 (/ (pow y 3) (pow x 3)))) (+ (* -1 (/ (pow y 2) (pow x 2))) (/ y x)))
(* -1 (/ (pow x 2) (pow y 2)))
(* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2))))
(* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2))))
(* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2))))
(* -1 (/ (pow x 2) y))
(* (pow x 2) (- (/ 1 x) (/ 1 y)))
(* (pow x 2) (- (/ 1 x) (/ 1 y)))
(* (pow x 2) (- (/ 1 x) (/ 1 y)))
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x)))
(+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x)))
1
(+ 1 (/ y x))
(+ 1 (/ y x))
(+ 1 (/ y x))
x
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x)))
(+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x)))
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x)))
(+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x)))
(/ x y)
(/ x y)
(/ x y)
(/ x y)
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x)))
(+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x)))
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ y x)))
(/ y x)
(/ y x)
(/ y x)
(/ y x)
1
(+ 1 (* -1 (/ y x)))
(+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x)))
(+ 1 (* -1 (/ (- (* -1 (/ (- (* -1 (/ (pow y 3) x)) (* -1 (pow y 2))) x)) (* -1 y)) x)))
(* -1 (/ (pow x 2) (pow y 2)))
(* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2))))
(* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2))))
(* (pow x 2) (- (/ 1 (* x y)) (/ 1 (pow y 2))))
(* -1 (/ (pow x 2) y))
(* (pow x 2) (- (/ 1 x) (/ 1 y)))
(* (pow x 2) (- (/ 1 x) (/ 1 y)))
(* (pow x 2) (- (/ 1 x) (/ 1 y)))
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)
(/ (pow x 2) y)

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

rewrite247.0ms (9.4%)

Memory

2.9MiB live, 193.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	89
0	27	87
1	107	87
2	771	87
0	8769	87

Stop Event

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

Counts

13 → 846

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval230.0ms (8.8%)

Memory: -27.1MiB live, 315.4MiB allocated
Compiler: Compiled 19 789 to 2 819 computations (85.8% saved)

prune30.0ms (1.1%)

Memory

9.0MiB live, 91.3MiB allocated

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	1 204	0	1 204
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	1 204	6	1 210

Accuracy

100.0%

Counts

1 210 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 x (+.f64 y x))
✓	99.2%	(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 y x) x))
✓	47.8%	#s(approx (/ x (+ y x)) (/.f64 (-.f64 x (*.f64 (/.f64 x y) x)) y))
✓	48.8%	#s(approx (/ x (+ y x)) (/.f64 x y))
✓	51.6%	#s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))
✓	52.1%	#s(approx (/ x (+ y x)) #s(literal 1 binary64))

Compiler

Compiled 68 to 48 computations (29.4% saved)

regimes9.0ms (0.4%)

Memory

-13.6MiB live, 24.5MiB allocated

Counts

6 → 1

Calls

Call 1

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

Outputs
(/.f64 x (+.f64 y x))

Calls

3 calls:

4.0ms	y
3.0ms	x
2.0ms	(/.f64 x (+.f64 y x))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(/.f64 x (+.f64 y x))`

Compiler

Compiled 7 to 8 computations (-14.3% saved)

regimes6.0ms (0.2%)

Memory

15.5MiB live, 15.5MiB allocated

Counts

3 → 2

Calls

Call 1

Inputs
#s(approx (/ x (+ y x)) #s(literal 1 binary64))
#s(approx (/ x (+ y x)) (/.f64 x y))
#s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))

Outputs
#s(approx (/ x (+ y x)) (/.f64 x y))
#s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))

Calls

3 calls:

2.0ms	x
2.0ms	(/.f64 x (+.f64 y x))
2.0ms	y

Results

Accuracy	Segments	Branch
77.8%	3	`x`
75.3%	3	`y`
97.9%	2	`(/.f64 x (+.f64 y x))`

Compiler

Compiled 7 to 8 computations (-14.3% saved)

regimes2.0ms (0.1%)

Memory

4.4MiB live, 4.4MiB allocated

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (/ x (+ y x)) #s(literal 1 binary64))
#s(approx (/ x (+ y x)) (/.f64 x y))

Outputs
#s(approx (/ x (+ y x)) (/.f64 x y))
#s(approx (/ x (+ y x)) #s(literal 1 binary64))

Calls

1 calls:

1.0ms

(/.f64 x (+.f64 y x))

Results

Accuracy	Segments	Branch
97.3%	2	`(/.f64 x (+.f64 y x))`

Compiler

Compiled 5 to 4 computations (20% saved)

regimes6.0ms (0.2%)

Memory

-26.5MiB live, 12.3MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (/ x (+ y x)) #s(literal 1 binary64))

Outputs
#s(approx (/ x (+ y x)) #s(literal 1 binary64))

Calls

3 calls:

3.0ms	y
1.0ms	x
1.0ms	(/.f64 x (+.f64 y x))

Results

Accuracy	Segments	Branch
52.1%	1	`y`
52.1%	1	`x`
52.1%	1	`(/.f64 x (+.f64 y x))`

Compiler

Compiled 7 to 8 computations (-14.3% saved)

bsearch0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	6.157142751565058e-5	0.6925920894222786

Compiler

Compiled 8 to 9 computations (-12.5% saved)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	6.157142751565058e-5	0.6925920894222786

Compiler

Compiled 8 to 9 computations (-12.5% saved)

simplify39.0ms (1.5%)

Memory

8.4MiB live, 50.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	64
1	23	64
2	31	64
3	37	64
4	42	64
5	44	64

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 x (+.f64 y x))
(if (<=.f64 (/.f64 x (+.f64 y x)) #s(literal 7378697629483821/73786976294838206464 binary64)) #s(approx (/ x (+ y x)) (/.f64 x y)) #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))))
(if (<=.f64 (/.f64 x (+.f64 y x)) #s(literal 7378697629483821/73786976294838206464 binary64)) #s(approx (/ x (+ y x)) (/.f64 x y)) #s(approx (/ x (+ y x)) #s(literal 1 binary64)))
#s(approx (/ x (+ y x)) #s(literal 1 binary64))

Outputs
(/.f64 x (+.f64 y x))
(if (<=.f64 (/.f64 x (+.f64 y x)) #s(literal 7378697629483821/73786976294838206464 binary64)) #s(approx (/ x (+ y x)) (/.f64 x y)) #s(approx (/ x (+ y x)) (-.f64 #s(literal 1 binary64) (/.f64 y x))))
(if (<=.f64 (/.f64 x (+.f64 y x)) #s(literal 7378697629483821/73786976294838206464 binary64)) #s(approx (/ x (+ y x)) (/.f64 x y)) #s(approx (/ x (+ y x)) #s(literal 1 binary64)))
#s(approx (/ x (+ y x)) #s(literal 1 binary64))

soundness284.0ms (10.8%)

Memory

-15.4MiB live, 192.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	124	360
1	369	342
2	945	318
3	3728	316
0	8239	303

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 52 to 32 computations (38.5% saved)

preprocess88.0ms (3.4%)

Memory: -0.0MiB live, 77.0MiB allocated
Compiler: Compiled 88 to 38 computations (56.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	12	31
1	35	25
2	72	25
3	145	25
4	324	25
5	504	25
6	628	25
7	648	25
8	675	25
9	687	25
0	4	5
0	6	5
1	7	5
0	7	5

Iter	Nodes	Cost
0	12	31
1	35	25
2	72	25
3	145	25
4	324	25
5	504	25
6	628	25
7	648	25
8	675	25
9	687	25
0	4	5
0	6	5
1	7	5
0	7	5

start0.0ms (0%)

analyze18.0ms (0.7%)

sample524.0ms (20%)

explain73.0ms (2.8%)

preprocess68.0ms (2.6%)

eval0.0ms (0%)

prune2.0ms (0.1%)

simplify3.0ms (0.1%)

localize13.0ms (0.5%)

series4.0ms (0.1%)

simplify229.0ms (8.7%)

rewrite219.0ms (8.4%)

eval62.0ms (2.4%)

prune28.0ms (1.1%)

simplify177.0ms (6.8%)

localize48.0ms (1.8%)

series29.0ms (1.1%)

simplify179.0ms (6.9%)

rewrite247.0ms (9.4%)

eval230.0ms (8.8%)

prune30.0ms (1.1%)

regimes9.0ms (0.4%)

regimes6.0ms (0.2%)

regimes2.0ms (0.1%)

regimes6.0ms (0.2%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify39.0ms (1.5%)

soundness284.0ms (10.8%)

preprocess88.0ms (3.4%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	12	31
1	35	25
2	72	25
3	145	25
4	324	25
5	504	25
6	628	25
7	648	25
8	675	25
9	687	25
0	4	5
0	6	5
1	7	5
0	7	5