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

start0.0ms (0%)

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

analyze126.0ms (2.9%)

Memory

-27.4MiB live, 124.8MiB allocated; 65ms 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)

sample1.0s (23.4%)

Memory

97.0MiB live, 1 675.9MiB allocated; 417ms collecting garbage

Samples

670.0ms

8 256×

valid

Precisions

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

ival-div!: 69.0ms (30.8% of total)

ival-sub!: 57.0ms (25.4% of total)

ival-add!: 49.0ms (21.9% of total)

ival-mult!: 48.0ms (21.4% of total)

adjust: 2.0ms (0.9% of total)

Bogosity

preprocess86.0ms (1.9%)

Memory

-48.3MiB live, 54.6MiB allocated; 49ms 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.6%	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))

Compiler

Compiled 16 to 16 computations (0% saved)

series14.0ms (0.3%)

Memory

32.2MiB live, 32.2MiB 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)
2.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	x	@	-inf	((+ x (* (- y x) (/ z t))) x (* (- y x) (/ z t)) (- y x) y (/ z t) z t)
1.0ms	t	@	-inf	((+ x (* (- y x) (/ z t))) x (* (- y x) (/ z t)) (- y x) y (/ z t) z t)

rewrite212.0ms (4.8%)

Memory

5.1MiB live, 274.1MiB allocated; 64ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	129	639
0	133	603
1	699	581
2	6614	581
0	8437	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))

eval8.0ms (0.2%)

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

prune21.0ms (0.5%)

Memory

-46.5MiB live, 13.0MiB allocated; 18ms collecting garbage

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	83	13	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	13	97

Accuracy

100.0%

Counts

97 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
	92.3%	(fma.f64 (/.f64 (-.f64 y x) t) z x)
▶	98.7%	(fma.f64 (/.f64 z t) (-.f64 y x) x)
	38.7%	(+.f64 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)))))
▶	70.9%	(+.f64 x (/.f64 (.f64 (/.f64 z t) (.f64 (+.f64 y x) (-.f64 y x))) (+.f64 y x)))
▶	92.0%	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
	54.3%	(+.f64 x (/.f64 (.f64 (.f64 (/.f64 (+.f64 y x) t) (/.f64 (-.f64 y x) t)) z) (/.f64 (+.f64 y x) t)))
	63.3%	(+.f64 x (/.f64 (.f64 (.f64 t (-.f64 y x)) z) (*.f64 t t)))
	67.7%	(+.f64 x (*.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)))
▶	78.9%	(+.f64 x (*.f64 #s(approx (- y x) y) (/.f64 z t)))
	84.0%	#s(approx (+ x (* (- y x) (/ z t))) (fma.f64 (-.f64 (.f64 (/.f64 z (.f64 t x)) y) (/.f64 z t)) x x))
	58.5%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 (-.f64 y x) t) z))
▶	42.7%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
	67.7%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))

Compiler

Compiled 288 to 282 computations (2.1% saved)

series44.0ms (1%)

Memory

3.8MiB live, 50.6MiB allocated; 6ms collecting garbage

Counts

20 → 75

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)
(+.f64 x (*.f64 #s(approx (- y x) y) (/.f64 z t)))
(*.f64 #s(approx (- y x) y) (/.f64 z t))
#s(approx (- y x) y)
(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
(/.f64 (*.f64 (-.f64 y x) z) t)
(*.f64 (-.f64 y x) z)
(+.f64 x (/.f64 (.f64 (/.f64 z t) (.f64 (+.f64 y x) (-.f64 y x))) (+.f64 y x)))
(/.f64 (.f64 (/.f64 z t) (.f64 (+.f64 y x) (-.f64 y x))) (+.f64 y x))
(.f64 (/.f64 z t) (.f64 (+.f64 y x) (-.f64 y x)))
(*.f64 (+.f64 y x) (-.f64 y x))
(+.f64 y x)

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) (/ 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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (/ (* (pow y 2) z) t)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (/ (* x (* z (+ y (* -1 y)))) t) (/ (* (pow y 2) z) t))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (* x (+ (* -1 (/ (* x z) t)) (/ (* z (+ y (* -1 y))) t))) (/ (* (pow y 2) z) t))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (pow y 2)))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (+ (* x (+ y (* -1 y))) (pow y 2))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (+ (* x (+ y (+ (* -1 x) (* -1 y)))) (pow y 2))))
#s(approx (+ y x) #s(hole binary64 (+ x y)))
#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 (* -1 x)))
#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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* -1 (/ (* (pow x 2) z) t))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (/ (* z (+ y (* -1 y))) (* t x))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (+ (/ (* z (+ y (* -1 y))) (* t x)) (/ (* (pow y 2) z) (* t (pow x 2))))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* -1 (pow x 2))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow x 2) (- (+ (* -1 (/ y x)) (/ y x)) 1))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow x 2) (- (+ (* -1 (/ y x)) (+ (/ y x) (/ (pow y 2) (pow x 2)))) 1))))
#s(approx (+ y x) #s(hole binary64 (* x (+ 1 (/ y 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) (/ 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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (* -1 (/ (* z (+ y (* -1 y))) (* t x)))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (* -1 (/ (+ (* -1 (/ (* (pow y 2) z) (* t x))) (/ (* z (+ y (* -1 y))) t)) x))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow x 2) (- (* -1 (/ (+ y (* -1 y)) x)) 1))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow x 2) (- (* -1 (/ (+ y (+ (* -1 y) (* -1 (/ (pow y 2) x)))) x)) 1))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#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) (- y x))) #s(hole binary64 (+ (* -1 (/ (* (pow x 2) z) t)) (/ (* y (* z (+ x (* -1 x)))) t))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (* -1 (/ (* (pow x 2) z) t)) (* y (+ (/ (* y z) t) (/ (* z (+ x (* -1 x))) t))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (+ (* -1 (pow x 2)) (* y (+ x (* -1 x))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (+ (* -1 (pow x 2)) (* y (+ x (+ y (* -1 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) (/ 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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (/ z t) (/ (* z (+ x (* -1 x))) (* t y))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (* -1 (/ (* (pow x 2) z) (* t (pow y 2)))) (+ (/ z t) (/ (* z (+ x (* -1 x))) (* t y)))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow y 2) (+ 1 (+ (* -1 (/ x y)) (/ x y))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow y 2) (+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ (pow x 2) (pow y 2))) (/ x y)))))))
#s(approx (+ y x) #s(hole binary64 (* y (+ 1 (/ x 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) (/ 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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (* -1 (/ (+ (* -1 (/ (* z (+ x (* -1 x))) t)) (/ (* (pow x 2) z) (* t y))) y)) (/ z t)))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow y 2) (+ 1 (* -1 (/ (+ (* -1 (+ x (* -1 x))) (/ (pow x 2) y)) y))))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#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) (/ z t)) #s(hole binary64 (/ (* z (- y x)) t)))
#s(approx (* (- y x) z) #s(hole binary64 (* z (- y x))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (/ (* z (* (+ x y) (- y x))) t)))
#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 (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (/ (* z (- y x)) t))))

Calls

12 calls:

Time	Variable		Point	Expression
9.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) (/ z t)) (- y x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z) (+ x (/ (* (/ z t) (* (+ y x) (- y x))) (+ y x))) (/ (* (/ z t) (* (+ y x) (- y x))) (+ y x)) (* (/ z t) (* (+ y x) (- y x))) (* (+ y x) (- y x)) (+ y x))
7.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) (/ z t)) (- y x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z) (+ x (/ (* (/ z t) (* (+ y x) (- y x))) (+ y x))) (/ (* (/ z t) (* (+ y x) (- y x))) (+ y x)) (* (/ z t) (* (+ y x) (- y x))) (* (+ y x) (- y x)) (+ y x))
4.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) (/ z t)) (- y x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z) (+ x (/ (* (/ z t) (* (+ y x) (- y x))) (+ y x))) (/ (* (/ z t) (* (+ y x) (- y x))) (+ y x)) (* (/ z t) (* (+ y x) (- y x))) (* (+ y x) (- y x)) (+ y x))
4.0ms	z	@	0	((+ (* (/ 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) (/ z t)) (- y x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z) (+ x (/ (* (/ z t) (* (+ y x) (- y x))) (+ y x))) (/ (* (/ z t) (* (+ y x) (- y x))) (+ y x)) (* (/ z t) (* (+ y x) (- y x))) (* (+ y x) (- y x)) (+ y x))
3.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) (/ z t)) (- y x) (+ x (/ (* (- y x) z) t)) (/ (* (- y x) z) t) (* (- y x) z) (+ x (/ (* (/ z t) (* (+ y x) (- y x))) (+ y x))) (/ (* (/ z t) (* (+ y x) (- y x))) (+ y x)) (* (/ z t) (* (+ y x) (- y x))) (* (+ y x) (- y x)) (+ y x))

rewrite226.0ms (5.1%)

Memory

34.8MiB live, 166.0MiB allocated; 97ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	325	1702
0	350	1558
1	1992	1539
0	8598	1505

Stop Event

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

Counts

95 → 256

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)
(+.f64 x (*.f64 #s(approx (- y x) y) (/.f64 z t)))
(*.f64 #s(approx (- y x) y) (/.f64 z t))
#s(approx (- y x) y)
(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
(/.f64 (*.f64 (-.f64 y x) z) t)
(*.f64 (-.f64 y x) z)
(+.f64 x (/.f64 (.f64 (/.f64 z t) (.f64 (+.f64 y x) (-.f64 y x))) (+.f64 y x)))
(/.f64 (.f64 (/.f64 z t) (.f64 (+.f64 y x) (-.f64 y x))) (+.f64 y x))
(.f64 (/.f64 z t) (.f64 (+.f64 y x) (-.f64 y x)))
(*.f64 (+.f64 y x) (-.f64 y x))
(+.f64 y x)
#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) (/ 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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (/ (* (pow y 2) z) t)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (/ (* x (* z (+ y (* -1 y)))) t) (/ (* (pow y 2) z) t))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (* x (+ (* -1 (/ (* x z) t)) (/ (* z (+ y (* -1 y))) t))) (/ (* (pow y 2) z) t))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (pow y 2)))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (+ (* x (+ y (* -1 y))) (pow y 2))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (+ (* x (+ y (+ (* -1 x) (* -1 y)))) (pow y 2))))
#s(approx (+ y x) #s(hole binary64 (+ x y)))
#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 (* -1 x)))
#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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* -1 (/ (* (pow x 2) z) t))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (/ (* z (+ y (* -1 y))) (* t x))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (+ (/ (* z (+ y (* -1 y))) (* t x)) (/ (* (pow y 2) z) (* t (pow x 2))))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* -1 (pow x 2))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow x 2) (- (+ (* -1 (/ y x)) (/ y x)) 1))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow x 2) (- (+ (* -1 (/ y x)) (+ (/ y x) (/ (pow y 2) (pow x 2)))) 1))))
#s(approx (+ y x) #s(hole binary64 (* x (+ 1 (/ y 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) (/ 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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (* -1 (/ (* z (+ y (* -1 y))) (* t x)))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (* -1 (/ (+ (* -1 (/ (* (pow y 2) z) (* t x))) (/ (* z (+ y (* -1 y))) t)) x))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow x 2) (- (* -1 (/ (+ y (* -1 y)) x)) 1))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow x 2) (- (* -1 (/ (+ y (+ (* -1 y) (* -1 (/ (pow y 2) x)))) x)) 1))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#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) (- y x))) #s(hole binary64 (+ (* -1 (/ (* (pow x 2) z) t)) (/ (* y (* z (+ x (* -1 x)))) t))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (* -1 (/ (* (pow x 2) z) t)) (* y (+ (/ (* y z) t) (/ (* z (+ x (* -1 x))) t))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (+ (* -1 (pow x 2)) (* y (+ x (* -1 x))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (+ (* -1 (pow x 2)) (* y (+ x (+ y (* -1 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) (/ 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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (/ z t) (/ (* z (+ x (* -1 x))) (* t y))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (* -1 (/ (* (pow x 2) z) (* t (pow y 2)))) (+ (/ z t) (/ (* z (+ x (* -1 x))) (* t y)))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow y 2) (+ 1 (+ (* -1 (/ x y)) (/ x y))))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow y 2) (+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ (pow x 2) (pow y 2))) (/ x y)))))))
#s(approx (+ y x) #s(hole binary64 (* y (+ 1 (/ x 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) (/ 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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (* -1 (/ (+ (* -1 (/ (* z (+ x (* -1 x))) t)) (/ (* (pow x 2) z) (* t y))) y)) (/ z t)))))
#s(approx (* (+ y x) (- y x)) #s(hole binary64 (* (pow y 2) (+ 1 (* -1 (/ (+ (* -1 (+ x (* -1 x))) (/ (pow x 2) y)) y))))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#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) (/ z t)) #s(hole binary64 (/ (* z (- y x)) t)))
#s(approx (* (- y x) z) #s(hole binary64 (* z (- y x))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (/ (* z (* (+ x y) (- y x))) t)))
#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 (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (/ (* z (- y x)) t))))

Outputs
(/.f64 (-.f64 (.f64 (.f64 x x) x) (pow.f64 (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) #s(literal 3 binary64))) (fma.f64 x x (fma.f64 (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) (.f64 x (*.f64 (neg.f64 (-.f64 y x)) (/.f64 z t))))))
(/.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 (neg.f64 z) (/.f64 (-.f64 y x) t)) (.f64 (neg.f64 z) (/.f64 (-.f64 y x) t)) (.f64 x (*.f64 (neg.f64 z) (/.f64 (-.f64 y x) t))))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)))) (neg.f64 (-.f64 x (.f64 (/.f64 (-.f64 y x) t) z))))
(/.f64 (neg.f64 (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x x))) (neg.f64 (-.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))
(/.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 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))))
(/.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t))) (-.f64 x (.f64 (/.f64 (-.f64 y x) t) z)))
(/.f64 (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) 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 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (-.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) 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 x (*.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)))
(-.f64 x (*.f64 (neg.f64 z) (/.f64 (-.f64 y x) t)))
(+.f64 (/.f64 (.f64 (.f64 x x) x) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x (.f64 (/.f64 (-.f64 y x) t) z))))) (/.f64 (pow.f64 (.f64 (/.f64 (-.f64 y x) t) z) #s(literal 3 binary64)) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))))))
(+.f64 (/.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 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 (.f64 (/.f64 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (*.f64 (/.f64 (-.f64 y x) t) z) x)))))
(+.f64 (*.f64 (/.f64 (-.f64 y x) t) z) x)
(+.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))
(/.f64 (neg.f64 (neg.f64 z)) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 z) (neg.f64 t))
(/.f64 z t)
z
t
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (neg.f64 (fma.f64 y y (fma.f64 x x (*.f64 y x)))))
(/.f64 (neg.f64 (*.f64 (+.f64 x y) (-.f64 y x))) (neg.f64 (+.f64 x y)))
(/.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (fma.f64 y y (fma.f64 x x (*.f64 y x))))
(/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (+.f64 x y))
(-.f64 (/.f64 (.f64 (.f64 y y) y) (fma.f64 y y (fma.f64 x x (.f64 y x)))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 y y (fma.f64 x x (.f64 y x)))))
(-.f64 (/.f64 (.f64 y y) (+.f64 x y)) (/.f64 (.f64 x x) (+.f64 x y)))
(-.f64 y 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 (neg.f64 (neg.f64 (*.f64 y z))) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 (*.f64 y z)) (neg.f64 t))
(/.f64 (*.f64 y z) t)
(/.f64 (-.f64 (.f64 (.f64 x x) x) (pow.f64 (.f64 (neg.f64 #s(approx (- y x) y)) (/.f64 z t)) #s(literal 3 binary64))) (fma.f64 x x (fma.f64 (.f64 (neg.f64 #s(approx (- y x) y)) (/.f64 z t)) (.f64 (neg.f64 #s(approx (- y x) y)) (/.f64 z t)) (.f64 x (*.f64 (neg.f64 #s(approx (- y x) y)) (/.f64 z t))))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 #s(approx (- y x) y) z) (.f64 #s(approx (- y x) y) z)) (.f64 t t)))) (neg.f64 (-.f64 x (.f64 #s(approx (- y x) y) (/.f64 z t)))))
(/.f64 (neg.f64 (fma.f64 (.f64 x x) x (pow.f64 (.f64 #s(approx (- y x) y) (/.f64 z t)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 #s(approx (- y x) y) z) (.f64 #s(approx (- y x) y) z)) (.f64 t t)) (.f64 x (.f64 #s(approx (- y x) y) (/.f64 z t)))))))
(/.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 #s(approx (- y x) y) z) (.f64 #s(approx (- y x) y) z)) (.f64 t t))) (-.f64 x (.f64 #s(approx (- y x) y) (/.f64 z t))))
(/.f64 (fma.f64 (.f64 x x) x (pow.f64 (.f64 #s(approx (- y x) y) (/.f64 z t)) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 #s(approx (- y x) y) z) (.f64 #s(approx (- y x) y) z)) (.f64 t t)) (.f64 x (.f64 #s(approx (- y x) y) (/.f64 z t))))))
(fma.f64 #s(approx (- y x) y) (/.f64 z t) x)
(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)
(-.f64 (/.f64 (.f64 x x) (-.f64 x (.f64 #s(approx (- y x) y) (/.f64 z t)))) (/.f64 (/.f64 (.f64 (.f64 #s(approx (- y x) y) z) (.f64 #s(approx (- y x) y) z)) (.f64 t t)) (-.f64 x (*.f64 #s(approx (- y x) y) (/.f64 z t)))))
(-.f64 x (*.f64 (neg.f64 #s(approx (- y x) y)) (/.f64 z t)))
(+.f64 (/.f64 (.f64 (.f64 x x) x) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 #s(approx (- y x) y) z) (.f64 #s(approx (- y x) y) z)) (.f64 t t)) (.f64 x (.f64 #s(approx (- y x) y) (/.f64 z t)))))) (/.f64 (pow.f64 (.f64 #s(approx (- y x) y) (/.f64 z t)) #s(literal 3 binary64)) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 #s(approx (- y x) y) z) (.f64 #s(approx (- y x) y) z)) (.f64 t t)) (.f64 x (*.f64 #s(approx (- y x) y) (/.f64 z t)))))))
(+.f64 (*.f64 #s(approx (- y x) y) (/.f64 z t)) x)
(+.f64 x (*.f64 #s(approx (- y x) y) (/.f64 z t)))
(*.f64 #s(approx (- y x) y) (/.f64 z t))
(*.f64 (/.f64 z t) #s(approx (- y x) y))
(/.f64 (neg.f64 (*.f64 #s(approx (- y x) y) z)) (neg.f64 t))
(/.f64 (*.f64 #s(approx (- y x) y) z) t)
#s(approx (- y x) y)
(/.f64 (-.f64 (.f64 (.f64 x x) x) (pow.f64 (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) #s(literal 3 binary64))) (fma.f64 x x (fma.f64 (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) (.f64 x (*.f64 (neg.f64 (-.f64 y x)) (/.f64 z t))))))
(/.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 (neg.f64 z) (/.f64 (-.f64 y x) t)) (.f64 (neg.f64 z) (/.f64 (-.f64 y x) t)) (.f64 x (*.f64 (neg.f64 z) (/.f64 (-.f64 y x) t))))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)))) (neg.f64 (-.f64 x (.f64 (/.f64 (-.f64 y x) t) z))))
(/.f64 (neg.f64 (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x x))) (neg.f64 (-.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))
(/.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 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))))
(/.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t))) (-.f64 x (.f64 (/.f64 (-.f64 y x) t) z)))
(/.f64 (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) 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 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (-.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) 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 x (*.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)))
(-.f64 x (*.f64 (neg.f64 z) (/.f64 (-.f64 y x) t)))
(+.f64 (/.f64 (.f64 (.f64 x x) x) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x (.f64 (/.f64 (-.f64 y x) t) z))))) (/.f64 (pow.f64 (.f64 (/.f64 (-.f64 y x) t) z) #s(literal 3 binary64)) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))))))
(+.f64 (/.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 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 (.f64 (/.f64 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (*.f64 (/.f64 (-.f64 y x) t) z) x)))))
(+.f64 (*.f64 (/.f64 (-.f64 y x) t) z) x)
(+.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 (neg.f64 z) (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 (neg.f64 t) (fma.f64 y y (fma.f64 x x (*.f64 y x)))))
(/.f64 (.f64 (neg.f64 z) (.f64 (+.f64 x y) (-.f64 y x))) (*.f64 (neg.f64 t) (+.f64 x y)))
(/.f64 (.f64 z (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 t (fma.f64 y y (fma.f64 x x (*.f64 y x)))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (neg.f64 z)) (.f64 (fma.f64 y y (fma.f64 x 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 (fma.f64 x x (*.f64 y x))) t))
(/.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (neg.f64 z)) (*.f64 (+.f64 x y) (neg.f64 t)))
(/.f64 (neg.f64 (neg.f64 (*.f64 (-.f64 y x) z))) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 (neg.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (/.f64 z t)))) (neg.f64 (neg.f64 (+.f64 x y))))
(/.f64 (neg.f64 (*.f64 (-.f64 y x) z)) (neg.f64 t))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (/.f64 z t))) (neg.f64 (+.f64 x y)))
(/.f64 (.f64 (.f64 z (+.f64 x y)) (-.f64 y x)) (*.f64 t (+.f64 x y)))
(/.f64 (.f64 (.f64 z (+.f64 x y)) (-.f64 y x)) (*.f64 (+.f64 x y) t))
(/.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (/.f64 z t)) (+.f64 x y))
(/.f64 (*.f64 (-.f64 y x) z) t)
(*.f64 (-.f64 y x) z)
(*.f64 z (-.f64 y x))
(/.f64 (-.f64 (.f64 (.f64 x x) x) (pow.f64 (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) #s(literal 3 binary64))) (fma.f64 x x (fma.f64 (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) (.f64 x (*.f64 (neg.f64 (-.f64 y x)) (/.f64 z t))))))
(/.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 (neg.f64 z) (/.f64 (-.f64 y x) t)) (.f64 (neg.f64 z) (/.f64 (-.f64 y x) t)) (.f64 x (*.f64 (neg.f64 z) (/.f64 (-.f64 y x) t))))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)))) (neg.f64 (-.f64 x (.f64 (/.f64 (-.f64 y x) t) z))))
(/.f64 (neg.f64 (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x x))) (neg.f64 (-.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))
(/.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 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))))
(/.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t))) (-.f64 x (.f64 (/.f64 (-.f64 y x) t) z)))
(/.f64 (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) 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 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (-.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) 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 x (*.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)))
(-.f64 x (*.f64 (neg.f64 z) (/.f64 (-.f64 y x) t)))
(+.f64 (/.f64 (.f64 (.f64 x x) x) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x (.f64 (/.f64 (-.f64 y x) t) z))))) (/.f64 (pow.f64 (.f64 (/.f64 (-.f64 y x) t) z) #s(literal 3 binary64)) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))))))
(+.f64 (/.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 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 (.f64 (/.f64 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (*.f64 (/.f64 (-.f64 y x) t) z) x)))))
(+.f64 (*.f64 (/.f64 (-.f64 y x) t) z) x)
(+.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 (neg.f64 z) (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 (neg.f64 t) (fma.f64 y y (fma.f64 x x (*.f64 y x)))))
(/.f64 (.f64 (neg.f64 z) (.f64 (+.f64 x y) (-.f64 y x))) (*.f64 (neg.f64 t) (+.f64 x y)))
(/.f64 (.f64 z (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 t (fma.f64 y y (fma.f64 x x (*.f64 y x)))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (neg.f64 z)) (.f64 (fma.f64 y y (fma.f64 x 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 (fma.f64 x x (*.f64 y x))) t))
(/.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (neg.f64 z)) (*.f64 (+.f64 x y) (neg.f64 t)))
(/.f64 (neg.f64 (neg.f64 (*.f64 (-.f64 y x) z))) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 (neg.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (/.f64 z t)))) (neg.f64 (neg.f64 (+.f64 x y))))
(/.f64 (neg.f64 (*.f64 (-.f64 y x) z)) (neg.f64 t))
(/.f64 (neg.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (/.f64 z t))) (neg.f64 (+.f64 x y)))
(/.f64 (.f64 (.f64 z (+.f64 x y)) (-.f64 y x)) (*.f64 t (+.f64 x y)))
(/.f64 (.f64 (.f64 z (+.f64 x y)) (-.f64 y x)) (*.f64 (+.f64 x y) t))
(/.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (/.f64 z t)) (+.f64 x y))
(/.f64 (*.f64 (-.f64 y x) z) t)
(.f64 (.f64 (/.f64 z t) (+.f64 x y)) (-.f64 y x))
(.f64 (.f64 (+.f64 x y) (-.f64 y x)) (/.f64 z t))
(.f64 (/.f64 z t) (.f64 (+.f64 x y) (-.f64 y x)))
(.f64 z (/.f64 (.f64 (+.f64 x y) (-.f64 y x)) t))
(/.f64 (neg.f64 (neg.f64 (.f64 (.f64 z (+.f64 x y)) (-.f64 y x)))) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 (.f64 (.f64 z (+.f64 x y)) (-.f64 y x))) (neg.f64 t))
(/.f64 (.f64 (.f64 z (+.f64 x y)) (-.f64 y x)) t)
(*.f64 (+.f64 x y) (-.f64 y x))
(*.f64 (-.f64 y x) (+.f64 x y))
(/.f64 (-.f64 (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 y y) y)) (pow.f64 (.f64 x x) #s(literal 3 binary64))) (fma.f64 (.f64 y y) (.f64 y y) (fma.f64 (.f64 x x) (.f64 x x) (.f64 (.f64 y y) (*.f64 x x)))))
(/.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 (-.f64 x y) (fma.f64 y y (fma.f64 x x (*.f64 y x)))))
(/.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) (.f64 (+.f64 x y) (-.f64 y x))) (*.f64 (-.f64 x y) (+.f64 x y)))
(/.f64 (.f64 (fma.f64 (.f64 x x) x (.f64 (.f64 y y) y)) (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 (fma.f64 x x (-.f64 (.f64 y y) (.f64 x y))) (fma.f64 y y (fma.f64 x x (.f64 y x)))))
(/.f64 (.f64 (fma.f64 (.f64 x x) x (.f64 (.f64 y y) y)) (.f64 (+.f64 x y) (-.f64 y x))) (.f64 (fma.f64 x x (-.f64 (.f64 y y) (.f64 x y))) (+.f64 x y)))
(/.f64 (.f64 (fma.f64 (.f64 y y) y (.f64 (.f64 x x) x)) (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 (fma.f64 y y (-.f64 (.f64 x x) (.f64 y x))) (fma.f64 y y (fma.f64 x x (.f64 y x)))))
(/.f64 (.f64 (fma.f64 (.f64 y y) y (.f64 (.f64 x x) x)) (.f64 (+.f64 x y) (-.f64 y x))) (.f64 (fma.f64 y y (-.f64 (.f64 x x) (.f64 y x))) (+.f64 x y)))
(/.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 (-.f64 y x) (fma.f64 y y (fma.f64 x x (.f64 y x)))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (-.f64 (.f64 x x) (.f64 y y))) (.f64 (fma.f64 y y (fma.f64 x x (*.f64 y x))) (-.f64 x y)))
(/.f64 (.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (fma.f64 (.f64 x x) x (.f64 (.f64 y y) y))) (.f64 (fma.f64 y y (fma.f64 x x (.f64 y x))) (fma.f64 x x (-.f64 (.f64 y y) (.f64 x y)))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (fma.f64 (.f64 y y) y (.f64 (.f64 x x) x))) (.f64 (fma.f64 y y (fma.f64 x x (.f64 y x))) (fma.f64 y y (-.f64 (.f64 x x) (.f64 y x)))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (.f64 (+.f64 x y) (-.f64 y x))) (.f64 (fma.f64 y y (fma.f64 x x (.f64 y x))) (-.f64 y x)))
(/.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (-.f64 (.f64 x x) (.f64 y y))) (*.f64 (+.f64 x y) (-.f64 x y)))
(/.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (fma.f64 (.f64 x x) x (.f64 (.f64 y y) y))) (.f64 (+.f64 x y) (fma.f64 x x (-.f64 (.f64 y y) (.f64 x y)))))
(/.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (fma.f64 (.f64 y y) y (.f64 (.f64 x x) x))) (.f64 (+.f64 x y) (fma.f64 y y (-.f64 (.f64 x x) (.f64 y x)))))
(/.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (.f64 (+.f64 x y) (-.f64 y x))) (.f64 (+.f64 x y) (-.f64 y x)))
(-.f64 (.f64 y y) (.f64 x x))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (.f64 y y))) (neg.f64 (-.f64 x y)))
(/.f64 (neg.f64 (fma.f64 (.f64 x x) x (.f64 (.f64 y y) y))) (neg.f64 (fma.f64 x x (-.f64 (.f64 y y) (*.f64 x y)))))
(/.f64 (neg.f64 (fma.f64 (.f64 y y) y (.f64 (.f64 x x) x))) (neg.f64 (fma.f64 y y (-.f64 (.f64 x x) (*.f64 y x)))))
(/.f64 (neg.f64 (*.f64 (+.f64 x y) (-.f64 y x))) (neg.f64 (-.f64 y x)))
(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (-.f64 x y))
(/.f64 (fma.f64 (.f64 x x) x (.f64 (.f64 y y) y)) (fma.f64 x x (-.f64 (.f64 y y) (*.f64 x y))))
(/.f64 (fma.f64 (.f64 y y) y (.f64 (.f64 x x) x)) (fma.f64 y y (-.f64 (.f64 x x) (*.f64 y x))))
(/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (-.f64 y x))
(-.f64 (/.f64 (.f64 x x) (-.f64 x y)) (/.f64 (.f64 y y) (-.f64 x y)))
(-.f64 (/.f64 (.f64 y y) (-.f64 y x)) (/.f64 (.f64 x x) (-.f64 y x)))
(+.f64 (/.f64 (.f64 (.f64 x x) x) (fma.f64 x x (-.f64 (.f64 y y) (.f64 x y)))) (/.f64 (.f64 (.f64 y y) y) (fma.f64 x x (-.f64 (.f64 y y) (.f64 x y)))))
(+.f64 (/.f64 (.f64 (.f64 y y) y) (fma.f64 y y (-.f64 (.f64 x x) (.f64 y x)))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 y y (-.f64 (.f64 x x) (.f64 y x)))))
(+.f64 x y)
(+.f64 y x)
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
#s(approx (+ x (* (- y x) (/ z t))) (fma.f64 (+.f64 (/.f64 (neg.f64 z) t) #s(literal 1 binary64)) x (*.f64 (/.f64 z t) y)))
#s(approx (- y x) y)
#s(approx (- y x) (+.f64 (neg.f64 x) y))
#s(approx x x)
#s(approx (* (- y x) (/ z t)) (/.f64 (fma.f64 (neg.f64 x) z (*.f64 y z)) t))
#s(approx (* (- y x) z) (*.f64 y z))
#s(approx (* (- y x) z) (fma.f64 (neg.f64 x) z (*.f64 y z)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 y y) z) t))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (fma.f64 (.f64 y y) z (.f64 (.f64 (.f64 #s(literal 0 binary64) y) z) x)) t))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (fma.f64 (/.f64 (fma.f64 (.f64 #s(literal 0 binary64) y) z (.f64 (neg.f64 x) z)) t) x (/.f64 (.f64 (.f64 y y) z) t)))
#s(approx (* (+ y x) (- y x)) (*.f64 y y))
#s(approx (* (+ y x) (- y x)) (fma.f64 (.f64 #s(literal 0 binary64) y) x (.f64 y y)))
#s(approx (* (+ y x) (- y x)) (fma.f64 (+.f64 (+.f64 (neg.f64 y) (neg.f64 x)) y) x (*.f64 y y)))
#s(approx (+ y x) (+.f64 x y))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (+.f64 (/.f64 (neg.f64 z) t) #s(literal 1 binary64)) x))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 (+.f64 (fma.f64 y (/.f64 z (.f64 x t)) (/.f64 (neg.f64 z) t)) #s(literal 1 binary64)) x))
#s(approx (- y x) (neg.f64 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 x) z) t))
#s(approx (* (- y x) (/ z t)) (.f64 (fma.f64 y (/.f64 z (.f64 x t)) (/.f64 (neg.f64 z) t)) x))
#s(approx (* (- y x) z) (*.f64 (neg.f64 x) z))
#s(approx (* (- y x) z) (*.f64 (fma.f64 y (/.f64 z x) (neg.f64 z)) x))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (neg.f64 (/.f64 (.f64 (.f64 x x) z) t)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (fma.f64 z (/.f64 (.f64 #s(literal 0 binary64) y) (.f64 x t)) (/.f64 (neg.f64 z) t)) (.f64 x x)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (+.f64 (fma.f64 (.f64 y y) (/.f64 z (.f64 (.f64 x x) t)) (/.f64 (.f64 (.f64 #s(literal 0 binary64) y) z) (.f64 x t))) (/.f64 (neg.f64 z) t)) (.f64 x x)))
#s(approx (* (+ y x) (- y x)) (neg.f64 (*.f64 x x)))
#s(approx (* (+ y x) (- y x)) (.f64 (-.f64 (.f64 #s(literal 0 binary64) (/.f64 y x)) #s(literal 1 binary64)) (*.f64 x x)))
#s(approx (* (+ y x) (- y x)) (.f64 (-.f64 (fma.f64 #s(literal 0 binary64) (/.f64 y x) (/.f64 (.f64 y y) (.f64 x x))) #s(literal 1 binary64)) (.f64 x x)))
#s(approx (+ y x) (*.f64 (+.f64 (/.f64 y x) #s(literal 1 binary64)) x))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (neg.f64 x) (-.f64 (/.f64 z t) #s(literal 1 binary64))))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 (neg.f64 x) (-.f64 (+.f64 (neg.f64 (.f64 y (/.f64 z (*.f64 x t)))) (/.f64 z t)) #s(literal 1 binary64))))
#s(approx (- y x) (*.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (/.f64 y x))))
#s(approx (* (- y x) (/ z t)) (.f64 (neg.f64 x) (+.f64 (neg.f64 (.f64 y (/.f64 z (*.f64 x t)))) (/.f64 z t))))
#s(approx (* (- y x) z) (.f64 (neg.f64 x) (+.f64 (neg.f64 (/.f64 (.f64 y z) x)) z)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (+.f64 (neg.f64 (/.f64 (.f64 (.f64 #s(literal 0 binary64) y) z) (.f64 x t))) (/.f64 (neg.f64 z) t)) (*.f64 x x)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (+.f64 (neg.f64 (/.f64 (fma.f64 z (/.f64 (.f64 #s(literal 0 binary64) y) t) (neg.f64 (.f64 (.f64 y y) (/.f64 z (.f64 x t))))) x)) (/.f64 (neg.f64 z) t)) (.f64 x x)))
#s(approx (* (+ y x) (- y x)) (.f64 (-.f64 (neg.f64 (.f64 #s(literal 0 binary64) (/.f64 y x))) #s(literal 1 binary64)) (*.f64 x x)))
#s(approx (* (+ y x) (- y x)) (.f64 (-.f64 (neg.f64 (/.f64 (fma.f64 #s(literal 0 binary64) y (neg.f64 (/.f64 (.f64 y y) x))) x)) #s(literal 1 binary64)) (*.f64 x x)))
#s(approx (+ y x) (*.f64 (neg.f64 x) (-.f64 (/.f64 (neg.f64 y) x) #s(literal 1 binary64))))
#s(approx (+ x (* (- y x) (/ z t))) (+.f64 (/.f64 (*.f64 (neg.f64 x) z) t) x))
#s(approx (+ x (* (- y x) (/ z t))) (+.f64 (/.f64 (fma.f64 (neg.f64 x) z (*.f64 y z)) t) x))
#s(approx (- y x) (-.f64 y x))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (fma.f64 (.f64 (.f64 #s(literal 0 binary64) x) z) y (.f64 #s(literal -1 binary64) (.f64 (*.f64 x x) z))) t))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (fma.f64 (/.f64 (fma.f64 (.f64 #s(literal 0 binary64) x) z (.f64 y z)) t) y (neg.f64 (/.f64 (.f64 (.f64 x x) z) t))))
#s(approx (* (+ y x) (- y x)) (fma.f64 (.f64 #s(literal 0 binary64) x) y (neg.f64 (.f64 x x))))
#s(approx (* (+ y x) (- y x)) (fma.f64 (+.f64 (+.f64 (neg.f64 x) y) x) y (neg.f64 (*.f64 x x))))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 (/.f64 (fma.f64 (neg.f64 x) z (fma.f64 x t (.f64 y z))) (*.f64 y t)) y))
#s(approx (- y x) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 x y)) y))
#s(approx (* (- y x) (/ z t)) (*.f64 (fma.f64 (/.f64 (neg.f64 x) t) (/.f64 z y) (/.f64 z t)) y))
#s(approx (* (- y x) z) (.f64 (-.f64 z (/.f64 (.f64 x z) y)) y))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (fma.f64 z (/.f64 (.f64 #s(literal 0 binary64) x) (.f64 y t)) (/.f64 z t)) (.f64 y y)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (+.f64 (neg.f64 (.f64 (.f64 x x) (/.f64 z (.f64 (.f64 y y) t)))) (fma.f64 z (/.f64 (.f64 #s(literal 0 binary64) x) (.f64 y t)) (/.f64 z t))) (.f64 y y)))
#s(approx (* (+ y x) (- y x)) (.f64 (fma.f64 #s(literal 0 binary64) (/.f64 x y) #s(literal 1 binary64)) (.f64 y y)))
#s(approx (* (+ y x) (- y x)) (.f64 (+.f64 (-.f64 #s(literal 1 binary64) (/.f64 x y)) (+.f64 (/.f64 (neg.f64 (.f64 x x)) (.f64 y y)) (/.f64 x y))) (.f64 y y)))
#s(approx (+ y x) (*.f64 (+.f64 (/.f64 x y) #s(literal 1 binary64)) y))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 (neg.f64 y) (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 (.f64 (neg.f64 x) z) t) x) y)) (/.f64 (neg.f64 z) t))))
#s(approx (- y x) (*.f64 (neg.f64 y) (-.f64 (/.f64 x y) #s(literal 1 binary64))))
#s(approx (* (- y x) (/ z t)) (.f64 (neg.f64 y) (fma.f64 x (/.f64 z (.f64 y t)) (/.f64 (neg.f64 z) t))))
#s(approx (* (- y x) z) (*.f64 (neg.f64 y) (fma.f64 x (/.f64 z y) (neg.f64 z))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (+.f64 (neg.f64 (/.f64 (fma.f64 (.f64 x x) (/.f64 z (.f64 y t)) (neg.f64 (/.f64 (.f64 (.f64 #s(literal 0 binary64) x) z) t))) y)) (/.f64 z t)) (.f64 y y)))
#s(approx (* (+ y x) (- y x)) (.f64 (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 (.f64 x x) y) (neg.f64 (.f64 #s(literal 0 binary64) x))) y)) #s(literal 1 binary64)) (.f64 y y)))
#s(approx (+ y x) (*.f64 (neg.f64 y) (-.f64 (/.f64 (neg.f64 x) y) #s(literal 1 binary64))))
#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) (/ z t)) (*.f64 (/.f64 (-.f64 y x) t) z))
#s(approx (* (- y x) z) (*.f64 (-.f64 y x) z))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (/.f64 z t)))
#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 (neg.f64 (/.f64 (-.f64 y x) t)) (/.f64 (neg.f64 x) 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 (+ x (* (- y x) (/ z t))) (fma.f64 (/.f64 z t) (-.f64 y x) x))

eval25.0ms (0.6%)

Memory: -14.7MiB live, 38.5MiB allocated; 8ms collecting garbage
Compiler: Compiled 2 618 to 972 computations (62.9% saved)

prune10.0ms (0.2%)

Memory

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

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	213	7	220
Fresh	2	6	8
Picked	2	3	5
Done	0	0	0
Total	217	16	233

Accuracy

100.0%

Counts

233 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	92.3%	(fma.f64 (/.f64 (-.f64 y x) t) z x)
✓	98.7%	(fma.f64 (/.f64 z t) (-.f64 y x) x)
	92.0%	(fma.f64 (/.f64 z t) #s(approx (- y x) (*.f64 (-.f64 (/.f64 y x) #s(literal 1 binary64)) x)) x)
	67.7%	(fma.f64 (/.f64 z t) #s(approx (- y x) (neg.f64 x)) x)
	78.9%	(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)
✓	92.0%	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
	54.3%	(+.f64 x (/.f64 (.f64 (.f64 (/.f64 (+.f64 y x) t) (/.f64 (-.f64 y x) t)) z) (/.f64 (+.f64 y x) t)))
	63.3%	(+.f64 x (/.f64 (.f64 (.f64 t (-.f64 y x)) z) (*.f64 t t)))
▶	61.8%	(+.f64 x (/.f64 (*.f64 #s(approx (- y x) (neg.f64 x)) z) t))
	75.2%	(+.f64 x (/.f64 (*.f64 #s(approx (- y x) y) z) t))
▶	47.0%	(+.f64 x (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (neg.f64 (/.f64 (.f64 (.f64 x x) z) t))) (+.f64 y x)))
	84.0%	#s(approx (+ x (* (- y x) (/ z t))) (fma.f64 (-.f64 (.f64 (/.f64 z (.f64 t x)) y) (/.f64 z t)) x x))
▶	39.7%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 y z) t))
▶	58.5%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 (-.f64 y x) t) z))
✓	42.7%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
	67.7%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))

Compiler

Compiled 320 to 316 computations (1.3% saved)

series29.0ms (0.7%)

Memory

-0.5MiB live, 45.9MiB allocated; 2ms collecting garbage

Counts

25 → 72

Calls

Call 1

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

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) t) z) #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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (/ (* (pow y 2) z) t)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (/ (* x (* z (+ y (* -1 y)))) t) (/ (* (pow y 2) z) t))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (* x (+ (* -1 (/ (* x z) t)) (/ (* z (+ y (* -1 y))) t))) (/ (* (pow y 2) z) t))))
#s(approx (neg (/ (* (* x x) z) t)) #s(hole binary64 (* -1 (/ (* (pow x 2) z) t))))
#s(approx (/ (* (* x x) z) t) #s(hole binary64 (/ (* (pow x 2) z) t)))
#s(approx (* (* x x) z) #s(hole binary64 (* (pow x 2) z)))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx (+ y x) #s(hole binary64 (+ x y)))
#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) 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) 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) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (/ (* z (+ y (* -1 y))) (* t x))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (+ (/ (* z (+ y (* -1 y))) (* t x)) (/ (* (pow y 2) z) (* t (pow x 2))))))))
#s(approx (+ y x) #s(hole binary64 (* x (+ 1 (/ y 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) t) z) #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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (* -1 (/ (* z (+ y (* -1 y))) (* t x)))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (* -1 (/ (+ (* -1 (/ (* (pow y 2) z) (* t x))) (/ (* z (+ y (* -1 y))) t)) x))))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (* -1 (/ (* (pow x 2) z) t)) (/ (* y (* z (+ x (* -1 x)))) t))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (* -1 (/ (* (pow x 2) z) t)) (* y (+ (/ (* y z) t) (/ (* z (+ x (* -1 x))) t))))))
#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) t) z) #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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (/ z t) (/ (* z (+ x (* -1 x))) (* t y))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (* -1 (/ (* (pow x 2) z) (* t (pow y 2)))) (+ (/ z t) (/ (* z (+ x (* -1 x))) (* t y)))))))
#s(approx (+ y x) #s(hole binary64 (* y (+ 1 (/ x 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) t) z) #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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (* -1 (/ (+ (* -1 (/ (* z (+ x (* -1 x))) t)) (/ (* (pow x 2) z) (* t y))) y)) (/ z t)))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#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) 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) (- y x))) #s(hole binary64 (/ (* z (* (+ x y) (- y x))) 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 (+ (* (/ (- y x) t) z) x) #s(hole binary64 (+ x (/ (* z (- y x)) t))))

Calls

12 calls:

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

rewrite220.0ms (5%)

Memory

-5.9MiB live, 174.9MiB allocated; 50ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	302	1605
0	324	1507
1	1688	1490
0	8801	1464

Stop Event

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

Counts

97 → 223

Calls

Call 1

Inputs
(fma.f64 (/.f64 (-.f64 y x) t) z x)
(/.f64 (-.f64 y x) t)
(-.f64 y x)
y
x
t
z
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 y z) t))
(/.f64 (*.f64 y z) t)
(*.f64 y z)
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 (-.f64 y x) t) z))
(*.f64 (/.f64 (-.f64 y x) t) z)
(+.f64 x (/.f64 (*.f64 #s(approx (- y x) (neg.f64 x)) z) t))
(/.f64 (*.f64 #s(approx (- y x) (neg.f64 x)) z) t)
(*.f64 #s(approx (- y x) (neg.f64 x)) z)
#s(approx (- y x) (neg.f64 x))
(neg.f64 x)
(+.f64 x (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (neg.f64 (/.f64 (.f64 (.f64 x x) z) t))) (+.f64 y x)))
(/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (neg.f64 (/.f64 (.f64 (.f64 x x) z) t))) (+.f64 y x))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (neg.f64 (/.f64 (.f64 (.f64 x x) z) t)))
(neg.f64 (/.f64 (.f64 (.f64 x x) z) t))
(/.f64 (.f64 (.f64 x x) z) t)
(.f64 (.f64 x x) z)
(*.f64 x x)
(+.f64 y x)
#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) t) z) #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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (/ (* (pow y 2) z) t)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (/ (* x (* z (+ y (* -1 y)))) t) (/ (* (pow y 2) z) t))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (* x (+ (* -1 (/ (* x z) t)) (/ (* z (+ y (* -1 y))) t))) (/ (* (pow y 2) z) t))))
#s(approx (neg (/ (* (* x x) z) t)) #s(hole binary64 (* -1 (/ (* (pow x 2) z) t))))
#s(approx (/ (* (* x x) z) t) #s(hole binary64 (/ (* (pow x 2) z) t)))
#s(approx (* (* x x) z) #s(hole binary64 (* (pow x 2) z)))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx (+ y x) #s(hole binary64 (+ x y)))
#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) 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) 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) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (/ (* z (+ y (* -1 y))) (* t x))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (+ (/ (* z (+ y (* -1 y))) (* t x)) (/ (* (pow y 2) z) (* t (pow x 2))))))))
#s(approx (+ y x) #s(hole binary64 (* x (+ 1 (/ y 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) t) z) #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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (* -1 (/ (* z (+ y (* -1 y))) (* t x)))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow x 2) (+ (* -1 (/ z t)) (* -1 (/ (+ (* -1 (/ (* (pow y 2) z) (* t x))) (/ (* z (+ y (* -1 y))) t)) x))))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (* -1 (/ (* (pow x 2) z) t)) (/ (* y (* z (+ x (* -1 x)))) t))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (+ (* -1 (/ (* (pow x 2) z) t)) (* y (+ (/ (* y z) t) (/ (* z (+ x (* -1 x))) t))))))
#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) t) z) #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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (/ z t) (/ (* z (+ x (* -1 x))) (* t y))))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (* -1 (/ (* (pow x 2) z) (* t (pow y 2)))) (+ (/ z t) (/ (* z (+ x (* -1 x))) (* t y)))))))
#s(approx (+ y x) #s(hole binary64 (* y (+ 1 (/ x 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) t) z) #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 (* (/ z t) (* (+ y x) (- y x))) #s(hole binary64 (* (pow y 2) (+ (* -1 (/ (+ (* -1 (/ (* z (+ x (* -1 x))) t)) (/ (* (pow x 2) z) (* t y))) y)) (/ z t)))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#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) 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) (- y x))) #s(hole binary64 (/ (* z (* (+ x y) (- y x))) 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 (+ (* (/ (- y x) t) z) x) #s(hole binary64 (+ x (/ (* z (- y x)) t))))

Outputs
(/.f64 (-.f64 (.f64 (.f64 x x) x) (pow.f64 (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) #s(literal 3 binary64))) (fma.f64 x x (fma.f64 (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) (.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)) (.f64 x (*.f64 (neg.f64 (-.f64 y x)) (/.f64 z t))))))
(/.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 (neg.f64 z) (/.f64 (-.f64 y x) t)) (.f64 (neg.f64 z) (/.f64 (-.f64 y x) t)) (.f64 x (*.f64 (neg.f64 z) (/.f64 (-.f64 y x) t))))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)))) (neg.f64 (-.f64 x (.f64 (/.f64 (-.f64 y x) t) z))))
(/.f64 (neg.f64 (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x x))) (neg.f64 (-.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))
(/.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 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))))
(/.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t))) (-.f64 x (.f64 (/.f64 (-.f64 y x) t) z)))
(/.f64 (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.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 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) 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 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (-.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) 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 x (*.f64 (neg.f64 (-.f64 y x)) (/.f64 z t)))
(-.f64 x (*.f64 (neg.f64 z) (/.f64 (-.f64 y x) t)))
(+.f64 (/.f64 (.f64 (.f64 x x) x) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x (.f64 (/.f64 (-.f64 y x) t) z))))) (/.f64 (pow.f64 (.f64 (/.f64 (-.f64 y x) t) z) #s(literal 3 binary64)) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 (-.f64 y x) z) (.f64 (-.f64 y x) z)) (.f64 t t)) (.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))))))
(+.f64 (/.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 y x) t) z) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (-.f64 y x) t) z) x)))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 (.f64 (/.f64 (-.f64 y x) t) z) (.f64 (/.f64 (-.f64 y x) t) z) (-.f64 (.f64 x x) (.f64 (*.f64 (/.f64 (-.f64 y x) t) z) x)))))
(+.f64 (*.f64 (/.f64 (-.f64 y x) t) z) x)
(+.f64 x (*.f64 (/.f64 (-.f64 y x) t) z))
(/.f64 (-.f64 (neg.f64 y) (neg.f64 x)) (neg.f64 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 y (neg.f64 t)) (.f64 t (neg.f64 x))) (*.f64 t (neg.f64 t)))
(/.f64 (neg.f64 (-.f64 (/.f64 (.f64 y y) (.f64 t t)) (/.f64 (.f64 x x) (.f64 t t)))) (neg.f64 (/.f64 (+.f64 x y) 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) (fma.f64 (/.f64 x t) (/.f64 x t) (/.f64 (.f64 y x) (.f64 t t))))))
(/.f64 (neg.f64 (-.f64 (.f64 t y) (.f64 t x))) (neg.f64 (*.f64 t t)))
(/.f64 (neg.f64 (neg.f64 (-.f64 y x))) (neg.f64 (neg.f64 t)))
(/.f64 (-.f64 (/.f64 (.f64 y y) (.f64 t t)) (/.f64 (.f64 x x) (.f64 t t))) (/.f64 (+.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) (fma.f64 (/.f64 x t) (/.f64 x t) (/.f64 (.f64 y x) (.f64 t t)))))
(/.f64 (-.f64 (.f64 t y) (.f64 t x)) (*.f64 t t))
(/.f64 (neg.f64 (-.f64 y x)) (neg.f64 t))
(/.f64 (-.f64 y x) t)
(-.f64 (/.f64 (/.f64 (.f64 y y) (.f64 t t)) (/.f64 (+.f64 x y) t)) (/.f64 (/.f64 (.f64 x x) (.f64 t t)) (/.f64 (+.f64 x y) t)))
(-.f64 (/.f64 (.f64 (/.f64 (.f64 y y) (.f64 t t)) (/.f64 y t)) (fma.f64 (/.f64 y t) (/.f64 y t) (fma.f64 (/.f64 x t) (/.f64 x t) (/.f64 (.f64 y x) (.f64 t t))))) (/.f64 (.f64 (/.f64 (.f64 x x) (.f64 t t)) (/.f64 x t)) (fma.f64 (/.f64 y t) (/.f64 y t) (fma.f64 (/.f64 x t) (/.f64 x t) (/.f64 (.f64 y x) (.f64 t t))))))
(-.f64 (/.f64 (.f64 t y) (.f64 t t)) (/.f64 (.f64 t x) (.f64 t t)))
(-.f64 (/.f64 y t) (/.f64 x t))
(/.f64 (neg.f64 (*.f64 (+.f64 x y) (-.f64 y x))) (neg.f64 (+.f64 x y)))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (neg.f64 (fma.f64 y y (fma.f64 x x (*.f64 y x)))))
(/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (+.f64 x y))
(/.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (fma.f64 y y (fma.f64 x x (*.f64 y x))))
(-.f64 (/.f64 (.f64 y y) (+.f64 x y)) (/.f64 (.f64 x x) (+.f64 x y)))
(-.f64 (/.f64 (.f64 (.f64 y y) y) (fma.f64 y y (fma.f64 x x (.f64 y x)))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 y y (fma.f64 x x (.f64 y x)))))
(-.f64 y x)
y
x
t
z
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 y (/.f64 z t)))
(*.f64 y (/.f64 z t))
(/.f64 (neg.f64 (neg.f64 (*.f64 z y))) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 (*.f64 z y)) (neg.f64 t))
(/.f64 (*.f64 z y) t)
(*.f64 z y)
(*.f64 y z)
#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 (neg.f64 z) (.f64 (+.f64 x y) (-.f64 y x))) (*.f64 (neg.f64 t) (+.f64 x y)))
(/.f64 (.f64 (neg.f64 z) (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 (neg.f64 t) (fma.f64 y y (fma.f64 x x (*.f64 y x)))))
(/.f64 (.f64 z (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 t (fma.f64 y y (fma.f64 x x (*.f64 y x)))))
(/.f64 (.f64 (.f64 (+.f64 x y) (-.f64 y x)) (neg.f64 z)) (*.f64 (+.f64 x y) (neg.f64 t)))
(/.f64 (.f64 (-.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (neg.f64 z)) (.f64 (fma.f64 y y (fma.f64 x 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 (fma.f64 x x (*.f64 y x))) t))
(/.f64 (neg.f64 (neg.f64 (*.f64 (-.f64 y x) z))) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 (*.f64 (-.f64 y x) z)) (neg.f64 t))
(/.f64 (.f64 (.f64 z (+.f64 x y)) (-.f64 y x)) (*.f64 t (+.f64 x y)))
(/.f64 (.f64 (.f64 z (+.f64 x y)) (-.f64 y x)) (*.f64 (+.f64 x y) t))
(/.f64 (*.f64 (-.f64 y x) z) t)
(/.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)) (/.f64 z t)) (.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)) (-.f64 (.f64 x x) (.f64 (.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)) x))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 #s(approx (- y x) (neg.f64 x)) z) (.f64 #s(approx (- y x) (neg.f64 x)) z)) (.f64 t 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 (.f64 (.f64 #s(approx (- y x) (neg.f64 x)) z) (.f64 #s(approx (- y x) (neg.f64 x)) z)) (.f64 t t)) (.f64 x (.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)))))))
(/.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 #s(approx (- y x) (neg.f64 x)) z) (.f64 #s(approx (- y x) (neg.f64 x)) 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 (.f64 #s(approx (- y x) (neg.f64 x)) z) (.f64 #s(approx (- y x) (neg.f64 x)) z)) (.f64 t t)) (.f64 x (.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t))))))
(fma.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t) x)
(-.f64 (/.f64 (.f64 x x) (-.f64 x (.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)))) (/.f64 (/.f64 (.f64 (.f64 #s(approx (- y x) (neg.f64 x)) z) (.f64 #s(approx (- y x) (neg.f64 x)) z)) (.f64 t t)) (-.f64 x (*.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)))))
(+.f64 (/.f64 (.f64 (.f64 x x) x) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 #s(approx (- y x) (neg.f64 x)) z) (.f64 #s(approx (- y x) (neg.f64 x)) z)) (.f64 t t)) (.f64 x (.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)))))) (/.f64 (pow.f64 (.f64 #s(approx (- y x) (neg.f64 x)) (/.f64 z t)) #s(literal 3 binary64)) (fma.f64 x x (-.f64 (/.f64 (.f64 (.f64 #s(approx (- y x) (neg.f64 x)) z) (.f64 #s(approx (- y x) (neg.f64 x)) z)) (.f64 t t)) (.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(approx (- y x) (neg.f64 x)) (/.f64 z t))
(/.f64 (neg.f64 (neg.f64 (*.f64 #s(approx (- y x) (neg.f64 x)) z))) (neg.f64 (neg.f64 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)
(*.f64 #s(approx (- y x) (neg.f64 x)) z)
(*.f64 z #s(approx (- y x) (neg.f64 x)))
#s(approx (- y x) (neg.f64 x))
(*.f64 #s(literal -1 binary64) x)
(*.f64 x #s(literal -1 binary64))
(neg.f64 x)
(/.f64 (+.f64 (pow.f64 (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 3 binary64)) (.f64 (.f64 x x) x)) (+.f64 (pow.f64 (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 2 binary64)) (-.f64 (.f64 x x) (.f64 (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) x))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (pow.f64 (/.f64 #s(approx ( (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 2 binary64)))) (neg.f64 (-.f64 x (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)))))
(/.f64 (neg.f64 (fma.f64 (.f64 x x) x (pow.f64 (/.f64 #s(approx ( (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x (-.f64 (pow.f64 (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 2 binary64)) (.f64 x (/.f64 #s(approx ( (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)))))))
(/.f64 (-.f64 (.f64 x x) (pow.f64 (/.f64 #s(approx ( (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 2 binary64))) (-.f64 x (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y))))
(/.f64 (fma.f64 (.f64 x x) x (pow.f64 (/.f64 #s(approx ( (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (pow.f64 (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 2 binary64)) (.f64 x (/.f64 #s(approx ( (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y))))))
(-.f64 (/.f64 (.f64 x x) (-.f64 x (/.f64 #s(approx ( (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)))) (/.f64 (pow.f64 (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 2 binary64)) (-.f64 x (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)))))
(+.f64 (/.f64 (.f64 (.f64 x x) x) (fma.f64 x x (-.f64 (pow.f64 (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 2 binary64)) (.f64 x (/.f64 #s(approx ( (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)))))) (/.f64 (pow.f64 (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 3 binary64)) (fma.f64 x x (-.f64 (pow.f64 (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) #s(literal 2 binary64)) (.f64 x (/.f64 #s(approx ( (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)))))))
(+.f64 (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)) x)
(+.f64 x (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y)))
(/.f64 (neg.f64 (neg.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))))) (neg.f64 (neg.f64 (+.f64 x y))))
(/.f64 (neg.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t)))) (neg.f64 (+.f64 x y)))
(/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))) (+.f64 x y))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t)))
(.f64 (/.f64 (.f64 (*.f64 x x) z) t) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 (.f64 (*.f64 x x) z) t))
(/.f64 (neg.f64 (neg.f64 (.f64 (.f64 x x) z))) (neg.f64 t))
(/.f64 (neg.f64 (.f64 #s(literal -1 binary64) (.f64 (*.f64 x x) z))) (neg.f64 t))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 (*.f64 x x) z)) t)
(/.f64 (neg.f64 (.f64 (.f64 x x) z)) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 (.f64 (.f64 x x) z)) t)
(/.f64 (.f64 (.f64 x x) z) (neg.f64 t))
(neg.f64 (/.f64 (.f64 (.f64 x x) z) t))
(.f64 (.f64 x x) (/.f64 z t))
(/.f64 (neg.f64 (neg.f64 (.f64 (.f64 x x) z))) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 (.f64 (.f64 x x) z)) (neg.f64 t))
(/.f64 (.f64 (.f64 x x) z) t)
(.f64 (.f64 x x) z)
(.f64 z (.f64 x x))
(.f64 x (.f64 z x))
(*.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 x x)
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(fabs.f64 (*.f64 x x))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 x) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 x) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (.f64 y y))) (neg.f64 (-.f64 x y)))
(/.f64 (neg.f64 (fma.f64 (.f64 y y) y (.f64 (.f64 x x) x))) (neg.f64 (fma.f64 y y (-.f64 (.f64 x x) (*.f64 y x)))))
(/.f64 (neg.f64 (fma.f64 (.f64 x x) x (.f64 (.f64 y y) y))) (neg.f64 (fma.f64 x x (-.f64 (.f64 y y) (*.f64 x y)))))
(/.f64 (neg.f64 (*.f64 (+.f64 x y) (-.f64 y x))) (neg.f64 (-.f64 y x)))
(/.f64 (-.f64 (.f64 x x) (.f64 y y)) (-.f64 x y))
(/.f64 (*.f64 (+.f64 x y) (-.f64 y x)) (-.f64 y x))
(/.f64 (fma.f64 (.f64 y y) y (.f64 (.f64 x x) x)) (fma.f64 y y (-.f64 (.f64 x x) (*.f64 y x))))
(/.f64 (fma.f64 (.f64 x x) x (.f64 (.f64 y y) y)) (fma.f64 x x (-.f64 (.f64 y y) (*.f64 x y))))
(-.f64 (/.f64 (.f64 x x) (-.f64 x y)) (/.f64 (.f64 y y) (-.f64 x 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 (.f64 x x) (.f64 y x)))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 y y (-.f64 (.f64 x x) (.f64 y x)))))
(+.f64 (/.f64 (.f64 (.f64 x x) x) (fma.f64 x x (-.f64 (.f64 y y) (.f64 x y)))) (/.f64 (.f64 (.f64 y y) y) (fma.f64 x x (-.f64 (.f64 y y) (.f64 x y)))))
(+.f64 x y)
(+.f64 y x)
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 y (/.f64 z t)))
#s(approx (+ x (* (- y x) (/ z t))) (fma.f64 (+.f64 (/.f64 (neg.f64 z) t) #s(literal 1 binary64)) x (*.f64 y (/.f64 z t))))
#s(approx (/ (- y x) t) (/.f64 y t))
#s(approx (/ (- y x) t) (/.f64 (+.f64 (neg.f64 x) y) t))
#s(approx (- y x) y)
#s(approx (- y x) (+.f64 (neg.f64 x) y))
#s(approx x x)
#s(approx (* (/ (- y x) t) z) (/.f64 (fma.f64 (neg.f64 x) z (*.f64 z y)) t))
#s(approx (* (- y x) z) (*.f64 z y))
#s(approx (* (- y x) z) (fma.f64 (neg.f64 x) z (*.f64 z y)))
#s(approx (neg x) (neg.f64 x))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (.f64 (.f64 y y) z) t))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (fma.f64 (.f64 y y) z (.f64 (.f64 (.f64 #s(literal 0 binary64) y) z) x)) t))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (fma.f64 (/.f64 (fma.f64 (.f64 #s(literal 0 binary64) y) z (.f64 (neg.f64 x) z)) t) x (/.f64 (.f64 (.f64 y y) z) t)))
#s(approx (neg (/ (* (* x x) z) t)) (/.f64 (.f64 (.f64 x x) z) (neg.f64 t)))
#s(approx (/ (* (* x x) z) t) (/.f64 (.f64 (.f64 x x) z) t))
#s(approx (* (* x x) z) (.f64 (.f64 x x) z))
#s(approx (* x x) (*.f64 x x))
#s(approx (+ y x) (+.f64 x y))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (+.f64 (/.f64 (neg.f64 z) t) #s(literal 1 binary64)) x))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 (+.f64 (fma.f64 y (/.f64 z (.f64 t x)) (/.f64 (neg.f64 z) t)) #s(literal 1 binary64)) 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) t) z) (/.f64 (*.f64 (neg.f64 x) z) t))
#s(approx (* (/ (- y x) t) z) (.f64 (fma.f64 y (/.f64 z (.f64 t x)) (/.f64 (neg.f64 z) t)) x))
#s(approx (* (- y x) z) (*.f64 (neg.f64 x) z))
#s(approx (* (- y x) z) (*.f64 (fma.f64 y (/.f64 z x) (neg.f64 z)) x))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (fma.f64 z (/.f64 (.f64 #s(literal 0 binary64) y) (.f64 t x)) (/.f64 (neg.f64 z) t)) (.f64 x x)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (+.f64 (fma.f64 (.f64 y y) (/.f64 z (.f64 (.f64 x x) t)) (/.f64 (.f64 (.f64 #s(literal 0 binary64) y) z) (.f64 t x))) (/.f64 (neg.f64 z) t)) (.f64 x x)))
#s(approx (+ y x) (*.f64 (+.f64 (/.f64 y x) #s(literal 1 binary64)) x))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (neg.f64 x) (-.f64 (/.f64 z t) #s(literal 1 binary64))))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 (neg.f64 x) (-.f64 (+.f64 (neg.f64 (.f64 y (/.f64 z (*.f64 t x)))) (/.f64 z t)) #s(literal 1 binary64))))
#s(approx (/ (- y x) t) (.f64 (neg.f64 x) (+.f64 (/.f64 (neg.f64 y) (.f64 t x)) (/.f64 #s(literal 1 binary64) t))))
#s(approx (- y x) (*.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) (/.f64 y x))))
#s(approx (* (/ (- y x) t) z) (.f64 (neg.f64 x) (+.f64 (neg.f64 (.f64 y (/.f64 z (*.f64 t x)))) (/.f64 z t))))
#s(approx (* (- y x) z) (.f64 (neg.f64 x) (+.f64 (neg.f64 (/.f64 (.f64 z y) x)) z)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (+.f64 (neg.f64 (/.f64 (.f64 (.f64 #s(literal 0 binary64) y) z) (.f64 t x))) (/.f64 (neg.f64 z) t)) (*.f64 x x)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (+.f64 (neg.f64 (/.f64 (fma.f64 z (/.f64 (.f64 #s(literal 0 binary64) y) t) (neg.f64 (.f64 (.f64 y y) (/.f64 z (.f64 t x))))) x)) (/.f64 (neg.f64 z) t)) (.f64 x x)))
#s(approx (+ y x) (*.f64 (neg.f64 x) (-.f64 (/.f64 (neg.f64 y) x) #s(literal 1 binary64))))
#s(approx (+ x (* (- y x) (/ z t))) (+.f64 (/.f64 (*.f64 (neg.f64 x) z) t) x))
#s(approx (+ x (* (- y x) (/ z t))) (+.f64 (/.f64 (fma.f64 (neg.f64 x) z (*.f64 z y)) t) x))
#s(approx (- y x) (-.f64 y x))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (/.f64 (fma.f64 (.f64 (.f64 #s(literal 0 binary64) x) z) y (neg.f64 (.f64 (.f64 x x) z))) t))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (fma.f64 (/.f64 (fma.f64 (.f64 #s(literal 0 binary64) x) z (.f64 z y)) t) y (/.f64 (.f64 (.f64 x x) z) (neg.f64 t))))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 (/.f64 (fma.f64 (neg.f64 x) z (fma.f64 t x (.f64 z y))) (*.f64 t y)) y))
#s(approx (/ (- y x) t) (.f64 (+.f64 (/.f64 (neg.f64 x) (.f64 t y)) (/.f64 #s(literal 1 binary64) 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 (/.f64 (neg.f64 x) y) (/.f64 z t) (/.f64 z t)) y))
#s(approx (* (- y x) z) (.f64 (-.f64 z (/.f64 (.f64 z x) y)) y))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (fma.f64 z (/.f64 (.f64 #s(literal 0 binary64) x) (.f64 t y)) (/.f64 z t)) (.f64 y y)))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (+.f64 (neg.f64 (.f64 (.f64 x x) (/.f64 z (.f64 (.f64 y y) t)))) (fma.f64 z (/.f64 (.f64 #s(literal 0 binary64) x) (.f64 t y)) (/.f64 z t))) (.f64 y y)))
#s(approx (+ y x) (*.f64 (+.f64 (/.f64 x y) #s(literal 1 binary64)) y))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 (neg.f64 y) (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 (.f64 (neg.f64 x) z) t) x) y)) (/.f64 (neg.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 (neg.f64 y) (-.f64 (/.f64 x y) #s(literal 1 binary64))))
#s(approx (* (/ (- y x) t) z) (.f64 (neg.f64 y) (fma.f64 x (/.f64 z (.f64 t y)) (/.f64 (neg.f64 z) t))))
#s(approx (* (- y x) z) (*.f64 (neg.f64 y) (fma.f64 x (/.f64 z y) (neg.f64 z))))
#s(approx (* (/ z t) (* (+ y x) (- y x))) (.f64 (+.f64 (neg.f64 (/.f64 (fma.f64 (.f64 x x) (/.f64 z (.f64 t y)) (neg.f64 (/.f64 (.f64 (.f64 #s(literal 0 binary64) x) z) t))) y)) (/.f64 z t)) (.f64 y y)))
#s(approx (+ y x) (*.f64 (neg.f64 y) (-.f64 (/.f64 (neg.f64 x) y) #s(literal 1 binary64))))
#s(approx (+ x (* (- y x) (/ z t))) (fma.f64 (/.f64 (-.f64 y x) t) z x))
#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) (- y x))) (.f64 (.f64 (/.f64 z t) (+.f64 x y)) (-.f64 y 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 x z) (/.f64 (-.f64 y x) t)) z))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (neg.f64 z) (+.f64 (neg.f64 (/.f64 (-.f64 y x) t)) (/.f64 (neg.f64 x) z))))
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (fma.f64 (-.f64 y x) z (*.f64 t x)) t))
#s(approx (/ (- y x) t) (/.f64 (-.f64 y x) t))
#s(approx t t)
#s(approx (+ x (* (- y x) (/ z t))) (fma.f64 (/.f64 (-.f64 y x) t) z x))

eval1.2s (28%)

Memory: -32.8MiB live, 59.3MiB allocated; 1.6s collecting garbage
Compiler: Compiled 2 956 to 1 034 computations (65% saved)

prune11.0ms (0.2%)

Memory

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

Pruning

16 alts after pruning (12 fresh and 4 done)

	Pruned	Kept	Total
New	239	9	248
Fresh	5	3	8
Picked	3	2	5
Done	1	2	3
Total	248	16	264

Accuracy

100.0%

Counts

264 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
	73.5%	(fma.f64 (/.f64 #s(approx (- y x) y) t) z x)
✓	98.7%	(fma.f64 (/.f64 z t) (-.f64 y x) x)
▶	78.9%	(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)
▶	64.1%	(fma.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z x)
	63.3%	(+.f64 x (/.f64 (.f64 (.f64 t (-.f64 y x)) z) (*.f64 t t)))
✓	47.0%	(+.f64 x (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (neg.f64 (/.f64 (.f64 (.f64 x x) z) t))) (+.f64 y x)))
	58.8%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 (-.f64 y x) z) t))
✓	39.7%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 y z) t))
	52.1%	#s(approx (+ x (* (- y x) (/ z t))) (.f64 (/.f64 #s(approx (- y x) (.f64 (-.f64 (/.f64 y x) #s(literal 1 binary64)) x)) t) z))
▶	38.8%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 #s(approx (- y x) y) t) z))
✓	42.7%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
▶	67.7%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))
▶	29.5%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))
	51.8%	#s(approx (+ x (* (- y x) (/ z t))) (.f64 #s(approx (/ (- y x) t) (.f64 (-.f64 (/.f64 y (*.f64 t x)) (/.f64 #s(literal 1 binary64) t)) x)) z))
	28.5%	#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (/.f64 (*.f64 (neg.f64 x) z) t)))
	48.1%	#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (.f64 (fma.f64 y (/.f64 z (.f64 t x)) (/.f64 (neg.f64 z) t)) x)))

Compiler

Compiled 366 to 354 computations (3.3% saved)

series74.0ms (1.7%)

Memory

-131.3MiB live, 13.3MiB allocated; 23ms collecting garbage

Counts

20 → 53

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

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 (* (- 1 (/ z t)) x) #s(hole binary64 (* x (- 1 (/ z t)))))
#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 (+ (* (/ 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 (+ (* (/ 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 (+ (* (/ 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 (+ (* (/ 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 (- 1 (/ z t)) #s(hole binary64 1))
#s(approx (- 1 (/ z t)) #s(hole binary64 (+ 1 (* -1 (/ z t)))))
#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 (* (- 1 (/ z t)) x) #s(hole binary64 (* z (+ (* -1 (/ x t)) (/ x z)))))
#s(approx (- 1 (/ z t)) #s(hole binary64 (* -1 (/ z t))))
#s(approx (- 1 (/ z t)) #s(hole binary64 (* z (- (/ 1 z) (/ 1 t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (* -1 (/ (- y x) t)))))))
#s(approx (* (- 1 (/ z t)) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (/ x t))))))
#s(approx (- 1 (/ z t)) #s(hole binary64 (* -1 (* z (- (/ 1 t) (/ 1 z))))))
#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 (/ z t)) x) #s(hole binary64 (/ (+ (* -1 (* x z)) (* t x)) t)))
#s(approx (- 1 (/ z t)) #s(hole binary64 (/ (- t z) t)))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (+ x (/ (* z (- y x)) t))))

Calls

12 calls:

Time	Variable		Point	Expression
58.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))) (* (- 1 (/ z t)) x) (- 1 (/ z t)) 1 (+ (* (/ (- y x) t) z) x))
2.0ms	x	@	-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))) (* (- 1 (/ z t)) x) (- 1 (/ z t)) 1 (+ (* (/ (- y x) t) z) x))
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))) (* (- 1 (/ z t)) x) (- 1 (/ z t)) 1 (+ (* (/ (- y x) t) z) x))
2.0ms	x	@	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))) (* (- 1 (/ z t)) x) (- 1 (/ z t)) 1 (+ (* (/ (- y x) t) z) x))
2.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))) (* (- 1 (/ z t)) x) (- 1 (/ z t)) 1 (+ (* (/ (- y x) t) z) x))

rewrite187.0ms (4.2%)

Memory

5.4MiB live, 195.2MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	198	1031
0	213	978
1	1042	951
0	8853	918

Stop Event

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

Counts

73 → 206

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)
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x)
(-.f64 #s(literal 1 binary64) (/.f64 z t))
#s(literal 1 binary64)
(fma.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z x)
#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 (* (- 1 (/ z t)) x) #s(hole binary64 (* x (- 1 (/ z t)))))
#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 (+ (* (/ 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 (+ (* (/ 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 (+ (* (/ 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 (+ (* (/ 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 (- 1 (/ z t)) #s(hole binary64 1))
#s(approx (- 1 (/ z t)) #s(hole binary64 (+ 1 (* -1 (/ z t)))))
#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 (* (- 1 (/ z t)) x) #s(hole binary64 (* z (+ (* -1 (/ x t)) (/ x z)))))
#s(approx (- 1 (/ z t)) #s(hole binary64 (* -1 (/ z t))))
#s(approx (- 1 (/ z t)) #s(hole binary64 (* z (- (/ 1 z) (/ 1 t)))))
#s(approx (+ (* (/ z t) (- y x)) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (* -1 (/ (- y x) t)))))))
#s(approx (* (- 1 (/ z t)) x) #s(hole binary64 (* -1 (* z (+ (* -1 (/ x z)) (/ x t))))))
#s(approx (- 1 (/ z t)) #s(hole binary64 (* -1 (* z (- (/ 1 t) (/ 1 z))))))
#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 (/ z t)) x) #s(hole binary64 (/ (+ (* -1 (* x z)) (* t x)) t)))
#s(approx (- 1 (/ z t)) #s(hole binary64 (/ (- t z) t)))
#s(approx (+ (* (/ z t) (- y x)) 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 (/.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) #s(approx (- y x) y)) (/.f64 (.f64 z z) (.f64 t t))) (.f64 x (.f64 (/.f64 #s(approx (- y x) y) t) z)))))
(/.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 (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 (.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 (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)))))
(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 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 (/.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 #s(approx (- y x) y) t) z) x)
(+.f64 x (*.f64 (/.f64 #s(approx (- y x) y) t) z))
(*.f64 #s(literal 1 binary64) (/.f64 z t))
(*.f64 (/.f64 z t) #s(literal 1 binary64))
(/.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 (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 (*.f64 z (neg.f64 #s(approx (- y x) y))) (neg.f64 t))
(/.f64 (*.f64 #s(approx (- y x) y) (neg.f64 z)) (neg.f64 t))
(/.f64 (*.f64 (neg.f64 #s(approx (- y x) y)) z) (neg.f64 t))
(/.f64 (*.f64 (neg.f64 z) #s(approx (- y x) y)) (neg.f64 t))
(/.f64 (neg.f64 (*.f64 #s(approx (- y x) y) z)) (neg.f64 t))
(/.f64 (neg.f64 (*.f64 z #s(approx (- y x) y))) (neg.f64 t))
(/.f64 (*.f64 #s(approx (- y x) y) z) t)
(/.f64 (*.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)
#s(approx (+ (* (/ z t) (- y x)) x) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))
(.f64 (.f64 (-.f64 (/.f64 z t) #s(literal 1 binary64)) x) #s(literal -1 binary64))
(*.f64 (-.f64 (/.f64 z t) #s(literal 1 binary64)) (neg.f64 x))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x)
(.f64 #s(literal -1 binary64) (.f64 (-.f64 (/.f64 z t) #s(literal 1 binary64)) x))
(*.f64 (neg.f64 x) (-.f64 (/.f64 z t) #s(literal 1 binary64)))
(*.f64 x (-.f64 #s(literal 1 binary64) (/.f64 z t)))
(/.f64 (.f64 x (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) t)))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 z t) (-.f64 (/.f64 z t) #s(literal -1 binary64)))))
(/.f64 (.f64 x (-.f64 #s(literal 1 binary64) (/.f64 (.f64 z z) (*.f64 t t)))) (+.f64 #s(literal 1 binary64) (/.f64 z t)))
(/.f64 (*.f64 (neg.f64 x) (fma.f64 (/.f64 z t) (/.f64 z t) #s(literal -1 binary64))) (-.f64 (/.f64 z t) #s(literal -1 binary64)))
(/.f64 (.f64 (neg.f64 x) (fma.f64 (/.f64 (.f64 z z) (*.f64 t t)) (/.f64 z t) #s(literal -1 binary64))) (fma.f64 (/.f64 z t) (/.f64 z t) (+.f64 #s(literal 1 binary64) (/.f64 z t))))
(/.f64 (-.f64 (/.f64 (.f64 (.f64 x x) (.f64 z z)) (.f64 t t)) (.f64 x x)) (-.f64 (.f64 (/.f64 (neg.f64 x) t) z) x))
(/.f64 (+.f64 (pow.f64 (.f64 (/.f64 (neg.f64 x) t) z) #s(literal 3 binary64)) (.f64 (.f64 x x) x)) (fma.f64 (.f64 (/.f64 z t) x) (.f64 (/.f64 z t) x) (-.f64 (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 x) t) z) x))))
(/.f64 (-.f64 (.f64 (.f64 x x) x) (pow.f64 (.f64 (/.f64 z t) x) #s(literal 3 binary64))) (fma.f64 x x (fma.f64 (.f64 (/.f64 z t) x) (.f64 (/.f64 z t) x) (.f64 x (*.f64 (/.f64 z t) x)))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 z z) (*.f64 t t))) x) (+.f64 #s(literal 1 binary64) (/.f64 z t)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) t))) x) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 z t) (-.f64 (/.f64 z t) #s(literal -1 binary64)))))
(/.f64 (fma.f64 (.f64 (neg.f64 x) z) t (.f64 t (.f64 x t))) (.f64 t t))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 x x) (.f64 z z)) (.f64 t t)))) (neg.f64 (+.f64 x (.f64 (/.f64 z t) x))))
(/.f64 (neg.f64 (fma.f64 (.f64 x x) x (pow.f64 (.f64 (/.f64 (neg.f64 x) t) z) #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x (.f64 (.f64 (/.f64 (neg.f64 x) t) z) (-.f64 (*.f64 (/.f64 (neg.f64 x) t) z) x)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (.f64 x t) (.f64 x z)))) (neg.f64 (neg.f64 t)))
(/.f64 (-.f64 (.f64 x x) (/.f64 (.f64 (.f64 x x) (.f64 z z)) (.f64 t t))) (+.f64 x (.f64 (/.f64 z t) x)))
(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 z z)) (.f64 (.f64 x x) (.f64 t t))) (.f64 (-.f64 (.f64 (neg.f64 x) z) (*.f64 x t)) t))
(/.f64 (fma.f64 (.f64 x x) x (pow.f64 (.f64 (/.f64 (neg.f64 x) t) z) #s(literal 3 binary64))) (fma.f64 x x (.f64 (.f64 (/.f64 (neg.f64 x) t) z) (-.f64 (*.f64 (/.f64 (neg.f64 x) t) z) x))))
(/.f64 (fma.f64 (.f64 (.f64 x x) (neg.f64 x)) (.f64 (.f64 z z) z) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 t t) t))) (.f64 (fma.f64 (.f64 x x) (.f64 z z) (.f64 (.f64 x t) (-.f64 (.f64 x t) (.f64 (neg.f64 x) z)))) t))
(/.f64 (neg.f64 (-.f64 (.f64 x t) (.f64 x z))) (neg.f64 t))
(/.f64 (-.f64 (.f64 x t) (.f64 x z)) t)
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (-.f64 (/.f64 z t) #s(literal 1 binary64)) x)))
(neg.f64 (.f64 (.f64 (-.f64 (/.f64 z t) #s(literal 1 binary64)) x) #s(literal 1 binary64)))
(neg.f64 (/.f64 (-.f64 (.f64 x t) (.f64 x z)) (neg.f64 t)))
(neg.f64 (/.f64 (neg.f64 (-.f64 (.f64 x t) (.f64 x z))) t))
(neg.f64 (*.f64 (-.f64 (/.f64 z t) #s(literal 1 binary64)) x))
(fma.f64 (/.f64 (neg.f64 x) t) z x)
(fma.f64 (*.f64 (/.f64 z t) x) #s(literal -1 binary64) x)
(fma.f64 (*.f64 x z) (/.f64 #s(literal -1 binary64) t) x)
(fma.f64 (/.f64 (neg.f64 z) t) x x)
(fma.f64 #s(literal -1 binary64) (*.f64 (/.f64 z t) x) x)
(fma.f64 (neg.f64 x) (/.f64 z t) x)
(fma.f64 x (/.f64 (neg.f64 z) t) x)
(fma.f64 z (/.f64 (neg.f64 x) t) x)
(-.f64 (/.f64 (.f64 x x) (+.f64 x (.f64 (/.f64 z t) x))) (/.f64 (/.f64 (.f64 (.f64 x x) (.f64 z z)) (.f64 t t)) (+.f64 x (*.f64 (/.f64 z t) x))))
(-.f64 (.f64 (/.f64 (neg.f64 x) t) z) (/.f64 (.f64 (neg.f64 t) x) t))
(-.f64 x (.f64 (.f64 (/.f64 (neg.f64 x) t) z) #s(literal -1 binary64)))
(-.f64 x (*.f64 (/.f64 z t) x))
(+.f64 (/.f64 (.f64 (.f64 x x) x) (fma.f64 x x (.f64 (.f64 (/.f64 (neg.f64 x) t) z) (-.f64 (.f64 (/.f64 (neg.f64 x) t) z) x)))) (/.f64 (pow.f64 (.f64 (/.f64 (neg.f64 x) t) z) #s(literal 3 binary64)) (fma.f64 x x (.f64 (.f64 (/.f64 (neg.f64 x) t) z) (-.f64 (*.f64 (/.f64 (neg.f64 x) t) z) x)))))
(+.f64 (*.f64 (/.f64 (neg.f64 x) t) z) x)
(+.f64 x (*.f64 (/.f64 (neg.f64 x) t) z))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (/.f64 z t)))
(/.f64 (fma.f64 (/.f64 (.f64 z z) (.f64 t t)) (/.f64 (neg.f64 z) t) #s(literal 1 binary64)) (fma.f64 (/.f64 z t) (/.f64 z t) (+.f64 #s(literal 1 binary64) (/.f64 z t))))
(/.f64 (-.f64 (.f64 t (neg.f64 t)) (.f64 t (neg.f64 z))) (*.f64 t (neg.f64 t)))
(/.f64 (-.f64 (.f64 t t) (.f64 t z)) (*.f64 t t))
(/.f64 (neg.f64 (neg.f64 (-.f64 t z))) (neg.f64 (neg.f64 t)))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) t)))) (neg.f64 (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 z t) (-.f64 (/.f64 z t) #s(literal -1 binary64))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 z z) (.f64 t t)))) (neg.f64 (+.f64 #s(literal 1 binary64) (/.f64 z t))))
(/.f64 (fma.f64 (/.f64 z t) (/.f64 z t) #s(literal -1 binary64)) (-.f64 (/.f64 (neg.f64 z) t) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 z z) (.f64 t t))) (+.f64 #s(literal 1 binary64) (/.f64 z t)))
(/.f64 (.f64 (+.f64 t z) (-.f64 t z)) (.f64 (+.f64 t z) t))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) t))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 z t) (-.f64 (/.f64 z t) #s(literal -1 binary64)))))
(/.f64 (-.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z)) (.f64 (fma.f64 t t (.f64 z (+.f64 z t))) t))
(/.f64 (neg.f64 (-.f64 t z)) (neg.f64 t))
(/.f64 (-.f64 t z) t)
(neg.f64 (+.f64 #s(literal -1 binary64) (/.f64 z t)))
(neg.f64 (/.f64 (-.f64 t z) (neg.f64 t)))
(neg.f64 (/.f64 (neg.f64 (-.f64 t z)) t))
(neg.f64 (-.f64 (/.f64 z t) #s(literal 1 binary64)))
(fma.f64 #s(literal -1 binary64) (/.f64 z t) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 (neg.f64 z) t) #s(literal 1 binary64))
(fma.f64 (/.f64 z t) #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 z t))) (/.f64 (/.f64 (.f64 z z) (.f64 t t)) (+.f64 #s(literal 1 binary64) (/.f64 z t))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 z t) (-.f64 (/.f64 z t) #s(literal -1 binary64))))) (/.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) t)) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 z t) (-.f64 (/.f64 z t) #s(literal -1 binary64))))))
(-.f64 (/.f64 (neg.f64 z) t) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (/.f64 (neg.f64 z) t) #s(literal -1 binary64)))
(-.f64 #s(literal 1 binary64) (/.f64 z t))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 z t) (-.f64 (/.f64 z t) #s(literal -1 binary64))))) (/.f64 (neg.f64 (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) t))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 z t) (-.f64 (/.f64 z t) #s(literal -1 binary64))))))
(+.f64 (/.f64 (neg.f64 z) t) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (/.f64 (neg.f64 z) t))
#s(literal 1 binary64)
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t))) (.f64 z z))) (-.f64 x (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z)))
(/.f64 (fma.f64 (.f64 x x) x (pow.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t))) (.f64 z z)) (.f64 x (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z)))))
(/.f64 (neg.f64 (.f64 (fma.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z x) (-.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) x))) (neg.f64 (-.f64 (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) x)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) #s(literal 3 binary64)) (.f64 (.f64 x x) x))) (neg.f64 (fma.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t))) (.f64 z z) (.f64 x (-.f64 x (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))))))
(/.f64 (.f64 (fma.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z x) (-.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) x)) (-.f64 (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) x))
(/.f64 (+.f64 (pow.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) #s(literal 3 binary64)) (.f64 (.f64 x x) x)) (fma.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t))) (.f64 z z) (.f64 x (-.f64 x (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z)))))
(fma.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z x)
(fma.f64 z #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) x)
(-.f64 (/.f64 (.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t))) (.f64 z z)) (-.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) x)) (/.f64 (.f64 x x) (-.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) x)))
(-.f64 x (*.f64 (neg.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t))) z))
(-.f64 x (*.f64 (neg.f64 z) #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t))))
(+.f64 (/.f64 (pow.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) #s(literal 3 binary64)) (fma.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t))) (.f64 z z) (.f64 x (-.f64 x (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 (.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t))) (.f64 z z) (.f64 x (-.f64 x (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))))))
(+.f64 (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z) x)
(+.f64 x (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))
#s(approx (+ (* (/ z t) (- y x)) x) (*.f64 (/.f64 z t) y))
#s(approx (+ (* (/ z t) (- y x)) x) (+.f64 (/.f64 (fma.f64 (neg.f64 z) x (*.f64 y z)) t) x))
#s(approx (- y x) y)
#s(approx (- y x) (-.f64 y x))
#s(approx x x)
#s(approx (* (/ (- y x) t) z) (/.f64 (fma.f64 (neg.f64 z) x (*.f64 y z)) t))
#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 (* (- 1 (/ z t)) x) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) 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 (/.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 x) t) z))
#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 (+ (* (/ 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 (+ (* (/ z t) (- y x)) x) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))
#s(approx (+ (* (/ z t) (- y x)) x) (+.f64 (/.f64 (fma.f64 (neg.f64 z) x (*.f64 y z)) t) 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 (+ (* (/ z t) (- y x)) x) (*.f64 (neg.f64 y) (-.f64 (/.f64 (fma.f64 (/.f64 x t) z (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 (+ (* (/ 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 (- 1 (/ z t)) #s(literal 1 binary64))
#s(approx (- 1 (/ z t)) (-.f64 #s(literal 1 binary64) (/.f64 z t)))
#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 (* (- 1 (/ z t)) x) (*.f64 (+.f64 (/.f64 x z) (/.f64 (neg.f64 x) t)) z))
#s(approx (- 1 (/ z t)) (/.f64 (neg.f64 z) t))
#s(approx (- 1 (/ z t)) (/.f64 (.f64 z (-.f64 t z)) (.f64 z t)))
#s(approx (+ (* (/ z t) (- y x)) x) (*.f64 (neg.f64 z) (-.f64 (/.f64 (neg.f64 x) z) (/.f64 (-.f64 y x) t))))
#s(approx (* (- 1 (/ z t)) x) (*.f64 (neg.f64 z) (+.f64 (/.f64 (neg.f64 x) z) (/.f64 x t))))
#s(approx (- 1 (/ z t)) (.f64 (neg.f64 z) (/.f64 (-.f64 z t) (.f64 t z))))
#s(approx (+ (* (/ z t) (- y x)) x) (fma.f64 (/.f64 (-.f64 y x) t) z x))
#s(approx t t)
#s(approx (/ (- y x) t) (/.f64 (-.f64 y x) t))
#s(approx (* (- 1 (/ z t)) x) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))
#s(approx (- 1 (/ z t)) (-.f64 #s(literal 1 binary64) (/.f64 z t)))
#s(approx (+ (* (/ z t) (- y x)) x) (fma.f64 (/.f64 (-.f64 y x) t) z x))

eval54.0ms (1.2%)

Memory: -2.3MiB live, 42.3MiB allocated; 6ms collecting garbage
Compiler: Compiled 1 911 to 736 computations (61.5% saved)

prune24.0ms (0.5%)

Memory

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

Pruning

19 alts after pruning (11 fresh and 8 done)

	Pruned	Kept	Total
New	203	6	209
Fresh	2	5	7
Picked	1	4	5
Done	0	4	4
Total	206	19	225

Accuracy

100.0%

Counts

225 → 19

Alt Table

Click to see full alt table

Status	Accuracy	Program
	73.5%	(fma.f64 (/.f64 #s(approx (- y x) y) t) z x)
✓	98.7%	(fma.f64 (/.f64 z t) (-.f64 y x) x)
✓	78.9%	(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)
	63.3%	(+.f64 x (/.f64 (.f64 (.f64 t (-.f64 y x)) z) (*.f64 t t)))
✓	47.0%	(+.f64 x (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (neg.f64 (/.f64 (.f64 (.f64 x x) z) t))) (+.f64 y x)))
	58.8%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 (-.f64 y x) z) t))
✓	39.7%	#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 y z) t))
	67.7%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 (-.f64 t z) t) x))
	52.1%	#s(approx (+ x (* (- y x) (/ z t))) (.f64 (/.f64 #s(approx (- y x) (.f64 (-.f64 (/.f64 y x) #s(literal 1 binary64)) x)) t) z))
✓	38.8%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 #s(approx (- y x) y) t) z))
✓	42.7%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (/.f64 z t) y))
✓	67.7%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 z t)) x))
✓	29.5%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (/ (- y x) t) (/.f64 (neg.f64 x) t)) z))
	51.8%	#s(approx (+ x (* (- y x) (/ z t))) (.f64 #s(approx (/ (- y x) t) (.f64 (-.f64 (/.f64 y (*.f64 x t)) (/.f64 #s(literal 1 binary64) t)) x)) z))
	29.5%	#s(approx (+ x (* (- y x) (/ z t))) (.f64 #s(approx (/ (- y x) t) (.f64 x (/.f64 #s(literal -1 binary64) t))) z))
	31.4%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (- 1 (/ z t)) (/.f64 (neg.f64 z) t)) x))
	39.3%	#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (- 1 (/ z t)) #s(literal 1 binary64)) x))
	28.5%	#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (/.f64 (*.f64 (neg.f64 x) z) t)))
	47.4%	#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 502 to 398 computations (20.7% saved)

regimes139.0ms (3.2%)

Memory

-17.7MiB live, 122.4MiB allocated; 25ms collecting garbage

Counts

36 → 1

Calls

Call 1

Inputs
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (- 1 (/ z t)) #s(literal 1 binary64)) x))
#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))) #s(approx (* (/ (- y x) t) z) (/.f64 (*.f64 (neg.f64 x) z) t)))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (- 1 (/ z t)) (/.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))
(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 t 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))
(+.f64 x (*.f64 #s(approx (- y x) y) (/.f64 z t)))
(+.f64 x (/.f64 (*.f64 #s(approx (- y x) y) z) t))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 #s(approx (/ (- y x) t) (.f64 x (/.f64 #s(literal -1 binary64) t))) z))
(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))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 (/.f64 #s(approx (- y x) (.f64 (-.f64 (/.f64 y x) #s(literal 1 binary64)) x)) t) z))
(fma.f64 (/.f64 z t) #s(approx (- y x) (*.f64 (-.f64 (/.f64 y x) #s(literal 1 binary64)) x)) x)
(+.f64 x (/.f64 (.f64 (.f64 t (-.f64 y x)) z) (*.f64 t t)))
#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))) (.f64 #s(approx (/ (- y x) t) (.f64 (-.f64 (/.f64 y (*.f64 t x)) (/.f64 #s(literal 1 binary64) t)) x)) z))
#s(approx (+ x (* (- y x) (/ z t))) (.f64 #s(approx (/ (- y x) t) (.f64 (-.f64 (/.f64 y (*.f64 x t)) (/.f64 #s(literal 1 binary64) t)) x)) z))
#s(approx (+ x (* (- y x) (/ z t))) #s(approx (* (/ (- y x) t) z) (.f64 (fma.f64 y (/.f64 z (.f64 t x)) (/.f64 (neg.f64 z) t)) x)))
(+.f64 x (/.f64 #s(approx (* (/ z t) (* (+ y x) (- y x))) (neg.f64 (/.f64 (.f64 (.f64 x x) z) t))) (+.f64 y 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 z t) (.f64 (+.f64 y x) (-.f64 y x))) (+.f64 y x)))
(+.f64 x (/.f64 (.f64 (.f64 (/.f64 (+.f64 y x) t) (/.f64 (-.f64 y x) t)) z) (/.f64 (+.f64 y x) t)))
(+.f64 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)))))

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

Calls

6 calls:

42.0ms	t
36.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
20.0ms	z
17.0ms	y
12.0ms	x

Results

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

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes38.0ms (0.8%)

Memory

23.8MiB live, 67.7MiB allocated; 4ms collecting garbage

Counts

20 → 3

Calls

Call 1

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

6 calls:

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

Results

Accuracy	Segments	Branch
96.0%	3	`(/.f64 z t)`
88.8%	3	`(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))`
86.5%	3	`x`
90.4%	3	`y`
87.0%	3	`z`
89.2%	3	`t`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes9.0ms (0.2%)

Memory

-29.5MiB live, 16.4MiB allocated; 2ms collecting garbage

Counts

11 → 3

Calls

Call 1

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

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

Calls

2 calls:

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

Results

Accuracy	Segments	Branch
90.4%	3	`y`
84.8%	4	`(/.f64 z t)`

Compiler

Compiled 4 to 9 computations (-125% saved)

regimes4.0ms (0.1%)

Memory

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

Counts

10 → 3

Calls

Call 1

Inputs
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (- 1 (/ z t)) #s(literal 1 binary64)) x))
#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))) #s(approx (* (/ (- y x) t) z) (/.f64 (*.f64 (neg.f64 x) z) t)))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (- 1 (/ z t)) (/.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))
(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
(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))
(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
90.3%	3	`y`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes28.0ms (0.6%)

Memory

-11.4MiB live, 34.8MiB allocated; 3ms collecting garbage

Counts

9 → 4

Calls

Call 1

Inputs
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (- 1 (/ z t)) #s(literal 1 binary64)) x))
#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))) #s(approx (* (/ (- y x) t) z) (/.f64 (*.f64 (neg.f64 x) z) t)))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (- 1 (/ z t)) (/.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))
(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 (- 1 (/ z t)) (/.f64 (neg.f64 z) t)) x))
#s(approx (+ x (* (- y x) (/ z t))) (/.f64 (*.f64 y z) t))
#s(approx (+ x (* (- y x) (/ z t))) (*.f64 #s(approx (- 1 (/ z t)) (/.f64 (neg.f64 z) t)) x))
(fma.f64 (/.f64 z t) #s(approx (- y x) y) x)

Calls

6 calls:

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

Results

Accuracy	Segments	Branch
84.8%	4	`(/.f64 z t)`
78.9%	1	`x`
78.9%	1	`z`
78.9%	1	`(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))`
82.7%	3	`t`
78.9%	1	`y`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes15.0ms (0.3%)

Memory

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

Counts

7 → 5

Calls

Call 1

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

Calls

6 calls:

2.0ms	z
2.0ms	t
2.0ms	x
2.0ms	y
2.0ms	(/.f64 z t)

Results

Accuracy	Segments	Branch
60.3%	4	`z`
58.2%	5	`x`
61.2%	3	`y`
59.3%	3	`(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))`
65.9%	5	`t`
74.5%	5	`(/.f64 z t)`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes2.0ms (0.1%)

Memory

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

Counts

5 → 4

Calls

Call 1

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

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

Calls

1 calls:

2.0ms

(/.f64 z t)

Results

Accuracy	Segments	Branch
72.2%	4	`(/.f64 z t)`

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes2.0ms (0%)

Memory

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

Counts

4 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

1 calls:

2.0ms

(/.f64 z t)

Results

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

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes30.0ms (0.7%)

Memory

-35.8MiB live, 16.9MiB allocated; 7ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

6 calls:

25.0ms	t
1.0ms	x
1.0ms	y
1.0ms	z
1.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))

Results

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

Compiler

Compiled 15 to 29 computations (-93.3% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	6142934.464521289	2459833118.946433
0.0ms	-3.187117976394261e+37	-4.0213810039831577e+30

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch13.0ms (0.3%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
3.0ms	413669157051.5346	462627182648.9987
9.0ms	-1.2610950963620629e-101	-2.271119690207384e-104

Samples

6.0ms

160×

valid

Compiler

Compiled 212 to 235 computations (-10.8% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
0.0ms	413669157051.5346	462627182648.9987
1.0ms	-1.2610950963620629e-101	-2.271119690207384e-104

Compiler

Compiled 222 to 245 computations (-10.4% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	-3.187117976394261e+37	-4.0213810039831577e+30
0.0ms	-1.9630698761218154e+181	-7.431360859549885e+180
0.0ms	-8.203654439607148e+243	-7.818045901556343e+235

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	1.0644513134132987e-25	1.9090552599652062e-24
0.0ms	-1078182.5714556298	-5.1128320613923005e-6
0.0ms	-1.9630698761218154e+181	-7.431360859549885e+180
0.0ms	-8.203654439607148e+243	-7.818045901556343e+235

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	1.0644513134132987e-25	1.9090552599652062e-24
0.0ms	-1078182.5714556298	-5.1128320613923005e-6
0.0ms	-1.9630698761218154e+181	-7.431360859549885e+180

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch4.0ms (0.1%)

Memory

-44.1MiB live, 0.7MiB allocated; 4ms collecting garbage

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0644513134132987e-25	1.9090552599652062e-24
0.0ms	-2026070426.673616	-1078182.5714556298

Compiler

Compiled 12 to 15 computations (-25% saved)

derivations400.0ms (9.1%)

Memory

14.3MiB live, 344.5MiB allocated; 48ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 123 to 83 computations (32.5% saved)

preprocess87.0ms (2%)

Memory: 4.1MiB live, 252.0MiB allocated; 53ms collecting garbage
Compiler: Compiled 131 to 91 computations (30.5% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze126.0ms (2.9%)

sample1.0s (23.4%)

preprocess86.0ms (1.9%)

series14.0ms (0.3%)

rewrite212.0ms (4.8%)

eval8.0ms (0.2%)

prune21.0ms (0.5%)

series44.0ms (1%)

rewrite226.0ms (5.1%)

eval25.0ms (0.6%)

prune10.0ms (0.2%)

series29.0ms (0.7%)

rewrite220.0ms (5%)

eval1.2s (28%)

prune11.0ms (0.2%)

series74.0ms (1.7%)

rewrite187.0ms (4.2%)

eval54.0ms (1.2%)

prune24.0ms (0.5%)

regimes139.0ms (3.2%)

regimes38.0ms (0.8%)

regimes9.0ms (0.2%)

regimes4.0ms (0.1%)

regimes28.0ms (0.6%)

regimes15.0ms (0.3%)

regimes2.0ms (0.1%)

regimes2.0ms (0%)

regimes30.0ms (0.7%)

bsearch1.0ms (0%)

bsearch13.0ms (0.3%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch4.0ms (0.1%)

derivations400.0ms (9.1%)

preprocess87.0ms (2%)

end0.0ms (0%)

Profiling