Metrics for Graphics.Rendering.Plot.Render.Plot.Axis:tickPosition from plot-0.2.3.4

start0.0ms (0%)

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

analyze77.0ms (2.3%)

Memory

-3.7MiB live, 91.1MiB allocated; 17ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
50%	49.9%	49.9%	0.2%	0%	0%	0%	5
50%	49.9%	49.9%	0.2%	0%	0%	0%	6
50%	49.9%	49.9%	0.2%	0%	0%	0%	7
50%	49.9%	49.9%	0.2%	0%	0%	0%	8
75%	74.9%	25%	0.2%	0%	0%	0%	9
75%	74.9%	25%	0.2%	0%	0%	0%	10
75%	74.9%	25%	0.2%	0%	0%	0%	11
75%	74.9%	25%	0.2%	0%	0%	0%	12

Compiler

Compiled 11 to 10 computations (9.1% saved)

sample923.0ms (28.1%)

Memory

-1.5MiB live, 849.1MiB allocated; 289ms collecting garbage

Samples

411.0ms

8 256×

valid

Precisions

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

ival-div!: 51.0ms (29.4% of total)

ival-sub!: 43.0ms (24.8% of total)

ival-add!: 39.0ms (22.5% of total)

ival-mult!: 39.0ms (22.5% of total)

adjust: 1.0ms (0.6% of total)

Bogosity

preprocess52.0ms (1.6%)

Memory

2.5MiB live, 47.4MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	50	147
1	142	143
2	382	143
3	804	143
4	968	143
5	1185	143
6	2534	143
7	5431	143

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.9%	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))

Compiler

Compiled 16 to 16 computations (0% saved)

series14.0ms (0.4%)

Memory

36.1MiB live, 36.0MiB allocated; 0ms collecting garbage

Counts

8 → 35

Calls

Call 1

Inputs
(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
x
(*.f64 (-.f64 y x) (/.f64 z t))
(-.f64 y x)
y
(/.f64 z t)
z
t

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

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	t	@	inf	((+ x (* (- y x) (/ z t))) x (* (- y x) (/ z t)) (- y x) y (/ z t) z t)
1.0ms	y	@	-inf	((+ x (* (- y x) (/ z t))) x (* (- y x) (/ z t)) (- y x) y (/ z t) z t)
1.0ms	z	@	-inf	((+ x (* (- y x) (/ z t))) x (* (- y x) (/ z t)) (- y x) y (/ z t) z t)
1.0ms	z	@	inf	((+ x (* (- y x) (/ z t))) x (* (- y x) (/ z t)) (- y x) y (/ z t) z t)
1.0ms	x	@	-inf	((+ x (* (- y x) (/ z t))) x (* (- y x) (/ z t)) (- y x) y (/ z t) z t)

rewrite223.0ms (6.8%)

Memory

-30.9MiB live, 211.1MiB allocated; 44ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	129	639
0	133	603
1	699	581
2	6611	581
0	8443	552

Stop Event

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

Counts

43 → 110

Calls

Call 1

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

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

eval9.0ms (0.3%)

Memory: 19.3MiB live, 19.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 856 to 363 computations (57.6% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	85	11	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	11	97

Accuracy

100.0%

Counts

97 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
	91.3%	(fma.f64 (/.f64 (-.f64 y x) t) z x)
▶	98.9%	(fma.f64 (/.f64 z t) (-.f64 y x) x)
	31.5%	(+.f64 x (/.f64 (.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) z) (.f64 (fma.f64 y y (*.f64 x (+.f64 y x))) t)))
▶	93.0%	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
	63.2%	(+.f64 x (/.f64 (.f64 (.f64 t (-.f64 y x)) z) (*.f64 t t)))
▶	66.6%	(+.f64 x (*.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)))
	75.8%	(+.f64 x (*.f64 #s(approx (- y x) y) (/.f64 z t)))
	80.9%	#s(approx (+ x (* (- y x) (/ z t))) (fma.f64 (-.f64 (.f64 (/.f64 z (.f64 t x)) y) (/.f64 z t)) x x))
▶	56.2%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 (-.f64 y x) t) z))
▶	39.5%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
	66.6%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))

Compiler

Compiled 236 to 236 computations (0% saved)

series50.0ms (1.5%)

Memory

8.1MiB live, 50.7MiB allocated; 8ms collecting garbage

Counts

19 → 51

Calls

Call 1

Inputs
(fma.f64 (/.f64 z t) (-.f64 y x) x)
(/.f64 z t)
z
t
(-.f64 y x)
y
x
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
(*.f64 (/.f64 z t) y)
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 (-.f64 y x) t) z))
(*.f64 (/.f64 (-.f64 y x) t) z)
(/.f64 (-.f64 y x) t)
(+.f64 x (*.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)))
(*.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t))
#s(approx (- y x) (neg.f64 x))
(neg.f64 x)
(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
(/.f64 (*.f64 (-.f64 y x) z) t)
(*.f64 (-.f64 y x) z)

Outputs
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (/ (* y z) t)))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ (* x (+ 1 (* -1 (/ z t)))) (/ (* y z) t))))
#s(approx (- y x) #s(hole binary64 y))
#s(approx (- y x) #s(hole binary64 (+ y (* -1 x))))
#s(approx x #s(hole binary64 x))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (+ (* -1 (/ (* x z) t)) (/ (* y z) t))))
#s(approx (/ (- y x) t) #s(hole binary64 (/ y t)))
#s(approx (/ (- y x) t) #s(hole binary64 (+ (* -1 (/ x t)) (/ y t))))
#s(approx (neg x) #s(hole binary64 (* -1 x)))
#s(approx (* (- y x) z) #s(hole binary64 (* y z)))
#s(approx (* (- y x) z) #s(hole binary64 (+ (* -1 (* x z)) (* y z))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* x (+ 1 (* -1 (/ z t))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* x (+ 1 (+ (* -1 (/ z t)) (/ (* y z) (* t x)))))))
#s(approx (- y x) #s(hole binary64 (* x (- (/ y x) 1))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* -1 (/ (* x z) t))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* x (+ (* -1 (/ z t)) (/ (* y z) (* t x))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (/ x t))))
#s(approx (/ (- y x) t) #s(hole binary64 (* x (- (/ y (* t x)) (/ 1 t)))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* x z))))
#s(approx (* (- y x) z) #s(hole binary64 (* x (+ (* -1 z) (/ (* y z) x)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* x (- (/ z t) 1)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* x (- (+ (* -1 (/ (* y z) (* t x))) (/ z t)) 1)))))
#s(approx (- y x) #s(hole binary64 (* -1 (* x (+ 1 (* -1 (/ y x)))))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y z) (* t x))) (/ z t))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y (* t x))) (/ 1 t))))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* x (+ z (* -1 (/ (* y z) x)))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (* -1 (/ (* x z) t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (+ (* -1 (/ (* x z) t)) (/ (* y z) t)))))
#s(approx (- y x) #s(hole binary64 (- y x)))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* y (+ (* -1 (/ (* x z) (* t y))) (+ (/ x y) (/ z t))))))
#s(approx (- y x) #s(hole binary64 (* y (+ 1 (* -1 (/ x y))))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* y (+ (* -1 (/ (* x z) (* t y))) (/ z t)))))
#s(approx (/ (- y x) t) #s(hole binary64 (* y (+ (* -1 (/ x (* t y))) (/ 1 t)))))
#s(approx (* (- y x) z) #s(hole binary64 (* y (+ z (* -1 (/ (* x z) y))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* y (+ (* -1 (/ z t)) (* -1 (/ (+ x (* -1 (/ (* x z) t))) y)))))))
#s(approx (- y x) #s(hole binary64 (* -1 (* y (- (/ x y) 1)))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* -1 (* y (+ (* -1 (/ z t)) (/ (* x z) (* t y)))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (* y (- (/ x (* t y)) (/ 1 t))))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* y (+ (* -1 z) (/ (* x z) y))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (* z (- (/ y t) (/ x t))))))
#s(approx (/ z t) #s(hole binary64 (/ z t)))
#s(approx z #s(hole binary64 z))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (/ (* z (- y x)) t)))
#s(approx (* (- y x) z) #s(hole binary64 (* z (- y x))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* z (- (/ y t) (/ x t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* z (- (+ (/ x z) (/ y t)) (/ x t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (* -1 (/ (- y x) t)))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (/ (+ (* t x) (* z (- y x))) t)))
#s(approx t #s(hole binary64 t))
#s(approx (/ (- y x) t) #s(hole binary64 (/ (- y x) t)))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (/ (* z (- y x)) t))))

Calls

12 calls:

Time	Variable		Point	Expression
33.0ms	x	@	inf	((+ (* (/ z t) (- y x)) x) (/ z t) z t (- y x) y x (+ x (* (- y x) (/ z t))) (* (/ z t) y) (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (+ x (* (- y x) (/ z t))) (* (- y x) (/ z t)) (- y x) (neg x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z))
2.0ms	y	@	-inf	((+ (* (/ z t) (- y x)) x) (/ z t) z t (- y x) y x (+ x (* (- y x) (/ z t))) (* (/ z t) y) (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (+ x (* (- y x) (/ z t))) (* (- y x) (/ z t)) (- y x) (neg x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z))
2.0ms	t	@	-inf	((+ (* (/ z t) (- y x)) x) (/ z t) z t (- y x) y x (+ x (* (- y x) (/ z t))) (* (/ z t) y) (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (+ x (* (- y x) (/ z t))) (* (- y x) (/ z t)) (- y x) (neg x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z))
2.0ms	z	@	-inf	((+ (* (/ z t) (- y x)) x) (/ z t) z t (- y x) y x (+ x (* (- y x) (/ z t))) (* (/ z t) y) (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (+ x (* (- y x) (/ z t))) (* (- y x) (/ z t)) (- y x) (neg x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z))
1.0ms	z	@	inf	((+ (* (/ z t) (- y x)) x) (/ z t) z t (- y x) y x (+ x (* (- y x) (/ z t))) (* (/ z t) y) (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (+ x (* (- y x) (/ z t))) (* (- y x) (/ z t)) (- y x) (neg x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z))

rewrite235.0ms (7.2%)

Memory

-49.2MiB live, 245.9MiB allocated; 44ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	195	954
0	214	922
1	1053	858
0	8856	846

Stop Event

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

Counts

70 → 412

Calls

Call 1

Inputs
(fma.f64 (/.f64 z t) (-.f64 y x) x)
(/.f64 z t)
z
t
(-.f64 y x)
y
x
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
(*.f64 (/.f64 z t) y)
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 (-.f64 y x) t) z))
(*.f64 (/.f64 (-.f64 y x) t) z)
(/.f64 (-.f64 y x) t)
(+.f64 x (*.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)))
(*.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t))
#s(approx (- y x) (neg.f64 x))
(neg.f64 x)
(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
(/.f64 (*.f64 (-.f64 y x) z) t)
(*.f64 (-.f64 y x) z)
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (/ (* y z) t)))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ (* x (+ 1 (* -1 (/ z t)))) (/ (* y z) t))))
#s(approx (- y x) #s(hole binary64 y))
#s(approx (- y x) #s(hole binary64 (+ y (* -1 x))))
#s(approx x #s(hole binary64 x))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (+ (* -1 (/ (* x z) t)) (/ (* y z) t))))
#s(approx (/ (- y x) t) #s(hole binary64 (/ y t)))
#s(approx (/ (- y x) t) #s(hole binary64 (+ (* -1 (/ x t)) (/ y t))))
#s(approx (neg x) #s(hole binary64 (* -1 x)))
#s(approx (* (- y x) z) #s(hole binary64 (* y z)))
#s(approx (* (- y x) z) #s(hole binary64 (+ (* -1 (* x z)) (* y z))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* x (+ 1 (* -1 (/ z t))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* x (+ 1 (+ (* -1 (/ z t)) (/ (* y z) (* t x)))))))
#s(approx (- y x) #s(hole binary64 (* x (- (/ y x) 1))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* -1 (/ (* x z) t))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* x (+ (* -1 (/ z t)) (/ (* y z) (* t x))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (/ x t))))
#s(approx (/ (- y x) t) #s(hole binary64 (* x (- (/ y (* t x)) (/ 1 t)))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* x z))))
#s(approx (* (- y x) z) #s(hole binary64 (* x (+ (* -1 z) (/ (* y z) x)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* x (- (/ z t) 1)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* x (- (+ (* -1 (/ (* y z) (* t x))) (/ z t)) 1)))))
#s(approx (- y x) #s(hole binary64 (* -1 (* x (+ 1 (* -1 (/ y x)))))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y z) (* t x))) (/ z t))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y (* t x))) (/ 1 t))))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* x (+ z (* -1 (/ (* y z) x)))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (* -1 (/ (* x z) t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (+ (* -1 (/ (* x z) t)) (/ (* y z) t)))))
#s(approx (- y x) #s(hole binary64 (- y x)))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* y (+ (* -1 (/ (* x z) (* t y))) (+ (/ x y) (/ z t))))))
#s(approx (- y x) #s(hole binary64 (* y (+ 1 (* -1 (/ x y))))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* y (+ (* -1 (/ (* x z) (* t y))) (/ z t)))))
#s(approx (/ (- y x) t) #s(hole binary64 (* y (+ (* -1 (/ x (* t y))) (/ 1 t)))))
#s(approx (* (- y x) z) #s(hole binary64 (* y (+ z (* -1 (/ (* x z) y))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* y (+ (* -1 (/ z t)) (* -1 (/ (+ x (* -1 (/ (* x z) t))) y)))))))
#s(approx (- y x) #s(hole binary64 (* -1 (* y (- (/ x y) 1)))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* -1 (* y (+ (* -1 (/ z t)) (/ (* x z) (* t y)))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (* y (- (/ x (* t y)) (/ 1 t))))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* y (+ (* -1 z) (/ (* x z) y))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (* z (- (/ y t) (/ x t))))))
#s(approx (/ z t) #s(hole binary64 (/ z t)))
#s(approx z #s(hole binary64 z))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (/ (* z (- y x)) t)))
#s(approx (* (- y x) z) #s(hole binary64 (* z (- y x))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* z (- (/ y t) (/ x t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* z (- (+ (/ x z) (/ y t)) (/ x t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (* -1 (/ (- y x) t)))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (/ (+ (* t x) (* z (- y x))) t)))
#s(approx t #s(hole binary64 t))
#s(approx (/ (- y x) t) #s(hole binary64 (/ (- y x) t)))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (/ (* z (- y x)) t))))

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

eval34.0ms (1%)

Memory: 43.8MiB live, 86.5MiB allocated; 10ms collecting garbage
Compiler: Compiled 3 538 to 1 198 computations (66.1% saved)

prune16.0ms (0.5%)

Memory

-4.6MiB live, 38.0MiB allocated; 8ms collecting garbage

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	337	13	350
Fresh	5	1	6
Picked	4	1	5
Done	0	0	0
Total	346	15	361

Accuracy

100.0%

Counts

361 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
	66.6%	(fma.f64 (/.f64 z t) #s(approx (- y x) (neg.f64 x)) x)
▶	75.8%	(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)
	63.2%	(+.f64 x (/.f64 (*.f64 #s(approx (- y x) (neg.f64 x)) z) t))
▶	71.9%	(+.f64 x (/.f64 (*.f64 #s(approx (- y x) y) z) t))
▶	66.6%	(+.f64 x (.f64 #s(approx (- y x) (neg.f64 x)) (.f64 z (/.f64 #s(literal 1 binary64) t))))
	56.0%	#s(approx (+ x (* (- y x) (/ z t))) (fma.f64 (.f64 x z) (/.f64 #s(literal -1 binary64) t) (.f64 (/.f64 z t) y)))
	58.3%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 (-.f64 y x) z) t))
	42.4%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (.f64 (.f64 t (-.f64 y x)) z) (*.f64 t t)))
	36.4%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 y z) t))
▶	34.8%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 #s(approx (- y x) y) t) z))
✓	39.5%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
	66.6%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))
▶	27.6%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))
	29.9%	#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (*.f64 (/.f64 (neg.f64 z) t) x)))
	44.6%	#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (.f64 (-.f64 (.f64 y (/.f64 z (*.f64 x t))) (/.f64 z t)) x)))

Compiler

Compiled 363 to 355 computations (2.2% saved)

series23.0ms (0.7%)

Memory

-18.6MiB live, 43.8MiB allocated; 7ms collecting garbage

Counts

24 → 52

Calls

Call 1

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

Outputs
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (/ (* y z) t)))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ (* x (+ 1 (* -1 (/ z t)))) (/ (* y z) t))))
#s(approx (- y x) #s(hole binary64 y))
#s(approx (- y x) #s(hole binary64 (+ y (* -1 x))))
#s(approx x #s(hole binary64 x))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (+ (* -1 (/ (* x z) t)) (/ (* y z) t))))
#s(approx (/ (- y x) t) #s(hole binary64 (/ y t)))
#s(approx (/ (- y x) t) #s(hole binary64 (+ (* -1 (/ x t)) (/ y t))))
#s(approx (/ (neg x) t) #s(hole binary64 (* -1 (/ x t))))
#s(approx (neg x) #s(hole binary64 (* -1 x)))
#s(approx (* (- y x) z) #s(hole binary64 (* y z)))
#s(approx (* (- y x) z) #s(hole binary64 (+ (* -1 (* x z)) (* y z))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* x (+ 1 (* -1 (/ z t))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* x (+ 1 (+ (* -1 (/ z t)) (/ (* y z) (* t x)))))))
#s(approx (- y x) #s(hole binary64 (* x (- (/ y x) 1))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* -1 (/ (* x z) t))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* x (+ (* -1 (/ z t)) (/ (* y z) (* t x))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* x (- (/ y (* t x)) (/ 1 t)))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* x z))))
#s(approx (* (- y x) z) #s(hole binary64 (* x (+ (* -1 z) (/ (* y z) x)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* x (- (/ z t) 1)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* x (- (+ (* -1 (/ (* y z) (* t x))) (/ z t)) 1)))))
#s(approx (- y x) #s(hole binary64 (* -1 (* x (+ 1 (* -1 (/ y x)))))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y z) (* t x))) (/ z t))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y (* t x))) (/ 1 t))))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* x (+ z (* -1 (/ (* y z) x)))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (* -1 (/ (* x z) t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (+ (* -1 (/ (* x z) t)) (/ (* y z) t)))))
#s(approx (- y x) #s(hole binary64 (- y x)))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* y (+ (* -1 (/ (* x z) (* t y))) (+ (/ x y) (/ z t))))))
#s(approx (- y x) #s(hole binary64 (* y (+ 1 (* -1 (/ x y))))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* y (+ (* -1 (/ (* x z) (* t y))) (/ z t)))))
#s(approx (/ (- y x) t) #s(hole binary64 (* y (+ (* -1 (/ x (* t y))) (/ 1 t)))))
#s(approx (* (- y x) z) #s(hole binary64 (* y (+ z (* -1 (/ (* x z) y))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* y (+ (* -1 (/ z t)) (* -1 (/ (+ x (* -1 (/ (* x z) t))) y)))))))
#s(approx (- y x) #s(hole binary64 (* -1 (* y (- (/ x y) 1)))))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (* -1 (* y (+ (* -1 (/ z t)) (/ (* x z) (* t y)))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (* y (- (/ x (* t y)) (/ 1 t))))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* y (+ (* -1 z) (/ (* x z) y))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (* z (- (/ y t) (/ x t))))))
#s(approx (/ z t) #s(hole binary64 (/ z t)))
#s(approx z #s(hole binary64 z))
#s(approx (* (/ (- y x) t) z) #s(hole binary64 (/ (* z (- y x)) t)))
#s(approx (* (- y x) z) #s(hole binary64 (* z (- y x))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* z (- (/ y t) (/ x t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* z (- (+ (/ x z) (/ y t)) (/ x t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (* -1 (/ (- y x) t)))))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (/ (+ (* t x) (* z (- y x))) t)))
#s(approx t #s(hole binary64 t))
#s(approx (/ (- y x) t) #s(hole binary64 (/ (- y x) t)))
#s(approx (/ 1 t) #s(hole binary64 (/ 1 t)))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (/ (* z (- y x)) t))))

Calls

12 calls:

Time	Variable		Point	Expression
5.0ms	y	@	-inf	((+ (* (/ z t) (- y x)) x) (/ z t) z t (- y x) y x (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (/ (neg x) t) (neg x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (* z (/ 1 t)))) (* (- y x) (* z (/ 1 t))) (- y x) (* z (/ 1 t)) (/ 1 t) 1)
4.0ms	t	@	0	((+ (* (/ z t) (- y x)) x) (/ z t) z t (- y x) y x (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (/ (neg x) t) (neg x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (* z (/ 1 t)))) (* (- y x) (* z (/ 1 t))) (- y x) (* z (/ 1 t)) (/ 1 t) 1)
2.0ms	t	@	-inf	((+ (* (/ z t) (- y x)) x) (/ z t) z t (- y x) y x (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (/ (neg x) t) (neg x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (* z (/ 1 t)))) (* (- y x) (* z (/ 1 t))) (- y x) (* z (/ 1 t)) (/ 1 t) 1)
1.0ms	t	@	inf	((+ (* (/ z t) (- y x)) x) (/ z t) z t (- y x) y x (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (/ (neg x) t) (neg x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (* z (/ 1 t)))) (* (- y x) (* z (/ 1 t))) (- y x) (* z (/ 1 t)) (/ 1 t) 1)
1.0ms	z	@	-inf	((+ (* (/ z t) (- y x)) x) (/ z t) z t (- y x) y x (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (+ x (* (- y x) (/ z t))) (* (/ (- y x) t) z) (/ (- y x) t) (/ (neg x) t) (neg x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (* z (/ 1 t)))) (* (- y x) (* z (/ 1 t))) (- y x) (* z (/ 1 t)) (/ 1 t) 1)

rewrite165.0ms (5%)

Memory

-22.7MiB live, 215.5MiB allocated; 40ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	200	1033
0	217	1001
1	1083	937
0	8944	903

Stop Event

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

Counts

76 → 204

Calls

Call 1

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

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

eval14.0ms (0.4%)

Memory: 29.4MiB live, 29.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 364 to 539 computations (60.5% saved)

prune28.0ms (0.9%)

Memory

-18.7MiB live, 28.9MiB allocated; 1ms collecting garbage

Pruning

14 alts after pruning (10 fresh and 4 done)

	Pruned	Kept	Total
New	146	4	150
Fresh	3	6	9
Picked	2	3	5
Done	0	1	1
Total	151	14	165

Accuracy

100.0%

Counts

165 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	70.4%	(fma.f64 (/.f64 #s(approx (- y x) y) t) z x)
▶	66.6%	(fma.f64 (/.f64 z t) #s(approx (- y x) (neg.f64 x)) x)
✓	75.8%	(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)
▶	63.1%	(fma.f64 (*.f64 #s(approx (- y x) (neg.f64 x)) z) (/.f64 #s(literal 1 binary64) t) x)
	63.2%	(+.f64 x (/.f64 (*.f64 #s(approx (- y x) (neg.f64 x)) z) t))
	66.6%	#s(approx (+ (* (/ z t) (- y x)) x) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))
▶	58.3%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 (-.f64 y x) z) t))
	42.4%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (.f64 (.f64 t (-.f64 y x)) z) (*.f64 t t)))
▶	36.4%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 #s(approx (- y x) y) z) t))
✓	34.8%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 #s(approx (- y x) y) t) z))
✓	39.5%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
✓	27.6%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))
	29.9%	#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (*.f64 (/.f64 (neg.f64 z) t) x)))
	44.6%	#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (.f64 (-.f64 (.f64 y (/.f64 z (*.f64 x t))) (/.f64 z t)) x)))

Compiler

Compiled 297 to 289 computations (2.7% saved)

series15.0ms (0.5%)

Memory

-4.2MiB live, 41.3MiB allocated; 2ms collecting garbage

Counts

22 → 52

Calls

Call 1

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

Outputs
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (/ (* y z) t)))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (+ (* x (+ 1 (* -1 (/ z t)))) (/ (* y z) t))))
#s(approx (/ (- y x) t) #s(hole binary64 (/ y t)))
#s(approx (/ (- y x) t) #s(hole binary64 (+ (* -1 (/ x t)) (/ y t))))
#s(approx (- y x) #s(hole binary64 y))
#s(approx (- y x) #s(hole binary64 (+ y (* -1 x))))
#s(approx x #s(hole binary64 x))
#s(approx (/ (* (- y x) z) t) #s(hole binary64 (+ (* -1 (/ (* x z) t)) (/ (* y z) t))))
#s(approx (* (- y x) z) #s(hole binary64 (* y z)))
#s(approx (* (- y x) z) #s(hole binary64 (+ (* -1 (* x z)) (* y z))))
#s(approx (neg x) #s(hole binary64 (* -1 x)))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (* x (+ 1 (* -1 (/ z t))))))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (* x (+ 1 (+ (* -1 (/ z t)) (/ (* y z) (* t x)))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (/ x t))))
#s(approx (/ (- y x) t) #s(hole binary64 (* x (- (/ y (* t x)) (/ 1 t)))))
#s(approx (- y x) #s(hole binary64 (* x (- (/ y x) 1))))
#s(approx (/ (* (- y x) z) t) #s(hole binary64 (* -1 (/ (* x z) t))))
#s(approx (/ (* (- y x) z) t) #s(hole binary64 (* x (+ (* -1 (/ z t)) (/ (* y z) (* t x))))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* x z))))
#s(approx (* (- y x) z) #s(hole binary64 (* x (+ (* -1 z) (/ (* y z) x)))))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (* -1 (* x (- (/ z t) 1)))))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (* -1 (* x (- (+ (* -1 (/ (* y z) (* t x))) (/ z t)) 1)))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y (* t x))) (/ 1 t))))))
#s(approx (- y x) #s(hole binary64 (* -1 (* x (+ 1 (* -1 (/ y x)))))))
#s(approx (/ (* (- y x) z) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y z) (* t x))) (/ z t))))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* x (+ z (* -1 (/ (* y z) x)))))))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (+ x (* -1 (/ (* x z) t)))))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (+ x (+ (* -1 (/ (* x z) t)) (/ (* y z) t)))))
#s(approx (- y x) #s(hole binary64 (- y x)))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (* y (+ (* -1 (/ (* x z) (* t y))) (+ (/ x y) (/ z t))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* y (+ (* -1 (/ x (* t y))) (/ 1 t)))))
#s(approx (- y x) #s(hole binary64 (* y (+ 1 (* -1 (/ x y))))))
#s(approx (/ (* (- y x) z) t) #s(hole binary64 (* y (+ (* -1 (/ (* x z) (* t y))) (/ z t)))))
#s(approx (* (- y x) z) #s(hole binary64 (* y (+ z (* -1 (/ (* x z) y))))))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (* -1 (* y (+ (* -1 (/ z t)) (* -1 (/ (+ x (* -1 (/ (* x z) t))) y)))))))
#s(approx (/ (- y x) t) #s(hole binary64 (* -1 (* y (- (/ x (* t y)) (/ 1 t))))))
#s(approx (- y x) #s(hole binary64 (* -1 (* y (- (/ x y) 1)))))
#s(approx (/ (* (- y x) z) t) #s(hole binary64 (* -1 (* y (+ (* -1 (/ z t)) (/ (* x z) (* t y)))))))
#s(approx (* (- y x) z) #s(hole binary64 (* -1 (* y (+ (* -1 z) (/ (* x z) y))))))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (+ x (* z (- (/ y t) (/ x t))))))
#s(approx z #s(hole binary64 z))
#s(approx (/ (* (- y x) z) t) #s(hole binary64 (/ (* z (- y x)) t)))
#s(approx (* (- y x) z) #s(hole binary64 (* z (- y x))))
#s(approx (/ z t) #s(hole binary64 (/ z t)))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (* z (- (/ y t) (/ x t)))))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (* z (- (+ (/ x z) (/ y t)) (/ x t)))))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (* -1 (/ (- y x) t)))))))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (/ (+ (* t x) (* z (- y x))) t)))
#s(approx (/ (- y x) t) #s(hole binary64 (/ (- y x) t)))
#s(approx t #s(hole binary64 t))
#s(approx (/ 1 t) #s(hole binary64 (/ 1 t)))
#s(approx (+ (* (/ (- y x) t) z) x) #s(hole binary64 (+ x (/ (* z (- y x)) t))))

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	t	@	inf	((+ (* (/ (- y x) t) z) x) (/ (- y x) t) (- y x) y t z x (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (- y x) (+ (* (/ z t) (- y x)) x) (/ z t) (- y x) (neg x) (+ (* (* (- y x) z) (/ 1 t)) x) (* (- y x) z) (/ 1 t) 1)
1.0ms	t	@	-inf	((+ (* (/ (- y x) t) z) x) (/ (- y x) t) (- y x) y t z x (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (- y x) (+ (* (/ z t) (- y x)) x) (/ z t) (- y x) (neg x) (+ (* (* (- y x) z) (/ 1 t)) x) (* (- y x) z) (/ 1 t) 1)
1.0ms	z	@	-inf	((+ (* (/ (- y x) t) z) x) (/ (- y x) t) (- y x) y t z x (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (- y x) (+ (* (/ z t) (- y x)) x) (/ z t) (- y x) (neg x) (+ (* (* (- y x) z) (/ 1 t)) x) (* (- y x) z) (/ 1 t) 1)
1.0ms	z	@	inf	((+ (* (/ (- y x) t) z) x) (/ (- y x) t) (- y x) y t z x (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (- y x) (+ (* (/ z t) (- y x)) x) (/ z t) (- y x) (neg x) (+ (* (* (- y x) z) (/ 1 t)) x) (* (- y x) z) (/ 1 t) 1)
1.0ms	y	@	-inf	((+ (* (/ (- y x) t) z) x) (/ (- y x) t) (- y x) y t z x (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (- y x) (+ (* (/ z t) (- y x)) x) (/ z t) (- y x) (neg x) (+ (* (* (- y x) z) (/ 1 t)) x) (* (- y x) z) (/ 1 t) 1)

rewrite169.0ms (5.1%)

Memory

26.1MiB live, 160.8MiB allocated; 19ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	197	999
0	215	968
1	1072	908
0	8940	875

Stop Event

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

Counts

74 → 259

Calls

Call 1

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

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

eval31.0ms (1%)

Memory: 8.3MiB live, 53.9MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 164 to 816 computations (62.3% saved)

prune28.0ms (0.9%)

Memory

-19.3MiB live, 39.8MiB allocated; 8ms collecting garbage

Pruning

14 alts after pruning (6 fresh and 8 done)

	Pruned	Kept	Total
New	221	4	225
Fresh	3	2	5
Picked	1	4	5
Done	0	4	4
Total	225	14	239

Accuracy

100.0%

Counts

239 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	70.4%	(fma.f64 (/.f64 #s(approx (- y x) y) t) z x)
✓	75.8%	(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)
✓	63.1%	(fma.f64 (*.f64 #s(approx (- y x) (neg.f64 x)) z) (/.f64 #s(literal 1 binary64) t) x)
	62.9%	(fma.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z x)
	66.6%	#s(approx (+ (* (/ (- y x) t) z) x) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))
✓	58.3%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 (-.f64 y x) z) t))
	42.4%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (.f64 (.f64 t (-.f64 y x)) z) (*.f64 t t)))
✓	36.4%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 #s(approx (- y x) y) z) t))
	28.3%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 #s(approx (* (- y x) z) (*.f64 (neg.f64 x) z)) t))
✓	34.8%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 #s(approx (- y x) y) t) z))
✓	39.5%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
✓	27.6%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))
	29.9%	#s(approx (+ x (* (- y x) (/ z t))) #s(approx (/ (* (- y x) z) t) (*.f64 (/.f64 (neg.f64 z) t) x)))
	44.6%	#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (.f64 (-.f64 (.f64 y (/.f64 z (*.f64 x t))) (/.f64 z t)) x)))

Compiler

Compiled 385 to 288 computations (25.2% saved)

regimes64.0ms (2%)

Memory

13.8MiB live, 148.5MiB allocated; 12ms collecting garbage

Counts

33 → 1

Calls

Call 1

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

Outputs
(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))

Calls

6 calls:

15.0ms	z
11.0ms	(/.f64 z t)
10.0ms	x
9.0ms	y
9.0ms	t

Results

Accuracy	Segments	Branch
98.9%	1	`(/.f64 z t)`
98.9%	1	`(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))`
98.9%	1	`x`
98.9%	1	`y`
98.9%	1	`z`
98.9%	1	`t`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes229.0ms (7%)

Memory

45.9MiB live, 183.4MiB allocated; 96ms collecting garbage

Counts

23 → 1

Calls

Call 1

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

Outputs
(fma.f64 (/.f64 z t) (-.f64 y x) x)

Calls

6 calls:

186.0ms	x
13.0ms	t
6.0ms	y
6.0ms	z
6.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))

Results

Accuracy	Segments	Branch
98.9%	1	`(/.f64 z t)`
98.9%	1	`y`
98.9%	1	`z`
98.9%	1	`t`
98.9%	1	`(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))`
98.9%	1	`x`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes215.0ms (6.5%)

Memory

16.9MiB live, 79.3MiB allocated; 243ms collecting garbage

Counts

21 → 3

Calls

Call 1

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

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

Calls

6 calls:

185.0ms	z
6.0ms	y
6.0ms	x
6.0ms	t
5.0ms	(/.f64 z t)

Results

Accuracy	Segments	Branch
96.9%	3	`(/.f64 z t)`
88.6%	3	`y`
85.3%	3	`z`
85.6%	3	`t`
87.3%	3	`(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))`
88.8%	3	`x`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes5.0ms (0.2%)

Memory

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

Counts

15 → 3

Calls

Call 1

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

Outputs
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 (-.f64 y x) z) t))
(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 (-.f64 y x) z) t))

Calls

1 calls:

4.0ms

(/.f64 z t)

Results

Accuracy	Segments	Branch
96.8%	3	`(/.f64 z t)`

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes22.0ms (0.7%)

Memory

-46.8MiB live, 7.5MiB allocated; 16ms collecting garbage

Counts

12 → 3

Calls

Call 1

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

Outputs
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 (-.f64 y x) t) z))
(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 (-.f64 y x) t) z))

Calls

1 calls:

21.0ms

(/.f64 z t)

Results

Accuracy	Segments	Branch
94.6%	3	`(/.f64 z t)`

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes7.0ms (0.2%)

Memory

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

Counts

11 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

2 calls:

4.0ms	x
3.0ms	(/.f64 z t)

Results

Accuracy	Segments	Branch
88.8%	3	`x`
82.3%	3	`(/.f64 z t)`

Compiler

Compiled 4 to 9 computations (-125% saved)

regimes23.0ms (0.7%)

Memory

0.5MiB live, 46.5MiB allocated; 4ms collecting garbage

Counts

10 → 3

Calls

Call 1

Inputs
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 #s(approx (- y x) y) t) z))
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 y z) t))
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 #s(approx (- y x) y) z) t))
#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (*.f64 (/.f64 (neg.f64 z) t) x)))
#s(approx (+ x (* (- y x) (/ z t))) #s(approx (/ (* (- y x) z) t) (*.f64 (/.f64 (neg.f64 z) t) x)))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 #s(approx (* (- y x) z) (*.f64 (neg.f64 x) z)) t))
(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)
(fma.f64 (/.f64 #s(approx (- y x) y) t) z x)

Outputs

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

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

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

Calls

6 calls:

7.0ms	t
3.0ms	y
3.0ms	x
3.0ms	z
3.0ms	(/.f64 z t)

Results

Accuracy	Segments	Branch
82.3%	3	`(/.f64 z t)`
78.8%	2	`z`
75.8%	1	`t`
77.7%	2	`(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))`
75.8%	1	`y`
75.8%	1	`x`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes18.0ms (0.6%)

Memory

-1.0MiB live, 45.5MiB allocated; 2ms collecting garbage

Counts

8 → 3

Calls

Call 1

Inputs
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 #s(approx (- y x) y) t) z))
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 y z) t))
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 #s(approx (- y x) y) z) t))
#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (*.f64 (/.f64 (neg.f64 z) t) x)))
#s(approx (+ x (* (- y x) (/ z t))) #s(approx (/ (* (- y x) z) t) (*.f64 (/.f64 (neg.f64 z) t) x)))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 #s(approx (* (- y x) z) (*.f64 (neg.f64 x) z)) t))

Outputs

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

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

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

Calls

6 calls:

5.0ms	y
3.0ms	x
3.0ms	(/.f64 z t)
3.0ms	t
3.0ms	z

Results

Accuracy	Segments	Branch
52.4%	3	`x`
51.9%	3	`y`
39.5%	1	`t`
41.4%	2	`(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))`
42.5%	2	`z`
45.9%	3	`(/.f64 z t)`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes3.0ms (0.1%)

Memory

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

Counts

7 → 3

Calls

Call 1

Inputs
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 #s(approx (- y x) y) t) z))
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 y z) t))
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 #s(approx (- y x) y) z) t))
#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (*.f64 (/.f64 (neg.f64 z) t) x)))
#s(approx (+ x (* (- y x) (/ z t))) #s(approx (/ (* (- y x) z) t) (*.f64 (/.f64 (neg.f64 z) t) x)))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))

Outputs

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

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

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

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
52.4%	3	`x`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes13.0ms (0.4%)

Memory

-28.1MiB live, 24.8MiB allocated; 5ms collecting garbage

Accuracy

Total -5.6b remaining (-14.4%)

Threshold costs -5.6b (-14.4%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

5 calls:

5.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
2.0ms	y
2.0ms	x
2.0ms	z
2.0ms	(/.f64 z t)

Results

Accuracy	Segments	Branch
39.5%	1	`(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))`
39.5%	1	`z`
39.5%	1	`(/.f64 z t)`
39.5%	1	`y`
39.5%	1	`x`

Compiler

Compiled 14 to 25 computations (-78.6% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	94575756196714080.0	100875920398252960.0
0.0ms	-2.3134738287807193	-1.0608240565800777e-7

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	94575756196714080.0	100875920398252960.0
0.0ms	-2.3134738287807193	-1.0608240565800777e-7

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	9.824335762447924e+22	1.9448699585414592e+24
0.0ms	-22130831090497.33	-175845395.76254314

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch21.0ms (0.7%)

Memory

-0.6MiB live, 46.1MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
7.0ms	3.5761162612194696e+26	3.235301273876247e+27
12.0ms	-1.0924954472719663e-57	-5.008022550624266e-72

Samples

10.0ms

256×

valid

Compiler

Compiled 348 to 383 computations (-10.1% saved)

Precisions

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

ival-sub!: 1.0ms (25.9% of total)

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

ival-div!: 1.0ms (25.9% of total)

ival-mult!: 1.0ms (25.9% of total)

adjust: 0.0ms (0% of total)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	8.067359406378463e+59	1.0880623122533428e+61
0.0ms	-3.7417326584689135e+114	-2.2840897665335405e+105

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch11.0ms (0.3%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
0.0ms	3.5761162612194696e+26	3.235301273876247e+27
9.0ms	-5.008022550624266e-72	-1.7390431733530718e-75

Samples

5.0ms

128×

valid

Compiler

Compiled 382 to 399 computations (-4.5% saved)

Precisions

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

ival-div!: 1.0ms (50.8% of total)

ival-mult!: 1.0ms (50.8% of total)

ival-sub!: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch3.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
0.0ms	3.5761162612194696e+26	3.235301273876247e+27
2.0ms	-5.008022550624266e-72	-1.7390431733530718e-75

Samples

1.0ms

16×

valid

Compiler

Compiled 390 to 407 computations (-4.4% saved)

Precisions

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

ival-sub!: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

ival-div!: 0.0ms (0% of total)

ival-mult!: 0.0ms (0% of total)

derivations363.0ms (11.1%)

Memory

-17.0MiB live, 401.2MiB allocated; 56ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 103 to 75 computations (27.2% saved)

preprocess166.0ms (5.1%)

Memory: 43.3MiB live, 138.8MiB allocated; 114ms collecting garbage
Compiler: Compiled 111 to 83 computations (25.2% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze77.0ms (2.3%)

sample923.0ms (28.1%)

preprocess52.0ms (1.6%)

series14.0ms (0.4%)

rewrite223.0ms (6.8%)

eval9.0ms (0.3%)

prune7.0ms (0.2%)

series50.0ms (1.5%)

rewrite235.0ms (7.2%)

eval34.0ms (1%)

prune16.0ms (0.5%)

series23.0ms (0.7%)

rewrite165.0ms (5%)

eval14.0ms (0.4%)

prune28.0ms (0.9%)

series15.0ms (0.5%)

rewrite169.0ms (5.1%)

eval31.0ms (1%)

prune28.0ms (0.9%)

regimes64.0ms (2%)

regimes229.0ms (7%)

regimes215.0ms (6.5%)

regimes5.0ms (0.2%)

regimes22.0ms (0.7%)

regimes7.0ms (0.2%)

regimes23.0ms (0.7%)

regimes18.0ms (0.6%)

regimes3.0ms (0.1%)

regimes13.0ms (0.4%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch21.0ms (0.7%)

bsearch0.0ms (0%)

bsearch11.0ms (0.3%)

bsearch3.0ms (0.1%)

derivations363.0ms (11.1%)

preprocess166.0ms (5.1%)

end0.0ms (0%)

Profiling