Metrics for Graphics.Rendering.Chart.Plot.Vectors:renderPlotVectors from Chart-1.5.3

start0.0ms (0.0%)

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

analyze0.0ms (0.0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0.0%	0.0%	99.9%	0.1%	0.0%	0.0%	0.0%	0
100.0%	99.9%	0.0%	0.1%	0.0%	0.0%	0.0%	1

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample830.0ms (39.2%)

Memory

24.5MiB live, 2 134.5MiB allocated; 330ms collecting garbage

Samples

287.0ms	6 217×	0	valid
203.0ms	2 035×	1	valid
0.0ms	4×	2	valid

Precisions

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

ival-sub!: 71.0ms (30.6% of total)

ival-mult!: 70.0ms (30.2% of total)

adjust: 57.0ms (24.6% of total)

ival-add!: 34.0ms (14.6% of total)

Bogosity

preprocess39.0ms (1.8%)

Memory

-26.5MiB live, 69.6MiB allocated; 28ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	58
1	67	54
2	244	54
3	1028	54

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	81.7%	(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1

Outputs
#s(literal 1 binary64)

Samples

0.0ms

1×

valid

Compiler

Compiled 3 to 3 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total)

series35.0ms (1.7%)

Memory

6.3MiB live, 51.4MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	99	439

Stop Event

1×	iter-limit

Counts

7 → 29

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
1.0ms	x	-inf
1.0ms	x	inf
1.0ms	y	-inf
1.0ms	y	0
1.0ms	y	inf

rewrite109.0ms (5.2%)

Memory

13.6MiB live, 245.7MiB allocated; 45ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	25
0	11	25
1	71	25
2	217	25
3	792	25
0	4360	25

Stop Event

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

Counts

7 → 201

Calls

Call 1

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

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

eval25.0ms (1.2%)

Memory: 14.2MiB live, 101.7MiB allocated; 13ms collecting garbage
Compiler: Compiled 4 125 to 918 computations (77.7% saved)

prune6.0ms (0.3%)

Memory

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

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	219	5	224
Fresh	0	0	0
Picked	1	0	1
Done	-1	1	0
Total	219	6	225

Accuracy

100.0%

Counts

225 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	81.7%	(-.f64 (-.f64 x (-.f64 y #s(literal 1 binary64))) (*.f64 (-.f64 #s(literal 1 binary64) y) x))
✓	81.7%	(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))
▶	54.9%	(+.f64 x #s(approx (* (- 1 x) (- 1 y)) (-.f64 #s(literal 1 binary64) y)))
▶	29.0%	(+.f64 x #s(approx (* (- 1 x) (- 1 y)) (-.f64 #s(literal 1 binary64) x)))
▶	100.0%	#s(approx (+ x (* (- 1 x) (- 1 y))) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 #s(literal 1 binary64) x)))))
▶	35.8%	#s(approx (+ x (* (- 1 x) (- 1 y))) (*.f64 x y))

Compiler

Compiled 147 to 109 computations (25.9% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1
-1

Outputs
#s(literal 1 binary64)
#s(literal -1 binary64)

Samples

0.0ms

1×

valid

Compiler

Compiled 4 to 4 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total)

series32.0ms (1.5%)

Memory

-26.5MiB live, 72.3MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	193	973

Stop Event

1×	iter-limit

Counts

20 → 61

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
4.0ms	x	inf
3.0ms	y	inf
2.0ms	x	0
2.0ms	x	-inf
1.0ms	y	-inf

rewrite181.0ms (8.6%)

Memory

40.6MiB live, 357.7MiB allocated; 83ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	138
0	35	135
1	207	132
2	685	130
3	2384	130
0	4068	130

Stop Event

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

Counts

20 → 570

Calls

Call 1

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

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

eval106.0ms (5.0%)

Memory: -9.8MiB live, 222.1MiB allocated; 59ms collecting garbage
Compiler: Compiled 16 257 to 2 856 computations (82.4% saved)

prune15.0ms (0.7%)

Memory

-3.1MiB live, 42.0MiB allocated; 6ms collecting garbage

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	768	3	771
Fresh	0	0	0
Picked	5	0	5
Done	0	1	1
Total	773	4	777

Accuracy

100.0%

Counts

777 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	28.5%	(+.f64 x #s(approx (* (- 1 x) (- 1 y)) #s(approx (- 1 x) #s(literal 1 binary64))))
▶	100.0%	#s(approx (- (- x (- y 1)) (* (- 1 y) x)) (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 x y)) y))
▶	66.2%	#s(approx (+ x (* (- 1 x) (- 1 y))) (-.f64 #s(literal 1 binary64) y))
✓	35.8%	#s(approx (+ x (* (- 1 x) (- 1 y))) (*.f64 x y))

Compiler

Compiled 60 to 42 computations (30.0% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1

Outputs
#s(literal 1 binary64)

Samples

0.0ms

1×

valid

Compiler

Compiled 3 to 3 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total)

series17.0ms (0.8%)

Memory

-9.1MiB live, 36.4MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	151	731

Stop Event

1×	iter-limit

Counts

12 → 45

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
1.0ms	x	-inf
1.0ms	y	-inf
1.0ms	x	inf
1.0ms	y	inf
1.0ms	x	0

rewrite216.0ms (10.2%)

Memory

18.2MiB live, 365.6MiB allocated; 73ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	86
0	25	86
1	194	86
2	657	84
3	2358	84
0	4902	84

Stop Event

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

Counts

12 → 183

Calls

Call 1

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

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

eval43.0ms (2.0%)

Memory: 12.2MiB live, 104.0MiB allocated; 8ms collecting garbage
Compiler: Compiled 5 880 to 934 computations (84.1% saved)

prune9.0ms (0.4%)

Memory

-29.0MiB live, 24.4MiB allocated; 5ms collecting garbage

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Accuracy

100.0%

Counts

225 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	28.5%	(+.f64 x #s(approx (* (- 1 x) (- 1 y)) #s(approx (- 1 x) #s(literal 1 binary64))))
✓	100.0%	#s(approx (- (- x (- y 1)) (* (- 1 y) x)) (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 x y)) y))
▶	61.5%	#s(approx (- (- x (- y 1)) (* (- 1 y) x)) #s(approx (- (+ 1 (* x y)) y) (*.f64 y (-.f64 x #s(literal 1 binary64)))))
✓	66.2%	#s(approx (+ x (* (- 1 x) (- 1 y))) (-.f64 #s(literal 1 binary64) y))
✓	35.8%	#s(approx (+ x (* (- 1 x) (- 1 y))) (*.f64 x y))

Compiler

Compiled 85 to 58 computations (31.8% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
1

Outputs
#s(literal 1 binary64)

Samples

0.0ms

1×

valid

Compiler

Compiled 3 to 3 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total)

series13.0ms (0.6%)

Memory

10.1MiB live, 56.8MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	91	407

Stop Event

1×	iter-limit

Counts

7 → 27

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
3.0ms	y	-inf
1.0ms	x	-inf
1.0ms	y	inf
1.0ms	y	0
0.0ms	x	inf

rewrite176.0ms (8.3%)

Memory

16.0MiB live, 292.5MiB allocated; 30ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	49
0	17	49
1	151	49
2	513	47
3	1790	47
0	4093	47

Stop Event

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

Counts

7 → 69

Calls

Call 1

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

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

eval10.0ms (0.5%)

Memory: -16.5MiB live, 38.4MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 859 to 501 computations (82.5% saved)

prune4.0ms (0.2%)

Memory

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

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	0	0	0
Picked	1	0	1
Done	0	4	4
Total	89	6	95

Accuracy

100.0%

Counts

95 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	28.5%	(+.f64 x #s(approx (* (- 1 x) (- 1 y)) #s(approx (- 1 x) #s(literal 1 binary64))))
✓	100.0%	#s(approx (- (- x (- y 1)) (* (- 1 y) x)) (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 x y)) y))
	61.6%	#s(approx (- (- x (- y 1)) (* (- 1 y) x)) #s(approx (- (+ 1 (* x y)) y) (-.f64 (*.f64 y x) y)))
	39.7%	#s(approx (- (- x (- y 1)) (* (- 1 y) x)) #s(approx (- (+ 1 (* x y)) y) #s(literal 1 binary64)))
✓	66.2%	#s(approx (+ x (* (- 1 x) (- 1 y))) (-.f64 #s(literal 1 binary64) y))
✓	35.8%	#s(approx (+ x (* (- 1 x) (- 1 y))) (*.f64 x y))

Compiler

Compiled 106 to 71 computations (33.0% saved)

regimes85.0ms (4.0%)

Memory

-35.1MiB live, 296.0MiB allocated; 43ms collecting garbage

Counts

1 → 1

3 → 1

6 → 3

7 → 3

8 → 3

12 → 1

Calls

Call 1

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

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

Call 2

Inputs

#s(approx (- (- x (- y 1)) (* (- 1 y) x)) #s(approx (- (+ 1 (* x y)) y) #s(literal 1 binary64)))

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

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

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

Call 3

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

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

Call 4

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

Outputs

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

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

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

Call 5

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

Outputs

#s(approx (- (- x (- y 1)) (* (- 1 y) x)) #s(approx (- (+ 1 (* x y)) y) (-.f64 (*.f64 y x) y)))

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

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

Call 6

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

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

Calls

21 calls:

14.0ms	(-.f64 #s(literal 1 binary64) y)
7.0ms	y
7.0ms	x
5.0ms	x
4.0ms	y

Results

Accuracy	Segments	Branch
39.7%	1	`x`
39.7%	1	`y`
39.7%	1	`(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))`
39.7%	1	`(-.f64 #s(literal 1 binary64) y)`
66.2%	1	`(-.f64 #s(literal 1 binary64) y)`
66.2%	1	`y`
66.2%	1	`(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))`
66.2%	1	`x`
89.0%	3	`x`
73.0%	3	`(-.f64 #s(literal 1 binary64) y)`
73.0%	3	`y`
80.7%	3	`(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))`
93.2%	3	`(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))`
92.4%	3	`(-.f64 #s(literal 1 binary64) y)`
93.2%	3	`(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))`
89.0%	3	`x`
92.4%	3	`y`
100.0%	1	`(-.f64 #s(literal 1 binary64) y)`
100.0%	1	`(+.f64 x (*.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal 1 binary64) y)))`
100.0%	1	`x`
100.0%	1	`y`

Compiler

Compiled 275 to 133 computations (51.6% saved)

bsearch1.0ms (0.0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0079760241328737	71002959002261780.0
0.0ms	-9.060669971001509e+27	-8.790871365858929e+25

Compiler

Compiled 20 to 17 computations (15.0% saved)

bsearch0.0ms (0.0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0079760241328737	71002959002261780.0
0.0ms	-9.060669971001509e+27	-8.790871365858929e+25

Compiler

Compiled 20 to 17 computations (15.0% saved)

bsearch43.0ms (2.0%)

Memory

1.7MiB live, 146.6MiB allocated; 14ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
18.0ms	255063175183515360.0	1.813408642945752e+27
20.0ms	-6.446096743534063e+29	-4.084997674523942e+24

Samples

17.0ms	237×	0	valid
6.0ms	67×	1	valid

Compiler

Compiled 506 to 411 computations (18.8% saved)

Precisions

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

ival-sub!: 10.0ms (66.6% of total)

adjust: 2.0ms (13.3% of total)

ival-mult!: 2.0ms (13.3% of total)

ival-add!: 1.0ms (6.7% of total)

derivations56.0ms (2.7%)

Memory

-9.0MiB live, 91.4MiB allocated; 10ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 274 to 48 computations (82.5% saved)

preprocess65.0ms (3.1%)

Memory: 38.2MiB live, 178.3MiB allocated; 10ms collecting garbage
Compiler: Compiled 283 to 55 computations (80.6% saved)

end0.0ms (0.0%)

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

start0.0ms (0.0%)

analyze0.0ms (0.0%)

sample830.0ms (39.2%)

preprocess39.0ms (1.8%)

sample0.0ms (0.0%)

series35.0ms (1.7%)

rewrite109.0ms (5.2%)

eval25.0ms (1.2%)

prune6.0ms (0.3%)

sample0.0ms (0.0%)

series32.0ms (1.5%)

rewrite181.0ms (8.6%)

eval106.0ms (5.0%)

prune15.0ms (0.7%)

sample0.0ms (0.0%)

series17.0ms (0.8%)

rewrite216.0ms (10.2%)

eval43.0ms (2.0%)

prune9.0ms (0.4%)

sample0.0ms (0.0%)

series13.0ms (0.6%)

rewrite176.0ms (8.3%)

eval10.0ms (0.5%)

prune4.0ms (0.2%)

regimes85.0ms (4.0%)

bsearch1.0ms (0.0%)

bsearch0.0ms (0.0%)

bsearch43.0ms (2.0%)

derivations56.0ms (2.7%)

preprocess65.0ms (3.1%)

end0.0ms (0.0%)

Profiling