Metrics for Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, C

start0.0ms (0%)

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

analyze248.0ms (4.1%)

Memory

25.2MiB live, 220.5MiB allocated; 91ms 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
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
50%	49.9%	49.9%	0.2%	0%	0%	0%	8
50%	49.9%	49.9%	0.2%	0%	0%	0%	9
50%	49.9%	49.9%	0.2%	0%	0%	0%	10
50%	49.9%	49.9%	0.2%	0%	0%	0%	11
75%	74.9%	25%	0.2%	0%	0%	0%	12

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample1.4s (22.3%)

Memory

-14.7MiB live, 1 548.0MiB allocated; 550ms collecting garbage

Samples

658.0ms

8 256×

valid

Precisions

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

ival-div!: 129.0ms (58.1% of total)

ival-sub!: 48.0ms (21.6% of total)

ival-mult!: 44.0ms (19.8% of total)

adjust: 2.0ms (0.9% of total)

Bogosity

preprocess51.0ms (0.8%)

Memory

-2.7MiB live, 50.1MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	55	177
1	321	175
2	2987	175

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	94.7%	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))

Symmetry

(negabs x)

Compiler

Compiled 22 to 20 computations (9.1% saved)

series278.0ms (4.6%)

Memory

25.8MiB live, 215.6MiB allocated; 39ms collecting garbage

Counts

10 → 58

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
56.0ms	t	0
2.0ms	t	-inf
2.0ms	t	inf
2.0ms	y	-inf
1.0ms	x	0

rewrite294.0ms (4.8%)

Memory

1.6MiB live, 275.5MiB allocated; 35ms collecting garbage

Counts

10 → 40

Calls

Call 1

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

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

eval12.0ms (0.2%)

Memory: -7.2MiB live, 38.9MiB allocated; 4ms collecting garbage
Compiler: Compiled 2 131 to 495 computations (76.8% saved)

prune8.0ms (0.1%)

Memory

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

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	80	11	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	80	12	92

Accuracy

100.0%

Counts

92 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
	71.3%	(.f64 (-.f64 (.f64 (-.f64 #s(literal 1 binary64) z) y) (.f64 t z)) (/.f64 x (.f64 (-.f64 #s(literal 1 binary64) z) z)))
✓	94.7%	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
	69.2%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) t)))
	70.2%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 (-.f64 y (.f64 #s(literal -1 binary64) t)) z)))
▶	83.3%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 t (*.f64 y (-.f64 #s(literal 1 binary64) z))) (/.f64 #s(literal 1 binary64) z)))))
▶	83.1%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 t (-.f64 (/.f64 y (*.f64 t z)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) z))))))
▶	46.0%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 #s(literal -1 binary64) (/.f64 t (-.f64 #s(literal 1 binary64) z)))))
	69.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (.f64 x (-.f64 y (.f64 #s(literal -1 binary64) t))) z))
▶	55.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (*.f64 x y) z))
	82.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (*.f64 y (-.f64 #s(literal 1 binary64) z))) (/.f64 x z))))
	77.9%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 x (-.f64 #s(literal 1 binary64) z)) (/.f64 (.f64 x y) (*.f64 t z)))))
▶	44.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (-.f64 #s(literal 1 binary64) z))))

Compiler

Compiled 479 to 364 computations (24% saved)

series549.0ms (9%)

Memory

-48.5MiB live, 253.4MiB allocated; 146ms collecting garbage

Counts

32 → 172

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
75.0ms	x	0
29.0ms	z	inf
8.0ms	y	-inf
7.0ms	x	-inf
5.0ms	y	0

rewrite433.0ms (7.1%)

Memory

24.3MiB live, 355.1MiB allocated; 73ms collecting garbage

Counts

32 → 120

Calls

Call 1

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

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

eval119.0ms (2%)

Memory: 11.1MiB live, 102.3MiB allocated; 30ms collecting garbage
Compiler: Compiled 11 343 to 1 934 computations (82.9% saved)

prune91.0ms (1.5%)

Memory

2.6MiB live, 48.8MiB allocated; 25ms collecting garbage

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	340	9	349
Fresh	2	4	6
Picked	3	2	5
Done	0	1	1
Total	345	16	361

Accuracy

100.0%

Counts

361 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	94.7%	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
	69.2%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) t)))
	70.2%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 (-.f64 y (.f64 #s(literal -1 binary64) t)) z)))
	57.3%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 y z)))
	63.2%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 y #s(approx (+ (* -1 (/ t (* y (- 1 z)))) (/ 1 z)) (/.f64 (+.f64 #s(literal 1 binary64) (/.f64 t y)) z)))))
▶	57.3%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 y #s(approx (+ (* -1 (/ t (* y (- 1 z)))) (/ 1 z)) (/.f64 #s(literal 1 binary64) z)))))
▶	45.9%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 t #s(approx (- (/ y (* t z)) (/ 1 (- 1 z))) (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) z))))))
	21.8%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 #s(literal -1 binary64) #s(approx (/ t (- 1 z)) (+.f64 t (*.f64 t z))))))
▶	23.5%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 #s(literal -1 binary64) #s(approx (/ t (- 1 z)) t))))
▶	33.3%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) #s(approx ( -1 (/ t (- 1 z))) (/.f64 t z))))
	69.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (.f64 x (-.f64 y (.f64 #s(literal -1 binary64) t))) z))
✓	55.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (*.f64 x y) z))
	55.6%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (*.f64 (/.f64 x z) y))
▶	77.9%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 x (-.f64 #s(literal 1 binary64) z)) (/.f64 (.f64 x y) (*.f64 t z)))))
✓	44.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t x) (-.f64 #s(literal 1 binary64) z))))
	32.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (* -1 (/ (* t x) (- 1 z))) (/.f64 (*.f64 t x) z)))

Compiler

Compiled 661 to 470 computations (28.9% saved)

series417.0ms (6.9%)

Memory

2.5MiB live, 331.5MiB allocated; 99ms collecting garbage

Counts

32 → 172

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
16.0ms	z	-inf
13.0ms	x	inf
7.0ms	t	-inf
6.0ms	t	inf
6.0ms	x	-inf

rewrite425.0ms (7%)

Memory

10.5MiB live, 306.9MiB allocated; 65ms collecting garbage

Counts

32 → 93

Calls

Call 1

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

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

eval47.0ms (0.8%)

Memory: -24.3MiB live, 67.7MiB allocated; 16ms collecting garbage
Compiler: Compiled 11 437 to 1 724 computations (84.9% saved)

prune14.0ms (0.2%)

Memory

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

Pruning

15 alts after pruning (10 fresh and 5 done)

	Pruned	Kept	Total
New	314	4	318
Fresh	2	6	8
Picked	2	3	5
Done	1	2	3
Total	319	15	334

Accuracy

100.0%

Counts

334 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	94.7%	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))
	69.2%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) t)))
▶	70.2%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 (-.f64 y (.f64 #s(literal -1 binary64) t)) z)))
▶	57.3%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 y z)))
✓	57.3%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 y #s(approx (+ (* -1 (/ t (* y (- 1 z)))) (/ 1 z)) (/.f64 #s(literal 1 binary64) z)))))
	21.8%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 t #s(approx (- (/ y (* t z)) (/ 1 (- 1 z))) #s(approx (/ -1 (- 1 z)) (-.f64 (*.f64 #s(literal -1 binary64) z) #s(literal 1 binary64)))))))
✓	23.5%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 #s(literal -1 binary64) #s(approx (/ t (- 1 z)) t))))
✓	33.3%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) #s(approx ( -1 (/ t (- 1 z))) (/.f64 t z))))
▶	33.2%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) #s(approx ( -1 (/ t (- 1 z))) (*.f64 (/.f64 #s(literal 1 binary64) z) t))))
	69.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (.f64 x (-.f64 y (.f64 #s(literal -1 binary64) t))) z))
✓	55.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (*.f64 x y) z))
	55.6%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (*.f64 (/.f64 x z) y))
	56.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 t #s(approx (+ ( -1 (/ x (- 1 z))) (/ (* x y) (* t z))) (/.f64 (+.f64 x (/.f64 (*.f64 x y) t)) z))))
▶	44.4%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 t #s(approx (+ ( -1 (/ x (- 1 z))) (/ (* x y) (* t z))) (*.f64 #s(literal -1 binary64) (/.f64 x (-.f64 #s(literal 1 binary64) z))))))
▶	32.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (* -1 (/ (* t x) (- 1 z))) (/.f64 (*.f64 t x) z)))

Compiler

Compiled 603 to 423 computations (29.9% saved)

series385.0ms (6.3%)

Memory

-0.4MiB live, 242.0MiB allocated; 56ms collecting garbage

Counts

29 → 133

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
27.0ms	t	0
5.0ms	t	inf
5.0ms	t	-inf
5.0ms	z	-inf
4.0ms	x	inf

rewrite382.0ms (6.3%)

Memory

-16.6MiB live, 501.3MiB allocated; 64ms collecting garbage

Counts

29 → 91

Calls

Call 1

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

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

eval163.0ms (2.7%)

Memory: -28.4MiB live, 86.8MiB allocated; 138ms collecting garbage
Compiler: Compiled 9 052 to 1 351 computations (85.1% saved)

prune11.0ms (0.2%)

Memory

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

Pruning

15 alts after pruning (8 fresh and 7 done)

	Pruned	Kept	Total
New	263	4	267
Fresh	1	4	5
Picked	2	3	5
Done	1	4	5
Total	267	15	282

Accuracy

100.0%

Counts

282 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
	69.2%	(*.f64 x (-.f64 (/.f64 y z) #s(approx (/ t (- 1 z)) t)))
	70.2%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 (+.f64 t y) z)))
✓	57.3%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (/.f64 y z)))
	69.4%	(*.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (+.f64 (/.f64 y z) (/.f64 t z))))
✓	57.3%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 y #s(approx (+ (* -1 (/ t (* y (- 1 z)))) (/ 1 z)) (/.f64 #s(literal 1 binary64) z)))))
✓	23.5%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) (.f64 #s(literal -1 binary64) #s(approx (/ t (- 1 z)) t))))
✓	33.3%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) #s(approx ( -1 (/ t (- 1 z))) (/.f64 t z))))
✓	33.2%	(.f64 x #s(approx (- (/ y z) (/ t (- 1 z))) #s(approx ( -1 (/ t (- 1 z))) (*.f64 (/.f64 #s(literal 1 binary64) z) t))))
	69.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (.f64 x (-.f64 y (.f64 #s(literal -1 binary64) t))) z))
✓	55.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (/.f64 (*.f64 x y) z))
	55.6%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (*.f64 (/.f64 x z) y))
	44.4%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 t #s(approx (- (/ ( x y) (* t z)) (/ x (- 1 z))) (neg.f64 (/.f64 x (-.f64 #s(literal 1 binary64) z))))))
	56.0%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 t #s(approx (+ ( -1 (/ x (- 1 z))) (/ (* x y) (* t z))) (/.f64 (+.f64 x (/.f64 (*.f64 x y) t)) z))))
	33.6%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) (.f64 t #s(approx (+ ( -1 (/ x (- 1 z))) (/ (* x y) (* t z))) #s(approx (* -1 (/ x (- 1 z))) (/.f64 x z)))))
✓	32.7%	#s(approx (* x (- (/ y z) (/ t (- 1 z)))) #s(approx (* -1 (/ (* t x) (- 1 z))) (/.f64 (*.f64 t x) z)))

Compiler

Compiled 360 to 245 computations (31.9% saved)

regimes261.0ms (4.3%)

Memory

7.6MiB live, 487.0MiB allocated; 43ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 3

3 → 3

4 → 4

5 → 5

6 → 5

7 → 5

8 → 3

20 → 3

21 → 3

29 → 2

Calls

Call 1

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

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

Call 2

Inputs

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

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

Outputs

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

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

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

Call 3

Inputs

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

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

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

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

Outputs

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

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

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

Call 4

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

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

Call 5

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

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

Call 6

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

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

Call 7

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

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

Call 8

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

Outputs

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

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

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

Call 9

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

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

Call 10

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

Outputs

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

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

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

Call 11

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

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

Calls

38 calls:

63.0ms	t
13.0ms	z
13.0ms	y
12.0ms	x
11.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))

Results

Accuracy	Segments	Branch
23.5%	1	`y`
23.5%	1	`t`
23.5%	1	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
23.5%	1	`x`
23.5%	1	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
23.5%	1	`z`
43.9%	3	`z`
37.6%	2	`x`
39.5%	4	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
40.6%	5	`y`
44.8%	3	`z`
42.0%	4	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
39.4%	4	`t`
70.5%	4	`t`
72.7%	5	`t`
73.6%	5	`t`
57.3%	1	`x`
75.2%	5	`t`
68.0%	5	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
64.5%	4	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
63.9%	3	`y`
64.1%	3	`z`
79.6%	4	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
78.2%	5	`t`
81.2%	3	`z`
93.9%	3	`z`
93.9%	3	`z`
74.9%	3	`x`
82.2%	4	`y`
86.8%	4	`t`
81.5%	4	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
86.4%	5	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
96.9%	2	`(-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z)))`
96.5%	2	`(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 #s(literal 1 binary64) z))))`
94.7%	1	`x`
94.7%	1	`y`
94.7%	1	`z`
94.7%	1	`t`

Compiler

Compiled 855 to 371 computations (56.6% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-inf	-2.4603328380268438e+306

Compiler

Compiled 14 to 17 computations (-21.4% saved)

bsearch41.0ms (0.7%)

Memory

-12.2MiB live, 126.7MiB allocated; 10ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	2.3780614650872233e-56	3.809048885192269e-44
23.0ms	-318013.8306477558	-0.0005115280405832894

Samples

24.0ms

304×

valid

Compiler

Compiled 604 to 521 computations (13.7% saved)

Precisions

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

ival-div!: 9.0ms (73.2% of total)

ival-sub!: 2.0ms (16.3% of total)

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

adjust: 0.0ms (0% of total)

bsearch3.0ms (0%)

Memory

10.4MiB live, 10.5MiB allocated; 0ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	2.3780614650872233e-56	3.809048885192269e-44
1.0ms	-318013.8306477558	-0.0005115280405832894

Compiler

Compiled 584 to 511 computations (12.5% saved)

bsearch129.0ms (2.1%)

Memory

-27.9MiB live, 122.6MiB allocated; 50ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
102.0ms	8.796624181312202e+49	1.332746741634371e+58
23.0ms	-5.940644061078322e+211	-4.696140105240544e+208

Samples

36.0ms

272×

valid

Compiler

Compiled 662 to 520 computations (21.5% saved)

Precisions

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

ival-div!: 7.0ms (58.3% of total)

ival-sub!: 3.0ms (25% of total)

ival-mult!: 3.0ms (25% of total)

adjust: 0.0ms (0% of total)

bsearch112.0ms (1.8%)

Memory

19.2MiB live, 204.2MiB allocated; 50ms collecting garbage

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
28.0ms	1.890763402457526e+89	1.5298974334036574e+90
23.0ms	1.083287290309922e-280	8.339848611791345e-262
24.0ms	-1.2935074802992982e+111	-1.247981314313818e+108
29.0ms	-2.055147902502857e+147	-2.4457367622644583e+144

Samples

48.0ms

512×

valid

Compiler

Compiled 1 202 to 933 computations (22.4% saved)

Precisions

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

ival-div!: 9.0ms (46% of total)

ival-mult!: 6.0ms (30.7% of total)

ival-sub!: 4.0ms (20.4% of total)

adjust: 0.0ms (0% of total)

bsearch82.0ms (1.3%)

Memory

-14.5MiB live, 33.0MiB allocated; 14ms collecting garbage

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	1.890763402457526e+89	1.5298974334036574e+90
25.0ms	-1.859374790447409e-127	-8.845449123417655e-128
53.0ms	-1.2935074802992982e+111	-1.247981314313818e+108
1.0ms	-2.055147902502857e+147	-2.4457367622644583e+144

Samples

11.0ms

80×

valid

Compiler

Compiled 1 068 to 811 computations (24.1% saved)

Precisions

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

ival-div!: 2.0ms (41.3% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch12.0ms (0.2%)

Memory

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

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	1.890763402457526e+89	1.5298974334036574e+90
1.0ms	-1.859374790447409e-127	-8.845449123417655e-128
1.0ms	-1.2935074802992982e+111	-1.247981314313818e+108
8.0ms	-2.055147902502857e+147	-2.4457367622644583e+144

Samples

4.0ms

64×

valid

Compiler

Compiled 1 100 to 835 computations (24.1% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch6.0ms (0.1%)

Memory

-39.0MiB live, 7.6MiB allocated; 4ms collecting garbage

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	1.890763402457526e+89	1.5298974334036574e+90
1.0ms	-1.2935074802992982e+111	-1.247981314313818e+108
1.0ms	-2.055147902502857e+147	-2.4457367622644583e+144

Compiler

Compiled 930 to 695 computations (25.3% saved)

bsearch15.0ms (0.2%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	1.2129076390511771e-63	2.3780614650872233e-56
1.0ms	-318013.8306477558	-0.0005115280405832894

Samples

7.0ms

144×

valid

Compiler

Compiled 1 004 to 665 computations (33.8% saved)

Precisions

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

ival-div!: 2.0ms (67% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch5.0ms (0.1%)

Memory

-37.4MiB live, 8.6MiB allocated; 4ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	1.2129076390511771e-63	2.3780614650872233e-56
1.0ms	-318013.8306477558	-0.0005115280405832894

Compiler

Compiled 878 to 629 computations (28.4% saved)

derivations3.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 869 to 104 computations (88% saved)

preprocess131.0ms (2.2%)

Memory: -0.9MiB live, 377.7MiB allocated; 35ms collecting garbage
Remove: (negabs x)
Compiler: Compiled 2 618 to 794 computations (69.7% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze248.0ms (4.1%)

sample1.4s (22.3%)

preprocess51.0ms (0.8%)

series278.0ms (4.6%)

rewrite294.0ms (4.8%)

eval12.0ms (0.2%)

prune8.0ms (0.1%)

series549.0ms (9%)

rewrite433.0ms (7.1%)

eval119.0ms (2%)

prune91.0ms (1.5%)

series417.0ms (6.9%)

rewrite425.0ms (7%)

eval47.0ms (0.8%)

prune14.0ms (0.2%)

series385.0ms (6.3%)

rewrite382.0ms (6.3%)

eval163.0ms (2.7%)

prune11.0ms (0.2%)

regimes261.0ms (4.3%)

bsearch1.0ms (0%)

bsearch41.0ms (0.7%)

bsearch3.0ms (0%)

bsearch129.0ms (2.1%)

bsearch112.0ms (1.8%)

bsearch82.0ms (1.3%)

bsearch12.0ms (0.2%)

bsearch6.0ms (0.1%)

bsearch15.0ms (0.2%)

bsearch5.0ms (0.1%)

derivations3.0ms (0.1%)

preprocess131.0ms (2.2%)

end0.0ms (0%)

Profiling