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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze20.0ms (0.8%)

Memory

-30.5MiB live, 56.2MiB 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)

sample605.0ms (23.7%)

Memory

-16.2MiB live, 829.3MiB allocated

Samples

368.0ms

8 256×

valid

Precisions

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

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

ival-add: 49.0ms (35.5% of total)

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

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

Bogosity

explain41.0ms (1.6%)

Memory

9.7MiB live, 48.5MiB allocated

FPErrors

Click to see full error table

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

20.0ms

512×

valid

Compiler

Compiled 39 to 20 computations (48.7% saved)

Precisions

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

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

ival-add: 4.0ms (45.3% of total)

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

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

preprocess23.0ms (0.9%)

Memory

27.3MiB live, 27.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	35
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 x y))

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

Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 5 to 4 computations (20% saved)

simplify6.0ms (0.2%)

Memory

-39.5MiB live, 2.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

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

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 x y))
x
(+.f64 x y)
y

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

localize14.0ms (0.6%)

Memory

20.1MiB live, 20.1MiB allocated

Localize:

Found 2 expressions of interest:

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

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

5.6MiB live, 5.6MiB allocated

Counts

2 → 48

Calls

Call 1

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

Outputs
#s(alt 1 (taylor 0 y) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (/ y (pow x 2)) (/ 1 x)))) (taylor 0 y) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 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 (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt x (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 (/ x y) (taylor inf y) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 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 (/.f64 x (+.f64 x y)) (patch (/.f64 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 (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt y (taylor inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* y (+ 1 (/ 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 (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 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 (/.f64 x (+.f64 x y)) (patch (/.f64 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 (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt y (taylor -inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (- (* -1 (/ x y)) 1))) (taylor -inf y) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 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 (/.f64 x (+.f64 x y)) (patch (/.f64 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 (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt 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 1 (taylor inf x) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x)) (taylor inf x) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 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 (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ y x))) (taylor inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf x) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ (- (* -1 (/ (pow y 2) x)) (* -1 y)) x))) (taylor -inf x) (#s(alt (/.f64 x (+.f64 x y)) (patch (/.f64 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 (/.f64 x (+.f64 x y)) (patch (/.f64 x (+.f64 x y)) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (- (* -1 (/ y x)) 1))) (taylor -inf x) (#s(alt (+.f64 x y) (patch (+.f64 x y) #<representation binary64>) () ())) ())

Calls

6 calls:

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

simplify156.0ms (6.1%)

Memory

7.9MiB live, 117.4MiB 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)

rewrite199.0ms (7.8%)

Memory

1.9MiB live, 199.4MiB 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	8647	8

Stop Event

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

Counts

2 → 316

Calls

Call 1

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

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>

eval46.0ms (1.8%)

Memory: 7.8MiB live, 44.4MiB allocated
Compiler: Compiled 8 228 to 1 058 computations (87.1% saved)

prune40.0ms (1.6%)

Memory

-14.4MiB live, 23.5MiB allocated

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	353	5	358
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	353	6	359

Accuracy

100.0%

Counts

359 → 6

Alt Table

Click to see full alt table

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

Compiler

Compiled 63 to 58 computations (7.9% saved)

simplify178.0ms (7%)

Memory

28.6MiB live, 62.5MiB 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 (+ x y)) (/.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))
cost-diff	0	(/.f64 x y)
cost-diff	0	#s(approx (/ x (+ x y)) (/.f64 x y))
cost-diff	0	#s(approx (/ x (+ x y)) #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	1265	101
8	1770	101
9	2185	101
10	2218	101
11	2262	101
12	2325	101
13	2373	101
14	2509	101
15	2700	101
16	3094	101
17	3158	101
18	3168	101
19	3230	101
20	3242	101
21	3260	101
22	3334	101
23	3342	101
24	3342	101
25	3342	101
0	3342	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 (+ x y)) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (/ x (+ x y)) (/.f64 x y))
(/.f64 x y)
x
y
#s(approx (/ x (+ x y)) (-.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 (+ x y)) (/.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 (+ x y)) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (/ x (+ x y)) (/.f64 x y))
(/.f64 x y)
x
y
#s(approx (/ x (+ x y)) (-.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 (+ x y)) (/.f64 (-.f64 x (*.f64 (/.f64 x y) x)) y))
#s(approx (/ x (+ x y)) (*.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

localize65.0ms (2.5%)

Memory

-16.4MiB live, 75.6MiB 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 (+ x y)) (/.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))
accuracy	0	(/.f64 x y)
accuracy	32.786408390803196	#s(approx (/ x (+ x y)) (/.f64 x y))
accuracy	30.668469689327004	#s(approx (/ x (+ x y)) #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

54.0ms

256×

valid

Compiler

Compiled 166 to 32 computations (80.7% saved)

Precisions

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

ival-div: 24.0ms (56.9% of total)

ival-add: 13.0ms (30.8% of total)

ival-sub: 3.0ms (7.1% of total)

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

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

exact: 0.0ms (0% of total)

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

series21.0ms (0.8%)

Memory

-0.1MiB live, 37.1MiB 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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.f64 x y)) #<representation binary64>) () ())
#s(alt (/.f64 x y) (patch (/.f64 x y) #<representation binary64>) () ())
#s(alt #s(approx (/ x (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt #s(approx (/ x (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (/ y (pow x 2)) (/ 1 x)))) (taylor 0 y) (#s(alt #s(approx (/ x (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 y) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* y (- (/ y (pow x 2)) (/ 1 x)))) (taylor 0 y) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor 0 y) (#s(alt #s(approx (/ x (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt #s(approx (/ x (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor inf y) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (/ (+ x (* -1 (/ (pow x 2) y))) y) (taylor inf y) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor -inf y) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (+ (* -1 x) (/ (pow x 2) y)) y)) (taylor -inf y) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ x y) (taylor 0 x) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (* -1 (/ x (pow y 2))) (/ 1 y))) (taylor 0 x) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor inf x) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (- (+ 1 (/ (pow y 2) (pow x 2))) (/ y x)) (taylor inf x) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor inf x) (#s(alt #s(approx (/ x (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #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 (+ x y)) #s(literal 1 binary64)) (patch #s(approx (/ x (+ x y)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor -inf x) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.f64 x y)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 x y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 (/ y x))) (taylor -inf x) (#s(alt #s(approx (/ x (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))) (patch #s(approx (/ x (+ x y)) (-.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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 (+ x y)) (/.f64 (-.f64 x (.f64 (/.f64 x y) x)) y)) (patch #s(approx (/ x (+ x y)) (/.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
4.0ms	x	@	0	((/ 1 (/ (+ y x) x)) (/ (+ y x) x) (+ y x) (/ x (+ x y)) (/ x (+ x y)) (/ x y) (/ x (+ x y)) (- 1 (/ y x)) (/ y x) (/ x (+ x y)) (/ (- 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 (+ x y)) (/ x (+ x y)) (/ x y) (/ x (+ x y)) (- 1 (/ y x)) (/ y x) (/ x (+ x y)) (/ (- 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 (+ x y)) (/ x (+ x y)) (/ x y) (/ x (+ x y)) (- 1 (/ y x)) (/ y x) (/ x (+ x y)) (/ (- 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 (+ x y)) (/ x (+ x y)) (/ x y) (/ x (+ x y)) (- 1 (/ y x)) (/ y x) (/ x (+ x y)) (/ (- 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 (+ x y)) (/ x (+ x y)) (/ x y) (/ x (+ x y)) (- 1 (/ y x)) (/ y x) (/ x (+ x y)) (/ (- x (* (/ x y) x)) y) (- x (* (/ x y) x)) (* (/ x y) x))

simplify166.0ms (6.5%)

Memory

13.6MiB live, 161.3MiB 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)

rewrite184.0ms (7.2%)

Memory

3.0MiB live, 269.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	89
0	27	87
1	123	87
2	887	87
0	8755	87

Stop Event

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

Counts

13 → 777

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 (+ x y)) #s(literal 1 binary64))
#s(approx (/ x (+ x y)) (/.f64 x y))
(/.f64 x y)
#s(approx (/ x (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x)))
(-.f64 #s(literal 1 binary64) (/.f64 y x))
(/.f64 y x)
#s(approx (/ x (+ x y)) (/.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>

eval311.0ms (12.2%)

Memory: -123.8MiB live, 327.1MiB allocated
Compiler: Compiled 17 669 to 2 531 computations (85.7% saved)

prune97.0ms (3.8%)

Memory

-6.3MiB live, 67.3MiB allocated

Pruning

6 alts after pruning (0 fresh and 6 done)

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

Accuracy

100.0%

Counts

1 138 → 6

Alt Table

Click to see full alt table

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

Compiler

Compiled 68 to 49 computations (27.9% saved)

regimes8.0ms (0.3%)

Memory

17.1MiB live, 17.1MiB allocated

Counts

6 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 7 to 8 computations (-14.3% saved)

regimes6.0ms (0.2%)

Memory

13.1MiB live, 13.1MiB allocated

Counts

3 → 2

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 7 to 8 computations (-14.3% saved)

regimes10.0ms (0.4%)

Memory

-38.9MiB live, 3.5MiB allocated

Counts

2 → 2

Calls

Call 1

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

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

Calls

1 calls:

10.0ms

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

Results

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

Compiler

Compiled 5 to 4 computations (20% saved)

regimes4.0ms (0.2%)

Memory

7.8MiB live, 7.8MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 7 to 8 computations (-14.3% 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)

bsearch0.0ms (0%)

Memory

0.6MiB live, 0.6MiB 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)

simplify26.0ms (1%)

Memory

11.9MiB live, 47.9MiB 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 x y))
(if (<=.f64 (/.f64 x (+.f64 x y)) #s(literal 7378697629483821/73786976294838206464 binary64)) #s(approx (/ x (+ x y)) (/.f64 x y)) #s(approx (/ x (+ x y)) (-.f64 #s(literal 1 binary64) (/.f64 y x))))
(if (<=.f64 (/.f64 x (+.f64 x y)) #s(literal 7378697629483821/73786976294838206464 binary64)) #s(approx (/ x (+ x y)) (/.f64 x y)) #s(approx (/ x (+ x y)) #s(literal 1 binary64)))
#s(approx (/ x (+ x y)) #s(literal 1 binary64))

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

soundness272.0ms (10.7%)

Memory

4.8MiB live, 195.6MiB 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)

preprocess46.0ms (1.8%)

Memory: -24.9MiB live, 91.2MiB 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	35
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	35
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%)

analyze20.0ms (0.8%)

sample605.0ms (23.7%)

explain41.0ms (1.6%)

preprocess23.0ms (0.9%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify6.0ms (0.2%)

localize14.0ms (0.6%)

series4.0ms (0.1%)

simplify156.0ms (6.1%)

rewrite199.0ms (7.8%)

eval46.0ms (1.8%)

prune40.0ms (1.6%)

simplify178.0ms (7%)

localize65.0ms (2.5%)

series21.0ms (0.8%)

simplify166.0ms (6.5%)

rewrite184.0ms (7.2%)

eval311.0ms (12.2%)

prune97.0ms (3.8%)

regimes8.0ms (0.3%)

regimes6.0ms (0.2%)

regimes10.0ms (0.4%)

regimes4.0ms (0.2%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify26.0ms (1%)

soundness272.0ms (10.7%)

preprocess46.0ms (1.8%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	12	35
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